inf(p('Select All Visible', 0),p('Undo', 1)).
inf(p('Select All Visible', 0),p('Redo', 1)).
inf(p('Select Visible Branch', 0),p('Undo', 1)).
inf(p('Select Visible Branch', 0),p('Redo', 1)).
inf(p('Cut', 0),p('Undo', 1)).
inf(p('Cut', 0),p('Redo', 1)).
inf(p('Copy', 0),p('Undo', 1)).
inf(p('Copy', 0),p('Redo', 1)).
inf(p('Copy Single', 0),p('Undo', 1)).
inf(p('Copy Single', 0),p('Redo', 1)).
inf(p('Paste', 0),p('Redo', 1)).
inf(p('Copy Format', 0),p('Undo', 1)).
inf(p('Copy Format', 0),p('Redo', 1)).
inf(p('Paste Format', 0),p('Undo', 1)).
inf(p('Paste Format', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Select All Visible', 1)).
inf(p('Undo', 0),p('Select Visible Branch', 1)).
inf(p('Undo', 0),p('Cut', 1)).
inf(p('Undo', 0),p('Copy', 1)).
inf(p('Undo', 0),p('Copy Single', 1)).
inf(p('Undo', 0),p('Paste', 1)).
inf(p('Undo', 0),p('Copy Format', 1)).
inf(p('Undo', 0),p('Paste Format', 1)).
inf(p('Undo', 0),p('Undo', 1)).
inf(p('Undo', 0),p('Redo', 1)).
inf(p('Redo', 0),p('Select All Visible', 1)).
inf(p('Redo', 0),p('Select Visible Branch', 1)).
inf(p('Redo', 0),p('Cut', 1)).
inf(p('Redo', 0),p('Copy', 1)).
inf(p('Redo', 0),p('Copy Single', 1)).
inf(p('Redo', 0),p('Paste', 1)).
inf(p('Redo', 0),p('Copy Format', 1)).
inf(p('Redo', 0),p('Paste Format', 1)).
inf(p('Redo', 0),p('Undo', 1)).
inf(p('Redo', 0),p('Redo', 1)).
inf(p('Select All Visible', 0),p('Redo', 2)).
inf(p('Select Visible Branch', 0),p('Redo', 2)).
inf(p('Cut', 0),p('Redo', 2)).
inf(p('Copy', 0),p('Redo', 2)).
inf(p('Copy Single', 0),p('Redo', 2)).
inf(p('Copy Format', 0),p('Redo', 2)).
inf(p('Paste Format', 0),p('Redo', 2)).
inf(p('Undo', 0),p('Select All Visible', 2)).
inf(p('Undo', 0),p('Select Visible Branch', 2)).
inf(p('Undo', 0),p('Cut', 2)).
inf(p('Undo', 0),p('Copy', 2)).
inf(p('Undo', 0),p('Copy Single', 2)).
inf(p('Undo', 0),p('Paste', 2)).
inf(p('Undo', 0),p('Copy Format', 2)).
inf(p('Undo', 0),p('Paste Format', 2)).
inf(p('Undo', 0),p('Undo', 2)).
inf(p('Undo', 0),p('Redo', 2)).
inf(p('Redo', 0),p('Select All Visible', 2)).
inf(p('Redo', 0),p('Select Visible Branch', 2)).
inf(p('Redo', 0),p('Cut', 2)).
inf(p('Redo', 0),p('Copy', 2)).
inf(p('Redo', 0),p('Copy Single', 2)).
inf(p('Redo', 0),p('Paste', 2)).
inf(p('Redo', 0),p('Copy Format', 2)).
inf(p('Redo', 0),p('Paste Format', 2)).
inf(p('Redo', 0),p('Undo', 2)).
inf(p('Redo', 0),p('Redo', 2)).
inf(p('Copy', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Select All Visible', 3)).
inf(p('Undo', 0),p('Select Visible Branch', 3)).
inf(p('Undo', 0),p('Cut', 3)).
inf(p('Undo', 0),p('Copy', 3)).
inf(p('Undo', 0),p('Copy Single', 3)).
inf(p('Undo', 0),p('Paste', 3)).
inf(p('Undo', 0),p('Copy Format', 3)).
inf(p('Undo', 0),p('Paste Format', 3)).
inf(p('Undo', 0),p('Undo', 3)).
inf(p('Undo', 0),p('Redo', 3)).
inf(p('Redo', 0),p('Select All Visible', 3)).
inf(p('Redo', 0),p('Select Visible Branch', 3)).
inf(p('Redo', 0),p('Cut', 3)).
inf(p('Redo', 0),p('Copy', 3)).
inf(p('Redo', 0),p('Copy Single', 3)).
inf(p('Redo', 0),p('Paste', 3)).
inf(p('Redo', 0),p('Copy Format', 3)).
inf(p('Redo', 0),p('Paste Format', 3)).
inf(p('Redo', 0),p('Undo', 3)).
inf(p('Redo', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Select All Visible', 4)).
inf(p('Undo', 0),p('Select Visible Branch', 4)).
inf(p('Undo', 0),p('Cut', 4)).
inf(p('Undo', 0),p('Copy', 4)).
inf(p('Undo', 0),p('Copy Single', 4)).
inf(p('Undo', 0),p('Paste', 4)).
inf(p('Undo', 0),p('Copy Format', 4)).
inf(p('Undo', 0),p('Paste Format', 4)).
inf(p('Undo', 0),p('Undo', 4)).
inf(p('Undo', 0),p('Redo', 4)).
inf(p('Redo', 0),p('Select All Visible', 4)).
inf(p('Redo', 0),p('Select Visible Branch', 4)).
inf(p('Redo', 0),p('Cut', 4)).
inf(p('Redo', 0),p('Copy', 4)).
inf(p('Redo', 0),p('Copy Single', 4)).
inf(p('Redo', 0),p('Paste', 4)).
inf(p('Redo', 0),p('Copy Format', 4)).
inf(p('Redo', 0),p('Paste Format', 4)).
inf(p('Redo', 0),p('Undo', 4)).
inf(p('Redo', 0),p('Redo', 4)).
inf(p('Undo', 0),p('Select All Visible', 5)).
inf(p('Undo', 0),p('Select Visible Branch', 5)).
inf(p('Undo', 0),p('Cut', 5)).
inf(p('Undo', 0),p('Copy', 5)).
inf(p('Undo', 0),p('Copy Single', 5)).
inf(p('Undo', 0),p('Paste', 5)).
inf(p('Undo', 0),p('Copy Format', 5)).
inf(p('Undo', 0),p('Paste Format', 5)).
inf(p('Undo', 0),p('Undo', 5)).
inf(p('Undo', 0),p('Redo', 5)).
inf(p('Redo', 0),p('Select All Visible', 5)).
inf(p('Redo', 0),p('Select Visible Branch', 5)).
inf(p('Redo', 0),p('Cut', 5)).
inf(p('Redo', 0),p('Copy', 5)).
inf(p('Redo', 0),p('Copy Single', 5)).
inf(p('Redo', 0),p('Paste', 5)).
inf(p('Redo', 0),p('Copy Format', 5)).
inf(p('Redo', 0),p('Paste Format', 5)).
inf(p('Redo', 0),p('Undo', 5)).
inf(p('Redo', 0),p('Redo', 5)).
inf(p('Undo', 0),p('Select All Visible', 6)).
inf(p('Undo', 0),p('Select Visible Branch', 6)).
inf(p('Undo', 0),p('Cut', 6)).
inf(p('Undo', 0),p('Copy', 6)).
inf(p('Undo', 0),p('Copy Single', 6)).
inf(p('Undo', 0),p('Paste', 6)).
inf(p('Undo', 0),p('Copy Format', 6)).
inf(p('Undo', 0),p('Paste Format', 6)).
inf(p('Undo', 0),p('Undo', 6)).
inf(p('Undo', 0),p('Redo', 6)).
inf(p('Redo', 0),p('Select All Visible', 6)).
inf(p('Redo', 0),p('Select Visible Branch', 6)).
inf(p('Redo', 0),p('Cut', 6)).
inf(p('Redo', 0),p('Copy', 6)).
inf(p('Redo', 0),p('Copy Single', 6)).
inf(p('Redo', 0),p('Paste', 6)).
inf(p('Redo', 0),p('Copy Format', 6)).
inf(p('Redo', 0),p('Paste Format', 6)).
inf(p('Redo', 0),p('Undo', 6)).
inf(p('Redo', 0),p('Redo', 6)).
inf(p('Undo', 0),p('Select All Visible', 7)).
inf(p('Undo', 0),p('Select Visible Branch', 7)).
inf(p('Undo', 0),p('Cut', 7)).
inf(p('Undo', 0),p('Copy', 7)).
inf(p('Undo', 0),p('Copy Single', 7)).
inf(p('Undo', 0),p('Paste', 7)).
inf(p('Undo', 0),p('Copy Format', 7)).
inf(p('Undo', 0),p('Paste Format', 7)).
inf(p('Undo', 0),p('Undo', 7)).
inf(p('Undo', 0),p('Redo', 7)).
inf(p('Redo', 0),p('Select All Visible', 7)).
inf(p('Redo', 0),p('Select Visible Branch', 7)).
inf(p('Redo', 0),p('Cut', 7)).
inf(p('Redo', 0),p('Copy', 7)).
inf(p('Redo', 0),p('Copy Single', 7)).
inf(p('Redo', 0),p('Paste', 7)).
inf(p('Redo', 0),p('Copy Format', 7)).
inf(p('Redo', 0),p('Paste Format', 7)).
inf(p('Redo', 0),p('Undo', 7)).
inf(p('Redo', 0),p('Redo', 7)).
inf(p('Undo', 0),p('Select All Visible', 8)).
inf(p('Undo', 0),p('Select Visible Branch', 8)).
inf(p('Undo', 0),p('Cut', 8)).
inf(p('Undo', 0),p('Copy', 8)).
inf(p('Undo', 0),p('Copy Single', 8)).
inf(p('Undo', 0),p('Paste', 8)).
inf(p('Undo', 0),p('Copy Format', 8)).
inf(p('Undo', 0),p('Paste Format', 8)).
inf(p('Undo', 0),p('Undo', 8)).
inf(p('Undo', 0),p('Redo', 8)).
inf(p('Redo', 0),p('Select All Visible', 8)).
inf(p('Redo', 0),p('Select Visible Branch', 8)).
inf(p('Redo', 0),p('Cut', 8)).
inf(p('Redo', 0),p('Copy', 8)).
inf(p('Redo', 0),p('Copy Single', 8)).
inf(p('Redo', 0),p('Paste', 8)).
inf(p('Redo', 0),p('Copy Format', 8)).
inf(p('Redo', 0),p('Paste Format', 8)).
inf(p('Redo', 0),p('Undo', 8)).
inf(p('Redo', 0),p('Redo', 8)).
inf(p('Undo', 0),p('Select All Visible', 9)).
inf(p('Undo', 0),p('Select Visible Branch', 9)).
inf(p('Undo', 0),p('Cut', 9)).
inf(p('Undo', 0),p('Copy', 9)).
inf(p('Undo', 0),p('Copy Single', 9)).
inf(p('Undo', 0),p('Paste', 9)).
inf(p('Undo', 0),p('Copy Format', 9)).
inf(p('Undo', 0),p('Paste Format', 9)).
inf(p('Undo', 0),p('Undo', 9)).
inf(p('Undo', 0),p('Redo', 9)).
inf(p('Redo', 0),p('Select All Visible', 9)).
inf(p('Redo', 0),p('Select Visible Branch', 9)).
inf(p('Redo', 0),p('Cut', 9)).
inf(p('Redo', 0),p('Copy', 9)).
inf(p('Redo', 0),p('Copy Single', 9)).
inf(p('Redo', 0),p('Paste', 9)).
inf(p('Redo', 0),p('Copy Format', 9)).
inf(p('Redo', 0),p('Paste Format', 9)).
inf(p('Redo', 0),p('Undo', 9)).
inf(p('Redo', 0),p('Redo', 9)).
inf(p('Select All Visible', 1),p('Redo', 2)).
inf(p('Select Visible Branch', 1),p('Redo', 2)).
inf(p('Cut', 1),p('Redo', 2)).
inf(p('Copy', 1),p('Redo', 2)).
inf(p('Copy Single', 1),p('Redo', 2)).
inf(p('Paste', 1),p('Redo', 2)).
inf(p('Copy Format', 1),p('Redo', 2)).
inf(p('Paste Format', 1),p('Redo', 2)).
inf(p('Undo', 1),p('Copy Format', 2)).
inf(p('Undo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Select All Visible', 2)).
inf(p('Redo', 1),p('Select Visible Branch', 2)).
inf(p('Redo', 1),p('Cut', 2)).
inf(p('Redo', 1),p('Copy', 2)).
inf(p('Redo', 1),p('Copy Single', 2)).
inf(p('Redo', 1),p('Paste', 2)).
inf(p('Redo', 1),p('Copy Format', 2)).
inf(p('Redo', 1),p('Paste Format', 2)).
inf(p('Redo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Redo', 2)).
inf(p('Select All Visible', 1),p('Redo', 3)).
inf(p('Select Visible Branch', 1),p('Redo', 3)).
inf(p('Cut', 1),p('Redo', 3)).
inf(p('Copy', 1),p('Redo', 3)).
inf(p('Copy Single', 1),p('Redo', 3)).
inf(p('Undo', 1),p('Copy Single', 3)).
inf(p('Redo', 1),p('Select All Visible', 3)).
inf(p('Redo', 1),p('Select Visible Branch', 3)).
inf(p('Redo', 1),p('Cut', 3)).
inf(p('Redo', 1),p('Copy', 3)).
inf(p('Redo', 1),p('Copy Single', 3)).
inf(p('Redo', 1),p('Paste', 3)).
inf(p('Redo', 1),p('Copy Format', 3)).
inf(p('Redo', 1),p('Paste Format', 3)).
inf(p('Redo', 1),p('Undo', 3)).
inf(p('Redo', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Select All Visible', 4)).
inf(p('Redo', 1),p('Select Visible Branch', 4)).
inf(p('Redo', 1),p('Cut', 4)).
inf(p('Redo', 1),p('Copy', 4)).
inf(p('Redo', 1),p('Copy Single', 4)).
inf(p('Redo', 1),p('Paste', 4)).
inf(p('Redo', 1),p('Copy Format', 4)).
inf(p('Redo', 1),p('Paste Format', 4)).
inf(p('Redo', 1),p('Undo', 4)).
inf(p('Redo', 1),p('Redo', 4)).
inf(p('Redo', 1),p('Select All Visible', 5)).
inf(p('Redo', 1),p('Select Visible Branch', 5)).
inf(p('Redo', 1),p('Cut', 5)).
inf(p('Redo', 1),p('Copy', 5)).
inf(p('Redo', 1),p('Copy Single', 5)).
inf(p('Redo', 1),p('Paste', 5)).
inf(p('Redo', 1),p('Copy Format', 5)).
inf(p('Redo', 1),p('Paste Format', 5)).
inf(p('Redo', 1),p('Undo', 5)).
inf(p('Redo', 1),p('Redo', 5)).
inf(p('Redo', 1),p('Select All Visible', 6)).
inf(p('Redo', 1),p('Select Visible Branch', 6)).
inf(p('Redo', 1),p('Cut', 6)).
inf(p('Redo', 1),p('Copy', 6)).
inf(p('Redo', 1),p('Copy Single', 6)).
inf(p('Redo', 1),p('Paste', 6)).
inf(p('Redo', 1),p('Copy Format', 6)).
inf(p('Redo', 1),p('Paste Format', 6)).
inf(p('Redo', 1),p('Undo', 6)).
inf(p('Redo', 1),p('Redo', 6)).
inf(p('Redo', 1),p('Select All Visible', 7)).
inf(p('Redo', 1),p('Select Visible Branch', 7)).
inf(p('Redo', 1),p('Cut', 7)).
inf(p('Redo', 1),p('Copy', 7)).
inf(p('Redo', 1),p('Copy Single', 7)).
inf(p('Redo', 1),p('Paste', 7)).
inf(p('Redo', 1),p('Copy Format', 7)).
inf(p('Redo', 1),p('Paste Format', 7)).
inf(p('Redo', 1),p('Undo', 7)).
inf(p('Redo', 1),p('Redo', 7)).
inf(p('Undo', 1),p('Redo', 8)).
inf(p('Redo', 1),p('Select All Visible', 8)).
inf(p('Redo', 1),p('Select Visible Branch', 8)).
inf(p('Redo', 1),p('Cut', 8)).
inf(p('Redo', 1),p('Copy', 8)).
inf(p('Redo', 1),p('Copy Single', 8)).
inf(p('Redo', 1),p('Paste', 8)).
inf(p('Redo', 1),p('Copy Format', 8)).
inf(p('Redo', 1),p('Paste Format', 8)).
inf(p('Redo', 1),p('Undo', 8)).
inf(p('Redo', 1),p('Redo', 8)).
inf(p('Redo', 1),p('Select All Visible', 9)).
inf(p('Redo', 1),p('Select Visible Branch', 9)).
inf(p('Redo', 1),p('Cut', 9)).
inf(p('Redo', 1),p('Copy', 9)).
inf(p('Redo', 1),p('Copy Single', 9)).
inf(p('Redo', 1),p('Paste', 9)).
inf(p('Redo', 1),p('Copy Format', 9)).
inf(p('Redo', 1),p('Paste Format', 9)).
inf(p('Redo', 1),p('Undo', 9)).
inf(p('Redo', 1),p('Redo', 9)).
inf(p('Select All Visible', 2),p('Redo', 3)).
inf(p('Select Visible Branch', 2),p('Redo', 3)).
inf(p('Paste', 2),p('Redo', 3)).
inf(p('Copy Format', 2),p('Redo', 3)).
inf(p('Redo', 2),p('Cut', 3)).
inf(p('Redo', 2),p('Copy Single', 3)).
inf(p('Redo', 2),p('Copy Format', 3)).
inf(p('Redo', 2),p('Redo', 3)).
inf(p('Copy Format', 2),p('Redo', 4)).
inf(p('Redo', 2),p('Cut', 4)).
inf(p('Redo', 2),p('Copy', 4)).
inf(p('Redo', 2),p('Redo', 4)).
inf(p('Select All Visible', 2),p('Redo', 5)).
inf(p('Redo', 2),p('Select All Visible', 5)).
inf(p('Redo', 2),p('Copy', 5)).
inf(p('Redo', 2),p('Undo', 5)).
inf(p('Redo', 2),p('Select All Visible', 6)).
inf(p('Redo', 2),p('Select Visible Branch', 6)).
inf(p('Redo', 2),p('Paste', 6)).
inf(p('Redo', 2),p('Paste', 7)).
inf(p('Redo', 2),p('Copy Format', 7)).
inf(p('Redo', 2),p('Redo', 7)).
inf(p('Redo', 2),p('Select Visible Branch', 8)).
inf(p('Redo', 2),p('Undo', 8)).
inf(p('Redo', 2),p('Redo', 8)).
inf(p('Redo', 2),p('Cut', 9)).
inf(p('Redo', 2),p('Paste', 9)).
inf(p('Redo', 2),p('Redo', 9)).
inf(p('Select All Visible', 3),p('Redo', 4)).
inf(p('Select Visible Branch', 3),p('Redo', 4)).
inf(p('Paste', 3),p('Redo', 4)).
inf(p('Paste Format', 3),p('Redo', 4)).
inf(p('Redo', 3),p('Redo', 4)).
inf(p('Redo', 3),p('Copy Single', 5)).
inf(p('Redo', 3),p('Redo', 5)).
inf(p('Redo', 3),p('Copy', 6)).
inf(p('Redo', 3),p('Undo', 6)).
inf(p('Redo', 3),p('Paste Format', 8)).
inf(p('Paste', 4),p('Redo', 5)).
inf(p('Redo', 4),p('Redo', 5)).
inf(p('Paste', 5),p('Redo', 6)).
inf(p('Paste', 6),p('Redo', 7)).
inf(p('Redo', 6),p('Redo', 7)).
inf(p('Paste', 7),p('Redo', 8)).
inf(p('Redo', 7),p('Redo', 9)).
inf(p('Paste', 8),p('Redo', 9)).