void load(){

		theoriesSplittedsRead = original.split("END");
		
		for(int i=0;i<theoriesSplittedsRead.length;i++)
			if(theoriesSplittedsRead[i].contains("THEORY BalanceX IS"))
				balanceXRead = theoriesSplittedsRead[i];
		
		for(int i=0;i<theoriesSplittedsRead.length;i++)
			if(theoriesSplittedsRead[i].contains("THEORY ProofState IS")){
				proofStateRead = theoriesSplittedsRead[i];
				proofStateRead= proofStateRead.replaceFirst("&\nTHEORY ProofState IS", "");
			}
		for(int i=0;i<theoriesSplittedsRead.length;i++)
			if(theoriesSplittedsRead[i].contains("THEORY MethodList IS"))
				methodListRead = theoriesSplittedsRead[i];
		
		for(int i=0;i<theoriesSplittedsRead.length;i++)
			if(theoriesSplittedsRead[i].contains("THEORY PassList IS"))
				passListRead = theoriesSplittedsRead[i];
		
		loadProofState();
		
		
	}