../../Task/Babbage-problem/Dafny