| 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 38 40 59 01 0d 0b 50 61 72 73 65 72 52 75 6c 65 02 05 6e | ireLanguage..8@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 04 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 69 6e 63 6c 75 64 65 73 06 09 6f 70 65 72 61 74 6f 72 03 2b 3d | t..feature.includes..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 49 6e 63 6c 75 64 65 03 40 60 01 03 02 40 57 03 40 61 02 03 00 03 0d 2f 2f 56 | ...VLSInclude.@`...@W.@a.....//V |
| 0680 | 4c 53 49 6e 63 6c 75 64 65 01 04 40 62 01 07 05 04 40 63 01 06 05 09 69 6e 63 6c 75 64 65 28 01 | LSInclude..@b....@c....include(. |
| 06a0 | 40 64 01 0e 05 09 66 69 6c 65 4e 61 6d 65 06 02 3d 07 40 65 01 0f 05 40 66 01 02 02 0d 53 49 4e | @d....fileName..=.@e...@f....SIN |
| 06c0 | 47 4c 45 5f 51 55 4f 54 45 03 40 67 01 03 02 05 03 07 01 04 40 68 01 07 05 04 40 69 01 06 05 02 | GLE_QUOTE.@g........@h....@i.... |
| 06e0 | 27 01 40 6a 01 05 02 02 2b 05 03 40 6b 01 07 05 03 40 6c 01 06 05 02 5c 01 40 6d 01 05 05 03 40 | '.@j....+..@k....@l....\.@m....@ |
| 0700 | 6e 01 06 05 02 27 01 40 6f 01 06 05 02 5c 01 01 01 40 70 01 09 05 40 71 01 05 05 03 40 72 01 06 | n....'.@o....\...@p...@q....@r.. |
| 0720 | 05 02 5c 01 40 73 01 06 05 02 27 01 01 01 01 40 74 01 06 05 02 27 01 01 01 01 01 40 75 01 07 02 | ..\.@s....'....@t....'.....@u... |
| 0740 | 02 3f 05 05 40 76 01 06 05 03 2c 5b 01 40 77 01 0e 05 06 6e 61 6d 65 73 06 03 2b 3d 07 40 78 01 | .?..@v....,[.@w....names..+=.@x. |
| 0760 | 0f 05 40 79 01 0d 02 08 56 4c 53 4e 61 6d 65 03 40 7a 01 03 02 40 57 03 40 7b 02 03 00 03 0a 2f | ..@y....VLSName.@z...@W.@{...../ |
| 0780 | 2f 56 4c 53 4e 61 6d 65 01 04 40 7c 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 7d 01 05 05 05 40 7e | /VLSName..@|....name..=.@}....@~ |
| 07a0 | 01 0f 05 40 7f 01 02 02 0e 4c 4f 57 45 52 5f 57 4f 52 44 5f 49 44 03 40 80 01 03 02 05 03 07 01 | ...@.....LOWER_WORD_ID.@........ |
| 07c0 | 04 40 81 01 07 05 03 40 82 01 0a 05 40 83 01 06 05 02 61 01 06 40 84 01 06 05 02 7a 01 01 40 85 | .@.....@....@.....a..@.....z..@. |
| 07e0 | 01 0f 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2a 05 40 86 01 02 02 0e 41 4c 50 48 41 5f 4e 55 | ....cardinality.*.@.....ALPHA_NU |
| 0800 | 4d 45 52 49 43 03 40 87 01 03 02 05 03 07 01 04 40 88 01 05 05 05 40 89 01 0a 05 40 8a 01 06 05 | MERIC.@.........@.....@....@.... |
| 0820 | 02 61 01 06 40 8b 01 06 05 02 7a 01 01 40 8c 01 0a 05 40 8d 01 06 05 02 41 01 06 40 8e 01 06 05 | .a..@.....z..@....@.....A..@.... |
| 0840 | 02 5a 01 01 40 8f 01 0a 05 40 90 01 06 05 02 30 01 06 40 91 01 06 05 02 39 01 01 40 92 01 06 05 | .Z..@....@.....0..@.....9..@.... |
| 0860 | 02 5f 01 01 01 01 01 01 01 40 93 01 0f 05 40 66 01 40 94 01 0f 05 40 95 01 02 02 08 4c 49 54 45 | ._.......@....@f.@....@.....LITE |
| 0880 | 52 41 4c 03 40 96 01 03 02 05 03 07 01 04 40 97 01 05 05 03 40 98 01 06 05 02 30 01 40 99 01 07 | RAL.@.........@.....@.....0.@... |
| 08a0 | 05 03 40 9a 01 0a 05 40 9b 01 06 05 02 31 01 06 40 9c 01 06 05 02 39 01 01 40 9d 01 0f 02 02 3f | ..@....@.....1..@.....9..@.....? |
| 08c0 | 05 35 01 01 01 01 01 40 9e 01 0f 05 40 9f 01 02 02 0f 53 49 47 4e 45 44 5f 4c 49 54 45 52 41 4c | .5.....@....@.....SIGNED_LITERAL |
| 08e0 | 03 40 a0 01 03 02 05 03 07 01 04 40 a1 01 07 05 03 40 a2 01 0f 02 02 2a 05 40 a3 01 02 02 05 53 | .@.........@.....@.....*.@.....S |
| 0900 | 49 47 4e 03 40 a4 01 03 02 05 03 07 01 04 40 a5 01 05 05 03 40 a6 01 06 05 02 2b 01 40 a7 01 06 | IGN.@.........@.....@.....+.@... |
| 0920 | 05 02 2d 01 01 01 01 40 a8 01 0f 05 40 95 01 01 01 01 01 01 01 01 01 40 a9 01 07 02 02 2a 05 03 | ..-....@....@..........@.....*.. |
| 0940 | 40 aa 01 06 05 02 2c 01 40 ab 01 0e 05 06 6e 61 6d 65 73 06 03 2b 3d 07 40 ac 01 0f 05 40 79 01 | @.....,.@.....names..+=.@....@y. |
| 0960 | 01 01 40 ad 01 06 05 02 5d 01 01 01 01 01 01 40 ae 01 0e 05 09 63 6f 6d 6d 65 6e 74 73 06 03 2b | ..@.....]......@.....comments..+ |
| 0980 | 3d 07 40 af 01 0f 05 40 b0 01 0d 02 0b 56 4c 53 43 6f 6d 6d 65 6e 74 03 40 b1 01 03 02 40 57 03 | =.@....@.....VLSComment.@....@W. |
| 09a0 | 40 b2 02 03 00 03 0d 2f 2f 56 4c 53 43 6f 6d 6d 65 6e 74 01 04 40 b3 01 07 05 03 40 b4 01 06 05 | @......//VLSComment..@.....@.... |
| 09c0 | 02 25 01 40 b5 01 0e 05 08 63 6f 6d 6d 65 6e 74 06 02 3d 07 40 b6 01 0f 05 40 b7 01 02 02 0f 53 | .%.@.....comment..=.@....@.....S |
| 09e0 | 49 4e 47 4c 45 5f 43 4f 4d 4d 45 4e 54 03 40 b8 01 03 02 05 03 07 01 04 40 b9 01 0f 05 40 ba 01 | INGLE_COMMENT.@.........@....@.. |
| 0a00 | 02 02 0a 41 4e 59 5f 4f 54 48 45 52 03 40 bb 01 03 02 05 03 07 01 04 40 bc 01 0f 05 40 bd 01 02 | ...ANY_OTHER.@.........@....@... |
| 0a20 | 02 03 49 44 03 40 be 01 03 02 05 03 07 01 04 40 bf 01 09 02 02 2a 05 40 c0 01 05 05 03 40 c1 01 | ..ID.@.........@.....*.@.....@.. |
| 0a40 | 06 05 02 0a 01 40 c2 01 06 05 02 0d 01 01 01 01 01 01 01 01 01 01 01 01 01 01 40 c3 01 0e 05 09 | .....@....................@..... |
| 0a60 | 66 6f 72 6d 75 6c 61 73 06 03 2b 3d 07 40 c4 01 0f 05 40 c5 01 0d 02 0e 56 4c 53 46 6f 66 46 6f | formulas..+=.@....@.....VLSFofFo |
| 0a80 | 72 6d 75 6c 61 03 40 c6 01 03 02 40 57 03 40 c7 02 03 00 03 10 2f 2f 56 4c 53 46 6f 66 46 6f 72 | rmula.@....@W.@......//VLSFofFor |
| 0aa0 | 6d 75 6c 61 01 04 40 c8 01 07 05 0b 40 c9 01 06 05 04 66 6f 66 01 40 ca 01 06 05 02 28 01 40 cb | mula..@.....@.....fof.@.....(.@. |
| 0ac0 | 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 cc 01 05 05 04 40 cd 01 0f 05 40 7f 01 40 ce 01 0f 05 40 | ....name..=.@.....@....@..@....@ |
| 0ae0 | 9f 01 40 cf 01 0f 05 40 66 01 01 01 40 d0 01 06 05 02 2c 01 40 d1 01 0e 05 08 66 6f 66 52 6f 6c | ..@....@f...@.....,.@.....fofRol |
| 0b00 | 65 06 02 3d 07 40 d2 01 0f 05 40 d3 01 0d 02 08 56 4c 53 52 6f 6c 65 03 40 d4 01 03 02 05 03 07 | e..=.@....@.....VLSRole.@....... |
| 0b20 | 01 04 40 d5 01 05 05 10 40 d6 01 0f 05 40 d7 01 0d 02 09 56 4c 53 41 78 69 6f 6d 03 40 d8 01 03 | ..@.....@....@.....VLSAxiom.@... |
| 0b40 | 02 05 03 07 01 04 40 d9 01 06 05 06 61 78 69 6f 6d 01 01 01 40 da 01 0f 05 40 db 01 0d 02 0e 56 | ......@.....axiom...@....@.....V |
| 0b60 | 4c 53 43 6f 6e 6a 65 63 74 75 72 65 03 40 dc 01 03 02 05 03 07 01 04 40 dd 01 06 05 0b 63 6f 6e | LSConjecture.@.........@.....con |
| 0b80 | 6a 65 63 74 75 72 65 01 01 01 40 de 01 0f 05 40 df 01 0d 02 0e 56 4c 53 48 79 70 6f 74 68 65 73 | jecture...@....@.....VLSHypothes |
| 0ba0 | 69 73 03 40 e0 01 03 02 05 03 07 01 04 40 e1 01 06 05 0b 68 79 70 6f 74 68 65 73 69 73 01 01 01 | is.@.........@.....hypothesis... |
| 0bc0 | 40 e2 01 0f 05 40 e3 01 0d 02 0e 56 4c 53 44 65 66 69 6e 69 74 69 6f 6e 03 40 e4 01 03 02 05 03 | @....@.....VLSDefinition.@...... |
| 0be0 | 07 01 04 40 e5 01 06 05 0b 64 65 66 69 6e 69 74 69 6f 6e 01 01 01 40 e6 01 0f 05 40 e7 01 0d 02 | ...@.....definition...@....@.... |
| 0c00 | 0e 56 4c 53 41 73 73 75 6d 70 74 69 6f 6e 03 40 e8 01 03 02 05 03 07 01 04 40 e9 01 06 05 0b 61 | .VLSAssumption.@.........@.....a |
| 0c20 | 73 73 75 6d 70 74 69 6f 6e 01 01 01 40 ea 01 0f 05 40 eb 01 0d 02 09 56 4c 53 4c 65 6d 6d 61 03 | ssumption...@....@.....VLSLemma. |
| 0c40 | 40 ec 01 03 02 05 03 07 01 04 40 ed 01 06 05 06 6c 65 6d 6d 61 01 01 01 40 ee 01 0f 05 40 ef 01 | @.........@.....lemma...@....@.. |
| 0c60 | 0d 02 0b 56 4c 53 54 68 65 6f 72 65 6d 03 40 f0 01 03 02 05 03 07 01 04 40 f1 01 06 05 08 74 68 | ...VLSTheorem.@.........@.....th |
| 0c80 | 65 6f 72 65 6d 01 01 01 40 f2 01 0f 05 40 f3 01 0d 02 0d 56 4c 53 43 6f 72 6f 6c 6c 61 72 79 03 | eorem...@....@.....VLSCorollary. |
| 0ca0 | 40 f4 01 03 02 05 03 07 01 04 40 f5 01 06 05 0a 63 6f 72 6f 6c 6c 61 72 79 01 01 01 40 f6 01 0f | @.........@.....corollary...@... |
| 0cc0 | 05 40 f7 01 0d 02 16 56 4c 53 4e 65 67 61 74 65 64 5f 43 6f 6e 6a 65 63 74 75 72 65 03 40 f8 01 | .@.....VLSNegated_Conjecture.@.. |
| 0ce0 | 03 02 05 03 07 01 04 40 f9 01 06 05 13 6e 65 67 61 74 65 64 5f 63 6f 6e 6a 65 63 74 75 72 65 01 | .......@.....negated_conjecture. |
| 0d00 | 01 01 40 fa 01 0f 05 40 fb 01 0d 02 09 56 4c 53 50 6c 61 69 6e 03 40 fc 01 03 02 05 03 07 01 04 | ..@....@.....VLSPlain.@......... |
| 0d20 | 40 fd 01 06 05 06 70 6c 61 69 6e 01 01 01 40 fe 01 0f 05 40 ff 01 0d 02 08 56 4c 53 54 79 70 65 | @.....plain...@....@.....VLSType |
| 0d40 | 03 41 00 01 03 02 05 03 07 01 04 41 01 01 06 05 05 74 79 70 65 01 01 01 41 02 01 0f 05 41 03 01 | .A.........A.....type...A....A.. |
| 0d60 | 0d 02 0d 56 4c 53 46 69 5f 44 6f 6d 61 69 6e 03 41 04 01 03 02 05 03 07 01 04 41 05 01 06 05 0a | ...VLSFi_Domain.A.........A..... |
| 0d80 | 66 69 5f 64 6f 6d 61 69 6e 01 01 01 41 06 01 0f 05 41 07 01 0d 02 0f 56 4c 53 46 69 5f 46 75 6e | fi_domain...A....A.....VLSFi_Fun |
| 0da0 | 63 74 6f 72 73 03 41 08 01 03 02 05 03 07 01 04 41 09 01 06 05 0c 66 69 5f 66 75 6e 63 74 6f 72 | ctors.A.........A.....fi_functor |
| 0dc0 | 73 01 01 01 41 0a 01 0f 05 41 0b 01 0d 02 11 56 4c 53 46 69 5f 50 72 65 64 69 63 61 74 65 73 03 | s...A....A.....VLSFi_Predicates. |
| 0de0 | 41 0c 01 03 02 05 03 07 01 04 41 0d 01 06 05 0e 66 69 5f 70 72 65 64 69 63 61 74 65 73 01 01 01 | A.........A.....fi_predicates... |
| 0e00 | 41 0e 01 0f 05 41 0f 01 0d 02 0b 56 4c 53 55 6e 6b 6e 6f 77 6e 03 41 10 01 03 02 05 03 07 01 04 | A....A.....VLSUnknown.A......... |
| 0e20 | 41 11 01 06 05 08 75 6e 6b 6e 6f 77 6e 01 01 01 01 01 01 01 41 12 01 06 05 02 2c 01 41 13 01 0e | A.....unknown.......A.....,.A... |
| 0e40 | 05 0b 66 6f 66 46 6f 72 6d 75 6c 61 06 02 3d 07 41 14 01 0f 05 41 15 01 0d 02 08 56 4c 53 54 65 | ..fofFormula..=.A....A.....VLSTe |
| 0e60 | 72 6d 03 41 16 01 03 02 40 57 03 41 17 02 03 00 03 0a 2f 2f 56 4c 53 54 65 72 6d 01 04 41 18 01 | rm.A....@W.A......//VLSTerm..A.. |
| 0e80 | 0f 05 41 19 01 0d 02 0a 56 4c 53 42 69 6e 61 72 79 03 41 1a 01 03 02 40 57 03 41 17 01 04 41 1b | ..A.....VLSBinary.A....@W.A...A. |
| 0ea0 | 01 07 05 03 41 1c 01 0f 05 41 1d 01 0d 02 12 56 4c 53 55 6e 69 74 61 72 79 46 6f 72 6d 75 6c 61 | ....A....A.....VLSUnitaryFormula |
| 0ec0 | 03 41 1e 01 03 02 40 57 03 41 17 01 04 41 1f 01 05 05 06 41 20 01 0f 05 41 21 01 0d 02 17 56 4c | .A....@W.A...A.....A....A!....VL |
| 0ee0 | 53 55 6e 69 76 65 72 73 61 6c 51 75 61 6e 74 69 66 69 65 72 03 41 22 01 03 02 40 57 03 41 17 01 | SUniversalQuantifier.A"...@W.A.. |
| 0f00 | 04 41 23 01 07 05 04 41 24 01 10 07 41 63 74 69 6f 6e 05 05 74 79 70 65 41 25 01 03 02 40 57 03 | .A#....A$...Action..typeA%...@W. |
| 0f20 | 41 26 02 03 00 03 19 2f 2f 56 4c 53 55 6e 69 76 65 72 73 61 6c 51 75 61 6e 74 69 66 69 65 72 01 | A&.....//VLSUniversalQuantifier. |
| 0f40 | 01 41 27 01 07 05 07 41 28 01 06 05 02 21 01 41 29 01 06 05 02 5b 01 41 2a 01 0e 05 0a 76 61 72 | .A'....A(....!.A)....[.A*....var |
| 0f60 | 69 61 62 6c 65 73 06 03 2b 3d 07 41 2b 01 0f 05 41 2c 01 0d 02 0c 56 4c 53 56 61 72 69 61 62 6c | iables..+=.A+...A,....VLSVariabl |
| 0f80 | 65 03 41 2d 01 03 02 40 57 03 41 2e 02 03 00 03 0e 2f 2f 56 4c 53 56 61 72 69 61 62 6c 65 01 04 | e.A-...@W.A......//VLSVariable.. |
| 0fa0 | 41 2f 01 0e 05 05 6e 61 6d 65 06 02 3d 07 41 30 01 0f 05 41 31 01 02 02 0e 55 50 50 45 52 5f 57 | A/....name..=.A0...A1....UPPER_W |
| 0fc0 | 4f 52 44 5f 49 44 03 41 32 01 03 02 05 03 07 01 04 41 33 01 07 05 03 41 34 01 0a 05 41 35 01 06 | ORD_ID.A2........A3....A4...A5.. |
| 0fe0 | 05 02 41 01 06 41 36 01 06 05 02 5a 01 01 41 37 01 0f 02 02 2a 05 40 86 01 01 01 01 01 01 01 01 | ..A..A6....Z..A7....*.@......... |
| 1000 | 41 38 01 07 02 02 2a 05 03 41 39 01 06 05 02 2c 01 41 3a 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 | A8....*..A9....,.A:....variables |
| 1020 | 06 03 2b 3d 07 41 3b 01 0f 05 41 2c 01 01 01 41 3c 01 06 05 02 5d 01 41 3d 01 06 05 02 3a 01 01 | ..+=.A;...A,...A<....].A=....:.. |
| 1040 | 41 3e 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 3f 01 0f 05 41 1d 01 01 01 01 01 41 40 01 | A>....operand..=.A?...A......A@. |
| 1060 | 0f 05 41 41 01 0d 02 19 56 4c 53 45 78 69 73 74 65 6e 74 69 61 6c 51 75 61 6e 74 69 66 69 65 72 | ..AA....VLSExistentialQuantifier |
| 1080 | 03 41 42 01 03 02 40 57 03 41 17 01 04 41 43 01 07 05 04 41 44 01 10 05 41 45 01 03 02 40 57 03 | .AB...@W.A...AC....AD...AE...@W. |
| 10a0 | 41 46 02 03 00 03 1b 2f 2f 56 4c 53 45 78 69 73 74 65 6e 74 69 61 6c 51 75 61 6e 74 69 66 69 65 | AF.....//VLSExistentialQuantifie |
| 10c0 | 72 01 01 41 47 01 07 05 07 41 48 01 06 05 02 3f 01 41 49 01 06 05 02 5b 01 41 4a 01 0e 05 0a 76 | r..AG....AH....?.AI....[.AJ....v |
| 10e0 | 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 4b 01 0f 05 41 2c 01 01 41 4c 01 07 02 02 2a 05 03 41 | ariables..+=.AK...A,..AL....*..A |
| 1100 | 4d 01 06 05 02 2c 01 41 4e 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 4f 01 0f 05 | M....,.AN....variables..+=.AO... |
| 1120 | 41 2c 01 01 01 41 50 01 06 05 02 5d 01 41 51 01 06 05 02 3a 01 01 41 52 01 0e 05 08 6f 70 65 72 | A,...AP....].AQ....:..AR....oper |
| 1140 | 61 6e 64 06 02 3d 07 41 53 01 0f 05 41 1d 01 01 01 01 01 41 54 01 0f 05 41 55 01 0d 02 11 56 4c | and..=.AS...A......AT...AU....VL |
| 1160 | 53 55 6e 61 72 79 4e 65 67 61 74 69 6f 6e 03 41 56 01 03 02 40 57 03 41 17 01 04 41 57 01 07 05 | SUnaryNegation.AV...@W.A...AW... |
| 1180 | 04 41 58 01 10 05 41 59 01 03 02 40 57 03 41 5a 02 03 00 03 13 2f 2f 56 4c 53 55 6e 61 72 79 4e | .AX...AY...@W.AZ.....//VLSUnaryN |
| 11a0 | 65 67 61 74 69 6f 6e 01 01 41 5b 01 06 05 02 7e 01 41 5c 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 | egation..A[....~.A\....operand.. |
| 11c0 | 3d 07 41 5d 01 0f 05 41 1d 01 01 01 01 01 41 5e 01 0f 05 41 5f 01 0d 02 0e 56 4c 53 55 6e 61 72 | =.A]...A......A^...A_....VLSUnar |
| 11e0 | 79 49 6e 66 69 78 03 41 60 01 03 02 40 57 03 41 17 01 04 41 61 01 07 05 03 41 62 01 0f 05 41 63 | yInfix.A`...@W.A...Aa....Ab...Ac |
| 1200 | 01 0d 02 0a 56 4c 53 41 74 6f 6d 69 63 03 41 64 01 03 02 40 57 03 41 17 01 04 41 65 01 05 05 05 | ....VLSAtomic.Ad...@W.A...Ae.... |
| 1220 | 41 66 01 0f 05 41 67 01 0d 02 12 56 4c 53 41 74 6f 6d 69 63 43 6f 6e 73 74 61 6e 74 03 41 68 01 | Af...Ag....VLSAtomicConstant.Ah. |
| 1240 | 03 02 40 57 03 41 17 01 04 41 69 01 05 05 04 41 6a 01 07 05 03 41 6b 01 10 05 41 6c 01 03 02 40 | ..@W.A...Ai....Aj....Ak...Al...@ |
| 1260 | 57 03 41 6d 02 03 00 03 0e 2f 2f 56 4c 53 43 6f 6e 73 74 61 6e 74 01 01 41 6e 01 0e 05 05 6e 61 | W.Am.....//VLSConstant..An....na |
| 1280 | 6d 65 06 02 3d 07 41 6f 01 05 05 06 41 70 01 0f 05 40 7f 01 41 71 01 0f 05 40 66 01 41 72 01 0f | me..=.Ao....Ap...@..Aq...@f.Ar.. |
| 12a0 | 05 41 73 01 02 02 0a 44 4f 4c 4c 41 52 5f 49 44 03 41 74 01 03 02 05 03 07 01 04 41 75 01 07 05 | .As....DOLLAR_ID.At........Au... |
| 12c0 | 03 41 76 01 06 05 02 24 01 41 77 01 0f 05 40 7f 01 01 01 01 41 78 01 0f 05 41 79 01 02 02 11 44 | .Av....$.Aw...@.....Ax...Ay....D |
| 12e0 | 4f 55 42 4c 45 5f 44 4f 4c 4c 41 52 5f 49 44 03 41 7a 01 03 02 05 03 07 01 04 41 7b 01 07 05 03 | OUBLE_DOLLAR_ID.Az........A{.... |
| 1300 | 41 7c 01 06 05 03 24 24 01 41 7d 01 0f 05 40 7f 01 01 01 01 41 7e 01 0f 05 40 d3 01 01 01 01 41 | A|....$$.A}...@.....A~...@.....A |
| 1320 | 7f 01 07 05 03 41 80 01 10 05 41 81 01 03 02 40 57 03 41 82 02 03 00 03 0a 2f 2f 56 4c 53 54 72 | .....A....A....@W.A......//VLSTr |
| 1340 | 75 65 01 01 41 83 01 06 05 06 24 74 72 75 65 01 01 41 84 01 07 05 03 41 85 01 10 05 41 86 01 03 | ue..A.....$true..A.....A....A... |
| 1360 | 02 40 57 03 41 87 02 03 00 03 0b 2f 2f 56 4c 53 46 61 6c 73 65 01 01 41 88 01 06 05 07 24 66 61 | .@W.A......//VLSFalse..A.....$fa |
| 1380 | 6c 73 65 01 01 01 01 01 41 89 01 0f 05 41 8a 01 0d 02 12 56 4c 53 41 74 6f 6d 69 63 46 75 6e 63 | lse.....A....A.....VLSAtomicFunc |
| 13a0 | 74 69 6f 6e 03 41 8b 01 03 02 40 57 03 41 17 01 04 41 8c 01 05 05 03 41 8d 01 07 05 04 41 8e 01 | tion.A....@W.A...A.....A.....A.. |
| 13c0 | 10 05 41 8f 01 03 02 40 57 03 41 90 02 03 00 03 0e 2f 2f 56 4c 53 46 75 6e 63 74 69 6f 6e 01 01 | ..A....@W.A......//VLSFunction.. |
| 13e0 | 41 91 01 0e 05 09 63 6f 6e 73 74 61 6e 74 06 02 3d 07 41 92 01 05 05 06 41 93 01 0f 05 40 7f 01 | A.....constant..=.A.....A....@.. |
| 1400 | 41 94 01 0f 05 40 66 01 41 95 01 0f 05 41 73 01 41 96 01 0f 05 41 79 01 41 97 01 0f 05 40 d3 01 | A....@f.A....As.A....Ay.A....@.. |
| 1420 | 01 01 41 98 01 07 05 05 41 99 01 06 05 02 28 01 41 9a 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 | ..A.....A.....(.A.....terms..+=. |
| 1440 | 41 9b 01 0f 05 41 9c 01 0d 02 0b 56 4c 53 46 6f 66 54 65 72 6d 03 41 9d 01 03 02 40 57 03 41 17 | A....A.....VLSFofTerm.A....@W.A. |
| 1460 | 01 04 41 9e 01 05 05 04 41 9f 01 0f 05 41 2c 01 41 a0 01 0f 05 41 a1 01 0d 02 0f 56 4c 53 46 75 | ..A.....A....A,.A....A.....VLSFu |
| 1480 | 6e 63 74 69 6f 6e 46 6f 66 03 41 a2 01 03 02 40 57 03 41 a3 02 03 00 03 11 2f 2f 56 4c 53 46 75 | nctionFof.A....@W.A......//VLSFu |
| 14a0 | 6e 63 74 69 6f 6e 46 6f 66 01 04 41 a4 01 07 05 03 41 a5 01 0e 05 08 66 75 6e 63 74 6f 72 06 02 | nctionFof..A.....A.....functor.. |
| 14c0 | 3d 07 41 a6 01 05 05 05 41 a7 01 0f 05 40 7f 01 41 a8 01 0f 05 40 66 01 41 a9 01 0f 05 41 73 01 | =.A.....A....@..A....@f.A....As. |
| 14e0 | 41 aa 01 0f 05 41 79 01 01 01 41 ab 01 07 02 02 3f 05 05 41 ac 01 06 05 02 28 01 41 ad 01 0e 05 | A....Ay...A.....?..A.....(.A.... |
| 1500 | 06 74 65 72 6d 73 06 03 2b 3d 07 41 ae 01 0f 05 41 9c 01 01 41 af 01 07 02 02 2a 05 03 41 b0 01 | .terms..+=.A....A...A.....*..A.. |
| 1520 | 06 05 02 2c 01 41 b1 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 b2 01 0f 05 41 9c 01 01 01 41 | ...,.A.....terms..+=.A....A....A |
| 1540 | b3 01 06 05 02 29 01 01 01 01 01 41 b4 01 0f 05 41 b5 01 0d 02 0f 56 4c 53 44 65 66 69 6e 65 64 | .....).....A....A.....VLSDefined |
| 1560 | 54 65 72 6d 03 41 b6 01 03 02 40 57 03 41 b7 02 03 00 03 11 2f 2f 56 4c 53 44 65 66 69 6e 65 64 | Term.A....@W.A......//VLSDefined |
| 1580 | 54 65 72 6d 01 04 41 b8 01 05 05 05 41 b9 01 07 05 03 41 ba 01 10 05 41 bb 01 03 02 40 57 03 41 | Term..A.....A.....A....A....@W.A |
| 15a0 | bc 02 03 00 03 09 2f 2f 56 4c 53 49 6e 74 01 01 41 bd 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 | ......//VLSInt..A.....value..=.A |
| 15c0 | be 01 0f 05 40 9f 01 01 01 41 bf 01 07 05 03 41 c0 01 10 05 41 c1 01 03 02 40 57 03 41 c2 02 03 | ....@....A.....A....A....@W.A... |
| 15e0 | 00 03 0a 2f 2f 56 4c 53 52 65 61 6c 01 01 41 c3 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 c4 01 | ...//VLSReal..A.....value..=.A.. |
| 1600 | 0f 05 41 c5 01 02 02 0f 53 49 47 4e 45 44 5f 52 45 41 4c 5f 49 44 03 41 c6 01 03 02 05 03 07 01 | ..A.....SIGNED_REAL_ID.A........ |
| 1620 | 04 41 c7 01 07 05 03 41 c8 01 0f 02 02 2a 05 40 a3 01 41 c9 01 05 05 03 41 ca 01 0f 05 41 cb 01 | .A.....A.....*.@..A.....A....A.. |
| 1640 | 02 02 16 55 4e 53 49 47 4e 45 44 5f 52 45 41 4c 5f 46 52 41 43 5f 49 44 03 41 cc 01 03 02 05 03 | ...UNSIGNED_REAL_FRAC_ID.A...... |
| 1660 | 07 01 04 41 cd 01 07 05 04 41 ce 01 0f 05 40 95 01 41 cf 01 06 05 02 2e 01 41 d0 01 0f 05 35 01 | ...A.....A....@..A.......A....5. |
| 1680 | 01 01 01 41 d1 01 0f 05 41 d2 01 02 02 15 55 4e 53 49 47 4e 45 44 5f 52 45 41 4c 5f 45 58 50 5f | ...A....A.....UNSIGNED_REAL_EXP_ |
| 16a0 | 49 44 03 41 d3 01 03 02 05 03 07 01 04 41 d4 01 07 05 05 41 d5 01 05 05 03 41 d6 01 0f 05 40 95 | ID.A.........A.....A.....A....@. |
| 16c0 | 01 41 d7 01 0f 05 41 cb 01 01 41 d8 01 06 05 03 45 65 01 41 d9 01 0f 02 02 2a 05 40 a3 01 41 da | .A....A...A.....Ee.A.....*.@..A. |
| 16e0 | 01 0f 05 35 01 01 01 01 01 01 01 01 01 01 41 db 01 07 05 03 41 dc 01 10 05 41 dd 01 03 02 40 57 | ...5..........A.....A....A....@W |
| 1700 | 03 41 de 02 03 00 03 0e 2f 2f 56 4c 53 52 61 74 69 6f 6e 61 6c 01 01 41 df 01 0e 05 06 76 61 6c | .A......//VLSRational..A.....val |
| 1720 | 75 65 06 02 3d 07 41 e0 01 0f 05 41 e1 01 02 02 0e 53 49 47 4e 45 44 5f 52 41 54 5f 49 44 03 41 | ue..=.A....A.....SIGNED_RAT_ID.A |
| 1740 | e2 01 03 02 05 03 07 01 04 41 e3 01 07 05 03 41 e4 01 0f 02 02 2a 05 40 a3 01 41 e5 01 0f 05 41 | .........A.....A.....*.@..A....A |
| 1760 | e6 01 02 02 10 55 4e 53 49 47 4e 45 44 5f 52 41 54 5f 49 44 03 41 e7 01 03 02 05 03 07 01 04 41 | .....UNSIGNED_RAT_ID.A.........A |
| 1780 | e8 01 07 05 05 41 e9 01 0f 05 40 95 01 41 ea 01 06 05 02 2f 01 41 eb 01 0a 05 41 ec 01 06 05 02 | .....A....@..A...../.A....A..... |
| 17a0 | 31 01 06 41 ed 01 06 05 02 39 01 01 41 ee 01 0f 02 02 3f 05 35 01 01 01 01 01 01 01 01 01 41 ef | 1..A.....9..A.....?.5.........A. |
| 17c0 | 01 07 05 03 41 f0 01 10 05 41 f1 01 03 02 40 57 03 41 f2 02 03 00 03 11 2f 2f 56 4c 53 44 6f 75 | ....A....A....@W.A......//VLSDou |
| 17e0 | 62 6c 65 51 75 6f 74 65 01 01 41 f3 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 f4 01 0f 05 41 f5 | bleQuote..A.....value..=.A....A. |
| 1800 | 01 02 02 0d 44 4f 55 42 4c 45 5f 51 55 4f 54 45 03 41 f6 01 03 02 05 03 07 01 04 41 f7 01 07 05 | ....DOUBLE_QUOTE.A.........A.... |
| 1820 | 04 41 f8 01 06 05 02 22 01 41 f9 01 05 02 02 2a 05 03 41 fa 01 07 05 03 41 fb 01 06 05 02 5c 01 | .A.....".A.....*..A.....A.....\. |
| 1840 | 41 fc 01 05 05 03 41 fd 01 06 05 02 22 01 41 fe 01 06 05 02 5c 01 01 01 41 ff 01 09 05 42 00 01 | A.....A.....".A.....\...A....B.. |
| 1860 | 05 05 03 42 01 01 06 05 02 5c 01 42 02 01 06 05 02 22 01 01 01 01 42 03 01 06 05 02 22 01 01 01 | ...B.....\.B....."....B....."... |
| 1880 | 01 01 01 01 01 01 01 01 01 01 42 04 01 07 02 02 2a 05 03 42 05 01 06 05 02 2c 01 42 06 01 0e 05 | ..........B.....*..B.....,.B.... |
| 18a0 | 06 74 65 72 6d 73 06 03 2b 3d 07 42 07 01 0f 05 41 9c 01 01 01 42 08 01 06 05 02 29 01 01 01 42 | .terms..+=.B....A....B.....)...B |
| 18c0 | 09 01 07 05 08 42 0a 01 10 05 42 0b 01 03 02 40 57 03 42 0c 02 03 00 03 0a 2f 2f 56 4c 53 4c 65 | .....B....B....@W.B......//VLSLe |
| 18e0 | 73 73 01 01 42 0d 01 0e 05 05 6e 61 6d 65 06 02 3d 07 42 0e 01 06 05 06 24 6c 65 73 73 01 01 42 | ss..B.....name..=.B.....$less..B |
| 1900 | 0f 01 06 05 02 28 01 42 10 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 42 11 01 0f 05 41 9c 01 01 | .....(.B.....terms..+=.B....A... |
| 1920 | 42 12 01 06 05 02 2c 01 42 13 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 42 14 01 0f 05 41 9c 01 | B.....,.B.....terms..+=.B....A.. |
| 1940 | 01 42 15 01 06 05 02 29 01 01 01 01 01 42 16 01 0f 05 41 2c 01 42 17 01 0f 05 41 b5 01 01 01 01 | .B.....).....B....A,.B....A..... |
| 1960 | 42 18 01 07 02 02 3f 05 03 42 19 01 05 05 04 42 1a 01 07 05 03 42 1b 01 10 05 42 1c 01 03 02 40 | B.....?..B.....B.....B....B....@ |
| 1980 | 57 03 42 1d 02 03 00 03 10 2f 2f 56 4c 53 49 6e 65 71 75 61 6c 69 74 79 01 06 08 66 65 61 74 75 | W.B......//VLSInequality...featu |
| 19a0 | 72 65 05 6c 65 66 74 07 09 6f 70 65 72 61 74 6f 72 02 3d 01 42 1e 01 06 05 03 21 3d 01 01 42 1f | re.left..operator.=.B.....!=..B. |
| 19c0 | 01 07 05 03 42 20 01 10 05 42 21 01 03 02 40 57 03 42 22 02 03 00 03 0e 2f 2f 56 4c 53 45 71 75 | ....B....B!...@W.B".....//VLSEqu |
| 19e0 | 61 6c 69 74 79 01 06 05 6c 65 66 74 07 02 3d 01 42 23 01 06 05 02 3d 01 01 42 24 01 07 05 03 42 | ality...left..=.B#....=..B$....B |
| 1a00 | 25 01 10 05 42 26 01 03 02 40 57 03 42 27 02 03 00 03 10 2f 2f 56 4c 53 41 73 73 69 67 6e 6d 65 | %...B&...@W.B'.....//VLSAssignme |
| 1a20 | 6e 74 01 06 05 6c 65 66 74 07 02 3d 01 42 28 01 06 05 03 3a 3d 01 01 01 42 29 01 0e 05 06 72 69 | nt...left..=.B(....:=...B)....ri |
| 1a40 | 67 68 74 06 02 3d 07 42 2a 01 0f 05 41 63 01 01 01 01 01 01 42 2b 01 07 05 04 42 2c 01 06 05 02 | ght..=.B*...Ac......B+....B,.... |
| 1a60 | 28 01 42 2d 01 0f 05 41 15 01 42 2e 01 06 05 02 29 01 01 01 01 01 42 2f 01 05 02 02 3f 05 04 42 | (.B-...A..B.....).....B/....?..B |
| 1a80 | 30 01 07 05 03 42 31 01 05 05 07 42 32 01 07 05 03 42 33 01 10 05 42 34 01 03 02 40 57 03 42 35 | 0....B1....B2....B3...B4...@W.B5 |
| 1aa0 | 02 03 00 03 10 2f 2f 56 4c 53 45 71 75 69 76 61 6c 65 6e 74 01 06 05 6c 65 66 74 07 02 3d 01 42 | .....//VLSEquivalent...left..=.B |
| 1ac0 | 36 01 06 05 04 3c 3d 3e 01 01 42 37 01 07 05 03 42 38 01 10 05 42 39 01 03 02 40 57 03 42 3a 02 | 6....<=>..B7....B8...B9...@W.B:. |
| 1ae0 | 03 00 03 0d 2f 2f 56 4c 53 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 07 02 3d 01 42 3b 01 06 05 | ....//VLSImplies...left..=.B;... |
| 1b00 | 03 3d 3e 01 01 42 3c 01 07 05 03 42 3d 01 10 05 42 3e 01 03 02 40 57 03 42 3f 02 03 00 03 10 2f | .=>..B<....B=...B>...@W.B?...../ |
| 1b20 | 2f 56 4c 53 52 65 76 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 07 02 3d 01 42 40 01 06 05 03 3c | /VLSRevImplies...left..=.B@....< |
| 1b40 | 3d 01 01 42 41 01 07 05 03 42 42 01 10 05 42 43 01 03 02 40 57 03 42 44 02 03 00 03 0a 2f 2f 56 | =..BA....BB...BC...@W.BD.....//V |
| 1b60 | 4c 53 58 6e 6f 72 01 06 05 6c 65 66 74 07 02 3d 01 42 45 01 06 05 04 3c 7e 3e 01 01 42 46 01 07 | LSXnor...left..=.BE....<~>..BF.. |
| 1b80 | 05 03 42 47 01 10 05 42 48 01 03 02 40 57 03 42 49 02 03 00 03 09 2f 2f 56 4c 53 4e 6f 72 01 06 | ..BG...BH...@W.BI.....//VLSNor.. |
| 1ba0 | 05 6c 65 66 74 07 02 3d 01 42 4a 01 06 05 03 7e 7c 01 01 42 4b 01 07 05 03 42 4c 01 10 05 42 4d | .left..=.BJ....~|..BK....BL...BM |
| 1bc0 | 01 03 02 40 57 03 42 4e 02 03 00 03 0a 2f 2f 56 4c 53 4e 61 6e 64 01 06 05 6c 65 66 74 07 02 3d | ...@W.BN.....//VLSNand...left..= |
| 1be0 | 01 42 4f 01 06 05 03 7e 26 01 01 01 42 50 01 0e 05 06 72 69 67 68 74 06 02 3d 07 42 51 01 0f 05 | .BO....~&...BP....right..=.BQ... |
| 1c00 | 41 1d 01 01 01 42 52 01 07 02 02 2b 05 04 42 53 01 10 05 42 54 01 03 02 40 57 03 42 55 02 03 00 | A....BR....+..BS...BT...@W.BU... |
| 1c20 | 03 09 2f 2f 56 4c 53 41 6e 64 01 06 05 6c 65 66 74 07 02 3d 01 42 56 01 06 05 02 26 01 42 57 01 | ..//VLSAnd...left..=.BV....&.BW. |
| 1c40 | 0e 05 06 72 69 67 68 74 06 02 3d 07 42 58 01 0f 05 41 1d 01 01 01 42 59 01 07 02 02 2b 05 04 42 | ...right..=.BX...A....BY....+..B |
| 1c60 | 5a 01 10 05 42 5b 01 03 02 40 57 03 42 5c 02 03 00 03 08 2f 2f 56 4c 53 4f 72 01 06 05 6c 65 66 | Z...B[...@W.B\.....//VLSOr...lef |
| 1c80 | 74 07 02 3d 01 42 5d 01 06 05 02 7c 01 42 5e 01 0e 05 06 72 69 67 68 74 06 02 3d 07 42 5f 01 0f | t..=.B]....|.B^....right..=.B_.. |
| 1ca0 | 05 41 1d 01 01 01 01 01 01 01 01 01 01 42 60 01 07 02 02 3f 05 03 42 61 01 06 05 02 2c 01 42 62 | .A...........B`....?..Ba....,.Bb |
| 1cc0 | 01 0e 05 0c 61 6e 6e 6f 74 61 74 69 6f 6e 73 06 02 3d 07 42 63 01 0f 05 42 64 01 0d 02 0e 56 4c | ....annotations..=.Bc...Bd....VL |
| 1ce0 | 53 41 6e 6e 6f 74 61 74 69 6f 6e 03 42 65 01 03 02 40 57 03 42 66 02 03 00 03 10 2f 2f 56 4c 53 | SAnnotation.Be...@W.Bf.....//VLS |
| 1d00 | 41 6e 6e 6f 74 61 74 69 6f 6e 01 04 42 67 01 07 05 05 42 68 01 06 02 02 3f 05 02 5b 01 42 69 01 | Annotation..Bg....Bh....?..[.Bi. |
| 1d20 | 0e 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 3f 05 05 6e 61 6d 65 06 02 3d 07 42 6a 01 05 05 04 | ...cardinality.?..name..=.Bj.... |
| 1d40 | 42 6b 01 0f 05 40 7f 01 42 6c 01 0f 05 40 66 01 42 6d 01 0f 05 40 d3 01 01 01 42 6e 01 07 02 02 | Bk...@..Bl...@f.Bm...@....Bn.... |
| 1d60 | 3f 05 04 42 6f 01 06 05 02 28 01 42 70 01 0e 05 09 66 6f 6c 6c 6f 77 75 70 06 02 3d 07 42 71 01 | ?..Bo....(.Bp....followup..=.Bq. |
| 1d80 | 0f 05 42 72 01 0d 02 13 56 4c 53 41 6e 6e 6f 74 61 74 69 6f 6e 54 65 72 6d 73 03 42 73 01 03 02 | ..Br....VLSAnnotationTerms.Bs... |
| 1da0 | 40 57 03 42 66 01 04 42 74 01 07 05 03 42 75 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 42 76 01 | @W.Bf..Bt....Bu....terms..+=.Bv. |
| 1dc0 | 0f 05 42 64 01 01 42 77 01 07 02 02 2a 05 03 42 78 01 06 05 02 2c 01 42 79 01 0e 05 06 74 65 72 | ..Bd..Bw....*..Bx....,.By....ter |
| 1de0 | 6d 73 06 03 2b 3d 07 42 7a 01 0f 05 42 64 01 01 01 01 01 01 01 42 7b 01 06 05 02 29 01 01 42 7c | ms..+=.Bz...Bd.......B{....)..B| |
| 1e00 | 01 06 02 02 3f 05 02 5d 01 01 01 01 01 01 42 7d 01 06 05 02 29 01 42 7e 01 06 05 02 2e 01 01 01 | ....?..]......B}....).B~........ |
| 1e20 | 01 01 01 01 40 86 41 31 40 7f 41 f5 40 66 40 a3 41 73 41 79 40 95 40 9f 41 cb 41 d2 41 c5 41 e6 | ....@.A1@.A.@f@.AsAy@.@.A.A.A.A. |
| 1e40 | 41 e1 40 bd 40 ba 40 b7 40 5f 40 79 40 b0 40 c5 40 d3 40 d7 40 db 40 df 40 e3 40 e7 40 eb 40 ef | A.@.@.@.@_@y@.@.@.@.@.@.@.@.@.@. |
| 1e60 | 40 f3 40 f7 40 fb 40 ff 41 03 41 07 41 0b 41 0f 42 64 42 72 41 15 41 19 41 1d 41 21 41 41 41 55 | @.@.@.@.A.A.A.A.BdBrA.A.A.A!AAAU |
| 1e80 | 41 5f 41 63 41 67 41 8a 41 2c 41 9c 41 a1 41 b5 01 02 01 | A_AcAgA.A,A.A.A.... |
 |
index : VIATRA-Generator | |
| Mirror of https://github.com/viatra/VIATRA-Generator | Contributors to the VIATRA Generator project |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtextbin
blob: 0b4b981ce7a37297a117805f342ede5756f3690b (plain)