Some Code idk why:

- halting problem solver