Isabelleの探索の優先順位を確認する

[2222-42]

why

fastforceで証明できるもので、Timeoutになってしまうケースがあったから。