#!/usr/bin/env python3 N=[0]*64 n0=[173,233,331,467,641,853] for k in [3]: kk=k for j in [0,1]: T=kk-(2**j) print(T,N[T+1],n0[j+1])