T ------W E-/ \-- F0
22 --move car n7 WEST-+ 1
56 --move car s7 EAST-+ 1
0.0 T ------W E-/ \-- F0
1 --move car s1 EAST-+ 2
1 --move car n1 WEST-+ 3
1 --move car s1 EAST-+ 2
0.0 T ------W -E/ \-- F0
2 --swap Signals-+ 4
1 --move car n1 WEST-+ 3
32 --swap Signals-+ 3
33 --move car s7 EAST-+ 3
0.0 T -----W- E-/ \-- F0
3 --move car s1 EAST-+ 5
3 --move car n2 WEST-+ 6
2 --swap Signals-+ 4
27 --move car s1 EAST-+ 4
31 --move car n7 WEST-+ 4
0.0 F0 ------W -E/ \-- T
4 --move car s2 EAST-+ 7
4 --move car n1 WEST-+ 8
3 --move car s1 EAST-+ 5
0.0 T -----W- -E/ \-- F0
5 --move car n2 WEST-+ 9
3 --move car n2 WEST-+ 6
37 --move car s7 EAST-+ 6
0.0 T ----W-- E-/ \-- F0
6 --move car s1 EAST-+ 9
6 --move car n3 WEST-+ 10
4 --move car s2 EAST-+ 7
36 --move car n7 WEST-+ 7
0.0 F0 --E---W --/ \-- T
7 --move car n5 EAST-+ 11
7 --move car n1 WEST-+ 12
4 --move car n1 WEST-+ 8
0.0 F0 -----W- -E/ \-- T
8 --move car s2 EAST-+ 12
5 --move car n2 WEST-+ 9
6 --move car s1 EAST-+ 9
0.0 T ----W-- -E/ \-- F0
9 --move car n3 WEST-+ 13
6 --move car n3 WEST-+ 10
41 --move car s7 EAST-+ 10
0.0 T ---W--- E-/ \-- F0
10 --move car s1 EAST-+ 13
10 --move car n4 WEST-+ 14
7 --move car n5 EAST-+ 11
40 --move car n7 WEST-+ 11
0.0 F0 ---E--W --/ \-- T
11 --move car n4 EAST-+ 15
11 --move car n1 WEST-+ 16
7 --move car n1 WEST-+ 12
8 --move car s2 EAST-+ 12
0.0 F0 --E--W- --/ \-- T
12 --move car n5 EAST-+ 16
9 --move car n3 WEST-+ 13
10 --move car s1 EAST-+ 13
0.0 T ---W--- -E/ \-- F0
13 --move car n4 WEST-+ 17
10 --move car n4 WEST-+ 14
45 --move car s7 EAST-+ 14
0.0 T --W---- E-/ \-- F0
14 --move car s1 EAST-+ 17
14 --move car n5 WEST-+ 18
11 --move car n4 EAST-+ 15
44 --move car n7 WEST-+ 15
0.0 F0 ----E-W --/ \-- T
15 --move car n3 EAST-+ 19
15 --move car n1 WEST-+ 20
11 --move car n1 WEST-+ 16
12 --move car n5 EAST-+ 16
0.0 F0 ---E-W- --/ \-- T
16 --move car n4 EAST-+ 20
13 --move car n4 WEST-+ 17
14 --move car s1 EAST-+ 17
0.0 T --W---- -E/ \-- F0
17 --move car n5 WEST-+ 21
14 --move car n5 WEST-+ 18
49 --move car s7 EAST-+ 18
0.0 T -W----- E-/ \-- F0
18 --move car s1 EAST-+ 21
18 --move car n6 WEST-+ 22
15 --move car n3 EAST-+ 19
48 --move car n7 WEST-+ 19
0.0 F0 ------W --/ \E- T
19 --move car s6 EAST-+ 23
19 --move car n1 WEST-+ 24
15 --move car n1 WEST-+ 20
16 --move car n4 EAST-+ 20
0.0 F0 ----EW- --/ \-- T
20 --move car n3 EAST-+ 24
17 --move car n5 WEST-+ 21
18 --move car s1 EAST-+ 21
0.0 T -W----- -E/ \-- F0
21 --swap Signals-+ 25
18 --move car n6 WEST-+ 22
53 --move car s7 EAST-+ 22
0.0 T W------ E-/ \-- F0
22 --move car s1 EAST-+ 26
22 --move car n7 WEST-+ 1
19 --move car s6 EAST-+ 23
52 --move car n7 WEST-+ 23
0.0 F0 ------W --/ \-E T
23 --move car s7 EAST-+ 27
23 --move car n1 WEST-+ 28
19 --move car n1 WEST-+ 24
20 --move car n3 EAST-+ 24
0.0 F0 -----W- --/ \E- T
24 --swap Signals-+ 29
21 --swap Signals-+ 25
51 --move car s1 EAST-+ 25
0.0 F0 -W----- -E/ \-- T
25 --move car s2 EAST-+ 30
25 --move car n6 WEST-+ 31
22 --move car s1 EAST-+ 26
0.0 T W------ -E/ \-- F0
26 --swap Signals-+ 31
23 --move car s7 EAST-+ 27
55 --move car n7 WEST-+ 27
0.0 F0 ------W E-/ \-- T
27 --move car s1 EAST-+ 4
27 --move car n1 WEST-+ 32
23 --move car n1 WEST-+ 28
0.0 F0 -----W- --/ \-E T
28 --swap Signals-+ 33
24 --swap Signals-+ 29
54 --move car n1 WEST-+ 29
0.0 T -----W- --/ \E- F0
29 --move car s6 EAST-+ 33
29 --move car n2 WEST-+ 34
25 --move car s2 EAST-+ 30
0.0 F0 -WE---- --/ \-- T
30 --move car n5 EAST-+ 35
30 --move car n6 WEST-+ 36
25 --move car n6 WEST-+ 31
26 --swap Signals-+ 31
55 --move car s1 EAST-+ 31
0.0 F0 W------ -E/ \-- T
31 --move car s2 EAST-+ 36
31 --move car n7 WEST-+ 4
27 --move car n1 WEST-+ 32
0.0 F0 -----W- E-/ \-- T
32 --swap Signals-+ 3
28 --swap Signals-+ 33
29 --move car s6 EAST-+ 33
56 --move car n1 WEST-+ 33
0.0 T -----W- --/ \-E F0
33 --move car s7 EAST-+ 3
33 --move car n2 WEST-+ 37
29 --move car n2 WEST-+ 34
0.0 T ----W-- --/ \E- F0
34 --move car s6 EAST-+ 37
34 --move car n3 WEST-+ 38
30 --move car n5 EAST-+ 35
0.0 F0 -W-E--- --/ \-- T
35 --move car n4 EAST-+ 39
35 --move car n6 WEST-+ 40
30 --move car n6 WEST-+ 36
31 --move car s2 EAST-+ 36
0.0 F0 W-E---- --/ \-- T
36 --move car n5 EAST-+ 40
36 --move car n7 WEST-+ 7
33 --move car n2 WEST-+ 37
34 --move car s6 EAST-+ 37
0.0 T ----W-- --/ \-E F0
37 --move car s7 EAST-+ 6
37 --move car n3 WEST-+ 41
34 --move car n3 WEST-+ 38
0.0 T ---W--- --/ \E- F0
38 --move car s6 EAST-+ 41
38 --move car n4 WEST-+ 42
35 --move car n4 EAST-+ 39
0.0 F0 -W--E-- --/ \-- T
39 --move car n3 EAST-+ 43
39 --move car n6 WEST-+ 44
35 --move car n6 WEST-+ 40
36 --move car n5 EAST-+ 40
0.0 F0 W--E--- --/ \-- T
40 --move car n4 EAST-+ 44
40 --move car n7 WEST-+ 11
37 --move car n3 WEST-+ 41
38 --move car s6 EAST-+ 41
0.0 T ---W--- --/ \-E F0
41 --move car s7 EAST-+ 10
41 --move car n4 WEST-+ 45
38 --move car n4 WEST-+ 42
0.0 T --W---- --/ \E- F0
42 --move car s6 EAST-+ 45
42 --move car n5 WEST-+ 46
39 --move car n3 EAST-+ 43
0.0 F0 -W----- --/ \E- T
43 --move car s6 EAST-+ 47
43 --move car n6 WEST-+ 48
39 --move car n6 WEST-+ 44
40 --move car n4 EAST-+ 44
0.0 F0 W---E-- --/ \-- T
44 --move car n3 EAST-+ 48
44 --move car n7 WEST-+ 15
41 --move car n4 WEST-+ 45
42 --move car s6 EAST-+ 45
0.0 T --W---- --/ \-E F0
45 --move car s7 EAST-+ 14
45 --move car n5 WEST-+ 49
42 --move car n5 WEST-+ 46
0.0 T -W----- --/ \E- F0
46 --move car s6 EAST-+ 49
46 --move car n6 WEST-+ 50
43 --move car s6 EAST-+ 47
0.0 F0 -W----- --/ \-E T
47 --move car s7 EAST-+ 51
47 --move car n6 WEST-+ 52
43 --move car n6 WEST-+ 48
44 --move car n3 EAST-+ 48
0.0 F0 W------ --/ \E- T
48 --move car s6 EAST-+ 52
48 --move car n7 WEST-+ 19
45 --move car n5 WEST-+ 49
46 --move car s6 EAST-+ 49
0.0 T -W----- --/ \-E F0
49 --move car s7 EAST-+ 18
49 --move car n6 WEST-+ 53
46 --move car n6 WEST-+ 50
0.0 T W------ --/ \E- F0
50 --move car s6 EAST-+ 53
50 --move car n7 WEST-+ 54
47 --move car s7 EAST-+ 51
0.0 F0 -W----- E-/ \-- T
51 --move car s1 EAST-+ 25
51 --move car n6 WEST-+ 55
47 --move car n6 WEST-+ 52
48 --move car s6 EAST-+ 52
0.0 F0 W------ --/ \-E T
52 --move car s7 EAST-+ 55
52 --move car n7 WEST-+ 23
49 --move car n6 WEST-+ 53
50 --move car s6 EAST-+ 53
0.0 T W------ --/ \-E F0
53 --move car s7 EAST-+ 22
53 --move car n7 WEST-+ 56
50 --move car n7 WEST-+ 54
0.0 T ------W --/ \E- F0
54 --move car s6 EAST-+ 56
54 --move car n1 WEST-+ 29
51 --move car n6 WEST-+ 55
52 --move car s7 EAST-+ 55
0.0 F0 W------ E-/ \-- T
55 --move car s1 EAST-+ 31
55 --move car n7 WEST-+ 27
53 --move car n7 WEST-+ 56
54 --move car s6 EAST-+ 56
0.0 T ------W --/ \-E F0
56 --move car s7 EAST-+ 1
56 --move car n1 WEST-+ 33
Start Model
ReachabilityGraph