1200 and 1205Fvar(40) palno<5 !numhelper(1200)
1220 and 1230Fvar(40) palno<5
2400 and 2500Fvar(40) palno<5 power>=1000
3500Fvar(40) palno<5 power>=2000
6300Fvar(40) palno<5 power>=3000