| 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 cf 00 00 03 cf 00 00 00 00 00 00 04 9a 00 | ..............C................. |
| 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 01 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 08 00 fd 55 1c 00 08 00 fd 1c | ................q...U....U...... |
| 0120 | 55 00 f7 00 55 e2 00 aa 8d 00 1c 8d fe 8d 1c f5 1c 8d aa 55 71 ff aa 00 1c 8d aa fb aa 00 aa 71 | U...U..............Uq..........q |
| 0140 | 55 f6 55 c6 e2 71 00 8d c6 71 e2 1c f8 1c c6 1c ff 38 aa c6 1c fc 1c 55 e2 00 f9 00 e2 1c 55 c6 | U.U..q...q.......8.....U......U. |
| 0160 | 00 aa fa aa 71 38 aa 8d 00 e5 00 aa 8d e2 55 00 8d e2 aa 71 00 1c e2 aa 00 71 aa 00 71 aa 00 e2 | ....q8........U....q.....q..q... |
| 0180 | 8d 00 ff 8d 00 fc 00 c6 55 00 f6 00 ff 38 71 e2 1c aa c6 00 38 fa 38 71 1c ff 55 aa f6 aa 00 aa | ........U....8q.....8.8q..U..... |
| 01a0 | c6 8d c6 55 1c ff 00 01 00 f5 ff 55 00 71 aa 71 00 aa 71 1c aa fc aa 55 00 aa f2 aa 71 00 55 aa | ...U.......U.q.q..q....U....q.U. |
| 01c0 | 38 55 aa 1c aa 71 38 aa 00 01 00 fd 8d aa 00 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0b 54 | 8U...q8........................T |
| 01e0 | 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 00 | ext.Layer....................... |
| 0200 | 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 00 | ................................ |
| 0220 | 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 00 | ................................ |
| 0240 | 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 00 | ................................ |
| 0260 | 00 00 00 00 00 00 00 00 00 00 00 00 02 72 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 | .............r.................. |
| 0280 | 02 86 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 96 00 00 00 00 7f 01 fa 87 7f 01 fa 0d 7f 01 | ................................ |
| 02a0 | 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 00 fb aa ff aa ff 00 | ...8U.U......................... |
| 02c0 | 05 00 fe 7c ff 01 ff fe 7c 00 04 00 fb aa ff aa ff 00 03 00 fe 7c ff 05 ff 04 00 fb aa ff aa ff | ...|....|............|.......... |
| 02e0 | 00 02 00 fe 7c ff 07 ff 03 00 fb aa ff aa ff 00 02 00 02 ff fe 7c 00 02 00 fd 7c ff 00 02 00 fb | ....|................|....|..... |
| 0300 | aa ff aa ff 00 01 00 02 ff fe 7c 00 04 00 fe ff 00 02 00 fa aa ff aa ff 00 ff 05 ff 03 00 02 ff | ..........|..................... |
| 0320 | 02 00 f9 aa ff aa ff 00 5a ff 04 ff 02 00 04 ff 01 00 fb aa ff aa ff 00 fe 00 ff 03 ff 02 00 05 | ........Z....................... |
| 0340 | ff f9 5a 00 aa ff aa ff 00 01 00 02 ff 03 00 06 ff fa 00 aa ff aa ff 00 02 00 fe ff 00 04 00 fe | ..Z............................. |
| 0360 | 7c ff 01 ff 02 00 fb aa ff aa ff 00 02 00 fd ff 7c 00 02 00 fe 7c ff 01 ff 03 00 fb aa ff aa ff | |...............|....|.......... |
| 0380 | 00 02 00 08 ff fe 7c 00 02 00 fb aa ff aa ff 00 03 00 06 ff fe 7c 00 03 00 fb aa ff aa ff 00 04 | ......|..............|.......... |
| 03a0 | 00 fe 7c ff 01 ff fe 7c 00 05 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff | ..|....|........................ |
| 03c0 | 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 00 00 0b 42 | U.U........q...................B |
| 03e0 | 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 00 04 00 00 | ackground....................... |
| 0400 | 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 | ................................ |
| 0420 | 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 | ................................ |
| 0440 | 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 00 00 00 00 | ................................ |
| 0460 | 00 00 00 00 04 6a 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 04 7e 00 00 00 00 00 00 | .....j...................~...... |
| 0480 | 00 20 00 00 00 20 00 00 04 8e 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc 00 00 00 20 00 00 | ................................ |
| 04a0 | 00 20 00 00 00 0f 53 65 6c 65 63 74 69 6f 6e 20 4d 61 73 6b 00 00 00 00 04 00 00 00 00 00 00 00 | ......Selection.Mask............ |
| 04c0 | 06 00 00 00 04 00 00 00 7f 00 00 00 08 00 00 00 04 00 00 00 01 00 00 00 0e 00 00 00 04 00 00 00 | ................................ |
| 04e0 | 01 00 00 00 10 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 04 f8 00 00 00 20 00 00 00 20 | ................................ |
| 0500 | 00 00 00 01 00 00 05 0c 00 00 00 00 00 00 00 20 00 00 00 20 00 00 05 1c 00 00 00 00 7f 04 00 ff | ................................ |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 8b10079e1dc9363329abcf32e5e4260c51cd5cd1 (plain)