119a120,121
> extern void putgraph1(FILE*,graph*,int,int,int);
> extern void putcolgraph(FILE*,graph*,int,int,int,int*,int*);
121a124,125
> extern void putorbits1(FILE*,int*,int,int);
> extern void putorbitsList(FILE*,int*,int,int);
122a127
> extern void putclass(FILE*,int*,int*,int,int,int,int);
124a130,132
> extern void putset1(FILE*,set*,int*,int,int,boolean);
> extern void putsetplus(FILE*,set*,int*,int,int,boolean,int);
> extern void putcolset(FILE*,set*,int*,int,int,int*);