FriCAS 1.2.4