All proof examples entered. Some last bugs fixed.
No console version -> emoved ex folders