# LaTeX2HTML 2021 (Released January 1, 2021)
# Associate internals original text with physical files.


$key = q/6.63/;
$ref_files{$key} = "$dir".q|node42.html|; 
$noresave{$key} = "$nosave";

$key = q/a1-16/;
$ref_files{$key} = "$dir".q|node148.html|; 
$noresave{$key} = "$nosave";

$key = q/a1-17/;
$ref_files{$key} = "$dir".q|node148.html|; 
$noresave{$key} = "$nosave";

$key = q/a1-36/;
$ref_files{$key} = "$dir".q|node148.html|; 
$noresave{$key} = "$nosave";

$key = q/adarwin/;
$ref_files{$key} = "$dir".q|node140.html|; 
$noresave{$key} = "$nosave";

$key = q/afree/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/agauss/;
$ref_files{$key} = "$dir".q|node160.html|; 
$noresave{$key} = "$nosave";

$key = q/appaa/;
$ref_files{$key} = "$dir".q|node129.html|; 
$noresave{$key} = "$nosave";

$key = q/appc/;
$ref_files{$key} = "$dir".q|node149.html|; 
$noresave{$key} = "$nosave";

$key = q/aprec/;
$ref_files{$key} = "$dir".q|node148.html|; 
$noresave{$key} = "$nosave";

$key = q/area/;
$ref_files{$key} = "$dir".q|node27.html|; 
$noresave{$key} = "$nosave";

$key = q/ayield/;
$ref_files{$key} = "$dir".q|node135.html|; 
$noresave{$key} = "$nosave";

$key = q/ba10/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/ba11/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/ba11x/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/cent/;
$ref_files{$key} = "$dir".q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/clag/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/conic/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/cyc/;
$ref_files{$key} = "$dir".q|node51.html|; 
$noresave{$key} = "$nosave";

$key = q/double/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.10/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.11/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.13/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.14/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.15/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.16/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.17/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.2/;
$ref_files{$key} = "$dir".q|node59.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.21/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.21a/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.23/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.24/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.31/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.32/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.6/;
$ref_files{$key} = "$dir".q|node60.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.61/;
$ref_files{$key} = "$dir".q|node62.html|; 
$noresave{$key} = "$nosave";

