# preferred axioms agent 1
28
2
6
7
12
14
16
20
23
26
33
36
37
39
45
47
50
52
57
60
61
64
70
73
76
78
81
83
86
88
92
93
95
96
99
100
102
105
107
112
115
120
122
124
129
134
138
142
147
150
-1
# preferred axioms agent 2
11
2
3
5
8
16
19
22
23
24
28
31
34
39
40
44
46
47
49
53
57
61
65
67
69
70
72
75
79
83
87
90
92
96
100
102
104
105
108
111
114
116
121
122
126
128
132
137
140
144
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
200