# preferred axioms agent 1
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
4
12
100
129
-1
# preferred axioms agent 2
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
1
7
85
109
143
-1
# importance agent 1
2
# importance agent 2
1
# maximum number of turns
1000