aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/_static/diffs-coqtop-on3.png
blob: 63ff86943273925054f28a534ebb72f178c512fd (plain)
ofshex dumpascii
0000 89 50 4e 47 0d 0a 1a 0a 00 00 00 0d 49 48 44 52 00 00 01 09 00 00 00 50 08 06 00 00 00 0a 9e 80 .PNG........IHDR.......P........
0020 ef 00 00 00 01 73 52 47 42 00 ae ce 1c e9 00 00 00 04 67 41 4d 41 00 00 b1 8f 0b fc 61 05 00 00 .....sRGB.........gAMA......a...
0040 00 09 70 48 59 73 00 00 1d 87 00 00 1d 87 01 8f e5 f1 65 00 00 07 e2 49 44 41 54 78 5e ed dd 4b ..pHYs............e....IDATx^..K
0060 72 a4 ba 12 06 e0 de 8f b6 c2 0e ee 12 08 6f c1 63 26 27 3c ea a1 c3 13 22 3c f4 b0 87 b5 34 6e r.............o.c&'<...."<....4n
0080 ea 91 42 88 1f 2a 29 d7 13 fe 13 f1 c5 e9 4a f1 12 28 13 81 cb dd 7f e4 bf 81 88 68 05 0c 12 11 ..B..*).......J..(.........h....
00a0 29 18 24 22 52 30 78 63 cd d0 9d fa a1 75 a8 ed 16 fc fe 4e c3 29 e9 5b 07 96 21 a2 05 e9 0f ce ).$"R0xc.....u.....N.).[..!.....
00c0 0d 4d db 0d fd a9 1b 9a e9 02 37 70 ef 22 31 6a 3a 16 09 a2 8d fe 0c 4e 8a 43 d7 b5 2c 12 44 84 .M........7p."1j:......N.C..,.D.
00e0 14 1f 5c bb b9 48 f8 02 d3 e7 a9 7c 3f 74 8d b6 55 85 60 b2 ed d4 d6 b4 43 d7 a7 47 80 ae 49 eb ..\..H.....|?t..U.`.....C..G..I.
0100 c5 65 c7 78 2f eb 15 db 69 64 7f bd ec a7 4b ff cf fb 93 63 09 6d 7a 2c b8 18 b0 48 10 6d 56 7c .e.x/...id....K....c.mz,...H.mV|
0120 d8 5c 24 ea 19 81 1b dc 52 db ac 48 c4 c2 10 96 0f 6d ba 6c 6a 4b 89 1c 12 5f db 26 cb cd 3f 3b .\$.....R..H.....m.ljK..._.&..?;
0140 97 b6 e7 c9 7a 27 d0 17 16 09 a2 cd 8a 0f 9b 8b 84 4f ba 5e 92 51 ee e8 ad 3c ae 68 f2 06 e7 8a ....z'...........O.^.Q...<.h....
0160 44 d1 26 c5 a5 95 19 40 48 de 59 72 17 cb fa b6 be 2d 0a 51 5c 2f cf 26 a4 48 e8 0c 24 62 91 20 D.&....@H.Yr.....-.Q\/.&.H..$b..
0180 ba 82 e2 c3 05 45 22 4a 2f 3d 35 d1 43 6c 7b 91 08 c9 7e 71 91 f0 cb c9 9f 75 ff 0b 7d 61 91 20 .....E"J/=5.Cl{...~q.....u..}a..
01a0 da ac f8 b0 b5 48 f8 9f 88 08 fd ec 5a 99 55 e4 77 0b 31 b9 43 02 e7 3b 7c 59 24 c6 84 f6 8f 14 .....H......Z.U.w.1.C..;|Y$.....
01c0 7e 36 12 0a 41 38 06 9f f8 be cd 17 9f 38 53 19 db ea c2 a3 9f 8b fd 85 63 a9 8b 4d c4 22 41 b4 ~6..A8.......8S.........c..M."A.
01e0 59 4a ee 3c 45 1f e5 69 fc 92 7a 7a df 4b 52 6a 02 8b 98 e0 29 de 94 05 c8 27 74 37 b4 f9 a5 27 YJ.<E..i..zz.KRj....)....'t7...'
0200 78 01 a9 71 79 8c 99 cc 3a 7c db d2 8b cb 72 7b 6d 13 66 19 75 a1 60 91 20 da 0c 06 1f ca 95 b3 x..qy...:|....r{m.f.u.`.........
0220 93 50 30 e6 33 02 22 ba 1b 18 7c 20 79 c4 08 2f 43 fd 2c 40 c8 2c 24 cf 22 88 e8 11 60 90 88 48 .P0.3."...|.y../C.,@.,$."...`..H
0240 c1 20 11 91 82 41 9b ff 76 00 f5 8b 88 4a 30 68 83 92 ee d5 a0 7e 11 51 09 06 6d 50 d2 3d ad f8 .....A..v....J0h.....~.Q..mP.=..
0260 3d 8a f6 6f 15 47 fd 22 a2 12 0c da 94 c9 f6 f4 58 24 88 2e 04 83 36 9a 78 9f ed d0 fd 8b 3f b2 =..o.G."........X$....6.x.....?.
0280 ec bf dd 34 09 d7 fc 8d df ae 3c fd 34 b8 7d 66 7d 7f ee b3 1b fa 14 2f db 9a 9f 31 36 ea 86 c6 ...4......<.4.}f}....../...16...
02a0 af 87 fa 45 44 25 18 b4 09 49 2b 09 f7 af 1d 1a 7f 87 96 24 cd c9 67 71 51 91 58 de 9f fb db 0c ...ED%...I+........$..gqQ.X.....
02c0 4e 97 9d 1d 0b 67 12 44 17 82 41 9b 3a f1 42 d2 6f 28 12 9b 9d d9 9f 14 09 9d 61 4c 66 0b 68 5d N....g.D..A.:.B.o(........aLf.h]
02e0 85 fa 45 44 25 18 b4 79 aa 22 e1 db 4e 43 a7 8f 1f b3 63 61 91 20 ba 10 0c da fc b6 48 84 e5 b7 ..ED%..y."..NC....ca........H...
0300 3e 6e ac 15 89 7e e8 3e 63 9b fb c6 8f 1b da 9e a1 7e 11 51 09 06 6d 9e aa 48 c4 c2 90 7f 0b f4 >n...~.>c........~.Q..m..H......
0320 bb 19 da f0 e8 31 b6 37 df e5 6f bb a6 38 ea 17 11 95 60 d0 26 25 df 4b 43 fd 22 a2 12 0c 9a 8c .....1.7..o..8....`.&%.KC.".....
0340 77 e5 d7 85 fa 45 44 13 30 68 83 ee cc af 06 f5 8b 88 4a 30 68 83 92 ee d5 a0 7e 11 51 09 06 6d w....ED.0h........J0h.....~.Q..m
0360 50 d2 ed 09 ea 33 d1 f1 c0 a0 0d 4a ac 3d 41 7d 26 3a 1e 18 b4 09 3f 92 ac 5f 06 6e f8 11 e8 b3 P....3.....J.=A}&:....?.._.n....
0380 43 7d 26 3a 1e 18 b4 a9 bf b7 b0 37 a8 cf 44 c7 03 83 36 bf 2d 12 9b bf 4c e5 b9 a1 fd 19 bf 14 C}&:.......7..D...6.-...L.......
03a0 d5 a7 75 9d ff a2 54 b5 1d ff db 9f e7 7f 2b 35 f5 01 fd 66 29 ea 33 d1 f1 c0 a0 cd 03 8a c4 34 ..u...T.......+5...f).3........4
03c0 f1 65 ff 92 d8 f1 ab d6 fe 58 ca 47 9d fa f3 12 bf 9c 1c 03 fa cd 52 d4 67 a2 e3 81 41 1b 4d b0 .e.......X.G..........R.g...A.M.
03e0 c2 f9 3b f7 6f cc f7 57 ee b3 2c 20 68 66 81 f9 6d 2e 7c d5 1b f5 99 e8 78 60 d0 a6 4e b0 9b 8b ..;.o..W..,.hf..m.|.....x`..N...
0400 45 62 f6 4b 5a 2a 27 b8 3c 92 fc b3 1e 17 8b 04 d1 19 30 68 f3 db 22 71 e1 e3 46 7e 34 08 31 37 Eb.KZ*'.<.........0h.."q..F~4.17
0420 b8 62 ff 61 36 f1 23 8f 0c e6 6d b2 48 10 9d 01 83 36 e9 ce 5e 4f ff 17 ef f4 b5 0b 8a 44 fd e2 .b.a6.#...m.H....6..^O.......D..
0440 32 fc c6 e7 67 f1 88 13 de 29 6c 38 06 16 09 a2 73 60 d0 66 92 6c 3b 84 fa 4c 74 3c 30 68 32 de 2...g....)l8....s`.f.l;..Lt<0h2.
0460 cd f7 09 f5 99 e8 80 60 d0 06 dd 7d f7 04 f5 99 e8 78 60 d0 06 25 d6 9e a0 3e 13 1d 0f 0c 12 11 .......`...}.....x`..%...>......
0480 29 18 24 22 52 30 48 44 a4 60 90 88 48 c1 20 11 91 82 41 13 d7 96 df 7c 1c f5 ad 63 1b db 0e d7 ).$"R0HD.`..H.....A....|...c....
04a0 86 72 64 27 60 90 88 48 c1 a0 c9 33 55 71 b6 b1 ed d1 6d 28 47 76 02 06 89 88 14 0c 12 11 29 18 .rd'`..H...3Uq....m(Gv........).
04c0 24 22 52 30 48 44 a4 60 90 88 48 c1 20 11 91 82 41 9b ff 11 51 86 72 64 1f 60 d0 06 9d a8 4d e2 $"R0HD.`..H.....A...Q.rd.`....M.
04e0 df 91 d9 7f 38 d0 76 2f e9 ef b8 7c 43 6d 74 5b d7 38 f7 6b db 88 e3 2b 7f 97 e1 2a e3 6c 65 7f ....8.v/...|Cmt[.8.k...+...*.le.
0500 28 47 f6 01 06 6d ea 93 74 17 d7 4e ea 6b 6f ef 96 5e e9 58 2d ae d1 1f db 36 9a 2f 16 89 5f 80 (G...m..t..N.ko..^.X-....6./.._.
0520 41 9b fa 24 dd c5 b5 13 e5 95 12 ef 95 8e d5 e2 1a fd b1 6d 83 45 e2 57 60 d0 26 9c 1c 37 b4 5f A..$...............m.E.W`.&..7._
0540 e3 57 55 fb af 26 c6 df e2 5f 97 df bd a7 e5 fc e7 9f 6e 68 8a 36 5d 27 2f 93 b8 8f ae 68 ef 73 .WU..&..._........nh.6]'/....h.s
0560 bb bf d0 ba ce 28 6d 73 65 bd 75 d5 45 7f 97 6d f8 e3 b4 0e 5c ed 8b f6 fb ac b4 bf f7 76 e8 fc .....(mse.u.E..m....\........v..
0580 bf 21 22 eb 96 83 d7 85 fd 6b 1f c6 b6 73 7d bf cc fa b1 dc 84 9c af bc af af 0e 9c 7b b9 6e 12 .!"......k...s}.............{.n.
05a0 0f ff cf d7 af ba 46 e1 9c 6b df 41 1f c0 b5 c0 45 62 61 ec ae 5a 19 2f 28 47 f6 01 06 6d e4 24 ......F..k.A....Eba..Z./(G...m.$
05c0 4d 4f be 9c 40 b9 50 f9 e2 ca 09 f4 c9 da be c5 7f 2b 63 5e 7d 7d bc 2e 12 d5 45 90 65 5c 6e 43 MO..@.P..........+c^}}....E.e\nC
05e0 ed 4b f1 7a bd 25 e3 7a 31 41 5b e3 7a c9 45 45 42 96 97 fd 84 81 15 ce 51 51 e8 de 9a 71 ff 55 .K.z.%.z1A[.z.EEB.......QQ...q.U
0600 db 72 df 2f b5 7e 2c 4b dc c7 c2 ef 2f 9c 2d 30 71 7f ba 9c 93 c4 ee b5 3f e1 3c 16 7d 9b 7c ae .r./.~,K..../.-0q.......?.<.}.|.
0620 fa 3d 2b 12 31 c1 c3 79 ab b7 93 a0 22 b1 3a 76 17 8d c7 32 1b 2f 28 47 f6 01 06 6d d2 05 5a 1b .=+.1..y....".:v...2./(G...m..Z.
0640 2c 3a a0 f0 00 42 45 c2 5f 3c bf 8e dc 49 3e d2 e0 2d da 66 03 a6 b0 be de 92 b8 bd 4e d6 c5 c7 ,:...BE._<...I>..-.f........N...
0660 78 6d d5 f1 4f 06 bc ff 2c ed e9 8e 18 dd ba 48 ac 1c cb b5 ad 15 3d df 36 29 d0 e5 d8 58 3b ce xm..O...,......H......=.6)...X;.
0680 fa 9c c4 f5 d6 0b 82 e7 d7 2b cf 73 74 7e 0c c4 fd c1 f1 82 72 64 1f 60 d0 26 9d e8 b5 ea 9b ef .........+.st~......rd.`.&......
06a0 3a f0 4e 8b 8b 84 b6 35 fe f1 61 76 c1 eb 41 51 5b 5a 6f 49 da 5e 58 e7 86 09 92 55 c7 0f ee 8a :.N....5..av..AQ[ZoI.^X....U....
06c0 9d 1e f7 2c 69 cf f5 7d ab b5 63 59 76 f1 4c e2 8e 45 62 7e e3 c1 45 62 6d ec 62 69 7f 68 bc a0 ...,i..}..cYv.L..Eb~..Ebm.bi.h..
06e0 1c d9 07 18 b4 91 13 e3 4f 7e 9e ae 86 93 25 d3 7c fd b3 4e c7 fc dd 11 5e 10 70 41 e5 d1 a4 11 ........O~....%.|..N....^.pA....
0700 fa 39 0c c8 49 81 89 17 69 b6 ad b3 eb 2d 29 06 99 0e e2 dc 17 83 30 60 e5 1c 6c 7a dc 58 1f f0 .9..I...i....-).......0`..lz.X..
0720 da 37 ff 8e 05 25 d5 e2 c0 0e c7 bf 65 e0 af 1d cb 0d a4 73 15 8f cf 17 f3 38 f3 0b fb 0f 6d f5 .7...%......e......s.....8....m.
0740 b1 e8 e7 a2 df 79 a6 55 9e 33 d9 66 2a 00 fe 11 20 6f 53 f7 2b 96 1e 37 16 c7 ee a2 e2 9c d5 e3 .....y.U.3.f*....oS.+..7........
0760 05 e5 c8 3e c0 a0 4d 38 69 92 e8 c5 cb 9f 30 dd 7f f7 17 c3 5f cc 62 c0 c1 8b 87 8a 84 0e 82 04 ...>..M8i.....0....._.b.........
0780 bc 44 8c 83 4b 97 49 fb 30 ac 87 15 17 5d 3e c7 bb a4 75 5d 91 06 fe 75 8a 44 2c 0c 61 7b fe 3c .D..K.I.0....]>...u]...u.D,.a{.<
07a0 7e 34 e1 fc 94 85 02 f6 5d 3d 7b 91 10 93 fe f9 97 8d e5 fe e5 f8 f1 8b cb a2 df fe ba 86 77 19 ~4......]={...................w.
07c0 7a 9c be 0f 5d bc b3 e7 ed 8e eb e5 f5 41 91 58 1e bb e5 32 b5 95 f1 82 72 64 1f 60 d0 66 76 02 z...]........A.X...2....rd.`.fv.
07e0 e9 d1 fc 7b 99 9c 74 74 5f 28 47 f6 01 06 6d d0 89 a2 c7 f1 77 62 f3 8c 86 ae 0e e5 c8 3e c0 a0 ...{..tt_(G...m.....wb.......>..
0800 0d 3a 51 44 47 85 72 64 1f 60 d0 06 9d 28 a2 a3 42 39 b2 0f 30 48 44 a4 60 90 88 48 c1 20 11 91 .:QDG.rd.`...(..B9..0HD.`..H....
0820 82 41 22 22 05 83 44 44 0a 06 89 88 14 0c 12 11 29 18 24 22 12 7f 86 ff 03 84 3f 05 a2 19 42 a1 .A""..DD........).$"......?...B.
0840 f4 00 00 00 00 49 45 4e 44 ae 42 60 82 .....IEND.B`.