| 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 cf 00 00 06 87 00 00 00 00 00 00 00 00 00 | ..............?................. |
| 0040 | 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 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 00 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 1f 00 00 00 06 00 00 00 04 00 00 00 f6 00 00 00 00 00 00 00 1f 00 00 00 06 00 00 | ................................ |
| 0100 | 01 06 00 00 00 00 7f 00 ba 00 7f 00 ba 00 7f 00 ba 00 fc 00 01 02 01 01 01 fe 00 ff fe ff 00 01 | ................................ |
| 0120 | 00 01 ff 0b 00 fe ff 00 01 00 fc 01 00 01 00 fe 00 02 fb 02 ff 00 ff 00 01 00 fe ff 00 01 00 02 | ................................ |
| 0140 | 01 fd 02 00 01 fe 01 00 f9 00 01 ff 01 02 01 00 05 00 fc ff 00 ff 01 fd 01 00 ff 02 ff fe 02 ff | ................................ |
| 0160 | 01 ff fe 01 ff 05 ff 01 01 03 00 01 01 03 ff fe 01 00 fe 00 ff fd ff 01 ff 01 ff fb 00 ff 00 02 | ................................ |
| 0180 | ff fd ff 02 ff fc ff 00 01 00 05 00 fe ff 01 fb 01 ff 01 00 ff fa ff 00 ff 00 ff 00 fc 00 ff 00 | ................................ |
| 01a0 | ff fb ff 01 02 ff 00 01 00 fc 02 00 01 00 01 00 01 ff fd 01 02 ff fd ff 00 ff 01 ff 01 01 02 ff | ................................ |
| 01c0 | 01 00 fb ff 01 00 01 ff fe ff 00 01 00 00 01 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0b 54 | ...............................T |
| 01e0 | 65 78 74 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 00 00 08 00 00 00 04 00 00 | ext.Layer....................... |
| 0200 | 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 | ................................ |
| 0220 | 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 | ................................ |
| 0240 | 00 0f 00 00 00 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 | ................................ |
| 0260 | 00 00 00 00 02 6a 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 7e 00 00 00 00 00 00 | .....j...................~...... |
| 0280 | 00 16 00 00 00 17 00 00 02 8e 00 00 00 00 43 87 11 00 03 87 01 00 01 87 07 00 03 86 01 00 03 87 | ..............C................. |
| 02a0 | 01 00 07 87 05 86 01 00 03 87 01 00 07 87 04 86 fe 87 00 fe 00 87 02 87 01 00 01 87 02 00 01 87 | ................................ |
| 02c0 | 04 86 03 00 03 87 01 00 01 87 02 00 02 87 02 86 04 00 03 87 01 00 fd 86 87 00 01 00 01 87 02 86 | ................................ |
| 02e0 | 05 00 03 87 01 00 05 87 02 86 04 87 01 00 03 87 01 00 04 87 01 86 06 87 01 00 03 87 01 00 01 87 | ................................ |
| 0300 | fd 00 87 86 01 86 04 87 03 00 03 87 01 00 01 87 03 86 04 87 fe 86 00 02 00 03 87 01 00 fe 87 86 | ................................ |
| 0320 | 02 86 06 87 03 00 03 87 01 00 fe 87 86 01 86 07 87 fe 86 00 01 00 03 87 01 00 01 87 fe 86 87 08 | ................................ |
| 0340 | 87 02 00 03 87 fe 00 86 01 86 0a 87 fe 86 00 fe 00 87 02 87 fe 00 86 fe 86 00 0d 00 03 87 11 00 | ................................ |
| 0360 | 43 87 43 0d 11 00 03 0d 01 00 01 0d 07 00 03 0c 01 00 03 0d 01 00 07 0d 05 0c 01 00 03 0d 01 00 | C.C............................. |
| 0380 | 07 0d 04 0c fe 0d 00 fe 00 0d 02 0d 01 00 01 0d 02 00 01 0d 04 0c 03 00 03 0d 01 00 01 0d 02 00 | ................................ |
| 03a0 | 02 0d 02 0c 04 00 03 0d 01 00 fd 0c 0d 00 01 00 01 0d 02 0c 05 00 03 0d 01 00 05 0d 02 0c 04 0d | ................................ |
| 03c0 | 01 00 03 0d 01 00 04 0d 01 0c 06 0d 01 00 03 0d 01 00 01 0d fd 00 0d 0c 01 0c 04 0d 03 00 03 0d | ................................ |
| 03e0 | 01 00 01 0d 03 0c 04 0d fe 0c 00 02 00 03 0d 01 00 fe 0d 0c 02 0c 06 0d 03 00 03 0d 01 00 fe 0d | ................................ |
| 0400 | 0c 01 0c 07 0d fe 0c 00 01 00 03 0d 01 00 01 0d fe 0c 0d 08 0d 02 00 03 0d fe 00 0c 01 0c 0a 0d | ................................ |
| 0420 | fe 0c 00 fe 00 0d 02 0d fe 00 0c fe 0c 00 0d 00 03 0d 11 00 43 0d 43 0d 11 00 03 0d 01 00 01 0d | ....................C.C......... |
| 0440 | 07 00 03 0c 01 00 03 0d 01 00 07 0d 05 0c 01 00 03 0d 01 00 07 0d 04 0c fe 0d 00 fe 00 0d 02 0d | ................................ |
| 0460 | 01 00 01 0d 02 00 01 0d 04 0c 03 00 03 0d 01 00 01 0d 02 00 02 0d 02 0c 04 00 03 0d 01 00 fd 0c | ................................ |
| 0480 | 0d 00 01 00 01 0d 02 0c 05 00 03 0d 01 00 05 0d 02 0c 04 0d 01 00 03 0d 01 00 04 0d 01 0c 06 0d | ................................ |
| 04a0 | 01 00 03 0d 01 00 01 0d fd 00 0d 0c 01 0c 04 0d 03 00 03 0d 01 00 01 0d 03 0c 04 0d fe 0c 00 02 | ................................ |
| 04c0 | 00 03 0d 01 00 fe 0d 0c 02 0c 06 0d 03 00 03 0d 01 00 fe 0d 0c 01 0c 07 0d fe 0c 00 01 00 03 0d | ................................ |
| 04e0 | 01 00 01 0d fe 0c 0d 08 0d 02 00 03 0d fe 00 0c 01 0c 0a 0d fe 0c 00 fe 00 0d 02 0d fe 00 0c fe | ................................ |
| 0500 | 0c 00 0d 00 03 0d 11 00 43 0d fe 38 55 13 55 fe aa ff 13 ff fd aa ff aa 10 aa fb e2 ff aa ff 00 | ........C..8U.U................. |
| 0520 | 10 00 fb aa ff aa ff 00 fe 00 ff fe ff 00 06 00 01 03 fd 40 ff 00 fa 00 aa ff aa ff 00 fe 00 ff | ...................@............ |
| 0540 | fe ff 00 05 00 fc 05 02 70 ff fe ff 00 fa 00 aa ff aa ff 00 fe 00 ff fe ff 00 04 00 fc 03 02 80 | ........p....................... |
| 0560 | ff fe ff 00 01 00 fb aa ff aa ff 00 fe 00 ff fe ff 00 02 00 fb 02 09 03 80 ff fe ff 00 02 00 fb | ................................ |
| 0580 | aa ff aa ff 00 fe 00 ff fe ff 00 01 00 fb 02 01 00 70 ff fe ff 00 03 00 fb aa ff aa ff 00 fe 00 | .................p.............. |
| 05a0 | ff fe ff 00 01 00 fc 01 00 40 ff fe ff 00 04 00 fb aa ff aa ff 00 fe 00 ff 0c ff 01 00 fb aa ff | .........@...................... |
| 05c0 | aa ff 00 fe 00 ff 0c ff 01 00 fb aa ff aa ff 00 fe 00 ff fb ff 00 02 40 ff f9 ff 00 01 00 01 02 | .......................@........ |
| 05e0 | 00 02 00 fb aa ff aa ff 00 fe 00 ff fc ff 04 40 ff fc ff 00 03 01 02 01 03 00 fb aa ff aa ff 00 | ...............@................ |
| 0600 | fe 00 ff fd ff 70 ff fe ff 00 fe 00 01 fb 01 02 00 03 00 02 00 fb aa ff aa ff 00 fe 00 ff 02 ff | .....p.......................... |
| 0620 | 02 01 fc 00 01 03 01 01 01 02 00 fb aa ff a9 ff 00 fe 00 ff 01 ff fe 06 01 05 01 fe 06 00 02 00 | ................................ |
| 0640 | f9 aa ff a6 fe 00 70 ff fb ff 01 00 01 00 fe 00 01 02 01 fe 02 01 fe 01 00 f7 00 aa ff a3 fd 00 | ......p......................... |
| 0660 | d0 ff 00 0d 00 fb aa ff 9e f7 00 10 00 fa aa ff 98 f2 54 55 0f 55 fa c6 ff 92 ec f8 ff 11 ff fb | ..................TU.U.......... |
| 0680 | 5e 9a a4 a8 aa 10 aa 00 00 00 20 00 00 00 20 00 00 00 00 00 00 00 0b 42 61 63 6b 67 72 6f 75 6e | ^......................Backgroun |
| 06a0 | 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 00 00 00 09 00 00 | d............................... |
| 06c0 | 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 00 00 | ................................ |
| 06e0 | 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 | ................................ |
| 0700 | 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 00 00 07 22 00 00 | .............................".. |
| 0720 | 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 07 36 00 00 00 00 00 00 00 20 00 00 00 20 00 00 | .................6.............. |
| 0740 | 07 46 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc | .F................ |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 9400201ed08a5db7fa6f3fb1555eab10ea6b159f (plain)