(define (problem DLOG-20-50-100)
	(: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
	truck31 - truck
	truck32 - truck
	truck33 - truck
	truck34 - truck
	truck35 - truck
	truck36 - truck
	truck37 - truck
	truck38 - truck
	truck39 - truck
	truck40 - truck
	truck41 - truck
	truck42 - truck
	truck43 - truck
	truck44 - truck
	truck45 - truck
	truck46 - truck
	truck47 - truck
	truck48 - truck
	truck49 - truck
	truck50 - 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
	package61 - obj
	package62 - obj
	package63 - obj
	package64 - obj
	package65 - obj
	package66 - obj
	package67 - obj
	package68 - obj
	package69 - obj
	package70 - obj
	package71 - obj
	package72 - obj
	package73 - obj
	package74 - obj
	package75 - obj
	package76 - obj
	package77 - obj
	package78 - obj
	package79 - obj
	package80 - obj
	package81 - obj
	package82 - obj
	package83 - obj
	package84 - obj
	package85 - obj
	package86 - obj
	package87 - obj
	package88 - obj
	package89 - obj
	package90 - obj
	package91 - obj
	package92 - obj
	package93 - obj
	package94 - obj
	package95 - obj
	package96 - obj
	package97 - obj
	package98 - obj
	package99 - obj
	package100 - 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
	s120 - location
	s121 - location
	s122 - location
	s123 - location
	s124 - location
	s125 - location
	s126 - location
	s127 - location
	s128 - location
	s129 - location
	s130 - location
	s131 - location
	s132 - location
	s133 - location
	s134 - location
	s135 - location
	s136 - location
	s137 - location
	s138 - location
	s139 - location
	s140 - location
	s141 - location
	s142 - location
	s143 - location
	s144 - location
	s145 - location
	s146 - location
	s147 - location
	s148 - location
	s149 - location
	p2-71 - location
	p2-102 - location
	p3-36 - location
	p4-37 - location
	p6-22 - location
	p6-38 - location
	p6-127 - location
	p7-0 - location
	p7-61 - location
	p8-48 - location
	p9-15 - location
	p9-37 - location
	p9-112 - location
	p9-120 - location
	p10-14 - location
	p10-77 - location
	p10-98 - location
	p10-107 - location
	p12-19 - location
	p12-61 - location
	p12-65 - location
	p12-115 - location
	p13-29 - location
	p14-7 - location
	p14-11 - location
	p14-23 - location
	p14-59 - location
	p15-46 - location
	p15-120 - location
	p15-134 - location
	p16-38 - location
	p17-38 - location
	p17-92 - location
	p18-119 - location
	p19-15 - location
	p19-21 - location
	p19-90 - location
	p20-5 - location
	p20-127 - location
	p21-88 - location
	p21-97 - location
	p21-133 - location
	p23-30 - location
	p23-63 - location
	p23-111 - location
	p23-123 - location
	p24-8 - location
	p24-140 - location
	p25-13 - location
	p25-43 - location
	p25-79 - location
	p26-64 - location
	p26-66 - location
	p27-54 - location
	p27-107 - location
	p28-4 - location
	p28-122 - location
	p29-65 - location
	p30-25 - location
	p30-27 - location
	p30-32 - location
	p30-90 - location
	p31-41 - location
	p32-19 - location
	p32-28 - location
	p32-35 - location
	p32-63 - location
	p33-52 - location
	p33-60 - location
	p34-36 - location
	p34-63 - location
	p35-44 - location
	p35-64 - location
	p35-84 - location
	p35-121 - location
	p36-70 - location
	p36-123 - location
	p37-96 - location
	p37-102 - location
	p37-115 - location
	p37-137 - location
	p39-3 - location
	p39-86 - location
	p39-120 - location
	p39-139 - location
	p40-97 - location
	p40-120 - location
	p40-130 - location
	p40-146 - location
	p41-7 - location
	p41-56 - location
	p41-116 - location
	p43-4 - location
	p44-51 - location
	p44-58 - location
	p44-60 - location
	p44-148 - location
	p45-25 - location
	p45-50 - location
	p45-89 - location
	p45-100 - location
	p45-109 - location
	p46-60 - location
	p47-78 - location
	p51-55 - location
	p51-59 - location
	p51-88 - location
	p51-101 - location
	p52-16 - location
	p52-60 - location
	p52-90 - location
	p53-145 - location
	p54-42 - location
	p55-62 - location
	p56-89 - location
	p57-0 - location
	p57-16 - location
	p57-74 - location
	p58-43 - location
	p58-147 - location
	p59-13 - location
	p59-46 - location
	p59-53 - location
	p59-76 - location
	p59-93 - location
	p59-103 - location
	p59-148 - location
	p60-45 - location
	p60-58 - location
	p60-98 - location
	p60-110 - location
	p61-24 - location
	p61-47 - location
	p61-88 - location
	p62-67 - location
	p63-144 - location
	p64-12 - location
	p64-80 - location
	p66-119 - location
	p67-49 - location
	p67-69 - location
	p67-81 - location
	p68-7 - location
	p68-96 - location
	p69-16 - location
	p69-72 - location
	p69-83 - location
	p69-95 - location
	p69-115 - location
	p71-126 - location
	p72-73 - location
	p72-82 - location
	p72-144 - location
	p73-17 - location
	p73-97 - location
	p74-92 - location
	p75-46 - location
	p75-94 - location
	p75-104 - location
	p76-27 - location
	p76-109 - location
	p77-80 - location
	p77-117 - location
	p77-146 - location
	p78-57 - location
	p78-63 - location
	p78-76 - location
	p78-130 - location
	p78-135 - location
	p78-139 - location
	p78-149 - location
	p79-13 - location
	p79-141 - location
	p80-25 - location
	p80-26 - location
	p80-39 - location
	p80-112 - location
	p80-136 - location
	p81-46 - location
	p81-59 - location
	p82-85 - location
	p82-109 - location
	p83-61 - location
	p83-112 - location
	p84-137 - location
	p85-87 - location
	p86-4 - location
	p86-140 - location
	p87-113 - location
	p89-5 - location
	p90-31 - location
	p90-42 - location
	p90-54 - location
	p90-126 - location
	p92-33 - location
	p92-73 - location
	p93-1 - location
	p93-114 - location
	p95-16 - location
	p95-24 - location
	p95-89 - location
	p95-145 - location
	p96-2 - location
	p97-124 - location
	p97-135 - location
	p97-141 - location
	p98-11 - location
	p98-13 - location
	p99-130 - location
	p100-18 - location
	p100-91 - location
	p101-40 - location
	p101-64 - location
	p101-66 - location
	p102-9 - location
	p102-76 - location
	p103-13 - location
	p103-15 - location
	p104-16 - location
	p105-1 - location
	p105-39 - location
	p107-80 - location
	p107-98 - location
	p107-101 - location
	p108-58 - location
	p108-90 - location
	p109-6 - location
	p109-64 - location
	p110-66 - location
	p110-86 - location
	p110-118 - location
	p111-49 - location
	p111-112 - location
	p111-128 - location
	p112-43 - location
	p112-77 - location
	p112-119 - location
	p113-125 - location
	p114-96 - location
	p114-101 - location
	p114-120 - location
	p114-142 - location
	p115-108 - location
	p116-9 - location
	p116-10 - location
	p116-53 - location
	p116-92 - location
	p117-8 - location
	p117-48 - location
	p117-52 - location
	p118-98 - location
	p119-61 - location
	p119-102 - location
	p120-6 - location
	p121-28 - location
	p122-41 - location
	p122-105 - location
	p122-120 - location
	p124-38 - location
	p124-106 - location
	p124-107 - location
	p124-130 - location
	p125-6 - location
	p125-34 - location
	p125-129 - location
	p125-148 - location
	p127-25 - location
	p127-84 - location
	p127-99 - location
	p128-26 - location
	p128-60 - location
	p128-124 - location
	p129-131 - location
	p130-41 - location
	p131-63 - location
	p131-132 - location
	p132-14 - location
	p132-96 - location
	p132-107 - location
	p132-138 - location
	p134-16 - location
	p134-31 - location
	p134-140 - location
	p135-11 - location
	p135-36 - location
	p136-16 - location
	p136-75 - location
	p136-98 - location
	p136-102 - location
	p136-104 - location
	p136-110 - location
	p136-148 - location
	p137-47 - location
	p137-101 - location
	p138-68 - location
	p138-143 - location
	p139-28 - location
	p139-88 - location
	p139-123 - location
	p141-1 - location
	p141-53 - location
	p141-98 - location
	p142-68 - location
	p142-120 - location
	p143-57 - location
	p143-141 - location
	p143-142 - location
	p144-24 - location
	p144-123 - location
	p145-34 - location
	p145-149 - location
	p146-52 - location
	p147-7 - location
	p147-149 - location
	p148-29 - location
	p148-39 - location
	p148-102 - location
	p149-20 - location
	p149-43 - location
	)
	(:init
	(at driver1 s29)
	(at driver2 s77)
	(at driver3 s57)
	(at driver4 s29)
	(at driver5 s145)
	(at driver6 s51)
	(at driver7 s122)
	(at driver8 s66)
	(at driver9 s138)
	(at driver10 s121)
	(at driver11 s66)
	(at driver12 s108)
	(at driver13 s78)
	(at driver14 s97)
	(at driver15 s89)
	(at driver16 s5)
	(at driver17 s106)
	(at driver18 s74)
	(at driver19 s80)
	(at driver20 s136)
	(at truck1 s8)
	(empty truck1)
	(= (load truck1) 0)
	(= (fuel-per-minute truck1) 10)
	(at truck2 s56)
	(empty truck2)
	(= (load truck2) 0)
	(= (fuel-per-minute truck2) 10)
	(at truck3 s49)
	(empty truck3)
	(= (load truck3) 0)
	(= (fuel-per-minute truck3) 10)
	(at truck4 s104)
	(empty truck4)
	(= (load truck4) 0)
	(= (fuel-per-minute truck4) 10)
	(at truck5 s101)
	(empty truck5)
	(= (load truck5) 0)
	(= (fuel-per-minute truck5) 10)
	(at truck6 s41)
	(empty truck6)
	(= (load truck6) 0)
	(= (fuel-per-minute truck6) 10)
	(at truck7 s32)
	(empty truck7)
	(= (load truck7) 0)
	(= (fuel-per-minute truck7) 10)
	(at truck8 s58)
	(empty truck8)
	(= (load truck8) 0)
	(= (fuel-per-minute truck8) 10)
	(at truck9 s78)
	(empty truck9)
	(= (load truck9) 0)
	(= (fuel-per-minute truck9) 10)
	(at truck10 s76)
	(empty truck10)
	(= (load truck10) 0)
	(= (fuel-per-minute truck10) 10)
	(at truck11 s140)
	(empty truck11)
	(= (load truck11) 0)
	(= (fuel-per-minute truck11) 10)
	(at truck12 s146)
	(empty truck12)
	(= (load truck12) 0)
	(= (fuel-per-minute truck12) 10)
	(at truck13 s23)
	(empty truck13)
	(= (load truck13) 0)
	(= (fuel-per-minute truck13) 10)
	(at truck14 s128)
	(empty truck14)
	(= (load truck14) 0)
	(= (fuel-per-minute truck14) 10)
	(at truck15 s41)
	(empty truck15)
	(= (load truck15) 0)
	(= (fuel-per-minute truck15) 10)
	(at truck16 s57)
	(empty truck16)
	(= (load truck16) 0)
	(= (fuel-per-minute truck16) 10)
	(at truck17 s77)
	(empty truck17)
	(= (load truck17) 0)
	(= (fuel-per-minute truck17) 10)
	(at truck18 s74)
	(empty truck18)
	(= (load truck18) 0)
	(= (fuel-per-minute truck18) 10)
	(at truck19 s114)
	(empty truck19)
	(= (load truck19) 0)
	(= (fuel-per-minute truck19) 10)
	(at truck20 s34)
	(empty truck20)
	(= (load truck20) 0)
	(= (fuel-per-minute truck20) 10)
	(at truck21 s108)
	(empty truck21)
	(= (load truck21) 0)
	(= (fuel-per-minute truck21) 10)
	(at truck22 s102)
	(empty truck22)
	(= (load truck22) 0)
	(= (fuel-per-minute truck22) 10)
	(at truck23 s124)
	(empty truck23)
	(= (load truck23) 0)
	(= (fuel-per-minute truck23) 10)
	(at truck24 s104)
	(empty truck24)
	(= (load truck24) 0)
	(= (fuel-per-minute truck24) 10)
	(at truck25 s139)
	(empty truck25)
	(= (load truck25) 0)
	(= (fuel-per-minute truck25) 10)
	(at truck26 s20)
	(empty truck26)
	(= (load truck26) 0)
	(= (fuel-per-minute truck26) 10)
	(at truck27 s50)
	(empty truck27)
	(= (load truck27) 0)
	(= (fuel-per-minute truck27) 10)
	(at truck28 s38)
	(empty truck28)
	(= (load truck28) 0)
	(= (fuel-per-minute truck28) 10)
	(at truck29 s57)
	(empty truck29)
	(= (load truck29) 0)
	(= (fuel-per-minute truck29) 10)
	(at truck30 s39)
	(empty truck30)
	(= (load truck30) 0)
	(= (fuel-per-minute truck30) 10)
	(at truck31 s118)
	(empty truck31)
	(= (load truck31) 0)
	(= (fuel-per-minute truck31) 10)
	(at truck32 s5)
	(empty truck32)
	(= (load truck32) 0)
	(= (fuel-per-minute truck32) 10)
	(at truck33 s56)
	(empty truck33)
	(= (load truck33) 0)
	(= (fuel-per-minute truck33) 10)
	(at truck34 s19)
	(empty truck34)
	(= (load truck34) 0)
	(= (fuel-per-minute truck34) 10)
	(at truck35 s0)
	(empty truck35)
	(= (load truck35) 0)
	(= (fuel-per-minute truck35) 10)
	(at truck36 s99)
	(empty truck36)
	(= (load truck36) 0)
	(= (fuel-per-minute truck36) 10)
	(at truck37 s59)
	(empty truck37)
	(= (load truck37) 0)
	(= (fuel-per-minute truck37) 10)
	(at truck38 s61)
	(empty truck38)
	(= (load truck38) 0)
	(= (fuel-per-minute truck38) 10)
	(at truck39 s13)
	(empty truck39)
	(= (load truck39) 0)
	(= (fuel-per-minute truck39) 10)
	(at truck40 s145)
	(empty truck40)
	(= (load truck40) 0)
	(= (fuel-per-minute truck40) 10)
	(at truck41 s82)
	(empty truck41)
	(= (load truck41) 0)
	(= (fuel-per-minute truck41) 10)
	(at truck42 s115)
	(empty truck42)
	(= (load truck42) 0)
	(= (fuel-per-minute truck42) 10)
	(at truck43 s91)
	(empty truck43)
	(= (load truck43) 0)
	(= (fuel-per-minute truck43) 10)
	(at truck44 s33)
	(empty truck44)
	(= (load truck44) 0)
	(= (fuel-per-minute truck44) 10)
	(at truck45 s70)
	(empty truck45)
	(= (load truck45) 0)
	(= (fuel-per-minute truck45) 10)
	(at truck46 s93)
	(empty truck46)
	(= (load truck46) 0)
	(= (fuel-per-minute truck46) 10)
	(at truck47 s11)
	(empty truck47)
	(= (load truck47) 0)
	(= (fuel-per-minute truck47) 10)
	(at truck48 s51)
	(empty truck48)
	(= (load truck48) 0)
	(= (fuel-per-minute truck48) 10)
	(at truck49 s136)
	(empty truck49)
	(= (load truck49) 0)
	(= (fuel-per-minute truck49) 10)
	(at truck50 s81)
	(empty truck50)
	(= (load truck50) 0)
	(= (fuel-per-minute truck50) 10)
	(at package1 s71)
	(at package2 s64)
	(at package3 s13)
	(at package4 s43)
	(at package5 s109)
	(at package6 s50)
	(at package7 s37)
	(at package8 s119)
	(at package9 s36)
	(at package10 s144)
	(at package11 s33)
	(at package12 s122)
	(at package13 s116)
	(at package14 s72)
	(at package15 s9)
	(at package16 s78)
	(at package17 s79)
	(at package18 s72)
	(at package19 s117)
	(at package20 s79)
	(at package21 s103)
	(at package22 s121)
	(at package23 s99)
	(at package24 s130)
	(at package25 s94)
	(at package26 s63)
	(at package27 s131)
	(at package28 s8)
	(at package29 s48)
	(at package30 s85)
	(at package31 s52)
	(at package32 s19)
	(at package33 s51)
	(at package34 s11)
	(at package35 s93)
	(at package36 s106)
	(at package37 s100)
	(at package38 s114)
	(at package39 s116)
	(at package40 s144)
	(at package41 s42)
	(at package42 s143)
	(at package43 s122)
	(at package44 s95)
	(at package45 s133)
	(at package46 s97)
	(at package47 s65)
	(at package48 s117)
	(at package49 s25)
	(at package50 s58)
	(at package51 s145)
	(at package52 s88)
	(at package53 s10)
	(at package54 s9)
	(at package55 s67)
	(at package56 s128)
	(at package57 s105)
	(at package58 s129)
	(at package59 s60)
	(at package60 s95)
	(at package61 s21)
	(at package62 s38)
	(at package63 s18)
	(at package64 s10)
	(at package65 s26)
	(at package66 s11)
	(at package67 s69)
	(at package68 s3)
	(at package69 s76)
	(at package70 s106)
	(at package71 s87)
	(at package72 s61)
	(at package73 s21)
	(at package74 s91)
	(at package75 s66)
	(at package76 s78)
	(at package77 s76)
	(at package78 s123)
	(at package79 s37)
	(at package80 s144)
	(at package81 s52)
	(at package82 s57)
	(at package83 s96)
	(at package84 s31)
	(at package85 s21)
	(at package86 s134)
	(at package87 s48)
	(at package88 s19)
	(at package89 s25)
	(at package90 s127)
	(at package91 s121)
	(at package92 s29)
	(at package93 s39)
	(at package94 s19)
	(at package95 s128)
	(at package96 s95)
	(at package97 s80)
	(at package98 s2)
	(at package99 s15)
	(at package100 s45)
	(path s2 p2-71)
	(path p2-71 s2)
	(path s71 p2-71)
	(path p2-71 s71)
	(= (time-to-walk s2 p2-71) 34)
	(= (time-to-walk p2-71 s2) 34)
	(= (time-to-walk s71 p2-71) 2)
	(= (time-to-walk p2-71 s71) 2)
	(path s2 p2-102)
	(path p2-102 s2)
	(path s102 p2-102)
	(path p2-102 s102)
	(= (time-to-walk s2 p2-102) 4)
	(= (time-to-walk p2-102 s2) 4)
	(= (time-to-walk s102 p2-102) 79)
	(= (time-to-walk p2-102 s102) 79)
	(path s3 p3-36)
	(path p3-36 s3)
	(path s36 p3-36)
	(path p3-36 s36)
	(= (time-to-walk s3 p3-36) 22)
	(= (time-to-walk p3-36 s3) 22)
	(= (time-to-walk s36 p3-36) 86)
	(= (time-to-walk p3-36 s36) 86)
	(path s4 p4-37)
	(path p4-37 s4)
	(path s37 p4-37)
	(path p4-37 s37)
	(= (time-to-walk s4 p4-37) 7)
	(= (time-to-walk p4-37 s4) 7)
	(= (time-to-walk s37 p4-37) 48)
	(= (time-to-walk p4-37 s37) 48)
	(path s6 p6-22)
	(path p6-22 s6)
	(path s22 p6-22)
	(path p6-22 s22)
	(= (time-to-walk s6 p6-22) 34)
	(= (time-to-walk p6-22 s6) 34)
	(= (time-to-walk s22 p6-22) 31)
	(= (time-to-walk p6-22 s22) 31)
	(path s6 p6-38)
	(path p6-38 s6)
	(path s38 p6-38)
	(path p6-38 s38)
	(= (time-to-walk s6 p6-38) 61)
	(= (time-to-walk p6-38 s6) 61)
	(= (time-to-walk s38 p6-38) 2)
	(= (time-to-walk p6-38 s38) 2)
	(path s6 p6-127)
	(path p6-127 s6)
	(path s127 p6-127)
	(path p6-127 s127)
	(= (time-to-walk s6 p6-127) 14)
	(= (time-to-walk p6-127 s6) 14)
	(= (time-to-walk s127 p6-127) 47)
	(= (time-to-walk p6-127 s127) 47)
	(path s7 p7-0)
	(path p7-0 s7)
	(path s0 p7-0)
	(path p7-0 s0)
	(= (time-to-walk s7 p7-0) 86)
	(= (time-to-walk p7-0 s7) 86)
	(= (time-to-walk s0 p7-0) 100)
	(= (time-to-walk p7-0 s0) 100)
	(path s7 p7-61)
	(path p7-61 s7)
	(path s61 p7-61)
	(path p7-61 s61)
	(= (time-to-walk s7 p7-61) 11)
	(= (time-to-walk p7-61 s7) 11)
	(= (time-to-walk s61 p7-61) 59)
	(= (time-to-walk p7-61 s61) 59)
	(path s8 p8-48)
	(path p8-48 s8)
	(path s48 p8-48)
	(path p8-48 s48)
	(= (time-to-walk s8 p8-48) 40)
	(= (time-to-walk p8-48 s8) 40)
	(= (time-to-walk s48 p8-48) 64)
	(= (time-to-walk p8-48 s48) 64)
	(path s9 p9-15)
	(path p9-15 s9)
	(path s15 p9-15)
	(path p9-15 s15)
	(= (time-to-walk s9 p9-15) 64)
	(= (time-to-walk p9-15 s9) 64)
	(= (time-to-walk s15 p9-15) 87)
	(= (time-to-walk p9-15 s15) 87)
	(path s9 p9-37)
	(path p9-37 s9)
	(path s37 p9-37)
	(path p9-37 s37)
	(= (time-to-walk s9 p9-37) 66)
	(= (time-to-walk p9-37 s9) 66)
	(= (time-to-walk s37 p9-37) 83)
	(= (time-to-walk p9-37 s37) 83)
	(path s9 p9-112)
	(path p9-112 s9)
	(path s112 p9-112)
	(path p9-112 s112)
	(= (time-to-walk s9 p9-112) 23)
	(= (time-to-walk p9-112 s9) 23)
	(= (time-to-walk s112 p9-112) 76)
	(= (time-to-walk p9-112 s112) 76)
	(path s9 p9-120)
	(path p9-120 s9)
	(path s120 p9-120)
	(path p9-120 s120)
	(= (time-to-walk s9 p9-120) 18)
	(= (time-to-walk p9-120 s9) 18)
	(= (time-to-walk s120 p9-120) 71)
	(= (time-to-walk p9-120 s120) 71)
	(path s10 p10-14)
	(path p10-14 s10)
	(path s14 p10-14)
	(path p10-14 s14)
	(= (time-to-walk s10 p10-14) 6)
	(= (time-to-walk p10-14 s10) 6)
	(= (time-to-walk s14 p10-14) 38)
	(= (time-to-walk p10-14 s14) 38)
	(path s10 p10-77)
	(path p10-77 s10)
	(path s77 p10-77)
	(path p10-77 s77)
	(= (time-to-walk s10 p10-77) 29)
	(= (time-to-walk p10-77 s10) 29)
	(= (time-to-walk s77 p10-77) 40)
	(= (time-to-walk p10-77 s77) 40)
	(path s10 p10-98)
	(path p10-98 s10)
	(path s98 p10-98)
	(path p10-98 s98)
	(= (time-to-walk s10 p10-98) 40)
	(= (time-to-walk p10-98 s10) 40)
	(= (time-to-walk s98 p10-98) 32)
	(= (time-to-walk p10-98 s98) 32)
	(path s10 p10-107)
	(path p10-107 s10)
	(path s107 p10-107)
	(path p10-107 s107)
	(= (time-to-walk s10 p10-107) 19)
	(= (time-to-walk p10-107 s10) 19)
	(= (time-to-walk s107 p10-107) 61)
	(= (time-to-walk p10-107 s107) 61)
	(path s12 p12-19)
	(path p12-19 s12)
	(path s19 p12-19)
	(path p12-19 s19)
	(= (time-to-walk s12 p12-19) 18)
	(= (time-to-walk p12-19 s12) 18)
	(= (time-to-walk s19 p12-19) 25)
	(= (time-to-walk p12-19 s19) 25)
	(path s12 p12-61)
	(path p12-61 s12)
	(path s61 p12-61)
	(path p12-61 s61)
	(= (time-to-walk s12 p12-61) 9)
	(= (time-to-walk p12-61 s12) 9)
	(= (time-to-walk s61 p12-61) 52)
	(= (time-to-walk p12-61 s61) 52)
	(path s12 p12-65)
	(path p12-65 s12)
	(path s65 p12-65)
	(path p12-65 s65)
	(= (time-to-walk s12 p12-65) 56)
	(= (time-to-walk p12-65 s12) 56)
	(= (time-to-walk s65 p12-65) 69)
	(= (time-to-walk p12-65 s65) 69)
	(path s12 p12-115)
	(path p12-115 s12)
	(path s115 p12-115)
	(path p12-115 s115)
	(= (time-to-walk s12 p12-115) 53)
	(= (time-to-walk p12-115 s12) 53)
	(= (time-to-walk s115 p12-115) 69)
	(= (time-to-walk p12-115 s115) 69)
	(path s13 p13-29)
	(path p13-29 s13)
	(path s29 p13-29)
	(path p13-29 s29)
	(= (time-to-walk s13 p13-29) 15)
	(= (time-to-walk p13-29 s13) 15)
	(= (time-to-walk s29 p13-29) 39)
	(= (time-to-walk p13-29 s29) 39)
	(path s14 p14-7)
	(path p14-7 s14)
	(path s7 p14-7)
	(path p14-7 s7)
	(= (time-to-walk s14 p14-7) 68)
	(= (time-to-walk p14-7 s14) 68)
	(= (time-to-walk s7 p14-7) 25)
	(= (time-to-walk p14-7 s7) 25)
	(path s14 p14-11)
	(path p14-11 s14)
	(path s11 p14-11)
	(path p14-11 s11)
	(= (time-to-walk s14 p14-11) 97)
	(= (time-to-walk p14-11 s14) 97)
	(= (time-to-walk s11 p14-11) 8)
	(= (time-to-walk p14-11 s11) 8)
	(path s14 p14-23)
	(path p14-23 s14)
	(path s23 p14-23)
	(path p14-23 s23)
	(= (time-to-walk s14 p14-23) 89)
	(= (time-to-walk p14-23 s14) 89)
	(= (time-to-walk s23 p14-23) 61)
	(= (time-to-walk p14-23 s23) 61)
	(path s14 p14-59)
	(path p14-59 s14)
	(path s59 p14-59)
	(path p14-59 s59)
	(= (time-to-walk s14 p14-59) 95)
	(= (time-to-walk p14-59 s14) 95)
	(= (time-to-walk s59 p14-59) 54)
	(= (time-to-walk p14-59 s59) 54)
	(path s15 p15-46)
	(path p15-46 s15)
	(path s46 p15-46)
	(path p15-46 s46)
	(= (time-to-walk s15 p15-46) 43)
	(= (time-to-walk p15-46 s15) 43)
	(= (time-to-walk s46 p15-46) 17)
	(= (time-to-walk p15-46 s46) 17)
	(path s15 p15-120)
	(path p15-120 s15)
	(path s120 p15-120)
	(path p15-120 s120)
	(= (time-to-walk s15 p15-120) 29)
	(= (time-to-walk p15-120 s15) 29)
	(= (time-to-walk s120 p15-120) 61)
	(= (time-to-walk p15-120 s120) 61)
	(path s15 p15-134)
	(path p15-134 s15)
	(path s134 p15-134)
	(path p15-134 s134)
	(= (time-to-walk s15 p15-134) 88)
	(= (time-to-walk p15-134 s15) 88)
	(= (time-to-walk s134 p15-134) 35)
	(= (time-to-walk p15-134 s134) 35)
	(path s16 p16-38)
	(path p16-38 s16)
	(path s38 p16-38)
	(path p16-38 s38)
	(= (time-to-walk s16 p16-38) 99)
	(= (time-to-walk p16-38 s16) 99)
	(= (time-to-walk s38 p16-38) 17)
	(= (time-to-walk p16-38 s38) 17)
	(path s17 p17-38)
	(path p17-38 s17)
	(path s38 p17-38)
	(path p17-38 s38)
	(= (time-to-walk s17 p17-38) 74)
	(= (time-to-walk p17-38 s17) 74)
	(= (time-to-walk s38 p17-38) 38)
	(= (time-to-walk p17-38 s38) 38)
	(path s17 p17-92)
	(path p17-92 s17)
	(path s92 p17-92)
	(path p17-92 s92)
	(= (time-to-walk s17 p17-92) 49)
	(= (time-to-walk p17-92 s17) 49)
	(= (time-to-walk s92 p17-92) 92)
	(= (time-to-walk p17-92 s92) 92)
	(path s18 p18-119)
	(path p18-119 s18)
	(path s119 p18-119)
	(path p18-119 s119)
	(= (time-to-walk s18 p18-119) 99)
	(= (time-to-walk p18-119 s18) 99)
	(= (time-to-walk s119 p18-119) 66)
	(= (time-to-walk p18-119 s119) 66)
	(path s19 p19-15)
	(path p19-15 s19)
	(path s15 p19-15)
	(path p19-15 s15)
	(= (time-to-walk s19 p19-15) 16)
	(= (time-to-walk p19-15 s19) 16)
	(= (time-to-walk s15 p19-15) 8)
	(= (time-to-walk p19-15 s15) 8)
	(path s19 p19-21)
	(path p19-21 s19)
	(path s21 p19-21)
	(path p19-21 s21)
	(= (time-to-walk s19 p19-21) 17)
	(= (time-to-walk p19-21 s19) 17)
	(= (time-to-walk s21 p19-21) 71)
	(= (time-to-walk p19-21 s21) 71)
	(path s19 p19-90)
	(path p19-90 s19)
	(path s90 p19-90)
	(path p19-90 s90)
	(= (time-to-walk s19 p19-90) 76)
	(= (time-to-walk p19-90 s19) 76)
	(= (time-to-walk s90 p19-90) 70)
	(= (time-to-walk p19-90 s90) 70)
	(path s20 p20-5)
	(path p20-5 s20)
	(path s5 p20-5)
	(path p20-5 s5)
	(= (time-to-walk s20 p20-5) 40)
	(= (time-to-walk p20-5 s20) 40)
	(= (time-to-walk s5 p20-5) 91)
	(= (time-to-walk p20-5 s5) 91)
	(path s20 p20-127)
	(path p20-127 s20)
	(path s127 p20-127)
	(path p20-127 s127)
	(= (time-to-walk s20 p20-127) 8)
	(= (time-to-walk p20-127 s20) 8)
	(= (time-to-walk s127 p20-127) 8)
	(= (time-to-walk p20-127 s127) 8)
	(path s21 p21-88)
	(path p21-88 s21)
	(path s88 p21-88)
	(path p21-88 s88)
	(= (time-to-walk s21 p21-88) 16)
	(= (time-to-walk p21-88 s21) 16)
	(= (time-to-walk s88 p21-88) 5)
	(= (time-to-walk p21-88 s88) 5)
	(path s21 p21-97)
	(path p21-97 s21)
	(path s97 p21-97)
	(path p21-97 s97)
	(= (time-to-walk s21 p21-97) 16)
	(= (time-to-walk p21-97 s21) 16)
	(= (time-to-walk s97 p21-97) 5)
	(= (time-to-walk p21-97 s97) 5)
	(path s21 p21-133)
	(path p21-133 s21)
	(path s133 p21-133)
	(path p21-133 s133)
	(= (time-to-walk s21 p21-133) 65)
	(= (time-to-walk p21-133 s21) 65)
	(= (time-to-walk s133 p21-133) 11)
	(= (time-to-walk p21-133 s133) 11)
	(path s23 p23-30)
	(path p23-30 s23)
	(path s30 p23-30)
	(path p23-30 s30)
	(= (time-to-walk s23 p23-30) 58)
	(= (time-to-walk p23-30 s23) 58)
	(= (time-to-walk s30 p23-30) 8)
	(= (time-to-walk p23-30 s30) 8)
	(path s23 p23-63)
	(path p23-63 s23)
	(path s63 p23-63)
	(path p23-63 s63)
	(= (time-to-walk s23 p23-63) 27)
	(= (time-to-walk p23-63 s23) 27)
	(= (time-to-walk s63 p23-63) 87)
	(= (time-to-walk p23-63 s63) 87)
	(path s23 p23-111)
	(path p23-111 s23)
	(path s111 p23-111)
	(path p23-111 s111)
	(= (time-to-walk s23 p23-111) 68)
	(= (time-to-walk p23-111 s23) 68)
	(= (time-to-walk s111 p23-111) 15)
	(= (time-to-walk p23-111 s111) 15)
	(path s23 p23-123)
	(path p23-123 s23)
	(path s123 p23-123)
	(path p23-123 s123)
	(= (time-to-walk s23 p23-123) 21)
	(= (time-to-walk p23-123 s23) 21)
	(= (time-to-walk s123 p23-123) 66)
	(= (time-to-walk p23-123 s123) 66)
	(path s24 p24-8)
	(path p24-8 s24)
	(path s8 p24-8)
	(path p24-8 s8)
	(= (time-to-walk s24 p24-8) 31)
	(= (time-to-walk p24-8 s24) 31)
	(= (time-to-walk s8 p24-8) 95)
	(= (time-to-walk p24-8 s8) 95)
	(path s24 p24-140)
	(path p24-140 s24)
	(path s140 p24-140)
	(path p24-140 s140)
	(= (time-to-walk s24 p24-140) 4)
	(= (time-to-walk p24-140 s24) 4)
	(= (time-to-walk s140 p24-140) 79)
	(= (time-to-walk p24-140 s140) 79)
	(path s25 p25-13)
	(path p25-13 s25)
	(path s13 p25-13)
	(path p25-13 s13)
	(= (time-to-walk s25 p25-13) 86)
	(= (time-to-walk p25-13 s25) 86)
	(= (time-to-walk s13 p25-13) 2)
	(= (time-to-walk p25-13 s13) 2)
	(path s25 p25-43)
	(path p25-43 s25)
	(path s43 p25-43)
	(path p25-43 s43)
	(= (time-to-walk s25 p25-43) 45)
	(= (time-to-walk p25-43 s25) 45)
	(= (time-to-walk s43 p25-43) 2)
	(= (time-to-walk p25-43 s43) 2)
	(path s25 p25-79)
	(path p25-79 s25)
	(path s79 p25-79)
	(path p25-79 s79)
	(= (time-to-walk s25 p25-79) 10)
	(= (time-to-walk p25-79 s25) 10)
	(= (time-to-walk s79 p25-79) 62)
	(= (time-to-walk p25-79 s79) 62)
	(path s26 p26-64)
	(path p26-64 s26)
	(path s64 p26-64)
	(path p26-64 s64)
	(= (time-to-walk s26 p26-64) 73)
	(= (time-to-walk p26-64 s26) 73)
	(= (time-to-walk s64 p26-64) 86)
	(= (time-to-walk p26-64 s64) 86)
	(path s26 p26-66)
	(path p26-66 s26)
	(path s66 p26-66)
	(path p26-66 s66)
	(= (time-to-walk s26 p26-66) 32)
	(= (time-to-walk p26-66 s26) 32)
	(= (time-to-walk s66 p26-66) 13)
	(= (time-to-walk p26-66 s66) 13)
	(path s27 p27-54)
	(path p27-54 s27)
	(path s54 p27-54)
	(path p27-54 s54)
	(= (time-to-walk s27 p27-54) 76)
	(= (time-to-walk p27-54 s27) 76)
	(= (time-to-walk s54 p27-54) 40)
	(= (time-to-walk p27-54 s54) 40)
	(path s27 p27-107)
	(path p27-107 s27)
	(path s107 p27-107)
	(path p27-107 s107)
	(= (time-to-walk s27 p27-107) 20)
	(= (time-to-walk p27-107 s27) 20)
	(= (time-to-walk s107 p27-107) 92)
	(= (time-to-walk p27-107 s107) 92)
	(path s28 p28-4)
	(path p28-4 s28)
	(path s4 p28-4)
	(path p28-4 s4)
	(= (time-to-walk s28 p28-4) 44)
	(= (time-to-walk p28-4 s28) 44)
	(= (time-to-walk s4 p28-4) 36)
	(= (time-to-walk p28-4 s4) 36)
	(path s28 p28-122)
	(path p28-122 s28)
	(path s122 p28-122)
	(path p28-122 s122)
	(= (time-to-walk s28 p28-122) 97)
	(= (time-to-walk p28-122 s28) 97)
	(= (time-to-walk s122 p28-122) 9)
	(= (time-to-walk p28-122 s122) 9)
	(path s29 p29-65)
	(path p29-65 s29)
	(path s65 p29-65)
	(path p29-65 s65)
	(= (time-to-walk s29 p29-65) 46)
	(= (time-to-walk p29-65 s29) 46)
	(= (time-to-walk s65 p29-65) 55)
	(= (time-to-walk p29-65 s65) 55)
	(path s30 p30-25)
	(path p30-25 s30)
	(path s25 p30-25)
	(path p30-25 s25)
	(= (time-to-walk s30 p30-25) 16)
	(= (time-to-walk p30-25 s30) 16)
	(= (time-to-walk s25 p30-25) 73)
	(= (time-to-walk p30-25 s25) 73)
	(path s30 p30-27)
	(path p30-27 s30)
	(path s27 p30-27)
	(path p30-27 s27)
	(= (time-to-walk s30 p30-27) 41)
	(= (time-to-walk p30-27 s30) 41)
	(= (time-to-walk s27 p30-27) 83)
	(= (time-to-walk p30-27 s27) 83)
	(path s30 p30-32)
	(path p30-32 s30)
	(path s32 p30-32)
	(path p30-32 s32)
	(= (time-to-walk s30 p30-32) 87)
	(= (time-to-walk p30-32 s30) 87)
	(= (time-to-walk s32 p30-32) 62)
	(= (time-to-walk p30-32 s32) 62)
	(path s30 p30-90)
	(path p30-90 s30)
	(path s90 p30-90)
	(path p30-90 s90)
	(= (time-to-walk s30 p30-90) 49)
	(= (time-to-walk p30-90 s30) 49)
	(= (time-to-walk s90 p30-90) 17)
	(= (time-to-walk p30-90 s90) 17)
	(path s31 p31-41)
	(path p31-41 s31)
	(path s41 p31-41)
	(path p31-41 s41)
	(= (time-to-walk s31 p31-41) 56)
	(= (time-to-walk p31-41 s31) 56)
	(= (time-to-walk s41 p31-41) 52)
	(= (time-to-walk p31-41 s41) 52)
	(path s32 p32-19)
	(path p32-19 s32)
	(path s19 p32-19)
	(path p32-19 s19)
	(= (time-to-walk s32 p32-19) 96)
	(= (time-to-walk p32-19 s32) 96)
	(= (time-to-walk s19 p32-19) 42)
	(= (time-to-walk p32-19 s19) 42)
	(path s32 p32-28)
	(path p32-28 s32)
	(path s28 p32-28)
	(path p32-28 s28)
	(= (time-to-walk s32 p32-28) 54)
	(= (time-to-walk p32-28 s32) 54)
	(= (time-to-walk s28 p32-28) 40)
	(= (time-to-walk p32-28 s28) 40)
	(path s32 p32-35)
	(path p32-35 s32)
	(path s35 p32-35)
	(path p32-35 s35)
	(= (time-to-walk s32 p32-35) 44)
	(= (time-to-walk p32-35 s32) 44)
	(= (time-to-walk s35 p32-35) 63)
	(= (time-to-walk p32-35 s35) 63)
	(path s32 p32-63)
	(path p32-63 s32)
	(path s63 p32-63)
	(path p32-63 s63)
	(= (time-to-walk s32 p32-63) 2)
	(= (time-to-walk p32-63 s32) 2)
	(= (time-to-walk s63 p32-63) 16)
	(= (time-to-walk p32-63 s63) 16)
	(path s33 p33-52)
	(path p33-52 s33)
	(path s52 p33-52)
	(path p33-52 s52)
	(= (time-to-walk s33 p33-52) 48)
	(= (time-to-walk p33-52 s33) 48)
	(= (time-to-walk s52 p33-52) 33)
	(= (time-to-walk p33-52 s52) 33)
	(path s33 p33-60)
	(path p33-60 s33)
	(path s60 p33-60)
	(path p33-60 s60)
	(= (time-to-walk s33 p33-60) 28)
	(= (time-to-walk p33-60 s33) 28)
	(= (time-to-walk s60 p33-60) 24)
	(= (time-to-walk p33-60 s60) 24)
	(path s34 p34-36)
	(path p34-36 s34)
	(path s36 p34-36)
	(path p34-36 s36)
	(= (time-to-walk s34 p34-36) 72)
	(= (time-to-walk p34-36 s34) 72)
	(= (time-to-walk s36 p34-36) 48)
	(= (time-to-walk p34-36 s36) 48)
	(path s34 p34-63)
	(path p34-63 s34)
	(path s63 p34-63)
	(path p34-63 s63)
	(= (time-to-walk s34 p34-63) 16)
	(= (time-to-walk p34-63 s34) 16)
	(= (time-to-walk s63 p34-63) 16)
	(= (time-to-walk p34-63 s63) 16)
	(path s35 p35-44)
	(path p35-44 s35)
	(path s44 p35-44)
	(path p35-44 s44)
	(= (time-to-walk s35 p35-44) 83)
	(= (time-to-walk p35-44 s35) 83)
	(= (time-to-walk s44 p35-44) 12)
	(= (time-to-walk p35-44 s44) 12)
	(path s35 p35-64)
	(path p35-64 s35)
	(path s64 p35-64)
	(path p35-64 s64)
	(= (time-to-walk s35 p35-64) 24)
	(= (time-to-walk p35-64 s35) 24)
	(= (time-to-walk s64 p35-64) 29)
	(= (time-to-walk p35-64 s64) 29)
	(path s35 p35-84)
	(path p35-84 s35)
	(path s84 p35-84)
	(path p35-84 s84)
	(= (time-to-walk s35 p35-84) 66)
	(= (time-to-walk p35-84 s35) 66)
	(= (time-to-walk s84 p35-84) 40)
	(= (time-to-walk p35-84 s84) 40)
	(path s35 p35-121)
	(path p35-121 s35)
	(path s121 p35-121)
	(path p35-121 s121)
	(= (time-to-walk s35 p35-121) 1)
	(= (time-to-walk p35-121 s35) 1)
	(= (time-to-walk s121 p35-121) 7)
	(= (time-to-walk p35-121 s121) 7)
	(path s36 p36-70)
	(path p36-70 s36)
	(path s70 p36-70)
	(path p36-70 s70)
	(= (time-to-walk s36 p36-70) 23)
	(= (time-to-walk p36-70 s36) 23)
	(= (time-to-walk s70 p36-70) 87)
	(= (time-to-walk p36-70 s70) 87)
	(path s36 p36-123)
	(path p36-123 s36)
	(path s123 p36-123)
	(path p36-123 s123)
	(= (time-to-walk s36 p36-123) 68)
	(= (time-to-walk p36-123 s36) 68)
	(= (time-to-walk s123 p36-123) 71)
	(= (time-to-walk p36-123 s123) 71)
	(path s37 p37-96)
	(path p37-96 s37)
	(path s96 p37-96)
	(path p37-96 s96)
	(= (time-to-walk s37 p37-96) 4)
	(= (time-to-walk p37-96 s37) 4)
	(= (time-to-walk s96 p37-96) 24)
	(= (time-to-walk p37-96 s96) 24)
	(path s37 p37-102)
	(path p37-102 s37)
	(path s102 p37-102)
	(path p37-102 s102)
	(= (time-to-walk s37 p37-102) 23)
	(= (time-to-walk p37-102 s37) 23)
	(= (time-to-walk s102 p37-102) 99)
	(= (time-to-walk p37-102 s102) 99)
	(path s37 p37-115)
	(path p37-115 s37)
	(path s115 p37-115)
	(path p37-115 s115)
	(= (time-to-walk s37 p37-115) 65)
	(= (time-to-walk p37-115 s37) 65)
	(= (time-to-walk s115 p37-115) 76)
	(= (time-to-walk p37-115 s115) 76)
	(path s37 p37-137)
	(path p37-137 s37)
	(path s137 p37-137)
	(path p37-137 s137)
	(= (time-to-walk s37 p37-137) 38)
	(= (time-to-walk p37-137 s37) 38)
	(= (time-to-walk s137 p37-137) 8)
	(= (time-to-walk p37-137 s137) 8)
	(path s39 p39-3)
	(path p39-3 s39)
	(path s3 p39-3)
	(path p39-3 s3)
	(= (time-to-walk s39 p39-3) 39)
	(= (time-to-walk p39-3 s39) 39)
	(= (time-to-walk s3 p39-3) 40)
	(= (time-to-walk p39-3 s3) 40)
	(path s39 p39-86)
	(path p39-86 s39)
	(path s86 p39-86)
	(path p39-86 s86)
	(= (time-to-walk s39 p39-86) 24)
	(= (time-to-walk p39-86 s39) 24)
	(= (time-to-walk s86 p39-86) 87)
	(= (time-to-walk p39-86 s86) 87)
	(path s39 p39-120)
	(path p39-120 s39)
	(path s120 p39-120)
	(path p39-120 s120)
	(= (time-to-walk s39 p39-120) 72)
	(= (time-to-walk p39-120 s39) 72)
	(= (time-to-walk s120 p39-120) 52)
	(= (time-to-walk p39-120 s120) 52)
	(path s39 p39-139)
	(path p39-139 s39)
	(path s139 p39-139)
	(path p39-139 s139)
	(= (time-to-walk s39 p39-139) 11)
	(= (time-to-walk p39-139 s39) 11)
	(= (time-to-walk s139 p39-139) 44)
	(= (time-to-walk p39-139 s139) 44)
	(path s40 p40-97)
	(path p40-97 s40)
	(path s97 p40-97)
	(path p40-97 s97)
	(= (time-to-walk s40 p40-97) 100)
	(= (time-to-walk p40-97 s40) 100)
	(= (time-to-walk s97 p40-97) 26)
	(= (time-to-walk p40-97 s97) 26)
	(path s40 p40-120)
	(path p40-120 s40)
	(path s120 p40-120)
	(path p40-120 s120)
	(= (time-to-walk s40 p40-120) 60)
	(= (time-to-walk p40-120 s40) 60)
	(= (time-to-walk s120 p40-120) 82)
	(= (time-to-walk p40-120 s120) 82)
	(path s40 p40-130)
	(path p40-130 s40)
	(path s130 p40-130)
	(path p40-130 s130)
	(= (time-to-walk s40 p40-130) 38)
	(= (time-to-walk p40-130 s40) 38)
	(= (time-to-walk s130 p40-130) 84)
	(= (time-to-walk p40-130 s130) 84)
	(path s40 p40-146)
	(path p40-146 s40)
	(path s146 p40-146)
	(path p40-146 s146)
	(= (time-to-walk s40 p40-146) 11)
	(= (time-to-walk p40-146 s40) 11)
	(= (time-to-walk s146 p40-146) 4)
	(= (time-to-walk p40-146 s146) 4)
	(path s41 p41-7)
	(path p41-7 s41)
	(path s7 p41-7)
	(path p41-7 s7)
	(= (time-to-walk s41 p41-7) 23)
	(= (time-to-walk p41-7 s41) 23)
	(= (time-to-walk s7 p41-7) 11)
	(= (time-to-walk p41-7 s7) 11)
	(path s41 p41-56)
	(path p41-56 s41)
	(path s56 p41-56)
	(path p41-56 s56)
	(= (time-to-walk s41 p41-56) 10)
	(= (time-to-walk p41-56 s41) 10)
	(= (time-to-walk s56 p41-56) 45)
	(= (time-to-walk p41-56 s56) 45)
	(path s41 p41-116)
	(path p41-116 s41)
	(path s116 p41-116)
	(path p41-116 s116)
	(= (time-to-walk s41 p41-116) 97)
	(= (time-to-walk p41-116 s41) 97)
	(= (time-to-walk s116 p41-116) 78)
	(= (time-to-walk p41-116 s116) 78)
	(path s43 p43-4)
	(path p43-4 s43)
	(path s4 p43-4)
	(path p43-4 s4)
	(= (time-to-walk s43 p43-4) 16)
	(= (time-to-walk p43-4 s43) 16)
	(= (time-to-walk s4 p43-4) 100)
	(= (time-to-walk p43-4 s4) 100)
	(path s44 p44-51)
	(path p44-51 s44)
	(path s51 p44-51)
	(path p44-51 s51)
	(= (time-to-walk s44 p44-51) 2)
	(= (time-to-walk p44-51 s44) 2)
	(= (time-to-walk s51 p44-51) 38)
	(= (time-to-walk p44-51 s51) 38)
	(path s44 p44-58)
	(path p44-58 s44)
	(path s58 p44-58)
	(path p44-58 s58)
	(= (time-to-walk s44 p44-58) 99)
	(= (time-to-walk p44-58 s44) 99)
	(= (time-to-walk s58 p44-58) 66)
	(= (time-to-walk p44-58 s58) 66)
	(path s44 p44-60)
	(path p44-60 s44)
	(path s60 p44-60)
	(path p44-60 s60)
	(= (time-to-walk s44 p44-60) 14)
	(= (time-to-walk p44-60 s44) 14)
	(= (time-to-walk s60 p44-60) 37)
	(= (time-to-walk p44-60 s60) 37)
	(path s44 p44-148)
	(path p44-148 s44)
	(path s148 p44-148)
	(path p44-148 s148)
	(= (time-to-walk s44 p44-148) 74)
	(= (time-to-walk p44-148 s44) 74)
	(= (time-to-walk s148 p44-148) 53)
	(= (time-to-walk p44-148 s148) 53)
	(path s45 p45-25)
	(path p45-25 s45)
	(path s25 p45-25)
	(path p45-25 s25)
	(= (time-to-walk s45 p45-25) 76)
	(= (time-to-walk p45-25 s45) 76)
	(= (time-to-walk s25 p45-25) 98)
	(= (time-to-walk p45-25 s25) 98)
	(path s45 p45-50)
	(path p45-50 s45)
	(path s50 p45-50)
	(path p45-50 s50)
	(= (time-to-walk s45 p45-50) 39)
	(= (time-to-walk p45-50 s45) 39)
	(= (time-to-walk s50 p45-50) 47)
	(= (time-to-walk p45-50 s50) 47)
	(path s45 p45-89)
	(path p45-89 s45)
	(path s89 p45-89)
	(path p45-89 s89)
	(= (time-to-walk s45 p45-89) 49)
	(= (time-to-walk p45-89 s45) 49)
	(= (time-to-walk s89 p45-89) 50)
	(= (time-to-walk p45-89 s89) 50)
	(path s45 p45-100)
	(path p45-100 s45)
	(path s100 p45-100)
	(path p45-100 s100)
	(= (time-to-walk s45 p45-100) 91)
	(= (time-to-walk p45-100 s45) 91)
	(= (time-to-walk s100 p45-100) 48)
	(= (time-to-walk p45-100 s100) 48)
	(path s45 p45-109)
	(path p45-109 s45)
	(path s109 p45-109)
	(path p45-109 s109)
	(= (time-to-walk s45 p45-109) 75)
	(= (time-to-walk p45-109 s45) 75)
	(= (time-to-walk s109 p45-109) 50)
	(= (time-to-walk p45-109 s109) 50)
	(path s46 p46-60)
	(path p46-60 s46)
	(path s60 p46-60)
	(path p46-60 s60)
	(= (time-to-walk s46 p46-60) 30)
	(= (time-to-walk p46-60 s46) 30)
	(= (time-to-walk s60 p46-60) 13)
	(= (time-to-walk p46-60 s60) 13)
	(path s47 p47-78)
	(path p47-78 s47)
	(path s78 p47-78)
	(path p47-78 s78)
	(= (time-to-walk s47 p47-78) 34)
	(= (time-to-walk p47-78 s47) 34)
	(= (time-to-walk s78 p47-78) 40)
	(= (time-to-walk p47-78 s78) 40)
	(path s51 p51-55)
	(path p51-55 s51)
	(path s55 p51-55)
	(path p51-55 s55)
	(= (time-to-walk s51 p51-55) 16)
	(= (time-to-walk p51-55 s51) 16)
	(= (time-to-walk s55 p51-55) 56)
	(= (time-to-walk p51-55 s55) 56)
	(path s51 p51-59)
	(path p51-59 s51)
	(path s59 p51-59)
	(path p51-59 s59)
	(= (time-to-walk s51 p51-59) 51)
	(= (time-to-walk p51-59 s51) 51)
	(= (time-to-walk s59 p51-59) 26)
	(= (time-to-walk p51-59 s59) 26)
	(path s51 p51-88)
	(path p51-88 s51)
	(path s88 p51-88)
	(path p51-88 s88)
	(= (time-to-walk s51 p51-88) 1)
	(= (time-to-walk p51-88 s51) 1)
	(= (time-to-walk s88 p51-88) 48)
	(= (time-to-walk p51-88 s88) 48)
	(path s51 p51-101)
	(path p51-101 s51)
	(path s101 p51-101)
	(path p51-101 s101)
	(= (time-to-walk s51 p51-101) 3)
	(= (time-to-walk p51-101 s51) 3)
	(= (time-to-walk s101 p51-101) 17)
	(= (time-to-walk p51-101 s101) 17)
	(path s52 p52-16)
	(path p52-16 s52)
	(path s16 p52-16)
	(path p52-16 s16)
	(= (time-to-walk s52 p52-16) 48)
	(= (time-to-walk p52-16 s52) 48)
	(= (time-to-walk s16 p52-16) 4)
	(= (time-to-walk p52-16 s16) 4)
	(path s52 p52-60)
	(path p52-60 s52)
	(path s60 p52-60)
	(path p52-60 s60)
	(= (time-to-walk s52 p52-60) 54)
	(= (time-to-walk p52-60 s52) 54)
	(= (time-to-walk s60 p52-60) 46)
	(= (time-to-walk p52-60 s60) 46)
	(path s52 p52-90)
	(path p52-90 s52)
	(path s90 p52-90)
	(path p52-90 s90)
	(= (time-to-walk s52 p52-90) 70)
	(= (time-to-walk p52-90 s52) 70)
	(= (time-to-walk s90 p52-90) 68)
	(= (time-to-walk p52-90 s90) 68)
	(path s53 p53-145)
	(path p53-145 s53)
	(path s145 p53-145)
	(path p53-145 s145)
	(= (time-to-walk s53 p53-145) 82)
	(= (time-to-walk p53-145 s53) 82)
	(= (time-to-walk s145 p53-145) 44)
	(= (time-to-walk p53-145 s145) 44)
	(path s54 p54-42)
	(path p54-42 s54)
	(path s42 p54-42)
	(path p54-42 s42)
	(= (time-to-walk s54 p54-42) 20)
	(= (time-to-walk p54-42 s54) 20)
	(= (time-to-walk s42 p54-42) 57)
	(= (time-to-walk p54-42 s42) 57)
	(path s55 p55-62)
	(path p55-62 s55)
	(path s62 p55-62)
	(path p55-62 s62)
	(= (time-to-walk s55 p55-62) 41)
	(= (time-to-walk p55-62 s55) 41)
	(= (time-to-walk s62 p55-62) 59)
	(= (time-to-walk p55-62 s62) 59)
	(path s56 p56-89)
	(path p56-89 s56)
	(path s89 p56-89)
	(path p56-89 s89)
	(= (time-to-walk s56 p56-89) 4)
	(= (time-to-walk p56-89 s56) 4)
	(= (time-to-walk s89 p56-89) 90)
	(= (time-to-walk p56-89 s89) 90)
	(path s57 p57-0)
	(path p57-0 s57)
	(path s0 p57-0)
	(path p57-0 s0)
	(= (time-to-walk s57 p57-0) 8)
	(= (time-to-walk p57-0 s57) 8)
	(= (time-to-walk s0 p57-0) 94)
	(= (time-to-walk p57-0 s0) 94)
	(path s57 p57-16)
	(path p57-16 s57)
	(path s16 p57-16)
	(path p57-16 s16)
	(= (time-to-walk s57 p57-16) 37)
	(= (time-to-walk p57-16 s57) 37)
	(= (time-to-walk s16 p57-16) 83)
	(= (time-to-walk p57-16 s16) 83)
	(path s57 p57-74)
	(path p57-74 s57)
	(path s74 p57-74)
	(path p57-74 s74)
	(= (time-to-walk s57 p57-74) 44)
	(= (time-to-walk p57-74 s57) 44)
	(= (time-to-walk s74 p57-74) 67)
	(= (time-to-walk p57-74 s74) 67)
	(path s58 p58-43)
	(path p58-43 s58)
	(path s43 p58-43)
	(path p58-43 s43)
	(= (time-to-walk s58 p58-43) 95)
	(= (time-to-walk p58-43 s58) 95)
	(= (time-to-walk s43 p58-43) 77)
	(= (time-to-walk p58-43 s43) 77)
	(path s58 p58-147)
	(path p58-147 s58)
	(path s147 p58-147)
	(path p58-147 s147)
	(= (time-to-walk s58 p58-147) 7)
	(= (time-to-walk p58-147 s58) 7)
	(= (time-to-walk s147 p58-147) 11)
	(= (time-to-walk p58-147 s147) 11)
	(path s59 p59-13)
	(path p59-13 s59)
	(path s13 p59-13)
	(path p59-13 s13)
	(= (time-to-walk s59 p59-13) 33)
	(= (time-to-walk p59-13 s59) 33)
	(= (time-to-walk s13 p59-13) 57)
	(= (time-to-walk p59-13 s13) 57)
	(path s59 p59-46)
	(path p59-46 s59)
	(path s46 p59-46)
	(path p59-46 s46)
	(= (time-to-walk s59 p59-46) 36)
	(= (time-to-walk p59-46 s59) 36)
	(= (time-to-walk s46 p59-46) 34)
	(= (time-to-walk p59-46 s46) 34)
	(path s59 p59-53)
	(path p59-53 s59)
	(path s53 p59-53)
	(path p59-53 s53)
	(= (time-to-walk s59 p59-53) 4)
	(= (time-to-walk p59-53 s59) 4)
	(= (time-to-walk s53 p59-53) 39)
	(= (time-to-walk p59-53 s53) 39)
	(path s59 p59-76)
	(path p59-76 s59)
	(path s76 p59-76)
	(path p59-76 s76)
	(= (time-to-walk s59 p59-76) 50)
	(= (time-to-walk p59-76 s59) 50)
	(= (time-to-walk s76 p59-76) 52)
	(= (time-to-walk p59-76 s76) 52)
	(path s59 p59-93)
	(path p59-93 s59)
	(path s93 p59-93)
	(path p59-93 s93)
	(= (time-to-walk s59 p59-93) 43)
	(= (time-to-walk p59-93 s59) 43)
	(= (time-to-walk s93 p59-93) 3)
	(= (time-to-walk p59-93 s93) 3)
	(path s59 p59-103)
	(path p59-103 s59)
	(path s103 p59-103)
	(path p59-103 s103)
	(= (time-to-walk s59 p59-103) 97)
	(= (time-to-walk p59-103 s59) 97)
	(= (time-to-walk s103 p59-103) 13)
	(= (time-to-walk p59-103 s103) 13)
	(path s59 p59-148)
	(path p59-148 s59)
	(path s148 p59-148)
	(path p59-148 s148)
	(= (time-to-walk s59 p59-148) 70)
	(= (time-to-walk p59-148 s59) 70)
	(= (time-to-walk s148 p59-148) 79)
	(= (time-to-walk p59-148 s148) 79)
	(path s60 p60-45)
	(path p60-45 s60)
	(path s45 p60-45)
	(path p60-45 s45)
	(= (time-to-walk s60 p60-45) 56)
	(= (time-to-walk p60-45 s60) 56)
	(= (time-to-walk s45 p60-45) 90)
	(= (time-to-walk p60-45 s45) 90)
	(path s60 p60-58)
	(path p60-58 s60)
	(path s58 p60-58)
	(path p60-58 s58)
	(= (time-to-walk s60 p60-58) 35)
	(= (time-to-walk p60-58 s60) 35)
	(= (time-to-walk s58 p60-58) 97)
	(= (time-to-walk p60-58 s58) 97)
	(path s60 p60-98)
	(path p60-98 s60)
	(path s98 p60-98)
	(path p60-98 s98)
	(= (time-to-walk s60 p60-98) 48)
	(= (time-to-walk p60-98 s60) 48)
	(= (time-to-walk s98 p60-98) 39)
	(= (time-to-walk p60-98 s98) 39)
	(path s60 p60-110)
	(path p60-110 s60)
	(path s110 p60-110)
	(path p60-110 s110)
	(= (time-to-walk s60 p60-110) 87)
	(= (time-to-walk p60-110 s60) 87)
	(= (time-to-walk s110 p60-110) 55)
	(= (time-to-walk p60-110 s110) 55)
	(path s61 p61-24)
	(path p61-24 s61)
	(path s24 p61-24)
	(path p61-24 s24)
	(= (time-to-walk s61 p61-24) 33)
	(= (time-to-walk p61-24 s61) 33)
	(= (time-to-walk s24 p61-24) 24)
	(= (time-to-walk p61-24 s24) 24)
	(path s61 p61-47)
	(path p61-47 s61)
	(path s47 p61-47)
	(path p61-47 s47)
	(= (time-to-walk s61 p61-47) 37)
	(= (time-to-walk p61-47 s61) 37)
	(= (time-to-walk s47 p61-47) 76)
	(= (time-to-walk p61-47 s47) 76)
	(path s61 p61-88)
	(path p61-88 s61)
	(path s88 p61-88)
	(path p61-88 s88)
	(= (time-to-walk s61 p61-88) 90)
	(= (time-to-walk p61-88 s61) 90)
	(= (time-to-walk s88 p61-88) 32)
	(= (time-to-walk p61-88 s88) 32)
	(path s62 p62-67)
	(path p62-67 s62)
	(path s67 p62-67)
	(path p62-67 s67)
	(= (time-to-walk s62 p62-67) 53)
	(= (time-to-walk p62-67 s62) 53)
	(= (time-to-walk s67 p62-67) 97)
	(= (time-to-walk p62-67 s67) 97)
	(path s63 p63-144)
	(path p63-144 s63)
	(path s144 p63-144)
	(path p63-144 s144)
	(= (time-to-walk s63 p63-144) 42)
	(= (time-to-walk p63-144 s63) 42)
	(= (time-to-walk s144 p63-144) 85)
	(= (time-to-walk p63-144 s144) 85)
	(path s64 p64-12)
	(path p64-12 s64)
	(path s12 p64-12)
	(path p64-12 s12)
	(= (time-to-walk s64 p64-12) 53)
	(= (time-to-walk p64-12 s64) 53)
	(= (time-to-walk s12 p64-12) 78)
	(= (time-to-walk p64-12 s12) 78)
	(path s64 p64-80)
	(path p64-80 s64)
	(path s80 p64-80)
	(path p64-80 s80)
	(= (time-to-walk s64 p64-80) 18)
	(= (time-to-walk p64-80 s64) 18)
	(= (time-to-walk s80 p64-80) 57)
	(= (time-to-walk p64-80 s80) 57)
	(path s66 p66-119)
	(path p66-119 s66)
	(path s119 p66-119)
	(path p66-119 s119)
	(= (time-to-walk s66 p66-119) 17)
	(= (time-to-walk p66-119 s66) 17)
	(= (time-to-walk s119 p66-119) 67)
	(= (time-to-walk p66-119 s119) 67)
	(path s67 p67-49)
	(path p67-49 s67)
	(path s49 p67-49)
	(path p67-49 s49)
	(= (time-to-walk s67 p67-49) 9)
	(= (time-to-walk p67-49 s67) 9)
	(= (time-to-walk s49 p67-49) 59)
	(= (time-to-walk p67-49 s49) 59)
	(path s67 p67-69)
	(path p67-69 s67)
	(path s69 p67-69)
	(path p67-69 s69)
	(= (time-to-walk s67 p67-69) 70)
	(= (time-to-walk p67-69 s67) 70)
	(= (time-to-walk s69 p67-69) 5)
	(= (time-to-walk p67-69 s69) 5)
	(path s67 p67-81)
	(path p67-81 s67)
	(path s81 p67-81)
	(path p67-81 s81)
	(= (time-to-walk s67 p67-81) 72)
	(= (time-to-walk p67-81 s67) 72)
	(= (time-to-walk s81 p67-81) 40)
	(= (time-to-walk p67-81 s81) 40)
	(path s68 p68-7)
	(path p68-7 s68)
	(path s7 p68-7)
	(path p68-7 s7)
	(= (time-to-walk s68 p68-7) 83)
	(= (time-to-walk p68-7 s68) 83)
	(= (time-to-walk s7 p68-7) 28)
	(= (time-to-walk p68-7 s7) 28)
	(path s68 p68-96)
	(path p68-96 s68)
	(path s96 p68-96)
	(path p68-96 s96)
	(= (time-to-walk s68 p68-96) 30)
	(= (time-to-walk p68-96 s68) 30)
	(= (time-to-walk s96 p68-96) 18)
	(= (time-to-walk p68-96 s96) 18)
	(path s69 p69-16)
	(path p69-16 s69)
	(path s16 p69-16)
	(path p69-16 s16)
	(= (time-to-walk s69 p69-16) 24)
	(= (time-to-walk p69-16 s69) 24)
	(= (time-to-walk s16 p69-16) 77)
	(= (time-to-walk p69-16 s16) 77)
	(path s69 p69-72)
	(path p69-72 s69)
	(path s72 p69-72)
	(path p69-72 s72)
	(= (time-to-walk s69 p69-72) 56)
	(= (time-to-walk p69-72 s69) 56)
	(= (time-to-walk s72 p69-72) 10)
	(= (time-to-walk p69-72 s72) 10)
	(path s69 p69-83)
	(path p69-83 s69)
	(path s83 p69-83)
	(path p69-83 s83)
	(= (time-to-walk s69 p69-83) 32)
	(= (time-to-walk p69-83 s69) 32)
	(= (time-to-walk s83 p69-83) 88)
	(= (time-to-walk p69-83 s83) 88)
	(path s69 p69-95)
	(path p69-95 s69)
	(path s95 p69-95)
	(path p69-95 s95)
	(= (time-to-walk s69 p69-95) 33)
	(= (time-to-walk p69-95 s69) 33)
	(= (time-to-walk s95 p69-95) 69)
	(= (time-to-walk p69-95 s95) 69)
	(path s69 p69-115)
	(path p69-115 s69)
	(path s115 p69-115)
	(path p69-115 s115)
	(= (time-to-walk s69 p69-115) 64)
	(= (time-to-walk p69-115 s69) 64)
	(= (time-to-walk s115 p69-115) 23)
	(= (time-to-walk p69-115 s115) 23)
	(path s71 p71-126)
	(path p71-126 s71)
	(path s126 p71-126)
	(path p71-126 s126)
	(= (time-to-walk s71 p71-126) 100)
	(= (time-to-walk p71-126 s71) 100)
	(= (time-to-walk s126 p71-126) 16)
	(= (time-to-walk p71-126 s126) 16)
	(path s72 p72-73)
	(path p72-73 s72)
	(path s73 p72-73)
	(path p72-73 s73)
	(= (time-to-walk s72 p72-73) 19)
	(= (time-to-walk p72-73 s72) 19)
	(= (time-to-walk s73 p72-73) 42)
	(= (time-to-walk p72-73 s73) 42)
	(path s72 p72-82)
	(path p72-82 s72)
	(path s82 p72-82)
	(path p72-82 s82)
	(= (time-to-walk s72 p72-82) 1)
	(= (time-to-walk p72-82 s72) 1)
	(= (time-to-walk s82 p72-82) 72)
	(= (time-to-walk p72-82 s82) 72)
	(path s72 p72-144)
	(path p72-144 s72)
	(path s144 p72-144)
	(path p72-144 s144)
	(= (time-to-walk s72 p72-144) 19)
	(= (time-to-walk p72-144 s72) 19)
	(= (time-to-walk s144 p72-144) 19)
	(= (time-to-walk p72-144 s144) 19)
	(path s73 p73-17)
	(path p73-17 s73)
	(path s17 p73-17)
	(path p73-17 s17)
	(= (time-to-walk s73 p73-17) 29)
	(= (time-to-walk p73-17 s73) 29)
	(= (time-to-walk s17 p73-17) 35)
	(= (time-to-walk p73-17 s17) 35)
	(path s73 p73-97)
	(path p73-97 s73)
	(path s97 p73-97)
	(path p73-97 s97)
	(= (time-to-walk s73 p73-97) 86)
	(= (time-to-walk p73-97 s73) 86)
	(= (time-to-walk s97 p73-97) 37)
	(= (time-to-walk p73-97 s97) 37)
	(path s74 p74-92)
	(path p74-92 s74)
	(path s92 p74-92)
	(path p74-92 s92)
	(= (time-to-walk s74 p74-92) 94)
	(= (time-to-walk p74-92 s74) 94)
	(= (time-to-walk s92 p74-92) 56)
	(= (time-to-walk p74-92 s92) 56)
	(path s75 p75-46)
	(path p75-46 s75)
	(path s46 p75-46)
	(path p75-46 s46)
	(= (time-to-walk s75 p75-46) 42)
	(= (time-to-walk p75-46 s75) 42)
	(= (time-to-walk s46 p75-46) 65)
	(= (time-to-walk p75-46 s46) 65)
	(path s75 p75-94)
	(path p75-94 s75)
	(path s94 p75-94)
	(path p75-94 s94)
	(= (time-to-walk s75 p75-94) 96)
	(= (time-to-walk p75-94 s75) 96)
	(= (time-to-walk s94 p75-94) 25)
	(= (time-to-walk p75-94 s94) 25)
	(path s75 p75-104)
	(path p75-104 s75)
	(path s104 p75-104)
	(path p75-104 s104)
	(= (time-to-walk s75 p75-104) 93)
	(= (time-to-walk p75-104 s75) 93)
	(= (time-to-walk s104 p75-104) 25)
	(= (time-to-walk p75-104 s104) 25)
	(path s76 p76-27)
	(path p76-27 s76)
	(path s27 p76-27)
	(path p76-27 s27)
	(= (time-to-walk s76 p76-27) 42)
	(= (time-to-walk p76-27 s76) 42)
	(= (time-to-walk s27 p76-27) 17)
	(= (time-to-walk p76-27 s27) 17)
	(path s76 p76-109)
	(path p76-109 s76)
	(path s109 p76-109)
	(path p76-109 s109)
	(= (time-to-walk s76 p76-109) 1)
	(= (time-to-walk p76-109 s76) 1)
	(= (time-to-walk s109 p76-109) 98)
	(= (time-to-walk p76-109 s109) 98)
	(path s77 p77-80)
	(path p77-80 s77)
	(path s80 p77-80)
	(path p77-80 s80)
	(= (time-to-walk s77 p77-80) 26)
	(= (time-to-walk p77-80 s77) 26)
	(= (time-to-walk s80 p77-80) 33)
	(= (time-to-walk p77-80 s80) 33)
	(path s77 p77-117)
	(path p77-117 s77)
	(path s117 p77-117)
	(path p77-117 s117)
	(= (time-to-walk s77 p77-117) 85)
	(= (time-to-walk p77-117 s77) 85)
	(= (time-to-walk s117 p77-117) 59)
	(= (time-to-walk p77-117 s117) 59)
	(path s77 p77-146)
	(path p77-146 s77)
	(path s146 p77-146)
	(path p77-146 s146)
	(= (time-to-walk s77 p77-146) 1)
	(= (time-to-walk p77-146 s77) 1)
	(= (time-to-walk s146 p77-146) 49)
	(= (time-to-walk p77-146 s146) 49)
	(path s78 p78-57)
	(path p78-57 s78)
	(path s57 p78-57)
	(path p78-57 s57)
	(= (time-to-walk s78 p78-57) 82)
	(= (time-to-walk p78-57 s78) 82)
	(= (time-to-walk s57 p78-57) 100)
	(= (time-to-walk p78-57 s57) 100)
	(path s78 p78-63)
	(path p78-63 s78)
	(path s63 p78-63)
	(path p78-63 s63)
	(= (time-to-walk s78 p78-63) 65)
	(= (time-to-walk p78-63 s78) 65)
	(= (time-to-walk s63 p78-63) 100)
	(= (time-to-walk p78-63 s63) 100)
	(path s78 p78-76)
	(path p78-76 s78)
	(path s76 p78-76)
	(path p78-76 s76)
	(= (time-to-walk s78 p78-76) 42)
	(= (time-to-walk p78-76 s78) 42)
	(= (time-to-walk s76 p78-76) 65)
	(= (time-to-walk p78-76 s76) 65)
	(path s78 p78-130)
	(path p78-130 s78)
	(path s130 p78-130)
	(path p78-130 s130)
	(= (time-to-walk s78 p78-130) 72)
	(= (time-to-walk p78-130 s78) 72)
	(= (time-to-walk s130 p78-130) 60)
	(= (time-to-walk p78-130 s130) 60)
	(path s78 p78-135)
	(path p78-135 s78)
	(path s135 p78-135)
	(path p78-135 s135)
	(= (time-to-walk s78 p78-135) 84)
	(= (time-to-walk p78-135 s78) 84)
	(= (time-to-walk s135 p78-135) 1)
	(= (time-to-walk p78-135 s135) 1)
	(path s78 p78-139)
	(path p78-139 s78)
	(path s139 p78-139)
	(path p78-139 s139)
	(= (time-to-walk s78 p78-139) 95)
	(= (time-to-walk p78-139 s78) 95)
	(= (time-to-walk s139 p78-139) 70)
	(= (time-to-walk p78-139 s139) 70)
	(path s78 p78-149)
	(path p78-149 s78)
	(path s149 p78-149)
	(path p78-149 s149)
	(= (time-to-walk s78 p78-149) 37)
	(= (time-to-walk p78-149 s78) 37)
	(= (time-to-walk s149 p78-149) 89)
	(= (time-to-walk p78-149 s149) 89)
	(path s79 p79-13)
	(path p79-13 s79)
	(path s13 p79-13)
	(path p79-13 s13)
	(= (time-to-walk s79 p79-13) 25)
	(= (time-to-walk p79-13 s79) 25)
	(= (time-to-walk s13 p79-13) 79)
	(= (time-to-walk p79-13 s13) 79)
	(path s79 p79-141)
	(path p79-141 s79)
	(path s141 p79-141)
	(path p79-141 s141)
	(= (time-to-walk s79 p79-141) 54)
	(= (time-to-walk p79-141 s79) 54)
	(= (time-to-walk s141 p79-141) 20)
	(= (time-to-walk p79-141 s141) 20)
	(path s80 p80-25)
	(path p80-25 s80)
	(path s25 p80-25)
	(path p80-25 s25)
	(= (time-to-walk s80 p80-25) 3)
	(= (time-to-walk p80-25 s80) 3)
	(= (time-to-walk s25 p80-25) 46)
	(= (time-to-walk p80-25 s25) 46)
	(path s80 p80-26)
	(path p80-26 s80)
	(path s26 p80-26)
	(path p80-26 s26)
	(= (time-to-walk s80 p80-26) 44)
	(= (time-to-walk p80-26 s80) 44)
	(= (time-to-walk s26 p80-26) 44)
	(= (time-to-walk p80-26 s26) 44)
	(path s80 p80-39)
	(path p80-39 s80)
	(path s39 p80-39)
	(path p80-39 s39)
	(= (time-to-walk s80 p80-39) 62)
	(= (time-to-walk p80-39 s80) 62)
	(= (time-to-walk s39 p80-39) 45)
	(= (time-to-walk p80-39 s39) 45)
	(path s80 p80-112)
	(path p80-112 s80)
	(path s112 p80-112)
	(path p80-112 s112)
	(= (time-to-walk s80 p80-112) 42)
	(= (time-to-walk p80-112 s80) 42)
	(= (time-to-walk s112 p80-112) 88)
	(= (time-to-walk p80-112 s112) 88)
	(path s80 p80-136)
	(path p80-136 s80)
	(path s136 p80-136)
	(path p80-136 s136)
	(= (time-to-walk s80 p80-136) 77)
	(= (time-to-walk p80-136 s80) 77)
	(= (time-to-walk s136 p80-136) 27)
	(= (time-to-walk p80-136 s136) 27)
	(path s81 p81-46)
	(path p81-46 s81)
	(path s46 p81-46)
	(path p81-46 s46)
	(= (time-to-walk s81 p81-46) 47)
	(= (time-to-walk p81-46 s81) 47)
	(= (time-to-walk s46 p81-46) 77)
	(= (time-to-walk p81-46 s46) 77)
	(path s81 p81-59)
	(path p81-59 s81)
	(path s59 p81-59)
	(path p81-59 s59)
	(= (time-to-walk s81 p81-59) 75)
	(= (time-to-walk p81-59 s81) 75)
	(= (time-to-walk s59 p81-59) 28)
	(= (time-to-walk p81-59 s59) 28)
	(path s82 p82-85)
	(path p82-85 s82)
	(path s85 p82-85)
	(path p82-85 s85)
	(= (time-to-walk s82 p82-85) 77)
	(= (time-to-walk p82-85 s82) 77)
	(= (time-to-walk s85 p82-85) 39)
	(= (time-to-walk p82-85 s85) 39)
	(path s82 p82-109)
	(path p82-109 s82)
	(path s109 p82-109)
	(path p82-109 s109)
	(= (time-to-walk s82 p82-109) 28)
	(= (time-to-walk p82-109 s82) 28)
	(= (time-to-walk s109 p82-109) 19)
	(= (time-to-walk p82-109 s109) 19)
	(path s83 p83-61)
	(path p83-61 s83)
	(path s61 p83-61)
	(path p83-61 s61)
	(= (time-to-walk s83 p83-61) 4)
	(= (time-to-walk p83-61 s83) 4)
	(= (time-to-walk s61 p83-61) 100)
	(= (time-to-walk p83-61 s61) 100)
	(path s83 p83-112)
	(path p83-112 s83)
	(path s112 p83-112)
	(path p83-112 s112)
	(= (time-to-walk s83 p83-112) 79)
	(= (time-to-walk p83-112 s83) 79)
	(= (time-to-walk s112 p83-112) 88)
	(= (time-to-walk p83-112 s112) 88)
	(path s84 p84-137)
	(path p84-137 s84)
	(path s137 p84-137)
	(path p84-137 s137)
	(= (time-to-walk s84 p84-137) 100)
	(= (time-to-walk p84-137 s84) 100)
	(= (time-to-walk s137 p84-137) 73)
	(= (time-to-walk p84-137 s137) 73)
	(path s85 p85-87)
	(path p85-87 s85)
	(path s87 p85-87)
	(path p85-87 s87)
	(= (time-to-walk s85 p85-87) 57)
	(= (time-to-walk p85-87 s85) 57)
	(= (time-to-walk s87 p85-87) 37)
	(= (time-to-walk p85-87 s87) 37)
	(path s86 p86-4)
	(path p86-4 s86)
	(path s4 p86-4)
	(path p86-4 s4)
	(= (time-to-walk s86 p86-4) 62)
	(= (time-to-walk p86-4 s86) 62)
	(= (time-to-walk s4 p86-4) 81)
	(= (time-to-walk p86-4 s4) 81)
	(path s86 p86-140)
	(path p86-140 s86)
	(path s140 p86-140)
	(path p86-140 s140)
	(= (time-to-walk s86 p86-140) 15)
	(= (time-to-walk p86-140 s86) 15)
	(= (time-to-walk s140 p86-140) 16)
	(= (time-to-walk p86-140 s140) 16)
	(path s87 p87-113)
	(path p87-113 s87)
	(path s113 p87-113)
	(path p87-113 s113)
	(= (time-to-walk s87 p87-113) 1)
	(= (time-to-walk p87-113 s87) 1)
	(= (time-to-walk s113 p87-113) 18)
	(= (time-to-walk p87-113 s113) 18)
	(path s89 p89-5)
	(path p89-5 s89)
	(path s5 p89-5)
	(path p89-5 s5)
	(= (time-to-walk s89 p89-5) 62)
	(= (time-to-walk p89-5 s89) 62)
	(= (time-to-walk s5 p89-5) 45)
	(= (time-to-walk p89-5 s5) 45)
	(path s90 p90-31)
	(path p90-31 s90)
	(path s31 p90-31)
	(path p90-31 s31)
	(= (time-to-walk s90 p90-31) 62)
	(= (time-to-walk p90-31 s90) 62)
	(= (time-to-walk s31 p90-31) 24)
	(= (time-to-walk p90-31 s31) 24)
	(path s90 p90-42)
	(path p90-42 s90)
	(path s42 p90-42)
	(path p90-42 s42)
	(= (time-to-walk s90 p90-42) 89)
	(= (time-to-walk p90-42 s90) 89)
	(= (time-to-walk s42 p90-42) 3)
	(= (time-to-walk p90-42 s42) 3)
	(path s90 p90-54)
	(path p90-54 s90)
	(path s54 p90-54)
	(path p90-54 s54)
	(= (time-to-walk s90 p90-54) 12)
	(= (time-to-walk p90-54 s90) 12)
	(= (time-to-walk s54 p90-54) 66)
	(= (time-to-walk p90-54 s54) 66)
	(path s90 p90-126)
	(path p90-126 s90)
	(path s126 p90-126)
	(path p90-126 s126)
	(= (time-to-walk s90 p90-126) 29)
	(= (time-to-walk p90-126 s90) 29)
	(= (time-to-walk s126 p90-126) 58)
	(= (time-to-walk p90-126 s126) 58)
	(path s92 p92-33)
	(path p92-33 s92)
	(path s33 p92-33)
	(path p92-33 s33)
	(= (time-to-walk s92 p92-33) 43)
	(= (time-to-walk p92-33 s92) 43)
	(= (time-to-walk s33 p92-33) 4)
	(= (time-to-walk p92-33 s33) 4)
	(path s92 p92-73)
	(path p92-73 s92)
	(path s73 p92-73)
	(path p92-73 s73)
	(= (time-to-walk s92 p92-73) 86)
	(= (time-to-walk p92-73 s92) 86)
	(= (time-to-walk s73 p92-73) 20)
	(= (time-to-walk p92-73 s73) 20)
	(path s93 p93-1)
	(path p93-1 s93)
	(path s1 p93-1)
	(path p93-1 s1)
	(= (time-to-walk s93 p93-1) 42)
	(= (time-to-walk p93-1 s93) 42)
	(= (time-to-walk s1 p93-1) 14)
	(= (time-to-walk p93-1 s1) 14)
	(path s93 p93-114)
	(path p93-114 s93)
	(path s114 p93-114)
	(path p93-114 s114)
	(= (time-to-walk s93 p93-114) 38)
	(= (time-to-walk p93-114 s93) 38)
	(= (time-to-walk s114 p93-114) 46)
	(= (time-to-walk p93-114 s114) 46)
	(path s95 p95-16)
	(path p95-16 s95)
	(path s16 p95-16)
	(path p95-16 s16)
	(= (time-to-walk s95 p95-16) 13)
	(= (time-to-walk p95-16 s95) 13)
	(= (time-to-walk s16 p95-16) 16)
	(= (time-to-walk p95-16 s16) 16)
	(path s95 p95-24)
	(path p95-24 s95)
	(path s24 p95-24)
	(path p95-24 s24)
	(= (time-to-walk s95 p95-24) 33)
	(= (time-to-walk p95-24 s95) 33)
	(= (time-to-walk s24 p95-24) 13)
	(= (time-to-walk p95-24 s24) 13)
	(path s95 p95-89)
	(path p95-89 s95)
	(path s89 p95-89)
	(path p95-89 s89)
	(= (time-to-walk s95 p95-89) 89)
	(= (time-to-walk p95-89 s95) 89)
	(= (time-to-walk s89 p95-89) 90)
	(= (time-to-walk p95-89 s89) 90)
	(path s95 p95-145)
	(path p95-145 s95)
	(path s145 p95-145)
	(path p95-145 s145)
	(= (time-to-walk s95 p95-145) 50)
	(= (time-to-walk p95-145 s95) 50)
	(= (time-to-walk s145 p95-145) 50)
	(= (time-to-walk p95-145 s145) 50)
	(path s96 p96-2)
	(path p96-2 s96)
	(path s2 p96-2)
	(path p96-2 s2)
	(= (time-to-walk s96 p96-2) 70)
	(= (time-to-walk p96-2 s96) 70)
	(= (time-to-walk s2 p96-2) 64)
	(= (time-to-walk p96-2 s2) 64)
	(path s97 p97-124)
	(path p97-124 s97)
	(path s124 p97-124)
	(path p97-124 s124)
	(= (time-to-walk s97 p97-124) 66)
	(= (time-to-walk p97-124 s97) 66)
	(= (time-to-walk s124 p97-124) 71)
	(= (time-to-walk p97-124 s124) 71)
	(path s97 p97-135)
	(path p97-135 s97)
	(path s135 p97-135)
	(path p97-135 s135)
	(= (time-to-walk s97 p97-135) 82)
	(= (time-to-walk p97-135 s97) 82)
	(= (time-to-walk s135 p97-135) 27)
	(= (time-to-walk p97-135 s135) 27)
	(path s97 p97-141)
	(path p97-141 s97)
	(path s141 p97-141)
	(path p97-141 s141)
	(= (time-to-walk s97 p97-141) 15)
	(= (time-to-walk p97-141 s97) 15)
	(= (time-to-walk s141 p97-141) 43)
	(= (time-to-walk p97-141 s141) 43)
	(path s98 p98-11)
	(path p98-11 s98)
	(path s11 p98-11)
	(path p98-11 s11)
	(= (time-to-walk s98 p98-11) 51)
	(= (time-to-walk p98-11 s98) 51)
	(= (time-to-walk s11 p98-11) 4)
	(= (time-to-walk p98-11 s11) 4)
	(path s98 p98-13)
	(path p98-13 s98)
	(path s13 p98-13)
	(path p98-13 s13)
	(= (time-to-walk s98 p98-13) 46)
	(= (time-to-walk p98-13 s98) 46)
	(= (time-to-walk s13 p98-13) 62)
	(= (time-to-walk p98-13 s13) 62)
	(path s99 p99-130)
	(path p99-130 s99)
	(path s130 p99-130)
	(path p99-130 s130)
	(= (time-to-walk s99 p99-130) 69)
	(= (time-to-walk p99-130 s99) 69)
	(= (time-to-walk s130 p99-130) 74)
	(= (time-to-walk p99-130 s130) 74)
	(path s100 p100-18)
	(path p100-18 s100)
	(path s18 p100-18)
	(path p100-18 s18)
	(= (time-to-walk s100 p100-18) 19)
	(= (time-to-walk p100-18 s100) 19)
	(= (time-to-walk s18 p100-18) 12)
	(= (time-to-walk p100-18 s18) 12)
	(path s100 p100-91)
	(path p100-91 s100)
	(path s91 p100-91)
	(path p100-91 s91)
	(= (time-to-walk s100 p100-91) 78)
	(= (time-to-walk p100-91 s100) 78)
	(= (time-to-walk s91 p100-91) 5)
	(= (time-to-walk p100-91 s91) 5)
	(path s101 p101-40)
	(path p101-40 s101)
	(path s40 p101-40)
	(path p101-40 s40)
	(= (time-to-walk s101 p101-40) 31)
	(= (time-to-walk p101-40 s101) 31)
	(= (time-to-walk s40 p101-40) 20)
	(= (time-to-walk p101-40 s40) 20)
	(path s101 p101-64)
	(path p101-64 s101)
	(path s64 p101-64)
	(path p101-64 s64)
	(= (time-to-walk s101 p101-64) 18)
	(= (time-to-walk p101-64 s101) 18)
	(= (time-to-walk s64 p101-64) 68)
	(= (time-to-walk p101-64 s64) 68)
	(path s101 p101-66)
	(path p101-66 s101)
	(path s66 p101-66)
	(path p101-66 s66)
	(= (time-to-walk s101 p101-66) 65)
	(= (time-to-walk p101-66 s101) 65)
	(= (time-to-walk s66 p101-66) 31)
	(= (time-to-walk p101-66 s66) 31)
	(path s102 p102-9)
	(path p102-9 s102)
	(path s9 p102-9)
	(path p102-9 s9)
	(= (time-to-walk s102 p102-9) 83)
	(= (time-to-walk p102-9 s102) 83)
	(= (time-to-walk s9 p102-9) 98)
	(= (time-to-walk p102-9 s9) 98)
	(path s102 p102-76)
	(path p102-76 s102)
	(path s76 p102-76)
	(path p102-76 s76)
	(= (time-to-walk s102 p102-76) 43)
	(= (time-to-walk p102-76 s102) 43)
	(= (time-to-walk s76 p102-76) 72)
	(= (time-to-walk p102-76 s76) 72)
	(path s103 p103-13)
	(path p103-13 s103)
	(path s13 p103-13)
	(path p103-13 s13)
	(= (time-to-walk s103 p103-13) 87)
	(= (time-to-walk p103-13 s103) 87)
	(= (time-to-walk s13 p103-13) 92)
	(= (time-to-walk p103-13 s13) 92)
	(path s103 p103-15)
	(path p103-15 s103)
	(path s15 p103-15)
	(path p103-15 s15)
	(= (time-to-walk s103 p103-15) 22)
	(= (time-to-walk p103-15 s103) 22)
	(= (time-to-walk s15 p103-15) 57)
	(= (time-to-walk p103-15 s15) 57)
	(path s104 p104-16)
	(path p104-16 s104)
	(path s16 p104-16)
	(path p104-16 s16)
	(= (time-to-walk s104 p104-16) 56)
	(= (time-to-walk p104-16 s104) 56)
	(= (time-to-walk s16 p104-16) 87)
	(= (time-to-walk p104-16 s16) 87)
	(path s105 p105-1)
	(path p105-1 s105)
	(path s1 p105-1)
	(path p105-1 s1)
	(= (time-to-walk s105 p105-1) 27)
	(= (time-to-walk p105-1 s105) 27)
	(= (time-to-walk s1 p105-1) 37)
	(= (time-to-walk p105-1 s1) 37)
	(path s105 p105-39)
	(path p105-39 s105)
	(path s39 p105-39)
	(path p105-39 s39)
	(= (time-to-walk s105 p105-39) 14)
	(= (time-to-walk p105-39 s105) 14)
	(= (time-to-walk s39 p105-39) 42)
	(= (time-to-walk p105-39 s39) 42)
	(path s107 p107-80)
	(path p107-80 s107)
	(path s80 p107-80)
	(path p107-80 s80)
	(= (time-to-walk s107 p107-80) 80)
	(= (time-to-walk p107-80 s107) 80)
	(= (time-to-walk s80 p107-80) 64)
	(= (time-to-walk p107-80 s80) 64)
	(path s107 p107-98)
	(path p107-98 s107)
	(path s98 p107-98)
	(path p107-98 s98)
	(= (time-to-walk s107 p107-98) 45)
	(= (time-to-walk p107-98 s107) 45)
	(= (time-to-walk s98 p107-98) 25)
	(= (time-to-walk p107-98 s98) 25)
	(path s107 p107-101)
	(path p107-101 s107)
	(path s101 p107-101)
	(path p107-101 s101)
	(= (time-to-walk s107 p107-101) 25)
	(= (time-to-walk p107-101 s107) 25)
	(= (time-to-walk s101 p107-101) 14)
	(= (time-to-walk p107-101 s101) 14)
	(path s108 p108-58)
	(path p108-58 s108)
	(path s58 p108-58)
	(path p108-58 s58)
	(= (time-to-walk s108 p108-58) 99)
	(= (time-to-walk p108-58 s108) 99)
	(= (time-to-walk s58 p108-58) 44)
	(= (time-to-walk p108-58 s58) 44)
	(path s108 p108-90)
	(path p108-90 s108)
	(path s90 p108-90)
	(path p108-90 s90)
	(= (time-to-walk s108 p108-90) 25)
	(= (time-to-walk p108-90 s108) 25)
	(= (time-to-walk s90 p108-90) 76)
	(= (time-to-walk p108-90 s90) 76)
	(path s109 p109-6)
	(path p109-6 s109)
	(path s6 p109-6)
	(path p109-6 s6)
	(= (time-to-walk s109 p109-6) 48)
	(= (time-to-walk p109-6 s109) 48)
	(= (time-to-walk s6 p109-6) 55)
	(= (time-to-walk p109-6 s6) 55)
	(path s109 p109-64)
	(path p109-64 s109)
	(path s64 p109-64)
	(path p109-64 s64)
	(= (time-to-walk s109 p109-64) 96)
	(= (time-to-walk p109-64 s109) 96)
	(= (time-to-walk s64 p109-64) 65)
	(= (time-to-walk p109-64 s64) 65)
	(path s110 p110-66)
	(path p110-66 s110)
	(path s66 p110-66)
	(path p110-66 s66)
	(= (time-to-walk s110 p110-66) 23)
	(= (time-to-walk p110-66 s110) 23)
	(= (time-to-walk s66 p110-66) 60)
	(= (time-to-walk p110-66 s66) 60)
	(path s110 p110-86)
	(path p110-86 s110)
	(path s86 p110-86)
	(path p110-86 s86)
	(= (time-to-walk s110 p110-86) 95)
	(= (time-to-walk p110-86 s110) 95)
	(= (time-to-walk s86 p110-86) 6)
	(= (time-to-walk p110-86 s86) 6)
	(path s110 p110-118)
	(path p110-118 s110)
	(path s118 p110-118)
	(path p110-118 s118)
	(= (time-to-walk s110 p110-118) 57)
	(= (time-to-walk p110-118 s110) 57)
	(= (time-to-walk s118 p110-118) 38)
	(= (time-to-walk p110-118 s118) 38)
	(path s111 p111-49)
	(path p111-49 s111)
	(path s49 p111-49)
	(path p111-49 s49)
	(= (time-to-walk s111 p111-49) 77)
	(= (time-to-walk p111-49 s111) 77)
	(= (time-to-walk s49 p111-49) 44)
	(= (time-to-walk p111-49 s49) 44)
	(path s111 p111-112)
	(path p111-112 s111)
	(path s112 p111-112)
	(path p111-112 s112)
	(= (time-to-walk s111 p111-112) 29)
	(= (time-to-walk p111-112 s111) 29)
	(= (time-to-walk s112 p111-112) 98)
	(= (time-to-walk p111-112 s112) 98)
	(path s111 p111-128)
	(path p111-128 s111)
	(path s128 p111-128)
	(path p111-128 s128)
	(= (time-to-walk s111 p111-128) 100)
	(= (time-to-walk p111-128 s111) 100)
	(= (time-to-walk s128 p111-128) 84)
	(= (time-to-walk p111-128 s128) 84)
	(path s112 p112-43)
	(path p112-43 s112)
	(path s43 p112-43)
	(path p112-43 s43)
	(= (time-to-walk s112 p112-43) 85)
	(= (time-to-walk p112-43 s112) 85)
	(= (time-to-walk s43 p112-43) 27)
	(= (time-to-walk p112-43 s43) 27)
	(path s112 p112-77)
	(path p112-77 s112)
	(path s77 p112-77)
	(path p112-77 s77)
	(= (time-to-walk s112 p112-77) 21)
	(= (time-to-walk p112-77 s112) 21)
	(= (time-to-walk s77 p112-77) 98)
	(= (time-to-walk p112-77 s77) 98)
	(path s112 p112-119)
	(path p112-119 s112)
	(path s119 p112-119)
	(path p112-119 s119)
	(= (time-to-walk s112 p112-119) 68)
	(= (time-to-walk p112-119 s112) 68)
	(= (time-to-walk s119 p112-119) 1)
	(= (time-to-walk p112-119 s119) 1)
	(path s113 p113-125)
	(path p113-125 s113)
	(path s125 p113-125)
	(path p113-125 s125)
	(= (time-to-walk s113 p113-125) 61)
	(= (time-to-walk p113-125 s113) 61)
	(= (time-to-walk s125 p113-125) 13)
	(= (time-to-walk p113-125 s125) 13)
	(path s114 p114-96)
	(path p114-96 s114)
	(path s96 p114-96)
	(path p114-96 s96)
	(= (time-to-walk s114 p114-96) 25)
	(= (time-to-walk p114-96 s114) 25)
	(= (time-to-walk s96 p114-96) 86)
	(= (time-to-walk p114-96 s96) 86)
	(path s114 p114-101)
	(path p114-101 s114)
	(path s101 p114-101)
	(path p114-101 s101)
	(= (time-to-walk s114 p114-101) 26)
	(= (time-to-walk p114-101 s114) 26)
	(= (time-to-walk s101 p114-101) 24)
	(= (time-to-walk p114-101 s101) 24)
	(path s114 p114-120)
	(path p114-120 s114)
	(path s120 p114-120)
	(path p114-120 s120)
	(= (time-to-walk s114 p114-120) 29)
	(= (time-to-walk p114-120 s114) 29)
	(= (time-to-walk s120 p114-120) 50)
	(= (time-to-walk p114-120 s120) 50)
	(path s114 p114-142)
	(path p114-142 s114)
	(path s142 p114-142)
	(path p114-142 s142)
	(= (time-to-walk s114 p114-142) 100)
	(= (time-to-walk p114-142 s114) 100)
	(= (time-to-walk s142 p114-142) 76)
	(= (time-to-walk p114-142 s142) 76)
	(path s115 p115-108)
	(path p115-108 s115)
	(path s108 p115-108)
	(path p115-108 s108)
	(= (time-to-walk s115 p115-108) 5)
	(= (time-to-walk p115-108 s115) 5)
	(= (time-to-walk s108 p115-108) 95)
	(= (time-to-walk p115-108 s108) 95)
	(path s116 p116-9)
	(path p116-9 s116)
	(path s9 p116-9)
	(path p116-9 s9)
	(= (time-to-walk s116 p116-9) 41)
	(= (time-to-walk p116-9 s116) 41)
	(= (time-to-walk s9 p116-9) 27)
	(= (time-to-walk p116-9 s9) 27)
	(path s116 p116-10)
	(path p116-10 s116)
	(path s10 p116-10)
	(path p116-10 s10)
	(= (time-to-walk s116 p116-10) 55)
	(= (time-to-walk p116-10 s116) 55)
	(= (time-to-walk s10 p116-10) 35)
	(= (time-to-walk p116-10 s10) 35)
	(path s116 p116-53)
	(path p116-53 s116)
	(path s53 p116-53)
	(path p116-53 s53)
	(= (time-to-walk s116 p116-53) 32)
	(= (time-to-walk p116-53 s116) 32)
	(= (time-to-walk s53 p116-53) 12)
	(= (time-to-walk p116-53 s53) 12)
	(path s116 p116-92)
	(path p116-92 s116)
	(path s92 p116-92)
	(path p116-92 s92)
	(= (time-to-walk s116 p116-92) 73)
	(= (time-to-walk p116-92 s116) 73)
	(= (time-to-walk s92 p116-92) 8)
	(= (time-to-walk p116-92 s92) 8)
	(path s117 p117-8)
	(path p117-8 s117)
	(path s8 p117-8)
	(path p117-8 s8)
	(= (time-to-walk s117 p117-8) 55)
	(= (time-to-walk p117-8 s117) 55)
	(= (time-to-walk s8 p117-8) 1)
	(= (time-to-walk p117-8 s8) 1)
	(path s117 p117-48)
	(path p117-48 s117)
	(path s48 p117-48)
	(path p117-48 s48)
	(= (time-to-walk s117 p117-48) 6)
	(= (time-to-walk p117-48 s117) 6)
	(= (time-to-walk s48 p117-48) 55)
	(= (time-to-walk p117-48 s48) 55)
	(path s117 p117-52)
	(path p117-52 s117)
	(path s52 p117-52)
	(path p117-52 s52)
	(= (time-to-walk s117 p117-52) 85)
	(= (time-to-walk p117-52 s117) 85)
	(= (time-to-walk s52 p117-52) 90)
	(= (time-to-walk p117-52 s52) 90)
	(path s118 p118-98)
	(path p118-98 s118)
	(path s98 p118-98)
	(path p118-98 s98)
	(= (time-to-walk s118 p118-98) 81)
	(= (time-to-walk p118-98 s118) 81)
	(= (time-to-walk s98 p118-98) 6)
	(= (time-to-walk p118-98 s98) 6)
	(path s119 p119-61)
	(path p119-61 s119)
	(path s61 p119-61)
	(path p119-61 s61)
	(= (time-to-walk s119 p119-61) 87)
	(= (time-to-walk p119-61 s119) 87)
	(= (time-to-walk s61 p119-61) 49)
	(= (time-to-walk p119-61 s61) 49)
	(path s119 p119-102)
	(path p119-102 s119)
	(path s102 p119-102)
	(path p119-102 s102)
	(= (time-to-walk s119 p119-102) 6)
	(= (time-to-walk p119-102 s119) 6)
	(= (time-to-walk s102 p119-102) 48)
	(= (time-to-walk p119-102 s102) 48)
	(path s120 p120-6)
	(path p120-6 s120)
	(path s6 p120-6)
	(path p120-6 s6)
	(= (time-to-walk s120 p120-6) 61)
	(= (time-to-walk p120-6 s120) 61)
	(= (time-to-walk s6 p120-6) 31)
	(= (time-to-walk p120-6 s6) 31)
	(path s121 p121-28)
	(path p121-28 s121)
	(path s28 p121-28)
	(path p121-28 s28)
	(= (time-to-walk s121 p121-28) 34)
	(= (time-to-walk p121-28 s121) 34)
	(= (time-to-walk s28 p121-28) 86)
	(= (time-to-walk p121-28 s28) 86)
	(path s122 p122-41)
	(path p122-41 s122)
	(path s41 p122-41)
	(path p122-41 s41)
	(= (time-to-walk s122 p122-41) 54)
	(= (time-to-walk p122-41 s122) 54)
	(= (time-to-walk s41 p122-41) 62)
	(= (time-to-walk p122-41 s41) 62)
	(path s122 p122-105)
	(path p122-105 s122)
	(path s105 p122-105)
	(path p122-105 s105)
	(= (time-to-walk s122 p122-105) 35)
	(= (time-to-walk p122-105 s122) 35)
	(= (time-to-walk s105 p122-105) 54)
	(= (time-to-walk p122-105 s105) 54)
	(path s122 p122-120)
	(path p122-120 s122)
	(path s120 p122-120)
	(path p122-120 s120)
	(= (time-to-walk s122 p122-120) 38)
	(= (time-to-walk p122-120 s122) 38)
	(= (time-to-walk s120 p122-120) 39)
	(= (time-to-walk p122-120 s120) 39)
	(path s124 p124-38)
	(path p124-38 s124)
	(path s38 p124-38)
	(path p124-38 s38)
	(= (time-to-walk s124 p124-38) 48)
	(= (time-to-walk p124-38 s124) 48)
	(= (time-to-walk s38 p124-38) 78)
	(= (time-to-walk p124-38 s38) 78)
	(path s124 p124-106)
	(path p124-106 s124)
	(path s106 p124-106)
	(path p124-106 s106)
	(= (time-to-walk s124 p124-106) 66)
	(= (time-to-walk p124-106 s124) 66)
	(= (time-to-walk s106 p124-106) 3)
	(= (time-to-walk p124-106 s106) 3)
	(path s124 p124-107)
	(path p124-107 s124)
	(path s107 p124-107)
	(path p124-107 s107)
	(= (time-to-walk s124 p124-107) 13)
	(= (time-to-walk p124-107 s124) 13)
	(= (time-to-walk s107 p124-107) 97)
	(= (time-to-walk p124-107 s107) 97)
	(path s124 p124-130)
	(path p124-130 s124)
	(path s130 p124-130)
	(path p124-130 s130)
	(= (time-to-walk s124 p124-130) 14)
	(= (time-to-walk p124-130 s124) 14)
	(= (time-to-walk s130 p124-130) 85)
	(= (time-to-walk p124-130 s130) 85)
	(path s125 p125-6)
	(path p125-6 s125)
	(path s6 p125-6)
	(path p125-6 s6)
	(= (time-to-walk s125 p125-6) 5)
	(= (time-to-walk p125-6 s125) 5)
	(= (time-to-walk s6 p125-6) 68)
	(= (time-to-walk p125-6 s6) 68)
	(path s125 p125-34)
	(path p125-34 s125)
	(path s34 p125-34)
	(path p125-34 s34)
	(= (time-to-walk s125 p125-34) 86)
	(= (time-to-walk p125-34 s125) 86)
	(= (time-to-walk s34 p125-34) 10)
	(= (time-to-walk p125-34 s34) 10)
	(path s125 p125-129)
	(path p125-129 s125)
	(path s129 p125-129)
	(path p125-129 s129)
	(= (time-to-walk s125 p125-129) 22)
	(= (time-to-walk p125-129 s125) 22)
	(= (time-to-walk s129 p125-129) 70)
	(= (time-to-walk p125-129 s129) 70)
	(path s125 p125-148)
	(path p125-148 s125)
	(path s148 p125-148)
	(path p125-148 s148)
	(= (time-to-walk s125 p125-148) 100)
	(= (time-to-walk p125-148 s125) 100)
	(= (time-to-walk s148 p125-148) 3)
	(= (time-to-walk p125-148 s148) 3)
	(path s127 p127-25)
	(path p127-25 s127)
	(path s25 p127-25)
	(path p127-25 s25)
	(= (time-to-walk s127 p127-25) 75)
	(= (time-to-walk p127-25 s127) 75)
	(= (time-to-walk s25 p127-25) 87)
	(= (time-to-walk p127-25 s25) 87)
	(path s127 p127-84)
	(path p127-84 s127)
	(path s84 p127-84)
	(path p127-84 s84)
	(= (time-to-walk s127 p127-84) 51)
	(= (time-to-walk p127-84 s127) 51)
	(= (time-to-walk s84 p127-84) 81)
	(= (time-to-walk p127-84 s84) 81)
	(path s127 p127-99)
	(path p127-99 s127)
	(path s99 p127-99)
	(path p127-99 s99)
	(= (time-to-walk s127 p127-99) 35)
	(= (time-to-walk p127-99 s127) 35)
	(= (time-to-walk s99 p127-99) 11)
	(= (time-to-walk p127-99 s99) 11)
	(path s128 p128-26)
	(path p128-26 s128)
	(path s26 p128-26)
	(path p128-26 s26)
	(= (time-to-walk s128 p128-26) 11)
	(= (time-to-walk p128-26 s128) 11)
	(= (time-to-walk s26 p128-26) 68)
	(= (time-to-walk p128-26 s26) 68)
	(path s128 p128-60)
	(path p128-60 s128)
	(path s60 p128-60)
	(path p128-60 s60)
	(= (time-to-walk s128 p128-60) 96)
	(= (time-to-walk p128-60 s128) 96)
	(= (time-to-walk s60 p128-60) 64)
	(= (time-to-walk p128-60 s60) 64)
	(path s128 p128-124)
	(path p128-124 s128)
	(path s124 p128-124)
	(path p128-124 s124)
	(= (time-to-walk s128 p128-124) 29)
	(= (time-to-walk p128-124 s128) 29)
	(= (time-to-walk s124 p128-124) 31)
	(= (time-to-walk p128-124 s124) 31)
	(path s129 p129-131)
	(path p129-131 s129)
	(path s131 p129-131)
	(path p129-131 s131)
	(= (time-to-walk s129 p129-131) 18)
	(= (time-to-walk p129-131 s129) 18)
	(= (time-to-walk s131 p129-131) 67)
	(= (time-to-walk p129-131 s131) 67)
	(path s130 p130-41)
	(path p130-41 s130)
	(path s41 p130-41)
	(path p130-41 s41)
	(= (time-to-walk s130 p130-41) 70)
	(= (time-to-walk p130-41 s130) 70)
	(= (time-to-walk s41 p130-41) 66)
	(= (time-to-walk p130-41 s41) 66)
	(path s131 p131-63)
	(path p131-63 s131)
	(path s63 p131-63)
	(path p131-63 s63)
	(= (time-to-walk s131 p131-63) 44)
	(= (time-to-walk p131-63 s131) 44)
	(= (time-to-walk s63 p131-63) 35)
	(= (time-to-walk p131-63 s63) 35)
	(path s131 p131-132)
	(path p131-132 s131)
	(path s132 p131-132)
	(path p131-132 s132)
	(= (time-to-walk s131 p131-132) 68)
	(= (time-to-walk p131-132 s131) 68)
	(= (time-to-walk s132 p131-132) 57)
	(= (time-to-walk p131-132 s132) 57)
	(path s132 p132-14)
	(path p132-14 s132)
	(path s14 p132-14)
	(path p132-14 s14)
	(= (time-to-walk s132 p132-14) 32)
	(= (time-to-walk p132-14 s132) 32)
	(= (time-to-walk s14 p132-14) 81)
	(= (time-to-walk p132-14 s14) 81)
	(path s132 p132-96)
	(path p132-96 s132)
	(path s96 p132-96)
	(path p132-96 s96)
	(= (time-to-walk s132 p132-96) 42)
	(= (time-to-walk p132-96 s132) 42)
	(= (time-to-walk s96 p132-96) 37)
	(= (time-to-walk p132-96 s96) 37)
	(path s132 p132-107)
	(path p132-107 s132)
	(path s107 p132-107)
	(path p132-107 s107)
	(= (time-to-walk s132 p132-107) 49)
	(= (time-to-walk p132-107 s132) 49)
	(= (time-to-walk s107 p132-107) 27)
	(= (time-to-walk p132-107 s107) 27)
	(path s132 p132-138)
	(path p132-138 s132)
	(path s138 p132-138)
	(path p132-138 s138)
	(= (time-to-walk s132 p132-138) 47)
	(= (time-to-walk p132-138 s132) 47)
	(= (time-to-walk s138 p132-138) 71)
	(= (time-to-walk p132-138 s138) 71)
	(path s134 p134-16)
	(path p134-16 s134)
	(path s16 p134-16)
	(path p134-16 s16)
	(= (time-to-walk s134 p134-16) 97)
	(= (time-to-walk p134-16 s134) 97)
	(= (time-to-walk s16 p134-16) 46)
	(= (time-to-walk p134-16 s16) 46)
	(path s134 p134-31)
	(path p134-31 s134)
	(path s31 p134-31)
	(path p134-31 s31)
	(= (time-to-walk s134 p134-31) 73)
	(= (time-to-walk p134-31 s134) 73)
	(= (time-to-walk s31 p134-31) 72)
	(= (time-to-walk p134-31 s31) 72)
	(path s134 p134-140)
	(path p134-140 s134)
	(path s140 p134-140)
	(path p134-140 s140)
	(= (time-to-walk s134 p134-140) 32)
	(= (time-to-walk p134-140 s134) 32)
	(= (time-to-walk s140 p134-140) 23)
	(= (time-to-walk p134-140 s140) 23)
	(path s135 p135-11)
	(path p135-11 s135)
	(path s11 p135-11)
	(path p135-11 s11)
	(= (time-to-walk s135 p135-11) 52)
	(= (time-to-walk p135-11 s135) 52)
	(= (time-to-walk s11 p135-11) 66)
	(= (time-to-walk p135-11 s11) 66)
	(path s135 p135-36)
	(path p135-36 s135)
	(path s36 p135-36)
	(path p135-36 s36)
	(= (time-to-walk s135 p135-36) 34)
	(= (time-to-walk p135-36 s135) 34)
	(= (time-to-walk s36 p135-36) 62)
	(= (time-to-walk p135-36 s36) 62)
	(path s136 p136-16)
	(path p136-16 s136)
	(path s16 p136-16)
	(path p136-16 s16)
	(= (time-to-walk s136 p136-16) 33)
	(= (time-to-walk p136-16 s136) 33)
	(= (time-to-walk s16 p136-16) 30)
	(= (time-to-walk p136-16 s16) 30)
	(path s136 p136-75)
	(path p136-75 s136)
	(path s75 p136-75)
	(path p136-75 s75)
	(= (time-to-walk s136 p136-75) 26)
	(= (time-to-walk p136-75 s136) 26)
	(= (time-to-walk s75 p136-75) 62)
	(= (time-to-walk p136-75 s75) 62)
	(path s136 p136-98)
	(path p136-98 s136)
	(path s98 p136-98)
	(path p136-98 s98)
	(= (time-to-walk s136 p136-98) 60)
	(= (time-to-walk p136-98 s136) 60)
	(= (time-to-walk s98 p136-98) 43)
	(= (time-to-walk p136-98 s98) 43)
	(path s136 p136-102)
	(path p136-102 s136)
	(path s102 p136-102)
	(path p136-102 s102)
	(= (time-to-walk s136 p136-102) 28)
	(= (time-to-walk p136-102 s136) 28)
	(= (time-to-walk s102 p136-102) 30)
	(= (time-to-walk p136-102 s102) 30)
	(path s136 p136-104)
	(path p136-104 s136)
	(path s104 p136-104)
	(path p136-104 s104)
	(= (time-to-walk s136 p136-104) 8)
	(= (time-to-walk p136-104 s136) 8)
	(= (time-to-walk s104 p136-104) 72)
	(= (time-to-walk p136-104 s104) 72)
	(path s136 p136-110)
	(path p136-110 s136)
	(path s110 p136-110)
	(path p136-110 s110)
	(= (time-to-walk s136 p136-110) 65)
	(= (time-to-walk p136-110 s136) 65)
	(= (time-to-walk s110 p136-110) 75)
	(= (time-to-walk p136-110 s110) 75)
	(path s136 p136-148)
	(path p136-148 s136)
	(path s148 p136-148)
	(path p136-148 s148)
	(= (time-to-walk s136 p136-148) 28)
	(= (time-to-walk p136-148 s136) 28)
	(= (time-to-walk s148 p136-148) 97)
	(= (time-to-walk p136-148 s148) 97)
	(path s137 p137-47)
	(path p137-47 s137)
	(path s47 p137-47)
	(path p137-47 s47)
	(= (time-to-walk s137 p137-47) 56)
	(= (time-to-walk p137-47 s137) 56)
	(= (time-to-walk s47 p137-47) 70)
	(= (time-to-walk p137-47 s47) 70)
	(path s137 p137-101)
	(path p137-101 s137)
	(path s101 p137-101)
	(path p137-101 s101)
	(= (time-to-walk s137 p137-101) 33)
	(= (time-to-walk p137-101 s137) 33)
	(= (time-to-walk s101 p137-101) 4)
	(= (time-to-walk p137-101 s101) 4)
	(path s138 p138-68)
	(path p138-68 s138)
	(path s68 p138-68)
	(path p138-68 s68)
	(= (time-to-walk s138 p138-68) 96)
	(= (time-to-walk p138-68 s138) 96)
	(= (time-to-walk s68 p138-68) 79)
	(= (time-to-walk p138-68 s68) 79)
	(path s138 p138-143)
	(path p138-143 s138)
	(path s143 p138-143)
	(path p138-143 s143)
	(= (time-to-walk s138 p138-143) 74)
	(= (time-to-walk p138-143 s138) 74)
	(= (time-to-walk s143 p138-143) 93)
	(= (time-to-walk p138-143 s143) 93)
	(path s139 p139-28)
	(path p139-28 s139)
	(path s28 p139-28)
	(path p139-28 s28)
	(= (time-to-walk s139 p139-28) 24)
	(= (time-to-walk p139-28 s139) 24)
	(= (time-to-walk s28 p139-28) 47)
	(= (time-to-walk p139-28 s28) 47)
	(path s139 p139-88)
	(path p139-88 s139)
	(path s88 p139-88)
	(path p139-88 s88)
	(= (time-to-walk s139 p139-88) 64)
	(= (time-to-walk p139-88 s139) 64)
	(= (time-to-walk s88 p139-88) 56)
	(= (time-to-walk p139-88 s88) 56)
	(path s139 p139-123)
	(path p139-123 s139)
	(path s123 p139-123)
	(path p139-123 s123)
	(= (time-to-walk s139 p139-123) 70)
	(= (time-to-walk p139-123 s139) 70)
	(= (time-to-walk s123 p139-123) 15)
	(= (time-to-walk p139-123 s123) 15)
	(path s141 p141-1)
	(path p141-1 s141)
	(path s1 p141-1)
	(path p141-1 s1)
	(= (time-to-walk s141 p141-1) 22)
	(= (time-to-walk p141-1 s141) 22)
	(= (time-to-walk s1 p141-1) 3)
	(= (time-to-walk p141-1 s1) 3)
	(path s141 p141-53)
	(path p141-53 s141)
	(path s53 p141-53)
	(path p141-53 s53)
	(= (time-to-walk s141 p141-53) 76)
	(= (time-to-walk p141-53 s141) 76)
	(= (time-to-walk s53 p141-53) 54)
	(= (time-to-walk p141-53 s53) 54)
	(path s141 p141-98)
	(path p141-98 s141)
	(path s98 p141-98)
	(path p141-98 s98)
	(= (time-to-walk s141 p141-98) 32)
	(= (time-to-walk p141-98 s141) 32)
	(= (time-to-walk s98 p141-98) 1)
	(= (time-to-walk p141-98 s98) 1)
	(path s142 p142-68)
	(path p142-68 s142)
	(path s68 p142-68)
	(path p142-68 s68)
	(= (time-to-walk s142 p142-68) 16)
	(= (time-to-walk p142-68 s142) 16)
	(= (time-to-walk s68 p142-68) 92)
	(= (time-to-walk p142-68 s68) 92)
	(path s142 p142-120)
	(path p142-120 s142)
	(path s120 p142-120)
	(path p142-120 s120)
	(= (time-to-walk s142 p142-120) 44)
	(= (time-to-walk p142-120 s142) 44)
	(= (time-to-walk s120 p142-120) 43)
	(= (time-to-walk p142-120 s120) 43)
	(path s143 p143-57)
	(path p143-57 s143)
	(path s57 p143-57)
	(path p143-57 s57)
	(= (time-to-walk s143 p143-57) 22)
	(= (time-to-walk p143-57 s143) 22)
	(= (time-to-walk s57 p143-57) 51)
	(= (time-to-walk p143-57 s57) 51)
	(path s143 p143-141)
	(path p143-141 s143)
	(path s141 p143-141)
	(path p143-141 s141)
	(= (time-to-walk s143 p143-141) 15)
	(= (time-to-walk p143-141 s143) 15)
	(= (time-to-walk s141 p143-141) 86)
	(= (time-to-walk p143-141 s141) 86)
	(path s143 p143-142)
	(path p143-142 s143)
	(path s142 p143-142)
	(path p143-142 s142)
	(= (time-to-walk s143 p143-142) 26)
	(= (time-to-walk p143-142 s143) 26)
	(= (time-to-walk s142 p143-142) 42)
	(= (time-to-walk p143-142 s142) 42)
	(path s144 p144-24)
	(path p144-24 s144)
	(path s24 p144-24)
	(path p144-24 s24)
	(= (time-to-walk s144 p144-24) 82)
	(= (time-to-walk p144-24 s144) 82)
	(= (time-to-walk s24 p144-24) 82)
	(= (time-to-walk p144-24 s24) 82)
	(path s144 p144-123)
	(path p144-123 s144)
	(path s123 p144-123)
	(path p144-123 s123)
	(= (time-to-walk s144 p144-123) 12)
	(= (time-to-walk p144-123 s144) 12)
	(= (time-to-walk s123 p144-123) 15)
	(= (time-to-walk p144-123 s123) 15)
	(path s145 p145-34)
	(path p145-34 s145)
	(path s34 p145-34)
	(path p145-34 s34)
	(= (time-to-walk s145 p145-34) 85)
	(= (time-to-walk p145-34 s145) 85)
	(= (time-to-walk s34 p145-34) 7)
	(= (time-to-walk p145-34 s34) 7)
	(path s145 p145-149)
	(path p145-149 s145)
	(path s149 p145-149)
	(path p145-149 s149)
	(= (time-to-walk s145 p145-149) 93)
	(= (time-to-walk p145-149 s145) 93)
	(= (time-to-walk s149 p145-149) 59)
	(= (time-to-walk p145-149 s149) 59)
	(path s146 p146-52)
	(path p146-52 s146)
	(path s52 p146-52)
	(path p146-52 s52)
	(= (time-to-walk s146 p146-52) 99)
	(= (time-to-walk p146-52 s146) 99)
	(= (time-to-walk s52 p146-52) 17)
	(= (time-to-walk p146-52 s52) 17)
	(path s147 p147-7)
	(path p147-7 s147)
	(path s7 p147-7)
	(path p147-7 s7)
	(= (time-to-walk s147 p147-7) 5)
	(= (time-to-walk p147-7 s147) 5)
	(= (time-to-walk s7 p147-7) 63)
	(= (time-to-walk p147-7 s7) 63)
	(path s147 p147-149)
	(path p147-149 s147)
	(path s149 p147-149)
	(path p147-149 s149)
	(= (time-to-walk s147 p147-149) 72)
	(= (time-to-walk p147-149 s147) 72)
	(= (time-to-walk s149 p147-149) 75)
	(= (time-to-walk p147-149 s149) 75)
	(path s148 p148-29)
	(path p148-29 s148)
	(path s29 p148-29)
	(path p148-29 s29)
	(= (time-to-walk s148 p148-29) 77)
	(= (time-to-walk p148-29 s148) 77)
	(= (time-to-walk s29 p148-29) 93)
	(= (time-to-walk p148-29 s29) 93)
	(path s148 p148-39)
	(path p148-39 s148)
	(path s39 p148-39)
	(path p148-39 s39)
	(= (time-to-walk s148 p148-39) 77)
	(= (time-to-walk p148-39 s148) 77)
	(= (time-to-walk s39 p148-39) 53)
	(= (time-to-walk p148-39 s39) 53)
	(path s148 p148-102)
	(path p148-102 s148)
	(path s102 p148-102)
	(path p148-102 s102)
	(= (time-to-walk s148 p148-102) 47)
	(= (time-to-walk p148-102 s148) 47)
	(= (time-to-walk s102 p148-102) 9)
	(= (time-to-walk p148-102 s102) 9)
	(path s149 p149-20)
	(path p149-20 s149)
	(path s20 p149-20)
	(path p149-20 s20)
	(= (time-to-walk s149 p149-20) 54)
	(= (time-to-walk p149-20 s149) 54)
	(= (time-to-walk s20 p149-20) 62)
	(= (time-to-walk p149-20 s20) 62)
	(path s149 p149-43)
	(path p149-43 s149)
	(path s43 p149-43)
	(path p149-43 s43)
	(= (time-to-walk s149 p149-43) 1)
	(= (time-to-walk p149-43 s149) 1)
	(= (time-to-walk s43 p149-43) 97)
	(= (time-to-walk p149-43 s43) 97)
	(link s0 s4)
	(link s4 s0)
	(= (time-to-drive s0 s4) 5)
	(= (time-to-drive s4 s0) 5)
	(link s0 s73)
	(link s73 s0)
	(= (time-to-drive s0 s73) 22)
	(= (time-to-drive s73 s0) 22)
	(link s0 s114)
	(link s114 s0)
	(= (time-to-drive s0 s114) 48)
	(= (time-to-drive s114 s0) 48)
	(link s1 s19)
	(link s19 s1)
	(= (time-to-drive s1 s19) 19)
	(= (time-to-drive s19 s1) 19)
	(link s1 s63)
	(link s63 s1)
	(= (time-to-drive s1 s63) 8)
	(= (time-to-drive s63 s1) 8)
	(link s1 s89)
	(link s89 s1)
	(= (time-to-drive s1 s89) 74)
	(= (time-to-drive s89 s1) 74)
	(link s1 s129)
	(link s129 s1)
	(= (time-to-drive s1 s129) 61)
	(= (time-to-drive s129 s1) 61)
	(link s1 s135)
	(link s135 s1)
	(= (time-to-drive s1 s135) 90)
	(= (time-to-drive s135 s1) 90)
	(link s1 s136)
	(link s136 s1)
	(= (time-to-drive s1 s136) 55)
	(= (time-to-drive s136 s1) 55)
	(link s2 s17)
	(link s17 s2)
	(= (time-to-drive s2 s17) 72)
	(= (time-to-drive s17 s2) 72)
	(link s2 s22)
	(link s22 s2)
	(= (time-to-drive s2 s22) 5)
	(= (time-to-drive s22 s2) 5)
	(link s2 s45)
	(link s45 s2)
	(= (time-to-drive s2 s45) 40)
	(= (time-to-drive s45 s2) 40)
	(link s2 s104)
	(link s104 s2)
	(= (time-to-drive s2 s104) 79)
	(= (time-to-drive s104 s2) 79)
	(link s2 s134)
	(link s134 s2)
	(= (time-to-drive s2 s134) 97)
	(= (time-to-drive s134 s2) 97)
	(link s3 s26)
	(link s26 s3)
	(= (time-to-drive s3 s26) 99)
	(= (time-to-drive s26 s3) 99)
	(link s3 s30)
	(link s30 s3)
	(= (time-to-drive s3 s30) 78)
	(= (time-to-drive s30 s3) 78)
	(link s3 s137)
	(link s137 s3)
	(= (time-to-drive s3 s137) 13)
	(= (time-to-drive s137 s3) 13)
	(link s4 s2)
	(link s2 s4)
	(= (time-to-drive s4 s2) 4)
	(= (time-to-drive s2 s4) 4)
	(link s4 s16)
	(link s16 s4)
	(= (time-to-drive s4 s16) 40)
	(= (time-to-drive s16 s4) 40)
	(link s4 s18)
	(link s18 s4)
	(= (time-to-drive s4 s18) 85)
	(= (time-to-drive s18 s4) 85)
	(link s4 s39)
	(link s39 s4)
	(= (time-to-drive s4 s39) 78)
	(= (time-to-drive s39 s4) 78)
	(link s4 s88)
	(link s88 s4)
	(= (time-to-drive s4 s88) 17)
	(= (time-to-drive s88 s4) 17)
	(link s4 s122)
	(link s122 s4)
	(= (time-to-drive s4 s122) 77)
	(= (time-to-drive s122 s4) 77)
	(link s5 s4)
	(link s4 s5)
	(= (time-to-drive s5 s4) 55)
	(= (time-to-drive s4 s5) 55)
	(link s5 s56)
	(link s56 s5)
	(= (time-to-drive s5 s56) 69)
	(= (time-to-drive s56 s5) 69)
	(link s6 s0)
	(link s0 s6)
	(= (time-to-drive s6 s0) 24)
	(= (time-to-drive s0 s6) 24)
	(link s6 s30)
	(link s30 s6)
	(= (time-to-drive s6 s30) 63)
	(= (time-to-drive s30 s6) 63)
	(link s6 s34)
	(link s34 s6)
	(= (time-to-drive s6 s34) 23)
	(= (time-to-drive s34 s6) 23)
	(link s6 s38)
	(link s38 s6)
	(= (time-to-drive s6 s38) 85)
	(= (time-to-drive s38 s6) 85)
	(link s6 s40)
	(link s40 s6)
	(= (time-to-drive s6 s40) 64)
	(= (time-to-drive s40 s6) 64)
	(link s6 s142)
	(link s142 s6)
	(= (time-to-drive s6 s142) 19)
	(= (time-to-drive s142 s6) 19)
	(link s7 s8)
	(link s8 s7)
	(= (time-to-drive s7 s8) 90)
	(= (time-to-drive s8 s7) 90)
	(link s7 s145)
	(link s145 s7)
	(= (time-to-drive s7 s145) 86)
	(= (time-to-drive s145 s7) 86)
	(link s8 s18)
	(link s18 s8)
	(= (time-to-drive s8 s18) 67)
	(= (time-to-drive s18 s8) 67)
	(link s8 s64)
	(link s64 s8)
	(= (time-to-drive s8 s64) 8)
	(= (time-to-drive s64 s8) 8)
	(link s8 s96)
	(link s96 s8)
	(= (time-to-drive s8 s96) 94)
	(= (time-to-drive s96 s8) 94)
	(link s9 s37)
	(link s37 s9)
	(= (time-to-drive s9 s37) 40)
	(= (time-to-drive s37 s9) 40)
	(link s9 s82)
	(link s82 s9)
	(= (time-to-drive s9 s82) 69)
	(= (time-to-drive s82 s9) 69)
	(link s9 s123)
	(link s123 s9)
	(= (time-to-drive s9 s123) 84)
	(= (time-to-drive s123 s9) 84)
	(link s9 s126)
	(link s126 s9)
	(= (time-to-drive s9 s126) 95)
	(= (time-to-drive s126 s9) 95)
	(link s9 s130)
	(link s130 s9)
	(= (time-to-drive s9 s130) 40)
	(= (time-to-drive s130 s9) 40)
	(link s10 s6)
	(link s6 s10)
	(= (time-to-drive s10 s6) 88)
	(= (time-to-drive s6 s10) 88)
	(link s10 s97)
	(link s97 s10)
	(= (time-to-drive s10 s97) 34)
	(= (time-to-drive s97 s10) 34)
	(link s10 s98)
	(link s98 s10)
	(= (time-to-drive s10 s98) 19)
	(= (time-to-drive s98 s10) 19)
	(link s10 s108)
	(link s108 s10)
	(= (time-to-drive s10 s108) 84)
	(= (time-to-drive s108 s10) 84)
	(link s11 s6)
	(link s6 s11)
	(= (time-to-drive s11 s6) 33)
	(= (time-to-drive s6 s11) 33)
	(link s11 s17)
	(link s17 s11)
	(= (time-to-drive s11 s17) 96)
	(= (time-to-drive s17 s11) 96)
	(link s11 s52)
	(link s52 s11)
	(= (time-to-drive s11 s52) 97)
	(= (time-to-drive s52 s11) 97)
	(link s11 s84)
	(link s84 s11)
	(= (time-to-drive s11 s84) 36)
	(= (time-to-drive s84 s11) 36)
	(link s11 s90)
	(link s90 s11)
	(= (time-to-drive s11 s90) 36)
	(= (time-to-drive s90 s11) 36)
	(link s11 s100)
	(link s100 s11)
	(= (time-to-drive s11 s100) 81)
	(= (time-to-drive s100 s11) 81)
	(link s12 s72)
	(link s72 s12)
	(= (time-to-drive s12 s72) 13)
	(= (time-to-drive s72 s12) 13)
	(link s13 s26)
	(link s26 s13)
	(= (time-to-drive s13 s26) 52)
	(= (time-to-drive s26 s13) 52)
	(link s13 s68)
	(link s68 s13)
	(= (time-to-drive s13 s68) 58)
	(= (time-to-drive s68 s13) 58)
	(link s14 s23)
	(link s23 s14)
	(= (time-to-drive s14 s23) 67)
	(= (time-to-drive s23 s14) 67)
	(link s14 s41)
	(link s41 s14)
	(= (time-to-drive s14 s41) 21)
	(= (time-to-drive s41 s14) 21)
	(link s14 s82)
	(link s82 s14)
	(= (time-to-drive s14 s82) 81)
	(= (time-to-drive s82 s14) 81)
	(link s15 s24)
	(link s24 s15)
	(= (time-to-drive s15 s24) 30)
	(= (time-to-drive s24 s15) 30)
	(link s15 s79)
	(link s79 s15)
	(= (time-to-drive s15 s79) 43)
	(= (time-to-drive s79 s15) 43)
	(link s15 s148)
	(link s148 s15)
	(= (time-to-drive s15 s148) 66)
	(= (time-to-drive s148 s15) 66)
	(link s16 s22)
	(link s22 s16)
	(= (time-to-drive s16 s22) 93)
	(= (time-to-drive s22 s16) 93)
	(link s16 s84)
	(link s84 s16)
	(= (time-to-drive s16 s84) 62)
	(= (time-to-drive s84 s16) 62)
	(link s16 s100)
	(link s100 s16)
	(= (time-to-drive s16 s100) 55)
	(= (time-to-drive s100 s16) 55)
	(link s16 s106)
	(link s106 s16)
	(= (time-to-drive s16 s106) 79)
	(= (time-to-drive s106 s16) 79)
	(link s17 s22)
	(link s22 s17)
	(= (time-to-drive s17 s22) 28)
	(= (time-to-drive s22 s17) 28)
	(link s17 s46)
	(link s46 s17)
	(= (time-to-drive s17 s46) 63)
	(= (time-to-drive s46 s17) 63)
	(link s17 s105)
	(link s105 s17)
	(= (time-to-drive s17 s105) 72)
	(= (time-to-drive s105 s17) 72)
	(link s18 s26)
	(link s26 s18)
	(= (time-to-drive s18 s26) 68)
	(= (time-to-drive s26 s18) 68)
	(link s18 s73)
	(link s73 s18)
	(= (time-to-drive s18 s73) 31)
	(= (time-to-drive s73 s18) 31)
	(link s18 s147)
	(link s147 s18)
	(= (time-to-drive s18 s147) 55)
	(= (time-to-drive s147 s18) 55)
	(link s19 s38)
	(link s38 s19)
	(= (time-to-drive s19 s38) 62)
	(= (time-to-drive s38 s19) 62)
	(link s19 s84)
	(link s84 s19)
	(= (time-to-drive s19 s84) 71)
	(= (time-to-drive s84 s19) 71)
	(link s20 s40)
	(link s40 s20)
	(= (time-to-drive s20 s40) 42)
	(= (time-to-drive s40 s20) 42)
	(link s20 s92)
	(link s92 s20)
	(= (time-to-drive s20 s92) 96)
	(= (time-to-drive s92 s20) 96)
	(link s21 s11)
	(link s11 s21)
	(= (time-to-drive s21 s11) 89)
	(= (time-to-drive s11 s21) 89)
	(link s21 s73)
	(link s73 s21)
	(= (time-to-drive s21 s73) 25)
	(= (time-to-drive s73 s21) 25)
	(link s21 s74)
	(link s74 s21)
	(= (time-to-drive s21 s74) 28)
	(= (time-to-drive s74 s21) 28)
	(link s21 s105)
	(link s105 s21)
	(= (time-to-drive s21 s105) 85)
	(= (time-to-drive s105 s21) 85)
	(link s22 s6)
	(link s6 s22)
	(= (time-to-drive s22 s6) 22)
	(= (time-to-drive s6 s22) 22)
	(link s22 s55)
	(link s55 s22)
	(= (time-to-drive s22 s55) 64)
	(= (time-to-drive s55 s22) 64)
	(link s22 s65)
	(link s65 s22)
	(= (time-to-drive s22 s65) 20)
	(= (time-to-drive s65 s22) 20)
	(link s23 s38)
	(link s38 s23)
	(= (time-to-drive s23 s38) 2)
	(= (time-to-drive s38 s23) 2)
	(link s23 s64)
	(link s64 s23)
	(= (time-to-drive s23 s64) 76)
	(= (time-to-drive s64 s23) 76)
	(link s23 s104)
	(link s104 s23)
	(= (time-to-drive s23 s104) 72)
	(= (time-to-drive s104 s23) 72)
	(link s23 s124)
	(link s124 s23)
	(= (time-to-drive s23 s124) 59)
	(= (time-to-drive s124 s23) 59)
	(link s23 s145)
	(link s145 s23)
	(= (time-to-drive s23 s145) 43)
	(= (time-to-drive s145 s23) 43)
	(link s24 s30)
	(link s30 s24)
	(= (time-to-drive s24 s30) 92)
	(= (time-to-drive s30 s24) 92)
	(link s24 s61)
	(link s61 s24)
	(= (time-to-drive s24 s61) 40)
	(= (time-to-drive s61 s24) 40)
	(link s24 s93)
	(link s93 s24)
	(= (time-to-drive s24 s93) 73)
	(= (time-to-drive s93 s24) 73)
	(link s24 s105)
	(link s105 s24)
	(= (time-to-drive s24 s105) 34)
	(= (time-to-drive s105 s24) 34)
	(link s24 s146)
	(link s146 s24)
	(= (time-to-drive s24 s146) 5)
	(= (time-to-drive s146 s24) 5)
	(link s25 s20)
	(link s20 s25)
	(= (time-to-drive s25 s20) 66)
	(= (time-to-drive s20 s25) 66)
	(link s25 s28)
	(link s28 s25)
	(= (time-to-drive s25 s28) 95)
	(= (time-to-drive s28 s25) 95)
	(link s25 s30)
	(link s30 s25)
	(= (time-to-drive s25 s30) 60)
	(= (time-to-drive s30 s25) 60)
	(link s26 s85)
	(link s85 s26)
	(= (time-to-drive s26 s85) 44)
	(= (time-to-drive s85 s26) 44)
	(link s26 s128)
	(link s128 s26)
	(= (time-to-drive s26 s128) 23)
	(= (time-to-drive s128 s26) 23)
	(link s27 s23)
	(link s23 s27)
	(= (time-to-drive s27 s23) 22)
	(= (time-to-drive s23 s27) 22)
	(link s27 s147)
	(link s147 s27)
	(= (time-to-drive s27 s147) 15)
	(= (time-to-drive s147 s27) 15)
	(link s28 s110)
	(link s110 s28)
	(= (time-to-drive s28 s110) 90)
	(= (time-to-drive s110 s28) 90)
	(link s29 s24)
	(link s24 s29)
	(= (time-to-drive s29 s24) 53)
	(= (time-to-drive s24 s29) 53)
	(link s29 s34)
	(link s34 s29)
	(= (time-to-drive s29 s34) 70)
	(= (time-to-drive s34 s29) 70)
	(link s29 s61)
	(link s61 s29)
	(= (time-to-drive s29 s61) 52)
	(= (time-to-drive s61 s29) 52)
	(link s29 s146)
	(link s146 s29)
	(= (time-to-drive s29 s146) 23)
	(= (time-to-drive s146 s29) 23)
	(link s30 s4)
	(link s4 s30)
	(= (time-to-drive s30 s4) 11)
	(= (time-to-drive s4 s30) 11)
	(link s30 s26)
	(link s26 s30)
	(= (time-to-drive s30 s26) 48)
	(= (time-to-drive s26 s30) 48)
	(link s30 s68)
	(link s68 s30)
	(= (time-to-drive s30 s68) 12)
	(= (time-to-drive s68 s30) 12)
	(link s30 s78)
	(link s78 s30)
	(= (time-to-drive s30 s78) 36)
	(= (time-to-drive s78 s30) 36)
	(link s30 s146)
	(link s146 s30)
	(= (time-to-drive s30 s146) 76)
	(= (time-to-drive s146 s30) 76)
	(link s31 s0)
	(link s0 s31)
	(= (time-to-drive s31 s0) 96)
	(= (time-to-drive s0 s31) 96)
	(link s31 s36)
	(link s36 s31)
	(= (time-to-drive s31 s36) 57)
	(= (time-to-drive s36 s31) 57)
	(link s31 s112)
	(link s112 s31)
	(= (time-to-drive s31 s112) 39)
	(= (time-to-drive s112 s31) 39)
	(link s32 s19)
	(link s19 s32)
	(= (time-to-drive s32 s19) 16)
	(= (time-to-drive s19 s32) 16)
	(link s32 s82)
	(link s82 s32)
	(= (time-to-drive s32 s82) 59)
	(= (time-to-drive s82 s32) 59)
	(link s32 s126)
	(link s126 s32)
	(= (time-to-drive s32 s126) 15)
	(= (time-to-drive s126 s32) 15)
	(link s33 s31)
	(link s31 s33)
	(= (time-to-drive s33 s31) 87)
	(= (time-to-drive s31 s33) 87)
	(link s33 s141)
	(link s141 s33)
	(= (time-to-drive s33 s141) 18)
	(= (time-to-drive s141 s33) 18)
	(link s33 s146)
	(link s146 s33)
	(= (time-to-drive s33 s146) 58)
	(= (time-to-drive s146 s33) 58)
	(link s34 s68)
	(link s68 s34)
	(= (time-to-drive s34 s68) 79)
	(= (time-to-drive s68 s34) 79)
	(link s34 s101)
	(link s101 s34)
	(= (time-to-drive s34 s101) 57)
	(= (time-to-drive s101 s34) 57)
	(link s34 s106)
	(link s106 s34)
	(= (time-to-drive s34 s106) 30)
	(= (time-to-drive s106 s34) 30)
	(link s35 s17)
	(link s17 s35)
	(= (time-to-drive s35 s17) 13)
	(= (time-to-drive s17 s35) 13)
	(link s35 s28)
	(link s28 s35)
	(= (time-to-drive s35 s28) 62)
	(= (time-to-drive s28 s35) 62)
	(link s36 s62)
	(link s62 s36)
	(= (time-to-drive s36 s62) 95)
	(= (time-to-drive s62 s36) 95)
	(link s36 s71)
	(link s71 s36)
	(= (time-to-drive s36 s71) 7)
	(= (time-to-drive s71 s36) 7)
	(link s36 s78)
	(link s78 s36)
	(= (time-to-drive s36 s78) 21)
	(= (time-to-drive s78 s36) 21)
	(link s36 s79)
	(link s79 s36)
	(= (time-to-drive s36 s79) 38)
	(= (time-to-drive s79 s36) 38)
	(link s36 s103)
	(link s103 s36)
	(= (time-to-drive s36 s103) 30)
	(= (time-to-drive s103 s36) 30)
	(link s36 s136)
	(link s136 s36)
	(= (time-to-drive s36 s136) 43)
	(= (time-to-drive s136 s36) 43)
	(link s37 s68)
	(link s68 s37)
	(= (time-to-drive s37 s68) 53)
	(= (time-to-drive s68 s37) 53)
	(link s37 s71)
	(link s71 s37)
	(= (time-to-drive s37 s71) 19)
	(= (time-to-drive s71 s37) 19)
	(link s37 s124)
	(link s124 s37)
	(= (time-to-drive s37 s124) 95)
	(= (time-to-drive s124 s37) 95)
	(link s37 s137)
	(link s137 s37)
	(= (time-to-drive s37 s137) 22)
	(= (time-to-drive s137 s37) 22)
	(link s38 s70)
	(link s70 s38)
	(= (time-to-drive s38 s70) 71)
	(= (time-to-drive s70 s38) 71)
	(link s38 s82)
	(link s82 s38)
	(= (time-to-drive s38 s82) 17)
	(= (time-to-drive s82 s38) 17)
	(link s38 s90)
	(link s90 s38)
	(= (time-to-drive s38 s90) 33)
	(= (time-to-drive s90 s38) 33)
	(link s39 s10)
	(link s10 s39)
	(= (time-to-drive s39 s10) 18)
	(= (time-to-drive s10 s39) 18)
	(link s39 s15)
	(link s15 s39)
	(= (time-to-drive s39 s15) 29)
	(= (time-to-drive s15 s39) 29)
	(link s39 s20)
	(link s20 s39)
	(= (time-to-drive s39 s20) 68)
	(= (time-to-drive s20 s39) 68)
	(link s39 s73)
	(link s73 s39)
	(= (time-to-drive s39 s73) 93)
	(= (time-to-drive s73 s39) 93)
	(link s39 s95)
	(link s95 s39)
	(= (time-to-drive s39 s95) 25)
	(= (time-to-drive s95 s39) 25)
	(link s39 s99)
	(link s99 s39)
	(= (time-to-drive s39 s99) 25)
	(= (time-to-drive s99 s39) 25)
	(link s40 s19)
	(link s19 s40)
	(= (time-to-drive s40 s19) 31)
	(= (time-to-drive s19 s40) 31)
	(link s40 s34)
	(link s34 s40)
	(= (time-to-drive s40 s34) 40)
	(= (time-to-drive s34 s40) 40)
	(link s40 s87)
	(link s87 s40)
	(= (time-to-drive s40 s87) 83)
	(= (time-to-drive s87 s40) 83)
	(link s40 s108)
	(link s108 s40)
	(= (time-to-drive s40 s108) 46)
	(= (time-to-drive s108 s40) 46)
	(link s40 s126)
	(link s126 s40)
	(= (time-to-drive s40 s126) 27)
	(= (time-to-drive s126 s40) 27)
	(link s40 s131)
	(link s131 s40)
	(= (time-to-drive s40 s131) 100)
	(= (time-to-drive s131 s40) 100)
	(link s41 s1)
	(link s1 s41)
	(= (time-to-drive s41 s1) 3)
	(= (time-to-drive s1 s41) 3)
	(link s41 s25)
	(link s25 s41)
	(= (time-to-drive s41 s25) 5)
	(= (time-to-drive s25 s41) 5)
	(link s41 s38)
	(link s38 s41)
	(= (time-to-drive s41 s38) 56)
	(= (time-to-drive s38 s41) 56)
	(link s41 s103)
	(link s103 s41)
	(= (time-to-drive s41 s103) 32)
	(= (time-to-drive s103 s41) 32)
	(link s41 s149)
	(link s149 s41)
	(= (time-to-drive s41 s149) 18)
	(= (time-to-drive s149 s41) 18)
	(link s42 s88)
	(link s88 s42)
	(= (time-to-drive s42 s88) 17)
	(= (time-to-drive s88 s42) 17)
	(link s42 s92)
	(link s92 s42)
	(= (time-to-drive s42 s92) 27)
	(= (time-to-drive s92 s42) 27)
	(link s42 s134)
	(link s134 s42)
	(= (time-to-drive s42 s134) 25)
	(= (time-to-drive s134 s42) 25)
	(link s43 s47)
	(link s47 s43)
	(= (time-to-drive s43 s47) 38)
	(= (time-to-drive s47 s43) 38)
	(link s43 s121)
	(link s121 s43)
	(= (time-to-drive s43 s121) 65)
	(= (time-to-drive s121 s43) 65)
	(link s44 s50)
	(link s50 s44)
	(= (time-to-drive s44 s50) 54)
	(= (time-to-drive s50 s44) 54)
	(link s44 s57)
	(link s57 s44)
	(= (time-to-drive s44 s57) 80)
	(= (time-to-drive s57 s44) 80)
	(link s44 s67)
	(link s67 s44)
	(= (time-to-drive s44 s67) 18)
	(= (time-to-drive s67 s44) 18)
	(link s44 s95)
	(link s95 s44)
	(= (time-to-drive s44 s95) 72)
	(= (time-to-drive s95 s44) 72)
	(link s44 s119)
	(link s119 s44)
	(= (time-to-drive s44 s119) 74)
	(= (time-to-drive s119 s44) 74)
	(link s44 s124)
	(link s124 s44)
	(= (time-to-drive s44 s124) 39)
	(= (time-to-drive s124 s44) 39)
	(link s45 s25)
	(link s25 s45)
	(= (time-to-drive s45 s25) 42)
	(= (time-to-drive s25 s45) 42)
	(link s45 s51)
	(link s51 s45)
	(= (time-to-drive s45 s51) 91)
	(= (time-to-drive s51 s45) 91)
	(link s45 s102)
	(link s102 s45)
	(= (time-to-drive s45 s102) 71)
	(= (time-to-drive s102 s45) 71)
	(link s45 s135)
	(link s135 s45)
	(= (time-to-drive s45 s135) 60)
	(= (time-to-drive s135 s45) 60)
	(link s45 s146)
	(link s146 s45)
	(= (time-to-drive s45 s146) 19)
	(= (time-to-drive s146 s45) 19)
	(link s45 s149)
	(link s149 s45)
	(= (time-to-drive s45 s149) 39)
	(= (time-to-drive s149 s45) 39)
	(link s46 s40)
	(link s40 s46)
	(= (time-to-drive s46 s40) 52)
	(= (time-to-drive s40 s46) 52)
	(link s46 s108)
	(link s108 s46)
	(= (time-to-drive s46 s108) 44)
	(= (time-to-drive s108 s46) 44)
	(link s46 s112)
	(link s112 s46)
	(= (time-to-drive s46 s112) 63)
	(= (time-to-drive s112 s46) 63)
	(link s46 s141)
	(link s141 s46)
	(= (time-to-drive s46 s141) 83)
	(= (time-to-drive s141 s46) 83)
	(link s47 s77)
	(link s77 s47)
	(= (time-to-drive s47 s77) 83)
	(= (time-to-drive s77 s47) 83)
	(link s47 s101)
	(link s101 s47)
	(= (time-to-drive s47 s101) 45)
	(= (time-to-drive s101 s47) 45)
	(link s48 s29)
	(link s29 s48)
	(= (time-to-drive s48 s29) 28)
	(= (time-to-drive s29 s48) 28)
	(link s48 s56)
	(link s56 s48)
	(= (time-to-drive s48 s56) 10)
	(= (time-to-drive s56 s48) 10)
	(link s48 s61)
	(link s61 s48)
	(= (time-to-drive s48 s61) 45)
	(= (time-to-drive s61 s48) 45)
	(link s48 s68)
	(link s68 s48)
	(= (time-to-drive s48 s68) 31)
	(= (time-to-drive s68 s48) 31)
	(link s48 s90)
	(link s90 s48)
	(= (time-to-drive s48 s90) 15)
	(= (time-to-drive s90 s48) 15)
	(link s49 s43)
	(link s43 s49)
	(= (time-to-drive s49 s43) 1)
	(= (time-to-drive s43 s49) 1)
	(link s49 s112)
	(link s112 s49)
	(= (time-to-drive s49 s112) 63)
	(= (time-to-drive s112 s49) 63)
	(link s49 s119)
	(link s119 s49)
	(= (time-to-drive s49 s119) 32)
	(= (time-to-drive s119 s49) 32)
	(link s49 s125)
	(link s125 s49)
	(= (time-to-drive s49 s125) 17)
	(= (time-to-drive s125 s49) 17)
	(link s49 s133)
	(link s133 s49)
	(= (time-to-drive s49 s133) 89)
	(= (time-to-drive s133 s49) 89)
	(link s49 s135)
	(link s135 s49)
	(= (time-to-drive s49 s135) 56)
	(= (time-to-drive s135 s49) 56)
	(link s50 s41)
	(link s41 s50)
	(= (time-to-drive s50 s41) 55)
	(= (time-to-drive s41 s50) 55)
	(link s50 s53)
	(link s53 s50)
	(= (time-to-drive s50 s53) 53)
	(= (time-to-drive s53 s50) 53)
	(link s50 s71)
	(link s71 s50)
	(= (time-to-drive s50 s71) 9)
	(= (time-to-drive s71 s50) 9)
	(link s50 s110)
	(link s110 s50)
	(= (time-to-drive s50 s110) 34)
	(= (time-to-drive s110 s50) 34)
	(link s50 s140)
	(link s140 s50)
	(= (time-to-drive s50 s140) 70)
	(= (time-to-drive s140 s50) 70)
	(link s51 s30)
	(link s30 s51)
	(= (time-to-drive s51 s30) 81)
	(= (time-to-drive s30 s51) 81)
	(link s51 s47)
	(link s47 s51)
	(= (time-to-drive s51 s47) 8)
	(= (time-to-drive s47 s51) 8)
	(link s52 s55)
	(link s55 s52)
	(= (time-to-drive s52 s55) 9)
	(= (time-to-drive s55 s52) 9)
	(link s52 s83)
	(link s83 s52)
	(= (time-to-drive s52 s83) 23)
	(= (time-to-drive s83 s52) 23)
	(link s53 s41)
	(link s41 s53)
	(= (time-to-drive s53 s41) 99)
	(= (time-to-drive s41 s53) 99)
	(link s53 s99)
	(link s99 s53)
	(= (time-to-drive s53 s99) 80)
	(= (time-to-drive s99 s53) 80)
	(link s53 s111)
	(link s111 s53)
	(= (time-to-drive s53 s111) 82)
	(= (time-to-drive s111 s53) 82)
	(link s53 s112)
	(link s112 s53)
	(= (time-to-drive s53 s112) 18)
	(= (time-to-drive s112 s53) 18)
	(link s53 s145)
	(link s145 s53)
	(= (time-to-drive s53 s145) 19)
	(= (time-to-drive s145 s53) 19)
	(link s54 s31)
	(link s31 s54)
	(= (time-to-drive s54 s31) 33)
	(= (time-to-drive s31 s54) 33)
	(link s54 s49)
	(link s49 s54)
	(= (time-to-drive s54 s49) 61)
	(= (time-to-drive s49 s54) 61)
	(link s54 s63)
	(link s63 s54)
	(= (time-to-drive s54 s63) 81)
	(= (time-to-drive s63 s54) 81)
	(link s54 s69)
	(link s69 s54)
	(= (time-to-drive s54 s69) 15)
	(= (time-to-drive s69 s54) 15)
	(link s55 s41)
	(link s41 s55)
	(= (time-to-drive s55 s41) 43)
	(= (time-to-drive s41 s55) 43)
	(link s56 s19)
	(link s19 s56)
	(= (time-to-drive s56 s19) 26)
	(= (time-to-drive s19 s56) 26)
	(link s56 s45)
	(link s45 s56)
	(= (time-to-drive s56 s45) 43)
	(= (time-to-drive s45 s56) 43)
	(link s56 s65)
	(link s65 s56)
	(= (time-to-drive s56 s65) 52)
	(= (time-to-drive s65 s56) 52)
	(link s56 s71)
	(link s71 s56)
	(= (time-to-drive s56 s71) 70)
	(= (time-to-drive s71 s56) 70)
	(link s56 s80)
	(link s80 s56)
	(= (time-to-drive s56 s80) 73)
	(= (time-to-drive s80 s56) 73)
	(link s56 s107)
	(link s107 s56)
	(= (time-to-drive s56 s107) 67)
	(= (time-to-drive s107 s56) 67)
	(link s57 s26)
	(link s26 s57)
	(= (time-to-drive s57 s26) 70)
	(= (time-to-drive s26 s57) 70)
	(link s57 s41)
	(link s41 s57)
	(= (time-to-drive s57 s41) 35)
	(= (time-to-drive s41 s57) 35)
	(link s58 s99)
	(link s99 s58)
	(= (time-to-drive s58 s99) 98)
	(= (time-to-drive s99 s58) 98)
	(link s58 s105)
	(link s105 s58)
	(= (time-to-drive s58 s105) 87)
	(= (time-to-drive s105 s58) 87)
	(link s58 s109)
	(link s109 s58)
	(= (time-to-drive s58 s109) 24)
	(= (time-to-drive s109 s58) 24)
	(link s58 s118)
	(link s118 s58)
	(= (time-to-drive s58 s118) 53)
	(= (time-to-drive s118 s58) 53)
	(link s58 s120)
	(link s120 s58)
	(= (time-to-drive s58 s120) 42)
	(= (time-to-drive s120 s58) 42)
	(link s59 s42)
	(link s42 s59)
	(= (time-to-drive s59 s42) 77)
	(= (time-to-drive s42 s59) 77)
	(link s59 s95)
	(link s95 s59)
	(= (time-to-drive s59 s95) 62)
	(= (time-to-drive s95 s59) 62)
	(link s59 s97)
	(link s97 s59)
	(= (time-to-drive s59 s97) 76)
	(= (time-to-drive s97 s59) 76)
	(link s60 s20)
	(link s20 s60)
	(= (time-to-drive s60 s20) 46)
	(= (time-to-drive s20 s60) 46)
	(link s60 s123)
	(link s123 s60)
	(= (time-to-drive s60 s123) 42)
	(= (time-to-drive s123 s60) 42)
	(link s60 s146)
	(link s146 s60)
	(= (time-to-drive s60 s146) 83)
	(= (time-to-drive s146 s60) 83)
	(link s61 s13)
	(link s13 s61)
	(= (time-to-drive s61 s13) 55)
	(= (time-to-drive s13 s61) 55)
	(link s61 s17)
	(link s17 s61)
	(= (time-to-drive s61 s17) 64)
	(= (time-to-drive s17 s61) 64)
	(link s61 s76)
	(link s76 s61)
	(= (time-to-drive s61 s76) 81)
	(= (time-to-drive s76 s61) 81)
	(link s61 s109)
	(link s109 s61)
	(= (time-to-drive s61 s109) 35)
	(= (time-to-drive s109 s61) 35)
	(link s61 s119)
	(link s119 s61)
	(= (time-to-drive s61 s119) 45)
	(= (time-to-drive s119 s61) 45)
	(link s61 s137)
	(link s137 s61)
	(= (time-to-drive s61 s137) 98)
	(= (time-to-drive s137 s61) 98)
	(link s61 s140)
	(link s140 s61)
	(= (time-to-drive s61 s140) 53)
	(= (time-to-drive s140 s61) 53)
	(link s61 s149)
	(link s149 s61)
	(= (time-to-drive s61 s149) 77)
	(= (time-to-drive s149 s61) 77)
	(link s62 s25)
	(link s25 s62)
	(= (time-to-drive s62 s25) 58)
	(= (time-to-drive s25 s62) 58)
	(link s62 s67)
	(link s67 s62)
	(= (time-to-drive s62 s67) 33)
	(= (time-to-drive s67 s62) 33)
	(link s62 s73)
	(link s73 s62)
	(= (time-to-drive s62 s73) 92)
	(= (time-to-drive s73 s62) 92)
	(link s62 s89)
	(link s89 s62)
	(= (time-to-drive s62 s89) 1)
	(= (time-to-drive s89 s62) 1)
	(link s62 s107)
	(link s107 s62)
	(= (time-to-drive s62 s107) 59)
	(= (time-to-drive s107 s62) 59)
	(link s62 s108)
	(link s108 s62)
	(= (time-to-drive s62 s108) 35)
	(= (time-to-drive s108 s62) 35)
	(link s62 s112)
	(link s112 s62)
	(= (time-to-drive s62 s112) 53)
	(= (time-to-drive s112 s62) 53)
	(link s62 s147)
	(link s147 s62)
	(= (time-to-drive s62 s147) 29)
	(= (time-to-drive s147 s62) 29)
	(link s63 s14)
	(link s14 s63)
	(= (time-to-drive s63 s14) 7)
	(= (time-to-drive s14 s63) 7)
	(link s63 s23)
	(link s23 s63)
	(= (time-to-drive s63 s23) 19)
	(= (time-to-drive s23 s63) 19)
	(link s63 s72)
	(link s72 s63)
	(= (time-to-drive s63 s72) 99)
	(= (time-to-drive s72 s63) 99)
	(link s63 s79)
	(link s79 s63)
	(= (time-to-drive s63 s79) 42)
	(= (time-to-drive s79 s63) 42)
	(link s63 s88)
	(link s88 s63)
	(= (time-to-drive s63 s88) 17)
	(= (time-to-drive s88 s63) 17)
	(link s64 s112)
	(link s112 s64)
	(= (time-to-drive s64 s112) 86)
	(= (time-to-drive s112 s64) 86)
	(link s64 s124)
	(link s124 s64)
	(= (time-to-drive s64 s124) 65)
	(= (time-to-drive s124 s64) 65)
	(link s65 s33)
	(link s33 s65)
	(= (time-to-drive s65 s33) 69)
	(= (time-to-drive s33 s65) 69)
	(link s65 s75)
	(link s75 s65)
	(= (time-to-drive s65 s75) 27)
	(= (time-to-drive s75 s65) 27)
	(link s65 s81)
	(link s81 s65)
	(= (time-to-drive s65 s81) 41)
	(= (time-to-drive s81 s65) 41)
	(link s66 s0)
	(link s0 s66)
	(= (time-to-drive s66 s0) 31)
	(= (time-to-drive s0 s66) 31)
	(link s66 s5)
	(link s5 s66)
	(= (time-to-drive s66 s5) 2)
	(= (time-to-drive s5 s66) 2)
	(link s66 s6)
	(link s6 s66)
	(= (time-to-drive s66 s6) 87)
	(= (time-to-drive s6 s66) 87)
	(link s66 s29)
	(link s29 s66)
	(= (time-to-drive s66 s29) 72)
	(= (time-to-drive s29 s66) 72)
	(link s66 s124)
	(link s124 s66)
	(= (time-to-drive s66 s124) 85)
	(= (time-to-drive s124 s66) 85)
	(link s67 s28)
	(link s28 s67)
	(= (time-to-drive s67 s28) 41)
	(= (time-to-drive s28 s67) 41)
	(link s67 s87)
	(link s87 s67)
	(= (time-to-drive s67 s87) 35)
	(= (time-to-drive s87 s67) 35)
	(link s67 s97)
	(link s97 s67)
	(= (time-to-drive s67 s97) 65)
	(= (time-to-drive s97 s67) 65)
	(link s68 s6)
	(link s6 s68)
	(= (time-to-drive s68 s6) 76)
	(= (time-to-drive s6 s68) 76)
	(link s68 s102)
	(link s102 s68)
	(= (time-to-drive s68 s102) 80)
	(= (time-to-drive s102 s68) 80)
	(link s69 s113)
	(link s113 s69)
	(= (time-to-drive s69 s113) 63)
	(= (time-to-drive s113 s69) 63)
	(link s69 s147)
	(link s147 s69)
	(= (time-to-drive s69 s147) 28)
	(= (time-to-drive s147 s69) 28)
	(link s70 s12)
	(link s12 s70)
	(= (time-to-drive s70 s12) 57)
	(= (time-to-drive s12 s70) 57)
	(link s70 s14)
	(link s14 s70)
	(= (time-to-drive s70 s14) 21)
	(= (time-to-drive s14 s70) 21)
	(link s70 s27)
	(link s27 s70)
	(= (time-to-drive s70 s27) 61)
	(= (time-to-drive s27 s70) 61)
	(link s70 s41)
	(link s41 s70)
	(= (time-to-drive s70 s41) 48)
	(= (time-to-drive s41 s70) 48)
	(link s70 s90)
	(link s90 s70)
	(= (time-to-drive s70 s90) 21)
	(= (time-to-drive s90 s70) 21)
	(link s70 s110)
	(link s110 s70)
	(= (time-to-drive s70 s110) 19)
	(= (time-to-drive s110 s70) 19)
	(link s70 s121)
	(link s121 s70)
	(= (time-to-drive s70 s121) 82)
	(= (time-to-drive s121 s70) 82)
	(link s70 s122)
	(link s122 s70)
	(= (time-to-drive s70 s122) 74)
	(= (time-to-drive s122 s70) 74)
	(link s70 s137)
	(link s137 s70)
	(= (time-to-drive s70 s137) 48)
	(= (time-to-drive s137 s70) 48)
	(link s71 s12)
	(link s12 s71)
	(= (time-to-drive s71 s12) 89)
	(= (time-to-drive s12 s71) 89)
	(link s71 s48)
	(link s48 s71)
	(= (time-to-drive s71 s48) 92)
	(= (time-to-drive s48 s71) 92)
	(link s71 s58)
	(link s58 s71)
	(= (time-to-drive s71 s58) 46)
	(= (time-to-drive s58 s71) 46)
	(link s71 s93)
	(link s93 s71)
	(= (time-to-drive s71 s93) 30)
	(= (time-to-drive s93 s71) 30)
	(link s71 s122)
	(link s122 s71)
	(= (time-to-drive s71 s122) 8)
	(= (time-to-drive s122 s71) 8)
	(link s71 s132)
	(link s132 s71)
	(= (time-to-drive s71 s132) 31)
	(= (time-to-drive s132 s71) 31)
	(link s72 s74)
	(link s74 s72)
	(= (time-to-drive s72 s74) 94)
	(= (time-to-drive s74 s72) 94)
	(link s72 s93)
	(link s93 s72)
	(= (time-to-drive s72 s93) 77)
	(= (time-to-drive s93 s72) 77)
	(link s73 s9)
	(link s9 s73)
	(= (time-to-drive s73 s9) 58)
	(= (time-to-drive s9 s73) 58)
	(link s73 s15)
	(link s15 s73)
	(= (time-to-drive s73 s15) 34)
	(= (time-to-drive s15 s73) 34)
	(link s73 s68)
	(link s68 s73)
	(= (time-to-drive s73 s68) 7)
	(= (time-to-drive s68 s73) 7)
	(link s74 s10)
	(link s10 s74)
	(= (time-to-drive s74 s10) 60)
	(= (time-to-drive s10 s74) 60)
	(link s74 s29)
	(link s29 s74)
	(= (time-to-drive s74 s29) 20)
	(= (time-to-drive s29 s74) 20)
	(link s74 s45)
	(link s45 s74)
	(= (time-to-drive s74 s45) 78)
	(= (time-to-drive s45 s74) 78)
	(link s74 s64)
	(link s64 s74)
	(= (time-to-drive s74 s64) 44)
	(= (time-to-drive s64 s74) 44)
	(link s75 s24)
	(link s24 s75)
	(= (time-to-drive s75 s24) 61)
	(= (time-to-drive s24 s75) 61)
	(link s75 s45)
	(link s45 s75)
	(= (time-to-drive s75 s45) 13)
	(= (time-to-drive s45 s75) 13)
	(link s75 s94)
	(link s94 s75)
	(= (time-to-drive s75 s94) 9)
	(= (time-to-drive s94 s75) 9)
	(link s75 s144)
	(link s144 s75)
	(= (time-to-drive s75 s144) 36)
	(= (time-to-drive s144 s75) 36)
	(link s76 s28)
	(link s28 s76)
	(= (time-to-drive s76 s28) 93)
	(= (time-to-drive s28 s76) 93)
	(link s76 s53)
	(link s53 s76)
	(= (time-to-drive s76 s53) 71)
	(= (time-to-drive s53 s76) 71)
	(link s76 s55)
	(link s55 s76)
	(= (time-to-drive s76 s55) 63)
	(= (time-to-drive s55 s76) 63)
	(link s76 s63)
	(link s63 s76)
	(= (time-to-drive s76 s63) 49)
	(= (time-to-drive s63 s76) 49)
	(link s76 s83)
	(link s83 s76)
	(= (time-to-drive s76 s83) 91)
	(= (time-to-drive s83 s76) 91)
	(link s76 s108)
	(link s108 s76)
	(= (time-to-drive s76 s108) 23)
	(= (time-to-drive s108 s76) 23)
	(link s76 s120)
	(link s120 s76)
	(= (time-to-drive s76 s120) 96)
	(= (time-to-drive s120 s76) 96)
	(link s77 s4)
	(link s4 s77)
	(= (time-to-drive s77 s4) 12)
	(= (time-to-drive s4 s77) 12)
	(link s77 s34)
	(link s34 s77)
	(= (time-to-drive s77 s34) 42)
	(= (time-to-drive s34 s77) 42)
	(link s77 s110)
	(link s110 s77)
	(= (time-to-drive s77 s110) 78)
	(= (time-to-drive s110 s77) 78)
	(link s77 s136)
	(link s136 s77)
	(= (time-to-drive s77 s136) 85)
	(= (time-to-drive s136 s77) 85)
	(link s78 s56)
	(link s56 s78)
	(= (time-to-drive s78 s56) 89)
	(= (time-to-drive s56 s78) 89)
	(link s78 s95)
	(link s95 s78)
	(= (time-to-drive s78 s95) 67)
	(= (time-to-drive s95 s78) 67)
	(link s78 s112)
	(link s112 s78)
	(= (time-to-drive s78 s112) 77)
	(= (time-to-drive s112 s78) 77)
	(link s79 s20)
	(link s20 s79)
	(= (time-to-drive s79 s20) 35)
	(= (time-to-drive s20 s79) 35)
	(link s79 s86)
	(link s86 s79)
	(= (time-to-drive s79 s86) 96)
	(= (time-to-drive s86 s79) 96)
	(link s80 s30)
	(link s30 s80)
	(= (time-to-drive s80 s30) 85)
	(= (time-to-drive s30 s80) 85)
	(link s80 s32)
	(link s32 s80)
	(= (time-to-drive s80 s32) 65)
	(= (time-to-drive s32 s80) 65)
	(link s80 s52)
	(link s52 s80)
	(= (time-to-drive s80 s52) 89)
	(= (time-to-drive s52 s80) 89)
	(link s80 s100)
	(link s100 s80)
	(= (time-to-drive s80 s100) 61)
	(= (time-to-drive s100 s80) 61)
	(link s80 s121)
	(link s121 s80)
	(= (time-to-drive s80 s121) 23)
	(= (time-to-drive s121 s80) 23)
	(link s80 s125)
	(link s125 s80)
	(= (time-to-drive s80 s125) 23)
	(= (time-to-drive s125 s80) 23)
	(link s80 s140)
	(link s140 s80)
	(= (time-to-drive s80 s140) 68)
	(= (time-to-drive s140 s80) 68)
	(link s81 s6)
	(link s6 s81)
	(= (time-to-drive s81 s6) 82)
	(= (time-to-drive s6 s81) 82)
	(link s81 s61)
	(link s61 s81)
	(= (time-to-drive s81 s61) 42)
	(= (time-to-drive s61 s81) 42)
	(link s81 s119)
	(link s119 s81)
	(= (time-to-drive s81 s119) 46)
	(= (time-to-drive s119 s81) 46)
	(link s82 s48)
	(link s48 s82)
	(= (time-to-drive s82 s48) 26)
	(= (time-to-drive s48 s82) 26)
	(link s82 s77)
	(link s77 s82)
	(= (time-to-drive s82 s77) 2)
	(= (time-to-drive s77 s82) 2)
	(link s82 s91)
	(link s91 s82)
	(= (time-to-drive s82 s91) 59)
	(= (time-to-drive s91 s82) 59)
	(link s83 s14)
	(link s14 s83)
	(= (time-to-drive s83 s14) 34)
	(= (time-to-drive s14 s83) 34)
	(link s83 s18)
	(link s18 s83)
	(= (time-to-drive s83 s18) 38)
	(= (time-to-drive s18 s83) 38)
	(link s83 s26)
	(link s26 s83)
	(= (time-to-drive s83 s26) 51)
	(= (time-to-drive s26 s83) 51)
	(link s83 s49)
	(link s49 s83)
	(= (time-to-drive s83 s49) 5)
	(= (time-to-drive s49 s83) 5)
	(link s83 s82)
	(link s82 s83)
	(= (time-to-drive s83 s82) 100)
	(= (time-to-drive s82 s83) 100)
	(link s83 s85)
	(link s85 s83)
	(= (time-to-drive s83 s85) 99)
	(= (time-to-drive s85 s83) 99)
	(link s83 s108)
	(link s108 s83)
	(= (time-to-drive s83 s108) 96)
	(= (time-to-drive s108 s83) 96)
	(link s84 s13)
	(link s13 s84)
	(= (time-to-drive s84 s13) 23)
	(= (time-to-drive s13 s84) 23)
	(link s84 s35)
	(link s35 s84)
	(= (time-to-drive s84 s35) 95)
	(= (time-to-drive s35 s84) 95)
	(link s84 s38)
	(link s38 s84)
	(= (time-to-drive s84 s38) 7)
	(= (time-to-drive s38 s84) 7)
	(link s84 s74)
	(link s74 s84)
	(= (time-to-drive s84 s74) 64)
	(= (time-to-drive s74 s84) 64)
	(link s84 s116)
	(link s116 s84)
	(= (time-to-drive s84 s116) 73)
	(= (time-to-drive s116 s84) 73)
	(link s85 s3)
	(link s3 s85)
	(= (time-to-drive s85 s3) 92)
	(= (time-to-drive s3 s85) 92)
	(link s85 s13)
	(link s13 s85)
	(= (time-to-drive s85 s13) 53)
	(= (time-to-drive s13 s85) 53)
	(link s85 s58)
	(link s58 s85)
	(= (time-to-drive s85 s58) 39)
	(= (time-to-drive s58 s85) 39)
	(link s85 s93)
	(link s93 s85)
	(= (time-to-drive s85 s93) 68)
	(= (time-to-drive s93 s85) 68)
	(link s85 s125)
	(link s125 s85)
	(= (time-to-drive s85 s125) 87)
	(= (time-to-drive s125 s85) 87)
	(link s85 s134)
	(link s134 s85)
	(= (time-to-drive s85 s134) 34)
	(= (time-to-drive s134 s85) 34)
	(link s86 s40)
	(link s40 s86)
	(= (time-to-drive s86 s40) 53)
	(= (time-to-drive s40 s86) 53)
	(link s86 s149)
	(link s149 s86)
	(= (time-to-drive s86 s149) 52)
	(= (time-to-drive s149 s86) 52)
	(link s87 s43)
	(link s43 s87)
	(= (time-to-drive s87 s43) 23)
	(= (time-to-drive s43 s87) 23)
	(link s87 s110)
	(link s110 s87)
	(= (time-to-drive s87 s110) 13)
	(= (time-to-drive s110 s87) 13)
	(link s88 s74)
	(link s74 s88)
	(= (time-to-drive s88 s74) 75)
	(= (time-to-drive s74 s88) 75)
	(link s88 s87)
	(link s87 s88)
	(= (time-to-drive s88 s87) 45)
	(= (time-to-drive s87 s88) 45)
	(link s89 s9)
	(link s9 s89)
	(= (time-to-drive s89 s9) 81)
	(= (time-to-drive s9 s89) 81)
	(link s89 s119)
	(link s119 s89)
	(= (time-to-drive s89 s119) 56)
	(= (time-to-drive s119 s89) 56)
	(link s90 s44)
	(link s44 s90)
	(= (time-to-drive s90 s44) 86)
	(= (time-to-drive s44 s90) 86)
	(link s90 s53)
	(link s53 s90)
	(= (time-to-drive s90 s53) 26)
	(= (time-to-drive s53 s90) 26)
	(link s90 s58)
	(link s58 s90)
	(= (time-to-drive s90 s58) 81)
	(= (time-to-drive s58 s90) 81)
	(link s90 s113)
	(link s113 s90)
	(= (time-to-drive s90 s113) 88)
	(= (time-to-drive s113 s90) 88)
	(link s91 s10)
	(link s10 s91)
	(= (time-to-drive s91 s10) 84)
	(= (time-to-drive s10 s91) 84)
	(link s91 s29)
	(link s29 s91)
	(= (time-to-drive s91 s29) 15)
	(= (time-to-drive s29 s91) 15)
	(link s91 s144)
	(link s144 s91)
	(= (time-to-drive s91 s144) 25)
	(= (time-to-drive s144 s91) 25)
	(link s92 s2)
	(link s2 s92)
	(= (time-to-drive s92 s2) 34)
	(= (time-to-drive s2 s92) 34)
	(link s92 s10)
	(link s10 s92)
	(= (time-to-drive s92 s10) 19)
	(= (time-to-drive s10 s92) 19)
	(link s92 s33)
	(link s33 s92)
	(= (time-to-drive s92 s33) 25)
	(= (time-to-drive s33 s92) 25)
	(link s92 s38)
	(link s38 s92)
	(= (time-to-drive s92 s38) 33)
	(= (time-to-drive s38 s92) 33)
	(link s93 s102)
	(link s102 s93)
	(= (time-to-drive s93 s102) 14)
	(= (time-to-drive s102 s93) 14)
	(link s93 s131)
	(link s131 s93)
	(= (time-to-drive s93 s131) 47)
	(= (time-to-drive s131 s93) 47)
	(link s93 s146)
	(link s146 s93)
	(= (time-to-drive s93 s146) 27)
	(= (time-to-drive s146 s93) 27)
	(link s94 s7)
	(link s7 s94)
	(= (time-to-drive s94 s7) 21)
	(= (time-to-drive s7 s94) 21)
	(link s94 s87)
	(link s87 s94)
	(= (time-to-drive s94 s87) 11)
	(= (time-to-drive s87 s94) 11)
	(link s94 s109)
	(link s109 s94)
	(= (time-to-drive s94 s109) 99)
	(= (time-to-drive s109 s94) 99)
	(link s94 s118)
	(link s118 s94)
	(= (time-to-drive s94 s118) 12)
	(= (time-to-drive s118 s94) 12)
	(link s95 s70)
	(link s70 s95)
	(= (time-to-drive s95 s70) 64)
	(= (time-to-drive s70 s95) 64)
	(link s95 s144)
	(link s144 s95)
	(= (time-to-drive s95 s144) 37)
	(= (time-to-drive s144 s95) 37)
	(link s96 s11)
	(link s11 s96)
	(= (time-to-drive s96 s11) 80)
	(= (time-to-drive s11 s96) 80)
	(link s96 s124)
	(link s124 s96)
	(= (time-to-drive s96 s124) 50)
	(= (time-to-drive s124 s96) 50)
	(link s96 s138)
	(link s138 s96)
	(= (time-to-drive s96 s138) 70)
	(= (time-to-drive s138 s96) 70)
	(link s98 s51)
	(link s51 s98)
	(= (time-to-drive s98 s51) 32)
	(= (time-to-drive s51 s98) 32)
	(link s98 s55)
	(link s55 s98)
	(= (time-to-drive s98 s55) 2)
	(= (time-to-drive s55 s98) 2)
	(link s98 s136)
	(link s136 s98)
	(= (time-to-drive s98 s136) 93)
	(= (time-to-drive s136 s98) 93)
	(link s99 s67)
	(link s67 s99)
	(= (time-to-drive s99 s67) 45)
	(= (time-to-drive s67 s99) 45)
	(link s99 s102)
	(link s102 s99)
	(= (time-to-drive s99 s102) 76)
	(= (time-to-drive s102 s99) 76)
	(link s100 s19)
	(link s19 s100)
	(= (time-to-drive s100 s19) 37)
	(= (time-to-drive s19 s100) 37)
	(link s100 s39)
	(link s39 s100)
	(= (time-to-drive s100 s39) 25)
	(= (time-to-drive s39 s100) 25)
	(link s100 s43)
	(link s43 s100)
	(= (time-to-drive s100 s43) 32)
	(= (time-to-drive s43 s100) 32)
	(link s100 s66)
	(link s66 s100)
	(= (time-to-drive s100 s66) 23)
	(= (time-to-drive s66 s100) 23)
	(link s100 s135)
	(link s135 s100)
	(= (time-to-drive s100 s135) 50)
	(= (time-to-drive s135 s100) 50)
	(link s101 s50)
	(link s50 s101)
	(= (time-to-drive s101 s50) 13)
	(= (time-to-drive s50 s101) 13)
	(link s101 s66)
	(link s66 s101)
	(= (time-to-drive s101 s66) 10)
	(= (time-to-drive s66 s101) 10)
	(link s101 s70)
	(link s70 s101)
	(= (time-to-drive s101 s70) 34)
	(= (time-to-drive s70 s101) 34)
	(link s101 s112)
	(link s112 s101)
	(= (time-to-drive s101 s112) 27)
	(= (time-to-drive s112 s101) 27)
	(link s102 s0)
	(link s0 s102)
	(= (time-to-drive s102 s0) 35)
	(= (time-to-drive s0 s102) 35)
	(link s102 s43)
	(link s43 s102)
	(= (time-to-drive s102 s43) 68)
	(= (time-to-drive s43 s102) 68)
	(link s102 s57)
	(link s57 s102)
	(= (time-to-drive s102 s57) 45)
	(= (time-to-drive s57 s102) 45)
	(link s102 s118)
	(link s118 s102)
	(= (time-to-drive s102 s118) 60)
	(= (time-to-drive s118 s102) 60)
	(link s103 s13)
	(link s13 s103)
	(= (time-to-drive s103 s13) 100)
	(= (time-to-drive s13 s103) 100)
	(link s103 s62)
	(link s62 s103)
	(= (time-to-drive s103 s62) 59)
	(= (time-to-drive s62 s103) 59)
	(link s103 s76)
	(link s76 s103)
	(= (time-to-drive s103 s76) 7)
	(= (time-to-drive s76 s103) 7)
	(link s104 s20)
	(link s20 s104)
	(= (time-to-drive s104 s20) 26)
	(= (time-to-drive s20 s104) 26)
	(link s104 s33)
	(link s33 s104)
	(= (time-to-drive s104 s33) 79)
	(= (time-to-drive s33 s104) 79)
	(link s104 s78)
	(link s78 s104)
	(= (time-to-drive s104 s78) 17)
	(= (time-to-drive s78 s104) 17)
	(link s104 s98)
	(link s98 s104)
	(= (time-to-drive s104 s98) 24)
	(= (time-to-drive s98 s104) 24)
	(link s104 s103)
	(link s103 s104)
	(= (time-to-drive s104 s103) 91)
	(= (time-to-drive s103 s104) 91)
	(link s104 s121)
	(link s121 s104)
	(= (time-to-drive s104 s121) 81)
	(= (time-to-drive s121 s104) 81)
	(link s105 s67)
	(link s67 s105)
	(= (time-to-drive s105 s67) 61)
	(= (time-to-drive s67 s105) 61)
	(link s105 s69)
	(link s69 s105)
	(= (time-to-drive s105 s69) 70)
	(= (time-to-drive s69 s105) 70)
	(link s105 s114)
	(link s114 s105)
	(= (time-to-drive s105 s114) 30)
	(= (time-to-drive s114 s105) 30)
	(link s105 s122)
	(link s122 s105)
	(= (time-to-drive s105 s122) 31)
	(= (time-to-drive s122 s105) 31)
	(link s105 s123)
	(link s123 s105)
	(= (time-to-drive s105 s123) 2)
	(= (time-to-drive s123 s105) 2)
	(link s105 s125)
	(link s125 s105)
	(= (time-to-drive s105 s125) 32)
	(= (time-to-drive s125 s105) 32)
	(link s106 s44)
	(link s44 s106)
	(= (time-to-drive s106 s44) 23)
	(= (time-to-drive s44 s106) 23)
	(link s106 s87)
	(link s87 s106)
	(= (time-to-drive s106 s87) 46)
	(= (time-to-drive s87 s106) 46)
	(link s106 s89)
	(link s89 s106)
	(= (time-to-drive s106 s89) 8)
	(= (time-to-drive s89 s106) 8)
	(link s106 s143)
	(link s143 s106)
	(= (time-to-drive s106 s143) 59)
	(= (time-to-drive s143 s106) 59)
	(link s107 s25)
	(link s25 s107)
	(= (time-to-drive s107 s25) 71)
	(= (time-to-drive s25 s107) 71)
	(link s107 s36)
	(link s36 s107)
	(= (time-to-drive s107 s36) 39)
	(= (time-to-drive s36 s107) 39)
	(link s107 s58)
	(link s58 s107)
	(= (time-to-drive s107 s58) 81)
	(= (time-to-drive s58 s107) 81)
	(link s107 s60)
	(link s60 s107)
	(= (time-to-drive s107 s60) 20)
	(= (time-to-drive s60 s107) 20)
	(link s107 s64)
	(link s64 s107)
	(= (time-to-drive s107 s64) 51)
	(= (time-to-drive s64 s107) 51)
	(link s107 s98)
	(link s98 s107)
	(= (time-to-drive s107 s98) 91)
	(= (time-to-drive s98 s107) 91)
	(link s107 s113)
	(link s113 s107)
	(= (time-to-drive s107 s113) 54)
	(= (time-to-drive s113 s107) 54)
	(link s108 s20)
	(link s20 s108)
	(= (time-to-drive s108 s20) 78)
	(= (time-to-drive s20 s108) 78)
	(link s108 s47)
	(link s47 s108)
	(= (time-to-drive s108 s47) 26)
	(= (time-to-drive s47 s108) 26)
	(link s108 s51)
	(link s51 s108)
	(= (time-to-drive s108 s51) 21)
	(= (time-to-drive s51 s108) 21)
	(link s108 s126)
	(link s126 s108)
	(= (time-to-drive s108 s126) 23)
	(= (time-to-drive s126 s108) 23)
	(link s109 s11)
	(link s11 s109)
	(= (time-to-drive s109 s11) 85)
	(= (time-to-drive s11 s109) 85)
	(link s109 s64)
	(link s64 s109)
	(= (time-to-drive s109 s64) 20)
	(= (time-to-drive s64 s109) 20)
	(link s109 s114)
	(link s114 s109)
	(= (time-to-drive s109 s114) 81)
	(= (time-to-drive s114 s109) 81)
	(link s109 s120)
	(link s120 s109)
	(= (time-to-drive s109 s120) 91)
	(= (time-to-drive s120 s109) 91)
	(link s110 s16)
	(link s16 s110)
	(= (time-to-drive s110 s16) 45)
	(= (time-to-drive s16 s110) 45)
	(link s110 s23)
	(link s23 s110)
	(= (time-to-drive s110 s23) 59)
	(= (time-to-drive s23 s110) 59)
	(link s110 s26)
	(link s26 s110)
	(= (time-to-drive s110 s26) 8)
	(= (time-to-drive s26 s110) 8)
	(link s110 s54)
	(link s54 s110)
	(= (time-to-drive s110 s54) 69)
	(= (time-to-drive s54 s110) 69)
	(link s110 s61)
	(link s61 s110)
	(= (time-to-drive s110 s61) 50)
	(= (time-to-drive s61 s110) 50)
	(link s110 s78)
	(link s78 s110)
	(= (time-to-drive s110 s78) 88)
	(= (time-to-drive s78 s110) 88)
	(link s110 s92)
	(link s92 s110)
	(= (time-to-drive s110 s92) 30)
	(= (time-to-drive s92 s110) 30)
	(link s110 s97)
	(link s97 s110)
	(= (time-to-drive s110 s97) 19)
	(= (time-to-drive s97 s110) 19)
	(link s111 s0)
	(link s0 s111)
	(= (time-to-drive s111 s0) 18)
	(= (time-to-drive s0 s111) 18)
	(link s111 s18)
	(link s18 s111)
	(= (time-to-drive s111 s18) 60)
	(= (time-to-drive s18 s111) 60)
	(link s111 s33)
	(link s33 s111)
	(= (time-to-drive s111 s33) 21)
	(= (time-to-drive s33 s111) 21)
	(link s111 s49)
	(link s49 s111)
	(= (time-to-drive s111 s49) 49)
	(= (time-to-drive s49 s111) 49)
	(link s111 s93)
	(link s93 s111)
	(= (time-to-drive s111 s93) 83)
	(= (time-to-drive s93 s111) 83)
	(link s111 s122)
	(link s122 s111)
	(= (time-to-drive s111 s122) 67)
	(= (time-to-drive s122 s111) 67)
	(link s111 s148)
	(link s148 s111)
	(= (time-to-drive s111 s148) 57)
	(= (time-to-drive s148 s111) 57)
	(link s112 s50)
	(link s50 s112)
	(= (time-to-drive s112 s50) 42)
	(= (time-to-drive s50 s112) 42)
	(link s112 s103)
	(link s103 s112)
	(= (time-to-drive s112 s103) 37)
	(= (time-to-drive s103 s112) 37)
	(link s112 s126)
	(link s126 s112)
	(= (time-to-drive s112 s126) 95)
	(= (time-to-drive s126 s112) 95)
	(link s114 s32)
	(link s32 s114)
	(= (time-to-drive s114 s32) 23)
	(= (time-to-drive s32 s114) 23)
	(link s114 s67)
	(link s67 s114)
	(= (time-to-drive s114 s67) 56)
	(= (time-to-drive s67 s114) 56)
	(link s114 s69)
	(link s69 s114)
	(= (time-to-drive s114 s69) 46)
	(= (time-to-drive s69 s114) 46)
	(link s114 s134)
	(link s134 s114)
	(= (time-to-drive s114 s134) 13)
	(= (time-to-drive s134 s114) 13)
	(link s115 s2)
	(link s2 s115)
	(= (time-to-drive s115 s2) 10)
	(= (time-to-drive s2 s115) 10)
	(link s115 s34)
	(link s34 s115)
	(= (time-to-drive s115 s34) 23)
	(= (time-to-drive s34 s115) 23)
	(link s115 s47)
	(link s47 s115)
	(= (time-to-drive s115 s47) 39)
	(= (time-to-drive s47 s115) 39)
	(link s115 s103)
	(link s103 s115)
	(= (time-to-drive s115 s103) 30)
	(= (time-to-drive s103 s115) 30)
	(link s115 s137)
	(link s137 s115)
	(= (time-to-drive s115 s137) 45)
	(= (time-to-drive s137 s115) 45)
	(link s115 s149)
	(link s149 s115)
	(= (time-to-drive s115 s149) 23)
	(= (time-to-drive s149 s115) 23)
	(link s116 s9)
	(link s9 s116)
	(= (time-to-drive s116 s9) 49)
	(= (time-to-drive s9 s116) 49)
	(link s116 s18)
	(link s18 s116)
	(= (time-to-drive s116 s18) 25)
	(= (time-to-drive s18 s116) 25)
	(link s116 s91)
	(link s91 s116)
	(= (time-to-drive s116 s91) 14)
	(= (time-to-drive s91 s116) 14)
	(link s116 s137)
	(link s137 s116)
	(= (time-to-drive s116 s137) 94)
	(= (time-to-drive s137 s116) 94)
	(link s117 s41)
	(link s41 s117)
	(= (time-to-drive s117 s41) 84)
	(= (time-to-drive s41 s117) 84)
	(link s117 s90)
	(link s90 s117)
	(= (time-to-drive s117 s90) 21)
	(= (time-to-drive s90 s117) 21)
	(link s117 s105)
	(link s105 s117)
	(= (time-to-drive s117 s105) 63)
	(= (time-to-drive s105 s117) 63)
	(link s117 s109)
	(link s109 s117)
	(= (time-to-drive s117 s109) 33)
	(= (time-to-drive s109 s117) 33)
	(link s118 s31)
	(link s31 s118)
	(= (time-to-drive s118 s31) 9)
	(= (time-to-drive s31 s118) 9)
	(link s118 s42)
	(link s42 s118)
	(= (time-to-drive s118 s42) 93)
	(= (time-to-drive s42 s118) 93)
	(link s118 s89)
	(link s89 s118)
	(= (time-to-drive s118 s89) 52)
	(= (time-to-drive s89 s118) 52)
	(link s118 s97)
	(link s97 s118)
	(= (time-to-drive s118 s97) 26)
	(= (time-to-drive s97 s118) 26)
	(link s118 s106)
	(link s106 s118)
	(= (time-to-drive s118 s106) 53)
	(= (time-to-drive s106 s118) 53)
	(link s119 s40)
	(link s40 s119)
	(= (time-to-drive s119 s40) 73)
	(= (time-to-drive s40 s119) 73)
	(link s119 s91)
	(link s91 s119)
	(= (time-to-drive s119 s91) 75)
	(= (time-to-drive s91 s119) 75)
	(link s120 s56)
	(link s56 s120)
	(= (time-to-drive s120 s56) 35)
	(= (time-to-drive s56 s120) 35)
	(link s120 s89)
	(link s89 s120)
	(= (time-to-drive s120 s89) 39)
	(= (time-to-drive s89 s120) 39)
	(link s120 s141)
	(link s141 s120)
	(= (time-to-drive s120 s141) 31)
	(= (time-to-drive s141 s120) 31)
	(link s120 s142)
	(link s142 s120)
	(= (time-to-drive s120 s142) 77)
	(= (time-to-drive s142 s120) 77)
	(link s121 s36)
	(link s36 s121)
	(= (time-to-drive s121 s36) 75)
	(= (time-to-drive s36 s121) 75)
	(link s121 s41)
	(link s41 s121)
	(= (time-to-drive s121 s41) 25)
	(= (time-to-drive s41 s121) 25)
	(link s121 s90)
	(link s90 s121)
	(= (time-to-drive s121 s90) 99)
	(= (time-to-drive s90 s121) 99)
	(link s121 s145)
	(link s145 s121)
	(= (time-to-drive s121 s145) 31)
	(= (time-to-drive s145 s121) 31)
	(link s121 s146)
	(link s146 s121)
	(= (time-to-drive s121 s146) 71)
	(= (time-to-drive s146 s121) 71)
	(link s122 s17)
	(link s17 s122)
	(= (time-to-drive s122 s17) 12)
	(= (time-to-drive s17 s122) 12)
	(link s122 s30)
	(link s30 s122)
	(= (time-to-drive s122 s30) 40)
	(= (time-to-drive s30 s122) 40)
	(link s122 s115)
	(link s115 s122)
	(= (time-to-drive s122 s115) 93)
	(= (time-to-drive s115 s122) 93)
	(link s123 s24)
	(link s24 s123)
	(= (time-to-drive s123 s24) 50)
	(= (time-to-drive s24 s123) 50)
	(link s123 s59)
	(link s59 s123)
	(= (time-to-drive s123 s59) 69)
	(= (time-to-drive s59 s123) 69)
	(link s123 s70)
	(link s70 s123)
	(= (time-to-drive s123 s70) 38)
	(= (time-to-drive s70 s123) 38)
	(link s123 s82)
	(link s82 s123)
	(= (time-to-drive s123 s82) 73)
	(= (time-to-drive s82 s123) 73)
	(link s123 s140)
	(link s140 s123)
	(= (time-to-drive s123 s140) 18)
	(= (time-to-drive s140 s123) 18)
	(link s124 s36)
	(link s36 s124)
	(= (time-to-drive s124 s36) 63)
	(= (time-to-drive s36 s124) 63)
	(link s124 s113)
	(link s113 s124)
	(= (time-to-drive s124 s113) 86)
	(= (time-to-drive s113 s124) 86)
	(link s125 s21)
	(link s21 s125)
	(= (time-to-drive s125 s21) 12)
	(= (time-to-drive s21 s125) 12)
	(link s125 s87)
	(link s87 s125)
	(= (time-to-drive s125 s87) 47)
	(= (time-to-drive s87 s125) 47)
	(link s125 s107)
	(link s107 s125)
	(= (time-to-drive s125 s107) 7)
	(= (time-to-drive s107 s125) 7)
	(link s126 s21)
	(link s21 s126)
	(= (time-to-drive s126 s21) 75)
	(= (time-to-drive s21 s126) 75)
	(link s126 s25)
	(link s25 s126)
	(= (time-to-drive s126 s25) 80)
	(= (time-to-drive s25 s126) 80)
	(link s126 s39)
	(link s39 s126)
	(= (time-to-drive s126 s39) 15)
	(= (time-to-drive s39 s126) 15)
	(link s126 s62)
	(link s62 s126)
	(= (time-to-drive s126 s62) 67)
	(= (time-to-drive s62 s126) 67)
	(link s126 s77)
	(link s77 s126)
	(= (time-to-drive s126 s77) 32)
	(= (time-to-drive s77 s126) 32)
	(link s127 s45)
	(link s45 s127)
	(= (time-to-drive s127 s45) 40)
	(= (time-to-drive s45 s127) 40)
	(link s127 s112)
	(link s112 s127)
	(= (time-to-drive s127 s112) 20)
	(= (time-to-drive s112 s127) 20)
	(link s127 s131)
	(link s131 s127)
	(= (time-to-drive s127 s131) 4)
	(= (time-to-drive s131 s127) 4)
	(link s128 s3)
	(link s3 s128)
	(= (time-to-drive s128 s3) 15)
	(= (time-to-drive s3 s128) 15)
	(link s128 s56)
	(link s56 s128)
	(= (time-to-drive s128 s56) 55)
	(= (time-to-drive s56 s128) 55)
	(link s128 s111)
	(link s111 s128)
	(= (time-to-drive s128 s111) 42)
	(= (time-to-drive s111 s128) 42)
	(link s128 s114)
	(link s114 s128)
	(= (time-to-drive s128 s114) 45)
	(= (time-to-drive s114 s128) 45)
	(link s129 s23)
	(link s23 s129)
	(= (time-to-drive s129 s23) 31)
	(= (time-to-drive s23 s129) 31)
	(link s129 s45)
	(link s45 s129)
	(= (time-to-drive s129 s45) 16)
	(= (time-to-drive s45 s129) 16)
	(link s129 s53)
	(link s53 s129)
	(= (time-to-drive s129 s53) 70)
	(= (time-to-drive s53 s129) 70)
	(link s129 s140)
	(link s140 s129)
	(= (time-to-drive s129 s140) 29)
	(= (time-to-drive s140 s129) 29)
	(link s129 s142)
	(link s142 s129)
	(= (time-to-drive s129 s142) 46)
	(= (time-to-drive s142 s129) 46)
	(link s130 s108)
	(link s108 s130)
	(= (time-to-drive s130 s108) 40)
	(= (time-to-drive s108 s130) 40)
	(link s130 s116)
	(link s116 s130)
	(= (time-to-drive s130 s116) 41)
	(= (time-to-drive s116 s130) 41)
	(link s130 s125)
	(link s125 s130)
	(= (time-to-drive s130 s125) 86)
	(= (time-to-drive s125 s130) 86)
	(link s131 s44)
	(link s44 s131)
	(= (time-to-drive s131 s44) 33)
	(= (time-to-drive s44 s131) 33)
	(link s131 s70)
	(link s70 s131)
	(= (time-to-drive s131 s70) 90)
	(= (time-to-drive s70 s131) 90)
	(link s131 s111)
	(link s111 s131)
	(= (time-to-drive s131 s111) 55)
	(= (time-to-drive s111 s131) 55)
	(link s131 s122)
	(link s122 s131)
	(= (time-to-drive s131 s122) 71)
	(= (time-to-drive s122 s131) 71)
	(link s132 s66)
	(link s66 s132)
	(= (time-to-drive s132 s66) 63)
	(= (time-to-drive s66 s132) 63)
	(link s132 s74)
	(link s74 s132)
	(= (time-to-drive s132 s74) 72)
	(= (time-to-drive s74 s132) 72)
	(link s132 s147)
	(link s147 s132)
	(= (time-to-drive s132 s147) 33)
	(= (time-to-drive s147 s132) 33)
	(link s133 s58)
	(link s58 s133)
	(= (time-to-drive s133 s58) 49)
	(= (time-to-drive s58 s133) 49)
	(link s133 s85)
	(link s85 s133)
	(= (time-to-drive s133 s85) 84)
	(= (time-to-drive s85 s133) 84)
	(link s133 s106)
	(link s106 s133)
	(= (time-to-drive s133 s106) 80)
	(= (time-to-drive s106 s133) 80)
	(link s133 s112)
	(link s112 s133)
	(= (time-to-drive s133 s112) 55)
	(= (time-to-drive s112 s133) 55)
	(link s134 s10)
	(link s10 s134)
	(= (time-to-drive s134 s10) 59)
	(= (time-to-drive s10 s134) 59)
	(link s134 s13)
	(link s13 s134)
	(= (time-to-drive s134 s13) 59)
	(= (time-to-drive s13 s134) 59)
	(link s134 s33)
	(link s33 s134)
	(= (time-to-drive s134 s33) 70)
	(= (time-to-drive s33 s134) 70)
	(link s134 s36)
	(link s36 s134)
	(= (time-to-drive s134 s36) 25)
	(= (time-to-drive s36 s134) 25)
	(link s134 s89)
	(link s89 s134)
	(= (time-to-drive s134 s89) 90)
	(= (time-to-drive s89 s134) 90)
	(link s134 s98)
	(link s98 s134)
	(= (time-to-drive s134 s98) 9)
	(= (time-to-drive s98 s134) 9)
	(link s134 s116)
	(link s116 s134)
	(= (time-to-drive s134 s116) 45)
	(= (time-to-drive s116 s134) 45)
	(link s134 s117)
	(link s117 s134)
	(= (time-to-drive s134 s117) 93)
	(= (time-to-drive s117 s134) 93)
	(link s135 s10)
	(link s10 s135)
	(= (time-to-drive s135 s10) 24)
	(= (time-to-drive s10 s135) 24)
	(link s135 s15)
	(link s15 s135)
	(= (time-to-drive s135 s15) 99)
	(= (time-to-drive s15 s135) 99)
	(link s135 s50)
	(link s50 s135)
	(= (time-to-drive s135 s50) 35)
	(= (time-to-drive s50 s135) 35)
	(link s135 s66)
	(link s66 s135)
	(= (time-to-drive s135 s66) 68)
	(= (time-to-drive s66 s135) 68)
	(link s135 s75)
	(link s75 s135)
	(= (time-to-drive s135 s75) 29)
	(= (time-to-drive s75 s135) 29)
	(link s135 s119)
	(link s119 s135)
	(= (time-to-drive s135 s119) 51)
	(= (time-to-drive s119 s135) 51)
	(link s136 s26)
	(link s26 s136)
	(= (time-to-drive s136 s26) 38)
	(= (time-to-drive s26 s136) 38)
	(link s136 s61)
	(link s61 s136)
	(= (time-to-drive s136 s61) 58)
	(= (time-to-drive s61 s136) 58)
	(link s136 s73)
	(link s73 s136)
	(= (time-to-drive s136 s73) 97)
	(= (time-to-drive s73 s136) 97)
	(link s136 s120)
	(link s120 s136)
	(= (time-to-drive s136 s120) 77)
	(= (time-to-drive s120 s136) 77)
	(link s137 s30)
	(link s30 s137)
	(= (time-to-drive s137 s30) 98)
	(= (time-to-drive s30 s137) 98)
	(link s137 s54)
	(link s54 s137)
	(= (time-to-drive s137 s54) 82)
	(= (time-to-drive s54 s137) 82)
	(link s137 s57)
	(link s57 s137)
	(= (time-to-drive s137 s57) 10)
	(= (time-to-drive s57 s137) 10)
	(link s138 s80)
	(link s80 s138)
	(= (time-to-drive s138 s80) 88)
	(= (time-to-drive s80 s138) 88)
	(link s138 s83)
	(link s83 s138)
	(= (time-to-drive s138 s83) 36)
	(= (time-to-drive s83 s138) 36)
	(link s138 s106)
	(link s106 s138)
	(= (time-to-drive s138 s106) 80)
	(= (time-to-drive s106 s138) 80)
	(link s138 s123)
	(link s123 s138)
	(= (time-to-drive s138 s123) 51)
	(= (time-to-drive s123 s138) 51)
	(link s138 s139)
	(link s139 s138)
	(= (time-to-drive s138 s139) 8)
	(= (time-to-drive s139 s138) 8)
	(link s139 s5)
	(link s5 s139)
	(= (time-to-drive s139 s5) 13)
	(= (time-to-drive s5 s139) 13)
	(link s139 s27)
	(link s27 s139)
	(= (time-to-drive s139 s27) 99)
	(= (time-to-drive s27 s139) 99)
	(link s139 s43)
	(link s43 s139)
	(= (time-to-drive s139 s43) 92)
	(= (time-to-drive s43 s139) 92)
	(link s139 s76)
	(link s76 s139)
	(= (time-to-drive s139 s76) 92)
	(= (time-to-drive s76 s139) 92)
	(link s139 s85)
	(link s85 s139)
	(= (time-to-drive s139 s85) 54)
	(= (time-to-drive s85 s139) 54)
	(link s139 s147)
	(link s147 s139)
	(= (time-to-drive s139 s147) 50)
	(= (time-to-drive s147 s139) 50)
	(link s140 s120)
	(link s120 s140)
	(= (time-to-drive s140 s120) 50)
	(= (time-to-drive s120 s140) 50)
	(link s141 s22)
	(link s22 s141)
	(= (time-to-drive s141 s22) 23)
	(= (time-to-drive s22 s141) 23)
	(link s141 s41)
	(link s41 s141)
	(= (time-to-drive s141 s41) 75)
	(= (time-to-drive s41 s141) 75)
	(link s141 s62)
	(link s62 s141)
	(= (time-to-drive s141 s62) 40)
	(= (time-to-drive s62 s141) 40)
	(link s141 s124)
	(link s124 s141)
	(= (time-to-drive s141 s124) 32)
	(= (time-to-drive s124 s141) 32)
	(link s141 s130)
	(link s130 s141)
	(= (time-to-drive s141 s130) 19)
	(= (time-to-drive s130 s141) 19)
	(link s141 s132)
	(link s132 s141)
	(= (time-to-drive s141 s132) 33)
	(= (time-to-drive s132 s141) 33)
	(link s142 s9)
	(link s9 s142)
	(= (time-to-drive s142 s9) 55)
	(= (time-to-drive s9 s142) 55)
	(link s142 s83)
	(link s83 s142)
	(= (time-to-drive s142 s83) 17)
	(= (time-to-drive s83 s142) 17)
	(link s142 s109)
	(link s109 s142)
	(= (time-to-drive s142 s109) 67)
	(= (time-to-drive s109 s142) 67)
	(link s142 s124)
	(link s124 s142)
	(= (time-to-drive s142 s124) 22)
	(= (time-to-drive s124 s142) 22)
	(link s142 s147)
	(link s147 s142)
	(= (time-to-drive s142 s147) 46)
	(= (time-to-drive s147 s142) 46)
	(link s143 s1)
	(link s1 s143)
	(= (time-to-drive s143 s1) 17)
	(= (time-to-drive s1 s143) 17)
	(link s143 s51)
	(link s51 s143)
	(= (time-to-drive s143 s51) 59)
	(= (time-to-drive s51 s143) 59)
	(link s143 s102)
	(link s102 s143)
	(= (time-to-drive s143 s102) 4)
	(= (time-to-drive s102 s143) 4)
	(link s143 s115)
	(link s115 s143)
	(= (time-to-drive s143 s115) 13)
	(= (time-to-drive s115 s143) 13)
	(link s144 s23)
	(link s23 s144)
	(= (time-to-drive s144 s23) 36)
	(= (time-to-drive s23 s144) 36)
	(link s144 s108)
	(link s108 s144)
	(= (time-to-drive s144 s108) 1)
	(= (time-to-drive s108 s144) 1)
	(link s144 s127)
	(link s127 s144)
	(= (time-to-drive s144 s127) 95)
	(= (time-to-drive s127 s144) 95)
	(link s144 s141)
	(link s141 s144)
	(= (time-to-drive s144 s141) 45)
	(= (time-to-drive s141 s144) 45)
	(link s145 s52)
	(link s52 s145)
	(= (time-to-drive s145 s52) 89)
	(= (time-to-drive s52 s145) 89)
	(link s145 s81)
	(link s81 s145)
	(= (time-to-drive s145 s81) 30)
	(= (time-to-drive s81 s145) 30)
	(link s145 s98)
	(link s98 s145)
	(= (time-to-drive s145 s98) 25)
	(= (time-to-drive s98 s145) 25)
	(link s145 s100)
	(link s100 s145)
	(= (time-to-drive s145 s100) 39)
	(= (time-to-drive s100 s145) 39)
	(link s145 s105)
	(link s105 s145)
	(= (time-to-drive s145 s105) 38)
	(= (time-to-drive s105 s145) 38)
	(link s145 s108)
	(link s108 s145)
	(= (time-to-drive s145 s108) 37)
	(= (time-to-drive s108 s145) 37)
	(link s145 s128)
	(link s128 s145)
	(= (time-to-drive s145 s128) 37)
	(= (time-to-drive s128 s145) 37)
	(link s146 s23)
	(link s23 s146)
	(= (time-to-drive s146 s23) 30)
	(= (time-to-drive s23 s146) 30)
	(link s146 s41)
	(link s41 s146)
	(= (time-to-drive s146 s41) 29)
	(= (time-to-drive s41 s146) 29)
	(link s146 s75)
	(link s75 s146)
	(= (time-to-drive s146 s75) 90)
	(= (time-to-drive s75 s146) 90)
	(link s147 s9)
	(link s9 s147)
	(= (time-to-drive s147 s9) 79)
	(= (time-to-drive s9 s147) 79)
	(link s147 s41)
	(link s41 s147)
	(= (time-to-drive s147 s41) 79)
	(= (time-to-drive s41 s147) 79)
	(link s147 s44)
	(link s44 s147)
	(= (time-to-drive s147 s44) 13)
	(= (time-to-drive s44 s147) 13)
	(link s147 s81)
	(link s81 s147)
	(= (time-to-drive s147 s81) 53)
	(= (time-to-drive s81 s147) 53)
	(link s147 s122)
	(link s122 s147)
	(= (time-to-drive s147 s122) 18)
	(= (time-to-drive s122 s147) 18)
	(link s148 s17)
	(link s17 s148)
	(= (time-to-drive s148 s17) 44)
	(= (time-to-drive s17 s148) 44)
	(link s148 s44)
	(link s44 s148)
	(= (time-to-drive s148 s44) 72)
	(= (time-to-drive s44 s148) 72)
	(link s148 s57)
	(link s57 s148)
	(= (time-to-drive s148 s57) 50)
	(= (time-to-drive s57 s148) 50)
	(link s148 s63)
	(link s63 s148)
	(= (time-to-drive s148 s63) 98)
	(= (time-to-drive s63 s148) 98)
	(link s148 s76)
	(link s76 s148)
	(= (time-to-drive s148 s76) 89)
	(= (time-to-drive s76 s148) 89)
	(link s149 s16)
	(link s16 s149)
	(= (time-to-drive s149 s16) 17)
	(= (time-to-drive s16 s149) 17)
	(link s149 s91)
	(link s91 s149)
	(= (time-to-drive s149 s91) 19)
	(= (time-to-drive s91 s149) 19)
	(= (fuel-used) 0)
)
	(:goal (and
	(at driver2 s94)
	(at driver4 s92)
	(at driver5 s93)
	(at driver6 s50)
	(at driver7 s34)
	(at driver9 s129)
	(at driver11 s93)
	(at driver12 s20)
	(at driver13 s77)
	(at driver14 s107)
	(at driver15 s102)
	(at driver16 s4)
	(at driver19 s31)
	(at driver20 s3)
	(at truck3 s107)
	(at truck4 s55)
	(at truck7 s107)
	(at truck9 s112)
	(at truck10 s98)
	(at truck11 s106)
	(at truck13 s63)
	(at truck17 s42)
	(at truck19 s28)
	(at truck20 s105)
	(at truck22 s92)
	(at truck23 s116)
	(at truck24 s95)
	(at truck25 s136)
	(at truck26 s44)
	(at truck28 s45)
	(at truck29 s9)
	(at truck30 s44)
	(at truck32 s106)
	(at truck33 s80)
	(at truck36 s45)
	(at truck38 s134)
	(at truck39 s41)
	(at truck40 s80)
	(at truck41 s49)
	(at truck42 s55)
	(at truck44 s131)
	(at truck45 s132)
	(at truck46 s82)
	(at truck47 s141)
	(at truck48 s52)
	(at truck49 s66)
	(at package1 s144)
	(at package2 s110)
	(at package3 s51)
	(at package4 s84)
	(at package5 s4)
	(at package7 s110)
	(at package8 s11)
	(at package9 s147)
	(at package10 s79)
	(at package11 s0)
	(at package12 s64)
	(at package13 s78)
	(at package14 s121)
	(at package15 s81)
	(at package16 s131)
	(at package17 s18)
	(at package18 s138)
	(at package19 s25)
	(at package20 s20)
	(at package21 s54)
	(at package22 s26)
	(at package23 s143)
	(at package24 s65)
	(at package25 s75)
	(at package26 s4)
	(at package27 s84)
	(at package29 s124)
	(at package30 s53)
	(at package31 s6)
	(at package32 s128)
	(at package33 s78)
	(at package34 s58)
	(at package35 s2)
	(at package36 s66)
	(at package37 s47)
	(at package38 s56)
	(at package39 s104)
	(at package40 s40)
	(at package41 s92)
	(at package42 s111)
	(at package43 s12)
	(at package44 s24)
	(at package45 s117)
	(at package46 s74)
	(at package47 s25)
	(at package48 s139)
	(at package49 s106)
	(at package50 s100)
	(at package51 s142)
	(at package52 s136)
	(at package53 s109)
	(at package54 s54)
	(at package55 s37)
	(at package56 s134)
	(at package57 s49)
	(at package58 s16)
	(at package59 s42)
	(at package60 s101)
	(at package61 s96)
	(at package62 s35)
	(at package63 s45)
	(at package64 s55)
	(at package65 s122)
	(at package66 s101)
	(at package67 s56)
	(at package68 s35)
	(at package69 s96)
	(at package70 s42)
	(at package72 s102)
	(at package73 s120)
	(at package74 s130)
	(at package75 s6)
	(at package76 s17)
	(at package77 s87)
	(at package79 s17)
	(at package80 s124)
	(at package81 s62)
	(at package82 s123)
	(at package83 s145)
	(at package84 s87)
	(at package85 s4)
	(at package86 s82)
	(at package87 s9)
	(at package88 s132)
	(at package89 s20)
	(at package91 s67)
	(at package92 s124)
	(at package93 s71)
	(at package94 s102)
	(at package95 s124)
	(at package96 s109)
	(at package97 s8)
	(at package98 s27)
	(at package99 s52)
	(at package100 s30)
	))

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

)
