# preferred axioms agent 1
76
108
1
13
45
49
50
53
71
73
80
82
84
86
97
106
129
132
149
150
151
152
153
154
155
157
158
160
161
162
163
168
169
170
174
175
176
-1
# preferred axioms agent 2
99
9
42
1
12
23
24
67
86
100
111
112
114
116
118
132
140
141
144
145
157
161
164
165
166
168
169
170
173
174
176
178
179
180
181
182
183
187
-1
# importance agent 1
1
# importance agent 2
1
# maximum number of turns
1000