| 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 06 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 33 32 2e 30 30 30 30 30 30 29 0a 28 79 73 70 61 63 69 6e 67 20 33 32 2e 30 30 30 | cing.32.000000).(yspacing.32.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 00 00 00 00 06 e9 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0b 54 | ...............................T |
| 01a0 | 65 78 74 20 4c 61 79 65 72 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 00 | ext.Layer....................... |
| 01c0 | 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 00 | ................................ |
| 01e0 | 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 00 00 | ................................ |
| 0200 | 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 01 00 00 00 00 00 00 00 07 00 00 00 04 00 00 | ................................ |
| 0220 | 00 00 00 00 00 14 00 00 00 04 00 00 00 02 00 00 00 00 00 00 00 00 00 00 02 3e 00 00 00 00 00 00 | .........................>...... |
| 0240 | 00 16 00 00 00 17 00 00 00 04 00 00 02 52 00 00 00 00 00 00 00 16 00 00 00 17 00 00 02 62 00 00 | .............R...............b.. |
| 0260 | 00 00 43 87 fe 00 6d 01 6d f1 81 80 84 86 85 84 85 83 84 6d 68 6d 6d 80 87 02 87 fe 80 55 01 55 | ..C...m.m..........mhmm......U.U |
| 0280 | 0c 00 fe 6d 87 02 87 f9 80 87 85 86 66 66 00 05 00 fa 66 86 85 87 6d 87 02 87 ed 80 87 87 86 81 | ...m........ff....f...m......... |
| 02a0 | 85 80 78 00 00 78 80 85 81 86 87 87 66 87 02 87 fe 8a 87 03 87 f9 85 83 78 7b 7b 85 87 03 87 fe | ..x..x......f...........x{{..... |
| 02c0 | 77 87 06 87 01 86 f7 85 86 84 84 86 85 86 86 87 01 87 fe 74 87 06 87 01 86 fe 85 86 02 86 fc 85 | w..................t............ |
| 02e0 | 86 86 87 01 87 fe 6b 87 07 87 f7 86 85 85 84 84 85 85 86 87 02 87 fe 6b 87 07 87 f7 86 85 85 84 | ......k................k........ |
| 0300 | 84 85 85 86 87 02 87 fe 6b 87 07 87 01 86 03 84 01 86 03 87 fe 74 87 02 87 fe 8a 87 03 87 fe 85 | ........k............t.......... |
| 0320 | 86 02 86 fe 85 87 03 87 fe 77 87 02 87 fe 80 87 05 87 01 86 06 87 fe 66 87 02 87 fe 80 87 02 87 | .........w.............f........ |
| 0340 | f7 86 88 83 61 61 83 88 86 87 02 87 fe 6d 87 02 87 f8 00 87 87 86 aa 49 49 00 03 00 f9 49 aa 86 | ....aa.......m.........II....I.. |
| 0360 | 87 87 6d 87 02 87 fc 00 86 86 00 0b 00 fd 86 6d 87 02 87 11 00 04 87 10 00 43 87 43 0d 11 00 03 | ..m............m.........C.C.... |
| 0380 | 0d 11 00 03 0d fc 00 0d 01 00 0a 00 fc 01 0d 00 0d 02 0d fa 00 0d 0d 0c 01 00 06 00 fa 01 0c 0d | ................................ |
| 03a0 | 0d 00 0d 02 0d fe 00 0d 02 0d f7 09 08 05 00 00 04 08 09 0d 02 0d fe 00 0d 02 0d fe 00 0d 01 0d | ................................ |
| 03c0 | f5 0b 0a 08 07 06 06 07 08 0a 0b 0d 01 0d fe 00 0d 02 0d fe 00 0d 01 0d f5 0b 0a 09 08 07 07 08 | ................................ |
| 03e0 | 09 0a 0b 0d 01 0d fe 00 0d 02 0d fe 00 0d 01 0d f5 0c 0b 0a 09 08 08 09 0a 0b 0c 0d 01 0d fe 00 | ................................ |
| 0400 | 0d 02 0d fe 00 0d 01 0d fc 0c 0b 0a 09 02 09 fc 0a 0b 0c 0d 01 0d fe 00 0d 02 0d fe 00 0d 01 0d | ................................ |
| 0420 | f5 0c 0b 0b 0a 09 09 0a 0b 0b 0c 0d 01 0d fe 00 0d 02 0d fe 00 0d 02 0d f7 0c 0b 09 08 07 09 0b | ................................ |
| 0440 | 0c 0d 02 0d fe 00 0d 02 0d fe 00 0d 05 0d 01 09 06 0d fe 00 0d 02 0d fe 00 0d 02 0d 01 0c 03 00 | ................................ |
| 0460 | 01 0c 03 0d fe 00 0d 02 0d fb 00 0d 0d 0c 00 08 00 fb 0c 0d 0d 00 0d 02 0d fc 00 0c 0c 00 0b 00 | ................................ |
| 0480 | fd 0c 00 0d 02 0d 11 00 04 0d 10 00 43 0d 43 0d 11 00 03 0d 11 00 03 0d fc 00 0d 01 00 0a 00 fc | ............C.C................. |
| 04a0 | 01 0d 00 0d 02 0d fa 00 0d 0d 0c 01 00 06 00 fa 01 0c 0d 0d 00 0d 02 0d fe 00 0d 02 0d f7 09 08 | ................................ |
| 04c0 | 05 00 00 04 08 09 0d 02 0d fe 00 0d 02 0d fe 00 0d 01 0d f5 0b 0a 08 07 06 06 07 08 0a 0b 0d 01 | ................................ |
| 04e0 | 0d fe 00 0d 02 0d fe 00 0d 01 0d f5 0b 0a 09 08 07 07 08 09 0a 0b 0d 01 0d fe 00 0d 02 0d fe 00 | ................................ |
| 0500 | 0d 01 0d f5 0c 0b 0a 09 08 08 09 0a 0b 0c 0d 01 0d fe 00 0d 02 0d fe 00 0d 01 0d fc 0c 0b 0a 09 | ................................ |
| 0520 | 02 09 fc 0a 0b 0c 0d 01 0d fe 00 0d 02 0d fe 00 0d 01 0d f5 0c 0b 0b 0a 09 09 0a 0b 0b 0c 0d 01 | ................................ |
| 0540 | 0d fe 00 0d 02 0d fe 00 0d 02 0d f7 0c 0b 09 08 07 09 0b 0c 0d 02 0d fe 00 0d 02 0d fe 00 0d 05 | ................................ |
| 0560 | 0d 01 09 06 0d fe 00 0d 02 0d fe 00 0d 02 0d 01 0c 03 00 01 0c 03 0d fe 00 0d 02 0d fb 00 0d 0d | ................................ |
| 0580 | 0c 00 08 00 fb 0c 0d 0d 00 0d 02 0d fc 00 0c 0c 00 0b 00 fd 0c 00 0d 02 0d 11 00 04 0d 10 00 43 | ...............................C |
| 05a0 | 0d fe 38 55 13 55 fe aa ff 13 ff fd aa ff aa 10 aa fb e2 ff aa ff 00 02 00 f4 02 03 02 00 04 07 | ..8U.U.......................... |
| 05c0 | 08 07 04 03 02 00 01 00 fb aa ff aa ff 00 10 00 f7 aa ff aa ff 00 a4 01 01 00 09 00 f4 01 ee 02 | ................................ |
| 05e0 | aa ff aa ff 00 f8 60 04 00 09 00 f3 91 f8 02 aa ff aa ff 01 f6 ff 85 01 00 07 00 f1 7b ff f6 03 | ......`.....................{... |
| 0600 | aa ff aa ff 03 f5 ff ff 7e 13 00 04 00 81 03 8a ff ff f5 04 aa ff aa ff 03 f3 ff ff fd 95 02 00 | ........~....................... |
| 0620 | 34 30 00 07 63 fd ff ff f3 05 aa ff aa ff 03 f2 ff ff fd fc a5 21 cb d1 28 66 fc fd ff ff f2 05 | 40..c................!..(f...... |
| 0640 | aa ff aa ff 03 f3 ff ff fe fd ef 2e f9 f9 25 8c fd fe ff ff f3 05 aa ff aa ff 02 f5 ff ff fe fd | ..............%................. |
| 0660 | 31 2b 90 5c 17 36 fd fe ff ff f5 04 aa ff aa ff 01 f7 ff ff fd 2f 00 00 1e 16 00 00 46 f6 ff ff | 1+.\.6.............../......F... |
| 0680 | f7 03 aa ff aa ff 00 f9 ff fd 56 04 00 05 00 f1 23 ff ff f9 02 aa ff aa ff 00 fd ff 59 02 00 07 | ..........V.....#...........Y... |
| 06a0 | 00 f1 27 ff fd 02 aa ff aa ff 00 f6 50 00 00 01 00 04 00 f3 01 00 00 a5 ff 00 aa ff aa ff 00 41 | ..'.........P..................A |
| 06c0 | 00 0c 00 f9 4b 00 aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 55 10 55 fc c6 ff | ....K.....................U.U... |
| 06e0 | aa ff 13 ff fe 71 aa 13 aa 00 00 00 18 00 00 00 18 00 00 00 0f 53 65 6c 65 63 74 69 6f 6e 20 4d | .....q...............Selection.M |
| 0700 | 61 73 6b 00 00 00 00 04 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 7f 00 00 00 08 00 00 00 04 | ask............................. |
| 0720 | 00 00 00 01 00 00 00 09 00 00 00 04 00 00 00 00 00 00 00 0e 00 00 00 04 00 00 00 01 00 00 00 10 | ................................ |
| 0740 | 00 00 00 03 00 00 00 00 00 00 14 00 00 00 04 00 00 00 01 00 00 00 00 00 00 00 00 00 00 07 5f 00 | .............................._. |
| 0760 | 00 00 18 00 00 00 18 00 00 00 01 00 00 07 73 00 00 00 00 00 00 00 18 00 00 00 18 00 00 07 83 00 | ..............s................. |
| 0780 | 00 00 00 7f 02 40 ff | .....@. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: ec27b921c156762d7c7c254e20057e5078795485 (plain)