| 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 0c 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 02 06 00 00 05 21 00 00 0a 29 00 00 00 00 00 00 00 00 00 00 00 20 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 06 00 00 00 04 00 00 00 ff 00 | ........Text.Layer.............. |
| 00a0 | 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 | ................................ |
| 00c0 | 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 | ................................ |
| 00e0 | 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 00 00 00 00 18 00 00 00 07 00 00 00 04 00 | ................................ |
| 0100 | 00 00 00 00 00 00 14 00 00 00 04 00 00 00 08 00 00 00 00 00 00 00 00 00 00 01 1f 00 00 00 00 00 | ................................ |
| 0120 | 00 00 20 00 00 00 06 00 00 00 04 00 00 01 33 00 00 00 00 00 00 00 20 00 00 00 06 00 00 01 43 00 | ..............3...............C. |
| 0140 | 00 00 00 7f 00 c0 00 7f 00 c0 00 7f 00 c0 00 01 00 fa 8d e2 aa c6 55 00 08 00 fd 1c 55 00 09 00 | ......................U.....U... |
| 0160 | f8 55 1c 00 aa c6 00 00 1c 01 1c ec 8d aa 38 38 aa 38 71 8d 00 c6 e2 71 00 38 aa 71 00 8d 55 71 | .U............88.8q....q.8.q..Uq |
| 0180 | 01 71 fa ff aa 1c ff 38 00 01 00 e3 1c e2 1c 71 ff 00 ff 8d 8d ff 00 aa 8d 00 55 aa 55 e2 00 71 | .q.....8.......q..........U.U..q |
| 01a0 | c6 c6 55 55 e2 00 55 ff 00 02 00 a6 8d aa 00 55 e2 1c ff 55 71 aa 00 c6 55 00 e2 c6 aa 38 00 1c | ..UU..U........U...Uq...U....8.. |
| 01c0 | ff 71 00 71 aa 00 1c ff 55 00 00 1c aa c6 1c e2 55 55 c6 00 aa 8d 00 ff 55 00 ff 71 00 71 38 aa | .q.q....U.......UU......U..q.q8. |
| 01e0 | 71 71 00 aa aa 00 00 38 aa aa 71 1c 1c aa aa 38 00 55 71 00 8d aa 00 8d aa 00 55 aa 8d 38 71 71 | qq.....8..q....8.Uq.......U..8qq |
| 0200 | 00 aa 38 55 aa 38 00 00 00 1e 00 00 00 17 00 00 00 01 00 00 00 0d 50 61 73 74 65 64 20 4c 61 79 | ..8U.8................Pasted.Lay |
| 0220 | 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 00 00 09 00 | er.............................. |
| 0240 | 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 00 00 00 00 | ................................ |
| 0260 | 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 00 00 08 00 | ................................ |
| 0280 | 00 00 01 00 00 00 00 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 03 00 | ................................ |
| 02a0 | 00 00 00 00 00 00 00 00 00 02 af 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 04 00 00 02 c3 00 | ................................ |
| 02c0 | 00 00 00 00 00 00 1e 00 00 00 17 00 00 02 d3 00 00 00 00 5b 87 19 00 03 87 19 00 03 87 19 00 03 | ...................[............ |
| 02e0 | 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 fd 8a 8b 00 | ................................ |
| 0300 | 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 fe 89 00 18 | ................................ |
| 0320 | 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 fc 88 89 89 88 01 | ................................ |
| 0340 | 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 fd 0e 0d 00 18 | .......E.?...................... |
| 0360 | 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 fd 14 1c 00 18 | ................................ |
| 0380 | 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 fd 12 1b 00 18 | ................................ |
| 03a0 | 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 01 0e 19 00 03 | ................................ |
| 03c0 | 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 01 13 01 0f 43 0d 3f | .............................C.? |
| 03e0 | 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 fd 0e 0f 00 18 00 01 | ................................ |
| 0400 | 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 fd 17 1c 00 18 00 01 | ................................ |
| 0420 | 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 fd 10 14 00 18 00 01 | ................................ |
| 0440 | 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 03 0d 19 00 04 0d 02 | ................................ |
| 0460 | 0f fc 11 15 15 13 01 13 01 0f fc 0d 15 15 13 01 13 01 0f 43 0d fe 38 55 1b 55 fe aa ff 1b ff fd | ...................C..8U.U...... |
| 0480 | aa ff aa 18 aa fb e2 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 | ................................ |
| 04a0 | 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 ff | ................................ |
| 04c0 | 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 ff | ................................ |
| 04e0 | 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 ff | ................................ |
| 0500 | aa ff 00 18 00 fb aa ff aa ff 00 18 00 fb aa ff aa ff 55 18 55 fc c6 ff aa ff 1b ff fe 71 aa 1b | ..................U.U........q.. |
| 0520 | aa 00 00 00 16 00 00 00 13 00 00 00 01 00 00 00 0f 50 61 73 74 65 64 20 4c 61 79 65 72 23 32 00 | .................Pasted.Layer#2. |
| 0540 | 00 00 00 02 00 00 00 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 | ................................ |
| 0560 | 00 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 | ................................ |
| 0580 | 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 00 00 0f | ................................ |
| 05a0 | 00 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 14 00 00 00 04 | ................................ |
| 05c0 | 00 00 00 04 00 00 00 00 00 00 00 00 00 00 05 d4 00 00 00 00 00 00 00 16 00 00 00 13 00 00 00 04 | ................................ |
| 05e0 | 00 00 05 e8 00 00 00 00 00 00 00 16 00 00 00 13 00 00 05 f8 00 00 00 00 2e 00 fb 14 24 24 20 00 | ............................$$.. |
| 0600 | 04 00 fe 09 24 01 24 fe 06 00 04 00 f8 48 6a 7f 7f 79 4d 13 00 01 00 fd 30 5a 80 01 80 fe 4d 00 | ....$.$......Hj..yM.....0Z....M. |
| 0620 | 02 00 fa 0a 56 7f 6d 4f 09 01 09 f5 02 00 00 3b 7c 61 2f 09 09 07 00 02 00 ec 28 7f 6d 17 17 7d | ....V.mO.......;|a/.......(.m..} |
| 0640 | 8d 88 75 00 00 80 52 03 46 81 91 81 46 00 01 00 ba 76 7f 11 6e d3 fb fd e1 c4 c4 3d 0d 05 ba e6 | ..u...R.F...F....v..n......=.... |
| 0660 | fb fb ce c4 b8 00 00 7f 55 21 b9 fc fe eb 39 06 99 9b 00 49 eb ff ff b2 13 2c c5 49 00 7f 2f 38 | ........U!....9....I.....,.I../8 |
| 0680 | f2 fe fe e4 16 02 78 eb 00 8d fd ff ff 93 07 11 c7 8d 00 7f 2f 3f fe 01 fe f8 fc bd 86 f4 ff 00 | ......x............./?.......... |
| 06a0 | 9f ff 01 ff f6 f6 94 af fa 9f 00 73 2f 3f fe 05 fe fc ff 00 9f ff 03 ff 01 fe f9 9f 00 28 2f 3b | ...........s/?...............(/; |
| 06c0 | f7 fe 04 fe fb f3 00 95 fd ff 02 ff f7 fe fd 95 00 08 0a 31 e3 fe 03 fe fa fd d5 00 7a f8 ff 02 | ...................1........z... |
| 06e0 | ff fc fe f8 7a 00 02 00 fd 7b f0 fe 02 fe f9 e8 44 00 00 d3 f8 ff 01 ff fd f8 d3 00 03 00 ee 1e | ....z....{......D............... |
| 0700 | 54 d5 e8 e2 cb 36 11 00 00 33 8f d9 ec d9 8f 33 00 58 00 2e 00 fb 14 24 24 20 00 04 00 fe 09 24 | T....6...3.....3.X.....$$......$ |
| 0720 | 01 24 fe 06 00 04 00 f8 48 6a 7f 7f 79 4d 13 00 01 00 fd 30 5a 80 01 80 fe 4d 00 02 00 fa 0a 56 | .$......Hj..yM.....0Z....M.....V |
| 0740 | 7f 6d 4f 09 01 09 f5 02 00 00 3b 7c 61 2f 09 09 07 00 02 00 ec 28 7f 6d 17 17 7d 8d 88 75 00 00 | .mO.......;|a/.......(.m..}..u.. |
| 0760 | 80 52 03 46 81 91 81 46 00 01 00 ba 76 7f 11 6e d3 fb fd e1 c4 c4 3d 0d 05 ba e6 fb fb ce c4 b8 | .R.F...F....v..n......=......... |
| 0780 | 00 00 7f 55 21 b9 fc fe eb 39 06 99 9b 00 49 eb ff ff b2 13 2c c5 49 00 7f 2f 38 f2 fe fe e4 16 | ...U!....9....I.....,.I../8..... |
| 07a0 | 02 78 eb 00 8d fd ff ff 93 07 11 c7 8d 00 7f 2f 3f fe 01 fe f8 fc bd 86 f4 ff 00 9f ff 01 ff f6 | .x............./?............... |
| 07c0 | f6 94 af fa 9f 00 73 2f 3f fe 05 fe fc ff 00 9f ff 03 ff 01 fe f9 9f 00 28 2f 3b f7 fe 04 fe fb | ......s/?...............(/;..... |
| 07e0 | f3 00 95 fd ff 02 ff f7 fe fd 95 00 08 0a 31 e3 fe 03 fe fa fd d5 00 7a f8 ff 02 ff fc fe f8 7a | ..............1........z.......z |
| 0800 | 00 02 00 fd 7b f0 fe 02 fe f9 e8 44 00 00 d3 f8 ff 01 ff fd f8 d3 00 03 00 ee 1e 54 d5 e8 e2 cb | ....{......D...............T.... |
| 0820 | 36 11 00 00 33 8f d9 ec d9 8f 33 00 58 00 2e 00 fb 14 24 24 20 00 04 00 fe 09 24 01 24 fe 06 00 | 6...3.....3.X.....$$......$.$... |
| 0840 | 04 00 f8 48 6a 7f 7f 79 4d 13 00 01 00 fd 30 5a 80 01 80 fe 4d 00 02 00 fa 0a 56 7f 6d 4f 09 01 | ...Hj..yM.....0Z....M.....V.mO.. |
| 0860 | 09 f5 02 00 00 3b 7c 61 2f 09 09 07 00 02 00 ec 28 7f 6d 17 17 7d 8d 88 75 00 00 80 52 03 46 81 | .....;|a/.......(.m..}..u...R.F. |
| 0880 | 91 81 46 00 01 00 ba 76 7f 11 6e d3 fb fd e1 c4 c4 3d 0d 05 ba e6 fb fb ce c4 b8 00 00 7f 55 21 | ..F....v..n......=............U! |
| 08a0 | b9 fc fe eb 39 06 99 9b 00 49 eb ff ff b2 13 2c c5 49 00 7f 2f 38 f2 fe fe e4 16 02 78 eb 00 8d | ....9....I.....,.I../8......x... |
| 08c0 | fd ff ff 93 07 11 c7 8d 00 7f 2f 3f fe 01 fe f8 fc bd 86 f4 ff 00 9f ff 01 ff f6 f6 94 af fa 9f | ........../?.................... |
| 08e0 | 00 73 2f 3f fe 05 fe fc ff 00 9f ff 03 ff 01 fe f9 9f 00 28 2f 3b f7 fe 04 fe fb f3 00 95 fd ff | .s/?...............(/;.......... |
| 0900 | 02 ff f7 fe fd 95 00 08 0a 31 e3 fe 03 fe fa fd d5 00 7a f8 ff 02 ff fc fe f8 7a 00 02 00 fd 7b | .........1........z.......z....{ |
| 0920 | f0 fe 02 fe f9 e8 44 00 00 d3 f8 ff 01 ff fd f8 d3 00 03 00 ee 1e 54 d5 e8 e2 cb 36 11 00 00 33 | ......D...............T....6...3 |
| 0940 | 8f d9 ec d9 8f 33 00 58 00 2e 00 fb 28 48 48 3f 00 04 00 fe 12 48 01 48 fe 0d 00 04 00 f8 91 d3 | .....3.X....(HH?.....H.H........ |
| 0960 | fe fe f2 9a 26 00 01 00 fd 60 b3 ff 01 ff fe 9a 00 02 00 fc 13 ab fd fe 03 fe fa e6 3f 13 75 f8 | ....&....`..................?.u. |
| 0980 | ff 02 ff f9 fc a1 3b 00 00 4f fe 07 fe fe b3 ff 05 ff fa fe f8 5b 00 ec fe 07 fe 07 ff 01 fe fd | ......;..O...........[.......... |
| 09a0 | f4 47 fe 08 fe 07 ff 02 fe fe ad fe 08 fe 07 ff 02 fe fe ff fe 08 fe 07 ff 03 fe fe e5 fe 07 fe | .G.............................. |
| 09c0 | 07 ff 02 fe fd ff 4f fe 07 fe 07 ff 03 fe fc 11 a2 fd fe 05 fe 07 ff 02 fe fb ec 00 00 ef fe 05 | ......O......................... |
| 09e0 | fe 07 ff 02 fe fa 4f 00 00 67 f7 fe 04 fe fb f2 3f ab fd ff 02 ff fb fe fd ab 13 00 01 00 fd 57 | ......O..g......?..............W |
| 0a00 | ad fe 01 fe f8 f8 9a 30 00 00 91 d3 ff 01 ff fd d3 91 00 04 00 fe 0d 48 01 48 fe 44 00 03 00 fe | .......0...............H.H.D.... |
| 0a20 | 28 48 01 48 fe 28 00 2d 00 00 00 00 20 00 00 00 20 00 00 00 00 00 00 00 0b 42 61 63 6b 67 72 6f | (H.H.(.-.................Backgro |
| 0a40 | 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 00 00 01 00 00 00 09 | und............................. |
| 0a60 | 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 00 00 04 00 00 00 00 | ................................ |
| 0a80 | 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 00 00 08 | ................................ |
| 0aa0 | 00 00 00 00 00 00 00 00 00 00 00 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 05 | ................................ |
| 0ac0 | 00 00 00 00 00 00 00 00 00 00 0a d0 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 03 00 00 0a e4 | ................................ |
| 0ae0 | 00 00 00 00 00 00 00 20 00 00 00 20 00 00 0a f4 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: fc9ad9d90af95d76fc7ad717d48b6cc7d820da17 (plain)