| 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 0e 00 00 00 16 00 00 00 04 00 00 00 01 00 00 00 00 00 00 00 00 | ................................ |
| 0060 | 00 00 00 74 00 00 02 08 00 00 05 23 00 00 00 00 00 00 00 00 00 00 00 20 00 00 00 07 00 00 00 01 | ...t.......#.................... |
| 0080 | 00 00 00 0d 54 65 78 74 20 4c 61 79 65 72 23 32 00 00 00 00 02 00 00 00 00 00 00 00 06 00 00 00 | ....Text.Layer#2................ |
| 00a0 | 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 00 00 | ................................ |
| 00c0 | 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 00 00 | ................................ |
| 00e0 | 00 00 00 00 0d 00 00 00 04 00 00 00 00 00 00 00 0f 00 00 00 08 00 00 00 00 00 00 00 17 00 00 00 | ................................ |
| 0100 | 07 00 00 00 04 00 00 00 00 00 00 00 14 00 00 00 04 00 00 00 0e 00 00 00 00 00 00 00 00 00 00 01 | ................................ |
| 0120 | 25 00 00 00 00 00 00 00 20 00 00 00 07 00 00 00 04 00 00 01 39 00 00 00 00 00 00 00 20 00 00 00 | %...................9........... |
| 0140 | 07 00 00 01 49 00 00 00 00 7f 00 e0 00 7f 00 e0 00 7f 00 e0 00 1d 00 f7 12 4b 00 30 c7 ab 9c 18 | ....I....................K.0.... |
| 0160 | 00 16 00 80 00 a2 23 bb 00 b4 3e 01 1c 1c 8f 7c 38 9f 51 87 2a 73 3d 98 54 89 31 6f 0b 35 9d aa | ......#...>....|8.Q.*s=.T.1o.5.. |
| 0180 | 2a 88 3c 82 0a 36 b3 b4 1c bb 11 00 0b aa 21 ab 40 d7 7d e6 94 b9 20 d0 7f ed 98 b7 15 b7 3c a2 | *.<..6........!.@.}...........<. |
| 01a0 | 2a aa 75 cf 43 c2 35 72 55 a7 00 00 35 a2 05 8e 38 ef 61 c9 1c a0 10 e4 63 d0 2a 97 6e 85 7f 95 | *.u.C.5rU...5...8.a.....c.*.n... |
| 01c0 | 32 b5 25 b7 6a 58 76 7c 1c c5 1b 01 51 be 28 a9 55 b3 4a 93 20 a2 50 a7 55 92 30 95 9c ba ad 60 | 2.%.jXv|....Q.(.U.J...P.U.0....` |
| 01e0 | 40 78 51 a2 9f 91 b1 58 00 5f aa 6e 1c 82 a3 21 40 66 3e 4b 46 8f 5a 5f 46 45 4d 8c 58 8b 6c 76 | @xQ....X._.n...!@f>KF.Z_FEM.X.lv |
| 0200 | 40 45 50 8a 6d 8d 5c 5f 00 00 00 1e 00 00 00 17 00 00 00 01 00 00 00 0d 50 61 73 74 65 64 20 4c | @EP.m.\_................Pasted.L |
| 0220 | 61 79 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 | ayer............................ |
| 0240 | 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 00 00 | ................................ |
| 0260 | 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 00 00 | ................................ |
| 0280 | 08 00 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 | ................................ |
| 02a0 | 03 00 00 00 00 00 00 00 00 00 00 02 b1 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 00 04 00 00 02 | ................................ |
| 02c0 | c5 00 00 00 00 00 00 00 1e 00 00 00 17 00 00 02 d5 00 00 00 00 5b 87 19 00 03 87 19 00 03 87 19 | .....................[.......... |
| 02e0 | 00 03 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 | ................................ |
| 0300 | 8b 00 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 | ................................ |
| 0320 | 00 18 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 | ................................ |
| 0340 | 88 01 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 | .........E.?.................... |
| 0360 | 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 01 0d fd 14 1c | ................................ |
| 0380 | 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 01 0d fd 12 1b | ................................ |
| 03a0 | 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 01 0d 01 0e 19 | ................................ |
| 03c0 | 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 01 13 01 0f 43 | ...............................C |
| 03e0 | 0d 3f 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 | .?.............................. |
| 0400 | 00 01 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 | ................................ |
| 0420 | 00 01 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 | ................................ |
| 0440 | 00 01 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 | ................................ |
| 0460 | 0d 02 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 | .....................C..8U.U.... |
| 0480 | ff fd 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 | ................................ |
| 04a0 | 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 aa ff 00 18 00 fb | ................................ |
| 04c0 | 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 aa ff 00 18 00 fb | ................................ |
| 04e0 | 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 aa ff 00 18 00 fb | ................................ |
| 0500 | aa ff 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 | ....................U.U........q |
| 0520 | aa 1b aa 00 00 00 20 00 00 00 20 00 00 00 01 00 00 00 0b 42 61 63 6b 67 72 6f 75 6e 64 00 00 00 | ...................Background... |
| 0540 | 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 00 04 00 00 | ................................ |
| 0560 | 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 00 00 00 0c 00 00 | ................................ |
| 0580 | 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 00 00 00 00 | ................................ |
| 05a0 | 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 00 00 00 00 00 00 | ................................ |
| 05c0 | 00 00 00 00 05 ca 00 00 00 00 00 00 00 20 00 00 00 20 00 00 00 04 00 00 05 de 00 00 00 00 00 00 | ................................ |
| 05e0 | 00 20 00 00 00 20 00 00 05 ee 00 00 00 00 7f 04 00 bc 7f 04 00 bc 7f 04 00 bc 7f 04 00 ff | .............................. |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
blob: d84651a057e9755dd259421248f36774fa9a8c75 (plain)