# preferred axioms agent 1 -1 # preferred axioms agent 2 -1 # importance agent 1 10 # importance agent 2 1 # maximum number of turns 136
