// Regular expression: ABCDE
// Max. length: 5


public class MMidOKR  {
	public MMidOKR() {
	}

	
	public String testTS_1_29() {
		paper.Mid obtained=null;
		obtained =new paper.Mid();
			int arg1=-1;
		obtained.setA(arg1);
			int arg2=-2;
		obtained.setB(arg2);
			int arg3=1;
		obtained.setC(arg3);
		int result3=obtained.getMid();
		return String.valueOf(result3);
	}

	
	public String testTS_1_31() {
		paper.Mid obtained=null;
		obtained =new paper.Mid();
			int arg1=-1;
		obtained.setA(arg1);
			int arg2=-1;
		obtained.setB(arg2);
			int arg3=-2;
		obtained.setC(arg3);
		int result3=obtained.getMid();
		return String.valueOf(result3);
	}

	
	public String testTS_1_39() {
		paper.Mid obtained=null;
		obtained =new paper.Mid();
			int arg1=-1;
		obtained.setA(arg1);
			int arg2=0;
		obtained.setB(arg2);
			int arg3=1;
		obtained.setC(arg3);
		int result3=obtained.getMid();
		return String.valueOf(result3);
	}


	public String testTS_1_56() {
		paper.Mid obtained=null;
		obtained =new paper.Mid();
			int arg1=0;
		obtained.setA(arg1);
			int arg2=-1;
		obtained.setB(arg2);
			int arg3=-2;
		obtained.setC(arg3);
		int result3=obtained.getMid();
		return String.valueOf(result3);
	}


	public String testTS_1_109() {
		paper.Mid obtained=null;
		obtained =new paper.Mid();
			int arg1=2;
		obtained.setA(arg1);
			int arg2=-1;
		obtained.setB(arg2);
			int arg3=1;
		obtained.setC(arg3);
		int result3=obtained.getMid();
		return String.valueOf(result3);
	}


	
}