# preferred axioms agent 1
100
9
29
1
26
61
63
71
72
73
78
87
88
99
101
104
105
106
108
110
112
114
116
124
125
128
137
139
140
141
143
144
145
146
148
149
150
151
152
162
164
-1
# preferred axioms agent 2
102
39
1
9
11
15
16
17
25
37
38
77
79
81
91
95
96
100
101
104
110
114
116
118
120
121
122
123
124
125
126
128
129
134
135
136
137
138
139
140
141
142
143
-1
# importance agent 1
2
# importance agent 2
1
# maximum number of turns
154