+ printf("Recovering key for:\n");
+ printf(" uid: %08x\n",uid);
+ printf(" nt_0: %08x\n",nt0);
+ printf(" {nr_0}: %08x\n",nr0_enc);
+ printf(" {ar_0}: %08x\n",ar0_enc);
+ printf(" nt_1: %08x\n",nt1);
+ printf(" {nr_1}: %08x\n",nr1_enc);
+ printf(" {ar_1}: %08x\n",ar1_enc);
+