| 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 43 00 00 01 d0 00 00 05 38 00 00 00 00 00 00 06 03 00 | ..............C.......8......... |
| 0040 | 00 00 00 00 00 00 1f 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 | ...................Text.Layer... |
| 0060 | 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 04 00 00 | ................................ |
| 0080 | 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 00 0c 00 00 | ................................ |
| 00a0 | 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 00 00 00 | ................................ |
| 00c0 | 00 19 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 de 00 00 00 00 00 00 | ................................ |
| 00e0 | 00 1f 00 00 00 06 00 00 00 04 00 00 00 f2 00 00 00 00 00 00 00 1f 00 00 00 06 00 00 01 02 00 00 | ................................ |
| 0100 | 00 00 7f 00 ba 00 7f 00 ba 00 7f 00 ba 00 f9 00 71 ff aa e2 55 00 04 00 fd 55 1c 00 0d 00 f5 55 | ................q...U....U.....U |
| 0120 | 1c 00 55 e2 00 aa 8d 00 1c 8d f6 8d 1c 71 ff aa 38 aa 38 8d 1c fd 1c 8d aa fe aa 00 fc 00 71 aa | ..U..........q..8.8...........q. |
| 0140 | 71 f7 71 ff aa 00 8d c6 71 e2 1c f8 1c c6 1c ff 38 55 e2 00 f5 00 ff 8d 55 1c e2 1c 55 c6 00 aa | q.q.....q.......8U......U...U... |
| 0160 | fa aa 00 71 55 e2 00 e6 00 aa 8d e2 55 00 8d e2 aa 71 00 71 aa 00 55 ff 38 00 71 aa 00 e2 8d 38 | ...qU.......U....q.q..U.8.q....8 |
| 0180 | ff 00 01 00 fd 71 aa 00 f6 00 ff 38 71 e2 1c aa c6 00 38 fe 38 aa fb aa 00 71 aa 00 fa 00 aa c6 | .....q.....8q.....8.8....q...... |
| 01a0 | 8d c6 55 fd 55 ff 1c fd 1c 00 aa f6 aa 00 71 aa 71 00 aa 71 1c aa f9 aa 55 00 55 aa 38 71 fe 71 | ..U.U.........q.q..q....U.U.8q.q |
| 01c0 | 00 f2 00 55 aa 1c aa 71 00 8d aa 71 00 55 aa 38 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0b | ...U...q...q.U.8................ |
| 01e0 | 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 00 00 ff 00 | Text.Layer...................... |
| 0200 | 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 04 00 | ................................ |
| 0220 | 00 00 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 | ................................ |
| 0240 | 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 07 00 00 00 04 00 | ................................ |
| 0260 | 00 00 00 00 00 00 00 00 00 00 00 00 00 02 73 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 | ..............s................. |
| 0280 | 00 02 87 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 97 00 00 00 00 43 87 11 00 03 87 11 00 03 | .......................C........ |
| 02a0 | 87 01 00 07 87 fe 86 87 03 87 01 00 03 87 01 00 0d 87 01 00 03 87 06 00 03 87 06 00 03 87 06 00 | ................................ |
| 02c0 | 04 87 05 00 03 87 06 00 04 87 05 00 03 87 05 00 05 87 fe 86 00 03 00 03 87 05 00 06 87 04 00 03 | ................................ |
| 02e0 | 87 04 00 08 87 03 00 03 87 04 00 07 87 fe 86 00 02 00 03 87 03 00 09 87 03 00 03 87 03 00 09 87 | ................................ |
| 0300 | fe 86 00 01 00 03 87 02 00 0b 87 02 00 03 87 01 00 0c 87 fe 86 00 fe 00 87 02 87 11 00 03 87 11 | ................................ |
| 0320 | 00 43 87 43 0d 11 00 03 0d 11 00 03 0d 01 00 07 0d fe 0c 0d 03 0d 01 00 03 0d 01 00 0d 0d 01 00 | .C.C............................ |
| 0340 | 03 0d 06 00 03 0d 06 00 03 0d 06 00 04 0d 05 00 03 0d 06 00 04 0d 05 00 03 0d 05 00 05 0d fe 0c | ................................ |
| 0360 | 00 03 00 03 0d 05 00 06 0d 04 00 03 0d 04 00 08 0d 03 00 03 0d 04 00 07 0d fe 0c 00 02 00 03 0d | ................................ |
| 0380 | 03 00 09 0d 03 00 03 0d 03 00 09 0d fe 0c 00 01 00 03 0d 02 00 0b 0d 02 00 03 0d 01 00 0c 0d fe | ................................ |
| 03a0 | 0c 00 fe 00 0d 02 0d 11 00 03 0d 11 00 43 0d 43 0d 11 00 03 0d 11 00 03 0d 01 00 07 0d fe 0c 0d | .............C.C................ |
| 03c0 | 03 0d 01 00 03 0d 01 00 0d 0d 01 00 03 0d 06 00 03 0d 06 00 03 0d 06 00 04 0d 05 00 03 0d 06 00 | ................................ |
| 03e0 | 04 0d 05 00 03 0d 05 00 05 0d fe 0c 00 03 00 03 0d 05 00 06 0d 04 00 03 0d 04 00 08 0d 03 00 03 | ................................ |
| 0400 | 0d 04 00 07 0d fe 0c 00 02 00 03 0d 03 00 09 0d 03 00 03 0d 03 00 09 0d fe 0c 00 01 00 03 0d 02 | ................................ |
| 0420 | 00 0b 0d 02 00 03 0d 01 00 0c 0d fe 0c 00 fe 00 0d 02 0d 11 00 03 0d 11 00 43 0d fe 38 55 13 55 | .........................C..8U.U |
| 0440 | 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 aa ff | ................................ |
| 0460 | 00 fd 00 55 ff 0b ff 01 00 fb aa ff aa ff 00 fd 00 55 ff 0b ff 01 00 fb aa ff aa ff 00 06 00 02 | ...U.............U.............. |
| 0480 | ff 06 00 fb aa ff aa ff 00 05 00 04 ff 05 00 fb aa ff aa ff 00 05 00 04 ff 05 00 fb aa ff aa ff | ................................ |
| 04a0 | 00 04 00 05 ff fe 90 00 03 00 fb aa ff aa ff 00 04 00 06 ff 04 00 fb aa ff aa ff 00 03 00 07 ff | ................................ |
| 04c0 | fe 39 00 02 00 fb aa ff aa ff 00 03 00 07 ff fe cf 00 02 00 fb aa ff aa ff 00 02 00 fe 82 ff 07 | .9.............................. |
| 04e0 | ff 03 00 fb aa ff aa ff 00 02 00 09 ff fe 82 00 01 00 fb aa ff aa ff 00 01 00 fe 31 ff 08 ff fe | ...........................1.... |
| 0500 | f2 00 01 00 fb aa ff aa ff 00 fd 00 31 ff 0a ff fe 4b 00 fa 00 aa ff aa ff 00 10 00 fb aa ff aa | ............1....K.............. |
| 0520 | ff 00 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 | .........U.U........q........... |
| 0540 | 00 00 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 | ........Background.............. |
| 0560 | 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 04 00 | ................................ |
| 0580 | 00 00 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 | ................................ |
| 05a0 | 00 00 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 | ................................ |
| 05c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 05 d3 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 | ................................ |
| 05e0 | 00 05 e7 00 00 00 00 00 00 00 20 00 00 00 20 00 00 05 f7 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f | ................................ |
| 0600 | 04 00 bc 00 00 00 20 00 00 00 20 00 00 00 0f 53 65 6c 65 63 74 69 6f 6e 20 4d 61 73 6b 00 00 00 | ...............Selection.Mask... |
| 0620 | 00 04 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 7f 00 00 00 08 00 00 00 04 00 00 00 01 00 00 | ................................ |
| 0640 | 00 0e 00 00 00 04 00 00 00 01 00 00 00 10 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 06 | ................................ |
| 0660 | 61 00 00 00 20 00 00 00 20 00 00 00 01 00 00 06 75 00 00 00 00 00 00 00 20 00 00 00 20 00 00 06 | a...............u............... |
| 0680 | 85 00 00 00 00 7f 04 00 ff | ......... |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: e0a81c8cc694987b202d4003a4be00597a4368be (plain)