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@ |