blob: 2ac128529fd8d0f56f6c5b63b9148130128d12bb (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 20 64 6f 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72 69	so.org(3).dod(6).internet(1).pri
0040	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 33	vate(4)..enterprise(1).spelio(93
0060	36 33 29 20 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 31 29	63).software(1).asn1c(5).test(1)
0080	20 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 0a 0a 49	.50.1.}.DEFINITIONS.::=.BEGIN..I
00a0	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 63 6f 6e	nt1.::=.INTEGER.--.Practical.con
00c0	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 2d 2d	straints.(Int1):.(MIN..MAX)...--
00e0	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 29 3a	.PER-visible.constraints.(Int1):
0100	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 28 30 2e	.(MIN..MAX)....Int2.::=.Int1.(0.
0120	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 3a 20 28	.MAX).--.Combined.constraints:.(
0140	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 6e 74 73	0..MAX).--.Practical.constraints
0160	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 73 69 62	.(Int1):.(0..MAX)...--.PER-visib
0180	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 58 29 20	le.constraints.(Int1):.(0..MAX).
01a0	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 20 43 6f	...Int3.::=.Int2.(MIN..10).--.Co
01c0	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 4d 49 4e	mbined.constraints:.(0..MAX)(MIN
01e0	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 73 20 28	..10).--.Practical.constraints.(
0200	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 6c 65 20	Int1):.(0..10)...--.PER-visible.
0220	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 0a 0a 49	constraints.(Int1):.(0..10)....I
0240	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 29 0a 2d	nt4.::=.Int3.(5..MAX,...,1..4).-
0260	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)
0280	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 20 50 72	(MIN..10)(5..MAX,...,1..4).--.Pr
02a0	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 31 2e 2e	actical.constraints.(Int1):.(1..
02c0	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 74 72 61	10,...)...--.PER-visible.constra
02e0	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 6e 74 35	ints.(Int1):.(1..10,...)....Int5
0300	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 64 20 63	.::=.Int4.(MIN..5).--.Combined.c
0320	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 28 35 2e	onstraints:.(0..MAX)(MIN..10)(5.
0340	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 6e 73 74	.MAX)(MIN..5).--.Practical.const
0360	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 69 73 69	raints.(Int1):.(5)...--.PER-visi
0380	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 0a 0a 74	ble.constraints.(Int1):.(5)....t
03a0	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 6f 6e 73	en.Int1.::=.10.--.Practical.cons
03c0	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 2d 2d 20	traints.(Int1):.(MIN..MAX)...--.
03e0	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 29 3a 20	PER-visible.constraints.(Int1):.
0400	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 3a 3a 3d	(MIN..MAX)....other-ten.Int2.::=
0420	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 28 49 6e	.10.--.Practical.constraints.(In
0440	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 62 6c 65	t1):.(MIN..MAX)...--.PER-visible
0460	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 58 29 20	.constraints.(Int1):.(MIN..MAX).
0480	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 4e 54 45	...ExtensibleExtensions.::=.INTE
04a0	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 0a 2d 2d	GER.((1..256,...).^.(1..256)).--
04c0	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 35 36 2c	.Combined.constraints:.((1..256,
04e0	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 20 63 6f	...).^.(1..256)).--.Practical.co
0500	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 6e 73 29	nstraints.(ExtensibleExtensions)
0520	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 6c 65 20	:.(1..256,...)...--.PER-visible.
0540	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 6e	constraints.(ExtensibleExtension
0560	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 49 41 35	s):.(1..256,...)....Str1.::=.IA5
0580	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 74 73 20	String.--.Practical.constraints.
05a0	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 41 58 29	(Str1):.(MIN..MAX).(SIZE(0..MAX)
05c0	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 69 62 6c	).(FROM("."..".")).--.PER-visibl
05e0	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 41 58 29	e.constraints.(Str1):.(MIN..MAX)
0600	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 22 29 29	.(SIZE(0..MAX)).(FROM(".".."."))
0620	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 20 7c 20	..Str2.::=.Str1.(SIZE(MIN..20.|.
0640	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 6e 74 73	25..30)).--.Combined.constraints
0660	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 20 50 72	:.(SIZE(MIN..20.|.25..30)).--.Pr
0680	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 4d 49 4e	actical.constraints.(Str1):.(MIN
06a0	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 20 28 46	..MAX).(SIZE(0..20.|.25..30)).(F
06c0	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 63 6f	ROM("."..".")).--.PER-visible.co
06e0	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 49	nstraints.(Str1):.(MIN..MAX).(SI
0700	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 2e 2e 22	ZE(0..20.|.25..30)).(FROM(".".."
0720	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 2e 32 37	."))..Str3.::=.Str2.(SIZE(10..27
0740	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 6d 62 69	))(FROM("ABC".|."def")).--.Combi
0760	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 30 20 7c	ned.constraints:.(SIZE(MIN..20.|
0780	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 22 41 42	.25..30))(SIZE(10..27))(FROM("AB
07a0	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 73 74 72	C".|."def")).--.Practical.constr
07c0	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 45 28 31	aints.(Str1):.(MIN..MAX).(SIZE(1
07e0	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 43 22 20	0..20.|.25..27)).(FROM("A".."C".
0800	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 6f 6e 73	|."d".."f")).--.PER-visible.cons
0820	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 45	traints.(Str1):.(MIN..MAX).(SIZE
0840	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 43	(10..20.|.25..27)).(FROM("A".."C
0860	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 74 72 69	".|."d".."f"))..Str4.::=.IA5Stri
0880	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 69 6e 65	ng.("ABCD".|.SIZE(4)).--.Combine
08a0	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 28 34 29	d.constraints:.("ABCD".|.SIZE(4)
08c0	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 74 72 34	).--.Practical.constraints.(Str4
08e0	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 52	):.(MIN..MAX).(SIZE(0..MAX)).(FR
0900	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 63 6f 6e	OM("."..".")).--.PER-visible.con
0920	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 53 49 5a	straints.(Str4):.(MIN..MAX).(SIZ
0940	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 50 45 52	E(0..MAX)).(FROM(".".."."))..PER
0960	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 22 41 22	-Visible.::=.IA5String.(FROM("A"
0980	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 74 73 3a	.."F")).--.Combined.constraints:
09a0	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 6c 20 63	.(FROM("A".."F")).--.Practical.c
09c0	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..
09e0	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 22	MAX).(SIZE(0..MAX)).(FROM("A".."
0a00	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 20	F")).--.PER-visible.constraints.
0a20	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(
0a40	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 52 2d 56	0..MAX)).(FROM("A".."F"))..PER-V
0a60	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 22	isible-2.::=.PER-Visible.(FROM("
0a80	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 69 6e 74	E".."F")).--.Combined.constraint
0aa0	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 2e 22 46	s:.(FROM("A".."F"))(FROM("E".."F
0ac0	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 28 50 45	")).--.Practical.constraints.(PE
0ae0	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..
0b00	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 2d 76 69	MAX)).(FROM("E".."F")).--.PER-vi
0b20	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 65 29 3a	sible.constraints.(PER-Visible):
0b40	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 52 4f 4d	.(MIN..MAX).(SIZE(0..MAX)).(FROM
0b60	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 31 20 3a	("E".."F"))..Not-PER-Visible-1.:
0b80	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 53 49 5a	:=.PER-Visible.(FROM("AB").|.SIZ
0ba0	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 6e 74 73	E(1..2)).--.Combined.constraints
0bc0	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 20 7c 20	:.(FROM("A".."F"))(FROM("AB").|.
0be0	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 74 72 61	SIZE(1..2)).--.Practical.constra
0c00	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 20 28	ints.(PER-Visible):.(MIN..MAX).(
0c20	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 29 0a 2d	SIZE(0..MAX)).(FROM("A".."F")).-
0c40	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 52 2d 56	-.PER-visible.constraints.(PER-V
0c60	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 4d 41 58	isible):.(MIN..MAX).(SIZE(0..MAX
0c80	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 56 69 73	)).(FROM("A".."F"))..Not-PER-Vis
0ca0	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 22 41 42	ible-2.::=.PER-Visible.(FROM("AB
0cc0	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 73 3a	",...)).--.Combined.constraints:
0ce0	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 2e 2e 29	.(FROM("A".."F"))(FROM("AB",...)
0d00	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 45 52 2d	).--.Practical.constraints.(PER-
0d20	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 4d 41	Visible):.(MIN..MAX).(SIZE(0..MA
0d40	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 45 52 2d	X)).(FROM("A".."B",...)).--.PER-
0d60	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 65	visible.constraints.(PER-Visible
0d80	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 52	):.(MIN..MAX).(SIZE(0..MAX)).(FR
0da0	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 65 2d 33	OM("A".."F"))..Not-PER-Visible-3
0dc0	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 2e 2e 2e	.::=.PER-Visible.(FROM("AB"),...
0de0	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 4d	).--.Combined.constraints:.(FROM
0e00	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 2d 20 50	("A".."F"))(FROM("AB"),...).--.P
0e20	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 69 62 6c	ractical.constraints.(PER-Visibl
0e40	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
0e60	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 69 62 6c	ROM("A".."B",...)).--.PER-visibl
0e80	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 28 4d 49	e.constraints.(PER-Visible):.(MI
0ea0	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"
0ec0	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 3d 20 50	.."F"))..SIZE-but-not-FROM.::=.P
0ee0	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 28 22 41	ER-Visible.(SIZE(1..4).^.FROM("A
0f00	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 61 69 6e	BCD",...)).--.Combined.constrain
0f20	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 34 29 20	ts:.(FROM("A".."F"))(SIZE(1..4).
0f40	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 63 61 6c	^.FROM("ABCD",...)).--.Practical
0f60	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 4e	.constraints.(PER-Visible):.(MIN
0f80	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 2e 2e 22	..MAX).(SIZE(1..4)).(FROM("A".."
0fa0	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 72 61 69	D",...)).--.PER-visible.constrai
0fc0	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 20 28 53	nts.(PER-Visible):.(MIN..MAX).(S
0fe0	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 53 49 5a	IZE(1..4)).(FROM("A".."F"))..SIZ
1000	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 49 5a 45	E-and-FROM.::=.PER-Visible.(SIZE
1020	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 62 69 6e	(1..4).^.FROM("ABCD")).--.Combin
1040	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 22 29 29	ed.constraints:.(FROM("A".."F"))
1060	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 2d 20 50	(SIZE(1..4).^.FROM("ABCD")).--.P
1080	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 69 62 6c	ractical.constraints.(PER-Visibl
10a0	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 46 52 4f	e):.(MIN..MAX).(SIZE(1..4)).(FRO
10c0	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 6f 6e 73	M("A".."D")).--.PER-visible.cons
10e0	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
1100	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 29 29 0a	).(SIZE(1..4)).(FROM("A".."D")).
1120	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 52 2d 56	.Neither-SIZE-nor-FROM.::=.PER-V
1140	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 43 44 22	isible.(SIZE(1..4).|.FROM("ABCD"
1160	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 73 3a 20	,...)).--.Combined.constraints:.
1180	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 20 46 52	(FROM("A".."F"))(SIZE(1..4).|.FR
11a0	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 63 6f 6e	OM("ABCD",...)).--.Practical.con
11c0	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 4d 41	straints.(PER-Visible):.(MIN..MA
11e0	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 22 46 22	X).(SIZE(0..MAX)).(FROM("A".."F"
1200	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 50	)).--.PER-visible.constraints.(P
1220	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.
1240	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 2d 34 20	.MAX)).(FROM("A".."F"))..Utf8-4.
1260	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 29 29 0a	::=.UTF8String.(FROM("A".."Z")).
1280	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 4d 28 22	--.Combined.constraints:.(FROM("
12a0	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 61 69 6e	A".."Z")).--.Practical.constrain
12c0	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 28 30 2e	ts.(Utf8-4):.(MIN..MAX).(SIZE(0.
12e0	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 52 2d 76	.MAX)).(FROM("A".."Z")).--.PER-v
1300	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 20 20 0a	isible.constraints.(Utf8-4):....
1320	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 2e 22 5a	.Utf8-3.::=.Utf8-2.(FROM("A".."Z
1340	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 6e 73 74	".|."a".."z")).--.Combined.const
1360	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 2e 2e 22	raints:.(SIZE(1..2))(FROM("A".."
1380	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 63 6f 6e	Z".|."a".."z")).--.Practical.con
13a0	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 20 28 53	straints.(Utf8-1):.(MIN..MAX).(S
13c0	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 61 22 2e	IZE(1..2)).(FROM("A".."Z".|."a".
13e0	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 69 6e 74	."z")).--.PER-visible.constraint
1400	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 66 38 2d	s.(Utf8-1):.....Utf8-2.::=.Utf8-
1420	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 6e 73 74	1.(SIZE(1..2)).--.Combined.const
1440	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 61	raints:.(SIZE(1..2)).--.Practica
1460	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 2e 4d 41	l.constraints.(Utf8-1):.(MIN..MA
1480	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 22 29 29	X).(SIZE(1..2)).(FROM(".".."."))
14a0	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 55 74 66	.--.PER-visible.constraints.(Utf
14c0	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 6e 67 0a	8-1):.....Utf8-1.::=.UTF8String.
14e0	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 38 2d 31	--.Practical.constraints.(Utf8-1
1500	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 52	):.(MIN..MAX).(SIZE(0..MAX)).(FR
1520	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 63 6f 6e	OM("."..".")).--.PER-visible.con
1540	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 65 49 64	straints.(Utf8-1):.....VisibleId
1560	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 6d 62 69	entifier.::=.Identifier.--.Combi
1580	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 22 61 22	ned.constraints:.(FROM("A".|."a"
15a0	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 22 20 7c	.|."B".|."b".|."C".|."c".|."D".|
15c0	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 7c 20 22	."d".|."E".|."e".|."F".|."f".|."
15e0	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 22 69 22	G".|."g".|."H".|."h".|."I".|."i"
1600	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 22 20 7c	.|."J".|."j".|."K".|."k".|."L".|
1620	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 7c 20 22	."l".|."M".|."m".|."N".|."n".|."
1640	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 22 71 22	O".|."o".|."P".|."p".|."Q".|."q"
1660	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 22 20 7c	.|."R".|."r".|."S".|."s".|."T".|
1680	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 7c 20 22	."t".|."U".|."u".|."V".|."v".|."
16a0	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 22 79 22	W".|."w".|."X".|."x".|."Y".|."y"
16c0	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 22 20 7c	.|."Z".|."z".|."$".|."_".|."0".|
16e0	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 7c 20 22	."1".|."2".|."3".|."4".|."5".|."
1700	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 2e 2e 33	6".|."7".|."8".|."9"))(SIZE(1..3
1720	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 28 49 64	2)).--.Practical.constraints.(Id
1740	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 2e 2e 33	entifier):.(MIN..MAX).(SIZE(1..3
1760	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 22 2e 2e	2)).(FROM("$".|."0".."9".|."A"..
1780	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 2d 76 69	"Z".|."_".|."a".."z")).--.PER-vi
17a0	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 29 3a 20	sible.constraints.(Identifier):.
17c0	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 4d 28 22	(MIN..MAX).(SIZE(1..32)).(FROM("
17e0	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 22 20 7c	$".|."0".."9".|."A".."Z".|."_".|
1800	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 55 45 4e	."a".."z"))..Sequence.::=.SEQUEN
1820	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 58 29 0a	CE.{.....int1-c..Int1.(-2..MAX).
1840	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 2e 4d 41	--.Combined.constraints:.(-2..MA
1860	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 49 6e 74	X).--.Practical.constraints.(Int
1880	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 65 20 63	1):.(-2..MAX)...--.PER-visible.c
18a0	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 20 0a 20	onstraints.(Int1):.(-2..MAX)....
18c0	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 49 43 49	DEFAULT.3,.....int4..[2].EXPLICI
18e0	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 73 3a 20	T.Int4.--.Combined.constraints:.
1900	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 31 2e 2e	(0..MAX)(MIN..10)(5..MAX,...,1..
1920	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 49 6e 74	4).--.Practical.constraints.(Int
1940	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 62 6c 65	1):.(1..10,...)...--.PER-visible
1960	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 2e 2e 29	.constraints.(Int1):.(1..10,...)
1980	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 29 0a 2d	...,.....int4-c..Int4.(MIN..7).-
19a0	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)
19c0	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 50 72 61	(MIN..10)(5..MAX)(MIN..7).--.Pra
19e0	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 2e 2e 37	ctical.constraints.(Int1):.(5..7
1a00	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.(
1a20	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 4f 4f 4c	Int1):.(5..7)...,.....bool..BOOL
1a40	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 28 62 6f	EAN.--.Practical.constraints.(bo
1a60	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 62 6c 65	ol):.(MIN..MAX)...--.PER-visible
1a80	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 58 29 20	.constraints.(bool):.(MIN..MAX).
1aa0	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 4d 45 52	...DEFAULT.1,.....enum-c..ENUMER
1ac0	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 74 69 63	ATED.{.........one(1).--.Practic
1ae0	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 45 52 2d	al.constraints.(one):....--.PER-
1b00	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 0a 2c 20	visible.constraints.(one):....,.
1b20	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 61 6c 20	............two(2).--.Practical.
1b40	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 76 69 73	constraints.(two):....--.PER-vis
1b60	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 20 20 20	ible.constraints.(two):....,....
1b80	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 65 65 28	............,.............three(
1ba0	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 74 68 72	3).--.Practical.constraints.(thr
1bc0	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 61 69 6e	ee):....--.PER-visible.constrain
1be0	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 74 69 63	ts.(three):.........}.--.Practic
1c00	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 2e 2e 4d	al.constraints.(enum-c):.(MIN..M
1c20	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 6e 74 73	AX)...--.PER-visible.constraints
1c40	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 20 6e 75	.(enum-c):.(MIN..MAX)...,.....nu
1c60	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 69 6e 74	ll..NULL.--.Practical.constraint
1c80	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 6f 6e 73	s.(null):....--.PER-visible.cons
1ca0	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 0a 20 20	traints.(null):.....OPTIONAL,...
1cc0	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 2d 20 43	.....,.....int5-c..Int5.(5).--.C
1ce0	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 4d 49	ombined.constraints:.(0..MAX)(MI
1d00	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 50 72 61	N..10)(5..MAX)(MIN..5)(5).--.Pra
1d20	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 29 20 20	ctical.constraints.(Int1):.(5)..
1d40	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
1d60	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 74 69 63	1):.(5)....OPTIONAL.}.--.Practic
1d80	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 0a 2d 2d	al.constraints.(Sequence):....--
1da0	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 75 65 6e	.PER-visible.constraints.(Sequen
1dc0	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 4e 43 45	ce):.....SequenceOf.::=.SEQUENCE
1de0	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 50 72 61	.(SIZE(1..2)).OF.Sequence.--.Pra
1e00	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 3a 20 20	ctical.constraints.(Sequence):..
1e20	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 53 65	..--.PER-visible.constraints.(Se
1e40	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 74 72 61	quence):.....--.Combined.constra
1e60	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 61 6c 20	ints:.(SIZE(1..2)).--.Practical.
1e80	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 49 5a 45	constraints.(SequenceOf):..(SIZE
1ea0	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 72 61 69	(1..2))..--.PER-visible.constrai
1ec0	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 29 29 20	nts.(SequenceOf):..(SIZE(1..2)).
1ee0	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 6f 6e 65	..Enum0.::=.ENUMERATED.{.....one
1f00	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 28 6f 6e	(0).--.Practical.constraints.(on
1f20	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 69 6e 74	e):....--.PER-visible.constraint
1f40	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 72 61 63	s.(one):....,.....two(1).--.Prac
1f60	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 2d 20 50	tical.constraints.(two):....--.P
1f80	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 20 20 20	ER-visible.constraints.(two):...
1fa0	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 28 45 6e	..}.--.Practical.constraints.(En
1fc0	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 69 62 6c	um0):.(MIN..MAX)...--.PER-visibl
1fe0	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 4d 41 58	e.constraints.(Enum0):.(MIN..MAX
2000	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 20 20 20	)....Enum1.::=.ENUMERATED.{.....
2020	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.
2040	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
2060	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
2080	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):....-
20a0	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):
20c0	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 61 69 6e	.....}.(0).--.Combined.constrain
20e0	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 6e 74 73	ts:.(0).--.Practical.constraints
2100	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 65 20 63	.(Enum1):.(0)...--.PER-visible.c
2120	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 44 0a 0a	onstraints.(Enum1):.(0)....END..
2140	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 20 64 6f	IdentifierModule.{.iso.org(3).do
2160	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 20 65 6e 74 65	d(6).internet(1).private(4).ente
2180	72 70 72 69 73 65 28 31 29 0a 09 73 70 65 6c 69 6f 28 39 33 36 33 29 20 73 6f 66 74 77 61 72 65	rprise(1)..spelio(9363).software
21a0	28 31 29 20 61 73 6e 31 63 28 35 29 20 74 65 73 74 28 31 29 20 35 30 20 32 20 7d 0a 44 45 46 49	(1).asn1c(5).test(1).50.2.}.DEFI
21c0	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 74 69 66 69 65 72	NITIONS.::=.BEGIN..maxIdentifier
21e0	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 61 6c 20 63 6f 6e	.INTEGER.::=.32.--.Practical.con
2200	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 28 4d 49 4e 2e 2e	straints.(maxIdentifier):.(MIN..
2220	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 6e 74	MAX)...--.PER-visible.constraint
2240	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 41 58 29 20 20 0a	s.(maxIdentifier):.(MIN..MAX)...
2260	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 69 6e 67 20 28 46	.Identifier.::=.VisibleString.(F
2280	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 7c 20 22 43 22 20	ROM("A".|."a".|."B".|."b".|."C".
22a0	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 22 65 22 20 7c 20	|."c".|."D".|."d".|."E".|."e".|.
22c0	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 22 20 7c 20 22 68	"F".|."f".|."G".|."g".|."H".|."h
22e0	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 7c 20 22 4b 22 20	".|."I".|."i".|."J".|."j".|."K".
2300	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 22 6d 22 20 7c 20	|."k".|."L".|."l".|."M".|."m".|.
2320	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 22 20 7c 20 22 70	"N".|."n".|."O".|."o".|."P".|."p
2340	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 7c 20 22 53 22 20	".|."Q".|."q".|."R".|."r".|."S".
2360	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 22 75 22 20 7c 20	|."s".|."T".|."t".|."U".|."u".|.
2380	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 22 20 7c 20 22 78	"V".|."v".|."W".|."w".|."X".|."x
23a0	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 7c 20 22 24 22 20	".|."Y".|."y".|."Z".|."z".|."$".
23c0	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 22 33 22 20 7c 20	|."_".|."0".|."1".|."2".|."3".|.
23e0	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 22 20 7c 20 22 39	"4".|."5".|."6".|."7".|."8".|."9
2400	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 65 64 20 63 6f 6e	"))(SIZE(1..32)).--.Combined.con
2420	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 7c 20 22 42 22 20	straints:.(FROM("A".|."a".|."B".
2440	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 22 64 22 20 7c 20	|."b".|."C".|."c".|."D".|."d".|.
2460	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 22 20 7c 20 22 67	"E".|."e".|."F".|."f".|."G".|."g
2480	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 7c 20 22 4a 22 20	".|."H".|."h".|."I".|."i".|."J".
24a0	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 22 6c 22 20 7c 20	|."j".|."K".|."k".|."L".|."l".|.
24c0	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 22 20 7c 20 22 6f	"M".|."m".|."N".|."n".|."O".|."o
24e0	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 7c 20 22 52 22 20	".|."P".|."p".|."Q".|."q".|."R".
2500	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 22 74 22 20 7c 20	|."r".|."S".|."s".|."T".|."t".|.
2520	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 22 20 7c 20 22 77	"U".|."u".|."V".|."v".|."W".|."w
2540	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 7c 20 22 5a 22 20	".|."X".|."x".|."Y".|."y".|."Z".
2560	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 22 31 22 20 7c 20	|."z".|."$".|."_".|."0".|."1".|.
2580	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 22 20 7c 20 22 37	"2".|."3".|."4".|."5".|."6".|."7
25a0	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 29 29 0a 2d 2d 20	".|."8".|."9"))(SIZE(1..32)).--.
25c0	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 6e 74 69 66 69 65	Practical.constraints.(Identifie
25e0	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 29 29 20 28 46 52	r):.(MIN..MAX).(SIZE(1..32)).(FR
2600	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 5a 22 20 7c 20 22	OM("$".|."0".."9".|."A".."Z".|."
2620	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 69 62 6c 65 20 63	_".|."a".."z")).--.PER-visible.c
2640	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 4d 49 4e 2e 2e 4d	onstraints.(Identifier):.(MIN..M
2660	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 22 20 7c 20 22 30	AX).(SIZE(1..32)).(FROM("$".|."0
2680	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 22 61 22 2e 2e 22	".."9".|."A".."Z".|."_".|."a".."
26a0	7a 22 29 29 0a 0a 45 4e 44 0a	z"))..END.