(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
	s50 - location
	s51 - location
	s52 - location
	s53 - location
	s54 - location
	s55 - location
	s56 - location
	s57 - location
	s58 - location
	s59 - location
	s60 - location
	s61 - location
	s62 - location
	s63 - location
	s64 - location
	s65 - location
	s66 - location
	s67 - location
	s68 - location
	s69 - location
	s70 - location
	s71 - location
	s72 - location
	s73 - location
	s74 - location
	s75 - location
	s76 - location
	s77 - location
	s78 - location
	s79 - location
	s80 - location
	s81 - location
	s82 - location
	s83 - location
	s84 - location
	s85 - location
	s86 - location
	s87 - location
	s88 - location
	s89 - location
	s90 - location
	s91 - location
	s92 - location
	s93 - location
	s94 - location
	s95 - location
	s96 - location
	s97 - location
	s98 - location
	s99 - location
	s100 - location
	s101 - location
	s102 - location
	s103 - location
	s104 - location
	s105 - location
	s106 - location
	s107 - location
	s108 - location
	s109 - location
	s110 - location
	s111 - location
	s112 - location
	s113 - location
	s114 - location
	s115 - location
	s116 - location
	s117 - location
	s118 - location
	s119 - location
	p0-86 - location
	p0-97 - location
	p1-2 - location
	p1-53 - location
	p2-6 - location
	p2-52 - location
	p3-11 - location
	p3-22 - location
	p3-66 - location
	p4-118 - location
	p5-11 - location
	p5-67 - location
	p5-89 - location
	p6-8 - location
	p6-33 - location
	p6-41 - location
	p6-72 - location
	p7-52 - location
	p8-14 - location
	p8-15 - location
	p8-26 - location
	p8-70 - location
	p9-4 - location
	p9-107 - location
	p10-114 - location
	p11-25 - location
	p11-45 - location
	p12-25 - location
	p12-89 - location
	p12-93 - location
	p13-59 - location
	p14-16 - location
	p14-25 - location
	p14-112 - location
	p15-28 - location
	p16-22 - location
	p16-27 - location
	p17-73 - location
	p18-97 - location
	p19-4 - location
	p19-17 - location
	p19-40 - location
	p19-53 - location
	p19-65 - location
	p19-75 - location
	p19-78 - location
	p19-105 - location
	p20-10 - location
	p20-28 - location
	p20-45 - location
	p20-99 - location
	p20-111 - location
	p21-29 - location
	p21-109 - location
	p23-1 - location
	p23-56 - location
	p23-60 - location
	p24-10 - location
	p25-34 - location
	p26-52 - location
	p26-78 - location
	p26-86 - location
	p27-1 - location
	p27-30 - location
	p27-36 - location
	p27-57 - location
	p27-102 - location
	p28-11 - location
	p29-12 - location
	p29-43 - location
	p29-64 - location
	p29-106 - location
	p30-39 - location
	p30-103 - location
	p30-118 - location
	p31-62 - location
	p31-103 - location
	p31-106 - location
	p32-13 - location
	p33-31 - location
	p33-32 - location
	p33-118 - location
	p34-13 - location
	p35-13 - location
	p35-23 - location
	p35-94 - location
	p35-98 - location
	p36-16 - location
	p37-9 - location
	p38-17 - location
	p39-46 - location
	p40-57 - location
	p40-65 - location
	p40-82 - location
	p40-106 - location
	p41-51 - location
	p41-67 - location
	p41-80 - location
	p41-86 - location
	p42-11 - location
	p42-41 - location
	p42-59 - location
	p43-26 - location
	p45-94 - location
	p46-54 - location
	p46-117 - location
	p47-11 - location
	p47-48 - location
	p48-29 - location
	p49-17 - location
	p49-41 - location
	p52-87 - location
	p52-113 - location
	p52-115 - location
	p54-55 - location
	p54-72 - location
	p54-84 - location
	p54-94 - location
	p55-58 - location
	p55-71 - location
	p56-0 - location
	p56-19 - location
	p56-81 - location
	p56-116 - location
	p57-13 - location
	p57-51 - location
	p57-70 - location
	p57-117 - location
	p58-27 - location
	p59-52 - location
	p60-90 - location
	p61-26 - location
	p61-43 - location
	p61-64 - location
	p61-105 - location
	p61-108 - location
	p63-89 - location
	p63-96 - location
	p63-119 - location
	p64-7 - location
	p64-41 - location
	p64-107 - location
	p65-98 - location
	p66-21 - location
	p66-29 - location
	p66-31 - location
	p66-96 - location
	p67-51 - location
	p68-62 - location
	p68-81 - location
	p69-9 - location
	p69-78 - location
	p70-44 - location
	p71-76 - location
	p71-88 - location
	p71-119 - location
	p72-82 - location
	p73-113 - location
	p74-61 - location
	p75-57 - location
	p75-110 - location
	p76-6 - location
	p76-35 - location
	p76-36 - location
	p76-77 - location
	p77-16 - location
	p77-17 - location
	p77-62 - location
	p77-79 - location
	p77-107 - location
	p78-9 - location
	p78-31 - location
	p78-85 - location
	p79-54 - location
	p79-83 - location
	p81-24 - location
	p81-29 - location
	p81-66 - location
	p81-116 - location
	p82-88 - location
	p83-6 - location
	p83-101 - location
	p84-92 - location
	p85-50 - location
	p86-67 - location
	p87-90 - location
	p88-38 - location
	p88-94 - location
	p89-45 - location
	p89-86 - location
	p90-42 - location
	p90-98 - location
	p91-105 - location
	p92-44 - location
	p92-51 - location
	p92-100 - location
	p93-40 - location
	p93-48 - location
	p93-65 - location
	p93-107 - location
	p94-103 - location
	p95-49 - location
	p95-63 - location
	p96-5 - location
	p96-18 - location
	p96-19 - location
	p96-33 - location
	p96-47 - location
	p96-75 - location
	p96-82 - location
	p96-95 - location
	p97-51 - location
	p97-119 - location
	p98-41 - location
	p100-63 - location
	p101-104 - location
	p103-3 - location
	p103-5 - location
	p104-42 - location
	p104-71 - location
	p104-72 - location
	p104-98 - location
	p105-21 - location
	p105-80 - location
	p106-37 - location
	p106-68 - location
	p106-82 - location
	p107-20 - location
	p107-35 - location
	p108-34 - location
	p108-67 - location
	p109-24 - location
	p109-66 - location
	p109-91 - location
	p110-62 - location
	p110-81 - location
	p111-3 - location
	p111-17 - location
	p111-82 - location
	p112-1 - location
	p112-74 - location
	p113-22 - location
	p113-119 - location
	p116-7 - location
	p116-9 - location
	p116-38 - location
	p116-69 - location
	p116-84 - location
	p118-5 - location
	p118-57 - location
	p119-87 - location
	p119-116 - location
	)
	(:init
	(at driver1 s14)
	(at driver2 s42)
	(at driver3 s27)
	(at driver4 s78)
	(at driver5 s30)
	(at driver6 s111)
	(at driver7 s48)
	(at driver8 s101)
	(at driver9 s112)
	(at driver10 s111)
	(at driver11 s100)
	(at driver12 s12)
	(at driver13 s14)
	(at driver14 s43)
	(at driver15 s89)
	(at driver16 s72)
	(at driver17 s82)
	(at driver18 s25)
	(at driver19 s24)
	(at driver20 s54)
	(at truck1 s108)
	(empty truck1)
	(= (load truck1) 0)
	(= (fuel-per-minute truck1) 10)
	(at truck2 s111)
	(empty truck2)
	(= (load truck2) 0)
	(= (fuel-per-minute truck2) 10)
	(at truck3 s112)
	(empty truck3)
	(= (load truck3) 0)
	(= (fuel-per-minute truck3) 10)
	(at truck4 s5)
	(empty truck4)
	(= (load truck4) 0)
	(= (fuel-per-minute truck4) 10)
	(at truck5 s77)
	(empty truck5)
	(= (load truck5) 0)
	(= (fuel-per-minute truck5) 10)
	(at truck6 s47)
	(empty truck6)
	(= (load truck6) 0)
	(= (fuel-per-minute truck6) 10)
	(at truck7 s91)
	(empty truck7)
	(= (load truck7) 0)
	(= (fuel-per-minute truck7) 10)
	(at truck8 s31)
	(empty truck8)
	(= (load truck8) 0)
	(= (fuel-per-minute truck8) 10)
	(at truck9 s2)
	(empty truck9)
	(= (load truck9) 0)
	(= (fuel-per-minute truck9) 10)
	(at truck10 s54)
	(empty truck10)
	(= (load truck10) 0)
	(= (fuel-per-minute truck10) 10)
	(at truck11 s47)
	(empty truck11)
	(= (load truck11) 0)
	(= (fuel-per-minute truck11) 10)
	(at truck12 s118)
	(empty truck12)
	(= (load truck12) 0)
	(= (fuel-per-minute truck12) 10)
	(at truck13 s67)
	(empty truck13)
	(= (load truck13) 0)
	(= (fuel-per-minute truck13) 10)
	(at truck14 s42)
	(empty truck14)
	(= (load truck14) 0)
	(= (fuel-per-minute truck14) 10)
	(at truck15 s2)
	(empty truck15)
	(= (load truck15) 0)
	(= (fuel-per-minute truck15) 10)
	(at truck16 s98)
	(empty truck16)
	(= (load truck16) 0)
	(= (fuel-per-minute truck16) 10)
	(at truck17 s81)
	(empty truck17)
	(= (load truck17) 0)
	(= (fuel-per-minute truck17) 10)
	(at truck18 s118)
	(empty truck18)
	(= (load truck18) 0)
	(= (fuel-per-minute truck18) 10)
	(at truck19 s72)
	(empty truck19)
	(= (load truck19) 0)
	(= (fuel-per-minute truck19) 10)
	(at truck20 s56)
	(empty truck20)
	(= (load truck20) 0)
	(= (fuel-per-minute truck20) 10)
	(at truck21 s60)
	(empty truck21)
	(= (load truck21) 0)
	(= (fuel-per-minute truck21) 10)
	(at truck22 s67)
	(empty truck22)
	(= (load truck22) 0)
	(= (fuel-per-minute truck22) 10)
	(at truck23 s87)
	(empty truck23)
	(= (load truck23) 0)
	(= (fuel-per-minute truck23) 10)
	(at truck24 s17)
	(empty truck24)
	(= (load truck24) 0)
	(= (fuel-per-minute truck24) 10)
	(at truck25 s17)
	(empty truck25)
	(= (load truck25) 0)
	(= (fuel-per-minute truck25) 10)
	(at truck26 s60)
	(empty truck26)
	(= (load truck26) 0)
	(= (fuel-per-minute truck26) 10)
	(at truck27 s96)
	(empty truck27)
	(= (load truck27) 0)
	(= (fuel-per-minute truck27) 10)
	(at truck28 s88)
	(empty truck28)
	(= (load truck28) 0)
	(= (fuel-per-minute truck28) 10)
	(at truck29 s62)
	(empty truck29)
	(= (load truck29) 0)
	(= (fuel-per-minute truck29) 10)
	(at truck30 s43)
	(empty truck30)
	(= (load truck30) 0)
	(= (fuel-per-minute truck30) 10)
	(at package1 s84)
	(at package2 s55)
	(at package3 s67)
	(at package4 s113)
	(at package5 s78)
	(at package6 s39)
	(at package7 s44)
	(at package8 s65)
	(at package9 s12)
	(at package10 s9)
	(at package11 s110)
	(at package12 s3)
	(at package13 s46)
	(at package14 s65)
	(at package15 s105)
	(at package16 s46)
	(at package17 s108)
	(at package18 s13)
	(at package19 s118)
	(at package20 s16)
	(at package21 s4)
	(at package22 s22)
	(at package23 s18)
	(at package24 s80)
	(at package25 s104)
	(at package26 s110)
	(at package27 s36)
	(at package28 s98)
	(at package29 s26)
	(at package30 s3)
	(at package31 s71)
	(at package32 s75)
	(at package33 s69)
	(at package34 s3)
	(at package35 s109)
	(at package36 s105)
	(at package37 s31)
	(at package38 s51)
	(at package39 s112)
	(at package40 s104)
	(at package41 s38)
	(at package42 s24)
	(at package43 s66)
	(at package44 s90)
	(at package45 s42)
	(at package46 s27)
	(at package47 s91)
	(at package48 s105)
	(at package49 s80)
	(at package50 s15)
	(at package51 s48)
	(at package52 s63)
	(at package53 s83)
	(at package54 s7)
	(at package55 s35)
	(at package56 s32)
	(at package57 s108)
	(at package58 s59)
	(at package59 s105)
	(at package60 s31)
	(path s0 p0-86)
	(path p0-86 s0)
	(path s86 p0-86)
	(path p0-86 s86)
	(= (time-to-walk s0 p0-86) 69)
	(= (time-to-walk p0-86 s0) 69)
	(= (time-to-walk s86 p0-86) 40)
	(= (time-to-walk p0-86 s86) 40)
	(path s0 p0-97)
	(path p0-97 s0)
	(path s97 p0-97)
	(path p0-97 s97)
	(= (time-to-walk s0 p0-97) 63)
	(= (time-to-walk p0-97 s0) 63)
	(= (time-to-walk s97 p0-97) 75)
	(= (time-to-walk p0-97 s97) 75)
	(path s1 p1-2)
	(path p1-2 s1)
	(path s2 p1-2)
	(path p1-2 s2)
	(= (time-to-walk s1 p1-2) 93)
	(= (time-to-walk p1-2 s1) 93)
	(= (time-to-walk s2 p1-2) 30)
	(= (time-to-walk p1-2 s2) 30)
	(path s1 p1-53)
	(path p1-53 s1)
	(path s53 p1-53)
	(path p1-53 s53)
	(= (time-to-walk s1 p1-53) 6)
	(= (time-to-walk p1-53 s1) 6)
	(= (time-to-walk s53 p1-53) 63)
	(= (time-to-walk p1-53 s53) 63)
	(path s2 p2-6)
	(path p2-6 s2)
	(path s6 p2-6)
	(path p2-6 s6)
	(= (time-to-walk s2 p2-6) 53)
	(= (time-to-walk p2-6 s2) 53)
	(= (time-to-walk s6 p2-6) 22)
	(= (time-to-walk p2-6 s6) 22)
	(path s2 p2-52)
	(path p2-52 s2)
	(path s52 p2-52)
	(path p2-52 s52)
	(= (time-to-walk s2 p2-52) 69)
	(= (time-to-walk p2-52 s2) 69)
	(= (time-to-walk s52 p2-52) 51)
	(= (time-to-walk p2-52 s52) 51)
	(path s3 p3-11)
	(path p3-11 s3)
	(path s11 p3-11)
	(path p3-11 s11)
	(= (time-to-walk s3 p3-11) 24)
	(= (time-to-walk p3-11 s3) 24)
	(= (time-to-walk s11 p3-11) 98)
	(= (time-to-walk p3-11 s11) 98)
	(path s3 p3-22)
	(path p3-22 s3)
	(path s22 p3-22)
	(path p3-22 s22)
	(= (time-to-walk s3 p3-22) 84)
	(= (time-to-walk p3-22 s3) 84)
	(= (time-to-walk s22 p3-22) 5)
	(= (time-to-walk p3-22 s22) 5)
	(path s3 p3-66)
	(path p3-66 s3)
	(path s66 p3-66)
	(path p3-66 s66)
	(= (time-to-walk s3 p3-66) 25)
	(= (time-to-walk p3-66 s3) 25)
	(= (time-to-walk s66 p3-66) 40)
	(= (time-to-walk p3-66 s66) 40)
	(path s4 p4-118)
	(path p4-118 s4)
	(path s118 p4-118)
	(path p4-118 s118)
	(= (time-to-walk s4 p4-118) 51)
	(= (time-to-walk p4-118 s4) 51)
	(= (time-to-walk s118 p4-118) 15)
	(= (time-to-walk p4-118 s118) 15)
	(path s5 p5-11)
	(path p5-11 s5)
	(path s11 p5-11)
	(path p5-11 s11)
	(= (time-to-walk s5 p5-11) 72)
	(= (time-to-walk p5-11 s5) 72)
	(= (time-to-walk s11 p5-11) 88)
	(= (time-to-walk p5-11 s11) 88)
	(path s5 p5-67)
	(path p5-67 s5)
	(path s67 p5-67)
	(path p5-67 s67)
	(= (time-to-walk s5 p5-67) 65)
	(= (time-to-walk p5-67 s5) 65)
	(= (time-to-walk s67 p5-67) 92)
	(= (time-to-walk p5-67 s67) 92)
	(path s5 p5-89)
	(path p5-89 s5)
	(path s89 p5-89)
	(path p5-89 s89)
	(= (time-to-walk s5 p5-89) 60)
	(= (time-to-walk p5-89 s5) 60)
	(= (time-to-walk s89 p5-89) 53)
	(= (time-to-walk p5-89 s89) 53)
	(path s6 p6-8)
	(path p6-8 s6)
	(path s8 p6-8)
	(path p6-8 s8)
	(= (time-to-walk s6 p6-8) 78)
	(= (time-to-walk p6-8 s6) 78)
	(= (time-to-walk s8 p6-8) 60)
	(= (time-to-walk p6-8 s8) 60)
	(path s6 p6-33)
	(path p6-33 s6)
	(path s33 p6-33)
	(path p6-33 s33)
	(= (time-to-walk s6 p6-33) 79)
	(= (time-to-walk p6-33 s6) 79)
	(= (time-to-walk s33 p6-33) 78)
	(= (time-to-walk p6-33 s33) 78)
	(path s6 p6-41)
	(path p6-41 s6)
	(path s41 p6-41)
	(path p6-41 s41)
	(= (time-to-walk s6 p6-41) 76)
	(= (time-to-walk p6-41 s6) 76)
	(= (time-to-walk s41 p6-41) 47)
	(= (time-to-walk p6-41 s41) 47)
	(path s6 p6-72)
	(path p6-72 s6)
	(path s72 p6-72)
	(path p6-72 s72)
	(= (time-to-walk s6 p6-72) 18)
	(= (time-to-walk p6-72 s6) 18)
	(= (time-to-walk s72 p6-72) 38)
	(= (time-to-walk p6-72 s72) 38)
	(path s7 p7-52)
	(path p7-52 s7)
	(path s52 p7-52)
	(path p7-52 s52)
	(= (time-to-walk s7 p7-52) 22)
	(= (time-to-walk p7-52 s7) 22)
	(= (time-to-walk s52 p7-52) 11)
	(= (time-to-walk p7-52 s52) 11)
	(path s8 p8-14)
	(path p8-14 s8)
	(path s14 p8-14)
	(path p8-14 s14)
	(= (time-to-walk s8 p8-14) 68)
	(= (time-to-walk p8-14 s8) 68)
	(= (time-to-walk s14 p8-14) 27)
	(= (time-to-walk p8-14 s14) 27)
	(path s8 p8-15)
	(path p8-15 s8)
	(path s15 p8-15)
	(path p8-15 s15)
	(= (time-to-walk s8 p8-15) 73)
	(= (time-to-walk p8-15 s8) 73)
	(= (time-to-walk s15 p8-15) 21)
	(= (time-to-walk p8-15 s15) 21)
	(path s8 p8-26)
	(path p8-26 s8)
	(path s26 p8-26)
	(path p8-26 s26)
	(= (time-to-walk s8 p8-26) 49)
	(= (time-to-walk p8-26 s8) 49)
	(= (time-to-walk s26 p8-26) 42)
	(= (time-to-walk p8-26 s26) 42)
	(path s8 p8-70)
	(path p8-70 s8)
	(path s70 p8-70)
	(path p8-70 s70)
	(= (time-to-walk s8 p8-70) 71)
	(= (time-to-walk p8-70 s8) 71)
	(= (time-to-walk s70 p8-70) 73)
	(= (time-to-walk p8-70 s70) 73)
	(path s9 p9-4)
	(path p9-4 s9)
	(path s4 p9-4)
	(path p9-4 s4)
	(= (time-to-walk s9 p9-4) 40)
	(= (time-to-walk p9-4 s9) 40)
	(= (time-to-walk s4 p9-4) 54)
	(= (time-to-walk p9-4 s4) 54)
	(path s9 p9-107)
	(path p9-107 s9)
	(path s107 p9-107)
	(path p9-107 s107)
	(= (time-to-walk s9 p9-107) 77)
	(= (time-to-walk p9-107 s9) 77)
	(= (time-to-walk s107 p9-107) 64)
	(= (time-to-walk p9-107 s107) 64)
	(path s10 p10-114)
	(path p10-114 s10)
	(path s114 p10-114)
	(path p10-114 s114)
	(= (time-to-walk s10 p10-114) 93)
	(= (time-to-walk p10-114 s10) 93)
	(= (time-to-walk s114 p10-114) 27)
	(= (time-to-walk p10-114 s114) 27)
	(path s11 p11-25)
	(path p11-25 s11)
	(path s25 p11-25)
	(path p11-25 s25)
	(= (time-to-walk s11 p11-25) 79)
	(= (time-to-walk p11-25 s11) 79)
	(= (time-to-walk s25 p11-25) 65)
	(= (time-to-walk p11-25 s25) 65)
	(path s11 p11-45)
	(path p11-45 s11)
	(path s45 p11-45)
	(path p11-45 s45)
	(= (time-to-walk s11 p11-45) 15)
	(= (time-to-walk p11-45 s11) 15)
	(= (time-to-walk s45 p11-45) 44)
	(= (time-to-walk p11-45 s45) 44)
	(path s12 p12-25)
	(path p12-25 s12)
	(path s25 p12-25)
	(path p12-25 s25)
	(= (time-to-walk s12 p12-25) 56)
	(= (time-to-walk p12-25 s12) 56)
	(= (time-to-walk s25 p12-25) 75)
	(= (time-to-walk p12-25 s25) 75)
	(path s12 p12-89)
	(path p12-89 s12)
	(path s89 p12-89)
	(path p12-89 s89)
	(= (time-to-walk s12 p12-89) 96)
	(= (time-to-walk p12-89 s12) 96)
	(= (time-to-walk s89 p12-89) 34)
	(= (time-to-walk p12-89 s89) 34)
	(path s12 p12-93)
	(path p12-93 s12)
	(path s93 p12-93)
	(path p12-93 s93)
	(= (time-to-walk s12 p12-93) 35)
	(= (time-to-walk p12-93 s12) 35)
	(= (time-to-walk s93 p12-93) 74)
	(= (time-to-walk p12-93 s93) 74)
	(path s13 p13-59)
	(path p13-59 s13)
	(path s59 p13-59)
	(path p13-59 s59)
	(= (time-to-walk s13 p13-59) 11)
	(= (time-to-walk p13-59 s13) 11)
	(= (time-to-walk s59 p13-59) 10)
	(= (time-to-walk p13-59 s59) 10)
	(path s14 p14-16)
	(path p14-16 s14)
	(path s16 p14-16)
	(path p14-16 s16)
	(= (time-to-walk s14 p14-16) 21)
	(= (time-to-walk p14-16 s14) 21)
	(= (time-to-walk s16 p14-16) 28)
	(= (time-to-walk p14-16 s16) 28)
	(path s14 p14-25)
	(path p14-25 s14)
	(path s25 p14-25)
	(path p14-25 s25)
	(= (time-to-walk s14 p14-25) 48)
	(= (time-to-walk p14-25 s14) 48)
	(= (time-to-walk s25 p14-25) 42)
	(= (time-to-walk p14-25 s25) 42)
	(path s14 p14-112)
	(path p14-112 s14)
	(path s112 p14-112)
	(path p14-112 s112)
	(= (time-to-walk s14 p14-112) 38)
	(= (time-to-walk p14-112 s14) 38)
	(= (time-to-walk s112 p14-112) 15)
	(= (time-to-walk p14-112 s112) 15)
	(path s15 p15-28)
	(path p15-28 s15)
	(path s28 p15-28)
	(path p15-28 s28)
	(= (time-to-walk s15 p15-28) 69)
	(= (time-to-walk p15-28 s15) 69)
	(= (time-to-walk s28 p15-28) 11)
	(= (time-to-walk p15-28 s28) 11)
	(path s16 p16-22)
	(path p16-22 s16)
	(path s22 p16-22)
	(path p16-22 s22)
	(= (time-to-walk s16 p16-22) 35)
	(= (time-to-walk p16-22 s16) 35)
	(= (time-to-walk s22 p16-22) 17)
	(= (time-to-walk p16-22 s22) 17)
	(path s16 p16-27)
	(path p16-27 s16)
	(path s27 p16-27)
	(path p16-27 s27)
	(= (time-to-walk s16 p16-27) 53)
	(= (time-to-walk p16-27 s16) 53)
	(= (time-to-walk s27 p16-27) 6)
	(= (time-to-walk p16-27 s27) 6)
	(path s17 p17-73)
	(path p17-73 s17)
	(path s73 p17-73)
	(path p17-73 s73)
	(= (time-to-walk s17 p17-73) 90)
	(= (time-to-walk p17-73 s17) 90)
	(= (time-to-walk s73 p17-73) 92)
	(= (time-to-walk p17-73 s73) 92)
	(path s18 p18-97)
	(path p18-97 s18)
	(path s97 p18-97)
	(path p18-97 s97)
	(= (time-to-walk s18 p18-97) 59)
	(= (time-to-walk p18-97 s18) 59)
	(= (time-to-walk s97 p18-97) 66)
	(= (time-to-walk p18-97 s97) 66)
	(path s19 p19-4)
	(path p19-4 s19)
	(path s4 p19-4)
	(path p19-4 s4)
	(= (time-to-walk s19 p19-4) 56)
	(= (time-to-walk p19-4 s19) 56)
	(= (time-to-walk s4 p19-4) 52)
	(= (time-to-walk p19-4 s4) 52)
	(path s19 p19-17)
	(path p19-17 s19)
	(path s17 p19-17)
	(path p19-17 s17)
	(= (time-to-walk s19 p19-17) 93)
	(= (time-to-walk p19-17 s19) 93)
	(= (time-to-walk s17 p19-17) 34)
	(= (time-to-walk p19-17 s17) 34)
	(path s19 p19-40)
	(path p19-40 s19)
	(path s40 p19-40)
	(path p19-40 s40)
	(= (time-to-walk s19 p19-40) 16)
	(= (time-to-walk p19-40 s19) 16)
	(= (time-to-walk s40 p19-40) 8)
	(= (time-to-walk p19-40 s40) 8)
	(path s19 p19-53)
	(path p19-53 s19)
	(path s53 p19-53)
	(path p19-53 s53)
	(= (time-to-walk s19 p19-53) 77)
	(= (time-to-walk p19-53 s19) 77)
	(= (time-to-walk s53 p19-53) 72)
	(= (time-to-walk p19-53 s53) 72)
	(path s19 p19-65)
	(path p19-65 s19)
	(path s65 p19-65)
	(path p19-65 s65)
	(= (time-to-walk s19 p19-65) 83)
	(= (time-to-walk p19-65 s19) 83)
	(= (time-to-walk s65 p19-65) 72)
	(= (time-to-walk p19-65 s65) 72)
	(path s19 p19-75)
	(path p19-75 s19)
	(path s75 p19-75)
	(path p19-75 s75)
	(= (time-to-walk s19 p19-75) 5)
	(= (time-to-walk p19-75 s19) 5)
	(= (time-to-walk s75 p19-75) 17)
	(= (time-to-walk p19-75 s75) 17)
	(path s19 p19-78)
	(path p19-78 s19)
	(path s78 p19-78)
	(path p19-78 s78)
	(= (time-to-walk s19 p19-78) 46)
	(= (time-to-walk p19-78 s19) 46)
	(= (time-to-walk s78 p19-78) 15)
	(= (time-to-walk p19-78 s78) 15)
	(path s19 p19-105)
	(path p19-105 s19)
	(path s105 p19-105)
	(path p19-105 s105)
	(= (time-to-walk s19 p19-105) 27)
	(= (time-to-walk p19-105 s19) 27)
	(= (time-to-walk s105 p19-105) 66)
	(= (time-to-walk p19-105 s105) 66)
	(path s20 p20-10)
	(path p20-10 s20)
	(path s10 p20-10)
	(path p20-10 s10)
	(= (time-to-walk s20 p20-10) 43)
	(= (time-to-walk p20-10 s20) 43)
	(= (time-to-walk s10 p20-10) 74)
	(= (time-to-walk p20-10 s10) 74)
	(path s20 p20-28)
	(path p20-28 s20)
	(path s28 p20-28)
	(path p20-28 s28)
	(= (time-to-walk s20 p20-28) 8)
	(= (time-to-walk p20-28 s20) 8)
	(= (time-to-walk s28 p20-28) 81)
	(= (time-to-walk p20-28 s28) 81)
	(path s20 p20-45)
	(path p20-45 s20)
	(path s45 p20-45)
	(path p20-45 s45)
	(= (time-to-walk s20 p20-45) 88)
	(= (time-to-walk p20-45 s20) 88)
	(= (time-to-walk s45 p20-45) 77)
	(= (time-to-walk p20-45 s45) 77)
	(path s20 p20-99)
	(path p20-99 s20)
	(path s99 p20-99)
	(path p20-99 s99)
	(= (time-to-walk s20 p20-99) 92)
	(= (time-to-walk p20-99 s20) 92)
	(= (time-to-walk s99 p20-99) 23)
	(= (time-to-walk p20-99 s99) 23)
	(path s20 p20-111)
	(path p20-111 s20)
	(path s111 p20-111)
	(path p20-111 s111)
	(= (time-to-walk s20 p20-111) 94)
	(= (time-to-walk p20-111 s20) 94)
	(= (time-to-walk s111 p20-111) 44)
	(= (time-to-walk p20-111 s111) 44)
	(path s21 p21-29)
	(path p21-29 s21)
	(path s29 p21-29)
	(path p21-29 s29)
	(= (time-to-walk s21 p21-29) 28)
	(= (time-to-walk p21-29 s21) 28)
	(= (time-to-walk s29 p21-29) 83)
	(= (time-to-walk p21-29 s29) 83)
	(path s21 p21-109)
	(path p21-109 s21)
	(path s109 p21-109)
	(path p21-109 s109)
	(= (time-to-walk s21 p21-109) 35)
	(= (time-to-walk p21-109 s21) 35)
	(= (time-to-walk s109 p21-109) 87)
	(= (time-to-walk p21-109 s109) 87)
	(path s23 p23-1)
	(path p23-1 s23)
	(path s1 p23-1)
	(path p23-1 s1)
	(= (time-to-walk s23 p23-1) 49)
	(= (time-to-walk p23-1 s23) 49)
	(= (time-to-walk s1 p23-1) 90)
	(= (time-to-walk p23-1 s1) 90)
	(path s23 p23-56)
	(path p23-56 s23)
	(path s56 p23-56)
	(path p23-56 s56)
	(= (time-to-walk s23 p23-56) 39)
	(= (time-to-walk p23-56 s23) 39)
	(= (time-to-walk s56 p23-56) 42)
	(= (time-to-walk p23-56 s56) 42)
	(path s23 p23-60)
	(path p23-60 s23)
	(path s60 p23-60)
	(path p23-60 s60)
	(= (time-to-walk s23 p23-60) 24)
	(= (time-to-walk p23-60 s23) 24)
	(= (time-to-walk s60 p23-60) 55)
	(= (time-to-walk p23-60 s60) 55)
	(path s24 p24-10)
	(path p24-10 s24)
	(path s10 p24-10)
	(path p24-10 s10)
	(= (time-to-walk s24 p24-10) 49)
	(= (time-to-walk p24-10 s24) 49)
	(= (time-to-walk s10 p24-10) 1)
	(= (time-to-walk p24-10 s10) 1)
	(path s25 p25-34)
	(path p25-34 s25)
	(path s34 p25-34)
	(path p25-34 s34)
	(= (time-to-walk s25 p25-34) 26)
	(= (time-to-walk p25-34 s25) 26)
	(= (time-to-walk s34 p25-34) 31)
	(= (time-to-walk p25-34 s34) 31)
	(path s26 p26-52)
	(path p26-52 s26)
	(path s52 p26-52)
	(path p26-52 s52)
	(= (time-to-walk s26 p26-52) 73)
	(= (time-to-walk p26-52 s26) 73)
	(= (time-to-walk s52 p26-52) 31)
	(= (time-to-walk p26-52 s52) 31)
	(path s26 p26-78)
	(path p26-78 s26)
	(path s78 p26-78)
	(path p26-78 s78)
	(= (time-to-walk s26 p26-78) 47)
	(= (time-to-walk p26-78 s26) 47)
	(= (time-to-walk s78 p26-78) 18)
	(= (time-to-walk p26-78 s78) 18)
	(path s26 p26-86)
	(path p26-86 s26)
	(path s86 p26-86)
	(path p26-86 s86)
	(= (time-to-walk s26 p26-86) 46)
	(= (time-to-walk p26-86 s26) 46)
	(= (time-to-walk s86 p26-86) 73)
	(= (time-to-walk p26-86 s86) 73)
	(path s27 p27-1)
	(path p27-1 s27)
	(path s1 p27-1)
	(path p27-1 s1)
	(= (time-to-walk s27 p27-1) 84)
	(= (time-to-walk p27-1 s27) 84)
	(= (time-to-walk s1 p27-1) 88)
	(= (time-to-walk p27-1 s1) 88)
	(path s27 p27-30)
	(path p27-30 s27)
	(path s30 p27-30)
	(path p27-30 s30)
	(= (time-to-walk s27 p27-30) 47)
	(= (time-to-walk p27-30 s27) 47)
	(= (time-to-walk s30 p27-30) 92)
	(= (time-to-walk p27-30 s30) 92)
	(path s27 p27-36)
	(path p27-36 s27)
	(path s36 p27-36)
	(path p27-36 s36)
	(= (time-to-walk s27 p27-36) 69)
	(= (time-to-walk p27-36 s27) 69)
	(= (time-to-walk s36 p27-36) 35)
	(= (time-to-walk p27-36 s36) 35)
	(path s27 p27-57)
	(path p27-57 s27)
	(path s57 p27-57)
	(path p27-57 s57)
	(= (time-to-walk s27 p27-57) 68)
	(= (time-to-walk p27-57 s27) 68)
	(= (time-to-walk s57 p27-57) 60)
	(= (time-to-walk p27-57 s57) 60)
	(path s27 p27-102)
	(path p27-102 s27)
	(path s102 p27-102)
	(path p27-102 s102)
	(= (time-to-walk s27 p27-102) 57)
	(= (time-to-walk p27-102 s27) 57)
	(= (time-to-walk s102 p27-102) 61)
	(= (time-to-walk p27-102 s102) 61)
	(path s28 p28-11)
	(path p28-11 s28)
	(path s11 p28-11)
	(path p28-11 s11)
	(= (time-to-walk s28 p28-11) 4)
	(= (time-to-walk p28-11 s28) 4)
	(= (time-to-walk s11 p28-11) 85)
	(= (time-to-walk p28-11 s11) 85)
	(path s29 p29-12)
	(path p29-12 s29)
	(path s12 p29-12)
	(path p29-12 s12)
	(= (time-to-walk s29 p29-12) 44)
	(= (time-to-walk p29-12 s29) 44)
	(= (time-to-walk s12 p29-12) 38)
	(= (time-to-walk p29-12 s12) 38)
	(path s29 p29-43)
	(path p29-43 s29)
	(path s43 p29-43)
	(path p29-43 s43)
	(= (time-to-walk s29 p29-43) 72)
	(= (time-to-walk p29-43 s29) 72)
	(= (time-to-walk s43 p29-43) 92)
	(= (time-to-walk p29-43 s43) 92)
	(path s29 p29-64)
	(path p29-64 s29)
	(path s64 p29-64)
	(path p29-64 s64)
	(= (time-to-walk s29 p29-64) 28)
	(= (time-to-walk p29-64 s29) 28)
	(= (time-to-walk s64 p29-64) 10)
	(= (time-to-walk p29-64 s64) 10)
	(path s29 p29-106)
	(path p29-106 s29)
	(path s106 p29-106)
	(path p29-106 s106)
	(= (time-to-walk s29 p29-106) 33)
	(= (time-to-walk p29-106 s29) 33)
	(= (time-to-walk s106 p29-106) 52)
	(= (time-to-walk p29-106 s106) 52)
	(path s30 p30-39)
	(path p30-39 s30)
	(path s39 p30-39)
	(path p30-39 s39)
	(= (time-to-walk s30 p30-39) 64)
	(= (time-to-walk p30-39 s30) 64)
	(= (time-to-walk s39 p30-39) 81)
	(= (time-to-walk p30-39 s39) 81)
	(path s30 p30-103)
	(path p30-103 s30)
	(path s103 p30-103)
	(path p30-103 s103)
	(= (time-to-walk s30 p30-103) 52)
	(= (time-to-walk p30-103 s30) 52)
	(= (time-to-walk s103 p30-103) 90)
	(= (time-to-walk p30-103 s103) 90)
	(path s30 p30-118)
	(path p30-118 s30)
	(path s118 p30-118)
	(path p30-118 s118)
	(= (time-to-walk s30 p30-118) 12)
	(= (time-to-walk p30-118 s30) 12)
	(= (time-to-walk s118 p30-118) 25)
	(= (time-to-walk p30-118 s118) 25)
	(path s31 p31-62)
	(path p31-62 s31)
	(path s62 p31-62)
	(path p31-62 s62)
	(= (time-to-walk s31 p31-62) 20)
	(= (time-to-walk p31-62 s31) 20)
	(= (time-to-walk s62 p31-62) 59)
	(= (time-to-walk p31-62 s62) 59)
	(path s31 p31-103)
	(path p31-103 s31)
	(path s103 p31-103)
	(path p31-103 s103)
	(= (time-to-walk s31 p31-103) 43)
	(= (time-to-walk p31-103 s31) 43)
	(= (time-to-walk s103 p31-103) 65)
	(= (time-to-walk p31-103 s103) 65)
	(path s31 p31-106)
	(path p31-106 s31)
	(path s106 p31-106)
	(path p31-106 s106)
	(= (time-to-walk s31 p31-106) 32)
	(= (time-to-walk p31-106 s31) 32)
	(= (time-to-walk s106 p31-106) 26)
	(= (time-to-walk p31-106 s106) 26)
	(path s32 p32-13)
	(path p32-13 s32)
	(path s13 p32-13)
	(path p32-13 s13)
	(= (time-to-walk s32 p32-13) 53)
	(= (time-to-walk p32-13 s32) 53)
	(= (time-to-walk s13 p32-13) 78)
	(= (time-to-walk p32-13 s13) 78)
	(path s33 p33-31)
	(path p33-31 s33)
	(path s31 p33-31)
	(path p33-31 s31)
	(= (time-to-walk s33 p33-31) 18)
	(= (time-to-walk p33-31 s33) 18)
	(= (time-to-walk s31 p33-31) 21)
	(= (time-to-walk p33-31 s31) 21)
	(path s33 p33-32)
	(path p33-32 s33)
	(path s32 p33-32)
	(path p33-32 s32)
	(= (time-to-walk s33 p33-32) 12)
	(= (time-to-walk p33-32 s33) 12)
	(= (time-to-walk s32 p33-32) 85)
	(= (time-to-walk p33-32 s32) 85)
	(path s33 p33-118)
	(path p33-118 s33)
	(path s118 p33-118)
	(path p33-118 s118)
	(= (time-to-walk s33 p33-118) 81)
	(= (time-to-walk p33-118 s33) 81)
	(= (time-to-walk s118 p33-118) 69)
	(= (time-to-walk p33-118 s118) 69)
	(path s34 p34-13)
	(path p34-13 s34)
	(path s13 p34-13)
	(path p34-13 s13)
	(= (time-to-walk s34 p34-13) 46)
	(= (time-to-walk p34-13 s34) 46)
	(= (time-to-walk s13 p34-13) 84)
	(= (time-to-walk p34-13 s13) 84)
	(path s35 p35-13)
	(path p35-13 s35)
	(path s13 p35-13)
	(path p35-13 s13)
	(= (time-to-walk s35 p35-13) 54)
	(= (time-to-walk p35-13 s35) 54)
	(= (time-to-walk s13 p35-13) 89)
	(= (time-to-walk p35-13 s13) 89)
	(path s35 p35-23)
	(path p35-23 s35)
	(path s23 p35-23)
	(path p35-23 s23)
	(= (time-to-walk s35 p35-23) 22)
	(= (time-to-walk p35-23 s35) 22)
	(= (time-to-walk s23 p35-23) 25)
	(= (time-to-walk p35-23 s23) 25)
	(path s35 p35-94)
	(path p35-94 s35)
	(path s94 p35-94)
	(path p35-94 s94)
	(= (time-to-walk s35 p35-94) 81)
	(= (time-to-walk p35-94 s35) 81)
	(= (time-to-walk s94 p35-94) 50)
	(= (time-to-walk p35-94 s94) 50)
	(path s35 p35-98)
	(path p35-98 s35)
	(path s98 p35-98)
	(path p35-98 s98)
	(= (time-to-walk s35 p35-98) 34)
	(= (time-to-walk p35-98 s35) 34)
	(= (time-to-walk s98 p35-98) 13)
	(= (time-to-walk p35-98 s98) 13)
	(path s36 p36-16)
	(path p36-16 s36)
	(path s16 p36-16)
	(path p36-16 s16)
	(= (time-to-walk s36 p36-16) 1)
	(= (time-to-walk p36-16 s36) 1)
	(= (time-to-walk s16 p36-16) 98)
	(= (time-to-walk p36-16 s16) 98)
	(path s37 p37-9)
	(path p37-9 s37)
	(path s9 p37-9)
	(path p37-9 s9)
	(= (time-to-walk s37 p37-9) 94)
	(= (time-to-walk p37-9 s37) 94)
	(= (time-to-walk s9 p37-9) 53)
	(= (time-to-walk p37-9 s9) 53)
	(path s38 p38-17)
	(path p38-17 s38)
	(path s17 p38-17)
	(path p38-17 s17)
	(= (time-to-walk s38 p38-17) 88)
	(= (time-to-walk p38-17 s38) 88)
	(= (time-to-walk s17 p38-17) 6)
	(= (time-to-walk p38-17 s17) 6)
	(path s39 p39-46)
	(path p39-46 s39)
	(path s46 p39-46)
	(path p39-46 s46)
	(= (time-to-walk s39 p39-46) 77)
	(= (time-to-walk p39-46 s39) 77)
	(= (time-to-walk s46 p39-46) 8)
	(= (time-to-walk p39-46 s46) 8)
	(path s40 p40-57)
	(path p40-57 s40)
	(path s57 p40-57)
	(path p40-57 s57)
	(= (time-to-walk s40 p40-57) 64)
	(= (time-to-walk p40-57 s40) 64)
	(= (time-to-walk s57 p40-57) 19)
	(= (time-to-walk p40-57 s57) 19)
	(path s40 p40-65)
	(path p40-65 s40)
	(path s65 p40-65)
	(path p40-65 s65)
	(= (time-to-walk s40 p40-65) 72)
	(= (time-to-walk p40-65 s40) 72)
	(= (time-to-walk s65 p40-65) 96)
	(= (time-to-walk p40-65 s65) 96)
	(path s40 p40-82)
	(path p40-82 s40)
	(path s82 p40-82)
	(path p40-82 s82)
	(= (time-to-walk s40 p40-82) 45)
	(= (time-to-walk p40-82 s40) 45)
	(= (time-to-walk s82 p40-82) 25)
	(= (time-to-walk p40-82 s82) 25)
	(path s40 p40-106)
	(path p40-106 s40)
	(path s106 p40-106)
	(path p40-106 s106)
	(= (time-to-walk s40 p40-106) 74)
	(= (time-to-walk p40-106 s40) 74)
	(= (time-to-walk s106 p40-106) 62)
	(= (time-to-walk p40-106 s106) 62)
	(path s41 p41-51)
	(path p41-51 s41)
	(path s51 p41-51)
	(path p41-51 s51)
	(= (time-to-walk s41 p41-51) 46)
	(= (time-to-walk p41-51 s41) 46)
	(= (time-to-walk s51 p41-51) 85)
	(= (time-to-walk p41-51 s51) 85)
	(path s41 p41-67)
	(path p41-67 s41)
	(path s67 p41-67)
	(path p41-67 s67)
	(= (time-to-walk s41 p41-67) 47)
	(= (time-to-walk p41-67 s41) 47)
	(= (time-to-walk s67 p41-67) 26)
	(= (time-to-walk p41-67 s67) 26)
	(path s41 p41-80)
	(path p41-80 s41)
	(path s80 p41-80)
	(path p41-80 s80)
	(= (time-to-walk s41 p41-80) 54)
	(= (time-to-walk p41-80 s41) 54)
	(= (time-to-walk s80 p41-80) 92)
	(= (time-to-walk p41-80 s80) 92)
	(path s41 p41-86)
	(path p41-86 s41)
	(path s86 p41-86)
	(path p41-86 s86)
	(= (time-to-walk s41 p41-86) 10)
	(= (time-to-walk p41-86 s41) 10)
	(= (time-to-walk s86 p41-86) 7)
	(= (time-to-walk p41-86 s86) 7)
	(path s42 p42-11)
	(path p42-11 s42)
	(path s11 p42-11)
	(path p42-11 s11)
	(= (time-to-walk s42 p42-11) 81)
	(= (time-to-walk p42-11 s42) 81)
	(= (time-to-walk s11 p42-11) 32)
	(= (time-to-walk p42-11 s11) 32)
	(path s42 p42-41)
	(path p42-41 s42)
	(path s41 p42-41)
	(path p42-41 s41)
	(= (time-to-walk s42 p42-41) 32)
	(= (time-to-walk p42-41 s42) 32)
	(= (time-to-walk s41 p42-41) 62)
	(= (time-to-walk p42-41 s41) 62)
	(path s42 p42-59)
	(path p42-59 s42)
	(path s59 p42-59)
	(path p42-59 s59)
	(= (time-to-walk s42 p42-59) 81)
	(= (time-to-walk p42-59 s42) 81)
	(= (time-to-walk s59 p42-59) 66)
	(= (time-to-walk p42-59 s59) 66)
	(path s43 p43-26)
	(path p43-26 s43)
	(path s26 p43-26)
	(path p43-26 s26)
	(= (time-to-walk s43 p43-26) 75)
	(= (time-to-walk p43-26 s43) 75)
	(= (time-to-walk s26 p43-26) 82)
	(= (time-to-walk p43-26 s26) 82)
	(path s45 p45-94)
	(path p45-94 s45)
	(path s94 p45-94)
	(path p45-94 s94)
	(= (time-to-walk s45 p45-94) 63)
	(= (time-to-walk p45-94 s45) 63)
	(= (time-to-walk s94 p45-94) 69)
	(= (time-to-walk p45-94 s94) 69)
	(path s46 p46-54)
	(path p46-54 s46)
	(path s54 p46-54)
	(path p46-54 s54)
	(= (time-to-walk s46 p46-54) 34)
	(= (time-to-walk p46-54 s46) 34)
	(= (time-to-walk s54 p46-54) 51)
	(= (time-to-walk p46-54 s54) 51)
	(path s46 p46-117)
	(path p46-117 s46)
	(path s117 p46-117)
	(path p46-117 s117)
	(= (time-to-walk s46 p46-117) 74)
	(= (time-to-walk p46-117 s46) 74)
	(= (time-to-walk s117 p46-117) 10)
	(= (time-to-walk p46-117 s117) 10)
	(path s47 p47-11)
	(path p47-11 s47)
	(path s11 p47-11)
	(path p47-11 s11)
	(= (time-to-walk s47 p47-11) 58)
	(= (time-to-walk p47-11 s47) 58)
	(= (time-to-walk s11 p47-11) 38)
	(= (time-to-walk p47-11 s11) 38)
	(path s47 p47-48)
	(path p47-48 s47)
	(path s48 p47-48)
	(path p47-48 s48)
	(= (time-to-walk s47 p47-48) 29)
	(= (time-to-walk p47-48 s47) 29)
	(= (time-to-walk s48 p47-48) 30)
	(= (time-to-walk p47-48 s48) 30)
	(path s48 p48-29)
	(path p48-29 s48)
	(path s29 p48-29)
	(path p48-29 s29)
	(= (time-to-walk s48 p48-29) 33)
	(= (time-to-walk p48-29 s48) 33)
	(= (time-to-walk s29 p48-29) 73)
	(= (time-to-walk p48-29 s29) 73)
	(path s49 p49-17)
	(path p49-17 s49)
	(path s17 p49-17)
	(path p49-17 s17)
	(= (time-to-walk s49 p49-17) 54)
	(= (time-to-walk p49-17 s49) 54)
	(= (time-to-walk s17 p49-17) 6)
	(= (time-to-walk p49-17 s17) 6)
	(path s49 p49-41)
	(path p49-41 s49)
	(path s41 p49-41)
	(path p49-41 s41)
	(= (time-to-walk s49 p49-41) 34)
	(= (time-to-walk p49-41 s49) 34)
	(= (time-to-walk s41 p49-41) 99)
	(= (time-to-walk p49-41 s41) 99)
	(path s52 p52-87)
	(path p52-87 s52)
	(path s87 p52-87)
	(path p52-87 s87)
	(= (time-to-walk s52 p52-87) 91)
	(= (time-to-walk p52-87 s52) 91)
	(= (time-to-walk s87 p52-87) 80)
	(= (time-to-walk p52-87 s87) 80)
	(path s52 p52-113)
	(path p52-113 s52)
	(path s113 p52-113)
	(path p52-113 s113)
	(= (time-to-walk s52 p52-113) 25)
	(= (time-to-walk p52-113 s52) 25)
	(= (time-to-walk s113 p52-113) 45)
	(= (time-to-walk p52-113 s113) 45)
	(path s52 p52-115)
	(path p52-115 s52)
	(path s115 p52-115)
	(path p52-115 s115)
	(= (time-to-walk s52 p52-115) 72)
	(= (time-to-walk p52-115 s52) 72)
	(= (time-to-walk s115 p52-115) 35)
	(= (time-to-walk p52-115 s115) 35)
	(path s54 p54-55)
	(path p54-55 s54)
	(path s55 p54-55)
	(path p54-55 s55)
	(= (time-to-walk s54 p54-55) 52)
	(= (time-to-walk p54-55 s54) 52)
	(= (time-to-walk s55 p54-55) 53)
	(= (time-to-walk p54-55 s55) 53)
	(path s54 p54-72)
	(path p54-72 s54)
	(path s72 p54-72)
	(path p54-72 s72)
	(= (time-to-walk s54 p54-72) 66)
	(= (time-to-walk p54-72 s54) 66)
	(= (time-to-walk s72 p54-72) 83)
	(= (time-to-walk p54-72 s72) 83)
	(path s54 p54-84)
	(path p54-84 s54)
	(path s84 p54-84)
	(path p54-84 s84)
	(= (time-to-walk s54 p54-84) 15)
	(= (time-to-walk p54-84 s54) 15)
	(= (time-to-walk s84 p54-84) 47)
	(= (time-to-walk p54-84 s84) 47)
	(path s54 p54-94)
	(path p54-94 s54)
	(path s94 p54-94)
	(path p54-94 s94)
	(= (time-to-walk s54 p54-94) 48)
	(= (time-to-walk p54-94 s54) 48)
	(= (time-to-walk s94 p54-94) 89)
	(= (time-to-walk p54-94 s94) 89)
	(path s55 p55-58)
	(path p55-58 s55)
	(path s58 p55-58)
	(path p55-58 s58)
	(= (time-to-walk s55 p55-58) 29)
	(= (time-to-walk p55-58 s55) 29)
	(= (time-to-walk s58 p55-58) 11)
	(= (time-to-walk p55-58 s58) 11)
	(path s55 p55-71)
	(path p55-71 s55)
	(path s71 p55-71)
	(path p55-71 s71)
	(= (time-to-walk s55 p55-71) 57)
	(= (time-to-walk p55-71 s55) 57)
	(= (time-to-walk s71 p55-71) 62)
	(= (time-to-walk p55-71 s71) 62)
	(path s56 p56-0)
	(path p56-0 s56)
	(path s0 p56-0)
	(path p56-0 s0)
	(= (time-to-walk s56 p56-0) 61)
	(= (time-to-walk p56-0 s56) 61)
	(= (time-to-walk s0 p56-0) 30)
	(= (time-to-walk p56-0 s0) 30)
	(path s56 p56-19)
	(path p56-19 s56)
	(path s19 p56-19)
	(path p56-19 s19)
	(= (time-to-walk s56 p56-19) 72)
	(= (time-to-walk p56-19 s56) 72)
	(= (time-to-walk s19 p56-19) 19)
	(= (time-to-walk p56-19 s19) 19)
	(path s56 p56-81)
	(path p56-81 s56)
	(path s81 p56-81)
	(path p56-81 s81)
	(= (time-to-walk s56 p56-81) 68)
	(= (time-to-walk p56-81 s56) 68)
	(= (time-to-walk s81 p56-81) 100)
	(= (time-to-walk p56-81 s81) 100)
	(path s56 p56-116)
	(path p56-116 s56)
	(path s116 p56-116)
	(path p56-116 s116)
	(= (time-to-walk s56 p56-116) 48)
	(= (time-to-walk p56-116 s56) 48)
	(= (time-to-walk s116 p56-116) 1)
	(= (time-to-walk p56-116 s116) 1)
	(path s57 p57-13)
	(path p57-13 s57)
	(path s13 p57-13)
	(path p57-13 s13)
	(= (time-to-walk s57 p57-13) 73)
	(= (time-to-walk p57-13 s57) 73)
	(= (time-to-walk s13 p57-13) 1)
	(= (time-to-walk p57-13 s13) 1)
	(path s57 p57-51)
	(path p57-51 s57)
	(path s51 p57-51)
	(path p57-51 s51)
	(= (time-to-walk s57 p57-51) 6)
	(= (time-to-walk p57-51 s57) 6)
	(= (time-to-walk s51 p57-51) 6)
	(= (time-to-walk p57-51 s51) 6)
	(path s57 p57-70)
	(path p57-70 s57)
	(path s70 p57-70)
	(path p57-70 s70)
	(= (time-to-walk s57 p57-70) 99)
	(= (time-to-walk p57-70 s57) 99)
	(= (time-to-walk s70 p57-70) 97)
	(= (time-to-walk p57-70 s70) 97)
	(path s57 p57-117)
	(path p57-117 s57)
	(path s117 p57-117)
	(path p57-117 s117)
	(= (time-to-walk s57 p57-117) 86)
	(= (time-to-walk p57-117 s57) 86)
	(= (time-to-walk s117 p57-117) 24)
	(= (time-to-walk p57-117 s117) 24)
	(path s58 p58-27)
	(path p58-27 s58)
	(path s27 p58-27)
	(path p58-27 s27)
	(= (time-to-walk s58 p58-27) 42)
	(= (time-to-walk p58-27 s58) 42)
	(= (time-to-walk s27 p58-27) 58)
	(= (time-to-walk p58-27 s27) 58)
	(path s59 p59-52)
	(path p59-52 s59)
	(path s52 p59-52)
	(path p59-52 s52)
	(= (time-to-walk s59 p59-52) 58)
	(= (time-to-walk p59-52 s59) 58)
	(= (time-to-walk s52 p59-52) 93)
	(= (time-to-walk p59-52 s52) 93)
	(path s60 p60-90)
	(path p60-90 s60)
	(path s90 p60-90)
	(path p60-90 s90)
	(= (time-to-walk s60 p60-90) 11)
	(= (time-to-walk p60-90 s60) 11)
	(= (time-to-walk s90 p60-90) 24)
	(= (time-to-walk p60-90 s90) 24)
	(path s61 p61-26)
	(path p61-26 s61)
	(path s26 p61-26)
	(path p61-26 s26)
	(= (time-to-walk s61 p61-26) 75)
	(= (time-to-walk p61-26 s61) 75)
	(= (time-to-walk s26 p61-26) 25)
	(= (time-to-walk p61-26 s26) 25)
	(path s61 p61-43)
	(path p61-43 s61)
	(path s43 p61-43)
	(path p61-43 s43)
	(= (time-to-walk s61 p61-43) 71)
	(= (time-to-walk p61-43 s61) 71)
	(= (time-to-walk s43 p61-43) 23)
	(= (time-to-walk p61-43 s43) 23)
	(path s61 p61-64)
	(path p61-64 s61)
	(path s64 p61-64)
	(path p61-64 s64)
	(= (time-to-walk s61 p61-64) 14)
	(= (time-to-walk p61-64 s61) 14)
	(= (time-to-walk s64 p61-64) 99)
	(= (time-to-walk p61-64 s64) 99)
	(path s61 p61-105)
	(path p61-105 s61)
	(path s105 p61-105)
	(path p61-105 s105)
	(= (time-to-walk s61 p61-105) 33)
	(= (time-to-walk p61-105 s61) 33)
	(= (time-to-walk s105 p61-105) 70)
	(= (time-to-walk p61-105 s105) 70)
	(path s61 p61-108)
	(path p61-108 s61)
	(path s108 p61-108)
	(path p61-108 s108)
	(= (time-to-walk s61 p61-108) 60)
	(= (time-to-walk p61-108 s61) 60)
	(= (time-to-walk s108 p61-108) 93)
	(= (time-to-walk p61-108 s108) 93)
	(path s63 p63-89)
	(path p63-89 s63)
	(path s89 p63-89)
	(path p63-89 s89)
	(= (time-to-walk s63 p63-89) 100)
	(= (time-to-walk p63-89 s63) 100)
	(= (time-to-walk s89 p63-89) 32)
	(= (time-to-walk p63-89 s89) 32)
	(path s63 p63-96)
	(path p63-96 s63)
	(path s96 p63-96)
	(path p63-96 s96)
	(= (time-to-walk s63 p63-96) 12)
	(= (time-to-walk p63-96 s63) 12)
	(= (time-to-walk s96 p63-96) 68)
	(= (time-to-walk p63-96 s96) 68)
	(path s63 p63-119)
	(path p63-119 s63)
	(path s119 p63-119)
	(path p63-119 s119)
	(= (time-to-walk s63 p63-119) 31)
	(= (time-to-walk p63-119 s63) 31)
	(= (time-to-walk s119 p63-119) 59)
	(= (time-to-walk p63-119 s119) 59)
	(path s64 p64-7)
	(path p64-7 s64)
	(path s7 p64-7)
	(path p64-7 s7)
	(= (time-to-walk s64 p64-7) 68)
	(= (time-to-walk p64-7 s64) 68)
	(= (time-to-walk s7 p64-7) 3)
	(= (time-to-walk p64-7 s7) 3)
	(path s64 p64-41)
	(path p64-41 s64)
	(path s41 p64-41)
	(path p64-41 s41)
	(= (time-to-walk s64 p64-41) 59)
	(= (time-to-walk p64-41 s64) 59)
	(= (time-to-walk s41 p64-41) 74)
	(= (time-to-walk p64-41 s41) 74)
	(path s64 p64-107)
	(path p64-107 s64)
	(path s107 p64-107)
	(path p64-107 s107)
	(= (time-to-walk s64 p64-107) 9)
	(= (time-to-walk p64-107 s64) 9)
	(= (time-to-walk s107 p64-107) 58)
	(= (time-to-walk p64-107 s107) 58)
	(path s65 p65-98)
	(path p65-98 s65)
	(path s98 p65-98)
	(path p65-98 s98)
	(= (time-to-walk s65 p65-98) 70)
	(= (time-to-walk p65-98 s65) 70)
	(= (time-to-walk s98 p65-98) 95)
	(= (time-to-walk p65-98 s98) 95)
	(path s66 p66-21)
	(path p66-21 s66)
	(path s21 p66-21)
	(path p66-21 s21)
	(= (time-to-walk s66 p66-21) 82)
	(= (time-to-walk p66-21 s66) 82)
	(= (time-to-walk s21 p66-21) 12)
	(= (time-to-walk p66-21 s21) 12)
	(path s66 p66-29)
	(path p66-29 s66)
	(path s29 p66-29)
	(path p66-29 s29)
	(= (time-to-walk s66 p66-29) 53)
	(= (time-to-walk p66-29 s66) 53)
	(= (time-to-walk s29 p66-29) 39)
	(= (time-to-walk p66-29 s29) 39)
	(path s66 p66-31)
	(path p66-31 s66)
	(path s31 p66-31)
	(path p66-31 s31)
	(= (time-to-walk s66 p66-31) 4)
	(= (time-to-walk p66-31 s66) 4)
	(= (time-to-walk s31 p66-31) 63)
	(= (time-to-walk p66-31 s31) 63)
	(path s66 p66-96)
	(path p66-96 s66)
	(path s96 p66-96)
	(path p66-96 s96)
	(= (time-to-walk s66 p66-96) 63)
	(= (time-to-walk p66-96 s66) 63)
	(= (time-to-walk s96 p66-96) 79)
	(= (time-to-walk p66-96 s96) 79)
	(path s67 p67-51)
	(path p67-51 s67)
	(path s51 p67-51)
	(path p67-51 s51)
	(= (time-to-walk s67 p67-51) 88)
	(= (time-to-walk p67-51 s67) 88)
	(= (time-to-walk s51 p67-51) 33)
	(= (time-to-walk p67-51 s51) 33)
	(path s68 p68-62)
	(path p68-62 s68)
	(path s62 p68-62)
	(path p68-62 s62)
	(= (time-to-walk s68 p68-62) 1)
	(= (time-to-walk p68-62 s68) 1)
	(= (time-to-walk s62 p68-62) 1)
	(= (time-to-walk p68-62 s62) 1)
	(path s68 p68-81)
	(path p68-81 s68)
	(path s81 p68-81)
	(path p68-81 s81)
	(= (time-to-walk s68 p68-81) 31)
	(= (time-to-walk p68-81 s68) 31)
	(= (time-to-walk s81 p68-81) 33)
	(= (time-to-walk p68-81 s81) 33)
	(path s69 p69-9)
	(path p69-9 s69)
	(path s9 p69-9)
	(path p69-9 s9)
	(= (time-to-walk s69 p69-9) 71)
	(= (time-to-walk p69-9 s69) 71)
	(= (time-to-walk s9 p69-9) 90)
	(= (time-to-walk p69-9 s9) 90)
	(path s69 p69-78)
	(path p69-78 s69)
	(path s78 p69-78)
	(path p69-78 s78)
	(= (time-to-walk s69 p69-78) 26)
	(= (time-to-walk p69-78 s69) 26)
	(= (time-to-walk s78 p69-78) 71)
	(= (time-to-walk p69-78 s78) 71)
	(path s70 p70-44)
	(path p70-44 s70)
	(path s44 p70-44)
	(path p70-44 s44)
	(= (time-to-walk s70 p70-44) 22)
	(= (time-to-walk p70-44 s70) 22)
	(= (time-to-walk s44 p70-44) 37)
	(= (time-to-walk p70-44 s44) 37)
	(path s71 p71-76)
	(path p71-76 s71)
	(path s76 p71-76)
	(path p71-76 s76)
	(= (time-to-walk s71 p71-76) 38)
	(= (time-to-walk p71-76 s71) 38)
	(= (time-to-walk s76 p71-76) 52)
	(= (time-to-walk p71-76 s76) 52)
	(path s71 p71-88)
	(path p71-88 s71)
	(path s88 p71-88)
	(path p71-88 s88)
	(= (time-to-walk s71 p71-88) 96)
	(= (time-to-walk p71-88 s71) 96)
	(= (time-to-walk s88 p71-88) 5)
	(= (time-to-walk p71-88 s88) 5)
	(path s71 p71-119)
	(path p71-119 s71)
	(path s119 p71-119)
	(path p71-119 s119)
	(= (time-to-walk s71 p71-119) 55)
	(= (time-to-walk p71-119 s71) 55)
	(= (time-to-walk s119 p71-119) 54)
	(= (time-to-walk p71-119 s119) 54)
	(path s72 p72-82)
	(path p72-82 s72)
	(path s82 p72-82)
	(path p72-82 s82)
	(= (time-to-walk s72 p72-82) 78)
	(= (time-to-walk p72-82 s72) 78)
	(= (time-to-walk s82 p72-82) 64)
	(= (time-to-walk p72-82 s82) 64)
	(path s73 p73-113)
	(path p73-113 s73)
	(path s113 p73-113)
	(path p73-113 s113)
	(= (time-to-walk s73 p73-113) 12)
	(= (time-to-walk p73-113 s73) 12)
	(= (time-to-walk s113 p73-113) 48)
	(= (time-to-walk p73-113 s113) 48)
	(path s74 p74-61)
	(path p74-61 s74)
	(path s61 p74-61)
	(path p74-61 s61)
	(= (time-to-walk s74 p74-61) 59)
	(= (time-to-walk p74-61 s74) 59)
	(= (time-to-walk s61 p74-61) 93)
	(= (time-to-walk p74-61 s61) 93)
	(path s75 p75-57)
	(path p75-57 s75)
	(path s57 p75-57)
	(path p75-57 s57)
	(= (time-to-walk s75 p75-57) 59)
	(= (time-to-walk p75-57 s75) 59)
	(= (time-to-walk s57 p75-57) 11)
	(= (time-to-walk p75-57 s57) 11)
	(path s75 p75-110)
	(path p75-110 s75)
	(path s110 p75-110)
	(path p75-110 s110)
	(= (time-to-walk s75 p75-110) 32)
	(= (time-to-walk p75-110 s75) 32)
	(= (time-to-walk s110 p75-110) 63)
	(= (time-to-walk p75-110 s110) 63)
	(path s76 p76-6)
	(path p76-6 s76)
	(path s6 p76-6)
	(path p76-6 s6)
	(= (time-to-walk s76 p76-6) 73)
	(= (time-to-walk p76-6 s76) 73)
	(= (time-to-walk s6 p76-6) 94)
	(= (time-to-walk p76-6 s6) 94)
	(path s76 p76-35)
	(path p76-35 s76)
	(path s35 p76-35)
	(path p76-35 s35)
	(= (time-to-walk s76 p76-35) 42)
	(= (time-to-walk p76-35 s76) 42)
	(= (time-to-walk s35 p76-35) 61)
	(= (time-to-walk p76-35 s35) 61)
	(path s76 p76-36)
	(path p76-36 s76)
	(path s36 p76-36)
	(path p76-36 s36)
	(= (time-to-walk s76 p76-36) 26)
	(= (time-to-walk p76-36 s76) 26)
	(= (time-to-walk s36 p76-36) 43)
	(= (time-to-walk p76-36 s36) 43)
	(path s76 p76-77)
	(path p76-77 s76)
	(path s77 p76-77)
	(path p76-77 s77)
	(= (time-to-walk s76 p76-77) 62)
	(= (time-to-walk p76-77 s76) 62)
	(= (time-to-walk s77 p76-77) 56)
	(= (time-to-walk p76-77 s77) 56)
	(path s77 p77-16)
	(path p77-16 s77)
	(path s16 p77-16)
	(path p77-16 s16)
	(= (time-to-walk s77 p77-16) 76)
	(= (time-to-walk p77-16 s77) 76)
	(= (time-to-walk s16 p77-16) 32)
	(= (time-to-walk p77-16 s16) 32)
	(path s77 p77-17)
	(path p77-17 s77)
	(path s17 p77-17)
	(path p77-17 s17)
	(= (time-to-walk s77 p77-17) 46)
	(= (time-to-walk p77-17 s77) 46)
	(= (time-to-walk s17 p77-17) 2)
	(= (time-to-walk p77-17 s17) 2)
	(path s77 p77-62)
	(path p77-62 s77)
	(path s62 p77-62)
	(path p77-62 s62)
	(= (time-to-walk s77 p77-62) 3)
	(= (time-to-walk p77-62 s77) 3)
	(= (time-to-walk s62 p77-62) 67)
	(= (time-to-walk p77-62 s62) 67)
	(path s77 p77-79)
	(path p77-79 s77)
	(path s79 p77-79)
	(path p77-79 s79)
	(= (time-to-walk s77 p77-79) 38)
	(= (time-to-walk p77-79 s77) 38)
	(= (time-to-walk s79 p77-79) 40)
	(= (time-to-walk p77-79 s79) 40)
	(path s77 p77-107)
	(path p77-107 s77)
	(path s107 p77-107)
	(path p77-107 s107)
	(= (time-to-walk s77 p77-107) 19)
	(= (time-to-walk p77-107 s77) 19)
	(= (time-to-walk s107 p77-107) 34)
	(= (time-to-walk p77-107 s107) 34)
	(path s78 p78-9)
	(path p78-9 s78)
	(path s9 p78-9)
	(path p78-9 s9)
	(= (time-to-walk s78 p78-9) 45)
	(= (time-to-walk p78-9 s78) 45)
	(= (time-to-walk s9 p78-9) 74)
	(= (time-to-walk p78-9 s9) 74)
	(path s78 p78-31)
	(path p78-31 s78)
	(path s31 p78-31)
	(path p78-31 s31)
	(= (time-to-walk s78 p78-31) 88)
	(= (time-to-walk p78-31 s78) 88)
	(= (time-to-walk s31 p78-31) 22)
	(= (time-to-walk p78-31 s31) 22)
	(path s78 p78-85)
	(path p78-85 s78)
	(path s85 p78-85)
	(path p78-85 s85)
	(= (time-to-walk s78 p78-85) 37)
	(= (time-to-walk p78-85 s78) 37)
	(= (time-to-walk s85 p78-85) 99)
	(= (time-to-walk p78-85 s85) 99)
	(path s79 p79-54)
	(path p79-54 s79)
	(path s54 p79-54)
	(path p79-54 s54)
	(= (time-to-walk s79 p79-54) 70)
	(= (time-to-walk p79-54 s79) 70)
	(= (time-to-walk s54 p79-54) 95)
	(= (time-to-walk p79-54 s54) 95)
	(path s79 p79-83)
	(path p79-83 s79)
	(path s83 p79-83)
	(path p79-83 s83)
	(= (time-to-walk s79 p79-83) 92)
	(= (time-to-walk p79-83 s79) 92)
	(= (time-to-walk s83 p79-83) 29)
	(= (time-to-walk p79-83 s83) 29)
	(path s81 p81-24)
	(path p81-24 s81)
	(path s24 p81-24)
	(path p81-24 s24)
	(= (time-to-walk s81 p81-24) 5)
	(= (time-to-walk p81-24 s81) 5)
	(= (time-to-walk s24 p81-24) 24)
	(= (time-to-walk p81-24 s24) 24)
	(path s81 p81-29)
	(path p81-29 s81)
	(path s29 p81-29)
	(path p81-29 s29)
	(= (time-to-walk s81 p81-29) 92)
	(= (time-to-walk p81-29 s81) 92)
	(= (time-to-walk s29 p81-29) 78)
	(= (time-to-walk p81-29 s29) 78)
	(path s81 p81-66)
	(path p81-66 s81)
	(path s66 p81-66)
	(path p81-66 s66)
	(= (time-to-walk s81 p81-66) 17)
	(= (time-to-walk p81-66 s81) 17)
	(= (time-to-walk s66 p81-66) 33)
	(= (time-to-walk p81-66 s66) 33)
	(path s81 p81-116)
	(path p81-116 s81)
	(path s116 p81-116)
	(path p81-116 s116)
	(= (time-to-walk s81 p81-116) 39)
	(= (time-to-walk p81-116 s81) 39)
	(= (time-to-walk s116 p81-116) 42)
	(= (time-to-walk p81-116 s116) 42)
	(path s82 p82-88)
	(path p82-88 s82)
	(path s88 p82-88)
	(path p82-88 s88)
	(= (time-to-walk s82 p82-88) 76)
	(= (time-to-walk p82-88 s82) 76)
	(= (time-to-walk s88 p82-88) 100)
	(= (time-to-walk p82-88 s88) 100)
	(path s83 p83-6)
	(path p83-6 s83)
	(path s6 p83-6)
	(path p83-6 s6)
	(= (time-to-walk s83 p83-6) 98)
	(= (time-to-walk p83-6 s83) 98)
	(= (time-to-walk s6 p83-6) 51)
	(= (time-to-walk p83-6 s6) 51)
	(path s83 p83-101)
	(path p83-101 s83)
	(path s101 p83-101)
	(path p83-101 s101)
	(= (time-to-walk s83 p83-101) 32)
	(= (time-to-walk p83-101 s83) 32)
	(= (time-to-walk s101 p83-101) 44)
	(= (time-to-walk p83-101 s101) 44)
	(path s84 p84-92)
	(path p84-92 s84)
	(path s92 p84-92)
	(path p84-92 s92)
	(= (time-to-walk s84 p84-92) 52)
	(= (time-to-walk p84-92 s84) 52)
	(= (time-to-walk s92 p84-92) 34)
	(= (time-to-walk p84-92 s92) 34)
	(path s85 p85-50)
	(path p85-50 s85)
	(path s50 p85-50)
	(path p85-50 s50)
	(= (time-to-walk s85 p85-50) 10)
	(= (time-to-walk p85-50 s85) 10)
	(= (time-to-walk s50 p85-50) 90)
	(= (time-to-walk p85-50 s50) 90)
	(path s86 p86-67)
	(path p86-67 s86)
	(path s67 p86-67)
	(path p86-67 s67)
	(= (time-to-walk s86 p86-67) 74)
	(= (time-to-walk p86-67 s86) 74)
	(= (time-to-walk s67 p86-67) 28)
	(= (time-to-walk p86-67 s67) 28)
	(path s87 p87-90)
	(path p87-90 s87)
	(path s90 p87-90)
	(path p87-90 s90)
	(= (time-to-walk s87 p87-90) 23)
	(= (time-to-walk p87-90 s87) 23)
	(= (time-to-walk s90 p87-90) 18)
	(= (time-to-walk p87-90 s90) 18)
	(path s88 p88-38)
	(path p88-38 s88)
	(path s38 p88-38)
	(path p88-38 s38)
	(= (time-to-walk s88 p88-38) 1)
	(= (time-to-walk p88-38 s88) 1)
	(= (time-to-walk s38 p88-38) 10)
	(= (time-to-walk p88-38 s38) 10)
	(path s88 p88-94)
	(path p88-94 s88)
	(path s94 p88-94)
	(path p88-94 s94)
	(= (time-to-walk s88 p88-94) 40)
	(= (time-to-walk p88-94 s88) 40)
	(= (time-to-walk s94 p88-94) 38)
	(= (time-to-walk p88-94 s94) 38)
	(path s89 p89-45)
	(path p89-45 s89)
	(path s45 p89-45)
	(path p89-45 s45)
	(= (time-to-walk s89 p89-45) 9)
	(= (time-to-walk p89-45 s89) 9)
	(= (time-to-walk s45 p89-45) 10)
	(= (time-to-walk p89-45 s45) 10)
	(path s89 p89-86)
	(path p89-86 s89)
	(path s86 p89-86)
	(path p89-86 s86)
	(= (time-to-walk s89 p89-86) 33)
	(= (time-to-walk p89-86 s89) 33)
	(= (time-to-walk s86 p89-86) 100)
	(= (time-to-walk p89-86 s86) 100)
	(path s90 p90-42)
	(path p90-42 s90)
	(path s42 p90-42)
	(path p90-42 s42)
	(= (time-to-walk s90 p90-42) 38)
	(= (time-to-walk p90-42 s90) 38)
	(= (time-to-walk s42 p90-42) 38)
	(= (time-to-walk p90-42 s42) 38)
	(path s90 p90-98)
	(path p90-98 s90)
	(path s98 p90-98)
	(path p90-98 s98)
	(= (time-to-walk s90 p90-98) 23)
	(= (time-to-walk p90-98 s90) 23)
	(= (time-to-walk s98 p90-98) 30)
	(= (time-to-walk p90-98 s98) 30)
	(path s91 p91-105)
	(path p91-105 s91)
	(path s105 p91-105)
	(path p91-105 s105)
	(= (time-to-walk s91 p91-105) 16)
	(= (time-to-walk p91-105 s91) 16)
	(= (time-to-walk s105 p91-105) 40)
	(= (time-to-walk p91-105 s105) 40)
	(path s92 p92-44)
	(path p92-44 s92)
	(path s44 p92-44)
	(path p92-44 s44)
	(= (time-to-walk s92 p92-44) 63)
	(= (time-to-walk p92-44 s92) 63)
	(= (time-to-walk s44 p92-44) 54)
	(= (time-to-walk p92-44 s44) 54)
	(path s92 p92-51)
	(path p92-51 s92)
	(path s51 p92-51)
	(path p92-51 s51)
	(= (time-to-walk s92 p92-51) 82)
	(= (time-to-walk p92-51 s92) 82)
	(= (time-to-walk s51 p92-51) 38)
	(= (time-to-walk p92-51 s51) 38)
	(path s92 p92-100)
	(path p92-100 s92)
	(path s100 p92-100)
	(path p92-100 s100)
	(= (time-to-walk s92 p92-100) 54)
	(= (time-to-walk p92-100 s92) 54)
	(= (time-to-walk s100 p92-100) 79)
	(= (time-to-walk p92-100 s100) 79)
	(path s93 p93-40)
	(path p93-40 s93)
	(path s40 p93-40)
	(path p93-40 s40)
	(= (time-to-walk s93 p93-40) 88)
	(= (time-to-walk p93-40 s93) 88)
	(= (time-to-walk s40 p93-40) 85)
	(= (time-to-walk p93-40 s40) 85)
	(path s93 p93-48)
	(path p93-48 s93)
	(path s48 p93-48)
	(path p93-48 s48)
	(= (time-to-walk s93 p93-48) 22)
	(= (time-to-walk p93-48 s93) 22)
	(= (time-to-walk s48 p93-48) 39)
	(= (time-to-walk p93-48 s48) 39)
	(path s93 p93-65)
	(path p93-65 s93)
	(path s65 p93-65)
	(path p93-65 s65)
	(= (time-to-walk s93 p93-65) 19)
	(= (time-to-walk p93-65 s93) 19)
	(= (time-to-walk s65 p93-65) 32)
	(= (time-to-walk p93-65 s65) 32)
	(path s93 p93-107)
	(path p93-107 s93)
	(path s107 p93-107)
	(path p93-107 s107)
	(= (time-to-walk s93 p93-107) 29)
	(= (time-to-walk p93-107 s93) 29)
	(= (time-to-walk s107 p93-107) 92)
	(= (time-to-walk p93-107 s107) 92)
	(path s94 p94-103)
	(path p94-103 s94)
	(path s103 p94-103)
	(path p94-103 s103)
	(= (time-to-walk s94 p94-103) 60)
	(= (time-to-walk p94-103 s94) 60)
	(= (time-to-walk s103 p94-103) 51)
	(= (time-to-walk p94-103 s103) 51)
	(path s95 p95-49)
	(path p95-49 s95)
	(path s49 p95-49)
	(path p95-49 s49)
	(= (time-to-walk s95 p95-49) 10)
	(= (time-to-walk p95-49 s95) 10)
	(= (time-to-walk s49 p95-49) 61)
	(= (time-to-walk p95-49 s49) 61)
	(path s95 p95-63)
	(path p95-63 s95)
	(path s63 p95-63)
	(path p95-63 s63)
	(= (time-to-walk s95 p95-63) 61)
	(= (time-to-walk p95-63 s95) 61)
	(= (time-to-walk s63 p95-63) 49)
	(= (time-to-walk p95-63 s63) 49)
	(path s96 p96-5)
	(path p96-5 s96)
	(path s5 p96-5)
	(path p96-5 s5)
	(= (time-to-walk s96 p96-5) 98)
	(= (time-to-walk p96-5 s96) 98)
	(= (time-to-walk s5 p96-5) 69)
	(= (time-to-walk p96-5 s5) 69)
	(path s96 p96-18)
	(path p96-18 s96)
	(path s18 p96-18)
	(path p96-18 s18)
	(= (time-to-walk s96 p96-18) 59)
	(= (time-to-walk p96-18 s96) 59)
	(= (time-to-walk s18 p96-18) 31)
	(= (time-to-walk p96-18 s18) 31)
	(path s96 p96-19)
	(path p96-19 s96)
	(path s19 p96-19)
	(path p96-19 s19)
	(= (time-to-walk s96 p96-19) 69)
	(= (time-to-walk p96-19 s96) 69)
	(= (time-to-walk s19 p96-19) 97)
	(= (time-to-walk p96-19 s19) 97)
	(path s96 p96-33)
	(path p96-33 s96)
	(path s33 p96-33)
	(path p96-33 s33)
	(= (time-to-walk s96 p96-33) 68)
	(= (time-to-walk p96-33 s96) 68)
	(= (time-to-walk s33 p96-33) 92)
	(= (time-to-walk p96-33 s33) 92)
	(path s96 p96-47)
	(path p96-47 s96)
	(path s47 p96-47)
	(path p96-47 s47)
	(= (time-to-walk s96 p96-47) 26)
	(= (time-to-walk p96-47 s96) 26)
	(= (time-to-walk s47 p96-47) 84)
	(= (time-to-walk p96-47 s47) 84)
	(path s96 p96-75)
	(path p96-75 s96)
	(path s75 p96-75)
	(path p96-75 s75)
	(= (time-to-walk s96 p96-75) 31)
	(= (time-to-walk p96-75 s96) 31)
	(= (time-to-walk s75 p96-75) 88)
	(= (time-to-walk p96-75 s75) 88)
	(path s96 p96-82)
	(path p96-82 s96)
	(path s82 p96-82)
	(path p96-82 s82)
	(= (time-to-walk s96 p96-82) 37)
	(= (time-to-walk p96-82 s96) 37)
	(= (time-to-walk s82 p96-82) 12)
	(= (time-to-walk p96-82 s82) 12)
	(path s96 p96-95)
	(path p96-95 s96)
	(path s95 p96-95)
	(path p96-95 s95)
	(= (time-to-walk s96 p96-95) 25)
	(= (time-to-walk p96-95 s96) 25)
	(= (time-to-walk s95 p96-95) 90)
	(= (time-to-walk p96-95 s95) 90)
	(path s97 p97-51)
	(path p97-51 s97)
	(path s51 p97-51)
	(path p97-51 s51)
	(= (time-to-walk s97 p97-51) 91)
	(= (time-to-walk p97-51 s97) 91)
	(= (time-to-walk s51 p97-51) 13)
	(= (time-to-walk p97-51 s51) 13)
	(path s97 p97-119)
	(path p97-119 s97)
	(path s119 p97-119)
	(path p97-119 s119)
	(= (time-to-walk s97 p97-119) 75)
	(= (time-to-walk p97-119 s97) 75)
	(= (time-to-walk s119 p97-119) 13)
	(= (time-to-walk p97-119 s119) 13)
	(path s98 p98-41)
	(path p98-41 s98)
	(path s41 p98-41)
	(path p98-41 s41)
	(= (time-to-walk s98 p98-41) 52)
	(= (time-to-walk p98-41 s98) 52)
	(= (time-to-walk s41 p98-41) 93)
	(= (time-to-walk p98-41 s41) 93)
	(path s100 p100-63)
	(path p100-63 s100)
	(path s63 p100-63)
	(path p100-63 s63)
	(= (time-to-walk s100 p100-63) 45)
	(= (time-to-walk p100-63 s100) 45)
	(= (time-to-walk s63 p100-63) 80)
	(= (time-to-walk p100-63 s63) 80)
	(path s101 p101-104)
	(path p101-104 s101)
	(path s104 p101-104)
	(path p101-104 s104)
	(= (time-to-walk s101 p101-104) 84)
	(= (time-to-walk p101-104 s101) 84)
	(= (time-to-walk s104 p101-104) 4)
	(= (time-to-walk p101-104 s104) 4)
	(path s103 p103-3)
	(path p103-3 s103)
	(path s3 p103-3)
	(path p103-3 s3)
	(= (time-to-walk s103 p103-3) 30)
	(= (time-to-walk p103-3 s103) 30)
	(= (time-to-walk s3 p103-3) 93)
	(= (time-to-walk p103-3 s3) 93)
	(path s103 p103-5)
	(path p103-5 s103)
	(path s5 p103-5)
	(path p103-5 s5)
	(= (time-to-walk s103 p103-5) 64)
	(= (time-to-walk p103-5 s103) 64)
	(= (time-to-walk s5 p103-5) 90)
	(= (time-to-walk p103-5 s5) 90)
	(path s104 p104-42)
	(path p104-42 s104)
	(path s42 p104-42)
	(path p104-42 s42)
	(= (time-to-walk s104 p104-42) 42)
	(= (time-to-walk p104-42 s104) 42)
	(= (time-to-walk s42 p104-42) 62)
	(= (time-to-walk p104-42 s42) 62)
	(path s104 p104-71)
	(path p104-71 s104)
	(path s71 p104-71)
	(path p104-71 s71)
	(= (time-to-walk s104 p104-71) 59)
	(= (time-to-walk p104-71 s104) 59)
	(= (time-to-walk s71 p104-71) 1)
	(= (time-to-walk p104-71 s71) 1)
	(path s104 p104-72)
	(path p104-72 s104)
	(path s72 p104-72)
	(path p104-72 s72)
	(= (time-to-walk s104 p104-72) 92)
	(= (time-to-walk p104-72 s104) 92)
	(= (time-to-walk s72 p104-72) 27)
	(= (time-to-walk p104-72 s72) 27)
	(path s104 p104-98)
	(path p104-98 s104)
	(path s98 p104-98)
	(path p104-98 s98)
	(= (time-to-walk s104 p104-98) 97)
	(= (time-to-walk p104-98 s104) 97)
	(= (time-to-walk s98 p104-98) 60)
	(= (time-to-walk p104-98 s98) 60)
	(path s105 p105-21)
	(path p105-21 s105)
	(path s21 p105-21)
	(path p105-21 s21)
	(= (time-to-walk s105 p105-21) 18)
	(= (time-to-walk p105-21 s105) 18)
	(= (time-to-walk s21 p105-21) 22)
	(= (time-to-walk p105-21 s21) 22)
	(path s105 p105-80)
	(path p105-80 s105)
	(path s80 p105-80)
	(path p105-80 s80)
	(= (time-to-walk s105 p105-80) 44)
	(= (time-to-walk p105-80 s105) 44)
	(= (time-to-walk s80 p105-80) 49)
	(= (time-to-walk p105-80 s80) 49)
	(path s106 p106-37)
	(path p106-37 s106)
	(path s37 p106-37)
	(path p106-37 s37)
	(= (time-to-walk s106 p106-37) 10)
	(= (time-to-walk p106-37 s106) 10)
	(= (time-to-walk s37 p106-37) 81)
	(= (time-to-walk p106-37 s37) 81)
	(path s106 p106-68)
	(path p106-68 s106)
	(path s68 p106-68)
	(path p106-68 s68)
	(= (time-to-walk s106 p106-68) 61)
	(= (time-to-walk p106-68 s106) 61)
	(= (time-to-walk s68 p106-68) 35)
	(= (time-to-walk p106-68 s68) 35)
	(path s106 p106-82)
	(path p106-82 s106)
	(path s82 p106-82)
	(path p106-82 s82)
	(= (time-to-walk s106 p106-82) 71)
	(= (time-to-walk p106-82 s106) 71)
	(= (time-to-walk s82 p106-82) 52)
	(= (time-to-walk p106-82 s82) 52)
	(path s107 p107-20)
	(path p107-20 s107)
	(path s20 p107-20)
	(path p107-20 s20)
	(= (time-to-walk s107 p107-20) 47)
	(= (time-to-walk p107-20 s107) 47)
	(= (time-to-walk s20 p107-20) 45)
	(= (time-to-walk p107-20 s20) 45)
	(path s107 p107-35)
	(path p107-35 s107)
	(path s35 p107-35)
	(path p107-35 s35)
	(= (time-to-walk s107 p107-35) 65)
	(= (time-to-walk p107-35 s107) 65)
	(= (time-to-walk s35 p107-35) 98)
	(= (time-to-walk p107-35 s35) 98)
	(path s108 p108-34)
	(path p108-34 s108)
	(path s34 p108-34)
	(path p108-34 s34)
	(= (time-to-walk s108 p108-34) 37)
	(= (time-to-walk p108-34 s108) 37)
	(= (time-to-walk s34 p108-34) 9)
	(= (time-to-walk p108-34 s34) 9)
	(path s108 p108-67)
	(path p108-67 s108)
	(path s67 p108-67)
	(path p108-67 s67)
	(= (time-to-walk s108 p108-67) 77)
	(= (time-to-walk p108-67 s108) 77)
	(= (time-to-walk s67 p108-67) 21)
	(= (time-to-walk p108-67 s67) 21)
	(path s109 p109-24)
	(path p109-24 s109)
	(path s24 p109-24)
	(path p109-24 s24)
	(= (time-to-walk s109 p109-24) 12)
	(= (time-to-walk p109-24 s109) 12)
	(= (time-to-walk s24 p109-24) 7)
	(= (time-to-walk p109-24 s24) 7)
	(path s109 p109-66)
	(path p109-66 s109)
	(path s66 p109-66)
	(path p109-66 s66)
	(= (time-to-walk s109 p109-66) 14)
	(= (time-to-walk p109-66 s109) 14)
	(= (time-to-walk s66 p109-66) 76)
	(= (time-to-walk p109-66 s66) 76)
	(path s109 p109-91)
	(path p109-91 s109)
	(path s91 p109-91)
	(path p109-91 s91)
	(= (time-to-walk s109 p109-91) 96)
	(= (time-to-walk p109-91 s109) 96)
	(= (time-to-walk s91 p109-91) 56)
	(= (time-to-walk p109-91 s91) 56)
	(path s110 p110-62)
	(path p110-62 s110)
	(path s62 p110-62)
	(path p110-62 s62)
	(= (time-to-walk s110 p110-62) 38)
	(= (time-to-walk p110-62 s110) 38)
	(= (time-to-walk s62 p110-62) 55)
	(= (time-to-walk p110-62 s62) 55)
	(path s110 p110-81)
	(path p110-81 s110)
	(path s81 p110-81)
	(path p110-81 s81)
	(= (time-to-walk s110 p110-81) 56)
	(= (time-to-walk p110-81 s110) 56)
	(= (time-to-walk s81 p110-81) 30)
	(= (time-to-walk p110-81 s81) 30)
	(path s111 p111-3)
	(path p111-3 s111)
	(path s3 p111-3)
	(path p111-3 s3)
	(= (time-to-walk s111 p111-3) 81)
	(= (time-to-walk p111-3 s111) 81)
	(= (time-to-walk s3 p111-3) 52)
	(= (time-to-walk p111-3 s3) 52)
	(path s111 p111-17)
	(path p111-17 s111)
	(path s17 p111-17)
	(path p111-17 s17)
	(= (time-to-walk s111 p111-17) 89)
	(= (time-to-walk p111-17 s111) 89)
	(= (time-to-walk s17 p111-17) 99)
	(= (time-to-walk p111-17 s17) 99)
	(path s111 p111-82)
	(path p111-82 s111)
	(path s82 p111-82)
	(path p111-82 s82)
	(= (time-to-walk s111 p111-82) 74)
	(= (time-to-walk p111-82 s111) 74)
	(= (time-to-walk s82 p111-82) 33)
	(= (time-to-walk p111-82 s82) 33)
	(path s112 p112-1)
	(path p112-1 s112)
	(path s1 p112-1)
	(path p112-1 s1)
	(= (time-to-walk s112 p112-1) 47)
	(= (time-to-walk p112-1 s112) 47)
	(= (time-to-walk s1 p112-1) 83)
	(= (time-to-walk p112-1 s1) 83)
	(path s112 p112-74)
	(path p112-74 s112)
	(path s74 p112-74)
	(path p112-74 s74)
	(= (time-to-walk s112 p112-74) 13)
	(= (time-to-walk p112-74 s112) 13)
	(= (time-to-walk s74 p112-74) 8)
	(= (time-to-walk p112-74 s74) 8)
	(path s113 p113-22)
	(path p113-22 s113)
	(path s22 p113-22)
	(path p113-22 s22)
	(= (time-to-walk s113 p113-22) 18)
	(= (time-to-walk p113-22 s113) 18)
	(= (time-to-walk s22 p113-22) 83)
	(= (time-to-walk p113-22 s22) 83)
	(path s113 p113-119)
	(path p113-119 s113)
	(path s119 p113-119)
	(path p113-119 s119)
	(= (time-to-walk s113 p113-119) 59)
	(= (time-to-walk p113-119 s113) 59)
	(= (time-to-walk s119 p113-119) 64)
	(= (time-to-walk p113-119 s119) 64)
	(path s116 p116-7)
	(path p116-7 s116)
	(path s7 p116-7)
	(path p116-7 s7)
	(= (time-to-walk s116 p116-7) 28)
	(= (time-to-walk p116-7 s116) 28)
	(= (time-to-walk s7 p116-7) 23)
	(= (time-to-walk p116-7 s7) 23)
	(path s116 p116-9)
	(path p116-9 s116)
	(path s9 p116-9)
	(path p116-9 s9)
	(= (time-to-walk s116 p116-9) 61)
	(= (time-to-walk p116-9 s116) 61)
	(= (time-to-walk s9 p116-9) 64)
	(= (time-to-walk p116-9 s9) 64)
	(path s116 p116-38)
	(path p116-38 s116)
	(path s38 p116-38)
	(path p116-38 s38)
	(= (time-to-walk s116 p116-38) 31)
	(= (time-to-walk p116-38 s116) 31)
	(= (time-to-walk s38 p116-38) 38)
	(= (time-to-walk p116-38 s38) 38)
	(path s116 p116-69)
	(path p116-69 s116)
	(path s69 p116-69)
	(path p116-69 s69)
	(= (time-to-walk s116 p116-69) 85)
	(= (time-to-walk p116-69 s116) 85)
	(= (time-to-walk s69 p116-69) 43)
	(= (time-to-walk p116-69 s69) 43)
	(path s116 p116-84)
	(path p116-84 s116)
	(path s84 p116-84)
	(path p116-84 s84)
	(= (time-to-walk s116 p116-84) 44)
	(= (time-to-walk p116-84 s116) 44)
	(= (time-to-walk s84 p116-84) 99)
	(= (time-to-walk p116-84 s84) 99)
	(path s118 p118-5)
	(path p118-5 s118)
	(path s5 p118-5)
	(path p118-5 s5)
	(= (time-to-walk s118 p118-5) 18)
	(= (time-to-walk p118-5 s118) 18)
	(= (time-to-walk s5 p118-5) 40)
	(= (time-to-walk p118-5 s5) 40)
	(path s118 p118-57)
	(path p118-57 s118)
	(path s57 p118-57)
	(path p118-57 s57)
	(= (time-to-walk s118 p118-57) 54)
	(= (time-to-walk p118-57 s118) 54)
	(= (time-to-walk s57 p118-57) 56)
	(= (time-to-walk p118-57 s57) 56)
	(path s119 p119-87)
	(path p119-87 s119)
	(path s87 p119-87)
	(path p119-87 s87)
	(= (time-to-walk s119 p119-87) 94)
	(= (time-to-walk p119-87 s119) 94)
	(= (time-to-walk s87 p119-87) 10)
	(= (time-to-walk p119-87 s87) 10)
	(path s119 p119-116)
	(path p119-116 s119)
	(path s116 p119-116)
	(path p119-116 s116)
	(= (time-to-walk s119 p119-116) 85)
	(= (time-to-walk p119-116 s119) 85)
	(= (time-to-walk s116 p119-116) 75)
	(= (time-to-walk p119-116 s116) 75)
	(link s0 s25)
	(link s25 s0)
	(= (time-to-drive s0 s25) 61)
	(= (time-to-drive s25 s0) 61)
	(link s0 s64)
	(link s64 s0)
	(= (time-to-drive s0 s64) 74)
	(= (time-to-drive s64 s0) 74)
	(link s0 s96)
	(link s96 s0)
	(= (time-to-drive s0 s96) 73)
	(= (time-to-drive s96 s0) 73)
	(link s0 s102)
	(link s102 s0)
	(= (time-to-drive s0 s102) 35)
	(= (time-to-drive s102 s0) 35)
	(link s0 s119)
	(link s119 s0)
	(= (time-to-drive s0 s119) 6)
	(= (time-to-drive s119 s0) 6)
	(link s1 s44)
	(link s44 s1)
	(= (time-to-drive s1 s44) 20)
	(= (time-to-drive s44 s1) 20)
	(link s1 s50)
	(link s50 s1)
	(= (time-to-drive s1 s50) 18)
	(= (time-to-drive s50 s1) 18)
	(link s1 s51)
	(link s51 s1)
	(= (time-to-drive s1 s51) 18)
	(= (time-to-drive s51 s1) 18)
	(link s1 s109)
	(link s109 s1)
	(= (time-to-drive s1 s109) 27)
	(= (time-to-drive s109 s1) 27)
	(link s2 s20)
	(link s20 s2)
	(= (time-to-drive s2 s20) 35)
	(= (time-to-drive s20 s2) 35)
	(link s2 s66)
	(link s66 s2)
	(= (time-to-drive s2 s66) 1)
	(= (time-to-drive s66 s2) 1)
	(link s2 s67)
	(link s67 s2)
	(= (time-to-drive s2 s67) 85)
	(= (time-to-drive s67 s2) 85)
	(link s3 s14)
	(link s14 s3)
	(= (time-to-drive s3 s14) 99)
	(= (time-to-drive s14 s3) 99)
	(link s3 s17)
	(link s17 s3)
	(= (time-to-drive s3 s17) 28)
	(= (time-to-drive s17 s3) 28)
	(link s3 s31)
	(link s31 s3)
	(= (time-to-drive s3 s31) 8)
	(= (time-to-drive s31 s3) 8)
	(link s3 s37)
	(link s37 s3)
	(= (time-to-drive s3 s37) 60)
	(= (time-to-drive s37 s3) 60)
	(link s3 s57)
	(link s57 s3)
	(= (time-to-drive s3 s57) 92)
	(= (time-to-drive s57 s3) 92)
	(link s3 s91)
	(link s91 s3)
	(= (time-to-drive s3 s91) 38)
	(= (time-to-drive s91 s3) 38)
	(link s3 s92)
	(link s92 s3)
	(= (time-to-drive s3 s92) 97)
	(= (time-to-drive s92 s3) 97)
	(link s4 s81)
	(link s81 s4)
	(= (time-to-drive s4 s81) 76)
	(= (time-to-drive s81 s4) 76)
	(link s4 s116)
	(link s116 s4)
	(= (time-to-drive s4 s116) 81)
	(= (time-to-drive s116 s4) 81)
	(link s5 s37)
	(link s37 s5)
	(= (time-to-drive s5 s37) 41)
	(= (time-to-drive s37 s5) 41)
	(link s5 s53)
	(link s53 s5)
	(= (time-to-drive s5 s53) 74)
	(= (time-to-drive s53 s5) 74)
	(link s5 s61)
	(link s61 s5)
	(= (time-to-drive s5 s61) 99)
	(= (time-to-drive s61 s5) 99)
	(link s5 s91)
	(link s91 s5)
	(= (time-to-drive s5 s91) 80)
	(= (time-to-drive s91 s5) 80)
	(link s5 s96)
	(link s96 s5)
	(= (time-to-drive s5 s96) 28)
	(= (time-to-drive s96 s5) 28)
	(link s6 s58)
	(link s58 s6)
	(= (time-to-drive s6 s58) 54)
	(= (time-to-drive s58 s6) 54)
	(link s6 s77)
	(link s77 s6)
	(= (time-to-drive s6 s77) 74)
	(= (time-to-drive s77 s6) 74)
	(link s6 s102)
	(link s102 s6)
	(= (time-to-drive s6 s102) 37)
	(= (time-to-drive s102 s6) 37)
	(link s7 s6)
	(link s6 s7)
	(= (time-to-drive s7 s6) 38)
	(= (time-to-drive s6 s7) 38)
	(link s7 s15)
	(link s15 s7)
	(= (time-to-drive s7 s15) 48)
	(= (time-to-drive s15 s7) 48)
	(link s7 s19)
	(link s19 s7)
	(= (time-to-drive s7 s19) 98)
	(= (time-to-drive s19 s7) 98)
	(link s7 s23)
	(link s23 s7)
	(= (time-to-drive s7 s23) 11)
	(= (time-to-drive s23 s7) 11)
	(link s7 s24)
	(link s24 s7)
	(= (time-to-drive s7 s24) 21)
	(= (time-to-drive s24 s7) 21)
	(link s7 s35)
	(link s35 s7)
	(= (time-to-drive s7 s35) 33)
	(= (time-to-drive s35 s7) 33)
	(link s7 s116)
	(link s116 s7)
	(= (time-to-drive s7 s116) 16)
	(= (time-to-drive s116 s7) 16)
	(link s8 s0)
	(link s0 s8)
	(= (time-to-drive s8 s0) 41)
	(= (time-to-drive s0 s8) 41)
	(link s8 s12)
	(link s12 s8)
	(= (time-to-drive s8 s12) 50)
	(= (time-to-drive s12 s8) 50)
	(link s8 s23)
	(link s23 s8)
	(= (time-to-drive s8 s23) 34)
	(= (time-to-drive s23 s8) 34)
	(link s8 s85)
	(link s85 s8)
	(= (time-to-drive s8 s85) 67)
	(= (time-to-drive s85 s8) 67)
	(link s8 s99)
	(link s99 s8)
	(= (time-to-drive s8 s99) 85)
	(= (time-to-drive s99 s8) 85)
	(link s8 s118)
	(link s118 s8)
	(= (time-to-drive s8 s118) 34)
	(= (time-to-drive s118 s8) 34)
	(link s9 s48)
	(link s48 s9)
	(= (time-to-drive s9 s48) 52)
	(= (time-to-drive s48 s9) 52)
	(link s9 s72)
	(link s72 s9)
	(= (time-to-drive s9 s72) 83)
	(= (time-to-drive s72 s9) 83)
	(link s9 s113)
	(link s113 s9)
	(= (time-to-drive s9 s113) 61)
	(= (time-to-drive s113 s9) 61)
	(link s10 s27)
	(link s27 s10)
	(= (time-to-drive s10 s27) 59)
	(= (time-to-drive s27 s10) 59)
	(link s10 s47)
	(link s47 s10)
	(= (time-to-drive s10 s47) 42)
	(= (time-to-drive s47 s10) 42)
	(link s10 s51)
	(link s51 s10)
	(= (time-to-drive s10 s51) 52)
	(= (time-to-drive s51 s10) 52)
	(link s10 s62)
	(link s62 s10)
	(= (time-to-drive s10 s62) 97)
	(= (time-to-drive s62 s10) 97)
	(link s10 s69)
	(link s69 s10)
	(= (time-to-drive s10 s69) 39)
	(= (time-to-drive s69 s10) 39)
	(link s10 s84)
	(link s84 s10)
	(= (time-to-drive s10 s84) 28)
	(= (time-to-drive s84 s10) 28)
	(link s10 s89)
	(link s89 s10)
	(= (time-to-drive s10 s89) 78)
	(= (time-to-drive s89 s10) 78)
	(link s10 s96)
	(link s96 s10)
	(= (time-to-drive s10 s96) 79)
	(= (time-to-drive s96 s10) 79)
	(link s11 s13)
	(link s13 s11)
	(= (time-to-drive s11 s13) 2)
	(= (time-to-drive s13 s11) 2)
	(link s11 s75)
	(link s75 s11)
	(= (time-to-drive s11 s75) 76)
	(= (time-to-drive s75 s11) 76)
	(link s11 s95)
	(link s95 s11)
	(= (time-to-drive s11 s95) 59)
	(= (time-to-drive s95 s11) 59)
	(link s11 s103)
	(link s103 s11)
	(= (time-to-drive s11 s103) 29)
	(= (time-to-drive s103 s11) 29)
	(link s12 s16)
	(link s16 s12)
	(= (time-to-drive s12 s16) 29)
	(= (time-to-drive s16 s12) 29)
	(link s12 s30)
	(link s30 s12)
	(= (time-to-drive s12 s30) 32)
	(= (time-to-drive s30 s12) 32)
	(link s12 s56)
	(link s56 s12)
	(= (time-to-drive s12 s56) 66)
	(= (time-to-drive s56 s12) 66)
	(link s13 s24)
	(link s24 s13)
	(= (time-to-drive s13 s24) 66)
	(= (time-to-drive s24 s13) 66)
	(link s13 s37)
	(link s37 s13)
	(= (time-to-drive s13 s37) 80)
	(= (time-to-drive s37 s13) 80)
	(link s13 s73)
	(link s73 s13)
	(= (time-to-drive s13 s73) 64)
	(= (time-to-drive s73 s13) 64)
	(link s13 s110)
	(link s110 s13)
	(= (time-to-drive s13 s110) 77)
	(= (time-to-drive s110 s13) 77)
	(link s14 s33)
	(link s33 s14)
	(= (time-to-drive s14 s33) 1)
	(= (time-to-drive s33 s14) 1)
	(link s14 s48)
	(link s48 s14)
	(= (time-to-drive s14 s48) 96)
	(= (time-to-drive s48 s14) 96)
	(link s14 s101)
	(link s101 s14)
	(= (time-to-drive s14 s101) 92)
	(= (time-to-drive s101 s14) 92)
	(link s15 s12)
	(link s12 s15)
	(= (time-to-drive s15 s12) 41)
	(= (time-to-drive s12 s15) 41)
	(link s16 s55)
	(link s55 s16)
	(= (time-to-drive s16 s55) 45)
	(= (time-to-drive s55 s16) 45)
	(link s16 s56)
	(link s56 s16)
	(= (time-to-drive s16 s56) 26)
	(= (time-to-drive s56 s16) 26)
	(link s16 s59)
	(link s59 s16)
	(= (time-to-drive s16 s59) 8)
	(= (time-to-drive s59 s16) 8)
	(link s16 s73)
	(link s73 s16)
	(= (time-to-drive s16 s73) 30)
	(= (time-to-drive s73 s16) 30)
	(link s16 s89)
	(link s89 s16)
	(= (time-to-drive s16 s89) 59)
	(= (time-to-drive s89 s16) 59)
	(link s16 s92)
	(link s92 s16)
	(= (time-to-drive s16 s92) 60)
	(= (time-to-drive s92 s16) 60)
	(link s16 s111)
	(link s111 s16)
	(= (time-to-drive s16 s111) 12)
	(= (time-to-drive s111 s16) 12)
	(link s17 s19)
	(link s19 s17)
	(= (time-to-drive s17 s19) 20)
	(= (time-to-drive s19 s17) 20)
	(link s17 s27)
	(link s27 s17)
	(= (time-to-drive s17 s27) 19)
	(= (time-to-drive s27 s17) 19)
	(link s17 s44)
	(link s44 s17)
	(= (time-to-drive s17 s44) 54)
	(= (time-to-drive s44 s17) 54)
	(link s17 s48)
	(link s48 s17)
	(= (time-to-drive s17 s48) 72)
	(= (time-to-drive s48 s17) 72)
	(link s17 s52)
	(link s52 s17)
	(= (time-to-drive s17 s52) 16)
	(= (time-to-drive s52 s17) 16)
	(link s17 s71)
	(link s71 s17)
	(= (time-to-drive s17 s71) 93)
	(= (time-to-drive s71 s17) 93)
	(link s18 s14)
	(link s14 s18)
	(= (time-to-drive s18 s14) 100)
	(= (time-to-drive s14 s18) 100)
	(link s18 s71)
	(link s71 s18)
	(= (time-to-drive s18 s71) 93)
	(= (time-to-drive s71 s18) 93)
	(link s18 s95)
	(link s95 s18)
	(= (time-to-drive s18 s95) 71)
	(= (time-to-drive s95 s18) 71)
	(link s18 s104)
	(link s104 s18)
	(= (time-to-drive s18 s104) 1)
	(= (time-to-drive s104 s18) 1)
	(link s19 s39)
	(link s39 s19)
	(= (time-to-drive s19 s39) 68)
	(= (time-to-drive s39 s19) 68)
	(link s19 s42)
	(link s42 s19)
	(= (time-to-drive s19 s42) 30)
	(= (time-to-drive s42 s19) 30)
	(link s19 s54)
	(link s54 s19)
	(= (time-to-drive s19 s54) 30)
	(= (time-to-drive s54 s19) 30)
	(link s19 s60)
	(link s60 s19)
	(= (time-to-drive s19 s60) 97)
	(= (time-to-drive s60 s19) 97)
	(link s20 s22)
	(link s22 s20)
	(= (time-to-drive s20 s22) 61)
	(= (time-to-drive s22 s20) 61)
	(link s20 s23)
	(link s23 s20)
	(= (time-to-drive s20 s23) 96)
	(= (time-to-drive s23 s20) 96)
	(link s20 s51)
	(link s51 s20)
	(= (time-to-drive s20 s51) 63)
	(= (time-to-drive s51 s20) 63)
	(link s20 s74)
	(link s74 s20)
	(= (time-to-drive s20 s74) 41)
	(= (time-to-drive s74 s20) 41)
	(link s20 s118)
	(link s118 s20)
	(= (time-to-drive s20 s118) 59)
	(= (time-to-drive s118 s20) 59)
	(link s21 s20)
	(link s20 s21)
	(= (time-to-drive s21 s20) 39)
	(= (time-to-drive s20 s21) 39)
	(link s21 s48)
	(link s48 s21)
	(= (time-to-drive s21 s48) 42)
	(= (time-to-drive s48 s21) 42)
	(link s21 s89)
	(link s89 s21)
	(= (time-to-drive s21 s89) 54)
	(= (time-to-drive s89 s21) 54)
	(link s22 s61)
	(link s61 s22)
	(= (time-to-drive s22 s61) 31)
	(= (time-to-drive s61 s22) 31)
	(link s22 s90)
	(link s90 s22)
	(= (time-to-drive s22 s90) 83)
	(= (time-to-drive s90 s22) 83)
	(link s23 s33)
	(link s33 s23)
	(= (time-to-drive s23 s33) 99)
	(= (time-to-drive s33 s23) 99)
	(link s23 s105)
	(link s105 s23)
	(= (time-to-drive s23 s105) 56)
	(= (time-to-drive s105 s23) 56)
	(link s23 s117)
	(link s117 s23)
	(= (time-to-drive s23 s117) 91)
	(= (time-to-drive s117 s23) 91)
	(link s24 s4)
	(link s4 s24)
	(= (time-to-drive s24 s4) 28)
	(= (time-to-drive s4 s24) 28)
	(link s24 s6)
	(link s6 s24)
	(= (time-to-drive s24 s6) 15)
	(= (time-to-drive s6 s24) 15)
	(link s24 s102)
	(link s102 s24)
	(= (time-to-drive s24 s102) 50)
	(= (time-to-drive s102 s24) 50)
	(link s25 s57)
	(link s57 s25)
	(= (time-to-drive s25 s57) 40)
	(= (time-to-drive s57 s25) 40)
	(link s25 s93)
	(link s93 s25)
	(= (time-to-drive s25 s93) 35)
	(= (time-to-drive s93 s25) 35)
	(link s25 s115)
	(link s115 s25)
	(= (time-to-drive s25 s115) 69)
	(= (time-to-drive s115 s25) 69)
	(link s25 s116)
	(link s116 s25)
	(= (time-to-drive s25 s116) 93)
	(= (time-to-drive s116 s25) 93)
	(link s26 s14)
	(link s14 s26)
	(= (time-to-drive s26 s14) 6)
	(= (time-to-drive s14 s26) 6)
	(link s26 s31)
	(link s31 s26)
	(= (time-to-drive s26 s31) 85)
	(= (time-to-drive s31 s26) 85)
	(link s26 s108)
	(link s108 s26)
	(= (time-to-drive s26 s108) 85)
	(= (time-to-drive s108 s26) 85)
	(link s27 s8)
	(link s8 s27)
	(= (time-to-drive s27 s8) 6)
	(= (time-to-drive s8 s27) 6)
	(link s27 s31)
	(link s31 s27)
	(= (time-to-drive s27 s31) 77)
	(= (time-to-drive s31 s27) 77)
	(link s27 s48)
	(link s48 s27)
	(= (time-to-drive s27 s48) 56)
	(= (time-to-drive s48 s27) 56)
	(link s27 s69)
	(link s69 s27)
	(= (time-to-drive s27 s69) 6)
	(= (time-to-drive s69 s27) 6)
	(link s27 s90)
	(link s90 s27)
	(= (time-to-drive s27 s90) 45)
	(= (time-to-drive s90 s27) 45)
	(link s28 s73)
	(link s73 s28)
	(= (time-to-drive s28 s73) 85)
	(= (time-to-drive s73 s28) 85)
	(link s28 s113)
	(link s113 s28)
	(= (time-to-drive s28 s113) 36)
	(= (time-to-drive s113 s28) 36)
	(link s28 s116)
	(link s116 s28)
	(= (time-to-drive s28 s116) 41)
	(= (time-to-drive s116 s28) 41)
	(link s29 s22)
	(link s22 s29)
	(= (time-to-drive s29 s22) 46)
	(= (time-to-drive s22 s29) 46)
	(link s29 s33)
	(link s33 s29)
	(= (time-to-drive s29 s33) 31)
	(= (time-to-drive s33 s29) 31)
	(link s29 s41)
	(link s41 s29)
	(= (time-to-drive s29 s41) 4)
	(= (time-to-drive s41 s29) 4)
	(link s29 s112)
	(link s112 s29)
	(= (time-to-drive s29 s112) 87)
	(= (time-to-drive s112 s29) 87)
	(link s30 s71)
	(link s71 s30)
	(= (time-to-drive s30 s71) 89)
	(= (time-to-drive s71 s30) 89)
	(link s30 s72)
	(link s72 s30)
	(= (time-to-drive s30 s72) 42)
	(= (time-to-drive s72 s30) 42)
	(link s30 s103)
	(link s103 s30)
	(= (time-to-drive s30 s103) 28)
	(= (time-to-drive s103 s30) 28)
	(link s30 s115)
	(link s115 s30)
	(= (time-to-drive s30 s115) 43)
	(= (time-to-drive s115 s30) 43)
	(link s30 s117)
	(link s117 s30)
	(= (time-to-drive s30 s117) 73)
	(= (time-to-drive s117 s30) 73)
	(link s31 s7)
	(link s7 s31)
	(= (time-to-drive s31 s7) 11)
	(= (time-to-drive s7 s31) 11)
	(link s31 s32)
	(link s32 s31)
	(= (time-to-drive s31 s32) 41)
	(= (time-to-drive s32 s31) 41)
	(link s31 s49)
	(link s49 s31)
	(= (time-to-drive s31 s49) 29)
	(= (time-to-drive s49 s31) 29)
	(link s31 s50)
	(link s50 s31)
	(= (time-to-drive s31 s50) 1)
	(= (time-to-drive s50 s31) 1)
	(link s31 s70)
	(link s70 s31)
	(= (time-to-drive s31 s70) 68)
	(= (time-to-drive s70 s31) 68)
	(link s31 s98)
	(link s98 s31)
	(= (time-to-drive s31 s98) 43)
	(= (time-to-drive s98 s31) 43)
	(link s31 s99)
	(link s99 s31)
	(= (time-to-drive s31 s99) 51)
	(= (time-to-drive s99 s31) 51)
	(link s32 s5)
	(link s5 s32)
	(= (time-to-drive s32 s5) 7)
	(= (time-to-drive s5 s32) 7)
	(link s32 s49)
	(link s49 s32)
	(= (time-to-drive s32 s49) 78)
	(= (time-to-drive s49 s32) 78)
	(link s32 s101)
	(link s101 s32)
	(= (time-to-drive s32 s101) 19)
	(= (time-to-drive s101 s32) 19)
	(link s32 s112)
	(link s112 s32)
	(= (time-to-drive s32 s112) 100)
	(= (time-to-drive s112 s32) 100)
	(link s33 s3)
	(link s3 s33)
	(= (time-to-drive s33 s3) 83)
	(= (time-to-drive s3 s33) 83)
	(link s33 s58)
	(link s58 s33)
	(= (time-to-drive s33 s58) 3)
	(= (time-to-drive s58 s33) 3)
	(link s33 s64)
	(link s64 s33)
	(= (time-to-drive s33 s64) 85)
	(= (time-to-drive s64 s33) 85)
	(link s33 s112)
	(link s112 s33)
	(= (time-to-drive s33 s112) 89)
	(= (time-to-drive s112 s33) 89)
	(link s34 s11)
	(link s11 s34)
	(= (time-to-drive s34 s11) 80)
	(= (time-to-drive s11 s34) 80)
	(link s34 s91)
	(link s91 s34)
	(= (time-to-drive s34 s91) 41)
	(= (time-to-drive s91 s34) 41)
	(link s34 s109)
	(link s109 s34)
	(= (time-to-drive s34 s109) 94)
	(= (time-to-drive s109 s34) 94)
	(link s35 s25)
	(link s25 s35)
	(= (time-to-drive s35 s25) 25)
	(= (time-to-drive s25 s35) 25)
	(link s35 s27)
	(link s27 s35)
	(= (time-to-drive s35 s27) 25)
	(= (time-to-drive s27 s35) 25)
	(link s35 s82)
	(link s82 s35)
	(= (time-to-drive s35 s82) 30)
	(= (time-to-drive s82 s35) 30)
	(link s35 s83)
	(link s83 s35)
	(= (time-to-drive s35 s83) 65)
	(= (time-to-drive s83 s35) 65)
	(link s35 s89)
	(link s89 s35)
	(= (time-to-drive s35 s89) 71)
	(= (time-to-drive s89 s35) 71)
	(link s35 s96)
	(link s96 s35)
	(= (time-to-drive s35 s96) 60)
	(= (time-to-drive s96 s35) 60)
	(link s36 s46)
	(link s46 s36)
	(= (time-to-drive s36 s46) 68)
	(= (time-to-drive s46 s36) 68)
	(link s36 s81)
	(link s81 s36)
	(= (time-to-drive s36 s81) 58)
	(= (time-to-drive s81 s36) 58)
	(link s37 s18)
	(link s18 s37)
	(= (time-to-drive s37 s18) 49)
	(= (time-to-drive s18 s37) 49)
	(link s37 s31)
	(link s31 s37)
	(= (time-to-drive s37 s31) 10)
	(= (time-to-drive s31 s37) 10)
	(link s37 s51)
	(link s51 s37)
	(= (time-to-drive s37 s51) 85)
	(= (time-to-drive s51 s37) 85)
	(link s38 s7)
	(link s7 s38)
	(= (time-to-drive s38 s7) 91)
	(= (time-to-drive s7 s38) 91)
	(link s38 s65)
	(link s65 s38)
	(= (time-to-drive s38 s65) 82)
	(= (time-to-drive s65 s38) 82)
	(link s38 s119)
	(link s119 s38)
	(= (time-to-drive s38 s119) 95)
	(= (time-to-drive s119 s38) 95)
	(link s39 s20)
	(link s20 s39)
	(= (time-to-drive s39 s20) 32)
	(= (time-to-drive s20 s39) 32)
	(link s39 s55)
	(link s55 s39)
	(= (time-to-drive s39 s55) 11)
	(= (time-to-drive s55 s39) 11)
	(link s40 s28)
	(link s28 s40)
	(= (time-to-drive s40 s28) 96)
	(= (time-to-drive s28 s40) 96)
	(link s40 s72)
	(link s72 s40)
	(= (time-to-drive s40 s72) 99)
	(= (time-to-drive s72 s40) 99)
	(link s40 s94)
	(link s94 s40)
	(= (time-to-drive s40 s94) 53)
	(= (time-to-drive s94 s40) 53)
	(link s40 s100)
	(link s100 s40)
	(= (time-to-drive s40 s100) 46)
	(= (time-to-drive s100 s40) 46)
	(link s41 s21)
	(link s21 s41)
	(= (time-to-drive s41 s21) 6)
	(= (time-to-drive s21 s41) 6)
	(link s41 s28)
	(link s28 s41)
	(= (time-to-drive s41 s28) 31)
	(= (time-to-drive s28 s41) 31)
	(link s41 s77)
	(link s77 s41)
	(= (time-to-drive s41 s77) 65)
	(= (time-to-drive s77 s41) 65)
	(link s41 s104)
	(link s104 s41)
	(= (time-to-drive s41 s104) 6)
	(= (time-to-drive s104 s41) 6)
	(link s42 s36)
	(link s36 s42)
	(= (time-to-drive s42 s36) 14)
	(= (time-to-drive s36 s42) 14)
	(link s42 s46)
	(link s46 s42)
	(= (time-to-drive s42 s46) 68)
	(= (time-to-drive s46 s42) 68)
	(link s42 s107)
	(link s107 s42)
	(= (time-to-drive s42 s107) 91)
	(= (time-to-drive s107 s42) 91)
	(link s43 s4)
	(link s4 s43)
	(= (time-to-drive s43 s4) 2)
	(= (time-to-drive s4 s43) 2)
	(link s43 s15)
	(link s15 s43)
	(= (time-to-drive s43 s15) 47)
	(= (time-to-drive s15 s43) 47)
	(link s44 s92)
	(link s92 s44)
	(= (time-to-drive s44 s92) 31)
	(= (time-to-drive s92 s44) 31)
	(link s44 s97)
	(link s97 s44)
	(= (time-to-drive s44 s97) 96)
	(= (time-to-drive s97 s44) 96)
	(link s45 s5)
	(link s5 s45)
	(= (time-to-drive s45 s5) 72)
	(= (time-to-drive s5 s45) 72)
	(link s45 s8)
	(link s8 s45)
	(= (time-to-drive s45 s8) 56)
	(= (time-to-drive s8 s45) 56)
	(link s45 s28)
	(link s28 s45)
	(= (time-to-drive s45 s28) 25)
	(= (time-to-drive s28 s45) 25)
	(link s45 s42)
	(link s42 s45)
	(= (time-to-drive s45 s42) 36)
	(= (time-to-drive s42 s45) 36)
	(link s45 s77)
	(link s77 s45)
	(= (time-to-drive s45 s77) 27)
	(= (time-to-drive s77 s45) 27)
	(link s45 s79)
	(link s79 s45)
	(= (time-to-drive s45 s79) 85)
	(= (time-to-drive s79 s45) 85)
	(link s46 s5)
	(link s5 s46)
	(= (time-to-drive s46 s5) 4)
	(= (time-to-drive s5 s46) 4)
	(link s46 s33)
	(link s33 s46)
	(= (time-to-drive s46 s33) 84)
	(= (time-to-drive s33 s46) 84)
	(link s46 s59)
	(link s59 s46)
	(= (time-to-drive s46 s59) 34)
	(= (time-to-drive s59 s46) 34)
	(link s46 s113)
	(link s113 s46)
	(= (time-to-drive s46 s113) 14)
	(= (time-to-drive s113 s46) 14)
	(link s47 s40)
	(link s40 s47)
	(= (time-to-drive s47 s40) 69)
	(= (time-to-drive s40 s47) 69)
	(link s47 s93)
	(link s93 s47)
	(= (time-to-drive s47 s93) 25)
	(= (time-to-drive s93 s47) 25)
	(link s48 s2)
	(link s2 s48)
	(= (time-to-drive s48 s2) 96)
	(= (time-to-drive s2 s48) 96)
	(link s48 s23)
	(link s23 s48)
	(= (time-to-drive s48 s23) 64)
	(= (time-to-drive s23 s48) 64)
	(link s48 s30)
	(link s30 s48)
	(= (time-to-drive s48 s30) 56)
	(= (time-to-drive s30 s48) 56)
	(link s48 s31)
	(link s31 s48)
	(= (time-to-drive s48 s31) 6)
	(= (time-to-drive s31 s48) 6)
	(link s48 s93)
	(link s93 s48)
	(= (time-to-drive s48 s93) 59)
	(= (time-to-drive s93 s48) 59)
	(link s48 s98)
	(link s98 s48)
	(= (time-to-drive s48 s98) 55)
	(= (time-to-drive s98 s48) 55)
	(link s50 s12)
	(link s12 s50)
	(= (time-to-drive s50 s12) 59)
	(= (time-to-drive s12 s50) 59)
	(link s50 s118)
	(link s118 s50)
	(= (time-to-drive s50 s118) 4)
	(= (time-to-drive s118 s50) 4)
	(link s51 s48)
	(link s48 s51)
	(= (time-to-drive s51 s48) 61)
	(= (time-to-drive s48 s51) 61)
	(link s51 s66)
	(link s66 s51)
	(= (time-to-drive s51 s66) 89)
	(= (time-to-drive s66 s51) 89)
	(link s51 s89)
	(link s89 s51)
	(= (time-to-drive s51 s89) 69)
	(= (time-to-drive s89 s51) 69)
	(link s51 s106)
	(link s106 s51)
	(= (time-to-drive s51 s106) 67)
	(= (time-to-drive s106 s51) 67)
	(link s52 s10)
	(link s10 s52)
	(= (time-to-drive s52 s10) 2)
	(= (time-to-drive s10 s52) 2)
	(link s52 s16)
	(link s16 s52)
	(= (time-to-drive s52 s16) 36)
	(= (time-to-drive s16 s52) 36)
	(link s52 s50)
	(link s50 s52)
	(= (time-to-drive s52 s50) 57)
	(= (time-to-drive s50 s52) 57)
	(link s52 s73)
	(link s73 s52)
	(= (time-to-drive s52 s73) 3)
	(= (time-to-drive s73 s52) 3)
	(link s53 s94)
	(link s94 s53)
	(= (time-to-drive s53 s94) 83)
	(= (time-to-drive s94 s53) 83)
	(link s54 s36)
	(link s36 s54)
	(= (time-to-drive s54 s36) 88)
	(= (time-to-drive s36 s54) 88)
	(link s54 s60)
	(link s60 s54)
	(= (time-to-drive s54 s60) 98)
	(= (time-to-drive s60 s54) 98)
	(link s54 s66)
	(link s66 s54)
	(= (time-to-drive s54 s66) 54)
	(= (time-to-drive s66 s54) 54)
	(link s54 s86)
	(link s86 s54)
	(= (time-to-drive s54 s86) 44)
	(= (time-to-drive s86 s54) 44)
	(link s54 s113)
	(link s113 s54)
	(= (time-to-drive s54 s113) 23)
	(= (time-to-drive s113 s54) 23)
	(link s55 s51)
	(link s51 s55)
	(= (time-to-drive s55 s51) 90)
	(= (time-to-drive s51 s55) 90)
	(link s55 s67)
	(link s67 s55)
	(= (time-to-drive s55 s67) 70)
	(= (time-to-drive s67 s55) 70)
	(link s55 s75)
	(link s75 s55)
	(= (time-to-drive s55 s75) 7)
	(= (time-to-drive s75 s55) 7)
	(link s55 s115)
	(link s115 s55)
	(= (time-to-drive s55 s115) 94)
	(= (time-to-drive s115 s55) 94)
	(link s56 s5)
	(link s5 s56)
	(= (time-to-drive s56 s5) 54)
	(= (time-to-drive s5 s56) 54)
	(link s56 s6)
	(link s6 s56)
	(= (time-to-drive s56 s6) 40)
	(= (time-to-drive s6 s56) 40)
	(link s56 s38)
	(link s38 s56)
	(= (time-to-drive s56 s38) 7)
	(= (time-to-drive s38 s56) 7)
	(link s56 s45)
	(link s45 s56)
	(= (time-to-drive s56 s45) 22)
	(= (time-to-drive s45 s56) 22)
	(link s56 s57)
	(link s57 s56)
	(= (time-to-drive s56 s57) 64)
	(= (time-to-drive s57 s56) 64)
	(link s56 s73)
	(link s73 s56)
	(= (time-to-drive s56 s73) 2)
	(= (time-to-drive s73 s56) 2)
	(link s56 s78)
	(link s78 s56)
	(= (time-to-drive s56 s78) 85)
	(= (time-to-drive s78 s56) 85)
	(link s56 s105)
	(link s105 s56)
	(= (time-to-drive s56 s105) 20)
	(= (time-to-drive s105 s56) 20)
	(link s57 s11)
	(link s11 s57)
	(= (time-to-drive s57 s11) 8)
	(= (time-to-drive s11 s57) 8)
	(link s57 s16)
	(link s16 s57)
	(= (time-to-drive s57 s16) 43)
	(= (time-to-drive s16 s57) 43)
	(link s57 s64)
	(link s64 s57)
	(= (time-to-drive s57 s64) 74)
	(= (time-to-drive s64 s57) 74)
	(link s57 s74)
	(link s74 s57)
	(= (time-to-drive s57 s74) 67)
	(= (time-to-drive s74 s57) 67)
	(link s57 s82)
	(link s82 s57)
	(= (time-to-drive s57 s82) 47)
	(= (time-to-drive s82 s57) 47)
	(link s57 s91)
	(link s91 s57)
	(= (time-to-drive s57 s91) 34)
	(= (time-to-drive s91 s57) 34)
	(link s58 s10)
	(link s10 s58)
	(= (time-to-drive s58 s10) 55)
	(= (time-to-drive s10 s58) 55)
	(link s58 s41)
	(link s41 s58)
	(= (time-to-drive s58 s41) 15)
	(= (time-to-drive s41 s58) 15)
	(link s58 s85)
	(link s85 s58)
	(= (time-to-drive s58 s85) 100)
	(= (time-to-drive s85 s58) 100)
	(link s58 s100)
	(link s100 s58)
	(= (time-to-drive s58 s100) 57)
	(= (time-to-drive s100 s58) 57)
	(link s59 s60)
	(link s60 s59)
	(= (time-to-drive s59 s60) 50)
	(= (time-to-drive s60 s59) 50)
	(link s59 s100)
	(link s100 s59)
	(= (time-to-drive s59 s100) 57)
	(= (time-to-drive s100 s59) 57)
	(link s59 s106)
	(link s106 s59)
	(= (time-to-drive s59 s106) 60)
	(= (time-to-drive s106 s59) 60)
	(link s60 s1)
	(link s1 s60)
	(= (time-to-drive s60 s1) 33)
	(= (time-to-drive s1 s60) 33)
	(link s60 s89)
	(link s89 s60)
	(= (time-to-drive s60 s89) 45)
	(= (time-to-drive s89 s60) 45)
	(link s61 s115)
	(link s115 s61)
	(= (time-to-drive s61 s115) 58)
	(= (time-to-drive s115 s61) 58)
	(link s62 s23)
	(link s23 s62)
	(= (time-to-drive s62 s23) 86)
	(= (time-to-drive s23 s62) 86)
	(link s62 s26)
	(link s26 s62)
	(= (time-to-drive s62 s26) 88)
	(= (time-to-drive s26 s62) 88)
	(link s62 s31)
	(link s31 s62)
	(= (time-to-drive s62 s31) 80)
	(= (time-to-drive s31 s62) 80)
	(link s62 s42)
	(link s42 s62)
	(= (time-to-drive s62 s42) 75)
	(= (time-to-drive s42 s62) 75)
	(link s62 s56)
	(link s56 s62)
	(= (time-to-drive s62 s56) 57)
	(= (time-to-drive s56 s62) 57)
	(link s63 s11)
	(link s11 s63)
	(= (time-to-drive s63 s11) 86)
	(= (time-to-drive s11 s63) 86)
	(link s63 s90)
	(link s90 s63)
	(= (time-to-drive s63 s90) 68)
	(= (time-to-drive s90 s63) 68)
	(link s63 s119)
	(link s119 s63)
	(= (time-to-drive s63 s119) 11)
	(= (time-to-drive s119 s63) 11)
	(link s64 s4)
	(link s4 s64)
	(= (time-to-drive s64 s4) 26)
	(= (time-to-drive s4 s64) 26)
	(link s64 s6)
	(link s6 s64)
	(= (time-to-drive s64 s6) 75)
	(= (time-to-drive s6 s64) 75)
	(link s64 s25)
	(link s25 s64)
	(= (time-to-drive s64 s25) 32)
	(= (time-to-drive s25 s64) 32)
	(link s64 s49)
	(link s49 s64)
	(= (time-to-drive s64 s49) 90)
	(= (time-to-drive s49 s64) 90)
	(link s65 s106)
	(link s106 s65)
	(= (time-to-drive s65 s106) 77)
	(= (time-to-drive s106 s65) 77)
	(link s66 s81)
	(link s81 s66)
	(= (time-to-drive s66 s81) 16)
	(= (time-to-drive s81 s66) 16)
	(link s66 s83)
	(link s83 s66)
	(= (time-to-drive s66 s83) 9)
	(= (time-to-drive s83 s66) 9)
	(link s66 s86)
	(link s86 s66)
	(= (time-to-drive s66 s86) 84)
	(= (time-to-drive s86 s66) 84)
	(link s67 s10)
	(link s10 s67)
	(= (time-to-drive s67 s10) 59)
	(= (time-to-drive s10 s67) 59)
	(link s67 s70)
	(link s70 s67)
	(= (time-to-drive s67 s70) 82)
	(= (time-to-drive s70 s67) 82)
	(link s67 s91)
	(link s91 s67)
	(= (time-to-drive s67 s91) 50)
	(= (time-to-drive s91 s67) 50)
	(link s67 s101)
	(link s101 s67)
	(= (time-to-drive s67 s101) 5)
	(= (time-to-drive s101 s67) 5)
	(link s68 s15)
	(link s15 s68)
	(= (time-to-drive s68 s15) 16)
	(= (time-to-drive s15 s68) 16)
	(link s68 s65)
	(link s65 s68)
	(= (time-to-drive s68 s65) 5)
	(= (time-to-drive s65 s68) 5)
	(link s69 s5)
	(link s5 s69)
	(= (time-to-drive s69 s5) 20)
	(= (time-to-drive s5 s69) 20)
	(link s69 s6)
	(link s6 s69)
	(= (time-to-drive s69 s6) 16)
	(= (time-to-drive s6 s69) 16)
	(link s69 s31)
	(link s31 s69)
	(= (time-to-drive s69 s31) 61)
	(= (time-to-drive s31 s69) 61)
	(link s70 s37)
	(link s37 s70)
	(= (time-to-drive s70 s37) 69)
	(= (time-to-drive s37 s70) 69)
	(link s70 s40)
	(link s40 s70)
	(= (time-to-drive s70 s40) 73)
	(= (time-to-drive s40 s70) 73)
	(link s70 s99)
	(link s99 s70)
	(= (time-to-drive s70 s99) 21)
	(= (time-to-drive s99 s70) 21)
	(link s70 s116)
	(link s116 s70)
	(= (time-to-drive s70 s116) 1)
	(= (time-to-drive s116 s70) 1)
	(link s71 s6)
	(link s6 s71)
	(= (time-to-drive s71 s6) 17)
	(= (time-to-drive s6 s71) 17)
	(link s71 s23)
	(link s23 s71)
	(= (time-to-drive s71 s23) 78)
	(= (time-to-drive s23 s71) 78)
	(link s71 s83)
	(link s83 s71)
	(= (time-to-drive s71 s83) 87)
	(= (time-to-drive s83 s71) 87)
	(link s71 s104)
	(link s104 s71)
	(= (time-to-drive s71 s104) 4)
	(= (time-to-drive s104 s71) 4)
	(link s73 s9)
	(link s9 s73)
	(= (time-to-drive s73 s9) 57)
	(= (time-to-drive s9 s73) 57)
	(link s73 s34)
	(link s34 s73)
	(= (time-to-drive s73 s34) 62)
	(= (time-to-drive s34 s73) 62)
	(link s73 s37)
	(link s37 s73)
	(= (time-to-drive s73 s37) 61)
	(= (time-to-drive s37 s73) 61)
	(link s73 s53)
	(link s53 s73)
	(= (time-to-drive s73 s53) 43)
	(= (time-to-drive s53 s73) 43)
	(link s73 s61)
	(link s61 s73)
	(= (time-to-drive s73 s61) 29)
	(= (time-to-drive s61 s73) 29)
	(link s73 s70)
	(link s70 s73)
	(= (time-to-drive s73 s70) 71)
	(= (time-to-drive s70 s73) 71)
	(link s74 s16)
	(link s16 s74)
	(= (time-to-drive s74 s16) 69)
	(= (time-to-drive s16 s74) 69)
	(link s74 s17)
	(link s17 s74)
	(= (time-to-drive s74 s17) 3)
	(= (time-to-drive s17 s74) 3)
	(link s74 s30)
	(link s30 s74)
	(= (time-to-drive s74 s30) 2)
	(= (time-to-drive s30 s74) 2)
	(link s74 s52)
	(link s52 s74)
	(= (time-to-drive s74 s52) 58)
	(= (time-to-drive s52 s74) 58)
	(link s74 s59)
	(link s59 s74)
	(= (time-to-drive s74 s59) 80)
	(= (time-to-drive s59 s74) 80)
	(link s74 s70)
	(link s70 s74)
	(= (time-to-drive s74 s70) 18)
	(= (time-to-drive s70 s74) 18)
	(link s75 s64)
	(link s64 s75)
	(= (time-to-drive s75 s64) 67)
	(= (time-to-drive s64 s75) 67)
	(link s75 s66)
	(link s66 s75)
	(= (time-to-drive s75 s66) 63)
	(= (time-to-drive s66 s75) 63)
	(link s75 s88)
	(link s88 s75)
	(= (time-to-drive s75 s88) 76)
	(= (time-to-drive s88 s75) 76)
	(link s76 s4)
	(link s4 s76)
	(= (time-to-drive s76 s4) 49)
	(= (time-to-drive s4 s76) 49)
	(link s76 s15)
	(link s15 s76)
	(= (time-to-drive s76 s15) 13)
	(= (time-to-drive s15 s76) 13)
	(link s76 s21)
	(link s21 s76)
	(= (time-to-drive s76 s21) 80)
	(= (time-to-drive s21 s76) 80)
	(link s76 s40)
	(link s40 s76)
	(= (time-to-drive s76 s40) 64)
	(= (time-to-drive s40 s76) 64)
	(link s76 s55)
	(link s55 s76)
	(= (time-to-drive s76 s55) 18)
	(= (time-to-drive s55 s76) 18)
	(link s76 s71)
	(link s71 s76)
	(= (time-to-drive s76 s71) 99)
	(= (time-to-drive s71 s76) 99)
	(link s76 s83)
	(link s83 s76)
	(= (time-to-drive s76 s83) 80)
	(= (time-to-drive s83 s76) 80)
	(link s76 s87)
	(link s87 s76)
	(= (time-to-drive s76 s87) 79)
	(= (time-to-drive s87 s76) 79)
	(link s77 s16)
	(link s16 s77)
	(= (time-to-drive s77 s16) 68)
	(= (time-to-drive s16 s77) 68)
	(link s77 s18)
	(link s18 s77)
	(= (time-to-drive s77 s18) 52)
	(= (time-to-drive s18 s77) 52)
	(link s77 s64)
	(link s64 s77)
	(= (time-to-drive s77 s64) 99)
	(= (time-to-drive s64 s77) 99)
	(link s77 s86)
	(link s86 s77)
	(= (time-to-drive s77 s86) 69)
	(= (time-to-drive s86 s77) 69)
	(link s78 s4)
	(link s4 s78)
	(= (time-to-drive s78 s4) 68)
	(= (time-to-drive s4 s78) 68)
	(link s78 s27)
	(link s27 s78)
	(= (time-to-drive s78 s27) 76)
	(= (time-to-drive s27 s78) 76)
	(link s78 s59)
	(link s59 s78)
	(= (time-to-drive s78 s59) 56)
	(= (time-to-drive s59 s78) 56)
	(link s79 s4)
	(link s4 s79)
	(= (time-to-drive s79 s4) 71)
	(= (time-to-drive s4 s79) 71)
	(link s80 s10)
	(link s10 s80)
	(= (time-to-drive s80 s10) 33)
	(= (time-to-drive s10 s80) 33)
	(link s80 s13)
	(link s13 s80)
	(= (time-to-drive s80 s13) 17)
	(= (time-to-drive s13 s80) 17)
	(link s80 s39)
	(link s39 s80)
	(= (time-to-drive s80 s39) 32)
	(= (time-to-drive s39 s80) 32)
	(link s80 s90)
	(link s90 s80)
	(= (time-to-drive s80 s90) 75)
	(= (time-to-drive s90 s80) 75)
	(link s81 s8)
	(link s8 s81)
	(= (time-to-drive s81 s8) 45)
	(= (time-to-drive s8 s81) 45)
	(link s81 s30)
	(link s30 s81)
	(= (time-to-drive s81 s30) 2)
	(= (time-to-drive s30 s81) 2)
	(link s81 s58)
	(link s58 s81)
	(= (time-to-drive s81 s58) 44)
	(= (time-to-drive s58 s81) 44)
	(link s82 s1)
	(link s1 s82)
	(= (time-to-drive s82 s1) 48)
	(= (time-to-drive s1 s82) 48)
	(link s82 s50)
	(link s50 s82)
	(= (time-to-drive s82 s50) 4)
	(= (time-to-drive s50 s82) 4)
	(link s82 s78)
	(link s78 s82)
	(= (time-to-drive s82 s78) 1)
	(= (time-to-drive s78 s82) 1)
	(link s82 s101)
	(link s101 s82)
	(= (time-to-drive s82 s101) 27)
	(= (time-to-drive s101 s82) 27)
	(link s83 s3)
	(link s3 s83)
	(= (time-to-drive s83 s3) 21)
	(= (time-to-drive s3 s83) 21)
	(link s83 s40)
	(link s40 s83)
	(= (time-to-drive s83 s40) 68)
	(= (time-to-drive s40 s83) 68)
	(link s83 s106)
	(link s106 s83)
	(= (time-to-drive s83 s106) 90)
	(= (time-to-drive s106 s83) 90)
	(link s84 s31)
	(link s31 s84)
	(= (time-to-drive s84 s31) 96)
	(= (time-to-drive s31 s84) 96)
	(link s84 s59)
	(link s59 s84)
	(= (time-to-drive s84 s59) 16)
	(= (time-to-drive s59 s84) 16)
	(link s84 s63)
	(link s63 s84)
	(= (time-to-drive s84 s63) 3)
	(= (time-to-drive s63 s84) 3)
	(link s84 s85)
	(link s85 s84)
	(= (time-to-drive s84 s85) 76)
	(= (time-to-drive s85 s84) 76)
	(link s85 s46)
	(link s46 s85)
	(= (time-to-drive s85 s46) 79)
	(= (time-to-drive s46 s85) 79)
	(link s85 s51)
	(link s51 s85)
	(= (time-to-drive s85 s51) 20)
	(= (time-to-drive s51 s85) 20)
	(link s85 s116)
	(link s116 s85)
	(= (time-to-drive s85 s116) 74)
	(= (time-to-drive s116 s85) 74)
	(link s86 s13)
	(link s13 s86)
	(= (time-to-drive s86 s13) 59)
	(= (time-to-drive s13 s86) 59)
	(link s86 s28)
	(link s28 s86)
	(= (time-to-drive s86 s28) 98)
	(= (time-to-drive s28 s86) 98)
	(link s86 s41)
	(link s41 s86)
	(= (time-to-drive s86 s41) 42)
	(= (time-to-drive s41 s86) 42)
	(link s86 s47)
	(link s47 s86)
	(= (time-to-drive s86 s47) 10)
	(= (time-to-drive s47 s86) 10)
	(link s86 s71)
	(link s71 s86)
	(= (time-to-drive s86 s71) 96)
	(= (time-to-drive s71 s86) 96)
	(link s86 s94)
	(link s94 s86)
	(= (time-to-drive s86 s94) 11)
	(= (time-to-drive s94 s86) 11)
	(link s87 s2)
	(link s2 s87)
	(= (time-to-drive s87 s2) 77)
	(= (time-to-drive s2 s87) 77)
	(link s87 s18)
	(link s18 s87)
	(= (time-to-drive s87 s18) 72)
	(= (time-to-drive s18 s87) 72)
	(link s87 s94)
	(link s94 s87)
	(= (time-to-drive s87 s94) 66)
	(= (time-to-drive s94 s87) 66)
	(link s87 s100)
	(link s100 s87)
	(= (time-to-drive s87 s100) 48)
	(= (time-to-drive s100 s87) 48)
	(link s87 s101)
	(link s101 s87)
	(= (time-to-drive s87 s101) 4)
	(= (time-to-drive s101 s87) 4)
	(link s87 s114)
	(link s114 s87)
	(= (time-to-drive s87 s114) 82)
	(= (time-to-drive s114 s87) 82)
	(link s88 s83)
	(link s83 s88)
	(= (time-to-drive s88 s83) 79)
	(= (time-to-drive s83 s88) 79)
	(link s89 s38)
	(link s38 s89)
	(= (time-to-drive s89 s38) 79)
	(= (time-to-drive s38 s89) 79)
	(link s89 s39)
	(link s39 s89)
	(= (time-to-drive s89 s39) 27)
	(= (time-to-drive s39 s89) 27)
	(link s89 s55)
	(link s55 s89)
	(= (time-to-drive s89 s55) 80)
	(= (time-to-drive s55 s89) 80)
	(link s89 s64)
	(link s64 s89)
	(= (time-to-drive s89 s64) 22)
	(= (time-to-drive s64 s89) 22)
	(link s89 s71)
	(link s71 s89)
	(= (time-to-drive s89 s71) 74)
	(= (time-to-drive s71 s89) 74)
	(link s90 s35)
	(link s35 s90)
	(= (time-to-drive s90 s35) 83)
	(= (time-to-drive s35 s90) 83)
	(link s90 s37)
	(link s37 s90)
	(= (time-to-drive s90 s37) 23)
	(= (time-to-drive s37 s90) 23)
	(link s90 s59)
	(link s59 s90)
	(= (time-to-drive s90 s59) 1)
	(= (time-to-drive s59 s90) 1)
	(link s91 s8)
	(link s8 s91)
	(= (time-to-drive s91 s8) 4)
	(= (time-to-drive s8 s91) 4)
	(link s91 s14)
	(link s14 s91)
	(= (time-to-drive s91 s14) 90)
	(= (time-to-drive s14 s91) 90)
	(link s91 s44)
	(link s44 s91)
	(= (time-to-drive s91 s44) 91)
	(= (time-to-drive s44 s91) 91)
	(link s91 s64)
	(link s64 s91)
	(= (time-to-drive s91 s64) 99)
	(= (time-to-drive s64 s91) 99)
	(link s91 s68)
	(link s68 s91)
	(= (time-to-drive s91 s68) 5)
	(= (time-to-drive s68 s91) 5)
	(link s91 s80)
	(link s80 s91)
	(= (time-to-drive s91 s80) 94)
	(= (time-to-drive s80 s91) 94)
	(link s91 s95)
	(link s95 s91)
	(= (time-to-drive s91 s95) 74)
	(= (time-to-drive s95 s91) 74)
	(link s92 s7)
	(link s7 s92)
	(= (time-to-drive s92 s7) 84)
	(= (time-to-drive s7 s92) 84)
	(link s92 s62)
	(link s62 s92)
	(= (time-to-drive s92 s62) 13)
	(= (time-to-drive s62 s92) 13)
	(link s92 s75)
	(link s75 s92)
	(= (time-to-drive s92 s75) 48)
	(= (time-to-drive s75 s92) 48)
	(link s92 s94)
	(link s94 s92)
	(= (time-to-drive s92 s94) 42)
	(= (time-to-drive s94 s92) 42)
	(link s93 s12)
	(link s12 s93)
	(= (time-to-drive s93 s12) 11)
	(= (time-to-drive s12 s93) 11)
	(link s93 s52)
	(link s52 s93)
	(= (time-to-drive s93 s52) 90)
	(= (time-to-drive s52 s93) 90)
	(link s93 s65)
	(link s65 s93)
	(= (time-to-drive s93 s65) 51)
	(= (time-to-drive s65 s93) 51)
	(link s93 s77)
	(link s77 s93)
	(= (time-to-drive s93 s77) 7)
	(= (time-to-drive s77 s93) 7)
	(link s93 s79)
	(link s79 s93)
	(= (time-to-drive s93 s79) 100)
	(= (time-to-drive s79 s93) 100)
	(link s93 s89)
	(link s89 s93)
	(= (time-to-drive s93 s89) 28)
	(= (time-to-drive s89 s93) 28)
	(link s94 s27)
	(link s27 s94)
	(= (time-to-drive s94 s27) 79)
	(= (time-to-drive s27 s94) 79)
	(link s94 s50)
	(link s50 s94)
	(= (time-to-drive s94 s50) 65)
	(= (time-to-drive s50 s94) 65)
	(link s94 s100)
	(link s100 s94)
	(= (time-to-drive s94 s100) 75)
	(= (time-to-drive s100 s94) 75)
	(link s94 s108)
	(link s108 s94)
	(= (time-to-drive s94 s108) 82)
	(= (time-to-drive s108 s94) 82)
	(link s95 s52)
	(link s52 s95)
	(= (time-to-drive s95 s52) 46)
	(= (time-to-drive s52 s95) 46)
	(link s96 s1)
	(link s1 s96)
	(= (time-to-drive s96 s1) 54)
	(= (time-to-drive s1 s96) 54)
	(link s96 s56)
	(link s56 s96)
	(= (time-to-drive s96 s56) 60)
	(= (time-to-drive s56 s96) 60)
	(link s96 s108)
	(link s108 s96)
	(= (time-to-drive s96 s108) 73)
	(= (time-to-drive s108 s96) 73)
	(link s97 s10)
	(link s10 s97)
	(= (time-to-drive s97 s10) 34)
	(= (time-to-drive s10 s97) 34)
	(link s97 s22)
	(link s22 s97)
	(= (time-to-drive s97 s22) 82)
	(= (time-to-drive s22 s97) 82)
	(link s97 s65)
	(link s65 s97)
	(= (time-to-drive s97 s65) 46)
	(= (time-to-drive s65 s97) 46)
	(link s97 s85)
	(link s85 s97)
	(= (time-to-drive s97 s85) 16)
	(= (time-to-drive s85 s97) 16)
	(link s97 s116)
	(link s116 s97)
	(= (time-to-drive s97 s116) 4)
	(= (time-to-drive s116 s97) 4)
	(link s98 s37)
	(link s37 s98)
	(= (time-to-drive s98 s37) 47)
	(= (time-to-drive s37 s98) 47)
	(link s99 s77)
	(link s77 s99)
	(= (time-to-drive s99 s77) 20)
	(= (time-to-drive s77 s99) 20)
	(link s99 s82)
	(link s82 s99)
	(= (time-to-drive s99 s82) 93)
	(= (time-to-drive s82 s99) 93)
	(link s99 s86)
	(link s86 s99)
	(= (time-to-drive s99 s86) 38)
	(= (time-to-drive s86 s99) 38)
	(link s101 s2)
	(link s2 s101)
	(= (time-to-drive s101 s2) 18)
	(= (time-to-drive s2 s101) 18)
	(link s101 s8)
	(link s8 s101)
	(= (time-to-drive s101 s8) 97)
	(= (time-to-drive s8 s101) 97)
	(link s101 s23)
	(link s23 s101)
	(= (time-to-drive s101 s23) 31)
	(= (time-to-drive s23 s101) 31)
	(link s101 s26)
	(link s26 s101)
	(= (time-to-drive s101 s26) 91)
	(= (time-to-drive s26 s101) 91)
	(link s101 s31)
	(link s31 s101)
	(= (time-to-drive s101 s31) 80)
	(= (time-to-drive s31 s101) 80)
	(link s101 s34)
	(link s34 s101)
	(= (time-to-drive s101 s34) 44)
	(= (time-to-drive s34 s101) 44)
	(link s101 s85)
	(link s85 s101)
	(= (time-to-drive s101 s85) 39)
	(= (time-to-drive s85 s101) 39)
	(link s102 s37)
	(link s37 s102)
	(= (time-to-drive s102 s37) 21)
	(= (time-to-drive s37 s102) 21)
	(link s102 s43)
	(link s43 s102)
	(= (time-to-drive s102 s43) 54)
	(= (time-to-drive s43 s102) 54)
	(link s102 s85)
	(link s85 s102)
	(= (time-to-drive s102 s85) 28)
	(= (time-to-drive s85 s102) 28)
	(link s102 s91)
	(link s91 s102)
	(= (time-to-drive s102 s91) 72)
	(= (time-to-drive s91 s102) 72)
	(link s103 s0)
	(link s0 s103)
	(= (time-to-drive s103 s0) 61)
	(= (time-to-drive s0 s103) 61)
	(link s103 s70)
	(link s70 s103)
	(= (time-to-drive s103 s70) 27)
	(= (time-to-drive s70 s103) 27)
	(link s103 s100)
	(link s100 s103)
	(= (time-to-drive s103 s100) 99)
	(= (time-to-drive s100 s103) 99)
	(link s104 s51)
	(link s51 s104)
	(= (time-to-drive s104 s51) 39)
	(= (time-to-drive s51 s104) 39)
	(link s104 s91)
	(link s91 s104)
	(= (time-to-drive s104 s91) 92)
	(= (time-to-drive s91 s104) 92)
	(link s104 s94)
	(link s94 s104)
	(= (time-to-drive s104 s94) 74)
	(= (time-to-drive s94 s104) 74)
	(link s105 s0)
	(link s0 s105)
	(= (time-to-drive s105 s0) 21)
	(= (time-to-drive s0 s105) 21)
	(link s105 s19)
	(link s19 s105)
	(= (time-to-drive s105 s19) 38)
	(= (time-to-drive s19 s105) 38)
	(link s105 s63)
	(link s63 s105)
	(= (time-to-drive s105 s63) 27)
	(= (time-to-drive s63 s105) 27)
	(link s105 s83)
	(link s83 s105)
	(= (time-to-drive s105 s83) 81)
	(= (time-to-drive s83 s105) 81)
	(link s106 s6)
	(link s6 s106)
	(= (time-to-drive s106 s6) 10)
	(= (time-to-drive s6 s106) 10)
	(link s106 s19)
	(link s19 s106)
	(= (time-to-drive s106 s19) 60)
	(= (time-to-drive s19 s106) 60)
	(link s106 s36)
	(link s36 s106)
	(= (time-to-drive s106 s36) 62)
	(= (time-to-drive s36 s106) 62)
	(link s106 s56)
	(link s56 s106)
	(= (time-to-drive s106 s56) 55)
	(= (time-to-drive s56 s106) 55)
	(link s106 s108)
	(link s108 s106)
	(= (time-to-drive s106 s108) 76)
	(= (time-to-drive s108 s106) 76)
	(link s106 s109)
	(link s109 s106)
	(= (time-to-drive s106 s109) 65)
	(= (time-to-drive s109 s106) 65)
	(link s107 s12)
	(link s12 s107)
	(= (time-to-drive s107 s12) 2)
	(= (time-to-drive s12 s107) 2)
	(link s107 s22)
	(link s22 s107)
	(= (time-to-drive s107 s22) 95)
	(= (time-to-drive s22 s107) 95)
	(link s107 s27)
	(link s27 s107)
	(= (time-to-drive s107 s27) 57)
	(= (time-to-drive s27 s107) 57)
	(link s107 s88)
	(link s88 s107)
	(= (time-to-drive s107 s88) 39)
	(= (time-to-drive s88 s107) 39)
	(link s107 s111)
	(link s111 s107)
	(= (time-to-drive s107 s111) 13)
	(= (time-to-drive s111 s107) 13)
	(link s108 s0)
	(link s0 s108)
	(= (time-to-drive s108 s0) 54)
	(= (time-to-drive s0 s108) 54)
	(link s108 s38)
	(link s38 s108)
	(= (time-to-drive s108 s38) 69)
	(= (time-to-drive s38 s108) 69)
	(link s108 s40)
	(link s40 s108)
	(= (time-to-drive s108 s40) 3)
	(= (time-to-drive s40 s108) 3)
	(link s108 s42)
	(link s42 s108)
	(= (time-to-drive s108 s42) 33)
	(= (time-to-drive s42 s108) 33)
	(link s108 s76)
	(link s76 s108)
	(= (time-to-drive s108 s76) 13)
	(= (time-to-drive s76 s108) 13)
	(link s108 s85)
	(link s85 s108)
	(= (time-to-drive s108 s85) 42)
	(= (time-to-drive s85 s108) 42)
	(link s109 s32)
	(link s32 s109)
	(= (time-to-drive s109 s32) 54)
	(= (time-to-drive s32 s109) 54)
	(link s109 s39)
	(link s39 s109)
	(= (time-to-drive s109 s39) 67)
	(= (time-to-drive s39 s109) 67)
	(link s109 s41)
	(link s41 s109)
	(= (time-to-drive s109 s41) 69)
	(= (time-to-drive s41 s109) 69)
	(link s109 s46)
	(link s46 s109)
	(= (time-to-drive s109 s46) 25)
	(= (time-to-drive s46 s109) 25)
	(link s109 s73)
	(link s73 s109)
	(= (time-to-drive s109 s73) 27)
	(= (time-to-drive s73 s109) 27)
	(link s110 s83)
	(link s83 s110)
	(= (time-to-drive s110 s83) 96)
	(= (time-to-drive s83 s110) 96)
	(link s110 s96)
	(link s96 s110)
	(= (time-to-drive s110 s96) 24)
	(= (time-to-drive s96 s110) 24)
	(link s110 s118)
	(link s118 s110)
	(= (time-to-drive s110 s118) 66)
	(= (time-to-drive s118 s110) 66)
	(link s111 s3)
	(link s3 s111)
	(= (time-to-drive s111 s3) 87)
	(= (time-to-drive s3 s111) 87)
	(link s111 s79)
	(link s79 s111)
	(= (time-to-drive s111 s79) 97)
	(= (time-to-drive s79 s111) 97)
	(link s112 s6)
	(link s6 s112)
	(= (time-to-drive s112 s6) 87)
	(= (time-to-drive s6 s112) 87)
	(link s112 s65)
	(link s65 s112)
	(= (time-to-drive s112 s65) 24)
	(= (time-to-drive s65 s112) 24)
	(link s112 s104)
	(link s104 s112)
	(= (time-to-drive s112 s104) 24)
	(= (time-to-drive s104 s112) 24)
	(link s113 s22)
	(link s22 s113)
	(= (time-to-drive s113 s22) 67)
	(= (time-to-drive s22 s113) 67)
	(link s113 s29)
	(link s29 s113)
	(= (time-to-drive s113 s29) 33)
	(= (time-to-drive s29 s113) 33)
	(link s113 s48)
	(link s48 s113)
	(= (time-to-drive s113 s48) 84)
	(= (time-to-drive s48 s113) 84)
	(link s113 s74)
	(link s74 s113)
	(= (time-to-drive s113 s74) 28)
	(= (time-to-drive s74 s113) 28)
	(link s113 s83)
	(link s83 s113)
	(= (time-to-drive s113 s83) 88)
	(= (time-to-drive s83 s113) 88)
	(link s114 s26)
	(link s26 s114)
	(= (time-to-drive s114 s26) 59)
	(= (time-to-drive s26 s114) 59)
	(link s114 s44)
	(link s44 s114)
	(= (time-to-drive s114 s44) 93)
	(= (time-to-drive s44 s114) 93)
	(link s114 s94)
	(link s94 s114)
	(= (time-to-drive s114 s94) 89)
	(= (time-to-drive s94 s114) 89)
	(link s114 s118)
	(link s118 s114)
	(= (time-to-drive s114 s118) 54)
	(= (time-to-drive s118 s114) 54)
	(link s115 s53)
	(link s53 s115)
	(= (time-to-drive s115 s53) 49)
	(= (time-to-drive s53 s115) 49)
	(link s115 s59)
	(link s59 s115)
	(= (time-to-drive s115 s59) 28)
	(= (time-to-drive s59 s115) 28)
	(link s115 s72)
	(link s72 s115)
	(= (time-to-drive s115 s72) 66)
	(= (time-to-drive s72 s115) 66)
	(link s115 s74)
	(link s74 s115)
	(= (time-to-drive s115 s74) 2)
	(= (time-to-drive s74 s115) 2)
	(link s115 s113)
	(link s113 s115)
	(= (time-to-drive s115 s113) 96)
	(= (time-to-drive s113 s115) 96)
	(link s115 s117)
	(link s117 s115)
	(= (time-to-drive s115 s117) 69)
	(= (time-to-drive s117 s115) 69)
	(link s116 s58)
	(link s58 s116)
	(= (time-to-drive s116 s58) 35)
	(= (time-to-drive s58 s116) 35)
	(link s116 s81)
	(link s81 s116)
	(= (time-to-drive s116 s81) 9)
	(= (time-to-drive s81 s116) 9)
	(link s117 s54)
	(link s54 s117)
	(= (time-to-drive s117 s54) 10)
	(= (time-to-drive s54 s117) 10)
	(link s117 s74)
	(link s74 s117)
	(= (time-to-drive s117 s74) 88)
	(= (time-to-drive s74 s117) 88)
	(link s117 s90)
	(link s90 s117)
	(= (time-to-drive s117 s90) 75)
	(= (time-to-drive s90 s117) 75)
	(link s118 s4)
	(link s4 s118)
	(= (time-to-drive s118 s4) 79)
	(= (time-to-drive s4 s118) 79)
	(link s118 s40)
	(link s40 s118)
	(= (time-to-drive s118 s40) 13)
	(= (time-to-drive s40 s118) 13)
	(link s118 s52)
	(link s52 s118)
	(= (time-to-drive s118 s52) 1)
	(= (time-to-drive s52 s118) 1)
	(link s118 s59)
	(link s59 s118)
	(= (time-to-drive s118 s59) 74)
	(= (time-to-drive s59 s118) 74)
	(link s118 s66)
	(link s66 s118)
	(= (time-to-drive s118 s66) 36)
	(= (time-to-drive s66 s118) 36)
	(link s118 s92)
	(link s92 s118)
	(= (time-to-drive s118 s92) 67)
	(= (time-to-drive s92 s118) 67)
	(link s118 s115)
	(link s115 s118)
	(= (time-to-drive s118 s115) 60)
	(= (time-to-drive s115 s118) 60)
	(link s119 s42)
	(link s42 s119)
	(= (time-to-drive s119 s42) 33)
	(= (time-to-drive s42 s119) 33)
	(link s119 s52)
	(link s52 s119)
	(= (time-to-drive s119 s52) 53)
	(= (time-to-drive s52 s119) 53)
	(link s119 s102)
	(link s102 s119)
	(= (time-to-drive s119 s102) 83)
	(= (time-to-drive s102 s119) 83)
	(link s119 s108)
	(link s108 s119)
	(= (time-to-drive s119 s108) 57)
	(= (time-to-drive s108 s119) 57)
	(= (fuel-used) 0)
)
	(:goal (and
	(at driver4 s60)
	(at driver5 s16)
	(at driver7 s15)
	(at driver8 s31)
	(at driver10 s62)
	(at driver14 s105)
	(at driver15 s15)
	(at driver16 s6)
	(at driver17 s55)
	(at driver18 s36)
	(at driver19 s29)
	(at driver20 s21)
	(at truck1 s1)
	(at truck2 s13)
	(at truck3 s28)
	(at truck4 s71)
	(at truck5 s41)
	(at truck6 s113)
	(at truck7 s76)
	(at truck8 s101)
	(at truck9 s6)
	(at truck13 s33)
	(at truck15 s116)
	(at truck16 s43)
	(at truck17 s15)
	(at truck18 s46)
	(at truck19 s49)
	(at truck20 s103)
	(at truck21 s31)
	(at truck23 s96)
	(at truck24 s19)
	(at truck25 s22)
	(at truck28 s80)
	(at truck29 s33)
	(at truck30 s89)
	(at package1 s30)
	(at package2 s97)
	(at package3 s65)
	(at package4 s82)
	(at package5 s100)
	(at package6 s40)
	(at package7 s16)
	(at package8 s105)
	(at package9 s48)
	(at package10 s91)
	(at package11 s55)
	(at package12 s111)
	(at package13 s58)
	(at package14 s52)
	(at package16 s50)
	(at package17 s94)
	(at package18 s39)
	(at package19 s52)
	(at package20 s61)
	(at package22 s55)
	(at package23 s102)
	(at package24 s48)
	(at package25 s33)
	(at package26 s79)
	(at package27 s68)
	(at package28 s81)
	(at package29 s80)
	(at package30 s97)
	(at package31 s102)
	(at package32 s4)
	(at package33 s23)
	(at package34 s104)
	(at package35 s89)
	(at package36 s79)
	(at package37 s115)
	(at package38 s94)
	(at package39 s0)
	(at package40 s4)
	(at package41 s75)
	(at package42 s31)
	(at package43 s100)
	(at package44 s104)
	(at package45 s93)
	(at package46 s78)
	(at package47 s109)
	(at package48 s41)
	(at package49 s33)
	(at package50 s18)
	(at package51 s56)
	(at package52 s80)
	(at package53 s27)
	(at package55 s39)
	(at package56 s66)
	(at package57 s38)
	(at package58 s23)
	(at package60 s119)
	))

(:metric minimize (+ (* 1 (total-time)) (* 1 (fuel-used))))

)
