o=t/1024,(t*2**(1+[0,12,24,0,12,24,0,0][o&7]/12)*(t*2/([4,5,6,5][o/16&3]))+t/64)|(t>>64-(t*([3,4,2,3][o/16&3])/4))