THEORY BalanceX IS
  Simulation,0,0,0,0,0,0,0;
  Initialisation,0,0,0,0,0,0,0;
  main,0,0,0,0,0,0,0
END
&
THEORY ProofState
END
&
THEORY MethodList
END
&
THEORY PassList
END
&
THEORY ManForms 
END
&
THEORY Version IS
  POVersion(V3.6.8)(CLT == "V3.7.2")(local_op == OK)
END