added function that prints 1024-bit numbers for debugging