// Path: src/main/java/bixie/prover/princess/PrincessProverFactory.java
// public class PrincessProverFactory implements ProverFactory {
// 
// 	@Override
// 	public Prover spawn() {
// 		return new PrincessProver();
// 	}
// 
// 	@Override
// 	public Prover spawnWithLog(String basename) {
// 		return new PrincessProver(basename);
// 	}
// 
// }


import java.util.HashMap;
import java.util.Map;
import bixie.prover.princess.PrincessProverFactory;
		ProverExpr var = m.get(name);
		if (var == null) {
			var = p.mkVariable(name, type);
			m.put(name, var);
		}
		if (!var.getType().equals(type)) {
			throw new RuntimeException("Wrong type on var: " + name);
		}
		return var;
	}	
	
	public void runTests(ProverFactory factory) {
		final Prover p = factory.spawn();
		test01(p);
		p.reset();
		test02(p);
		p.reset();
		test03(p);
		p.reset();
		test04(p);
		p.reset();
		test05(p);
		p.reset();
		test06(p);
		p.reset();

		p.shutdown();
	}

	public static void main(String[] args) {
// Path: src/main/java/bixie/prover/princess/PrincessProverFactory.java
// public class PrincessProverFactory implements ProverFactory {
// 
// 	@Override
// 	public Prover spawn() {
// 		return new PrincessProver();
// 	}
// 
// 	@Override
// 	public Prover spawnWithLog(String basename) {
// 		return new PrincessProver(basename);
// 	}
// 
// }


// Path: src/main/java/bixie/prover/Main.java
import java.util.HashMap;
import java.util.Map;
import bixie.prover.princess.PrincessProverFactory;

		ProverExpr var = m.get(name);
		if (var == null) {
			var = p.mkVariable(name, type);
			m.put(name, var);
		}
		if (!var.getType().equals(type)) {
			throw new RuntimeException("Wrong type on var: " + name);
		}
		return var;
	}	
	
	public void runTests(ProverFactory factory) {
		final Prover p = factory.spawn();
		test01(p);
		p.reset();
		test02(p);
		p.reset();
		test03(p);
		p.reset();
		test04(p);
		p.reset();
		test05(p);
		p.reset();
		test06(p);
		p.reset();

		p.shutdown();
	}

	public static void main(String[] args) {
		final ProverFactory factory = new PrincessProverFactory();