NL600+1k 4-Tabling