THEORY BalanceX IS
  TP1LapinWinnie,12,0,5,7,0,0,0;
  Initialisation,4,0,3,1,0,0,0;
  ajout_etudiant,2,0,0,2,0,0,0;
  ajout_sport,1,0,0,1,0,0,0;
  supprimer_etudiant,3,0,0,3,0,0,0;
  supprimer_sport,2,0,2,0,0,0,0;
  Quel_sport,0,0,0,0,0,0,0;
  Quels_etudiants,0,0,0,0,0,0,0
END
&
THEORY ProofState IS
  Proved(Rapide);
  Proved(Rapide);
  Proved(0);
  Proved(0);
  Proved(0);
  Proved(0);
  Proved(0);
  Proved(0);
  Proved(0);
  Proved(Rapide);
  Proved(Rapide);
  Proved(Rapide)
END
&
THEORY MethodList IS
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr;
  pr
END
&
THEORY PassList IS
  Force(Rapide),?;
  Force(Rapide),?;
  Force(0),?;
  Force(0),?;
  Force(0),?;
  Force(0),?;
  Force(0),?;
  Force(0),?;
  Force(0),?;
  Force(Rapide),?;
  Force(Rapide),?;
  Force(Rapide),?
END
&
THEORY ManForms 
END
&
THEORY Version IS
  POVersion(V3.6.8)(CLT == "V3.7.2")(local_op == OK);
  PRVersion("V3.3.3.p11")(CLT == "V3.7.2")
END