# 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 4 # importance agent 2 1 # maximum number of turns 200
