# 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%:%user.html%:% <B>Rigi User's Manual</B> <BR> Version 5.4.1 <BR> <P CENTER> </P>' unless ($section_info{$key}); 
$done{"user.html"} = 1;
$key = q/0 0 5 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node121.html%:%Using Filters' unless ($section_info{$key}); 
$done{"node121.html"} = 1;
$key = q/0 0 5 10 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node90.html%:%Editing the source text for a node' unless ($section_info{$key}); 
$done{"node90.html"} = 1;
$key = q/0 0 5 14 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node127.html%:%Showing and hiding arcs by type' unless ($section_info{$key}); 
$done{"node127.html"} = 1;
$key = q/0 0 5 11 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node95.html%:%Changing current arc type' unless ($section_info{$key}); 
$done{"node95.html"} = 1;
$key = q/0 0 5 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node130.html%:%Fitting nodes within a window' unless ($section_info{$key}); 
$done{"node130.html"} = 1;
$key = q/0 0 5 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node161.html%:%Using the Toolbar' unless ($section_info{$key}); 
$done{"node161.html"} = 1;
$key = q/0 0 5 20 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node165.html%:%Revealing the children of a node' unless ($section_info{$key}); 
$done{"node165.html"} = 1;
$key = q/0 0 5 20 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node171.html%:%Adjusting the step size' unless ($section_info{$key}); 
$done{"node171.html"} = 1;
$key = q/0 0 6 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node184.html%:%Navigate menu' unless ($section_info{$key}); 
$done{"node184.html"} = 1;
$key = q/0 0 5 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node35.html%:%Overriding the configuration file' unless ($section_info{$key}); 
$done{"node35.html"} = 1;
$key = q/0 0 5 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node45.html%:%Retrieving previously entered commands' unless ($section_info{$key}); 
$done{"node45.html"} = 1;
$key = q/0 0 5 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node49.html%:%Exiting' unless ($section_info{$key}); 
$done{"node49.html"} = 1;
$key = q/0 0 5 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node51.html%:%Working with Graphs' unless ($section_info{$key}); 
$done{"node51.html"} = 1;
$key = q/0 0 4 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node19.html%:%Identifying subsystems' unless ($section_info{$key}); 
$done{"node19.html"} = 1;
$key = q/0 0 5 8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node64.html%:%Closing all windows' unless ($section_info{$key}); 
$done{"node64.html"} = 1;
$key = q/0 0 5 9 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node73.html%:%Deselecting a node' unless ($section_info{$key}); 
$done{"node73.html"} = 1;
$key = q/0 0 5 12 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node104.html%:%Presenting the neighbors of nodes' unless ($section_info{$key}); 
$done{"node104.html"} = 1;
$key = q/0 0 5 16 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node138.html%:%Moving several selected nodes' unless ($section_info{$key}); 
$done{"node138.html"} = 1;
$key = q/0 0 5 16 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node149.html%:%Moving nodes with constraints' unless ($section_info{$key}); 
$done{"node149.html"} = 1;
$key = q/0 0 5 16 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node144.html%:%Arranging reachable nodes along incoming arcs into a tree' unless ($section_info{$key}); 
$done{"node144.html"} = 1;
$key = q/0 0 6 4 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node192.html%:%Options menu' unless ($section_info{$key}); 
$done{"node192.html"} = 1;
$key = q/0 0 5 9 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node78.html%:%Selecting nodes by type' unless ($section_info{$key}); 
$done{"node78.html"} = 1;
$key = q/0 0 5 13 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node113.html%:%Deleting an arc' unless ($section_info{$key}); 
$done{"node113.html"} = 1;
$key = q/0 0 5 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node153.html%:%Viewing node neighborhood and dependency information' unless ($section_info{$key}); 
$done{"node153.html"} = 1;
$key = q/0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node83.html%:%Working with Nodes' unless ($section_info{$key}); 
$done{"node83.html"} = 1;
$key = q/0 0 5 10 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node89.html%:%Editing annotation for a node' unless ($section_info{$key}); 
$done{"node89.html"} = 1;
$key = q/0 0 5 14 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node126.html%:%Showing and hiding nodes by type' unless ($section_info{$key}); 
$done{"node126.html"} = 1;
$key = q/0 0 6 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node182.html%:%File menu' unless ($section_info{$key}); 
$done{"node182.html"} = 1;
$key = q/0 0 5 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node33.html%:%Creating a new configuration file' unless ($section_info{$key}); 
$done{"node33.html"} = 1;
$key = q/0 0 5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node41.html%:%Domain files' unless ($section_info{$key}); 
$done{"node41.html"} = 1;
$key = q/0 0 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node43.html%:%Running Scripts' unless ($section_info{$key}); 
$done{"node43.html"} = 1;
$key = q/0 0 4 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node17.html%:%Making selections' unless ($section_info{$key}); 
$done{"node17.html"} = 1;
$key = q/0 0 5 8 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node62.html%:%Updating a window' unless ($section_info{$key}); 
$done{"node62.html"} = 1;
$key = q/0 0 5 9 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node71.html%:%Selecting all nodes' unless ($section_info{$key}); 
$done{"node71.html"} = 1;
$key = q/0 0 5 11 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node94.html%:%Arc types' unless ($section_info{$key}); 
$done{"node94.html"} = 1;
$key = q/0 0 5 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node129.html%:%Scaling the Focus' unless ($section_info{$key}); 
$done{"node129.html"} = 1;
$key = q/0 0 5 11 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node100.html%:%Changing arc type colors' unless ($section_info{$key}); 
$done{"node100.html"} = 1;
$key = q/0 0 5 20 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node164.html%:%Presenting a SHriMP window' unless ($section_info{$key}); 
$done{"node164.html"} = 1;
$key = q/0 0 5 20 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node173.html%:%Layout constraints' unless ($section_info{$key}); 
$done{"node173.html"} = 1;
$key = q/0 0 5 15 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node135.html%:%Automatic scaling' unless ($section_info{$key}); 
$done{"node135.html"} = 1;
$key = q/0 0 5 20 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node170.html%:%Seeing the node name' unless ($section_info{$key}); 
$done{"node170.html"} = 1;
$key = q/0 0 5 13 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node119.html%:%Showing the clipboard' unless ($section_info{$key}); 
$done{"node119.html"} = 1;
$key = q/0 0 5 12 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node103.html%:%Presenting the parents of nodes' unless ($section_info{$key}); 
$done{"node103.html"} = 1;
$key = q/0 0 5 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node137.html%:%Moving a node' unless ($section_info{$key}); 
$done{"node137.html"} = 1;
$key = q/0 0 5 16 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node143.html%:%Arranging reachable nodes along outgoing arcs into a tree' unless ($section_info{$key}); 
$done{"node143.html"} = 1;
$key = q/0 0 6 4 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node191.html%:%Demo menu' unless ($section_info{$key}); 
$done{"node191.html"} = 1;
$key = q/0 0 5 9 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node77.html%:%Selecting nodes by structure' unless ($section_info{$key}); 
$done{"node77.html"} = 1;
$key = q/0 0 6 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node180.html%:%Keyboard Shortcuts' unless ($section_info{$key}); 
$done{"node180.html"} = 1;
$key = q/0 0 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node31.html%:%Configuring the Editor' unless ($section_info{$key}); 
$done{"node31.html"} = 1;
$key = q/0 0 5 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node29.html%:%Using the Node menu' unless ($section_info{$key}); 
$done{"node29.html"} = 1;
$key = q/0 0 5 13 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node112.html%:%Deleting nodes' unless ($section_info{$key}); 
$done{"node112.html"} = 1;
$key = q/0 0 6 4 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node189.html%:%Report menu' unless ($section_info{$key}); 
$done{"node189.html"} = 1;
$key = q/0 0 4 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node15.html%:%Traversing the subsystem hierarchy' unless ($section_info{$key}); 
$done{"node15.html"} = 1;
$key = q/0 0 5 8 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node60.html%:%Stacking (cascading) the windows' unless ($section_info{$key}); 
$done{"node60.html"} = 1;
$key = q/0 0 5 9 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node69.html%:%Selecting grouped nodes by dragging' unless ($section_info{$key}); 
$done{"node69.html"} = 1;
$key = q/0 0 5 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node152.html%:%Reporting cyclomatic complexity' unless ($section_info{$key}); 
$done{"node152.html"} = 1;
$key = q/0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node10.html%:%Ray Demo' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 5 13 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node118.html%:%Pasting a subgraph' unless ($section_info{$key}); 
$done{"node118.html"} = 1;
$key = q/0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:%System Requirements' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 5 10 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node88.html%:%Editing attributes of a node' unless ($section_info{$key}); 
$done{"node88.html"} = 1;
$key = q/0 0 4 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node25.html%:%Finishing Up' unless ($section_info{$key}); 
$done{"node25.html"} = 1;
$key = q/0 0 5 14 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node125.html%:%Showing previously hidden nodes' unless ($section_info{$key}); 
$done{"node125.html"} = 1;
$key = q/0 0 5 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node93.html%:%Working with Arcs' unless ($section_info{$key}); 
$done{"node93.html"} = 1;
$key = q/0 0 5 11 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node99.html%:%Opening a URL for an arc' unless ($section_info{$key}); 
$done{"node99.html"} = 1;
$key = q/0 0 5 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node163.html%:%Using SHriMP Windows' unless ($section_info{$key}); 
$done{"node163.html"} = 1;
$key = q/0 0 5 15 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node134.html%:%Restoring the focus' unless ($section_info{$key}); 
$done{"node134.html"} = 1;
$key = q/0 0 5 20 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node169.html%:%Reducing the size of a node' unless ($section_info{$key}); 
$done{"node169.html"} = 1;
$key = q/0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node178.html%:%Directory Structure' unless ($section_info{$key}); 
$done{"node178.html"} = 1;
$key = q/0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node27.html%:%Running the Editor' unless ($section_info{$key}); 
$done{"node27.html"} = 1;
$key = q/0 0 6 4 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node187.html%:%Scale menu' unless ($section_info{$key}); 
$done{"node187.html"} = 1;
$key = q/0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node13.html%:%Using the Editor' unless ($section_info{$key}); 
$done{"node13.html"} = 1;
$key = q/0 0 5 3 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node38.html%:%Defining fonts' unless ($section_info{$key}); 
$done{"node38.html"} = 1;
$key = q/0 0 5 7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node54.html%:%Loading a graph' unless ($section_info{$key}); 
$done{"node54.html"} = 1;
$key = q/0 0 5 8 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node58.html%:%Activating a window' unless ($section_info{$key}); 
$done{"node58.html"} = 1;
$key = q/0 0 5 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node67.html%:%Selecting a node' unless ($section_info{$key}); 
$done{"node67.html"} = 1;
$key = q/0 0 5 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node102.html%:%Presenting the children of nodes' unless ($section_info{$key}); 
$done{"node102.html"} = 1;
$key = q/0 0 5 16 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node146.html%:%Arranging all nodes in a spring layout' unless ($section_info{$key}); 
$done{"node146.html"} = 1;
$key = q/0 0 4 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node22.html%:%Graph quality' unless ($section_info{$key}); 
$done{"node22.html"} = 1;
$key = q/0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node7.html%:%Using the Editor' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 5 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node136.html%:%Making Arrangements' unless ($section_info{$key}); 
$done{"node136.html"} = 1;
$key = q/0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node3.html%:%What is Rigi?' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 5 12 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node108.html%:%Presenting a fisheye view' unless ($section_info{$key}); 
$done{"node108.html"} = 1;
$key = q/0 0 5 16 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node142.html%:%Arranging all nodes into a grid' unless ($section_info{$key}); 
$done{"node142.html"} = 1;
$key = q/0 0 5 9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node76.html%:%Selecting nodes by attribute' unless ($section_info{$key}); 
$done{"node76.html"} = 1;
$key = q/0 0 5 20 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node174.html%:%Presenting a Children window' unless ($section_info{$key}); 
$done{"node174.html"} = 1;
$key = q/0 0 5 9 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node82.html%:%Selecting reachable nodes along incoming arcs' unless ($section_info{$key}); 
$done{"node82.html"} = 1;
$key = q/0 0 5 13 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node111.html%:%Creating a new arc' unless ($section_info{$key}); 
$done{"node111.html"} = 1;
$key = q/0 0 5 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node151.html%:%Reporting numbers of nodes and arcs' unless ($section_info{$key}); 
$done{"node151.html"} = 1;
$key = q/0 0 5 13 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node117.html%:%Copying a subgraph' unless ($section_info{$key}); 
$done{"node117.html"} = 1;
$key = q/0 0 5 13 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node120.html%:%Clearing the clipboard' unless ($section_info{$key}); 
$done{"node120.html"} = 1;
$key = q/0 0 5 17 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node157.html%:%Reporting graph quality' unless ($section_info{$key}); 
$done{"node157.html"} = 1;
$key = q/0 0 5 10 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node87.html%:%Changing the type of a node' unless ($section_info{$key}); 
$done{"node87.html"} = 1;
$key = q/0 0 4 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node24.html%:%Scripting' unless ($section_info{$key}); 
$done{"node24.html"} = 1;
$key = q/0 0 5 14 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node124.html%:%Hiding selected nodes' unless ($section_info{$key}); 
$done{"node124.html"} = 1;
$key = q/0 0 6 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node185.html%:%Select menu' unless ($section_info{$key}); 
$done{"node185.html"} = 1;
$key = q/0 0 5 18 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node160.html%:%Loading a view' unless ($section_info{$key}); 
$done{"node160.html"} = 1;
$key = q/0 0 5 3 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node36.html%:%Defining the default text editor' unless ($section_info{$key}); 
$done{"node36.html"} = 1;
$key = q/0 0 5 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node46.html%:%Listing available commands' unless ($section_info{$key}); 
$done{"node46.html"} = 1;
$key = q/0 0 5 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node50.html%:%Aborting' unless ($section_info{$key}); 
$done{"node50.html"} = 1;
$key = q/0 0 5 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node52.html%:%Rigi Standard Format' unless ($section_info{$key}); 
$done{"node52.html"} = 1;
$key = q/0 0 5 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node56.html%:%Window Basics' unless ($section_info{$key}); 
$done{"node56.html"} = 1;
$key = q/0 0 5 9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node74.html%:%Deselecting all nodes' unless ($section_info{$key}); 
$done{"node74.html"} = 1;
$key = q/0 0 5 8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node65.html%:%Bringing up the Settings dialog' unless ($section_info{$key}); 
$done{"node65.html"} = 1;
$key = q/0 0 4 1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node20.html%:%Traversing the hierarchy' unless ($section_info{$key}); 
$done{"node20.html"} = 1;
$key = q/0 0 5 11 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node98.html%:%Editing annotation for an arc' unless ($section_info{$key}); 
$done{"node98.html"} = 1;
$key = q/0 0 5 15 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node133.html%:%Zooming out' unless ($section_info{$key}); 
$done{"node133.html"} = 1;
$key = q/0 0 5 20 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node168.html%:%Enlarging the size of a node' unless ($section_info{$key}); 
$done{"node168.html"} = 1;
$key = q/0 0 5 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node101.html%:%Opening windows' unless ($section_info{$key}); 
$done{"node101.html"} = 1;
$key = q/0 0 5 12 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node107.html%:%Presenting an overview' unless ($section_info{$key}); 
$done{"node107.html"} = 1;
$key = q/0 0 5 16 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node141.html%:%Arranging nodes into a grid' unless ($section_info{$key}); 
$done{"node141.html"} = 1;
$key = q/0 0 6 4 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node195.html%:%Arc menu' unless ($section_info{$key}); 
$done{"node195.html"} = 1;
$key = q/0 0 5 13 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node110.html%:%Creating a new node' unless ($section_info{$key}); 
$done{"node110.html"} = 1;
$key = q/0 0 5 9 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node81.html%:%Selecting reachable nodes along outgoing arcs' unless ($section_info{$key}); 
$done{"node81.html"} = 1;
$key = q/0 0 6 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node183.html%:%Edit menu' unless ($section_info{$key}); 
$done{"node183.html"} = 1;
$key = q/0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node48.html%:%Finishing Up' unless ($section_info{$key}); 
$done{"node48.html"} = 1;
$key = q/0 0 5 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node44.html%:%Entering a script command' unless ($section_info{$key}); 
$done{"node44.html"} = 1;
$key = q/0 0 5 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node42.html%:%Changing the current domain' unless ($section_info{$key}); 
$done{"node42.html"} = 1;
$key = q/0 0 5 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node34.html%:%Modifying a configuration file' unless ($section_info{$key}); 
$done{"node34.html"} = 1;
$key = q/0 0 5 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node150.html%:%Viewing Reports' unless ($section_info{$key}); 
$done{"node150.html"} = 1;
$key = q/0 0 5 13 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node116.html%:%Cutting a subgraph' unless ($section_info{$key}); 
$done{"node116.html"} = 1;
$key = q/0 0 5 9 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node72.html%:%Complementing selected nodes' unless ($section_info{$key}); 
$done{"node72.html"} = 1;
$key = q/0 0 5 8 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node63.html%:%Closing the active window' unless ($section_info{$key}); 
$done{"node63.html"} = 1;
$key = q/0 0 4 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node18.html%:%Arranging nodes' unless ($section_info{$key}); 
$done{"node18.html"} = 1;
$key = q/0 0 5 16 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node147.html%:%Moving nodes to a pile' unless ($section_info{$key}); 
$done{"node147.html"} = 1;
$key = q/0 0 5 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node156.html%:%Reporting information for a composite arc' unless ($section_info{$key}); 
$done{"node156.html"} = 1;
$key = q/0 0 5 10 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node86.html%:%Renaming a node' unless ($section_info{$key}); 
$done{"node86.html"} = 1;
$key = q/0 0 5 14 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node123.html%:%Showing names of nodes' unless ($section_info{$key}); 
$done{"node123.html"} = 1;
$key = q/0 0 4 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node23.html%:%Rigi Views' unless ($section_info{$key}); 
$done{"node23.html"} = 1;
$key = q/0 0 5 20 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node175.html%:%Viewing the annotation for a node' unless ($section_info{$key}); 
$done{"node175.html"} = 1;
$key = q/0 0 5 10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node92.html%:%Changing node type colors' unless ($section_info{$key}); 
$done{"node92.html"} = 1;
$key = q/0 0 5 18 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node159.html%:%Saving a view' unless ($section_info{$key}); 
$done{"node159.html"} = 1;
$key = q/0 0 5 11 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node97.html%:%Editing attributes of an arc' unless ($section_info{$key}); 
$done{"node97.html"} = 1;
$key = q/0 0 5 15 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node132.html%:%Zooming in' unless ($section_info{$key}); 
$done{"node132.html"} = 1;
$key = q/0 0 5 20 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node167.html%:%Filtering children' unless ($section_info{$key}); 
$done{"node167.html"} = 1;
$key = q/0 0 6 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node181.html%:%Menu Commands' unless ($section_info{$key}); 
$done{"node181.html"} = 1;
$key = q/0 0 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node40.html%:%Working with Domains' unless ($section_info{$key}); 
$done{"node40.html"} = 1;
$key = q/0 0 5 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node32.html%:%Rigi configuration parameters' unless ($section_info{$key}); 
$done{"node32.html"} = 1;
$key = q/0 0 5 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node30.html%:%Using the Arc menu' unless ($section_info{$key}); 
$done{"node30.html"} = 1;
$key = q/0 0 6 4 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node190.html%:%Window menu' unless ($section_info{$key}); 
$done{"node190.html"} = 1;
$key = q/0 0 5 9 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node70.html%:%Selecting and deselecting nodes by shift-clicking' unless ($section_info{$key}); 
$done{"node70.html"} = 1;
$key = q/0 0 5 8 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node61.html%:%Refreshing a window' unless ($section_info{$key}); 
$done{"node61.html"} = 1;
$key = q/0 0 4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node16.html%:%Object level' unless ($section_info{$key}); 
$done{"node16.html"} = 1;
$key = q/0 0 5 12 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node106.html%:%Presenting a projection' unless ($section_info{$key}); 
$done{"node106.html"} = 1;
$key = q/0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node11.html%:%SQL/DS Demo' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 5 16 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node140.html%:%Arranging nodes vertically' unless ($section_info{$key}); 
$done{"node140.html"} = 1;
$key = q/0 0 6 4 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node194.html%:%Node menu' unless ($section_info{$key}); 
$done{"node194.html"} = 1;
$key = q/0 0 5 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node109.html%:%Editing the Graph' unless ($section_info{$key}); 
$done{"node109.html"} = 1;
$key = q/0 0 5 9 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node80.html%:%Selecting neighboring nodes along incoming arcs' unless ($section_info{$key}); 
$done{"node80.html"} = 1;
$key = q/0 0 5 13 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node115.html%:%Expanding a subsystem' unless ($section_info{$key}); 
$done{"node115.html"} = 1;
$key = q/0 0 5 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node155.html%:%Viewing information for an arc' unless ($section_info{$key}); 
$done{"node155.html"} = 1;
$key = q/0 0 5 10 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node85.html%:%Changing current node type' unless ($section_info{$key}); 
$done{"node85.html"} = 1;
$key = q/0 0 5 14 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node122.html%:%Hiding names of nodes' unless ($section_info{$key}); 
$done{"node122.html"} = 1;
$key = q/0 0 5 10 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node91.html%:%Opening a URL for a node' unless ($section_info{$key}); 
$done{"node91.html"} = 1;
$key = q/0 0 5 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node158.html%:%Working with Views' unless ($section_info{$key}); 
$done{"node158.html"} = 1;
$key = q/0 0 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node179.html%:%Mouse Actions' unless ($section_info{$key}); 
$done{"node179.html"} = 1;
$key = q/0 0 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node28.html%:%Working with Menus' unless ($section_info{$key}); 
$done{"node28.html"} = 1;
$key = q/0 0 5 14 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node128.html%:%Inheriting filter settings' unless ($section_info{$key}); 
$done{"node128.html"} = 1;
$key = q/0 0 6 4 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node188.html%:%Layout menu' unless ($section_info{$key}); 
$done{"node188.html"} = 1;
$key = q/0 0 5 9 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node68.html%:%Selecting an arc' unless ($section_info{$key}); 
$done{"node68.html"} = 1;
$key = q/0 0 5 8 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node59.html%:%Raising the active window' unless ($section_info{$key}); 
$done{"node59.html"} = 1;
$key = q/0 0 5 7 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node55.html%:%Clearing a graph' unless ($section_info{$key}); 
$done{"node55.html"} = 1;
$key = q/0 0 5 3 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node39.html%:%Defining the default database directory' unless ($section_info{$key}); 
$done{"node39.html"} = 1;
$key = q/0 0 4 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node14.html%:%Basics' unless ($section_info{$key}); 
$done{"node14.html"} = 1;
$key = q/0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node9.html%:%List Demo' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node8.html%:%Basics' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 5 16 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node148.html%:%Moving nodes in synch' unless ($section_info{$key}); 
$done{"node148.html"} = 1;
$key = q/0 0 5 11 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node96.html%:%Changing the type of an arc' unless ($section_info{$key}); 
$done{"node96.html"} = 1;
$key = q/0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node4.html%:%About This Book' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 5 15 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node131.html%:%Fitting selected nodes within a window' unless ($section_info{$key}); 
$done{"node131.html"} = 1;
$key = q/0 0 5 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node162.html%:%Toolbar Buttons' unless ($section_info{$key}); 
$done{"node162.html"} = 1;
$key = q/0 0 5 20 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node166.html%:%Eliding the children of a node' unless ($section_info{$key}); 
$done{"node166.html"} = 1;
$key = q/0 0 5 20 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node176.html%:%Editing the source text for a node' unless ($section_info{$key}); 
$done{"node176.html"} = 1;
$key = q/0 0 5 20 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node172.html%:%Overlapping children' unless ($section_info{$key}); 
$done{"node172.html"} = 1;
$key = q/0 0 5 12 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node105.html%:%Presenting selected nodes in a new window' unless ($section_info{$key}); 
$done{"node105.html"} = 1;
$key = q/0 0 5 16 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node139.html%:%Arranging nodes horizontally' unless ($section_info{$key}); 
$done{"node139.html"} = 1;
$key = q/0 0 5 16 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node145.html%:%Arranging all nodes in a Sugiyama layout' unless ($section_info{$key}); 
$done{"node145.html"} = 1;
$key = q/0 0 6 4 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node193.html%:%Help menu' unless ($section_info{$key}); 
$done{"node193.html"} = 1;
$key = q/0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node196.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node196.html"} = 1;
$key = q/0 0 5 9 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node79.html%:%Selecting neighboring nodes along outgoing arcs' unless ($section_info{$key}); 
$done{"node79.html"} = 1;
$key = q/0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node177.html%:%node177.html' unless ($section_info{$key}); 
$done{"node177.html"} = 1;
$key = q/0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node26.html%:%Handbook' unless ($section_info{$key}); 
$done{"node26.html"} = 1;
$key = q/0 0 6 4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node186.html%:%Filter menu' unless ($section_info{$key}); 
$done{"node186.html"} = 1;
$key = q/0 0 5 13 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node114.html%:%Collapsing a subsystem' unless ($section_info{$key}); 
$done{"node114.html"} = 1;
$key = q/0 0 5 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node66.html%:%Making Selections' unless ($section_info{$key}); 
$done{"node66.html"} = 1;
$key = q/0 0 5 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node57.html%:%Window types' unless ($section_info{$key}); 
$done{"node57.html"} = 1;
$key = q/0 0 5 7 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node53.html%:%Saving a graph' unless ($section_info{$key}); 
$done{"node53.html"} = 1;
$key = q/0 0 5 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node47.html%:%Listing global variables' unless ($section_info{$key}); 
$done{"node47.html"} = 1;
$key = q/0 0 5 3 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node37.html%:%Defining the default web browser' unless ($section_info{$key}); 
$done{"node37.html"} = 1;
$key = q/0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node12.html%:%Tutorial' unless ($section_info{$key}); 
$done{"node12.html"} = 1;
$key = q/0 0 5 9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node75.html%:%Selecting nodes by name' unless ($section_info{$key}); 
$done{"node75.html"} = 1;
$key = q/0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node6.html%:%Demos' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 4 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node21.html%:%Detailed information' unless ($section_info{$key}); 
$done{"node21.html"} = 1;
$key = q/0 0 5 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node154.html%:%Reporting subsystem dependency information' unless ($section_info{$key}); 
$done{"node154.html"} = 1;
$key = q/0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node2.html%:%Introduction' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 5 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node84.html%:%Node types' unless ($section_info{$key}); 
$done{"node84.html"} = 1;
$key = q/0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '2%:%node1.html%:%Contents' unless ($section_info{$key}); 
$done{"node1.html"} = 1;

1;

