# preferred axioms agent 1
33
1
11
18
29
32
50
52
55
56
57
66
69
71
74
77
80
82
86
88
91
92
108
110
111
112
113
115
120
124
125
126
127
-1
# preferred axioms agent 2
32
5
13
14
17
18
24
25
26
60
66
67
68
69
75
76
77
79
81
88
89
90
91
97
103
104
106
110
117
118
119
120
121
122
124
125
127
128
129
130
135
138
141
142
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
1000