$key = q/e10.8/;
$ref_files{$key} = "$dir".q|node60.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.237/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.239/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.240/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.245/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.247/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.248/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.254/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.255/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.255x/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.262/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.265/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.274/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/e11.277/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.11/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.117/;
$ref_files{$key} = "$dir".q|node20.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.119/;
$ref_files{$key} = "$dir".q|node20.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.126/;
$ref_files{$key} = "$dir".q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.13/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.21/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.23/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.25/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.26/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.27/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.28/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.29/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.30/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.31/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.33/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.37/;
$ref_files{$key} = "$dir".q|node18.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.38/;
$ref_files{$key} = "$dir".q|node18.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.41/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.42/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.43/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.44/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.46/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.48/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.49/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.5/;
$ref_files{$key} = "$dir".q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.51/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.51a/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.53/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.6/;
$ref_files{$key} = "$dir".q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.61/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.62/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.66a/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.7/;
$ref_files{$key} = "$dir".q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.76/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.8/;
$ref_files{$key} = "$dir".q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.9/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.90x/;
$ref_files{$key} = "$dir".q|node55.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.93/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.95/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.96/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.97/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13.98/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx1/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx10/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx11/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx12/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx2/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx3/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx5/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx6/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx7/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx8/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e13xx9/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.1/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.10/;
$ref_files{$key} = "$dir".q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.11/;
$ref_files{$key} = "$dir".q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.13/;
$ref_files{$key} = "$dir".q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.15/;
$ref_files{$key} = "$dir".q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.16/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.17/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.19/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.21/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.27/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.28/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.29/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.3/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.30/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.35/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.4/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.40/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.41/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.42/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.43/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.44/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.45/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.46/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.47/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.5a/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.5c/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.6/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.60/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.68/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.69/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.69a/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.7/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.71/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e14.75/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e2.27yy/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.1/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.11/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.111yy/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.14/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.15/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.16/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.18/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.22/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.24/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.27/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.3/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.4/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.6/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3.7/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/e3x1/;
$ref_files{$key} = "$dir".q|node14.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.12/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.12a/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.13/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.37x/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.8/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e4.9/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/e41/;
$ref_files{$key} = "$dir".q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.39/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.64/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.65/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.66/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.67/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.85/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/e4xx.86/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.13/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.2ex/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.36e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.37e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.42ae/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.42aea/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.42e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.43e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.44e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.47e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.48e/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.5/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.74e/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/e5.77e/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/e555/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.1/;
$ref_files{$key} = "$dir".q|node23.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.10/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.12/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.14/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.17yy/;
$ref_files{$key} = "$dir".q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.19/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.20/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.21/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.22/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.23/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.24/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.25/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.26/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.27/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.28/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.3/;
$ref_files{$key} = "$dir".q|node23.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.31/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.38/;
$ref_files{$key} = "$dir".q|node27.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.40/;
$ref_files{$key} = "$dir".q|node27.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.41/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.42/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.44/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.45/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.46/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.47/;
$ref_files{$key} = "$dir".q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.49/;
$ref_files{$key} = "$dir".q|node29.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.5/;
$ref_files{$key} = "$dir".q|node25.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.50/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.51/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.53/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.54/;
$ref_files{$key} = "$dir".q|node31.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.55/;
$ref_files{$key} = "$dir".q|node31.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.57/;
$ref_files{$key} = "$dir".q|node31.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.57a/;
$ref_files{$key} = "$dir".q|node32.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.57b/;
$ref_files{$key} = "$dir".q|node32.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.6/;
$ref_files{$key} = "$dir".q|node25.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.63x/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.64/;
$ref_files{$key} = "$dir".q|node42.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.65/;
$ref_files{$key} = "$dir".q|node42.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.66x/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.67x/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.69/;
$ref_files{$key} = "$dir".q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.7/;
$ref_files{$key} = "$dir".q|node25.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.70/;
$ref_files{$key} = "$dir".q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.71x/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.72/;
$ref_files{$key} = "$dir".q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.74/;
$ref_files{$key} = "$dir".q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.80x/;
$ref_files{$key} = "$dir".q|node36.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.81/;
$ref_files{$key} = "$dir".q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.82x/;
$ref_files{$key} = "$dir".q|node36.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.83x/;
$ref_files{$key} = "$dir".q|node37.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.85x/;
$ref_files{$key} = "$dir".q|node37.html|; 
$noresave{$key} = "$nosave";

