| 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 62 00 00 04 cf 00 00 00 00 00 00 05 9a 00 | ..............C...b............. |
| 0040 | 00 00 00 00 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 | ...................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 09 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 0e 00 00 00 06 00 00 00 04 00 00 00 f2 00 00 00 00 00 00 00 0e 00 00 00 06 00 00 01 02 00 00 | ................................ |
| 0100 | 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 f9 aa 1c 00 | ..S.S.S....q.......U......8..... |
| 0120 | 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 38 ff aa 8d | q.8.........q8..U...U....U.U8... |
| 0140 | 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 38 00 8d aa | ..q.q.q8.8q.U....U8...q.8...8... |
| 0160 | 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 00 00 00 00 | q.................Text.Layer.... |
| 0180 | 02 00 00 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 | ................................ |
| 01a0 | 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 00 00 00 | ................................ |
| 01c0 | 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 00 00 00 | ................................ |
| 01e0 | 08 00 00 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 | ................................ |
| 0200 | 05 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 19 00 00 00 00 00 00 00 16 00 00 00 | ................................ |
| 0220 | 17 00 00 02 29 00 00 00 00 43 87 11 00 03 87 11 00 03 87 01 00 0c 87 fe 86 00 fe 00 87 02 87 02 | ....)....C...................... |
| 0240 | 00 0b 87 02 00 03 87 01 00 0b 87 fd 86 87 00 fe 00 87 02 87 02 00 0b 87 02 00 03 87 03 00 08 87 | ................................ |
| 0260 | fe 86 00 02 00 03 87 04 00 08 87 03 00 03 87 05 00 06 87 04 00 03 87 05 00 05 87 fe 86 00 03 00 | ................................ |
| 0280 | 03 87 06 00 04 87 05 00 03 87 01 00 0d 87 01 00 03 87 01 00 0d 87 01 00 03 87 01 00 0d 87 01 00 | ................................ |
| 02a0 | 03 87 01 00 07 87 fe 86 87 03 87 01 00 03 87 11 00 03 87 11 00 43 87 43 0d 11 00 03 0d 11 00 03 | .....................C.C........ |
| 02c0 | 0d 01 00 0c 0d fe 0c 00 fe 00 0d 02 0d 02 00 0b 0d 02 00 03 0d 01 00 0b 0d fd 0c 0d 00 fe 00 0d | ................................ |
| 02e0 | 02 0d 02 00 0b 0d 02 00 03 0d 03 00 08 0d fe 0c 00 02 00 03 0d 04 00 08 0d 03 00 03 0d 05 00 06 | ................................ |
| 0300 | 0d 04 00 03 0d 05 00 05 0d fe 0c 00 03 00 03 0d 06 00 04 0d 05 00 03 0d 01 00 0d 0d 01 00 03 0d | ................................ |
| 0320 | 01 00 0d 0d 01 00 03 0d 01 00 0d 0d 01 00 03 0d 01 00 07 0d fe 0c 0d 03 0d 01 00 03 0d 11 00 03 | ................................ |
| 0340 | 0d 11 00 43 0d 43 0d 11 00 03 0d 11 00 03 0d 01 00 0c 0d fe 0c 00 fe 00 0d 02 0d 02 00 0b 0d 02 | ...C.C.......................... |
| 0360 | 00 03 0d 01 00 0b 0d fd 0c 0d 00 fe 00 0d 02 0d 02 00 0b 0d 02 00 03 0d 03 00 08 0d fe 0c 00 02 | ................................ |
| 0380 | 00 03 0d 04 00 08 0d 03 00 03 0d 05 00 06 0d 04 00 03 0d 05 00 05 0d fe 0c 00 03 00 03 0d 06 00 | ................................ |
| 03a0 | 04 0d 05 00 03 0d 01 00 0d 0d 01 00 03 0d 01 00 0d 0d 01 00 03 0d 01 00 0d 0d 01 00 03 0d 01 00 | ................................ |
| 03c0 | 07 0d fe 0c 0d 03 0d 01 00 03 0d 11 00 03 0d 11 00 43 0d 14 aa fe 71 ff 13 ff fc aa ff c6 55 10 | .................C....q.......U. |
| 03e0 | 55 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 fd 00 31 ff 0a ff fe 4b 00 | U........................1....K. |
| 0400 | fa 00 ff aa ff aa 00 01 00 fe 31 ff 08 ff fe f2 00 01 00 fb ff aa ff aa 00 02 00 09 ff fe 82 00 | ..........1..................... |
| 0420 | 01 00 fb ff aa ff aa 00 02 00 fe 82 ff 07 ff 03 00 fb ff aa ff aa 00 03 00 07 ff fe cf 00 02 00 | ................................ |
| 0440 | fb ff aa ff aa 00 03 00 07 ff fe 39 00 02 00 fb ff aa ff aa 00 04 00 06 ff 04 00 fb ff aa ff aa | ...........9.................... |
| 0460 | 00 04 00 05 ff fe 90 00 03 00 fb ff aa ff aa 00 05 00 04 ff 05 00 fb ff aa ff aa 00 05 00 04 ff | ................................ |
| 0480 | 05 00 fb ff aa ff aa 00 06 00 02 ff 06 00 fb ff aa ff aa 00 fd 00 55 ff 0b ff 01 00 fb ff aa ff | ......................U......... |
| 04a0 | aa 00 fd 00 55 ff 0b ff 01 00 fb ff aa ff aa 00 10 00 fb ff aa ff aa 00 10 00 fb ff aa ff e2 aa | ....U........................... |
| 04c0 | 10 aa 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 | ..........U.U.8................B |
| 04e0 | 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....................... |
| 0500 | 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 | ................................ |
| 0520 | 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 | ................................ |
| 0540 | 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 | ................................ |
| 0560 | 00 00 00 00 05 6a 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 05 7e 00 00 00 00 00 00 | .....j...................~...... |
| 0580 | 00 20 00 00 00 20 00 00 05 8e 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc 00 00 00 20 00 00 | ................................ |
| 05a0 | 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............ |
| 05c0 | 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 | ................................ |
| 05e0 | 01 00 00 00 10 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 05 f8 00 00 00 20 00 00 00 20 | ................................ |
| 0600 | 00 00 00 01 00 00 06 0c 00 00 00 00 00 00 00 20 00 00 00 20 00 00 06 1c 00 00 00 00 7f 00 c9 00 | ................................ |
| 0620 | fe ff 00 7f 03 35 00 | .....5. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: c4d68aac0e20a67a6d02ac11fad426a2cc95e43a (plain)