tr2bool.enc2.pl - sans ext(p+1)