docs: private static void text2binModel(String inText,String outBin) throws IOException {
  		ObjectOutputStream out = new ObjectOutputStream(new BufferedOutputStream (
  				new GZIPOutputStream (new FileOutputStream(outBin))));
  		String rules = loadtxt(inText);
  		Pattern p = Pattern.compile(rules);
  		out.writeObject(p);
  		out.close();
  	}