# preferred axioms agent 1
7
2
14
15
16
20
26
31
34
36
40
42
46
47
49
51
54
56
58
61
63
67
69
72
76
78
82
85
87
88
94
100
102
109
110
113
117
118
121
124
126
128
130
131
134
136
139
141
145
149
-1
# preferred axioms agent 2
140
1
3
7
11
13
15
17
18
20
23
26
29
33
35
36
41
45
46
47
49
53
57
59
62
65
68
70
73
75
78
84
87
91
94
97
99
106
109
111
114
118
121
125
127
132
135
136
146
147
-1
# importance agent 1
10
# importance agent 2
1
# maximum number of turns
199