Debang

I found that deserialization for "SS512" takes 0.37 second for the same code. Mine was using "MNT224" previously.