Latest version of the code; config updated to JetBrains-Research a7bba68 Petr Tsvetkov commited on May 20