blob: 73a61d60917d3d4469f03f21dd0d9e34c08f4187 (plain)

ofs	hex dump	ascii
0000	43 6f 71 21 00 01 3d f8 00 00 00 00 00 00 4c 65 84 95 a6 be 00 00 25 c8 00 00 07 ee 00 00 1a 14	Coq!..=.......Le......%.........
0020	00 00 16 84 b0 a0 25 42 69 74 45 51 a0 25 62 69 74 65 71 40 08 00 03 44 00 a0 a0 29 4e 6f 74 61	......%BitEQ.%biteq@...D...)Nota
0040	74 69 6f 6e 73 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 2c fa 86 8c 27 dd f0 da 1c 06 9b 46 d3	tions.$Init.#Coq@.0,...'......F.
0060	1a 7f 5a a0 a0 24 4c 74 61 63 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 2b 72 94 69 cd c3 6f 9d	..Z..$Ltac.$Init.#Coq@.0+r.i..o.
0080	38 61 26 5c 83 1c 2d 56 a0 a0 25 4c 6f 67 69 63 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 ce 64	8a&\..-V..%Logic.$Init.#Coq@.0.d
00a0	5e 02 e0 00 a6 95 ce 6f 18 b6 bb 35 f1 ec a0 a0 29 44 61 74 61 74 79 70 65 73 a0 24 49 6e 69 74	^......o...5....)Datatypes.$Init
00c0	a0 23 43 6f 71 40 90 30 e1 12 7f 81 ad 38 88 e4 1a 7c bf 09 50 4d 17 53 a0 a0 2a 4c 6f 67 69 63	.#Coq@.0.....8...|..PM.S..*Logic
00e0	5f 54 79 70 65 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 b6 80 d2 6d 5e 52 60 b2 39 59 dd ea da	_Type.$Init.#Coq@.0...m^R`.9Y...
0100	cc a9 0c a0 a0 26 53 70 65 63 69 66 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 85 8d fc 14 2d 9d	.....&Specif.$Init.#Coq@.0....-.
0120	3f 41 2f fc 2a 80 be 93 cf f9 a0 a0 27 44 65 63 69 6d 61 6c a0 24 49 6e 69 74 a0 23 43 6f 71 40	?A/.*.......'Decimal.$Init.#Coq@
0140	90 30 e1 c9 ea 21 76 10 4f 01 63 52 54 77 4a 73 56 47 a0 a0 2b 48 65 78 61 64 65 63 69 6d 61 6c	.0...!v.O.cRTwJsVG..+Hexadecimal
0160	a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 be 72 49 01 c6 eb 1a a3 8a c4 f5 20 d8 14 63 3f a0 a0	.$Init.#Coq@.0.rI...........c?..
0180	26 4e 75 6d 62 65 72 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 98 89 67 04 6f 81 2b 1d 1d 35 a5	&Number.$Init.#Coq@.0..g.o.+..5.
01a0	df b9 4e f3 03 a0 a0 23 4e 61 74 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 28 1c 95 12 59 68 b5	..N....#Nat.$Init.#Coq@.0(...Yh.
01c0	d9 f0 5e 17 02 ac ef 26 3f a0 a0 24 42 79 74 65 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 4c ee	..^....&?..$Byte.$Init.#Coq@.0L.
01e0	98 b8 34 3b 14 e4 e7 8d 5f db a8 1d 1f 37 a0 a0 27 4e 75 6d 65 72 61 6c a0 24 49 6e 69 74 a0 23	..4;...._....7..'Numeral.$Init.#
0200	43 6f 71 40 90 30 50 8e 14 a6 15 99 a8 ed c3 f4 55 cc a9 74 f2 bd a0 a0 25 50 65 61 6e 6f a0 24	Coq@.0P.........U..t....%Peano.$
0220	49 6e 69 74 a0 23 43 6f 71 40 90 30 52 c9 a7 2b 7b d4 5d 67 dd 4a 7a 5c d3 d0 82 a9 a0 a0 22 57	Init.#Coq@.0R..+{.]g.Jz\......"W
0240	66 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 91 79 bd ab e8 7c ac a3 b6 e1 f0 64 74 d5 dd ec a0	f.$Init.#Coq@.0.y...|.....dt....
0260	a0 27 54 61 63 74 69 63 73 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 77 50 fc c7 5f 98 07 dd f2	.'Tactics.$Init.#Coq@.0wP.._....
0280	30 3e a1 c0 90 a8 9b a0 a0 25 54 61 75 74 6f a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 d8 91 d6	0>.......%Tauto.$Init.#Coq@.0...
02a0	db 94 e7 27 bd 8e 1e 63 6a a9 87 d4 83 a0 a0 27 50 72 65 6c 75 64 65 a0 24 49 6e 69 74 a0 23 43	...'...cj......'Prelude.$Init.#C
02c0	6f 71 40 90 30 11 ae d7 04 3b 2f 27 5e cd 69 23 f7 21 4d 11 ff a0 a0 24 42 6f 6f 6c a0 04 02 a0	oq@.0....;/'^.i#.!M....$Bool....
02e0	23 43 6f 71 40 90 30 43 be 36 e8 e5 73 6e 11 d1 c4 3f 11 9c 17 06 b4 a0 a0 26 42 61 73 69 63 73	#Coq@.0C.6..sn...?.......&Basics
0300	a0 27 50 72 6f 67 72 61 6d a0 23 43 6f 71 40 90 30 3d e1 29 0d cc 6c 98 10 3b d6 d2 5d 43 97 08	.'Program.#Coq@.0=.)..l..;..]C..
0320	66 a0 a0 24 49 6e 69 74 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 f0 00 48 ce 0f dd 31	f..$Init.'Classes.#Coq@.0..H...1
0340	13 4f dd a8 e4 78 8c 46 5a a0 a0 27 54 61 63 74 69 63 73 a0 27 50 72 6f 67 72 61 6d a0 23 43 6f	.O...x.FZ..'Tactics.'Program.#Co
0360	71 40 90 30 d6 c7 ef 97 f7 d3 59 d7 f7 3b 5f bc ed 1c 37 d2 a0 a0 34 52 65 6c 61 74 69 6f 6e 5f	q@.0......Y..;_...7...4Relation_
0380	44 65 66 69 6e 69 74 69 6f 6e 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30 3f ec	Definitions.)Relations.#Coq@.0?.
03a0	b3 57 46 4d 04 00 23 70 d3 57 a9 cd 0e 4c a0 a0 2f 52 65 6c 61 74 69 6f 6e 43 6c 61 73 73 65 73	.WFM..#p.W...L../RelationClasses
03c0	a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 d3 43 6b ae 68 89 72 54 1c 06 9c 44 5e 63 9f	.'Classes.#Coq@.0.Ck.h.rT...D^c.
03e0	55 a0 a0 29 4d 6f 72 70 68 69 73 6d 73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 47 5a	U..)Morphisms.'Classes.#Coq@.0GZ
0400	91 92 1e b6 27 d4 63 59 9d a0 9f 54 f8 fa a0 a0 30 43 52 65 6c 61 74 69 6f 6e 43 6c 61 73 73 65	....'.cY...T....0CRelationClasse
0420	73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 bc 07 7a 3e 6e da 1c fa 9b 3f a4 3b 58 08	s.'Classes.#Coq@.0..z>n....?.;X.
0440	97 44 a0 a0 2a 43 4d 6f 72 70 68 69 73 6d 73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30	.D..*CMorphisms.'Classes.#Coq@.0
0460	07 d1 ff 10 3e f4 6e 1f 02 84 ca 01 50 8c 32 4b a0 a0 2e 4d 6f 72 70 68 69 73 6d 73 5f 50 72 6f	....>.n.....P.2K...Morphisms_Pro
0480	70 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 f1 17 2a e4 c8 8b 26 8c 57 10 c0 5d 91 63	p.'Classes.#Coq@.0..*...&.W..].c
04a0	e2 fc a0 a0 2b 45 71 75 69 76 61 6c 65 6e 63 65 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90	....+Equivalence.'Classes.#Coq@.
04c0	30 7a b9 6c 7d 2d 82 6d 11 1e 3d b6 7e 62 92 4d 6a a0 a0 2d 53 65 74 6f 69 64 54 61 63 74 69 63	0z.l}-.m..=.~b.Mj..-SetoidTactic
04e0	73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 52 00 dd 1f 0b 23 de c6 77 10 22 cd 5a c7	s.'Classes.#Coq@.0R....#..w.".Z.
0500	89 34 a0 a0 2a 73 73 72 63 6c 61 73 73 65 73 a0 23 73 73 72 a0 23 43 6f 71 40 90 30 40 02 e0 3f	.4..*ssrclasses.#ssr.#Coq@.0@..?
0520	9b c1 5c 7e ed 69 10 46 82 67 99 a7 a0 a0 28 73 73 72 75 6e 64 65 72 a0 23 73 73 72 a0 23 43 6f	..\~.i.F.g....(ssrunder.#ssr.#Co
0540	71 40 90 30 19 bc 5a ec 8e ee e2 0a f4 95 6a f0 3e 9b e7 81 a0 a0 29 73 73 72 73 65 74 6f 69 64	q@.0..Z.......j.>.....)ssrsetoid
0560	a0 23 73 73 72 a0 23 43 6f 71 40 90 30 8d e3 a8 24 71 6f cd d1 58 26 70 7f 3d ed f9 20 a0 a0 26	.#ssr.#Coq@.0...$qo..X&p.=.....&
0580	53 65 74 6f 69 64 a0 27 53 65 74 6f 69 64 73 a0 23 43 6f 71 40 90 30 a0 db f4 9f e0 47 ec 38 03	Setoid.'Setoids.#Coq@.0.....G.8.
05a0	59 09 59 3f 92 9b 7b a0 a0 2a 45 71 75 61 6c 69 74 69 65 73 a0 2a 53 74 72 75 63 74 75 72 65 73	Y.Y?..{..*Equalities.*Structures
05c0	a0 23 43 6f 71 40 90 30 a0 09 61 43 09 9a 99 fc b9 d8 a1 96 52 17 df 6e a0 a0 32 52 65 6c 61 74	.#Coq@.0..aC........R..n..2Relat
05e0	69 6f 6e 5f 4f 70 65 72 61 74 6f 72 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30	ion_Operators.)Relations.#Coq@.0
0600	14 61 76 b7 99 7e 74 cd 88 21 e0 81 69 10 81 a6 a0 a0 34 4f 70 65 72 61 74 6f 72 73 5f 50 72 6f	.av..~t..!..i.....4Operators_Pro
0620	70 65 72 74 69 65 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30 84 47 c6 51 99 ff	perties.)Relations.#Coq@.0.G.Q..
0640	df dc 20 60 18 6c 9d b5 9b 33 a0 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 04 02 a0 23 43 6f 71 40 90	...`.l...3..)Relations....#Coq@.
0660	30 34 38 4e b9 fe 64 87 95 cb 97 06 1d ec 05 48 41 a0 a0 26 4f 72 64 65 72 73 a0 2a 53 74 72 75	048N..d........HA..&Orders.*Stru
0680	63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 a0 fd 78 96 bb 47 c8 07 8e 26 02 c5 c7 63 81 51 a0 a0	ctures.#Coq@.0..x..G...&...c.Q..
06a0	2a 4e 75 6d 50 72 65 6c 75 64 65 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 d7 46 63 32	*NumPrelude.'Numbers.#Coq@.0.Fc2
06c0	70 5e 4e 60 2e 96 bc 55 43 d0 7f bf a0 a0 29 4f 72 64 65 72 73 54 61 63 a0 2a 53 74 72 75 63 74	p^N`...UC.....)OrdersTac.*Struct
06e0	75 72 65 73 a0 23 43 6f 71 40 90 30 18 48 19 54 1c 37 b9 58 91 a7 6c 45 a3 43 4c 5f a0 a0 2b 4f	ures.#Coq@.0.H.T.7.X..lE.CL_..+O
0700	72 64 65 72 73 46 61 63 74 73 a0 2a 53 74 72 75 63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 cb 9a	rdersFacts.*Structures.#Coq@.0..
0720	45 11 0f 70 a0 06 69 fe 03 88 2d 02 1f 67 a0 a0 2d 47 65 6e 65 72 69 63 4d 69 6e 4d 61 78 a0 2a	E..p..i...-..g..-GenericMinMax.*
0740	53 74 72 75 63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 8d 01 b5 09 1c 0c 8d b6 12 ea f0 8a 1c 57	Structures.#Coq@.0.............W
0760	21 52 a0 a0 28 4e 5a 41 78 69 6f 6d 73 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23	!R..(NZAxioms.&NatInt.'Numbers.#
0780	43 6f 71 40 90 30 eb 58 d3 df 42 67 fa 5a 72 27 1d 69 5b 86 c4 d2 a0 a0 26 4e 5a 42 61 73 65 a0	Coq@.0.X..Bg.Zr'.i[.....&NZBase.
07a0	26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 63 85 53 35 93 72 42 16	&NatInt.'Numbers.#Coq@.0c.S5.rB.
07c0	c6 ff 3a ef 14 7e b6 7e a0 a0 25 4e 5a 41 64 64 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72	..:..~.~..%NZAdd.&NatInt.'Number
07e0	73 a0 23 43 6f 71 40 90 30 b1 ef 16 d1 19 d2 33 2a b7 fd 35 9a ca 36 02 66 a0 a0 25 4e 5a 4d 75	s.#Coq@.0......3*..5..6.f..%NZMu
0800	6c a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 19 9f a8 a2 35 fe	l.&NatInt.'Numbers.#Coq@.0....5.
0820	ff 51 7f 9e 61 f6 bf 31 3e 38 a0 a0 29 44 65 63 69 64 61 62 6c 65 a0 25 4c 6f 67 69 63 a0 23 43	.Q..a..1>8..)Decidable.%Logic.#C
0840	6f 71 40 90 30 99 84 27 f7 b3 1f af 2b a3 f1 0d 62 5b df e9 74 a0 a0 27 4e 5a 4f 72 64 65 72 a0	oq@.0..'....+...b[..t..'NZOrder.
0860	26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 a2 68 87 12 1f 3a b5 78	&NatInt.'Numbers.#Coq@.0.h...:.x
0880	2d 9e 1b 3e d2 70 36 f6 a0 a0 2a 4e 5a 41 64 64 4f 72 64 65 72 a0 26 4e 61 74 49 6e 74 a0 27 4e	-..>.p6...*NZAddOrder.&NatInt.'N
08a0	75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 2a 61 84 0f ff dc 49 ad 42 4a 32 17 5a 06 68 d0 a0 a0	umbers.#Coq@.0*a....I.BJ2.Z.h...
08c0	2a 4e 5a 4d 75 6c 4f 72 64 65 72 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f	*NZMulOrder.&NatInt.'Numbers.#Co
08e0	71 40 90 30 3c 77 35 dd da 3e 1e 2f 0d a6 71 10 0f 67 13 b9 a0 a0 28 4e 5a 50 61 72 69 74 79 a0	q@.0<w5..>./..q..g....(NZParity.
0900	26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 24 d1 7a eb a9 0a 71 ab	&NatInt.'Numbers.#Coq@.0$.z...q.
0920	04 49 ad 73 7a b3 99 67 a0 a0 25 4e 5a 50 6f 77 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72	.I.sz..g..%NZPow.&NatInt.'Number
0940	73 a0 23 43 6f 71 40 90 30 35 8d d5 89 9f 5e d1 59 4f f0 b5 be 9a 1c 70 9d a0 a0 26 4e 5a 53 71	s.#Coq@.05....^.YO.....p...&NZSq
0960	72 74 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 d8 b1 5b 08 8a	rt.&NatInt.'Numbers.#Coq@.0..[..
0980	33 52 88 e9 63 36 bb 30 5a ba 87 a0 a0 25 4e 5a 4c 6f 67 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d	3R..c6.0Z....%NZLog.&NatInt.'Num
09a0	62 65 72 73 a0 23 43 6f 71 40 90 30 78 71 cb 82 b3 16 90 71 87 34 fa af de 22 f8 28 a0 a0 25 4e	bers.#Coq@.0xq.....q.4...".(..%N
09c0	5a 44 69 76 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 54 c1 ca	ZDiv.&NatInt.'Numbers.#Coq@.0T..
09e0	b2 fd dd dc 3a 30 47 52 ea c2 82 ba ef a0 a0 25 4e 5a 47 63 64 a0 26 4e 61 74 49 6e 74 a0 27 4e	....:0GR.......%NZGcd.&NatInt.'N
0a00	75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 86 98 78 27 f9 7c 32 9d f6 b8 85 9a fc 5f 98 87 a0 a0	umbers.#Coq@.0..x'.|2......_....
0a20	26 4e 5a 42 69 74 73 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30	&NZBits.&NatInt.'Numbers.#Coq@.0
0a40	ff e5 7b 41 d5 58 d7 7d 38 56 89 ee 70 8c ce bc a0 a0 27 4e 41 78 69 6f 6d 73 a0 28 41 62 73 74	..{A.X.}8V..p.....'NAxioms.(Abst
0a60	72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 39 21	ract.'Natural.'Numbers.#Coq@.09!
0a80	68 58 25 ad b7 fc 72 21 c9 24 61 31 30 6b a0 a0 2c 4e 5a 50 72 6f 70 65 72 74 69 65 73 a0 26 4e	hX%...r!.$a10k..,NZProperties.&N
0aa0	61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 75 99 6f 80 b1 e5 0f d6 9c f4	atInt.'Numbers.#Coq@.0u.o.......
0ac0	d4 cb d6 2a 52 6f a0 a0 25 4e 42 61 73 65 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61	...*Ro..%NBase.(Abstract.'Natura
0ae0	6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 8d 59 05 1d e7 e4 3c 98 c9 1d cf d3 2d 09	l.'Numbers.#Coq@.0.Y....<.....-.
0b00	0d 79 a0 a0 24 4e 41 64 64 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75	.y..$NAdd.(Abstract.'Natural.'Nu
0b20	6d 62 65 72 73 a0 23 43 6f 71 40 90 30 b9 d2 4c cc c6 01 04 69 9c 3d a1 a6 1f 1d c2 e3 a0 a0 26	mbers.#Coq@.0..L....i.=........&
0b40	4e 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65	NOrder.(Abstract.'Natural.'Numbe
0b60	72 73 a0 23 43 6f 71 40 90 30 e6 b0 c7 3e df ce 5d 9a fc 6d 27 09 db 6d 3b b9 a0 a0 29 4e 41 64	rs.#Coq@.0...>..]..m'..m;...)NAd
0b80	64 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65	dOrder.(Abstract.'Natural.'Numbe
0ba0	72 73 a0 23 43 6f 71 40 90 30 22 73 8a 23 8c d8 ec af cf 7c a1 4a be c1 ff 29 a0 a0 29 4e 4d 75	rs.#Coq@.0"s.#.....|.J...)..)NMu
0bc0	6c 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65	lOrder.(Abstract.'Natural.'Numbe
0be0	72 73 a0 23 43 6f 71 40 90 30 f4 49 79 95 10 96 d1 9e b2 79 24 08 df 48 65 06 a0 a0 24 4e 53 75	rs.#Coq@.0.Iy......y$..He...$NSu
0c00	62 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43	b.(Abstract.'Natural.'Numbers.#C
0c20	6f 71 40 90 30 35 9d e9 c5 1b af 87 90 9f 59 90 38 e8 11 bd 4a a0 a0 27 4e 4d 61 78 4d 69 6e a0	oq@.05........Y.8...J..'NMaxMin.
0c40	28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71	(Abstract.'Natural.'Numbers.#Coq
0c60	40 90 30 19 03 b3 90 cc 58 b1 ef 96 be 16 e9 e7 de 19 8d a0 a0 27 4e 50 61 72 69 74 79 a0 28 41	@.0.....X............'NParity.(A
0c80	62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90	bstract.'Natural.'Numbers.#Coq@.
0ca0	30 cc 32 d1 13 0c 6f 01 0b ba b9 72 e4 a9 97 b3 e6 a0 a0 24 4e 50 6f 77 a0 28 41 62 73 74 72 61	0.2...o....r.......$NPow.(Abstra
0cc0	63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 fd 56 82 0a	ct.'Natural.'Numbers.#Coq@.0.V..
0ce0	f8 3f ee 17 94 ea aa db 5c fb 92 50 a0 a0 25 4e 53 71 72 74 a0 28 41 62 73 74 72 61 63 74 a0 27	.?......\..P..%NSqrt.(Abstract.'
0d00	4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 7a 20 f0 e1 61 4f 77 04	Natural.'Numbers.#Coq@.0z...aOw.
0d20	5e 25 33 1b ae ec 35 15 a0 a0 24 4e 4c 6f 67 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72	^%3...5...$NLog.(Abstract.'Natur
0d40	61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 b6 a0 c3 e8 c8 44 07 2a bd 15 50 18 5b	al.'Numbers.#Coq@.0.....D.*..P.[
0d60	b4 c3 03 a0 a0 24 4e 44 69 76 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e	.....$NDiv.(Abstract.'Natural.'N
0d80	75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 10 4d 28 24 b3 81 80 58 b6 39 ed ad 66 88 44 ba a0 a0	umbers.#Coq@.0.M($...X.9..f.D...
0da0	24 4e 47 63 64 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72	$NGcd.(Abstract.'Natural.'Number
0dc0	73 a0 23 43 6f 71 40 90 30 c7 a4 73 32 fe 12 e8 31 58 b6 7a ad 78 1b 86 4d a0 a0 24 4e 4c 63 6d	s.#Coq@.0..s2...1X.z.x..M..$NLcm
0de0	a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f	.(Abstract.'Natural.'Numbers.#Co
0e00	71 40 90 30 5a 56 09 23 98 ee 4d 63 a6 2a f4 f8 67 f3 37 62 a0 a0 25 4e 42 69 74 73 a0 28 41 62	q@.0ZV.#..Mc.*..g.7b..%NBits.(Ab
0e20	73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30	stract.'Natural.'Numbers.#Coq@.0
0e40	5b d8 0b 34 4a 0a 32 f1 93 e2 cc 3a a6 63 17 f4 a0 a0 2b 4e 50 72 6f 70 65 72 74 69 65 73 a0 28	[..4J.2....:.c....+NProperties.(
0e60	41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40	Abstract.'Natural.'Numbers.#Coq@
0e80	90 30 79 3b fb 1e 5c e5 88 a5 43 cb 0c 13 62 92 81 b8 a0 a0 28 50 65 61 6e 6f 4e 61 74 a0 25 41	.0y;..\...C...b.....(PeanoNat.%A
0ea0	72 69 74 68 a0 23 43 6f 71 40 90 30 11 4a eb 40 c3 b1 eb 57 72 c7 5b b5 0c b4 a9 f5 a0 a0 22 4c	rith.#Coq@.0.J.@...Wr.[......."L
0ec0	65 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 fb 12 43 6a 69 36 f5 60 0e 24 5f 50 16 9b 0d a5	e.%Arith.#Coq@.0..Cji6.`.$_P....
0ee0	a0 a0 22 4c 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 04 d7 92 b4 3e 0c cb 33 ab a8 57 6f	.."Lt.%Arith.#Coq@.0....>..3..Wo
0f00	c3 93 dc 60 a0 a0 24 50 6c 75 73 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 e8 09 72 69 86 e5	...`..$Plus.%Arith.#Coq@.0..ri..
0f20	ec ef 33 61 86 37 05 e6 02 29 a0 a0 22 47 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 5b 25	..3a.7...).."Gt.%Arith.#Coq@.0[%
0f40	55 df 3f 8a ca 52 2c 29 09 fa a1 ab 73 b7 a0 a0 25 4d 69 6e 75 73 a0 25 41 72 69 74 68 a0 23 43	U.?..R,)....s...%Minus.%Arith.#C
0f60	6f 71 40 90 30 9c d8 f7 e0 eb 5f dd cf b4 88 81 7b 6c 96 f4 3f a0 a0 24 4d 75 6c 74 a0 25 41 72	oq@.0....._.....{l..?..$Mult.%Ar
0f80	69 74 68 a0 23 43 6f 71 40 90 30 82 c0 9b 58 85 62 28 55 29 b3 c0 0f 1a 84 4b 60 a0 a0 27 42 65	ith.#Coq@.0...X.b(U).....K`..'Be
0fa0	74 77 65 65 6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 43 78 00 70 11 a4 83 9b 38 71 0e 66	tween.%Arith.#Coq@.0Cx.p....8q.f
0fc0	73 43 51 a0 a0 a0 2a 45 71 64 65 70 46 61 63 74 73 a0 25 4c 6f 67 69 63 a0 23 43 6f 71 40 90 30	sCQ...*EqdepFacts.%Logic.#Coq@.0
0fe0	0f 71 11 b5 45 1b 0d dc 2f 58 8a a3 10 44 e1 77 a0 a0 29 45 71 64 65 70 5f 64 65 63 a0 25 4c 6f	.q..E.../X...D.w..)Eqdep_dec.%Lo
1000	67 69 63 a0 23 43 6f 71 40 90 30 b2 3a 3a e6 16 5e 7a 88 f7 05 fb ef f9 08 46 11 a0 a0 29 50 65	gic.#Coq@.0.::..^z.......F...)Pe
1020	61 6e 6f 5f 64 65 63 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 84 f1 45 a7 3f e1 a2 f6 09 91	ano_dec.%Arith.#Coq@.0..E.?.....
1040	40 16 7a c6 65 84 a0 a0 2b 43 6f 6d 70 61 72 65 5f 64 65 63 a0 25 41 72 69 74 68 a0 23 43 6f 71	@.z.e...+Compare_dec.%Arith.#Coq
1060	40 90 30 4d 0b 4d 29 fa 17 fa 5a 52 92 e6 d3 f5 80 28 e6 a0 a0 29 46 61 63 74 6f 72 69 61 6c a0	@.0M.M)...ZR.....(...)Factorial.
1080	25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 fe f4 5f 25 fd b6 1d da d5 28 d2 05 7d ed 34 b1 a0 a0	%Arith.#Coq@.0.._%.....(..}.4...
10a0	25 45 71 4e 61 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 d3 67 f3 fc b2 ff a6 f5 ad 45 82	%EqNat.%Arith.#Coq@.0.g.......E.
10c0	e7 1d a3 5a a6 a0 a0 26 57 66 5f 6e 61 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 db 5c e8	...Z...&Wf_nat.%Arith.#Coq@.0.\.
10e0	48 44 35 dc 55 ce 74 4d ec 9e d4 7a b0 a0 a0 2a 41 72 69 74 68 5f 62 61 73 65 a0 25 41 72 69 74	HD5.U.tM...z...*Arith_base.%Arit
1100	68 a0 23 43 6f 71 40 90 30 a7 a9 01 d9 a1 9f 95 ec 1d a3 1f 40 40 c4 8b 9b a0 a0 27 42 69 6e 4e	h.#Coq@.0...........@@.....'BinN
1120	75 6d 73 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 bf 3b 26 40 31 1b 9c 4e 45 0d c3 50	ums.'Numbers.#Coq@.0.;&@1..NE..P
1140	57 57 e6 2e a0 a0 29 42 69 6e 50 6f 73 44 65 66 a0 26 50 41 72 69 74 68 a0 23 43 6f 71 40 90 30	WW....)BinPosDef.&PArith.#Coq@.0
1160	66 61 83 49 56 c6 b5 56 24 15 44 19 4b 2b 6a b6 a0 a0 26 42 69 6e 50 6f 73 a0 26 50 41 72 69 74	fa.IV..V$.D.K+j...&BinPos.&PArit
1180	68 a0 23 43 6f 71 40 90 30 76 63 92 fe fd 71 8b a2 2b f5 52 5d b5 b5 64 3c a0 a0 29 42 69 6e 4e	h.#Coq@.0vc...q..+.R]..d<..)BinN
11a0	61 74 44 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 ef d6 9e f3 23 de 2a 0d 05 0e 4f	atDef.&NArith.#Coq@.0....#.*...O
11c0	7e 34 af e9 64 a0 a0 26 42 69 6e 4e 61 74 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 02 7a	~4..d..&BinNat.&NArith.#Coq@.0.z
11e0	36 60 ec 2c 51 3a 48 68 47 92 47 f6 e0 bf a0 a0 24 50 6e 61 74 a0 26 50 41 72 69 74 68 a0 23 43	6`.,Q:HhG.G.....$Pnat.&PArith.#C
1200	6f 71 40 90 30 9f 81 00 01 0f 49 11 94 fb e2 84 ce 89 f6 42 68 a0 a0 24 4e 6e 61 74 a0 26 4e 41	oq@.0.....I........Bh..$Nnat.&NA
1220	72 69 74 68 a0 23 43 6f 71 40 90 30 48 86 bb c4 07 12 57 60 96 df 75 a3 1c 3c b4 ca a0 a0 2b 52	rith.#Coq@.0H.....W`..u..<....+R
1240	69 6e 67 5f 74 68 65 6f 72 79 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 fb	ing_theory.+setoid_ring.#Coq@.0.
1260	ba 9b e4 07 2c 03 6e 30 e1 7e 43 97 68 f1 d2 a0 a0 24 4c 69 73 74 a0 25 4c 69 73 74 73 a0 23 43	....,.n0.~C.h....$List.%Lists.#C
1280	6f 71 40 90 30 16 42 35 8a db 95 39 dc f1 dd f7 c9 e0 b6 51 9f a0 a0 27 42 69 6e 4c 69 73 74 a0	oq@.0.B5...9.......Q...'BinList.
12a0	2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 d3 b1 d0 57 87 c4 39 2a b6 ca 47 c1	+setoid_ring.#Coq@.0...W..9*..G.
12c0	ca 77 18 7b a0 a0 27 5a 41 78 69 6f 6d 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65	.w.{..'ZAxioms.(Abstract.'Intege
12e0	72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 25 ed 74 dc a7 04 8c ef 11 d9 79 10 f5 9b	r.'Numbers.#Coq@.0%.t.......y...
1300	75 90 a0 a0 25 5a 42 61 73 65 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e	u...%ZBase.(Abstract.'Integer.'N
1320	75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 3a 9e d5 4f 32 78 27 d1 1f a0 75 cc a1 2d 16 97 a0 a0	umbers.#Coq@.0:..O2x'...u..-....
1340	24 5a 41 64 64 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72	$ZAdd.(Abstract.'Integer.'Number
1360	73 a0 23 43 6f 71 40 90 30 d4 0c 20 9d fd e1 20 23 22 66 d7 82 70 b3 56 bb a0 a0 24 5a 4d 75 6c	s.#Coq@.0.......#"f..p.V...$ZMul
1380	a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f	.(Abstract.'Integer.'Numbers.#Co
13a0	71 40 90 30 ea 28 0b 0a 08 32 2e 11 02 31 5a 3a ea 2a 3b 3b a0 a0 23 5a 4c 74 a0 28 41 62 73 74	q@.0.(...2...1Z:.*;;..#ZLt.(Abst
13c0	72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 a0 3e	ract.'Integer.'Numbers.#Coq@.0.>
13e0	18 65 42 e9 d2 d1 4c c9 19 41 14 ce 61 d2 a0 a0 29 5a 41 64 64 4f 72 64 65 72 a0 28 41 62 73 74	.eB...L..A..a...)ZAddOrder.(Abst
1400	72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 32 f5	ract.'Integer.'Numbers.#Coq@.02.
1420	42 12 2e 5a c9 08 fb 09 66 a9 15 18 c6 f5 a0 a0 29 5a 4d 75 6c 4f 72 64 65 72 a0 28 41 62 73 74	B..Z....f.......)ZMulOrder.(Abst
1440	72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 17 d2	ract.'Integer.'Numbers.#Coq@.0..
1460	ac 53 29 1f c6 77 bb 70 33 c3 bc 91 fc c3 a0 a0 27 5a 4d 61 78 4d 69 6e a0 28 41 62 73 74 72 61	.S)..w.p3.......'ZMaxMin.(Abstra
1480	63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 fb a2 5d 0a	ct.'Integer.'Numbers.#Coq@.0..].
14a0	09 ee 89 34 ce d0 16 73 17 5a 58 a9 a0 a0 27 5a 53 67 6e 41 62 73 a0 28 41 62 73 74 72 61 63 74	...4...s.ZX...'ZSgnAbs.(Abstract
14c0	a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 fb 18 ee fa 15 24	.'Integer.'Numbers.#Coq@.0.....$
14e0	6a 73 e6 56 d2 d5 3c 75 6d 76 a0 a0 27 5a 50 61 72 69 74 79 a0 28 41 62 73 74 72 61 63 74 a0 27	js.V..<umv..'ZParity.(Abstract.'
1500	49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 7d 85 66 d3 75 69 e8 e6	Integer.'Numbers.#Coq@.0}.f.ui..
1520	63 ba b6 2a 90 5e f2 9e a0 a0 24 5a 50 6f 77 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67	c..*.^....$ZPow.(Abstract.'Integ
1540	65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 d0 f6 73 0b c0 22 7f a9 c2 0d a1 03 3d	er.'Numbers.#Coq@.0..s.."......=
1560	d7 22 c9 a0 a0 29 5a 44 69 76 54 72 75 6e 63 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67	."...)ZDivTrunc.(Abstract.'Integ
1580	65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 06 02 58 7d 71 97 33 3c 47 00 6b 55 5c	er.'Numbers.#Coq@.0..X}q.3<G.kU\
15a0	47 c1 69 a0 a0 29 5a 44 69 76 46 6c 6f 6f 72 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67	G.i..)ZDivFloor.(Abstract.'Integ
15c0	65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 3b 40 f2 c4 e0 40 1f 5b 81 53 82 e5 70	er.'Numbers.#Coq@.0;@...@.[.S..p
15e0	b5 77 72 a0 a0 24 5a 47 63 64 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e	.wr..$ZGcd.(Abstract.'Integer.'N
1600	75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 aa 38 87 98 43 32 53 3d b3 aa fa 2a bf 08 d4 4c a0 a0	umbers.#Coq@.0.8..C2S=...*...L..
1620	24 5a 4c 63 6d a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72	$ZLcm.(Abstract.'Integer.'Number
1640	73 a0 23 43 6f 71 40 90 30 95 d5 65 2c 12 d8 af 55 9d 45 b9 8e 86 be 3c 1f a0 a0 25 5a 42 69 74	s.#Coq@.0..e,...U.E....<...%ZBit
1660	73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43	s.(Abstract.'Integer.'Numbers.#C
1680	6f 71 40 90 30 93 de 23 35 73 f8 02 08 1e 15 55 e5 1e da f7 c9 a0 a0 2b 5a 50 72 6f 70 65 72 74	oq@.0..#5s.....U.......+ZPropert
16a0	69 65 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0	ies.(Abstract.'Integer.'Numbers.
16c0	23 43 6f 71 40 90 30 b6 98 8a b8 8c 3c bd c1 d5 3c c6 e8 90 90 cf 78 a0 a0 29 42 69 6e 49 6e 74	#Coq@.0.....<...<.....x..)BinInt
16e0	44 65 66 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 8a f0 9c f1 6e 95 6f fd 7a 10 27 fa 11	Def.&ZArith.#Coq@.0....n.o.z.'..
1700	ad 2e 33 a0 a0 26 42 69 6e 49 6e 74 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 56 56 c7 06	..3..&BinInt.&ZArith.#Coq@.0VV..
1720	ee 4c 87 1d 3a 79 71 2e 43 51 0d a4 a0 a0 2c 52 69 6e 67 5f 70 6f 6c 79 6e 6f 6d a0 2b 73 65 74	.L..:yq.CQ....,Ring_polynom.+set
1740	6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 39 83 ea 02 2e e9 84 42 69 38 05 ad 67 47 5f 19	oid_ring.#Coq@.09......Bi8..gG_.
1760	a0 a0 2b 4c 69 73 74 54 61 63 74 69 63 73 a0 25 4c 69 73 74 73 a0 23 43 6f 71 40 90 30 f9 60 43	..+ListTactics.%Lists.#Coq@.0.`C
1780	66 b1 b1 10 6f 42 1a 4d b7 5b 40 4c 44 a0 a0 25 5a 65 76 65 6e a0 26 5a 41 72 69 74 68 a0 23 43	f...oB.M.[@LD..%Zeven.&ZArith.#C
17a0	6f 71 40 90 30 a4 d7 23 8a 58 f1 9e 29 0a 11 5f e7 d2 03 c0 58 a0 a0 28 5a 63 6f 6d 70 61 72 65	oq@.0..#.X..).._....X..(Zcompare
17c0	a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 3f 44 be e2 db 27 07 b7 39 2e e1 2d 52 01 91 3e	.&ZArith.#Coq@.0?D...'..9..-R..>
17e0	a0 a0 26 5a 6f 72 64 65 72 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 d7 3f 08 f8 25 ad 16	..&Zorder.&ZArith.#Coq@.0.?..%..
1800	8f bb ad b5 dc 0a 13 7c 90 a0 a0 27 53 75 6d 62 6f 6f 6c a0 24 42 6f 6f 6c a0 23 43 6f 71 40 90	.......|...'Sumbool.$Bool.#Coq@.
1820	30 73 c1 b4 68 c1 e0 30 10 a8 f3 32 29 a6 9b 8f 47 a0 a0 2a 5a 41 72 69 74 68 5f 64 65 63 a0 26	0s..h..0...2)...G..*ZArith_dec.&
1840	5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 4d 6f ff 75 01 f5 59 34 df c4 78 36 5e bc 57 bc a0 a0	ZArith.#Coq@.0Mo.u..Y4..x6^.W...
1860	25 5a 62 6f 6f 6c a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 c2 9d 52 5d 98 be fe 05 cc 45	%Zbool.&ZArith.#Coq@.0..R].....E
1880	3e ed ca 96 e7 0f a0 a0 2b 49 6e 69 74 69 61 6c 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e	>.......+InitialRing.+setoid_rin
18a0	67 a0 23 43 6f 71 40 90 30 3b 1c 77 f6 7f a9 9d 80 a6 8e a2 f8 6c a5 0e 58 a0 a0 28 52 69 6e 67	g.#Coq@.0;.w.........l..X..(Ring
18c0	5f 74 61 63 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 22 0c c5 09 18 0f cb	_tac.+setoid_ring.#Coq@.0"......
18e0	93 8a 4e 9e ad 1d fb d1 c6 a0 a0 29 52 69 6e 67 5f 62 61 73 65 a0 2b 73 65 74 6f 69 64 5f 72 69	..N........)Ring_base.+setoid_ri
1900	6e 67 a0 23 43 6f 71 40 90 30 ba 16 da b5 f8 7d f5 ce f1 b9 cd 8a 62 03 82 c3 a0 a0 24 52 69 6e	ng.#Coq@.0.....}......b.....$Rin
1920	67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 fb a1 08 5a c9 5e 73 55 c1 9e	g.+setoid_ring.#Coq@.0...Z.^sU..
1940	60 36 d4 1c e3 89 a0 a0 29 41 72 69 74 68 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0	`6......)ArithRing.+setoid_ring.
1960	23 43 6f 71 40 90 30 3f f7 d6 ff 34 7f 4e 08 32 f2 a8 93 60 17 58 49 a0 a0 25 41 72 69 74 68 a0	#Coq@.0?...4.N.2...`.XI..%Arith.
1980	04 02 a0 23 43 6f 71 40 90 30 3b 1a 99 52 45 1d b0 2a 74 32 ff 62 1e 50 ca 0d a0 a0 24 45 76 65	...#Coq@.0;..RE..*t2.b.P....$Eve
19a0	6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 b3 ec d0 b6 ac 5d a6 0b be 0f 5d 81 37 48 24 a6	n.%Arith.#Coq@.0.....]....].7H$.
19c0	a0 a0 24 44 69 76 32 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 ef cb 0d 43 e6 47 b5 12 61 ee	..$Div2.%Arith.#Coq@.0...C.G..a.
19e0	1e b5 85 28 3f e1 a0 a0 28 4e 64 69 76 5f 64 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90	...(?...(Ndiv_def.&NArith.#Coq@.
1a00	30 5b 22 cd 33 9e 7a 6b 2f 3c ef 83 38 8e 95 18 14 a0 a0 29 4e 73 71 72 74 5f 64 65 66 a0 26 4e	0[".3.zk/<..8......)Nsqrt_def.&N
1a20	41 72 69 74 68 a0 23 43 6f 71 40 90 30 8a bd dd a7 6f a6 19 40 64 4c 1b 3c cd 6f 23 7b a0 a0 28	Arith.#Coq@.0....o..@dL.<.o#{..(
1a40	4e 67 63 64 5f 64 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 d7 25 6a 1f be 4d 9f 92	Ngcd_def.&NArith.#Coq@.0.%j..M..
1a60	5f d3 7d 7b 64 39 e6 d9 a0 a0 23 46 69 6e a0 27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 da	_.}{d9....#Fin.'Vectors.#Coq@.0.
1a80	a3 98 9f 52 fa e5 6c 52 21 93 b6 43 13 6d 8b a0 a0 29 56 65 63 74 6f 72 44 65 66 a0 27 56 65 63	...R..lR!..C.m...)VectorDef.'Vec
1aa0	74 6f 72 73 a0 23 43 6f 71 40 90 30 f2 30 53 0c 15 43 89 2d b4 0b b7 f7 11 44 9d 10 a0 a0 2a 56	tors.#Coq@.0.0S..C.-.....D....*V
1ac0	65 63 74 6f 72 53 70 65 63 a0 27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 b9 e3 df f7 d2 c2	ectorSpec.'Vectors.#Coq@.0......
1ae0	fb 46 e8 2b 4d a7 38 ae 0d da a0 a0 28 56 65 63 74 6f 72 45 71 a0 27 56 65 63 74 6f 72 73 a0 23	.F.+M.8.....(VectorEq.'Vectors.#
1b00	43 6f 71 40 90 30 58 13 73 f8 c6 9c 76 9d 4d a7 4f 03 dd 0e 0a f3 a0 a0 26 56 65 63 74 6f 72 a0	Coq@.0X.s...v.M.O.......&Vector.
1b20	27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 30 b3 36 95 5c 16 5c 87 eb 11 2f 42 e7 f0 a3 98	'Vectors.#Coq@.00.6.\.\.../B....
1b40	a0 a0 27 42 76 65 63 74 6f 72 a0 24 42 6f 6f 6c a0 23 43 6f 71 40 90 30 00 af 71 aa 6a e1 41 9a	..'Bvector.$Bool.#Coq@.0..q.j.A.
1b60	e2 ca 68 71 ff b5 f3 e1 a0 a0 24 42 79 74 65 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30	..hq......$Byte.'Strings.#Coq@.0
1b80	6e 0a e6 f2 17 ab 2c 80 ff 75 80 9a ba e5 14 f6 a0 a0 25 41 73 63 69 69 a0 27 53 74 72 69 6e 67	n.....,..u........%Ascii.'String
1ba0	73 a0 23 43 6f 71 40 90 30 5e fd 72 34 9c 8d f1 74 11 e7 62 fe 60 dc e4 c9 a0 a0 26 53 74 72 69	s.#Coq@.0^.r4...t..b.`.....&Stri
1bc0	6e 67 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30 22 c0 b8 28 b3 87 8d 4f 13 2c a6 2a 48	ng.'Strings.#Coq@.0"..(...O.,.*H
1be0	e4 8d 8f a0 a0 2a 42 79 74 65 56 65 63 74 6f 72 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90	.....*ByteVector.'Strings.#Coq@.
1c00	30 05 77 db 01 56 f6 58 31 b8 f5 14 68 90 9a b9 da a0 a0 27 4e 64 69 67 69 74 73 a0 26 4e 41 72	0.w..V.X1...h......'Ndigits.&NAr
1c20	69 74 68 a0 23 43 6f 71 40 90 30 bf 71 2a bd 0e df 58 47 79 96 73 60 f6 1d 0a ae a0 a0 2a 4e 41	ith.#Coq@.0.q*...XGy.s`......*NA
1c40	72 69 74 68 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 b7 39 1c	rithRing.+setoid_ring.#Coq@.0.9.
1c60	15 cc 29 97 62 65 69 ed 76 ed f6 a1 27 a0 a0 26 4e 41 72 69 74 68 a0 04 02 a0 23 43 6f 71 40 90	..).bei.v...'..&NArith....#Coq@.
1c80	30 a9 92 a3 25 68 0a c4 47 72 96 ee 49 40 48 9f 8d a0 a0 27 5a 6d 69 6e 6d 61 78 a0 26 5a 41 72	0...%h..Gr..I@H....'Zminmax.&ZAr
1ca0	69 74 68 a0 23 43 6f 71 40 90 30 d5 a2 16 f8 fe 94 26 ef 5f b6 4b 0f 30 09 33 1a a0 a0 24 5a 6d	ith.#Coq@.0......&._.K.0.3...$Zm
1cc0	69 6e a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 7e 4c 52 30 fe ae e1 5a 46 1c 1f 03 8a 52	in.&ZArith.#Coq@.0~LR0...ZF....R
1ce0	e0 2c a0 a0 24 5a 6d 61 78 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 6d ea 25 2f 5b 2f 32	.,..$Zmax.&ZArith.#Coq@.0m.%/[/2
1d00	54 f9 1e 81 e4 58 38 92 ac a0 a0 24 5a 6e 61 74 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30	T....X8....$Znat.&ZArith.#Coq@.0
1d20	74 6c b4 8b 5e 59 46 fa 9d ed f7 77 74 dd c8 3d a0 a0 24 5a 61 62 73 a0 26 5a 41 72 69 74 68 a0	tl..^YF....wt..=..$Zabs.&ZArith.
1d40	23 43 6f 71 40 90 30 c6 c8 74 72 6a a7 d3 83 2d 8b c2 f3 ae 29 d6 7b a0 a0 29 61 75 78 69 6c 69	#Coq@.0..trj...-....).{..)auxili
1d60	61 72 79 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 62 a1 15 8d e4 80 36 4b 3b 3f 35 77 38	ary.&ZArith.#Coq@.0b.....6K;?5w8
1d80	29 db 5c a0 a0 25 5a 6d 69 73 63 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 34 dd b7 35 8f	).\..%Zmisc.&ZArith.#Coq@.04..5.
1da0	8e 75 71 c4 e2 4b b2 52 e7 2b d8 a0 a0 24 57 66 5f 5a a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40	.uq..K.R.+...$Wf_Z.&ZArith.#Coq@
1dc0	90 30 72 10 66 5e 72 00 37 1f de 3f b7 eb 74 b5 79 05 a0 a0 26 5a 68 69 6e 74 73 a0 26 5a 41 72	.0r.f^r.7..?..t.y...&Zhints.&ZAr
1de0	69 74 68 a0 23 43 6f 71 40 90 30 79 65 22 49 0c 14 14 83 ae 6e 96 83 ed 66 55 8a a0 a0 2b 5a 41	ith.#Coq@.0ye"I.....n...fU...+ZA
1e00	72 69 74 68 5f 62 61 73 65 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 6b 9b 31 c0 03 93 13	rith_base.&ZArith.#Coq@.0k.1....
1e20	1e 42 dd 4e cb 36 d7 4c 52 a0 a0 28 5a 70 6f 77 5f 64 65 66 a0 26 5a 41 72 69 74 68 a0 23 43 6f	.B.N.6.LR..(Zpow_def.&ZArith.#Co
1e40	71 40 90 30 d0 38 1d a6 8a 9f 58 43 32 01 b9 6b 92 f8 ac d4 a0 a0 2b 4f 6d 65 67 61 4c 65 6d 6d	q@.0.8....XC2..k......+OmegaLemm
1e60	61 73 a0 25 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 dd dc 32 53 e2 03 97 2e 14 c6 f3 3c b8 72 e2	as.%omega.#Coq@.0..2S.......<.r.
1e80	1a a0 a0 23 4d 61 78 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 8b 69 4a 94 b8 6f 87 a0 0b 7c	...#Max.%Arith.#Coq@.0.iJ..o...|
1ea0	45 42 03 1a 92 18 a0 a0 23 4d 69 6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 88 8e f9 82 c6	EB......#Min.%Arith.#Coq@.0.....
1ec0	47 3d bf 02 ab 7d 85 94 ab 66 cf a0 a0 2b 5a 69 66 79 43 6c 61 73 73 65 73 a0 29 6d 69 63 72 6f	G=...}...f...+ZifyClasses.)micro
1ee0	6d 65 67 61 a0 23 43 6f 71 40 90 30 e3 8c d4 fe d0 ef 20 fc 04 05 79 a9 6a cc 4c 7d a0 a0 28 5a	mega.#Coq@.0..........y.j.L}..(Z
1f00	69 66 79 49 6e 73 74 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 6f 17 5d 24 8f 65	ifyInst.)micromega.#Coq@.0o.]$.e
1f20	fc cc 91 94 de 75 28 34 83 2c a0 a0 24 5a 69 66 79 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f	.....u(4.,..$Zify.)micromega.#Co
1f40	71 40 90 30 12 5c 0d 8a e7 5b 90 f8 97 ff 7e 2b 4b 45 3e f7 a0 a0 28 50 72 65 4f 6d 65 67 61 a0	q@.0.\...[....~+KE>...(PreOmega.
1f60	25 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 1d 6e 75 7e c7 e1 ee 47 a9 80 91 6a a3 6b 0b 40 a0 a0	%omega.#Coq@.0.nu~...G...j.k.@..
1f80	2b 4f 72 64 65 72 65 64 52 69 6e 67 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 e5	+OrderedRing.)micromega.#Coq@.0.
1fa0	4c 66 78 7e c2 80 a6 1f ff 03 2b d8 80 b3 2c a0 a0 23 45 6e 76 a0 29 6d 69 63 72 6f 6d 65 67 61	Lfx~......+...,..#Env.)micromega
1fc0	a0 23 43 6f 71 40 90 30 fa 21 eb 3e bb dd cb 0d 1d 8f 03 71 55 c7 06 04 a0 a0 27 45 6e 76 52 69	.#Coq@.0.!.>.......qU.....'EnvRi
1fe0	6e 67 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 48 95 b0 11 11 dd 31 aa fa 41 7a	ng.)micromega.#Coq@.0H.....1..Az
2000	5e 4c 05 d4 8c a0 a0 24 52 65 66 6c a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 05	^L.....$Refl.)micromega.#Coq@.0.
2020	8e af b0 e5 41 91 c0 f1 f2 f4 0a 1f 5c 7d 32 a0 a0 25 54 61 75 74 6f a0 29 6d 69 63 72 6f 6d 65	....A.......\}2..%Tauto.)microme
2040	67 61 a0 23 43 6f 71 40 90 30 0e 76 37 9b 6c 9b 1d 83 8c 62 6e 9c 39 c5 c7 99 a0 a0 2d 52 69 6e	ga.#Coq@.0.v7.l....bn.9.....-Rin
2060	67 4d 69 63 72 6f 6d 65 67 61 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 64 69 63	gMicromega.)micromega.#Coq@.0dic
2080	39 c5 24 5c 8e 1c 7f 29 89 e6 84 e8 68 a0 a0 2a 5a 41 72 69 74 68 52 69 6e 67 a0 2b 73 65 74 6f	9.$\...)....h..*ZArithRing.+seto
20a0	69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 d1 8f a1 40 05 df 5f 68 3f db 82 a8 db 48 00 2c a0	id_ring.#Coq@.0...@.._h?....H.,.
20c0	a0 26 5a 43 6f 65 66 66 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 5e ba 25 25 3d	.&ZCoeff.)micromega.#Coq@.0^.%%=
20e0	a0 05 54 fb f6 c1 d3 de ea 39 f2 a0 a0 24 5a 74 61 63 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43	..T......9...$Ztac.)micromega.#C
2100	6f 71 40 90 30 ec 50 6e a3 04 ad ab ee 3b 7f 5c ab 09 fa a2 aa a0 a0 2c 5a 63 6f 6d 70 6c 65 6d	oq@.0.Pn.....;.\.......,Zcomplem
2120	65 6e 74 73 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 f3 cc 55 e1 7b 68 2b d1 0c 4e c5 51	ents.&ZArith.#Coq@.0..U.{h+..N.Q
2140	fb 07 5b 51 a0 a0 24 5a 64 69 76 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 77 ab 8e 64 c6	..[Q..$Zdiv.&ZArith.#Coq@.0w..d.
2160	af 38 c4 ee 63 11 b2 b6 a6 13 d4 a0 a0 2a 5a 6e 75 6d 74 68 65 6f 72 79 a0 26 5a 41 72 69 74 68	.8..c........*Znumtheory.&ZArith
2180	a0 23 43 6f 71 40 90 30 7d d3 64 11 88 5e 6f d6 70 4a f8 f0 58 a4 29 1d a0 a0 2b 51 41 72 69 74	.#Coq@.0}.d..^o.pJ..X.)...+QArit
21a0	68 5f 62 61 73 65 a0 26 51 41 72 69 74 68 a0 23 43 6f 71 40 90 30 9b 45 1c 47 7e 4c d5 b0 d2 0c	h_base.&QArith.#Coq@.0.E.G~L....
21c0	36 aa d4 11 bd 58 a0 a0 2c 46 69 65 6c 64 5f 74 68 65 6f 72 79 a0 2b 73 65 74 6f 69 64 5f 72 69	6....X..,Field_theory.+setoid_ri
21e0	6e 67 a0 23 43 6f 71 40 90 30 f8 fd 45 76 8a 63 cc 70 51 41 62 4d 49 08 2e 2a a0 a0 29 46 69 65	ng.#Coq@.0..Ev.c.pQAbMI..*..)Fie
2200	6c 64 5f 74 61 63 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 95 07 a4 58 6f	ld_tac.+setoid_ring.#Coq@.0...Xo
2220	ec ef 56 42 c3 20 59 5f 08 20 d9 a0 a0 25 46 69 65 6c 64 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67	..VB..Y_.....%Field.+setoid_ring
2240	a0 23 43 6f 71 40 90 30 b5 0c 3e ee e0 7e 85 5a bc 1c bc d1 1b fa ec bd a0 a0 26 51 66 69 65 6c	.#Coq@.0..>..~.Z..........&Qfiel
2260	64 a0 26 51 41 72 69 74 68 a0 23 43 6f 71 40 90 30 28 d3 73 be 3e 41 6b 09 64 fe 97 8e fb d4 c8	d.&QArith.#Coq@.0(.s.>Ak.d......
2280	0b a0 a0 25 51 72 69 6e 67 a0 26 51 41 72 69 74 68 a0 23 43 6f 71 40 90 30 31 9b 74 73 47 d1 27	...%Qring.&QArith.#Coq@.01.tsG.'
22a0	e8 cf 84 ff 39 18 7b f4 67 a0 a0 2a 51 72 65 64 75 63 74 69 6f 6e a0 26 51 41 72 69 74 68 a0 23	....9.{.g..*Qreduction.&QArith.#
22c0	43 6f 71 40 90 30 58 51 fc 41 02 7f 0e fe 46 50 64 39 fb 5d a6 10 a0 a0 26 51 41 72 69 74 68 a0	Coq@.0XQ.A....FPd9.]....&QArith.
22e0	04 02 a0 23 43 6f 71 40 90 30 be d8 1a 7d a6 38 8c f5 a7 09 08 55 34 d6 bd a2 a0 a0 26 56 61 72	...#Coq@.0...}.8.....U4.....&Var
2300	4d 61 70 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 56 73 bc 07 3d 74 21 33 73 2f	Map.)micromega.#Coq@.0Vs..=t!3s/
2320	00 9d 74 a2 9e 26 a0 a0 2a 5a 4d 69 63 72 6f 6d 65 67 61 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23	..t..&..*ZMicromega.)micromega.#
2340	43 6f 71 40 90 30 09 e7 3a d9 16 ae ef 4f 8d 52 5f 4f 76 51 6f 30 a0 a0 2c 44 65 63 6c 43 6f 6e	Coq@.0..:....O.R_OvQo0..,DeclCon
2360	73 74 61 6e 74 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 dd 18 53 4b e9 fc c6 1c	stant.)micromega.#Coq@.0..SK....
2380	02 0c e5 86 58 9b 42 fe a0 a0 23 4c 69 61 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90	....X.B...#Lia.)micromega.#Coq@.
23a0	30 a4 28 48 42 5a 14 d4 23 3e ef e8 98 96 a0 2b da a0 a0 2c 5a 41 72 69 74 68 5f 68 69 6e 74 73	0.(HBZ..#>.....+...,ZArith_hints
23c0	a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 b1 bf 56 81 48 9d c3 c7 26 1c 1d c8 c6	.)micromega.#Coq@.0..V.H...&....
23e0	69 88 71 a0 a0 26 5a 70 6f 77 65 72 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 cf c1 3f 86	i.q..&Zpower.&ZArith.#Coq@.0..?.
2400	32 1a c0 d8 25 ed b1 cd ef bd f1 37 a0 a0 26 5a 41 72 69 74 68 a0 04 02 a0 23 43 6f 71 40 90 30	2...%......7..&ZArith....#Coq@.0
2420	05 fc 67 aa 4e 3c 8f 05 b0 71 54 01 54 35 ca 52 a0 a0 25 45 71 64 65 70 a0 25 4c 6f 67 69 63 a0	..g.N<...qT.T5.R..%Eqdep.%Logic.
2440	23 43 6f 71 40 90 30 08 2f c9 43 b1 8a 5d d8 f3 18 a1 45 7a 16 a0 b0 a0 a0 24 4a 4d 65 71 a0 25	#Coq@.0./.C..]....Ez.....$JMeq.%
2460	4c 6f 67 69 63 a0 23 43 6f 71 40 90 30 2d f3 e2 c6 aa f8 60 44 51 b0 4e 5d f5 3f b3 7c a0 a0 28	Logic.#Coq@.0-.....`DQ.N].?.|..(
2480	45 71 75 61 6c 69 74 79 a0 27 50 72 6f 67 72 61 6d a0 23 43 6f 71 40 90 30 5b 08 0a 7d 8d cb 9c	Equality.'Program.#Coq@.0[..}...
24a0	a6 c4 20 66 c3 33 5b 49 7c a0 a0 26 4e 6f 6d 65 67 61 a0 23 62 62 76 40 90 30 f0 7b a1 bd f7 0e	...f.3[I|..&Nomega.#bbv@.0.{....
24c0	79 7c 0b ff dd ac 1c ca 43 bc a0 a0 24 5a 4c 69 62 a0 23 62 62 76 40 90 30 c1 34 8a 79 3c fe 73	y|......C...$ZLib.#bbv@.0.4.y<.s
24e0	1a b0 89 ae 36 5a cc b8 3b a0 a0 33 4e 5f 5a 5f 6e 61 74 5f 63 6f 6e 76 65 72 73 69 6f 6e 73 a0	....6Z..;..3N_Z_nat_conversions.
2500	23 62 62 76 40 90 30 94 f5 bb 50 68 eb 67 ad 32 ce 3c 50 0e 20 d0 af a0 a0 26 4e 61 74 4c 69 62	#bbv@.0...Ph.g.2.<P......&NatLib
2520	a0 23 62 62 76 40 90 30 d0 f7 98 3a 12 bb 6d 52 ef ad 65 fa a3 06 14 28 a0 a0 24 4e 4c 69 62 a0	.#bbv@.0...:..mR..e....(..$NLib.
2540	23 62 62 76 40 90 30 a4 f6 c9 a9 45 32 17 8a 83 84 57 9a 46 74 d0 eb a0 a0 25 44 65 70 45 71 a0	#bbv@.0....E2....W.Ft....%DepEq.
2560	23 62 62 76 40 90 30 2c 08 7e 7b 78 5f c1 9c 3b 4f 4c 8e d5 06 c9 70 a0 a0 28 44 65 70 45 71 4e	#bbv@.0,.~{x_..;OL....p..(DepEqN
2580	61 74 a0 23 62 62 76 40 90 30 5e 20 58 5e e8 f5 e7 34 be 87 a9 09 d8 33 b3 b9 a0 a0 31 52 65 73	at.#bbv@.0^.X^...4.....3....1Res
25a0	65 72 76 65 64 4e 6f 74 61 74 69 6f 6e 73 a0 23 62 62 76 40 90 30 74 5c d1 13 e0 d5 75 de cf e1	ervedNotations.#bbv@.0t\....u...
25c0	92 85 79 69 a3 36 a0 a0 24 57 6f 72 64 a0 23 62 62 76 40 90 30 16 60 bb 02 5e dd 70 fa 4d 4e 23	..yi.6..$Word.#bbv@.0.`..^.p.MN#
25e0	e3 6d ad 68 04 26 34 2e 31 32 2e 30 fe af 4b 6d 51 8f dd 76 ef ca b7 7c 51 e7 94 a5 84 95 a6 be	.m.h.&4.12.0..KmQ..v...|Q.......
2600	00 00 25 d6 00 00 07 f5 00 00 1a 2c 00 00 16 9d a0 d0 a0 25 42 69 74 45 51 a0 25 62 69 74 65 71	..%........,.......%BitEQ.%biteq
2620	40 e0 90 04 06 41 90 40 40 a0 40 40 90 40 a0 40 40 08 00 03 44 00 a0 a0 25 41 72 69 74 68 a0 04	@....A.@@.@@.@.@@...D...%Arith..
2640	02 a0 23 43 6f 71 40 90 30 3b 1a 99 52 45 1d b0 2a 74 32 ff 62 1e 50 ca 0d a0 a0 29 41 72 69 74	..#Coq@.0;..RE..*t2.b.P....)Arit
2660	68 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 3f f7 d6 ff 34 7f	hRing.+setoid_ring.#Coq@.0?...4.
2680	4e 08 32 f2 a8 93 60 17 58 49 a0 a0 2a 41 72 69 74 68 5f 62 61 73 65 a0 25 41 72 69 74 68 a0 23	N.2...`.XI..*Arith_base.%Arith.#
26a0	43 6f 71 40 90 30 a7 a9 01 d9 a1 9f 95 ec 1d a3 1f 40 40 c4 8b 9b a0 a0 25 41 73 63 69 69 a0 27	Coq@.0...........@@.....%Ascii.'
26c0	53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30 5e fd 72 34 9c 8d f1 74 11 e7 62 fe 60 dc e4 c9 a0	Strings.#Coq@.0^.r4...t..b.`....
26e0	a0 26 42 61 73 69 63 73 a0 27 50 72 6f 67 72 61 6d a0 23 43 6f 71 40 90 30 3d e1 29 0d cc 6c 98	.&Basics.'Program.#Coq@.0=.)..l.
2700	10 3b d6 d2 5d 43 97 08 66 a0 a0 27 42 65 74 77 65 65 6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40	.;..]C..f..'Between.%Arith.#Coq@
2720	90 30 43 78 00 70 11 a4 83 9b 38 71 0e 66 73 43 51 a0 a0 a0 26 42 69 6e 49 6e 74 a0 26 5a 41 72	.0Cx.p....8q.fsCQ...&BinInt.&ZAr
2740	69 74 68 a0 23 43 6f 71 40 90 30 56 56 c7 06 ee 4c 87 1d 3a 79 71 2e 43 51 0d a4 a0 a0 29 42 69	ith.#Coq@.0VV...L..:yq.CQ....)Bi
2760	6e 49 6e 74 44 65 66 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 8a f0 9c f1 6e 95 6f fd 7a	nIntDef.&ZArith.#Coq@.0....n.o.z
2780	10 27 fa 11 ad 2e 33 a0 a0 27 42 69 6e 4c 69 73 74 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23	.'....3..'BinList.+setoid_ring.#
27a0	43 6f 71 40 90 30 d3 b1 d0 57 87 c4 39 2a b6 ca 47 c1 ca 77 18 7b a0 a0 26 42 69 6e 4e 61 74 a0	Coq@.0...W..9*..G..w.{..&BinNat.
27c0	26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 02 7a 36 60 ec 2c 51 3a 48 68 47 92 47 f6 e0 bf a0	&NArith.#Coq@.0.z6`.,Q:HhG.G....
27e0	a0 29 42 69 6e 4e 61 74 44 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 ef d6 9e f3 23	.)BinNatDef.&NArith.#Coq@.0....#
2800	de 2a 0d 05 0e 4f 7e 34 af e9 64 a0 a0 27 42 69 6e 4e 75 6d 73 a0 27 4e 75 6d 62 65 72 73 a0 23	.*...O~4..d..'BinNums.'Numbers.#
2820	43 6f 71 40 90 30 bf 3b 26 40 31 1b 9c 4e 45 0d c3 50 57 57 e6 2e a0 a0 26 42 69 6e 50 6f 73 a0	Coq@.0.;&@1..NE..PWW....&BinPos.
2840	26 50 41 72 69 74 68 a0 23 43 6f 71 40 90 30 76 63 92 fe fd 71 8b a2 2b f5 52 5d b5 b5 64 3c a0	&PArith.#Coq@.0vc...q..+.R]..d<.
2860	a0 29 42 69 6e 50 6f 73 44 65 66 a0 26 50 41 72 69 74 68 a0 23 43 6f 71 40 90 30 66 61 83 49 56	.)BinPosDef.&PArith.#Coq@.0fa.IV
2880	c6 b5 56 24 15 44 19 4b 2b 6a b6 a0 a0 24 42 6f 6f 6c a0 04 02 a0 23 43 6f 71 40 90 30 43 be 36	..V$.D.K+j...$Bool....#Coq@.0C.6
28a0	e8 e5 73 6e 11 d1 c4 3f 11 9c 17 06 b4 a0 a0 27 42 76 65 63 74 6f 72 a0 24 42 6f 6f 6c a0 23 43	..sn...?.......'Bvector.$Bool.#C
28c0	6f 71 40 90 30 00 af 71 aa 6a e1 41 9a e2 ca 68 71 ff b5 f3 e1 a0 a0 24 42 79 74 65 a0 24 49 6e	oq@.0..q.j.A...hq......$Byte.$In
28e0	69 74 a0 23 43 6f 71 40 90 30 4c ee 98 b8 34 3b 14 e4 e7 8d 5f db a8 1d 1f 37 a0 a0 24 42 79 74	it.#Coq@.0L...4;...._....7..$Byt
2900	65 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30 6e 0a e6 f2 17 ab 2c 80 ff 75 80 9a ba e5	e.'Strings.#Coq@.0n.....,..u....
2920	14 f6 a0 a0 2a 42 79 74 65 56 65 63 74 6f 72 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30	....*ByteVector.'Strings.#Coq@.0
2940	05 77 db 01 56 f6 58 31 b8 f5 14 68 90 9a b9 da a0 a0 2a 43 4d 6f 72 70 68 69 73 6d 73 a0 27 43	.w..V.X1...h......*CMorphisms.'C
2960	6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 07 d1 ff 10 3e f4 6e 1f 02 84 ca 01 50 8c 32 4b a0 a0	lasses.#Coq@.0....>.n.....P.2K..
2980	30 43 52 65 6c 61 74 69 6f 6e 43 6c 61 73 73 65 73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40	0CRelationClasses.'Classes.#Coq@
29a0	90 30 bc 07 7a 3e 6e da 1c fa 9b 3f a4 3b 58 08 97 44 a0 a0 2b 43 6f 6d 70 61 72 65 5f 64 65 63	.0..z>n....?.;X..D..+Compare_dec
29c0	a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 4d 0b 4d 29 fa 17 fa 5a 52 92 e6 d3 f5 80 28 e6 a0	.%Arith.#Coq@.0M.M)...ZR.....(..
29e0	a0 29 44 61 74 61 74 79 70 65 73 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 e1 12 7f 81 ad 38 88	.)Datatypes.$Init.#Coq@.0.....8.
2a00	e4 1a 7c bf 09 50 4d 17 53 a0 a0 29 44 65 63 69 64 61 62 6c 65 a0 25 4c 6f 67 69 63 a0 23 43 6f	..|..PM.S..)Decidable.%Logic.#Co
2a20	71 40 90 30 99 84 27 f7 b3 1f af 2b a3 f1 0d 62 5b df e9 74 a0 a0 27 44 65 63 69 6d 61 6c a0 24	q@.0..'....+...b[..t..'Decimal.$
2a40	49 6e 69 74 a0 23 43 6f 71 40 90 30 e1 c9 ea 21 76 10 4f 01 63 52 54 77 4a 73 56 47 a0 a0 2c 44	Init.#Coq@.0...!v.O.cRTwJsVG..,D
2a60	65 63 6c 43 6f 6e 73 74 61 6e 74 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 dd 18	eclConstant.)micromega.#Coq@.0..
2a80	53 4b e9 fc c6 1c 02 0c e5 86 58 9b 42 fe a0 a0 25 44 65 70 45 71 a0 23 62 62 76 40 90 30 2c 08	SK........X.B...%DepEq.#bbv@.0,.
2aa0	7e 7b 78 5f c1 9c 3b 4f 4c 8e d5 06 c9 70 a0 a0 28 44 65 70 45 71 4e 61 74 a0 23 62 62 76 40 90	~{x_..;OL....p..(DepEqNat.#bbv@.
2ac0	30 5e 20 58 5e e8 f5 e7 34 be 87 a9 09 d8 33 b3 b9 a0 a0 24 44 69 76 32 a0 25 41 72 69 74 68 a0	0^.X^...4.....3....$Div2.%Arith.
2ae0	23 43 6f 71 40 90 30 ef cb 0d 43 e6 47 b5 12 61 ee 1e b5 85 28 3f e1 a0 a0 23 45 6e 76 a0 29 6d	#Coq@.0...C.G..a....(?...#Env.)m
2b00	69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 fa 21 eb 3e bb dd cb 0d 1d 8f 03 71 55 c7 06 04	icromega.#Coq@.0.!.>.......qU...
2b20	a0 a0 27 45 6e 76 52 69 6e 67 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 48 95 b0	..'EnvRing.)micromega.#Coq@.0H..
2b40	11 11 dd 31 aa fa 41 7a 5e 4c 05 d4 8c a0 a0 25 45 71 4e 61 74 a0 25 41 72 69 74 68 a0 23 43 6f	...1..Az^L.....%EqNat.%Arith.#Co
2b60	71 40 90 30 d3 67 f3 fc b2 ff a6 f5 ad 45 82 e7 1d a3 5a a6 a0 a0 25 45 71 64 65 70 a0 25 4c 6f	q@.0.g.......E....Z...%Eqdep.%Lo
2b80	67 69 63 a0 23 43 6f 71 40 90 30 08 2f c9 43 b1 8a 5d d8 f3 18 a1 45 7a 16 a0 b0 a0 a0 2a 45 71	gic.#Coq@.0./.C..]....Ez.....*Eq
2ba0	64 65 70 46 61 63 74 73 a0 25 4c 6f 67 69 63 a0 23 43 6f 71 40 90 30 0f 71 11 b5 45 1b 0d dc 2f	depFacts.%Logic.#Coq@.0.q..E.../
2bc0	58 8a a3 10 44 e1 77 a0 a0 29 45 71 64 65 70 5f 64 65 63 a0 25 4c 6f 67 69 63 a0 23 43 6f 71 40	X...D.w..)Eqdep_dec.%Logic.#Coq@
2be0	90 30 b2 3a 3a e6 16 5e 7a 88 f7 05 fb ef f9 08 46 11 a0 a0 2a 45 71 75 61 6c 69 74 69 65 73 a0	.0.::..^z.......F...*Equalities.
2c00	2a 53 74 72 75 63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 a0 09 61 43 09 9a 99 fc b9 d8 a1 96 52	*Structures.#Coq@.0..aC........R
2c20	17 df 6e a0 a0 28 45 71 75 61 6c 69 74 79 a0 27 50 72 6f 67 72 61 6d a0 23 43 6f 71 40 90 30 5b	..n..(Equality.'Program.#Coq@.0[
2c40	08 0a 7d 8d cb 9c a6 c4 20 66 c3 33 5b 49 7c a0 a0 2b 45 71 75 69 76 61 6c 65 6e 63 65 a0 27 43	..}......f.3[I|..+Equivalence.'C
2c60	6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 7a b9 6c 7d 2d 82 6d 11 1e 3d b6 7e 62 92 4d 6a a0 a0	lasses.#Coq@.0z.l}-.m..=.~b.Mj..
2c80	24 45 76 65 6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 b3 ec d0 b6 ac 5d a6 0b be 0f 5d 81	$Even.%Arith.#Coq@.0.....]....].
2ca0	37 48 24 a6 a0 a0 29 46 61 63 74 6f 72 69 61 6c a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 fe	7H$...)Factorial.%Arith.#Coq@.0.
2cc0	f4 5f 25 fd b6 1d da d5 28 d2 05 7d ed 34 b1 a0 a0 25 46 69 65 6c 64 a0 2b 73 65 74 6f 69 64 5f	._%.....(..}.4...%Field.+setoid_
2ce0	72 69 6e 67 a0 23 43 6f 71 40 90 30 b5 0c 3e ee e0 7e 85 5a bc 1c bc d1 1b fa ec bd a0 a0 29 46	ring.#Coq@.0..>..~.Z..........)F
2d00	69 65 6c 64 5f 74 61 63 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 95 07 a4	ield_tac.+setoid_ring.#Coq@.0...
2d20	58 6f ec ef 56 42 c3 20 59 5f 08 20 d9 a0 a0 2c 46 69 65 6c 64 5f 74 68 65 6f 72 79 a0 2b 73 65	Xo..VB..Y_.....,Field_theory.+se
2d40	74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 f8 fd 45 76 8a 63 cc 70 51 41 62 4d 49 08 2e	toid_ring.#Coq@.0..Ev.c.pQAbMI..
2d60	2a a0 a0 23 46 69 6e a0 27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 da a3 98 9f 52 fa e5 6c	*..#Fin.'Vectors.#Coq@.0....R..l
2d80	52 21 93 b6 43 13 6d 8b a0 a0 2d 47 65 6e 65 72 69 63 4d 69 6e 4d 61 78 a0 2a 53 74 72 75 63 74	R!..C.m...-GenericMinMax.*Struct
2da0	75 72 65 73 a0 23 43 6f 71 40 90 30 8d 01 b5 09 1c 0c 8d b6 12 ea f0 8a 1c 57 21 52 a0 a0 22 47	ures.#Coq@.0.............W!R.."G
2dc0	74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 5b 25 55 df 3f 8a ca 52 2c 29 09 fa a1 ab 73 b7	t.%Arith.#Coq@.0[%U.?..R,)....s.
2de0	a0 a0 2b 48 65 78 61 64 65 63 69 6d 61 6c a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 be 72 49 01	..+Hexadecimal.$Init.#Coq@.0.rI.
2e00	c6 eb 1a a3 8a c4 f5 20 d8 14 63 3f a0 a0 24 49 6e 69 74 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f	..........c?..$Init.'Classes.#Co
2e20	71 40 90 30 f0 00 48 ce 0f dd 31 13 4f dd a8 e4 78 8c 46 5a a0 a0 2b 49 6e 69 74 69 61 6c 52 69	q@.0..H...1.O...x.FZ..+InitialRi
2e40	6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 3b 1c 77 f6 7f a9 9d 80 a6	ng.+setoid_ring.#Coq@.0;.w......
2e60	8e a2 f8 6c a5 0e 58 a0 a0 24 4a 4d 65 71 a0 25 4c 6f 67 69 63 a0 23 43 6f 71 40 90 30 2d f3 e2	...l..X..$JMeq.%Logic.#Coq@.0-..
2e80	c6 aa f8 60 44 51 b0 4e 5d f5 3f b3 7c a0 a0 22 4c 65 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90	...`DQ.N].?.|.."Le.%Arith.#Coq@.
2ea0	30 fb 12 43 6a 69 36 f5 60 0e 24 5f 50 16 9b 0d a5 a0 a0 23 4c 69 61 a0 29 6d 69 63 72 6f 6d 65	0..Cji6.`.$_P......#Lia.)microme
2ec0	67 61 a0 23 43 6f 71 40 90 30 a4 28 48 42 5a 14 d4 23 3e ef e8 98 96 a0 2b da a0 a0 24 4c 69 73	ga.#Coq@.0.(HBZ..#>.....+...$Lis
2ee0	74 a0 25 4c 69 73 74 73 a0 23 43 6f 71 40 90 30 16 42 35 8a db 95 39 dc f1 dd f7 c9 e0 b6 51 9f	t.%Lists.#Coq@.0.B5...9.......Q.
2f00	a0 a0 2b 4c 69 73 74 54 61 63 74 69 63 73 a0 25 4c 69 73 74 73 a0 23 43 6f 71 40 90 30 f9 60 43	..+ListTactics.%Lists.#Coq@.0.`C
2f20	66 b1 b1 10 6f 42 1a 4d b7 5b 40 4c 44 a0 a0 25 4c 6f 67 69 63 a0 24 49 6e 69 74 a0 23 43 6f 71	f...oB.M.[@LD..%Logic.$Init.#Coq
2f40	40 90 30 ce 64 5e 02 e0 00 a6 95 ce 6f 18 b6 bb 35 f1 ec a0 a0 2a 4c 6f 67 69 63 5f 54 79 70 65	@.0.d^......o...5....*Logic_Type
2f60	a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 b6 80 d2 6d 5e 52 60 b2 39 59 dd ea da cc a9 0c a0 a0	.$Init.#Coq@.0...m^R`.9Y........
2f80	22 4c 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 04 d7 92 b4 3e 0c cb 33 ab a8 57 6f c3 93	"Lt.%Arith.#Coq@.0....>..3..Wo..
2fa0	dc 60 a0 a0 24 4c 74 61 63 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 2b 72 94 69 cd c3 6f 9d 38	.`..$Ltac.$Init.#Coq@.0+r.i..o.8
2fc0	61 26 5c 83 1c 2d 56 a0 a0 23 4d 61 78 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 8b 69 4a 94	a&\..-V..#Max.%Arith.#Coq@.0.iJ.
2fe0	b8 6f 87 a0 0b 7c 45 42 03 1a 92 18 a0 a0 23 4d 69 6e a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90	.o...|EB......#Min.%Arith.#Coq@.
3000	30 88 8e f9 82 c6 47 3d bf 02 ab 7d 85 94 ab 66 cf a0 a0 25 4d 69 6e 75 73 a0 25 41 72 69 74 68	0.....G=...}...f...%Minus.%Arith
3020	a0 23 43 6f 71 40 90 30 9c d8 f7 e0 eb 5f dd cf b4 88 81 7b 6c 96 f4 3f a0 a0 29 4d 6f 72 70 68	.#Coq@.0....._.....{l..?..)Morph
3040	69 73 6d 73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71 40 90 30 47 5a 91 92 1e b6 27 d4 63 59 9d	isms.'Classes.#Coq@.0GZ....'.cY.
3060	a0 9f 54 f8 fa a0 a0 2e 4d 6f 72 70 68 69 73 6d 73 5f 50 72 6f 70 a0 27 43 6c 61 73 73 65 73 a0	..T.....Morphisms_Prop.'Classes.
3080	23 43 6f 71 40 90 30 f1 17 2a e4 c8 8b 26 8c 57 10 c0 5d 91 63 e2 fc a0 a0 24 4d 75 6c 74 a0 25	#Coq@.0..*...&.W..].c....$Mult.%
30a0	41 72 69 74 68 a0 23 43 6f 71 40 90 30 82 c0 9b 58 85 62 28 55 29 b3 c0 0f 1a 84 4b 60 a0 a0 24	Arith.#Coq@.0...X.b(U).....K`..$
30c0	4e 41 64 64 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73	NAdd.(Abstract.'Natural.'Numbers
30e0	a0 23 43 6f 71 40 90 30 b9 d2 4c cc c6 01 04 69 9c 3d a1 a6 1f 1d c2 e3 a0 a0 29 4e 41 64 64 4f	.#Coq@.0..L....i.=........)NAddO
3100	72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73	rder.(Abstract.'Natural.'Numbers
3120	a0 23 43 6f 71 40 90 30 22 73 8a 23 8c d8 ec af cf 7c a1 4a be c1 ff 29 a0 a0 26 4e 41 72 69 74	.#Coq@.0"s.#.....|.J...)..&NArit
3140	68 a0 04 02 a0 23 43 6f 71 40 90 30 a9 92 a3 25 68 0a c4 47 72 96 ee 49 40 48 9f 8d a0 a0 2a 4e	h....#Coq@.0...%h..Gr..I@H....*N
3160	41 72 69 74 68 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 b7 39	ArithRing.+setoid_ring.#Coq@.0.9
3180	1c 15 cc 29 97 62 65 69 ed 76 ed f6 a1 27 a0 a0 27 4e 41 78 69 6f 6d 73 a0 28 41 62 73 74 72 61	...).bei.v...'..'NAxioms.(Abstra
31a0	63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 39 21 68 58	ct.'Natural.'Numbers.#Coq@.09!hX
31c0	25 ad b7 fc 72 21 c9 24 61 31 30 6b a0 a0 25 4e 42 61 73 65 a0 28 41 62 73 74 72 61 63 74 a0 27	%...r!.$a10k..%NBase.(Abstract.'
31e0	4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 8d 59 05 1d e7 e4 3c 98	Natural.'Numbers.#Coq@.0.Y....<.
3200	c9 1d cf d3 2d 09 0d 79 a0 a0 25 4e 42 69 74 73 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75	....-..y..%NBits.(Abstract.'Natu
3220	72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 5b d8 0b 34 4a 0a 32 f1 93 e2 cc 3a	ral.'Numbers.#Coq@.0[..4J.2....:
3240	a6 63 17 f4 a0 a0 24 4e 44 69 76 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27	.c....$NDiv.(Abstract.'Natural.'
3260	4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 10 4d 28 24 b3 81 80 58 b6 39 ed ad 66 88 44 ba a0	Numbers.#Coq@.0.M($...X.9..f.D..
3280	a0 24 4e 47 63 64 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65	.$NGcd.(Abstract.'Natural.'Numbe
32a0	72 73 a0 23 43 6f 71 40 90 30 c7 a4 73 32 fe 12 e8 31 58 b6 7a ad 78 1b 86 4d a0 a0 24 4e 4c 63	rs.#Coq@.0..s2...1X.z.x..M..$NLc
32c0	6d a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43	m.(Abstract.'Natural.'Numbers.#C
32e0	6f 71 40 90 30 5a 56 09 23 98 ee 4d 63 a6 2a f4 f8 67 f3 37 62 a0 a0 24 4e 4c 69 62 a0 23 62 62	oq@.0ZV.#..Mc.*..g.7b..$NLib.#bb
3300	76 40 90 30 a4 f6 c9 a9 45 32 17 8a 83 84 57 9a 46 74 d0 eb a0 a0 24 4e 4c 6f 67 a0 28 41 62 73	v@.0....E2....W.Ft....$NLog.(Abs
3320	74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 b6	tract.'Natural.'Numbers.#Coq@.0.
3340	a0 c3 e8 c8 44 07 2a bd 15 50 18 5b b4 c3 03 a0 a0 27 4e 4d 61 78 4d 69 6e a0 28 41 62 73 74 72	....D.*..P.[.....'NMaxMin.(Abstr
3360	61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 19 03 b3	act.'Natural.'Numbers.#Coq@.0...
3380	90 cc 58 b1 ef 96 be 16 e9 e7 de 19 8d a0 a0 29 4e 4d 75 6c 4f 72 64 65 72 a0 28 41 62 73 74 72	..X............)NMulOrder.(Abstr
33a0	61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 f4 49 79	act.'Natural.'Numbers.#Coq@.0.Iy
33c0	95 10 96 d1 9e b2 79 24 08 df 48 65 06 a0 a0 26 4e 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74	......y$..He...&NOrder.(Abstract
33e0	a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 e6 b0 c7 3e df ce	.'Natural.'Numbers.#Coq@.0...>..
3400	5d 9a fc 6d 27 09 db 6d 3b b9 a0 a0 27 4e 50 61 72 69 74 79 a0 28 41 62 73 74 72 61 63 74 a0 27	]..m'..m;...'NParity.(Abstract.'
3420	4e 61 74 75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 cc 32 d1 13 0c 6f 01 0b	Natural.'Numbers.#Coq@.0.2...o..
3440	ba b9 72 e4 a9 97 b3 e6 a0 a0 24 4e 50 6f 77 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72	..r.......$NPow.(Abstract.'Natur
3460	61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 fd 56 82 0a f8 3f ee 17 94 ea aa db 5c	al.'Numbers.#Coq@.0.V...?......\
3480	fb 92 50 a0 a0 2b 4e 50 72 6f 70 65 72 74 69 65 73 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74	..P..+NProperties.(Abstract.'Nat
34a0	75 72 61 6c a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 79 3b fb 1e 5c e5 88 a5 43 cb 0c	ural.'Numbers.#Coq@.0y;..\...C..
34c0	13 62 92 81 b8 a0 a0 25 4e 53 71 72 74 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c	.b.....%NSqrt.(Abstract.'Natural
34e0	a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 7a 20 f0 e1 61 4f 77 04 5e 25 33 1b ae ec 35	.'Numbers.#Coq@.0z...aOw.^%3...5
3500	15 a0 a0 24 4e 53 75 62 a0 28 41 62 73 74 72 61 63 74 a0 27 4e 61 74 75 72 61 6c a0 27 4e 75 6d	...$NSub.(Abstract.'Natural.'Num
3520	62 65 72 73 a0 23 43 6f 71 40 90 30 35 9d e9 c5 1b af 87 90 9f 59 90 38 e8 11 bd 4a a0 a0 25 4e	bers.#Coq@.05........Y.8...J..%N
3540	5a 41 64 64 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 b1 ef 16	ZAdd.&NatInt.'Numbers.#Coq@.0...
3560	d1 19 d2 33 2a b7 fd 35 9a ca 36 02 66 a0 a0 2a 4e 5a 41 64 64 4f 72 64 65 72 a0 26 4e 61 74 49	...3*..5..6.f..*NZAddOrder.&NatI
3580	6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 2a 61 84 0f ff dc 49 ad 42 4a 32 17 5a	nt.'Numbers.#Coq@.0*a....I.BJ2.Z
35a0	06 68 d0 a0 a0 28 4e 5a 41 78 69 6f 6d 73 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0	.h...(NZAxioms.&NatInt.'Numbers.
35c0	23 43 6f 71 40 90 30 eb 58 d3 df 42 67 fa 5a 72 27 1d 69 5b 86 c4 d2 a0 a0 26 4e 5a 42 61 73 65	#Coq@.0.X..Bg.Zr'.i[.....&NZBase
35e0	a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 63 85 53 35 93 72 42	.&NatInt.'Numbers.#Coq@.0c.S5.rB
3600	16 c6 ff 3a ef 14 7e b6 7e a0 a0 26 4e 5a 42 69 74 73 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62	...:..~.~..&NZBits.&NatInt.'Numb
3620	65 72 73 a0 23 43 6f 71 40 90 30 ff e5 7b 41 d5 58 d7 7d 38 56 89 ee 70 8c ce bc a0 a0 25 4e 5a	ers.#Coq@.0..{A.X.}8V..p.....%NZ
3640	44 69 76 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 54 c1 ca b2	Div.&NatInt.'Numbers.#Coq@.0T...
3660	fd dd dc 3a 30 47 52 ea c2 82 ba ef a0 a0 25 4e 5a 47 63 64 a0 26 4e 61 74 49 6e 74 a0 27 4e 75	...:0GR.......%NZGcd.&NatInt.'Nu
3680	6d 62 65 72 73 a0 23 43 6f 71 40 90 30 86 98 78 27 f9 7c 32 9d f6 b8 85 9a fc 5f 98 87 a0 a0 25	mbers.#Coq@.0..x'.|2......_....%
36a0	4e 5a 4c 6f 67 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 78 71	NZLog.&NatInt.'Numbers.#Coq@.0xq
36c0	cb 82 b3 16 90 71 87 34 fa af de 22 f8 28 a0 a0 25 4e 5a 4d 75 6c a0 26 4e 61 74 49 6e 74 a0 27	.....q.4...".(..%NZMul.&NatInt.'
36e0	4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 19 9f a8 a2 35 fe ff 51 7f 9e 61 f6 bf 31 3e 38 a0	Numbers.#Coq@.0....5..Q..a..1>8.
3700	a0 2a 4e 5a 4d 75 6c 4f 72 64 65 72 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43	.*NZMulOrder.&NatInt.'Numbers.#C
3720	6f 71 40 90 30 3c 77 35 dd da 3e 1e 2f 0d a6 71 10 0f 67 13 b9 a0 a0 27 4e 5a 4f 72 64 65 72 a0	oq@.0<w5..>./..q..g....'NZOrder.
3740	26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 a2 68 87 12 1f 3a b5 78	&NatInt.'Numbers.#Coq@.0.h...:.x
3760	2d 9e 1b 3e d2 70 36 f6 a0 a0 28 4e 5a 50 61 72 69 74 79 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d	-..>.p6...(NZParity.&NatInt.'Num
3780	62 65 72 73 a0 23 43 6f 71 40 90 30 24 d1 7a eb a9 0a 71 ab 04 49 ad 73 7a b3 99 67 a0 a0 25 4e	bers.#Coq@.0$.z...q..I.sz..g..%N
37a0	5a 50 6f 77 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 35 8d d5	ZPow.&NatInt.'Numbers.#Coq@.05..
37c0	89 9f 5e d1 59 4f f0 b5 be 9a 1c 70 9d a0 a0 2c 4e 5a 50 72 6f 70 65 72 74 69 65 73 a0 26 4e 61	..^.YO.....p...,NZProperties.&Na
37e0	74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 75 99 6f 80 b1 e5 0f d6 9c f4 d4	tInt.'Numbers.#Coq@.0u.o........
3800	cb d6 2a 52 6f a0 a0 26 4e 5a 53 71 72 74 a0 26 4e 61 74 49 6e 74 a0 27 4e 75 6d 62 65 72 73 a0	..*Ro..&NZSqrt.&NatInt.'Numbers.
3820	23 43 6f 71 40 90 30 d8 b1 5b 08 8a 33 52 88 e9 63 36 bb 30 5a ba 87 a0 a0 33 4e 5f 5a 5f 6e 61	#Coq@.0..[..3R..c6.0Z....3N_Z_na
3840	74 5f 63 6f 6e 76 65 72 73 69 6f 6e 73 a0 23 62 62 76 40 90 30 94 f5 bb 50 68 eb 67 ad 32 ce 3c	t_conversions.#bbv@.0...Ph.g.2.<
3860	50 0e 20 d0 af a0 a0 23 4e 61 74 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 28 1c 95 12 59 68 b5	P......#Nat.$Init.#Coq@.0(...Yh.
3880	d9 f0 5e 17 02 ac ef 26 3f a0 a0 26 4e 61 74 4c 69 62 a0 23 62 62 76 40 90 30 d0 f7 98 3a 12 bb	..^....&?..&NatLib.#bbv@.0...:..
38a0	6d 52 ef ad 65 fa a3 06 14 28 a0 a0 27 4e 64 69 67 69 74 73 a0 26 4e 41 72 69 74 68 a0 23 43 6f	mR..e....(..'Ndigits.&NArith.#Co
38c0	71 40 90 30 bf 71 2a bd 0e df 58 47 79 96 73 60 f6 1d 0a ae a0 a0 28 4e 64 69 76 5f 64 65 66 a0	q@.0.q*...XGy.s`......(Ndiv_def.
38e0	26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 5b 22 cd 33 9e 7a 6b 2f 3c ef 83 38 8e 95 18 14 a0	&NArith.#Coq@.0[".3.zk/<..8.....
3900	a0 28 4e 67 63 64 5f 64 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 d7 25 6a 1f be 4d	.(Ngcd_def.&NArith.#Coq@.0.%j..M
3920	9f 92 5f d3 7d 7b 64 39 e6 d9 a0 a0 24 4e 6e 61 74 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90	.._.}{d9....$Nnat.&NArith.#Coq@.
3940	30 48 86 bb c4 07 12 57 60 96 df 75 a3 1c 3c b4 ca a0 a0 26 4e 6f 6d 65 67 61 a0 23 62 62 76 40	0H.....W`..u..<....&Nomega.#bbv@
3960	90 30 f0 7b a1 bd f7 0e 79 7c 0b ff dd ac 1c ca 43 bc a0 a0 29 4e 6f 74 61 74 69 6f 6e 73 a0 24	.0.{....y|......C...)Notations.$
3980	49 6e 69 74 a0 23 43 6f 71 40 90 30 2c fa 86 8c 27 dd f0 da 1c 06 9b 46 d3 1a 7f 5a a0 a0 29 4e	Init.#Coq@.0,...'......F...Z..)N
39a0	73 71 72 74 5f 64 65 66 a0 26 4e 41 72 69 74 68 a0 23 43 6f 71 40 90 30 8a bd dd a7 6f a6 19 40	sqrt_def.&NArith.#Coq@.0....o..@
39c0	64 4c 1b 3c cd 6f 23 7b a0 a0 2a 4e 75 6d 50 72 65 6c 75 64 65 a0 27 4e 75 6d 62 65 72 73 a0 23	dL.<.o#{..*NumPrelude.'Numbers.#
39e0	43 6f 71 40 90 30 d7 46 63 32 70 5e 4e 60 2e 96 bc 55 43 d0 7f bf a0 a0 26 4e 75 6d 62 65 72 a0	Coq@.0.Fc2p^N`...UC.....&Number.
3a00	24 49 6e 69 74 a0 23 43 6f 71 40 90 30 98 89 67 04 6f 81 2b 1d 1d 35 a5 df b9 4e f3 03 a0 a0 27	$Init.#Coq@.0..g.o.+..5...N....'
3a20	4e 75 6d 65 72 61 6c a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 50 8e 14 a6 15 99 a8 ed c3 f4 55	Numeral.$Init.#Coq@.0P.........U
3a40	cc a9 74 f2 bd a0 a0 2b 4f 6d 65 67 61 4c 65 6d 6d 61 73 a0 25 6f 6d 65 67 61 a0 23 43 6f 71 40	..t....+OmegaLemmas.%omega.#Coq@
3a60	90 30 dd dc 32 53 e2 03 97 2e 14 c6 f3 3c b8 72 e2 1a a0 a0 34 4f 70 65 72 61 74 6f 72 73 5f 50	.0..2S.......<.r....4Operators_P
3a80	72 6f 70 65 72 74 69 65 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30 84 47 c6 51	roperties.)Relations.#Coq@.0.G.Q
3aa0	99 ff df dc 20 60 18 6c 9d b5 9b 33 a0 a0 2b 4f 72 64 65 72 65 64 52 69 6e 67 a0 29 6d 69 63 72	.....`.l...3..+OrderedRing.)micr
3ac0	6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 e5 4c 66 78 7e c2 80 a6 1f ff 03 2b d8 80 b3 2c a0 a0 26	omega.#Coq@.0.Lfx~......+...,..&
3ae0	4f 72 64 65 72 73 a0 2a 53 74 72 75 63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 a0 fd 78 96 bb 47	Orders.*Structures.#Coq@.0..x..G
3b00	c8 07 8e 26 02 c5 c7 63 81 51 a0 a0 2b 4f 72 64 65 72 73 46 61 63 74 73 a0 2a 53 74 72 75 63 74	...&...c.Q..+OrdersFacts.*Struct
3b20	75 72 65 73 a0 23 43 6f 71 40 90 30 cb 9a 45 11 0f 70 a0 06 69 fe 03 88 2d 02 1f 67 a0 a0 29 4f	ures.#Coq@.0..E..p..i...-..g..)O
3b40	72 64 65 72 73 54 61 63 a0 2a 53 74 72 75 63 74 75 72 65 73 a0 23 43 6f 71 40 90 30 18 48 19 54	rdersTac.*Structures.#Coq@.0.H.T
3b60	1c 37 b9 58 91 a7 6c 45 a3 43 4c 5f a0 a0 25 50 65 61 6e 6f a0 24 49 6e 69 74 a0 23 43 6f 71 40	.7.X..lE.CL_..%Peano.$Init.#Coq@
3b80	90 30 52 c9 a7 2b 7b d4 5d 67 dd 4a 7a 5c d3 d0 82 a9 a0 a0 28 50 65 61 6e 6f 4e 61 74 a0 25 41	.0R..+{.]g.Jz\......(PeanoNat.%A
3ba0	72 69 74 68 a0 23 43 6f 71 40 90 30 11 4a eb 40 c3 b1 eb 57 72 c7 5b b5 0c b4 a9 f5 a0 a0 29 50	rith.#Coq@.0.J.@...Wr.[.......)P
3bc0	65 61 6e 6f 5f 64 65 63 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 84 f1 45 a7 3f e1 a2 f6 09	eano_dec.%Arith.#Coq@.0..E.?....
3be0	91 40 16 7a c6 65 84 a0 a0 24 50 6c 75 73 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 e8 09 72	.@.z.e...$Plus.%Arith.#Coq@.0..r
3c00	69 86 e5 ec ef 33 61 86 37 05 e6 02 29 a0 a0 24 50 6e 61 74 a0 26 50 41 72 69 74 68 a0 23 43 6f	i....3a.7...)..$Pnat.&PArith.#Co
3c20	71 40 90 30 9f 81 00 01 0f 49 11 94 fb e2 84 ce 89 f6 42 68 a0 a0 28 50 72 65 4f 6d 65 67 61 a0	q@.0.....I........Bh..(PreOmega.
3c40	25 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 1d 6e 75 7e c7 e1 ee 47 a9 80 91 6a a3 6b 0b 40 a0 a0	%omega.#Coq@.0.nu~...G...j.k.@..
3c60	27 50 72 65 6c 75 64 65 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 11 ae d7 04 3b 2f 27 5e cd 69	'Prelude.$Init.#Coq@.0....;/'^.i
3c80	23 f7 21 4d 11 ff a0 a0 26 51 41 72 69 74 68 a0 04 02 a0 23 43 6f 71 40 90 30 be d8 1a 7d a6 38	#.!M....&QArith....#Coq@.0...}.8
3ca0	8c f5 a7 09 08 55 34 d6 bd a2 a0 a0 2b 51 41 72 69 74 68 5f 62 61 73 65 a0 26 51 41 72 69 74 68	.....U4.....+QArith_base.&QArith
3cc0	a0 23 43 6f 71 40 90 30 9b 45 1c 47 7e 4c d5 b0 d2 0c 36 aa d4 11 bd 58 a0 a0 26 51 66 69 65 6c	.#Coq@.0.E.G~L....6....X..&Qfiel
3ce0	64 a0 26 51 41 72 69 74 68 a0 23 43 6f 71 40 90 30 28 d3 73 be 3e 41 6b 09 64 fe 97 8e fb d4 c8	d.&QArith.#Coq@.0(.s.>Ak.d......
3d00	0b a0 a0 2a 51 72 65 64 75 63 74 69 6f 6e a0 26 51 41 72 69 74 68 a0 23 43 6f 71 40 90 30 58 51	...*Qreduction.&QArith.#Coq@.0XQ
3d20	fc 41 02 7f 0e fe 46 50 64 39 fb 5d a6 10 a0 a0 25 51 72 69 6e 67 a0 26 51 41 72 69 74 68 a0 23	.A....FPd9.]....%Qring.&QArith.#
3d40	43 6f 71 40 90 30 31 9b 74 73 47 d1 27 e8 cf 84 ff 39 18 7b f4 67 a0 a0 24 52 65 66 6c a0 29 6d	Coq@.01.tsG.'....9.{.g..$Refl.)m
3d60	69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 05 8e af b0 e5 41 91 c0 f1 f2 f4 0a 1f 5c 7d 32	icromega.#Coq@.0.....A.......\}2
3d80	a0 a0 2f 52 65 6c 61 74 69 6f 6e 43 6c 61 73 73 65 73 a0 27 43 6c 61 73 73 65 73 a0 23 43 6f 71	../RelationClasses.'Classes.#Coq
3da0	40 90 30 d3 43 6b ae 68 89 72 54 1c 06 9c 44 5e 63 9f 55 a0 a0 34 52 65 6c 61 74 69 6f 6e 5f 44	@.0.Ck.h.rT...D^c.U..4Relation_D
3dc0	65 66 69 6e 69 74 69 6f 6e 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30 3f ec b3	efinitions.)Relations.#Coq@.0?..
3de0	57 46 4d 04 00 23 70 d3 57 a9 cd 0e 4c a0 a0 32 52 65 6c 61 74 69 6f 6e 5f 4f 70 65 72 61 74 6f	WFM..#p.W...L..2Relation_Operato
3e00	72 73 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 23 43 6f 71 40 90 30 14 61 76 b7 99 7e 74 cd 88 21 e0	rs.)Relations.#Coq@.0.av..~t..!.
3e20	81 69 10 81 a6 a0 a0 29 52 65 6c 61 74 69 6f 6e 73 a0 04 02 a0 23 43 6f 71 40 90 30 34 38 4e b9	.i.....)Relations....#Coq@.048N.
3e40	fe 64 87 95 cb 97 06 1d ec 05 48 41 a0 a0 31 52 65 73 65 72 76 65 64 4e 6f 74 61 74 69 6f 6e 73	.d........HA..1ReservedNotations
3e60	a0 23 62 62 76 40 90 30 74 5c d1 13 e0 d5 75 de cf e1 92 85 79 69 a3 36 a0 a0 24 52 69 6e 67 a0	.#bbv@.0t\....u.....yi.6..$Ring.
3e80	2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 fb a1 08 5a c9 5e 73 55 c1 9e 60 36	+setoid_ring.#Coq@.0...Z.^sU..`6
3ea0	d4 1c e3 89 a0 a0 2d 52 69 6e 67 4d 69 63 72 6f 6d 65 67 61 a0 29 6d 69 63 72 6f 6d 65 67 61 a0	......-RingMicromega.)micromega.
3ec0	23 43 6f 71 40 90 30 64 69 63 39 c5 24 5c 8e 1c 7f 29 89 e6 84 e8 68 a0 a0 29 52 69 6e 67 5f 62	#Coq@.0dic9.$\...)....h..)Ring_b
3ee0	61 73 65 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 ba 16 da b5 f8 7d f5 ce	ase.+setoid_ring.#Coq@.0.....}..
3f00	f1 b9 cd 8a 62 03 82 c3 a0 a0 2c 52 69 6e 67 5f 70 6f 6c 79 6e 6f 6d a0 2b 73 65 74 6f 69 64 5f	....b.....,Ring_polynom.+setoid_
3f20	72 69 6e 67 a0 23 43 6f 71 40 90 30 39 83 ea 02 2e e9 84 42 69 38 05 ad 67 47 5f 19 a0 a0 28 52	ring.#Coq@.09......Bi8..gG_...(R
3f40	69 6e 67 5f 74 61 63 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 22 0c c5 09	ing_tac.+setoid_ring.#Coq@.0"...
3f60	18 0f cb 93 8a 4e 9e ad 1d fb d1 c6 a0 a0 2b 52 69 6e 67 5f 74 68 65 6f 72 79 a0 2b 73 65 74 6f	.....N........+Ring_theory.+seto
3f80	69 64 5f 72 69 6e 67 a0 23 43 6f 71 40 90 30 fb ba 9b e4 07 2c 03 6e 30 e1 7e 43 97 68 f1 d2 a0	id_ring.#Coq@.0.....,.n0.~C.h...
3fa0	a0 26 53 65 74 6f 69 64 a0 27 53 65 74 6f 69 64 73 a0 23 43 6f 71 40 90 30 a0 db f4 9f e0 47 ec	.&Setoid.'Setoids.#Coq@.0.....G.
3fc0	38 03 59 09 59 3f 92 9b 7b a0 a0 2d 53 65 74 6f 69 64 54 61 63 74 69 63 73 a0 27 43 6c 61 73 73	8.Y.Y?..{..-SetoidTactics.'Class
3fe0	65 73 a0 23 43 6f 71 40 90 30 52 00 dd 1f 0b 23 de c6 77 10 22 cd 5a c7 89 34 a0 a0 26 53 70 65	es.#Coq@.0R....#..w.".Z..4..&Spe
4000	63 69 66 a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 85 8d fc 14 2d 9d 3f 41 2f fc 2a 80 be 93 cf	cif.$Init.#Coq@.0....-.?A/.*....
4020	f9 a0 a0 26 53 74 72 69 6e 67 a0 27 53 74 72 69 6e 67 73 a0 23 43 6f 71 40 90 30 22 c0 b8 28 b3	...&String.'Strings.#Coq@.0"..(.
4040	87 8d 4f 13 2c a6 2a 48 e4 8d 8f a0 a0 27 53 75 6d 62 6f 6f 6c a0 24 42 6f 6f 6c a0 23 43 6f 71	..O.,.*H.....'Sumbool.$Bool.#Coq
4060	40 90 30 73 c1 b4 68 c1 e0 30 10 a8 f3 32 29 a6 9b 8f 47 a0 a0 27 54 61 63 74 69 63 73 a0 24 49	@.0s..h..0...2)...G..'Tactics.$I
4080	6e 69 74 a0 23 43 6f 71 40 90 30 77 50 fc c7 5f 98 07 dd f2 30 3e a1 c0 90 a8 9b a0 a0 27 54 61	nit.#Coq@.0wP.._....0>.......'Ta
40a0	63 74 69 63 73 a0 27 50 72 6f 67 72 61 6d a0 23 43 6f 71 40 90 30 d6 c7 ef 97 f7 d3 59 d7 f7 3b	ctics.'Program.#Coq@.0......Y..;
40c0	5f bc ed 1c 37 d2 a0 a0 25 54 61 75 74 6f a0 24 49 6e 69 74 a0 23 43 6f 71 40 90 30 d8 91 d6 db	_...7...%Tauto.$Init.#Coq@.0....
40e0	94 e7 27 bd 8e 1e 63 6a a9 87 d4 83 a0 a0 25 54 61 75 74 6f a0 29 6d 69 63 72 6f 6d 65 67 61 a0	..'...cj......%Tauto.)micromega.
4100	23 43 6f 71 40 90 30 0e 76 37 9b 6c 9b 1d 83 8c 62 6e 9c 39 c5 c7 99 a0 a0 26 56 61 72 4d 61 70	#Coq@.0.v7.l....bn.9.....&VarMap
4120	a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 56 73 bc 07 3d 74 21 33 73 2f 00 9d 74	.)micromega.#Coq@.0Vs..=t!3s/..t
4140	a2 9e 26 a0 a0 26 56 65 63 74 6f 72 a0 27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 30 b3 36	..&..&Vector.'Vectors.#Coq@.00.6
4160	95 5c 16 5c 87 eb 11 2f 42 e7 f0 a3 98 a0 a0 29 56 65 63 74 6f 72 44 65 66 a0 27 56 65 63 74 6f	.\.\.../B......)VectorDef.'Vecto
4180	72 73 a0 23 43 6f 71 40 90 30 f2 30 53 0c 15 43 89 2d b4 0b b7 f7 11 44 9d 10 a0 a0 28 56 65 63	rs.#Coq@.0.0S..C.-.....D....(Vec
41a0	74 6f 72 45 71 a0 27 56 65 63 74 6f 72 73 a0 23 43 6f 71 40 90 30 58 13 73 f8 c6 9c 76 9d 4d a7	torEq.'Vectors.#Coq@.0X.s...v.M.
41c0	4f 03 dd 0e 0a f3 a0 a0 2a 56 65 63 74 6f 72 53 70 65 63 a0 27 56 65 63 74 6f 72 73 a0 23 43 6f	O.......*VectorSpec.'Vectors.#Co
41e0	71 40 90 30 b9 e3 df f7 d2 c2 fb 46 e8 2b 4d a7 38 ae 0d da a0 a0 22 57 66 a0 24 49 6e 69 74 a0	q@.0.......F.+M.8....."Wf.$Init.
4200	23 43 6f 71 40 90 30 91 79 bd ab e8 7c ac a3 b6 e1 f0 64 74 d5 dd ec a0 a0 24 57 66 5f 5a a0 26	#Coq@.0.y...|.....dt.....$Wf_Z.&
4220	5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 72 10 66 5e 72 00 37 1f de 3f b7 eb 74 b5 79 05 a0 a0	ZArith.#Coq@.0r.f^r.7..?..t.y...
4240	26 57 66 5f 6e 61 74 a0 25 41 72 69 74 68 a0 23 43 6f 71 40 90 30 db 5c e8 48 44 35 dc 55 ce 74	&Wf_nat.%Arith.#Coq@.0.\.HD5.U.t
4260	4d ec 9e d4 7a b0 a0 a0 24 57 6f 72 64 a0 23 62 62 76 40 90 30 16 60 bb 02 5e dd 70 fa 4d 4e 23	M...z...$Word.#bbv@.0.`..^.p.MN#
4280	e3 6d ad 68 04 a0 a0 24 5a 41 64 64 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0	.m.h...$ZAdd.(Abstract.'Integer.
42a0	27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 d4 0c 20 9d fd e1 20 23 22 66 d7 82 70 b3 56 bb	'Numbers.#Coq@.0.......#"f..p.V.
42c0	a0 a0 29 5a 41 64 64 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0	..)ZAddOrder.(Abstract.'Integer.
42e0	27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 32 f5 42 12 2e 5a c9 08 fb 09 66 a9 15 18 c6 f5	'Numbers.#Coq@.02.B..Z....f.....
4300	a0 a0 26 5a 41 72 69 74 68 a0 04 02 a0 23 43 6f 71 40 90 30 05 fc 67 aa 4e 3c 8f 05 b0 71 54 01	..&ZArith....#Coq@.0..g.N<...qT.
4320	54 35 ca 52 a0 a0 2a 5a 41 72 69 74 68 52 69 6e 67 a0 2b 73 65 74 6f 69 64 5f 72 69 6e 67 a0 23	T5.R..*ZArithRing.+setoid_ring.#
4340	43 6f 71 40 90 30 d1 8f a1 40 05 df 5f 68 3f db 82 a8 db 48 00 2c a0 a0 2b 5a 41 72 69 74 68 5f	Coq@.0...@.._h?....H.,..+ZArith_
4360	62 61 73 65 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 6b 9b 31 c0 03 93 13 1e 42 dd 4e cb	base.&ZArith.#Coq@.0k.1.....B.N.
4380	36 d7 4c 52 a0 a0 2a 5a 41 72 69 74 68 5f 64 65 63 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90	6.LR..*ZArith_dec.&ZArith.#Coq@.
43a0	30 4d 6f ff 75 01 f5 59 34 df c4 78 36 5e bc 57 bc a0 a0 2c 5a 41 72 69 74 68 5f 68 69 6e 74 73	0Mo.u..Y4..x6^.W...,ZArith_hints
43c0	a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 b1 bf 56 81 48 9d c3 c7 26 1c 1d c8 c6	.)micromega.#Coq@.0..V.H...&....
43e0	69 88 71 a0 a0 27 5a 41 78 69 6f 6d 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72	i.q..'ZAxioms.(Abstract.'Integer
4400	a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 25 ed 74 dc a7 04 8c ef 11 d9 79 10 f5 9b 75	.'Numbers.#Coq@.0%.t.......y...u
4420	90 a0 a0 25 5a 42 61 73 65 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75	...%ZBase.(Abstract.'Integer.'Nu
4440	6d 62 65 72 73 a0 23 43 6f 71 40 90 30 3a 9e d5 4f 32 78 27 d1 1f a0 75 cc a1 2d 16 97 a0 a0 25	mbers.#Coq@.0:..O2x'...u..-....%
4460	5a 42 69 74 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72	ZBits.(Abstract.'Integer.'Number
4480	73 a0 23 43 6f 71 40 90 30 93 de 23 35 73 f8 02 08 1e 15 55 e5 1e da f7 c9 a0 a0 26 5a 43 6f 65	s.#Coq@.0..#5s.....U.......&ZCoe
44a0	66 66 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 5e ba 25 25 3d a0 05 54 fb f6 c1	ff.)micromega.#Coq@.0^.%%=..T...
44c0	d3 de ea 39 f2 a0 a0 29 5a 44 69 76 46 6c 6f 6f 72 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74	...9...)ZDivFloor.(Abstract.'Int
44e0	65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 3b 40 f2 c4 e0 40 1f 5b 81 53 82	eger.'Numbers.#Coq@.0;@...@.[.S.
4500	e5 70 b5 77 72 a0 a0 29 5a 44 69 76 54 72 75 6e 63 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74	.p.wr..)ZDivTrunc.(Abstract.'Int
4520	65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 06 02 58 7d 71 97 33 3c 47 00 6b	eger.'Numbers.#Coq@.0..X}q.3<G.k
4540	55 5c 47 c1 69 a0 a0 24 5a 47 63 64 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0	U\G.i..$ZGcd.(Abstract.'Integer.
4560	27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40 90 30 aa 38 87 98 43 32 53 3d b3 aa fa 2a bf 08 d4 4c	'Numbers.#Coq@.0.8..C2S=...*...L
4580	a0 a0 24 5a 4c 63 6d a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62	..$ZLcm.(Abstract.'Integer.'Numb
45a0	65 72 73 a0 23 43 6f 71 40 90 30 95 d5 65 2c 12 d8 af 55 9d 45 b9 8e 86 be 3c 1f a0 a0 24 5a 4c	ers.#Coq@.0..e,...U.E....<...$ZL
45c0	69 62 a0 23 62 62 76 40 90 30 c1 34 8a 79 3c fe 73 1a b0 89 ae 36 5a cc b8 3b a0 a0 23 5a 4c 74	ib.#bbv@.0.4.y<.s....6Z..;..#ZLt
45e0	a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f	.(Abstract.'Integer.'Numbers.#Co
4600	71 40 90 30 a0 3e 18 65 42 e9 d2 d1 4c c9 19 41 14 ce 61 d2 a0 a0 27 5a 4d 61 78 4d 69 6e a0 28	q@.0.>.eB...L..A..a...'ZMaxMin.(
4620	41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23 43 6f 71 40	Abstract.'Integer.'Numbers.#Coq@
4640	90 30 fb a2 5d 0a 09 ee 89 34 ce d0 16 73 17 5a 58 a9 a0 a0 2a 5a 4d 69 63 72 6f 6d 65 67 61 a0	.0..]....4...s.ZX...*ZMicromega.
4660	29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 09 e7 3a d9 16 ae ef 4f 8d 52 5f 4f 76 51	)micromega.#Coq@.0..:....O.R_OvQ
4680	6f 30 a0 a0 24 5a 4d 75 6c a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75	o0..$ZMul.(Abstract.'Integer.'Nu
46a0	6d 62 65 72 73 a0 23 43 6f 71 40 90 30 ea 28 0b 0a 08 32 2e 11 02 31 5a 3a ea 2a 3b 3b a0 a0 29	mbers.#Coq@.0.(...2...1Z:.*;;..)
46c0	5a 4d 75 6c 4f 72 64 65 72 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75	ZMulOrder.(Abstract.'Integer.'Nu
46e0	6d 62 65 72 73 a0 23 43 6f 71 40 90 30 17 d2 ac 53 29 1f c6 77 bb 70 33 c3 bc 91 fc c3 a0 a0 27	mbers.#Coq@.0...S)..w.p3.......'
4700	5a 50 61 72 69 74 79 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62	ZParity.(Abstract.'Integer.'Numb
4720	65 72 73 a0 23 43 6f 71 40 90 30 7d 85 66 d3 75 69 e8 e6 63 ba b6 2a 90 5e f2 9e a0 a0 24 5a 50	ers.#Coq@.0}.f.ui..c..*.^....$ZP
4740	6f 77 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23	ow.(Abstract.'Integer.'Numbers.#
4760	43 6f 71 40 90 30 d0 f6 73 0b c0 22 7f a9 c2 0d a1 03 3d d7 22 c9 a0 a0 2b 5a 50 72 6f 70 65 72	Coq@.0..s.."......=."...+ZProper
4780	74 69 65 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73	ties.(Abstract.'Integer.'Numbers
47a0	a0 23 43 6f 71 40 90 30 b6 98 8a b8 8c 3c bd c1 d5 3c c6 e8 90 90 cf 78 a0 a0 27 5a 53 67 6e 41	.#Coq@.0.....<...<.....x..'ZSgnA
47c0	62 73 a0 28 41 62 73 74 72 61 63 74 a0 27 49 6e 74 65 67 65 72 a0 27 4e 75 6d 62 65 72 73 a0 23	bs.(Abstract.'Integer.'Numbers.#
47e0	43 6f 71 40 90 30 fb 18 ee fa 15 24 6a 73 e6 56 d2 d5 3c 75 6d 76 a0 a0 24 5a 61 62 73 a0 26 5a	Coq@.0.....$js.V..<umv..$Zabs.&Z
4800	41 72 69 74 68 a0 23 43 6f 71 40 90 30 c6 c8 74 72 6a a7 d3 83 2d 8b c2 f3 ae 29 d6 7b a0 a0 25	Arith.#Coq@.0..trj...-....).{..%
4820	5a 62 6f 6f 6c a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 c2 9d 52 5d 98 be fe 05 cc 45 3e	Zbool.&ZArith.#Coq@.0..R].....E>
4840	ed ca 96 e7 0f a0 a0 28 5a 63 6f 6d 70 61 72 65 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30	.......(Zcompare.&ZArith.#Coq@.0
4860	3f 44 be e2 db 27 07 b7 39 2e e1 2d 52 01 91 3e a0 a0 2c 5a 63 6f 6d 70 6c 65 6d 65 6e 74 73 a0	?D...'..9..-R..>..,Zcomplements.
4880	26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 f3 cc 55 e1 7b 68 2b d1 0c 4e c5 51 fb 07 5b 51 a0	&ZArith.#Coq@.0..U.{h+..N.Q..[Q.
48a0	a0 24 5a 64 69 76 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 77 ab 8e 64 c6 af 38 c4 ee 63	.$Zdiv.&ZArith.#Coq@.0w..d..8..c
48c0	11 b2 b6 a6 13 d4 a0 a0 25 5a 65 76 65 6e a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 a4 d7	........%Zeven.&ZArith.#Coq@.0..
48e0	23 8a 58 f1 9e 29 0a 11 5f e7 d2 03 c0 58 a0 a0 26 5a 68 69 6e 74 73 a0 26 5a 41 72 69 74 68 a0	#.X..).._....X..&Zhints.&ZArith.
4900	23 43 6f 71 40 90 30 79 65 22 49 0c 14 14 83 ae 6e 96 83 ed 66 55 8a a0 a0 24 5a 69 66 79 a0 29	#Coq@.0ye"I.....n...fU...$Zify.)
4920	6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 12 5c 0d 8a e7 5b 90 f8 97 ff 7e 2b 4b 45 3e	micromega.#Coq@.0.\...[....~+KE>
4940	f7 a0 a0 2b 5a 69 66 79 43 6c 61 73 73 65 73 a0 29 6d 69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40	...+ZifyClasses.)micromega.#Coq@
4960	90 30 e3 8c d4 fe d0 ef 20 fc 04 05 79 a9 6a cc 4c 7d a0 a0 28 5a 69 66 79 49 6e 73 74 a0 29 6d	.0..........y.j.L}..(ZifyInst.)m
4980	69 63 72 6f 6d 65 67 61 a0 23 43 6f 71 40 90 30 6f 17 5d 24 8f 65 fc cc 91 94 de 75 28 34 83 2c	icromega.#Coq@.0o.]$.e.....u(4.,
49a0	a0 a0 24 5a 6d 61 78 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 6d ea 25 2f 5b 2f 32 54 f9	..$Zmax.&ZArith.#Coq@.0m.%/[/2T.
49c0	1e 81 e4 58 38 92 ac a0 a0 24 5a 6d 69 6e a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 7e 4c	...X8....$Zmin.&ZArith.#Coq@.0~L
49e0	52 30 fe ae e1 5a 46 1c 1f 03 8a 52 e0 2c a0 a0 27 5a 6d 69 6e 6d 61 78 a0 26 5a 41 72 69 74 68	R0...ZF....R.,..'Zminmax.&ZArith
4a00	a0 23 43 6f 71 40 90 30 d5 a2 16 f8 fe 94 26 ef 5f b6 4b 0f 30 09 33 1a a0 a0 25 5a 6d 69 73 63	.#Coq@.0......&._.K.0.3...%Zmisc
4a20	a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 34 dd b7 35 8f 8e 75 71 c4 e2 4b b2 52 e7 2b d8	.&ZArith.#Coq@.04..5..uq..K.R.+.
4a40	a0 a0 24 5a 6e 61 74 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 74 6c b4 8b 5e 59 46 fa 9d	..$Znat.&ZArith.#Coq@.0tl..^YF..
4a60	ed f7 77 74 dd c8 3d a0 a0 2a 5a 6e 75 6d 74 68 65 6f 72 79 a0 26 5a 41 72 69 74 68 a0 23 43 6f	..wt..=..*Znumtheory.&ZArith.#Co
4a80	71 40 90 30 7d d3 64 11 88 5e 6f d6 70 4a f8 f0 58 a4 29 1d a0 a0 26 5a 6f 72 64 65 72 a0 26 5a	q@.0}.d..^o.pJ..X.)...&Zorder.&Z
4aa0	41 72 69 74 68 a0 23 43 6f 71 40 90 30 d7 3f 08 f8 25 ad 16 8f bb ad b5 dc 0a 13 7c 90 a0 a0 28	Arith.#Coq@.0.?..%.........|...(
4ac0	5a 70 6f 77 5f 64 65 66 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 d0 38 1d a6 8a 9f 58 43	Zpow_def.&ZArith.#Coq@.0.8....XC
4ae0	32 01 b9 6b 92 f8 ac d4 a0 a0 26 5a 70 6f 77 65 72 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90	2..k......&Zpower.&ZArith.#Coq@.
4b00	30 cf c1 3f 86 32 1a c0 d8 25 ed b1 cd ef bd f1 37 a0 a0 24 5a 74 61 63 a0 29 6d 69 63 72 6f 6d	0..?.2...%......7..$Ztac.)microm
4b20	65 67 61 a0 23 43 6f 71 40 90 30 ec 50 6e a3 04 ad ab ee 3b 7f 5c ab 09 fa a2 aa a0 a0 29 61 75	ega.#Coq@.0.Pn.....;.\.......)au
4b40	78 69 6c 69 61 72 79 a0 26 5a 41 72 69 74 68 a0 23 43 6f 71 40 90 30 62 a1 15 8d e4 80 36 4b 3b	xiliary.&ZArith.#Coq@.0b.....6K;
4b60	3f 35 77 38 29 db 5c a0 a0 2a 73 73 72 63 6c 61 73 73 65 73 a0 23 73 73 72 a0 23 43 6f 71 40 90	?5w8).\..*ssrclasses.#ssr.#Coq@.
4b80	30 40 02 e0 3f 9b c1 5c 7e ed 69 10 46 82 67 99 a7 a0 a0 29 73 73 72 73 65 74 6f 69 64 a0 23 73	0@..?..\~.i.F.g....)ssrsetoid.#s
4ba0	73 72 a0 23 43 6f 71 40 90 30 8d e3 a8 24 71 6f cd d1 58 26 70 7f 3d ed f9 20 a0 a0 28 73 73 72	sr.#Coq@.0...$qo..X&p.=.....(ssr
4bc0	75 6e 64 65 72 a0 23 73 73 72 a0 23 43 6f 71 40 90 30 19 bc 5a ec 8e ee e2 0a f4 95 6a f0 3e 9b	under.#ssr.#Coq@.0..Z.......j.>.
4be0	e7 81 41 a0 40 40 9d 5d d4 54 8b 5e 12 6d 48 0b 51 3e 2d 80 53 a1 84 95 a6 be 00 00 00 01 00 00	..A.@@.].T.^.mH.Q>-.S...........
4c00	00 00 00 00 00 00 00 00 00 00 40 c5 e3 54 11 97 5a ef 71 9f 04 a5 74 b4 ff 59 40 84 95 a6 be 00	..........@..T..Z.q...t..Y@.....
4c20	00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 40 c5 e3 54 11 97 5a ef 71 9f 04 a5 74 b4 ff 59 40	...............@..T..Z.q...t..Y@
4c40	84 95 a6 be 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 80 61 44 c8 6c d4 a1 68 cd 70 49 5a	.....................aD.l..h.pIZ
4c60	5c c4 22 ad e9 00 00 00 05 00 00 00 07 6c 69 62 72 61 72 79 00 00 00 00 00 00 25 fc 00 00 00 00	\."..........library......%.....
4c80	00 00 25 ea 9d 5d d4 54 8b 5e 12 6d 48 0b 51 3e 2d 80 53 a1 00 00 00 07 6f 70 61 71 75 65 73 00	..%..].T.^.mH.Q>-.S.....opaques.
4ca0	00 00 00 00 00 4c 40 00 00 00 00 00 00 00 15 61 44 c8 6c d4 a1 68 cd 70 49 5a 5c c4 22 ad e9 00	.....L@........aD.l..h.pIZ\."...
4cc0	00 00 07 73 75 6d 6d 61 72 79 00 00 00 00 00 00 00 10 00 00 00 00 00 00 25 dc fe af 4b 6d 51 8f	...summary..............%...KmQ.
4ce0	dd 76 ef ca b7 7c 51 e7 94 a5 00 00 00 05 74 61 73 6b 73 00 00 00 00 00 00 4c 1b 00 00 00 00 00	.v...|Q.......tasks......L......
4d00	00 00 15 c5 e3 54 11 97 5a ef 71 9f 04 a5 74 b4 ff 59 40 00 00 00 09 75 6e 69 76 65 72 73 65 73	.....T..Z.q...t..Y@....universes
4d20	00 00 00 00 00 00 4b f6 00 00 00 00 00 00 00 15 c5 e3 54 11 97 5a ef 71 9f 04 a5 74 b4 ff 59 40	......K...........T..Z.q...t..Y@