“…state A=[(6, 0),(7, 0),(8, 0)]; state B=[(6, 1),(7, 1),(8, 1)]; state C=[(6, 2),(7, 2),(8, 2)]; Double traffic lanes con(A, B, C, D, E, F, G, H) state D=[(6, 4), (7,4), (8,4)]; state E=[(6, 5), (7,5), (8,5)]; state F=[(6, 6), (7,6), (8,6)]; state G=[(6, 7), (7,7), (8,7)]; state H=[(6, 8), (7,8), (8,8)];…”