# preferred axioms agent 1
32
33
34
35
36
37
38
39
40
41
-1
# preferred axioms agent 2
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
182