RESOURCE-INDEPENDENT REPRESENTATION OF SORTING NETWORKS IN Set@l PROGRAMMING LANGUAGE