$key = q/e6.9/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/e67y/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xx64/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xx65/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xx66/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xx67/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xx70/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/e6xy/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e6yx/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e6yy/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.1/;
$ref_files{$key} = "$dir".q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.10/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.102dd/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.104yy/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.147/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.148a/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.149a/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.151a/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.152a/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.153/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.153a/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.153b/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.155/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.156/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.159/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.16/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.162/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.165/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.166/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.167/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.17/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.170/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.172/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.176/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.18/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.188/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.189/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.190/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.191/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.192/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.193/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.194/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.195/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.195a/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.196/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.198/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.199/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.2/;
$ref_files{$key} = "$dir".q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.203/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.204/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.206/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.208/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.211/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.212/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.214/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.215/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.216/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.230/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.231/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/e7.6/;
$ref_files{$key} = "$dir".q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.12/;
$ref_files{$key} = "$dir".q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.13/;
$ref_files{$key} = "$dir".q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.18/;
$ref_files{$key} = "$dir".q|node51.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.19/;
$ref_files{$key} = "$dir".q|node51.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.20/;
$ref_files{$key} = "$dir".q|node51.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.3/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.4/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.6/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/e8.8/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.1/;
$ref_files{$key} = "$dir".q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.11/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.12/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.13/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.13a/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.16/;
$ref_files{$key} = "$dir".q|node68.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.17/;
$ref_files{$key} = "$dir".q|node68.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.18/;
$ref_files{$key} = "$dir".q|node68.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.2/;
$ref_files{$key} = "$dir".q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.21/;
$ref_files{$key} = "$dir".q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.24/;
$ref_files{$key} = "$dir".q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.25/;
$ref_files{$key} = "$dir".q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.3/;
$ref_files{$key} = "$dir".q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.34/;
$ref_files{$key} = "$dir".q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.4/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.48/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.49/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.5/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.50/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.51/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.53/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.57/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.58/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.6/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.68a/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.7/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.72/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.73/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.73a/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.75/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.77/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.78/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.79/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.81/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.81aa/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.82/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.83/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.88/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.89/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/e9.xx89/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/e955/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e966/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e977/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/e988/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.41/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.43/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.44/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.45/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.46/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.48/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.49/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.52/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.54/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.55/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.60/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.61/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ea.62/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/ealpha/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/earthell/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.148/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.151/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.155/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.156/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.165/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.168/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.170/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.172/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.173/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/eb9.174/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/ebx9.137/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/ebx9.139/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/ecofm/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/ecval/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/edd2.65/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/edrag/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/eemon/;
$ref_files{$key} = "$dir".q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/eeps/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/eff1/;
$ref_files{$key} = "$dir".q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/eff14/;
$ref_files{$key} = "$dir".q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/eff15/;
$ref_files{$key} = "$dir".q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/eff16/;
$ref_files{$key} = "$dir".q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/eff1a/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/eff2/;
$ref_files{$key} = "$dir".q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/eff24/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff25/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff26/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff27/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff28/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff2a/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/eff3/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/eff30/;
$ref_files{$key} = "$dir".q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/eff33/;
$ref_files{$key} = "$dir".q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/eff36/;
$ref_files{$key} = "$dir".q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/eff39/;
$ref_files{$key} = "$dir".q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/eff4/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/eff41/;
$ref_files{$key} = "$dir".q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/eff45/;
$ref_files{$key} = "$dir".q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/eff48/;
$ref_files{$key} = "$dir".q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/eff49/;
$ref_files{$key} = "$dir".q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/eff5/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/eff51/;
$ref_files{$key} = "$dir".q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/eff58/;
$ref_files{$key} = "$dir".q|node146.html|; 
$noresave{$key} = "$nosave";

$key = q/eff59/;
$ref_files{$key} = "$dir".q|node146.html|; 
$noresave{$key} = "$nosave";

$key = q/eff60/;
$ref_files{$key} = "$dir".q|node146.html|; 
$noresave{$key} = "$nosave";

$key = q/eff8/;
$ref_files{$key} = "$dir".q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/effa/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/effb/;
$ref_files{$key} = "$dir".q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/egamma/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/egrad/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/egval/;
$ref_files{$key} = "$dir".q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/eh10/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh11/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh12/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh13/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh14/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh15/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh17/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh18/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh19/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh2/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh21/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh22/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh24/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh26/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh27/;
$ref_files{$key} = "$dir".q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/eh3/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh34/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh35/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh36/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh38/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh39/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh4/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh40/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh41/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh42/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh43/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh44/;
$ref_files{$key} = "$dir".q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/eh5/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh6/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh7/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh8/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eh9/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/eixx/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/eizz/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/ej2/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/ek101a/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek101b/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek101c/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek38/;
$ref_files{$key} = "$dir".q|node137.html|; 
$noresave{$key} = "$nosave";

$key = q/ek39/;
$ref_files{$key} = "$dir".q|node137.html|; 
$noresave{$key} = "$nosave";

$key = q/ek40/;
$ref_files{$key} = "$dir".q|node137.html|; 
$noresave{$key} = "$nosave";

$key = q/ek44/;
$ref_files{$key} = "$dir".q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/ek48/;
$ref_files{$key} = "$dir".q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/ek50/;
$ref_files{$key} = "$dir".q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/ek51/;
$ref_files{$key} = "$dir".q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/ek54/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek55/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek66/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek67/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek68/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek70/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek74/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek75/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek76/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek76a/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek77/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek79/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek80/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek84/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek85/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek87/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek88/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek93/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ek94/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/ekk1/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ekk3/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ellipse/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/elliptica/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/ellipticx/;
$ref_files{$key} = "$dir".q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/em4.60/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/em4.76/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/em4.82/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/em4.83/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/em4.90/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/emcll/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/emoon1/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/emoon2/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/en2/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/ep10/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep12/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep18/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep2/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep23/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep3/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/ep40/;
$ref_files{$key} = "$dir".q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/epp1/;
$ref_files{$key} = "$dir".q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/epp2/;
$ref_files{$key} = "$dir".q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/eprecession/;
$ref_files{$key} = "$dir".q|node123.html|; 
$noresave{$key} = "$nosave";

