# preferred axioms agent 1
8
9
10
11
12
13
152
-1
# preferred axioms agent 2
139
141
142
143
197
-1
# importance agent 1
10
# importance agent 2
1
# maximum number of turns
199