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