ForAllExists {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return ForAllExists.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Bob " +
			"solution of 0 from Alice "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}

ExistsForAll {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return ExistsForAll.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Alice " +
			"solution of 0 from Bob "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}

PositiveSecret {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return PositiveSecret.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Bob " +
			"solution of 0 from Bob " +
			"solution of 0 from Alice "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}

NegativeSecret {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return NegativeSecret.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Alice " +
			"solution of 0 from Alice " +
			"solution of 0 from Bob "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}

Renaissance {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return Renaissance.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Alice " +
			"instance from Alice " +
			"instance from Bob " +
			"instance from Bob " +
			"solution of 0 from Bob " +
			"solution of 1 from Bob " +
			"solution of 2 from Alice " +
			"solution of 3 from Alice "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}

SecretRenaissance {{ 
	public double getResult(Claim claim, List<Response> replies){
		return 1; // Alice always wins
	}
	
	public ProtocolSpec getProtocolSpec(){
		return SecretRenaissance.protocolSpec; 
	}
	
	static ProtocolSpec protocolSpec;
	static{
		try{
			ProtocolSpec.parse( 
			"instance from Alice " +
			"instance from Alice " +
			"instance from Bob " +
			"instance from Bob " +
			"solution of 0 from Bob " +
			"solution of 1 from Bob " +
			"solution of 2 from Bob " +
			"solution of 3 from Bob " +
			"solution of 0 from Alice " +
			"solution of 1 from Alice " +
			"solution of 2 from Alice " +
			"solution of 3 from Alice "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}
}}