The results below have been obtained usingthe mcrl2 toolset (see the peg_solitaire example in the distribution).
Результаты, приведённые в таблице можно получить, используя mcrl2 toolset (смотрите peg_solitaire пример в пакете).