$key = q/eq14.44/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/eq14.45/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/eq14.46/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/eqa.1/;
$ref_files{$key} = "$dir".q|node120.html|; 
$noresave{$key} = "$nosave";

$key = q/equinox/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/erotn/;
$ref_files{$key} = "$dir".q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/erty/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/ess/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.103/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.103a/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.104/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.110/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.225/;
$ref_files{$key} = "$dir".q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.277/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.31/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.97/;
$ref_files{$key} = "$dir".q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/ess11.xxx/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etrans/;
$ref_files{$key} = "$dir".q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/etta01/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta02/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta03/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta10/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta11/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta12/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta1x/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/etta2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta6/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta7/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta8/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etta9/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettaxx/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettayy/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb10/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb11/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb12/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb1y/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb6/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb7/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb8/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettb9/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettc1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettc2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettc3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettc4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettc5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettd1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettd2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettd3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettd4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettd5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl10/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl11/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl12/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl6/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl7/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl8/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettl9/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto10/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto11/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto12/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto6/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto7/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto8/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etto9/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettoo1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettoo2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettoo3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettoo4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettoo5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr01/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr02/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr03/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr10/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr11/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr12/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr2/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr3/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr4/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr5/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr6/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr7/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr8/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettr9/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettt11.245/;
$ref_files{$key} = "$dir".q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/ettt11.246/;
$ref_files{$key} = "$dir".q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/etttx1/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/etttz1/;
$ref_files{$key} = "$dir".q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx0/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx10/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx11/;
$ref_files{$key} = "$dir".q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx2/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx3/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx4/;
$ref_files{$key} = "$dir".q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx6/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx7/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx8/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/ettx9/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/ettxj/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etty1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/etty10/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/etty11/;
$ref_files{$key} = "$dir".q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/etty2/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/etty3/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/etty4/;
$ref_files{$key} = "$dir".q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/etty6/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/etty7/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/etty8/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/etty9/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/ettyj/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettz1/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ettz2/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/ettz3/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/ettz4/;
$ref_files{$key} = "$dir".q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/ettz5/;
$ref_files{$key} = "$dir".q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/ettzj/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ev10/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev101/;
$ref_files{$key} = "$dir".q|node112.html|; 
$noresave{$key} = "$nosave";

$key = q/ev102/;
$ref_files{$key} = "$dir".q|node112.html|; 
$noresave{$key} = "$nosave";

$key = q/ev103/;
$ref_files{$key} = "$dir".q|node113.html|; 
$noresave{$key} = "$nosave";

$key = q/ev104/;
$ref_files{$key} = "$dir".q|node113.html|; 
$noresave{$key} = "$nosave";

$key = q/ev108/;
$ref_files{$key} = "$dir".q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/ev108a/;
$ref_files{$key} = "$dir".q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/ev108b/;
$ref_files{$key} = "$dir".q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/ev108c/;
$ref_files{$key} = "$dir".q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/ev108x/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/ev109/;
$ref_files{$key} = "$dir".q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/ev109x/;
$ref_files{$key} = "$dir".q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.65/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.66/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.69/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.71/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.72/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev11.75/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev12/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev21/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev23/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev24/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev26/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev27/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev29/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev30/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev32/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev33/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev35/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ev51/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ev52/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ev53/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/ev54/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/evv11.77/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evv26/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evv32/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv1/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.15/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.18/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.2/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.20/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.23/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.24/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.28/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.33/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.34/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.35/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.36/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.37/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.38/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.4/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv11.5/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv2/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvv3/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/evvx/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evvz/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evx/;
$ref_files{$key} = "$dir".q|node101.html|; 
$noresave{$key} = "$nosave";

