mini-hotcore (192.722)