package acl2s.lib.certify;
	
	import java.io.BufferedReader;
	import java.io.BufferedWriter;
	import java.io.FileReader;
	import java.io.IOException;
	import java.io.InputStreamReader;
	import java.io.OutputStreamWriter;
	
	public class ReadPreamble {
		static final String oldprefix = "#|$ACL2-A2S-PREAMBLE$;";
		static final String prefix = "#|$ACL2s-Preamble$;";
		static final String oldpostfix = ";$ACL2-A2S-PREAMBLE$|#";
		static final String postfix = ";$ACL2s-Preamble$|#";
		
		static void go(BufferedReader br, BufferedWriter bw) throws IOException {
			String line;
			
			for (;;) {
				line = br.readLine();
				if (line == null) {
					bw.write("(begin-book)\n"); // default preamble
					return;
				}
				if (line.endsWith(prefix)) break;
				if (line.endsWith(oldprefix)) break;
			}
			
			for(;;) {
				line = br.readLine();
				if (line == null) return;
				if (line.endsWith(postfix)) {
					bw.write(line.substring(0, line.length() - postfix.length()));
					bw.write('\n');
					break;
				}
				if (line.endsWith(oldpostfix)) {
					bw.write(line.substring(0, line.length() - oldpostfix.length()));
					bw.write('\n');
					break;
				}
				bw.write(line);
				bw.write("\n");
			}
			
		}
		
		public static void main(String[] args) throws IOException {
			BufferedReader br;
			BufferedWriter bw = new BufferedWriter(new OutputStreamWriter(System.out));
			

			if (args.length == 0) {
				br = new BufferedReader(new InputStreamReader(System.in));

			} else if (args.length == 1) {

				br = new BufferedReader(new FileReader(args[0]));
			} else {
				throw new IllegalArgumentException("Must specify one file to read or none for stdin.");
			}
	
			go(br,bw);
			

			if (args.length == 0) {
				String line;
				do {
					line = br.readLine();
				} while (line != null);
			}
			

			bw.flush();
			bw.close();
			br.close();
		}
	}