blob: cecbbe313e79cb9e814d0e1e60519011f765eddb (plain)

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 2c 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 0f 05 41 09 01 41 1b 01 06 05 02 3a 01 41 1c 01 0e 05 05 74 79	..A.....A....A..A.....:.A.....ty
0ee0	70 65 06 02 3d 07 41 1d 01 0f 05 41 1e 01 0d 02 0b 56 4c 53 54 79 70 65 44 65 66 03 41 1f 01 03	pe..=.A....A.....VLSTypeDef.A...
0f00	02 40 57 03 41 20 02 03 00 03 0d 2f 2f 56 4c 53 54 79 70 65 44 65 66 01 04 41 21 01 07 05 03 41	.@W.A......//VLSTypeDef..A!....A
0f20	22 01 0e 05 08 74 79 70 65 53 69 67 06 02 3d 07 41 23 01 0f 05 41 24 01 0d 02 0f 56 4c 53 55 6e	"....typeSig..=.A#...A$....VLSUn
0f40	69 74 61 72 79 54 65 72 6d 03 41 25 01 03 02 40 57 03 41 20 01 04 41 26 01 07 05 03 41 27 01 0e	itaryTerm.A%...@W.A...A&....A'..
0f60	05 09 69 6e 69 74 54 79 70 65 06 02 3d 07 41 28 01 0f 05 41 29 01 0d 02 0a 56 4c 53 41 74 6f 6d	..initType..=.A(...A)....VLSAtom
0f80	69 63 03 41 2a 01 03 02 40 57 03 40 f3 01 04 41 2b 01 05 05 05 41 2c 01 0f 05 41 2d 01 0d 02 12	ic.A*...@W.@...A+....A,...A-....
0fa0	56 4c 53 41 74 6f 6d 69 63 43 6f 6e 73 74 61 6e 74 03 41 2e 01 03 02 40 57 03 40 f3 01 04 41 2f	VLSAtomicConstant.A....@W.@...A/
0fc0	01 05 05 04 41 30 01 07 05 03 41 31 01 10 05 41 32 01 03 02 40 57 03 41 33 02 03 00 03 0e 2f 2f	....A0....A1...A2...@W.A3.....//
0fe0	56 4c 53 43 6f 6e 73 74 61 6e 74 01 01 41 34 01 0e 05 05 6e 61 6d 65 06 02 3d 07 41 35 01 05 05	VLSConstant..A4....name..=.A5...
1000	06 41 36 01 0f 05 40 aa 01 41 37 01 0f 05 40 ca 01 41 38 01 0f 05 41 39 01 02 02 0a 44 4f 4c 4c	.A6...@..A7...@..A8...A9....DOLL
1020	41 52 5f 49 44 03 41 3a 01 03 02 05 03 07 01 04 41 3b 01 07 05 03 41 3c 01 06 05 02 24 01 41 3d	AR_ID.A:........A;....A<....$.A=
1040	01 0f 05 40 aa 01 01 01 01 41 3e 01 0f 05 41 3f 01 02 02 11 44 4f 55 42 4c 45 5f 44 4f 4c 4c 41	...@.....A>...A?....DOUBLE_DOLLA
1060	52 5f 49 44 03 41 40 01 03 02 05 03 07 01 04 41 41 01 07 05 03 41 42 01 06 05 03 24 24 01 41 43	R_ID.A@........AA....AB....$$.AC
1080	01 0f 05 40 aa 01 01 01 01 41 44 01 0f 05 40 dc 01 01 01 01 41 45 01 07 05 03 41 46 01 10 05 41	...@.....AD...@.....AE....AF...A
10a0	47 01 03 02 40 57 03 41 48 02 03 00 03 0a 2f 2f 56 4c 53 54 72 75 65 01 01 41 49 01 06 05 06 24	G...@W.AH.....//VLSTrue..AI....$
10c0	74 72 75 65 01 01 41 4a 01 07 05 03 41 4b 01 10 05 41 4c 01 03 02 40 57 03 41 4d 02 03 00 03 0b	true..AJ....AK...AL...@W.AM.....
10e0	2f 2f 56 4c 53 46 61 6c 73 65 01 01 41 4e 01 06 05 07 24 66 61 6c 73 65 01 01 01 01 01 41 4f 01	//VLSFalse..AN....$false.....AO.
1100	0f 05 41 50 01 0d 02 12 56 4c 53 41 74 6f 6d 69 63 46 75 6e 63 74 69 6f 6e 03 41 51 01 03 02 40	..AP....VLSAtomicFunction.AQ...@
1120	57 03 40 f3 01 04 41 52 01 05 05 03 41 53 01 07 05 04 41 54 01 10 05 41 55 01 03 02 40 57 03 41	W.@...AR....AS....AT...AU...@W.A
1140	56 02 03 00 03 0e 2f 2f 56 4c 53 46 75 6e 63 74 69 6f 6e 01 01 41 57 01 0e 05 09 63 6f 6e 73 74	V.....//VLSFunction..AW....const
1160	61 6e 74 06 02 3d 07 41 58 01 05 05 06 41 59 01 0f 05 40 aa 01 41 5a 01 0f 05 40 ca 01 41 5b 01	ant..=.AX....AY...@..AZ...@..A[.
1180	0f 05 41 39 01 41 5c 01 0f 05 41 3f 01 41 5d 01 0f 05 40 dc 01 01 01 41 5e 01 07 05 05 41 5f 01	..A9.A\...A?.A]...@....A^....A_.
11a0	06 05 02 28 01 41 60 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 61 01 0f 05 41 62 01 0d 02 0b	...(.A`....terms..+=.Aa...Ab....
11c0	56 4c 53 46 6f 66 54 65 72 6d 03 41 63 01 03 02 40 57 03 40 f3 01 04 41 64 01 05 05 04 41 65 01	VLSFofTerm.Ac...@W.@...Ad....Ae.
11e0	0f 05 41 09 01 41 66 01 0f 05 41 67 01 0d 02 12 56 4c 53 46 75 6e 63 74 69 6f 6e 41 73 54 65 72	..A..Af...Ag....VLSFunctionAsTer
1200	6d 03 41 68 01 03 02 40 57 03 41 69 02 03 00 03 14 2f 2f 56 4c 53 46 75 6e 63 74 69 6f 6e 41 73	m.Ah...@W.Ai.....//VLSFunctionAs
1220	54 65 72 6d 01 04 41 6a 01 07 05 03 41 6b 01 0e 05 08 66 75 6e 63 74 6f 72 06 02 3d 07 41 6c 01	Term..Aj....Ak....functor..=.Al.
1240	05 05 05 41 6d 01 0f 05 40 aa 01 41 6e 01 0f 05 40 ca 01 41 6f 01 0f 05 41 39 01 41 70 01 0f 05	...Am...@..An...@..Ao...A9.Ap...
1260	41 3f 01 01 01 41 71 01 07 02 02 3f 05 05 41 72 01 06 05 02 28 01 41 73 01 0e 05 06 74 65 72 6d	A?...Aq....?..Ar....(.As....term
1280	73 06 03 2b 3d 07 41 74 01 0f 05 41 62 01 01 41 75 01 07 02 02 2a 05 03 41 76 01 06 05 02 2c 01	s..+=.At...Ab..Au....*..Av....,.
12a0	41 77 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 78 01 0f 05 41 62 01 01 01 41 79 01 06 05 02	Aw....terms..+=.Ax...Ab...Ay....
12c0	29 01 01 01 01 01 41 7a 01 0f 05 41 7b 01 0d 02 0f 56 4c 53 44 65 66 69 6e 65 64 54 65 72 6d 03	).....Az...A{....VLSDefinedTerm.
12e0	41 7c 01 03 02 40 57 03 41 7d 02 03 00 03 11 2f 2f 56 4c 53 44 65 66 69 6e 65 64 54 65 72 6d 01	A|...@W.A}.....//VLSDefinedTerm.
1300	04 41 7e 01 05 05 03 41 7f 01 07 05 03 41 80 01 10 05 41 81 01 03 02 40 57 03 41 82 02 03 00 03	.A~....A.....A....A....@W.A.....
1320	09 2f 2f 56 4c 53 49 6e 74 01 01 41 83 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 84 01 0f 05 40	.//VLSInt..A.....value..=.A....@
1340	bf 01 01 01 41 85 01 07 05 03 41 86 01 10 05 41 87 01 03 02 40 57 03 41 88 02 03 00 03 11 2f 2f	....A.....A....A....@W.A......//
1360	56 4c 53 44 6f 75 62 6c 65 51 75 6f 74 65 01 01 41 89 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41	VLSDoubleQuote..A.....value..=.A
1380	8a 01 0f 05 41 8b 01 02 02 0d 44 4f 55 42 4c 45 5f 51 55 4f 54 45 03 41 8c 01 03 02 05 03 07 01	....A.....DOUBLE_QUOTE.A........
13a0	04 41 8d 01 07 05 04 41 8e 01 06 05 02 22 01 41 8f 01 05 02 02 2a 05 03 41 90 01 07 05 03 41 91	.A.....A.....".A.....*..A.....A.
13c0	01 06 05 02 5c 01 41 92 01 05 05 03 41 93 01 06 05 02 22 01 41 94 01 06 05 02 5c 01 01 01 41 95	....\.A.....A.....".A.....\...A.
13e0	01 09 05 41 96 01 05 05 03 41 97 01 06 05 02 5c 01 41 98 01 06 05 02 22 01 01 01 01 41 99 01 06	...A.....A.....\.A....."....A...
1400	05 02 22 01 01 01 01 01 01 01 01 01 01 01 01 01 41 9a 01 07 02 02 2a 05 03 41 9b 01 06 05 02 2c	..".............A.....*..A.....,
1420	01 41 9c 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 9d 01 0f 05 41 62 01 01 01 41 9e 01 06 05	.A.....terms..+=.A....Ab...A....
1440	02 29 01 01 01 41 9f 01 07 05 08 41 a0 01 10 05 41 a1 01 03 02 40 57 03 41 a2 02 03 00 03 0a 2f	.)...A.....A....A....@W.A....../
1460	2f 56 4c 53 4c 65 73 73 01 01 41 a3 01 0e 05 05 6e 61 6d 65 06 02 3d 07 41 a4 01 06 05 06 24 6c	/VLSLess..A.....name..=.A.....$l
1480	65 73 73 01 01 41 a5 01 06 05 02 28 01 41 a6 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 a7 01	ess..A.....(.A.....terms..+=.A..
14a0	0f 05 41 62 01 01 41 a8 01 06 05 02 2c 01 41 a9 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 41 aa	..Ab..A.....,.A.....terms..+=.A.
14c0	01 0f 05 41 62 01 01 41 ab 01 06 05 02 29 01 01 01 01 01 41 ac 01 0f 05 41 09 01 41 ad 01 0f 05	...Ab..A.....).....A....A..A....
14e0	41 7b 01 01 01 01 01 41 ae 01 07 02 02 2a 05 03 41 af 01 06 05 02 2a 01 41 b0 01 0e 05 09 6e 65	A{.....A.....*..A.....*.A.....ne
1500	78 74 54 79 70 65 06 02 3d 07 41 b1 01 0f 05 41 2d 01 01 01 01 01 01 01 41 b2 01 07 02 02 3f 05	xtType..=.A....A-.......A.....?.
1520	03 41 b3 01 06 05 02 3e 01 41 b4 01 0e 05 07 6d 61 70 73 54 6f 06 02 3d 07 41 b5 01 0f 05 41 2d	.A.....>.A.....mapsTo..=.A....A-
1540	01 01 01 01 01 01 01 01 01 01 01 01 41 b6 01 07 02 02 2a 05 03 41 b7 01 06 05 02 2c 01 41 b8 01	............A.....*..A.....,.A..
1560	0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 b9 01 05 05 03 41 ba 01 0f 05 41 09 01 41	...variables..+=.A.....A....A..A
1580	bb 01 0f 05 41 16 01 01 01 01 41 bc 01 06 05 02 5d 01 41 bd 01 06 05 02 3a 01 01 41 be 01 0e 05	....A.....A.....].A.....:..A....
15a0	08 6f 70 65 72 61 6e 64 06 02 3d 07 41 bf 01 0f 05 40 f9 01 01 01 01 01 41 c0 01 0f 05 41 c1 01	.operand..=.A....@......A....A..
15c0	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 03 41 c2 01 03	...VLSExistentialQuantifier.A...
15e0	02 40 57 03 40 f3 01 04 41 c3 01 07 05 04 41 c4 01 10 05 41 c5 01 03 02 40 57 03 41 c6 02 03 00	.@W.@...A.....A....A....@W.A....
1600	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 72 01 01 41 c7	..//VLSExistentialQuantifier..A.
1620	01 07 05 07 41 c8 01 06 05 02 3f 01 41 c9 01 06 05 02 5b 01 41 ca 01 0e 05 0a 76 61 72 69 61 62	....A.....?.A.....[.A.....variab
1640	6c 65 73 06 03 2b 3d 07 41 cb 01 05 05 03 41 cc 01 0f 05 41 09 01 41 cd 01 0f 05 41 16 01 01 01	les..+=.A.....A....A..A....A....
1660	41 ce 01 07 02 02 2a 05 03 41 cf 01 06 05 02 2c 01 41 d0 01 0e 05 0a 76 61 72 69 61 62 6c 65 73	A.....*..A.....,.A.....variables
1680	06 03 2b 3d 07 41 d1 01 05 05 03 41 d2 01 0f 05 41 09 01 41 d3 01 0f 05 41 16 01 01 01 01 41 d4	..+=.A.....A....A..A....A.....A.
16a0	01 06 05 02 5d 01 41 d5 01 06 05 02 3a 01 01 41 d6 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07	....].A.....:..A.....operand..=.
16c0	41 d7 01 0f 05 40 f9 01 01 01 01 01 41 d8 01 0f 05 41 d9 01 0d 02 11 56 4c 53 55 6e 61 72 79 4e	A....@......A....A.....VLSUnaryN
16e0	65 67 61 74 69 6f 6e 03 41 da 01 03 02 40 57 03 40 f3 01 04 41 db 01 07 05 04 41 dc 01 10 05 41	egation.A....@W.@...A.....A....A
1700	dd 01 03 02 40 57 03 41 de 02 03 00 03 13 2f 2f 56 4c 53 55 6e 61 72 79 4e 65 67 61 74 69 6f 6e	....@W.A......//VLSUnaryNegation
1720	01 01 41 df 01 06 05 02 7e 01 41 e0 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 e1 01 0f 05	..A.....~.A.....operand..=.A....
1740	40 f9 01 01 01 01 01 41 e2 01 0f 05 41 e3 01 0d 02 0e 56 4c 53 55 6e 61 72 79 49 6e 66 69 78 03	@......A....A.....VLSUnaryInfix.
1760	41 e4 01 03 02 40 57 03 40 f3 01 04 41 e5 01 07 05 03 41 e6 01 0f 05 41 29 01 41 e7 01 07 02 02	A....@W.@...A.....A....A).A.....
1780	3f 05 03 41 e8 01 05 05 04 41 e9 01 07 05 03 41 ea 01 10 05 41 eb 01 03 02 40 57 03 41 ec 02 03	?..A.....A.....A....A....@W.A...
17a0	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 72 65 05 6c 65 66	...//VLSInequality...feature.lef
17c0	74 07 09 6f 70 65 72 61 74 6f 72 02 3d 01 41 ed 01 06 05 03 21 3d 01 01 41 ee 01 07 05 03 41 ef	t..operator.=.A.....!=..A.....A.
17e0	01 10 05 41 f0 01 03 02 40 57 03 41 f1 02 03 00 03 0e 2f 2f 56 4c 53 45 71 75 61 6c 69 74 79 01	...A....@W.A......//VLSEquality.
1800	06 05 6c 65 66 74 07 02 3d 01 41 f2 01 06 05 02 3d 01 01 41 f3 01 07 05 03 41 f4 01 10 05 41 f5	..left..=.A.....=..A.....A....A.
1820	01 03 02 40 57 03 41 f6 02 03 00 03 10 2f 2f 56 4c 53 41 73 73 69 67 6e 6d 65 6e 74 01 06 05 6c	...@W.A......//VLSAssignment...l
1840	65 66 74 07 02 3d 01 41 f7 01 06 05 03 3a 3d 01 01 01 41 f8 01 0e 05 06 72 69 67 68 74 06 02 3d	eft..=.A.....:=...A.....right..=
1860	07 41 f9 01 0f 05 41 29 01 01 01 01 01 01 41 fa 01 07 05 04 41 fb 01 06 05 02 28 01 41 fc 01 0f	.A....A)......A.....A.....(.A...
1880	05 40 f1 01 41 fd 01 06 05 02 29 01 01 01 01 01 41 fe 01 05 02 02 3f 05 04 41 ff 01 07 05 03 42	.@..A.....).....A.....?..A.....B
18a0	00 01 05 05 07 42 01 01 07 05 03 42 02 01 10 05 42 03 01 03 02 40 57 03 42 04 02 03 00 03 10 2f	.....B.....B....B....@W.B....../
18c0	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 05 01 06 05 04 3c	/VLSEquivalent...left..=.B.....<
18e0	3d 3e 01 01 42 06 01 07 05 03 42 07 01 10 05 42 08 01 03 02 40 57 03 42 09 02 03 00 03 0d 2f 2f	=>..B.....B....B....@W.B......//
1900	56 4c 53 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 07 02 3d 01 42 0a 01 06 05 03 3d 3e 01 01 42	VLSImplies...left..=.B.....=>..B
1920	0b 01 07 05 03 42 0c 01 10 05 42 0d 01 03 02 40 57 03 42 0e 02 03 00 03 10 2f 2f 56 4c 53 52 65	.....B....B....@W.B......//VLSRe
1940	76 49 6d 70 6c 69 65 73 01 06 05 6c 65 66 74 07 02 3d 01 42 0f 01 06 05 03 3c 3d 01 01 42 10 01	vImplies...left..=.B.....<=..B..
1960	07 05 03 42 11 01 10 05 42 12 01 03 02 40 57 03 42 13 02 03 00 03 0a 2f 2f 56 4c 53 58 6e 6f 72	...B....B....@W.B......//VLSXnor
1980	01 06 05 6c 65 66 74 07 02 3d 01 42 14 01 06 05 04 3c 7e 3e 01 01 42 15 01 07 05 03 42 16 01 10	...left..=.B.....<~>..B.....B...
19a0	05 42 17 01 03 02 40 57 03 42 18 02 03 00 03 09 2f 2f 56 4c 53 4e 6f 72 01 06 05 6c 65 66 74 07	.B....@W.B......//VLSNor...left.
19c0	02 3d 01 42 19 01 06 05 03 7e 7c 01 01 42 1a 01 07 05 03 42 1b 01 10 05 42 1c 01 03 02 40 57 03	.=.B.....~|..B.....B....B....@W.
19e0	42 1d 02 03 00 03 0a 2f 2f 56 4c 53 4e 61 6e 64 01 06 05 6c 65 66 74 07 02 3d 01 42 1e 01 06 05	B......//VLSNand...left..=.B....
1a00	03 7e 26 01 01 01 42 1f 01 0e 05 06 72 69 67 68 74 06 02 3d 07 42 20 01 0f 05 40 f9 01 01 01 42	.~&...B.....right..=.B....@....B
1a20	21 01 07 02 02 2b 05 04 42 22 01 10 05 42 23 01 03 02 40 57 03 42 24 02 03 00 03 09 2f 2f 56 4c	!....+..B"...B#...@W.B$.....//VL
1a40	53 41 6e 64 01 06 05 6c 65 66 74 07 02 3d 01 42 25 01 06 05 02 26 01 42 26 01 0e 05 06 72 69 67	SAnd...left..=.B%....&.B&....rig
1a60	68 74 06 02 3d 07 42 27 01 0f 05 40 f9 01 01 01 42 28 01 07 02 02 2b 05 04 42 29 01 10 05 42 2a	ht..=.B'...@....B(....+..B)...B*
1a80	01 03 02 40 57 03 42 2b 02 03 00 03 08 2f 2f 56 4c 53 4f 72 01 06 05 6c 65 66 74 07 02 3d 01 42	...@W.B+.....//VLSOr...left..=.B
1aa0	2c 01 06 05 02 7c 01 42 2d 01 0e 05 06 72 69 67 68 74 06 02 3d 07 42 2e 01 0f 05 40 f9 01 01 01	,....|.B-....right..=.B....@....
1ac0	01 01 01 01 01 01 01 42 2f 01 07 02 02 3f 05 03 42 30 01 06 05 02 2c 01 42 31 01 0e 05 0c 61 6e	.......B/....?..B0....,.B1....an
1ae0	6e 6f 74 61 74 69 6f 6e 73 06 02 3d 07 42 32 01 0f 05 42 33 01 0d 02 0e 56 4c 53 41 6e 6e 6f 74	notations..=.B2...B3....VLSAnnot
1b00	61 74 69 6f 6e 03 42 34 01 03 02 40 57 03 42 35 02 03 00 03 10 2f 2f 56 4c 53 41 6e 6e 6f 74 61	ation.B4...@W.B5.....//VLSAnnota
1b20	74 69 6f 6e 01 04 42 36 01 07 05 05 42 37 01 06 02 02 3f 05 02 5b 01 42 38 01 0e 02 0c 63 61 72	tion..B6....B7....?..[.B8....car
1b40	64 69 6e 61 6c 69 74 79 02 3f 05 05 6e 61 6d 65 06 02 3d 07 42 39 01 05 05 04 42 3a 01 0f 05 40	dinality.?..name..=.B9....B:...@
1b60	aa 01 42 3b 01 0f 05 40 ca 01 42 3c 01 0f 05 40 dc 01 01 01 42 3d 01 07 02 02 3f 05 04 42 3e 01	..B;...@..B<...@....B=....?..B>.
1b80	06 05 02 28 01 42 3f 01 0e 05 09 66 6f 6c 6c 6f 77 75 70 06 02 3d 07 42 40 01 0f 05 42 41 01 0d	...(.B?....followup..=.B@...BA..
1ba0	02 13 56 4c 53 41 6e 6e 6f 74 61 74 69 6f 6e 54 65 72 6d 73 03 42 42 01 03 02 40 57 03 42 35 01	..VLSAnnotationTerms.BB...@W.B5.
1bc0	04 42 43 01 07 05 03 42 44 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d 07 42 45 01 0f 05 42 33 01 01	.BC....BD....terms..+=.BE...B3..
1be0	42 46 01 07 02 02 2a 05 03 42 47 01 06 05 02 2c 01 42 48 01 0e 05 06 74 65 72 6d 73 06 03 2b 3d	BF....*..BG....,.BH....terms..+=
1c00	07 42 49 01 0f 05 42 33 01 01 01 01 01 01 01 42 4a 01 06 05 02 29 01 01 42 4b 01 06 02 02 3f 05	.BI...B3.......BJ....)..BK....?.
1c20	02 5d 01 01 01 01 01 01 42 4c 01 06 05 02 29 01 42 4d 01 06 05 02 2e 01 01 01 01 01 42 4e 01 0e	.]......BL....).BM..........BN..
1c40	05 0b 74 66 66 6f 72 6d 75 6c 61 73 06 03 2b 3d 07 42 4f 01 0f 05 42 50 01 0d 02 0e 56 4c 53 54	..tfformulas..+=.BO...BP....VLST
1c60	66 66 46 6f 72 6d 75 6c 61 03 42 51 01 03 02 40 57 03 42 52 02 03 00 03 10 2f 2f 56 4c 53 54 66	ffFormula.BQ...@W.BR.....//VLSTf
1c80	66 46 6f 72 6d 75 6c 61 01 04 42 53 01 07 05 0b 42 54 01 06 05 04 74 66 66 01 42 55 01 06 05 02	fFormula..BS....BT....tff.BU....
1ca0	28 01 42 56 01 0e 05 05 6e 61 6d 65 06 02 3d 07 42 57 01 0f 05 42 58 01 0d 02 0b 56 4c 53 54 66	(.BV....name..=.BW...BX....VLSTf
1cc0	66 4e 61 6d 65 03 42 59 01 03 02 05 03 07 01 04 42 5a 01 05 05 04 42 5b 01 0f 05 42 5c 01 0d 02	fName.BY........BZ....B[...B\...
1ce0	0f 56 4c 53 54 66 66 44 65 63 6c 50 72 65 64 03 42 5d 01 03 02 05 03 07 01 04 42 5e 01 05 05 03	.VLSTffDeclPred.B]........B^....
1d00	42 5f 01 07 05 03 42 60 01 06 05 09 64 65 63 6c 61 72 65 5f 01 42 61 01 0f 05 41 39 01 01 42 62	B_....B`....declare_.Ba...A9..Bb
1d20	01 0f 05 40 aa 01 01 01 01 42 63 01 0f 05 42 64 01 0d 02 0d 56 4c 53 54 66 66 46 69 6e 69 74 65	...@.....Bc...Bd....VLSTffFinite
1d40	03 42 65 01 03 02 05 03 07 01 04 42 66 01 06 05 0e 66 69 6e 69 74 65 5f 64 6f 6d 61 69 6e 01 01	.Be........Bf....finite_domain..
1d60	01 42 67 01 0f 05 42 68 01 0d 02 0f 56 4c 53 54 66 66 44 69 73 74 69 6e 63 74 03 42 69 01 03 02	.Bg...Bh....VLSTffDistinct.Bi...
1d80	05 03 07 01 04 42 6a 01 06 05 10 64 69 73 74 69 6e 63 74 5f 64 6f 6d 61 69 6e 01 01 01 01 01 01	.....Bj....distinct_domain......
1da0	01 42 6b 01 06 05 02 2c 01 42 6c 01 0e 05 08 74 66 66 52 6f 6c 65 06 02 3d 07 42 6d 01 0f 05 40	.Bk....,.Bl....tffRole..=.Bm...@
1dc0	dc 01 01 42 6e 01 06 05 02 2c 01 42 6f 01 0e 05 0b 66 6f 66 46 6f 72 6d 75 6c 61 06 02 3d 07 42	...Bn....,.Bo....fofFormula..=.B
1de0	70 01 0f 05 42 71 01 0d 02 0b 56 4c 53 54 66 66 54 65 72 6d 03 42 72 01 03 02 40 57 03 42 73 02	p...Bq....VLSTffTerm.Br...@W.Bs.
1e00	03 00 03 0d 2f 2f 56 4c 53 54 66 66 54 65 72 6d 01 04 42 74 01 05 05 03 42 75 01 0f 05 40 f1 01	....//VLSTffTerm..Bt....Bu...@..
1e20	42 76 01 0f 05 42 77 01 0d 02 0f 56 4c 53 44 65 63 6c 61 72 61 74 69 6f 6e 03 42 78 01 03 02 40	Bv...Bw....VLSDeclaration.Bx...@
1e40	57 03 42 79 02 03 00 03 11 2f 2f 56 4c 53 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 42 7a 01 05 05	W.By.....//VLSDeclaration..Bz...
1e60	03 42 7b 01 0f 05 41 16 01 42 7c 01 0f 05 42 7d 01 0d 02 14 56 4c 53 4f 74 68 65 72 44 65 63 6c	.B{...A..B|...B}....VLSOtherDecl
1e80	61 72 61 74 69 6f 6e 03 42 7e 01 03 02 40 57 03 42 7f 02 03 00 03 16 2f 2f 56 4c 53 4f 74 68 65	aration.B~...@W.B......//VLSOthe
1ea0	72 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 42 80 01 07 05 04 42 81 01 0f 05 41 2d 01 42 82 01 06	rDeclaration..B.....B....A-.B...
1ec0	05 02 3a 01 42 83 01 0e 05 05 74 79 70 65 06 02 3d 07 42 84 01 0f 05 41 1e 01 01 01 01 01 01 01	..:.B.....type..=.B....A........
1ee0	01 01 01 01 01 42 85 01 07 02 02 3f 05 03 42 86 01 06 05 02 2c 01 42 87 01 0e 05 0c 61 6e 6e 6f	.....B.....?..B.....,.B.....anno
1f00	74 61 74 69 6f 6e 73 06 02 3d 07 42 88 01 0f 05 42 33 01 01 01 42 89 01 06 05 02 29 01 42 8a 01	tations..=.B....B3...B.....).B..
1f20	06 05 02 2e 01 01 01 01 01 01 01 40 b1 41 0e 40 aa 41 8b 40 ca 40 c3 41 39 41 3f 40 8e 40 bf 40	...........@.A.@.A.@.@.A9A?@.@.@
1f40	64 40 5f 40 71 40 a1 42 50 42 58 42 68 42 64 42 5c 40 dc 42 33 42 41 42 71 42 77 42 7d 41 16 41	d@_@q@.BPBXBhBdB\@.B3BABqBwB}A.A
1f60	1e 41 24 40 f1 40 f5 40 f9 40 fd 41 c1 41 d9 41 e3 41 29 41 2d 41 50 41 09 41 62 41 67 41 7b 01	.A$@.@.@.@.A.A.A.A)A-APA.AbAgA{.
1f80	02 01	..