blob: 6f2d72e75c5ea90f545cccedb59af1721411b114 (plain)

ofs	hex dump	ascii
0000	4d 6f 64 75 6c 65 4e 65 73 74 65 64 43 6f 6e 73 74 72 61 69 6e 74 73 43 68 65 63 6b 20 7b 20 69	ModuleNestedConstraintsCheck.{.i
0020	73 6f 20 6f 72 67 28 33 29 0a 09 64 6f 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72	so.org(3)..dod(6).internet(1).pr
0040	69 76 61 74 65 28 34 29 0a 09 65 6e 74 65 72 70 72 69 73 65 28 31 29 20 73 70 65 6c 69 6f 28 39	ivate(4)..enterprise(1).spelio(9
0060	33 36 33 29 0a 09 73 6f 66 74 77 61 72 65 28 31 29 20 61 73 6e 31 63 28 35 29 20 74 65 73 74 28	363)..software(1).asn1c(5).test(
0080	31 29 0a 09 35 30 20 31 20 7d 0a 44 45 46 49 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 47 49 4e	1)..50.1.}.DEFINITIONS.::=.BEGIN
00a0	0a 0a 49 6e 74 31 20 3a 3a 3d 20 49 4e 54 45 47 45 52 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20	..Int1.::=.INTEGER.--.Practical.
00c0	63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20	constraints.(Int1):.(MIN..MAX)..
00e0	0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74	.--.PER-visible.constraints.(Int
0100	31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 49 6e 74 32 20 3a 3a 3d 20 49 6e 74 31 20	1):.(MIN..MAX)....Int2.::=.Int1.
0120	28 30 2e 2e 4d 41 58 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73	(0..MAX).--.Combined.constraints
0140	3a 20 28 30 2e 2e 4d 41 58 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69	:.(0..MAX).--.Practical.constrai
0160	6e 74 73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69	nts.(Int1):.(0..MAX)...--.PER-vi
0180	73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 4d 41	sible.constraints.(Int1):.(0..MA
01a0	58 29 20 20 0a 0a 49 6e 74 33 20 3a 3a 3d 20 49 6e 74 32 20 28 4d 49 4e 2e 2e 31 30 29 0a 2d 2d	X)....Int3.::=.Int2.(MIN..10).--
01c0	20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 28	.Combined.constraints:.(0..MAX)(
01e0	4d 49 4e 2e 2e 31 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74	MIN..10).--.Practical.constraint
0200	73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 31 30 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62	s.(Int1):.(0..10)...--.PER-visib
0220	6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 31 30 29 20 20	le.constraints.(Int1):.(0..10)..
0240	0a 0a 49 6e 74 34 20 3a 3a 3d 20 49 6e 74 33 20 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c 31 2e 2e 34	..Int4.::=.Int3.(5..MAX,...,1..4
0260	29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d	).--.Combined.constraints:.(0..M
0280	41 58 29 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c 31 2e 2e 34 29 0a 2d 2d	AX)(MIN..10)(5..MAX,...,1..4).--
02a0	20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28	.Practical.constraints.(Int1):.(
02c0	31 2e 2e 31 30 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73	1..10,...)...--.PER-visible.cons
02e0	74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 31 2e 2e 31 30 2c 2e 2e 2e 29 20 20 0a 0a 49	traints.(Int1):.(1..10,...)....I
0300	6e 74 35 20 3a 3a 3d 20 49 6e 74 34 20 28 4d 49 4e 2e 2e 35 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65	nt5.::=.Int4.(MIN..5).--.Combine
0320	64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 31 30 29	d.constraints:.(0..MAX)(MIN..10)
0340	28 35 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 35 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f	(5..MAX)(MIN..5).--.Practical.co
0360	6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 29 20 20 0a 2d 2d 20 50 45 52 2d 76	nstraints.(Int1):.(5)...--.PER-v
0380	69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 29 20 20	isible.constraints.(Int1):.(5)..
03a0	0a 0a 74 65 6e 20 49 6e 74 31 20 3a 3a 3d 20 31 30 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63	..ten.Int1.::=.10.--.Practical.c
03c0	6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a	onstraints.(Int1):.(MIN..MAX)...
03e0	2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31	--.PER-visible.constraints.(Int1
0400	29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 6f 74 68 65 72 2d 74 65 6e 20 49 6e 74 32 20	):.(MIN..MAX)....other-ten.Int2.
0420	3a 3a 3d 20 31 30 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	::=.10.--.Practical.constraints.
0440	28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69	(Int1):.(MIN..MAX)...--.PER-visi
0460	62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41	ble.constraints.(Int1):.(MIN..MA
0480	58 29 20 20 0a 0a 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73 69 6f 6e 73 20 3a 3a 3d 20 49	X)....ExtensibleExtensions.::=.I
04a0	4e 54 45 47 45 52 20 28 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 5e 20 28 31 2e 2e 32 35 36 29 29	NTEGER.((1..256,...).^.(1..256))
04c0	0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 28 31 2e 2e 32	.--.Combined.constraints:.((1..2
04e0	35 36 2c 2e 2e 2e 29 20 5e 20 28 31 2e 2e 32 35 36 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c	56,...).^.(1..256)).--.Practical
0500	20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73 69 6f	.constraints.(ExtensibleExtensio
0520	6e 73 29 3a 20 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62	ns):.(1..256,...)...--.PER-visib
0540	6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73	le.constraints.(ExtensibleExtens
0560	69 6f 6e 73 29 3a 20 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 20 0a 0a 53 74 72 31 20 3a 3a 3d 20	ions):.(1..256,...)....Str1.::=.
0580	49 41 35 53 74 72 69 6e 67 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e	IA5String.--.Practical.constrain
05a0	74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d	ts.(Str1):.(MIN..MAX).(SIZE(0..M
05c0	41 58 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73	AX)).(FROM("."..".")).--.PER-vis
05e0	69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d	ible.constraints.(Str1):.(MIN..M
0600	41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f	AX).(SIZE(0..MAX)).(FROM("."..".
0620	22 29 29 0a 0a 53 74 72 32 20 3a 3a 3d 20 53 74 72 31 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32 30	"))..Str2.::=.Str1.(SIZE(MIN..20
0640	20 7c 20 32 35 2e 2e 33 30 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69	.|.25..30)).--.Combined.constrai
0660	6e 74 73 3a 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29 0a 2d 2d	nts:.(SIZE(MIN..20.|.25..30)).--
0680	20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28	.Practical.constraints.(Str1):.(
06a0	4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29	MIN..MAX).(SIZE(0..20.|.25..30))
06c0	20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65	.(FROM("."..".")).--.PER-visible
06e0	20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20	.constraints.(Str1):.(MIN..MAX).
0700	28 53 49 5a 45 28 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29 20 28 46 52 4f 4d 28 22 00 22	(SIZE(0..20.|.25..30)).(FROM("."
0720	2e 2e 22 7f 22 29 29 0a 0a 53 74 72 33 20 3a 3a 3d 20 53 74 72 32 20 28 53 49 5a 45 28 31 30 2e	.."."))..Str3.::=.Str2.(SIZE(10.
0740	2e 32 37 29 29 28 46 52 4f 4d 28 22 41 42 43 22 20 7c 20 22 64 65 66 22 29 29 0a 2d 2d 20 43 6f	.27))(FROM("ABC".|."def")).--.Co
0760	6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32	mbined.constraints:.(SIZE(MIN..2
0780	30 20 7c 20 32 35 2e 2e 33 30 29 29 28 53 49 5a 45 28 31 30 2e 2e 32 37 29 29 28 46 52 4f 4d 28	0.|.25..30))(SIZE(10..27))(FROM(
07a0	22 41 42 43 22 20 7c 20 22 64 65 66 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e	"ABC".|."def")).--.Practical.con
07c0	73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a	straints.(Str1):.(MIN..MAX).(SIZ
07e0	45 28 31 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 32 37 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22	E(10..20.|.25..27)).(FROM("A".."
0800	43 22 20 7c 20 22 64 22 2e 2e 22 66 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63	C".|."d".."f")).--.PER-visible.c
0820	6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53	onstraints.(Str1):.(MIN..MAX).(S
0840	49 5a 45 28 31 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 32 37 29 29 20 28 46 52 4f 4d 28 22 41 22 2e	IZE(10..20.|.25..27)).(FROM("A".
0860	2e 22 43 22 20 7c 20 22 64 22 2e 2e 22 66 22 29 29 0a 0a 53 74 72 34 20 3a 3a 3d 20 49 41 35 53	."C".|."d".."f"))..Str4.::=.IA5S
0880	74 72 69 6e 67 20 28 22 41 42 43 44 22 20 7c 20 53 49 5a 45 28 34 29 29 0a 2d 2d 20 43 6f 6d 62	tring.("ABCD".|.SIZE(4)).--.Comb
08a0	69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 22 41 42 43 44 22 20 7c 20 53 49 5a 45	ined.constraints:.("ABCD".|.SIZE
08c0	28 34 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53	(4)).--.Practical.constraints.(S
08e0	74 72 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20	tr4):.(MIN..MAX).(SIZE(0..MAX)).
0900	28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20	(FROM("."..".")).--.PER-visible.
0920	63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28	constraints.(Str4):.(MIN..MAX).(
0940	53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 0a	SIZE(0..MAX)).(FROM(".".."."))..
0960	50 45 52 2d 56 69 73 69 62 6c 65 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 46 52 4f 4d 28	PER-Visible.::=.IA5String.(FROM(
0980	22 41 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e	"A".."F")).--.Combined.constrain
09a0	74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61	ts:.(FROM("A".."F")).--.Practica
09c0	6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49	l.constraints.(PER-Visible):.(MI
09e0	4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22	N..MAX).(SIZE(0..MAX)).(FROM("A"
0a00	2e 2e 22 46 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e	.."F")).--.PER-visible.constrain
0a20	74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49	ts.(PER-Visible):.(MIN..MAX).(SI
0a40	5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 50 45	ZE(0..MAX)).(FROM("A".."F"))..PE
0a60	52 2d 56 69 73 69 62 6c 65 2d 32 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f	R-Visible-2.::=.PER-Visible.(FRO
0a80	4d 28 22 45 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61	M("E".."F")).--.Combined.constra
0aa0	69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 45 22 2e	ints:.(FROM("A".."F"))(FROM("E".
0ac0	2e 22 46 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	."F")).--.Practical.constraints.
0ae0	28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28	(PER-Visible):.(MIN..MAX).(SIZE(
0b00	30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 45 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 50 45 52	0..MAX)).(FROM("E".."F")).--.PER
0b20	2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c	-visible.constraints.(PER-Visibl
0b40	65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46	e):.(MIN..MAX).(SIZE(0..MAX)).(F
0b60	52 4f 4d 28 22 45 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d 56 69 73 69 62 6c 65 2d	ROM("E".."F"))..Not-PER-Visible-
0b80	31 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 41 42 22 29 20 7c 20	1.::=.PER-Visible.(FROM("AB").|.
0ba0	53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69	SIZE(1..2)).--.Combined.constrai
0bc0	6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 29	nts:.(FROM("A".."F"))(FROM("AB")
0be0	20 7c 20 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73	.|.SIZE(1..2)).--.Practical.cons
0c00	74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58	traints.(PER-Visible):.(MIN..MAX
0c20	29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29	).(SIZE(0..MAX)).(FROM("A".."F")
0c40	29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45	).--.PER-visible.constraints.(PE
0c60	52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e	R-Visible):.(MIN..MAX).(SIZE(0..
0c80	4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d	MAX)).(FROM("A".."F"))..Not-PER-
0ca0	56 69 73 69 62 6c 65 2d 32 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28	Visible-2.::=.PER-Visible.(FROM(
0cc0	22 41 42 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e	"AB",...)).--.Combined.constrain
0ce0	74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 2c 2e	ts:.(FROM("A".."F"))(FROM("AB",.
0d00	2e 2e 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50	..)).--.Practical.constraints.(P
0d20	45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e	ER-Visible):.(MIN..MAX).(SIZE(0.
0d40	2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 42 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50	.MAX)).(FROM("A".."B",...)).--.P
0d60	45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69	ER-visible.constraints.(PER-Visi
0d80	62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20	ble):.(MIN..MAX).(SIZE(0..MAX)).
0da0	28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d 56 69 73 69 62 6c	(FROM("A".."F"))..Not-PER-Visibl
0dc0	65 2d 33 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 41 42 22 29 2c	e-3.::=.PER-Visible.(FROM("AB"),
0de0	2e 2e 2e 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46	...).--.Combined.constraints:.(F
0e00	52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 29 2c 2e 2e 2e 29 0a 2d	ROM("A".."F"))(FROM("AB"),...).-
0e20	2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73	-.Practical.constraints.(PER-Vis
0e40	69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29	ible):.(MIN..MAX).(SIZE(0..MAX))
0e60	20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 42 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73	.(FROM("A".."B",...)).--.PER-vis
0e80	69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20	ible.constraints.(PER-Visible):.
0ea0	28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28	(MIN..MAX).(SIZE(0..MAX)).(FROM(
0ec0	22 41 22 2e 2e 22 46 22 29 29 0a 0a 53 49 5a 45 2d 62 75 74 2d 6e 6f 74 2d 46 52 4f 4d 20 3a 3a	"A".."F"))..SIZE-but-not-FROM.::
0ee0	3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 53 49 5a 45 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d	=.PER-Visible.(SIZE(1..4).^.FROM
0f00	28 22 41 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72	("ABCD",...)).--.Combined.constr
0f20	61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 53 49 5a 45 28 31 2e 2e	aints:.(FROM("A".."F"))(SIZE(1..
0f40	34 29 20 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 72 61 63 74 69	4).^.FROM("ABCD",...)).--.Practi
0f60	63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28	cal.constraints.(PER-Visible):.(
0f80	4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22	MIN..MAX).(SIZE(1..4)).(FROM("A"
0fa0	2e 2e 22 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74	.."D",...)).--.PER-visible.const
0fc0	72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29	raints.(PER-Visible):.(MIN..MAX)
0fe0	20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a	.(SIZE(1..4)).(FROM("A".."F"))..
1000	53 49 5a 45 2d 61 6e 64 2d 46 52 4f 4d 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 53	SIZE-and-FROM.::=.PER-Visible.(S
1020	49 5a 45 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 29 29 0a 2d 2d 20 43 6f 6d	IZE(1..4).^.FROM("ABCD")).--.Com
1040	62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46	bined.constraints:.(FROM("A".."F
1060	22 29 29 28 53 49 5a 45 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 29 29 0a 2d	"))(SIZE(1..4).^.FROM("ABCD")).-
1080	2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73	-.Practical.constraints.(PER-Vis
10a0	69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28	ible):.(MIN..MAX).(SIZE(1..4)).(
10c0	46 52 4f 4d 28 22 41 22 2e 2e 22 44 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63	FROM("A".."D")).--.PER-visible.c
10e0	6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e	onstraints.(PER-Visible):.(MIN..
1100	4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 44 22	MAX).(SIZE(1..4)).(FROM("A".."D"
1120	29 29 0a 0a 4e 65 69 74 68 65 72 2d 53 49 5a 45 2d 6e 6f 72 2d 46 52 4f 4d 20 3a 3a 3d 20 50 45	))..Neither-SIZE-nor-FROM.::=.PE
1140	52 2d 56 69 73 69 62 6c 65 20 28 53 49 5a 45 28 31 2e 2e 34 29 20 7c 20 46 52 4f 4d 28 22 41 42	R-Visible.(SIZE(1..4).|.FROM("AB
1160	43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74	CD",...)).--.Combined.constraint
1180	73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 53 49 5a 45 28 31 2e 2e 34 29 20 7c	s:.(FROM("A".."F"))(SIZE(1..4).|
11a0	20 46 52 4f 4d 28 22 41 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20	.FROM("ABCD",...)).--.Practical.
11c0	63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e	constraints.(PER-Visible):.(MIN.
11e0	2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e	.MAX).(SIZE(0..MAX)).(FROM("A"..
1200	22 46 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73	"F")).--.PER-visible.constraints
1220	20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45	.(PER-Visible):.(MIN..MAX).(SIZE
1240	28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 55 74 66 38	(0..MAX)).(FROM("A".."F"))..Utf8
1260	2d 34 20 3a 3a 3d 20 55 54 46 38 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22	-4.::=.UTF8String.(FROM("A".."Z"
1280	29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f	)).--.Combined.constraints:.(FRO
12a0	4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72	M("A".."Z")).--.Practical.constr
12c0	61 69 6e 74 73 20 28 55 74 66 38 2d 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45	aints.(Utf8-4):.(MIN..MAX).(SIZE
12e0	28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 50 45	(0..MAX)).(FROM("A".."Z")).--.PE
1300	52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 34 29 3a 20	R-visible.constraints.(Utf8-4):.
1320	20 20 0a 0a 55 74 66 38 2d 33 20 3a 3a 3d 20 55 74 66 38 2d 32 20 28 46 52 4f 4d 28 22 41 22 2e	....Utf8-3.::=.Utf8-2.(FROM("A".
1340	2e 22 5a 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f	."Z".|."a".."z")).--.Combined.co
1360	6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 28 46 52 4f 4d 28 22 41 22	nstraints:.(SIZE(1..2))(FROM("A"
1380	2e 2e 22 5a 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20	.."Z".|."a".."z")).--.Practical.
13a0	63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29	constraints.(Utf8-1):.(MIN..MAX)
13c0	20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 20 7c 20 22	.(SIZE(1..2)).(FROM("A".."Z".|."
13e0	61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61	a".."z")).--.PER-visible.constra
1400	69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 20 20 0a 0a 55 74 66 38 2d 32 20 3a 3a 3d 20 55 74	ints.(Utf8-1):.....Utf8-2.::=.Ut
1420	66 38 2d 31 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f	f8-1.(SIZE(1..2)).--.Combined.co
1440	6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74	nstraints:.(SIZE(1..2)).--.Pract
1460	69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 28 4d 49 4e 2e	ical.constraints.(Utf8-1):.(MIN.
1480	2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 ff	.MAX).(SIZE(1..2)).(FROM("."..".
14a0	22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28	")).--.PER-visible.constraints.(
14c0	55 74 66 38 2d 31 29 3a 20 20 20 0a 0a 55 74 66 38 2d 31 20 3a 3a 3d 20 55 54 46 38 53 74 72 69	Utf8-1):.....Utf8-1.::=.UTF8Stri
14e0	6e 67 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66	ng.--.Practical.constraints.(Utf
1500	38 2d 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20	8-1):.(MIN..MAX).(SIZE(0..MAX)).
1520	28 46 52 4f 4d 28 22 00 22 2e 2e 22 ff 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20	(FROM("."..".")).--.PER-visible.
1540	63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 20 20 0a 0a 56 69 73 69 62 6c	constraints.(Utf8-1):.....Visibl
1560	65 49 64 65 6e 74 69 66 69 65 72 20 3a 3a 3d 20 49 64 65 6e 74 69 66 69 65 72 0a 2d 2d 20 43 6f	eIdentifier.::=.Identifier.--.Co
1580	6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 20 7c 20	mbined.constraints:.(FROM("A".|.
15a0	22 61 22 20 7c 20 22 42 22 20 7c 20 22 62 22 20 7c 20 22 43 22 20 7c 20 22 63 22 20 7c 20 22 44	"a".|."B".|."b".|."C".|."c".|."D
15c0	22 20 7c 20 22 64 22 20 7c 20 22 45 22 20 7c 20 22 65 22 20 7c 20 22 46 22 20 7c 20 22 66 22 20	".|."d".|."E".|."e".|."F".|."f".
15e0	7c 20 22 47 22 20 7c 20 22 67 22 20 7c 20 22 48 22 20 7c 20 22 68 22 20 7c 20 22 49 22 20 7c 20	|."G".|."g".|."H".|."h".|."I".|.
1600	22 69 22 20 7c 20 22 4a 22 20 7c 20 22 6a 22 20 7c 20 22 4b 22 20 7c 20 22 6b 22 20 7c 20 22 4c	"i".|."J".|."j".|."K".|."k".|."L
1620	22 20 7c 20 22 6c 22 20 7c 20 22 4d 22 20 7c 20 22 6d 22 20 7c 20 22 4e 22 20 7c 20 22 6e 22 20	".|."l".|."M".|."m".|."N".|."n".
1640	7c 20 22 4f 22 20 7c 20 22 6f 22 20 7c 20 22 50 22 20 7c 20 22 70 22 20 7c 20 22 51 22 20 7c 20	|."O".|."o".|."P".|."p".|."Q".|.
1660	22 71 22 20 7c 20 22 52 22 20 7c 20 22 72 22 20 7c 20 22 53 22 20 7c 20 22 73 22 20 7c 20 22 54	"q".|."R".|."r".|."S".|."s".|."T
1680	22 20 7c 20 22 74 22 20 7c 20 22 55 22 20 7c 20 22 75 22 20 7c 20 22 56 22 20 7c 20 22 76 22 20	".|."t".|."U".|."u".|."V".|."v".
16a0	7c 20 22 57 22 20 7c 20 22 77 22 20 7c 20 22 58 22 20 7c 20 22 78 22 20 7c 20 22 59 22 20 7c 20	|."W".|."w".|."X".|."x".|."Y".|.
16c0	22 79 22 20 7c 20 22 5a 22 20 7c 20 22 7a 22 20 7c 20 22 24 22 20 7c 20 22 5f 22 20 7c 20 22 30	"y".|."Z".|."z".|."$".|."_".|."0
16e0	22 20 7c 20 22 31 22 20 7c 20 22 32 22 20 7c 20 22 33 22 20 7c 20 22 34 22 20 7c 20 22 35 22 20	".|."1".|."2".|."3".|."4".|."5".
1700	7c 20 22 36 22 20 7c 20 22 37 22 20 7c 20 22 38 22 20 7c 20 22 39 22 29 29 28 53 49 5a 45 28 31	|."6".|."7".|."8".|."9"))(SIZE(1
1720	2e 2e 33 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	..32)).--.Practical.constraints.
1740	28 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31	(Identifier):.(MIN..MAX).(SIZE(1
1760	2e 2e 33 32 29 29 20 28 46 52 4f 4d 28 22 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41	..32)).(FROM("$".|."0".."9".|."A
1780	22 2e 2e 22 5a 22 20 7c 20 22 5f 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52	".."Z".|."_".|."a".."z")).--.PER
17a0	2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65 6e 74 69 66 69 65 72	-visible.constraints.(Identifier
17c0	29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 20 28 46 52 4f	):.(MIN..MAX).(SIZE(1..32)).(FRO
17e0	4d 28 22 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22 5a 22 20 7c 20 22 5f	M("$".|."0".."9".|."A".."Z".|."_
1800	22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 0a 53 65 71 75 65 6e 63 65 20 3a 3a 3d 20 53 45 51	".|."a".."z"))..Sequence.::=.SEQ
1820	55 45 4e 43 45 20 7b 0a 20 20 20 20 69 6e 74 31 2d 63 09 20 49 6e 74 31 20 28 2d 32 2e 2e 4d 41	UENCE.{.....int1-c..Int1.(-2..MA
1840	58 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 2d 32 2e	X).--.Combined.constraints:.(-2.
1860	2e 4d 41 58 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28	.MAX).--.Practical.constraints.(
1880	49 6e 74 31 29 3a 20 28 2d 32 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c	Int1):.(-2..MAX)...--.PER-visibl
18a0	65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 2d 32 2e 2e 4d 41 58 29 20	e.constraints.(Int1):.(-2..MAX).
18c0	20 0a 20 44 45 46 41 55 4c 54 20 33 2c 0a 20 20 20 20 69 6e 74 34 09 20 5b 32 5d 20 45 58 50 4c	...DEFAULT.3,.....int4..[2].EXPL
18e0	49 43 49 54 20 49 6e 74 34 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74	ICIT.Int4.--.Combined.constraint
1900	73 3a 20 28 30 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c	s:.(0..MAX)(MIN..10)(5..MAX,...,
1920	31 2e 2e 34 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28	1..4).--.Practical.constraints.(
1940	49 6e 74 31 29 3a 20 28 31 2e 2e 31 30 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69	Int1):.(1..10,...)...--.PER-visi
1960	62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 31 2e 2e 31 30 2c 2e	ble.constraints.(Int1):.(1..10,.
1980	2e 2e 29 20 20 0a 2c 0a 20 20 20 20 69 6e 74 34 2d 63 09 20 49 6e 74 34 20 28 4d 49 4e 2e 2e 37	..)...,.....int4-c..Int4.(MIN..7
19a0	29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d	).--.Combined.constraints:.(0..M
19c0	41 58 29 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 37 29 0a 2d 2d 20	AX)(MIN..10)(5..MAX)(MIN..7).--.
19e0	50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35	Practical.constraints.(Int1):.(5
1a00	2e 2e 37 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74	..7)...--.PER-visible.constraint
1a20	73 20 28 49 6e 74 31 29 3a 20 28 35 2e 2e 37 29 20 20 0a 2c 0a 20 20 20 20 62 6f 6f 6c 09 20 42	s.(Int1):.(5..7)...,.....bool..B
1a40	4f 4f 4c 45 41 4e 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	OOLEAN.--.Practical.constraints.
1a60	28 62 6f 6f 6c 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69	(bool):.(MIN..MAX)...--.PER-visi
1a80	62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 62 6f 6f 6c 29 3a 20 28 4d 49 4e 2e 2e 4d 41	ble.constraints.(bool):.(MIN..MA
1aa0	58 29 20 20 0a 20 44 45 46 41 55 4c 54 20 31 2c 0a 20 20 20 20 65 6e 75 6d 2d 63 09 20 45 4e 55	X)....DEFAULT.1,.....enum-c..ENU
1ac0	4d 45 52 41 54 45 44 20 7b 0a 20 20 20 20 20 20 20 20 6f 6e 65 28 31 29 0a 2d 2d 20 50 72 61 63	MERATED.{.........one(1).--.Prac
1ae0	74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2d 2d 20 50	tical.constraints.(one):....--.P
1b00	45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20	ER-visible.constraints.(one):...
1b20	0a 2c 20 20 20 20 0a 20 20 20 20 20 20 20 20 74 77 6f 28 32 29 0a 2d 2d 20 50 72 61 63 74 69 63	.,.............two(2).--.Practic
1b40	61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d	al.constraints.(two):....--.PER-
1b60	76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2c 20	visible.constraints.(two):....,.
1b80	20 20 20 0a 20 20 20 20 20 20 20 20 2e 2e 2e 2c 20 20 20 20 0a 20 20 20 20 20 20 20 20 74 68 72	...............,.............thr
1ba0	65 65 28 33 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28	ee(3).--.Practical.constraints.(
1bc0	74 68 72 65 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72	three):....--.PER-visible.constr
1be0	61 69 6e 74 73 20 28 74 68 72 65 65 29 3a 20 20 20 0a 0a 20 20 20 20 7d 0a 2d 2d 20 50 72 61 63	aints.(three):.........}.--.Prac
1c00	74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 65 6e 75 6d 2d 63 29 3a 20 28 4d 49 4e	tical.constraints.(enum-c):.(MIN
1c20	2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69	..MAX)...--.PER-visible.constrai
1c40	6e 74 73 20 28 65 6e 75 6d 2d 63 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2c 0a 20 20 20	nts.(enum-c):.(MIN..MAX)...,....
1c60	20 6e 75 6c 6c 09 20 4e 55 4c 4c 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61	.null..NULL.--.Practical.constra
1c80	69 6e 74 73 20 28 6e 75 6c 6c 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63	ints.(null):....--.PER-visible.c
1ca0	6f 6e 73 74 72 61 69 6e 74 73 20 28 6e 75 6c 6c 29 3a 20 20 20 0a 20 4f 50 54 49 4f 4e 41 4c 2c	onstraints.(null):.....OPTIONAL,
1cc0	0a 20 20 20 20 2e 2e 2e 2c 0a 20 20 20 20 69 6e 74 35 2d 63 09 20 49 6e 74 35 20 28 35 29 0a 2d	........,.....int5-c..Int5.(5).-
1ce0	2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29	-.Combined.constraints:.(0..MAX)
1d00	28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 35 29 28 35 29 0a 2d 2d 20	(MIN..10)(5..MAX)(MIN..5)(5).--.
1d20	50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35	Practical.constraints.(Int1):.(5
1d40	29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28	)...--.PER-visible.constraints.(
1d60	49 6e 74 31 29 3a 20 28 35 29 20 20 0a 20 4f 50 54 49 4f 4e 41 4c 0a 7d 0a 2d 2d 20 50 72 61 63	Int1):.(5)....OPTIONAL.}.--.Prac
1d80	74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 29 3a 20 20 20	tical.constraints.(Sequence):...
1da0	0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71	.--.PER-visible.constraints.(Seq
1dc0	75 65 6e 63 65 29 3a 20 20 20 0a 0a 53 65 71 75 65 6e 63 65 4f 66 20 3a 3a 3d 20 53 45 51 55 45	uence):.....SequenceOf.::=.SEQUE
1de0	4e 43 45 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 4f 46 20 53 65 71 75 65 6e 63 65 0a 2d 2d 20	NCE.(SIZE(1..2)).OF.Sequence.--.
1e00	50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 29	Practical.constraints.(Sequence)
1e20	3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	:....--.PER-visible.constraints.
1e40	28 53 65 71 75 65 6e 63 65 29 3a 20 20 20 0a 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73	(Sequence):.....--.Combined.cons
1e60	74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63	traints:.(SIZE(1..2)).--.Practic
1e80	61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 4f 66 29 3a 20 20 28 53	al.constraints.(SequenceOf):..(S
1ea0	49 5a 45 28 31 2e 2e 32 29 29 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74	IZE(1..2))..--.PER-visible.const
1ec0	72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 4f 66 29 3a 20 20 28 53 49 5a 45 28 31 2e 2e 32	raints.(SequenceOf):..(SIZE(1..2
1ee0	29 29 20 0a 0a 45 6e 75 6d 30 20 3a 3a 3d 20 45 4e 55 4d 45 52 41 54 45 44 20 7b 0a 20 20 20 20	))...Enum0.::=.ENUMERATED.{.....
1f00	6f 6e 65 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	one(0).--.Practical.constraints.
1f20	28 6f 6e 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61	(one):....--.PER-visible.constra
1f40	69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2c 0a 20 20 20 20 74 77 6f 28 31 29 0a 2d 2d 20 50	ints.(one):....,.....two(1).--.P
1f60	72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2d	ractical.constraints.(two):....-
1f80	2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a	-.PER-visible.constraints.(two):
1fa0	20 20 20 0a 0a 7d 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20	.....}.--.Practical.constraints.
1fc0	28 45 6e 75 6d 30 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73	(Enum0):.(MIN..MAX)...--.PER-vis
1fe0	69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 6e 75 6d 30 29 3a 20 28 4d 49 4e 2e 2e	ible.constraints.(Enum0):.(MIN..
2000	4d 41 58 29 20 20 0a 0a 45 6e 75 6d 31 20 3a 3a 3d 20 45 4e 55 4d 45 52 41 54 45 44 20 7b 0a 20	MAX)....Enum1.::=.ENUMERATED.{..
2020	20 20 20 6f 6e 65 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e	...one(0).--.Practical.constrain
2040	74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73	ts.(one):....--.PER-visible.cons
2060	74 72 61 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2c 0a 20 20 20 20 74 77 6f 28 31 29 0a 2d	traints.(one):....,.....two(1).-
2080	2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20	-.Practical.constraints.(two):..
20a0	20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77	..--.PER-visible.constraints.(tw
20c0	6f 29 3a 20 20 20 0a 0a 7d 20 28 30 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72	o):.....}.(0).--.Combined.constr
20e0	61 69 6e 74 73 3a 20 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69	aints:.(0).--.Practical.constrai
2100	6e 74 73 20 28 45 6e 75 6d 31 29 3a 20 28 30 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c	nts.(Enum1):.(0)...--.PER-visibl
2120	65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 6e 75 6d 31 29 3a 20 28 30 29 20 20 0a 0a 45 4e	e.constraints.(Enum1):.(0)....EN
2140	44 0a 0a 49 64 65 6e 74 69 66 69 65 72 4d 6f 64 75 6c 65 20 7b 20 69 73 6f 20 6f 72 67 28 33 29	D..IdentifierModule.{.iso.org(3)
2160	0a 09 64 6f 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72 69 76 61 74 65 28 34 29 0a	..dod(6).internet(1).private(4).
2180	09 65 6e 74 65 72 70 72 69 73 65 28 31 29 20 73 70 65 6c 69 6f 28 39 33 36 33 29 0a 09 73 6f 66	.enterprise(1).spelio(9363)..sof
21a0	74 77 61 72 65 28 31 29 20 61 73 6e 31 63 28 35 29 20 74 65 73 74 28 31 29 0a 09 35 30 20 32 20	tware(1).asn1c(5).test(1)..50.2.
21c0	7d 0a 44 45 46 49 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 47 49 4e 0a 0a 6d 61 78 49 64 65 6e	}.DEFINITIONS.::=.BEGIN..maxIden
21e0	74 69 66 69 65 72 20 49 4e 54 45 47 45 52 20 3a 3a 3d 20 33 32 0a 2d 2d 20 50 72 61 63 74 69 63	tifier.INTEGER.::=.32.--.Practic
2200	61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6d 61 78 49 64 65 6e 74 69 66 69 65 72 29 3a 20	al.constraints.(maxIdentifier):.
2220	28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73	(MIN..MAX)...--.PER-visible.cons
2240	74 72 61 69 6e 74 73 20 28 6d 61 78 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d	traints.(maxIdentifier):.(MIN..M
2260	41 58 29 20 20 0a 0a 49 64 65 6e 74 69 66 69 65 72 20 3a 3a 3d 20 56 69 73 69 62 6c 65 53 74 72	AX)....Identifier.::=.VisibleStr
2280	69 6e 67 20 28 46 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 20 7c 20 22 42 22 20 7c 20 22 62 22 20	ing.(FROM("A".|."a".|."B".|."b".
22a0	7c 20 22 43 22 20 7c 20 22 63 22 20 7c 20 22 44 22 20 7c 20 22 64 22 20 7c 20 22 45 22 20 7c 20	|."C".|."c".|."D".|."d".|."E".|.
22c0	22 65 22 20 7c 20 22 46 22 20 7c 20 22 66 22 20 7c 20 22 47 22 20 7c 20 22 67 22 20 7c 20 22 48	"e".|."F".|."f".|."G".|."g".|."H
22e0	22 20 7c 20 22 68 22 20 7c 20 22 49 22 20 7c 20 22 69 22 20 7c 20 22 4a 22 20 7c 20 22 6a 22 20	".|."h".|."I".|."i".|."J".|."j".
2300	7c 20 22 4b 22 20 7c 20 22 6b 22 20 7c 20 22 4c 22 20 7c 20 22 6c 22 20 7c 20 22 4d 22 20 7c 20	|."K".|."k".|."L".|."l".|."M".|.
2320	22 6d 22 20 7c 20 22 4e 22 20 7c 20 22 6e 22 20 7c 20 22 4f 22 20 7c 20 22 6f 22 20 7c 20 22 50	"m".|."N".|."n".|."O".|."o".|."P
2340	22 20 7c 20 22 70 22 20 7c 20 22 51 22 20 7c 20 22 71 22 20 7c 20 22 52 22 20 7c 20 22 72 22 20	".|."p".|."Q".|."q".|."R".|."r".
2360	7c 20 22 53 22 20 7c 20 22 73 22 20 7c 20 22 54 22 20 7c 20 22 74 22 20 7c 20 22 55 22 20 7c 20	|."S".|."s".|."T".|."t".|."U".|.
2380	22 75 22 20 7c 20 22 56 22 20 7c 20 22 76 22 20 7c 20 22 57 22 20 7c 20 22 77 22 20 7c 20 22 58	"u".|."V".|."v".|."W".|."w".|."X
23a0	22 20 7c 20 22 78 22 20 7c 20 22 59 22 20 7c 20 22 79 22 20 7c 20 22 5a 22 20 7c 20 22 7a 22 20	".|."x".|."Y".|."y".|."Z".|."z".
23c0	7c 20 22 24 22 20 7c 20 22 5f 22 20 7c 20 22 30 22 20 7c 20 22 31 22 20 7c 20 22 32 22 20 7c 20	|."$".|."_".|."0".|."1".|."2".|.
23e0	22 33 22 20 7c 20 22 34 22 20 7c 20 22 35 22 20 7c 20 22 36 22 20 7c 20 22 37 22 20 7c 20 22 38	"3".|."4".|."5".|."6".|."7".|."8
2400	22 20 7c 20 22 39 22 29 29 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e	".|."9"))(SIZE(1..32)).--.Combin
2420	65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 20	ed.constraints:.(FROM("A".|."a".
2440	7c 20 22 42 22 20 7c 20 22 62 22 20 7c 20 22 43 22 20 7c 20 22 63 22 20 7c 20 22 44 22 20 7c 20	|."B".|."b".|."C".|."c".|."D".|.
2460	22 64 22 20 7c 20 22 45 22 20 7c 20 22 65 22 20 7c 20 22 46 22 20 7c 20 22 66 22 20 7c 20 22 47	"d".|."E".|."e".|."F".|."f".|."G
2480	22 20 7c 20 22 67 22 20 7c 20 22 48 22 20 7c 20 22 68 22 20 7c 20 22 49 22 20 7c 20 22 69 22 20	".|."g".|."H".|."h".|."I".|."i".
24a0	7c 20 22 4a 22 20 7c 20 22 6a 22 20 7c 20 22 4b 22 20 7c 20 22 6b 22 20 7c 20 22 4c 22 20 7c 20	|."J".|."j".|."K".|."k".|."L".|.
24c0	22 6c 22 20 7c 20 22 4d 22 20 7c 20 22 6d 22 20 7c 20 22 4e 22 20 7c 20 22 6e 22 20 7c 20 22 4f	"l".|."M".|."m".|."N".|."n".|."O
24e0	22 20 7c 20 22 6f 22 20 7c 20 22 50 22 20 7c 20 22 70 22 20 7c 20 22 51 22 20 7c 20 22 71 22 20	".|."o".|."P".|."p".|."Q".|."q".
2500	7c 20 22 52 22 20 7c 20 22 72 22 20 7c 20 22 53 22 20 7c 20 22 73 22 20 7c 20 22 54 22 20 7c 20	|."R".|."r".|."S".|."s".|."T".|.
2520	22 74 22 20 7c 20 22 55 22 20 7c 20 22 75 22 20 7c 20 22 56 22 20 7c 20 22 76 22 20 7c 20 22 57	"t".|."U".|."u".|."V".|."v".|."W
2540	22 20 7c 20 22 77 22 20 7c 20 22 58 22 20 7c 20 22 78 22 20 7c 20 22 59 22 20 7c 20 22 79 22 20	".|."w".|."X".|."x".|."Y".|."y".
2560	7c 20 22 5a 22 20 7c 20 22 7a 22 20 7c 20 22 24 22 20 7c 20 22 5f 22 20 7c 20 22 30 22 20 7c 20	|."Z".|."z".|."$".|."_".|."0".|.
2580	22 31 22 20 7c 20 22 32 22 20 7c 20 22 33 22 20 7c 20 22 34 22 20 7c 20 22 35 22 20 7c 20 22 36	"1".|."2".|."3".|."4".|."5".|."6
25a0	22 20 7c 20 22 37 22 20 7c 20 22 38 22 20 7c 20 22 39 22 29 29 28 53 49 5a 45 28 31 2e 2e 33 32	".|."7".|."8".|."9"))(SIZE(1..32
25c0	29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65	)).--.Practical.constraints.(Ide
25e0	6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32	ntifier):.(MIN..MAX).(SIZE(1..32
2600	29 29 20 28 46 52 4f 4d 28 22 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22	)).(FROM("$".|."0".."9".|."A".."
2620	5a 22 20 7c 20 22 5f 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73	Z".|."_".|."a".."z")).--.PER-vis
2640	69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28	ible.constraints.(Identifier):.(
2660	4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 20 28 46 52 4f 4d 28 22 24	MIN..MAX).(SIZE(1..32)).(FROM("$
2680	22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22 5a 22 20 7c 20 22 5f 22 20 7c 20	".|."0".."9".|."A".."Z".|."_".|.
26a0	22 61 22 2e 2e 22 7a 22 29 29 0a 0a 45 4e 44 0a	"a".."z"))..END.