//This file generated automatically from the MARIUS LP system, please do not edit.

public class Estado1 implements EstadoBase {
public void op1(){ System.out.println("Estado 1:op1");}
public void op2(){ System.out.println("Estado 1:op2");}
public void op3(){ System.out.println("Estado 1:op3");}

} //End of class Estado1