inf(p('Italic', 0),p('Undo', 1)).
inf(p('Italic', 0),p('Redo', 1)).
inf(p('Bold', 0),p('Undo', 1)).
inf(p('Bold', 0),p('Redo', 1)).
inf(p('Font type', 0),p('Undo', 1)).
inf(p('Font type', 0),p('Redo', 1)).
inf(p('Font style', 0),p('Undo', 1)).
inf(p('Font style', 0),p('Redo', 1)).
inf(p('Font size', 0),p('Undo', 1)).
inf(p('Font size', 0),p('Redo', 1)).
inf(p('Text', 0),p('Undo', 1)).
inf(p('Text', 0),p('Redo', 1)).
inf(p('Inside Border', 0),p('Undo', 1)).
inf(p('Inside Border', 0),p('Redo', 1)).
inf(p('Outside Border', 0),p('Undo', 1)).
inf(p('Outside Border', 0),p('Redo', 1)).
inf(p('No Border', 0),p('Undo', 1)).
inf(p('No Border', 0),p('Redo', 1)).
inf(p('Background color', 0),p('Undo', 1)).
inf(p('Background color', 0),p('Redo', 1)).
inf(p('Font color', 0),p('Undo', 1)).
inf(p('Font color', 0),p('Redo', 1)).
inf(p('Undo', 0),p('Italic', 1)).
inf(p('Undo', 0),p('Bold', 1)).
inf(p('Undo', 0),p('Font type', 1)).
inf(p('Undo', 0),p('Font style', 1)).
inf(p('Undo', 0),p('Font size', 1)).
inf(p('Undo', 0),p('Text', 1)).
inf(p('Undo', 0),p('Inside Border', 1)).
inf(p('Undo', 0),p('Outside Border', 1)).
inf(p('Undo', 0),p('No Border', 1)).
inf(p('Undo', 0),p('Background color', 1)).
inf(p('Undo', 0),p('Font color', 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('Italic', 1)).
inf(p('Redo', 0),p('Bold', 1)).
inf(p('Redo', 0),p('Font type', 1)).
inf(p('Redo', 0),p('Font style', 1)).
inf(p('Redo', 0),p('Font size', 1)).
inf(p('Redo', 0),p('Text', 1)).
inf(p('Redo', 0),p('Inside Border', 1)).
inf(p('Redo', 0),p('Outside Border', 1)).
inf(p('Redo', 0),p('No Border', 1)).
inf(p('Redo', 0),p('Background color', 1)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 2)).
inf(p('Italic', 0),p('Redo', 2)).
inf(p('Bold', 0),p('Undo', 2)).
inf(p('Bold', 0),p('Redo', 2)).
inf(p('Font type', 0),p('Undo', 2)).
inf(p('Font type', 0),p('Redo', 2)).
inf(p('Font style', 0),p('Undo', 2)).
inf(p('Font style', 0),p('Redo', 2)).
inf(p('Font size', 0),p('Undo', 2)).
inf(p('Font size', 0),p('Redo', 2)).
inf(p('Text', 0),p('Undo', 2)).
inf(p('Text', 0),p('Redo', 2)).
inf(p('Inside Border', 0),p('Undo', 2)).
inf(p('Inside Border', 0),p('Redo', 2)).
inf(p('Outside Border', 0),p('Undo', 2)).
inf(p('Outside Border', 0),p('Redo', 2)).
inf(p('No Border', 0),p('Undo', 2)).
inf(p('No Border', 0),p('Redo', 2)).
inf(p('Background color', 0),p('Undo', 2)).
inf(p('Background color', 0),p('Redo', 2)).
inf(p('Font color', 0),p('Undo', 2)).
inf(p('Font color', 0),p('Redo', 2)).
inf(p('Undo', 0),p('Italic', 2)).
inf(p('Undo', 0),p('Bold', 2)).
inf(p('Undo', 0),p('Font type', 2)).
inf(p('Undo', 0),p('Font style', 2)).
inf(p('Undo', 0),p('Font size', 2)).
inf(p('Undo', 0),p('Text', 2)).
inf(p('Undo', 0),p('Inside Border', 2)).
inf(p('Undo', 0),p('Outside Border', 2)).
inf(p('Undo', 0),p('No Border', 2)).
inf(p('Undo', 0),p('Background color', 2)).
inf(p('Undo', 0),p('Font color', 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('Italic', 2)).
inf(p('Redo', 0),p('Bold', 2)).
inf(p('Redo', 0),p('Font type', 2)).
inf(p('Redo', 0),p('Font style', 2)).
inf(p('Redo', 0),p('Font size', 2)).
inf(p('Redo', 0),p('Text', 2)).
inf(p('Redo', 0),p('Inside Border', 2)).
inf(p('Redo', 0),p('Outside Border', 2)).
inf(p('Redo', 0),p('No Border', 2)).
inf(p('Redo', 0),p('Background color', 2)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 3)).
inf(p('Italic', 0),p('Redo', 3)).
inf(p('Bold', 0),p('Undo', 3)).
inf(p('Bold', 0),p('Redo', 3)).
inf(p('Font type', 0),p('Undo', 3)).
inf(p('Font type', 0),p('Redo', 3)).
inf(p('Font style', 0),p('Undo', 3)).
inf(p('Font style', 0),p('Redo', 3)).
inf(p('Font size', 0),p('Undo', 3)).
inf(p('Font size', 0),p('Redo', 3)).
inf(p('Text', 0),p('Undo', 3)).
inf(p('Text', 0),p('Redo', 3)).
inf(p('Inside Border', 0),p('Undo', 3)).
inf(p('Inside Border', 0),p('Redo', 3)).
inf(p('Outside Border', 0),p('Undo', 3)).
inf(p('Outside Border', 0),p('Redo', 3)).
inf(p('No Border', 0),p('Undo', 3)).
inf(p('No Border', 0),p('Redo', 3)).
inf(p('Background color', 0),p('Undo', 3)).
inf(p('Background color', 0),p('Redo', 3)).
inf(p('Font color', 0),p('Undo', 3)).
inf(p('Font color', 0),p('Redo', 3)).
inf(p('Undo', 0),p('Italic', 3)).
inf(p('Undo', 0),p('Bold', 3)).
inf(p('Undo', 0),p('Font type', 3)).
inf(p('Undo', 0),p('Font style', 3)).
inf(p('Undo', 0),p('Font size', 3)).
inf(p('Undo', 0),p('Text', 3)).
inf(p('Undo', 0),p('Inside Border', 3)).
inf(p('Undo', 0),p('Outside Border', 3)).
inf(p('Undo', 0),p('No Border', 3)).
inf(p('Undo', 0),p('Background color', 3)).
inf(p('Undo', 0),p('Font color', 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('Italic', 3)).
inf(p('Redo', 0),p('Bold', 3)).
inf(p('Redo', 0),p('Font type', 3)).
inf(p('Redo', 0),p('Font style', 3)).
inf(p('Redo', 0),p('Font size', 3)).
inf(p('Redo', 0),p('Text', 3)).
inf(p('Redo', 0),p('Inside Border', 3)).
inf(p('Redo', 0),p('Outside Border', 3)).
inf(p('Redo', 0),p('No Border', 3)).
inf(p('Redo', 0),p('Background color', 3)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 4)).
inf(p('Italic', 0),p('Redo', 4)).
inf(p('Bold', 0),p('Undo', 4)).
inf(p('Bold', 0),p('Redo', 4)).
inf(p('Font type', 0),p('Undo', 4)).
inf(p('Font type', 0),p('Redo', 4)).
inf(p('Font style', 0),p('Undo', 4)).
inf(p('Font style', 0),p('Redo', 4)).
inf(p('Font size', 0),p('Undo', 4)).
inf(p('Font size', 0),p('Redo', 4)).
inf(p('Text', 0),p('Undo', 4)).
inf(p('Text', 0),p('Redo', 4)).
inf(p('Inside Border', 0),p('Undo', 4)).
inf(p('Inside Border', 0),p('Redo', 4)).
inf(p('Outside Border', 0),p('Undo', 4)).
inf(p('Outside Border', 0),p('Redo', 4)).
inf(p('No Border', 0),p('Undo', 4)).
inf(p('No Border', 0),p('Redo', 4)).
inf(p('Background color', 0),p('Undo', 4)).
inf(p('Background color', 0),p('Redo', 4)).
inf(p('Font color', 0),p('Undo', 4)).
inf(p('Font color', 0),p('Redo', 4)).
inf(p('Undo', 0),p('Italic', 4)).
inf(p('Undo', 0),p('Bold', 4)).
inf(p('Undo', 0),p('Font type', 4)).
inf(p('Undo', 0),p('Font style', 4)).
inf(p('Undo', 0),p('Font size', 4)).
inf(p('Undo', 0),p('Text', 4)).
inf(p('Undo', 0),p('Inside Border', 4)).
inf(p('Undo', 0),p('Outside Border', 4)).
inf(p('Undo', 0),p('No Border', 4)).
inf(p('Undo', 0),p('Background color', 4)).
inf(p('Undo', 0),p('Font color', 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('Italic', 4)).
inf(p('Redo', 0),p('Bold', 4)).
inf(p('Redo', 0),p('Font type', 4)).
inf(p('Redo', 0),p('Font style', 4)).
inf(p('Redo', 0),p('Font size', 4)).
inf(p('Redo', 0),p('Text', 4)).
inf(p('Redo', 0),p('Inside Border', 4)).
inf(p('Redo', 0),p('Outside Border', 4)).
inf(p('Redo', 0),p('No Border', 4)).
inf(p('Redo', 0),p('Background color', 4)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 5)).
inf(p('Italic', 0),p('Redo', 5)).
inf(p('Bold', 0),p('Undo', 5)).
inf(p('Bold', 0),p('Redo', 5)).
inf(p('Font type', 0),p('Undo', 5)).
inf(p('Font type', 0),p('Redo', 5)).
inf(p('Font style', 0),p('Undo', 5)).
inf(p('Font style', 0),p('Redo', 5)).
inf(p('Font size', 0),p('Undo', 5)).
inf(p('Font size', 0),p('Redo', 5)).
inf(p('Text', 0),p('Undo', 5)).
inf(p('Text', 0),p('Redo', 5)).
inf(p('Inside Border', 0),p('Undo', 5)).
inf(p('Inside Border', 0),p('Redo', 5)).
inf(p('Outside Border', 0),p('Undo', 5)).
inf(p('Outside Border', 0),p('Redo', 5)).
inf(p('No Border', 0),p('Undo', 5)).
inf(p('No Border', 0),p('Redo', 5)).
inf(p('Background color', 0),p('Undo', 5)).
inf(p('Background color', 0),p('Redo', 5)).
inf(p('Font color', 0),p('Undo', 5)).
inf(p('Font color', 0),p('Redo', 5)).
inf(p('Undo', 0),p('Italic', 5)).
inf(p('Undo', 0),p('Bold', 5)).
inf(p('Undo', 0),p('Font type', 5)).
inf(p('Undo', 0),p('Font style', 5)).
inf(p('Undo', 0),p('Font size', 5)).
inf(p('Undo', 0),p('Text', 5)).
inf(p('Undo', 0),p('Inside Border', 5)).
inf(p('Undo', 0),p('Outside Border', 5)).
inf(p('Undo', 0),p('No Border', 5)).
inf(p('Undo', 0),p('Background color', 5)).
inf(p('Undo', 0),p('Font color', 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('Italic', 5)).
inf(p('Redo', 0),p('Bold', 5)).
inf(p('Redo', 0),p('Font type', 5)).
inf(p('Redo', 0),p('Font style', 5)).
inf(p('Redo', 0),p('Font size', 5)).
inf(p('Redo', 0),p('Text', 5)).
inf(p('Redo', 0),p('Inside Border', 5)).
inf(p('Redo', 0),p('Outside Border', 5)).
inf(p('Redo', 0),p('No Border', 5)).
inf(p('Redo', 0),p('Background color', 5)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 6)).
inf(p('Italic', 0),p('Redo', 6)).
inf(p('Bold', 0),p('Undo', 6)).
inf(p('Bold', 0),p('Redo', 6)).
inf(p('Font type', 0),p('Undo', 6)).
inf(p('Font type', 0),p('Redo', 6)).
inf(p('Font style', 0),p('Undo', 6)).
inf(p('Font style', 0),p('Redo', 6)).
inf(p('Font size', 0),p('Undo', 6)).
inf(p('Font size', 0),p('Redo', 6)).
inf(p('Text', 0),p('Undo', 6)).
inf(p('Text', 0),p('Redo', 6)).
inf(p('Inside Border', 0),p('Undo', 6)).
inf(p('Inside Border', 0),p('Redo', 6)).
inf(p('Outside Border', 0),p('Undo', 6)).
inf(p('Outside Border', 0),p('Redo', 6)).
inf(p('No Border', 0),p('Undo', 6)).
inf(p('No Border', 0),p('Redo', 6)).
inf(p('Background color', 0),p('Undo', 6)).
inf(p('Background color', 0),p('Redo', 6)).
inf(p('Font color', 0),p('Undo', 6)).
inf(p('Font color', 0),p('Redo', 6)).
inf(p('Undo', 0),p('Italic', 6)).
inf(p('Undo', 0),p('Bold', 6)).
inf(p('Undo', 0),p('Font type', 6)).
inf(p('Undo', 0),p('Font style', 6)).
inf(p('Undo', 0),p('Font size', 6)).
inf(p('Undo', 0),p('Text', 6)).
inf(p('Undo', 0),p('Inside Border', 6)).
inf(p('Undo', 0),p('Outside Border', 6)).
inf(p('Undo', 0),p('No Border', 6)).
inf(p('Undo', 0),p('Background color', 6)).
inf(p('Undo', 0),p('Font color', 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('Italic', 6)).
inf(p('Redo', 0),p('Bold', 6)).
inf(p('Redo', 0),p('Font type', 6)).
inf(p('Redo', 0),p('Font style', 6)).
inf(p('Redo', 0),p('Font size', 6)).
inf(p('Redo', 0),p('Text', 6)).
inf(p('Redo', 0),p('Inside Border', 6)).
inf(p('Redo', 0),p('Outside Border', 6)).
inf(p('Redo', 0),p('No Border', 6)).
inf(p('Redo', 0),p('Background color', 6)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 7)).
inf(p('Italic', 0),p('Redo', 7)).
inf(p('Bold', 0),p('Undo', 7)).
inf(p('Bold', 0),p('Redo', 7)).
inf(p('Font type', 0),p('Undo', 7)).
inf(p('Font type', 0),p('Redo', 7)).
inf(p('Font style', 0),p('Undo', 7)).
inf(p('Font style', 0),p('Redo', 7)).
inf(p('Font size', 0),p('Undo', 7)).
inf(p('Font size', 0),p('Redo', 7)).
inf(p('Text', 0),p('Undo', 7)).
inf(p('Text', 0),p('Redo', 7)).
inf(p('Inside Border', 0),p('Undo', 7)).
inf(p('Inside Border', 0),p('Redo', 7)).
inf(p('Outside Border', 0),p('Undo', 7)).
inf(p('Outside Border', 0),p('Redo', 7)).
inf(p('No Border', 0),p('Undo', 7)).
inf(p('No Border', 0),p('Redo', 7)).
inf(p('Background color', 0),p('Undo', 7)).
inf(p('Background color', 0),p('Redo', 7)).
inf(p('Font color', 0),p('Undo', 7)).
inf(p('Font color', 0),p('Redo', 7)).
inf(p('Undo', 0),p('Italic', 7)).
inf(p('Undo', 0),p('Bold', 7)).
inf(p('Undo', 0),p('Font type', 7)).
inf(p('Undo', 0),p('Font style', 7)).
inf(p('Undo', 0),p('Font size', 7)).
inf(p('Undo', 0),p('Text', 7)).
inf(p('Undo', 0),p('Inside Border', 7)).
inf(p('Undo', 0),p('Outside Border', 7)).
inf(p('Undo', 0),p('No Border', 7)).
inf(p('Undo', 0),p('Background color', 7)).
inf(p('Undo', 0),p('Font color', 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('Italic', 7)).
inf(p('Redo', 0),p('Bold', 7)).
inf(p('Redo', 0),p('Font type', 7)).
inf(p('Redo', 0),p('Font style', 7)).
inf(p('Redo', 0),p('Font size', 7)).
inf(p('Redo', 0),p('Text', 7)).
inf(p('Redo', 0),p('Inside Border', 7)).
inf(p('Redo', 0),p('Outside Border', 7)).
inf(p('Redo', 0),p('No Border', 7)).
inf(p('Redo', 0),p('Background color', 7)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 8)).
inf(p('Italic', 0),p('Redo', 8)).
inf(p('Bold', 0),p('Undo', 8)).
inf(p('Bold', 0),p('Redo', 8)).
inf(p('Font type', 0),p('Undo', 8)).
inf(p('Font type', 0),p('Redo', 8)).
inf(p('Font style', 0),p('Undo', 8)).
inf(p('Font style', 0),p('Redo', 8)).
inf(p('Font size', 0),p('Undo', 8)).
inf(p('Font size', 0),p('Redo', 8)).
inf(p('Text', 0),p('Undo', 8)).
inf(p('Text', 0),p('Redo', 8)).
inf(p('Inside Border', 0),p('Undo', 8)).
inf(p('Inside Border', 0),p('Redo', 8)).
inf(p('Outside Border', 0),p('Undo', 8)).
inf(p('Outside Border', 0),p('Redo', 8)).
inf(p('No Border', 0),p('Undo', 8)).
inf(p('No Border', 0),p('Redo', 8)).
inf(p('Background color', 0),p('Undo', 8)).
inf(p('Background color', 0),p('Redo', 8)).
inf(p('Font color', 0),p('Undo', 8)).
inf(p('Font color', 0),p('Redo', 8)).
inf(p('Undo', 0),p('Italic', 8)).
inf(p('Undo', 0),p('Bold', 8)).
inf(p('Undo', 0),p('Font type', 8)).
inf(p('Undo', 0),p('Font style', 8)).
inf(p('Undo', 0),p('Font size', 8)).
inf(p('Undo', 0),p('Text', 8)).
inf(p('Undo', 0),p('Inside Border', 8)).
inf(p('Undo', 0),p('Outside Border', 8)).
inf(p('Undo', 0),p('No Border', 8)).
inf(p('Undo', 0),p('Background color', 8)).
inf(p('Undo', 0),p('Font color', 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('Italic', 8)).
inf(p('Redo', 0),p('Bold', 8)).
inf(p('Redo', 0),p('Font type', 8)).
inf(p('Redo', 0),p('Font style', 8)).
inf(p('Redo', 0),p('Font size', 8)).
inf(p('Redo', 0),p('Text', 8)).
inf(p('Redo', 0),p('Inside Border', 8)).
inf(p('Redo', 0),p('Outside Border', 8)).
inf(p('Redo', 0),p('No Border', 8)).
inf(p('Redo', 0),p('Background color', 8)).
inf(p('Redo', 0),p('Font color', 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('Italic', 0),p('Undo', 9)).
inf(p('Italic', 0),p('Redo', 9)).
inf(p('Bold', 0),p('Undo', 9)).
inf(p('Bold', 0),p('Redo', 9)).
inf(p('Font type', 0),p('Undo', 9)).
inf(p('Font type', 0),p('Redo', 9)).
inf(p('Font style', 0),p('Undo', 9)).
inf(p('Font style', 0),p('Redo', 9)).
inf(p('Font size', 0),p('Undo', 9)).
inf(p('Font size', 0),p('Redo', 9)).
inf(p('Text', 0),p('Undo', 9)).
inf(p('Text', 0),p('Redo', 9)).
inf(p('Inside Border', 0),p('Undo', 9)).
inf(p('Inside Border', 0),p('Redo', 9)).
inf(p('Outside Border', 0),p('Undo', 9)).
inf(p('Outside Border', 0),p('Redo', 9)).
inf(p('No Border', 0),p('Undo', 9)).
inf(p('No Border', 0),p('Redo', 9)).
inf(p('Background color', 0),p('Undo', 9)).
inf(p('Background color', 0),p('Redo', 9)).
inf(p('Font color', 0),p('Undo', 9)).
inf(p('Font color', 0),p('Redo', 9)).
inf(p('Undo', 0),p('Italic', 9)).
inf(p('Undo', 0),p('Bold', 9)).
inf(p('Undo', 0),p('Font type', 9)).
inf(p('Undo', 0),p('Font style', 9)).
inf(p('Undo', 0),p('Font size', 9)).
inf(p('Undo', 0),p('Text', 9)).
inf(p('Undo', 0),p('Inside Border', 9)).
inf(p('Undo', 0),p('Outside Border', 9)).
inf(p('Undo', 0),p('No Border', 9)).
inf(p('Undo', 0),p('Background color', 9)).
inf(p('Undo', 0),p('Font color', 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('Italic', 9)).
inf(p('Redo', 0),p('Bold', 9)).
inf(p('Redo', 0),p('Font type', 9)).
inf(p('Redo', 0),p('Font style', 9)).
inf(p('Redo', 0),p('Font size', 9)).
inf(p('Redo', 0),p('Text', 9)).
inf(p('Redo', 0),p('Inside Border', 9)).
inf(p('Redo', 0),p('Outside Border', 9)).
inf(p('Redo', 0),p('No Border', 9)).
inf(p('Redo', 0),p('Background color', 9)).
inf(p('Redo', 0),p('Font color', 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('Italic', 1),p('Undo', 2)).
inf(p('Italic', 1),p('Redo', 2)).
inf(p('Bold', 1),p('Undo', 2)).
inf(p('Bold', 1),p('Redo', 2)).
inf(p('Font type', 1),p('Undo', 2)).
inf(p('Font type', 1),p('Redo', 2)).
inf(p('Font style', 1),p('Undo', 2)).
inf(p('Font style', 1),p('Redo', 2)).
inf(p('Font size', 1),p('Undo', 2)).
inf(p('Font size', 1),p('Redo', 2)).
inf(p('Text', 1),p('Undo', 2)).
inf(p('Text', 1),p('Redo', 2)).
inf(p('Inside Border', 1),p('Undo', 2)).
inf(p('Inside Border', 1),p('Redo', 2)).
inf(p('Outside Border', 1),p('Undo', 2)).
inf(p('Outside Border', 1),p('Redo', 2)).
inf(p('No Border', 1),p('Undo', 2)).
inf(p('No Border', 1),p('Redo', 2)).
inf(p('Background color', 1),p('Undo', 2)).
inf(p('Background color', 1),p('Redo', 2)).
inf(p('Font color', 1),p('Undo', 2)).
inf(p('Font color', 1),p('Redo', 2)).
inf(p('Undo', 1),p('Italic', 2)).
inf(p('Undo', 1),p('Bold', 2)).
inf(p('Undo', 1),p('Font type', 2)).
inf(p('Undo', 1),p('Font style', 2)).
inf(p('Undo', 1),p('Font size', 2)).
inf(p('Undo', 1),p('Text', 2)).
inf(p('Undo', 1),p('Inside Border', 2)).
inf(p('Undo', 1),p('Outside Border', 2)).
inf(p('Undo', 1),p('No Border', 2)).
inf(p('Undo', 1),p('Background color', 2)).
inf(p('Undo', 1),p('Font color', 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('Italic', 2)).
inf(p('Redo', 1),p('Bold', 2)).
inf(p('Redo', 1),p('Font type', 2)).
inf(p('Redo', 1),p('Font style', 2)).
inf(p('Redo', 1),p('Font size', 2)).
inf(p('Redo', 1),p('Text', 2)).
inf(p('Redo', 1),p('Inside Border', 2)).
inf(p('Redo', 1),p('Outside Border', 2)).
inf(p('Redo', 1),p('No Border', 2)).
inf(p('Redo', 1),p('Background color', 2)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 3)).
inf(p('Italic', 1),p('Redo', 3)).
inf(p('Bold', 1),p('Undo', 3)).
inf(p('Bold', 1),p('Redo', 3)).
inf(p('Font type', 1),p('Undo', 3)).
inf(p('Font type', 1),p('Redo', 3)).
inf(p('Font style', 1),p('Undo', 3)).
inf(p('Font style', 1),p('Redo', 3)).
inf(p('Font size', 1),p('Undo', 3)).
inf(p('Font size', 1),p('Redo', 3)).
inf(p('Text', 1),p('Undo', 3)).
inf(p('Text', 1),p('Redo', 3)).
inf(p('Inside Border', 1),p('Undo', 3)).
inf(p('Inside Border', 1),p('Redo', 3)).
inf(p('Outside Border', 1),p('Undo', 3)).
inf(p('Outside Border', 1),p('Redo', 3)).
inf(p('No Border', 1),p('Undo', 3)).
inf(p('No Border', 1),p('Redo', 3)).
inf(p('Background color', 1),p('Undo', 3)).
inf(p('Background color', 1),p('Redo', 3)).
inf(p('Font color', 1),p('Undo', 3)).
inf(p('Font color', 1),p('Redo', 3)).
inf(p('Undo', 1),p('Italic', 3)).
inf(p('Undo', 1),p('Bold', 3)).
inf(p('Undo', 1),p('Font type', 3)).
inf(p('Undo', 1),p('Font style', 3)).
inf(p('Undo', 1),p('Font size', 3)).
inf(p('Undo', 1),p('Text', 3)).
inf(p('Undo', 1),p('Inside Border', 3)).
inf(p('Undo', 1),p('Outside Border', 3)).
inf(p('Undo', 1),p('No Border', 3)).
inf(p('Undo', 1),p('Background color', 3)).
inf(p('Undo', 1),p('Font color', 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('Italic', 3)).
inf(p('Redo', 1),p('Bold', 3)).
inf(p('Redo', 1),p('Font type', 3)).
inf(p('Redo', 1),p('Font style', 3)).
inf(p('Redo', 1),p('Font size', 3)).
inf(p('Redo', 1),p('Text', 3)).
inf(p('Redo', 1),p('Inside Border', 3)).
inf(p('Redo', 1),p('Outside Border', 3)).
inf(p('Redo', 1),p('No Border', 3)).
inf(p('Redo', 1),p('Background color', 3)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 4)).
inf(p('Italic', 1),p('Redo', 4)).
inf(p('Bold', 1),p('Undo', 4)).
inf(p('Bold', 1),p('Redo', 4)).
inf(p('Font type', 1),p('Undo', 4)).
inf(p('Font type', 1),p('Redo', 4)).
inf(p('Font style', 1),p('Undo', 4)).
inf(p('Font style', 1),p('Redo', 4)).
inf(p('Font size', 1),p('Undo', 4)).
inf(p('Font size', 1),p('Redo', 4)).
inf(p('Text', 1),p('Undo', 4)).
inf(p('Text', 1),p('Redo', 4)).
inf(p('Inside Border', 1),p('Undo', 4)).
inf(p('Inside Border', 1),p('Redo', 4)).
inf(p('Outside Border', 1),p('Undo', 4)).
inf(p('Outside Border', 1),p('Redo', 4)).
inf(p('No Border', 1),p('Undo', 4)).
inf(p('No Border', 1),p('Redo', 4)).
inf(p('Background color', 1),p('Undo', 4)).
inf(p('Background color', 1),p('Redo', 4)).
inf(p('Font color', 1),p('Undo', 4)).
inf(p('Font color', 1),p('Redo', 4)).
inf(p('Undo', 1),p('Italic', 4)).
inf(p('Undo', 1),p('Bold', 4)).
inf(p('Undo', 1),p('Font type', 4)).
inf(p('Undo', 1),p('Font style', 4)).
inf(p('Undo', 1),p('Font size', 4)).
inf(p('Undo', 1),p('Text', 4)).
inf(p('Undo', 1),p('Inside Border', 4)).
inf(p('Undo', 1),p('Outside Border', 4)).
inf(p('Undo', 1),p('No Border', 4)).
inf(p('Undo', 1),p('Background color', 4)).
inf(p('Undo', 1),p('Font color', 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('Italic', 4)).
inf(p('Redo', 1),p('Bold', 4)).
inf(p('Redo', 1),p('Font type', 4)).
inf(p('Redo', 1),p('Font style', 4)).
inf(p('Redo', 1),p('Font size', 4)).
inf(p('Redo', 1),p('Text', 4)).
inf(p('Redo', 1),p('Inside Border', 4)).
inf(p('Redo', 1),p('Outside Border', 4)).
inf(p('Redo', 1),p('No Border', 4)).
inf(p('Redo', 1),p('Background color', 4)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 5)).
inf(p('Italic', 1),p('Redo', 5)).
inf(p('Bold', 1),p('Undo', 5)).
inf(p('Bold', 1),p('Redo', 5)).
inf(p('Font type', 1),p('Undo', 5)).
inf(p('Font type', 1),p('Redo', 5)).
inf(p('Font style', 1),p('Undo', 5)).
inf(p('Font style', 1),p('Redo', 5)).
inf(p('Font size', 1),p('Undo', 5)).
inf(p('Font size', 1),p('Redo', 5)).
inf(p('Text', 1),p('Undo', 5)).
inf(p('Text', 1),p('Redo', 5)).
inf(p('Inside Border', 1),p('Undo', 5)).
inf(p('Inside Border', 1),p('Redo', 5)).
inf(p('Outside Border', 1),p('Undo', 5)).
inf(p('Outside Border', 1),p('Redo', 5)).
inf(p('No Border', 1),p('Undo', 5)).
inf(p('No Border', 1),p('Redo', 5)).
inf(p('Background color', 1),p('Undo', 5)).
inf(p('Background color', 1),p('Redo', 5)).
inf(p('Font color', 1),p('Undo', 5)).
inf(p('Font color', 1),p('Redo', 5)).
inf(p('Undo', 1),p('Italic', 5)).
inf(p('Undo', 1),p('Bold', 5)).
inf(p('Undo', 1),p('Font type', 5)).
inf(p('Undo', 1),p('Font style', 5)).
inf(p('Undo', 1),p('Font size', 5)).
inf(p('Undo', 1),p('Text', 5)).
inf(p('Undo', 1),p('Inside Border', 5)).
inf(p('Undo', 1),p('Outside Border', 5)).
inf(p('Undo', 1),p('No Border', 5)).
inf(p('Undo', 1),p('Background color', 5)).
inf(p('Undo', 1),p('Font color', 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('Italic', 5)).
inf(p('Redo', 1),p('Bold', 5)).
inf(p('Redo', 1),p('Font type', 5)).
inf(p('Redo', 1),p('Font style', 5)).
inf(p('Redo', 1),p('Font size', 5)).
inf(p('Redo', 1),p('Text', 5)).
inf(p('Redo', 1),p('Inside Border', 5)).
inf(p('Redo', 1),p('Outside Border', 5)).
inf(p('Redo', 1),p('No Border', 5)).
inf(p('Redo', 1),p('Background color', 5)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 6)).
inf(p('Italic', 1),p('Redo', 6)).
inf(p('Bold', 1),p('Undo', 6)).
inf(p('Bold', 1),p('Redo', 6)).
inf(p('Font type', 1),p('Undo', 6)).
inf(p('Font type', 1),p('Redo', 6)).
inf(p('Font style', 1),p('Undo', 6)).
inf(p('Font style', 1),p('Redo', 6)).
inf(p('Font size', 1),p('Undo', 6)).
inf(p('Font size', 1),p('Redo', 6)).
inf(p('Text', 1),p('Undo', 6)).
inf(p('Text', 1),p('Redo', 6)).
inf(p('Inside Border', 1),p('Undo', 6)).
inf(p('Inside Border', 1),p('Redo', 6)).
inf(p('Outside Border', 1),p('Undo', 6)).
inf(p('Outside Border', 1),p('Redo', 6)).
inf(p('No Border', 1),p('Undo', 6)).
inf(p('No Border', 1),p('Redo', 6)).
inf(p('Background color', 1),p('Undo', 6)).
inf(p('Background color', 1),p('Redo', 6)).
inf(p('Font color', 1),p('Undo', 6)).
inf(p('Font color', 1),p('Redo', 6)).
inf(p('Undo', 1),p('Italic', 6)).
inf(p('Undo', 1),p('Bold', 6)).
inf(p('Undo', 1),p('Font type', 6)).
inf(p('Undo', 1),p('Font style', 6)).
inf(p('Undo', 1),p('Font size', 6)).
inf(p('Undo', 1),p('Text', 6)).
inf(p('Undo', 1),p('Inside Border', 6)).
inf(p('Undo', 1),p('Outside Border', 6)).
inf(p('Undo', 1),p('No Border', 6)).
inf(p('Undo', 1),p('Background color', 6)).
inf(p('Undo', 1),p('Font color', 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('Italic', 6)).
inf(p('Redo', 1),p('Bold', 6)).
inf(p('Redo', 1),p('Font type', 6)).
inf(p('Redo', 1),p('Font style', 6)).
inf(p('Redo', 1),p('Font size', 6)).
inf(p('Redo', 1),p('Text', 6)).
inf(p('Redo', 1),p('Inside Border', 6)).
inf(p('Redo', 1),p('Outside Border', 6)).
inf(p('Redo', 1),p('No Border', 6)).
inf(p('Redo', 1),p('Background color', 6)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 7)).
inf(p('Italic', 1),p('Redo', 7)).
inf(p('Bold', 1),p('Undo', 7)).
inf(p('Bold', 1),p('Redo', 7)).
inf(p('Font type', 1),p('Undo', 7)).
inf(p('Font type', 1),p('Redo', 7)).
inf(p('Font style', 1),p('Undo', 7)).
inf(p('Font style', 1),p('Redo', 7)).
inf(p('Font size', 1),p('Undo', 7)).
inf(p('Font size', 1),p('Redo', 7)).
inf(p('Text', 1),p('Undo', 7)).
inf(p('Text', 1),p('Redo', 7)).
inf(p('Inside Border', 1),p('Undo', 7)).
inf(p('Inside Border', 1),p('Redo', 7)).
inf(p('Outside Border', 1),p('Undo', 7)).
inf(p('Outside Border', 1),p('Redo', 7)).
inf(p('No Border', 1),p('Undo', 7)).
inf(p('No Border', 1),p('Redo', 7)).
inf(p('Background color', 1),p('Undo', 7)).
inf(p('Background color', 1),p('Redo', 7)).
inf(p('Font color', 1),p('Undo', 7)).
inf(p('Font color', 1),p('Redo', 7)).
inf(p('Undo', 1),p('Italic', 7)).
inf(p('Undo', 1),p('Bold', 7)).
inf(p('Undo', 1),p('Font type', 7)).
inf(p('Undo', 1),p('Font style', 7)).
inf(p('Undo', 1),p('Font size', 7)).
inf(p('Undo', 1),p('Text', 7)).
inf(p('Undo', 1),p('Inside Border', 7)).
inf(p('Undo', 1),p('Outside Border', 7)).
inf(p('Undo', 1),p('No Border', 7)).
inf(p('Undo', 1),p('Background color', 7)).
inf(p('Undo', 1),p('Font color', 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('Italic', 7)).
inf(p('Redo', 1),p('Bold', 7)).
inf(p('Redo', 1),p('Font type', 7)).
inf(p('Redo', 1),p('Font style', 7)).
inf(p('Redo', 1),p('Font size', 7)).
inf(p('Redo', 1),p('Text', 7)).
inf(p('Redo', 1),p('Inside Border', 7)).
inf(p('Redo', 1),p('Outside Border', 7)).
inf(p('Redo', 1),p('No Border', 7)).
inf(p('Redo', 1),p('Background color', 7)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 8)).
inf(p('Italic', 1),p('Redo', 8)).
inf(p('Bold', 1),p('Undo', 8)).
inf(p('Bold', 1),p('Redo', 8)).
inf(p('Font type', 1),p('Undo', 8)).
inf(p('Font type', 1),p('Redo', 8)).
inf(p('Font style', 1),p('Undo', 8)).
inf(p('Font style', 1),p('Redo', 8)).
inf(p('Font size', 1),p('Undo', 8)).
inf(p('Font size', 1),p('Redo', 8)).
inf(p('Text', 1),p('Undo', 8)).
inf(p('Text', 1),p('Redo', 8)).
inf(p('Inside Border', 1),p('Undo', 8)).
inf(p('Inside Border', 1),p('Redo', 8)).
inf(p('Outside Border', 1),p('Undo', 8)).
inf(p('Outside Border', 1),p('Redo', 8)).
inf(p('No Border', 1),p('Undo', 8)).
inf(p('No Border', 1),p('Redo', 8)).
inf(p('Background color', 1),p('Undo', 8)).
inf(p('Background color', 1),p('Redo', 8)).
inf(p('Font color', 1),p('Undo', 8)).
inf(p('Font color', 1),p('Redo', 8)).
inf(p('Undo', 1),p('Italic', 8)).
inf(p('Undo', 1),p('Bold', 8)).
inf(p('Undo', 1),p('Font type', 8)).
inf(p('Undo', 1),p('Font style', 8)).
inf(p('Undo', 1),p('Font size', 8)).
inf(p('Undo', 1),p('Text', 8)).
inf(p('Undo', 1),p('Inside Border', 8)).
inf(p('Undo', 1),p('Outside Border', 8)).
inf(p('Undo', 1),p('No Border', 8)).
inf(p('Undo', 1),p('Background color', 8)).
inf(p('Undo', 1),p('Font color', 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('Italic', 8)).
inf(p('Redo', 1),p('Bold', 8)).
inf(p('Redo', 1),p('Font type', 8)).
inf(p('Redo', 1),p('Font style', 8)).
inf(p('Redo', 1),p('Font size', 8)).
inf(p('Redo', 1),p('Text', 8)).
inf(p('Redo', 1),p('Inside Border', 8)).
inf(p('Redo', 1),p('Outside Border', 8)).
inf(p('Redo', 1),p('No Border', 8)).
inf(p('Redo', 1),p('Background color', 8)).
inf(p('Redo', 1),p('Font color', 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('Italic', 1),p('Undo', 9)).
inf(p('Italic', 1),p('Redo', 9)).
inf(p('Bold', 1),p('Undo', 9)).
inf(p('Bold', 1),p('Redo', 9)).
inf(p('Font type', 1),p('Undo', 9)).
inf(p('Font type', 1),p('Redo', 9)).
inf(p('Font style', 1),p('Undo', 9)).
inf(p('Font style', 1),p('Redo', 9)).
inf(p('Font size', 1),p('Undo', 9)).
inf(p('Font size', 1),p('Redo', 9)).
inf(p('Text', 1),p('Undo', 9)).
inf(p('Text', 1),p('Redo', 9)).
inf(p('Inside Border', 1),p('Undo', 9)).
inf(p('Inside Border', 1),p('Redo', 9)).
inf(p('Outside Border', 1),p('Undo', 9)).
inf(p('Outside Border', 1),p('Redo', 9)).
inf(p('No Border', 1),p('Undo', 9)).
inf(p('No Border', 1),p('Redo', 9)).
inf(p('Background color', 1),p('Undo', 9)).
inf(p('Background color', 1),p('Redo', 9)).
inf(p('Font color', 1),p('Undo', 9)).
inf(p('Font color', 1),p('Redo', 9)).
inf(p('Undo', 1),p('Italic', 9)).
inf(p('Undo', 1),p('Bold', 9)).
inf(p('Undo', 1),p('Font type', 9)).
inf(p('Undo', 1),p('Font style', 9)).
inf(p('Undo', 1),p('Font size', 9)).
inf(p('Undo', 1),p('Text', 9)).
inf(p('Undo', 1),p('Inside Border', 9)).
inf(p('Undo', 1),p('Outside Border', 9)).
inf(p('Undo', 1),p('No Border', 9)).
inf(p('Undo', 1),p('Background color', 9)).
inf(p('Undo', 1),p('Font color', 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('Italic', 9)).
inf(p('Redo', 1),p('Bold', 9)).
inf(p('Redo', 1),p('Font type', 9)).
inf(p('Redo', 1),p('Font style', 9)).
inf(p('Redo', 1),p('Font size', 9)).
inf(p('Redo', 1),p('Text', 9)).
inf(p('Redo', 1),p('Inside Border', 9)).
inf(p('Redo', 1),p('Outside Border', 9)).
inf(p('Redo', 1),p('No Border', 9)).
inf(p('Redo', 1),p('Background color', 9)).
inf(p('Redo', 1),p('Font color', 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('Italic', 2),p('Undo', 3)).
inf(p('Italic', 2),p('Redo', 3)).
inf(p('Bold', 2),p('Undo', 3)).
inf(p('Bold', 2),p('Redo', 3)).
inf(p('Font type', 2),p('Undo', 3)).
inf(p('Font type', 2),p('Redo', 3)).
inf(p('Font style', 2),p('Undo', 3)).
inf(p('Font style', 2),p('Redo', 3)).
inf(p('Font size', 2),p('Undo', 3)).
inf(p('Font size', 2),p('Redo', 3)).
inf(p('Text', 2),p('Undo', 3)).
inf(p('Text', 2),p('Redo', 3)).
inf(p('Inside Border', 2),p('Undo', 3)).
inf(p('Inside Border', 2),p('Redo', 3)).
inf(p('Outside Border', 2),p('Undo', 3)).
inf(p('Outside Border', 2),p('Redo', 3)).
inf(p('No Border', 2),p('Undo', 3)).
inf(p('No Border', 2),p('Redo', 3)).
inf(p('Background color', 2),p('Undo', 3)).
inf(p('Background color', 2),p('Redo', 3)).
inf(p('Font color', 2),p('Undo', 3)).
inf(p('Font color', 2),p('Redo', 3)).
inf(p('Undo', 2),p('Italic', 3)).
inf(p('Undo', 2),p('Bold', 3)).
inf(p('Undo', 2),p('Font type', 3)).
inf(p('Undo', 2),p('Font style', 3)).
inf(p('Undo', 2),p('Font size', 3)).
inf(p('Undo', 2),p('Text', 3)).
inf(p('Undo', 2),p('Inside Border', 3)).
inf(p('Undo', 2),p('Outside Border', 3)).
inf(p('Undo', 2),p('No Border', 3)).
inf(p('Undo', 2),p('Background color', 3)).
inf(p('Undo', 2),p('Font color', 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('Italic', 3)).
inf(p('Redo', 2),p('Bold', 3)).
inf(p('Redo', 2),p('Font type', 3)).
inf(p('Redo', 2),p('Font style', 3)).
inf(p('Redo', 2),p('Font size', 3)).
inf(p('Redo', 2),p('Text', 3)).
inf(p('Redo', 2),p('Inside Border', 3)).
inf(p('Redo', 2),p('Outside Border', 3)).
inf(p('Redo', 2),p('No Border', 3)).
inf(p('Redo', 2),p('Background color', 3)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 4)).
inf(p('Italic', 2),p('Redo', 4)).
inf(p('Bold', 2),p('Undo', 4)).
inf(p('Bold', 2),p('Redo', 4)).
inf(p('Font type', 2),p('Undo', 4)).
inf(p('Font type', 2),p('Redo', 4)).
inf(p('Font style', 2),p('Undo', 4)).
inf(p('Font style', 2),p('Redo', 4)).
inf(p('Font size', 2),p('Undo', 4)).
inf(p('Font size', 2),p('Redo', 4)).
inf(p('Text', 2),p('Undo', 4)).
inf(p('Text', 2),p('Redo', 4)).
inf(p('Inside Border', 2),p('Undo', 4)).
inf(p('Inside Border', 2),p('Redo', 4)).
inf(p('Outside Border', 2),p('Undo', 4)).
inf(p('Outside Border', 2),p('Redo', 4)).
inf(p('No Border', 2),p('Undo', 4)).
inf(p('No Border', 2),p('Redo', 4)).
inf(p('Background color', 2),p('Undo', 4)).
inf(p('Background color', 2),p('Redo', 4)).
inf(p('Font color', 2),p('Undo', 4)).
inf(p('Font color', 2),p('Redo', 4)).
inf(p('Undo', 2),p('Italic', 4)).
inf(p('Undo', 2),p('Bold', 4)).
inf(p('Undo', 2),p('Font type', 4)).
inf(p('Undo', 2),p('Font style', 4)).
inf(p('Undo', 2),p('Font size', 4)).
inf(p('Undo', 2),p('Text', 4)).
inf(p('Undo', 2),p('Inside Border', 4)).
inf(p('Undo', 2),p('Outside Border', 4)).
inf(p('Undo', 2),p('No Border', 4)).
inf(p('Undo', 2),p('Background color', 4)).
inf(p('Undo', 2),p('Font color', 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('Italic', 4)).
inf(p('Redo', 2),p('Bold', 4)).
inf(p('Redo', 2),p('Font type', 4)).
inf(p('Redo', 2),p('Font style', 4)).
inf(p('Redo', 2),p('Font size', 4)).
inf(p('Redo', 2),p('Text', 4)).
inf(p('Redo', 2),p('Inside Border', 4)).
inf(p('Redo', 2),p('Outside Border', 4)).
inf(p('Redo', 2),p('No Border', 4)).
inf(p('Redo', 2),p('Background color', 4)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 5)).
inf(p('Italic', 2),p('Redo', 5)).
inf(p('Bold', 2),p('Undo', 5)).
inf(p('Bold', 2),p('Redo', 5)).
inf(p('Font type', 2),p('Undo', 5)).
inf(p('Font type', 2),p('Redo', 5)).
inf(p('Font style', 2),p('Undo', 5)).
inf(p('Font style', 2),p('Redo', 5)).
inf(p('Font size', 2),p('Undo', 5)).
inf(p('Font size', 2),p('Redo', 5)).
inf(p('Text', 2),p('Undo', 5)).
inf(p('Text', 2),p('Redo', 5)).
inf(p('Inside Border', 2),p('Undo', 5)).
inf(p('Inside Border', 2),p('Redo', 5)).
inf(p('Outside Border', 2),p('Undo', 5)).
inf(p('Outside Border', 2),p('Redo', 5)).
inf(p('No Border', 2),p('Undo', 5)).
inf(p('No Border', 2),p('Redo', 5)).
inf(p('Background color', 2),p('Undo', 5)).
inf(p('Background color', 2),p('Redo', 5)).
inf(p('Font color', 2),p('Undo', 5)).
inf(p('Font color', 2),p('Redo', 5)).
inf(p('Undo', 2),p('Italic', 5)).
inf(p('Undo', 2),p('Bold', 5)).
inf(p('Undo', 2),p('Font type', 5)).
inf(p('Undo', 2),p('Font style', 5)).
inf(p('Undo', 2),p('Font size', 5)).
inf(p('Undo', 2),p('Text', 5)).
inf(p('Undo', 2),p('Inside Border', 5)).
inf(p('Undo', 2),p('Outside Border', 5)).
inf(p('Undo', 2),p('No Border', 5)).
inf(p('Undo', 2),p('Background color', 5)).
inf(p('Undo', 2),p('Font color', 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('Italic', 5)).
inf(p('Redo', 2),p('Bold', 5)).
inf(p('Redo', 2),p('Font type', 5)).
inf(p('Redo', 2),p('Font style', 5)).
inf(p('Redo', 2),p('Font size', 5)).
inf(p('Redo', 2),p('Text', 5)).
inf(p('Redo', 2),p('Inside Border', 5)).
inf(p('Redo', 2),p('Outside Border', 5)).
inf(p('Redo', 2),p('No Border', 5)).
inf(p('Redo', 2),p('Background color', 5)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 6)).
inf(p('Italic', 2),p('Redo', 6)).
inf(p('Bold', 2),p('Undo', 6)).
inf(p('Bold', 2),p('Redo', 6)).
inf(p('Font type', 2),p('Undo', 6)).
inf(p('Font type', 2),p('Redo', 6)).
inf(p('Font style', 2),p('Undo', 6)).
inf(p('Font style', 2),p('Redo', 6)).
inf(p('Font size', 2),p('Undo', 6)).
inf(p('Font size', 2),p('Redo', 6)).
inf(p('Text', 2),p('Undo', 6)).
inf(p('Text', 2),p('Redo', 6)).
inf(p('Inside Border', 2),p('Undo', 6)).
inf(p('Inside Border', 2),p('Redo', 6)).
inf(p('Outside Border', 2),p('Undo', 6)).
inf(p('Outside Border', 2),p('Redo', 6)).
inf(p('No Border', 2),p('Undo', 6)).
inf(p('No Border', 2),p('Redo', 6)).
inf(p('Background color', 2),p('Undo', 6)).
inf(p('Background color', 2),p('Redo', 6)).
inf(p('Font color', 2),p('Undo', 6)).
inf(p('Font color', 2),p('Redo', 6)).
inf(p('Undo', 2),p('Italic', 6)).
inf(p('Undo', 2),p('Bold', 6)).
inf(p('Undo', 2),p('Font type', 6)).
inf(p('Undo', 2),p('Font style', 6)).
inf(p('Undo', 2),p('Font size', 6)).
inf(p('Undo', 2),p('Text', 6)).
inf(p('Undo', 2),p('Inside Border', 6)).
inf(p('Undo', 2),p('Outside Border', 6)).
inf(p('Undo', 2),p('No Border', 6)).
inf(p('Undo', 2),p('Background color', 6)).
inf(p('Undo', 2),p('Font color', 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('Italic', 6)).
inf(p('Redo', 2),p('Bold', 6)).
inf(p('Redo', 2),p('Font type', 6)).
inf(p('Redo', 2),p('Font style', 6)).
inf(p('Redo', 2),p('Font size', 6)).
inf(p('Redo', 2),p('Text', 6)).
inf(p('Redo', 2),p('Inside Border', 6)).
inf(p('Redo', 2),p('Outside Border', 6)).
inf(p('Redo', 2),p('No Border', 6)).
inf(p('Redo', 2),p('Background color', 6)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 7)).
inf(p('Italic', 2),p('Redo', 7)).
inf(p('Bold', 2),p('Undo', 7)).
inf(p('Bold', 2),p('Redo', 7)).
inf(p('Font type', 2),p('Undo', 7)).
inf(p('Font type', 2),p('Redo', 7)).
inf(p('Font style', 2),p('Undo', 7)).
inf(p('Font style', 2),p('Redo', 7)).
inf(p('Font size', 2),p('Undo', 7)).
inf(p('Font size', 2),p('Redo', 7)).
inf(p('Text', 2),p('Undo', 7)).
inf(p('Text', 2),p('Redo', 7)).
inf(p('Inside Border', 2),p('Undo', 7)).
inf(p('Inside Border', 2),p('Redo', 7)).
inf(p('Outside Border', 2),p('Undo', 7)).
inf(p('Outside Border', 2),p('Redo', 7)).
inf(p('No Border', 2),p('Undo', 7)).
inf(p('No Border', 2),p('Redo', 7)).
inf(p('Background color', 2),p('Undo', 7)).
inf(p('Background color', 2),p('Redo', 7)).
inf(p('Font color', 2),p('Undo', 7)).
inf(p('Font color', 2),p('Redo', 7)).
inf(p('Undo', 2),p('Italic', 7)).
inf(p('Undo', 2),p('Bold', 7)).
inf(p('Undo', 2),p('Font type', 7)).
inf(p('Undo', 2),p('Font style', 7)).
inf(p('Undo', 2),p('Font size', 7)).
inf(p('Undo', 2),p('Text', 7)).
inf(p('Undo', 2),p('Inside Border', 7)).
inf(p('Undo', 2),p('Outside Border', 7)).
inf(p('Undo', 2),p('No Border', 7)).
inf(p('Undo', 2),p('Background color', 7)).
inf(p('Undo', 2),p('Font color', 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('Italic', 7)).
inf(p('Redo', 2),p('Bold', 7)).
inf(p('Redo', 2),p('Font type', 7)).
inf(p('Redo', 2),p('Font style', 7)).
inf(p('Redo', 2),p('Font size', 7)).
inf(p('Redo', 2),p('Text', 7)).
inf(p('Redo', 2),p('Inside Border', 7)).
inf(p('Redo', 2),p('Outside Border', 7)).
inf(p('Redo', 2),p('No Border', 7)).
inf(p('Redo', 2),p('Background color', 7)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 8)).
inf(p('Italic', 2),p('Redo', 8)).
inf(p('Bold', 2),p('Undo', 8)).
inf(p('Bold', 2),p('Redo', 8)).
inf(p('Font type', 2),p('Undo', 8)).
inf(p('Font type', 2),p('Redo', 8)).
inf(p('Font style', 2),p('Undo', 8)).
inf(p('Font style', 2),p('Redo', 8)).
inf(p('Font size', 2),p('Undo', 8)).
inf(p('Font size', 2),p('Redo', 8)).
inf(p('Text', 2),p('Undo', 8)).
inf(p('Text', 2),p('Redo', 8)).
inf(p('Inside Border', 2),p('Undo', 8)).
inf(p('Inside Border', 2),p('Redo', 8)).
inf(p('Outside Border', 2),p('Undo', 8)).
inf(p('Outside Border', 2),p('Redo', 8)).
inf(p('No Border', 2),p('Undo', 8)).
inf(p('No Border', 2),p('Redo', 8)).
inf(p('Background color', 2),p('Undo', 8)).
inf(p('Background color', 2),p('Redo', 8)).
inf(p('Font color', 2),p('Undo', 8)).
inf(p('Font color', 2),p('Redo', 8)).
inf(p('Undo', 2),p('Italic', 8)).
inf(p('Undo', 2),p('Bold', 8)).
inf(p('Undo', 2),p('Font type', 8)).
inf(p('Undo', 2),p('Font style', 8)).
inf(p('Undo', 2),p('Font size', 8)).
inf(p('Undo', 2),p('Text', 8)).
inf(p('Undo', 2),p('Inside Border', 8)).
inf(p('Undo', 2),p('Outside Border', 8)).
inf(p('Undo', 2),p('No Border', 8)).
inf(p('Undo', 2),p('Background color', 8)).
inf(p('Undo', 2),p('Font color', 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('Italic', 8)).
inf(p('Redo', 2),p('Bold', 8)).
inf(p('Redo', 2),p('Font type', 8)).
inf(p('Redo', 2),p('Font style', 8)).
inf(p('Redo', 2),p('Font size', 8)).
inf(p('Redo', 2),p('Text', 8)).
inf(p('Redo', 2),p('Inside Border', 8)).
inf(p('Redo', 2),p('Outside Border', 8)).
inf(p('Redo', 2),p('No Border', 8)).
inf(p('Redo', 2),p('Background color', 8)).
inf(p('Redo', 2),p('Font color', 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('Italic', 2),p('Undo', 9)).
inf(p('Italic', 2),p('Redo', 9)).
inf(p('Bold', 2),p('Undo', 9)).
inf(p('Bold', 2),p('Redo', 9)).
inf(p('Font type', 2),p('Undo', 9)).
inf(p('Font type', 2),p('Redo', 9)).
inf(p('Font style', 2),p('Undo', 9)).
inf(p('Font style', 2),p('Redo', 9)).
inf(p('Font size', 2),p('Undo', 9)).
inf(p('Font size', 2),p('Redo', 9)).
inf(p('Text', 2),p('Undo', 9)).
inf(p('Text', 2),p('Redo', 9)).
inf(p('Inside Border', 2),p('Undo', 9)).
inf(p('Inside Border', 2),p('Redo', 9)).
inf(p('Outside Border', 2),p('Undo', 9)).
inf(p('Outside Border', 2),p('Redo', 9)).
inf(p('No Border', 2),p('Undo', 9)).
inf(p('No Border', 2),p('Redo', 9)).
inf(p('Background color', 2),p('Undo', 9)).
inf(p('Background color', 2),p('Redo', 9)).
inf(p('Font color', 2),p('Undo', 9)).
inf(p('Font color', 2),p('Redo', 9)).
inf(p('Undo', 2),p('Italic', 9)).
inf(p('Undo', 2),p('Bold', 9)).
inf(p('Undo', 2),p('Font type', 9)).
inf(p('Undo', 2),p('Font style', 9)).
inf(p('Undo', 2),p('Font size', 9)).
inf(p('Undo', 2),p('Text', 9)).
inf(p('Undo', 2),p('Inside Border', 9)).
inf(p('Undo', 2),p('Outside Border', 9)).
inf(p('Undo', 2),p('No Border', 9)).
inf(p('Undo', 2),p('Background color', 9)).
inf(p('Undo', 2),p('Font color', 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('Italic', 9)).
inf(p('Redo', 2),p('Bold', 9)).
inf(p('Redo', 2),p('Font type', 9)).
inf(p('Redo', 2),p('Font style', 9)).
inf(p('Redo', 2),p('Font size', 9)).
inf(p('Redo', 2),p('Text', 9)).
inf(p('Redo', 2),p('Inside Border', 9)).
inf(p('Redo', 2),p('Outside Border', 9)).
inf(p('Redo', 2),p('No Border', 9)).
inf(p('Redo', 2),p('Background color', 9)).
inf(p('Redo', 2),p('Font color', 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('Italic', 3),p('Undo', 4)).
inf(p('Italic', 3),p('Redo', 4)).
inf(p('Bold', 3),p('Undo', 4)).
inf(p('Bold', 3),p('Redo', 4)).
inf(p('Font type', 3),p('Undo', 4)).
inf(p('Font type', 3),p('Redo', 4)).
inf(p('Font style', 3),p('Undo', 4)).
inf(p('Font style', 3),p('Redo', 4)).
inf(p('Font size', 3),p('Undo', 4)).
inf(p('Font size', 3),p('Redo', 4)).
inf(p('Text', 3),p('Undo', 4)).
inf(p('Text', 3),p('Redo', 4)).
inf(p('Inside Border', 3),p('Undo', 4)).
inf(p('Inside Border', 3),p('Redo', 4)).
inf(p('Outside Border', 3),p('Undo', 4)).
inf(p('Outside Border', 3),p('Redo', 4)).
inf(p('No Border', 3),p('Undo', 4)).
inf(p('No Border', 3),p('Redo', 4)).
inf(p('Background color', 3),p('Undo', 4)).
inf(p('Background color', 3),p('Redo', 4)).
inf(p('Font color', 3),p('Undo', 4)).
inf(p('Font color', 3),p('Redo', 4)).
inf(p('Undo', 3),p('Italic', 4)).
inf(p('Undo', 3),p('Bold', 4)).
inf(p('Undo', 3),p('Font type', 4)).
inf(p('Undo', 3),p('Font style', 4)).
inf(p('Undo', 3),p('Font size', 4)).
inf(p('Undo', 3),p('Text', 4)).
inf(p('Undo', 3),p('Inside Border', 4)).
inf(p('Undo', 3),p('Outside Border', 4)).
inf(p('Undo', 3),p('No Border', 4)).
inf(p('Undo', 3),p('Background color', 4)).
inf(p('Undo', 3),p('Font color', 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('Italic', 4)).
inf(p('Redo', 3),p('Bold', 4)).
inf(p('Redo', 3),p('Font type', 4)).
inf(p('Redo', 3),p('Font style', 4)).
inf(p('Redo', 3),p('Font size', 4)).
inf(p('Redo', 3),p('Text', 4)).
inf(p('Redo', 3),p('Inside Border', 4)).
inf(p('Redo', 3),p('Outside Border', 4)).
inf(p('Redo', 3),p('No Border', 4)).
inf(p('Redo', 3),p('Background color', 4)).
inf(p('Redo', 3),p('Font color', 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('Italic', 3),p('Undo', 5)).
inf(p('Italic', 3),p('Redo', 5)).
inf(p('Bold', 3),p('Undo', 5)).
inf(p('Bold', 3),p('Redo', 5)).
inf(p('Font type', 3),p('Undo', 5)).
inf(p('Font type', 3),p('Redo', 5)).
inf(p('Font style', 3),p('Undo', 5)).
inf(p('Font style', 3),p('Redo', 5)).
inf(p('Font size', 3),p('Undo', 5)).
inf(p('Font size', 3),p('Redo', 5)).
inf(p('Text', 3),p('Undo', 5)).
inf(p('Text', 3),p('Redo', 5)).
inf(p('Inside Border', 3),p('Undo', 5)).
inf(p('Inside Border', 3),p('Redo', 5)).
inf(p('Outside Border', 3),p('Undo', 5)).
inf(p('Outside Border', 3),p('Redo', 5)).
inf(p('No Border', 3),p('Undo', 5)).
inf(p('No Border', 3),p('Redo', 5)).
inf(p('Background color', 3),p('Undo', 5)).
inf(p('Background color', 3),p('Redo', 5)).
inf(p('Font color', 3),p('Undo', 5)).
inf(p('Font color', 3),p('Redo', 5)).
inf(p('Undo', 3),p('Italic', 5)).
inf(p('Undo', 3),p('Bold', 5)).
inf(p('Undo', 3),p('Font type', 5)).
inf(p('Undo', 3),p('Font style', 5)).
inf(p('Undo', 3),p('Font size', 5)).
inf(p('Undo', 3),p('Text', 5)).
inf(p('Undo', 3),p('Inside Border', 5)).
inf(p('Undo', 3),p('Outside Border', 5)).
inf(p('Undo', 3),p('No Border', 5)).
inf(p('Undo', 3),p('Background color', 5)).
inf(p('Undo', 3),p('Font color', 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('Italic', 5)).
inf(p('Redo', 3),p('Bold', 5)).
inf(p('Redo', 3),p('Font type', 5)).
inf(p('Redo', 3),p('Font style', 5)).
inf(p('Redo', 3),p('Font size', 5)).
inf(p('Redo', 3),p('Text', 5)).
inf(p('Redo', 3),p('Inside Border', 5)).
inf(p('Redo', 3),p('Outside Border', 5)).
inf(p('Redo', 3),p('No Border', 5)).
inf(p('Redo', 3),p('Background color', 5)).
inf(p('Redo', 3),p('Font color', 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('Italic', 3),p('Undo', 6)).
inf(p('Italic', 3),p('Redo', 6)).
inf(p('Bold', 3),p('Undo', 6)).
inf(p('Bold', 3),p('Redo', 6)).
inf(p('Font type', 3),p('Undo', 6)).
inf(p('Font type', 3),p('Redo', 6)).
inf(p('Font style', 3),p('Undo', 6)).
inf(p('Font style', 3),p('Redo', 6)).
inf(p('Font size', 3),p('Undo', 6)).
inf(p('Font size', 3),p('Redo', 6)).
inf(p('Text', 3),p('Undo', 6)).
inf(p('Text', 3),p('Redo', 6)).
inf(p('Inside Border', 3),p('Undo', 6)).
inf(p('Inside Border', 3),p('Redo', 6)).
inf(p('Outside Border', 3),p('Undo', 6)).
inf(p('Outside Border', 3),p('Redo', 6)).
inf(p('No Border', 3),p('Undo', 6)).
inf(p('No Border', 3),p('Redo', 6)).
inf(p('Background color', 3),p('Undo', 6)).
inf(p('Background color', 3),p('Redo', 6)).
inf(p('Font color', 3),p('Undo', 6)).
inf(p('Font color', 3),p('Redo', 6)).
inf(p('Undo', 3),p('Italic', 6)).
inf(p('Undo', 3),p('Bold', 6)).
inf(p('Undo', 3),p('Font type', 6)).
inf(p('Undo', 3),p('Font style', 6)).
inf(p('Undo', 3),p('Font size', 6)).
inf(p('Undo', 3),p('Text', 6)).
inf(p('Undo', 3),p('Inside Border', 6)).
inf(p('Undo', 3),p('Outside Border', 6)).
inf(p('Undo', 3),p('No Border', 6)).
inf(p('Undo', 3),p('Background color', 6)).
inf(p('Undo', 3),p('Font color', 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('Italic', 6)).
inf(p('Redo', 3),p('Bold', 6)).
inf(p('Redo', 3),p('Font type', 6)).
inf(p('Redo', 3),p('Font style', 6)).
inf(p('Redo', 3),p('Font size', 6)).
inf(p('Redo', 3),p('Text', 6)).
inf(p('Redo', 3),p('Inside Border', 6)).
inf(p('Redo', 3),p('Outside Border', 6)).
inf(p('Redo', 3),p('No Border', 6)).
inf(p('Redo', 3),p('Background color', 6)).
inf(p('Redo', 3),p('Font color', 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('Italic', 3),p('Undo', 7)).
inf(p('Italic', 3),p('Redo', 7)).
inf(p('Bold', 3),p('Undo', 7)).
inf(p('Bold', 3),p('Redo', 7)).
inf(p('Font type', 3),p('Undo', 7)).
inf(p('Font type', 3),p('Redo', 7)).
inf(p('Font style', 3),p('Undo', 7)).
inf(p('Font style', 3),p('Redo', 7)).
inf(p('Font size', 3),p('Undo', 7)).
inf(p('Font size', 3),p('Redo', 7)).
inf(p('Text', 3),p('Undo', 7)).
inf(p('Text', 3),p('Redo', 7)).
inf(p('Inside Border', 3),p('Undo', 7)).
inf(p('Inside Border', 3),p('Redo', 7)).
inf(p('Outside Border', 3),p('Undo', 7)).
inf(p('Outside Border', 3),p('Redo', 7)).
inf(p('No Border', 3),p('Undo', 7)).
inf(p('No Border', 3),p('Redo', 7)).
inf(p('Background color', 3),p('Undo', 7)).
inf(p('Background color', 3),p('Redo', 7)).
inf(p('Font color', 3),p('Undo', 7)).
inf(p('Font color', 3),p('Redo', 7)).
inf(p('Undo', 3),p('Italic', 7)).
inf(p('Undo', 3),p('Bold', 7)).
inf(p('Undo', 3),p('Font type', 7)).
inf(p('Undo', 3),p('Font style', 7)).
inf(p('Undo', 3),p('Font size', 7)).
inf(p('Undo', 3),p('Text', 7)).
inf(p('Undo', 3),p('Inside Border', 7)).
inf(p('Undo', 3),p('Outside Border', 7)).
inf(p('Undo', 3),p('No Border', 7)).
inf(p('Undo', 3),p('Background color', 7)).
inf(p('Undo', 3),p('Font color', 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('Italic', 7)).
inf(p('Redo', 3),p('Bold', 7)).
inf(p('Redo', 3),p('Font type', 7)).
inf(p('Redo', 3),p('Font style', 7)).
inf(p('Redo', 3),p('Font size', 7)).
inf(p('Redo', 3),p('Text', 7)).
inf(p('Redo', 3),p('Inside Border', 7)).
inf(p('Redo', 3),p('Outside Border', 7)).
inf(p('Redo', 3),p('No Border', 7)).
inf(p('Redo', 3),p('Background color', 7)).
inf(p('Redo', 3),p('Font color', 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('Italic', 3),p('Undo', 8)).
inf(p('Italic', 3),p('Redo', 8)).
inf(p('Bold', 3),p('Undo', 8)).
inf(p('Bold', 3),p('Redo', 8)).
inf(p('Font type', 3),p('Undo', 8)).
inf(p('Font type', 3),p('Redo', 8)).
inf(p('Font style', 3),p('Undo', 8)).
inf(p('Font style', 3),p('Redo', 8)).
inf(p('Font size', 3),p('Undo', 8)).
inf(p('Font size', 3),p('Redo', 8)).
inf(p('Text', 3),p('Undo', 8)).
inf(p('Text', 3),p('Redo', 8)).
inf(p('Inside Border', 3),p('Undo', 8)).
inf(p('Inside Border', 3),p('Redo', 8)).
inf(p('Outside Border', 3),p('Undo', 8)).
inf(p('Outside Border', 3),p('Redo', 8)).
inf(p('No Border', 3),p('Undo', 8)).
inf(p('No Border', 3),p('Redo', 8)).
inf(p('Background color', 3),p('Undo', 8)).
inf(p('Background color', 3),p('Redo', 8)).
inf(p('Font color', 3),p('Undo', 8)).
inf(p('Font color', 3),p('Redo', 8)).
inf(p('Undo', 3),p('Italic', 8)).
inf(p('Undo', 3),p('Bold', 8)).
inf(p('Undo', 3),p('Font type', 8)).
inf(p('Undo', 3),p('Font style', 8)).
inf(p('Undo', 3),p('Font size', 8)).
inf(p('Undo', 3),p('Text', 8)).
inf(p('Undo', 3),p('Inside Border', 8)).
inf(p('Undo', 3),p('Outside Border', 8)).
inf(p('Undo', 3),p('No Border', 8)).
inf(p('Undo', 3),p('Background color', 8)).
inf(p('Undo', 3),p('Font color', 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('Italic', 8)).
inf(p('Redo', 3),p('Bold', 8)).
inf(p('Redo', 3),p('Font type', 8)).
inf(p('Redo', 3),p('Font style', 8)).
inf(p('Redo', 3),p('Font size', 8)).
inf(p('Redo', 3),p('Text', 8)).
inf(p('Redo', 3),p('Inside Border', 8)).
inf(p('Redo', 3),p('Outside Border', 8)).
inf(p('Redo', 3),p('No Border', 8)).
inf(p('Redo', 3),p('Background color', 8)).
inf(p('Redo', 3),p('Font color', 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('Italic', 3),p('Undo', 9)).
inf(p('Italic', 3),p('Redo', 9)).
inf(p('Bold', 3),p('Undo', 9)).
inf(p('Bold', 3),p('Redo', 9)).
inf(p('Font type', 3),p('Undo', 9)).
inf(p('Font type', 3),p('Redo', 9)).
inf(p('Font style', 3),p('Undo', 9)).
inf(p('Font style', 3),p('Redo', 9)).
inf(p('Font size', 3),p('Undo', 9)).
inf(p('Font size', 3),p('Redo', 9)).
inf(p('Text', 3),p('Undo', 9)).
inf(p('Text', 3),p('Redo', 9)).
inf(p('Inside Border', 3),p('Undo', 9)).
inf(p('Inside Border', 3),p('Redo', 9)).
inf(p('Outside Border', 3),p('Undo', 9)).
inf(p('Outside Border', 3),p('Redo', 9)).
inf(p('No Border', 3),p('Undo', 9)).
inf(p('No Border', 3),p('Redo', 9)).
inf(p('Background color', 3),p('Undo', 9)).
inf(p('Background color', 3),p('Redo', 9)).
inf(p('Font color', 3),p('Undo', 9)).
inf(p('Font color', 3),p('Redo', 9)).
inf(p('Undo', 3),p('Italic', 9)).
inf(p('Undo', 3),p('Bold', 9)).
inf(p('Undo', 3),p('Font type', 9)).
inf(p('Undo', 3),p('Font style', 9)).
inf(p('Undo', 3),p('Font size', 9)).
inf(p('Undo', 3),p('Text', 9)).
inf(p('Undo', 3),p('Inside Border', 9)).
inf(p('Undo', 3),p('Outside Border', 9)).
inf(p('Undo', 3),p('No Border', 9)).
inf(p('Undo', 3),p('Background color', 9)).
inf(p('Undo', 3),p('Font color', 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('Italic', 9)).
inf(p('Redo', 3),p('Bold', 9)).
inf(p('Redo', 3),p('Font type', 9)).
inf(p('Redo', 3),p('Font style', 9)).
inf(p('Redo', 3),p('Font size', 9)).
inf(p('Redo', 3),p('Text', 9)).
inf(p('Redo', 3),p('Inside Border', 9)).
inf(p('Redo', 3),p('Outside Border', 9)).
inf(p('Redo', 3),p('No Border', 9)).
inf(p('Redo', 3),p('Background color', 9)).
inf(p('Redo', 3),p('Font color', 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('Italic', 4),p('Undo', 5)).
inf(p('Italic', 4),p('Redo', 5)).
inf(p('Bold', 4),p('Undo', 5)).
inf(p('Bold', 4),p('Redo', 5)).
inf(p('Font type', 4),p('Undo', 5)).
inf(p('Font type', 4),p('Redo', 5)).
inf(p('Font style', 4),p('Undo', 5)).
inf(p('Font style', 4),p('Redo', 5)).
inf(p('Font size', 4),p('Undo', 5)).
inf(p('Font size', 4),p('Redo', 5)).
inf(p('Text', 4),p('Undo', 5)).
inf(p('Text', 4),p('Redo', 5)).
inf(p('Inside Border', 4),p('Undo', 5)).
inf(p('Inside Border', 4),p('Redo', 5)).
inf(p('Outside Border', 4),p('Undo', 5)).
inf(p('Outside Border', 4),p('Redo', 5)).
inf(p('No Border', 4),p('Undo', 5)).
inf(p('No Border', 4),p('Redo', 5)).
inf(p('Background color', 4),p('Undo', 5)).
inf(p('Background color', 4),p('Redo', 5)).
inf(p('Font color', 4),p('Undo', 5)).
inf(p('Font color', 4),p('Redo', 5)).
inf(p('Undo', 4),p('Italic', 5)).
inf(p('Undo', 4),p('Bold', 5)).
inf(p('Undo', 4),p('Font type', 5)).
inf(p('Undo', 4),p('Font style', 5)).
inf(p('Undo', 4),p('Font size', 5)).
inf(p('Undo', 4),p('Text', 5)).
inf(p('Undo', 4),p('Inside Border', 5)).
inf(p('Undo', 4),p('Outside Border', 5)).
inf(p('Undo', 4),p('No Border', 5)).
inf(p('Undo', 4),p('Background color', 5)).
inf(p('Undo', 4),p('Font color', 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('Italic', 5)).
inf(p('Redo', 4),p('Bold', 5)).
inf(p('Redo', 4),p('Font type', 5)).
inf(p('Redo', 4),p('Font style', 5)).
inf(p('Redo', 4),p('Font size', 5)).
inf(p('Redo', 4),p('Text', 5)).
inf(p('Redo', 4),p('Inside Border', 5)).
inf(p('Redo', 4),p('Outside Border', 5)).
inf(p('Redo', 4),p('No Border', 5)).
inf(p('Redo', 4),p('Background color', 5)).
inf(p('Redo', 4),p('Font color', 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('Italic', 4),p('Undo', 6)).
inf(p('Italic', 4),p('Redo', 6)).
inf(p('Bold', 4),p('Undo', 6)).
inf(p('Bold', 4),p('Redo', 6)).
inf(p('Font type', 4),p('Undo', 6)).
inf(p('Font type', 4),p('Redo', 6)).
inf(p('Font style', 4),p('Undo', 6)).
inf(p('Font style', 4),p('Redo', 6)).
inf(p('Font size', 4),p('Undo', 6)).
inf(p('Font size', 4),p('Redo', 6)).
inf(p('Text', 4),p('Undo', 6)).
inf(p('Text', 4),p('Redo', 6)).
inf(p('Inside Border', 4),p('Undo', 6)).
inf(p('Inside Border', 4),p('Redo', 6)).
inf(p('Outside Border', 4),p('Undo', 6)).
inf(p('Outside Border', 4),p('Redo', 6)).
inf(p('No Border', 4),p('Undo', 6)).
inf(p('No Border', 4),p('Redo', 6)).
inf(p('Background color', 4),p('Undo', 6)).
inf(p('Background color', 4),p('Redo', 6)).
inf(p('Font color', 4),p('Undo', 6)).
inf(p('Font color', 4),p('Redo', 6)).
inf(p('Undo', 4),p('Italic', 6)).
inf(p('Undo', 4),p('Bold', 6)).
inf(p('Undo', 4),p('Font type', 6)).
inf(p('Undo', 4),p('Font style', 6)).
inf(p('Undo', 4),p('Font size', 6)).
inf(p('Undo', 4),p('Text', 6)).
inf(p('Undo', 4),p('Inside Border', 6)).
inf(p('Undo', 4),p('Outside Border', 6)).
inf(p('Undo', 4),p('No Border', 6)).
inf(p('Undo', 4),p('Background color', 6)).
inf(p('Undo', 4),p('Font color', 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('Italic', 6)).
inf(p('Redo', 4),p('Bold', 6)).
inf(p('Redo', 4),p('Font type', 6)).
inf(p('Redo', 4),p('Font style', 6)).
inf(p('Redo', 4),p('Font size', 6)).
inf(p('Redo', 4),p('Text', 6)).
inf(p('Redo', 4),p('Inside Border', 6)).
inf(p('Redo', 4),p('Outside Border', 6)).
inf(p('Redo', 4),p('No Border', 6)).
inf(p('Redo', 4),p('Background color', 6)).
inf(p('Redo', 4),p('Font color', 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('Italic', 4),p('Undo', 7)).
inf(p('Italic', 4),p('Redo', 7)).
inf(p('Bold', 4),p('Undo', 7)).
inf(p('Bold', 4),p('Redo', 7)).
inf(p('Font type', 4),p('Undo', 7)).
inf(p('Font type', 4),p('Redo', 7)).
inf(p('Font style', 4),p('Undo', 7)).
inf(p('Font style', 4),p('Redo', 7)).
inf(p('Font size', 4),p('Undo', 7)).
inf(p('Font size', 4),p('Redo', 7)).
inf(p('Text', 4),p('Undo', 7)).
inf(p('Text', 4),p('Redo', 7)).
inf(p('Inside Border', 4),p('Undo', 7)).
inf(p('Inside Border', 4),p('Redo', 7)).
inf(p('Outside Border', 4),p('Undo', 7)).
inf(p('Outside Border', 4),p('Redo', 7)).
inf(p('No Border', 4),p('Undo', 7)).
inf(p('No Border', 4),p('Redo', 7)).
inf(p('Background color', 4),p('Undo', 7)).
inf(p('Background color', 4),p('Redo', 7)).
inf(p('Font color', 4),p('Undo', 7)).
inf(p('Font color', 4),p('Redo', 7)).
inf(p('Undo', 4),p('Italic', 7)).
inf(p('Undo', 4),p('Bold', 7)).
inf(p('Undo', 4),p('Font type', 7)).
inf(p('Undo', 4),p('Font style', 7)).
inf(p('Undo', 4),p('Font size', 7)).
inf(p('Undo', 4),p('Text', 7)).
inf(p('Undo', 4),p('Inside Border', 7)).
inf(p('Undo', 4),p('Outside Border', 7)).
inf(p('Undo', 4),p('No Border', 7)).
inf(p('Undo', 4),p('Background color', 7)).
inf(p('Undo', 4),p('Font color', 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('Italic', 7)).
inf(p('Redo', 4),p('Bold', 7)).
inf(p('Redo', 4),p('Font type', 7)).
inf(p('Redo', 4),p('Font style', 7)).
inf(p('Redo', 4),p('Font size', 7)).
inf(p('Redo', 4),p('Text', 7)).
inf(p('Redo', 4),p('Inside Border', 7)).
inf(p('Redo', 4),p('Outside Border', 7)).
inf(p('Redo', 4),p('No Border', 7)).
inf(p('Redo', 4),p('Background color', 7)).
inf(p('Redo', 4),p('Font color', 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('Italic', 4),p('Undo', 8)).
inf(p('Italic', 4),p('Redo', 8)).
inf(p('Bold', 4),p('Undo', 8)).
inf(p('Bold', 4),p('Redo', 8)).
inf(p('Font type', 4),p('Undo', 8)).
inf(p('Font type', 4),p('Redo', 8)).
inf(p('Font style', 4),p('Undo', 8)).
inf(p('Font style', 4),p('Redo', 8)).
inf(p('Font size', 4),p('Undo', 8)).
inf(p('Font size', 4),p('Redo', 8)).
inf(p('Text', 4),p('Undo', 8)).
inf(p('Text', 4),p('Redo', 8)).
inf(p('Inside Border', 4),p('Undo', 8)).
inf(p('Inside Border', 4),p('Redo', 8)).
inf(p('Outside Border', 4),p('Undo', 8)).
inf(p('Outside Border', 4),p('Redo', 8)).
inf(p('No Border', 4),p('Undo', 8)).
inf(p('No Border', 4),p('Redo', 8)).
inf(p('Background color', 4),p('Undo', 8)).
inf(p('Background color', 4),p('Redo', 8)).
inf(p('Font color', 4),p('Undo', 8)).
inf(p('Font color', 4),p('Redo', 8)).
inf(p('Undo', 4),p('Italic', 8)).
inf(p('Undo', 4),p('Bold', 8)).
inf(p('Undo', 4),p('Font type', 8)).
inf(p('Undo', 4),p('Font style', 8)).
inf(p('Undo', 4),p('Font size', 8)).
inf(p('Undo', 4),p('Text', 8)).
inf(p('Undo', 4),p('Inside Border', 8)).
inf(p('Undo', 4),p('Outside Border', 8)).
inf(p('Undo', 4),p('No Border', 8)).
inf(p('Undo', 4),p('Background color', 8)).
inf(p('Undo', 4),p('Font color', 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('Italic', 8)).
inf(p('Redo', 4),p('Bold', 8)).
inf(p('Redo', 4),p('Font type', 8)).
inf(p('Redo', 4),p('Font style', 8)).
inf(p('Redo', 4),p('Font size', 8)).
inf(p('Redo', 4),p('Text', 8)).
inf(p('Redo', 4),p('Inside Border', 8)).
inf(p('Redo', 4),p('Outside Border', 8)).
inf(p('Redo', 4),p('No Border', 8)).
inf(p('Redo', 4),p('Background color', 8)).
inf(p('Redo', 4),p('Font color', 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('Italic', 4),p('Undo', 9)).
inf(p('Italic', 4),p('Redo', 9)).
inf(p('Bold', 4),p('Undo', 9)).
inf(p('Bold', 4),p('Redo', 9)).
inf(p('Font type', 4),p('Undo', 9)).
inf(p('Font type', 4),p('Redo', 9)).
inf(p('Font style', 4),p('Undo', 9)).
inf(p('Font style', 4),p('Redo', 9)).
inf(p('Font size', 4),p('Undo', 9)).
inf(p('Font size', 4),p('Redo', 9)).
inf(p('Text', 4),p('Undo', 9)).
inf(p('Text', 4),p('Redo', 9)).
inf(p('Inside Border', 4),p('Undo', 9)).
inf(p('Inside Border', 4),p('Redo', 9)).
inf(p('Outside Border', 4),p('Undo', 9)).
inf(p('Outside Border', 4),p('Redo', 9)).
inf(p('No Border', 4),p('Undo', 9)).
inf(p('No Border', 4),p('Redo', 9)).
inf(p('Background color', 4),p('Undo', 9)).
inf(p('Background color', 4),p('Redo', 9)).
inf(p('Font color', 4),p('Undo', 9)).
inf(p('Font color', 4),p('Redo', 9)).
inf(p('Undo', 4),p('Italic', 9)).
inf(p('Undo', 4),p('Bold', 9)).
inf(p('Undo', 4),p('Font type', 9)).
inf(p('Undo', 4),p('Font style', 9)).
inf(p('Undo', 4),p('Font size', 9)).
inf(p('Undo', 4),p('Text', 9)).
inf(p('Undo', 4),p('Inside Border', 9)).
inf(p('Undo', 4),p('Outside Border', 9)).
inf(p('Undo', 4),p('No Border', 9)).
inf(p('Undo', 4),p('Background color', 9)).
inf(p('Undo', 4),p('Font color', 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('Italic', 9)).
inf(p('Redo', 4),p('Bold', 9)).
inf(p('Redo', 4),p('Font type', 9)).
inf(p('Redo', 4),p('Font style', 9)).
inf(p('Redo', 4),p('Font size', 9)).
inf(p('Redo', 4),p('Text', 9)).
inf(p('Redo', 4),p('Inside Border', 9)).
inf(p('Redo', 4),p('Outside Border', 9)).
inf(p('Redo', 4),p('No Border', 9)).
inf(p('Redo', 4),p('Background color', 9)).
inf(p('Redo', 4),p('Font color', 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('Italic', 5),p('Undo', 6)).
inf(p('Italic', 5),p('Redo', 6)).
inf(p('Bold', 5),p('Undo', 6)).
inf(p('Bold', 5),p('Redo', 6)).
inf(p('Font type', 5),p('Undo', 6)).
inf(p('Font type', 5),p('Redo', 6)).
inf(p('Font style', 5),p('Undo', 6)).
inf(p('Font style', 5),p('Redo', 6)).
inf(p('Font size', 5),p('Undo', 6)).
inf(p('Font size', 5),p('Redo', 6)).
inf(p('Text', 5),p('Undo', 6)).
inf(p('Text', 5),p('Redo', 6)).
inf(p('Inside Border', 5),p('Undo', 6)).
inf(p('Inside Border', 5),p('Redo', 6)).
inf(p('Outside Border', 5),p('Undo', 6)).
inf(p('Outside Border', 5),p('Redo', 6)).
inf(p('No Border', 5),p('Undo', 6)).
inf(p('No Border', 5),p('Redo', 6)).
inf(p('Background color', 5),p('Undo', 6)).
inf(p('Background color', 5),p('Redo', 6)).
inf(p('Font color', 5),p('Undo', 6)).
inf(p('Font color', 5),p('Redo', 6)).
inf(p('Undo', 5),p('Italic', 6)).
inf(p('Undo', 5),p('Bold', 6)).
inf(p('Undo', 5),p('Font type', 6)).
inf(p('Undo', 5),p('Font style', 6)).
inf(p('Undo', 5),p('Font size', 6)).
inf(p('Undo', 5),p('Text', 6)).
inf(p('Undo', 5),p('Inside Border', 6)).
inf(p('Undo', 5),p('Outside Border', 6)).
inf(p('Undo', 5),p('No Border', 6)).
inf(p('Undo', 5),p('Background color', 6)).
inf(p('Undo', 5),p('Font color', 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('Italic', 6)).
inf(p('Redo', 5),p('Bold', 6)).
inf(p('Redo', 5),p('Font type', 6)).
inf(p('Redo', 5),p('Font style', 6)).
inf(p('Redo', 5),p('Font size', 6)).
inf(p('Redo', 5),p('Text', 6)).
inf(p('Redo', 5),p('Inside Border', 6)).
inf(p('Redo', 5),p('Outside Border', 6)).
inf(p('Redo', 5),p('No Border', 6)).
inf(p('Redo', 5),p('Background color', 6)).
inf(p('Redo', 5),p('Font color', 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('Italic', 5),p('Undo', 7)).
inf(p('Italic', 5),p('Redo', 7)).
inf(p('Bold', 5),p('Undo', 7)).
inf(p('Bold', 5),p('Redo', 7)).
inf(p('Font type', 5),p('Undo', 7)).
inf(p('Font type', 5),p('Redo', 7)).
inf(p('Font style', 5),p('Undo', 7)).
inf(p('Font style', 5),p('Redo', 7)).
inf(p('Font size', 5),p('Undo', 7)).
inf(p('Font size', 5),p('Redo', 7)).
inf(p('Text', 5),p('Undo', 7)).
inf(p('Text', 5),p('Redo', 7)).
inf(p('Inside Border', 5),p('Undo', 7)).
inf(p('Inside Border', 5),p('Redo', 7)).
inf(p('Outside Border', 5),p('Undo', 7)).
inf(p('Outside Border', 5),p('Redo', 7)).
inf(p('No Border', 5),p('Undo', 7)).
inf(p('No Border', 5),p('Redo', 7)).
inf(p('Background color', 5),p('Undo', 7)).
inf(p('Background color', 5),p('Redo', 7)).
inf(p('Font color', 5),p('Undo', 7)).
inf(p('Font color', 5),p('Redo', 7)).
inf(p('Undo', 5),p('Italic', 7)).
inf(p('Undo', 5),p('Bold', 7)).
inf(p('Undo', 5),p('Font type', 7)).
inf(p('Undo', 5),p('Font style', 7)).
inf(p('Undo', 5),p('Font size', 7)).
inf(p('Undo', 5),p('Text', 7)).
inf(p('Undo', 5),p('Inside Border', 7)).
inf(p('Undo', 5),p('Outside Border', 7)).
inf(p('Undo', 5),p('No Border', 7)).
inf(p('Undo', 5),p('Background color', 7)).
inf(p('Undo', 5),p('Font color', 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('Italic', 7)).
inf(p('Redo', 5),p('Bold', 7)).
inf(p('Redo', 5),p('Font type', 7)).
inf(p('Redo', 5),p('Font style', 7)).
inf(p('Redo', 5),p('Font size', 7)).
inf(p('Redo', 5),p('Text', 7)).
inf(p('Redo', 5),p('Inside Border', 7)).
inf(p('Redo', 5),p('Outside Border', 7)).
inf(p('Redo', 5),p('No Border', 7)).
inf(p('Redo', 5),p('Background color', 7)).
inf(p('Redo', 5),p('Font color', 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('Italic', 5),p('Undo', 8)).
inf(p('Italic', 5),p('Redo', 8)).
inf(p('Bold', 5),p('Undo', 8)).
inf(p('Bold', 5),p('Redo', 8)).
inf(p('Font type', 5),p('Undo', 8)).
inf(p('Font type', 5),p('Redo', 8)).
inf(p('Font style', 5),p('Undo', 8)).
inf(p('Font style', 5),p('Redo', 8)).
inf(p('Font size', 5),p('Undo', 8)).
inf(p('Font size', 5),p('Redo', 8)).
inf(p('Text', 5),p('Undo', 8)).
inf(p('Text', 5),p('Redo', 8)).
inf(p('Inside Border', 5),p('Undo', 8)).
inf(p('Inside Border', 5),p('Redo', 8)).
inf(p('Outside Border', 5),p('Undo', 8)).
inf(p('Outside Border', 5),p('Redo', 8)).
inf(p('No Border', 5),p('Undo', 8)).
inf(p('No Border', 5),p('Redo', 8)).
inf(p('Background color', 5),p('Undo', 8)).
inf(p('Background color', 5),p('Redo', 8)).
inf(p('Font color', 5),p('Undo', 8)).
inf(p('Font color', 5),p('Redo', 8)).
inf(p('Undo', 5),p('Italic', 8)).
inf(p('Undo', 5),p('Bold', 8)).
inf(p('Undo', 5),p('Font type', 8)).
inf(p('Undo', 5),p('Font style', 8)).
inf(p('Undo', 5),p('Font size', 8)).
inf(p('Undo', 5),p('Text', 8)).
inf(p('Undo', 5),p('Inside Border', 8)).
inf(p('Undo', 5),p('Outside Border', 8)).
inf(p('Undo', 5),p('No Border', 8)).
inf(p('Undo', 5),p('Background color', 8)).
inf(p('Undo', 5),p('Font color', 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('Italic', 8)).
inf(p('Redo', 5),p('Bold', 8)).
inf(p('Redo', 5),p('Font type', 8)).
inf(p('Redo', 5),p('Font style', 8)).
inf(p('Redo', 5),p('Font size', 8)).
inf(p('Redo', 5),p('Text', 8)).
inf(p('Redo', 5),p('Inside Border', 8)).
inf(p('Redo', 5),p('Outside Border', 8)).
inf(p('Redo', 5),p('No Border', 8)).
inf(p('Redo', 5),p('Background color', 8)).
inf(p('Redo', 5),p('Font color', 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('Italic', 5),p('Undo', 9)).
inf(p('Italic', 5),p('Redo', 9)).
inf(p('Bold', 5),p('Undo', 9)).
inf(p('Bold', 5),p('Redo', 9)).
inf(p('Font type', 5),p('Undo', 9)).
inf(p('Font type', 5),p('Redo', 9)).
inf(p('Font style', 5),p('Undo', 9)).
inf(p('Font style', 5),p('Redo', 9)).
inf(p('Font size', 5),p('Undo', 9)).
inf(p('Font size', 5),p('Redo', 9)).
inf(p('Text', 5),p('Undo', 9)).
inf(p('Text', 5),p('Redo', 9)).
inf(p('Inside Border', 5),p('Undo', 9)).
inf(p('Inside Border', 5),p('Redo', 9)).
inf(p('Outside Border', 5),p('Undo', 9)).
inf(p('Outside Border', 5),p('Redo', 9)).
inf(p('No Border', 5),p('Undo', 9)).
inf(p('No Border', 5),p('Redo', 9)).
inf(p('Background color', 5),p('Undo', 9)).
inf(p('Background color', 5),p('Redo', 9)).
inf(p('Font color', 5),p('Undo', 9)).
inf(p('Font color', 5),p('Redo', 9)).
inf(p('Undo', 5),p('Italic', 9)).
inf(p('Undo', 5),p('Bold', 9)).
inf(p('Undo', 5),p('Font type', 9)).
inf(p('Undo', 5),p('Font style', 9)).
inf(p('Undo', 5),p('Font size', 9)).
inf(p('Undo', 5),p('Text', 9)).
inf(p('Undo', 5),p('Inside Border', 9)).
inf(p('Undo', 5),p('Outside Border', 9)).
inf(p('Undo', 5),p('No Border', 9)).
inf(p('Undo', 5),p('Background color', 9)).
inf(p('Undo', 5),p('Font color', 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('Italic', 9)).
inf(p('Redo', 5),p('Bold', 9)).
inf(p('Redo', 5),p('Font type', 9)).
inf(p('Redo', 5),p('Font style', 9)).
inf(p('Redo', 5),p('Font size', 9)).
inf(p('Redo', 5),p('Text', 9)).
inf(p('Redo', 5),p('Inside Border', 9)).
inf(p('Redo', 5),p('Outside Border', 9)).
inf(p('Redo', 5),p('No Border', 9)).
inf(p('Redo', 5),p('Background color', 9)).
inf(p('Redo', 5),p('Font color', 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('Italic', 6),p('Undo', 7)).
inf(p('Italic', 6),p('Redo', 7)).
inf(p('Bold', 6),p('Undo', 7)).
inf(p('Bold', 6),p('Redo', 7)).
inf(p('Font type', 6),p('Undo', 7)).
inf(p('Font type', 6),p('Redo', 7)).
inf(p('Font style', 6),p('Undo', 7)).
inf(p('Font style', 6),p('Redo', 7)).
inf(p('Font size', 6),p('Undo', 7)).
inf(p('Font size', 6),p('Redo', 7)).
inf(p('Text', 6),p('Undo', 7)).
inf(p('Text', 6),p('Redo', 7)).
inf(p('Inside Border', 6),p('Undo', 7)).
inf(p('Inside Border', 6),p('Redo', 7)).
inf(p('Outside Border', 6),p('Undo', 7)).
inf(p('Outside Border', 6),p('Redo', 7)).
inf(p('No Border', 6),p('Undo', 7)).
inf(p('No Border', 6),p('Redo', 7)).
inf(p('Background color', 6),p('Undo', 7)).
inf(p('Background color', 6),p('Redo', 7)).
inf(p('Font color', 6),p('Undo', 7)).
inf(p('Font color', 6),p('Redo', 7)).
inf(p('Undo', 6),p('Italic', 7)).
inf(p('Undo', 6),p('Bold', 7)).
inf(p('Undo', 6),p('Font type', 7)).
inf(p('Undo', 6),p('Font style', 7)).
inf(p('Undo', 6),p('Font size', 7)).
inf(p('Undo', 6),p('Text', 7)).
inf(p('Undo', 6),p('Inside Border', 7)).
inf(p('Undo', 6),p('Outside Border', 7)).
inf(p('Undo', 6),p('No Border', 7)).
inf(p('Undo', 6),p('Background color', 7)).
inf(p('Undo', 6),p('Font color', 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('Italic', 7)).
inf(p('Redo', 6),p('Bold', 7)).
inf(p('Redo', 6),p('Font type', 7)).
inf(p('Redo', 6),p('Font style', 7)).
inf(p('Redo', 6),p('Font size', 7)).
inf(p('Redo', 6),p('Text', 7)).
inf(p('Redo', 6),p('Inside Border', 7)).
inf(p('Redo', 6),p('Outside Border', 7)).
inf(p('Redo', 6),p('No Border', 7)).
inf(p('Redo', 6),p('Background color', 7)).
inf(p('Redo', 6),p('Font color', 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('Italic', 6),p('Undo', 8)).
inf(p('Italic', 6),p('Redo', 8)).
inf(p('Bold', 6),p('Undo', 8)).
inf(p('Bold', 6),p('Redo', 8)).
inf(p('Font type', 6),p('Undo', 8)).
inf(p('Font type', 6),p('Redo', 8)).
inf(p('Font style', 6),p('Undo', 8)).
inf(p('Font style', 6),p('Redo', 8)).
inf(p('Font size', 6),p('Undo', 8)).
inf(p('Font size', 6),p('Redo', 8)).
inf(p('Text', 6),p('Undo', 8)).
inf(p('Text', 6),p('Redo', 8)).
inf(p('Inside Border', 6),p('Undo', 8)).
inf(p('Inside Border', 6),p('Redo', 8)).
inf(p('Outside Border', 6),p('Undo', 8)).
inf(p('Outside Border', 6),p('Redo', 8)).
inf(p('No Border', 6),p('Undo', 8)).
inf(p('No Border', 6),p('Redo', 8)).
inf(p('Background color', 6),p('Undo', 8)).
inf(p('Background color', 6),p('Redo', 8)).
inf(p('Font color', 6),p('Undo', 8)).
inf(p('Font color', 6),p('Redo', 8)).
inf(p('Undo', 6),p('Italic', 8)).
inf(p('Undo', 6),p('Bold', 8)).
inf(p('Undo', 6),p('Font type', 8)).
inf(p('Undo', 6),p('Font style', 8)).
inf(p('Undo', 6),p('Font size', 8)).
inf(p('Undo', 6),p('Text', 8)).
inf(p('Undo', 6),p('Inside Border', 8)).
inf(p('Undo', 6),p('Outside Border', 8)).
inf(p('Undo', 6),p('No Border', 8)).
inf(p('Undo', 6),p('Background color', 8)).
inf(p('Undo', 6),p('Font color', 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('Italic', 8)).
inf(p('Redo', 6),p('Bold', 8)).
inf(p('Redo', 6),p('Font type', 8)).
inf(p('Redo', 6),p('Font style', 8)).
inf(p('Redo', 6),p('Font size', 8)).
inf(p('Redo', 6),p('Text', 8)).
inf(p('Redo', 6),p('Inside Border', 8)).
inf(p('Redo', 6),p('Outside Border', 8)).
inf(p('Redo', 6),p('No Border', 8)).
inf(p('Redo', 6),p('Background color', 8)).
inf(p('Redo', 6),p('Font color', 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('Italic', 6),p('Undo', 9)).
inf(p('Italic', 6),p('Redo', 9)).
inf(p('Bold', 6),p('Undo', 9)).
inf(p('Bold', 6),p('Redo', 9)).
inf(p('Font type', 6),p('Undo', 9)).
inf(p('Font type', 6),p('Redo', 9)).
inf(p('Font style', 6),p('Undo', 9)).
inf(p('Font style', 6),p('Redo', 9)).
inf(p('Font size', 6),p('Undo', 9)).
inf(p('Font size', 6),p('Redo', 9)).
inf(p('Text', 6),p('Undo', 9)).
inf(p('Text', 6),p('Redo', 9)).
inf(p('Inside Border', 6),p('Undo', 9)).
inf(p('Inside Border', 6),p('Redo', 9)).
inf(p('Outside Border', 6),p('Undo', 9)).
inf(p('Outside Border', 6),p('Redo', 9)).
inf(p('No Border', 6),p('Undo', 9)).
inf(p('No Border', 6),p('Redo', 9)).
inf(p('Background color', 6),p('Undo', 9)).
inf(p('Background color', 6),p('Redo', 9)).
inf(p('Font color', 6),p('Undo', 9)).
inf(p('Font color', 6),p('Redo', 9)).
inf(p('Undo', 6),p('Italic', 9)).
inf(p('Undo', 6),p('Bold', 9)).
inf(p('Undo', 6),p('Font type', 9)).
inf(p('Undo', 6),p('Font style', 9)).
inf(p('Undo', 6),p('Font size', 9)).
inf(p('Undo', 6),p('Text', 9)).
inf(p('Undo', 6),p('Inside Border', 9)).
inf(p('Undo', 6),p('Outside Border', 9)).
inf(p('Undo', 6),p('No Border', 9)).
inf(p('Undo', 6),p('Background color', 9)).
inf(p('Undo', 6),p('Font color', 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('Italic', 9)).
inf(p('Redo', 6),p('Bold', 9)).
inf(p('Redo', 6),p('Font type', 9)).
inf(p('Redo', 6),p('Font style', 9)).
inf(p('Redo', 6),p('Font size', 9)).
inf(p('Redo', 6),p('Text', 9)).
inf(p('Redo', 6),p('Inside Border', 9)).
inf(p('Redo', 6),p('Outside Border', 9)).
inf(p('Redo', 6),p('No Border', 9)).
inf(p('Redo', 6),p('Background color', 9)).
inf(p('Redo', 6),p('Font color', 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('Italic', 7),p('Undo', 8)).
inf(p('Italic', 7),p('Redo', 8)).
inf(p('Bold', 7),p('Undo', 8)).
inf(p('Bold', 7),p('Redo', 8)).
inf(p('Font type', 7),p('Undo', 8)).
inf(p('Font type', 7),p('Redo', 8)).
inf(p('Font style', 7),p('Undo', 8)).
inf(p('Font style', 7),p('Redo', 8)).
inf(p('Font size', 7),p('Undo', 8)).
inf(p('Font size', 7),p('Redo', 8)).
inf(p('Text', 7),p('Undo', 8)).
inf(p('Text', 7),p('Redo', 8)).
inf(p('Inside Border', 7),p('Undo', 8)).
inf(p('Inside Border', 7),p('Redo', 8)).
inf(p('Outside Border', 7),p('Undo', 8)).
inf(p('Outside Border', 7),p('Redo', 8)).
inf(p('No Border', 7),p('Undo', 8)).
inf(p('No Border', 7),p('Redo', 8)).
inf(p('Background color', 7),p('Undo', 8)).
inf(p('Background color', 7),p('Redo', 8)).
inf(p('Font color', 7),p('Undo', 8)).
inf(p('Font color', 7),p('Redo', 8)).
inf(p('Undo', 7),p('Italic', 8)).
inf(p('Undo', 7),p('Bold', 8)).
inf(p('Undo', 7),p('Font type', 8)).
inf(p('Undo', 7),p('Font style', 8)).
inf(p('Undo', 7),p('Font size', 8)).
inf(p('Undo', 7),p('Text', 8)).
inf(p('Undo', 7),p('Inside Border', 8)).
inf(p('Undo', 7),p('Outside Border', 8)).
inf(p('Undo', 7),p('No Border', 8)).
inf(p('Undo', 7),p('Background color', 8)).
inf(p('Undo', 7),p('Font color', 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('Italic', 8)).
inf(p('Redo', 7),p('Bold', 8)).
inf(p('Redo', 7),p('Font type', 8)).
inf(p('Redo', 7),p('Font style', 8)).
inf(p('Redo', 7),p('Font size', 8)).
inf(p('Redo', 7),p('Text', 8)).
inf(p('Redo', 7),p('Inside Border', 8)).
inf(p('Redo', 7),p('Outside Border', 8)).
inf(p('Redo', 7),p('No Border', 8)).
inf(p('Redo', 7),p('Background color', 8)).
inf(p('Redo', 7),p('Font color', 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('Italic', 7),p('Undo', 9)).
inf(p('Italic', 7),p('Redo', 9)).
inf(p('Bold', 7),p('Undo', 9)).
inf(p('Bold', 7),p('Redo', 9)).
inf(p('Font type', 7),p('Undo', 9)).
inf(p('Font type', 7),p('Redo', 9)).
inf(p('Font style', 7),p('Undo', 9)).
inf(p('Font style', 7),p('Redo', 9)).
inf(p('Font size', 7),p('Undo', 9)).
inf(p('Font size', 7),p('Redo', 9)).
inf(p('Text', 7),p('Undo', 9)).
inf(p('Text', 7),p('Redo', 9)).
inf(p('Inside Border', 7),p('Undo', 9)).
inf(p('Inside Border', 7),p('Redo', 9)).
inf(p('Outside Border', 7),p('Undo', 9)).
inf(p('Outside Border', 7),p('Redo', 9)).
inf(p('No Border', 7),p('Undo', 9)).
inf(p('No Border', 7),p('Redo', 9)).
inf(p('Background color', 7),p('Undo', 9)).
inf(p('Background color', 7),p('Redo', 9)).
inf(p('Font color', 7),p('Undo', 9)).
inf(p('Font color', 7),p('Redo', 9)).
inf(p('Undo', 7),p('Italic', 9)).
inf(p('Undo', 7),p('Bold', 9)).
inf(p('Undo', 7),p('Font type', 9)).
inf(p('Undo', 7),p('Font style', 9)).
inf(p('Undo', 7),p('Font size', 9)).
inf(p('Undo', 7),p('Text', 9)).
inf(p('Undo', 7),p('Inside Border', 9)).
inf(p('Undo', 7),p('Outside Border', 9)).
inf(p('Undo', 7),p('No Border', 9)).
inf(p('Undo', 7),p('Background color', 9)).
inf(p('Undo', 7),p('Font color', 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('Italic', 9)).
inf(p('Redo', 7),p('Bold', 9)).
inf(p('Redo', 7),p('Font type', 9)).
inf(p('Redo', 7),p('Font style', 9)).
inf(p('Redo', 7),p('Font size', 9)).
inf(p('Redo', 7),p('Text', 9)).
inf(p('Redo', 7),p('Inside Border', 9)).
inf(p('Redo', 7),p('Outside Border', 9)).
inf(p('Redo', 7),p('No Border', 9)).
inf(p('Redo', 7),p('Background color', 9)).
inf(p('Redo', 7),p('Font color', 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('Italic', 8),p('Undo', 9)).
inf(p('Italic', 8),p('Redo', 9)).
inf(p('Bold', 8),p('Undo', 9)).
inf(p('Bold', 8),p('Redo', 9)).
inf(p('Font type', 8),p('Undo', 9)).
inf(p('Font type', 8),p('Redo', 9)).
inf(p('Font style', 8),p('Undo', 9)).
inf(p('Font style', 8),p('Redo', 9)).
inf(p('Font size', 8),p('Undo', 9)).
inf(p('Font size', 8),p('Redo', 9)).
inf(p('Text', 8),p('Undo', 9)).
inf(p('Text', 8),p('Redo', 9)).
inf(p('Inside Border', 8),p('Undo', 9)).
inf(p('Inside Border', 8),p('Redo', 9)).
inf(p('Outside Border', 8),p('Undo', 9)).
inf(p('Outside Border', 8),p('Redo', 9)).
inf(p('No Border', 8),p('Undo', 9)).
inf(p('No Border', 8),p('Redo', 9)).
inf(p('Background color', 8),p('Undo', 9)).
inf(p('Background color', 8),p('Redo', 9)).
inf(p('Font color', 8),p('Undo', 9)).
inf(p('Font color', 8),p('Redo', 9)).
inf(p('Undo', 8),p('Italic', 9)).
inf(p('Undo', 8),p('Bold', 9)).
inf(p('Undo', 8),p('Font type', 9)).
inf(p('Undo', 8),p('Font style', 9)).
inf(p('Undo', 8),p('Font size', 9)).
inf(p('Undo', 8),p('Text', 9)).
inf(p('Undo', 8),p('Inside Border', 9)).
inf(p('Undo', 8),p('Outside Border', 9)).
inf(p('Undo', 8),p('No Border', 9)).
inf(p('Undo', 8),p('Background color', 9)).
inf(p('Undo', 8),p('Font color', 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('Italic', 9)).
inf(p('Redo', 8),p('Bold', 9)).
inf(p('Redo', 8),p('Font type', 9)).
inf(p('Redo', 8),p('Font style', 9)).
inf(p('Redo', 8),p('Font size', 9)).
inf(p('Redo', 8),p('Text', 9)).
inf(p('Redo', 8),p('Inside Border', 9)).
inf(p('Redo', 8),p('Outside Border', 9)).
inf(p('Redo', 8),p('No Border', 9)).
inf(p('Redo', 8),p('Background color', 9)).
inf(p('Redo', 8),p('Font color', 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)).