# preferred axioms agent 1
19
2
8
10
12
15
18
24
27
29
32
34
37
39
42
43
44
51
53
55
59
63
68
71
72
74
80
81
83
86
90
92
93
96
100
103
108
111
115
118
121
122
125
127
132
136
140
143
146
149
-1
# preferred axioms agent 2
40
2
6
8
9
14
17
20
26
29
32
34
35
44
49
51
52
54
55
56
58
60
62
67
70
74
77
81
84
87
90
93
96
97
100
101
102
105
108
109
114
119
123
127
132
134
138
141
144
145
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
1000