matrixint-absspecificationlib-basic../../../lib/basic/specs/int-abs/export/int-basic1specificationlib-basic../../../lib/basic/specs/int-basic1/export/int-basic2specificationlib-basic../../../lib/basic/specs/int-basic2/export/int-multspecificationlib-basic../../../lib/basic/specs/int-mult/export/matrixspecificationspecs/matrix/export/matrix-dotspecificationspecs/matrix-dot/export/multiplyspecificationspecs/multiply/export/natspecificationlib-basic../../../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../../../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../../../lib/basic/specs/nat-basic2/export/