---

Любую книгу можно опровергнуть очень быстро, совершенно не прикладывая головы! Оболочки дают такую возможность.
1. Fritz. Запускаем матч рыбок, выставляем небольшой лимит ходов, менее 10. Игра будет продолжаться это число ходов, когда более длинная книга закончится. Затем открываем эту базу, и смотрим оценеки рыбок на момент окончания игры. Если перевес 1 и более, то в исследуемой книге- дыра.
2. Аквариум. Здесь вообще просто. Запускаем матч рыбок, на глубину, скажем, 30 или 35 и функцию: засчитывать победу, если перевес более 1. Цифры условные, но 35 ходов и перевес 1- нормально для большинства книг. В этом случае игра будет продолжаться фиксированное число ходов. Затем смотрим результативные партии и дыры исследуемой книги- на блюдечке с каёмочкой.
Я использую подобное как для опровержения чужих книг, так и для поиска дыр в своих книгах. Запускаю матч и иду спать. Можете брать на вооружение. :)