avtub.to-smp bulat ideal