| 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 13 00 00 00 08 42 90 00 00 42 90 00 00 00 00 00 14 00 00 00 04 00 00 00 0e 00 | ...........B...B................ |
| 0040 | 00 00 16 00 00 00 04 00 00 00 01 00 00 00 15 00 00 01 24 00 00 00 10 67 69 6d 70 2d 69 6d 61 67 | ..................$....gimp-imag |
| 0060 | 65 2d 67 72 69 64 00 00 00 00 01 00 00 01 08 28 73 74 79 6c 65 20 69 6e 74 65 72 73 65 63 74 69 | e-grid.........(style.intersecti |
| 0080 | 6f 6e 73 29 0a 28 66 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f 72 2d 72 67 62 61 20 30 2e 30 30 30 30 | ons).(fgcolor.(color-rgba.0.0000 |
| 00a0 | 30 30 20 30 2e 30 30 30 30 30 30 20 30 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 29 29 0a | 00.0.000000.0.000000.1.000000)). |
| 00c0 | 28 62 67 63 6f 6c 6f 72 20 28 63 6f 6c 6f 72 2d 72 67 62 61 20 31 2e 30 30 30 30 30 30 20 31 2e | (bgcolor.(color-rgba.1.000000.1. |
| 00e0 | 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 20 31 2e 30 30 30 30 30 30 29 29 0a 28 78 73 70 61 | 000000.1.000000.1.000000)).(xspa |
| 0100 | 63 69 6e 67 20 31 30 2e 30 30 30 30 30 30 29 0a 28 79 73 70 61 63 69 6e 67 20 31 30 2e 30 30 30 | cing.10.000000).(yspacing.10.000 |
| 0120 | 30 30 30 29 0a 28 73 70 61 63 69 6e 67 2d 75 6e 69 74 20 69 6e 63 68 65 73 29 0a 28 78 6f 66 66 | 000).(spacing-unit.inches).(xoff |
| 0140 | 73 65 74 20 30 2e 30 30 30 30 30 30 29 0a 28 79 6f 66 66 73 65 74 20 30 2e 30 30 30 30 30 30 29 | set.0.000000).(yoffset.0.000000) |
| 0160 | 0a 28 6f 66 66 73 65 74 2d 75 6e 69 74 20 69 6e 63 68 65 73 29 0a 00 00 00 00 00 00 00 00 00 00 | .(offset-unit.inches)........... |
| 0180 | 00 01 93 00 00 06 3b 00 00 00 00 00 00 09 55 00 00 00 00 00 00 00 18 00 00 00 17 00 00 00 01 00 | ......;.......U................. |
| 01a0 | 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 00 00 08 | ...Pasted.Layer................. |
| 01c0 | 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 01 | ................................ |
| 01e0 | 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 04 | ................................ |
| 0200 | 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 00 00 00 00 01 00 00 00 07 00 00 00 04 00 00 00 00 | ................................ |
| 0220 | 00 00 00 14 00 00 00 04 00 00 00 0d 00 00 00 00 00 00 00 00 00 00 02 3c 00 00 00 00 00 00 00 18 | .......................<........ |
| 0240 | 00 00 00 17 00 00 00 04 00 00 02 50 00 00 00 00 00 00 00 18 00 00 00 17 00 00 02 60 00 00 00 00 | ...........P...............`.... |
| 0260 | 55 00 f9 09 0f 23 18 5f 5f 00 0e 00 f7 66 26 38 44 91 76 7d 69 00 0e 00 f5 8c 6d 91 93 be ae ba | U....#.__....f&8D.v}i.....m..... |
| 0280 | a5 48 66 00 0c 00 f4 a8 b3 b5 c3 ca c9 cf e0 b4 bc 03 00 0a 00 f3 2e a2 b9 cf e1 e4 ea ef e7 d8 | .Hf............................. |
| 02a0 | 7f 08 00 09 00 f2 04 89 c8 d3 e1 ec f9 ff fe eb e4 d0 9a 00 09 00 f2 25 b3 d5 e3 e6 f6 ff ff f7 | .......................%........ |
| 02c0 | e7 d7 85 47 00 09 00 fd 26 a0 e5 01 e5 f7 f1 fb f9 ed e5 c3 29 05 00 06 00 f0 03 09 17 55 b8 da | ...G....&...........)........U.. |
| 02e0 | e5 e5 e6 e7 e8 e5 e0 ac 2e 00 04 00 ed 02 0a 0c 12 21 6a b4 97 75 d4 e3 e5 e1 cf b2 99 a7 22 00 | .................!j..u........". |
| 0300 | 04 00 ed 14 17 16 22 29 5f af f8 62 82 9f c5 89 71 4d 5d a1 06 00 01 00 02 33 ee 23 16 2d 35 24 | ......")_..b....qM]......3.#.-5$ |
| 0320 | 15 0d 00 34 19 2b 67 49 44 3f 2c 41 00 01 00 f5 01 16 31 38 42 42 2b 13 06 0d 00 02 00 f9 07 2e | ...4.+gID?,A......18BB+......... |
| 0340 | 30 14 16 0b 00 02 00 f8 05 18 42 60 97 a4 28 00 10 00 fa 14 6c b7 ff ff 00 12 00 fd cd f5 00 72 | 0.........B`..(.....l..........r |
| 0360 | 00 55 00 f9 0f 1a 2f 27 a5 a6 00 0e 00 f7 b2 43 56 72 ba a5 c0 a2 00 0e 00 f5 c5 b0 c6 ce e7 df | .U..../'.......CVr.............. |
| 0380 | e7 c7 6c b2 00 0c 00 f4 cf e0 e5 ed f1 f1 f4 fc df da 03 00 0a 00 f3 36 d6 e8 f3 fd fd fe fe ff | ..l....................6........ |
| 03a0 | f2 8e 09 00 09 00 fa 04 99 f0 f6 fd ff 03 ff fc fe ed bf 00 09 00 fb 37 d2 f7 fe ff 04 ff fc f0 | .......................7........ |
| 03c0 | 9e 6a 00 09 00 fd 3f c1 ff 06 ff fc d9 30 08 00 06 00 f9 03 0a 26 6e d8 f3 ff 04 ff fc fb cd 44 | .j....?......0.......&n........D |
| 03e0 | 00 04 00 ed 02 0a 0c 12 28 94 db af 8b f1 fd ff fb e7 c8 be c0 2d 00 04 00 ed 14 17 16 22 2f 70 | ........(............-......."/p |
| 0400 | b5 fb 90 ab c4 e4 9b 8a 6a 85 b5 06 00 01 00 02 33 ee 23 16 2d 35 24 15 0d 00 56 2a 41 90 67 65 | ........j.......3.#.-5$...V*A.ge |
| 0420 | 5f 40 57 00 01 00 f5 01 16 31 38 42 42 2b 13 06 0d 00 02 00 f9 0c 4c 49 1e 22 11 00 02 00 f8 05 | _@W......18BB+........LI."...... |
| 0440 | 18 42 60 97 a4 28 00 10 00 fa 14 6c b7 ff ff 00 12 00 fd cd f5 00 72 00 55 00 f9 12 1f 35 2e c8 | .B`..(.....l..........r.U....5.. |
| 0460 | c9 00 0e 00 f7 d8 51 64 89 cd ba df bc 00 0e 00 f5 e1 d0 da e6 f3 ef f3 d0 7c d8 00 0c 00 f4 df | ......Qd.................|...... |
| 0480 | ef f2 f6 f8 f8 f9 fe ed e0 03 00 0a 00 fb 39 e9 f4 fa fe 02 fe fb ff f2 8e 09 00 09 00 fa 04 99 | ..............9................. |
| 04a0 | f8 fa fe ff 03 ff fc fe f0 cc 00 09 00 fb 3f d9 fb fe ff 04 ff fc f1 a5 7b 00 09 00 fd 4b ca ff | ..............?.........{....K.. |
| 04c0 | 06 ff fc d9 31 09 00 06 00 f9 03 0b 2e 79 dc f3 ff 04 ff fc fc d6 4e 00 04 00 ed 02 0a 0c 12 2b | ....1........y........N........+ |
| 04e0 | a9 ed b7 90 f4 fd ff fb e7 c9 cb c8 32 00 04 00 ed 14 17 16 22 31 79 b8 fd a5 bb cf ea 9c 91 77 | ............2......."1y........w |
| 0500 | 99 bc 06 00 01 00 02 33 ee 23 16 2d 35 24 15 0d 00 68 32 4c a3 75 75 6e 49 5f 00 01 00 f5 01 16 | .......3.#.-5$...h2L.uunI_...... |
| 0520 | 31 38 42 42 2b 13 06 0d 00 02 00 f9 0e 5b 54 23 27 13 00 02 00 f8 05 18 42 60 97 a4 28 00 10 00 | 18BB+........[T#'.......B`..(... |
| 0540 | fa 14 6c b7 ff ff 00 12 00 fd cd f5 00 72 00 54 00 f8 02 11 31 1d 4d 12 04 00 0e 00 f6 05 47 be | ..l..........r.T....1.M.......G. |
| 0560 | f6 ec ff dc 8e 1b 00 0d 00 fc 4b b9 fc ff 03 ff fd 91 0a 00 0b 00 fd 5c ca ff 05 ff fc d0 33 03 | ..........K............\......3. |
| 0580 | 00 09 00 fc 2d d2 fc ff 05 ff fc fa c2 35 00 08 00 fc 02 78 f3 ff 07 ff fd c3 2a 00 08 00 fc 04 | ....-........5.....x......*..... |
| 05a0 | 77 f2 ff 07 ff fd dd 44 00 09 00 fd 69 ef ff 07 ff fc df 50 03 00 04 00 f9 06 20 52 3a 4e e1 ff | w......D....i......P.......R:N.. |
| 05c0 | 07 ff fd e8 51 00 03 00 f6 14 2f 75 cf e7 b8 b7 a9 f0 ff 06 ff fd bc 23 00 03 00 f5 8c ce f7 ff | ....Q...../u...........#........ |
| 05e0 | ff ef 7a 1b 89 de ff 04 ff f6 bd 5a 05 00 00 0c 33 82 f3 ff 01 ff da fa b7 2d 00 1d 9a ee d2 fe | ..z........Z....3........-...... |
| 0600 | f0 f3 c8 43 06 00 00 1b a3 e4 fa ff fa e3 be 58 0c 02 00 01 10 2a 14 39 36 27 14 03 00 01 00 f7 | ...C...........X.....*.96'...... |
| 0620 | 11 91 f6 f4 d7 97 47 16 00 0e 00 f9 04 30 76 7c 3e 0c 00 12 00 fd 07 0b 00 72 00 00 00 00 18 00 | ......G......0v|>........r...... |
| 0640 | 00 00 17 00 00 00 01 00 00 00 0f 50 61 73 74 65 64 20 4c 61 79 65 72 23 32 00 00 00 00 02 00 00 | ...........Pasted.Layer#2....... |
| 0660 | 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 00 00 09 00 00 | ................................ |
| 0680 | 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 | ................................ |
| 06a0 | 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 | ................................ |
| 06c0 | 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 0e 00 00 | ................................ |
| 06e0 | 00 00 00 00 00 00 00 00 06 ee 00 00 00 00 00 00 00 18 00 00 00 17 00 00 00 04 00 00 07 02 00 00 | ................................ |
| 0700 | 00 00 00 00 00 18 00 00 00 17 00 00 07 12 00 00 00 00 39 87 02 88 01 89 02 87 02 88 fe 89 87 02 | ..................9............. |
| 0720 | 87 13 00 03 87 13 00 03 87 13 00 03 87 13 00 03 87 13 00 fe 88 87 01 87 13 00 fe 89 87 01 87 13 | ................................ |
| 0740 | 00 fb 8b 88 87 87 00 12 00 fb 8c 88 87 87 00 12 00 fb 8c 8a 87 87 00 12 00 fb 8b 8a 87 87 00 12 | ................................ |
| 0760 | 00 fb 8b 89 87 87 00 12 00 fb 8a 88 87 87 00 12 00 fe 89 87 01 87 13 00 03 87 13 00 03 87 13 00 | ................................ |
| 0780 | 03 87 13 00 49 87 37 0d 01 0f 02 13 01 15 fc 0d 0f 0f 13 01 13 fe 15 0d 02 0d 13 00 03 0d 13 00 | ....I.7......................... |
| 07a0 | 03 0d 13 00 01 0e 01 0d 13 00 fb 0f 0e 0d 0d 00 12 00 fb 10 0f 0d 0d 00 12 00 fb 14 10 0d 0d 00 | ................................ |
| 07c0 | 12 00 fb 1b 12 0d 0d 00 12 00 fb 1e 13 0d 0d 00 12 00 fb 1e 17 0d 0d 00 12 00 fb 1c 17 0d 0d 00 | ................................ |
| 07e0 | 12 00 fb 1c 14 0d 0d 00 12 00 fb 18 11 0d 0d 00 12 00 fb 13 0f 0d 0d 00 12 00 fb 0f 0e 0d 0d 00 | ................................ |
| 0800 | 12 00 fb 0d 0e 0d 0d 00 12 00 03 0d 13 00 0c 0d 03 0e 03 0d 02 0e 31 0d 37 0d 01 0f 02 13 01 15 | ......................1.7....... |
| 0820 | fc 0d 0f 0f 13 01 13 fe 15 0d 02 0d 13 00 03 0d 13 00 03 0d 13 00 01 0e 01 0d 13 00 fb 0f 0e 0d | ................................ |
| 0840 | 0d 00 12 00 fb 10 0f 0d 0d 00 12 00 fb 14 10 0d 0d 00 12 00 fb 1b 12 0d 0d 00 12 00 fb 1e 13 0d | ................................ |
| 0860 | 0d 00 12 00 fb 1e 17 0d 0d 00 12 00 fb 1c 17 0d 0d 00 12 00 fb 1c 14 0d 0d 00 12 00 fb 18 11 0d | ................................ |
| 0880 | 0d 00 12 00 fb 13 0f 0d 0d 00 12 00 fb 0f 0e 0d 0d 00 12 00 fb 0d 0e 0d 0d 00 12 00 03 0d 13 00 | ................................ |
| 08a0 | 0c 0d 03 0e 03 0d 02 0e 31 0d 16 aa fe 71 ff 15 ff fc aa ff c6 55 12 55 fb ff aa ff aa 00 12 00 | ........1....q.......U.U........ |
| 08c0 | fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 | ................................ |
| 08e0 | fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 | ................................ |
| 0900 | fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 | ................................ |
| 0920 | fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 fb ff aa ff aa 00 12 00 | ................................ |
| 0940 | fb ff aa ff e2 aa 12 aa fd ff aa ff 15 ff fe aa 55 15 55 00 38 00 00 00 18 00 00 00 18 00 00 00 | ................U.U.8........... |
| 0960 | 0f 53 65 6c 65 63 74 69 6f 6e 20 4d 61 73 6b 00 00 00 00 04 00 00 00 00 00 00 00 06 00 00 00 04 | .Selection.Mask................. |
| 0980 | 00 00 00 7f 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 0e | ................................ |
| 09a0 | 00 00 00 04 00 00 00 01 00 00 00 10 00 00 00 03 00 00 00 00 00 00 14 00 00 00 04 00 00 00 01 00 | ................................ |
| 09c0 | 00 00 00 00 00 00 00 00 00 09 cb 00 00 00 18 00 00 00 18 00 00 00 01 00 00 09 df 00 00 00 00 00 | ................................ |
| 09e0 | 00 00 18 00 00 00 18 00 00 09 ef 00 00 00 00 7f 02 40 ff | .................@. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: ed1551496746c33bc61e79183c8f6f2e79046cb7 (plain)