# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate sections original text with physical files.

$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%chast1.html%:%נעולוףפר' unless ($section_info{$key}); 
$done{"chast1.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node2.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node3.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node4.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node6.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node7.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node8.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node9.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node10.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node20.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node20.html"} = 1;
$key = q/0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node11.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 0 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node21.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node21.html"} = 1;
$key = q/0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node12.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node12.html"} = 1;
$key = q/0 0 0 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node22.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node22.html"} = 1;
$key = q/0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node13.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node13.html"} = 1;
$key = q/0 0 0 23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node23.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node23.html"} = 1;
$key = q/0 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node14.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node14.html"} = 1;
$key = q/0 0 0 24 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node24.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node24.html"} = 1;
$key = q/0 0 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node15.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node15.html"} = 1;
$key = q/0 0 0 25 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node25.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node25.html"} = 1;
$key = q/0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node16.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node16.html"} = 1;
$key = q/0 0 0 26 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node26.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node26.html"} = 1;
$key = q/0 0 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node17.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node17.html"} = 1;
$key = q/0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node18.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node18.html"} = 1;
$key = q/0 0 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node19.html%:%  *     *     * ' unless ($section_info{$key}); 
$done{"node19.html"} = 1;

1;

