// https://oeis.org/A217255
// Strong Lucas pseudoprimes.
//
// 上記のケースが全くないと思われます。
// https://yukicoder.me/submissions/794934
// がACになってしまいます。