1# $Id: e182.zpl,v 1.5 2010/06/10 19:42:41 bzfkocht Exp $ 2var a integer <= 6; 3 4subto c1: vabs(0*a) <= 2;