O 49
P 24
S 1 airplane
S 1 segment
S 1 airplanetype
S 1 object
S 1 direction
S 1 number
S 3 can-move
S 3 can-pushback
S 3 move-dir
S 3 move-back-dir
S 4 is-blocked
S 2 has-type
S 2 is-start-runway
S 2 =
F 2 at-segment
F 2 facing
F 1 occupied
F 2 blocked
F 2 airborne
F 1 is-moving
F 1 is-pushing
F 2 is-parked
D 2 axiom_0
D 4 axiom_1
SI 361
3 0
0 0
3 1
0 1
3 2
2 2
3 3
4 3
3 4
4 4
3 5
1 5
3 6
1 6
3 7
1 7
3 8
1 8
3 9
1 9
3 10
1 10
3 11
1 11
3 12
1 12
3 13
1 13
3 14
1 14
3 15
1 15
3 16
1 16
3 17
1 17
3 18
1 18
3 19
1 19
3 20
1 20
3 21
1 21
3 22
1 22
3 23
1 23
3 24
1 24
3 25
1 25
3 26
1 26
3 27
1 27
3 28
1 28
3 29
1 29
3 30
1 30
3 31
1 31
3 32
1 32
3 33
1 33
3 34
1 34
3 35
1 35
3 36
1 36
3 37
1 37
3 38
1 38
3 39
1 39
3 40
1 40
3 41
1 41
3 42
1 42
3 43
1 43
3 44
1 44
3 45
1 45
3 46
1 46
3 47
1 47
3 48
1 48
6 35 28 3
6 28 27 3
6 27 30 4
6 30 27 3
6 27 26 3
6 26 25 3
6 25 20 3
6 20 18 3
6 18 17 3
6 17 43 3
6 43 42 3
6 42 41 3
6 41 40 3
6 40 39 3
6 39 16 3
6 16 14 3
6 14 15 3
6 15 8 4
6 8 7 4
6 7 9 4
6 9 12 4
6 12 13 4
6 13 24 3
6 24 23 3
6 23 22 3
6 22 48 3
6 48 47 3
6 47 46 3
6 46 45 3
6 45 44 3
6 44 21 3
6 21 19 3
6 19 20 3
6 20 25 4
6 25 26 4
6 26 28 4
6 28 35 4
6 36 32 3
6 32 31 3
6 31 34 4
6 34 31 3
6 31 30 3
6 26 27 4
6 30 32 4
6 32 36 4
6 37 29 3
6 29 27 3
6 26 29 4
6 29 37 4
6 38 33 3
6 33 31 3
6 30 33 4
6 33 38 4
7 35 28 4
7 28 27 4
7 27 30 3
11 0 2
11 1 2
10 6 2 8 3
10 7 2 8 3
10 15 2 8 4
10 12 2 13 3
10 11 2 13 3
10 24 2 13 4
10 16 2 14 3
10 15 2 14 4
10 8 2 15 3
10 14 2 15 4
10 39 2 16 3
10 14 2 16 4
10 18 2 17 3
10 43 2 17 4
10 19 2 18 3
10 20 2 18 3
10 17 2 18 4
10 21 2 19 3
10 18 2 19 4
10 20 2 19 4
10 25 2 20 3
10 18 2 20 4
10 19 2 20 4
10 44 2 21 3
10 19 2 21 4
10 23 2 22 3
10 48 2 22 4
10 24 2 23 3
10 22 2 23 4
10 13 2 24 3
10 23 2 24 4
10 26 2 25 3
10 20 2 25 4
10 27 2 26 3
10 28 2 26 3
10 29 2 26 3
10 25 2 26 4
10 30 2 27 3
10 26 2 27 4
10 28 2 27 4
10 29 2 27 4
10 35 2 28 3
10 26 2 28 4
10 27 2 28 4
10 29 2 28 4
10 37 2 29 3
10 26 2 29 4
10 27 2 29 4
10 28 2 29 4
10 31 2 30 3
10 32 2 30 3
10 33 2 30 3
10 27 2 30 4
10 34 2 31 3
10 30 2 31 4
10 32 2 31 4
10 33 2 31 4
10 36 2 32 3
10 30 2 32 4
10 31 2 32 4
10 33 2 32 4
10 38 2 33 3
10 30 2 33 4
10 31 2 33 4
10 32 2 33 4
10 31 2 34 4
10 28 2 35 4
10 32 2 36 4
10 29 2 37 4
10 33 2 38 4
10 40 2 39 3
10 16 2 39 4
10 41 2 40 3
10 39 2 40 4
10 42 2 41 3
10 40 2 41 4
10 43 2 42 3
10 41 2 42 4
10 17 2 43 3
10 42 2 43 4
10 45 2 44 3
10 21 2 44 4
10 46 2 45 3
10 44 2 45 4
10 47 2 46 3
10 45 2 46 4
10 48 2 47 3
10 46 2 47 4
10 22 2 48 3
10 47 2 48 4
10 13 2 12 3
10 12 2 9 3
10 12 2 7 3
10 9 2 7 3
10 8 2 7 4
10 7 2 9 4
10 7 2 12 4
10 9 2 12 4
12 12 3
12 7 4
9 35 28 4
9 28 27 3
9 27 30 3
8 35 28 3
8 28 27 4
8 27 30 4
8 30 27 3
8 27 26 3
8 26 25 3
8 25 20 3
8 20 18 3
8 18 17 3
8 17 43 3
8 43 42 3
8 42 41 3
8 41 40 3
8 40 39 3
8 39 16 3
8 16 14 3
8 14 15 4
8 15 8 4
8 8 7 4
8 7 9 4
8 9 12 4
8 12 13 3
8 13 24 3
8 24 23 3
8 23 22 3
8 22 48 3
8 48 47 3
8 47 46 3
8 46 45 3
8 45 44 3
8 44 21 3
8 21 19 3
8 19 20 4
8 20 25 4
8 25 26 4
8 26 28 4
8 28 35 4
8 36 32 3
8 32 31 4
8 31 34 4
8 34 31 3
8 31 30 3
8 26 27 4
8 30 32 4
8 32 36 4
8 37 29 3
8 29 27 4
8 26 29 4
8 29 37 4
8 38 33 3
8 33 31 4
8 30 33 4
8 33 38 4
13 0 0
13 1 1
13 2 2
13 3 3
13 4 4
13 5 5
13 6 6
13 7 7
13 8 8
13 9 9
13 10 10
13 11 11
13 12 12
13 13 13
13 14 14
13 15 15
13 16 16
13 17 17
13 18 18
13 19 19
13 20 20
13 21 21
13 22 22
13 23 23
13 24 24
13 25 25
13 26 26
13 27 27
13 28 28
13 29 29
13 30 30
13 31 31
13 32 32
13 33 33
13 34 34
13 35 35
13 36 36
13 37 37
13 38 38
13 39 39
13 40 40
13 41 41
13 42 42
13 43 43
13 44 44
13 45 45
13 46 46
13 47 47
13 48 48
FI 11
14 0 9
14 1 35
17 9 0
17 35 1
17 7 0
15 0 4
15 1 4
19 0
20 1
16 9
16 35
G 2
21 1 0 35
18 1 1 7
A 5
move 6
L 21
3 1 0
0 1 0
3 1 1
2 1 1
3 1 2
4 1 2
3 1 3
1 1 3
3 1 4
1 1 4
3 1 5
4 1 5
11 1 0 1
13 0 3 4
6 1 3 4 2
8 1 3 4 5
19 1 0
15 1 0 2
14 1 0 3
22 0 4 0
23 0 5 4 1 3
E 5
0
L 1
13 0 2 5
F 2
15 0 0 2
15 1 0 5
0
L 1
10 0 3 1 4 5
F 1
17 0 3 0
1
L 5
3 1 6
1 1 6
10 0 6 1 4 5
10 1 6 1 3 2
13 0 6 4
F 1
17 0 6 0
1
L 3
3 1 6
1 1 6
10 1 6 1 4 5
F 1
17 1 6 0
0
L 0
F 5
16 1 4
17 1 4 0
16 0 3
14 0 0 3
14 1 0 4
pushback 6
L 21
3 1 0
0 1 0
3 1 1
2 1 1
3 1 2
4 1 2
3 1 3
1 1 3
3 1 4
1 1 4
3 1 5
4 1 5
11 1 0 1
13 0 3 4
7 1 3 4 2
9 1 3 4 5
15 1 0 2
14 1 0 3
20 1 0
22 0 4 0
23 0 5 4 1 3
E 5
0
L 1
13 0 2 5
F 2
15 0 0 2
15 1 0 5
0
L 1
10 0 3 1 4 5
F 1
17 0 3 0
1
L 5
3 1 6
1 1 6
10 0 6 1 4 5
10 1 6 1 3 2
13 0 6 4
F 1
17 0 6 0
1
L 3
3 1 6
1 1 6
10 1 6 1 4 5
F 1
17 1 6 0
0
L 0
F 5
16 1 4
17 1 4 0
16 0 3
14 0 0 3
14 1 0 4
takeoff 3
L 9
3 1 0
0 1 0
3 1 1
1 1 1
3 1 2
4 1 2
12 1 1 2
14 1 0 1
15 1 0 2
E 2
1
L 3
3 1 3
1 1 3
17 1 3 0
F 1
17 0 3 0
0
L 0
F 4
17 0 1 0
16 0 1
14 0 0 1
18 1 0 1
park 4
L 11
3 1 0
0 1 0
3 1 1
2 1 1
3 1 2
1 1 2
3 1 3
4 1 3
19 1 0
14 1 0 2
15 1 0 3
E 2
1
L 4
3 1 4
1 1 4
10 1 4 1 2 3
13 0 2 4
F 1
17 0 4 0
0
L 0
F 2
21 1 0 2
19 0 0
startup 1
L 3
3 1 0
0 1 0
20 1 0
E 1
0
L 0
F 2
19 1 0
20 0 0
