inf(p('Insert Table', 0),p('Redo', 1)).
inf(p('Next Cell', 0),p('Redo', 1)).
inf(p('Next Cell', 0),p('Write on document pane', 1)).
inf(p('Previous Cell', 0),p('Redo', 1)).
inf(p('Append row', 0),p('Redo', 1)).
inf(p('Append col', 0),p('Redo', 1)).
inf(p('Append col', 0),p('Write on document pane', 1)).
inf(p('Insert row', 0),p('Redo', 1)).
inf(p('Insert row', 0),p('Write on document pane', 1)).
inf(p('Insert column', 0),p('Redo', 1)).
inf(p('Delete row', 0),p('Next Cell', 1)).
inf(p('Delete row', 0),p('Previous Cell', 1)).
inf(p('Delete row', 0),p('Append row', 1)).
inf(p('Delete row', 0),p('Append col', 1)).
inf(p('Delete row', 0),p('Insert row', 1)).
inf(p('Delete row', 0),p('Insert column', 1)).
inf(p('Delete row', 0),p('Delete row', 1)).
inf(p('Delete row', 0),p('Delete column', 1)).
inf(p('Delete row', 0),p('Redo', 1)).
inf(p('Delete column', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Insert Table', 1)).
inf(p('Undo', 0),p('Next Cell', 1)).
inf(p('Undo', 0),p('Previous Cell', 1)).
inf(p('Undo', 0),p('Append row', 1)).
inf(p('Undo', 0),p('Append col', 1)).
inf(p('Undo', 0),p('Insert row', 1)).
inf(p('Undo', 0),p('Insert column', 1)).
inf(p('Undo', 0),p('Delete row', 1)).
inf(p('Undo', 0),p('Delete column', 1)).
inf(p('Undo', 0),p('Undo', 1)).
inf(p('Undo', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Write on document pane', 1)).
inf(p('Undo', 0),p('Write on HTML pane', 1)).
inf(p('Undo', 0),p('Write on syntax pane', 1)).
inf(p('Redo', 0),p('Insert Table', 1)).
inf(p('Redo', 0),p('Next Cell', 1)).
inf(p('Redo', 0),p('Previous Cell', 1)).
inf(p('Redo', 0),p('Append row', 1)).
inf(p('Redo', 0),p('Append col', 1)).
inf(p('Redo', 0),p('Insert row', 1)).
inf(p('Redo', 0),p('Insert column', 1)).
inf(p('Redo', 0),p('Delete row', 1)).
inf(p('Redo', 0),p('Delete column', 1)).
inf(p('Redo', 0),p('Undo', 1)).
inf(p('Redo', 0),p('Redo', 1)).
inf(p('Redo', 0),p('Write on document pane', 1)).
inf(p('Redo', 0),p('Write on HTML pane', 1)).
inf(p('Redo', 0),p('Write on syntax pane', 1)).
inf(p('Write on document pane', 0),p('Redo', 1)).
inf(p('Write on HTML pane', 0),p('Redo', 1)).
inf(p('Write on syntax pane', 0),p('Undo', 1)).
inf(p('Write on syntax pane', 0),p('Redo', 1)).
inf(p('Insert Table', 0),p('Redo', 2)).
inf(p('Previous Cell', 0),p('Redo', 2)).
inf(p('Delete row', 0),p('Delete row', 2)).
inf(p('Undo', 0),p('Insert Table', 2)).
inf(p('Undo', 0),p('Next Cell', 2)).
inf(p('Undo', 0),p('Previous Cell', 2)).
inf(p('Undo', 0),p('Append row', 2)).
inf(p('Undo', 0),p('Append col', 2)).
inf(p('Undo', 0),p('Insert row', 2)).
inf(p('Undo', 0),p('Insert column', 2)).
inf(p('Undo', 0),p('Delete row', 2)).
inf(p('Undo', 0),p('Delete column', 2)).
inf(p('Undo', 0),p('Undo', 2)).
inf(p('Undo', 0),p('Redo', 2)).
inf(p('Undo', 0),p('Write on document pane', 2)).
inf(p('Undo', 0),p('Write on HTML pane', 2)).
inf(p('Undo', 0),p('Write on syntax pane', 2)).
inf(p('Redo', 0),p('Insert Table', 2)).
inf(p('Redo', 0),p('Next Cell', 2)).
inf(p('Redo', 0),p('Previous Cell', 2)).
inf(p('Redo', 0),p('Append row', 2)).
inf(p('Redo', 0),p('Append col', 2)).
inf(p('Redo', 0),p('Insert row', 2)).
inf(p('Redo', 0),p('Insert column', 2)).
inf(p('Redo', 0),p('Delete row', 2)).
inf(p('Redo', 0),p('Delete column', 2)).
inf(p('Redo', 0),p('Undo', 2)).
inf(p('Redo', 0),p('Redo', 2)).
inf(p('Redo', 0),p('Write on document pane', 2)).
inf(p('Redo', 0),p('Write on HTML pane', 2)).
inf(p('Redo', 0),p('Write on syntax pane', 2)).
inf(p('Write on syntax pane', 0),p('Redo', 2)).
inf(p('Delete row', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Insert Table', 3)).
inf(p('Undo', 0),p('Next Cell', 3)).
inf(p('Undo', 0),p('Previous Cell', 3)).
inf(p('Undo', 0),p('Append row', 3)).
inf(p('Undo', 0),p('Append col', 3)).
inf(p('Undo', 0),p('Insert row', 3)).
inf(p('Undo', 0),p('Insert column', 3)).
inf(p('Undo', 0),p('Delete row', 3)).
inf(p('Undo', 0),p('Delete column', 3)).
inf(p('Undo', 0),p('Undo', 3)).
inf(p('Undo', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Write on document pane', 3)).
inf(p('Undo', 0),p('Write on HTML pane', 3)).
inf(p('Undo', 0),p('Write on syntax pane', 3)).
inf(p('Redo', 0),p('Insert Table', 3)).
inf(p('Redo', 0),p('Next Cell', 3)).
inf(p('Redo', 0),p('Previous Cell', 3)).
inf(p('Redo', 0),p('Append row', 3)).
inf(p('Redo', 0),p('Append col', 3)).
inf(p('Redo', 0),p('Insert row', 3)).
inf(p('Redo', 0),p('Insert column', 3)).
inf(p('Redo', 0),p('Delete row', 3)).
inf(p('Redo', 0),p('Delete column', 3)).
inf(p('Redo', 0),p('Undo', 3)).
inf(p('Redo', 0),p('Redo', 3)).
inf(p('Redo', 0),p('Write on document pane', 3)).
inf(p('Redo', 0),p('Write on HTML pane', 3)).
inf(p('Redo', 0),p('Write on syntax pane', 3)).
inf(p('Undo', 0),p('Insert Table', 4)).
inf(p('Undo', 0),p('Next Cell', 4)).
inf(p('Undo', 0),p('Previous Cell', 4)).
inf(p('Undo', 0),p('Append row', 4)).
inf(p('Undo', 0),p('Append col', 4)).
inf(p('Undo', 0),p('Insert row', 4)).
inf(p('Undo', 0),p('Insert column', 4)).
inf(p('Undo', 0),p('Delete row', 4)).
inf(p('Undo', 0),p('Delete column', 4)).
inf(p('Undo', 0),p('Undo', 4)).
inf(p('Undo', 0),p('Redo', 4)).
inf(p('Undo', 0),p('Write on document pane', 4)).
inf(p('Undo', 0),p('Write on HTML pane', 4)).
inf(p('Undo', 0),p('Write on syntax pane', 4)).
inf(p('Redo', 0),p('Insert Table', 4)).
inf(p('Redo', 0),p('Next Cell', 4)).
inf(p('Redo', 0),p('Previous Cell', 4)).
inf(p('Redo', 0),p('Append row', 4)).
inf(p('Redo', 0),p('Append col', 4)).
inf(p('Redo', 0),p('Insert row', 4)).
inf(p('Redo', 0),p('Insert column', 4)).
inf(p('Redo', 0),p('Delete row', 4)).
inf(p('Redo', 0),p('Delete column', 4)).
inf(p('Redo', 0),p('Undo', 4)).
inf(p('Redo', 0),p('Redo', 4)).
inf(p('Redo', 0),p('Write on document pane', 4)).
inf(p('Redo', 0),p('Write on HTML pane', 4)).
inf(p('Redo', 0),p('Write on syntax pane', 4)).
inf(p('Undo', 0),p('Insert Table', 5)).
inf(p('Undo', 0),p('Next Cell', 5)).
inf(p('Undo', 0),p('Previous Cell', 5)).
inf(p('Undo', 0),p('Append row', 5)).
inf(p('Undo', 0),p('Append col', 5)).
inf(p('Undo', 0),p('Insert row', 5)).
inf(p('Undo', 0),p('Insert column', 5)).
inf(p('Undo', 0),p('Delete row', 5)).
inf(p('Undo', 0),p('Delete column', 5)).
inf(p('Undo', 0),p('Undo', 5)).
inf(p('Undo', 0),p('Redo', 5)).
inf(p('Undo', 0),p('Write on document pane', 5)).
inf(p('Undo', 0),p('Write on HTML pane', 5)).
inf(p('Undo', 0),p('Write on syntax pane', 5)).
inf(p('Redo', 0),p('Insert Table', 5)).
inf(p('Redo', 0),p('Next Cell', 5)).
inf(p('Redo', 0),p('Previous Cell', 5)).
inf(p('Redo', 0),p('Append row', 5)).
inf(p('Redo', 0),p('Append col', 5)).
inf(p('Redo', 0),p('Insert row', 5)).
inf(p('Redo', 0),p('Insert column', 5)).
inf(p('Redo', 0),p('Delete row', 5)).
inf(p('Redo', 0),p('Delete column', 5)).
inf(p('Redo', 0),p('Undo', 5)).
inf(p('Redo', 0),p('Redo', 5)).
inf(p('Redo', 0),p('Write on document pane', 5)).
inf(p('Redo', 0),p('Write on HTML pane', 5)).
inf(p('Redo', 0),p('Write on syntax pane', 5)).
inf(p('Undo', 0),p('Insert Table', 6)).
inf(p('Undo', 0),p('Next Cell', 6)).
inf(p('Undo', 0),p('Previous Cell', 6)).
inf(p('Undo', 0),p('Append row', 6)).
inf(p('Undo', 0),p('Append col', 6)).
inf(p('Undo', 0),p('Insert row', 6)).
inf(p('Undo', 0),p('Insert column', 6)).
inf(p('Undo', 0),p('Delete row', 6)).
inf(p('Undo', 0),p('Delete column', 6)).
inf(p('Undo', 0),p('Undo', 6)).
inf(p('Undo', 0),p('Redo', 6)).
inf(p('Undo', 0),p('Write on document pane', 6)).
inf(p('Undo', 0),p('Write on HTML pane', 6)).
inf(p('Undo', 0),p('Write on syntax pane', 6)).
inf(p('Redo', 0),p('Insert Table', 6)).
inf(p('Redo', 0),p('Next Cell', 6)).
inf(p('Redo', 0),p('Previous Cell', 6)).
inf(p('Redo', 0),p('Append row', 6)).
inf(p('Redo', 0),p('Append col', 6)).
inf(p('Redo', 0),p('Insert row', 6)).
inf(p('Redo', 0),p('Insert column', 6)).
inf(p('Redo', 0),p('Delete row', 6)).
inf(p('Redo', 0),p('Delete column', 6)).
inf(p('Redo', 0),p('Undo', 6)).
inf(p('Redo', 0),p('Redo', 6)).
inf(p('Redo', 0),p('Write on document pane', 6)).
inf(p('Redo', 0),p('Write on HTML pane', 6)).
inf(p('Redo', 0),p('Write on syntax pane', 6)).
inf(p('Undo', 0),p('Insert Table', 7)).
inf(p('Undo', 0),p('Next Cell', 7)).
inf(p('Undo', 0),p('Previous Cell', 7)).
inf(p('Undo', 0),p('Append row', 7)).
inf(p('Undo', 0),p('Append col', 7)).
inf(p('Undo', 0),p('Insert row', 7)).
inf(p('Undo', 0),p('Insert column', 7)).
inf(p('Undo', 0),p('Delete row', 7)).
inf(p('Undo', 0),p('Delete column', 7)).
inf(p('Undo', 0),p('Undo', 7)).
inf(p('Undo', 0),p('Redo', 7)).
inf(p('Undo', 0),p('Write on document pane', 7)).
inf(p('Undo', 0),p('Write on HTML pane', 7)).
inf(p('Undo', 0),p('Write on syntax pane', 7)).
inf(p('Redo', 0),p('Insert Table', 7)).
inf(p('Redo', 0),p('Next Cell', 7)).
inf(p('Redo', 0),p('Previous Cell', 7)).
inf(p('Redo', 0),p('Append row', 7)).
inf(p('Redo', 0),p('Append col', 7)).
inf(p('Redo', 0),p('Insert row', 7)).
inf(p('Redo', 0),p('Insert column', 7)).
inf(p('Redo', 0),p('Delete row', 7)).
inf(p('Redo', 0),p('Delete column', 7)).
inf(p('Redo', 0),p('Undo', 7)).
inf(p('Redo', 0),p('Redo', 7)).
inf(p('Redo', 0),p('Write on document pane', 7)).
inf(p('Redo', 0),p('Write on HTML pane', 7)).
inf(p('Redo', 0),p('Write on syntax pane', 7)).
inf(p('Undo', 0),p('Insert Table', 8)).
inf(p('Undo', 0),p('Next Cell', 8)).
inf(p('Undo', 0),p('Previous Cell', 8)).
inf(p('Undo', 0),p('Append row', 8)).
inf(p('Undo', 0),p('Append col', 8)).
inf(p('Undo', 0),p('Insert row', 8)).
inf(p('Undo', 0),p('Insert column', 8)).
inf(p('Undo', 0),p('Delete row', 8)).
inf(p('Undo', 0),p('Delete column', 8)).
inf(p('Undo', 0),p('Undo', 8)).
inf(p('Undo', 0),p('Redo', 8)).
inf(p('Undo', 0),p('Write on document pane', 8)).
inf(p('Undo', 0),p('Write on HTML pane', 8)).
inf(p('Undo', 0),p('Write on syntax pane', 8)).
inf(p('Redo', 0),p('Insert Table', 8)).
inf(p('Redo', 0),p('Next Cell', 8)).
inf(p('Redo', 0),p('Previous Cell', 8)).
inf(p('Redo', 0),p('Append row', 8)).
inf(p('Redo', 0),p('Append col', 8)).
inf(p('Redo', 0),p('Insert row', 8)).
inf(p('Redo', 0),p('Insert column', 8)).
inf(p('Redo', 0),p('Delete row', 8)).
inf(p('Redo', 0),p('Delete column', 8)).
inf(p('Redo', 0),p('Undo', 8)).
inf(p('Redo', 0),p('Redo', 8)).
inf(p('Redo', 0),p('Write on document pane', 8)).
inf(p('Redo', 0),p('Write on HTML pane', 8)).
inf(p('Redo', 0),p('Write on syntax pane', 8)).
inf(p('Undo', 0),p('Insert Table', 9)).
inf(p('Undo', 0),p('Next Cell', 9)).
inf(p('Undo', 0),p('Previous Cell', 9)).
inf(p('Undo', 0),p('Append row', 9)).
inf(p('Undo', 0),p('Append col', 9)).
inf(p('Undo', 0),p('Insert row', 9)).
inf(p('Undo', 0),p('Insert column', 9)).
inf(p('Undo', 0),p('Delete row', 9)).
inf(p('Undo', 0),p('Delete column', 9)).
inf(p('Undo', 0),p('Undo', 9)).
inf(p('Undo', 0),p('Redo', 9)).
inf(p('Undo', 0),p('Write on document pane', 9)).
inf(p('Undo', 0),p('Write on HTML pane', 9)).
inf(p('Undo', 0),p('Write on syntax pane', 9)).
inf(p('Redo', 0),p('Insert Table', 9)).
inf(p('Redo', 0),p('Next Cell', 9)).
inf(p('Redo', 0),p('Previous Cell', 9)).
inf(p('Redo', 0),p('Append row', 9)).
inf(p('Redo', 0),p('Append col', 9)).
inf(p('Redo', 0),p('Insert row', 9)).
inf(p('Redo', 0),p('Insert column', 9)).
inf(p('Redo', 0),p('Delete row', 9)).
inf(p('Redo', 0),p('Delete column', 9)).
inf(p('Redo', 0),p('Undo', 9)).
inf(p('Redo', 0),p('Redo', 9)).
inf(p('Redo', 0),p('Write on document pane', 9)).
inf(p('Redo', 0),p('Write on HTML pane', 9)).
inf(p('Redo', 0),p('Write on syntax pane', 9)).
inf(p('Insert Table', 1),p('Redo', 2)).
inf(p('Next Cell', 1),p('Redo', 2)).
inf(p('Previous Cell', 1),p('Redo', 2)).
inf(p('Append row', 1),p('Redo', 2)).
inf(p('Append col', 1),p('Redo', 2)).
inf(p('Insert row', 1),p('Redo', 2)).
inf(p('Insert column', 1),p('Redo', 2)).
inf(p('Delete row', 1),p('Delete row', 2)).
inf(p('Delete row', 1),p('Redo', 2)).
inf(p('Delete column', 1),p('Redo', 2)).
inf(p('Redo', 1),p('Insert Table', 2)).
inf(p('Redo', 1),p('Next Cell', 2)).
inf(p('Redo', 1),p('Previous Cell', 2)).
inf(p('Redo', 1),p('Append row', 2)).
inf(p('Redo', 1),p('Append col', 2)).
inf(p('Redo', 1),p('Insert row', 2)).
inf(p('Redo', 1),p('Insert column', 2)).
inf(p('Redo', 1),p('Delete row', 2)).
inf(p('Redo', 1),p('Delete column', 2)).
inf(p('Redo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Redo', 2)).
inf(p('Redo', 1),p('Write on document pane', 2)).
inf(p('Redo', 1),p('Write on HTML pane', 2)).
inf(p('Redo', 1),p('Write on syntax pane', 2)).
inf(p('Write on document pane', 1),p('Delete row', 2)).
inf(p('Write on document pane', 1),p('Redo', 2)).
inf(p('Write on HTML pane', 1),p('Redo', 2)).
inf(p('Write on syntax pane', 1),p('Redo', 2)).
inf(p('Append row', 1),p('Redo', 3)).
inf(p('Insert column', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Insert Table', 3)).
inf(p('Redo', 1),p('Next Cell', 3)).
inf(p('Redo', 1),p('Previous Cell', 3)).
inf(p('Redo', 1),p('Append row', 3)).
inf(p('Redo', 1),p('Append col', 3)).
inf(p('Redo', 1),p('Insert row', 3)).
inf(p('Redo', 1),p('Insert column', 3)).
inf(p('Redo', 1),p('Delete row', 3)).
inf(p('Redo', 1),p('Delete column', 3)).
inf(p('Redo', 1),p('Undo', 3)).
inf(p('Redo', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Write on document pane', 3)).
inf(p('Redo', 1),p('Write on HTML pane', 3)).
inf(p('Redo', 1),p('Write on syntax pane', 3)).
inf(p('Redo', 1),p('Insert Table', 4)).
inf(p('Redo', 1),p('Next Cell', 4)).
inf(p('Redo', 1),p('Previous Cell', 4)).
inf(p('Redo', 1),p('Append row', 4)).
inf(p('Redo', 1),p('Append col', 4)).
inf(p('Redo', 1),p('Insert row', 4)).
inf(p('Redo', 1),p('Insert column', 4)).
inf(p('Redo', 1),p('Delete row', 4)).
inf(p('Redo', 1),p('Delete column', 4)).
inf(p('Redo', 1),p('Undo', 4)).
inf(p('Redo', 1),p('Redo', 4)).
inf(p('Redo', 1),p('Write on document pane', 4)).
inf(p('Redo', 1),p('Write on HTML pane', 4)).
inf(p('Redo', 1),p('Write on syntax pane', 4)).
inf(p('Redo', 1),p('Insert Table', 5)).
inf(p('Redo', 1),p('Next Cell', 5)).
inf(p('Redo', 1),p('Previous Cell', 5)).
inf(p('Redo', 1),p('Append row', 5)).
inf(p('Redo', 1),p('Append col', 5)).
inf(p('Redo', 1),p('Insert row', 5)).
inf(p('Redo', 1),p('Insert column', 5)).
inf(p('Redo', 1),p('Delete row', 5)).
inf(p('Redo', 1),p('Delete column', 5)).
inf(p('Redo', 1),p('Undo', 5)).
inf(p('Redo', 1),p('Redo', 5)).
inf(p('Redo', 1),p('Write on document pane', 5)).
inf(p('Redo', 1),p('Write on HTML pane', 5)).
inf(p('Redo', 1),p('Write on syntax pane', 5)).
inf(p('Next Cell', 1),p('Redo', 6)).
inf(p('Redo', 1),p('Insert Table', 6)).
inf(p('Redo', 1),p('Next Cell', 6)).
inf(p('Redo', 1),p('Previous Cell', 6)).
inf(p('Redo', 1),p('Append row', 6)).
inf(p('Redo', 1),p('Append col', 6)).
inf(p('Redo', 1),p('Insert row', 6)).
inf(p('Redo', 1),p('Insert column', 6)).
inf(p('Redo', 1),p('Delete row', 6)).
inf(p('Redo', 1),p('Delete column', 6)).
inf(p('Redo', 1),p('Undo', 6)).
inf(p('Redo', 1),p('Redo', 6)).
inf(p('Redo', 1),p('Write on document pane', 6)).
inf(p('Redo', 1),p('Write on HTML pane', 6)).
inf(p('Redo', 1),p('Write on syntax pane', 6)).
inf(p('Delete row', 1),p('Redo', 7)).
inf(p('Redo', 1),p('Insert Table', 7)).
inf(p('Redo', 1),p('Next Cell', 7)).
inf(p('Redo', 1),p('Previous Cell', 7)).
inf(p('Redo', 1),p('Append row', 7)).
inf(p('Redo', 1),p('Append col', 7)).
inf(p('Redo', 1),p('Insert row', 7)).
inf(p('Redo', 1),p('Insert column', 7)).
inf(p('Redo', 1),p('Delete row', 7)).
inf(p('Redo', 1),p('Delete column', 7)).
inf(p('Redo', 1),p('Undo', 7)).
inf(p('Redo', 1),p('Redo', 7)).
inf(p('Redo', 1),p('Write on document pane', 7)).
inf(p('Redo', 1),p('Write on HTML pane', 7)).
inf(p('Redo', 1),p('Write on syntax pane', 7)).
inf(p('Redo', 1),p('Insert Table', 8)).
inf(p('Redo', 1),p('Next Cell', 8)).
inf(p('Redo', 1),p('Previous Cell', 8)).
inf(p('Redo', 1),p('Append row', 8)).
inf(p('Redo', 1),p('Append col', 8)).
inf(p('Redo', 1),p('Insert row', 8)).
inf(p('Redo', 1),p('Insert column', 8)).
inf(p('Redo', 1),p('Delete row', 8)).
inf(p('Redo', 1),p('Delete column', 8)).
inf(p('Redo', 1),p('Undo', 8)).
inf(p('Redo', 1),p('Redo', 8)).
inf(p('Redo', 1),p('Write on document pane', 8)).
inf(p('Redo', 1),p('Write on HTML pane', 8)).
inf(p('Redo', 1),p('Write on syntax pane', 8)).
inf(p('Redo', 1),p('Insert Table', 9)).
inf(p('Redo', 1),p('Next Cell', 9)).
inf(p('Redo', 1),p('Previous Cell', 9)).
inf(p('Redo', 1),p('Append row', 9)).
inf(p('Redo', 1),p('Append col', 9)).
inf(p('Redo', 1),p('Insert row', 9)).
inf(p('Redo', 1),p('Insert column', 9)).
inf(p('Redo', 1),p('Delete row', 9)).
inf(p('Redo', 1),p('Delete column', 9)).
inf(p('Redo', 1),p('Undo', 9)).
inf(p('Redo', 1),p('Redo', 9)).
inf(p('Redo', 1),p('Write on document pane', 9)).
inf(p('Redo', 1),p('Write on HTML pane', 9)).
inf(p('Redo', 1),p('Write on syntax pane', 9)).
inf(p('Insert Table', 2),p('Redo', 3)).
inf(p('Next Cell', 2),p('Redo', 3)).
inf(p('Append row', 2),p('Redo', 3)).
inf(p('Append row', 2),p('Write on document pane', 3)).
inf(p('Append row', 2),p('Write on HTML pane', 3)).
inf(p('Append col', 2),p('Redo', 3)).
inf(p('Append col', 2),p('Write on HTML pane', 3)).
inf(p('Insert row', 2),p('Redo', 3)).
inf(p('Insert column', 2),p('Redo', 3)).
inf(p('Delete row', 2),p('Delete row', 3)).
inf(p('Delete row', 2),p('Redo', 3)).
inf(p('Delete column', 2),p('Redo', 3)).
inf(p('Redo', 2),p('Redo', 3)).
inf(p('Write on document pane', 2),p('Insert column', 3)).
inf(p('Write on document pane', 2),p('Redo', 3)).
inf(p('Write on HTML pane', 2),p('Delete row', 3)).
inf(p('Write on HTML pane', 2),p('Redo', 3)).
inf(p('Write on syntax pane', 2),p('Redo', 3)).
inf(p('Write on document pane', 2),p('Redo', 4)).
inf(p('Append row', 2),p('Redo', 5)).
inf(p('Redo', 2),p('Undo', 5)).
inf(p('Write on document pane', 2),p('Redo', 5)).
inf(p('Redo', 2),p('Redo', 6)).
inf(p('Redo', 2),p('Redo', 9)).
inf(p('Insert Table', 3),p('Redo', 4)).
inf(p('Append row', 3),p('Redo', 4)).
inf(p('Append col', 3),p('Redo', 4)).
inf(p('Insert row', 3),p('Redo', 4)).
inf(p('Insert column', 3),p('Redo', 4)).
inf(p('Delete row', 3),p('Redo', 4)).
inf(p('Delete column', 3),p('Redo', 4)).
inf(p('Redo', 3),p('Redo', 4)).
inf(p('Write on document pane', 3),p('Insert row', 4)).
inf(p('Write on document pane', 3),p('Redo', 4)).
inf(p('Write on HTML pane', 3),p('Insert row', 4)).
inf(p('Write on HTML pane', 3),p('Redo', 4)).
inf(p('Next Cell', 3),p('Redo', 5)).
inf(p('Redo', 3),p('Next Cell', 5)).
inf(p('Redo', 3),p('Previous Cell', 7)).
inf(p('Redo', 3),p('Delete column', 7)).
inf(p('Insert Table', 3),p('Redo', 8)).
inf(p('Redo', 3),p('Previous Cell', 8)).
inf(p('Redo', 3),p('Redo', 8)).
inf(p('Insert Table', 4),p('Redo', 5)).
inf(p('Next Cell', 4),p('Redo', 5)).
inf(p('Append row', 4),p('Redo', 5)).
inf(p('Append col', 4),p('Redo', 5)).
inf(p('Insert row', 4),p('Redo', 5)).
inf(p('Insert column', 4),p('Redo', 5)).
inf(p('Delete row', 4),p('Redo', 5)).
inf(p('Delete column', 4),p('Redo', 5)).
inf(p('Write on document pane', 4),p('Next Cell', 5)).
inf(p('Write on document pane', 4),p('Previous Cell', 5)).
inf(p('Write on document pane', 4),p('Append col', 5)).
inf(p('Write on document pane', 4),p('Insert row', 5)).
inf(p('Write on document pane', 4),p('Redo', 5)).
inf(p('Write on HTML pane', 4),p('Insert row', 5)).
inf(p('Write on HTML pane', 4),p('Redo', 5)).
inf(p('Append row', 4),p('Redo', 6)).
inf(p('Redo', 4),p('Redo', 6)).
inf(p('Redo', 4),p('Write on document pane', 8)).
inf(p('Redo', 4),p('Next Cell', 9)).
inf(p('Insert Table', 5),p('Redo', 6)).
inf(p('Append row', 5),p('Redo', 6)).
inf(p('Append col', 5),p('Redo', 6)).
inf(p('Insert row', 5),p('Redo', 6)).
inf(p('Insert column', 5),p('Redo', 6)).
inf(p('Delete row', 5),p('Redo', 6)).
inf(p('Redo', 5),p('Delete column', 6)).
inf(p('Redo', 5),p('Redo', 6)).
inf(p('Write on document pane', 5),p('Next Cell', 6)).
inf(p('Write on document pane', 5),p('Previous Cell', 6)).
inf(p('Write on document pane', 5),p('Append row', 6)).
inf(p('Write on document pane', 5),p('Insert row', 6)).
inf(p('Write on document pane', 5),p('Delete row', 6)).
inf(p('Write on document pane', 5),p('Redo', 6)).
inf(p('Write on HTML pane', 5),p('Next Cell', 6)).
inf(p('Write on HTML pane', 5),p('Previous Cell', 6)).
inf(p('Write on HTML pane', 5),p('Append row', 6)).
inf(p('Write on HTML pane', 5),p('Append col', 6)).
inf(p('Write on HTML pane', 5),p('Insert row', 6)).
inf(p('Write on HTML pane', 5),p('Insert column', 6)).
inf(p('Write on HTML pane', 5),p('Delete row', 6)).
inf(p('Write on HTML pane', 5),p('Delete column', 6)).
inf(p('Write on HTML pane', 5),p('Redo', 6)).
inf(p('Append row', 5),p('Redo', 7)).
inf(p('Redo', 5),p('Insert row', 7)).
inf(p('Write on HTML pane', 5),p('Redo', 7)).
inf(p('Insert Table', 6),p('Redo', 7)).
inf(p('Append row', 6),p('Redo', 7)).
inf(p('Append col', 6),p('Redo', 7)).
inf(p('Insert row', 6),p('Redo', 7)).
inf(p('Insert column', 6),p('Redo', 7)).
inf(p('Delete row', 6),p('Redo', 7)).
inf(p('Delete column', 6),p('Redo', 7)).
inf(p('Redo', 6),p('Redo', 7)).
inf(p('Write on document pane', 6),p('Previous Cell', 7)).
inf(p('Write on document pane', 6),p('Append row', 7)).
inf(p('Write on document pane', 6),p('Insert column', 7)).
inf(p('Write on document pane', 6),p('Delete row', 7)).
inf(p('Write on document pane', 6),p('Delete column', 7)).
inf(p('Write on document pane', 6),p('Redo', 7)).
inf(p('Write on HTML pane', 6),p('Next Cell', 7)).
inf(p('Write on HTML pane', 6),p('Previous Cell', 7)).
inf(p('Write on HTML pane', 6),p('Append col', 7)).
inf(p('Write on HTML pane', 6),p('Insert row', 7)).
inf(p('Write on HTML pane', 6),p('Delete row', 7)).
inf(p('Write on HTML pane', 6),p('Delete column', 7)).
inf(p('Write on HTML pane', 6),p('Redo', 7)).
inf(p('Insert Table', 7),p('Redo', 8)).
inf(p('Append row', 7),p('Redo', 8)).
inf(p('Append col', 7),p('Redo', 8)).
inf(p('Insert row', 7),p('Redo', 8)).
inf(p('Insert column', 7),p('Redo', 8)).
inf(p('Delete row', 7),p('Redo', 8)).
inf(p('Delete column', 7),p('Redo', 8)).
inf(p('Write on document pane', 7),p('Next Cell', 8)).
inf(p('Write on document pane', 7),p('Previous Cell', 8)).
inf(p('Write on document pane', 7),p('Append row', 8)).
inf(p('Write on document pane', 7),p('Append col', 8)).
inf(p('Write on document pane', 7),p('Insert column', 8)).
inf(p('Write on document pane', 7),p('Delete row', 8)).
inf(p('Write on document pane', 7),p('Delete column', 8)).
inf(p('Write on document pane', 7),p('Redo', 8)).
inf(p('Write on HTML pane', 7),p('Append row', 8)).
inf(p('Write on HTML pane', 7),p('Append col', 8)).
inf(p('Write on HTML pane', 7),p('Insert row', 8)).
inf(p('Write on HTML pane', 7),p('Insert column', 8)).
inf(p('Write on HTML pane', 7),p('Delete row', 8)).
inf(p('Write on HTML pane', 7),p('Delete column', 8)).
inf(p('Write on HTML pane', 7),p('Redo', 8)).
inf(p('Write on document pane', 7),p('Previous Cell', 9)).
inf(p('Write on document pane', 7),p('Insert row', 9)).
inf(p('Insert Table', 8),p('Redo', 9)).
inf(p('Append row', 8),p('Redo', 9)).
inf(p('Append col', 8),p('Redo', 9)).
inf(p('Insert row', 8),p('Redo', 9)).
inf(p('Insert column', 8),p('Redo', 9)).
inf(p('Delete row', 8),p('Redo', 9)).
inf(p('Delete column', 8),p('Redo', 9)).
inf(p('Redo', 8),p('Redo', 9)).
inf(p('Write on document pane', 8),p('Next Cell', 9)).
inf(p('Write on document pane', 8),p('Previous Cell', 9)).
inf(p('Write on document pane', 8),p('Append row', 9)).
inf(p('Write on document pane', 8),p('Append col', 9)).
inf(p('Write on document pane', 8),p('Insert row', 9)).
inf(p('Write on document pane', 8),p('Insert column', 9)).
inf(p('Write on document pane', 8),p('Delete row', 9)).
inf(p('Write on document pane', 8),p('Delete column', 9)).
inf(p('Write on document pane', 8),p('Redo', 9)).
inf(p('Write on HTML pane', 8),p('Next Cell', 9)).
inf(p('Write on HTML pane', 8),p('Previous Cell', 9)).
inf(p('Write on HTML pane', 8),p('Append row', 9)).
inf(p('Write on HTML pane', 8),p('Append col', 9)).
inf(p('Write on HTML pane', 8),p('Insert row', 9)).
inf(p('Write on HTML pane', 8),p('Insert column', 9)).
inf(p('Write on HTML pane', 8),p('Delete row', 9)).
inf(p('Write on HTML pane', 8),p('Delete column', 9)).
inf(p('Write on HTML pane', 8),p('Redo', 9)).