insns.txt 319 KB