inf(p('Insert Row', 0),p('Undo', 1)).
inf(p('Insert Row', 0),p('Redo', 1)).
inf(p('Insert Column', 0),p('Undo', 1)).
inf(p('Insert Column', 0),p('Redo', 1)).
inf(p('Delete Row', 0),p('Undo', 1)).
inf(p('Delete Row', 0),p('Redo', 1)).
inf(p('Delete Column', 0),p('Undo', 1)).
inf(p('Delete Column', 0),p('Redo', 1)).
inf(p('Autofit', 0),p('Undo', 1)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 1)).
inf(p('Undo', 0),p('Undo', 1)).
inf(p('Undo', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 1)).
inf(p('Redo', 0),p('Undo', 1)).
inf(p('Redo', 0),p('Redo', 1)).
inf(p('Redo', 0),p('Write in table', 1)).
inf(p('Write in table', 0),p('Undo', 1)).
inf(p('Write in table', 0),p('Redo', 1)).
inf(p('Insert Row', 0),p('Undo', 2)).
inf(p('Insert Row', 0),p('Redo', 2)).
inf(p('Insert Column', 0),p('Undo', 2)).
inf(p('Insert Column', 0),p('Redo', 2)).
inf(p('Delete Row', 0),p('Undo', 2)).
inf(p('Delete Row', 0),p('Redo', 2)).
inf(p('Delete Column', 0),p('Undo', 2)).
inf(p('Delete Column', 0),p('Redo', 2)).
inf(p('Autofit', 0),p('Undo', 2)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 2)).
inf(p('Undo', 0),p('Undo', 2)).
inf(p('Undo', 0),p('Redo', 2)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 2)).
inf(p('Redo', 0),p('Undo', 2)).
inf(p('Redo', 0),p('Redo', 2)).
inf(p('Redo', 0),p('Write in table', 2)).
inf(p('Write in table', 0),p('Undo', 2)).
inf(p('Write in table', 0),p('Redo', 2)).
inf(p('Insert Row', 0),p('Undo', 3)).
inf(p('Insert Row', 0),p('Redo', 3)).
inf(p('Insert Column', 0),p('Undo', 3)).
inf(p('Insert Column', 0),p('Redo', 3)).
inf(p('Delete Row', 0),p('Undo', 3)).
inf(p('Delete Row', 0),p('Redo', 3)).
inf(p('Delete Column', 0),p('Undo', 3)).
inf(p('Delete Column', 0),p('Redo', 3)).
inf(p('Autofit', 0),p('Undo', 3)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 3)).
inf(p('Undo', 0),p('Undo', 3)).
inf(p('Undo', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 3)).
inf(p('Redo', 0),p('Undo', 3)).
inf(p('Redo', 0),p('Redo', 3)).
inf(p('Redo', 0),p('Write in table', 3)).
inf(p('Write in table', 0),p('Undo', 3)).
inf(p('Write in table', 0),p('Redo', 3)).
inf(p('Insert Row', 0),p('Undo', 4)).
inf(p('Insert Row', 0),p('Redo', 4)).
inf(p('Insert Column', 0),p('Undo', 4)).
inf(p('Insert Column', 0),p('Redo', 4)).
inf(p('Delete Row', 0),p('Undo', 4)).
inf(p('Delete Row', 0),p('Redo', 4)).
inf(p('Delete Column', 0),p('Undo', 4)).
inf(p('Delete Column', 0),p('Redo', 4)).
inf(p('Autofit', 0),p('Undo', 4)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 4)).
inf(p('Undo', 0),p('Undo', 4)).
inf(p('Undo', 0),p('Redo', 4)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 4)).
inf(p('Redo', 0),p('Undo', 4)).
inf(p('Redo', 0),p('Redo', 4)).
inf(p('Redo', 0),p('Write in table', 4)).
inf(p('Write in table', 0),p('Undo', 4)).
inf(p('Write in table', 0),p('Redo', 4)).
inf(p('Insert Row', 0),p('Undo', 5)).
inf(p('Insert Row', 0),p('Redo', 5)).
inf(p('Insert Column', 0),p('Undo', 5)).
inf(p('Insert Column', 0),p('Redo', 5)).
inf(p('Delete Row', 0),p('Undo', 5)).
inf(p('Delete Row', 0),p('Redo', 5)).
inf(p('Delete Column', 0),p('Undo', 5)).
inf(p('Delete Column', 0),p('Redo', 5)).
inf(p('Autofit', 0),p('Undo', 5)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 5)).
inf(p('Undo', 0),p('Undo', 5)).
inf(p('Undo', 0),p('Redo', 5)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 5)).
inf(p('Redo', 0),p('Undo', 5)).
inf(p('Redo', 0),p('Redo', 5)).
inf(p('Redo', 0),p('Write in table', 5)).
inf(p('Write in table', 0),p('Undo', 5)).
inf(p('Write in table', 0),p('Redo', 5)).
inf(p('Insert Row', 0),p('Undo', 6)).
inf(p('Insert Row', 0),p('Redo', 6)).
inf(p('Insert Column', 0),p('Undo', 6)).
inf(p('Insert Column', 0),p('Redo', 6)).
inf(p('Delete Row', 0),p('Undo', 6)).
inf(p('Delete Row', 0),p('Redo', 6)).
inf(p('Delete Column', 0),p('Undo', 6)).
inf(p('Delete Column', 0),p('Redo', 6)).
inf(p('Autofit', 0),p('Undo', 6)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 6)).
inf(p('Undo', 0),p('Undo', 6)).
inf(p('Undo', 0),p('Redo', 6)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 6)).
inf(p('Redo', 0),p('Undo', 6)).
inf(p('Redo', 0),p('Redo', 6)).
inf(p('Redo', 0),p('Write in table', 6)).
inf(p('Write in table', 0),p('Undo', 6)).
inf(p('Write in table', 0),p('Redo', 6)).
inf(p('Insert Row', 0),p('Undo', 7)).
inf(p('Insert Row', 0),p('Redo', 7)).
inf(p('Insert Column', 0),p('Undo', 7)).
inf(p('Insert Column', 0),p('Redo', 7)).
inf(p('Delete Row', 0),p('Undo', 7)).
inf(p('Delete Row', 0),p('Redo', 7)).
inf(p('Delete Column', 0),p('Undo', 7)).
inf(p('Delete Column', 0),p('Redo', 7)).
inf(p('Autofit', 0),p('Undo', 7)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 7)).
inf(p('Undo', 0),p('Undo', 7)).
inf(p('Undo', 0),p('Redo', 7)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 7)).
inf(p('Redo', 0),p('Undo', 7)).
inf(p('Redo', 0),p('Redo', 7)).
inf(p('Redo', 0),p('Write in table', 7)).
inf(p('Write in table', 0),p('Undo', 7)).
inf(p('Write in table', 0),p('Redo', 7)).
inf(p('Insert Row', 0),p('Undo', 8)).
inf(p('Insert Row', 0),p('Redo', 8)).
inf(p('Insert Column', 0),p('Undo', 8)).
inf(p('Insert Column', 0),p('Redo', 8)).
inf(p('Delete Row', 0),p('Undo', 8)).
inf(p('Delete Row', 0),p('Redo', 8)).
inf(p('Delete Column', 0),p('Undo', 8)).
inf(p('Delete Column', 0),p('Redo', 8)).
inf(p('Autofit', 0),p('Undo', 8)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 8)).
inf(p('Undo', 0),p('Undo', 8)).
inf(p('Undo', 0),p('Redo', 8)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 8)).
inf(p('Redo', 0),p('Undo', 8)).
inf(p('Redo', 0),p('Redo', 8)).
inf(p('Redo', 0),p('Write in table', 8)).
inf(p('Write in table', 0),p('Undo', 8)).
inf(p('Write in table', 0),p('Redo', 8)).
inf(p('Insert Row', 0),p('Undo', 9)).
inf(p('Insert Row', 0),p('Redo', 9)).
inf(p('Insert Column', 0),p('Undo', 9)).
inf(p('Insert Column', 0),p('Redo', 9)).
inf(p('Delete Row', 0),p('Undo', 9)).
inf(p('Delete Row', 0),p('Redo', 9)).
inf(p('Delete Column', 0),p('Undo', 9)).
inf(p('Delete Column', 0),p('Redo', 9)).
inf(p('Autofit', 0),p('Undo', 9)).
inf(p('Autofit', 0),p('Redo', 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('Autofit', 9)).
inf(p('Undo', 0),p('Undo', 9)).
inf(p('Undo', 0),p('Redo', 9)).
inf(p('Undo', 0),p('Write in table', 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('Autofit', 9)).
inf(p('Redo', 0),p('Undo', 9)).
inf(p('Redo', 0),p('Redo', 9)).
inf(p('Redo', 0),p('Write in table', 9)).
inf(p('Write in table', 0),p('Undo', 9)).
inf(p('Write in table', 0),p('Redo', 9)).
inf(p('Insert Row', 1),p('Undo', 2)).
inf(p('Insert Row', 1),p('Redo', 2)).
inf(p('Insert Column', 1),p('Undo', 2)).
inf(p('Insert Column', 1),p('Redo', 2)).
inf(p('Delete Row', 1),p('Undo', 2)).
inf(p('Delete Row', 1),p('Redo', 2)).
inf(p('Delete Column', 1),p('Undo', 2)).
inf(p('Delete Column', 1),p('Redo', 2)).
inf(p('Autofit', 1),p('Undo', 2)).
inf(p('Autofit', 1),p('Redo', 2)).
inf(p('Undo', 1),p('Insert Row', 2)).
inf(p('Undo', 1),p('Insert Column', 2)).
inf(p('Undo', 1),p('Delete Row', 2)).
inf(p('Undo', 1),p('Delete Column', 2)).
inf(p('Undo', 1),p('Autofit', 2)).
inf(p('Undo', 1),p('Undo', 2)).
inf(p('Undo', 1),p('Redo', 2)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 2)).
inf(p('Redo', 1),p('Undo', 2)).
inf(p('Redo', 1),p('Redo', 2)).
inf(p('Redo', 1),p('Write in table', 2)).
inf(p('Write in table', 1),p('Undo', 2)).
inf(p('Write in table', 1),p('Redo', 2)).
inf(p('Insert Row', 1),p('Undo', 3)).
inf(p('Insert Row', 1),p('Redo', 3)).
inf(p('Insert Column', 1),p('Undo', 3)).
inf(p('Insert Column', 1),p('Redo', 3)).
inf(p('Delete Row', 1),p('Undo', 3)).
inf(p('Delete Row', 1),p('Redo', 3)).
inf(p('Delete Column', 1),p('Undo', 3)).
inf(p('Delete Column', 1),p('Redo', 3)).
inf(p('Autofit', 1),p('Undo', 3)).
inf(p('Autofit', 1),p('Redo', 3)).
inf(p('Undo', 1),p('Insert Row', 3)).
inf(p('Undo', 1),p('Insert Column', 3)).
inf(p('Undo', 1),p('Delete Row', 3)).
inf(p('Undo', 1),p('Delete Column', 3)).
inf(p('Undo', 1),p('Autofit', 3)).
inf(p('Undo', 1),p('Undo', 3)).
inf(p('Undo', 1),p('Redo', 3)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 3)).
inf(p('Redo', 1),p('Undo', 3)).
inf(p('Redo', 1),p('Redo', 3)).
inf(p('Redo', 1),p('Write in table', 3)).
inf(p('Write in table', 1),p('Undo', 3)).
inf(p('Write in table', 1),p('Redo', 3)).
inf(p('Insert Row', 1),p('Undo', 4)).
inf(p('Insert Row', 1),p('Redo', 4)).
inf(p('Insert Column', 1),p('Undo', 4)).
inf(p('Insert Column', 1),p('Redo', 4)).
inf(p('Delete Row', 1),p('Undo', 4)).
inf(p('Delete Row', 1),p('Redo', 4)).
inf(p('Delete Column', 1),p('Undo', 4)).
inf(p('Delete Column', 1),p('Redo', 4)).
inf(p('Autofit', 1),p('Undo', 4)).
inf(p('Autofit', 1),p('Redo', 4)).
inf(p('Undo', 1),p('Insert Row', 4)).
inf(p('Undo', 1),p('Insert Column', 4)).
inf(p('Undo', 1),p('Delete Row', 4)).
inf(p('Undo', 1),p('Delete Column', 4)).
inf(p('Undo', 1),p('Autofit', 4)).
inf(p('Undo', 1),p('Undo', 4)).
inf(p('Undo', 1),p('Redo', 4)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 4)).
inf(p('Redo', 1),p('Undo', 4)).
inf(p('Redo', 1),p('Redo', 4)).
inf(p('Redo', 1),p('Write in table', 4)).
inf(p('Write in table', 1),p('Undo', 4)).
inf(p('Write in table', 1),p('Redo', 4)).
inf(p('Insert Row', 1),p('Undo', 5)).
inf(p('Insert Row', 1),p('Redo', 5)).
inf(p('Insert Column', 1),p('Undo', 5)).
inf(p('Insert Column', 1),p('Redo', 5)).
inf(p('Delete Row', 1),p('Undo', 5)).
inf(p('Delete Row', 1),p('Redo', 5)).
inf(p('Delete Column', 1),p('Undo', 5)).
inf(p('Delete Column', 1),p('Redo', 5)).
inf(p('Autofit', 1),p('Undo', 5)).
inf(p('Autofit', 1),p('Redo', 5)).
inf(p('Undo', 1),p('Insert Row', 5)).
inf(p('Undo', 1),p('Insert Column', 5)).
inf(p('Undo', 1),p('Delete Row', 5)).
inf(p('Undo', 1),p('Delete Column', 5)).
inf(p('Undo', 1),p('Autofit', 5)).
inf(p('Undo', 1),p('Undo', 5)).
inf(p('Undo', 1),p('Redo', 5)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 5)).
inf(p('Redo', 1),p('Undo', 5)).
inf(p('Redo', 1),p('Redo', 5)).
inf(p('Redo', 1),p('Write in table', 5)).
inf(p('Write in table', 1),p('Undo', 5)).
inf(p('Write in table', 1),p('Redo', 5)).
inf(p('Insert Row', 1),p('Undo', 6)).
inf(p('Insert Row', 1),p('Redo', 6)).
inf(p('Insert Column', 1),p('Undo', 6)).
inf(p('Insert Column', 1),p('Redo', 6)).
inf(p('Delete Row', 1),p('Undo', 6)).
inf(p('Delete Row', 1),p('Redo', 6)).
inf(p('Delete Column', 1),p('Undo', 6)).
inf(p('Delete Column', 1),p('Redo', 6)).
inf(p('Autofit', 1),p('Undo', 6)).
inf(p('Autofit', 1),p('Redo', 6)).
inf(p('Undo', 1),p('Insert Row', 6)).
inf(p('Undo', 1),p('Insert Column', 6)).
inf(p('Undo', 1),p('Delete Row', 6)).
inf(p('Undo', 1),p('Delete Column', 6)).
inf(p('Undo', 1),p('Autofit', 6)).
inf(p('Undo', 1),p('Undo', 6)).
inf(p('Undo', 1),p('Redo', 6)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 6)).
inf(p('Redo', 1),p('Undo', 6)).
inf(p('Redo', 1),p('Redo', 6)).
inf(p('Redo', 1),p('Write in table', 6)).
inf(p('Write in table', 1),p('Undo', 6)).
inf(p('Write in table', 1),p('Redo', 6)).
inf(p('Insert Row', 1),p('Undo', 7)).
inf(p('Insert Row', 1),p('Redo', 7)).
inf(p('Insert Column', 1),p('Undo', 7)).
inf(p('Insert Column', 1),p('Redo', 7)).
inf(p('Delete Row', 1),p('Undo', 7)).
inf(p('Delete Row', 1),p('Redo', 7)).
inf(p('Delete Column', 1),p('Undo', 7)).
inf(p('Delete Column', 1),p('Redo', 7)).
inf(p('Autofit', 1),p('Undo', 7)).
inf(p('Autofit', 1),p('Redo', 7)).
inf(p('Undo', 1),p('Insert Row', 7)).
inf(p('Undo', 1),p('Insert Column', 7)).
inf(p('Undo', 1),p('Delete Row', 7)).
inf(p('Undo', 1),p('Delete Column', 7)).
inf(p('Undo', 1),p('Autofit', 7)).
inf(p('Undo', 1),p('Undo', 7)).
inf(p('Undo', 1),p('Redo', 7)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 7)).
inf(p('Redo', 1),p('Undo', 7)).
inf(p('Redo', 1),p('Redo', 7)).
inf(p('Redo', 1),p('Write in table', 7)).
inf(p('Write in table', 1),p('Undo', 7)).
inf(p('Write in table', 1),p('Redo', 7)).
inf(p('Insert Row', 1),p('Undo', 8)).
inf(p('Insert Row', 1),p('Redo', 8)).
inf(p('Insert Column', 1),p('Undo', 8)).
inf(p('Insert Column', 1),p('Redo', 8)).
inf(p('Delete Row', 1),p('Undo', 8)).
inf(p('Delete Row', 1),p('Redo', 8)).
inf(p('Delete Column', 1),p('Undo', 8)).
inf(p('Delete Column', 1),p('Redo', 8)).
inf(p('Autofit', 1),p('Undo', 8)).
inf(p('Autofit', 1),p('Redo', 8)).
inf(p('Undo', 1),p('Insert Row', 8)).
inf(p('Undo', 1),p('Insert Column', 8)).
inf(p('Undo', 1),p('Delete Row', 8)).
inf(p('Undo', 1),p('Delete Column', 8)).
inf(p('Undo', 1),p('Autofit', 8)).
inf(p('Undo', 1),p('Undo', 8)).
inf(p('Undo', 1),p('Redo', 8)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 8)).
inf(p('Redo', 1),p('Undo', 8)).
inf(p('Redo', 1),p('Redo', 8)).
inf(p('Redo', 1),p('Write in table', 8)).
inf(p('Write in table', 1),p('Undo', 8)).
inf(p('Write in table', 1),p('Redo', 8)).
inf(p('Insert Row', 1),p('Undo', 9)).
inf(p('Insert Row', 1),p('Redo', 9)).
inf(p('Insert Column', 1),p('Undo', 9)).
inf(p('Insert Column', 1),p('Redo', 9)).
inf(p('Delete Row', 1),p('Undo', 9)).
inf(p('Delete Row', 1),p('Redo', 9)).
inf(p('Delete Column', 1),p('Undo', 9)).
inf(p('Delete Column', 1),p('Redo', 9)).
inf(p('Autofit', 1),p('Undo', 9)).
inf(p('Autofit', 1),p('Redo', 9)).
inf(p('Undo', 1),p('Insert Row', 9)).
inf(p('Undo', 1),p('Insert Column', 9)).
inf(p('Undo', 1),p('Delete Row', 9)).
inf(p('Undo', 1),p('Delete Column', 9)).
inf(p('Undo', 1),p('Autofit', 9)).
inf(p('Undo', 1),p('Undo', 9)).
inf(p('Undo', 1),p('Redo', 9)).
inf(p('Undo', 1),p('Write in table', 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('Autofit', 9)).
inf(p('Redo', 1),p('Undo', 9)).
inf(p('Redo', 1),p('Redo', 9)).
inf(p('Redo', 1),p('Write in table', 9)).
inf(p('Write in table', 1),p('Undo', 9)).
inf(p('Write in table', 1),p('Redo', 9)).
inf(p('Insert Row', 2),p('Undo', 3)).
inf(p('Insert Row', 2),p('Redo', 3)).
inf(p('Insert Column', 2),p('Undo', 3)).
inf(p('Insert Column', 2),p('Redo', 3)).
inf(p('Delete Row', 2),p('Undo', 3)).
inf(p('Delete Row', 2),p('Redo', 3)).
inf(p('Delete Column', 2),p('Undo', 3)).
inf(p('Delete Column', 2),p('Redo', 3)).
inf(p('Autofit', 2),p('Undo', 3)).
inf(p('Autofit', 2),p('Redo', 3)).
inf(p('Undo', 2),p('Insert Row', 3)).
inf(p('Undo', 2),p('Insert Column', 3)).
inf(p('Undo', 2),p('Delete Row', 3)).
inf(p('Undo', 2),p('Delete Column', 3)).
inf(p('Undo', 2),p('Autofit', 3)).
inf(p('Undo', 2),p('Undo', 3)).
inf(p('Undo', 2),p('Redo', 3)).
inf(p('Undo', 2),p('Write in table', 3)).
inf(p('Redo', 2),p('Insert Row', 3)).
inf(p('Redo', 2),p('Insert Column', 3)).
inf(p('Redo', 2),p('Delete Row', 3)).
inf(p('Redo', 2),p('Delete Column', 3)).
inf(p('Redo', 2),p('Autofit', 3)).
inf(p('Redo', 2),p('Undo', 3)).
inf(p('Redo', 2),p('Redo', 3)).
inf(p('Redo', 2),p('Write in table', 3)).
inf(p('Write in table', 2),p('Undo', 3)).
inf(p('Write in table', 2),p('Redo', 3)).
inf(p('Insert Row', 2),p('Undo', 4)).
inf(p('Insert Row', 2),p('Redo', 4)).
inf(p('Insert Column', 2),p('Undo', 4)).
inf(p('Insert Column', 2),p('Redo', 4)).
inf(p('Delete Row', 2),p('Undo', 4)).
inf(p('Delete Row', 2),p('Redo', 4)).
inf(p('Delete Column', 2),p('Undo', 4)).
inf(p('Delete Column', 2),p('Redo', 4)).
inf(p('Autofit', 2),p('Undo', 4)).
inf(p('Autofit', 2),p('Redo', 4)).
inf(p('Undo', 2),p('Insert Row', 4)).
inf(p('Undo', 2),p('Insert Column', 4)).
inf(p('Undo', 2),p('Delete Row', 4)).
inf(p('Undo', 2),p('Delete Column', 4)).
inf(p('Undo', 2),p('Autofit', 4)).
inf(p('Undo', 2),p('Undo', 4)).
inf(p('Undo', 2),p('Redo', 4)).
inf(p('Undo', 2),p('Write in table', 4)).
inf(p('Redo', 2),p('Insert Row', 4)).
inf(p('Redo', 2),p('Insert Column', 4)).
inf(p('Redo', 2),p('Delete Row', 4)).
inf(p('Redo', 2),p('Delete Column', 4)).
inf(p('Redo', 2),p('Autofit', 4)).
inf(p('Redo', 2),p('Undo', 4)).
inf(p('Redo', 2),p('Redo', 4)).
inf(p('Redo', 2),p('Write in table', 4)).
inf(p('Write in table', 2),p('Undo', 4)).
inf(p('Write in table', 2),p('Redo', 4)).
inf(p('Insert Row', 2),p('Undo', 5)).
inf(p('Insert Row', 2),p('Redo', 5)).
inf(p('Insert Column', 2),p('Undo', 5)).
inf(p('Insert Column', 2),p('Redo', 5)).
inf(p('Delete Row', 2),p('Undo', 5)).
inf(p('Delete Row', 2),p('Redo', 5)).
inf(p('Delete Column', 2),p('Undo', 5)).
inf(p('Delete Column', 2),p('Redo', 5)).
inf(p('Autofit', 2),p('Undo', 5)).
inf(p('Autofit', 2),p('Redo', 5)).
inf(p('Undo', 2),p('Insert Row', 5)).
inf(p('Undo', 2),p('Insert Column', 5)).
inf(p('Undo', 2),p('Delete Row', 5)).
inf(p('Undo', 2),p('Delete Column', 5)).
inf(p('Undo', 2),p('Autofit', 5)).
inf(p('Undo', 2),p('Undo', 5)).
inf(p('Undo', 2),p('Redo', 5)).
inf(p('Undo', 2),p('Write in table', 5)).
inf(p('Redo', 2),p('Insert Row', 5)).
inf(p('Redo', 2),p('Insert Column', 5)).
inf(p('Redo', 2),p('Delete Row', 5)).
inf(p('Redo', 2),p('Delete Column', 5)).
inf(p('Redo', 2),p('Autofit', 5)).
inf(p('Redo', 2),p('Undo', 5)).
inf(p('Redo', 2),p('Redo', 5)).
inf(p('Redo', 2),p('Write in table', 5)).
inf(p('Write in table', 2),p('Undo', 5)).
inf(p('Write in table', 2),p('Redo', 5)).
inf(p('Insert Row', 2),p('Undo', 6)).
inf(p('Insert Row', 2),p('Redo', 6)).
inf(p('Insert Column', 2),p('Undo', 6)).
inf(p('Insert Column', 2),p('Redo', 6)).
inf(p('Delete Row', 2),p('Undo', 6)).
inf(p('Delete Row', 2),p('Redo', 6)).
inf(p('Delete Column', 2),p('Undo', 6)).
inf(p('Delete Column', 2),p('Redo', 6)).
inf(p('Autofit', 2),p('Undo', 6)).
inf(p('Autofit', 2),p('Redo', 6)).
inf(p('Undo', 2),p('Insert Row', 6)).
inf(p('Undo', 2),p('Insert Column', 6)).
inf(p('Undo', 2),p('Delete Row', 6)).
inf(p('Undo', 2),p('Delete Column', 6)).
inf(p('Undo', 2),p('Autofit', 6)).
inf(p('Undo', 2),p('Undo', 6)).
inf(p('Undo', 2),p('Redo', 6)).
inf(p('Undo', 2),p('Write in table', 6)).
inf(p('Redo', 2),p('Insert Row', 6)).
inf(p('Redo', 2),p('Insert Column', 6)).
inf(p('Redo', 2),p('Delete Row', 6)).
inf(p('Redo', 2),p('Delete Column', 6)).
inf(p('Redo', 2),p('Autofit', 6)).
inf(p('Redo', 2),p('Undo', 6)).
inf(p('Redo', 2),p('Redo', 6)).
inf(p('Redo', 2),p('Write in table', 6)).
inf(p('Write in table', 2),p('Undo', 6)).
inf(p('Write in table', 2),p('Redo', 6)).
inf(p('Insert Row', 2),p('Undo', 7)).
inf(p('Insert Row', 2),p('Redo', 7)).
inf(p('Insert Column', 2),p('Undo', 7)).
inf(p('Insert Column', 2),p('Redo', 7)).
inf(p('Delete Row', 2),p('Undo', 7)).
inf(p('Delete Row', 2),p('Redo', 7)).
inf(p('Delete Column', 2),p('Undo', 7)).
inf(p('Delete Column', 2),p('Redo', 7)).
inf(p('Autofit', 2),p('Undo', 7)).
inf(p('Autofit', 2),p('Redo', 7)).
inf(p('Undo', 2),p('Insert Row', 7)).
inf(p('Undo', 2),p('Insert Column', 7)).
inf(p('Undo', 2),p('Delete Row', 7)).
inf(p('Undo', 2),p('Delete Column', 7)).
inf(p('Undo', 2),p('Autofit', 7)).
inf(p('Undo', 2),p('Undo', 7)).
inf(p('Undo', 2),p('Redo', 7)).
inf(p('Undo', 2),p('Write in table', 7)).
inf(p('Redo', 2),p('Insert Row', 7)).
inf(p('Redo', 2),p('Insert Column', 7)).
inf(p('Redo', 2),p('Delete Row', 7)).
inf(p('Redo', 2),p('Delete Column', 7)).
inf(p('Redo', 2),p('Autofit', 7)).
inf(p('Redo', 2),p('Undo', 7)).
inf(p('Redo', 2),p('Redo', 7)).
inf(p('Redo', 2),p('Write in table', 7)).
inf(p('Write in table', 2),p('Undo', 7)).
inf(p('Write in table', 2),p('Redo', 7)).
inf(p('Insert Row', 2),p('Undo', 8)).
inf(p('Insert Row', 2),p('Redo', 8)).
inf(p('Insert Column', 2),p('Undo', 8)).
inf(p('Insert Column', 2),p('Redo', 8)).
inf(p('Delete Row', 2),p('Undo', 8)).
inf(p('Delete Row', 2),p('Redo', 8)).
inf(p('Delete Column', 2),p('Undo', 8)).
inf(p('Delete Column', 2),p('Redo', 8)).
inf(p('Autofit', 2),p('Undo', 8)).
inf(p('Autofit', 2),p('Redo', 8)).
inf(p('Undo', 2),p('Insert Row', 8)).
inf(p('Undo', 2),p('Insert Column', 8)).
inf(p('Undo', 2),p('Delete Row', 8)).
inf(p('Undo', 2),p('Delete Column', 8)).
inf(p('Undo', 2),p('Autofit', 8)).
inf(p('Undo', 2),p('Undo', 8)).
inf(p('Undo', 2),p('Redo', 8)).
inf(p('Undo', 2),p('Write in table', 8)).
inf(p('Redo', 2),p('Insert Row', 8)).
inf(p('Redo', 2),p('Insert Column', 8)).
inf(p('Redo', 2),p('Delete Row', 8)).
inf(p('Redo', 2),p('Delete Column', 8)).
inf(p('Redo', 2),p('Autofit', 8)).
inf(p('Redo', 2),p('Undo', 8)).
inf(p('Redo', 2),p('Redo', 8)).
inf(p('Redo', 2),p('Write in table', 8)).
inf(p('Write in table', 2),p('Undo', 8)).
inf(p('Write in table', 2),p('Redo', 8)).
inf(p('Insert Row', 2),p('Undo', 9)).
inf(p('Insert Row', 2),p('Redo', 9)).
inf(p('Insert Column', 2),p('Undo', 9)).
inf(p('Insert Column', 2),p('Redo', 9)).
inf(p('Delete Row', 2),p('Undo', 9)).
inf(p('Delete Row', 2),p('Redo', 9)).
inf(p('Delete Column', 2),p('Undo', 9)).
inf(p('Delete Column', 2),p('Redo', 9)).
inf(p('Autofit', 2),p('Undo', 9)).
inf(p('Autofit', 2),p('Redo', 9)).
inf(p('Undo', 2),p('Insert Row', 9)).
inf(p('Undo', 2),p('Insert Column', 9)).
inf(p('Undo', 2),p('Delete Row', 9)).
inf(p('Undo', 2),p('Delete Column', 9)).
inf(p('Undo', 2),p('Autofit', 9)).
inf(p('Undo', 2),p('Undo', 9)).
inf(p('Undo', 2),p('Redo', 9)).
inf(p('Undo', 2),p('Write in table', 9)).
inf(p('Redo', 2),p('Insert Row', 9)).
inf(p('Redo', 2),p('Insert Column', 9)).
inf(p('Redo', 2),p('Delete Row', 9)).
inf(p('Redo', 2),p('Delete Column', 9)).
inf(p('Redo', 2),p('Autofit', 9)).
inf(p('Redo', 2),p('Undo', 9)).
inf(p('Redo', 2),p('Redo', 9)).
inf(p('Redo', 2),p('Write in table', 9)).
inf(p('Write in table', 2),p('Undo', 9)).
inf(p('Write in table', 2),p('Redo', 9)).
inf(p('Insert Row', 3),p('Undo', 4)).
inf(p('Insert Row', 3),p('Redo', 4)).
inf(p('Insert Column', 3),p('Undo', 4)).
inf(p('Insert Column', 3),p('Redo', 4)).
inf(p('Delete Row', 3),p('Undo', 4)).
inf(p('Delete Row', 3),p('Redo', 4)).
inf(p('Delete Column', 3),p('Undo', 4)).
inf(p('Delete Column', 3),p('Redo', 4)).
inf(p('Autofit', 3),p('Undo', 4)).
inf(p('Autofit', 3),p('Redo', 4)).
inf(p('Undo', 3),p('Insert Row', 4)).
inf(p('Undo', 3),p('Insert Column', 4)).
inf(p('Undo', 3),p('Delete Row', 4)).
inf(p('Undo', 3),p('Delete Column', 4)).
inf(p('Undo', 3),p('Autofit', 4)).
inf(p('Undo', 3),p('Undo', 4)).
inf(p('Undo', 3),p('Redo', 4)).
inf(p('Undo', 3),p('Write in table', 4)).
inf(p('Redo', 3),p('Insert Row', 4)).
inf(p('Redo', 3),p('Insert Column', 4)).
inf(p('Redo', 3),p('Delete Row', 4)).
inf(p('Redo', 3),p('Delete Column', 4)).
inf(p('Redo', 3),p('Autofit', 4)).
inf(p('Redo', 3),p('Undo', 4)).
inf(p('Redo', 3),p('Redo', 4)).
inf(p('Redo', 3),p('Write in table', 4)).
inf(p('Write in table', 3),p('Undo', 4)).
inf(p('Write in table', 3),p('Redo', 4)).
inf(p('Insert Row', 3),p('Undo', 5)).
inf(p('Insert Row', 3),p('Redo', 5)).
inf(p('Insert Column', 3),p('Undo', 5)).
inf(p('Insert Column', 3),p('Redo', 5)).
inf(p('Delete Row', 3),p('Undo', 5)).
inf(p('Delete Row', 3),p('Redo', 5)).
inf(p('Delete Column', 3),p('Undo', 5)).
inf(p('Delete Column', 3),p('Redo', 5)).
inf(p('Autofit', 3),p('Undo', 5)).
inf(p('Autofit', 3),p('Redo', 5)).
inf(p('Undo', 3),p('Insert Row', 5)).
inf(p('Undo', 3),p('Insert Column', 5)).
inf(p('Undo', 3),p('Delete Row', 5)).
inf(p('Undo', 3),p('Delete Column', 5)).
inf(p('Undo', 3),p('Autofit', 5)).
inf(p('Undo', 3),p('Undo', 5)).
inf(p('Undo', 3),p('Redo', 5)).
inf(p('Undo', 3),p('Write in table', 5)).
inf(p('Redo', 3),p('Insert Row', 5)).
inf(p('Redo', 3),p('Insert Column', 5)).
inf(p('Redo', 3),p('Delete Row', 5)).
inf(p('Redo', 3),p('Delete Column', 5)).
inf(p('Redo', 3),p('Autofit', 5)).
inf(p('Redo', 3),p('Undo', 5)).
inf(p('Redo', 3),p('Redo', 5)).
inf(p('Redo', 3),p('Write in table', 5)).
inf(p('Write in table', 3),p('Undo', 5)).
inf(p('Write in table', 3),p('Redo', 5)).
inf(p('Insert Row', 3),p('Undo', 6)).
inf(p('Insert Row', 3),p('Redo', 6)).
inf(p('Insert Column', 3),p('Undo', 6)).
inf(p('Insert Column', 3),p('Redo', 6)).
inf(p('Delete Row', 3),p('Undo', 6)).
inf(p('Delete Row', 3),p('Redo', 6)).
inf(p('Delete Column', 3),p('Undo', 6)).
inf(p('Delete Column', 3),p('Redo', 6)).
inf(p('Autofit', 3),p('Undo', 6)).
inf(p('Autofit', 3),p('Redo', 6)).
inf(p('Undo', 3),p('Insert Row', 6)).
inf(p('Undo', 3),p('Insert Column', 6)).
inf(p('Undo', 3),p('Delete Row', 6)).
inf(p('Undo', 3),p('Delete Column', 6)).
inf(p('Undo', 3),p('Autofit', 6)).
inf(p('Undo', 3),p('Undo', 6)).
inf(p('Undo', 3),p('Redo', 6)).
inf(p('Undo', 3),p('Write in table', 6)).
inf(p('Redo', 3),p('Insert Row', 6)).
inf(p('Redo', 3),p('Insert Column', 6)).
inf(p('Redo', 3),p('Delete Row', 6)).
inf(p('Redo', 3),p('Delete Column', 6)).
inf(p('Redo', 3),p('Autofit', 6)).
inf(p('Redo', 3),p('Undo', 6)).
inf(p('Redo', 3),p('Redo', 6)).
inf(p('Redo', 3),p('Write in table', 6)).
inf(p('Write in table', 3),p('Undo', 6)).
inf(p('Write in table', 3),p('Redo', 6)).
inf(p('Insert Row', 3),p('Undo', 7)).
inf(p('Insert Row', 3),p('Redo', 7)).
inf(p('Insert Column', 3),p('Undo', 7)).
inf(p('Insert Column', 3),p('Redo', 7)).
inf(p('Delete Row', 3),p('Undo', 7)).
inf(p('Delete Row', 3),p('Redo', 7)).
inf(p('Delete Column', 3),p('Undo', 7)).
inf(p('Delete Column', 3),p('Redo', 7)).
inf(p('Autofit', 3),p('Undo', 7)).
inf(p('Autofit', 3),p('Redo', 7)).
inf(p('Undo', 3),p('Insert Row', 7)).
inf(p('Undo', 3),p('Insert Column', 7)).
inf(p('Undo', 3),p('Delete Row', 7)).
inf(p('Undo', 3),p('Delete Column', 7)).
inf(p('Undo', 3),p('Autofit', 7)).
inf(p('Undo', 3),p('Undo', 7)).
inf(p('Undo', 3),p('Redo', 7)).
inf(p('Undo', 3),p('Write in table', 7)).
inf(p('Redo', 3),p('Insert Row', 7)).
inf(p('Redo', 3),p('Insert Column', 7)).
inf(p('Redo', 3),p('Delete Row', 7)).
inf(p('Redo', 3),p('Delete Column', 7)).
inf(p('Redo', 3),p('Autofit', 7)).
inf(p('Redo', 3),p('Undo', 7)).
inf(p('Redo', 3),p('Redo', 7)).
inf(p('Redo', 3),p('Write in table', 7)).
inf(p('Write in table', 3),p('Undo', 7)).
inf(p('Write in table', 3),p('Redo', 7)).
inf(p('Insert Row', 3),p('Undo', 8)).
inf(p('Insert Row', 3),p('Redo', 8)).
inf(p('Insert Column', 3),p('Undo', 8)).
inf(p('Insert Column', 3),p('Redo', 8)).
inf(p('Delete Row', 3),p('Undo', 8)).
inf(p('Delete Row', 3),p('Redo', 8)).
inf(p('Delete Column', 3),p('Undo', 8)).
inf(p('Delete Column', 3),p('Redo', 8)).
inf(p('Autofit', 3),p('Undo', 8)).
inf(p('Autofit', 3),p('Redo', 8)).
inf(p('Undo', 3),p('Insert Row', 8)).
inf(p('Undo', 3),p('Insert Column', 8)).
inf(p('Undo', 3),p('Delete Row', 8)).
inf(p('Undo', 3),p('Delete Column', 8)).
inf(p('Undo', 3),p('Autofit', 8)).
inf(p('Undo', 3),p('Undo', 8)).
inf(p('Undo', 3),p('Redo', 8)).
inf(p('Undo', 3),p('Write in table', 8)).
inf(p('Redo', 3),p('Insert Row', 8)).
inf(p('Redo', 3),p('Insert Column', 8)).
inf(p('Redo', 3),p('Delete Row', 8)).
inf(p('Redo', 3),p('Delete Column', 8)).
inf(p('Redo', 3),p('Autofit', 8)).
inf(p('Redo', 3),p('Undo', 8)).
inf(p('Redo', 3),p('Redo', 8)).
inf(p('Redo', 3),p('Write in table', 8)).
inf(p('Write in table', 3),p('Undo', 8)).
inf(p('Write in table', 3),p('Redo', 8)).
inf(p('Insert Row', 3),p('Undo', 9)).
inf(p('Insert Row', 3),p('Redo', 9)).
inf(p('Insert Column', 3),p('Undo', 9)).
inf(p('Insert Column', 3),p('Redo', 9)).
inf(p('Delete Row', 3),p('Undo', 9)).
inf(p('Delete Row', 3),p('Redo', 9)).
inf(p('Delete Column', 3),p('Undo', 9)).
inf(p('Delete Column', 3),p('Redo', 9)).
inf(p('Autofit', 3),p('Undo', 9)).
inf(p('Autofit', 3),p('Redo', 9)).
inf(p('Undo', 3),p('Insert Row', 9)).
inf(p('Undo', 3),p('Insert Column', 9)).
inf(p('Undo', 3),p('Delete Row', 9)).
inf(p('Undo', 3),p('Delete Column', 9)).
inf(p('Undo', 3),p('Autofit', 9)).
inf(p('Undo', 3),p('Undo', 9)).
inf(p('Undo', 3),p('Redo', 9)).
inf(p('Undo', 3),p('Write in table', 9)).
inf(p('Redo', 3),p('Insert Row', 9)).
inf(p('Redo', 3),p('Insert Column', 9)).
inf(p('Redo', 3),p('Delete Row', 9)).
inf(p('Redo', 3),p('Delete Column', 9)).
inf(p('Redo', 3),p('Autofit', 9)).
inf(p('Redo', 3),p('Undo', 9)).
inf(p('Redo', 3),p('Redo', 9)).
inf(p('Redo', 3),p('Write in table', 9)).
inf(p('Write in table', 3),p('Undo', 9)).
inf(p('Write in table', 3),p('Redo', 9)).
inf(p('Insert Row', 4),p('Undo', 5)).
inf(p('Insert Row', 4),p('Redo', 5)).
inf(p('Insert Column', 4),p('Undo', 5)).
inf(p('Insert Column', 4),p('Redo', 5)).
inf(p('Delete Row', 4),p('Undo', 5)).
inf(p('Delete Row', 4),p('Redo', 5)).
inf(p('Delete Column', 4),p('Undo', 5)).
inf(p('Delete Column', 4),p('Redo', 5)).
inf(p('Autofit', 4),p('Undo', 5)).
inf(p('Autofit', 4),p('Redo', 5)).
inf(p('Undo', 4),p('Insert Row', 5)).
inf(p('Undo', 4),p('Insert Column', 5)).
inf(p('Undo', 4),p('Delete Row', 5)).
inf(p('Undo', 4),p('Delete Column', 5)).
inf(p('Undo', 4),p('Autofit', 5)).
inf(p('Undo', 4),p('Undo', 5)).
inf(p('Undo', 4),p('Redo', 5)).
inf(p('Undo', 4),p('Write in table', 5)).
inf(p('Redo', 4),p('Insert Row', 5)).
inf(p('Redo', 4),p('Insert Column', 5)).
inf(p('Redo', 4),p('Delete Row', 5)).
inf(p('Redo', 4),p('Delete Column', 5)).
inf(p('Redo', 4),p('Autofit', 5)).
inf(p('Redo', 4),p('Undo', 5)).
inf(p('Redo', 4),p('Redo', 5)).
inf(p('Redo', 4),p('Write in table', 5)).
inf(p('Write in table', 4),p('Undo', 5)).
inf(p('Write in table', 4),p('Redo', 5)).
inf(p('Insert Row', 4),p('Undo', 6)).
inf(p('Insert Row', 4),p('Redo', 6)).
inf(p('Insert Column', 4),p('Undo', 6)).
inf(p('Insert Column', 4),p('Redo', 6)).
inf(p('Delete Row', 4),p('Undo', 6)).
inf(p('Delete Row', 4),p('Redo', 6)).
inf(p('Delete Column', 4),p('Undo', 6)).
inf(p('Delete Column', 4),p('Redo', 6)).
inf(p('Autofit', 4),p('Undo', 6)).
inf(p('Autofit', 4),p('Redo', 6)).
inf(p('Undo', 4),p('Insert Row', 6)).
inf(p('Undo', 4),p('Insert Column', 6)).
inf(p('Undo', 4),p('Delete Row', 6)).
inf(p('Undo', 4),p('Delete Column', 6)).
inf(p('Undo', 4),p('Autofit', 6)).
inf(p('Undo', 4),p('Undo', 6)).
inf(p('Undo', 4),p('Redo', 6)).
inf(p('Undo', 4),p('Write in table', 6)).
inf(p('Redo', 4),p('Insert Row', 6)).
inf(p('Redo', 4),p('Insert Column', 6)).
inf(p('Redo', 4),p('Delete Row', 6)).
inf(p('Redo', 4),p('Delete Column', 6)).
inf(p('Redo', 4),p('Autofit', 6)).
inf(p('Redo', 4),p('Undo', 6)).
inf(p('Redo', 4),p('Redo', 6)).
inf(p('Redo', 4),p('Write in table', 6)).
inf(p('Write in table', 4),p('Undo', 6)).
inf(p('Write in table', 4),p('Redo', 6)).
inf(p('Insert Row', 4),p('Undo', 7)).
inf(p('Insert Row', 4),p('Redo', 7)).
inf(p('Insert Column', 4),p('Undo', 7)).
inf(p('Insert Column', 4),p('Redo', 7)).
inf(p('Delete Row', 4),p('Undo', 7)).
inf(p('Delete Row', 4),p('Redo', 7)).
inf(p('Delete Column', 4),p('Undo', 7)).
inf(p('Delete Column', 4),p('Redo', 7)).
inf(p('Autofit', 4),p('Undo', 7)).
inf(p('Autofit', 4),p('Redo', 7)).
inf(p('Undo', 4),p('Insert Row', 7)).
inf(p('Undo', 4),p('Insert Column', 7)).
inf(p('Undo', 4),p('Delete Row', 7)).
inf(p('Undo', 4),p('Delete Column', 7)).
inf(p('Undo', 4),p('Autofit', 7)).
inf(p('Undo', 4),p('Undo', 7)).
inf(p('Undo', 4),p('Redo', 7)).
inf(p('Undo', 4),p('Write in table', 7)).
inf(p('Redo', 4),p('Insert Row', 7)).
inf(p('Redo', 4),p('Insert Column', 7)).
inf(p('Redo', 4),p('Delete Row', 7)).
inf(p('Redo', 4),p('Delete Column', 7)).
inf(p('Redo', 4),p('Autofit', 7)).
inf(p('Redo', 4),p('Undo', 7)).
inf(p('Redo', 4),p('Redo', 7)).
inf(p('Redo', 4),p('Write in table', 7)).
inf(p('Write in table', 4),p('Undo', 7)).
inf(p('Write in table', 4),p('Redo', 7)).
inf(p('Insert Row', 4),p('Undo', 8)).
inf(p('Insert Row', 4),p('Redo', 8)).
inf(p('Insert Column', 4),p('Undo', 8)).
inf(p('Insert Column', 4),p('Redo', 8)).
inf(p('Delete Row', 4),p('Undo', 8)).
inf(p('Delete Row', 4),p('Redo', 8)).
inf(p('Delete Column', 4),p('Undo', 8)).
inf(p('Delete Column', 4),p('Redo', 8)).
inf(p('Autofit', 4),p('Undo', 8)).
inf(p('Autofit', 4),p('Redo', 8)).
inf(p('Undo', 4),p('Insert Row', 8)).
inf(p('Undo', 4),p('Insert Column', 8)).
inf(p('Undo', 4),p('Delete Row', 8)).
inf(p('Undo', 4),p('Delete Column', 8)).
inf(p('Undo', 4),p('Autofit', 8)).
inf(p('Undo', 4),p('Undo', 8)).
inf(p('Undo', 4),p('Redo', 8)).
inf(p('Undo', 4),p('Write in table', 8)).
inf(p('Redo', 4),p('Insert Row', 8)).
inf(p('Redo', 4),p('Insert Column', 8)).
inf(p('Redo', 4),p('Delete Row', 8)).
inf(p('Redo', 4),p('Delete Column', 8)).
inf(p('Redo', 4),p('Autofit', 8)).
inf(p('Redo', 4),p('Undo', 8)).
inf(p('Redo', 4),p('Redo', 8)).
inf(p('Redo', 4),p('Write in table', 8)).
inf(p('Write in table', 4),p('Undo', 8)).
inf(p('Write in table', 4),p('Redo', 8)).
inf(p('Insert Row', 4),p('Undo', 9)).
inf(p('Insert Row', 4),p('Redo', 9)).
inf(p('Insert Column', 4),p('Undo', 9)).
inf(p('Insert Column', 4),p('Redo', 9)).
inf(p('Delete Row', 4),p('Undo', 9)).
inf(p('Delete Row', 4),p('Redo', 9)).
inf(p('Delete Column', 4),p('Undo', 9)).
inf(p('Delete Column', 4),p('Redo', 9)).
inf(p('Autofit', 4),p('Undo', 9)).
inf(p('Autofit', 4),p('Redo', 9)).
inf(p('Undo', 4),p('Insert Row', 9)).
inf(p('Undo', 4),p('Insert Column', 9)).
inf(p('Undo', 4),p('Delete Row', 9)).
inf(p('Undo', 4),p('Delete Column', 9)).
inf(p('Undo', 4),p('Autofit', 9)).
inf(p('Undo', 4),p('Undo', 9)).
inf(p('Undo', 4),p('Redo', 9)).
inf(p('Undo', 4),p('Write in table', 9)).
inf(p('Redo', 4),p('Insert Row', 9)).
inf(p('Redo', 4),p('Insert Column', 9)).
inf(p('Redo', 4),p('Delete Row', 9)).
inf(p('Redo', 4),p('Delete Column', 9)).
inf(p('Redo', 4),p('Autofit', 9)).
inf(p('Redo', 4),p('Undo', 9)).
inf(p('Redo', 4),p('Redo', 9)).
inf(p('Redo', 4),p('Write in table', 9)).
inf(p('Write in table', 4),p('Undo', 9)).
inf(p('Write in table', 4),p('Redo', 9)).
inf(p('Insert Row', 5),p('Undo', 6)).
inf(p('Insert Row', 5),p('Redo', 6)).
inf(p('Insert Column', 5),p('Undo', 6)).
inf(p('Insert Column', 5),p('Redo', 6)).
inf(p('Delete Row', 5),p('Undo', 6)).
inf(p('Delete Row', 5),p('Redo', 6)).
inf(p('Delete Column', 5),p('Undo', 6)).
inf(p('Delete Column', 5),p('Redo', 6)).
inf(p('Autofit', 5),p('Undo', 6)).
inf(p('Autofit', 5),p('Redo', 6)).
inf(p('Undo', 5),p('Insert Row', 6)).
inf(p('Undo', 5),p('Insert Column', 6)).
inf(p('Undo', 5),p('Delete Row', 6)).
inf(p('Undo', 5),p('Delete Column', 6)).
inf(p('Undo', 5),p('Autofit', 6)).
inf(p('Undo', 5),p('Undo', 6)).
inf(p('Undo', 5),p('Redo', 6)).
inf(p('Undo', 5),p('Write in table', 6)).
inf(p('Redo', 5),p('Insert Row', 6)).
inf(p('Redo', 5),p('Insert Column', 6)).
inf(p('Redo', 5),p('Delete Row', 6)).
inf(p('Redo', 5),p('Delete Column', 6)).
inf(p('Redo', 5),p('Autofit', 6)).
inf(p('Redo', 5),p('Undo', 6)).
inf(p('Redo', 5),p('Redo', 6)).
inf(p('Redo', 5),p('Write in table', 6)).
inf(p('Write in table', 5),p('Undo', 6)).
inf(p('Write in table', 5),p('Redo', 6)).
inf(p('Insert Row', 5),p('Undo', 7)).
inf(p('Insert Row', 5),p('Redo', 7)).
inf(p('Insert Column', 5),p('Undo', 7)).
inf(p('Insert Column', 5),p('Redo', 7)).
inf(p('Delete Row', 5),p('Undo', 7)).
inf(p('Delete Row', 5),p('Redo', 7)).
inf(p('Delete Column', 5),p('Undo', 7)).
inf(p('Delete Column', 5),p('Redo', 7)).
inf(p('Autofit', 5),p('Undo', 7)).
inf(p('Autofit', 5),p('Redo', 7)).
inf(p('Undo', 5),p('Insert Row', 7)).
inf(p('Undo', 5),p('Insert Column', 7)).
inf(p('Undo', 5),p('Delete Row', 7)).
inf(p('Undo', 5),p('Delete Column', 7)).
inf(p('Undo', 5),p('Autofit', 7)).
inf(p('Undo', 5),p('Undo', 7)).
inf(p('Undo', 5),p('Redo', 7)).
inf(p('Undo', 5),p('Write in table', 7)).
inf(p('Redo', 5),p('Insert Row', 7)).
inf(p('Redo', 5),p('Insert Column', 7)).
inf(p('Redo', 5),p('Delete Row', 7)).
inf(p('Redo', 5),p('Delete Column', 7)).
inf(p('Redo', 5),p('Autofit', 7)).
inf(p('Redo', 5),p('Undo', 7)).
inf(p('Redo', 5),p('Redo', 7)).
inf(p('Redo', 5),p('Write in table', 7)).
inf(p('Write in table', 5),p('Undo', 7)).
inf(p('Write in table', 5),p('Redo', 7)).
inf(p('Insert Row', 5),p('Undo', 8)).
inf(p('Insert Row', 5),p('Redo', 8)).
inf(p('Insert Column', 5),p('Undo', 8)).
inf(p('Insert Column', 5),p('Redo', 8)).
inf(p('Delete Row', 5),p('Undo', 8)).
inf(p('Delete Row', 5),p('Redo', 8)).
inf(p('Delete Column', 5),p('Undo', 8)).
inf(p('Delete Column', 5),p('Redo', 8)).
inf(p('Autofit', 5),p('Undo', 8)).
inf(p('Autofit', 5),p('Redo', 8)).
inf(p('Undo', 5),p('Insert Row', 8)).
inf(p('Undo', 5),p('Insert Column', 8)).
inf(p('Undo', 5),p('Delete Row', 8)).
inf(p('Undo', 5),p('Delete Column', 8)).
inf(p('Undo', 5),p('Autofit', 8)).
inf(p('Undo', 5),p('Undo', 8)).
inf(p('Undo', 5),p('Redo', 8)).
inf(p('Undo', 5),p('Write in table', 8)).
inf(p('Redo', 5),p('Insert Row', 8)).
inf(p('Redo', 5),p('Insert Column', 8)).
inf(p('Redo', 5),p('Delete Row', 8)).
inf(p('Redo', 5),p('Delete Column', 8)).
inf(p('Redo', 5),p('Autofit', 8)).
inf(p('Redo', 5),p('Undo', 8)).
inf(p('Redo', 5),p('Redo', 8)).
inf(p('Redo', 5),p('Write in table', 8)).
inf(p('Write in table', 5),p('Undo', 8)).
inf(p('Write in table', 5),p('Redo', 8)).
inf(p('Insert Row', 5),p('Undo', 9)).
inf(p('Insert Row', 5),p('Redo', 9)).
inf(p('Insert Column', 5),p('Undo', 9)).
inf(p('Insert Column', 5),p('Redo', 9)).
inf(p('Delete Row', 5),p('Undo', 9)).
inf(p('Delete Row', 5),p('Redo', 9)).
inf(p('Delete Column', 5),p('Undo', 9)).
inf(p('Delete Column', 5),p('Redo', 9)).
inf(p('Autofit', 5),p('Undo', 9)).
inf(p('Autofit', 5),p('Redo', 9)).
inf(p('Undo', 5),p('Insert Row', 9)).
inf(p('Undo', 5),p('Insert Column', 9)).
inf(p('Undo', 5),p('Delete Row', 9)).
inf(p('Undo', 5),p('Delete Column', 9)).
inf(p('Undo', 5),p('Autofit', 9)).
inf(p('Undo', 5),p('Undo', 9)).
inf(p('Undo', 5),p('Redo', 9)).
inf(p('Undo', 5),p('Write in table', 9)).
inf(p('Redo', 5),p('Insert Row', 9)).
inf(p('Redo', 5),p('Insert Column', 9)).
inf(p('Redo', 5),p('Delete Row', 9)).
inf(p('Redo', 5),p('Delete Column', 9)).
inf(p('Redo', 5),p('Autofit', 9)).
inf(p('Redo', 5),p('Undo', 9)).
inf(p('Redo', 5),p('Redo', 9)).
inf(p('Redo', 5),p('Write in table', 9)).
inf(p('Write in table', 5),p('Undo', 9)).
inf(p('Write in table', 5),p('Redo', 9)).
inf(p('Insert Row', 6),p('Undo', 7)).
inf(p('Insert Row', 6),p('Redo', 7)).
inf(p('Insert Column', 6),p('Undo', 7)).
inf(p('Insert Column', 6),p('Redo', 7)).
inf(p('Delete Row', 6),p('Undo', 7)).
inf(p('Delete Row', 6),p('Redo', 7)).
inf(p('Delete Column', 6),p('Undo', 7)).
inf(p('Delete Column', 6),p('Redo', 7)).
inf(p('Autofit', 6),p('Undo', 7)).
inf(p('Autofit', 6),p('Redo', 7)).
inf(p('Undo', 6),p('Insert Row', 7)).
inf(p('Undo', 6),p('Insert Column', 7)).
inf(p('Undo', 6),p('Delete Row', 7)).
inf(p('Undo', 6),p('Delete Column', 7)).
inf(p('Undo', 6),p('Autofit', 7)).
inf(p('Undo', 6),p('Undo', 7)).
inf(p('Undo', 6),p('Redo', 7)).
inf(p('Undo', 6),p('Write in table', 7)).
inf(p('Redo', 6),p('Insert Row', 7)).
inf(p('Redo', 6),p('Insert Column', 7)).
inf(p('Redo', 6),p('Delete Row', 7)).
inf(p('Redo', 6),p('Delete Column', 7)).
inf(p('Redo', 6),p('Autofit', 7)).
inf(p('Redo', 6),p('Undo', 7)).
inf(p('Redo', 6),p('Redo', 7)).
inf(p('Redo', 6),p('Write in table', 7)).
inf(p('Write in table', 6),p('Undo', 7)).
inf(p('Write in table', 6),p('Redo', 7)).
inf(p('Insert Row', 6),p('Undo', 8)).
inf(p('Insert Row', 6),p('Redo', 8)).
inf(p('Insert Column', 6),p('Undo', 8)).
inf(p('Insert Column', 6),p('Redo', 8)).
inf(p('Delete Row', 6),p('Undo', 8)).
inf(p('Delete Row', 6),p('Redo', 8)).
inf(p('Delete Column', 6),p('Undo', 8)).
inf(p('Delete Column', 6),p('Redo', 8)).
inf(p('Autofit', 6),p('Undo', 8)).
inf(p('Autofit', 6),p('Redo', 8)).
inf(p('Undo', 6),p('Insert Row', 8)).
inf(p('Undo', 6),p('Insert Column', 8)).
inf(p('Undo', 6),p('Delete Row', 8)).
inf(p('Undo', 6),p('Delete Column', 8)).
inf(p('Undo', 6),p('Autofit', 8)).
inf(p('Undo', 6),p('Undo', 8)).
inf(p('Undo', 6),p('Redo', 8)).
inf(p('Undo', 6),p('Write in table', 8)).
inf(p('Redo', 6),p('Insert Row', 8)).
inf(p('Redo', 6),p('Insert Column', 8)).
inf(p('Redo', 6),p('Delete Row', 8)).
inf(p('Redo', 6),p('Delete Column', 8)).
inf(p('Redo', 6),p('Autofit', 8)).
inf(p('Redo', 6),p('Undo', 8)).
inf(p('Redo', 6),p('Redo', 8)).
inf(p('Redo', 6),p('Write in table', 8)).
inf(p('Write in table', 6),p('Undo', 8)).
inf(p('Write in table', 6),p('Redo', 8)).
inf(p('Insert Row', 6),p('Undo', 9)).
inf(p('Insert Row', 6),p('Redo', 9)).
inf(p('Insert Column', 6),p('Undo', 9)).
inf(p('Insert Column', 6),p('Redo', 9)).
inf(p('Delete Row', 6),p('Undo', 9)).
inf(p('Delete Row', 6),p('Redo', 9)).
inf(p('Delete Column', 6),p('Undo', 9)).
inf(p('Delete Column', 6),p('Redo', 9)).
inf(p('Autofit', 6),p('Undo', 9)).
inf(p('Autofit', 6),p('Redo', 9)).
inf(p('Undo', 6),p('Insert Row', 9)).
inf(p('Undo', 6),p('Insert Column', 9)).
inf(p('Undo', 6),p('Delete Row', 9)).
inf(p('Undo', 6),p('Delete Column', 9)).
inf(p('Undo', 6),p('Autofit', 9)).
inf(p('Undo', 6),p('Undo', 9)).
inf(p('Undo', 6),p('Redo', 9)).
inf(p('Undo', 6),p('Write in table', 9)).
inf(p('Redo', 6),p('Insert Row', 9)).
inf(p('Redo', 6),p('Insert Column', 9)).
inf(p('Redo', 6),p('Delete Row', 9)).
inf(p('Redo', 6),p('Delete Column', 9)).
inf(p('Redo', 6),p('Autofit', 9)).
inf(p('Redo', 6),p('Undo', 9)).
inf(p('Redo', 6),p('Redo', 9)).
inf(p('Redo', 6),p('Write in table', 9)).
inf(p('Write in table', 6),p('Undo', 9)).
inf(p('Write in table', 6),p('Redo', 9)).
inf(p('Insert Row', 7),p('Undo', 8)).
inf(p('Insert Row', 7),p('Redo', 8)).
inf(p('Insert Column', 7),p('Undo', 8)).
inf(p('Insert Column', 7),p('Redo', 8)).
inf(p('Delete Row', 7),p('Undo', 8)).
inf(p('Delete Row', 7),p('Redo', 8)).
inf(p('Delete Column', 7),p('Undo', 8)).
inf(p('Delete Column', 7),p('Redo', 8)).
inf(p('Autofit', 7),p('Undo', 8)).
inf(p('Autofit', 7),p('Redo', 8)).
inf(p('Undo', 7),p('Insert Row', 8)).
inf(p('Undo', 7),p('Insert Column', 8)).
inf(p('Undo', 7),p('Delete Row', 8)).
inf(p('Undo', 7),p('Delete Column', 8)).
inf(p('Undo', 7),p('Autofit', 8)).
inf(p('Undo', 7),p('Undo', 8)).
inf(p('Undo', 7),p('Redo', 8)).
inf(p('Undo', 7),p('Write in table', 8)).
inf(p('Redo', 7),p('Insert Row', 8)).
inf(p('Redo', 7),p('Insert Column', 8)).
inf(p('Redo', 7),p('Delete Row', 8)).
inf(p('Redo', 7),p('Delete Column', 8)).
inf(p('Redo', 7),p('Autofit', 8)).
inf(p('Redo', 7),p('Undo', 8)).
inf(p('Redo', 7),p('Redo', 8)).
inf(p('Redo', 7),p('Write in table', 8)).
inf(p('Write in table', 7),p('Undo', 8)).
inf(p('Write in table', 7),p('Redo', 8)).
inf(p('Insert Row', 7),p('Undo', 9)).
inf(p('Insert Row', 7),p('Redo', 9)).
inf(p('Insert Column', 7),p('Undo', 9)).
inf(p('Insert Column', 7),p('Redo', 9)).
inf(p('Delete Row', 7),p('Undo', 9)).
inf(p('Delete Row', 7),p('Redo', 9)).
inf(p('Delete Column', 7),p('Undo', 9)).
inf(p('Delete Column', 7),p('Redo', 9)).
inf(p('Autofit', 7),p('Undo', 9)).
inf(p('Autofit', 7),p('Redo', 9)).
inf(p('Undo', 7),p('Insert Row', 9)).
inf(p('Undo', 7),p('Insert Column', 9)).
inf(p('Undo', 7),p('Delete Row', 9)).
inf(p('Undo', 7),p('Delete Column', 9)).
inf(p('Undo', 7),p('Autofit', 9)).
inf(p('Undo', 7),p('Undo', 9)).
inf(p('Undo', 7),p('Redo', 9)).
inf(p('Undo', 7),p('Write in table', 9)).
inf(p('Redo', 7),p('Insert Row', 9)).
inf(p('Redo', 7),p('Insert Column', 9)).
inf(p('Redo', 7),p('Delete Row', 9)).
inf(p('Redo', 7),p('Delete Column', 9)).
inf(p('Redo', 7),p('Autofit', 9)).
inf(p('Redo', 7),p('Undo', 9)).
inf(p('Redo', 7),p('Redo', 9)).
inf(p('Redo', 7),p('Write in table', 9)).
inf(p('Write in table', 7),p('Undo', 9)).
inf(p('Write in table', 7),p('Redo', 9)).
inf(p('Insert Row', 8),p('Undo', 9)).
inf(p('Insert Row', 8),p('Redo', 9)).
inf(p('Insert Column', 8),p('Undo', 9)).
inf(p('Insert Column', 8),p('Redo', 9)).
inf(p('Delete Row', 8),p('Undo', 9)).
inf(p('Delete Row', 8),p('Redo', 9)).
inf(p('Delete Column', 8),p('Undo', 9)).
inf(p('Delete Column', 8),p('Redo', 9)).
inf(p('Autofit', 8),p('Undo', 9)).
inf(p('Autofit', 8),p('Redo', 9)).
inf(p('Undo', 8),p('Insert Row', 9)).
inf(p('Undo', 8),p('Insert Column', 9)).
inf(p('Undo', 8),p('Delete Row', 9)).
inf(p('Undo', 8),p('Delete Column', 9)).
inf(p('Undo', 8),p('Autofit', 9)).
inf(p('Undo', 8),p('Undo', 9)).
inf(p('Undo', 8),p('Redo', 9)).
inf(p('Undo', 8),p('Write in table', 9)).
inf(p('Redo', 8),p('Insert Row', 9)).
inf(p('Redo', 8),p('Insert Column', 9)).
inf(p('Redo', 8),p('Delete Row', 9)).
inf(p('Redo', 8),p('Delete Column', 9)).
inf(p('Redo', 8),p('Autofit', 9)).
inf(p('Redo', 8),p('Undo', 9)).
inf(p('Redo', 8),p('Redo', 9)).
inf(p('Redo', 8),p('Write in table', 9)).
inf(p('Write in table', 8),p('Undo', 9)).
inf(p('Write in table', 8),p('Redo', 9)).