| 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 00 00 00 00 00 00 00 00 50 00 00 01 b6 | ...........................P.... |
| 0040 | 00 00 04 ca 00 00 09 f0 00 00 00 00 00 00 00 00 00 00 00 17 00 00 00 07 00 00 00 01 00 00 00 0b | ................................ |
| 0060 | 54 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 | Text.Layer...................... |
| 0080 | 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 | ................................ |
| 00a0 | 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 | ................................ |
| 00c0 | 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 04 00 00 00 18 00 00 00 07 00 00 00 04 00 | ................................ |
| 00e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 f3 00 00 00 00 00 00 00 17 00 00 00 07 00 00 00 04 00 | ................................ |
| 0100 | 00 01 07 00 00 00 00 00 00 00 17 00 00 00 07 00 00 01 17 00 00 00 00 7f 00 a1 00 7f 00 a1 00 7f | ................................ |
| 0120 | 00 a1 00 05 00 01 55 0f 00 fa 38 c6 aa c6 00 aa fe aa 00 0e 00 fd aa c6 00 01 00 fe aa 71 fd 71 | ......U...8..................q.q |
| 0140 | 8d 00 ef 00 71 aa 71 00 aa 38 1c 55 00 aa 38 00 38 ff aa 00 fd 00 e2 aa f6 aa ff 00 aa 71 1c ff | ....q.q..8.U..8.8............q.. |
| 0160 | 55 aa 71 fa 71 aa 00 ff 1c 00 f9 00 1c e2 8d 00 ff 55 fb 55 aa 38 ff 00 fb 00 ff 38 55 aa ed aa | U.q.q............U.U.8.....8U... |
| 0180 | ff 71 55 00 38 55 00 c6 71 55 e2 00 aa 8d 55 ff 1c aa f8 aa 00 55 ff 1c ff 8d 00 fd 00 1c aa f3 | .qU.8U..qU....U......U.......... |
| 01a0 | aa 71 00 55 71 00 71 aa 00 8d aa 71 00 fa 00 38 55 00 8d 00 01 00 00 00 00 1e 00 00 00 17 00 00 | .q.Uq.q....q...8U............... |
| 01c0 | 00 01 00 00 00 0d 50 61 73 74 65 64 20 4c 61 79 65 72 00 00 00 00 06 00 00 00 04 00 00 00 ff 00 | ......Pasted.Layer.............. |
| 01e0 | 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 | ................................ |
| 0200 | 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 | ................................ |
| 0220 | 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 00 00 00 04 00 | ................................ |
| 0240 | 00 00 00 00 00 00 00 00 00 00 00 00 00 02 53 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 04 00 | ..............S................. |
| 0260 | 00 02 67 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 02 77 00 00 00 00 5b 87 19 00 03 87 19 00 03 | ..g...............w....[........ |
| 0280 | 87 19 00 03 87 19 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 | ................................ |
| 02a0 | fd 8a 8b 00 18 00 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 | ................................ |
| 02c0 | fe 89 00 18 00 02 87 fe 88 00 18 00 03 87 19 00 03 87 19 00 03 87 19 00 03 87 19 00 07 87 fe 88 | ................................ |
| 02e0 | 89 fe 89 88 01 88 02 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 | ............E.?................. |
| 0300 | fd 0e 0d 00 18 00 01 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 | ................................ |
| 0320 | fd 14 1c 00 18 00 01 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 | ................................ |
| 0340 | fd 12 1b 00 18 00 01 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 | ................................ |
| 0360 | 01 0e 19 00 03 0d 19 00 03 0d 19 00 04 0d 02 0f fe 11 15 fe 15 13 01 13 01 0f fe 0d 15 fe 15 13 | ................................ |
| 0380 | 01 13 01 0f 43 0d 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 0d | ....C.?......................... |
| 03a0 | 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 0d | ................................ |
| 03c0 | 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 0d | ................................ |
| 03e0 | 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 00 | ................................ |
| 0400 | 03 0d 19 00 04 0d 02 0f fe 11 15 fe 15 13 01 13 01 0f fe 0d 15 fe 15 13 01 13 01 0f 43 0d fe 38 | ............................C..8 |
| 0420 | 55 1b 55 fe aa ff 1b ff fd aa ff aa 18 aa fb e2 ff aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa | U.U............................. |
| 0440 | 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 00 18 00 fb aa | ................................ |
| 0460 | 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 00 18 00 fb aa | ................................ |
| 0480 | 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 00 18 00 fb aa | ................................ |
| 04a0 | 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 55 18 55 fc c6 | ...........................U.U.. |
| 04c0 | ff aa ff 1b ff fe 71 aa 1b aa 00 00 00 16 00 00 00 13 00 00 00 01 00 00 00 0d 50 61 73 74 65 64 | ......q...................Pasted |
| 04e0 | 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 00 01 00 | .Layer.......................... |
| 0500 | 00 00 09 00 00 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 | ................................ |
| 0520 | 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 00 0f 00 | ................................ |
| 0540 | 00 00 08 00 00 00 05 00 00 00 02 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0560 | 00 05 67 00 00 00 00 00 00 00 16 00 00 00 13 00 00 00 04 00 00 05 7b 00 00 00 00 00 00 00 16 00 | ..g...................{......... |
| 0580 | 00 00 13 00 00 05 8b 00 00 00 00 59 00 f8 33 8f d9 ec d9 8f 33 00 f6 00 11 36 cb e2 e8 d5 54 1e | ...........Y..3.....3....6....T. |
| 05a0 | 00 03 00 fd d3 f8 ff 01 ff fd f8 d3 00 fc 00 44 e8 fe 02 fe fd f0 7b 00 02 00 fc 7a f8 fe ff 02 | ...............D......{....z.... |
| 05c0 | ff fa f8 7a 00 d5 fd fe 03 fe f7 e3 31 0a 08 00 95 fd fe ff 02 ff fb fd 95 00 f3 fe 04 fe f9 f7 | ...z........1................... |
| 05e0 | 3b 2f 28 00 9f fe fe fe ff 03 ff fc 9f 00 ff fe 05 fe f6 3f 2f 73 00 9f fa af 94 f6 ff 01 ff f8 | ;/(................?/s.......... |
| 0600 | 9f 00 ff f4 86 bd fc fe 01 fe f6 3f 2f 7f 00 8d c7 11 07 93 ff f6 ff fd 8d 00 eb 78 02 16 e4 fe | ...........?/..............x.... |
| 0620 | f4 fe f2 38 2f 7f 00 49 c5 2c 13 b2 ff f0 ff eb 49 00 9b 99 06 39 eb fe fc b9 21 55 7f 00 fb 00 | ...8/..I.,......I....9....!U.... |
| 0640 | b8 c4 ce fb f9 fb e6 ba 05 0d 3d c4 f6 c4 e1 fd fb d3 6e 11 7f 76 00 01 00 f7 46 81 91 81 46 03 | ..........=.......n..v....F...F. |
| 0660 | 52 80 00 fa 00 75 88 8d 7d 17 fb 17 6d 7f 28 00 02 00 fe 07 09 fa 09 2f 61 7c 3b 00 fd 00 02 09 | R....u..}...m.(......../a|;..... |
| 0680 | 01 09 fa 4f 6d 7f 56 0a 00 02 00 fe 4d 80 01 80 fd 5a 30 00 01 00 fc 13 4d 79 7f fc 7f 6a 48 00 | ...Om.V.....M....Z0.....My...jH. |
| 06a0 | 04 00 fe 06 24 01 24 fe 09 00 04 00 fe 20 24 fd 24 14 00 2d 00 59 00 f8 33 8f d9 ec d9 8f 33 00 | ....$.$.......$.$..-.Y..3.....3. |
| 06c0 | f6 00 11 36 cb e2 e8 d5 54 1e 00 03 00 fd d3 f8 ff 01 ff fd f8 d3 00 fc 00 44 e8 fe 02 fe fd f0 | ...6....T................D...... |
| 06e0 | 7b 00 02 00 fc 7a f8 fe ff 02 ff fa f8 7a 00 d5 fd fe 03 fe f7 e3 31 0a 08 00 95 fd fe ff 02 ff | {....z.......z........1......... |
| 0700 | fb fd 95 00 f3 fe 04 fe f9 f7 3b 2f 28 00 9f fe fe fe ff 03 ff fc 9f 00 ff fe 05 fe f6 3f 2f 73 | ..........;/(................?/s |
| 0720 | 00 9f fa af 94 f6 ff 01 ff f8 9f 00 ff f4 86 bd fc fe 01 fe f6 3f 2f 7f 00 8d c7 11 07 93 ff f6 | .....................?/......... |
| 0740 | ff fd 8d 00 eb 78 02 16 e4 fe f4 fe f2 38 2f 7f 00 49 c5 2c 13 b2 ff f0 ff eb 49 00 9b 99 06 39 | .....x.......8/..I.,......I....9 |
| 0760 | eb fe fc b9 21 55 7f 00 fb 00 b8 c4 ce fb f9 fb e6 ba 05 0d 3d c4 f6 c4 e1 fd fb d3 6e 11 7f 76 | ....!U..............=.......n..v |
| 0780 | 00 01 00 f7 46 81 91 81 46 03 52 80 00 fa 00 75 88 8d 7d 17 fb 17 6d 7f 28 00 02 00 fe 07 09 fa | ....F...F.R....u..}...m.(....... |
| 07a0 | 09 2f 61 7c 3b 00 fd 00 02 09 01 09 fa 4f 6d 7f 56 0a 00 02 00 fe 4d 80 01 80 fd 5a 30 00 01 00 | ./a|;........Om.V.....M....Z0... |
| 07c0 | fc 13 4d 79 7f fc 7f 6a 48 00 04 00 fe 06 24 01 24 fe 09 00 04 00 fe 20 24 fd 24 14 00 2d 00 59 | ..My...jH.....$.$.......$.$..-.Y |
| 07e0 | 00 f8 33 8f d9 ec d9 8f 33 00 f6 00 11 36 cb e2 e8 d5 54 1e 00 03 00 fd d3 f8 ff 01 ff fd f8 d3 | ..3.....3....6....T............. |
| 0800 | 00 fc 00 44 e8 fe 02 fe fd f0 7b 00 02 00 fc 7a f8 fe ff 02 ff fa f8 7a 00 d5 fd fe 03 fe f7 e3 | ...D......{....z.......z........ |
| 0820 | 31 0a 08 00 95 fd fe ff 02 ff fb fd 95 00 f3 fe 04 fe f9 f7 3b 2f 28 00 9f fe fe fe ff 03 ff fc | 1...................;/(......... |
| 0840 | 9f 00 ff fe 05 fe f6 3f 2f 73 00 9f fa af 94 f6 ff 01 ff f8 9f 00 ff f4 86 bd fc fe 01 fe f6 3f | .......?/s.....................? |
| 0860 | 2f 7f 00 8d c7 11 07 93 ff f6 ff fd 8d 00 eb 78 02 16 e4 fe f4 fe f2 38 2f 7f 00 49 c5 2c 13 b2 | /..............x.......8/..I.,.. |
| 0880 | ff f0 ff eb 49 00 9b 99 06 39 eb fe fc b9 21 55 7f 00 fb 00 b8 c4 ce fb f9 fb e6 ba 05 0d 3d c4 | ....I....9....!U..............=. |
| 08a0 | f6 c4 e1 fd fb d3 6e 11 7f 76 00 01 00 f7 46 81 91 81 46 03 52 80 00 fa 00 75 88 8d 7d 17 fb 17 | ......n..v....F...F.R....u..}... |
| 08c0 | 6d 7f 28 00 02 00 fe 07 09 fa 09 2f 61 7c 3b 00 fd 00 02 09 01 09 fa 4f 6d 7f 56 0a 00 02 00 fe | m.(......../a|;........Om.V..... |
| 08e0 | 4d 80 01 80 fd 5a 30 00 01 00 fc 13 4d 79 7f fc 7f 6a 48 00 04 00 fe 06 24 01 24 fe 09 00 04 00 | M....Z0.....My...jH.....$.$..... |
| 0900 | fe 20 24 fd 24 14 00 2d 00 2e 00 fe 28 48 01 48 fe 28 00 03 00 fe 44 48 01 48 fe 0d 00 04 00 fd | ..$.$..-....(H.H.(....DH.H...... |
| 0920 | 91 d3 ff 01 ff fd d3 91 00 fb 00 30 9a f8 fe 01 fe fd ad 57 00 01 00 fb 13 ab fd fe ff 02 ff fb | ...........0.......W............ |
| 0940 | fd ab 3f f2 fe 04 fe fd f7 67 00 fd 00 4f fe 01 fe 07 ff 06 fe fe ef 00 fd 00 ec fe 01 fe 07 ff | ..?......g...O.................. |
| 0960 | 06 fe fc fd a2 11 fe 02 fe 07 ff 08 fe fd 4f ff fe 01 fe 07 ff 08 fe fe e5 fe 02 fe 07 ff 09 fe | ..............O................. |
| 0980 | fe ff fe 01 fe 07 ff 09 fe fe ad fe 01 fe 07 ff 09 fe fd 47 f4 fe fe fe ff 06 ff 08 fe fa ec 00 | ...................G............ |
| 09a0 | 5b f8 fe ff 05 ff fe b3 fe 07 fe fe 4f 00 fb 00 3b a1 fc ff 02 ff fa f8 75 13 3f e6 fe 03 fe fc | [...........O...;.......u.?..... |
| 09c0 | fd ab 13 00 02 00 fe 9a ff 01 ff fd b3 60 00 01 00 fc 26 9a f2 fe fc fe d3 91 00 04 00 fe 0d 48 | .............`....&............H |
| 09e0 | 01 48 fe 12 00 04 00 fe 3f 48 fd 48 28 00 2d 00 00 00 00 20 00 00 00 20 00 00 00 00 00 00 00 0b | .H......?H.H(.-................. |
| 0a00 | 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 00 00 04 00 | Background...................... |
| 0a20 | 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 00 00 0b 00 | ................................ |
| 0a40 | 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 00 00 00 00 | ................................ |
| 0a60 | 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 00 00 00 00 | ................................ |
| 0a80 | 00 00 00 00 00 0a 8b 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 0a 9f 00 00 00 00 00 | ................................ |
| 0aa0 | 00 00 20 00 00 00 20 00 00 0a af 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc | ........................... |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: f64f9ff1dc91b31a99b1b518885c4aab61f9ccfb (plain)