/Makefile/1.2/Sat Jan  5 21:52:57 2019//
/literal.in/1.1/Sat Jan  5 21:13:55 2019//
/literal.out_ascii/1.2/Mon Jun 28 19:59:10 2021//
/literal.out_html/1.4/Fri Oct 16 17:22:39 2020//
D
