jpf-qilura-master/src/examples/plas/TenRandomOutputs.java
package plas;

public class TenRandomOutputs {
	
	public int func(int H) {
		int O;
		if (H == 503301)
			O = 503301;
		else if (H == 909948)
			O = 909948;
		else if (H == 674972)
			O = 674972;
		else if (H == 845592)
			O = 845592;
		else if (H == 661377)
			O = 661377;
		else if (H == 635842)
			O = 635842;
		else if (H == 267073)
			O = 267073;
		else if (H == 503459)
			O = 503459;
		else if (H == 368516)
			O = 368516;
		else
			O = 976055;
		return O;
	}
	
	public static void main(String[] args) {
		TenRandomOutputs o = new TenRandomOutputs();
		o.func(1);
	}

}
