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 69 73 | ModuleNestedConstraintsCheck.{is |
0020 | 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 76 | o.org(3).dod(6).internet(1).priv |
0040 | 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 36 | ate(4)..enterprise(1).spelio(936 |
0060 | 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 0a | 3).software(1).asn1c(5).test(1). |
0080 | 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 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 45 4e 44 0a 0a 49 64 65 6e 74 69 66 69 65 72 4d 6f 64 75 | ."a".."z"))..END..IdentifierModu |
1820 | 6c 65 20 7b 69 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 | le.{iso.org(3).dod(6).internet(1 |
1840 | 29 20 70 72 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 | ).private(4)..enterprise(1).spel |
1860 | 69 6f 28 39 33 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 | io(9363).software(1).asn1c(5).te |
1880 | 73 74 28 31 29 0a 09 35 30 20 32 20 7d 0a 44 45 46 49 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 | st(1)..50.2.}.DEFINITIONS.::=.BE |
18a0 | 47 49 4e 0a 0a 6d 61 78 49 64 65 6e 74 69 66 69 65 72 20 49 4e 54 45 47 45 52 20 3a 3a 3d 20 33 | GIN..maxIdentifier.INTEGER.::=.3 |
18c0 | 32 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 6d 61 78 49 | 2.--.Practical.constraints.(maxI |
18e0 | 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 2d 2d 20 50 45 52 2d | dentifier):.(MIN..MAX)...--.PER- |
1900 | 76 69 73 69 62 6c 65 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 | visible.constraints.(maxIdentifi |
1920 | 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 49 64 65 6e 74 69 66 69 65 72 20 3a 3a | er):.(MIN..MAX)....Identifier.:: |
1940 | 3d 20 56 69 73 69 62 6c 65 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 20 | =.VisibleString.(FROM("A".|."a". |
1960 | 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".|. |
1980 | 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 |
19a0 | 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". |
19c0 | 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".|. |
19e0 | 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 |
1a00 | 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". |
1a20 | 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".|. |
1a40 | 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 |
1a60 | 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". |
1a80 | 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".|. |
1aa0 | 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 |
1ac0 | 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 |
1ae0 | 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 |
1b00 | 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 7c 20 | M("A".|."a".|."B".|."b".|."C".|. |
1b20 | 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 22 46 | "c".|."D".|."d".|."E".|."e".|."F |
1b40 | 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 22 20 | ".|."f".|."G".|."g".|."H".|."h". |
1b60 | 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 7c 20 | |."I".|."i".|."J".|."j".|."K".|. |
1b80 | 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 22 4e | "k".|."L".|."l".|."M".|."m".|."N |
1ba0 | 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 22 20 | ".|."n".|."O".|."o".|."P".|."p". |
1bc0 | 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 7c 20 | |."Q".|."q".|."R".|."r".|."S".|. |
1be0 | 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 22 56 | "s".|."T".|."t".|."U".|."u".|."V |
1c00 | 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 22 20 | ".|."v".|."W".|."w".|."X".|."x". |
1c20 | 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 7c 20 | |."Y".|."y".|."Z".|."z".|."$".|. |
1c40 | 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 22 34 | "_".|."0".|."1".|."2".|."3".|."4 |
1c60 | 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 22 29 | ".|."5".|."6".|."7".|."8".|."9") |
1c80 | 29 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 | )(SIZE(1..32)).--.Practical.cons |
1ca0 | 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 41 58 29 | traints.(Identifier):.(MIN..MAX) |
1cc0 | 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 22 2e 2e | .(SIZE(1..32)).(FROM("$".|."0".. |
1ce0 | 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 7a 22 29 | "9".|."A".."Z".|."_".|."a".."z") |
1d00 | 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 49 64 | ).--.PER-visible.constraints.(Id |
1d20 | 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 |
1d40 | 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".. |
1d60 | 22 5a 22 20 7c 20 22 5f 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 0a 45 4e 44 0a | "Z".|."_".|."a".."z"))..END. |