| 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 18 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 0d 00 00 00 16 00 00 00 04 00 00 00 01 00 00 00 15 00 00 01 24 | ...............................$ |
| 0060 | 00 00 00 10 67 69 6d 70 2d 69 6d 61 67 65 2d 67 72 69 64 00 00 00 00 01 00 00 01 08 28 73 74 79 | ....gimp-image-grid.........(sty |
| 0080 | 6c 65 20 69 6e 74 65 72 73 65 63 74 69 6f 6e 73 29 0a 28 66 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f | le.intersections).(fgcolor.(colo |
| 00a0 | 72 2d 72 67 62 61 20 30 2e 30 30 30 30 30 30 20 30 2e 30 30 30 30 30 30 20 30 2e 30 30 30 30 30 | r-rgba.0.000000.0.000000.0.00000 |
| 00c0 | 30 20 31 2e 30 30 30 30 30 30 29 29 0a 28 62 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f 72 2d 72 67 62 | 0.1.000000)).(bgcolor.(color-rgb |
| 00e0 | 61 20 31 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 20 31 2e 30 | a.1.000000.1.000000.1.000000.1.0 |
| 0100 | 30 30 30 30 30 29 29 0a 28 78 73 70 61 63 69 6e 67 20 31 30 2e 30 30 30 30 30 30 29 0a 28 79 73 | 00000)).(xspacing.10.000000).(ys |
| 0120 | 70 61 63 69 6e 67 20 31 30 2e 30 30 30 30 30 30 29 0a 28 73 70 61 63 69 6e 67 2d 75 6e 69 74 20 | pacing.10.000000).(spacing-unit. |
| 0140 | 69 6e 63 68 65 73 29 0a 28 78 6f 66 66 73 65 74 20 30 2e 30 30 30 30 30 30 29 0a 28 79 6f 66 66 | inches).(xoffset.0.000000).(yoff |
| 0160 | 73 65 74 20 30 2e 30 30 30 30 30 30 29 0a 28 6f 66 66 73 65 74 2d 75 6e 69 74 20 69 6e 63 68 65 | set.0.000000).(offset-unit.inche |
| 0180 | 73 29 0a 00 00 00 00 00 00 00 00 00 00 00 01 a0 00 00 04 c3 00 00 00 00 00 00 09 c3 00 00 00 00 | s).............................. |
| 01a0 | 00 00 00 18 00 00 00 18 00 00 00 01 00 00 00 0f 50 61 73 74 65 64 20 4c 61 79 65 72 23 31 00 00 | ................Pasted.Layer#1.. |
| 01c0 | 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 00 | ................................ |
| 01e0 | 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 | ................................ |
| 0200 | 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 | ................................ |
| 0220 | 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 14 00 00 00 04 00 | ................................ |
| 0240 | 00 00 0d 00 00 00 00 00 00 00 00 00 00 02 53 00 00 00 00 00 00 00 18 00 00 00 18 00 00 00 04 00 | ..............S................. |
| 0260 | 00 02 67 00 00 00 00 00 00 00 18 00 00 00 18 00 00 02 77 00 00 00 00 17 00 49 87 13 00 03 87 13 | ..g...............w......I...... |
| 0280 | 00 03 87 13 00 03 87 13 00 02 87 fe 89 00 12 00 01 87 fd 88 8a 00 12 00 01 87 fd 89 8b 00 12 00 | ................................ |
| 02a0 | 01 87 fd 8a 8b 00 12 00 01 87 fd 8a 8c 00 12 00 01 87 fd 88 8c 00 12 00 01 87 fd 88 8b 00 12 00 | ................................ |
| 02c0 | 02 87 fe 89 00 12 00 02 87 fe 88 00 12 00 03 87 13 00 03 87 13 00 03 87 13 00 03 87 13 00 03 87 | ................................ |
| 02e0 | fe 89 88 01 88 02 87 01 89 02 88 39 87 17 00 31 0d 02 0e 03 0d 03 0e 0c 0d 13 00 03 0d 13 00 01 | ...........9...1................ |
| 0300 | 0d fd 0e 0d 00 12 00 01 0d fd 0e 0f 00 12 00 01 0d fd 0f 13 00 12 00 01 0d fd 11 18 00 12 00 01 | ................................ |
| 0320 | 0d fd 14 1c 00 12 00 01 0d fd 17 1c 00 12 00 01 0d fd 17 1e 00 12 00 01 0d fd 13 1e 00 12 00 01 | ................................ |
| 0340 | 0d fd 12 1b 00 12 00 01 0d fd 10 14 00 12 00 01 0d fd 0f 10 00 12 00 01 0d fd 0e 0f 00 12 00 01 | ................................ |
| 0360 | 0d 01 0e 13 00 03 0d 13 00 03 0d 13 00 03 0d fe 15 13 01 13 01 0f fc 0d 15 15 13 01 13 01 0f 37 | ...............................7 |
| 0380 | 0d 17 00 31 0d 02 0e 03 0d 03 0e 0c 0d 13 00 03 0d 13 00 01 0d fd 0e 0d 00 12 00 01 0d fd 0e 0f | ...1............................ |
| 03a0 | 00 12 00 01 0d fd 0f 13 00 12 00 01 0d fd 11 18 00 12 00 01 0d fd 14 1c 00 12 00 01 0d fd 17 1c | ................................ |
| 03c0 | 00 12 00 01 0d fd 17 1e 00 12 00 01 0d fd 13 1e 00 12 00 01 0d fd 12 1b 00 12 00 01 0d fd 10 14 | ................................ |
| 03e0 | 00 12 00 01 0d fd 0f 10 00 12 00 01 0d fd 0e 0f 00 12 00 01 0d 01 0e 13 00 03 0d 13 00 03 0d 13 | ................................ |
| 0400 | 00 03 0d fe 15 13 01 13 01 0f fc 0d 15 15 13 01 13 01 0f 37 0d 17 00 fe 38 55 15 55 fe aa ff 15 | ...................7....8U.U.... |
| 0420 | ff fd aa ff aa 12 aa fb e2 ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb | ................................ |
| 0440 | aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb | ................................ |
| 0460 | aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb | ................................ |
| 0480 | aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb | ................................ |
| 04a0 | aa ff aa ff 00 12 00 fb aa ff aa ff 00 12 00 fb aa ff aa ff 55 12 55 fc c6 ff aa ff 15 ff fe 71 | ....................U.U........q |
| 04c0 | aa 15 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 | ...................Pasted.Layer# |
| 04e0 | 32 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 00 | 2............................... |
| 0500 | 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 00 | ................................ |
| 0520 | 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 00 | ................................ |
| 0540 | 00 01 00 00 00 03 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 | ................................ |
| 0560 | 00 00 00 00 00 00 00 00 05 6e 00 00 00 00 00 00 00 16 00 00 00 13 00 00 00 04 00 00 05 82 00 00 | .........n...................... |
| 0580 | 00 00 00 00 00 16 00 00 00 13 00 00 05 92 00 00 00 00 59 00 ee 33 8f d9 ec d9 8f 33 00 00 11 36 | ..................Y..3.....3...6 |
| 05a0 | 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 7b 00 02 00 fc | ....T...............D......{.... |
| 05c0 | 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 fb fd 95 00 f3 | z.......z........1.............. |
| 05e0 | 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 9f fa af 94 f6 | .....;/(...............?/s...... |
| 0600 | 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 8d 00 eb 78 02 | ...............?/.............x. |
| 0620 | 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 21 55 7f 00 00 | .....8/..I.,.....I....9....!U... |
| 0640 | 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 81 46 03 52 80 | .........=......n..v....F...F.R. |
| 0660 | 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 09 fa 4f 6d 7f | ..u..}..m.(......./a|;.......Om. |
| 0680 | 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 fe 06 24 01 24 | V.....M....Z0.....My..jH.....$.$ |
| 06a0 | fe 09 00 04 00 fb 20 24 24 14 00 2d 00 59 00 ee 33 8f d9 ec d9 8f 33 00 00 11 36 cb e2 e8 d5 54 | .......$$..-.Y..3.....3...6....T |
| 06c0 | 1e 00 03 00 fd d3 f8 ff 01 ff f9 f8 d3 00 00 44 e8 fe 02 fe fd f0 7b 00 02 00 fc 7a f8 fe ff 02 | ...............D......{....z.... |
| 06e0 | 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 f7 f7 | ...z........1................... |
| 0700 | 3b 2f 28 00 9f 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 9f | ;/(...............?/s........... |
| 0720 | 00 ff f4 86 bd fc fe 01 fe ba 3f 2f 7f 00 8d c7 11 07 93 ff ff fd 8d 00 eb 78 02 16 e4 fe fe f2 | ..........?/.............x...... |
| 0740 | 38 2f 7f 00 49 c5 2c 13 b2 ff ff eb 49 00 9b 99 06 39 eb fe fc b9 21 55 7f 00 00 b8 c4 ce fb fb | 8/..I.,.....I....9....!U........ |
| 0760 | e6 ba 05 0d 3d c4 c4 e1 fd fb d3 6e 11 7f 76 00 01 00 ec 46 81 91 81 46 03 52 80 00 00 75 88 8d | ....=......n..v....F...F.R...u.. |
| 0780 | 7d 17 17 6d 7f 28 00 02 00 f5 07 09 09 2f 61 7c 3b 00 00 02 09 01 09 fa 4f 6d 7f 56 0a 00 02 00 | }..m.(......./a|;.......Om.V.... |
| 07a0 | fe 4d 80 01 80 fd 5a 30 00 01 00 f8 13 4d 79 7f 7f 6a 48 00 04 00 fe 06 24 01 24 fe 09 00 04 00 | .M....Z0.....My..jH.....$.$..... |
| 07c0 | fb 20 24 24 14 00 2d 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 | ..$$..-.Y..3.....3...6....T..... |
| 07e0 | d3 f8 ff 01 ff f9 f8 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 | ..........D......{....z.......z. |
| 0800 | 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 f7 f7 3b 2f 28 00 9f | .......1...................;/(.. |
| 0820 | 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 9f 00 ff f4 86 bd | .............?/s................ |
| 0840 | fc fe 01 fe ba 3f 2f 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 | .....?/.............x......8/..I |
| 0860 | c5 2c 13 b2 ff ff eb 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 | .,.....I....9....!U............= |
| 0880 | c4 c4 e1 fd fb d3 6e 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 | ......n..v....F...F.R...u..}..m. |
| 08a0 | 28 00 02 00 f5 07 09 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 | (......./a|;.......Om.V.....M... |
| 08c0 | fd 5a 30 00 01 00 f8 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 | .Z0.....My..jH.....$.$.......$$. |
| 08e0 | 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 91 d3 ff 01 ff f8 | .-....(H.H.(....DH.H............ |
| 0900 | d3 91 00 00 30 9a f8 fe 01 fe fd ad 57 00 01 00 fb 13 ab fd fe ff 02 ff fb fd ab 3f f2 fe 04 fe | ....0.......W..............?.... |
| 0920 | fa f7 67 00 00 4f fe 01 fe 07 ff 06 fe fb ef 00 00 ec fe 01 fe 07 ff 06 fe fc fd a2 11 fe 02 fe | ..g..O.......................... |
| 0940 | 07 ff 08 fe fd 4f ff fe 01 fe 07 ff 08 fe fe e5 fe 02 fe 07 ff 09 fe fe ff fe 01 fe 07 ff 09 fe | .....O.......................... |
| 0960 | fe ad fe 01 fe 07 ff 09 fe fb 47 f4 fe fe ff 06 ff 08 fe fa ec 00 5b f8 fe ff 05 ff fe b3 fe 07 | ..........G...........[......... |
| 0980 | fe f9 4f 00 00 3b a1 fc ff 02 ff fa f8 75 13 3f e6 fe 03 fe fc fd ab 13 00 02 00 fe 9a ff 01 ff | ..O..;.......u.?................ |
| 09a0 | fd b3 60 00 01 00 f8 26 9a f2 fe fe d3 91 00 04 00 fe 0d 48 01 48 fe 12 00 04 00 fb 3f 48 48 28 | ..`....&...........H.H......?HH( |
| 09c0 | 00 2d 00 00 00 00 18 00 00 00 18 00 00 00 0f 53 65 6c 65 63 74 69 6f 6e 20 4d 61 73 6b 00 00 00 | .-.............Selection.Mask... |
| 09e0 | 00 04 00 00 00 00 00 00 00 06 00 00 00 04 00 00 00 7f 00 00 00 08 00 00 00 04 00 00 00 01 00 00 | ................................ |
| 0a00 | 00 09 00 00 00 04 00 00 00 00 00 00 00 0e 00 00 00 04 00 00 00 01 00 00 00 10 00 00 00 03 00 00 | ................................ |
| 0a20 | 00 00 00 00 14 00 00 00 04 00 00 00 01 00 00 00 00 00 00 00 00 00 00 0a 39 00 00 00 18 00 00 00 | ........................9....... |
| 0a40 | 18 00 00 00 01 00 00 0a 4d 00 00 00 00 00 00 00 18 00 00 00 18 00 00 0a 5d 00 00 00 00 7f 02 40 | ........M...............]......@ |
| 0a60 | ff | . |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: ad471b1c3858b3102cf7065eafa069d268c43fca (plain)