| 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 13 00 00 00 08 42 90 00 00 42 90 00 00 | ........................B...B... |
| 0040 | 00 00 00 14 00 00 00 04 00 00 00 09 00 00 00 16 00 00 00 04 00 00 00 01 00 00 00 00 00 00 00 00 | ................................ |
| 0060 | 00 00 00 74 00 00 01 cb 00 00 04 e6 00 00 00 00 00 00 00 00 00 00 00 13 00 00 00 07 00 00 00 01 | ...t............................ |
| 0080 | 00 00 00 0b 54 65 78 74 20 4c 61 79 65 72 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 04 00 | ....Text.Layer.................. |
| 00a0 | 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 0a 00 | ................................ |
| 00c0 | 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 00 00 | ................................ |
| 00e0 | 00 00 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 07 00 00 00 18 00 00 00 07 00 | ................................ |
| 0100 | 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 09 00 00 00 00 00 00 00 00 00 00 01 23 00 | ..............................#. |
| 0120 | 00 00 00 00 00 00 13 00 00 00 07 00 00 00 04 00 00 01 37 00 00 00 00 00 00 00 13 00 00 00 07 00 | ..................7............. |
| 0140 | 00 01 47 00 00 00 00 7f 00 85 00 7f 00 85 00 7f 00 85 00 05 00 01 38 07 00 f4 1c 55 1c 00 71 ff | ..G...................8....U..q. |
| 0160 | aa aa 8d 71 55 00 06 00 9e 1c ff 38 00 38 ff 00 00 38 aa 38 71 aa 1c 8d 55 00 1c 8d aa ff 00 00 | ...qU......8.8...8.8q...U....... |
| 0180 | 71 e2 aa 8d 00 ff 00 55 e2 71 c6 aa 00 e2 1c 55 aa 00 00 aa 8d 1c 1c 55 e2 00 71 e2 1c c6 55 55 | q......U.q.....U.......U..q...UU |
| 01a0 | aa 00 e2 8d 00 00 e2 55 00 00 71 aa 00 aa 71 00 ff 38 aa c6 8d c6 55 00 71 aa 8d 00 00 71 aa 00 | .......U..q...q..8....U.q....q.. |
| 01c0 | 8d 38 1c aa 71 55 aa 1c aa 71 00 00 00 00 1e 00 00 00 17 00 00 00 01 00 00 00 0d 50 61 73 74 65 | .8..qU...q.................Paste |
| 01e0 | 64 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 | d.Layer......................... |
| 0200 | 00 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 | ................................ |
| 0220 | 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 00 0f | ................................ |
| 0240 | 00 00 00 08 00 00 00 01 00 00 00 00 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 | ................................ |
| 0260 | 00 00 00 03 00 00 00 00 00 00 00 00 00 00 02 74 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 04 | ...............t................ |
| 0280 | 00 00 02 88 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 02 98 00 00 00 00 5b 87 19 00 03 87 19 00 | ........................[....... |
| 02a0 | 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 01 | ................................ |
| 02c0 | 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 02 | ................................ |
| 02e0 | 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 fc | ................................ |
| 0300 | 88 89 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 01 0d | ............E.?................. |
| 0320 | 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 01 0d | ................................ |
| 0340 | 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 01 0d | ................................ |
| 0360 | 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 01 0d | ................................ |
| 0380 | 01 0e 19 00 03 0d 19 00 03 0d 19 00 04 0d 02 0f fc 11 15 15 13 01 13 01 0f fc 0d 15 15 13 01 13 | ................................ |
| 03a0 | 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 01 0d fd 0e | ..C.?........................... |
| 03c0 | 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 01 0d fd 17 | ................................ |
| 03e0 | 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 01 0d fd 10 | ................................ |
| 0400 | 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 19 00 03 0d | ................................ |
| 0420 | 19 00 04 0d 02 0f fc 11 15 15 13 01 13 01 0f fc 0d 15 15 13 01 13 01 0f 43 0d fe 38 55 1b 55 fe | ........................C..8U.U. |
| 0440 | 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 fb aa ff aa ff 00 | ................................ |
| 0460 | 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 fb aa ff aa ff 00 | ................................ |
| 0480 | 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 fb aa ff aa ff 00 | ................................ |
| 04a0 | 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 fb aa ff aa ff 00 | ................................ |
| 04c0 | 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 fc c6 ff aa ff 1b | .......................U.U...... |
| 04e0 | ff fe 71 aa 1b aa 00 00 00 20 00 00 00 20 00 00 00 01 00 00 00 0b 42 61 63 6b 67 72 6f 75 6e 64 | ..q...................Background |
| 0500 | 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 00 | ................................ |
| 0520 | 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 00 | ................................ |
| 0540 | 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 00 | ................................ |
| 0560 | 00 00 00 00 00 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 05 00 00 00 | ................................ |
| 0580 | 00 00 00 00 00 00 00 05 8d 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 04 00 00 05 a1 00 00 00 | ................................ |
| 05a0 | 00 00 00 00 20 00 00 00 20 00 00 05 b1 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc 7f 04 00 | ................................ |
| 05c0 | ff | . |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: f58fee99ad8cc3b38d7c6b442c051afd4acc82c7 (plain)