ofs | hex dump | ascii |
---|
0000 | 89 65 6d 66 0a 0d 1a 0a 00 03 01 01 22 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e | .emf........"http://www.eclipse. |
0020 | 6f 72 67 2f 32 30 30 38 2f 58 74 65 78 74 01 22 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 | org/2008/Xtext."http://www.eclip |
0040 | 73 65 2e 6f 72 67 2f 32 30 30 38 2f 58 74 65 78 74 02 2f 01 08 47 72 61 6d 6d 61 72 02 05 6e 61 | se.org/2008/Xtext./..Grammar..na |
0060 | 6d 65 2b 63 61 2e 6d 63 67 69 6c 6c 2e 65 63 73 65 2e 64 73 6c 72 65 61 73 6f 6e 65 72 2e 56 61 | me+ca.mcgill.ecse.dslreasoner.Va |
0080 | 6d 70 69 72 65 4c 61 6e 67 75 61 67 65 03 0d 75 73 65 64 47 72 61 6d 6d 61 72 73 02 02 01 01 02 | mpireLanguage..usedGrammars..... |
00a0 | 23 6f 72 67 2e 65 63 6c 69 70 73 65 2e 78 74 65 78 74 2e 63 6f 6d 6d 6f 6e 2e 54 65 72 6d 69 6e | #org.eclipse.xtext.common.Termin |
00c0 | 61 6c 73 04 14 64 65 66 69 6e 65 73 48 69 64 64 65 6e 54 6f 6b 65 6e 73 01 05 0d 68 69 64 64 65 | als..definesHiddenTokens...hidde |
00e0 | 6e 54 6f 6b 65 6e 73 04 03 01 02 0d 54 65 72 6d 69 6e 61 6c 52 75 6c 65 02 05 6e 61 6d 65 03 57 | nTokens.....TerminalRule..name.W |
0100 | 53 03 05 74 79 70 65 04 01 03 08 54 79 70 65 52 65 66 02 0a 6d 65 74 61 6d 6f 64 65 6c 05 01 04 | S..type....TypeRef..metamodel... |
0120 | 14 52 65 66 65 72 65 6e 63 65 64 4d 65 74 61 6d 6f 64 65 6c 02 09 65 50 61 63 6b 61 67 65 06 02 | .ReferencedMetamodel..ePackage.. |
0140 | 26 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72 67 2f 65 6d 66 2f 32 30 30 32 | &http://www.eclipse.org/emf/2002 |
0160 | 2f 45 63 6f 72 65 02 26 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72 67 2f 65 | /Ecore.&http://www.eclipse.org/e |
0180 | 6d 66 2f 32 30 30 32 2f 45 63 6f 72 65 02 2f 01 09 45 50 61 63 6b 61 67 65 00 02 02 2f 03 06 61 | mf/2002/Ecore./..EPackage.../..a |
01a0 | 6c 69 61 73 06 65 63 6f 72 65 01 03 0b 63 6c 61 73 73 69 66 69 65 72 07 02 02 0a 45 44 61 74 61 | lias.ecore...classifier....EData |
01c0 | 54 79 70 65 00 02 0a 2f 2f 45 53 74 72 69 6e 67 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 08 | Type...//EString...alternatives. |
01e0 | 01 05 0d 41 6c 74 65 72 6e 61 74 69 76 65 73 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2b 05 09 | ...Alternatives..cardinality.+.. |
0200 | 65 6c 65 6d 65 6e 74 73 05 09 01 06 08 4b 65 79 77 6f 72 64 05 06 76 61 6c 75 65 02 20 01 0a 01 | elements.....Keyword..value..... |
0220 | 06 05 02 09 01 0b 01 06 05 02 0d 01 0c 01 06 05 02 0a 01 01 01 0d 01 02 02 0b 4d 4c 5f 43 4f 4d | ..........................ML_COM |
0240 | 4d 45 4e 54 03 0e 01 03 02 05 03 07 01 04 0f 01 07 06 47 72 6f 75 70 05 09 65 6c 65 6d 65 6e 74 | MENT..............Group..element |
0260 | 73 03 10 01 06 05 03 2f 2a 01 11 01 08 0b 55 6e 74 69 6c 54 6f 6b 65 6e 05 09 74 65 72 6d 69 6e | s....../*.....UntilToken..termin |
0280 | 61 6c 12 01 06 05 03 2a 2f 01 01 01 01 13 01 02 02 0b 53 4c 5f 43 4f 4d 4d 45 4e 54 03 14 01 03 | al.....*/.........SL_COMMENT.... |
02a0 | 02 05 03 07 01 04 15 01 07 05 04 16 01 06 05 03 2f 2f 01 17 01 09 0d 4e 65 67 61 74 65 64 54 6f | ................//.....NegatedTo |
02c0 | 6b 65 6e 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2a 05 09 74 65 72 6d 69 6e 61 6c 18 01 05 05 | ken..cardinality.*..terminal.... |
02e0 | 03 19 01 06 05 02 0a 01 1a 01 06 05 02 0d 01 01 01 1b 01 07 02 0c 63 61 72 64 69 6e 61 6c 69 74 | ......................cardinalit |
0300 | 79 02 3f 05 03 1c 01 06 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 3f 05 02 0d 01 1d 01 06 05 02 | y.?.......cardinality.?......... |
0320 | 0a 01 01 01 01 06 16 6d 65 74 61 6d 6f 64 65 6c 44 65 63 6c 61 72 61 74 69 6f 6e 73 02 05 07 06 | .......metamodelDeclarations.... |
0340 | 72 75 6c 65 73 08 1e 01 02 02 03 49 44 03 1f 01 03 02 05 03 07 01 04 20 01 07 05 04 21 01 06 02 | rules......ID...............!... |
0360 | 02 3f 05 02 5e 01 22 01 05 05 04 23 01 0a 0f 43 68 61 72 61 63 74 65 72 52 61 6e 67 65 05 05 6c | .?..^."....#...CharacterRange..l |
0380 | 65 66 74 24 01 06 05 02 61 01 06 06 72 69 67 68 74 25 01 06 05 02 7a 01 01 26 01 0a 05 27 01 06 | eft$....a...right%....z..&...'.. |
03a0 | 05 02 41 01 06 28 01 06 05 02 5a 01 01 29 01 06 05 02 5f 01 01 2a 01 05 02 02 2a 05 05 2b 01 0a | ..A..(....Z..)...._..*....*..+.. |
03c0 | 05 2c 01 06 05 02 61 01 06 2d 01 06 05 02 7a 01 01 2e 01 0a 05 2f 01 06 05 02 41 01 06 30 01 06 | .,....a..-....z....../....A..0.. |
03e0 | 05 02 5a 01 01 31 01 06 05 02 5f 01 32 01 0a 05 33 01 06 05 02 30 01 06 34 01 06 05 02 39 01 01 | ..Z..1...._.2...3....0..4....9.. |
0400 | 01 01 01 35 01 02 02 04 49 4e 54 03 36 01 03 02 05 03 37 02 02 00 02 07 2f 2f 45 49 6e 74 01 04 | ...5....INT.6.....7.....//EInt.. |
0420 | 38 01 0a 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2b 05 39 01 06 05 02 30 01 06 3a 01 06 05 02 | 8....cardinality.+.9....0..:.... |
0440 | 39 01 01 01 3b 01 02 02 07 53 54 52 49 4e 47 03 3c 01 03 02 05 03 07 01 04 3d 01 05 05 03 3e 01 | 9...;....STRING.<........=....>. |
0460 | 07 05 04 3f 01 06 05 02 22 01 40 40 01 05 02 02 2a 05 03 40 41 01 07 05 03 40 42 01 06 05 02 5c | ...?....".@@....*..@A....@B....\ |
0480 | 01 40 43 01 0b 09 57 69 6c 64 63 61 72 64 01 01 40 44 01 09 05 40 45 01 05 05 03 40 46 01 06 05 | .@C...Wildcard..@D...@E....@F... |
04a0 | 02 5c 01 40 47 01 06 05 02 22 01 01 01 01 40 48 01 06 05 02 22 01 01 40 49 01 07 05 04 40 4a 01 | .\.@G...."....@H...."..@I....@J. |
04c0 | 06 05 02 27 01 40 4b 01 05 02 02 2a 05 03 40 4c 01 07 05 03 40 4d 01 06 05 02 5c 01 40 4e 01 0b | ...'.@K....*..@L....@M....\.@N.. |
04e0 | 01 01 40 4f 01 09 05 40 50 01 05 05 03 40 51 01 06 05 02 5c 01 40 52 01 06 05 02 27 01 01 01 01 | ..@O...@P....@Q....\.@R....'.... |
0500 | 40 53 01 06 05 02 27 01 01 01 01 0d 13 03 40 54 01 02 02 0a 41 4e 59 5f 4f 54 48 45 52 03 40 55 | @S....'.......@T....ANY_OTHER.@U |
0520 | 01 03 02 05 03 07 01 04 40 56 01 0b 01 01 01 04 01 05 02 03 06 02 40 57 01 0c 13 47 65 6e 65 72 | ........@V............@W...Gener |
0540 | 61 74 65 64 4d 65 74 61 6d 6f 64 65 6c 02 09 65 50 61 63 6b 61 67 65 40 58 02 01 00 03 36 68 74 | atedMetamodel..ePackage@X....6ht |
0560 | 74 70 3a 2f 2f 77 77 77 2e 6d 63 67 69 6c 6c 2e 63 61 2f 65 63 73 65 2f 64 73 6c 72 65 61 73 6f | tp://www.mcgill.ca/ecse/dslreaso |
0580 | 6e 65 72 2f 56 61 6d 70 69 72 65 4c 61 6e 67 75 61 67 65 02 2f 04 05 6e 61 6d 65 10 76 61 6d 70 | ner/VampireLanguage./..name.vamp |
05a0 | 69 72 65 4c 61 6e 67 75 61 67 65 01 07 2d 40 59 01 0d 0b 50 61 72 73 65 72 52 75 6c 65 02 05 6e | ireLanguage..-@Y...ParserRule..n |
05c0 | 61 6d 65 0d 56 61 6d 70 69 72 65 4d 6f 64 65 6c 03 05 74 79 70 65 40 5a 01 03 02 40 57 03 40 5b | ame.VampireModel..type@Z...@W.@[ |
05e0 | 02 03 07 45 43 6c 61 73 73 00 03 0f 2f 2f 56 61 6d 70 69 72 65 4d 6f 64 65 6c 01 04 0d 61 6c 74 | ...EClass...//VampireModel...alt |
0600 | 65 72 6e 61 74 69 76 65 73 40 5c 01 05 02 02 2a 05 05 40 5d 01 0e 0b 41 73 73 69 67 6e 6d 65 6e | ernatives@\....*..@]...Assignmen |
0620 | 74 05 08 66 65 61 74 75 72 65 09 63 6f 6d 6d 65 6e 74 73 06 09 6f 70 65 72 61 74 6f 72 03 2b 3d | t..feature.comments..operator.+= |
0640 | 07 09 74 65 72 6d 69 6e 61 6c 40 5e 01 0f 09 52 75 6c 65 43 61 6c 6c 05 05 72 75 6c 65 40 5f 01 | ..terminal@^...RuleCall..rule@_. |
0660 | 0d 02 0b 56 4c 53 43 6f 6d 6d 65 6e 74 03 40 60 01 03 02 40 57 03 40 61 02 03 00 03 0d 2f 2f 56 | ...VLSComment.@`...@W.@a.....//V |
0680 | 4c 53 43 6f 6d 6d 65 6e 74 01 04 40 62 01 0e 05 08 63 6f 6d 6d 65 6e 74 06 02 3d 07 40 63 01 0f | LSComment..@b....comment..=.@c.. |
06a0 | 05 40 64 01 02 02 0f 53 49 4e 47 4c 45 5f 43 4f 4d 4d 45 4e 54 03 40 65 01 03 02 05 03 07 01 04 | .@d....SINGLE_COMMENT.@e........ |
06c0 | 40 66 01 07 05 04 40 67 01 06 05 02 25 01 40 68 01 09 02 02 2a 05 40 69 01 05 05 03 40 6a 01 06 | @f....@g....%.@h....*.@i....@j.. |
06e0 | 05 02 0a 01 40 6b 01 06 05 02 0d 01 01 01 40 6c 01 07 02 02 3f 05 03 40 6d 01 06 02 02 3f 05 02 | ....@k........@l....?..@m....?.. |
0700 | 0d 01 40 6e 01 06 05 02 0a 01 01 01 01 01 01 01 01 01 40 6f 01 0e 05 0e 63 6f 6e 66 69 72 6d 61 | ..@n..............@o....confirma |
0720 | 74 69 6f 6e 73 06 03 2b 3d 07 40 70 01 0f 05 40 71 01 0d 02 11 56 4c 53 43 6f 6e 66 69 72 6d 61 | tions..+=.@p...@q....VLSConfirma |
0740 | 74 69 6f 6e 73 03 40 72 01 03 02 40 57 03 40 73 02 03 00 03 13 2f 2f 56 4c 53 43 6f 6e 66 69 72 | tions.@r...@W.@s.....//VLSConfir |
0760 | 6d 61 74 69 6f 6e 73 01 04 40 74 01 05 05 05 40 75 01 07 05 03 40 76 01 10 07 41 63 74 69 6f 6e | mations..@t....@u....@v...Action |
0780 | 05 05 74 79 70 65 40 77 01 03 02 40 57 03 40 78 02 03 00 03 11 2f 2f 56 4c 53 53 61 74 69 73 66 | ..type@w...@W.@x.....//VLSSatisf |
07a0 | 69 61 62 6c 65 01 01 40 79 01 06 05 0d 53 61 74 69 73 66 69 61 62 6c 65 21 01 01 40 7a 01 07 05 | iable..@y....Satisfiable!..@z... |
07c0 | 0a 40 7b 01 10 05 40 7c 01 03 02 40 57 03 40 7d 02 03 00 03 0d 2f 2f 56 4c 53 57 61 72 6e 69 6e | .@{...@|...@W.@}.....//VLSWarnin |
07e0 | 67 01 01 40 7e 01 06 05 09 57 41 52 4e 49 4e 47 21 01 40 7f 01 06 05 06 43 6f 75 6c 64 01 40 80 | g..@~....WARNING!.@.....Could.@. |
0800 | 01 06 05 04 6e 6f 74 01 40 81 01 06 05 04 73 65 74 01 40 82 01 06 05 09 72 65 73 6f 75 72 63 65 | ....not.@.....set.@.....resource |
0820 | 01 40 83 01 06 05 07 6c 69 6d 69 74 3a 01 40 84 01 06 05 08 56 69 72 74 75 61 6c 01 40 85 01 06 | .@.....limit:.@.....Virtual.@... |
0840 | 05 08 6d 65 6d 6f 72 79 2e 01 01 40 86 01 07 05 06 40 87 01 10 05 40 88 01 03 02 40 57 03 40 89 | ..memory...@.....@....@....@W.@. |
0860 | 02 03 00 03 0c 2f 2f 56 4c 53 54 72 79 69 6e 67 01 01 40 8a 01 06 05 07 54 52 59 49 4e 47 01 40 | .....//VLSTrying..@.....TRYING.@ |
0880 | 8b 01 06 05 02 5b 01 40 8c 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 8d 01 0f 05 40 8e 01 02 02 08 | .....[.@.....name..=.@....@..... |
08a0 | 4c 49 54 45 52 41 4c 03 40 8f 01 03 02 05 03 07 01 04 40 90 01 05 05 03 40 91 01 06 05 02 30 01 | LITERAL.@.........@.....@.....0. |
08c0 | 40 92 01 07 05 03 40 93 01 0a 05 40 94 01 06 05 02 31 01 06 40 95 01 06 05 02 39 01 01 40 96 01 | @.....@....@.....1..@.....9..@.. |
08e0 | 0f 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 3f 05 35 01 01 01 01 01 01 40 97 01 06 05 02 5d 01 | ...cardinality.?.5......@.....]. |
0900 | 01 40 98 01 07 05 05 40 99 01 10 05 40 9a 01 03 02 40 57 03 40 9b 02 03 00 03 11 2f 2f 56 4c 53 | .@.....@....@....@W.@......//VLS |
0920 | 46 69 6e 69 74 65 4d 6f 64 65 6c 01 01 40 9c 01 06 05 07 46 69 6e 69 74 65 01 40 9d 01 06 05 06 | FiniteModel..@.....Finite.@..... |
0940 | 4d 6f 64 65 6c 01 40 9e 01 06 05 07 46 6f 75 6e 64 21 01 01 01 01 01 01 40 9f 01 0e 05 09 66 6f | Model.@.....Found!......@.....fo |
0960 | 72 6d 75 6c 61 73 06 03 2b 3d 07 40 a0 01 0f 05 40 a1 01 0d 02 0e 56 4c 53 46 6f 66 46 6f 72 6d | rmulas..+=.@....@.....VLSFofForm |
0980 | 75 6c 61 03 40 a2 01 03 02 40 57 03 40 a3 02 03 00 03 10 2f 2f 56 4c 53 46 6f 66 46 6f 72 6d 75 | ula.@....@W.@......//VLSFofFormu |
09a0 | 6c 61 01 04 40 a4 01 07 05 0b 40 a5 01 06 05 04 66 6f 66 01 40 a6 01 06 05 02 28 01 40 a7 01 0e | la..@.....@.....fof.@.....(.@... |
09c0 | 05 05 6e 61 6d 65 06 02 3d 07 40 a8 01 05 05 04 40 a9 01 0f 05 40 aa 01 02 02 0e 4c 4f 57 45 52 | ..name..=.@.....@....@.....LOWER |
09e0 | 5f 57 4f 52 44 5f 49 44 03 40 ab 01 03 02 05 03 07 01 04 40 ac 01 07 05 03 40 ad 01 0a 05 40 ae | _WORD_ID.@.........@.....@....@. |
0a00 | 01 06 05 02 61 01 06 40 af 01 06 05 02 7a 01 01 40 b0 01 0f 02 02 2a 05 40 b1 01 02 02 0e 41 4c | ....a..@.....z..@.....*.@.....AL |
0a20 | 50 48 41 5f 4e 55 4d 45 52 49 43 03 40 b2 01 03 02 05 03 07 01 04 40 b3 01 05 05 05 40 b4 01 0a | PHA_NUMERIC.@.........@.....@... |
0a40 | 05 40 b5 01 06 05 02 61 01 06 40 b6 01 06 05 02 7a 01 01 40 b7 01 0a 05 40 b8 01 06 05 02 41 01 | .@.....a..@.....z..@....@.....A. |
0a60 | 06 40 b9 01 06 05 02 5a 01 01 40 ba 01 0a 05 40 bb 01 06 05 02 30 01 06 40 bc 01 06 05 02 39 01 | .@.....Z..@....@.....0..@.....9. |
0a80 | 01 40 bd 01 06 05 02 5f 01 01 01 01 01 01 01 40 be 01 0f 05 40 bf 01 02 02 0f 53 49 47 4e 45 44 | .@....._.......@....@.....SIGNED |
0aa0 | 5f 4c 49 54 45 52 41 4c 03 40 c0 01 03 02 05 03 07 01 04 40 c1 01 07 05 03 40 c2 01 0f 02 02 2a | _LITERAL.@.........@.....@.....* |
0ac0 | 05 40 c3 01 02 02 05 53 49 47 4e 03 40 c4 01 03 02 05 03 07 01 04 40 c5 01 05 05 03 40 c6 01 06 | .@.....SIGN.@.........@.....@... |
0ae0 | 05 02 2b 01 40 c7 01 06 05 02 2d 01 01 01 01 40 c8 01 0f 05 40 8e 01 01 01 01 40 c9 01 0f 05 40 | ..+.@.....-....@....@.....@....@ |
0b00 | ca 01 02 02 0d 53 49 4e 47 4c 45 5f 51 55 4f 54 45 03 40 cb 01 03 02 05 03 07 01 04 40 cc 01 07 | .....SINGLE_QUOTE.@.........@... |
0b20 | 05 04 40 cd 01 06 05 02 27 01 40 ce 01 05 02 02 2b 05 03 40 cf 01 07 05 03 40 d0 01 06 05 02 5c | ..@.....'.@.....+..@.....@.....\ |
0b40 | 01 40 d1 01 05 05 03 40 d2 01 06 05 02 27 01 40 d3 01 06 05 02 5c 01 01 01 40 d4 01 09 05 40 d5 | .@.....@.....'.@.....\...@....@. |
0b60 | 01 05 05 03 40 d6 01 06 05 02 5c 01 40 d7 01 06 05 02 27 01 01 01 01 40 d8 01 06 05 02 27 01 01 | ....@.....\.@.....'....@.....'.. |
0b80 | 01 01 01 01 40 d9 01 06 05 02 2c 01 40 da 01 0e 05 08 66 6f 66 52 6f 6c 65 06 02 3d 07 40 db 01 | ....@.....,.@.....fofRole..=.@.. |
0ba0 | 0f 05 40 dc 01 0d 02 08 56 4c 53 52 6f 6c 65 03 40 dd 01 03 02 05 03 07 01 04 40 de 01 05 05 10 | ..@.....VLSRole.@.........@..... |
0bc0 | 40 df 01 06 05 06 61 78 69 6f 6d 01 40 e0 01 06 05 0b 63 6f 6e 6a 65 63 74 75 72 65 01 40 e1 01 | @.....axiom.@.....conjecture.@.. |
0be0 | 06 05 0b 68 79 70 6f 74 68 65 73 69 73 01 40 e2 01 06 05 0b 64 65 66 69 6e 69 74 69 6f 6e 01 40 | ...hypothesis.@.....definition.@ |
0c00 | e3 01 06 05 0b 61 73 73 75 6d 70 74 69 6f 6e 01 40 e4 01 06 05 06 6c 65 6d 6d 61 01 40 e5 01 06 | .....assumption.@.....lemma.@... |
0c20 | 05 08 74 68 65 6f 72 65 6d 01 40 e6 01 06 05 0a 63 6f 72 6f 6c 6c 61 72 79 01 40 e7 01 06 05 13 | ..theorem.@.....corollary.@..... |
0c40 | 6e 65 67 61 74 65 64 5f 63 6f 6e 6a 65 63 74 75 72 65 01 40 e8 01 06 05 06 70 6c 61 69 6e 01 40 | negated_conjecture.@.....plain.@ |
0c60 | e9 01 06 05 05 74 79 70 65 01 40 ea 01 06 05 0a 66 69 5f 64 6f 6d 61 69 6e 01 40 eb 01 06 05 0c | .....type.@.....fi_domain.@..... |
0c80 | 66 69 5f 66 75 6e 63 74 6f 72 73 01 40 ec 01 06 05 0e 66 69 5f 70 72 65 64 69 63 61 74 65 73 01 | fi_functors.@.....fi_predicates. |
0ca0 | 40 ed 01 06 05 08 75 6e 6b 6e 6f 77 6e 01 01 01 01 01 40 ee 01 06 05 02 2c 01 40 ef 01 0e 05 0b | @.....unknown.....@.....,.@..... |
0cc0 | 66 6f 66 46 6f 72 6d 75 6c 61 06 02 3d 07 40 f0 01 0f 05 40 f1 01 0d 02 08 56 4c 53 54 65 72 6d | fofFormula..=.@....@.....VLSTerm |
0ce0 | 03 40 f2 01 03 02 40 57 03 40 f3 02 03 00 03 0a 2f 2f 56 4c 53 54 65 72 6d 01 04 40 f4 01 0f 05 | .@....@W.@......//VLSTerm..@.... |
0d00 | 40 f5 01 0d 02 0a 56 4c 53 42 69 6e 61 72 79 03 40 f6 01 03 02 40 57 03 40 f3 01 04 40 f7 01 07 | @.....VLSBinary.@....@W.@...@... |
0d20 | 05 03 40 f8 01 0f 05 40 f9 01 0d 02 12 56 4c 53 55 6e 69 74 61 72 79 46 6f 72 6d 75 6c 61 03 40 | ..@....@.....VLSUnitaryFormula.@ |
0d40 | fa 01 03 02 40 57 03 40 f3 01 04 40 fb 01 05 05 06 40 fc 01 0f 05 40 fd 01 0d 02 17 56 4c 53 55 | ....@W.@...@.....@....@.....VLSU |
0d60 | 6e 69 76 65 72 73 61 6c 51 75 61 6e 74 69 66 69 65 72 03 40 fe 01 03 02 40 57 03 40 f3 01 04 40 | niversalQuantifier.@....@W.@...@ |
0d80 | ff 01 07 05 04 41 00 01 10 05 41 01 01 03 02 40 57 03 41 02 02 03 00 03 19 2f 2f 56 4c 53 55 6e | .....A....A....@W.A......//VLSUn |
0da0 | 69 76 65 72 73 61 6c 51 75 61 6e 74 69 66 69 65 72 01 01 41 03 01 07 05 07 41 04 01 06 05 02 21 | iversalQuantifier..A.....A.....! |
0dc0 | 01 41 05 01 06 05 02 5b 01 41 06 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 07 01 | .A.....[.A.....variables..+=.A.. |
0de0 | 05 05 03 41 08 01 0f 05 41 09 01 0d 02 0c 56 4c 53 56 61 72 69 61 62 6c 65 03 41 0a 01 03 02 40 | ...A....A.....VLSVariable.A....@ |
0e00 | 57 03 41 0b 02 03 00 03 0e 2f 2f 56 4c 53 56 61 72 69 61 62 6c 65 01 04 41 0c 01 0e 05 05 6e 61 | W.A......//VLSVariable..A.....na |
0e20 | 6d 65 06 02 3d 07 41 0d 01 0f 05 41 0e 01 02 02 0e 55 50 50 45 52 5f 57 4f 52 44 5f 49 44 03 41 | me..=.A....A.....UPPER_WORD_ID.A |
0e40 | 0f 01 03 02 05 03 07 01 04 41 10 01 07 05 03 41 11 01 0a 05 41 12 01 06 05 02 41 01 06 41 13 01 | .........A.....A....A.....A..A.. |
0e60 | 06 05 02 5a 01 01 41 14 01 0f 02 02 2a 05 40 b1 01 01 01 01 01 01 01 41 15 01 0f 05 41 16 01 0d | ...Z..A.....*.@........A....A... |
0e80 | 02 17 56 4c 53 56 61 72 69 61 62 6c 65 44 65 63 6c 61 72 61 74 69 6f 6e 03 41 17 01 03 02 40 57 | ..VLSVariableDeclaration.A....@W |
0ea0 | 03 41 18 02 03 00 03 19 2f 2f 56 4c 53 56 61 72 69 61 62 6c 65 44 65 63 6c 61 72 61 74 69 6f 6e | .A......//VLSVariableDeclaration |
0ec0 | 01 04 41 19 01 07 05 04 41 1a 01 0e 05 05 6e 61 6d 65 06 02 3d 07 41 1b 01 0f 05 41 09 01 01 41 | ..A.....A.....name..=.A....A...A |
0ee0 | 1c 01 06 05 02 3a 01 41 1d 01 0e 05 05 74 79 70 65 06 02 3d 07 41 1e 01 0f 05 41 1f 01 0d 02 0b | .....:.A.....type..=.A....A..... |
0f00 | 56 4c 53 54 79 70 65 44 65 66 03 41 20 01 03 02 40 57 03 41 21 02 03 00 03 0d 2f 2f 56 4c 53 54 | VLSTypeDef.A....@W.A!.....//VLST |
0f20 | 79 70 65 44 65 66 01 04 41 22 01 07 05 03 41 23 01 0e 05 08 74 79 70 65 53 69 67 06 02 3d 07 41 | ypeDef..A"....A#....typeSig..=.A |
0f40 | 24 01 0f 05 41 25 01 0d 02 0f 56 4c 53 55 6e 69 74 61 72 79 54 65 72 6d 03 41 26 01 03 02 40 57 | $...A%....VLSUnitaryTerm.A&...@W |
0f60 | 03 41 21 01 04 41 27 01 07 05 03 41 28 01 0e 05 09 69 6e 69 74 54 79 70 65 06 02 3d 07 41 29 01 | .A!..A'....A(....initType..=.A). |
0f80 | 0f 05 41 2a 01 0d 02 0a 56 4c 53 41 74 6f 6d 69 63 03 41 2b 01 03 02 40 57 03 40 f3 01 04 41 2c | ..A*....VLSAtomic.A+...@W.@...A, |
0fa0 | 01 05 05 05 41 2d 01 0f 05 41 2e 01 0d 02 12 56 4c 53 41 74 6f 6d 69 63 43 6f 6e 73 74 61 6e 74 | ....A-...A.....VLSAtomicConstant |
0fc0 | 03 41 2f 01 03 02 40 57 03 40 f3 01 04 41 30 01 05 05 04 41 31 01 07 05 03 41 32 01 10 05 41 33 | .A/...@W.@...A0....A1....A2...A3 |
0fe0 | 01 03 02 40 57 03 41 34 02 03 00 03 0e 2f 2f 56 4c 53 43 6f 6e 73 74 61 6e 74 01 01 41 35 01 0e | ...@W.A4.....//VLSConstant..A5.. |
1000 | 05 05 6e 61 6d 65 06 02 3d 07 41 36 01 05 05 06 41 37 01 0f 05 40 aa 01 41 38 01 0f 05 40 ca 01 | ..name..=.A6....A7...@..A8...@.. |
1020 | 41 39 01 0f 05 41 3a 01 02 02 0a 44 4f 4c 4c 41 52 5f 49 44 03 41 3b 01 03 02 05 03 07 01 04 41 | A9...A:....DOLLAR_ID.A;........A |
1040 | 3c 01 07 05 03 41 3d 01 06 05 02 24 01 41 3e 01 0f 05 40 aa 01 01 01 01 41 3f 01 0f 05 41 40 01 | <....A=....$.A>...@.....A?...A@. |
1060 | 02 02 11 44 4f 55 42 4c 45 5f 44 4f 4c 4c 41 52 5f 49 44 03 41 41 01 03 02 05 03 07 01 04 41 42 | ...DOUBLE_DOLLAR_ID.AA........AB |
1080 | 01 07 05 03 41 43 01 06 05 03 24 24 01 41 44 01 0f 05 40 aa 01 01 01 01 41 45 01 0f 05 40 dc 01 | ....AC....$$.AD...@.....AE...@.. |
10a0 | 01 01 01 41 46 01 07 05 03 41 47 01 10 05 41 48 01 03 02 40 57 03 41 49 02 03 00 03 0a 2f 2f 56 | ...AF....AG...AH...@W.AI.....//V |
10c0 | 4c 53 54 72 75 65 01 01 41 4a 01 06 05 06 24 74 72 75 65 01 01 41 4b 01 07 05 03 41 4c 01 10 05 | LSTrue..AJ....$true..AK....AL... |
10e0 | 41 4d 01 03 02 40 57 03 41 4e 02 03 00 03 0b 2f 2f 56 4c 53 46 61 6c 73 65 01 01 41 4f 01 06 05 | AM...@W.AN.....//VLSFalse..AO... |
1100 | 07 24 66 61 6c 73 65 01 01 01 01 01 41 50 01 0f 05 41 51 01 0d 02 12 56 4c 53 41 74 6f 6d 69 63 | .$false.....AP...AQ....VLSAtomic |
1120 | 46 75 6e 63 74 69 6f 6e 03 41 52 01 03 02 40 57 03 40 f3 01 04 41 53 01 05 05 03 41 54 01 07 05 | Function.AR...@W.@...AS....AT... |
1140 | 04 41 55 01 10 05 41 56 01 03 02 40 57 03 41 57 02 03 00 03 0e 2f 2f 56 4c 53 46 75 6e 63 74 69 | .AU...AV...@W.AW.....//VLSFuncti |
1160 | 6f 6e 01 01 41 58 01 0e 05 09 63 6f 6e 73 74 61 6e 74 06 02 3d 07 41 59 01 05 05 06 41 5a 01 0f | on..AX....constant..=.AY....AZ.. |
1180 | 05 40 aa 01 41 5b 01 0f 05 40 ca 01 41 5c 01 0f 05 41 3a 01 41 5d 01 0f 05 41 40 01 41 5e 01 0f | .@..A[...@..A\...A:.A]...A@.A^.. |
11a0 | 05 40 dc 01 01 01 41 5f 01 07 05 05 41 60 01 06 05 02 28 01 41 61 01 0e 05 06 74 65 72 6d 73 06 | .@....A_....A`....(.Aa....terms. |
11c0 | 03 2b 3d 07 41 62 01 0f 05 41 63 01 0d 02 0b 56 4c 53 46 6f 66 54 65 72 6d 03 41 64 01 03 02 40 | .+=.Ab...Ac....VLSFofTerm.Ad...@ |
11e0 | 57 03 40 f3 01 04 41 65 01 05 05 04 41 66 01 0f 05 41 09 01 41 67 01 0f 05 41 68 01 0d 02 12 56 | W.@...Ae....Af...A..Ag...Ah....V |
1200 | 4c 53 46 75 6e 63 74 69 6f 6e 41 73 54 65 72 6d 03 41 69 01 03 02 40 57 03 41 6a 02 03 00 03 14 | LSFunctionAsTerm.Ai...@W.Aj..... |
1220 | 2f 2f 56 4c 53 46 75 6e 63 74 69 6f 6e 41 73 54 65 72 6d 01 04 41 6b 01 07 05 03 41 6c 01 0e 05 | //VLSFunctionAsTerm..Ak....Al... |
1240 | 08 66 75 6e 63 74 6f 72 06 02 3d 07 41 6d 01 05 05 05 41 6e 01 0f 05 40 aa 01 41 6f 01 0f 05 40 | .functor..=.Am....An...@..Ao...@ |
1260 | ca 01 41 70 01 0f 05 41 3a 01 41 71 01 0f 05 41 40 01 01 01 41 72 01 07 02 02 3f 05 05 41 73 01 | ..Ap...A:.Aq...A@...Ar....?..As. |
1280 | 06 05 02 28 01 41 74 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 75 01 0f 05 41 63 01 01 41 76 | ...(.At....terms..+=.Au...Ac..Av |
12a0 | 01 07 02 02 2a 05 03 41 77 01 06 05 02 2c 01 41 78 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 | ....*..Aw....,.Ax....terms..+=.A |
12c0 | 79 01 0f 05 41 63 01 01 01 41 7a 01 06 05 02 29 01 01 01 01 01 41 7b 01 0f 05 41 7c 01 0d 02 0f | y...Ac...Az....).....A{...A|.... |
12e0 | 56 4c 53 44 65 66 69 6e 65 64 54 65 72 6d 03 41 7d 01 03 02 40 57 03 41 7e 02 03 00 03 11 2f 2f | VLSDefinedTerm.A}...@W.A~.....// |
1300 | 56 4c 53 44 65 66 69 6e 65 64 54 65 72 6d 01 04 41 7f 01 05 05 03 41 80 01 07 05 03 41 81 01 10 | VLSDefinedTerm..A.....A.....A... |
1320 | 05 41 82 01 03 02 40 57 03 41 83 02 03 00 03 09 2f 2f 56 4c 53 49 6e 74 01 01 41 84 01 0e 05 06 | .A....@W.A......//VLSInt..A..... |
1340 | 76 61 6c 75 65 06 02 3d 07 41 85 01 0f 05 40 bf 01 01 01 41 86 01 07 05 03 41 87 01 10 05 41 88 | value..=.A....@....A.....A....A. |
1360 | 01 03 02 40 57 03 41 89 02 03 00 03 11 2f 2f 56 4c 53 44 6f 75 62 6c 65 51 75 6f 74 65 01 01 41 | ...@W.A......//VLSDoubleQuote..A |
1380 | 8a 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 8b 01 0f 05 41 8c 01 02 02 0d 44 4f 55 42 4c 45 5f | .....value..=.A....A.....DOUBLE_ |
13a0 | 51 55 4f 54 45 03 41 8d 01 03 02 05 03 07 01 04 41 8e 01 07 05 04 41 8f 01 06 05 02 22 01 41 90 | QUOTE.A.........A.....A.....".A. |
13c0 | 01 05 02 02 2a 05 03 41 91 01 07 05 03 41 92 01 06 05 02 5c 01 41 93 01 05 05 03 41 94 01 06 05 | ....*..A.....A.....\.A.....A.... |
13e0 | 02 22 01 41 95 01 06 05 02 5c 01 01 01 41 96 01 09 05 41 97 01 05 05 03 41 98 01 06 05 02 5c 01 | .".A.....\...A....A.....A.....\. |
1400 | 41 99 01 06 05 02 22 01 01 01 01 41 9a 01 06 05 02 22 01 01 01 01 01 01 01 01 01 01 01 01 01 41 | A....."....A.....".............A |
1420 | 9b 01 07 02 02 2a 05 03 41 9c 01 06 05 02 2c 01 41 9d 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 | .....*..A.....,.A.....terms..+=. |
1440 | 41 9e 01 0f 05 41 63 01 01 01 41 9f 01 06 05 02 29 01 01 01 41 a0 01 07 05 08 41 a1 01 10 05 41 | A....Ac...A.....)...A.....A....A |
1460 | a2 01 03 02 40 57 03 41 a3 02 03 00 03 0a 2f 2f 56 4c 53 4c 65 73 73 01 01 41 a4 01 0e 05 05 6e | ....@W.A......//VLSLess..A.....n |
1480 | 61 6d 65 06 02 3d 07 41 a5 01 06 05 06 24 6c 65 73 73 01 01 41 a6 01 06 05 02 28 01 41 a7 01 0e | ame..=.A.....$less..A.....(.A... |
14a0 | 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 a8 01 0f 05 41 63 01 01 41 a9 01 06 05 02 2c 01 41 aa 01 | ..terms..+=.A....Ac..A.....,.A.. |
14c0 | 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 ab 01 0f 05 41 63 01 01 41 ac 01 06 05 02 29 01 01 01 | ...terms..+=.A....Ac..A.....)... |
14e0 | 01 01 41 ad 01 0f 05 41 09 01 41 ae 01 0f 05 41 7c 01 01 01 01 01 41 af 01 07 02 02 2a 05 03 41 | ..A....A..A....A|.....A.....*..A |
1500 | b0 01 06 05 02 2a 01 41 b1 01 0e 05 09 6e 65 78 74 54 79 70 65 06 02 3d 07 41 b2 01 0f 05 41 2e | .....*.A.....nextType..=.A....A. |
1520 | 01 01 01 01 01 01 01 41 b3 01 07 02 02 3f 05 03 41 b4 01 06 05 02 3e 01 41 b5 01 0e 05 07 6d 61 | .......A.....?..A.....>.A.....ma |
1540 | 70 73 54 6f 06 02 3d 07 41 b6 01 0f 05 41 2e 01 01 01 01 01 01 01 01 01 01 01 01 41 b7 01 07 02 | psTo..=.A....A.............A.... |
1560 | 02 2a 05 03 41 b8 01 06 05 02 2c 01 41 b9 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 | .*..A.....,.A.....variables..+=. |
1580 | 41 ba 01 05 05 03 41 bb 01 0f 05 41 09 01 41 bc 01 0f 05 41 16 01 01 01 01 41 bd 01 06 05 02 5d | A.....A....A..A....A.....A.....] |
15a0 | 01 41 be 01 06 05 02 3a 01 01 41 bf 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 c0 01 0f 05 | .A.....:..A.....operand..=.A.... |
15c0 | 40 f9 01 01 01 01 01 41 c1 01 0f 05 41 c2 01 0d 02 19 56 4c 53 45 78 69 73 74 65 6e 74 69 61 6c | @......A....A.....VLSExistential |
15e0 | 51 75 61 6e 74 69 66 69 65 72 03 41 c3 01 03 02 40 57 03 40 f3 01 04 41 c4 01 07 05 04 41 c5 01 | Quantifier.A....@W.@...A.....A.. |
1600 | 10 05 41 c6 01 03 02 40 57 03 41 c7 02 03 00 03 1b 2f 2f 56 4c 53 45 78 69 73 74 65 6e 74 69 61 | ..A....@W.A......//VLSExistentia |
1620 | 6c 51 75 61 6e 74 69 66 69 65 72 01 01 41 c8 01 07 05 07 41 c9 01 06 05 02 3f 01 41 ca 01 06 05 | lQuantifier..A.....A.....?.A.... |
1640 | 02 5b 01 41 cb 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 cc 01 05 05 03 41 cd 01 | .[.A.....variables..+=.A.....A.. |
1660 | 0f 05 41 09 01 41 ce 01 0f 05 41 16 01 01 01 41 cf 01 07 02 02 2a 05 03 41 d0 01 06 05 02 2c 01 | ..A..A....A....A.....*..A.....,. |
1680 | 41 d1 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 d2 01 05 05 03 41 d3 01 0f 05 41 | A.....variables..+=.A.....A....A |
16a0 | 09 01 41 d4 01 0f 05 41 16 01 01 01 01 41 d5 01 06 05 02 5d 01 41 d6 01 06 05 02 3a 01 01 41 d7 | ..A....A.....A.....].A.....:..A. |
16c0 | 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 d8 01 0f 05 40 f9 01 01 01 01 01 41 d9 01 0f 05 | ....operand..=.A....@......A.... |
16e0 | 41 da 01 0d 02 11 56 4c 53 55 6e 61 72 79 4e 65 67 61 74 69 6f 6e 03 41 db 01 03 02 40 57 03 40 | A.....VLSUnaryNegation.A....@W.@ |
1700 | f3 01 04 41 dc 01 07 05 04 41 dd 01 10 05 41 de 01 03 02 40 57 03 41 df 02 03 00 03 13 2f 2f 56 | ...A.....A....A....@W.A......//V |
1720 | 4c 53 55 6e 61 72 79 4e 65 67 61 74 69 6f 6e 01 01 41 e0 01 06 05 02 7e 01 41 e1 01 0e 05 08 6f | LSUnaryNegation..A.....~.A.....o |
1740 | 70 65 72 61 6e 64 06 02 3d 07 41 e2 01 0f 05 40 f9 01 01 01 01 01 41 e3 01 0f 05 41 e4 01 0d 02 | perand..=.A....@......A....A.... |
1760 | 0e 56 4c 53 55 6e 61 72 79 49 6e 66 69 78 03 41 e5 01 03 02 40 57 03 40 f3 01 04 41 e6 01 07 05 | .VLSUnaryInfix.A....@W.@...A.... |
1780 | 03 41 e7 01 0f 05 41 2a 01 41 e8 01 07 02 02 3f 05 03 41 e9 01 05 05 04 41 ea 01 07 05 03 41 eb | .A....A*.A.....?..A.....A.....A. |
17a0 | 01 10 05 41 ec 01 03 02 40 57 03 41 ed 02 03 00 03 10 2f 2f 56 4c 53 49 6e 65 71 75 61 6c 69 74 | ...A....@W.A......//VLSInequalit |
17c0 | 79 01 06 08 66 65 61 74 75 72 65 05 6c 65 66 74 07 09 6f 70 65 72 61 74 6f 72 02 3d 01 41 ee 01 | y...feature.left..operator.=.A.. |
17e0 | 06 05 03 21 3d 01 01 41 ef 01 07 05 03 41 f0 01 10 05 41 f1 01 03 02 40 57 03 41 f2 02 03 00 03 | ...!=..A.....A....A....@W.A..... |
1800 | 0e 2f 2f 56 4c 53 45 71 75 61 6c 69 74 79 01 06 05 6c 65 66 74 07 02 3d 01 41 f3 01 06 05 02 3d | .//VLSEquality...left..=.A.....= |
1820 | 01 01 41 f4 01 07 05 03 41 f5 01 10 05 41 f6 01 03 02 40 57 03 41 f7 02 03 00 03 10 2f 2f 56 4c | ..A.....A....A....@W.A......//VL |
1840 | 53 41 73 73 69 67 6e 6d 65 6e 74 01 06 05 6c 65 66 74 07 02 3d 01 41 f8 01 06 05 03 3a 3d 01 01 | SAssignment...left..=.A.....:=.. |
1860 | 01 41 f9 01 0e 05 06 72 69 67 68 74 06 02 3d 07 41 fa 01 0f 05 41 2a 01 01 01 01 01 01 41 fb 01 | .A.....right..=.A....A*......A.. |
1880 | 07 05 04 41 fc 01 06 05 02 28 01 41 fd 01 0f 05 40 f1 01 41 fe 01 06 05 02 29 01 01 01 01 01 41 | ...A.....(.A....@..A.....).....A |
18a0 | ff 01 05 02 02 3f 05 04 42 00 01 07 05 03 42 01 01 05 05 07 42 02 01 07 05 03 42 03 01 10 05 42 | .....?..B.....B.....B.....B....B |
18c0 | 04 01 03 02 40 57 03 42 05 02 03 00 03 10 2f 2f 56 4c 53 45 71 75 69 76 61 6c 65 6e 74 01 06 05 | ....@W.B......//VLSEquivalent... |
18e0 | 6c 65 66 74 07 02 3d 01 42 06 01 06 05 04 3c 3d 3e 01 01 42 07 01 07 05 03 42 08 01 10 05 42 09 | left..=.B.....<=>..B.....B....B. |
1900 | 01 03 02 40 57 03 42 0a 02 03 00 03 0d 2f 2f 56 4c 53 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 | ...@W.B......//VLSImplies...left |
1920 | 07 02 3d 01 42 0b 01 06 05 03 3d 3e 01 01 42 0c 01 07 05 03 42 0d 01 10 05 42 0e 01 03 02 40 57 | ..=.B.....=>..B.....B....B....@W |
1940 | 03 42 0f 02 03 00 03 10 2f 2f 56 4c 53 52 65 76 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 07 02 | .B......//VLSRevImplies...left.. |
1960 | 3d 01 42 10 01 06 05 03 3c 3d 01 01 42 11 01 07 05 03 42 12 01 10 05 42 13 01 03 02 40 57 03 42 | =.B.....<=..B.....B....B....@W.B |
1980 | 14 02 03 00 03 0a 2f 2f 56 4c 53 58 6e 6f 72 01 06 05 6c 65 66 74 07 02 3d 01 42 15 01 06 05 04 | ......//VLSXnor...left..=.B..... |
19a0 | 3c 7e 3e 01 01 42 16 01 07 05 03 42 17 01 10 05 42 18 01 03 02 40 57 03 42 19 02 03 00 03 09 2f | <~>..B.....B....B....@W.B....../ |
19c0 | 2f 56 4c 53 4e 6f 72 01 06 05 6c 65 66 74 07 02 3d 01 42 1a 01 06 05 03 7e 7c 01 01 42 1b 01 07 | /VLSNor...left..=.B.....~|..B... |
19e0 | 05 03 42 1c 01 10 05 42 1d 01 03 02 40 57 03 42 1e 02 03 00 03 0a 2f 2f 56 4c 53 4e 61 6e 64 01 | ..B....B....@W.B......//VLSNand. |
1a00 | 06 05 6c 65 66 74 07 02 3d 01 42 1f 01 06 05 03 7e 26 01 01 01 42 20 01 0e 05 06 72 69 67 68 74 | ..left..=.B.....~&...B.....right |
1a20 | 06 02 3d 07 42 21 01 0f 05 40 f9 01 01 01 42 22 01 07 02 02 2b 05 04 42 23 01 10 05 42 24 01 03 | ..=.B!...@....B"....+..B#...B$.. |
1a40 | 02 40 57 03 42 25 02 03 00 03 09 2f 2f 56 4c 53 41 6e 64 01 06 05 6c 65 66 74 07 02 3d 01 42 26 | .@W.B%.....//VLSAnd...left..=.B& |
1a60 | 01 06 05 02 26 01 42 27 01 0e 05 06 72 69 67 68 74 06 02 3d 07 42 28 01 0f 05 40 f9 01 01 01 42 | ....&.B'....right..=.B(...@....B |
1a80 | 29 01 07 02 02 2b 05 04 42 2a 01 10 05 42 2b 01 03 02 40 57 03 42 2c 02 03 00 03 08 2f 2f 56 4c | )....+..B*...B+...@W.B,.....//VL |
1aa0 | 53 4f 72 01 06 05 6c 65 66 74 07 02 3d 01 42 2d 01 06 05 02 7c 01 42 2e 01 0e 05 06 72 69 67 68 | SOr...left..=.B-....|.B.....righ |
1ac0 | 74 06 02 3d 07 42 2f 01 0f 05 40 f9 01 01 01 01 01 01 01 01 01 01 42 30 01 07 02 02 3f 05 03 42 | t..=.B/...@...........B0....?..B |
1ae0 | 31 01 06 05 02 2c 01 42 32 01 0e 05 0c 61 6e 6e 6f 74 61 74 69 6f 6e 73 06 02 3d 07 42 33 01 0f | 1....,.B2....annotations..=.B3.. |
1b00 | 05 42 34 01 0d 02 0e 56 4c 53 41 6e 6e 6f 74 61 74 69 6f 6e 03 42 35 01 03 02 40 57 03 42 36 02 | .B4....VLSAnnotation.B5...@W.B6. |
1b20 | 03 00 03 10 2f 2f 56 4c 53 41 6e 6e 6f 74 61 74 69 6f 6e 01 04 42 37 01 07 05 05 42 38 01 06 02 | ....//VLSAnnotation..B7....B8... |
1b40 | 02 3f 05 02 5b 01 42 39 01 0e 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 3f 05 05 6e 61 6d 65 06 | .?..[.B9....cardinality.?..name. |
1b60 | 02 3d 07 42 3a 01 05 05 04 42 3b 01 0f 05 40 aa 01 42 3c 01 0f 05 40 ca 01 42 3d 01 0f 05 40 dc | .=.B:....B;...@..B<...@..B=...@. |
1b80 | 01 01 01 42 3e 01 07 02 02 3f 05 04 42 3f 01 06 05 02 28 01 42 40 01 0e 05 09 66 6f 6c 6c 6f 77 | ...B>....?..B?....(.B@....follow |
1ba0 | 75 70 06 02 3d 07 42 41 01 0f 05 42 42 01 0d 02 13 56 4c 53 41 6e 6e 6f 74 61 74 69 6f 6e 54 65 | up..=.BA...BB....VLSAnnotationTe |
1bc0 | 72 6d 73 03 42 43 01 03 02 40 57 03 42 36 01 04 42 44 01 07 05 03 42 45 01 0e 05 06 74 65 72 6d | rms.BC...@W.B6..BD....BE....term |
1be0 | 73 06 03 2b 3d 07 42 46 01 0f 05 42 34 01 01 42 47 01 07 02 02 2a 05 03 42 48 01 06 05 02 2c 01 | s..+=.BF...B4..BG....*..BH....,. |
1c00 | 42 49 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 42 4a 01 0f 05 42 34 01 01 01 01 01 01 01 42 4b | BI....terms..+=.BJ...B4.......BK |
1c20 | 01 06 05 02 29 01 01 42 4c 01 06 02 02 3f 05 02 5d 01 01 01 01 01 01 42 4d 01 06 05 02 29 01 42 | ....)..BL....?..]......BM....).B |
1c40 | 4e 01 06 05 02 2e 01 01 01 01 01 42 4f 01 0e 05 0b 74 66 66 6f 72 6d 75 6c 61 73 06 03 2b 3d 07 | N..........BO....tfformulas..+=. |
1c60 | 42 50 01 0f 05 42 51 01 0d 02 0e 56 4c 53 54 66 66 46 6f 72 6d 75 6c 61 03 42 52 01 03 02 40 57 | BP...BQ....VLSTffFormula.BR...@W |
1c80 | 03 42 53 02 03 00 03 10 2f 2f 56 4c 53 54 66 66 46 6f 72 6d 75 6c 61 01 04 42 54 01 07 05 0b 42 | .BS.....//VLSTffFormula..BT....B |
1ca0 | 55 01 06 05 04 74 66 66 01 42 56 01 06 05 02 28 01 42 57 01 0e 05 05 6e 61 6d 65 06 02 3d 07 42 | U....tff.BV....(.BW....name..=.B |
1cc0 | 58 01 0f 05 42 59 01 0d 02 0b 56 4c 53 54 66 66 4e 61 6d 65 03 42 5a 01 03 02 05 03 07 01 04 42 | X...BY....VLSTffName.BZ........B |
1ce0 | 5b 01 05 05 04 42 5c 01 0f 05 42 5d 01 0d 02 0f 56 4c 53 54 66 66 44 65 63 6c 50 72 65 64 03 42 | [....B\...B]....VLSTffDeclPred.B |
1d00 | 5e 01 03 02 05 03 07 01 04 42 5f 01 05 05 03 42 60 01 07 05 03 42 61 01 06 05 09 64 65 63 6c 61 | ^........B_....B`....Ba....decla |
1d20 | 72 65 5f 01 42 62 01 0f 05 41 3a 01 01 42 63 01 0f 05 40 aa 01 01 01 01 42 64 01 0f 05 42 65 01 | re_.Bb...A:..Bc...@.....Bd...Be. |
1d40 | 0d 02 0d 56 4c 53 54 66 66 46 69 6e 69 74 65 03 42 66 01 03 02 05 03 07 01 04 42 67 01 06 05 0e | ...VLSTffFinite.Bf........Bg.... |
1d60 | 66 69 6e 69 74 65 5f 64 6f 6d 61 69 6e 01 01 01 42 68 01 0f 05 42 69 01 0d 02 0f 56 4c 53 54 66 | finite_domain...Bh...Bi....VLSTf |
1d80 | 66 44 69 73 74 69 6e 63 74 03 42 6a 01 03 02 05 03 07 01 04 42 6b 01 06 05 10 64 69 73 74 69 6e | fDistinct.Bj........Bk....distin |
1da0 | 63 74 5f 64 6f 6d 61 69 6e 01 01 01 01 01 01 01 42 6c 01 06 05 02 2c 01 42 6d 01 0e 05 08 74 66 | ct_domain.......Bl....,.Bm....tf |
1dc0 | 66 52 6f 6c 65 06 02 3d 07 42 6e 01 0f 05 40 dc 01 01 42 6f 01 06 05 02 2c 01 42 70 01 0e 05 0b | fRole..=.Bn...@...Bo....,.Bp.... |
1de0 | 66 6f 66 46 6f 72 6d 75 6c 61 06 02 3d 07 42 71 01 0f 05 42 72 01 0d 02 0b 56 4c 53 54 66 66 54 | fofFormula..=.Bq...Br....VLSTffT |
1e00 | 65 72 6d 03 42 73 01 03 02 40 57 03 42 74 02 03 00 03 0d 2f 2f 56 4c 53 54 66 66 54 65 72 6d 01 | erm.Bs...@W.Bt.....//VLSTffTerm. |
1e20 | 04 42 75 01 05 05 04 42 76 01 0f 05 40 f1 01 42 77 01 0f 05 42 78 01 0d 02 0f 56 4c 53 44 65 63 | .Bu....Bv...@..Bw...Bx....VLSDec |
1e40 | 6c 61 72 61 74 69 6f 6e 03 42 79 01 03 02 40 57 03 42 7a 02 03 00 03 11 2f 2f 56 4c 53 44 65 63 | laration.By...@W.Bz.....//VLSDec |
1e60 | 6c 61 72 61 74 69 6f 6e 01 04 42 7b 01 05 05 03 42 7c 01 0f 05 41 16 01 42 7d 01 0f 05 42 7e 01 | laration..B{....B|...A..B}...B~. |
1e80 | 0d 02 14 56 4c 53 4f 74 68 65 72 44 65 63 6c 61 72 61 74 69 6f 6e 03 42 7f 01 03 02 40 57 03 42 | ...VLSOtherDeclaration.B....@W.B |
1ea0 | 80 02 03 00 03 16 2f 2f 56 4c 53 4f 74 68 65 72 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 42 81 01 | ......//VLSOtherDeclaration..B.. |
1ec0 | 07 05 04 42 82 01 0e 05 05 6e 61 6d 65 06 02 3d 07 42 83 01 0f 05 41 2e 01 01 42 84 01 06 05 02 | ...B.....name..=.B....A...B..... |
1ee0 | 3a 01 42 85 01 0e 05 05 74 79 70 65 06 02 3d 07 42 86 01 0f 05 41 1f 01 01 01 01 01 01 01 01 42 | :.B.....type..=.B....A.........B |
1f00 | 87 01 0f 05 42 88 01 0d 02 0f 56 4c 53 43 6f 6d 6d 65 6e 74 54 65 72 6d 03 42 89 01 03 02 40 57 | ....B.....VLSCommentTerm.B....@W |
1f20 | 03 40 f3 01 04 42 8a 01 0e 05 08 63 6f 6d 6d 65 6e 74 06 02 3d 07 42 8b 01 0f 05 40 64 01 01 01 | .@...B.....comment..=.B....@d... |
1f40 | 01 01 01 01 01 42 8c 01 07 02 02 3f 05 03 42 8d 01 06 05 02 2c 01 42 8e 01 0e 05 0c 61 6e 6e 6f | .....B.....?..B.....,.B.....anno |
1f60 | 74 61 74 69 6f 6e 73 06 02 3d 07 42 8f 01 0f 05 42 34 01 01 01 42 90 01 06 05 02 29 01 42 91 01 | tations..=.B....B4...B.....).B.. |
1f80 | 06 05 02 2e 01 01 01 01 01 01 01 40 b1 41 0e 40 aa 41 8c 40 ca 40 c3 41 3a 41 40 40 8e 40 bf 40 | ...........@.A.@.A.@.@.A:A@@.@.@ |
1fa0 | 64 40 5f 40 71 40 a1 42 51 42 59 42 69 42 65 42 5d 40 dc 42 34 42 42 42 72 42 88 42 78 42 7e 41 | d@_@q@.BQBYBiBeB]@.B4BBBrB.BxB~A |
1fc0 | 16 41 1f 41 25 40 f1 40 f5 40 f9 40 fd 41 c2 41 da 41 e4 41 2a 41 2e 41 51 41 09 41 63 41 68 41 | .A.A%@.@.@.@.A.A.A.A*A.AQA.AcAhA |
1fe0 | 7c 01 02 01 | |... |