| ofs | hex dump | ascii |
|---|---|---|
| 0000 | 67 69 6d 70 20 78 63 66 20 66 69 6c 65 00 00 00 00 18 00 00 00 18 00 00 00 00 00 00 00 11 00 00 | gimp.xcf.file................... |
| 0020 | 00 01 01 00 00 00 13 00 00 00 08 42 90 00 00 42 90 00 00 00 00 00 14 00 00 00 04 00 00 00 04 00 | ...........B...B................ |
| 0040 | 00 00 16 00 00 00 04 00 00 00 01 00 00 00 15 00 00 01 24 00 00 00 10 67 69 6d 70 2d 69 6d 61 67 | ..................$....gimp-imag |
| 0060 | 65 2d 67 72 69 64 00 00 00 00 01 00 00 01 08 28 73 74 79 6c 65 20 69 6e 74 65 72 73 65 63 74 69 | e-grid.........(style.intersecti |
| 0080 | 6f 6e 73 29 0a 28 66 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f 72 2d 72 67 62 61 20 30 2e 30 30 30 30 | ons).(fgcolor.(color-rgba.0.0000 |
| 00a0 | 30 30 20 30 2e 30 30 30 30 30 30 20 30 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 29 29 0a | 00.0.000000.0.000000.1.000000)). |
| 00c0 | 28 62 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f 72 2d 72 67 62 61 20 31 2e 30 30 30 30 30 30 20 31 2e | (bgcolor.(color-rgba.1.000000.1. |
| 00e0 | 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 29 29 0a 28 78 73 70 61 | 000000.1.000000.1.000000)).(xspa |
| 0100 | 63 69 6e 67 20 31 30 2e 30 30 30 30 30 30 29 0a 28 79 73 70 61 63 69 6e 67 20 31 30 2e 30 30 30 | cing.10.000000).(yspacing.10.000 |
| 0120 | 30 30 30 29 0a 28 73 70 61 63 69 6e 67 2d 75 6e 69 74 20 69 6e 63 68 65 73 29 0a 28 78 6f 66 66 | 000).(spacing-unit.inches).(xoff |
| 0140 | 73 65 74 20 30 2e 30 30 30 30 30 30 29 0a 28 79 6f 66 66 73 65 74 20 30 2e 30 30 30 30 30 30 29 | set.0.000000).(yoffset.0.000000) |
| 0160 | 0a 28 6f 66 66 73 65 74 2d 75 6e 69 74 20 69 6e 63 68 65 73 29 0a 00 00 00 00 00 00 00 00 00 00 | .(offset-unit.inches)........... |
| 0180 | 00 01 8f 00 00 06 16 00 00 00 00 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0d 54 | ...............................T |
| 01a0 | 65 78 74 20 4c 61 79 65 72 23 32 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 ff | ext.Layer#2..................... |
| 01c0 | 00 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 | ................................ |
| 01e0 | 00 00 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 | ................................ |
| 0200 | 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 01 00 00 00 01 00 00 00 07 00 00 00 04 | ................................ |
| 0220 | 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 03 00 00 00 00 00 00 00 00 00 00 02 40 00 00 00 00 | ...........................@.... |
| 0240 | 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 54 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 64 | ...............T...............d |
| 0260 | 00 00 00 00 43 87 11 00 03 87 01 00 01 87 07 00 03 86 01 00 03 87 01 00 07 87 05 86 01 00 03 87 | ....C........................... |
| 0280 | 01 00 07 87 04 86 fc 87 00 00 87 02 87 01 00 01 87 02 00 01 87 04 86 03 00 03 87 01 00 01 87 02 | ................................ |
| 02a0 | 00 02 87 02 86 04 00 03 87 01 00 fd 86 87 00 01 00 01 87 02 86 05 00 03 87 01 00 05 87 02 86 04 | ................................ |
| 02c0 | 87 01 00 03 87 01 00 04 87 01 86 06 87 01 00 03 87 01 00 01 87 fd 00 87 86 01 86 04 87 03 00 03 | ................................ |
| 02e0 | 87 01 00 01 87 03 86 04 87 fe 86 00 02 00 03 87 01 00 fe 87 86 02 86 06 87 03 00 03 87 01 00 fe | ................................ |
| 0300 | 87 86 01 86 07 87 fe 86 00 01 00 03 87 01 00 01 87 fe 86 87 08 87 02 00 03 87 fe 00 86 01 86 0a | ................................ |
| 0320 | 87 fc 86 00 00 87 02 87 fc 00 86 86 00 0d 00 03 87 11 00 43 87 43 0d 11 00 03 0d 01 00 01 0d 07 | ...................C.C.......... |
| 0340 | 00 03 0c 01 00 03 0d 01 00 07 0d 05 0c 01 00 03 0d 01 00 07 0d 04 0c fc 0d 00 00 0d 02 0d 01 00 | ................................ |
| 0360 | 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 0d 00 | ................................ |
| 0380 | 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 01 00 | ................................ |
| 03a0 | 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 00 03 | ................................ |
| 03c0 | 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 01 00 | ................................ |
| 03e0 | 01 0d fe 0c 0d 08 0d 02 00 03 0d fe 00 0c 01 0c 0a 0d fc 0c 00 00 0d 02 0d fc 00 0c 0c 00 0d 00 | ................................ |
| 0400 | 03 0d 11 00 43 0d 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 | ....C.C......................... |
| 0420 | 03 0d 01 00 07 0d 04 0c fc 0d 00 00 0d 02 0d 01 00 01 0d 02 00 01 0d 04 0c 03 00 03 0d 01 00 01 | ................................ |
| 0440 | 0d 02 00 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 | ................................ |
| 0460 | 0c 04 0d 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 | ................................ |
| 0480 | 00 03 0d 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 | ................................ |
| 04a0 | 00 fe 0d 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 | ................................ |
| 04c0 | 0c 0a 0d fc 0c 00 00 0d 02 0d fc 00 0c 0c 00 0d 00 03 0d 11 00 43 0d fe 38 55 13 55 fe aa ff 13 | .....................C..8U.U.... |
| 04e0 | ff fd aa ff aa 10 aa fb e2 ff aa ff 00 10 00 f7 aa ff aa ff 00 00 ff ff 00 08 00 f3 40 ff 00 00 | ............................@... |
| 0500 | aa ff aa ff 00 00 ff ff 00 06 00 f1 02 70 ff ff 00 00 aa ff aa ff 00 00 ff ff 00 05 00 fb 02 80 | .............p.................. |
| 0520 | ff ff 00 01 00 f7 aa ff aa ff 00 00 ff ff 00 04 00 fb 03 80 ff ff 00 02 00 f7 aa ff aa ff 00 00 | ................................ |
| 0540 | ff ff 00 01 00 f9 02 01 00 70 ff ff 00 03 00 f7 aa ff aa ff 00 00 ff ff 00 01 00 fa 01 00 40 ff | .........p....................@. |
| 0560 | ff 00 04 00 f9 aa ff aa ff 00 00 ff 0c ff 01 00 f9 aa ff aa ff 00 00 ff 0c ff 01 00 ed aa ff aa | ................................ |
| 0580 | ff 00 00 ff ff 00 02 40 ff ff 00 01 00 01 02 00 02 00 f1 aa ff aa ff 00 00 ff ff 04 40 ff ff 00 | .......@....................@... |
| 05a0 | 03 01 02 01 03 00 f1 aa ff aa ff 00 00 ff ff 70 ff ff 00 00 01 00 06 00 f9 aa ff aa ff 00 00 ff | ...............p................ |
| 05c0 | 02 ff 02 01 08 00 f9 aa ff a9 ff 00 00 ff 01 ff fe 06 01 02 01 07 00 f1 aa ff a6 fe 00 70 ff ff | .............................p.. |
| 05e0 | 01 00 01 00 00 01 00 06 00 f8 aa ff a3 fd 00 d0 ff 00 0d 00 fb aa ff 9e f7 00 10 00 fa aa ff 98 | ................................ |
| 0600 | f2 54 55 0f 55 fa c6 ff 92 ec f8 ff 11 ff fb 5e 9a a4 a8 aa 10 aa 00 00 00 18 00 00 00 18 00 00 | .TU.U..........^................ |
| 0620 | 00 00 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 | ......Background................ |
| 0640 | 08 00 00 00 04 00 00 00 00 00 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0a 00 00 00 04 00 00 00 | ................................ |
| 0660 | 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 00 | ................................ |
| 0680 | 04 00 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 | ................................ |
| 06a0 | 00 00 00 00 14 00 00 00 04 00 00 00 04 00 00 00 00 00 00 00 00 00 00 06 bd 00 00 00 00 00 00 00 | ................................ |
| 06c0 | 18 00 00 00 18 00 00 00 03 00 00 06 d1 00 00 00 00 00 00 00 18 00 00 00 18 00 00 06 e1 00 00 00 | ................................ |
| 06e0 | 00 7f 02 40 bc 7f 02 40 bc 7f 02 40 bc | ...@...@...@. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 8abb9987e6b9293d055e4b0ffae6dfa78977f724 (plain)