mode: set
a1.awk:2.3,6.30 5 1
a1.awk:11.6,11.18 1 1
a1.awk:9.3,9.16 1 1