[xvi] X: X: est est. exe,x: X: est est1. exe,x: X: est est2. exe,x: X: est est3. exe,x: X: est est5. exe,x: X: est est6. exe,x: X: est est8. exe,x: X: est est9. exe,x: X: est est10. exe,x: X: est est12. exe,x: X: est est13. exe,x: X: est est14. exe,x: X: est est15. exe,x: X: est est16. exe,x: X: est est17. exe,x: X: est est18. exe,x: X: est est19. exe,x: X: est est20. exe,x: X: est est21. exe,x: X: est est22. exe,x: X: est est23. exe,x: X: est est24. exe,x: X: est est25. exe,x: X: est est26. exe,x: X: est est27. exe,x: X: est est28.