blob: cabf6537cbcfe626e9d012b4ab4f2730c5a5a335 (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 6f 72 67 2e 65 63 6c 69 70 73 65 2e 76 69 61 74 72 61 2e 73 6f 6c 76 65 72 2e 6c 61 6e	me+org.eclipse.viatra.solver.lan
0080	67 75 61 67 65 2e 50 72 6f 62 6c 65 6d 03 0d 75 73 65 64 47 72 61 6d 6d 61 72 73 02 02 01 01 02	guage.Problem..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 06 03 40 57 01 04 02 06 03 06 65 63 6f 72 65 01 40	........@V.......@W......ecore.@
0540	58 01 04 02 40 59 02 01 00 03 3c 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72	X...@Y....<http://www.eclipse.or
0560	67 2f 76 69 61 74 72 61 2f 73 6f 6c 76 65 72 2f 6c 61 6e 67 75 61 67 65 2f 6d 6f 64 65 6c 2f 50	g/viatra/solver/language/model/P
0580	72 6f 62 6c 65 6d 02 2f 01 07 1e 40 5a 01 0c 0b 50 61 72 73 65 72 52 75 6c 65 02 05 6e 61 6d 65	roblem./...@Z...ParserRule..name
05a0	08 50 72 6f 62 6c 65 6d 03 05 74 79 70 65 40 5b 01 03 02 40 58 03 40 5c 02 03 07 45 43 6c 61 73	.Problem..type@[...@X.@\...EClas
05c0	73 00 03 0a 2f 2f 50 72 6f 62 6c 65 6d 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 40 5d 01 07	s...//Problem...alternatives@]..
05e0	05 03 40 5e 01 07 02 02 3f 05 04 40 5f 01 06 05 08 70 72 6f 62 6c 65 6d 01 40 60 01 0d 0b 41 73	..@^....?..@_....problem.@`...As
0600	73 69 67 6e 6d 65 6e 74 05 08 66 65 61 74 75 72 65 05 6e 61 6d 65 06 09 6f 70 65 72 61 74 6f 72	signment..feature.name..operator
0620	02 3d 07 09 74 65 72 6d 69 6e 61 6c 40 61 01 0e 09 52 75 6c 65 43 61 6c 6c 05 05 72 75 6c 65 40	.=..terminal@a...RuleCall..rule@
0640	62 01 0c 02 0b 49 64 65 6e 74 69 66 69 65 72 03 40 63 01 03 02 40 57 03 07 01 04 40 64 01 05 05	b....Identifier.@c...@W....@d...
0660	04 40 65 01 0e 05 1e 01 40 66 01 06 05 05 74 72 75 65 01 40 67 01 06 05 06 66 61 6c 73 65 01 01	.@e.....@f....true.@g....false..
0680	01 01 01 40 68 01 06 05 02 2e 01 01 40 69 01 0d 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2a 05	...@h.......@i....cardinality.*.
06a0	0b 73 74 61 74 65 6d 65 6e 74 73 06 03 2b 3d 07 40 6a 01 0e 05 40 6b 01 0c 02 0a 53 74 61 74 65	.statements..+=.@j...@k....State
06c0	6d 65 6e 74 03 40 6c 01 03 02 40 58 03 40 6d 02 03 00 03 0c 2f 2f 53 74 61 74 65 6d 65 6e 74 01	ment.@l...@X.@m.....//Statement.
06e0	04 40 6e 01 05 05 06 40 6f 01 0e 05 40 70 01 0c 02 11 43 6c 61 73 73 44 65 63 6c 61 72 61 74 69	.@n....@o...@p....ClassDeclarati
0700	6f 6e 03 40 71 01 03 02 40 58 03 40 72 02 03 00 03 13 2f 2f 43 6c 61 73 73 44 65 63 6c 61 72 61	on.@q...@X.@r.....//ClassDeclara
0720	74 69 6f 6e 01 04 40 73 01 07 05 06 40 74 01 0d 02 02 3f 05 09 61 62 73 74 72 61 63 74 06 03 3f	tion..@s....@t....?..abstract..?
0740	3d 07 40 75 01 06 05 09 61 62 73 74 72 61 63 74 01 01 40 76 01 06 05 06 63 6c 61 73 73 01 40 77	=.@u....abstract..@v....class.@w
0760	01 0d 05 05 6e 61 6d 65 06 02 3d 07 40 78 01 0e 05 40 62 01 01 40 79 01 07 02 02 3f 05 04 40 7a	....name..=.@x...@b..@y....?..@z
0780	01 06 05 08 65 78 74 65 6e 64 73 01 40 7b 01 0d 05 0b 73 75 70 65 72 54 79 70 65 73 06 03 2b 3d	....extends.@{....superTypes..+=
07a0	07 40 7c 01 0f 0f 43 72 6f 73 73 52 65 66 65 72 65 6e 63 65 05 05 74 79 70 65 40 7d 01 03 02 40	.@|...CrossReference..type@}...@
07c0	58 03 40 7e 02 03 00 03 0b 2f 2f 52 65 6c 61 74 69 6f 6e 01 06 09 74 65 72 6d 69 6e 61 6c 40 7f	X.@~.....//Relation...terminal@.
07e0	01 0e 05 40 80 01 0c 02 0e 51 75 61 6c 69 66 69 65 64 4e 61 6d 65 03 40 81 01 03 02 40 57 03 07	...@.....QualifiedName.@....@W..
0800	01 04 40 82 01 05 05 03 40 83 01 0e 05 40 84 01 02 02 0a 51 55 4f 54 45 44 5f 49 44 03 40 85 01	..@.....@....@.....QUOTED_ID.@..
0820	03 02 40 57 03 07 01 04 40 86 01 07 05 04 40 87 01 06 05 02 27 01 40 88 01 05 02 02 2a 05 03 40	..@W....@.....@.....'.@.....*..@
0840	89 01 07 05 03 40 8a 01 06 05 02 5c 01 40 8b 01 0b 01 01 40 8c 01 09 05 40 8d 01 05 05 03 40 8e	.....@.....\.@.....@....@.....@.
0860	01 06 05 02 5c 01 40 8f 01 06 05 02 27 01 01 01 01 40 90 01 06 05 02 27 01 01 01 01 40 91 01 07	....\.@.....'....@.....'....@...
0880	05 04 40 92 01 0e 05 40 62 01 40 93 01 07 02 02 2a 05 03 40 94 01 06 05 02 3a 01 40 95 01 0e 05	..@....@b.@.....*..@.....:.@....
08a0	40 62 01 01 40 96 01 07 02 02 3f 05 03 40 97 01 06 05 02 3a 01 40 98 01 0e 05 40 84 01 01 01 01	@b..@.....?..@.....:.@....@.....
08c0	01 01 01 01 40 99 01 07 02 02 2a 05 03 40 9a 01 06 05 02 2c 01 40 9b 01 0d 05 0b 73 75 70 65 72	....@.....*..@.....,.@.....super
08e0	54 79 70 65 73 06 03 2b 3d 07 40 9c 01 0f 05 40 9d 01 03 02 40 58 03 40 7e 01 06 40 9e 01 0e 05	Types..+=.@....@....@X.@~..@....
0900	40 80 01 01 01 01 01 40 9f 01 05 05 03 40 a0 01 07 05 04 40 a1 01 06 05 02 7b 01 40 a2 01 07 02	@......@.....@.....@.....{.@....
0920	02 2a 05 03 40 a3 01 0d 05 16 72 65 66 65 72 65 6e 63 65 44 65 63 6c 61 72 61 74 69 6f 6e 73 06	.*..@.....referenceDeclarations.
0940	03 2b 3d 07 40 a4 01 0e 05 40 a5 01 0c 02 15 52 65 66 65 72 65 6e 63 65 44 65 63 6c 61 72 61 74	.+=.@....@.....ReferenceDeclarat
0960	69 6f 6e 03 40 a6 01 03 02 40 58 03 40 a7 02 03 00 03 17 2f 2f 52 65 66 65 72 65 6e 63 65 44 65	ion.@....@X.@......//ReferenceDe
0980	63 6c 61 72 61 74 69 6f 6e 01 04 40 a8 01 07 05 06 40 a9 01 05 02 02 3f 05 03 40 aa 01 0d 05 0c	claration..@.....@.....?..@.....
09a0	63 6f 6e 74 61 69 6e 6d 65 6e 74 06 03 3f 3d 07 40 ab 01 06 05 09 63 6f 6e 74 61 69 6e 73 01 01	containment..?=.@.....contains..
09c0	40 ac 01 06 05 07 72 65 66 65 72 73 01 01 40 ad 01 0d 05 0e 72 65 66 65 72 65 6e 63 65 54 79 70	@.....refers..@.....referenceTyp
09e0	65 06 02 3d 07 40 ae 01 0f 05 40 af 01 03 02 40 58 03 40 7e 01 06 40 b0 01 0e 05 40 80 01 01 01	e..=.@....@....@X.@~..@....@....
0a00	40 b1 01 07 02 02 3f 05 04 40 b2 01 06 05 02 5b 01 40 b3 01 0d 05 0d 6d 75 6c 74 69 70 6c 69 63	@.....?..@.....[.@.....multiplic
0a20	69 74 79 06 02 3d 07 40 b4 01 0e 05 40 b5 01 0c 02 0d 4d 75 6c 74 69 70 6c 69 63 69 74 79 03 40	ity..=.@....@.....Multiplicity.@
0a40	b6 01 03 02 40 58 03 40 b7 02 03 00 03 0f 2f 2f 4d 75 6c 74 69 70 6c 69 63 69 74 79 01 04 40 b8	....@X.@......//Multiplicity..@.
0a60	01 05 05 03 40 b9 01 0e 05 40 ba 01 0c 02 16 55 6e 62 6f 75 6e 64 65 64 4d 75 6c 74 69 70 6c 69	....@....@.....UnboundedMultipli
0a80	63 69 74 79 03 40 bb 01 03 02 40 58 03 40 bc 02 03 00 03 18 2f 2f 55 6e 62 6f 75 6e 64 65 64 4d	city.@....@X.@......//UnboundedM
0aa0	75 6c 74 69 70 6c 69 63 69 74 79 01 04 40 bd 01 10 07 41 63 74 69 6f 6e 05 05 74 79 70 65 40 be	ultiplicity..@....Action..type@.
0ac0	01 03 02 40 58 03 40 bc 01 01 01 01 40 bf 01 0e 05 40 c0 01 0c 02 15 44 65 66 69 6e 69 74 65 4d	...@X.@.....@....@.....DefiniteM
0ae0	75 6c 74 69 70 6c 69 63 69 74 79 03 40 c1 01 03 02 40 58 03 40 b7 01 04 40 c2 01 05 05 03 40 c3	ultiplicity.@....@X.@...@.....@.
0b00	01 0e 05 40 c4 01 0c 02 12 52 61 6e 67 65 4d 75 6c 74 69 70 6c 69 63 69 74 79 03 40 c5 01 03 02	...@.....RangeMultiplicity.@....
0b20	40 58 03 40 c6 02 03 00 03 14 2f 2f 52 61 6e 67 65 4d 75 6c 74 69 70 6c 69 63 69 74 79 01 04 40	@X.@......//RangeMultiplicity..@
0b40	c7 01 07 05 04 40 c8 01 0d 05 0b 6c 6f 77 65 72 42 6f 75 6e 64 06 02 3d 07 40 c9 01 0e 05 35 01	.....@.....lowerBound..=.@....5.
0b60	01 40 ca 01 06 05 03 2e 2e 01 40 cb 01 0d 05 0b 75 70 70 65 72 42 6f 75 6e 64 06 02 3d 07 40 cc	.@........@.....upperBound..=.@.
0b80	01 0e 05 40 cd 01 0c 02 0b 55 70 70 65 72 42 6f 75 6e 64 03 40 ce 01 03 02 40 57 03 37 01 04 40	...@.....UpperBound.@....@W.7..@
0ba0	cf 01 05 05 03 40 d0 01 0e 05 35 01 40 d1 01 06 05 02 2a 01 01 01 01 01 01 01 01 40 d2 01 0e 05	.....@....5.@.....*........@....
0bc0	40 d3 01 0c 02 12 45 78 61 63 74 4d 75 6c 74 69 70 6c 69 63 69 74 79 03 40 d4 01 03 02 40 58 03	@.....ExactMultiplicity.@....@X.
0be0	40 d5 02 03 00 03 14 2f 2f 45 78 61 63 74 4d 75 6c 74 69 70 6c 69 63 69 74 79 01 04 40 d6 01 0d	@......//ExactMultiplicity..@...
0c00	05 0b 65 78 61 63 74 56 61 6c 75 65 06 02 3d 07 40 d7 01 0e 05 35 01 01 01 01 01 01 01 01 01 01	..exactValue..=.@....5..........
0c20	01 40 d8 01 06 05 02 5d 01 01 40 d9 01 0d 05 05 6e 61 6d 65 06 02 3d 07 40 da 01 0e 05 40 62 01	.@.....]..@.....name..=.@....@b.
0c40	01 40 db 01 07 02 02 3f 05 03 40 dc 01 06 05 09 6f 70 70 6f 73 69 74 65 01 40 dd 01 0d 05 09 6f	.@.....?..@.....opposite.@.....o
0c60	70 70 6f 73 69 74 65 06 02 3d 07 40 de 01 0f 05 40 df 01 03 02 40 58 03 40 a7 01 06 40 e0 01 0e	pposite..=.@....@....@X.@...@...
0c80	05 40 80 01 01 01 01 01 01 01 01 40 e1 01 06 02 02 3f 05 02 3b 01 01 40 e2 01 06 05 02 7d 01 01	.@.........@.....?..;..@.....}..
0ca0	40 e3 01 06 05 02 2e 01 01 01 01 01 40 e4 01 0e 05 40 e5 01 0c 02 10 45 6e 75 6d 44 65 63 6c 61	@...........@....@.....EnumDecla
0cc0	72 61 74 69 6f 6e 03 40 e6 01 03 02 40 58 03 40 e7 02 03 00 03 12 2f 2f 45 6e 75 6d 44 65 63 6c	ration.@....@X.@......//EnumDecl
0ce0	61 72 61 74 69 6f 6e 01 04 40 e8 01 07 05 04 40 e9 01 06 05 05 65 6e 75 6d 01 40 ea 01 0d 05 05	aration..@.....@.....enum.@.....
0d00	6e 61 6d 65 06 02 3d 07 40 eb 01 0e 05 40 62 01 01 40 ec 01 05 05 03 40 ed 01 07 05 04 40 ee 01	name..=.@....@b..@.....@.....@..
0d20	06 05 02 7b 01 40 ef 01 07 02 02 3f 05 04 40 f0 01 0d 05 09 6c 69 74 65 72 61 6c 73 06 03 2b 3d	...{.@.....?..@.....literals..+=
0d40	07 40 f1 01 0e 05 40 f2 01 0c 02 0c 45 6e 75 6d 4c 69 74 65 72 61 6c 03 40 f3 01 03 02 40 58 03	.@....@.....EnumLiteral.@....@X.
0d60	40 f4 02 03 00 03 07 2f 2f 4e 6f 64 65 01 04 40 f5 01 0d 05 05 6e 61 6d 65 06 02 3d 07 40 f6 01	@......//Node..@.....name..=.@..
0d80	0e 05 40 f7 01 0c 02 13 51 75 6f 74 65 64 4f 72 55 6e 71 75 6f 74 65 64 49 64 03 40 f8 01 03 02	..@.....QuotedOrUnquotedId.@....
0da0	40 57 03 07 01 04 40 f9 01 05 05 03 40 fa 01 0e 05 40 84 01 40 fb 01 0e 05 40 62 01 01 01 01 01	@W....@.....@....@..@....@b.....
0dc0	01 01 01 40 fc 01 07 02 02 2a 05 03 40 fd 01 06 05 02 2c 01 40 fe 01 0d 05 09 6c 69 74 65 72 61	...@.....*..@.....,.@.....litera
0de0	6c 73 06 03 2b 3d 07 40 ff 01 0e 05 40 f2 01 01 01 41 00 01 05 02 02 3f 05 03 41 01 01 06 05 02	ls..+=.@....@....A.....?..A.....
0e00	2c 01 41 02 01 06 05 02 3b 01 01 01 41 03 01 06 05 02 7d 01 01 41 04 01 06 05 02 2e 01 01 01 01	,.A.....;...A.....}..A..........
0e20	01 41 05 01 0e 05 41 06 01 0c 02 14 50 72 65 64 69 63 61 74 65 44 65 66 69 6e 69 74 69 6f 6e 03	.A....A.....PredicateDefinition.
0e40	41 07 01 03 02 40 58 03 41 08 02 03 00 03 16 2f 2f 50 72 65 64 69 63 61 74 65 44 65 66 69 6e 69	A....@X.A......//PredicateDefini
0e60	74 69 6f 6e 01 04 41 09 01 07 05 08 41 0a 01 05 05 03 41 0b 01 07 05 03 41 0c 01 0d 05 06 65 72	tion..A.....A.....A.....A.....er
0e80	72 6f 72 06 03 3f 3d 07 41 0d 01 06 05 06 65 72 72 6f 72 01 01 41 0e 01 06 02 02 3f 05 05 70 72	ror..?=.A.....error..A.....?..pr
0ea0	65 64 01 01 41 0f 01 06 05 05 70 72 65 64 01 01 41 10 01 0d 05 05 6e 61 6d 65 06 02 3d 07 41 11	ed..A.....pred..A.....name..=.A.
0ec0	01 0e 05 40 62 01 01 41 12 01 06 05 02 28 01 41 13 01 07 02 02 3f 05 03 41 14 01 0d 05 0b 70 61	...@b..A.....(.A.....?..A.....pa
0ee0	72 61 6d 65 74 65 72 73 06 03 2b 3d 07 41 15 01 0e 05 41 16 01 0c 02 0a 50 61 72 61 6d 65 74 65	rameters..+=.A....A.....Paramete
0f00	72 03 41 17 01 03 02 40 58 03 41 18 02 03 00 03 0c 2f 2f 50 61 72 61 6d 65 74 65 72 01 04 41 19	r.A....@X.A......//Parameter..A.
0f20	01 07 05 03 41 1a 01 0d 02 02 3f 05 0e 70 61 72 61 6d 65 74 65 72 54 79 70 65 06 02 3d 07 41 1b	....A.....?..parameterType..=.A.
0f40	01 0f 05 41 1c 01 03 02 40 58 03 40 7e 01 06 41 1d 01 0e 05 40 80 01 01 01 41 1e 01 0d 05 05 6e	...A....@X.@~..A....@....A.....n
0f60	61 6d 65 06 02 3d 07 41 1f 01 0e 05 40 62 01 01 01 01 01 01 41 20 01 07 02 02 2a 05 03 41 21 01	ame..=.A....@b......A.....*..A!.
0f80	06 05 02 2c 01 41 22 01 0d 05 0b 70 61 72 61 6d 65 74 65 72 73 06 03 2b 3d 07 41 23 01 0e 05 41	...,.A"....parameters..+=.A#...A
0fa0	16 01 01 01 01 41 24 01 06 05 02 29 01 41 25 01 07 02 02 3f 05 04 41 26 01 06 05 03 3a 2d 01 41	.....A$....).A%....?..A&....:-.A
0fc0	27 01 0d 05 07 62 6f 64 69 65 73 06 03 2b 3d 07 41 28 01 0e 05 41 29 01 0c 02 0c 43 6f 6e 6a 75	'....bodies..+=.A(...A)....Conju
0fe0	6e 63 74 69 6f 6e 03 41 2a 01 03 02 40 58 03 41 2b 02 03 00 03 0e 2f 2f 43 6f 6e 6a 75 6e 63 74	nction.A*...@X.A+.....//Conjunct
1000	69 6f 6e 01 04 41 2c 01 07 05 03 41 2d 01 0d 05 09 6c 69 74 65 72 61 6c 73 06 03 2b 3d 07 41 2e	ion..A,....A-....literals..+=.A.
1020	01 0e 05 41 2f 01 0c 02 08 4c 69 74 65 72 61 6c 03 41 30 01 03 02 40 58 03 41 31 02 03 00 03 0a	...A/....Literal.A0...@X.A1.....
1040	2f 2f 4c 69 74 65 72 61 6c 01 04 41 32 01 05 05 03 41 33 01 0e 05 41 34 01 0c 02 05 41 74 6f 6d	//Literal..A2....A3...A4....Atom
1060	03 41 35 01 03 02 40 58 03 41 36 02 03 00 03 07 2f 2f 41 74 6f 6d 01 04 41 37 01 07 05 06 41 38	.A5...@X.A6.....//Atom..A7....A8
1080	01 0d 05 09 72 65 6c 61 74 69 6f 6e 06 02 3d 07 41 39 01 0f 05 41 3a 01 03 02 40 58 03 40 7e 01	....relation..=.A9...A:...@X.@~.
10a0	06 41 3b 01 0e 05 40 80 01 01 01 41 3c 01 0d 02 02 3f 05 12 74 72 61 6e 73 69 74 69 76 65 43 6c	.A;...@....A<....?..transitiveCl
10c0	6f 73 75 72 65 06 03 3f 3d 07 41 3d 01 06 05 02 2b 01 01 41 3e 01 06 05 02 28 01 41 3f 01 07 02	osure..?=.A=....+..A>....(.A?...
10e0	02 3f 05 03 41 40 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 41 01 0e 05 41 42 01	.?..A@....arguments..+=.AA...AB.
1100	0c 02 09 41 72 67 75 6d 65 6e 74 03 41 43 01 03 02 40 58 03 41 44 02 03 00 03 0b 2f 2f 41 72 67	...Argument.AC...@X.AD.....//Arg
1120	75 6d 65 6e 74 01 04 41 45 01 0d 05 0f 76 61 72 69 61 62 6c 65 4f 72 4e 6f 64 65 06 02 3d 07 41	ument..AE....variableOrNode..=.A
1140	46 01 0f 05 41 47 01 03 02 40 58 03 41 48 02 03 00 03 11 2f 2f 56 61 72 69 61 62 6c 65 4f 72 4e	F...AG...@X.AH.....//VariableOrN
1160	6f 64 65 01 06 41 49 01 0e 05 40 80 01 01 01 01 01 01 41 4a 01 07 02 02 2a 05 03 41 4b 01 06 05	ode..AI...@.......AJ....*..AK...
1180	02 2c 01 41 4c 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 4d 01 0e 05 41 42 01 01	.,.AL....arguments..+=.AM...AB..
11a0	01 01 41 4e 01 06 05 02 29 01 01 01 01 41 4f 01 0e 05 41 50 01 0c 02 10 4e 65 67 61 74 69 76 65	..AN....)....AO...AP....Negative
11c0	4c 69 74 65 72 61 6c 03 41 51 01 03 02 40 58 03 41 52 02 03 00 03 12 2f 2f 4e 65 67 61 74 69 76	Literal.AQ...@X.AR.....//Negativ
11e0	65 4c 69 74 65 72 61 6c 01 04 41 53 01 07 05 03 41 54 01 06 05 02 21 01 41 55 01 0d 05 05 61 74	eLiteral..AS....AT....!.AU....at
1200	6f 6d 06 02 3d 07 41 56 01 0e 05 41 34 01 01 01 01 01 01 01 01 01 41 57 01 07 02 02 2a 05 03 41	om..=.AV...A4.........AW....*..A
1220	58 01 06 05 02 2c 01 41 59 01 0d 05 09 6c 69 74 65 72 61 6c 73 06 03 2b 3d 07 41 5a 01 0e 05 41	X....,.AY....literals..+=.AZ...A
1240	2f 01 01 01 01 01 01 01 41 5b 01 07 02 02 2a 05 03 41 5c 01 06 05 02 3b 01 41 5d 01 0d 05 07 62	/.......A[....*..A\....;.A]....b
1260	6f 64 69 65 73 06 03 2b 3d 07 41 5e 01 0e 05 41 29 01 01 01 01 41 5f 01 06 05 02 2e 01 01 01 01	odies..+=.A^...A)....A_.........
1280	41 60 01 0e 05 41 61 01 0c 02 0a 41 73 73 65 72 74 69 6f 6e 03 41 62 01 03 02 40 58 03 41 63 02	A`...Aa....Assertion.Ab...@X.Ac.
12a0	03 00 03 0c 2f 2f 41 73 73 65 72 74 69 6f 6e 01 04 41 64 01 07 05 03 41 65 01 05 05 03 41 66 01	....//Assertion..Ad....Ae....Af.
12c0	07 05 07 41 67 01 0d 05 09 72 65 6c 61 74 69 6f 6e 06 02 3d 07 41 68 01 0f 05 41 69 01 03 02 40	...Ag....relation..=.Ah...Ai...@
12e0	58 03 40 7e 01 06 41 6a 01 0e 05 40 80 01 01 01 41 6b 01 06 05 02 28 01 41 6c 01 07 02 02 3f 05	X.@~..Aj...@....Ak....(.Al....?.
1300	03 41 6d 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 6e 01 0f 05 41 6f 01 03 02 40	.Am....arguments..+=.An...Ao...@
1320	58 03 40 f4 01 06 41 70 01 0e 05 40 80 01 01 01 41 71 01 07 02 02 2a 05 03 41 72 01 06 05 02 2c	X.@...Ap...@....Aq....*..Ar....,
1340	01 41 73 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 74 01 0f 05 41 75 01 03 02 40	.As....arguments..+=.At...Au...@
1360	58 03 40 f4 01 06 41 76 01 0e 05 40 80 01 01 01 01 01 41 77 01 06 05 02 29 01 41 78 01 06 05 02	X.@...Av...@......Aw....).Ax....
1380	3a 01 41 79 01 0d 05 06 76 61 6c 75 65 06 02 3d 07 41 7a 01 0e 05 41 7b 01 11 09 45 6e 75 6d 52	:.Ay....value..=.Az...A{...EnumR
13a0	75 6c 65 02 05 6e 61 6d 65 0b 4c 6f 67 69 63 56 61 6c 75 65 03 05 74 79 70 65 41 7c 01 03 02 40	ule..name.LogicValue..typeA|...@
13c0	58 03 41 7d 02 04 06 45 45 6e 75 6d 00 03 0d 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 01 04 0d 61 6c	X.A}...EEnum...//LogicValue...al
13e0	74 65 72 6e 61 74 69 76 65 73 41 7e 01 05 05 04 41 7f 01 12 17 45 6e 75 6d 4c 69 74 65 72 61 6c	ternativesA~....A....EnumLiteral
1400	44 65 63 6c 61 72 61 74 69 6f 6e 05 0c 65 6e 75 6d 4c 69 74 65 72 61 6c 41 80 02 05 0d 45 45 6e	Declaration..enumLiteralA....EEn
1420	75 6d 4c 69 74 65 72 61 6c 00 03 12 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 2f 54 52 55 45 06 08 6c	umLiteral...//LogicValue/TRUE..l
1440	69 74 65 72 61 6c 41 81 01 06 05 05 74 72 75 65 01 01 41 82 01 12 05 41 83 02 05 00 03 13 2f 2f	iteralA.....true..A....A......//
1460	4c 6f 67 69 63 56 61 6c 75 65 2f 46 41 4c 53 45 06 41 84 01 06 05 06 66 61 6c 73 65 01 01 41 85	LogicValue/FALSE.A.....false..A.
1480	01 12 05 41 86 02 05 00 03 15 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 2f 55 4e 4b 4e 4f 57 4e 06 41	...A......//LogicValue/UNKNOWN.A
14a0	87 01 06 05 08 75 6e 6b 6e 6f 77 6e 01 01 01 01 01 01 01 41 88 01 07 05 06 41 89 01 0d 02 02 3f	.....unknown.......A.....A.....?
14c0	05 06 76 61 6c 75 65 06 02 3d 07 41 8a 01 0e 05 41 8b 01 11 02 10 53 68 6f 72 74 4c 6f 67 69 63	..value..=.A....A.....ShortLogic
14e0	56 61 6c 75 65 03 41 8c 01 03 02 40 58 03 41 7d 01 04 41 8d 01 05 05 03 41 8e 01 12 05 41 83 06	Value.A....@X.A}..A.....A....A..
1500	41 8f 01 06 05 02 21 01 01 41 90 01 12 05 41 86 06 41 91 01 06 05 02 3f 01 01 01 01 01 01 41 92	A.....!..A....A..A.....?......A.
1520	01 0d 05 09 72 65 6c 61 74 69 6f 6e 06 02 3d 07 41 93 01 0f 05 41 94 01 03 02 40 58 03 40 7e 01	....relation..=.A....A....@X.@~.
1540	06 41 95 01 0e 05 40 80 01 01 01 41 96 01 06 05 02 28 01 41 97 01 07 02 02 3f 05 03 41 98 01 0d	.A....@....A.....(.A.....?..A...
1560	05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 99 01 0f 05 41 9a 01 03 02 40 58 03 40 f4 01	..arguments..+=.A....A....@X.@..
1580	06 41 9b 01 0e 05 40 80 01 01 01 41 9c 01 07 02 02 2a 05 03 41 9d 01 06 05 02 2c 01 41 9e 01 0d	.A....@....A.....*..A.....,.A...
15a0	05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 9f 01 0f 05 41 a0 01 03 02 40 58 03 40 f4 01	..arguments..+=.A....A....@X.@..
15c0	06 41 a1 01 0e 05 40 80 01 01 01 01 01 41 a2 01 06 05 02 29 01 01 01 41 a3 01 06 05 02 2e 01 01	.A....@......A.....)...A........
15e0	01 01 41 a4 01 0e 05 41 a5 01 0c 02 11 53 63 6f 70 65 44 65 63 6c 61 72 61 74 69 6f 6e 03 41 a6	..A....A.....ScopeDeclaration.A.
1600	01 03 02 40 58 03 41 a7 02 03 00 03 13 2f 2f 53 63 6f 70 65 44 65 63 6c 61 72 61 74 69 6f 6e 01	...@X.A......//ScopeDeclaration.
1620	04 41 a8 01 07 05 05 41 a9 01 06 05 06 73 63 6f 70 65 01 41 aa 01 0d 05 0b 74 79 70 65 53 63 6f	.A.....A.....scope.A.....typeSco
1640	70 65 73 06 03 2b 3d 07 41 ab 01 0e 05 41 ac 01 0c 02 0a 54 79 70 65 53 63 6f 70 65 03 41 ad 01	pes..+=.A....A.....TypeScope.A..
1660	03 02 40 58 03 41 ae 02 03 00 03 0c 2f 2f 54 79 70 65 53 63 6f 70 65 01 04 41 af 01 07 05 04 41	..@X.A......//TypeScope..A.....A
1680	b0 01 0d 05 0b 74 61 72 67 65 74 54 79 70 65 06 02 3d 07 41 b1 01 0f 05 41 b2 01 03 02 40 58 03	.....targetType..=.A....A....@X.
16a0	40 72 01 06 41 b3 01 0e 05 1e 01 01 01 41 b4 01 05 05 03 41 b5 01 0d 05 0a 69 6e 63 72 65 6d 65	@r..A........A.....A.....increme
16c0	6e 74 06 03 3f 3d 07 41 b6 01 06 05 03 2b 3d 01 01 41 b7 01 06 05 02 3d 01 01 41 b8 01 0d 05 0d	nt..?=.A.....+=..A.....=..A.....
16e0	6d 75 6c 74 69 70 6c 69 63 69 74 79 06 02 3d 07 41 b9 01 0e 05 40 c0 01 01 01 01 01 01 41 ba 01	multiplicity..=.A....@.......A..
1700	07 02 02 2a 05 03 41 bb 01 06 05 02 2c 01 41 bc 01 0d 05 0b 74 79 70 65 53 63 6f 70 65 73 06 03	...*..A.....,.A.....typeScopes..
1720	2b 3d 07 41 bd 01 0e 05 41 ac 01 01 01 41 be 01 06 05 02 2e 01 01 01 01 01 01 01 01 01 01 40 6b	+=.A....A....A................@k
1740	40 70 40 e5 40 f2 40 a5 41 06 41 16 41 29 41 2f 41 50 41 34 41 42 41 61 41 7b 41 8b 41 a5 41 ac	@p@.@.@.A.A.A)A/APA4ABAaA{A.A.A.
1760	40 b5 40 c0 40 ba 40 c4 40 d3 40 cd 40 f7 40 80 40 62 41 bf 01 02 02 07 53 54 52 49 4e 47 03 41	@.@.@.@.@.@.@.@.@bA.....STRING.A
1780	c0 01 03 02 40 57 03 07 01 04 41 c1 01 07 05 04 41 c2 01 06 05 02 22 01 41 c3 01 05 02 02 2a 05	....@W....A.....A.....".A.....*.
17a0	03 41 c4 01 07 05 03 41 c5 01 06 05 02 5c 01 41 c6 01 0b 01 01 41 c7 01 09 05 41 c8 01 05 05 03	.A.....A.....\.A.....A....A.....
17c0	41 c9 01 06 05 02 5c 01 41 ca 01 06 05 02 22 01 01 01 01 41 cb 01 06 05 02 22 01 01 05 0c 61 6e	A.....\.A....."....A....."....an
17e0	6e 6f 74 61 74 69 6f 6e 73 02 41 cc 01 13 0b 41 6e 6e 6f 74 61 74 69 6f 6e 02 05 6e 61 6d 65 09	notations.A....Annotation..name.
1800	4f 76 65 72 72 69 64 65 01 01 40 84 01 02 01	Override..@....