Some codes by the deepcoder