| 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 00 00 00 00 00 00 00 00 3f 00 00 01 9e 00 00 03 d6 00 00 00 00 00 00 00 00 00 | ..............?................. |
| 0040 | 00 00 15 00 00 00 07 00 00 00 01 00 00 00 0b 54 65 78 74 20 4c 61 79 65 72 00 00 00 00 02 00 00 | ...............Text.Layer....... |
| 0060 | 00 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 00 00 09 00 00 | ................................ |
| 0080 | 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 00 00 00 00 00 | ................................ |
| 00a0 | 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 00 00 08 00 00 | ................................ |
| 00c0 | 00 06 00 00 00 18 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 e2 00 00 | ................................ |
| 00e0 | 00 00 00 00 00 15 00 00 00 07 00 00 00 04 00 00 00 f6 00 00 00 00 00 00 00 15 00 00 00 07 00 00 | ................................ |
| 0100 | 01 06 00 00 00 00 7f 00 93 00 7f 00 93 00 7f 00 93 00 0d 00 fd 38 55 00 03 00 f9 aa ff 71 00 e2 | .....................8U......q.. |
| 0120 | c6 00 06 00 fd 71 e2 00 03 00 fd 55 e2 00 ed 00 aa 1c aa 71 38 aa 1c 00 38 aa c6 aa 00 1c 8d aa | .....q.....U.......q8...8....... |
| 0140 | 38 aa fe aa 00 fc 00 ff 00 aa f2 aa 71 ff 55 38 c6 00 aa 71 1c e2 1c 71 ff eb ff 55 00 1c aa 00 | 8...........q.U8...q...q...U.... |
| 0160 | c6 aa 1c ff 00 aa 55 38 ff 38 8d aa 00 55 e2 fc e2 71 00 71 ed 71 00 ff 1c 55 e2 00 ff 8d aa ff | ......U8.8...U...q.q.q...U...... |
| 0180 | 00 aa c6 1c e2 55 38 aa f6 aa 71 00 1c aa 00 55 aa 38 8d fa 8d 38 aa 38 1c aa fd aa 38 00 00 00 | .....U8...q....U.8...8.8....8... |
| 01a0 | 00 16 00 00 00 17 00 00 00 01 00 00 00 0b 54 65 78 74 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 | ..............Text.Layer........ |
| 01c0 | 04 00 00 00 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 | ................................ |
| 01e0 | 0a 00 00 00 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 | ................................ |
| 0200 | 00 00 00 00 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 05 00 00 00 01 00 00 00 | ................................ |
| 0220 | 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 02 39 00 00 00 00 00 00 00 16 00 00 00 | ....................9........... |
| 0240 | 17 00 00 00 04 00 00 02 4d 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 5d 00 00 00 00 7f 01 fa | ........M...............]....... |
| 0260 | 87 7f 01 fa 0d 7f 01 fa 0d fe 38 55 13 55 fe aa ff 13 ff fd aa ff aa 10 aa fb e2 ff aa ff 00 10 | ..........8U.U.................. |
| 0280 | 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 06 00 fe 1c 00 04 00 fe 1c 00 fa 00 aa ff aa ff 00 | ................................ |
| 02a0 | 05 00 fd 1c e2 00 03 00 01 55 01 00 fb aa ff aa ff 00 fc 00 aa ff 00 fb 00 1c e2 ff 00 02 00 fc | .........U...................... |
| 02c0 | 55 ff 55 00 fa 00 aa ff aa ff 00 f9 00 aa ff 00 1c e2 ff fe ff 00 01 00 fe 55 ff fd ff 55 00 fa | U.U......................U...U.. |
| 02e0 | 00 aa ff aa ff 00 fa 00 aa ff 1c e2 ff 01 ff 01 00 fe 55 ff 01 ff fe 55 00 fa 00 aa ff aa ff 00 | ..................U....U........ |
| 0300 | fb 00 aa ff e2 ff 02 ff fd 00 55 ff 02 ff fe 55 00 fa 00 aa ff aa ff 00 fd 00 aa ff 04 ff fe 38 | ..........U....U...............8 |
| 0320 | ff 03 ff fe 55 00 fa 00 aa ff aa ff 00 fd 00 aa ff 04 ff fd 00 aa ff 02 ff fe 55 00 fa 00 aa ff | ....U.....................U..... |
| 0340 | aa ff 00 fb 00 aa ff 55 ff 02 ff 01 00 fe aa ff 01 ff fe 55 00 fa 00 aa ff aa ff 00 fa 00 aa ff | .......U...........U............ |
| 0360 | 00 55 ff 01 ff 02 00 fe aa ff fd ff 55 00 fa 00 aa ff aa ff 00 fc 00 aa ff 00 fd 00 55 ff fe ff | .U..........U...............U... |
| 0380 | 00 02 00 fc aa ff 55 00 fa 00 aa ff aa ff 00 fc 00 38 55 00 01 00 fd 55 ff 00 03 00 fd aa 55 00 | ......U..........8U....U......U. |
| 03a0 | fa 00 aa ff aa ff 00 06 00 fe 55 00 04 00 fe 38 00 fa 00 aa ff aa ff 00 10 00 fb aa ff aa ff 00 | ..........U....8................ |
| 03c0 | 10 00 fb aa ff aa ff 55 10 55 fc c6 ff aa ff 13 ff fe 71 aa 13 aa 00 00 00 20 00 00 00 20 00 00 | .......U.U........q............. |
| 03e0 | 00 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 | ......Background................ |
| 0400 | 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 04 00 00 00 | ................................ |
| 0420 | 00 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 | ................................ |
| 0440 | 04 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 | ................................ |
| 0460 | 00 00 00 00 00 00 00 00 00 00 00 04 71 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 04 | ............q................... |
| 0480 | 85 00 00 00 00 00 00 00 20 00 00 00 20 00 00 04 95 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 | ................................ |
| 04a0 | bc | . |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: ce29a4b7f29b1939b5f51d4c26bd7c2cb00a65c2 (plain)