| 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 17 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 07 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 93 00 00 03 20 00 00 00 00 00 00 07 f8 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 01 00 | ................................ |
| 01a0 | 00 00 0d 50 61 73 74 65 64 20 4c 61 79 65 72 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 04 | ...Pasted.Layer................. |
| 01c0 | 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 00 00 00 00 00 0a | ................................ |
| 01e0 | 00 00 00 04 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 | ................................ |
| 0200 | 00 00 00 0d 00 00 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 | ................................ |
| 0220 | 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 07 00 00 00 00 00 00 00 00 00 00 02 44 | ...............................D |
| 0240 | 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 02 58 00 00 00 00 00 00 00 16 00 00 00 17 | ...................X............ |
| 0260 | 00 00 02 68 00 00 00 00 7f 01 fa 87 7f 01 fa 0d 7f 01 fa 0d fe 38 55 13 55 fe aa ff 13 ff fd aa | ...h.................8U.U....... |
| 0280 | ff aa 10 aa fb e2 ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa | ................................ |
| 02a0 | ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa | ................................ |
| 02c0 | ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa | ................................ |
| 02e0 | ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa | ................................ |
| 0300 | ff 00 10 00 fb aa ff aa ff 00 10 00 fb aa ff aa ff 55 10 55 fc c6 ff aa ff 13 ff fe 71 aa 13 aa | .................U.U........q... |
| 0320 | 00 00 00 16 00 00 00 17 00 00 00 01 00 00 00 0d 54 65 78 74 20 4c 61 79 65 72 23 31 00 00 00 00 | ................Text.Layer#1.... |
| 0340 | 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 00 | ................................ |
| 0360 | 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 00 0c 00 00 00 | ................................ |
| 0380 | 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 01 00 00 00 | ................................ |
| 03a0 | 00 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 04 00 00 00 00 00 00 00 | ................................ |
| 03c0 | 00 00 00 03 c9 00 00 00 00 00 00 00 16 00 00 00 17 00 00 00 04 00 00 03 dd 00 00 00 00 00 00 00 | ................................ |
| 03e0 | 16 00 00 00 17 00 00 03 ed 00 00 00 00 1d 87 05 00 0d 87 09 00 09 87 05 00 fc 4f 7f 6f 00 03 00 | ..........................O.o... |
| 0400 | 06 87 06 00 fc 9f fe df 00 04 00 05 87 06 00 fc 9f fe df 00 04 00 04 87 11 00 03 87 04 00 fe 17 | ................................ |
| 0420 | bf 02 bf fe a7 00 05 00 02 87 05 00 fe 1f fe 02 fe fe df 00 06 00 01 87 05 00 f9 03 1f 1f ab fe | ................................ |
| 0440 | df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 01 87 08 00 fc 9f | ................................ |
| 0460 | fe df 00 06 00 01 87 08 00 fc 9f fe df 00 06 00 02 87 07 00 fc 9f fe df 00 05 00 03 87 07 00 fc | ................................ |
| 0480 | 9f fe df 00 05 00 04 87 03 00 f7 0b 5f 5f c3 fe eb 5f 47 00 02 00 05 87 03 00 fe 1f fe 03 fe fd | ............__..._G............. |
| 04a0 | ff bf 00 02 00 06 87 02 00 fe 0f 7f 04 7f fe 5f 00 01 00 09 87 09 00 0d 87 05 00 33 87 1d 0d 05 | ..............._...........3.... |
| 04c0 | 00 0d 0d 09 00 09 0d 05 00 fc 4f 7f 6f 00 03 00 06 0d 06 00 fc 9f fe df 00 04 00 05 0d 06 00 fc | ..........O.o................... |
| 04e0 | 9f fe df 00 04 00 04 0d 11 00 03 0d 04 00 fe 17 bf 02 bf fe a7 00 05 00 02 0d 05 00 fe 1f fe 02 | ................................ |
| 0500 | fe fe df 00 06 00 01 0d 05 00 f9 03 1f 1f ab fe df 00 06 00 01 0d 08 00 fc 9f fe df 00 06 00 01 | ................................ |
| 0520 | 0d 08 00 fc 9f fe df 00 06 00 01 0d 08 00 fc 9f fe df 00 06 00 01 0d 08 00 fc 9f fe df 00 06 00 | ................................ |
| 0540 | 02 0d 07 00 fc 9f fe df 00 05 00 03 0d 07 00 fc 9f fe df 00 05 00 04 0d 03 00 f7 0b 5f 5f c3 fe | ............................__.. |
| 0560 | eb 5f 47 00 02 00 05 0d 03 00 fe 1f fe 03 fe fd ff bf 00 02 00 06 0d 02 00 fe 0f 7f 04 7f fe 5f | ._G............................_ |
| 0580 | 00 01 00 09 0d 09 00 0d 0d 05 00 33 0d 1d 0d fe 23 47 02 47 fe 23 0d 0c 0d fc 44 8e a6 bd 02 bd | ...........3....#G.G.#....D..... |
| 05a0 | fc a6 8e 44 0d 08 0d fd 17 5e bd 02 bd fc d2 de da be 01 be fd 5e 17 0d 05 0d fd 17 9d bd 03 bd | ...D.....^...........^.......... |
| 05c0 | fc e6 fe f6 be 02 be fd 9d 17 0d 04 0d fd 5f be bd 03 bd fc e6 fe f6 be 03 be fe 5e 0d 03 0d fc | .............._............^.... |
| 05e0 | 44 bd be bd 06 bd 05 be fe 44 0d 02 0d f9 8e be be bd bd c4 ee 02 ee fe e8 be 04 be fe 8e 0d 01 | D........D...................... |
| 0600 | 0d f8 23 a6 bd be bd bd c6 fe 02 fe fe f6 be 04 be fa a6 23 0d 0d 47 be 01 be 01 bd f9 bf c6 c6 | ..#................#..G......... |
| 0620 | e9 fe f6 be 05 be f8 47 0d 0d 47 be bd be bd 03 bd fc e6 fe f6 be 05 be f8 47 0d 0d 47 bd bd be | .......G..G..............G..G... |
| 0640 | bd 03 bd fc e6 fe f6 be 05 be f8 47 0d 0d 47 bd bd be bd 03 bd fc e6 fe f6 be 05 be f8 47 0d 0d | ...........G..G..............G.. |
| 0660 | 23 a6 bd be bd 03 bd fc e6 fe f6 be 04 be fd a6 23 0d 01 0d fc 8e bd be bd 03 bd fc e6 fe f6 be | #...............#............... |
| 0680 | 04 be fe 8e 0d 02 0d fc 44 be be bd 03 bd fc e6 fe f6 be 04 be fe 44 0d 03 0d f3 5e be bd bd c1 | ........D.............D....^.... |
| 06a0 | d6 d6 ef fe f9 d6 d0 be 01 be fe 5e 0d 04 0d fa 17 9d bd bd c6 fe 03 fe f9 ff ee be be 9d 17 0d | ...........^.................... |
| 06c0 | 05 0d fb 17 5e bd c2 de 04 de fb d6 be 5e 17 0d 08 0d fc 44 8e a6 bd 02 bd fc a6 8e 44 0d 0c 0d | ....^........^.....D........D... |
| 06e0 | fe 23 47 02 47 fe 23 0d 32 0d 1d 00 fe 2f 5f 02 5f fe 2f 00 0c 00 fc 5b bf df fe 02 fe fc df bf | .#G.G.#.2..../_._./....[........ |
| 0700 | 5b 00 08 00 fd 1f 7f fe 05 fe 02 ff fd 7f 1f 00 05 00 fd 1f d3 fe 06 fe 03 ff fd d3 1f 00 04 00 | [............................... |
| 0720 | fd 7f ff fe 06 fe 04 ff fe 7f 00 03 00 fc 5b fe ff fe 06 fe 05 ff fe 5b 00 02 00 fc bf fe ff fe | ..............[........[........ |
| 0740 | 06 fe 05 ff fe bf 00 01 00 fb 2f df fe ff fe 06 fe 05 ff f7 df 2f 00 00 5f fe fe ff fe 06 fe 06 | ........../........../.._....... |
| 0760 | ff f8 5f 00 00 5f ff fe ff fe 06 fe 06 ff f8 5f 00 00 5f fe fe ff fe 06 fe 06 ff f8 5f 00 00 5f | .._.._........._.._........._.._ |
| 0780 | fe ff ff fe 06 fe 06 ff f8 5f 00 00 2f df fe ff fe 06 fe 05 ff fd df 2f 00 01 00 fc bf fe ff fe | ........._../........../........ |
| 07a0 | 06 fe 05 ff fe bf 00 02 00 fc 5b fe ff fe 06 fe 05 ff fe 5b 00 03 00 fd 7f ff fe 06 fe 04 ff fe | ..........[........[............ |
| 07c0 | 7f 00 04 00 fd 1f d3 fe 06 fe 03 ff fd d3 1f 00 05 00 fd 1f 7f fe 05 fe 02 ff fd 7f 1f 00 08 00 | ................................ |
| 07e0 | fc 5b bf df fe 02 fe fc df bf 5b 00 0c 00 fe 2f 5f 02 5f fe 2f 00 32 00 00 00 00 18 00 00 00 17 | .[........[..../_._./.2......... |
| 0800 | 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 06 00 | ....Selection.Mask.............. |
| 0820 | 00 00 04 00 00 00 7f 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 | ................................ |
| 0840 | 00 00 0e 00 00 00 04 00 00 00 01 00 00 00 10 00 00 00 03 00 00 00 00 00 00 14 00 00 00 04 00 00 | ................................ |
| 0860 | 00 01 00 00 00 00 00 00 00 00 00 00 08 6e 00 00 00 18 00 00 00 17 00 00 00 01 00 00 08 82 00 00 | .............n.................. |
| 0880 | 00 00 00 00 00 18 00 00 00 17 00 00 08 92 00 00 00 00 7f 02 28 ff | ....................(. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: d6454f5b4deb830216ec2618b0765dab2921eb5c (plain)