// "не-005" =>
3xx-6xx-9xx 6-"01" = -6+"11" = 5 not "01, 11" = 18. // ну, пустячок, но ведь приятно! - и заранее подсчитано.
5xx 5*"01" = V(5^"02") = V(5*"05") = -5+"10" = 5 not "01,02,05,[10]" = 1.
> 7xx 7-"02" = -7+"12" = 5 not "02,12" = ???
- Там экономия "2 копейки"... Ну, в наших промышленных арифметических масштабах - подсчитаю!
А попробуйте сами - "не-02" какую даст оптимизацию на "не-02--11/12". Что-то как-то непредсказуемо... // я сломался на этой теме, ничего хорошего предложить не могу.