| ofs | hex dump | ascii |
|---|---|---|
| 0000 | 67 69 6d 70 20 78 63 66 20 66 69 6c 65 00 00 00 00 20 00 00 00 20 00 00 00 00 00 00 00 11 00 00 | gimp.xcf.file................... |
| 0020 | 00 01 01 00 00 00 12 00 00 00 05 00 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 50 00 00 03 6c | ...........................P...l |
| 0040 | 00 00 04 af 00 00 09 95 00 00 00 00 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 01 00 00 00 0d | ................................ |
| 0060 | 50 61 73 74 65 64 20 4c 61 79 65 72 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 | Pasted.Layer.................... |
| 0080 | ff 00 00 00 08 00 00 00 04 00 00 00 01 00 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0a 00 00 00 | ................................ |
| 00a0 | 04 00 00 00 01 00 00 00 0b 00 00 00 04 00 00 00 00 00 00 00 0c 00 00 00 04 00 00 00 00 00 00 00 | ................................ |
| 00c0 | 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 01 00 00 00 00 00 00 00 07 00 00 00 | ................................ |
| 00e0 | 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 f5 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 | ................................ |
| 0100 | 04 00 00 01 09 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 01 19 00 00 00 00 5b 87 19 00 03 87 19 | .........................[...... |
| 0120 | 00 03 87 19 00 03 87 19 00 02 87 fe 89 00 18 00 01 87 fd 88 8a 00 18 00 01 87 fd 89 8b 00 18 00 | ................................ |
| 0140 | 01 87 fd 8a 8b 00 18 00 01 87 fd 8a 8c 00 18 00 01 87 fd 88 8c 00 18 00 01 87 fd 88 8b 00 18 00 | ................................ |
| 0160 | 02 87 fe 89 00 18 00 02 87 fe 88 00 18 00 03 87 19 00 03 87 19 00 03 87 19 00 03 87 19 00 07 87 | ................................ |
| 0180 | fe 88 89 fe 89 88 01 88 02 87 01 89 02 88 45 87 3f 0d 06 0e 03 0d 03 0e 0c 0d 19 00 03 0d 19 00 | ..............E.?............... |
| 01a0 | 01 0d fd 0e 0d 00 18 00 01 0d fd 0e 0f 00 18 00 01 0d fd 0f 13 00 18 00 01 0d fd 11 18 00 18 00 | ................................ |
| 01c0 | 01 0d fd 14 1c 00 18 00 01 0d fd 17 1c 00 18 00 01 0d fd 17 1e 00 18 00 01 0d fd 13 1e 00 18 00 | ................................ |
| 01e0 | 01 0d fd 12 1b 00 18 00 01 0d fd 10 14 00 18 00 01 0d fd 0f 10 00 18 00 01 0d fd 0e 0f 00 18 00 | ................................ |
| 0200 | 01 0d 01 0e 19 00 03 0d 19 00 03 0d 19 00 04 0d 02 0f fe 11 15 fe 15 13 01 13 01 0f fe 0d 15 fe | ................................ |
| 0220 | 15 13 01 13 01 0f 43 0d 3f 0d 06 0e 03 0d 03 0e 0c 0d 19 00 03 0d 19 00 01 0d fd 0e 0d 00 18 00 | ......C.?....................... |
| 0240 | 01 0d fd 0e 0f 00 18 00 01 0d fd 0f 13 00 18 00 01 0d fd 11 18 00 18 00 01 0d fd 14 1c 00 18 00 | ................................ |
| 0260 | 01 0d fd 17 1c 00 18 00 01 0d fd 17 1e 00 18 00 01 0d fd 13 1e 00 18 00 01 0d fd 12 1b 00 18 00 | ................................ |
| 0280 | 01 0d fd 10 14 00 18 00 01 0d fd 0f 10 00 18 00 01 0d fd 0e 0f 00 18 00 01 0d 01 0e 19 00 03 0d | ................................ |
| 02a0 | 19 00 03 0d 19 00 04 0d 02 0f fe 11 15 fe 15 13 01 13 01 0f fe 0d 15 fe 15 13 01 13 01 0f 43 0d | ..............................C. |
| 02c0 | fe 38 55 1b 55 fe aa ff 1b ff fd aa ff aa 18 aa fb e2 ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 | .8U.U........................... |
| 02e0 | fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 | ................................ |
| 0300 | fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 | ................................ |
| 0320 | fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 | ................................ |
| 0340 | fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 55 18 55 | .............................U.U |
| 0360 | fc c6 ff aa ff 1b ff fe 71 aa 1b aa 00 00 00 11 00 00 00 08 00 00 00 01 00 00 00 0b 54 65 78 74 | ........q...................Text |
| 0380 | 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 00 00 08 00 00 00 04 00 00 00 01 00 | .Layer.......................... |
| 03a0 | 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0a 00 00 00 04 00 00 00 01 00 00 00 0b 00 00 00 04 00 | ................................ |
| 03c0 | 00 00 00 00 00 00 0c 00 00 00 04 00 00 00 00 00 00 00 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 | ................................ |
| 03e0 | 00 00 08 00 00 00 07 00 00 00 17 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0400 | 00 04 07 00 00 00 00 00 00 00 11 00 00 00 08 00 00 00 04 00 00 04 1b 00 00 00 00 00 00 00 11 00 | ................................ |
| 0420 | 00 00 08 00 00 04 2b 00 00 00 00 7f 00 88 00 7f 00 88 00 7f 00 88 00 0a 00 fd 38 55 00 03 00 fc | ......+...................8U.... |
| 0440 | 71 ff c6 00 04 00 fb 71 8d 71 1c 00 02 00 eb 38 ff 1c aa 71 38 aa 1c 55 e2 c6 38 1c 8d aa 38 00 | q......q.q.....8...q8..U..8...8. |
| 0460 | 71 ff 00 aa f2 aa 71 ff 55 00 ff 00 1c e2 1c 71 ff 00 aa de aa 00 c6 aa 1c ff 00 55 e2 00 8d aa | q.....q.U......q...........U.... |
| 0480 | 00 55 e2 00 e2 71 00 ff 1c 55 e2 00 71 aa 00 aa c6 1c e2 55 71 aa f4 aa 1c aa 00 55 aa 38 aa 8d | .U...q...U..q......Uq......U.8.. |
| 04a0 | 00 1c aa fd aa 38 00 08 00 fd e2 55 00 04 00 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0b 54 | .....8.....U...................T |
| 04c0 | 65 78 74 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 00 00 08 00 00 00 04 00 00 | ext.Layer....................... |
| 04e0 | 00 01 00 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0a 00 00 00 04 00 00 00 00 00 00 00 0b 00 00 | ................................ |
| 0500 | 00 04 00 00 00 00 00 00 00 0c 00 00 00 04 00 00 00 00 00 00 00 0d 00 00 00 04 00 00 00 00 00 00 | ................................ |
| 0520 | 00 0f 00 00 00 08 00 00 00 05 00 00 00 01 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0540 | 00 00 00 00 05 4a 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 05 5e 00 00 00 00 00 00 | .....J...................^...... |
| 0560 | 00 16 00 00 00 17 00 00 05 6e 00 00 00 00 1d 87 05 00 0d 87 09 00 09 87 05 00 fc 4f 7f 6f 00 03 | .........n.................O.o.. |
| 0580 | 00 06 87 06 00 fc 9f fe df 00 04 00 05 87 06 00 fc 9f fe df 00 04 00 04 87 11 00 03 87 04 00 fe | ................................ |
| 05a0 | 17 bf 02 bf fe a7 00 05 00 02 87 05 00 fe 1f fe 02 fe fe df 00 06 00 01 87 05 00 fe 03 1f fb 1f | ................................ |
| 05c0 | ab fe df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 01 87 08 00 | ................................ |
| 05e0 | fc 9f fe df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 02 87 07 00 fc 9f fe df 00 05 00 03 87 07 | ................................ |
| 0600 | 00 fc 9f fe df 00 05 00 04 87 03 00 fe 0b 5f f9 5f c3 fe eb 5f 47 00 02 00 05 87 03 00 fe 1f fe | .............._._..._G.......... |
| 0620 | 03 fe fd ff bf 00 02 00 06 87 02 00 fe 0f 7f 04 7f fe 5f 00 01 00 09 87 09 00 0d 87 05 00 33 87 | .................._...........3. |
| 0640 | 1d 0d 05 00 0d 0d 09 00 09 0d 05 00 fc 4f 7f 6f 00 03 00 06 0d 06 00 fc 9f fe df 00 04 00 05 0d | .............O.o................ |
| 0660 | 06 00 fc 9f fe df 00 04 00 04 0d 11 00 03 0d 04 00 fe 17 bf 02 bf fe a7 00 05 00 02 0d 05 00 fe | ................................ |
| 0680 | 1f fe 02 fe fe df 00 06 00 01 0d 05 00 fe 03 1f fb 1f ab fe df 00 06 00 01 0d 08 00 fc 9f fe df | ................................ |
| 06a0 | 00 06 00 01 0d 08 00 fc 9f fe df 00 06 00 01 0d 08 00 fc 9f fe df 00 06 00 01 0d 08 00 fc 9f fe | ................................ |
| 06c0 | df 00 06 00 02 0d 07 00 fc 9f fe df 00 05 00 03 0d 07 00 fc 9f fe df 00 05 00 04 0d 03 00 fe 0b | ................................ |
| 06e0 | 5f f9 5f c3 fe eb 5f 47 00 02 00 05 0d 03 00 fe 1f fe 03 fe fd ff bf 00 02 00 06 0d 02 00 fe 0f | _._..._G........................ |
| 0700 | 7f 04 7f fe 5f 00 01 00 09 0d 09 00 0d 0d 05 00 33 0d 1d 0d fe 23 47 02 47 fe 23 0d 0c 0d fc 44 | ...._...........3....#G.G.#....D |
| 0720 | 8e a6 bd 02 bd fc a6 8e 44 0d 08 0d fd 17 5e bd 02 bd fc d2 de da be 01 be fd 5e 17 0d 05 0d fd | ........D.....^...........^..... |
| 0740 | 17 9d bd 03 bd fc e6 fe f6 be 02 be fd 9d 17 0d 04 0d fd 5f be bd 03 bd fc e6 fe f6 be 03 be fe | ..................._............ |
| 0760 | 5e 0d 03 0d fc 44 bd be bd 06 bd 05 be fe 44 0d 02 0d fe 8e be fe be bd fd bd c4 ee 02 ee fe e8 | ^....D........D................. |
| 0780 | be 04 be fe 8e 0d 01 0d fb 23 a6 bd be bd fd bd c6 fe 02 fe fe f6 be 04 be fd a6 23 0d fd 0d 47 | .........#.................#...G |
| 07a0 | be 01 be 01 bd fe bf c6 fb c6 e9 fe f6 be 05 be fe 47 0d fa 0d 47 be bd be bd 03 bd fc e6 fe f6 | .................G...G.......... |
| 07c0 | be 05 be fe 47 0d fd 0d 47 bd fd bd be bd 03 bd fc e6 fe f6 be 05 be fe 47 0d fd 0d 47 bd fd bd | ....G...G...............G...G... |
| 07e0 | be bd 03 bd fc e6 fe f6 be 05 be fe 47 0d fa 0d 23 a6 bd be bd 03 bd fc e6 fe f6 be 04 be fd a6 | ............G...#............... |
| 0800 | 23 0d 01 0d fc 8e bd be bd 03 bd fc e6 fe f6 be 04 be fe 8e 0d 02 0d fe 44 be fe be bd 03 bd fc | #.......................D....... |
| 0820 | e6 fe f6 be 04 be fe 44 0d 03 0d fd 5e be bd fd bd c1 d6 f9 d6 ef fe f9 d6 d0 be 01 be fe 5e 0d | .......D....^.................^. |
| 0840 | 04 0d fd 17 9d bd fd bd c6 fe 03 fe fd ff ee be fc be 9d 17 0d 05 0d fb 17 5e bd c2 de 04 de fb | .........................^...... |
| 0860 | d6 be 5e 17 0d 08 0d fc 44 8e a6 bd 02 bd fc a6 8e 44 0d 0c 0d fe 23 47 02 47 fe 23 0d 32 0d 1d | ..^.....D........D....#G.G.#.2.. |
| 0880 | 00 fe 2f 5f 02 5f fe 2f 00 0c 00 fc 5b bf df fe 02 fe fc df bf 5b 00 08 00 fd 1f 7f fe 05 fe 02 | ../_._./....[........[.......... |
| 08a0 | ff fd 7f 1f 00 05 00 fd 1f d3 fe 06 fe 03 ff fd d3 1f 00 04 00 fd 7f ff fe 06 fe 04 ff fe 7f 00 | ................................ |
| 08c0 | 03 00 fc 5b fe ff fe 06 fe 05 ff fe 5b 00 02 00 fc bf fe ff fe 06 fe 05 ff fe bf 00 01 00 fb 2f | ...[........[................../ |
| 08e0 | df fe ff fe 06 fe 05 ff fd df 2f 00 fd 00 5f fe fd fe ff fe 06 fe 06 ff fe 5f 00 fa 00 5f ff fe | ........../..._.........._..._.. |
| 0900 | ff fe 06 fe 06 ff fe 5f 00 fd 00 5f fe fd fe ff fe 06 fe 06 ff fe 5f 00 fc 00 5f fe ff fe ff fe | ......._..._.........._..._..... |
| 0920 | 06 fe 06 ff fe 5f 00 fa 00 2f df fe ff fe 06 fe 05 ff fd df 2f 00 01 00 fc bf fe ff fe 06 fe 05 | ....._.../........../........... |
| 0940 | ff fe bf 00 02 00 fc 5b fe ff fe 06 fe 05 ff fe 5b 00 03 00 fd 7f ff fe 06 fe 04 ff fe 7f 00 04 | .......[........[............... |
| 0960 | 00 fd 1f d3 fe 06 fe 03 ff fd d3 1f 00 05 00 fd 1f 7f fe 05 fe 02 ff fd 7f 1f 00 08 00 fc 5b bf | ..............................[. |
| 0980 | df fe 02 fe fc df bf 5b 00 0c 00 fe 2f 5f 02 5f fe 2f 00 32 00 00 00 00 20 00 00 00 20 00 00 00 | .......[..../_._./.2............ |
| 09a0 | 00 00 00 00 0b 42 61 63 6b 67 72 6f 75 6e 64 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 00 00 08 | .....Background................. |
| 09c0 | 00 00 00 04 00 00 00 01 00 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0a 00 00 00 04 00 00 00 00 | ................................ |
| 09e0 | 00 00 00 0b 00 00 00 04 00 00 00 00 00 00 00 0c 00 00 00 04 00 00 00 00 00 00 00 0d 00 00 00 04 | ................................ |
| 0a00 | 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 00 00 00 00 00 00 00 00 07 00 00 00 04 00 00 00 00 | ................................ |
| 0a20 | 00 00 00 00 00 00 00 00 00 00 0a 30 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 0a 44 | ...........0...................D |
| 0a40 | 00 00 00 00 00 00 00 20 00 00 00 20 00 00 0a 54 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc | ...............T................ |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: ff7a632c6bbf0623e2ff3c04faa0675fe98808e9 (plain)