100644 blob 943ea72bed6b757f38c350785a927e11b47a72f0	keydiag.graffle
100644 blob 643c484a429e572e1c4b4e593b87bc28961333e8	keydiag.pdf
100644 blob e46a8855ac636d2deddfddc2d28454c4a2cf3e41	resolver.tex
100644 blob bd7372c344685aede36f8bfeaf6ec78cf40a40d0	resolver2.pdf
100644 blob 89582ac5cd9ce840707e27c644993dead054161f	resolver2.tex
100644 blob 2060b9cb7eab8be2421a384a06405cf23a74cfa8	usesCase1.graffle
100644 blob 1e66f6f1f3d9b1953172ae160ae46043ecc220b2	usesCase1.pdf
100644 blob fb9e59f77df48709b4f3d692e60ed65b368bd2bb	usesCase2.graffle
100644 blob e7884547ba56e4a5577bc8690d63f565008d78a9	usesCase2.pdf
100644 blob b17e34cca576160d220480cf2a61b12663511062	zed-cm.sty