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