SHA256 (foiltex.dtx) = ff6236c475e9662d12f7cf2e16c1ae3d5ea184cc3c7b45399bf3fc9b27f8d91d
SIZE (foiltex.dtx) = 174081
SHA256 (foiltex.ins) = 2939b7a6477e0a9bb49d213659fb0d11ae7a3de5c168d7f1fec38ed95bf49327
SIZE (foiltex.ins) = 6311