neural/trident/src/verify/solve.md ฯ 0.01% 2 words ยท 1 min solve Folder Graph Mentions Folder eval.rs mod.rs solver.rs tests.rs Graph Mentions cybics/comp/bip-39 wordlist