program synthesis

join shbcf.ru