    Finished `release` profile [optimized] target(s) in 0.00s
     Running `check_answer/target/release/check-erdos-415 verified_math/F-002_decreasing-not-first/candidate.txt`
PASS: exhaustive strict-pattern census gives F(826)=3; length 4 fails (15 of 24 strict patterns observed), while m=822 realizes the strictly decreasing length-4 pattern
