| 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 02 06 00 00 05 21 00 00 0a 12 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 5a 00 ee 1e 54 d5 e8 e2 | ........................Z...T... |
| 0600 | cb 36 11 00 00 33 8f d9 ec d9 8f 33 00 03 00 fd 7b f0 fe 02 fe f9 e8 44 00 00 d3 f8 ff 01 ff f7 | .6...3.....3....{......D........ |
| 0620 | f8 d3 00 00 08 0a 31 e3 fe 03 fe fa fd d5 00 7a f8 ff 02 ff f7 fe f8 7a 00 28 2f 3b f7 fe 04 fe | ......1........z.......z.(/;.... |
| 0640 | fb f3 00 95 fd ff 02 ff f8 fe fd 95 00 73 2f 3f fe 05 fe fc ff 00 9f ff 03 ff 01 fe fa 9f 00 7f | .............s/?................ |
| 0660 | 2f 3f fe 01 fe f8 fc bd 86 f4 ff 00 9f ff 01 ff a4 f6 94 af fa 9f 00 7f 2f 38 f2 fe fe e4 16 02 | /?....................../8...... |
| 0680 | 78 eb 00 8d fd ff ff 93 07 11 c7 8d 00 7f 55 21 b9 fc fe eb 39 06 99 9b 00 49 eb ff ff b2 13 2c | x.............U!....9....I....., |
| 06a0 | c5 49 00 76 7f 11 6e d3 fb fd e1 c4 c4 3d 0d 05 ba e6 fb fb ce c4 b8 00 00 28 7f 6d 17 17 7d 8d | .I.v..n......=...........(.m..}. |
| 06c0 | 88 75 00 00 80 52 03 46 81 91 81 46 00 01 00 fa 0a 56 7f 6d 4f 09 01 09 f5 02 00 00 3b 7c 61 2f | .u...R.F...F.....V.mO.......;|a/ |
| 06e0 | 09 09 07 00 04 00 f8 48 6a 7f 7f 79 4d 13 00 01 00 fd 30 5a 80 01 80 fe 4d 00 05 00 fb 14 24 24 | .......Hj..yM.....0Z....M.....$$ |
| 0700 | 20 00 04 00 fe 09 24 01 24 fe 06 00 2e 00 5a 00 ee 1e 54 d5 e8 e2 cb 36 11 00 00 33 8f d9 ec d9 | ......$.$.....Z...T....6...3.... |
| 0720 | 8f 33 00 03 00 fd 7b f0 fe 02 fe f9 e8 44 00 00 d3 f8 ff 01 ff f7 f8 d3 00 00 08 0a 31 e3 fe 03 | .3....{......D..............1... |
| 0740 | fe fa fd d5 00 7a f8 ff 02 ff f7 fe f8 7a 00 28 2f 3b f7 fe 04 fe fb f3 00 95 fd ff 02 ff f8 fe | .....z.......z.(/;.............. |
| 0760 | fd 95 00 73 2f 3f fe 05 fe fc ff 00 9f ff 03 ff 01 fe fa 9f 00 7f 2f 3f fe 01 fe f8 fc bd 86 f4 | ...s/?................/?........ |
| 0780 | ff 00 9f ff 01 ff a4 f6 94 af fa 9f 00 7f 2f 38 f2 fe fe e4 16 02 78 eb 00 8d fd ff ff 93 07 11 | ............../8......x......... |
| 07a0 | c7 8d 00 7f 55 21 b9 fc fe eb 39 06 99 9b 00 49 eb ff ff b2 13 2c c5 49 00 76 7f 11 6e d3 fb fd | ....U!....9....I.....,.I.v..n... |
| 07c0 | e1 c4 c4 3d 0d 05 ba e6 fb fb ce c4 b8 00 00 28 7f 6d 17 17 7d 8d 88 75 00 00 80 52 03 46 81 91 | ...=...........(.m..}..u...R.F.. |
| 07e0 | 81 46 00 01 00 fa 0a 56 7f 6d 4f 09 01 09 f5 02 00 00 3b 7c 61 2f 09 09 07 00 04 00 f8 48 6a 7f | .F.....V.mO.......;|a/.......Hj. |
| 0800 | 7f 79 4d 13 00 01 00 fd 30 5a 80 01 80 fe 4d 00 05 00 fb 14 24 24 20 00 04 00 fe 09 24 01 24 fe | .yM.....0Z....M.....$$......$.$. |
| 0820 | 06 00 2e 00 5a 00 ee 1e 54 d5 e8 e2 cb 36 11 00 00 33 8f d9 ec d9 8f 33 00 03 00 fd 7b f0 fe 02 | ....Z...T....6...3.....3....{... |
| 0840 | fe f9 e8 44 00 00 d3 f8 ff 01 ff f7 f8 d3 00 00 08 0a 31 e3 fe 03 fe fa fd d5 00 7a f8 ff 02 ff | ...D..............1........z.... |
| 0860 | f7 fe f8 7a 00 28 2f 3b f7 fe 04 fe fb f3 00 95 fd ff 02 ff f8 fe fd 95 00 73 2f 3f fe 05 fe fc | ...z.(/;.................s/?.... |
| 0880 | ff 00 9f ff 03 ff 01 fe fa 9f 00 7f 2f 3f fe 01 fe f8 fc bd 86 f4 ff 00 9f ff 01 ff a4 f6 94 af | ............/?.................. |
| 08a0 | fa 9f 00 7f 2f 38 f2 fe fe e4 16 02 78 eb 00 8d fd ff ff 93 07 11 c7 8d 00 7f 55 21 b9 fc fe eb | ..../8......x.............U!.... |
| 08c0 | 39 06 99 9b 00 49 eb ff ff b2 13 2c c5 49 00 76 7f 11 6e d3 fb fd e1 c4 c4 3d 0d 05 ba e6 fb fb | 9....I.....,.I.v..n......=...... |
| 08e0 | ce c4 b8 00 00 28 7f 6d 17 17 7d 8d 88 75 00 00 80 52 03 46 81 91 81 46 00 01 00 fa 0a 56 7f 6d | .....(.m..}..u...R.F...F.....V.m |
| 0900 | 4f 09 01 09 f5 02 00 00 3b 7c 61 2f 09 09 07 00 04 00 f8 48 6a 7f 7f 79 4d 13 00 01 00 fd 30 5a | O.......;|a/.......Hj..yM.....0Z |
| 0920 | 80 01 80 fe 4d 00 05 00 fb 14 24 24 20 00 04 00 fe 09 24 01 24 fe 06 00 2e 00 2f 00 fe 0d 48 01 | ....M.....$$......$.$...../...H. |
| 0940 | 48 fe 44 00 03 00 fe 28 48 01 48 fe 28 00 04 00 fd 57 ad fe 01 fe f8 f8 9a 30 00 00 91 d3 ff 01 | H.D....(H.H.(....W.......0...... |
| 0960 | ff fd d3 91 00 02 00 fd 67 f7 fe 04 fe fb f2 3f ab fd ff 02 ff f8 fe fd ab 13 00 00 ef fe 05 fe | ........g......?................ |
| 0980 | 07 ff 02 fe fb 4f 11 a2 fd fe 05 fe 07 ff 02 fe fd ec 4f fe 07 fe 07 ff 03 fe fe e5 fe 07 fe 07 | .....O............O............. |
| 09a0 | ff 02 fe fe ff fe 08 fe 07 ff 0d fe 07 ff 02 fe fe ff fe 08 fe 07 ff 02 fe fd ad ec fe 07 fe 07 | ................................ |
| 09c0 | ff 01 fe fc f4 47 4f fe 07 fe fe b3 ff 05 ff f8 fe f8 5b 00 13 ab fd fe 03 fe fa e6 3f 13 75 f8 | .....GO...........[.........?.u. |
| 09e0 | ff 02 ff fc fc a1 3b 00 02 00 f8 91 d3 fe fe f2 9a 26 00 01 00 fd 60 b3 ff 01 ff fe 9a 00 05 00 | ......;..........&....`......... |
| 0a00 | fb 28 48 48 3f 00 04 00 fe 12 48 01 48 fe 0d 00 2e 00 00 00 00 20 00 00 00 20 00 00 00 00 00 00 | .(HH?.....H.H................... |
| 0a20 | 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.................... |
| 0a40 | 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 | ................................ |
| 0a60 | 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 | ................................ |
| 0a80 | 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 | ................................ |
| 0aa0 | 14 00 00 00 04 00 00 00 05 00 00 00 00 00 00 00 00 00 00 0a b9 00 00 00 00 00 00 00 20 00 00 00 | ................................ |
| 0ac0 | 20 00 00 00 03 00 00 0a cd 00 00 00 00 00 00 00 20 00 00 00 20 00 00 0a dd 00 00 00 00 7f 04 00 | ................................ |
| 0ae0 | bc 7f 04 00 bc 7f 04 00 bc | ......... |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: 21499fe55107d040e9df88f176e019956d9d99c6 (plain)