Icosian_calculus loading ...