firestations = 3

build [*] :=
c1  0
c2  1
c3  1
c4  1
c5  0
c6  0
;

reachability [*] :=
c1  0
c2  0
c3  1
c4  0
c5  0
c6  0
;