1744 62887 5563466 934 1023 6 34

969

0 0 0 0 2 1 44668 87 329 i01-ch2d:10 x86_64 70a921518cac038df4d85cea97f2540d 70a921518cac038df4d85cea97f2540d 537 TeXmacs.dsc dsc 1761298965 1761298969 1761299992