drop 530 Instance, #130; fix issnL duplication #100
add 3 to proverderstatements, #19