Index of /cmucl/downloads/maxima/new-cat
 Name                     Last modified      Size  Description
 Parent Directory                              -   
 maxima_toc.html          2023-07-17 19:09   71K  
 maxima_singlepage.html   2023-07-17 19:09  5.8M  
 maxima_409.html          2023-07-17 19:09  5.0K  
 maxima_408.html          2023-07-17 19:09  427K  
 maxima_407.html          2023-07-17 19:09  515K  
 maxima_406.html          2023-07-17 19:09  593K  
 maxima_405.html          2023-07-17 19:09  6.9K  
 maxima_404.html          2023-07-17 19:09  4.4K  
 maxima_403.html          2023-07-17 19:09  5.4K  
 maxima_402.html          2023-07-17 19:09  5.2K  
 maxima_401.html          2023-07-17 19:09  4.4K  
 maxima_400.html          2023-07-17 19:09  4.8K  
 maxima_399.html          2023-07-17 19:09  5.6K  
 maxima_398.html          2023-07-17 19:09  4.7K  
 maxima_397.html          2023-07-17 19:09  5.6K  
 maxima_396.html          2023-07-17 19:09  5.4K  
 maxima_395.html          2023-07-17 19:09  4.9K  
 maxima_394.html          2023-07-17 19:09  5.1K  
 maxima_393.html          2023-07-17 19:09  5.6K  
 maxima_392.html          2023-07-17 19:09  4.9K  
 maxima_391.html          2023-07-17 19:09  4.9K  
 maxima_390.html          2023-07-17 19:09  4.9K  
 maxima_389.html          2023-07-17 19:09  4.9K  
 maxima_388.html          2023-07-17 19:09  5.6K  
 maxima_387.html          2023-07-17 19:09  4.9K  
 maxima_386.html          2023-07-17 19:09  5.4K  
 maxima_385.html          2023-07-17 19:09  4.5K  
 maxima_384.html          2023-07-17 19:09   19K  
 maxima_383.html          2023-07-17 19:09  8.5K  
 maxima_382.html          2023-07-17 19:09  4.6K  
 maxima_381.html          2023-07-17 19:09   14K  
 maxima_380.html          2023-07-17 19:09  5.6K  
 maxima_379.html          2023-07-17 19:09  4.3K  
 maxima_378.html          2023-07-17 19:09   26K  
 maxima_377.html          2023-07-17 19:09  8.3K  
 maxima_376.html          2023-07-17 19:09  4.3K  
 maxima_375.html          2023-07-17 19:09   66K  
 maxima_374.html          2023-07-17 19:09  4.3K  
 maxima_373.html          2023-07-17 19:09   23K  
 maxima_372.html          2023-07-17 19:09   35K  
 maxima_371.html          2023-07-17 19:09   30K  
 maxima_370.html          2023-07-17 19:09   30K  
 maxima_369.html          2023-07-17 19:09  9.0K  
 maxima_368.html          2023-07-17 19:09  4.6K  
 maxima_367.html          2023-07-17 19:09  7.8K  
 maxima_366.html          2023-07-17 19:09  4.2K  
 maxima_365.html          2023-07-17 19:09  7.4K  
 maxima_364.html          2023-07-17 19:09   48K  
 maxima_363.html          2023-07-17 19:09   11K  
 maxima_362.html          2023-07-17 19:09  5.7K  
 maxima_361.html          2023-07-17 19:09  4.5K  
 maxima_360.html          2023-07-17 19:09   16K  
 maxima_359.html          2023-07-17 19:09  5.5K  
 maxima_358.html          2023-07-17 19:09  4.3K  
 maxima_357.html          2023-07-17 19:09  6.0K  
 maxima_356.html          2023-07-17 19:09  6.9K  
 maxima_355.html          2023-07-17 19:09  9.1K  
 maxima_354.html          2023-07-17 19:09   25K  
 maxima_353.html          2023-07-17 19:09   14K  
 maxima_352.html          2023-07-17 19:09  6.0K  
 maxima_351.html          2023-07-17 19:09  4.6K  
 maxima_350.html          2023-07-17 19:09  4.7K  
 maxima_349.html          2023-07-17 19:09   15K  
 maxima_348.html          2023-07-17 19:09  7.8K  
 maxima_347.html          2023-07-17 19:09  4.3K  
 maxima_346.html          2023-07-17 19:09   14K  
 maxima_345.html          2023-07-17 19:09  4.2K  
 maxima_344.html          2023-07-17 19:09  8.8K  
 maxima_343.html          2023-07-17 19:09  5.6K  
 maxima_342.html          2023-07-17 19:09   22K  
 maxima_341.html          2023-07-17 19:09  5.7K  
 maxima_340.html          2023-07-17 19:09  4.4K  
 maxima_339.html          2023-07-17 19:09  9.0K  
 maxima_338.html          2023-07-17 19:09  7.3K  
 maxima_337.html          2023-07-17 19:09  7.5K  
 maxima_336.html          2023-07-17 19:09  4.4K  
 maxima_335.html          2023-07-17 19:09   10K  
 maxima_334.html          2023-07-17 19:09  4.7K  
 maxima_333.html          2023-07-17 19:09  4.3K  
 maxima_332.html          2023-07-17 19:09   47K  
 maxima_331.html          2023-07-17 19:09   26K  
 maxima_330.html          2023-07-17 19:09  4.3K  
 maxima_329.html          2023-07-17 19:09  7.4K  
 maxima_328.html          2023-07-17 19:09  4.3K  
 maxima_327.html          2023-07-17 19:09  4.7K  
 maxima_326.html          2023-07-17 19:09  5.6K  
 maxima_325.html          2023-07-17 19:09  6.2K  
 maxima_324.html          2023-07-17 19:09  4.6K  
 maxima_323.html          2023-07-17 19:09  4.5K  
 maxima_322.html          2023-07-17 19:09   10K  
 maxima_321.html          2023-07-17 19:09  7.8K  
 maxima_320.html          2023-07-17 19:09  6.1K  
 maxima_319.html          2023-07-17 19:09  4.3K  
 maxima_318.html          2023-07-17 19:09   14K  
 maxima_317.html          2023-07-17 19:09   18K  
 maxima_316.html          2023-07-17 19:09   10K  
 maxima_315.html          2023-07-17 19:09  4.5K  
 maxima_314.html          2023-07-17 19:09  8.4K  
 maxima_313.html          2023-07-17 19:09  4.9K  
 maxima_312.html          2023-07-17 19:09  4.3K  
 maxima_311.html          2023-07-17 19:09  6.2K  
 maxima_310.html          2023-07-17 19:09  4.3K  
 maxima_309.html          2023-07-17 19:09   10K  
 maxima_308.html          2023-07-17 19:09  5.1K  
 maxima_307.html          2023-07-17 19:09  4.3K  
 maxima_306.html          2023-07-17 19:09   32K  
 maxima_305.html          2023-07-17 19:09  5.0K  
 maxima_304.html          2023-07-17 19:09  4.3K  
 maxima_303.html          2023-07-17 19:09   55K  
 maxima_302.html          2023-07-17 19:09  8.3K  
 maxima_301.html          2023-07-17 19:09  4.4K  
 maxima_300.html          2023-07-17 19:09  6.7K  
 maxima_299.html          2023-07-17 19:09  4.3K  
 maxima_298.html          2023-07-17 19:09   21K  
 maxima_297.html          2023-07-17 19:09  5.6K  
 maxima_296.html          2023-07-17 19:09  4.3K  
 maxima_295.html          2023-07-17 19:09   32K  
 maxima_294.html          2023-07-17 19:09  5.0K  
 maxima_293.html          2023-07-17 19:09  4.3K  
 maxima_292.html          2023-07-17 19:09   21K  
 maxima_291.html          2023-07-17 19:09  5.1K  
 maxima_290.html          2023-07-17 19:09  4.3K  
 maxima_289.html          2023-07-17 19:09  5.4K  
 maxima_288.html          2023-07-17 19:09  4.2K  
 maxima_287.html          2023-07-17 19:09   12K  
 maxima_286.html          2023-07-17 19:09  4.6K  
 maxima_285.html          2023-07-17 19:09  4.3K  
 maxima_284.html          2023-07-17 19:09   43K  
 maxima_283.html          2023-07-17 19:09  7.0K  
 maxima_282.html          2023-07-17 19:09  4.3K  
 maxima_281.html          2023-07-17 19:09  169K  
 maxima_280.html          2023-07-17 19:09  5.7K  
 maxima_279.html          2023-07-17 19:09  4.3K  
 maxima_278.html          2023-07-17 19:09  7.2K  
 maxima_277.html          2023-07-17 19:09  4.2K  
 maxima_276.html          2023-07-17 19:09  8.5K  
 maxima_275.html          2023-07-17 19:09   17K  
 maxima_274.html          2023-07-17 19:09  7.0K  
 maxima_273.html          2023-07-17 19:09   15K  
 maxima_272.html          2023-07-17 19:09  4.5K  
 maxima_271.html          2023-07-17 19:09  4.5K  
 maxima_270.html          2023-07-17 19:09  5.8K  
 maxima_269.html          2023-07-17 19:09  5.6K  
 maxima_268.html          2023-07-17 19:09  8.6K  
 maxima_267.html          2023-07-17 19:09  7.4K  
 maxima_266.html          2023-07-17 19:09  4.9K  
 maxima_265.html          2023-07-17 19:09  4.5K  
 maxima_264.html          2023-07-17 19:09   22K  
 maxima_263.html          2023-07-17 19:09  4.9K  
 maxima_262.html          2023-07-17 19:09  4.3K  
 maxima_261.html          2023-07-17 19:09  9.2K  
 maxima_260.html          2023-07-17 19:09  4.2K  
 maxima_259.html          2023-07-17 19:09   42K  
 maxima_258.html          2023-07-17 19:09   11K  
 maxima_257.html          2023-07-17 19:09  9.3K  
 maxima_256.html          2023-07-17 19:09  4.4K  
 maxima_255.html          2023-07-17 19:09  8.6K  
 maxima_254.html          2023-07-17 19:09  4.5K  
 maxima_253.html          2023-07-17 19:09   46K  
 maxima_252.html          2023-07-17 19:09   16K  
 maxima_251.html          2023-07-17 19:09  5.4K  
 maxima_250.html          2023-07-17 19:09  4.4K  
 maxima_249.html          2023-07-17 19:09   14K  
 maxima_248.html          2023-07-17 19:09  7.0K  
 maxima_247.html          2023-07-17 19:09  4.3K  
 maxima_246.html          2023-07-17 19:09   22K  
 maxima_245.html          2023-07-17 19:09   13K  
 maxima_244.html          2023-07-17 19:09  230K  
 maxima_243.html          2023-07-17 19:09  8.0K  
 maxima_242.html          2023-07-17 19:09  4.4K  
 maxima_241.html          2023-07-17 19:09   15K  
 maxima_240.html          2023-07-17 19:09   17K  
 maxima_239.html          2023-07-17 19:09   15K  
 maxima_238.html          2023-07-17 19:09   15K  
 maxima_237.html          2023-07-17 19:09   16K  
 maxima_236.html          2023-07-17 19:09   14K  
 maxima_235.html          2023-07-17 19:09   15K  
 maxima_234.html          2023-07-17 19:09   15K  
 maxima_233.html          2023-07-17 19:09  5.0K  
 maxima_232.html          2023-07-17 19:09   14K  
 maxima_231.html          2023-07-17 19:09  9.3K  
 maxima_230.html          2023-07-17 19:09   14K  
 maxima_229.html          2023-07-17 19:09   17K  
 maxima_228.html          2023-07-17 19:09   14K  
 maxima_227.html          2023-07-17 19:09   14K  
 maxima_226.html          2023-07-17 19:09   14K  
 maxima_225.html          2023-07-17 19:09   15K  
 maxima_224.html          2023-07-17 19:09   14K  
 maxima_223.html          2023-07-17 19:09   15K  
 maxima_222.html          2023-07-17 19:09   15K  
 maxima_221.html          2023-07-17 19:09   16K  
 maxima_220.html          2023-07-17 19:09   15K  
 maxima_219.html          2023-07-17 19:09   15K  
 maxima_218.html          2023-07-17 19:09   16K  
 maxima_217.html          2023-07-17 19:09   21K  
 maxima_216.html          2023-07-17 19:09   16K  
 maxima_215.html          2023-07-17 19:09   15K  
 maxima_214.html          2023-07-17 19:09  5.8K  
 maxima_213.html          2023-07-17 19:09   10K  
 maxima_212.html          2023-07-17 19:09  4.4K  
 maxima_211.html          2023-07-17 19:09   20K  
 maxima_210.html          2023-07-17 19:09  4.2K  
 maxima_209.html          2023-07-17 19:09   35K  
 maxima_208.html          2023-07-17 19:09   58K  
 maxima_207.html          2023-07-17 19:09   22K  
 maxima_206.html          2023-07-17 19:09   10K  
 maxima_205.html          2023-07-17 19:09  4.5K  
 maxima_204.html          2023-07-17 19:09  5.8K  
 maxima_203.html          2023-07-17 19:09  5.1K  
 maxima_202.html          2023-07-17 19:09  5.5K  
 maxima_201.html          2023-07-17 19:09   18K  
 maxima_200.html          2023-07-17 19:09   11K  
 maxima_199.html          2023-07-17 19:09  4.6K  
 maxima_198.html          2023-07-17 19:09   28K  
 maxima_197.html          2023-07-17 19:09  6.6K  
 maxima_196.html          2023-07-17 19:09  4.3K  
 maxima_195.html          2023-07-17 19:09  6.2K  
 maxima_194.html          2023-07-17 19:09  9.4K  
 maxima_193.html          2023-07-17 19:09  7.4K  
 maxima_192.html          2023-07-17 19:09  4.4K  
 maxima_191.html          2023-07-17 19:09  8.2K  
 maxima_190.html          2023-07-17 19:09  4.3K  
 maxima_189.html          2023-07-17 19:09  8.0K  
 maxima_188.html          2023-07-17 19:09  4.2K  
 maxima_187.html          2023-07-17 19:09  8.3K  
 maxima_186.html          2023-07-17 19:09  4.2K  
 maxima_185.html          2023-07-17 19:09   17K  
 maxima_184.html          2023-07-17 19:09  4.6K  
 maxima_183.html          2023-07-17 19:09   11K  
 maxima_182.html          2023-07-17 19:09  4.3K  
 maxima_181.html          2023-07-17 19:09  9.6K  
 maxima_180.html          2023-07-17 19:09  4.4K  
 maxima_179.html          2023-07-17 19:09  4.1K  
 maxima_178.html          2023-07-17 19:09  5.2K  
 maxima_177.html          2023-07-17 19:09  4.3K  
 maxima_176.html          2023-07-17 19:09   18K  
 maxima_175.html          2023-07-17 19:09  7.5K  
 maxima_174.html          2023-07-17 19:09  4.3K  
 maxima_173.html          2023-07-17 19:09   21K  
 maxima_172.html          2023-07-17 19:09  7.4K  
 maxima_171.html          2023-07-17 19:09  8.3K  
 maxima_170.html          2023-07-17 19:09  4.4K  
 maxima_169.html          2023-07-17 19:09   52K  
 maxima_168.html          2023-07-17 19:09  4.6K  
 maxima_167.html          2023-07-17 19:09  5.6K  
 maxima_166.html          2023-07-17 19:09  9.4K  
 maxima_165.html          2023-07-17 19:09  4.5K  
 maxima_164.html          2023-07-17 19:09   97K  
 maxima_163.html          2023-07-17 19:09   17K  
 maxima_162.html          2023-07-17 19:09   12K  
 maxima_161.html          2023-07-17 19:09  4.4K  
 maxima_160.html          2023-07-17 19:09  4.5K  
 maxima_159.html          2023-07-17 19:09   75K  
 maxima_158.html          2023-07-17 19:09   13K  
 maxima_157.html          2023-07-17 19:09  4.3K  
 maxima_156.html          2023-07-17 19:09   58K  
 maxima_155.html          2023-07-17 19:09  5.8K  
 maxima_154.html          2023-07-17 19:09  4.4K  
 maxima_153.html          2023-07-17 19:09   15K  
 maxima_152.html          2023-07-17 19:09  5.0K  
 maxima_151.html          2023-07-17 19:09  4.6K  
 maxima_150.html          2023-07-17 19:09  4.5K  
 maxima_149.html          2023-07-17 19:09   28K  
 maxima_148.html          2023-07-17 19:09  5.7K  
 maxima_147.html          2023-07-17 19:09  5.7K  
 maxima_146.html          2023-07-17 19:09  4.5K  
 maxima_145.html          2023-07-17 19:09  6.3K  
 maxima_144.html          2023-07-17 19:09  4.2K  
 maxima_143.html          2023-07-17 19:09   68K  
 maxima_142.html          2023-07-17 19:09  6.5K  
 maxima_141.html          2023-07-17 19:09  4.3K  
 maxima_140.html          2023-07-17 19:09   86K  
 maxima_139.html          2023-07-17 19:09  4.3K  
 maxima_138.html          2023-07-17 19:09   14K  
 maxima_137.html          2023-07-17 19:09   16K  
 maxima_136.html          2023-07-17 19:09  5.3K  
 maxima_135.html          2023-07-17 19:09   42K  
 maxima_134.html          2023-07-17 19:09  4.9K  
 maxima_133.html          2023-07-17 19:09   20K  
 maxima_132.html          2023-07-17 19:09  4.8K  
 maxima_131.html          2023-07-17 19:09   15K  
 maxima_130.html          2023-07-17 19:09  8.8K  
 maxima_129.html          2023-07-17 19:09  4.3K  
 maxima_128.html          2023-07-17 19:09   94K  
 maxima_127.html          2023-07-17 19:09  8.8K  
 maxima_126.html          2023-07-17 19:09  4.3K  
 maxima_125.html          2023-07-17 19:09  111K  
 maxima_124.html          2023-07-17 19:09   18K  
 maxima_123.html          2023-07-17 19:09  4.3K  
 maxima_122.html          2023-07-17 19:09   17K  
 maxima_121.html          2023-07-17 19:09  5.0K  
 maxima_120.html          2023-07-17 19:09  4.3K  
 maxima_119.html          2023-07-17 19:09   99K  
 maxima_118.html          2023-07-17 19:09  5.8K  
 maxima_117.html          2023-07-17 19:09  6.0K  
 maxima_116.html          2023-07-17 19:09  5.8K  
 maxima_115.html          2023-07-17 19:09  6.4K  
 maxima_114.html          2023-07-17 19:09  4.9K  
 maxima_113.html          2023-07-17 19:09  4.4K  
 maxima_112.html          2023-07-17 19:09   21K  
 maxima_111.html          2023-07-17 19:09  6.1K  
 maxima_110.html          2023-07-17 19:09   15K  
 maxima_109.html          2023-07-17 19:09   11K  
 maxima_108.html          2023-07-17 19:09   21K  
 maxima_107.html          2023-07-17 19:09  5.0K  
 maxima_106.html          2023-07-17 19:09  4.8K  
 maxima_105.html          2023-07-17 19:09   19K  
 maxima_104.html          2023-07-17 19:09  5.0K  
 maxima_103.html          2023-07-17 19:09  4.4K  
 maxima_102.html          2023-07-17 19:09   70K  
 maxima_101.html          2023-07-17 19:09  4.3K  
 maxima_100.html          2023-07-17 19:09   38K  
 maxima_99.html           2023-07-17 19:09   12K  
 maxima_98.html           2023-07-17 19:09   40K  
 maxima_97.html           2023-07-17 19:09  5.5K  
 maxima_96.html           2023-07-17 19:09  4.5K  
 maxima_95.html           2023-07-17 19:09   51K  
 maxima_94.html           2023-07-17 19:09  4.3K  
 maxima_93.html           2023-07-17 19:09   12K  
 maxima_92.html           2023-07-17 19:09  4.2K  
 maxima_91.html           2023-07-17 19:09   15K  
 maxima_90.html           2023-07-17 19:09   24K  
 maxima_89.html           2023-07-17 19:09  8.8K  
 maxima_88.html           2023-07-17 19:09  4.5K  
 maxima_87.html           2023-07-17 19:09   18K  
 maxima_86.html           2023-07-17 19:09  6.3K  
 maxima_85.html           2023-07-17 19:09   10K  
 maxima_84.html           2023-07-17 19:09  7.5K  
 maxima_83.html           2023-07-17 19:09   11K  
 maxima_82.html           2023-07-17 19:09   15K  
 maxima_81.html           2023-07-17 19:09   53K  
 maxima_80.html           2023-07-17 19:09  9.9K  
 maxima_79.html           2023-07-17 19:09   22K  
 maxima_78.html           2023-07-17 19:09  6.7K  
 maxima_77.html           2023-07-17 19:09  4.9K  
 maxima_76.html           2023-07-17 19:09  112K  
 maxima_75.html           2023-07-17 19:09  7.6K  
 maxima_74.html           2023-07-17 19:09  4.4K  
 maxima_73.html           2023-07-17 19:09  8.9K  
 maxima_72.html           2023-07-17 19:09   19K  
 maxima_71.html           2023-07-17 19:09   48K  
 maxima_70.html           2023-07-17 19:09  5.6K  
 maxima_69.html           2023-07-17 19:09  5.6K  
 maxima_68.html           2023-07-17 19:09  4.6K  
 maxima_67.html           2023-07-17 19:09  8.0K  
 maxima_66.html           2023-07-17 19:09   22K  
 maxima_65.html           2023-07-17 19:09   56K  
 maxima_64.html           2023-07-17 19:09   39K  
 maxima_63.html           2023-07-17 19:09  8.2K  
 maxima_62.html           2023-07-17 19:09  7.3K  
 maxima_61.html           2023-07-17 19:09  4.6K  
 maxima_60.html           2023-07-17 19:09   16K  
 maxima_59.html           2023-07-17 19:09   34K  
 maxima_58.html           2023-07-17 19:09   46K  
 maxima_57.html           2023-07-17 19:09  4.6K  
 maxima_56.html           2023-07-17 19:09  4.6K  
 maxima_55.html           2023-07-17 19:09  8.6K  
 maxima_54.html           2023-07-17 19:09   40K  
 maxima_53.html           2023-07-17 19:09  5.8K  
 maxima_52.html           2023-07-17 19:09  4.7K  
 maxima_51.html           2023-07-17 19:09   31K  
 maxima_50.html           2023-07-17 19:09   19K  
 maxima_49.html           2023-07-17 19:09   18K  
 maxima_48.html           2023-07-17 19:09   27K  
 maxima_47.html           2023-07-17 19:09  4.7K  
 maxima_46.html           2023-07-17 19:09   57K  
 maxima_45.html           2023-07-17 19:09   16K  
 maxima_44.html           2023-07-17 19:09  4.4K  
 maxima_43.html           2023-07-17 19:09   35K  
 maxima_42.html           2023-07-17 19:09  4.2K  
 maxima_41.html           2023-07-17 19:09   19K  
 maxima_40.html           2023-07-17 19:09   20K  
 maxima_39.html           2023-07-17 19:09   11K  
 maxima_38.html           2023-07-17 19:09  8.7K  
 maxima_37.html           2023-07-17 19:09  8.9K  
 maxima_36.html           2023-07-17 19:09   17K  
 maxima_35.html           2023-07-17 19:09  9.4K  
 maxima_34.html           2023-07-17 19:09  4.6K  
 maxima_33.html           2023-07-17 19:09   92K  
 maxima_32.html           2023-07-17 19:09  4.6K  
 maxima_31.html           2023-07-17 19:09  6.8K  
 maxima_30.html           2023-07-17 19:09  7.5K  
 maxima_29.html           2023-07-17 19:09  6.0K  
 maxima_28.html           2023-07-17 19:09  4.5K  
 maxima_27.html           2023-07-17 19:09   10K  
 maxima_26.html           2023-07-17 19:09  6.1K  
 maxima_25.html           2023-07-17 19:09  4.3K  
 maxima_24.html           2023-07-17 19:09   35K  
 maxima_23.html           2023-07-17 19:09  5.9K  
 maxima_22.html           2023-07-17 19:09  6.5K  
 maxima_21.html           2023-07-17 19:09   73K  
 maxima_20.html           2023-07-17 19:09  5.3K  
 maxima_19.html           2023-07-17 19:09  4.5K  
 maxima_18.html           2023-07-17 19:09   16K  
 maxima_17.html           2023-07-17 19:09  4.4K  
 maxima_16.html           2023-07-17 19:09   10K  
 maxima_15.html           2023-07-17 19:09  6.8K  
 maxima_14.html           2023-07-17 19:09  4.5K  
 maxima_13.html           2023-07-17 19:09   29K  
 maxima_12.html           2023-07-17 19:09  5.2K  
 maxima_11.html           2023-07-17 19:09  4.5K  
 maxima_10.html           2023-07-17 19:09  4.6K  
 maxima_9.html            2023-07-17 19:09   55K  
 maxima_8.html            2023-07-17 19:09   54K  
 maxima_7.html            2023-07-17 19:09  4.5K  
 maxima_6.html            2023-07-17 19:09  4.4K  
 maxima_5.html            2023-07-17 19:09   19K  
 maxima_4.html            2023-07-17 19:09  5.2K  
 maxima_3.html            2023-07-17 19:09  4.3K  
 maxima_2.html            2023-07-17 19:09   13K  
 maxima_1.html            2023-07-17 19:09  4.4K  
 maxima.html              2023-07-17 19:09   11K  
 maxima-cat-index.zip     2023-07-17 19:50  2.3M