challenge3arrayspecificationlib-basic../../lib/basic/specs/array/export/elemspecificationlib-basic../../lib/basic/specs/elem/export/finddupspecificationspecs/finddup/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/