:import std/Combinator . :import std/List . :import std/Math . solve [∑(crit <#> ({ (+0) → --0 }))] crit [ψ m ((mod 0) → zero?) (+3) (+5)] :test ((solve (+10)) =? (+23)) ([[1]]) main [solve (+1000)]