Fixed: bug in modular multiplication; Found: POW does not work properly