}
public static void runPrograms(){
FileInputStream fis = null;
ObjectInputStream in = null;
ConsequenceOp imcons = null;
FaspInterpretation model = null;
try{
// for(int i=1; i<=6; i++){
// fis = new FileInputStream("gp"+i+"b29466cb023c26ff231f401bda45eb9d_31.ser");
// in = new ObjectInputStream(fis);
// GroundProgram gp = (GroundProgram)in.readObject();
// imcons = new ConsequenceOp(gp);
// model = imcons.computeLFP("gp"+i+"b29466cb023c26ff231f401bda45eb9d_31");
// }
// for(int i=5; i<=5; i++){
// fis = new FileInputStream("gp"+i+"a507db8be62cddf1c7a21f881ff6a6ec_21.ser");
// in = new ObjectInputStream(fis);
// GroundProgram gp = (GroundProgram)in.readObject();
// imcons = new ConsequenceOp(gp);
// model = imcons.computeLFP("gp"+i+"a507db8be62cddf1c7a21f881ff6a6ec_21");
// }
// for(int i=1; i<=1; i++){
// fis = new FileInputStream("gp"+i+"2a920a1710b2d8b7eccb6eba7a18285b_21.ser");
// in = new ObjectInputStream(fis);
// GroundProgram gp = (GroundProgram)in.readObject();
// imcons = new ConsequenceOp(gp);
// model = imcons.computeLFP("gp"+i+"2a920a1710b2d8b7eccb6eba7a18285b_21");
// }
// for(int i=1; i<=6; i++){
// fis = new FileInputStream("gp"+i+"8ee67f4565a330584b667a021bb71c69_21.ser");
// in = new ObjectInputStream(fis);
// imcons = new ConsequenceOp((GroundProgram)in.readObject());
// model = imcons.computeLFP("gp"+i+"8ee67f4565a330584b667a021bb71c69_21");
// }
// for(int i=1; i<=6; i++){
// fis = new FileInputStream("gp"+i+"592dc5a5ef7cfa25c5dec4df075fc503_21.ser");
// in = new ObjectInputStream(fis);
// imcons = new ConsequenceOp((GroundProgram)in.readObject());
// model = imcons.computeLFP("gp"+i+"592dc5a5ef7cfa25c5dec4df075fc503_21");
// }
for(int i=3; i<=3; i++){
fis = new FileInputStream("gp"+i+"689e39f0ab40984812421ef3a462cfd4_21.ser");
in = new ObjectInputStream(fis);
GroundProgram gp = (GroundProgram)in.readObject();
imcons = new ConsequenceOp(gp);
// model = imcons.computeLFP("gp"+i+"689e39f0ab40984812421ef3a462cfd4_21");
}
in.close();
} catch(IOException ex){