Hard Arithmetic#12257