#/bin/sh

./anvl -f anvlppp -l medium -file pc.result ppp 1.1-1.9, 3.1, 3.3-3.6, 4.1-4.6, 5.1, 5.2, 5.4-5.6, 5.9-5.11, 6.1-6.6, 7.1-7.7, 7.9, 7.10, 7.25-7.27, 8.1-8.6, 9.1-9.10, 10.1-10.14, 12.1-12.4, 12.6, 12.7, 13.1-13.3, 14.1, 14.2, 14.5, 15.1, 15.4, 16.1-16.5, 16.7, 16.8, 16.10, 17.1-17.3, 17.5, 17.6, 18.1-18.5, 19.1, 20.1-20.5
