It appears to me, that your AR-10 was manufactured in Holland by Artillerie-Inrichtingen during the 1956-1959 period, some 1200 rifles were produced. Both the Portuguese Army and Sidem had secured orders.

Very nice example to find