$key = q/evxx/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evxxx/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evxxy/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evz/;
$ref_files{$key} = "$dir".q|node101.html|; 
$noresave{$key} = "$nosave";

$key = q/evzz/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/evzzz/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/ex10.0/;
$ref_files{$key} = "$dir".q|node115.html|; 
$noresave{$key} = "$nosave";

$key = q/ex2.6/;
$ref_files{$key} = "$dir".q|node21.html|; 
$noresave{$key} = "$nosave";

$key = q/ex2.7/;
$ref_files{$key} = "$dir".q|node21.html|; 
$noresave{$key} = "$nosave";

$key = q/ex3.12/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/ex5.10/;
$ref_files{$key} = "$dir".q|node56.html|; 
$noresave{$key} = "$nosave";

$key = q/ex8.1/;
$ref_files{$key} = "$dir".q|node87.html|; 
$noresave{$key} = "$nosave";

$key = q/ex9.4/;
$ref_files{$key} = "$dir".q|node96.html|; 
$noresave{$key} = "$nosave";

$key = q/exec/;
$ref_files{$key} = "$dir".q|node39.html|; 
$noresave{$key} = "$nosave";

$key = q/execc/;
$ref_files{$key} = "$dir".q|node39.html|; 
$noresave{$key} = "$nosave";

$key = q/exer1.3/;
$ref_files{$key} = "$dir".q|node12.html|; 
$noresave{$key} = "$nosave";

$key = q/exer10.1/;
$ref_files{$key} = "$dir".q|node115.html|; 
$noresave{$key} = "$nosave";

$key = q/exer4.9/;
$ref_files{$key} = "$dir".q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/exer5.7/;
$ref_files{$key} = "$dir".q|node56.html|; 
$noresave{$key} = "$nosave";

$key = q/exer7.1/;
$ref_files{$key} = "$dir".q|node77.html|; 
$noresave{$key} = "$nosave";

$key = q/exer8.4/;
$ref_files{$key} = "$dir".q|node87.html|; 
$noresave{$key} = "$nosave";

$key = q/exer9.4/;
$ref_files{$key} = "$dir".q|node96.html|; 
$noresave{$key} = "$nosave";

$key = q/exerpara/;
$ref_files{$key} = "$dir".q|node39.html|; 
$noresave{$key} = "$nosave";

$key = q/exj3/;
$ref_files{$key} = "$dir".q|node96.html|; 
$noresave{$key} = "$nosave";

$key = q/expansion/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/exx13.41/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/exx13.51/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.10/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.11/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.12/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.3/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.4/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exx5.9/;
$ref_files{$key} = "$dir".q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.116/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.117/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.118/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.119/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.120/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.121/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.122/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.123/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxx11.124/;
$ref_files{$key} = "$dir".q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/exxxx11.230/;
$ref_files{$key} = "$dir".q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.108/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.111/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.114/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.115/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.116/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.117/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.118/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.119/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.120/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.122/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.123/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/ey11.125/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/eya2/;
$ref_files{$key} = "$dir".q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/ez14.44/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/ez14.45/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/ez14.46/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/ez14.62/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/ez14.66/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/f10.1x/;
$ref_files{$key} = "$dir".q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/f11.2/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/f11.3/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/f11.3a/;
$ref_files{$key} = "$dir".q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/f3/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/f3.2a/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/f3b/;
$ref_files{$key} = "$dir".q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/f3b1/;
$ref_files{$key} = "$dir".q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/f43/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/f44/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/fa/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/fcassini/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/fcentral/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/fceres/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/fcirc/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/fcomet/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/fcyl/;
$ref_files{$key} = "$dir".q|node124.html|; 
$noresave{$key} = "$nosave";

$key = q/fdist/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/fesun/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/fff1/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/fff2/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/fff3/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/fff4/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/fflat/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/fftrans/;
$ref_files{$key} = "$dir".q|node32.html|; 
$noresave{$key} = "$nosave";

