# preferred axioms agent 1 20 21 22 23 35 159 -1 # preferred axioms agent 2 37 38 39 41 42 43 112 161 -1 # importance agent 1 3 # importance agent 2 1 # maximum number of turns 200
