| 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 66 00 00 03 2d 00 00 00 00 00 00 00 00 00 | ..............?...f...-......... |
| 0040 | 00 00 0e 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 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 09 00 00 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 e2 00 00 | ................................ |
| 00e0 | 00 00 00 00 00 0e 00 00 00 06 00 00 00 04 00 00 00 f6 00 00 00 00 00 00 00 0e 00 00 00 06 00 00 | ................................ |
| 0100 | 01 06 00 00 00 00 53 00 53 00 53 00 f9 aa ff 71 00 e2 c6 00 06 00 fd 55 e2 00 fb 00 aa 1c 38 aa | ......S.S.S....q.......U......8. |
| 0120 | f9 aa 1c 00 71 aa 38 aa fe aa 00 e3 00 ff 00 ff 71 38 00 aa 55 aa 8d ff 55 00 1c aa 00 55 ff 55 | ....q.8.........q8..U...U....U.U |
| 0140 | 38 ff aa 8d 1c e2 71 00 71 fe 71 38 fa 38 71 ff 55 ff 1c fc 1c 55 38 aa fb aa 71 00 38 aa f9 aa | 8.....q.q.q8.8q.U....U8...q.8... |
| 0160 | 38 00 8d aa 71 1c 00 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 | 8...q.................Text.Layer |
| 0180 | 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 | ................................ |
| 01a0 | 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 00 | ................................ |
| 01c0 | 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 | ................................ |
| 01e0 | 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 01 00 00 00 | ................................ |
| 0200 | 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 15 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 | ................................ |
| 0220 | 25 00 00 00 00 7f 01 fa 87 7f 01 fa 0d 7f 01 fa 0d 14 aa fe 71 ff 13 ff fc aa ff c6 55 10 55 fb | %...................q.......U.U. |
| 0240 | ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb | ................................ |
| 0260 | ff aa ff aa 00 fe 00 ff 0b ff fe 55 00 fa 00 ff aa ff aa 00 fe 00 ff 0b ff fe 55 00 fa 00 ff aa | ...........U..............U..... |
| 0280 | ff aa 00 10 00 fb ff aa ff aa 00 fd 00 55 ff 09 ff fd e2 1c 00 fa 00 ff aa ff aa 00 01 00 fe 55 | .............U.................U |
| 02a0 | ff 07 ff fd e2 1c 00 01 00 fb ff aa ff aa 00 02 00 fe 55 ff 05 ff fd e2 1c 00 02 00 fb ff aa ff | ..................U............. |
| 02c0 | aa 00 03 00 fe 55 ff 03 ff fd e2 1c 00 03 00 fb ff aa ff aa 00 04 00 fe 55 ff 01 ff fd e2 1c 00 | .....U..................U....... |
| 02e0 | 04 00 fb ff aa ff aa 00 05 00 fb 55 ff e2 1c 00 05 00 fb ff aa ff aa 00 06 00 fd 55 1c 00 06 00 | ...........U...............U.... |
| 0300 | fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff e2 aa 10 aa | ................................ |
| 0320 | fd ff aa ff 13 ff fe aa 55 13 55 00 38 00 00 00 20 00 00 00 20 00 00 00 00 00 00 00 0b 42 61 63 | ........U.U.8................Bac |
| 0340 | 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 00 01 | kground......................... |
| 0360 | 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 00 04 | ................................ |
| 0380 | 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 | ................................ |
| 03a0 | 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 00 00 | ................................ |
| 03c0 | 00 00 03 c8 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 03 dc 00 00 00 00 00 00 00 20 | ................................ |
| 03e0 | 00 00 00 20 00 00 03 ec 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc | ........................ |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 481f114bea1a1ee74c9b432c4e4a481a415df5e4 (plain)