$key = q/fhyperion/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/fhyperion1/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/fjupiter/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/flag/;
$ref_files{$key} = "$dir".q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/fmercury/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/fnew3/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/forbit/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/fphobos/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/fphobos1/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/fprec/;
$ref_files{$key} = "$dir".q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/fprec1/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/fprec2/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/fprecx/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/fradau/;
$ref_files{$key} = "$dir".q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/frotn/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/fshm/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/fsph/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/fsphx/;
$ref_files{$key} = "$dir".q|node124.html|; 
$noresave{$key} = "$nosave";

$key = q/fspin/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/fspin1/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/fspin2/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/ftide/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/ftide1/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/ftide2/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/ftiss/;
$ref_files{$key} = "$dir".q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/ftorque/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/ftwobody/;
$ref_files{$key} = "$dir".q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/fun1/;
$ref_files{$key} = "$dir".q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/fz1/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fz2/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fz3/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fz4/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fz5/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fzer/;
$ref_files{$key} = "$dir".q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/gauss1/;
$ref_files{$key} = "$dir".q|node164.html|; 
$noresave{$key} = "$nosave";

$key = q/gauss6/;
$ref_files{$key} = "$dir".q|node164.html|; 
$noresave{$key} = "$nosave";

$key = q/gpotn/;
$ref_files{$key} = "$dir".q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/hyperbola/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/kepler2/;
$ref_files{$key} = "$dir".q|node27.html|; 
$noresave{$key} = "$nosave";

$key = q/mom/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/moon/;
$ref_files{$key} = "$dir".q|node97.html|; 
$noresave{$key} = "$nosave";

$key = q/moonlib/;
$ref_files{$key} = "$dir".q|node115.html|; 
$noresave{$key} = "$nosave";

$key = q/new2/;
$ref_files{$key} = "$dir".q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/new3/;
$ref_files{$key} = "$dir".q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/new4/;
$ref_files{$key} = "$dir".q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.119/;
$ref_files{$key} = "$dir".q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.122/;
$ref_files{$key} = "$dir".q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.134/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.134d/;
$ref_files{$key} = "$dir".q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.139/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.139d/;
$ref_files{$key} = "$dir".q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.150/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.155/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.156/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.157/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.157x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.157xx/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.157xy/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.162/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.162x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.162xx/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.162xy/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.196/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.198/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.200/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.200x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.202/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.202x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.210/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.210x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.212/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.212x/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.32/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.33/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.57/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/oe2.58/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.10/;
$ref_files{$key} = "$dir".q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.104/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.112/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.113/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.113f/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.118/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.118f/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.119/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.12/;
$ref_files{$key} = "$dir".q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.120/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.122/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.123/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.127/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.12x/;
$ref_files{$key} = "$dir".q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.13/;
$ref_files{$key} = "$dir".q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.136/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.13x/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.145/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.151/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.153/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.155/;
$ref_files{$key} = "$dir".q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.21/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.28/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.30/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.31/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.36/;
$ref_files{$key} = "$dir".q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.39/;
$ref_files{$key} = "$dir".q|node152.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.45/;
$ref_files{$key} = "$dir".q|node152.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.6/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.69/;
$ref_files{$key} = "$dir".q|node153.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.7/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.71/;
$ref_files{$key} = "$dir".q|node153.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.74/;
$ref_files{$key} = "$dir".q|node153.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.8/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.8r/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.9/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.91/;
$ref_files{$key} = "$dir".q|node153.html|; 
$noresave{$key} = "$nosave";

$key = q/oe3.9r/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/of3a/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/of3b/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/of4/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/parabola/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/polar/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/qe2.60/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/qe2.62/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/qe2.63/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/qf3/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/qfell/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/qs2.12/;
$ref_files{$key} = "$dir".q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/reduced/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/rig/;
$ref_files{$key} = "$dir".q|node67.html|; 
$noresave{$key} = "$nosave";

$key = q/rot/;
$ref_files{$key} = "$dir".q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/s10/;
$ref_files{$key} = "$dir".q|node57.html|; 
$noresave{$key} = "$nosave";

