# preferred axioms agent 1
29
30
31
32
54
164
-1
# preferred axioms agent 2
10
12
13
14
107
151
-1
# importance agent 1
10
# importance agent 2
1
# maximum number of turns
200