| 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 7f 00 00 03 93 00 00 00 00 00 00 00 00 00 | ..............?................. |
| 0040 | 00 00 13 00 00 00 06 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 | ...............Text.Layer....... |
| 0060 | 00 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 | ................................ |
| 0080 | 00 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 | ................................ |
| 00a0 | 00 00 00 00 00 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 06 00 00 00 19 00 00 | ................................ |
| 00c0 | 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 da 00 00 00 00 00 00 00 13 00 00 | ................................ |
| 00e0 | 00 06 00 00 00 04 00 00 00 ee 00 00 00 00 00 00 00 13 00 00 00 06 00 00 00 fe 00 00 00 00 71 00 | ..............................q. |
| 0100 | 71 00 71 00 f7 00 71 ff 55 00 8d e2 38 00 07 00 fb 55 1c 00 38 e2 f4 e2 00 55 71 00 38 aa 71 00 | q.q...q.U...8....U..8....Uq.8.q. |
| 0120 | 8d 55 71 01 71 f7 ff aa 00 71 55 e2 71 aa 55 f9 55 aa 55 e2 00 71 c6 fe c6 55 fd 55 e2 00 fb 00 | .Uq.q....qU.q.U.U.U..q...U.U.... |
| 0140 | aa 1c 71 e2 f2 e2 00 e2 c6 aa 38 00 1c ff 71 00 71 aa 00 fd 00 c6 00 fe 00 e2 f7 e2 00 ff 71 00 | ..q.......8...q.q.............q. |
| 0160 | 71 38 aa 71 fd 71 00 aa f2 aa 00 71 aa 38 00 55 71 00 55 aa 8d 38 71 f9 71 00 aa 38 55 aa 38 00 | q8.q.q.....q.8.Uq.U..8q.q..8U.8. |
| 0180 | 00 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 02 00 00 | ...............Text.Layer....... |
| 01a0 | 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 | ................................ |
| 01c0 | 00 04 00 00 00 00 00 00 00 0a 00 00 00 04 00 00 00 00 00 00 00 0b 00 00 00 04 00 00 00 00 00 00 | ................................ |
| 01e0 | 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 | ................................ |
| 0200 | 00 05 00 00 00 01 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 02 22 00 00 | .............................".. |
| 0220 | 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 36 00 00 00 00 00 00 00 16 00 00 00 17 00 00 | .................6.............. |
| 0240 | 02 46 00 00 00 00 7f 01 18 87 fe 86 87 24 87 fe 86 87 10 87 fe 86 87 11 87 fe 86 87 11 87 fe 86 | .F...........$.................. |
| 0260 | 87 7d 87 7f 01 18 0d fe 0c 0d 24 0d fe 0c 0d 10 0d fe 0c 0d 11 0d fe 0c 0d 11 0d fe 0c 0d 7d 0d | .}........$...................}. |
| 0280 | 7f 01 18 0d fe 0c 0d 24 0d fe 0c 0d 10 0d fe 0c 0d 11 0d fe 0c 0d 11 0d fe 0c 0d 7d 0d fe 38 55 | .......$...................}..8U |
| 02a0 | 13 55 fe aa ff 13 ff fd aa ff aa 10 aa fb e2 ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff | .U.............................. |
| 02c0 | aa ff 00 fd 00 ff 00 0d 00 fb aa ff aa ff 00 fe 00 ff 01 ff 0c 00 fb aa ff aa ff 00 fe 00 ff 04 | ................................ |
| 02e0 | ff 09 00 fb aa ff aa ff 00 fe 00 ff 06 ff 07 00 fb aa ff aa ff 00 fe 00 ff 09 ff 04 00 fb aa ff | ................................ |
| 0300 | aa ff 00 fe 00 ff 0b ff 02 00 fb aa ff aa ff 00 fe 00 ff 0b ff 02 00 fb aa ff aa ff 00 fe 00 ff | ................................ |
| 0320 | 0a ff fe cf 00 01 00 fb aa ff aa ff 00 fe 00 ff 08 ff 05 00 fb aa ff aa ff 00 fe 00 ff 05 ff fe | ................................ |
| 0340 | 90 00 06 00 fb aa ff aa ff 00 fe 00 ff 02 ff fd cf 39 00 08 00 fb aa ff aa ff 00 fb 00 ff f2 82 | .................9.............. |
| 0360 | 00 0b 00 fb aa ff aa ff 00 fd 00 4b 00 0d 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb | ...........K.................... |
| 0380 | 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 00 00 00 | ....U.U........q................ |
| 03a0 | 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 00 00 | ...Background................... |
| 03c0 | 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 00 00 | ................................ |
| 03e0 | 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 00 00 | ................................ |
| 0400 | 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 00 00 | ................................ |
| 0420 | 00 00 00 00 00 00 00 00 04 2e 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 04 42 00 00 | .............................B.. |
| 0440 | 00 00 00 00 00 20 00 00 00 20 00 00 04 52 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc | .............R................ |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 55fa178215fe06e8a8bf80bc7aa66a0ea61a601a (plain)