$key = q/s10.6x/;
$ref_files{$key} = "$dir".q|node114.html|; 
$noresave{$key} = "$nosave";

$key = q/s10.8/;
$ref_files{$key} = "$dir".q|node62.html|; 
$noresave{$key} = "$nosave";

$key = q/s10ex/;
$ref_files{$key} = "$dir".q|node115.html|; 
$noresave{$key} = "$nosave";

$key = q/s1ex/;
$ref_files{$key} = "$dir".q|node12.html|; 
$noresave{$key} = "$nosave";

$key = q/s2ex/;
$ref_files{$key} = "$dir".q|node21.html|; 
$noresave{$key} = "$nosave";

$key = q/s3.8xx/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/s3ex/;
$ref_files{$key} = "$dir".q|node39.html|; 
$noresave{$key} = "$nosave";

$key = q/s4ex/;
$ref_files{$key} = "$dir".q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/s5ex/;
$ref_files{$key} = "$dir".q|node56.html|; 
$noresave{$key} = "$nosave";

$key = q/s6.5/;
$ref_files{$key} = "$dir".q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/s8ex/;
$ref_files{$key} = "$dir".q|node87.html|; 
$noresave{$key} = "$nosave";

$key = q/sair/;
$ref_files{$key} = "$dir".q|node94.html|; 
$noresave{$key} = "$nosave";

$key = q/saxial/;
$ref_files{$key} = "$dir".q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/sbin/;
$ref_files{$key} = "$dir".q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/scassini/;
$ref_files{$key} = "$dir".q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/scentrif/;
$ref_files{$key} = "$dir".q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/schandler/;
$ref_files{$key} = "$dir".q|node72.html|; 
$noresave{$key} = "$nosave";

$key = q/scone/;
$ref_files{$key} = "$dir".q|node146.html|; 
$noresave{$key} = "$nosave";

$key = q/sconic/;
$ref_files{$key} = "$dir".q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/scons/;
$ref_files{$key} = "$dir".q|node121.html|; 
$noresave{$key} = "$nosave";

$key = q/sdist/;
$ref_files{$key} = "$dir".q|node156.html|; 
$noresave{$key} = "$nosave";

$key = q/sdist1/;
$ref_files{$key} = "$dir".q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/sect6.6/;
$ref_files{$key} = "$dir".q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/secular/;
$ref_files{$key} = "$dir".q|node88.html|; 
$noresave{$key} = "$nosave";

$key = q/selastic/;
$ref_files{$key} = "$dir".q|node139.html|; 
$noresave{$key} = "$nosave";

$key = q/sellipt/;
$ref_files{$key} = "$dir".q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/series1/;
$ref_files{$key} = "$dir".q|node114.html|; 
$noresave{$key} = "$nosave";

$key = q/series2/;
$ref_files{$key} = "$dir".q|node114.html|; 
$noresave{$key} = "$nosave";

$key = q/seuler/;
$ref_files{$key} = "$dir".q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/seulereq/;
$ref_files{$key} = "$dir".q|node70.html|; 
$noresave{$key} = "$nosave";

$key = q/sflat/;
$ref_files{$key} = "$dir".q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/sfun/;
$ref_files{$key} = "$dir".q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/sg1/;
$ref_files{$key} = "$dir".q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/sgpot/;
$ref_files{$key} = "$dir".q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/sharm/;
$ref_files{$key} = "$dir".q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/sjac/;
$ref_files{$key} = "$dir".q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/skep1/;
$ref_files{$key} = "$dir".q|node23.html|; 
$noresave{$key} = "$nosave";

$key = q/skep2/;
$ref_files{$key} = "$dir".q|node37.html|; 
$noresave{$key} = "$nosave";

$key = q/skepler/;
$ref_files{$key} = "$dir".q|node22.html|; 
$noresave{$key} = "$nosave";

$key = q/skepler3/;
$ref_files{$key} = "$dir".q|node29.html|; 
$noresave{$key} = "$nosave";

