https://thelogictutorial.blogspot.com/2024/03/hamiltonian-cycles-and-sum-of-subsets.html