inf(p('Scale', 0),p('Undo', 1)).
inf(p('Scale', 0),p('Redo', 1)).
inf(p('Toggle Toolbar', 0),p('Undo', 1)).
inf(p('Toggle Toolbar', 0),p('Redo', 1)).
inf(p('Toggle Left', 0),p('Undo', 1)).
inf(p('Toggle Left', 0),p('Redo', 1)).
inf(p('Zoom In', 0),p('Undo', 1)).
inf(p('Zoom In', 0),p('Redo', 1)).
inf(p('Zoom Out', 0),p('Undo', 1)).
inf(p('Zoom Out', 0),p('Redo', 1)).
inf(p('Zoom to Fit to Page', 0),p('Undo', 1)).
inf(p('Zoom to Fit to Page', 0),p('Redo', 1)).
inf(p('Automatic Layout', 0),p('Redo', 1)).
inf(p('Blinking Node', 0),p('Redo', 1)).
inf(p('Show Icon Hierarchically', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Scale', 1)).
inf(p('Undo', 0),p('Toggle Toolbar', 1)).
inf(p('Undo', 0),p('Toggle Left', 1)).
inf(p('Undo', 0),p('Zoom In', 1)).
inf(p('Undo', 0),p('Zoom Out', 1)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 1)).
inf(p('Undo', 0),p('Automatic Layout', 1)).
inf(p('Undo', 0),p('Blinking Node', 1)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 1)).
inf(p('Undo', 0),p('Undo', 1)).
inf(p('Undo', 0),p('Redo', 1)).
inf(p('Redo', 0),p('Scale', 1)).
inf(p('Redo', 0),p('Toggle Toolbar', 1)).
inf(p('Redo', 0),p('Toggle Left', 1)).
inf(p('Redo', 0),p('Zoom In', 1)).
inf(p('Redo', 0),p('Zoom Out', 1)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 1)).
inf(p('Redo', 0),p('Automatic Layout', 1)).
inf(p('Redo', 0),p('Blinking Node', 1)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 1)).
inf(p('Redo', 0),p('Undo', 1)).
inf(p('Redo', 0),p('Redo', 1)).
inf(p('Scale', 0),p('Redo', 2)).
inf(p('Toggle Toolbar', 0),p('Redo', 2)).
inf(p('Toggle Left', 0),p('Redo', 2)).
inf(p('Zoom In', 0),p('Redo', 2)).
inf(p('Zoom Out', 0),p('Redo', 2)).
inf(p('Zoom to Fit to Page', 0),p('Redo', 2)).
inf(p('Undo', 0),p('Scale', 2)).
inf(p('Undo', 0),p('Toggle Toolbar', 2)).
inf(p('Undo', 0),p('Toggle Left', 2)).
inf(p('Undo', 0),p('Zoom In', 2)).
inf(p('Undo', 0),p('Zoom Out', 2)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 2)).
inf(p('Undo', 0),p('Automatic Layout', 2)).
inf(p('Undo', 0),p('Blinking Node', 2)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 2)).
inf(p('Undo', 0),p('Undo', 2)).
inf(p('Undo', 0),p('Redo', 2)).
inf(p('Redo', 0),p('Scale', 2)).
inf(p('Redo', 0),p('Toggle Toolbar', 2)).
inf(p('Redo', 0),p('Toggle Left', 2)).
inf(p('Redo', 0),p('Zoom In', 2)).
inf(p('Redo', 0),p('Zoom Out', 2)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 2)).
inf(p('Redo', 0),p('Automatic Layout', 2)).
inf(p('Redo', 0),p('Blinking Node', 2)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 2)).
inf(p('Redo', 0),p('Undo', 2)).
inf(p('Redo', 0),p('Redo', 2)).
inf(p('Scale', 0),p('Redo', 3)).
inf(p('Toggle Toolbar', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Scale', 3)).
inf(p('Undo', 0),p('Toggle Toolbar', 3)).
inf(p('Undo', 0),p('Toggle Left', 3)).
inf(p('Undo', 0),p('Zoom In', 3)).
inf(p('Undo', 0),p('Zoom Out', 3)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 3)).
inf(p('Undo', 0),p('Automatic Layout', 3)).
inf(p('Undo', 0),p('Blinking Node', 3)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 3)).
inf(p('Undo', 0),p('Undo', 3)).
inf(p('Undo', 0),p('Redo', 3)).
inf(p('Redo', 0),p('Scale', 3)).
inf(p('Redo', 0),p('Toggle Toolbar', 3)).
inf(p('Redo', 0),p('Toggle Left', 3)).
inf(p('Redo', 0),p('Zoom In', 3)).
inf(p('Redo', 0),p('Zoom Out', 3)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 3)).
inf(p('Redo', 0),p('Automatic Layout', 3)).
inf(p('Redo', 0),p('Blinking Node', 3)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 3)).
inf(p('Redo', 0),p('Undo', 3)).
inf(p('Redo', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Scale', 4)).
inf(p('Undo', 0),p('Toggle Toolbar', 4)).
inf(p('Undo', 0),p('Toggle Left', 4)).
inf(p('Undo', 0),p('Zoom In', 4)).
inf(p('Undo', 0),p('Zoom Out', 4)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 4)).
inf(p('Undo', 0),p('Automatic Layout', 4)).
inf(p('Undo', 0),p('Blinking Node', 4)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 4)).
inf(p('Undo', 0),p('Undo', 4)).
inf(p('Undo', 0),p('Redo', 4)).
inf(p('Redo', 0),p('Scale', 4)).
inf(p('Redo', 0),p('Toggle Toolbar', 4)).
inf(p('Redo', 0),p('Toggle Left', 4)).
inf(p('Redo', 0),p('Zoom In', 4)).
inf(p('Redo', 0),p('Zoom Out', 4)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 4)).
inf(p('Redo', 0),p('Automatic Layout', 4)).
inf(p('Redo', 0),p('Blinking Node', 4)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 4)).
inf(p('Redo', 0),p('Undo', 4)).
inf(p('Redo', 0),p('Redo', 4)).
inf(p('Undo', 0),p('Scale', 5)).
inf(p('Undo', 0),p('Toggle Toolbar', 5)).
inf(p('Undo', 0),p('Toggle Left', 5)).
inf(p('Undo', 0),p('Zoom In', 5)).
inf(p('Undo', 0),p('Zoom Out', 5)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 5)).
inf(p('Undo', 0),p('Automatic Layout', 5)).
inf(p('Undo', 0),p('Blinking Node', 5)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 5)).
inf(p('Undo', 0),p('Undo', 5)).
inf(p('Undo', 0),p('Redo', 5)).
inf(p('Redo', 0),p('Scale', 5)).
inf(p('Redo', 0),p('Toggle Toolbar', 5)).
inf(p('Redo', 0),p('Toggle Left', 5)).
inf(p('Redo', 0),p('Zoom In', 5)).
inf(p('Redo', 0),p('Zoom Out', 5)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 5)).
inf(p('Redo', 0),p('Automatic Layout', 5)).
inf(p('Redo', 0),p('Blinking Node', 5)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 5)).
inf(p('Redo', 0),p('Undo', 5)).
inf(p('Redo', 0),p('Redo', 5)).
inf(p('Undo', 0),p('Scale', 6)).
inf(p('Undo', 0),p('Toggle Toolbar', 6)).
inf(p('Undo', 0),p('Toggle Left', 6)).
inf(p('Undo', 0),p('Zoom In', 6)).
inf(p('Undo', 0),p('Zoom Out', 6)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 6)).
inf(p('Undo', 0),p('Automatic Layout', 6)).
inf(p('Undo', 0),p('Blinking Node', 6)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 6)).
inf(p('Undo', 0),p('Undo', 6)).
inf(p('Undo', 0),p('Redo', 6)).
inf(p('Redo', 0),p('Scale', 6)).
inf(p('Redo', 0),p('Toggle Toolbar', 6)).
inf(p('Redo', 0),p('Toggle Left', 6)).
inf(p('Redo', 0),p('Zoom In', 6)).
inf(p('Redo', 0),p('Zoom Out', 6)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 6)).
inf(p('Redo', 0),p('Automatic Layout', 6)).
inf(p('Redo', 0),p('Blinking Node', 6)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 6)).
inf(p('Redo', 0),p('Undo', 6)).
inf(p('Redo', 0),p('Redo', 6)).
inf(p('Undo', 0),p('Scale', 7)).
inf(p('Undo', 0),p('Toggle Toolbar', 7)).
inf(p('Undo', 0),p('Toggle Left', 7)).
inf(p('Undo', 0),p('Zoom In', 7)).
inf(p('Undo', 0),p('Zoom Out', 7)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 7)).
inf(p('Undo', 0),p('Automatic Layout', 7)).
inf(p('Undo', 0),p('Blinking Node', 7)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 7)).
inf(p('Undo', 0),p('Undo', 7)).
inf(p('Undo', 0),p('Redo', 7)).
inf(p('Redo', 0),p('Scale', 7)).
inf(p('Redo', 0),p('Toggle Toolbar', 7)).
inf(p('Redo', 0),p('Toggle Left', 7)).
inf(p('Redo', 0),p('Zoom In', 7)).
inf(p('Redo', 0),p('Zoom Out', 7)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 7)).
inf(p('Redo', 0),p('Automatic Layout', 7)).
inf(p('Redo', 0),p('Blinking Node', 7)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 7)).
inf(p('Redo', 0),p('Undo', 7)).
inf(p('Redo', 0),p('Redo', 7)).
inf(p('Undo', 0),p('Scale', 8)).
inf(p('Undo', 0),p('Toggle Toolbar', 8)).
inf(p('Undo', 0),p('Toggle Left', 8)).
inf(p('Undo', 0),p('Zoom In', 8)).
inf(p('Undo', 0),p('Zoom Out', 8)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 8)).
inf(p('Undo', 0),p('Automatic Layout', 8)).
inf(p('Undo', 0),p('Blinking Node', 8)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 8)).
inf(p('Undo', 0),p('Undo', 8)).
inf(p('Undo', 0),p('Redo', 8)).
inf(p('Redo', 0),p('Scale', 8)).
inf(p('Redo', 0),p('Toggle Toolbar', 8)).
inf(p('Redo', 0),p('Toggle Left', 8)).
inf(p('Redo', 0),p('Zoom In', 8)).
inf(p('Redo', 0),p('Zoom Out', 8)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 8)).
inf(p('Redo', 0),p('Automatic Layout', 8)).
inf(p('Redo', 0),p('Blinking Node', 8)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 8)).
inf(p('Redo', 0),p('Undo', 8)).
inf(p('Redo', 0),p('Redo', 8)).
inf(p('Undo', 0),p('Scale', 9)).
inf(p('Undo', 0),p('Toggle Toolbar', 9)).
inf(p('Undo', 0),p('Toggle Left', 9)).
inf(p('Undo', 0),p('Zoom In', 9)).
inf(p('Undo', 0),p('Zoom Out', 9)).
inf(p('Undo', 0),p('Zoom to Fit to Page', 9)).
inf(p('Undo', 0),p('Automatic Layout', 9)).
inf(p('Undo', 0),p('Blinking Node', 9)).
inf(p('Undo', 0),p('Show Icon Hierarchically', 9)).
inf(p('Undo', 0),p('Undo', 9)).
inf(p('Undo', 0),p('Redo', 9)).
inf(p('Redo', 0),p('Scale', 9)).
inf(p('Redo', 0),p('Toggle Toolbar', 9)).
inf(p('Redo', 0),p('Toggle Left', 9)).
inf(p('Redo', 0),p('Zoom In', 9)).
inf(p('Redo', 0),p('Zoom Out', 9)).
inf(p('Redo', 0),p('Zoom to Fit to Page', 9)).
inf(p('Redo', 0),p('Automatic Layout', 9)).
inf(p('Redo', 0),p('Blinking Node', 9)).
inf(p('Redo', 0),p('Show Icon Hierarchically', 9)).
inf(p('Redo', 0),p('Undo', 9)).
inf(p('Redo', 0),p('Redo', 9)).
inf(p('Scale', 1),p('Redo', 2)).
inf(p('Toggle Toolbar', 1),p('Redo', 2)).
inf(p('Toggle Left', 1),p('Redo', 2)).
inf(p('Zoom In', 1),p('Redo', 2)).
inf(p('Zoom Out', 1),p('Redo', 2)).
inf(p('Zoom to Fit to Page', 1),p('Redo', 2)).
inf(p('Automatic Layout', 1),p('Redo', 2)).
inf(p('Blinking Node', 1),p('Redo', 2)).
inf(p('Show Icon Hierarchically', 1),p('Redo', 2)).
inf(p('Undo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Scale', 2)).
inf(p('Redo', 1),p('Toggle Toolbar', 2)).
inf(p('Redo', 1),p('Toggle Left', 2)).
inf(p('Redo', 1),p('Zoom In', 2)).
inf(p('Redo', 1),p('Zoom Out', 2)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 2)).
inf(p('Redo', 1),p('Automatic Layout', 2)).
inf(p('Redo', 1),p('Blinking Node', 2)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 2)).
inf(p('Redo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Redo', 2)).
inf(p('Zoom In', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Scale', 3)).
inf(p('Redo', 1),p('Toggle Toolbar', 3)).
inf(p('Redo', 1),p('Toggle Left', 3)).
inf(p('Redo', 1),p('Zoom In', 3)).
inf(p('Redo', 1),p('Zoom Out', 3)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 3)).
inf(p('Redo', 1),p('Automatic Layout', 3)).
inf(p('Redo', 1),p('Blinking Node', 3)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 3)).
inf(p('Redo', 1),p('Undo', 3)).
inf(p('Redo', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Scale', 4)).
inf(p('Redo', 1),p('Toggle Toolbar', 4)).
inf(p('Redo', 1),p('Toggle Left', 4)).
inf(p('Redo', 1),p('Zoom In', 4)).
inf(p('Redo', 1),p('Zoom Out', 4)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 4)).
inf(p('Redo', 1),p('Automatic Layout', 4)).
inf(p('Redo', 1),p('Blinking Node', 4)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 4)).
inf(p('Redo', 1),p('Undo', 4)).
inf(p('Redo', 1),p('Redo', 4)).
inf(p('Redo', 1),p('Scale', 5)).
inf(p('Redo', 1),p('Toggle Toolbar', 5)).
inf(p('Redo', 1),p('Toggle Left', 5)).
inf(p('Redo', 1),p('Zoom In', 5)).
inf(p('Redo', 1),p('Zoom Out', 5)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 5)).
inf(p('Redo', 1),p('Automatic Layout', 5)).
inf(p('Redo', 1),p('Blinking Node', 5)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 5)).
inf(p('Redo', 1),p('Undo', 5)).
inf(p('Redo', 1),p('Redo', 5)).
inf(p('Redo', 1),p('Scale', 6)).
inf(p('Redo', 1),p('Toggle Toolbar', 6)).
inf(p('Redo', 1),p('Toggle Left', 6)).
inf(p('Redo', 1),p('Zoom In', 6)).
inf(p('Redo', 1),p('Zoom Out', 6)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 6)).
inf(p('Redo', 1),p('Automatic Layout', 6)).
inf(p('Redo', 1),p('Blinking Node', 6)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 6)).
inf(p('Redo', 1),p('Undo', 6)).
inf(p('Redo', 1),p('Redo', 6)).
inf(p('Redo', 1),p('Scale', 7)).
inf(p('Redo', 1),p('Toggle Toolbar', 7)).
inf(p('Redo', 1),p('Toggle Left', 7)).
inf(p('Redo', 1),p('Zoom In', 7)).
inf(p('Redo', 1),p('Zoom Out', 7)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 7)).
inf(p('Redo', 1),p('Automatic Layout', 7)).
inf(p('Redo', 1),p('Blinking Node', 7)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 7)).
inf(p('Redo', 1),p('Undo', 7)).
inf(p('Redo', 1),p('Redo', 7)).
inf(p('Redo', 1),p('Scale', 8)).
inf(p('Redo', 1),p('Toggle Toolbar', 8)).
inf(p('Redo', 1),p('Toggle Left', 8)).
inf(p('Redo', 1),p('Zoom In', 8)).
inf(p('Redo', 1),p('Zoom Out', 8)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 8)).
inf(p('Redo', 1),p('Automatic Layout', 8)).
inf(p('Redo', 1),p('Blinking Node', 8)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 8)).
inf(p('Redo', 1),p('Undo', 8)).
inf(p('Redo', 1),p('Redo', 8)).
inf(p('Redo', 1),p('Scale', 9)).
inf(p('Redo', 1),p('Toggle Toolbar', 9)).
inf(p('Redo', 1),p('Toggle Left', 9)).
inf(p('Redo', 1),p('Zoom In', 9)).
inf(p('Redo', 1),p('Zoom Out', 9)).
inf(p('Redo', 1),p('Zoom to Fit to Page', 9)).
inf(p('Redo', 1),p('Automatic Layout', 9)).
inf(p('Redo', 1),p('Blinking Node', 9)).
inf(p('Redo', 1),p('Show Icon Hierarchically', 9)).
inf(p('Redo', 1),p('Undo', 9)).
inf(p('Redo', 1),p('Redo', 9)).
inf(p('Toggle Toolbar', 2),p('Redo', 3)).
inf(p('Toggle Left', 2),p('Redo', 3)).
inf(p('Zoom Out', 2),p('Redo', 3)).
inf(p('Automatic Layout', 2),p('Redo', 3)).
inf(p('Blinking Node', 2),p('Redo', 3)).
inf(p('Show Icon Hierarchically', 2),p('Redo', 3)).
inf(p('Redo', 2),p('Scale', 3)).
inf(p('Redo', 2),p('Redo', 3)).
inf(p('Zoom In', 2),p('Redo', 4)).
inf(p('Redo', 2),p('Toggle Left', 4)).
inf(p('Redo', 2),p('Zoom Out', 4)).
inf(p('Redo', 2),p('Redo', 5)).
inf(p('Redo', 2),p('Zoom to Fit to Page', 6)).
inf(p('Redo', 2),p('Zoom In', 7)).
inf(p('Redo', 2),p('Blinking Node', 7)).
inf(p('Redo', 2),p('Zoom to Fit to Page', 9)).
inf(p('Scale', 3),p('Redo', 4)).
inf(p('Automatic Layout', 3),p('Redo', 4)).
inf(p('Blinking Node', 3),p('Redo', 4)).
inf(p('Show Icon Hierarchically', 3),p('Redo', 4)).
inf(p('Redo', 3),p('Redo', 4)).
inf(p('Scale', 3),p('Redo', 5)).
inf(p('Redo', 3),p('Redo', 6)).
inf(p('Automatic Layout', 4),p('Redo', 5)).
inf(p('Blinking Node', 4),p('Redo', 5)).
inf(p('Show Icon Hierarchically', 4),p('Redo', 5)).
inf(p('Zoom Out', 5),p('Redo', 6)).
inf(p('Automatic Layout', 5),p('Redo', 6)).
inf(p('Blinking Node', 5),p('Redo', 6)).
inf(p('Show Icon Hierarchically', 5),p('Redo', 6)).
inf(p('Redo', 5),p('Redo', 6)).
inf(p('Automatic Layout', 6),p('Redo', 7)).
inf(p('Blinking Node', 6),p('Redo', 7)).
inf(p('Show Icon Hierarchically', 6),p('Redo', 7)).
inf(p('Redo', 6),p('Redo', 7)).
inf(p('Toggle Left', 6),p('Redo', 8)).
inf(p('Automatic Layout', 7),p('Redo', 8)).
inf(p('Blinking Node', 7),p('Redo', 8)).
inf(p('Show Icon Hierarchically', 7),p('Redo', 8)).
inf(p('Automatic Layout', 7),p('Redo', 9)).
inf(p('Show Icon Hierarchically', 7),p('Redo', 9)).
inf(p('Automatic Layout', 8),p('Redo', 9)).
inf(p('Blinking Node', 8),p('Redo', 9)).
inf(p('Show Icon Hierarchically', 8),p('Redo', 9)).