# preferred axioms agent 1
-1
# preferred axioms agent 2
7
8
9
10
11
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
136