# 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
81
32
5
6
13
14
17
18
24
25
26
66
67
68
69
75
76
77
79
88
89
90
91
97
103
104
106
110
117
118
119
120
121
122
124
125
128
129
-1
# importance agent 1
1
# importance agent 2
1
# maximum number of turns
1000