[WARN] estimated remaining cost exceeds lower bound

[INFO] bailing out of all branching calls now

[INFO] 6403 recursive calls pruned

[INFO] 1390402 branches remain at node 407

EOF █