gistfile1.txt

76K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/lib/graph
2.2M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/lib
128K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/algebra/DEPENDENTS.DAASE
376K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/algebra/USERS.DAASE
58M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/algebra
0	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/autoload
1.1M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/spadhelp
48K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/msgs
0	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/texmf/tex
0	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/texmf
5.5M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/hypertex/pages
1.1M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/hypertex/bitmaps
6.6M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/hypertex
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsPage5.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgCompFunsPage3.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage6.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsExamplePage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDbuildPage42.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsExamplePage4.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsExamplePage2.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot2d4.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsPage5.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgPLCPage10.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDPlotPage4.VIEW
228K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage20.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage3.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage2.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDPlotPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ImplicitCurveGraphicsExamplePage2.VIEW
228K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphMakeObjectPage4.VIEW
308K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage13.VIEW
228K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage17.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot2DPolar1.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsPage1.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/SpaceCurveGraphicsPage5.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDbuildPage37.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage6.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDParPage6.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntroGraphicsPage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDParmPage1.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot2d3.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot3d2.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDBuildPage28.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage6.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage4.VIEW
384K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphClipPage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage2.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot3DParametricCurve1.VIEW
344K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ThreeDimensionalGraphicsExamplePage2.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage5.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphCoordPage4.VIEW
340K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ThreeDimensionalGraphicsExamplePage6.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ImplicitCurveGraphicsExamplePage6.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsPage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage31.VIEW
212K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricSurfaceGraphicsPage1.VIEW
240K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage30.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ListPointsGraphicsPage24.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ImplicitCurveGraphicsPage2.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage1.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage11.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsPage4.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgDrawingPage2.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot2d2.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot3DParametricSurface1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage12.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot3DFunctions1.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage32.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/SegmentBindingXmpPage3.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsPage7.VIEW
212K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricSurfaceGraphicsPage5.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphCoordPage6.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot3d1.VIEW
288K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ThreeDimensionalGraphicsExamplePage10.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDPlanePage2.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ThreeDimensionalGraphicsExamplePage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsExamplePage1.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot3d5.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage8.VIEW
512K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricTubeGraphicsPage1.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsExamplePage3.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage9.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgDrawingPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDParPage2.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage16.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntroGraphicsPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage1.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage7.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot2DAlgebraic1.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot3DParametricSurface2.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsExamplePage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphColorPage2.VIEW
248K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage29.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ViewportPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsPage6.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ImplicitCurveGraphicsExamplePage4.VIEW
192K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage10.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot3d3.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDParmPage5.VIEW
308K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgVecFieldsPage2.VIEW
384K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage28.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsPage2.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ImplicitCurveGraphicsExamplePage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphColorPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsPage4.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgRibbonPage2.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot2DParametric1.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage3.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot2d1.VIEW
288K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugPackagesPackagesPage7.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDParPage5.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage4.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage1.VIEW
308K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgNewtonPage10.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDBuildPage10.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsExamplePage1.VIEW
212K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDParPage6.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDappendPage5.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDPlotPage1.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDappendPage9.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage27.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ListPointsGraphicsExamplePage24.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/TwoVariableGraphicsPage3.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage8.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/AssortedGraphicsExamplePage4.VIEW
320K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/mobius.VIEW
212K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDParPage1.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsPage2.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsExamplePage3.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDOptionsPage5.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgNewtonPage11.VIEW
308K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugProblemNumericPage26.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsExamplePage4.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsExamplePage2.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/TwoVariableGraphicsPage1.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsPage1.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphCoordPage2.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/OneVariableGraphicsExamplePage4.VIEW
304K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDPlotPage3.VIEW
188K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsExamplePage3.VIEW
208K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphThreeDOptionsPage10.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDbuildPage24.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/PolarGraphicsPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricCurveGraphicsPage5.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDPlotPage2.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgColorArrPage2.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugIntProgDrawingPage5.VIEW
200K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot2DFunctions1.VIEW
204K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphCoordPage13.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ExPlot3DParametricCurve2.VIEW
324K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ParametricTubeGraphicsPage5.VIEW
196K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphTwoDParPage1.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/SpaceCurveGraphicsPage1.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/3DObjectGraphicsPage9.VIEW
184K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/ugGraphColorPalettePage5.VIEW
180K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports/Menuexplot3d4.VIEW
31M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share/viewports
39M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/share
8.4M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/src/algebra
8.4M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/src
57M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu/bin
163M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target/x86_64-linux-gnu
163M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/target
152K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas/emacs
163M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib/fricas
163M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/lib
12K	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin
163M	/nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4