# k = 1, 3, 4, 5, 8, 12, 13, 14, 15:s1=(k+0x1df)/2-(k>>3)*3
# 78 <= k <= 94: s1 = (k+0x19b)/2. 
# 2-1-1	j-2121	e-8fa1a1	s-f040	u-0	t-00	(@)
# 2-15-1	j-2f21	e-8fafa1	s-f440	u-68d9	t-e6a399	(@)


#(k+0x1df)/2-(k>>3)*3 = S
#(k+0x1df) - 6*(k>>3) = 2S
#k-6(k>>3) = 2S-0x1df





