#define MAXSIZE 10000
#define NEWLINE 70
double pph(void);
void write_format11(char *prefix, char *filename);
void write_format12(char *prefix, char *filename);
void write_format13(char *prefix, char *filename);
void write_format14(char *prefix, char *filename);
void write_format15(char *prefix, char *filename);
void write_format16(char *prefix, char *filename);
void write_format17(char *prefix, char *filename);
void write_tree1(char *prefix,double is);
int parse_output1(int format);

void write_format21(char *prefix, char *filename);
void write_format22(char *prefix, char *filename);
void write_format23(char *prefix, char *filename);
void write_format24(char *prefix, char *filename);
void write_format25(char *prefix, char *filename);
void write_format26(char *prefix, char *filename);
void write_format27(char *prefix, char *filename);
void write_tree2(char *prefix,double is);
void parse_output2(int format,int len);