| 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 1b 00 00 00 16 00 00 00 04 00 00 00 01 00 00 00 00 00 00 00 00 | ................................ |
| 0060 | 00 00 00 78 00 00 01 c2 00 00 04 df 00 00 07 34 00 00 00 00 00 00 00 00 00 00 00 13 00 00 00 07 | ...x...........4................ |
| 0080 | 00 00 00 01 00 00 00 0b 54 65 78 74 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 | ........Text.Layer.............. |
| 00a0 | 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 | ................................ |
| 00c0 | 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 00 00 0d 00 | ................................ |
| 00e0 | 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 06 00 00 00 18 00 00 00 07 00 00 00 04 00 | ................................ |
| 0100 | 00 00 00 00 00 00 14 00 00 00 04 00 00 00 19 00 00 00 00 00 00 00 00 00 00 01 1f 00 00 00 00 00 | ................................ |
| 0120 | 00 00 13 00 00 00 07 00 00 00 04 00 00 01 33 00 00 00 00 00 00 00 13 00 00 00 07 00 00 01 43 00 | ..............3...............C. |
| 0140 | 00 00 00 7f 00 85 00 7f 00 85 00 7f 00 85 00 f8 55 aa aa c6 00 1c 55 00 0a 00 01 aa 02 00 a6 c6 | ................U.....U......... |
| 0160 | e2 71 00 71 aa 8d 00 38 aa 55 aa 71 00 1c e2 e2 1c 00 55 aa 00 71 aa 00 aa 71 00 aa 8d 1c e2 38 | .q.q...8.U.q......U..q...q.....8 |
| 0180 | 00 00 71 e2 00 55 aa 00 aa 55 00 55 aa 00 aa 55 00 aa 55 71 00 1c ff 00 55 aa 00 71 aa 00 aa 8d | ..q..U...U.U...U..Uq....U..q.... |
| 01a0 | 00 aa 71 1c e2 38 55 aa aa 38 00 00 8d 71 00 71 aa 8d 00 00 aa 8d aa 55 00 0c 00 fc 1c c6 8d 00 | ..q..8U..8...q.q.......U........ |
| 01c0 | 01 00 00 00 00 1e 00 00 00 17 00 00 00 01 00 00 00 0f 50 61 73 74 65 64 20 4c 61 79 65 72 23 32 | ..................Pasted.Layer#2 |
| 01e0 | 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 | ................................ |
| 0200 | 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 | ................................ |
| 0220 | 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 | ................................ |
| 0240 | 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 00 00 00 03 00 00 00 | ................................ |
| 0260 | 00 00 00 00 00 00 00 02 6d 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 04 00 00 02 81 00 00 00 | ........m....................... |
| 0280 | 00 00 00 00 1e 00 00 00 17 00 00 02 91 00 00 00 00 5b 87 19 00 03 87 19 00 03 87 19 00 03 87 19 | .................[.............. |
| 02a0 | 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 87 fd 8a 8b 00 18 00 | ................................ |
| 02c0 | 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 87 fe 89 00 18 00 02 | ................................ |
| 02e0 | 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 88 89 89 88 01 88 02 | ................................ |
| 0300 | 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 fd 0e 0d 00 18 00 01 | .....E.?........................ |
| 0320 | 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 fd 14 1c 00 18 00 01 | ................................ |
| 0340 | 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 fd 12 1b 00 18 00 01 | ................................ |
| 0360 | 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 01 0e 19 00 03 0d 19 | ................................ |
| 0380 | 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 01 0f 43 0d 3f 0d 06 | ...........................C.?.. |
| 03a0 | 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 0f 00 18 00 01 0d fd | ................................ |
| 03c0 | 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 1c 00 18 00 01 0d fd | ................................ |
| 03e0 | 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 14 00 18 00 01 0d fd | ................................ |
| 0400 | 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 19 00 04 0d 02 0f fc | ................................ |
| 0420 | 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 aa ff 1b ff fd aa ff | .................C..8U.U........ |
| 0440 | 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 18 00 fb aa ff aa ff | ................................ |
| 0460 | 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 18 00 fb aa ff aa ff | ................................ |
| 0480 | 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 18 00 fb aa ff aa ff | ................................ |
| 04a0 | 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 18 00 fb aa ff aa ff | ................................ |
| 04c0 | 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 ff fe 71 aa 1b aa 00 | ................U.U........q.... |
| 04e0 | 00 00 15 00 00 00 16 00 00 00 01 00 00 00 0d 50 61 73 74 65 64 20 4c 61 79 65 72 00 00 00 00 02 | ...............Pasted.Layer..... |
| 0500 | 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 09 | ................................ |
| 0520 | 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 00 | ................................ |
| 0540 | 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 08 | ................................ |
| 0560 | 00 00 00 06 00 00 00 01 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 1a | ................................ |
| 0580 | 00 00 00 00 00 00 00 00 00 00 05 90 00 00 00 00 00 00 00 15 00 00 00 16 00 00 00 04 00 00 05 a4 | ................................ |
| 05a0 | 00 00 00 00 00 00 00 15 00 00 00 16 00 00 05 b4 00 00 00 00 05 c0 08 ff 09 c0 0b ff 07 c0 0e ff | ................................ |
| 05c0 | 04 c0 10 ff 02 c0 12 ff fe c0 ff 7f 00 fa ff 01 c0 11 ff 03 c0 0f ff 05 c0 0c ff 09 c0 09 ff 0e | ................................ |
| 05e0 | c0 fd 00 7b c0 08 c0 05 c0 07 7b fe 00 c0 08 c0 01 ff 07 00 fd 39 31 c0 06 c0 fe ff 00 0b 00 fe | ...{......{..........91......... |
| 0600 | ff c0 03 c0 fe ff 00 0c 00 fd 31 ff c0 01 c0 fe ff 00 0f 00 fc ff c0 ff 00 11 00 fe ff 00 12 00 | ..........1..................... |
| 0620 | fe ff 00 15 00 10 ff 02 00 12 ff 01 00 12 ff 02 00 10 ff 16 00 fe 7b 00 11 00 fd ff 7b 00 11 00 | ......................{.....{... |
| 0640 | 01 ff 11 00 03 ff 0f 00 01 ff 01 c0 01 ff 0d 00 01 ff 03 c0 fd ff 31 00 0a 00 01 ff 05 c0 01 ff | ......................1......... |
| 0660 | 09 00 fe ff c0 08 c0 fe 31 7b 06 7b fe ff c0 0d c0 01 00 09 c0 05 c0 07 7b fe 00 c0 08 c0 01 ff | ........1{.{............{....... |
| 0680 | 07 00 fd 39 31 c0 06 c0 fe ff 00 0b 00 fe ff c0 03 c0 fe ff 00 0c 00 fd 31 ff c0 01 c0 fe ff 00 | ...91...................1....... |
| 06a0 | 0f 00 fc ff c0 ff 00 11 00 fe ff 00 12 00 fe ff 00 15 00 10 ff 02 00 12 ff 01 00 12 ff 02 00 10 | ................................ |
| 06c0 | ff 16 00 fe 7b 00 11 00 fd ff 7b 00 11 00 01 ff 11 00 03 ff 0f 00 01 ff 01 c0 01 ff 0d 00 01 ff | ....{.....{..................... |
| 06e0 | 03 c0 fd ff 31 00 0a 00 01 ff 05 c0 01 ff 09 00 fe ff c0 08 c0 fe 31 7b 06 7b fe ff c0 0d c0 01 | ....1.................1{.{...... |
| 0700 | 00 09 c0 05 00 08 ff 09 00 0b ff 07 00 0e ff 04 00 10 ff 02 00 12 ff fe 00 ff 7f 00 fa ff 01 00 | ................................ |
| 0720 | 11 ff 03 00 0f ff 05 00 0c ff 09 00 09 ff 0e 00 01 ff 09 00 00 00 00 20 00 00 00 20 00 00 00 01 | ................................ |
| 0740 | 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 00 00 08 00 | ....Background.................. |
| 0760 | 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 00 00 00 | ................................ |
| 0780 | 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 00 04 00 | ................................ |
| 07a0 | 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 00 00 00 00 | ................................ |
| 07c0 | 00 00 14 00 00 00 04 00 00 00 05 00 00 00 00 00 00 00 00 00 00 07 db 00 00 00 00 00 00 00 20 00 | ................................ |
| 07e0 | 00 00 20 00 00 00 04 00 00 07 ef 00 00 00 00 00 00 00 20 00 00 00 20 00 00 07 ff 00 00 00 00 7f | ................................ |
| 0800 | 04 00 bc 7f 04 00 bc 7f 04 00 bc 7f 04 00 ff | ............... |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: eeb7a61e55826d25255fe6c9079235972385dbd6 (plain)