`_d1` в имени папки обозначает "ограничение на глубину (1)", причём учтено, что по при рассмотрении cin-cout она мб и больше.
## Важное замечание по содержимому data/
В данной папке находятся выход некоторых синтезов. Однако была замечена неточность в описании некоторых .template файлов (условие, что cout каждого блока обязательно идёт на cin следующего, за исключением номеров, кратных 5 (0, 5, 10...), что неактуально здесь).
Схемы пока не верифицировались.
## Замечание про формат таблицы
Все указанные в какой-либо строке файлы с задачей SAT, кроме первого, дают UNSAT.
