1981-05-20 /LCG_Integration_Tools_Clearinghouse_T20_v7_30Apr86/01/tools/dumper/dmphead.for 1981-05-20 /LCG_Integration_Tools_Clearinghouse_T20_v7_30Apr86/01/tools/dumper2/dmphead.for 1981-05-20 /integ_tools_tops20_v7_30-apr-86_dumper/01/tools/dumper/dmphead.for 1981-05-20 /integ_tools_tops20_v7_30-apr-86_dumper/01/tools/dumper2/dmphead.for 1981-05-20 /tops20tools_v6_9-jan-86_dumper/01/tools/dumper/dmphead.for 1981-05-20 /tops20tools_v6_9-jan-86_dumper/01/tools/dumper2/dmphead.for