../ CVS/ 10-Jun-2022 18:20 - P4032 10-Jun-2022 18:20 10272 P5064 10-Jun-2022 18:20 13035 P5064-64 13-Aug-2017 11:02 264 P6032 10-Jun-2022 18:20 13352 files.algor 13-Aug-2017 11:02 4445 majors.algor 04-Aug-2021 20:41 2607 std.algor 09-Jul-2011 16:03 482 std.algor64 04-Aug-2021 20:41 352