[small-number] [actual+small-number]

[medium-number] [actual+medium-number]

[zipcode] [actual+zipcode]

pragma export-rule [small-number]
pragma export-rule [medium-number]
pragma export-rule [zipcode]

[actual+small-number] [1..9]
	[1..9] [0..9]
	[1..9] [0..9] [0..9]

[actual+medium-number] [1..9] [0..9] [0..9]
	[1..9] [0..9] [0..9] [0..9]
	[1..9] [0..9] [0..9] [0..9] [0..9]

[actual+zipcode] [0..9] [0..9] [0..9] [0..9] [0..9]