;;; Data Base of Connections and Locations:
;;; ---------------------------------------

(Road AlamedaDeLasPulgas)
(Road Alpine)
(Road ElCamino)
(Road HalfMoonBay)
(Road Highway-1)
(Road Interstate-280)
(Road JuniperoSerra)
(Road LaHonda)
(Road PageMill)
(Road Pescadero)
(Road Portola)
(Road SandHill)
(Road Skyline)
(Road Willow)
(Road Woodside)

(Highway 1 Highway-1)
(Highway 84 LaHonda)
(Highway 92 HalfMoonBay)
(Highway 82 ElCamino)
(Highway 35 SkyLine)
(Highway I-280 Interstate-280)

(Intersection (milepost 0 PageMill) (milepost 0 ElCamino))

(Intersection (milepost 1 PageMill) (milepost 0 JuniperoSerra))
(Intersection (milepost 2 PageMill) (milepost 0 Interstate-280))
(Intersection (milepost 9 PageMill) (milepost 11 Alpine))

(Intersection (milepost 13 Skyline) (milepost 15 LaHonda))
(Intersection (milepost 20 Skyline) (milepost 12 Alpine))

(Intersection (milepost 19 Alpine) (milepost 14 Pescadero))
(Intersection (milepost 20 Alpine) (milepost 8 LaHonda))

(Intersection (milepost 0 Pescadero) (milepost 42 (Highway 1)))

(Intersection (milepost 0 LaHonda) (milepost 47 (Highway 1)))

(Intersection (milepost 0 Alpine) (milepost 3 JuniperoSerra))
(Intersection (milepost 0 Alpine) (milepost 0 AlamedaDeLasPulgas))
(Intersection (milepost 0 Alpine) (milepost 0 SandHill))
(Intersection (milepost 0 Alpine) (milepost 0 Willow))

(Intersection (milepost 1 Alpine) (milepost 2 (Highway I-280)))
(Intersection (milepost 2 SandHill) (milepost 4 (Highway I-280)))

(Intersection (milepost 4 SandHill) (milepost 7 Woodside))
(Intersection (milepost 4 SandHill) (milepost 0 Portola))

(Intersection (milepost 0 Woodside) (milepost 6 ElCamino))
(Intersection (milepost 2 Woodside) (milepost 3 AlamedaDeLasPulgas))
(Intersection (milepost 3 Woodside) (milepost 6 Interstate-280))
(Intersection (milepost 6 Woodside) (milepost 18 LaHonda))

(Intersection (milepost 4 Portola) (milepost 6 Alpine))

(Intersection (milepost 0 (Highway 92)) (milepost 14 Interstate-280))
(Intersection (milepost 2 (Highway 92)) (milepost 0 Skyline))
(Intersection (milepost 7 (Highway 92)) (milepost 57 (Highway 1)))

(Intersection (milepost 2 Willow) (milepost 2 ElCamino))

(Location Joses (milepost 1 ElCamino))
(Location SantaCruz (milepost 0 (Highway 1)))
(Location SanGregorio (milepost 1 LaHonda))
(Location HalfMoonBay (milepost 57 (Highway 1)))
(Location Pescadero (milepost 1 Pescadero))
(Location Duartes (milepost 1 Pescadero))
(Location SkyLonda (milepost 15 (Highway 84)))