stdinRedirect = {};
//
stdinRedirect ["00"] = "Universal";
stdinRedirect ["01"] = "Custom";
stdinRedirect ["02"] = "/Users/daisie/Desktop/rbcL2.nex";
stdinRedirect ["03"] = "010010";
stdinRedirect ["04"] = "/Users/daisie/Desktop/newick.tre";
//
ExecuteAFile ("/Users/daisie/Documents/Work/Sandbox/bio_scripts/LRTs.bf", stdinRedirect);