$key = q/slag/;
$ref_files{$key} = "$dir".q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/slagpe/;
$ref_files{$key} = "$dir".q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/sll/;
$ref_files{$key} = "$dir".q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/slowi/;
$ref_files{$key} = "$dir".q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/smatrix/;
$ref_files{$key} = "$dir".q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/smcl/;
$ref_files{$key} = "$dir".q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/smerc/;
$ref_files{$key} = "$dir".q|node45.html|; 
$noresave{$key} = "$nosave";

$key = q/snoni/;
$ref_files{$key} = "$dir".q|node47.html|; 
$noresave{$key} = "$nosave";

$key = q/splanp/;
$ref_files{$key} = "$dir".q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/spolar/;
$ref_files{$key} = "$dir".q|node124.html|; 
$noresave{$key} = "$nosave";

$key = q/spotn/;
$ref_files{$key} = "$dir".q|node13.html|; 
$noresave{$key} = "$nosave";

$key = q/spr/;
$ref_files{$key} = "$dir".q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/sprec/;
$ref_files{$key} = "$dir".q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/sprinc/;
$ref_files{$key} = "$dir".q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/sredm/;
$ref_files{$key} = "$dir".q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/srigid/;
$ref_files{$key} = "$dir".q|node64.html|; 
$noresave{$key} = "$nosave";

$key = q/sring/;
$ref_files{$key} = "$dir".q|node20.html|; 
$noresave{$key} = "$nosave";

$key = q/sroche/;
$ref_files{$key} = "$dir".q|node55.html|; 
$noresave{$key} = "$nosave";

$key = q/srot/;
$ref_files{$key} = "$dir".q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/srotk/;
$ref_files{$key} = "$dir".q|node68.html|; 
$noresave{$key} = "$nosave";

$key = q/ssat/;
$ref_files{$key} = "$dir".q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/sshm/;
$ref_files{$key} = "$dir".q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/ssoc/;
$ref_files{$key} = "$dir".q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/ssolids/;
$ref_files{$key} = "$dir".q|node137.html|; 
$noresave{$key} = "$nosave";

$key = q/sspheroid/;
$ref_files{$key} = "$dir".q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/stidalt/;
$ref_files{$key} = "$dir".q|node54.html|; 
$noresave{$key} = "$nosave";

$key = q/strans/;
$ref_files{$key} = "$dir".q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/stransx/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/strig/;
$ref_files{$key} = "$dir".q|node119.html|; 
$noresave{$key} = "$nosave";

$key = q/strojan/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/svec/;
$ref_files{$key} = "$dir".q|node120.html|; 
$noresave{$key} = "$nosave";

$key = q/sxprec/;
$ref_files{$key} = "$dir".q|node123.html|; 
$noresave{$key} = "$nosave";

$key = q/sxx3.5/;
$ref_files{$key} = "$dir".q|node18.html|; 
$noresave{$key} = "$nosave";

$key = q/t1/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/t2/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/t3/;
$ref_files{$key} = "$dir".q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/threeb/;
$ref_files{$key} = "$dir".q|node78.html|; 
$noresave{$key} = "$nosave";

$key = q/trojan/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/trojan1/;
$ref_files{$key} = "$dir".q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/tsatellite/;
$ref_files{$key} = "$dir".q|node99.html|; 
$noresave{$key} = "$nosave";

$key = q/xb1/;
$ref_files{$key} = "$dir".q|node130.html|; 
$noresave{$key} = "$nosave";

$key = q/xb10/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb12/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb13/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb15/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb15a/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb23/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xb25/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb30/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb31/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb32/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb33/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb34/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb34a/;
$ref_files{$key} = "$dir".q|node134.html|; 
$noresave{$key} = "$nosave";

$key = q/xb42/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb44/;
$ref_files{$key} = "$dir".q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/xb6/;
$ref_files{$key} = "$dir".q|node131.html|; 
$noresave{$key} = "$nosave";

$key = q/xb8/;
$ref_files{$key} = "$dir".q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/xxb42/;
$ref_files{$key} = "$dir".q|node134.html|; 
$noresave{$key} = "$nosave";

$key = q/xxe3.38/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/xxx3.40/;
$ref_files{$key} = "$dir".q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/zetadef/;
$ref_files{$key} = "$dir".q|node102.html|; 
$noresave{$key} = "$nosave";

1;

