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

(:metric minimize (total-time))

)
