drwxr-xr-x   3 edrx edrx      135168 Mar  6 17:15 ./
drwxr-xr-x 275 edrx edrx       36864 Mar 20 23:26 ../
-rw-r--r--   1 edrx edrx       47595 Feb 21  2020 2002fmcs.tex
-rw-r--r--   1 edrx edrx       63125 Mar 20 23:24 2002fmcs.tex.html
-rw-r--r--   2 edrx www-data   37588 May 22  2008 2007dnc-sets.dvi
-rw-r--r--   2 edrx www-data  103502 Jun 24  2008 2007dnc-sets.pdf
-rw-r--r--   1 edrx edrx       39488 Feb 21  2020 2007dnc-sets.tex
-rw-r--r--   1 edrx edrx       52138 Mar 20 23:24 2007dnc-sets.tex.html
-rw-r--r--   2 edrx www-data  112184 Aug 30  2008 2008bcc.dvi
-rw-r--r--   2 edrx www-data  123553 Aug 30  2008 2008bcc.pdf
-rw-r--r--   1 edrx edrx       26852 Feb 21  2020 2008bcc.tex
-rw-r--r--   1 edrx edrx       33961 Mar 20 23:24 2008bcc.tex.html
-rw-r--r--   1 edrx edrx       51169 Jul  8  2020 2008comprcat-utf8.tex
-rw-r--r--   1 edrx edrx       63490 Mar 20 23:24 2008comprcat-utf8.tex.html
-rw-r--r--   2 edrx www-data  108900 May 22  2008 2008comprcat.dvi
-rw-r--r--   2 edrx www-data  178147 Jan 25  2009 2008comprcat.pdf
-rw-r--r--   1 edrx edrx       48939 Feb 21  2020 2008comprcat.tex
-rw-r--r--   1 edrx edrx       59429 Mar 20 23:24 2008comprcat.tex.html
-rw-r--r--   1 edrx edrx       19267 Feb 21  2020 2008dclosed.tex
-rw-r--r--   1 edrx edrx       24510 Mar 20 23:24 2008dclosed.tex.html
-rw-r--r--   2 edrx www-data  117718 Dec  9  2008 2008dnc-sets.pdf
-rw-r--r--   1 edrx edrx       39120 Feb 21  2020 2008dnc-sets.tex
-rw-r--r--   1 edrx edrx       51526 Mar 20 23:24 2008dnc-sets.tex.html
-rw-r--r--   2 edrx www-data   46517 Aug 11  2008 2008filterp-abs.pdf
-rw-r--r--   1 edrx edrx        3449 Feb 21  2020 2008filterp-abs.tex
-rw-r--r--   1 edrx edrx        4159 Mar 20 23:24 2008filterp-abs.tex.html
-rw-r--r--   2 edrx www-data  134043 Sep 17  2008 2008filterp-slides.pdf
-rw-r--r--   1 edrx edrx       25115 Feb 21  2020 2008filterp-slides.tex
-rw-r--r--   1 edrx edrx       30467 Mar 20 23:24 2008filterp-slides.tex.html
-rw-r--r--   2 edrx www-data   52655 Jul 12  2008 2008filterp-texsrc.tar.gz
-rw-r--r--   2 edrx www-data   64032 Jul 13  2008 2008filterp.dvi
-rw-r--r--   2 edrx www-data  157482 Jul 13  2008 2008filterp.pdf
-rw-r--r--   1 edrx edrx       56215 Feb 21  2020 2008filterp.tex
-rw-r--r--   1 edrx edrx       63571 Mar 20 23:24 2008filterp.tex.html
-rw-r--r--   2 edrx www-data   36258 Nov 14  2008 2008gf.pdf
-rw-r--r--   1 edrx edrx        2951 Feb 21  2020 2008gf.tex
-rw-r--r--   1 edrx edrx        4851 Mar 20 23:24 2008gf.tex.html
-rw-r--r--   2 edrx www-data  219992 Jan  1  2009 2008graphs.pdf
-rw-r--r--   1 edrx edrx       69706 Feb 21  2020 2008graphs.tex
-rw-r--r--   1 edrx edrx       88189 Mar 20 23:24 2008graphs.tex.html
-rw-r--r--   1 edrx edrx      123917 Jul 21  2020 2008hyp-utf8.tex
-rw-r--r--   1 edrx edrx      158996 Mar 20 23:24 2008hyp-utf8.tex.html
-rw-r--r--   2 edrx www-data  221076 Oct  6  2008 2008hyp.dvi
-rw-r--r--   2 edrx www-data  261133 Jan 25  2009 2008hyp.pdf
-rw-r--r--   1 edrx edrx      117658 Feb 21  2020 2008hyp.tex
-rw-r--r--   1 edrx edrx      144637 Mar 20 23:24 2008hyp.tex.html
-rw-r--r--   2 edrx www-data  143526 Dec  9  2008 2008induction.pdf
-rw-r--r--   1 edrx edrx       35878 Feb 21  2020 2008induction.tex
-rw-r--r--   1 edrx edrx       45928 Mar 20 23:24 2008induction.tex.html
-rw-r--r--   1 edrx edrx        4755 Feb 21  2020 2008kocknsext.tex
-rw-r--r--   1 edrx edrx        6546 Mar 20 23:24 2008kocknsext.tex.html
-rw-r--r--   1 edrx edrx        5975 Feb 21  2020 2008lcccs.tex
-rw-r--r--   1 edrx edrx        8032 Mar 20 23:24 2008lcccs.tex.html
-rw-r--r--   2 edrx www-data  105381 Jul 23  2008 2008modallogic.pdf
-rw-r--r--   1 edrx edrx       16590 Feb 21  2020 2008modallogic.tex
-rw-r--r--   1 edrx edrx       23420 Mar 20 23:24 2008modallogic.tex.html
-rw-r--r--   2 edrx www-data   36368 May 22  2008 2008monads.dvi
-rw-r--r--   2 edrx www-data  111410 Aug  4  2008 2008monads.pdf
-rw-r--r--   1 edrx edrx       41351 Feb 21  2020 2008monads.tex
-rw-r--r--   1 edrx edrx       52258 Mar 20 23:24 2008monads.tex.html
-rw-r--r--   1 edrx edrx       35516 Aug 22  2020 2008natded-utf8.tex
-rw-r--r--   1 edrx edrx       45071 Mar 20 23:24 2008natded-utf8.tex.html
-rw-r--r--   2 edrx www-data   66352 May 22  2008 2008natded.dvi
-rw-r--r--   2 edrx www-data  118373 May 22  2008 2008natded.pdf
-rw-r--r--   1 edrx edrx       32732 Feb 21  2020 2008natded.tex
-rw-r--r--   1 edrx edrx       39995 Mar 20 23:24 2008natded.tex.html
-rw-r--r--   1 edrx edrx       22138 Feb 21  2020 2008notations-utf8.tex
-rw-r--r--   1 edrx edrx       29726 Mar 20 23:24 2008notations-utf8.tex.html
-rw-r--r--   2 edrx www-data   24876 May 22  2008 2008notations.dvi
-rw-r--r--   2 edrx www-data   98944 May 22  2008 2008notations.pdf
-rw-r--r--   1 edrx edrx       19200 Feb 21  2020 2008notations.tex
-rw-r--r--   1 edrx edrx       25138 Mar 20 23:24 2008notations.tex.html
-rw-r--r--   2 edrx www-data   32608 May 22  2008 2008projeto.dvi
-rw-r--r--   2 edrx www-data  117169 May 22  2008 2008projeto.pdf
-rw-r--r--   1 edrx edrx       20908 Feb 21  2020 2008projeto.tex
-rw-r--r--   1 edrx edrx       26218 Mar 20 23:24 2008projeto.tex.html
-rw-r--r--   1 edrx edrx       15179 Feb 21  2020 2008quotypes.tex
-rw-r--r--   1 edrx edrx       19267 Mar 20 23:24 2008quotypes.tex.html
-rw-r--r--   1 edrx edrx       15639 Mar  1  2020 2008sdg-utf8.tex
-rw-r--r--   1 edrx edrx       21835 Mar 20 23:24 2008sdg-utf8.tex.html
-rw-r--r--   2 edrx www-data   23756 May 22  2008 2008sdg.dvi
-rw-r--r--   2 edrx www-data   87864 Apr  9  2008 2008sdg.pdf
-rw-r--r--   1 edrx edrx       14144 Feb 21  2020 2008sdg.tex
-rw-r--r--   1 edrx edrx       18005 Mar 20 23:24 2008sdg.tex.html
-rw-r--r--   2 edrx www-data    3876 Aug 30  2008 2008sheaves-abs1.dvi
-rw-r--r--   2 edrx www-data   26937 Aug 30  2008 2008sheaves-abs1.pdf
-rw-r--r--   1 edrx edrx        3580 Feb 21  2020 2008sheaves-abs1.tex
-rw-r--r--   1 edrx edrx        4441 Mar 20 23:24 2008sheaves-abs1.tex.html
-rw-r--r--   2 edrx www-data   99524 May 22  2008 2008sheaves.dvi
-rw-r--r--   2 edrx www-data  199110 May 22  2008 2008sheaves.pdf
-rw-r--r--   1 edrx edrx       70333 Feb 21  2020 2008sheaves.tex
-rw-r--r--   1 edrx edrx       86549 Mar 20 23:24 2008sheaves.tex.html
-rw-r--r--   2 edrx www-data   50732 May 22  2008 2008topos-str.dvi
-rw-r--r--   2 edrx www-data   89404 May 22  2008 2008topos-str.pdf
-rw-r--r--   1 edrx edrx       21984 Feb 21  2020 2008topos-str.tex
-rw-r--r--   1 edrx edrx       27133 Mar 20 23:24 2008topos-str.tex.html
-rw-r--r--   1 edrx edrx       13203 Feb 21  2020 2008typesystems.tex
-rw-r--r--   1 edrx edrx       18310 Mar 20 23:24 2008typesystems.tex.html
-rw-r--r--   2 edrx www-data   62306 May 25  2009 2009-1-C1-prova-1.pdf
-rw-r--r--   1 edrx edrx        4794 Feb 21  2020 2009-1-C1-prova-1.tex
-rw-r--r--   1 edrx edrx        6329 Mar 20 23:24 2009-1-C1-prova-1.tex.html
-rw-r--r--   2 edrx www-data   66435 Jul  2  2009 2009-1-C1-prova-2.pdf
-rw-r--r--   1 edrx edrx        7905 Feb 21  2020 2009-1-C1-prova-2.tex
-rw-r--r--   1 edrx edrx       10054 Mar 20 23:24 2009-1-C1-prova-2.tex.html
-rw-r--r--   2 edrx www-data   74423 Jul  9  2009 2009-1-C1-prova-VR1.pdf
-rw-r--r--   1 edrx edrx       10913 Feb 21  2020 2009-1-C1-prova-VR1.tex
-rw-r--r--   1 edrx edrx       13333 Mar 20 23:24 2009-1-C1-prova-VR1.tex.html
-rw-r--r--   2 edrx www-data   71800 Jul  9  2009 2009-1-C1-prova-VR2.pdf
-rw-r--r--   1 edrx edrx       12235 Feb 21  2020 2009-1-C1-prova-VR2.tex
-rw-r--r--   1 edrx edrx       14612 Mar 20 23:24 2009-1-C1-prova-VR2.tex.html
-rw-r--r--   2 edrx www-data   63633 Jul 14  2009 2009-1-C1-prova-VS.pdf
-rw-r--r--   1 edrx edrx        6383 Feb 21  2020 2009-1-C1-prova-VS.tex
-rw-r--r--   1 edrx edrx        8770 Mar 20 23:24 2009-1-C1-prova-VS.tex.html
-rw-r--r--   1 edrx edrx        3544 Feb 21  2020 2009-1-C2-plano.tex
-rw-r--r--   1 edrx edrx        5300 Mar 20 23:24 2009-1-C2-plano.tex.html
-rw-r--r--   2 edrx www-data   68536 Jun  5  2009 2009-1-C2-prova-1-gab.pdf
-rw-r--r--   1 edrx edrx        9196 Feb 21  2020 2009-1-C2-prova-1-gab.tex
-rw-r--r--   1 edrx edrx       12073 Mar 20 23:24 2009-1-C2-prova-1-gab.tex.html
-rw-r--r--   1 edrx edrx       13241 Feb 21  2020 2009-1-C2-prova-1.tex
-rw-r--r--   1 edrx edrx       17272 Mar 20 23:24 2009-1-C2-prova-1.tex.html
-rw-r--r--   2 edrx www-data   62199 Jul  7  2009 2009-1-C2-prova-2.pdf
-rw-r--r--   1 edrx edrx        7260 Feb 21  2020 2009-1-C2-prova-2.tex
-rw-r--r--   1 edrx edrx        9253 Mar 20 23:24 2009-1-C2-prova-2.tex.html
-rw-r--r--   2 edrx www-data   88908 Jul 10  2009 2009-1-C2-prova-VR.pdf
-rw-r--r--   1 edrx edrx       12302 Feb 21  2020 2009-1-C2-prova-VR.tex
-rw-r--r--   1 edrx edrx       14953 Mar 20 23:24 2009-1-C2-prova-VR.tex.html
-rw-r--r--   2 edrx www-data   32894 Jul 13  2009 2009-1-C2-prova-VS.pdf
-rw-r--r--   1 edrx edrx        2908 Feb 21  2020 2009-1-C2-prova-VS.tex
-rw-r--r--   1 edrx edrx        4238 Mar 20 23:24 2009-1-C2-prova-VS.tex.html
-rw-r--r--   2 edrx www-data  346416 Jun 26  2009 2009-1-MD-prova-2.pdf
-rw-r--r--   1 edrx edrx       15562 Feb 21  2020 2009-1-MD-prova-2.tex
-rw-r--r--   1 edrx edrx       19923 Mar 20 23:24 2009-1-MD-prova-2.tex.html
-rw-r--r--   2 edrx www-data  288568 Jul  8  2009 2009-1-MD-prova-VR.pdf
-rw-r--r--   1 edrx edrx       12790 Feb 21  2020 2009-1-MD-prova-VR.tex
-rw-r--r--   1 edrx edrx       15824 Mar 20 23:24 2009-1-MD-prova-VR.tex.html
-rw-r--r--   2 edrx www-data   68094 Jul  9  2009 2009-1-MD-prova-VS.pdf
-rw-r--r--   1 edrx edrx        9594 Feb 21  2020 2009-1-MD-prova-VS.tex
-rw-r--r--   1 edrx edrx       13155 Mar 20 23:24 2009-1-MD-prova-VS.tex.html
-rw-r--r--   2 edrx www-data   56494 Sep 28  2009 2009-2-C2-lista-1.pdf
-rw-r--r--   1 edrx edrx        6580 Feb 21  2020 2009-2-C2-lista-1.tex
-rw-r--r--   1 edrx edrx        9087 Mar 20 23:24 2009-2-C2-lista-1.tex.html
-rw-r--r--   1 edrx edrx       28882 Feb 21  2020 2009-2-C2-prova-1-notas.tex
-rw-r--r--   1 edrx edrx       34689 Mar 20 23:24 2009-2-C2-prova-1-notas.tex.html
-rw-r--r--   2 edrx www-data   53283 Sep 30  2009 2009-2-C2-prova-1.pdf
-rw-r--r--   1 edrx edrx        7746 Mar  6 13:34 2009-2-C2-prova-1.tex
-rw-r--r--   1 edrx edrx        9888 Mar 20 23:24 2009-2-C2-prova-1.tex.html
-rw-r--r--   1 edrx edrx        9486 Feb 21  2020 2009-2-C2-prova-2.tex
-rw-r--r--   1 edrx edrx       13179 Mar 20 23:24 2009-2-C2-prova-2.tex.html
-rwxr-xr-x   2 edrx www-data   54762 Nov 30  2009 2009-2-C4-lista-P2-scan.pdf*
-rw-r--r--   1 edrx edrx        1909 Feb 21  2020 2009-2-C4-lista-P2.tex
-rw-r--r--   1 edrx edrx        3211 Mar 20 23:24 2009-2-C4-lista-P2.tex.html
-rw-r--r--   1 edrx edrx        8537 Feb 21  2020 2009-2-C4-prova-1-notas.tex
-rw-r--r--   1 edrx edrx       11172 Mar 20 23:24 2009-2-C4-prova-1-notas.tex.html
-rw-r--r--   1 edrx edrx        9265 Feb 21  2020 2009-2-C4-prova-1.tex
-rw-r--r--   1 edrx edrx       11509 Mar 20 23:24 2009-2-C4-prova-1.tex.html
-rw-r--r--   1 edrx edrx        6378 Feb 21  2020 2009-2-C4-prova-2.tex
-rw-r--r--   1 edrx edrx        8144 Mar 20 23:24 2009-2-C4-prova-2.tex.html
-rw-r--r--   1 edrx edrx        2531 Feb 21  2020 2009-2-C4-theorems.tex
-rw-r--r--   1 edrx edrx        3935 Mar 20 23:24 2009-2-C4-theorems.tex.html
-rw-r--r--   2 edrx www-data  101778 Nov 18  2009 2009-2-MD-comparacao.pdf
-rw-r--r--   1 edrx edrx       21983 Feb 21  2020 2009-2-MD-comparacao.tex
-rw-r--r--   1 edrx edrx       27424 Mar 20 23:24 2009-2-MD-comparacao.tex.html
-rw-r--r--   2 edrx www-data   63715 Jan 10  2010 2009-2-MD-criterios.pdf
-rw-r--r--   1 edrx edrx        8783 Feb 21  2020 2009-2-MD-criterios.tex
-rw-r--r--   1 edrx edrx       11728 Mar 20 23:24 2009-2-MD-criterios.tex.html
-rw-r--r--   1 edrx edrx       18670 Feb 21  2020 2009-2-MD-prova-1-notas.tex
-rw-r--r--   1 edrx edrx       22706 Mar 20 23:24 2009-2-MD-prova-1-notas.tex.html
-rw-r--r--   2 edrx www-data   76838 Oct 14  2009 2009-2-MD-prova-1.pdf
-rw-r--r--   1 edrx edrx        9524 Feb 21  2020 2009-2-MD-prova-1.tex
-rw-r--r--   1 edrx edrx       12349 Mar 20 23:24 2009-2-MD-prova-1.tex.html
-rw-r--r--   1 edrx edrx        8242 Feb 21  2020 2009-2-MD-prova-2.tex
-rw-r--r--   1 edrx edrx       10751 Mar 20 23:24 2009-2-MD-prova-2.tex.html
-rw-r--r--   1 edrx edrx       14077 Feb 21  2020 2009-defesa.tex
-rw-r--r--   1 edrx edrx       17959 Mar 20 23:24 2009-defesa.tex.html
-rw-r--r--   1 edrx edrx       14379 Feb 21  2020 2009-micropol.tex
-rw-r--r--   1 edrx edrx       17724 Mar 20 23:24 2009-micropol.tex.html
-rw-r--r--   1 edrx edrx        3053 Feb 21  2020 2009-nd-in-hyps.tex
-rw-r--r--   1 edrx edrx        4828 Mar 20 23:24 2009-nd-in-hyps.tex.html
-rw-r--r--   2 edrx www-data  148930 Mar 30  2010 2009-planodetrabalho.pdf
-rw-r--r--   1 edrx edrx       19014 Feb 21  2020 2009-planodetrabalho.tex
-rw-r--r--   1 edrx edrx       25257 Mar 20 23:24 2009-planodetrabalho.tex.html
-rw-r--r--   1 edrx edrx       10835 Feb 21  2020 2009-proj-monitoria-MD.tex
-rw-r--r--   1 edrx edrx       13548 Mar 20 23:24 2009-proj-monitoria-MD.tex.html
-rw-r--r--   1 edrx edrx       16966 Feb 21  2020 2009abcats.tex
-rw-r--r--   1 edrx edrx       21784 Mar 20 23:24 2009abcats.tex.html
-rw-r--r--   1 edrx edrx       10596 Feb 21  2020 2009apr29-C1.tex
-rw-r--r--   1 edrx edrx       12939 Mar 20 23:24 2009apr29-C1.tex.html
-rw-r--r--   1 edrx edrx        6584 Feb 21  2020 2009apr29-MD.tex
-rw-r--r--   1 edrx edrx        8522 Mar 20 23:24 2009apr29-MD.tex.html
-rw-r--r--   2 edrx www-data   34913 Aug  9  2009 2009dnc-in-coq.pdf
-rw-r--r--   1 edrx edrx       33195 Feb 21  2020 2009dnc-in-coq.tex
-rw-r--r--   1 edrx edrx       38733 Mar 20 23:24 2009dnc-in-coq.tex.html
-rw-r--r--   2 edrx www-data   73615 Nov  5  2009 2009dnc-monads.pdf
-rw-r--r--   1 edrx edrx       15288 Feb 21  2020 2009dnc-monads.tex
-rw-r--r--   1 edrx edrx       17334 Mar 20 23:24 2009dnc-monads.tex.html
-rw-r--r--   1 edrx edrx        8792 Feb 21  2020 2009fractions.tex
-rw-r--r--   1 edrx edrx       10878 Mar 20 23:24 2009fractions.tex.html
-rw-r--r--   1 edrx edrx       11007 Feb 21  2020 2009integration.tex
-rw-r--r--   1 edrx edrx       13601 Mar 20 23:24 2009integration.tex.html
-rw-r--r--   2 edrx www-data   55293 Jul  2  2009 2009jul02-C2-exercicios.pdf
-rw-r--r--   1 edrx edrx        6260 Feb 21  2020 2009jul02-C2-exercicios.tex
-rw-r--r--   1 edrx edrx        8175 Mar 20 23:24 2009jul02-C2-exercicios.tex.html
-rw-r--r--   2 edrx www-data   28471 Aug  3  2009 2009jun05.pdf
-rw-r--r--   1 edrx edrx        3519 Feb 21  2020 2009jun05.tex
-rw-r--r--   1 edrx edrx        5020 Mar 20 23:24 2009jun05.tex.html
-rw-r--r--   1 edrx edrx        6982 Feb 21  2020 2009may08-C2.tex
-rw-r--r--   1 edrx edrx        8544 Mar 20 23:24 2009may08-C2.tex.html
-rw-r--r--   1 edrx edrx        6747 Feb 21  2020 2009may12-MD-gab.tex
-rw-r--r--   1 edrx edrx        8541 Mar 20 23:24 2009may12-MD-gab.tex.html
-rw-r--r--   1 edrx edrx        5986 Feb 21  2020 2009may13-MD.tex
-rw-r--r--   1 edrx edrx        7940 Mar 20 23:24 2009may13-MD.tex.html
-rw-r--r--   1 edrx edrx        3526 Feb 21  2020 2009projections.tex
-rw-r--r--   1 edrx edrx        4824 Mar 20 23:24 2009projections.tex.html
-rw-r--r--   1 edrx edrx        5719 Feb 21  2020 2009unilog-abs0.tex
-rw-r--r--   1 edrx edrx        7138 Mar 20 23:24 2009unilog-abs0.tex.html
-rw-r--r--   2 edrx www-data   40170 Nov 16  2009 2009unilog-abs1.pdf
-rw-r--r--   1 edrx edrx        7294 Feb 21  2020 2009unilog-abs1.tex
-rw-r--r--   1 edrx edrx        9881 Mar 20 23:24 2009unilog-abs1.tex.html
-rw-r--r--   2 edrx www-data  462025 Jun 18  2010 2009unilog-diags.pdf
-rw-r--r--   2 edrx www-data  379478 Apr  2  2010 2009unilog-dnc.pdf
-rw-r--r--   1 edrx edrx      201630 Feb 21  2020 2009unilog-dnc.tex
-rw-r--r--   1 edrx edrx      245331 Mar 20 23:24 2009unilog-dnc.tex.html
-rw-r--r--   1 edrx edrx       17272 Feb 21  2020 2009unilog-obso.tex
-rw-r--r--   1 edrx edrx       19841 Mar 20 23:24 2009unilog-obso.tex.html
-rw-r--r--   2 edrx www-data   90908 Jun  9  2010 2010-1-C2-exercs-P2.pdf
-rw-r--r--   1 edrx edrx       10926 Feb 21  2020 2010-1-C2-exercs-P2.tex
-rw-r--r--   1 edrx edrx       14879 Mar 20 23:24 2010-1-C2-exercs-P2.tex.html
-rw-r--r--   2 edrx www-data   72122 Jul  4  2010 2010-1-C2-exercs-P3.pdf
-rw-r--r--   1 edrx edrx        7827 Feb 21  2020 2010-1-C2-exercs-P3.tex
-rw-r--r--   1 edrx edrx       10513 Mar 20 23:24 2010-1-C2-exercs-P3.tex.html
-rw-r--r--   2 edrx www-data   93529 Jul 22  2010 2010-1-C2-exercs-P4.pdf
-rw-r--r--   1 edrx edrx       24633 Feb 21  2020 2010-1-C2-exercs-P4.tex
-rw-r--r--   1 edrx edrx       29924 Mar 20 23:24 2010-1-C2-exercs-P4.tex.html
-rw-r--r--   1 edrx edrx        2031 Feb 21  2020 2010-1-C2-plano-de-aulas.tex
-rw-r--r--   1 edrx edrx        3351 Mar 20 23:24 2010-1-C2-plano-de-aulas.tex.html
-rw-r--r--   1 edrx edrx       12638 Feb  3  2022 2010-1-C2-prova-1.tex
-rw-r--r--   1 edrx edrx       15525 Mar 20 23:24 2010-1-C2-prova-1.tex.html
-rw-r--r--   2 edrx www-data   83798 Aug  3  2010 2010-1-C2-prova-2.pdf
-rw-r--r--   1 edrx edrx       12999 Feb 21  2020 2010-1-C2-prova-2.tex
-rw-r--r--   1 edrx edrx       15486 Mar 20 23:24 2010-1-C2-prova-2.tex.html
-rw-r--r--   2 edrx www-data   65714 Jul 13  2010 2010-1-C2-prova-3.pdf
-rw-r--r--   1 edrx edrx        8667 Feb 21  2020 2010-1-C2-prova-3.tex
-rw-r--r--   1 edrx edrx       11727 Mar 20 23:24 2010-1-C2-prova-3.tex.html
-rw-r--r--   2 edrx www-data   44759 Jul 20  2010 2010-1-C2-prova-VR.pdf
-rw-r--r--   1 edrx edrx        7104 Feb 21  2020 2010-1-C2-prova-VR.tex
-rw-r--r--   1 edrx edrx       10702 Mar 20 23:24 2010-1-C2-prova-VR.tex.html
-rw-r--r--   2 edrx www-data   44342 Jul 20  2010 2010-1-C2-prova-VS.pdf
-rw-r--r--   1 edrx edrx        8936 Feb 21  2020 2010-1-C2-prova-VS.tex
-rw-r--r--   1 edrx edrx       12738 Mar 20 23:24 2010-1-C2-prova-VS.tex.html
-rw-r--r--   2 edrx www-data   35508 Aug  3  2010 2010-1-C2-prova-VS2a.pdf
-rw-r--r--   1 edrx edrx        6009 Feb 21  2020 2010-1-C2-prova-VS2a.tex
-rw-r--r--   1 edrx edrx        8386 Mar 20 23:24 2010-1-C2-prova-VS2a.tex.html
-rw-r--r--   2 edrx www-data   49692 Aug  3  2010 2010-1-C2-prova-VS2b.pdf
-rw-r--r--   1 edrx edrx        4675 Feb 21  2020 2010-1-C2-prova-VS2b.tex
-rw-r--r--   1 edrx edrx        6433 Mar 20 23:24 2010-1-C2-prova-VS2b.tex.html
-rw-r--r--   1 edrx edrx        4090 Feb 21  2020 2010-1-C2-prova-mini-1.tex
-rw-r--r--   1 edrx edrx        5884 Mar 20 23:24 2010-1-C2-prova-mini-1.tex.html
-rw-r--r--   1 edrx edrx        5082 Feb 21  2020 2010-1-MD-aulas.tex
-rw-r--r--   1 edrx edrx        7375 Mar 20 23:24 2010-1-MD-aulas.tex.html
-rw-r--r--   1 edrx edrx        5853 Feb 21  2020 2010-1-MD-esquemas.tex
-rw-r--r--   1 edrx edrx        7632 Mar 20 23:24 2010-1-MD-esquemas.tex.html
-rw-r--r--   2 edrx www-data   93745 Jul 20  2010 2010-1-MD-exercs-P4.pdf
-rw-r--r--   1 edrx edrx       14741 Feb 21  2020 2010-1-MD-exercs-P4.tex
-rw-r--r--   1 edrx edrx       18531 Mar 20 23:24 2010-1-MD-exercs-P4.tex.html
-rw-r--r--   1 edrx edrx        3898 Feb 21  2020 2010-1-MD-hanoi.tex
-rw-r--r--   1 edrx edrx        5855 Mar 20 23:24 2010-1-MD-hanoi.tex.html
-rw-r--r--   1 edrx edrx        8708 Feb 21  2020 2010-1-MD-plano-de-aulas.tex
-rw-r--r--   1 edrx edrx       12127 Mar 20 23:24 2010-1-MD-plano-de-aulas.tex.html
-rw-r--r--   1 edrx edrx        9815 Feb 21  2020 2010-1-MD-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       12753 Mar 20 23:24 2010-1-MD-plano-de-curso.tex.html
-rw-r--r--   1 edrx edrx        4034 Feb 21  2020 2010-1-MD-prova-1-body.tex
-rw-r--r--   1 edrx edrx        5360 Mar 20 23:24 2010-1-MD-prova-1-body.tex.html
-rw-r--r--   2 edrx www-data   79925 May 17  2010 2010-1-MD-prova-1.pdf
-rw-r--r--   1 edrx edrx       38195 Feb 21  2020 2010-1-MD-prova-1.tex
-rw-r--r--   1 edrx edrx       51473 Mar 20 23:24 2010-1-MD-prova-1.tex.html
-rw-r--r--   2 edrx www-data   48254 Jun 30  2010 2010-1-MD-prova-2.pdf
-rw-r--r--   1 edrx edrx        6160 Feb 21  2020 2010-1-MD-prova-2.tex
-rw-r--r--   1 edrx edrx        8220 Mar 20 23:24 2010-1-MD-prova-2.tex.html
-rw-r--r--   2 edrx www-data   31825 Aug 19  2010 2010-1-MD-prova-3.pdf
-rw-r--r--   1 edrx edrx        2495 Feb 21  2020 2010-1-MD-prova-3.tex
-rw-r--r--   1 edrx edrx        4118 Mar 20 23:24 2010-1-MD-prova-3.tex.html
-rw-r--r--   2 edrx www-data   38939 Jul 20  2010 2010-1-MD-prova-VS.pdf
-rw-r--r--   1 edrx edrx        4914 Feb 21  2020 2010-1-MD-prova-VS.tex
-rw-r--r--   1 edrx edrx        6806 Mar 20 23:24 2010-1-MD-prova-VS.tex.html
-rw-r--r--   2 edrx www-data   66732 Aug  4  2010 2010-1-MD-prova-VS2.pdf
-rw-r--r--   1 edrx edrx       10324 Feb 21  2020 2010-1-MD-prova-VS2.tex
-rw-r--r--   1 edrx edrx       13181 Mar 20 23:24 2010-1-MD-prova-VS2.tex.html
-rw-r--r--   1 edrx edrx        2568 Feb 21  2020 2010-2-MD-exercs-VR.tex
-rw-r--r--   1 edrx edrx        4042 Mar 20 23:24 2010-2-MD-exercs-VR.tex.html
-rw-r--r--   2 edrx www-data   91175 Feb 26  2010 2010-edital-monit-MD.pdf
-rw-r--r--   1 edrx edrx       19469 Feb 21  2020 2010-edital-monit-MD.tex
-rw-r--r--   1 edrx edrx       24576 Mar 20 23:24 2010-edital-monit-MD.tex.html
-rw-r--r--   1 edrx edrx       20574 Feb 21  2020 2010-proj-gma.tex
-rw-r--r--   1 edrx edrx       28266 Mar 20 23:24 2010-proj-gma.tex.html
-rw-r--r--   1 edrx edrx        2056 Feb 21  2020 2010-proj-inic.tex
-rw-r--r--   1 edrx edrx        3402 Mar 20 23:24 2010-proj-inic.tex.html
-rw-r--r--   1 edrx edrx       33786 Feb 21  2020 2010-proj-pesq.tex
-rw-r--r--   1 edrx edrx       41352 Mar 20 23:24 2010-proj-pesq.tex.html
-rw-r--r--   1 edrx edrx       17750 Feb 21  2020 2010-semanact.tex
-rw-r--r--   1 edrx edrx       21256 Mar 20 23:24 2010-semanact.tex.html
-rw-r--r--   1 edrx edrx        6933 Feb 21  2020 2010-valenca.tex
-rw-r--r--   1 edrx edrx        9085 Mar 20 23:24 2010-valenca.tex.html
-rw-r--r--   1 edrx edrx        9051 Feb 21  2020 2010comprcats.tex
-rw-r--r--   1 edrx edrx       11701 Mar 20 23:24 2010comprcats.tex.html
-rw-r--r--   1 edrx edrx      120907 Feb 21  2020 2010diags-body.tex
-rw-r--r--   1 edrx edrx      137236 Mar 20 23:24 2010diags-body.tex.html
-rw-r--r--   1 edrx edrx        6334 Feb 21  2020 2010diags-outer.tex
-rw-r--r--   1 edrx edrx        8348 Mar 20 23:24 2010diags-outer.tex.html
-rw-r--r--   2 edrx www-data  313448 Dec  4  2010 2010diags.pdf
-rw-r--r--   1 edrx edrx      107551 Feb 21  2020 2010diags.tex
-rw-r--r--   1 edrx edrx      124199 Mar 20 23:24 2010diags.tex.html
-rw-r--r--   1 edrx edrx      111539 Feb 21  2020 2010hyps.tex
-rw-r--r--   1 edrx edrx      140102 Mar 20 23:24 2010hyps.tex.html
-rw-r--r--   2 edrx edrx      145250 Mar  8  2018 2010kockdiff-new.pdf
-rw-r--r--   1 edrx edrx       13007 Mar  1  2020 2010kockdiff-new.tex
-rw-r--r--   1 edrx edrx       16529 Mar 20 23:24 2010kockdiff-new.tex.html
-rw-r--r--   2 edrx edrx       98953 Mar  8  2018 2010kockdiff-new.tgz
-rw-r--r--   1 edrx edrx       12885 Mar  1  2020 2010kockdiff-utf8.tex
-rw-r--r--   1 edrx edrx       16642 Mar 20 23:24 2010kockdiff-utf8.tex.html
-rw-r--r--   2 edrx www-data  165717 May 11  2011 2010kockdiff.pdf
-rw-r--r--   1 edrx edrx       12204 Feb 21  2020 2010kockdiff.tex
-rw-r--r--   1 edrx edrx       14781 Mar 20 23:24 2010kockdiff.tex.html
-rw-r--r--   1 edrx edrx        6961 Feb 21  2020 2010lcccs.tex
-rw-r--r--   1 edrx edrx        9231 Mar 20 23:24 2010lcccs.tex.html
-rw-r--r--   1 edrx edrx        6026 Feb 21  2020 2010luayacc.tex
-rw-r--r--   1 edrx edrx        7557 Mar 20 23:24 2010luayacc.tex.html
-rw-r--r--   2 edrx www-data   61076 Aug 19  2010 2010reducao.pdf
-rw-r--r--   1 edrx edrx        6149 Feb 21  2020 2010reducao.tex
-rw-r--r--   1 edrx edrx        8522 Mar 20 23:24 2010reducao.tex.html
-rw-r--r--   1 edrx edrx       11528 Feb 21  2020 2010rings.tex
-rw-r--r--   1 edrx edrx       14145 Mar 20 23:24 2010rings.tex.html
-rw-r--r--   1 edrx edrx        3853 Feb 21  2020 2010sheaves.tex
-rw-r--r--   1 edrx edrx        5526 Mar 20 23:24 2010sheaves.tex.html
-rw-r--r--   2 edrx www-data  548720 Jun 20  2010 2010unilog-2010jun21.pdf
-rw-r--r--   2 edrx www-data  645032 Apr 25  2011 2010unilog-current.dvi
-rw-r--r--   2 edrx www-data  695207 Apr 25  2011 2010unilog-current.pdf
-rw-r--r--   1 edrx edrx      262192 Feb 21  2020 2010unilog-current.tex
-rw-r--r--   1 edrx edrx      328413 Mar 20 23:24 2010unilog-current.tex.html
-rw-r--r--   2 edrx www-data  110066 Jul 22  2011 2011-1-GA-regras.pdf
-rw-r--r--   1 edrx edrx        6824 Feb 21  2020 2011-1-GA-regras.tex
-rw-r--r--   1 edrx edrx        9428 Mar 20 23:24 2011-1-GA-regras.tex.html
-rw-r--r--   2 edrx www-data   72856 Dec 13  2011 2011-1-ata-rfm-junho.pdf
-rw-r--r--   1 edrx edrx        3557 Feb 21  2020 2011-ata-monitoria.tex
-rw-r--r--   1 edrx edrx        5179 Mar 20 23:24 2011-ata-monitoria.tex.html
-rw-r--r--   1 edrx edrx        2657 Feb 21  2020 2011-justificativa.tex
-rw-r--r--   1 edrx edrx        4499 Mar 20 23:24 2011-justificativa.tex.html
-rw-r--r--   2 edrx www-data  120249 Oct 25  2011 2011-rel-est-prob-2.pdf
-rw-r--r--   1 edrx edrx       11772 Feb 21  2020 2011-rel-est-prob-2.tex
-rw-r--r--   1 edrx edrx       16381 Mar 20 23:24 2011-rel-est-prob-2.tex.html
-rw-r--r--   2 edrx www-data  117316 Oct 25  2011 2011-rel-est-prob-3.pdf
-rw-r--r--   1 edrx edrx       10933 Feb 21  2020 2011-rel-est-prob-3.tex
-rw-r--r--   1 edrx edrx       14458 Mar 20 23:24 2011-rel-est-prob-3.tex.html
-rw-r--r--   2 edrx www-data  469431 Mar 13  2011 2011ebl-abs.pdf
-rw-r--r--   1 edrx edrx       86123 Feb 21  2020 2011ebl-abs.tex
-rw-r--r--   1 edrx edrx      115357 Mar 20 23:24 2011ebl-abs.tex.html
-rw-r--r--   2 edrx www-data  158598 Apr  5  2011 2011ebl-booklet-abs.pdf
-rw-r--r--   2 edrx www-data  267794 May 15  2011 2011ebl-slides.pdf
-rw-r--r--   1 edrx edrx       32338 Feb 21  2020 2011ebl-slides.tex
-rw-r--r--   1 edrx edrx       46840 Mar 20 23:24 2011ebl-slides.tex.html
-rw-r--r--   1 edrx edrx        2750 Feb 21  2020 2011sheaves-2d.tex
-rw-r--r--   1 edrx edrx        4722 Mar 20 23:24 2011sheaves-2d.tex.html
-rw-r--r--   1 edrx edrx       57390 Feb 21  2020 2012-ata-rfm-dez.tex
-rw-r--r--   1 edrx edrx       91387 Mar 20 23:24 2012-ata-rfm-dez.tex.html
-rw-r--r--   1 edrx edrx       10479 Feb 21  2020 2012-rel-prog-func.tex
-rw-r--r--   1 edrx edrx       13851 Mar 20 23:24 2012-rel-prog-func.tex.html
-rw-r--r--   2 edrx www-data  120444 Feb  6  2012 2012minicats.dvi
-rw-r--r--   2 edrx www-data  270727 Feb  6  2012 2012minicats.pdf
-rw-r--r--   1 edrx edrx       48584 Feb 21  2020 2012minicats.tex
-rw-r--r--   1 edrx edrx       71384 Mar 20 23:24 2012minicats.tex.html
-rw-r--r--   1 edrx edrx        4698 Feb 21  2020 2012unb-abril.tex
-rw-r--r--   1 edrx edrx        6813 Mar 20 23:24 2012unb-abril.tex.html
-rw-r--r--   1 edrx edrx        5270 Feb 21  2020 2013-1-GA-prova-P2-A.tex
-rw-r--r--   1 edrx edrx        6999 Mar 20 23:24 2013-1-GA-prova-P2-A.tex.html
-rw-r--r--   1 edrx edrx           0 Feb 21  2020 2013-2-GA-P1A.lua
-rw-r--r--   1 edrx edrx         502 Mar 20 23:24 2013-2-GA-P1A.lua.html
-rw-r--r--   1 edrx edrx        1797 Feb 21  2020 2013-2-GA-P1A.tex
-rw-r--r--   1 edrx edrx        3075 Mar 20 23:24 2013-2-GA-P1A.tex.html
-rw-r--r--   1 edrx edrx        6702 Feb 21  2020 2013-GA-criterios.tex
-rw-r--r--   1 edrx edrx        8889 Mar 20 23:24 2013-GA-criterios.tex.html
-rw-r--r--   2 edrx edrx       19200 Jul  4  2013 2013-abaixo-assinado-DE.pdf
-rw-r--r--   1 edrx edrx        2945 Feb 21  2020 2013-abaixo-assinado-DE.tex
-rw-r--r--   1 edrx edrx        4252 Mar 20 23:24 2013-abaixo-assinado-DE.tex.html
-rw-r--r--   1 edrx edrx        5578 Feb 21  2020 2013-ict-salas.tex
-rw-r--r--   1 edrx edrx        7259 Mar 20 23:24 2013-ict-salas.tex.html
-rw-r--r--   2 edrx edrx       70675 Jul 19  2013 2013-montreal.pdf
-rw-r--r--   1 edrx edrx       11278 Feb 21  2020 2013-montreal.tex
-rw-r--r--   1 edrx edrx       12605 Mar 20 23:24 2013-montreal.tex.html
-rw-r--r--   2 edrx www-data  184748 Apr  5  2013 2013idct-changes.pdf
-rw-r--r--   1 edrx edrx       12546 Feb 21  2020 2013idct-changes.tex
-rw-r--r--   1 edrx edrx       14382 Mar 20 23:24 2013idct-changes.tex.html
-rw-r--r--   1 edrx edrx        8006 Feb 21  2020 2013sheaves-for-children.tex
-rw-r--r--   1 edrx edrx       10608 Mar 20 23:24 2013sheaves-for-children.tex.html
-rw-r--r--   2 edrx edrx      125567 May  7  2014 2014-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx       14368 Feb 21  2020 2014-1-GA-P1.tex
-rw-r--r--   1 edrx edrx       16561 Mar 20 23:24 2014-1-GA-P1.tex.html
-rw-r--r--   1 edrx edrx        2068 Feb 21  2020 2014-1-GA-P2-gab.lua
-rw-r--r--   1 edrx edrx        3190 Mar 20 23:24 2014-1-GA-P2-gab.lua.html
-rw-r--r--   1 edrx edrx        7264 Feb 21  2020 2014-1-GA-P2-gab.tex
-rw-r--r--   1 edrx edrx        9073 Mar 20 23:24 2014-1-GA-P2-gab.tex.html
-rw-r--r--   1 edrx edrx        5731 Feb 21  2020 2014-1-GA-P2.tex
-rw-r--r--   1 edrx edrx        7706 Mar 20 23:24 2014-1-GA-P2.tex.html
-rw-r--r--   1 edrx edrx        5781 Feb 21  2020 2014-1-GA-VR.tex
-rw-r--r--   1 edrx edrx        7698 Mar 20 23:24 2014-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx      117310 Jun 25  2014 2014-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx        7690 Feb 21  2020 2014-1-GA-VS.tex
-rw-r--r--   1 edrx edrx       10020 Mar 20 23:24 2014-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx       79818 May  7  2014 2014-1-GA-metodos.pdf
-rw-r--r--   1 edrx edrx        5875 Feb 21  2020 2014-1-GA-metodos.tex
-rw-r--r--   1 edrx edrx        7562 Mar 20 23:24 2014-1-GA-metodos.tex.html
-rw-r--r--   1 edrx edrx        3913 Feb 21  2020 2014-2-GA-lista1.tex
-rw-r--r--   1 edrx edrx        5798 Mar 20 23:24 2014-2-GA-lista1.tex.html
-rw-r--r--   1 edrx edrx       43412 Feb 21  2020 2014-resposta.tex
-rw-r--r--   1 edrx edrx       53243 Mar 20 23:24 2014-resposta.tex.html
-rw-r--r--   2 edrx edrx      102111 Feb 20  2014 2014-rfm-rcn-tabela.pdf
-rw-r--r--   1 edrx edrx       10178 Feb 21  2020 2014-rfm-rcn-tabela.tex
-rw-r--r--   1 edrx edrx       13171 Mar 20 23:24 2014-rfm-rcn-tabela.tex.html
-rw-r--r--   1 edrx edrx        7509 Feb 21  2020 2014depoimento-ci.tex
-rw-r--r--   1 edrx edrx        9876 Mar 20 23:24 2014depoimento-ci.tex.html
-rw-r--r--   1 edrx edrx        3496 Feb 21  2020 2014istanbul-a.lua
-rw-r--r--   1 edrx edrx        4483 Mar 20 23:24 2014istanbul-a.lua.html
-rw-r--r--   2 edrx edrx      135860 Jun 21  2015 2014istanbul-a.pdf
-rw-r--r--   1 edrx edrx       21324 Feb 21  2020 2014istanbul-a.tex
-rw-r--r--   1 edrx edrx       24188 Mar 20 23:24 2014istanbul-a.tex.html
-rw-r--r--   2 edrx edrx       82064 Apr 12  2014 2014sfc-abstract.pdf
-rw-r--r--   1 edrx edrx        2823 Feb 21  2020 2014sfc-abstract.tex
-rw-r--r--   1 edrx edrx        4218 Mar 20 23:24 2014sfc-abstract.tex.html
-rw-r--r--   2 edrx edrx      216380 Apr 29  2014 2014sfc-slides.pdf
-rw-r--r--   1 edrx edrx       23384 Feb 21  2020 2014sfc-slides.tex
-rw-r--r--   1 edrx edrx       34358 Mar 20 23:24 2014sfc-slides.tex.html
-rw-r--r--   2 edrx edrx      228626 May 19  2014 2014sfc-slides2.pdf
-rw-r--r--   1 edrx edrx       43432 Feb 21  2020 2014sfc-slides2.tex
-rw-r--r--   1 edrx edrx       58352 Mar 20 23:24 2014sfc-slides2.tex.html
-rw-r--r--   2 edrx edrx       18371 May 19  2014 2014sfc-slides2h.pdf
-rw-r--r--   1 edrx edrx        2035 Feb 21  2020 2015-1-C2-figuras1.lua
-rw-r--r--   1 edrx edrx        3169 Mar 20 23:24 2015-1-C2-figuras1.lua.html
-rw-r--r--   1 edrx edrx        6944 Feb 21  2020 2015-1-C2-figuras1.tex
-rw-r--r--   1 edrx edrx        8358 Mar 20 23:24 2015-1-C2-figuras1.tex.html
-rw-r--r--   1 edrx edrx         403 Feb 21  2020 2015-1-C2-lista-edrx-1.lua
-rw-r--r--   1 edrx edrx        1451 Mar 20 23:24 2015-1-C2-lista-edrx-1.lua.html
-rw-r--r--   1 edrx edrx        3186 Feb 21  2020 2015-1-C2-lista-edrx-1.tex
-rw-r--r--   1 edrx edrx        4564 Mar 20 23:24 2015-1-C2-lista-edrx-1.tex.html
-rw-r--r--   1 edrx edrx         403 Feb 21  2020 2015-1-GA-lista-edrx-1.lua
-rw-r--r--   1 edrx edrx        1451 Mar 20 23:24 2015-1-GA-lista-edrx-1.lua.html
-rw-r--r--   1 edrx edrx       13012 Feb 21  2020 2015-1-GA-lista-edrx-1.tex
-rw-r--r--   1 edrx edrx       15560 Mar 20 23:24 2015-1-GA-lista-edrx-1.tex.html
-rw-r--r--   2 edrx edrx      114959 Mar 14  2016 2015-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        8121 Feb 21  2020 2015-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       10308 Mar 20 23:24 2015-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      117208 Jul 27  2016 2015-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx        5894 Feb 21  2020 2015-2-C2-P2.tex
-rw-r--r--   1 edrx edrx        8088 Mar 20 23:24 2015-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      118287 Dec  8  2018 2015-2-C2-VR.pdf
-rw-r--r--   1 edrx edrx        8421 Feb 21  2020 2015-2-C2-VR.tex
-rw-r--r--   1 edrx edrx       10657 Mar 20 23:24 2015-2-C2-VR.tex.html
-rw-r--r--   2 edrx edrx      135339 Feb 29  2016 2015-2-C2-material.pdf
-rw-r--r--   1 edrx edrx       12072 Feb 21  2020 2015-2-C2-material.tex
-rw-r--r--   1 edrx edrx       14530 Mar 20 23:24 2015-2-C2-material.tex.html
-rw-r--r--   2 edrx edrx       74303 Feb 17  2016 2015-2-C2-material.tgz
-rw-r--r--   2 edrx edrx      123755 Feb 17  2016 2015-2-GA-P1-gab.pdf
-rw-r--r--   1 edrx edrx        9926 Feb 21  2020 2015-2-GA-P1-gab.tex
-rw-r--r--   1 edrx edrx       12135 Mar 20 23:24 2015-2-GA-P1-gab.tex.html
-rw-r--r--   2 edrx edrx       79344 Feb 16  2016 2015-2-GA-P1-gab.tgz
-rw-r--r--   2 edrx edrx       93122 May 24  2016 2015-2-GA-P1-gab.zip
-rw-r--r--   1 edrx edrx       11346 Feb 21  2020 2015-2-GA-P2.tex
-rw-r--r--   1 edrx edrx       13936 Mar 20 23:24 2015-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx       80592 Apr  6  2016 2015-2-GA-P2.tgz
-rw-r--r--   2 edrx edrx      107781 Mar 28  2016 2015-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx        9200 Feb 21  2020 2015-2-GA-VR.tex
-rw-r--r--   1 edrx edrx       11528 Mar 20 23:24 2015-2-GA-VR.tex.html
-rw-r--r--   1 edrx edrx        2048 Feb 21  2020 2015-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        3878 Mar 20 23:24 2015-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      124969 Feb 17  2016 2015-2-GA-material.pdf
-rw-r--r--   1 edrx edrx       15121 Feb 21  2020 2015-2-GA-material.tex
-rw-r--r--   1 edrx edrx       17766 Mar 20 23:24 2015-2-GA-material.tex.html
-rw-r--r--   2 edrx edrx       72608 May  9  2017 2015children.pdf
-rw-r--r--   1 edrx edrx        6919 Feb 21  2020 2015children.tex
-rw-r--r--   1 edrx edrx        9182 Mar 20 23:24 2015children.tex.html
-rwxr-xr-x   1 edrx edrx        3939 Feb 21  2020 2015logicandcats.lua*
-rw-r--r--   1 edrx edrx        7074 Mar 20 23:24 2015logicandcats.lua.html
-rw-r--r--   1 edrx edrx       14539 Feb 21  2020 2015logicandcats.tex
-rw-r--r--   1 edrx edrx       18705 Mar 20 23:24 2015logicandcats.tex.html
-rw-r--r--   1 edrx edrx        4817 Feb 21  2020 2015oppositions.tex
-rw-r--r--   1 edrx edrx        6675 Mar 20 23:24 2015oppositions.tex.html
-rw-r--r--   2 edrx edrx      328858 Mar  6  2017 2015planar-has.pdf
-rw-r--r--   1 edrx edrx       88230 Feb 21  2020 2015planar-has.tex
-rw-r--r--   1 edrx edrx      107309 Mar 20 23:24 2015planar-has.tex.html
-rw-r--r--   2 edrx edrx      124894 Nov  6  2017 2016-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       15310 Feb  3  2022 2016-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       18666 Mar 20 23:24 2016-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      126088 Aug  1  2016 2016-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx        8625 Feb 21  2020 2016-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       11141 Mar 20 23:24 2016-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      139981 Aug  1  2016 2016-1-C2-VR.pdf
-rw-r--r--   1 edrx edrx        7149 Feb 21  2020 2016-1-C2-VR.tex
-rw-r--r--   1 edrx edrx        9325 Mar 20 23:24 2016-1-C2-VR.tex.html
-rw-r--r--   2 edrx edrx      140223 Aug  8  2016 2016-1-C2-VS.pdf
-rw-r--r--   1 edrx edrx        7570 Feb 21  2020 2016-1-C2-VS.tex
-rw-r--r--   1 edrx edrx       10297 Mar 20 23:24 2016-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx       12280 Feb 21  2020 2016-1-C2-material.tex
-rw-r--r--   1 edrx edrx       15511 Mar 20 23:24 2016-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx      126121 Jun 26  2016 2016-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx       13333 Feb 21  2020 2016-1-GA-P1.tex
-rw-r--r--   1 edrx edrx       16135 Mar 20 23:24 2016-1-GA-P1.tex.html
-rw-r--r--   2 edrx edrx      151238 Jul 31  2016 2016-1-GA-P2.pdf
-rw-r--r--   1 edrx edrx        8139 Feb 21  2020 2016-1-GA-P2.tex
-rw-r--r--   1 edrx edrx       10923 Mar 20 23:24 2016-1-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      148495 Aug  2  2016 2016-1-GA-VR.pdf
-rw-r--r--   1 edrx edrx        7722 Feb 21  2020 2016-1-GA-VR.tex
-rw-r--r--   1 edrx edrx        9798 Mar 20 23:24 2016-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx      122125 Aug  8  2016 2016-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx        6361 Feb 21  2020 2016-1-GA-VS.tex
-rw-r--r--   1 edrx edrx        8374 Mar 20 23:24 2016-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      139559 Sep 16  2019 2016-1-GA-material.pdf
-rw-r--r--   1 edrx edrx       28403 Feb 21  2020 2016-1-GA-material.tex
-rw-r--r--   1 edrx edrx       32748 Mar 20 23:24 2016-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx       96164 May 24  2016 2016-1-GA-material.zip
-rw-r--r--   2 edrx edrx      125450 May 11  2016 2016-1-LA-material.pdf
-rw-r--r--   1 edrx edrx       46596 Feb 21  2020 2016-1-LA-material.tex
-rw-r--r--   1 edrx edrx       57770 Mar 20 23:24 2016-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx       85890 Nov  6  2017 2016-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        3914 Feb 21  2020 2016-2-C2-P1.tex
-rw-r--r--   1 edrx edrx        6503 Mar 20 23:24 2016-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      113791 Dec  6  2017 2016-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx        7826 Feb 21  2020 2016-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       10266 Mar 20 23:24 2016-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx        6873 Feb 21  2020 2016-2-C2-integral.tex
-rw-r--r--   1 edrx edrx       11577 Mar 20 23:24 2016-2-C2-integral.tex.html
-rw-r--r--   2 edrx edrx      106507 Jan 22  2017 2016-2-GA-P1.pdf
-rw-r--r--   1 edrx edrx        5825 Feb 21  2020 2016-2-GA-P1.tex
-rw-r--r--   1 edrx edrx        8801 Mar 20 23:24 2016-2-GA-P1.tex.html
-rw-r--r--   2 edrx edrx      106809 Jan 18  2017 2016-2-GA-P2.pdf
-rw-r--r--   1 edrx edrx        9315 Feb 21  2020 2016-2-GA-P2.tex
-rw-r--r--   1 edrx edrx       12041 Mar 20 23:24 2016-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      113574 Jan 25  2017 2016-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx        5804 Feb 21  2020 2016-2-GA-VR.tex
-rw-r--r--   1 edrx edrx        8378 Mar 20 23:24 2016-2-GA-VR.tex.html
-rw-r--r--   2 edrx edrx      107422 Jan 25  2017 2016-2-GA-VS.pdf
-rw-r--r--   1 edrx edrx        5458 Feb 21  2020 2016-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        8104 Mar 20 23:24 2016-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      379883 Jan 10  2017 2016-2-GA-algebra.pdf
-rw-r--r--   1 edrx edrx      100424 Feb 21  2020 2016-2-GA-algebra.tex
-rw-r--r--   1 edrx edrx      122922 Mar 20 23:24 2016-2-GA-algebra.tex.html
-rw-r--r--   2 edrx edrx       41491 Jan 10  2017 2016-2-GA-algebra.tgz
-rw-r--r--   1 edrx edrx        2172 Feb 21  2020 2016-2-GA-conicas.tex
-rw-r--r--   1 edrx edrx        4721 Mar 20 23:24 2016-2-GA-conicas.tex.html
-rw-r--r--   2 edrx edrx      128609 Aug 27  2016 2016-2-LA-cats.pdf
-rw-r--r--   1 edrx edrx       12607 Feb 21  2020 2016-2-LA-cats.tex
-rw-r--r--   1 edrx edrx       17122 Mar 20 23:24 2016-2-LA-cats.tex.html
-rw-r--r--   2 edrx edrx      140091 Sep 26  2016 2016-2-LA-lambda.pdf
-rw-r--r--   1 edrx edrx       20508 Feb 21  2020 2016-2-LA-lambda.tex
-rw-r--r--   1 edrx edrx       25599 Mar 20 23:24 2016-2-LA-lambda.tex.html
-rw-r--r--   2 edrx edrx       43262 Aug 27  2016 2016-2-LA-logic.pdf
-rw-r--r--   1 edrx edrx       28087 Feb 21  2020 2016-2-LA-logic.tex
-rw-r--r--   1 edrx edrx       35080 Mar 20 23:24 2016-2-LA-logic.tex.html
-rw-r--r--   1 edrx edrx        9445 Feb 21  2020 2016-2-LA-zhas.tex
-rw-r--r--   1 edrx edrx       14053 Mar 20 23:24 2016-2-LA-zhas.tex.html
-rw-r--r--   2 edrx edrx       68958 Jan 15  2016 2016lucatelli.pdf
-rw-r--r--   1 edrx edrx        3229 Feb 21  2020 2016lucatelli.tex
-rw-r--r--   1 edrx edrx        4571 Mar 20 23:24 2016lucatelli.tex.html
-rw-r--r--   2 edrx edrx      119011 Dec 27  2016 2016modal.pdf
-rw-r--r--   1 edrx edrx        6369 Feb 21  2020 2016optativa-1.tex
-rw-r--r--   1 edrx edrx        9497 Mar 20 23:24 2016optativa-1.tex.html
-rw-r--r--   2 edrx edrx      391022 Dec 18  2016 2016planar-has.pdf
-rw-r--r--   1 edrx edrx      116115 Feb 21  2020 2016planar-has.tex
-rw-r--r--   1 edrx edrx      136960 Mar 20 23:24 2016planar-has.tex.html
-rw-r--r--   2 edrx edrx      119664 Dec 18  2016 2016planar-has.tgz
-rw-r--r--   2 edrx edrx      105157 Nov  6  2017 2017-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx        6226 Feb 21  2020 2017-1-C2-P1.tex
-rw-r--r--   1 edrx edrx        8886 Mar 20 23:24 2017-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx       83573 Dec  6  2017 2017-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx        4958 Feb 21  2020 2017-1-C2-P2.tex
-rw-r--r--   1 edrx edrx        7911 Mar 20 23:24 2017-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx       79351 Dec  6  2017 2017-1-C2-VS.pdf
-rw-r--r--   1 edrx edrx        3328 Sep 16  2020 2017-1-C2-VS.tex
-rw-r--r--   1 edrx edrx        6143 Mar 20 23:24 2017-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx        5430 Feb 21  2020 2017-1-C2-material.tex
-rw-r--r--   1 edrx edrx        9985 Mar 20 23:24 2017-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx      117912 Jun 29  2017 2017-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx        7273 Feb 21  2020 2017-1-GA-P1.tex
-rw-r--r--   1 edrx edrx       10169 Mar 20 23:24 2017-1-GA-P1.tex.html
-rw-r--r--   2 edrx edrx      102164 Jul 17  2017 2017-1-GA-P2.pdf
-rw-r--r--   1 edrx edrx       14873 Feb 21  2020 2017-1-GA-P2.tex
-rw-r--r--   1 edrx edrx       18166 Mar 20 23:24 2017-1-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      119182 Jul 18  2017 2017-1-GA-VR.pdf
-rw-r--r--   1 edrx edrx       14026 Feb 21  2020 2017-1-GA-VR.tex
-rw-r--r--   1 edrx edrx       17305 Mar 20 23:24 2017-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx       86937 Jul 31  2017 2017-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx        6587 Feb 21  2020 2017-1-GA-VS.tex
-rw-r--r--   1 edrx edrx        9102 Mar 20 23:24 2017-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      331875 May  2  2017 2017-1-GA-material.pdf
-rw-r--r--   1 edrx edrx       98891 Feb 21  2020 2017-1-GA-material.tex
-rw-r--r--   1 edrx edrx      119886 Mar 20 23:24 2017-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx      115050 Jul 10  2017 2017-1-GA-material.tgz
-rw-r--r--   2 edrx edrx      232770 May  2  2017 2017-1-LA-material.pdf
-rw-r--r--   1 edrx edrx       37475 Feb 21  2020 2017-1-LA-material.tex
-rw-r--r--   1 edrx edrx       46660 Mar 20 23:24 2017-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx      119895 Dec 19  2017 2017-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        6812 Feb 21  2020 2017-2-C2-P1.tex
-rw-r--r--   1 edrx edrx        9261 Mar 20 23:24 2017-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx       87770 Dec 14  2017 2017-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx        6048 Feb 21  2020 2017-2-C2-P2.tex
-rw-r--r--   1 edrx edrx        9019 Mar 20 23:24 2017-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx       80697 Dec  8  2018 2017-2-C2-VS.pdf
-rw-r--r--   1 edrx edrx        3574 Feb 21  2020 2017-2-C2-VS.tex
-rw-r--r--   1 edrx edrx        6203 Mar 20 23:24 2017-2-C2-VS.tex.html
-rw-r--r--   2 edrx edrx      160378 Apr  2  2018 2017-2-C2-material.pdf
-rw-r--r--   1 edrx edrx       28625 Feb 21  2020 2017-2-C2-material.tex
-rw-r--r--   1 edrx edrx       41297 Mar 20 23:24 2017-2-C2-material.tex.html
-rw-r--r--   2 edrx edrx      100704 May 21  2018 2017-2-GA-P1.pdf
-rw-r--r--   1 edrx edrx        9995 Feb 21  2020 2017-2-GA-P1.tex
-rw-r--r--   1 edrx edrx       12720 Mar 20 23:24 2017-2-GA-P1.tex.html
-rw-r--r--   2 edrx edrx       95447 Dec 13  2017 2017-2-GA-P2.pdf
-rw-r--r--   1 edrx edrx       14055 Feb 21  2020 2017-2-GA-P2.tex
-rw-r--r--   1 edrx edrx       18335 Mar 20 23:24 2017-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      100113 Dec 13  2017 2017-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx       11788 Feb 21  2020 2017-2-GA-VR.tex
-rw-r--r--   1 edrx edrx       15826 Mar 20 23:24 2017-2-GA-VR.tex.html
-rw-r--r--   2 edrx edrx       89242 Jan 25  2018 2017-2-GA-VS.pdf
-rw-r--r--   1 edrx edrx        6952 Feb 21  2020 2017-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        9770 Mar 20 23:24 2017-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      357813 Aug 21  2017 2017-2-GA-material.pdf
-rw-r--r--   1 edrx edrx       99398 Feb 21  2020 2017-2-GA-material.tex
-rw-r--r--   1 edrx edrx      120260 Mar 20 23:24 2017-2-GA-material.tex.html
-rw-r--r--   2 edrx edrx      222998 Aug 22  2017 2017-2-LA-material.pdf
-rw-r--r--   1 edrx edrx       52258 Feb 21  2020 2017-2-LA-material.tex
-rw-r--r--   1 edrx edrx       65333 Mar 20 23:24 2017-2-LA-material.tex.html
-rw-r--r--   1 edrx edrx        3865 Feb 21  2020 2017-music-paper.tex
-rw-r--r--   1 edrx edrx        6815 Mar 20 23:24 2017-music-paper.tex.html
-rw-r--r--   2 edrx edrx       70141 Feb  6  2017 2017adjunctions.pdf
-rw-r--r--   1 edrx edrx        9523 Feb 21  2020 2017adjunctions.tex
-rw-r--r--   1 edrx edrx       12603 Mar 20 23:24 2017adjunctions.tex.html
-rw-r--r--   1 edrx edrx        7380 Aug 20  2020 2017bell.tex
-rw-r--r--   1 edrx edrx        9791 Mar 20 23:24 2017bell.tex.html
-rw-r--r--   1 edrx edrx        1807 Feb 21  2020 2017biblatex.tex
-rw-r--r--   1 edrx edrx        4152 Mar 20 23:24 2017biblatex.tex.html
-rw-r--r--   2 edrx edrx      142769 Jul 24  2017 2017cwm-adjoints.pdf
-rw-r--r--   2 edrx edrx      250424 Nov 25  2017 2017cwm.pdf
-rw-r--r--   1 edrx edrx       74119 May  4  2020 2017cwm.tex
-rw-r--r--   1 edrx edrx       93817 Mar 20 23:24 2017cwm.tex.html
-rw-r--r--   1 edrx edrx        7146 Jan  1  2022 2017distributivity.tex
-rw-r--r--   1 edrx edrx       10209 Mar 20 23:24 2017distributivity.tex.html
-rw-r--r--   2 edrx edrx       62881 Apr  9  2017 2017ebl-abs.pdf
-rw-r--r--   1 edrx edrx        4725 Feb 21  2020 2017ebl-abs.tex
-rw-r--r--   1 edrx edrx        7106 Mar 20 23:24 2017ebl-abs.tex.html
-rw-r--r--   2 edrx edrx       14760 Jan 21  2017 2017ebl-abs.tgz
-rw-r--r--   2 edrx edrx      150698 May  5  2017 2017ebl-handouts.pdf
-rw-r--r--   1 edrx edrx       11991 Feb 21  2020 2017ebl-handouts.tex
-rw-r--r--   1 edrx edrx       17674 Mar 20 23:24 2017ebl-handouts.tex.html
-rw-r--r--   1 edrx edrx        2262 Feb 21  2020 2017ebl-proceedings.tex
-rw-r--r--   1 edrx edrx        4705 Mar 20 23:24 2017ebl-proceedings.tex.html
-rw-r--r--   2 edrx edrx      254123 May  9  2017 2017ebl-slides.pdf
-rw-r--r--   1 edrx edrx       48445 Feb 21  2020 2017ebl-slides.tex
-rw-r--r--   1 edrx edrx       63445 Mar 20 23:24 2017ebl-slides.tex.html
-rw-r--r--   2 edrx edrx      245972 Oct 17  2017 2017elephant.pdf
-rw-r--r--   1 edrx edrx       74758 Jul 18  2020 2017elephant.tex
-rw-r--r--   1 edrx edrx       99294 Mar 20 23:24 2017elephant.tex.html
-rw-r--r--   1 edrx edrx      130592 Feb 21  2020 2017idarct.tex
-rw-r--r--   1 edrx edrx      150750 Mar 20 23:24 2017idarct.tex.html
-rw-r--r--   2 edrx edrx      143515 Dec 31  2017 2017idarct.tgz
-rw-r--r--   1 edrx edrx        4543 Feb 21  2020 2017lucatelli-fibs.tex
-rw-r--r--   1 edrx edrx        6991 Mar 20 23:24 2017lucatelli-fibs.tex.html
-rw-r--r--   2 edrx edrx      453030 Aug 30  2017 2017planar-has-1-v1.pdf
-rw-r--r--   2 edrx edrx      209948 Aug 30  2017 2017planar-has-1-v1.tgz
-rw-r--r--   1 edrx edrx         769 Feb 21  2020 2017planar-has-1.mk
-rw-r--r--   1 edrx edrx        1915 Mar 20 23:24 2017planar-has-1.mk.html
-rw-r--r--   2 edrx edrx      500841 Jan 17  2020 2017planar-has-1.pdf
-rw-r--r--   1 edrx edrx      141009 Jun  6  2022 2017planar-has-1.tex
-rw-r--r--   1 edrx edrx      164750 Mar 20 23:24 2017planar-has-1.tex.html
-rw-r--r--   2 edrx edrx      236759 Jan 17  2020 2017planar-has-1.tgz
-rw-r--r--   2 edrx edrx      255519 Jan 17  2020 2017planar-has-1.zip
-rw-r--r--   2 edrx edrx      450707 Jun 30  2018 2017planar-has-2.pdf
-rw-r--r--   1 edrx edrx      145312 Jul 19  2021 2017planar-has-2.tex
-rw-r--r--   1 edrx edrx      166853 Mar 20 23:24 2017planar-has-2.tex.html
-rw-r--r--   2 edrx edrx      141022 Jun 30  2018 2017planar-has-2.tgz
-rw-r--r--   2 edrx edrx      169777 Jun 26  2018 2017planar-has-3.pdf
-rw-r--r--   1 edrx edrx       14776 Feb 21  2020 2017planar-has-3.tex
-rw-r--r--   1 edrx edrx       20653 Mar 20 23:24 2017planar-has-3.tex.html
-rw-r--r--   2 edrx edrx      105020 Feb 12  2018 2017planar-has-3.tgz
-rw-r--r--   1 edrx edrx        7586 Jun 13  2021 2017planar-has-defs.tex
-rw-r--r--   1 edrx edrx       13291 Mar 20 23:24 2017planar-has-defs.tex.html
-rw-r--r--   1 edrx edrx      123863 Feb 21  2020 2017planar-has-deleted.tex
-rw-r--r--   1 edrx edrx      148343 Mar 20 23:24 2017planar-has-deleted.tex.html
-rw-r--r--   2 edrx edrx      658879 Jul 15  2017 2017planar-has-sajl.pdf
-rw-r--r--   2 edrx edrx      228442 Jul 15  2017 2017planar-has-sajl.tgz
-rw-r--r--   2 edrx edrx      617995 Jul 13  2017 2017planar-has.pdf
-rw-r--r--   1 edrx edrx      206709 Feb 21  2020 2017planar-has.tex
-rw-r--r--   1 edrx edrx      238666 Mar 20 23:24 2017planar-has.tex.html
-rw-r--r--   2 edrx edrx      150725 Jul 13  2017 2017planar-has.tgz
-rw-r--r--   2 edrx edrx       56580 May 11  2017 2017puc-abstract.pdf
-rw-r--r--   1 edrx edrx        2310 Feb 21  2020 2017puc-abstract.tex
-rw-r--r--   1 edrx edrx        3554 Mar 20 23:24 2017puc-abstract.tex.html
-rw-r--r--   1 edrx edrx        3572 Feb 21  2020 2017repl-test-1.tex
-rw-r--r--   1 edrx edrx        7149 Mar 20 23:24 2017repl-test-1.tex.html
-rw-r--r--   2 edrx edrx       79893 Aug  5  2017 2017repl-test-1.tgz
-rw-r--r--   1 edrx edrx       11851 Feb 21  2020 2017sajl-mini.tex
-rw-r--r--   1 edrx edrx       16801 Mar 20 23:24 2017sajl-mini.tex.html
-rw-r--r--   1 edrx edrx        6800 Feb 21  2020 2017vichy-abs.tex
-rw-r--r--   1 edrx edrx       10654 Mar 20 23:24 2017vichy-abs.tex.html
-rw-r--r--   1 edrx edrx        7573 Feb 21  2020 2017vichy-slides-1.tex
-rw-r--r--   1 edrx edrx       10273 Mar 20 23:24 2017vichy-slides-1.tex.html
-rw-r--r--   1 edrx edrx        2250 Feb 21  2020 2017vichy-slides-2.tex
-rw-r--r--   1 edrx edrx        4689 Mar 20 23:24 2017vichy-slides-2.tex.html
-rw-r--r--   1 edrx edrx        2926 Feb 21  2020 2017vichy-slides-3.tex
-rw-r--r--   1 edrx edrx        5365 Mar 20 23:24 2017vichy-slides-3.tex.html
-rw-r--r--   1 edrx edrx        2250 Feb 21  2020 2017vichy-slides-4.tex
-rw-r--r--   1 edrx edrx        4689 Mar 20 23:24 2017vichy-slides-4.tex.html
-rw-r--r--   2 edrx edrx       28755 Sep 20  2017 2017vichy-workshop.pdf
-rw-r--r--   1 edrx edrx        5449 Feb 21  2020 2017vichy-workshop.tex
-rw-r--r--   1 edrx edrx        6982 Mar 20 23:24 2017vichy-workshop.tex.html
-rw-r--r--   2 edrx edrx       43291 Sep 15  2017 2017visualizing-gms.pdf
-rw-r--r--   1 edrx edrx        2616 Feb 21  2020 2017visualizing-gms.tex
-rw-r--r--   1 edrx edrx        3689 Mar 20 23:24 2017visualizing-gms.tex.html
-rw-r--r--   2 edrx edrx      380406 Feb 12  2018 2017yoneda.pdf
-rw-r--r--   1 edrx edrx       84146 Feb 21  2020 2017yoneda.tex
-rw-r--r--   1 edrx edrx       98187 Mar 20 23:24 2017yoneda.tex.html
-rw-r--r--   2 edrx edrx      126610 Feb 12  2018 2017yoneda.tgz
-rw-r--r--   2 edrx edrx      106867 Jul 10  2018 2018-1-C2-P1.pdf
-rw-r--r--   2 edrx edrx      103819 Jul 10  2018 2018-1-C2-P2.pdf
-rw-r--r--   2 edrx edrx       94178 Jul  6  2018 2018-1-GA-P1.pdf
-rw-r--r--   2 edrx edrx       98141 Jul  8  2018 2018-1-GA-P2.pdf
-rw-r--r--   2 edrx edrx      158444 Jun 26  2018 2018-1-GA-R3.pdf
-rw-r--r--   1 edrx edrx       19787 Feb 21  2020 2018-1-GA-R3.tex
-rw-r--r--   1 edrx edrx       26041 Mar 20 23:24 2018-1-GA-R3.tex.html
-rw-r--r--   2 edrx edrx       95298 Jul 11  2018 2018-1-GA-VR.pdf
-rw-r--r--   2 edrx edrx       97917 Jul 19  2018 2018-1-GA-VS.pdf
-rw-r--r--   2 edrx edrx      111334 Jul  2  2018 2018-1-GA-conicas.pdf
-rw-r--r--   1 edrx edrx        3574 Feb 21  2020 2018-1-GA-conicas.tex
-rw-r--r--   1 edrx edrx        7695 Mar 20 23:24 2018-1-GA-conicas.tex.html
-rw-r--r--   2 edrx edrx      462416 Jun  4  2018 2018-1-GA-material.pdf
-rw-r--r--   1 edrx edrx      153195 Feb 21  2020 2018-1-GA-material.tex
-rw-r--r--   1 edrx edrx      183749 Mar 20 23:24 2018-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx      146356 May 28  2018 2018-1-GA-material.tgz
-rw-r--r--   2 edrx edrx      254291 Jan  4  2018 2018-1-LA-material.pdf
-rw-r--r--   1 edrx edrx       55866 Nov 14 13:54 2018-1-LA-material.tex
-rw-r--r--   1 edrx edrx       69750 Mar 20 23:24 2018-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx      113289 Oct 31  2019 2018-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        9563 Jan  2  2022 2018-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       16504 Mar 20 23:24 2018-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx       91785 Dec 20  2018 2018-2-C2-P1.tgz
-rw-r--r--   2 edrx edrx       91136 Nov 10  2018 2018-2-C2-P1fake.pdf
-rw-r--r--   1 edrx edrx        3500 Feb 21  2020 2018-2-C2-P1fake.tex
-rw-r--r--   1 edrx edrx        5887 Mar 20 23:24 2018-2-C2-P1fake.tex.html
-rw-r--r--   2 edrx edrx       90408 Nov 10  2018 2018-2-C2-P1fake.tgz
-rw-r--r--   2 edrx edrx      105717 Dec  6  2019 2018-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx        5784 Feb 21  2020 2018-2-C2-P2.tex
-rw-r--r--   1 edrx edrx        8026 Mar 20 23:24 2018-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx       15649 Dec 15  2018 2018-2-C2-P2.tgz
-rw-r--r--   2 edrx edrx       94870 Dec 20  2018 2018-2-C2-VS.pdf
-rw-r--r--   1 edrx edrx        6089 Feb 21  2020 2018-2-C2-VS.tex
-rw-r--r--   1 edrx edrx        9002 Mar 20 23:24 2018-2-C2-VS.tex.html
-rw-r--r--   2 edrx edrx       79655 Nov  6  2018 2018-2-MD-P1A.pdf
-rw-r--r--   1 edrx edrx       11719 Feb 21  2020 2018-2-MD-P1A.tex
-rw-r--r--   1 edrx edrx       16118 Mar 20 23:24 2018-2-MD-P1A.tex.html
-rw-r--r--   2 edrx edrx       98956 Nov  6  2018 2018-2-MD-P1A.tgz
-rw-r--r--   2 edrx edrx       99748 Nov 21  2018 2018-2-MD-P1B.pdf
-rw-r--r--   1 edrx edrx       11823 Feb 21  2020 2018-2-MD-P1B.tex
-rw-r--r--   1 edrx edrx       16206 Mar 20 23:24 2018-2-MD-P1B.tex.html
-rw-r--r--   2 edrx edrx      108981 Nov 21  2018 2018-2-MD-P1B.tgz
-rw-r--r--   2 edrx edrx      108189 Dec 17  2018 2018-2-MD-P2A.pdf
-rw-r--r--   1 edrx edrx       10561 Feb 21  2020 2018-2-MD-P2A.tex
-rw-r--r--   1 edrx edrx       15339 Mar 20 23:24 2018-2-MD-P2A.tex.html
-rw-r--r--   1 edrx edrx        4710 Feb 21  2020 2018-2-MD-P2B.tex
-rw-r--r--   1 edrx edrx        7352 Mar 20 23:24 2018-2-MD-P2B.tex.html
-rw-r--r--   2 edrx edrx      122231 Dec 18  2018 2018-2-MD-VR.pdf
-rw-r--r--   1 edrx edrx       11700 Feb 21  2020 2018-2-MD-VR.tex
-rw-r--r--   1 edrx edrx       16179 Mar 20 23:24 2018-2-MD-VR.tex.html
-rw-r--r--   2 edrx edrx      100055 Dec 18  2018 2018-2-MD-VR.tgz
-rw-r--r--   1 edrx edrx        4197 Feb 21  2020 2018-2-MD-VS.tex
-rw-r--r--   1 edrx edrx        6826 Mar 20 23:24 2018-2-MD-VS.tex.html
-rw-r--r--   2 edrx edrx       95213 Dec 18  2018 2018-2-MD-defs-recursivas.pdf
-rw-r--r--   1 edrx edrx        7657 Feb 21  2020 2018-2-MD-defs-recursivas.tex
-rw-r--r--   1 edrx edrx       10670 Mar 20 23:24 2018-2-MD-defs-recursivas.tex.html
-rw-r--r--   2 edrx edrx      113628 Dec 23  2018 2018-2-MD-demonstracoes.pdf
-rw-r--r--   1 edrx edrx       13077 Feb 21  2020 2018-2-MD-demonstracoes.tex
-rw-r--r--   1 edrx edrx       15690 Mar 20 23:24 2018-2-MD-demonstracoes.tex.html
-rw-r--r--   2 edrx edrx       93758 Dec 23  2018 2018-2-MD-demonstracoes.tgz
-rw-r--r--   1 edrx edrx        2539 Feb 21  2020 2018-2-MD-material.tex
-rw-r--r--   1 edrx edrx        4940 Mar 20 23:24 2018-2-MD-material.tex.html
-rw-r--r--   2 edrx edrx       68162 Oct 23  2018 2018-2-MD-ordem-prop.pdf
-rw-r--r--   1 edrx edrx        6233 Feb 21  2020 2018-2-MD-ordem-prop.tex
-rw-r--r--   1 edrx edrx        8752 Mar 20 23:24 2018-2-MD-ordem-prop.tex.html
-rw-r--r--   2 edrx edrx       95473 Oct 23  2018 2018-2-MD-ordem-prop.tgz
-rw-r--r--   1 edrx edrx        3272 Feb 21  2020 2018-2-MD-regras-inad.tex
-rw-r--r--   1 edrx edrx        5937 Mar 20 23:24 2018-2-MD-regras-inad.tex.html
-rw-r--r--   2 edrx edrx      110545 Jul 11  2019 2018-2-MD-resposta.pdf
-rw-r--r--   1 edrx edrx       21608 Feb 21  2020 2018-2-MD-resposta.tex
-rw-r--r--   1 edrx edrx       25315 Mar 20 23:24 2018-2-MD-resposta.tex.html
-rw-r--r--   2 edrx edrx       98660 Dec 20  2018 2018-2-MD-resposta.tgz
-rw-r--r--   2 edrx edrx      118425 Dec  5  2018 2018-2-MD-sequentes.pdf
-rw-r--r--   1 edrx edrx       22237 Feb 21  2020 2018-2-MD-sequentes.tex
-rw-r--r--   1 edrx edrx       28153 Mar 20 23:24 2018-2-MD-sequentes.tex.html
-rw-r--r--   2 edrx edrx       97515 Nov  7  2018 2018-2-MD-sequentes.tgz
-rw-r--r--   2 edrx edrx      109381 Dec 17  2018 2018-2-MD-set-compr.pdf
-rw-r--r--   1 edrx edrx       18596 Feb 21  2020 2018-2-MD-set-compr.tex
-rw-r--r--   1 edrx edrx       25721 Mar 20 23:24 2018-2-MD-set-compr.tex.html
-rw-r--r--   2 edrx edrx      100734 Dec 17  2018 2018-2-MD-set-compr.tgz
-rw-r--r--   1 edrx edrx        3866 Feb 21  2020 2018-monitoria.tex
-rw-r--r--   1 edrx edrx        6301 Mar 20 23:24 2018-monitoria.tex.html
-rw-r--r--   1 edrx edrx        6604 Feb 21  2020 2018-projeto-monitoria-MD.tex
-rw-r--r--   1 edrx edrx        8350 Mar 20 23:24 2018-projeto-monitoria-MD.tex.html
-rw-r--r--   1 edrx edrx        7138 Feb 21  2020 2018-rad2017.tex
-rw-r--r--   1 edrx edrx        9823 Mar 20 23:24 2018-rad2017.tex.html
-rw-r--r--   2 edrx edrx      235935 Jan 16  2019 2018dednat6-extras.pdf
-rw-r--r--   1 edrx edrx       42876 Feb 21  2020 2018dednat6-extras.tex
-rw-r--r--   1 edrx edrx       56102 Mar 20 23:24 2018dednat6-extras.tex.html
-rw-r--r--   2 edrx edrx      108921 Dec 31  2018 2018dednat6-extras.tgz
-rw-r--r--   2 edrx edrx       69139 May 15  2019 2018dednat6-minimal.pdf
-rw-r--r--   1 edrx edrx        3887 Feb 21  2020 2018dednat6-minimal.tex
-rw-r--r--   1 edrx edrx        5584 Mar 20 23:24 2018dednat6-minimal.tex.html
-rw-r--r--   2 edrx edrx       78065 Dec 31  2018 2018dednat6-minimal.tgz
-rw-r--r--   1 edrx edrx        3014 Feb 21  2020 2018dednat6-no-lua.tex
-rw-r--r--   1 edrx edrx        4254 Mar 20 23:24 2018dednat6-no-lua.tex.html
-rw-r--r--   1 edrx edrx        1686 Feb 21  2020 2018dednat6-preproc.dnt
-rw-r--r--   1 edrx edrx        2289 Mar 20 23:24 2018dednat6-preproc.dnt.html
-rw-r--r--   1 edrx edrx        2689 Feb 21  2020 2018dednat6-preproc.tex
-rw-r--r--   1 edrx edrx        4176 Mar 20 23:24 2018dednat6-preproc.tex.html
-rw-r--r--   1 edrx edrx         455 Feb 21  2020 2018dednat6-repl.tex
-rw-r--r--   1 edrx edrx        1573 Mar 20 23:24 2018dednat6-repl.tex.html
-rw-r--r--   1 edrx edrx        2206 Feb 21  2020 2018dednat6-zhas.tex
-rw-r--r--   1 edrx edrx        4829 Mar 20 23:24 2018dednat6-zhas.tex.html
-rw-r--r--   1 edrx edrx       64403 Feb 21  2020 2018jacobs.tex
-rw-r--r--   1 edrx edrx       76905 Mar 20 23:24 2018jacobs.tex.html
-rw-r--r--   1 edrx edrx        2276 Feb 21  2020 2018kockdiff.tex
-rw-r--r--   1 edrx edrx        4766 Mar 20 23:24 2018kockdiff.tex.html
-rw-r--r--   1 edrx edrx        2546 Feb 21  2020 2018marciopalmares.tex
-rw-r--r--   1 edrx edrx        5199 Mar 20 23:24 2018marciopalmares.tex.html
-rw-r--r--   1 edrx edrx       20263 Feb 21  2020 2018pergola.tex
-rw-r--r--   1 edrx edrx       25363 Mar 20 23:24 2018pergola.tex.html
-rw-r--r--   1 edrx edrx        4383 Feb 21  2020 2018pict2e.tex
-rw-r--r--   1 edrx edrx        7386 Mar 20 23:24 2018pict2e.tex.html
-rw-r--r--   2 edrx edrx       85042 Sep 13  2018 2018planar-has-new-intro.pdf
-rw-r--r--   1 edrx edrx        5775 Feb 21  2020 2018planar-has-new-intro.tex
-rw-r--r--   1 edrx edrx        8184 Mar 20 23:24 2018planar-has-new-intro.tex.html
-rw-r--r--   2 edrx edrx       95253 Sep 13  2018 2018planar-has-new-intro.tgz
-rw-r--r--   1 edrx edrx        2295 Feb 21  2020 2018repl-test.tex
-rw-r--r--   1 edrx edrx        3979 Mar 20 23:24 2018repl-test.tex.html
-rw-r--r--   2 edrx edrx       73232 Jan 31  2018 2018repl-test.tgz
-rw-r--r--   2 edrx edrx       21104 May  8  2018 2018tug-dednat6-abs.pdf
-rw-r--r--   1 edrx edrx        4354 Feb 21  2020 2018tug-dednat6-abs.tex
-rw-r--r--   1 edrx edrx        5569 Mar 20 23:24 2018tug-dednat6-abs.tex.html
-rw-r--r--   1 edrx edrx        4727 Feb 21  2020 2018tug-dednat6-abs2.tex
-rw-r--r--   1 edrx edrx        5664 Mar 20 23:24 2018tug-dednat6-abs2.tex.html
-rw-r--r--   1 edrx edrx        4384 Feb 21  2020 2018tug-dednat6.lua
-rw-r--r--   1 edrx edrx        7035 Mar 20 23:24 2018tug-dednat6.lua.html
-rw-r--r--   2 edrx edrx      174702 Jul 18  2018 2018tug-dednat6.pdf
-rw-r--r--   2 edrx edrx      122475 Jul 20  2018 2018tug-dednat6.tgz
-rw-r--r--   2 edrx edrx      129061 Oct 29  2018 2018tugboat-rev1.pdf
-rw-r--r--   1 edrx edrx       29625 Feb 21  2020 2018tugboat-rev1.tex
-rw-r--r--   1 edrx edrx       38608 Mar 20 23:24 2018tugboat-rev1.tex.html
-rw-r--r--   2 edrx edrx      120433 Oct 29  2018 2018tugboat-rev1.tgz
-rw-r--r--   2 edrx edrx      110208 Oct 16  2018 2018tugboat.pdf
-rw-r--r--   1 edrx edrx       28830 Feb 21  2020 2018tugboat.tex
-rw-r--r--   1 edrx edrx       37632 Mar 20 23:24 2018tugboat.tex.html
-rw-r--r--   2 edrx edrx      104918 Oct 16  2018 2018tugboat.tgz
-rw-r--r--   2 edrx edrx      120992 Oct 16  2018 2018tugboat.zip
-rw-r--r--   1 edrx edrx       15702 Feb 21  2020 2018vichy-abstracts.tex
-rw-r--r--   1 edrx edrx       18388 Mar 20 23:24 2018vichy-abstracts.tex.html
-rw-r--r--   2 edrx edrx     1029524 Jun 22  2018 2018vichy-vgms-slides.pdf
-rw-r--r--   1 edrx edrx       35485 Feb 21  2020 2018vichy-vgms-slides.tex
-rw-r--r--   1 edrx edrx       47727 Mar 20 23:24 2018vichy-vgms-slides.tex.html
-rw-r--r--   2 edrx edrx      945725 Jun 22  2018 2018vichy-vgms-slides.tgz
-rw-r--r--   2 edrx edrx     1041828 Jun 17  2018 2018vichy-video.pdf
-rw-r--r--   1 edrx edrx       26722 Feb 21  2020 2018vichy-video.tex
-rw-r--r--   1 edrx edrx       38611 Mar 20 23:24 2018vichy-video.tex.html
-rw-r--r--   2 edrx edrx      973255 Apr 25  2018 2018vichy-video.tgz
-rw-r--r--   2 edrx edrx       90202 Oct 23  2019 2019-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx        4701 Oct 21  2021 2019-1-C2-P1.tex
-rw-r--r--   1 edrx edrx        8615 Mar 20 23:24 2019-1-C2-P1.tex.html
-rw-r--r--   1 edrx edrx        4045 Feb 21  2020 2019-1-C2-P2.tex
-rw-r--r--   1 edrx edrx        6524 Mar 20 23:24 2019-1-C2-P2.tex.html
-rw-r--r--   1 edrx edrx        4861 Feb 21  2020 2019-1-C2-VR.tex
-rw-r--r--   1 edrx edrx        7429 Mar 20 23:24 2019-1-C2-VR.tex.html
-rw-r--r--   1 edrx edrx        3104 Feb 21  2020 2019-1-C2-VS.tex
-rw-r--r--   1 edrx edrx        5513 Mar 20 23:24 2019-1-C2-VS.tex.html
-rw-r--r--   2 edrx edrx      110134 Jul  3  2019 2019-1-C2-material.pdf
-rw-r--r--   1 edrx edrx       11697 Jul 21  2022 2019-1-C2-material.tex
-rw-r--r--   1 edrx edrx       16285 Mar 20 23:24 2019-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx      104868 Apr 26  2019 2019-1-C2-material.tgz
-rw-r--r--   2 edrx edrx       75225 Oct 13  2019 2019-1-C3-P1.pdf
-rw-r--r--   1 edrx edrx        4632 Feb 21  2020 2019-1-C3-P1.tex
-rw-r--r--   1 edrx edrx        6978 Mar 20 23:24 2019-1-C3-P1.tex.html
-rw-r--r--   2 edrx edrx       73244 Dec 19  2019 2019-1-C3-P2.pdf
-rw-r--r--   1 edrx edrx        4283 Feb 21  2020 2019-1-C3-P2.tex
-rw-r--r--   1 edrx edrx        7112 Mar 20 23:24 2019-1-C3-P2.tex.html
-rw-r--r--   1 edrx edrx        6835 Feb 21  2020 2019-1-C3-VR.tex
-rw-r--r--   1 edrx edrx        9369 Mar 20 23:24 2019-1-C3-VR.tex.html
-rw-r--r--   1 edrx edrx        3895 Feb 21  2020 2019-1-C3-VS.tex
-rw-r--r--   1 edrx edrx        6247 Mar 20 23:24 2019-1-C3-VS.tex.html
-rw-r--r--   2 edrx edrx       97528 May 22  2019 2019-1-C3-material.pdf
-rw-r--r--   1 edrx edrx       11681 Sep 30  2020 2019-1-C3-material.tex
-rw-r--r--   1 edrx edrx       15902 Mar 20 23:24 2019-1-C3-material.tex.html
-rw-r--r--   2 edrx edrx      116048 Nov 21  2019 2019-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       12638 Jul 28  2022 2019-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       18151 Mar 20 23:24 2019-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx       83640 Feb  3  2021 2019-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx        8440 Feb 21  2020 2019-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       13196 Mar 20 23:24 2019-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx       10599 Feb 21  2020 2019-2-C2-VR.tex
-rw-r--r--   1 edrx edrx       14571 Mar 20 23:24 2019-2-C2-VR.tex.html
-rw-r--r--   1 edrx edrx        4211 Feb 21  2020 2019-2-C2-VS.tex
-rw-r--r--   1 edrx edrx        8129 Mar 20 23:24 2019-2-C2-VS.tex.html
-rw-r--r--   2 edrx edrx      143445 Nov  5  2019 2019-2-C2-material.pdf
-rw-r--r--   1 edrx edrx       26077 Aug 27  2020 2019-2-C2-material.tex
-rw-r--r--   1 edrx edrx       35805 Mar 20 23:24 2019-2-C2-material.tex.html
-rw-r--r--   1 edrx edrx        2395 Feb 21  2020 2019-2-C2-provas-antigas.tex
-rw-r--r--   1 edrx edrx        5355 Mar 20 23:24 2019-2-C2-provas-antigas.tex.html
-rw-r--r--   2 edrx edrx      578166 Jul  5  2022 2019-2-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        4935 Dec  1 10:00 2019-2-C2-tudo.tex
-rw-r--r--   1 edrx edrx       10469 Mar 20 23:24 2019-2-C2-tudo.tex.html
-rw-r--r--   2 edrx edrx       58834 Oct 18  2019 2019-2-C3-P1.pdf
-rw-r--r--   1 edrx edrx        6821 Jul  5  2022 2019-2-C3-P1.tex
-rw-r--r--   1 edrx edrx       10071 Mar 20 23:24 2019-2-C3-P1.tex.html
-rw-r--r--   2 edrx edrx       73312 Dec 19  2019 2019-2-C3-P2.pdf
-rw-r--r--   1 edrx edrx        4680 Jul  5  2022 2019-2-C3-P2.tex
-rw-r--r--   1 edrx edrx        7508 Mar 20 23:24 2019-2-C3-P2.tex.html
-rw-r--r--   2 edrx edrx       91886 Dec 19  2019 2019-2-C3-VR.pdf
-rw-r--r--   1 edrx edrx        8194 Jul  5  2022 2019-2-C3-VR.tex
-rw-r--r--   1 edrx edrx       11142 Mar 20 23:24 2019-2-C3-VR.tex.html
-rw-r--r--   1 edrx edrx       12696 Jul  5  2022 2019-2-C3-VS.tex
-rw-r--r--   1 edrx edrx       15872 Mar 20 23:24 2019-2-C3-VS.tex.html
-rw-r--r--   2 edrx edrx      121604 Dec  9  2019 2019-2-C3-material.pdf
-rw-r--r--   1 edrx edrx       20679 Nov 26  2020 2019-2-C3-material.tex
-rw-r--r--   1 edrx edrx       29830 Mar 20 23:24 2019-2-C3-material.tex.html
-rw-r--r--   2 edrx edrx      493214 Jul  6  2022 2019-2-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        4774 Jul  5  2022 2019-2-C3-tudo.tex
-rw-r--r--   1 edrx edrx       10097 Mar 20 23:24 2019-2-C3-tudo.tex.html
-rw-r--r--   1 edrx edrx        6018 Feb 21  2020 2019-rad2018.tex
-rw-r--r--   1 edrx edrx        8856 Mar 20 23:24 2019-rad2018.tex.html
-rw-r--r--   1 edrx edrx        6333 Feb 21  2020 2019-rad2019.tex
-rw-r--r--   1 edrx edrx        9683 Mar 20 23:24 2019-rad2019.tex.html
-rw-r--r--   1 edrx edrx         527 Apr  1  2022 2019.mk
-rw-r--r--   1 edrx edrx        1370 Mar 20 23:24 2019.mk.html
-rw-r--r--   1 edrx edrx       21600 Nov 10  2020 2019J-ops-algebra.tex
-rw-r--r--   1 edrx edrx       25772 Mar 20 23:24 2019J-ops-algebra.tex.html
-rw-r--r--   1 edrx edrx        9039 Feb 21  2020 2019J-ops-arxiv.tex
-rw-r--r--   1 edrx edrx       16900 Mar 20 23:24 2019J-ops-arxiv.tex.html
-rw-r--r--   1 edrx edrx       16977 Nov 10  2020 2019J-ops-categories.tex
-rw-r--r--   1 edrx edrx       21708 Mar 20 23:24 2019J-ops-categories.tex.html
-rw-r--r--   1 edrx edrx       17414 Nov 10  2020 2019J-ops-classifier.tex
-rw-r--r--   1 edrx edrx       23056 Mar 20 23:24 2019J-ops-classifier.tex.html
-rw-r--r--   1 edrx edrx       12956 Nov 10  2020 2019J-ops-cubes.tex
-rw-r--r--   1 edrx edrx       15286 Mar 20 23:24 2019J-ops-cubes.tex.html
-rw-r--r--   1 edrx edrx        4700 Jul 17  2021 2019J-ops-defs.tex
-rw-r--r--   1 edrx edrx        6727 Mar 20 23:24 2019J-ops-defs.tex.html
-rw-r--r--   1 edrx edrx       10300 Nov 10  2020 2019J-ops-kan.tex
-rw-r--r--   1 edrx edrx       12582 Mar 20 23:24 2019J-ops-kan.tex.html
-rw-r--r--   1 edrx edrx        8437 Nov 10  2020 2019J-ops-logic.tex
-rw-r--r--   1 edrx edrx       10567 Mar 20 23:24 2019J-ops-logic.tex.html
-rw-r--r--   1 edrx edrx        5950 Nov 10  2020 2019J-ops-midway.tex
-rw-r--r--   1 edrx edrx        7899 Mar 20 23:24 2019J-ops-midway.tex.html
-rw-r--r--   1 edrx edrx       13971 Nov 10  2020 2019J-ops-slashings.tex
-rw-r--r--   1 edrx edrx       17175 Mar 20 23:24 2019J-ops-slashings.tex.html
-rw-r--r--   1 edrx edrx        6158 Nov 10  2020 2019J-ops-valuations.tex
-rw-r--r--   1 edrx edrx        7979 Mar 20 23:24 2019J-ops-valuations.tex.html
-rw-r--r--   2 edrx edrx      455819 Jan 19  2020 2019J-ops.pdf
-rw-r--r--   1 edrx edrx       10536 Jul 20  2021 2019J-ops.tex
-rw-r--r--   1 edrx edrx       19055 Mar 20 23:24 2019J-ops.tex.html
-rw-r--r--   2 edrx edrx      143213 Jan 10  2020 2019J-ops.tgz
-rw-r--r--   2 edrx edrx       66790 Jan 19  2020 2019J-ops.zip
-rw-r--r--   1 edrx edrx        1940 Feb 21  2020 2019asy-test.tex
-rw-r--r--   1 edrx edrx        4286 Mar 20 23:24 2019asy-test.tex.html
-rw-r--r--   1 edrx edrx        3885 Feb 21  2020 2019barr1.tex
-rw-r--r--   1 edrx edrx        6017 Mar 20 23:24 2019barr1.tex.html
-rw-r--r--   2 edrx edrx       68815 Feb  3  2019 2019barr2.pdf
-rw-r--r--   1 edrx edrx        3443 Feb 21  2020 2019barr2.tex
-rw-r--r--   1 edrx edrx        5388 Mar 20 23:24 2019barr2.tex.html
-rw-r--r--   2 edrx edrx       93652 Feb  3  2019 2019barr2.zip
-rw-r--r--   1 edrx edrx        2098 Feb 21  2020 2019brute-force.tex
-rw-r--r--   1 edrx edrx        4594 Mar 20 23:24 2019brute-force.tex.html
-rw-r--r--   2 edrx edrx      162173 Jan 14  2020 2019classifier.pdf
-rw-r--r--   1 edrx edrx       12998 Aug 22  2020 2019classifier.tex
-rw-r--r--   1 edrx edrx       18256 Mar 20 23:24 2019classifier.tex.html
-rw-r--r--   2 edrx edrx       89550 Feb  6  2019 2019clg-slides-1.pdf
-rw-r--r--   1 edrx edrx       11745 Feb 21  2020 2019clg-slides-1.tex
-rw-r--r--   1 edrx edrx       17032 Mar 20 23:24 2019clg-slides-1.tex.html
-rw-r--r--   1 edrx edrx       11850 Feb 21  2020 2019clg-slides-2.tex
-rw-r--r--   1 edrx edrx       17199 Mar 20 23:24 2019clg-slides-2.tex.html
-rw-r--r--   2 edrx edrx       89126 Feb  8  2019 2019clg-slides-3.pdf
-rw-r--r--   1 edrx edrx       13201 Feb 21  2020 2019clg-slides-3.tex
-rw-r--r--   1 edrx edrx       18614 Mar 20 23:24 2019clg-slides-3.tex.html
-rw-r--r--   1 edrx edrx       13107 Feb 21  2020 2019clg-slides-4.tex
-rw-r--r--   1 edrx edrx       18520 Mar 20 23:24 2019clg-slides-4.tex.html
-rw-r--r--   1 edrx edrx       13107 Feb 21  2020 2019clg-slides-5.tex
-rw-r--r--   1 edrx edrx       18520 Mar 20 23:24 2019clg-slides-5.tex.html
-rw-r--r--   1 edrx edrx       13107 Feb 21  2020 2019clg-slides-6.tex
-rw-r--r--   1 edrx edrx       18520 Mar 20 23:24 2019clg-slides-6.tex.html
-rw-r--r--   1 edrx edrx       15856 Feb 21  2020 2019compttest.tex
-rw-r--r--   1 edrx edrx       17749 Mar 20 23:24 2019compttest.tex.html
-rw-r--r--   1 edrx edrx       18084 Feb 21  2020 2019derived-rules.tex
-rw-r--r--   1 edrx edrx       21658 Mar 20 23:24 2019derived-rules.tex.html
-rw-r--r--   1 edrx edrx        5544 Feb 21  2020 2019diagxyhack.tex
-rw-r--r--   1 edrx edrx        7022 Mar 20 23:24 2019diagxyhack.tex.html
-rw-r--r--   1 edrx edrx        2311 Feb 21  2020 2019douglas.tex
-rw-r--r--   1 edrx edrx        3714 Mar 20 23:24 2019douglas.tex.html
-rw-r--r--   2 edrx edrx       39119 Jan 14  2019 2019ebl-abs.pdf
-rw-r--r--   1 edrx edrx        7197 Feb 21  2020 2019ebl-abs.tex
-rw-r--r--   1 edrx edrx        8137 Mar 20 23:24 2019ebl-abs.tex.html
-rw-r--r--   2 edrx edrx      203986 May  9  2019 2019ebl-five-appls.pdf
-rw-r--r--   1 edrx edrx       34997 Feb 21  2020 2019ebl-five-appls.tex
-rw-r--r--   1 edrx edrx       48696 Mar 20 23:24 2019ebl-five-appls.tex.html
-rw-r--r--   2 edrx edrx      115013 May 16  2019 2019ebl-mesa-disc-logica-grad.pdf
-rw-r--r--   1 edrx edrx       11788 Feb 21  2020 2019ebl-mesa-disc-logica-grad.tex
-rw-r--r--   1 edrx edrx       16036 Mar 20 23:24 2019ebl-mesa-disc-logica-grad.tex.html
-rw-r--r--   2 edrx edrx      369655 May 14  2019 2019ebl-mesa-slides.pdf
-rw-r--r--   1 edrx edrx       40658 Feb 21  2020 2019ebl-mesa-slides.tex
-rw-r--r--   1 edrx edrx       55073 Mar 20 23:24 2019ebl-mesa-slides.tex.html
-rw-r--r--   1 edrx edrx        8331 Feb 21  2020 2019ebl-relatorio.tex
-rw-r--r--   1 edrx edrx       11240 Mar 20 23:24 2019ebl-relatorio.tex.html
-rw-r--r--   2 edrx edrx      111967 Aug 27  2019 2019eev-puro-cartaz.pdf
-rw-r--r--   1 edrx edrx      116729 Feb 21  2020 2019eev-puro-cartaz.png
-rw-r--r--   1 edrx edrx        5404 Feb 21  2020 2019eev-puro-cartaz.tex
-rw-r--r--   1 edrx edrx        8592 Mar 20 23:24 2019eev-puro-cartaz.tex.html
-rw-r--r--   1 edrx edrx        1465 Feb 21  2020 2019elephant-poster-y.tex
-rw-r--r--   1 edrx edrx        2430 Mar 20 23:24 2019elephant-poster-y.tex.html
-rw-r--r--   1 edrx edrx       62785 Feb 21  2020 2019elephant-poster-z.tex
-rw-r--r--   1 edrx edrx       79402 Mar 20 23:24 2019elephant-poster-z.tex.html
-rw-r--r--   2 edrx edrx      224398 Jul 16  2019 2019elephant-poster.pdf
-rw-r--r--   1 edrx edrx        4213 Feb 21  2020 2019elephant-poster.tex
-rw-r--r--   1 edrx edrx        8510 Mar 20 23:24 2019elephant-poster.tex.html
-rw-r--r--   2 edrx edrx      308915 Oct 30  2019 2019emacsconf-long.pdf
-rw-r--r--   1 edrx edrx       26911 Feb 21  2020 2019emacsconf-long.tex
-rw-r--r--   1 edrx edrx       39986 Mar 20 23:24 2019emacsconf-long.tex.html
-rw-r--r--   2 edrx edrx      240986 Oct 24  2019 2019emacsconf.pdf
-rw-r--r--   1 edrx edrx       21815 Nov  2  2021 2019emacsconf.tex
-rw-r--r--   1 edrx edrx       33613 Mar 20 23:24 2019emacsconf.tex.html
-rw-r--r--   1 edrx edrx        1952 Feb 21  2020 2019ilha-grande-abs.tex
-rw-r--r--   1 edrx edrx        4326 Mar 20 23:24 2019ilha-grande-abs.tex.html
-rw-r--r--   1 edrx edrx       60102 Feb 21  2020 2019ilha-grande-poster-a4.tex
-rw-r--r--   1 edrx edrx       75178 Mar 20 23:24 2019ilha-grande-poster-a4.tex.html
-rw-r--r--   1 edrx edrx        3258 Feb 21  2020 2019ilha-grande-poster.tex
-rw-r--r--   1 edrx edrx        7517 Mar 20 23:24 2019ilha-grande-poster.tex.html
-rw-r--r--   2 edrx edrx      143668 Sep 11  2019 2019ilha-grande-slides.pdf
-rw-r--r--   1 edrx edrx       26199 Feb 21  2020 2019ilha-grande-slides.tex
-rw-r--r--   1 edrx edrx       36190 Mar 20 23:24 2019ilha-grande-slides.tex.html
-rw-r--r--   1 edrx edrx        6435 Feb 21  2020 2019jacobs.tex
-rw-r--r--   1 edrx edrx        8997 Mar 20 23:24 2019jacobs.tex.html
-rw-r--r--   2 edrx edrx      130712 Jan 17  2020 2019kan-extensions.pdf
-rw-r--r--   1 edrx edrx       10527 Feb 21  2020 2019kan-extensions.tex
-rw-r--r--   1 edrx edrx       14412 Mar 20 23:24 2019kan-extensions.tex.html
-rw-r--r--   2 edrx edrx      393591 Jan 14  2019 2019logicday.pdf
-rw-r--r--   1 edrx edrx       49327 Jul  1  2021 2019logicday.tex
-rw-r--r--   1 edrx edrx       70106 Mar 20 23:24 2019logicday.tex.html
-rw-r--r--   2 edrx edrx      244456 Jan 14  2019 2019logicday.tgz
-rw-r--r--   2 edrx edrx       65763 Sep 17  2019 2019modalities-in-S4.pdf
-rw-r--r--   1 edrx edrx        9012 Feb 21  2020 2019modalities-in-S4.tex
-rw-r--r--   1 edrx edrx       12921 Mar 20 23:24 2019modalities-in-S4.tex.html
-rw-r--r--   2 edrx edrx       28419 Oct 13  2019 2019newton-abs.pdf
-rw-r--r--   1 edrx edrx        3465 Feb 21  2020 2019newton-abs.tex
-rw-r--r--   1 edrx edrx        6300 Mar 20 23:24 2019newton-abs.tex.html
-rw-r--r--   2 edrx edrx      204791 Dec 11  2019 2019newton-slides.pdf
-rw-r--r--   1 edrx edrx       36577 Apr 13  2020 2019newton-slides.tex
-rw-r--r--   1 edrx edrx       48877 Mar 20 23:24 2019newton-slides.tex.html
-rw-r--r--   1 edrx edrx        2904 Feb 21  2020 2019notes-adjunctions.tex
-rw-r--r--   1 edrx edrx        5505 Mar 20 23:24 2019notes-adjunctions.tex.html
-rw-r--r--   2 edrx edrx      135133 May 23  2020 2019notes-kleisli.pdf
-rw-r--r--   1 edrx edrx       11778 May 23  2020 2019notes-kleisli.tex
-rw-r--r--   1 edrx edrx       15360 Mar 20 23:24 2019notes-kleisli.tex.html
-rw-r--r--   1 edrx edrx        7380 Feb 21  2020 2019notes-monads-tys.tex
-rw-r--r--   1 edrx edrx       11769 Mar 20 23:24 2019notes-monads-tys.tex.html
-rw-r--r--   2 edrx edrx      151733 Apr  3  2020 2019notes-monads.pdf
-rw-r--r--   1 edrx edrx       47097 Apr  3  2020 2019notes-monads.tex
-rw-r--r--   1 edrx edrx       58391 Mar 20 23:24 2019notes-monads.tex.html
-rw-r--r--   2 edrx edrx      107187 Mar 13  2019 2019notes-monads.tgz
-rw-r--r--   2 edrx edrx      502244 Apr 20  2019 2019notes-types.pdf
-rw-r--r--   1 edrx edrx      117706 Jan 28  2021 2019notes-types.tex
-rw-r--r--   1 edrx edrx      155156 Mar 20 23:24 2019notes-types.tex.html
-rw-r--r--   2 edrx edrx      266044 Apr 20  2019 2019notes-types.tgz
-rw-r--r--   2 edrx edrx      281340 Apr 20  2019 2019notes-types.zip
-rw-r--r--   2 edrx edrx      252936 Jun  1  2019 2019notes-yoneda-2019-06-01.pdf
-rw-r--r--   1 edrx edrx        3933 May 16  2020 2019notes-yoneda.bib
-rw-r--r--   1 edrx edrx        6546 Mar 20 23:24 2019notes-yoneda.bib.html
-rw-r--r--   2 edrx edrx      262650 Apr  5  2020 2019notes-yoneda.pdf
-rw-r--r--   1 edrx edrx       97190 May 17  2020 2019notes-yoneda.tex
-rw-r--r--   1 edrx edrx      133725 Mar 20 23:24 2019notes-yoneda.tex.html
-rw-r--r--   2 edrx edrx      120979 Jun  1  2019 2019notes-yoneda.tgz
-rw-r--r--   2 edrx edrx      264564 May 11  2019 2019oxford-abs-noc.pdf
-rw-r--r--   1 edrx edrx       51273 Feb 21  2020 2019oxford-abs-noc.tex
-rw-r--r--   1 edrx edrx       61661 Mar 20 23:24 2019oxford-abs-noc.tex.html
-rw-r--r--   2 edrx edrx      131075 May 11  2019 2019oxford-abs-noc.tgz
-rw-r--r--   2 edrx edrx      457472 May 15  2019 2019oxford-abs.pdf
-rw-r--r--   1 edrx edrx       52131 Jun  4  2020 2019oxford-abs.tex
-rw-r--r--   1 edrx edrx       64499 Mar 20 23:24 2019oxford-abs.tex.html
-rw-r--r--   2 edrx edrx       59457 May 15  2019 2019oxford-abs.tgz
-rw-r--r--   1 edrx edrx        6892 Jun 29  2020 2019oxford-chars.tex
-rw-r--r--   1 edrx edrx        7846 Mar 20 23:24 2019oxford-chars.tex.html
-rw-r--r--   1 edrx edrx       28584 Feb 21  2020 2019oxford-diags.tex
-rw-r--r--   1 edrx edrx       37766 Mar 20 23:24 2019oxford-diags.tex.html
-rw-r--r--   1 edrx edrx        7876 Feb 21  2020 2019oxford-intro.tex
-rw-r--r--   1 edrx edrx       11203 Mar 20 23:24 2019oxford-intro.tex.html
-rw-r--r--   1 edrx edrx        4454 Feb 21  2020 2019oxford-relatorio.tex
-rw-r--r--   1 edrx edrx        7634 Mar 20 23:24 2019oxford-relatorio.tex.html
-rw-r--r--   1 edrx edrx        6555 Feb 21  2020 2019planar-has-1-main.tex
-rw-r--r--   1 edrx edrx       14146 Mar 20 23:24 2019planar-has-1-main.tex.html
-rw-r--r--   2 edrx edrx      140852 Jun 23  2019 2019planar-has-2-logic.pdf
-rw-r--r--   1 edrx edrx       36513 Feb 21  2020 2019planar-has-2-logic.tex
-rw-r--r--   1 edrx edrx       45161 Mar 20 23:24 2019planar-has-2-logic.tex.html
-rw-r--r--   2 edrx edrx      126025 Jun 23  2019 2019planar-has-2-logic.tgz
-rw-r--r--   1 edrx edrx       24832 Feb 21  2020 2019planar-has-2-slashings.tex
-rw-r--r--   1 edrx edrx       31218 Mar 20 23:24 2019planar-has-2-slashings.tex.html
-rw-r--r--   1 edrx edrx        4076 Feb 21  2020 2019sajl-test.tex
-rw-r--r--   1 edrx edrx        8432 Mar 20 23:24 2019sajl-test.tex.html
-rw-r--r--   2 edrx edrx      165912 Sep 11  2019 2019seminario-hermann.pdf
-rw-r--r--   1 edrx edrx       31740 Feb 21  2020 2019seminario-hermann.tex
-rw-r--r--   1 edrx edrx       45048 Mar 20 23:24 2019seminario-hermann.tex.html
-rw-r--r--   2 edrx edrx       52932 Feb  2  2019 2019xysyntax.pdf
-rw-r--r--   1 edrx edrx       10952 Oct 22  2021 2019xysyntax.tex
-rw-r--r--   1 edrx edrx       14229 Mar 20 23:24 2019xysyntax.tex.html
-rw-r--r--   2 edrx edrx       92462 Jan 19  2019 2019xysyntax.tgz
-rw-r--r--   2 edrx edrx      108701 Jan 19  2019 2019xysyntax.zip
-rw-r--r--   1 edrx edrx        5126 Jul 26  2022 2020-1-C2-MT2.tex
-rw-r--r--   1 edrx edrx        9336 Mar 20 23:24 2020-1-C2-MT2.tex.html
-rw-r--r--   1 edrx edrx        4631 Dec 13  2020 2020-1-C2-MT3.tex
-rw-r--r--   1 edrx edrx        8690 Mar 20 23:24 2020-1-C2-MT3.tex.html
-rw-r--r--   2 edrx edrx      101554 Dec 14  2020 2020-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       12357 Feb 16 23:01 2020-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       21257 Mar 20 23:24 2020-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx       87847 Dec  9  2020 2020-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx        9744 Dec  9  2020 2020-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       16543 Mar 20 23:24 2020-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      112997 Oct 30  2020 2020-1-C2-TFC2-2.pdf
-rw-r--r--   1 edrx edrx       15102 Aug 25  2021 2020-1-C2-TFC2-2.tex
-rw-r--r--   1 edrx edrx       23422 Mar 20 23:24 2020-1-C2-TFC2-2.tex.html
-rw-r--r--   2 edrx edrx       78301 Oct 27  2020 2020-1-C2-TFC2.pdf
-rw-r--r--   1 edrx edrx        7531 Mar  2  2021 2020-1-C2-TFC2.tex
-rw-r--r--   1 edrx edrx       13282 Mar 20 23:24 2020-1-C2-TFC2.tex.html
-rw-r--r--   2 edrx edrx      108053 Oct 27  2020 2020-1-C2-TFCs.pdf
-rw-r--r--   1 edrx edrx       13851 Mar  2  2021 2020-1-C2-TFCs.tex
-rw-r--r--   1 edrx edrx       21138 Mar 20 23:24 2020-1-C2-TFCs.tex.html
-rw-r--r--   2 edrx edrx      194152 Dec 15  2020 2020-1-C2-VS.pdf
-rw-r--r--   1 edrx edrx       10802 Dec 15  2020 2020-1-C2-VS.tex
-rw-r--r--   1 edrx edrx       15562 Mar 20 23:24 2020-1-C2-VS.tex.html
-rw-r--r--   2 edrx edrx      137725 Oct  2  2020 2020-1-C2-def-integral.pdf
-rw-r--r--   1 edrx edrx       13936 Mar  2  2021 2020-1-C2-def-integral.tex
-rw-r--r--   1 edrx edrx       21183 Mar 20 23:24 2020-1-C2-def-integral.tex.html
-rw-r--r--   2 edrx edrx       92072 Oct 27  2020 2020-1-C2-escadas.pdf
-rw-r--r--   2 edrx edrx      135901 Nov 19  2020 2020-1-C2-fracs-parcs.pdf
-rw-r--r--   1 edrx edrx        9827 Feb  8  2022 2020-1-C2-fracs-parcs.tex
-rw-r--r--   1 edrx edrx       18627 Mar 20 23:24 2020-1-C2-fracs-parcs.tex.html
-rw-r--r--   2 edrx edrx       98067 Nov 26  2020 2020-1-C2-int-pots-sen-cos.pdf
-rw-r--r--   1 edrx edrx        8391 Aug 30  2022 2020-1-C2-int-pots-sen-cos.tex
-rw-r--r--   1 edrx edrx       14961 Mar 20 23:24 2020-1-C2-int-pots-sen-cos.tex.html
-rw-r--r--   2 edrx edrx       86437 Nov 11  2020 2020-1-C2-int-subst.pdf
-rw-r--r--   1 edrx edrx        9316 Sep 22 01:10 2020-1-C2-int-subst.tex
-rw-r--r--   1 edrx edrx       16480 Mar 20 23:24 2020-1-C2-int-subst.tex.html
-rw-r--r--   2 edrx edrx      120651 Sep 16  2020 2020-1-C2-intro.pdf
-rw-r--r--   1 edrx edrx       13122 Feb 13 23:19 2020-1-C2-intro.tex
-rw-r--r--   1 edrx edrx       19379 Mar 20 23:24 2020-1-C2-intro.tex.html
-rw-r--r--   1 edrx edrx        1994 Feb 21  2020 2020-1-C2-material.tex
-rw-r--r--   1 edrx edrx        4742 Mar 20 23:24 2020-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx       87455 Dec  9  2020 2020-1-C2-miniteste-1.pdf
-rw-r--r--   1 edrx edrx       11417 Dec 14  2020 2020-1-C2-miniteste-1.tex
-rw-r--r--   1 edrx edrx       17580 Mar 20 23:24 2020-1-C2-miniteste-1.tex.html
-rw-r--r--   2 edrx edrx      126301 Sep 18  2020 2020-1-C2-somas-1.pdf
-rw-r--r--   1 edrx edrx       11278 Nov 19  2020 2020-1-C2-somas-1.tex
-rw-r--r--   1 edrx edrx       15857 Mar 20 23:24 2020-1-C2-somas-1.tex.html
-rw-r--r--   2 edrx edrx      132706 Sep 24  2020 2020-1-C2-somas-2.pdf
-rw-r--r--   1 edrx edrx       13610 Oct 27  2020 2020-1-C2-somas-2.tex
-rw-r--r--   1 edrx edrx       19486 Mar 20 23:24 2020-1-C2-somas-2.tex.html
-rw-r--r--   2 edrx edrx      128577 Dec  2  2020 2020-1-C2-subst-trig-1.pdf
-rw-r--r--   1 edrx edrx       15200 Feb  8  2022 2020-1-C2-subst-trig-1.tex
-rw-r--r--   1 edrx edrx       24320 Mar 20 23:24 2020-1-C2-subst-trig-1.tex.html
-rw-r--r--   2 edrx edrx     1950950 Jun 30  2022 2020-1-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        6839 Oct  3 23:00 2020-1-C2-tudo.tex
-rw-r--r--   1 edrx edrx       11993 Mar 20 23:24 2020-1-C2-tudo.tex.html
-rw-r--r--   1 edrx edrx       14050 Sep 15  2020 2020-1-C2.tex
-rw-r--r--   1 edrx edrx       21496 Mar 20 23:24 2020-1-C2.tex.html
-rw-r--r--   2 edrx edrx       75097 Nov 27  2020 2020-1-C3-P1.pdf
-rw-r--r--   1 edrx edrx        7934 Oct  4 18:42 2020-1-C3-P1.tex
-rw-r--r--   1 edrx edrx       13089 Mar 20 23:24 2020-1-C3-P1.tex.html
-rw-r--r--   2 edrx edrx       83648 Dec  4  2020 2020-1-C3-P2.pdf
-rw-r--r--   1 edrx edrx        9288 Oct  4 18:42 2020-1-C3-P2.tex
-rw-r--r--   1 edrx edrx       15170 Mar 20 23:24 2020-1-C3-P2.tex.html
-rw-r--r--   2 edrx edrx       74836 Nov 27  2020 2020-1-C3-abertos-e-fechados.pdf
-rw-r--r--   1 edrx edrx        7353 Oct  4 18:42 2020-1-C3-abertos-e-fechados.tex
-rw-r--r--   1 edrx edrx       13733 Mar 20 23:24 2020-1-C3-abertos-e-fechados.tex.html
-rw-r--r--   2 edrx edrx       79619 Nov 25  2020 2020-1-C3-aprox-2a-ordem-R2.pdf
-rw-r--r--   1 edrx edrx        8536 Oct  4 18:41 2020-1-C3-aprox-2a-ordem-R2.tex
-rw-r--r--   1 edrx edrx       15261 Mar 20 23:24 2020-1-C3-aprox-2a-ordem-R2.tex.html
-rw-r--r--   2 edrx edrx       87618 Nov 26  2020 2020-1-C3-derivs-alta-ordem.pdf
-rw-r--r--   1 edrx edrx        8998 Feb 19  2021 2020-1-C3-derivs-alta-ordem.tex
-rw-r--r--   1 edrx edrx       13011 Mar 20 23:24 2020-1-C3-derivs-alta-ordem.tex.html
-rw-r--r--   2 edrx edrx       91259 Nov 26  2020 2020-1-C3-derivs-parciais.pdf
-rw-r--r--   1 edrx edrx        9603 Oct  4 18:40 2020-1-C3-derivs-parciais.tex
-rw-r--r--   1 edrx edrx       16188 Mar 20 23:24 2020-1-C3-derivs-parciais.tex.html
-rw-r--r--   2 edrx edrx       54346 Nov 26  2020 2020-1-C3-dicas-p1.pdf
-rw-r--r--   1 edrx edrx        7114 Oct  4 18:41 2020-1-C3-dicas-p1.tex
-rw-r--r--   1 edrx edrx       12263 Mar 20 23:24 2020-1-C3-dicas-p1.tex.html
-rw-r--r--   2 edrx edrx       87473 Sep 18  2020 2020-1-C3-intro.pdf
-rw-r--r--   1 edrx edrx        9999 Jun 15  2021 2020-1-C3-intro.tex
-rw-r--r--   1 edrx edrx       15046 Mar 20 23:24 2020-1-C3-intro.tex.html
-rw-r--r--   1 edrx edrx        1994 Feb 21  2020 2020-1-C3-material.tex
-rw-r--r--   1 edrx edrx        4742 Mar 20 23:24 2020-1-C3-material.tex.html
-rw-r--r--   2 edrx edrx       67043 Nov 25  2020 2020-1-C3-miniteste-2.pdf
-rw-r--r--   1 edrx edrx        7670 Feb 19  2021 2020-1-C3-miniteste-2.tex
-rw-r--r--   1 edrx edrx       13083 Mar 20 23:24 2020-1-C3-miniteste-2.tex.html
-rw-r--r--   2 edrx edrx      110707 Nov 26  2020 2020-1-C3-plano-tang.pdf
-rw-r--r--   1 edrx edrx       12890 Oct  4 18:41 2020-1-C3-plano-tang.tex
-rw-r--r--   1 edrx edrx       21278 Mar 20 23:24 2020-1-C3-plano-tang.tex.html
-rw-r--r--   2 edrx edrx      144489 Oct 27  2020 2020-1-C3-superficies-1.pdf
-rw-r--r--   1 edrx edrx       12486 Oct  4 19:06 2020-1-C3-superficies-1.tex
-rw-r--r--   1 edrx edrx       19108 Mar 20 23:24 2020-1-C3-superficies-1.tex.html
-rw-r--r--   2 edrx edrx       83851 Oct 27  2020 2020-1-C3-superficies-2.pdf
-rw-r--r--   1 edrx edrx        8840 Mar 10  2021 2020-1-C3-superficies-2.tex
-rw-r--r--   1 edrx edrx       14469 Mar 20 23:24 2020-1-C3-superficies-2.tex.html
-rw-r--r--   2 edrx edrx      150795 Sep 25  2020 2020-1-C3-taylor-1.pdf
-rw-r--r--   1 edrx edrx       16942 Feb 19  2021 2020-1-C3-taylor-1.tex
-rw-r--r--   1 edrx edrx       25640 Mar 20 23:24 2020-1-C3-taylor-1.tex.html
-rw-r--r--   2 edrx edrx      121455 Oct  2  2020 2020-1-C3-taylor-2.pdf
-rw-r--r--   1 edrx edrx       11149 Oct  4 18:40 2020-1-C3-taylor-2.tex
-rw-r--r--   1 edrx edrx       18196 Mar 20 23:24 2020-1-C3-taylor-2.tex.html
-rw-r--r--   2 edrx edrx      138065 Oct  9  2020 2020-1-C3-taylor-3.pdf
-rw-r--r--   1 edrx edrx       12774 Oct  4 18:39 2020-1-C3-taylor-3.tex
-rw-r--r--   1 edrx edrx       20401 Mar 20 23:24 2020-1-C3-taylor-3.tex.html
-rw-r--r--   2 edrx edrx     1612769 Jun 30  2022 2020-1-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        5890 Oct  4 18:34 2020-1-C3-tudo.tex
-rw-r--r--   1 edrx edrx       10786 Mar 20 23:24 2020-1-C3-tudo.tex.html
-rw-r--r--   2 edrx edrx       83662 Oct 27  2020 2020-1-C3-vetor-tangente.pdf
-rw-r--r--   1 edrx edrx        8706 Nov 27  2020 2020-1-C3-vetor-tangente.tex
-rw-r--r--   1 edrx edrx       13649 Mar 20 23:24 2020-1-C3-vetor-tangente.tex.html
-rw-r--r--   1 edrx edrx        6289 Aug 31  2020 2020-1-C3.tex
-rw-r--r--   1 edrx edrx       10019 Mar 20 23:24 2020-1-C3.tex.html
-rw-r--r--   2 edrx edrx       83213 Apr 16  2021 2020-2-C2-MT1.pdf
-rw-r--r--   1 edrx edrx       10757 Feb  8  2022 2020-2-C2-MT1.tex
-rw-r--r--   1 edrx edrx       17859 Mar 20 23:24 2020-2-C2-MT1.tex.html
-rw-r--r--   2 edrx edrx       67071 Apr  9  2021 2020-2-C2-MT2.pdf
-rw-r--r--   1 edrx edrx        9847 Feb  8  2022 2020-2-C2-MT2.tex
-rw-r--r--   1 edrx edrx       17755 Mar 20 23:24 2020-2-C2-MT2.tex.html
-rw-r--r--   2 edrx edrx      134501 Apr 28  2021 2020-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       13452 Jul  6  2022 2020-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       22125 Mar 20 23:24 2020-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      175562 May  2  2021 2020-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       19150 Jul 18  2022 2020-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       29009 Mar 20 23:24 2020-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      145790 Mar 18  2021 2020-2-C2-TFC.pdf
-rw-r--r--   1 edrx edrx       18188 Feb  8  2022 2020-2-C2-TFC.tex
-rw-r--r--   1 edrx edrx       27762 Mar 20 23:24 2020-2-C2-TFC.tex.html
-rw-r--r--   2 edrx edrx      159298 Jul 19  2022 2020-2-C2-edovs.pdf
-rw-r--r--   1 edrx edrx       18743 Jul 20  2022 2020-2-C2-edovs.tex
-rw-r--r--   1 edrx edrx       28861 Mar 20 23:24 2020-2-C2-edovs.tex.html
-rw-r--r--   2 edrx edrx      128349 Mar 11  2021 2020-2-C2-escadas.pdf
-rw-r--r--   1 edrx edrx       21321 Jul 13  2022 2020-2-C2-escadas.tex
-rw-r--r--   1 edrx edrx       31025 Mar 20 23:24 2020-2-C2-escadas.tex.html
-rw-r--r--   2 edrx edrx      138594 Apr 15  2021 2020-2-C2-fracs-parcs.pdf
-rw-r--r--   1 edrx edrx       11305 Feb  8  2022 2020-2-C2-fracs-parcs.tex
-rw-r--r--   1 edrx edrx       19644 Mar 20 23:24 2020-2-C2-fracs-parcs.tex.html
-rw-r--r--   1 edrx edrx        9966 Feb  8  2022 2020-2-C2-ids-trigs.tex
-rw-r--r--   1 edrx edrx       16071 Mar 20 23:24 2020-2-C2-ids-trigs.tex.html
-rw-r--r--   2 edrx edrx      154423 Mar 26  2021 2020-2-C2-int-subst.pdf
-rw-r--r--   1 edrx edrx       25020 Feb  8  2022 2020-2-C2-int-subst.tex
-rw-r--r--   1 edrx edrx       36350 Mar 20 23:24 2020-2-C2-int-subst.tex.html
-rw-r--r--   2 edrx edrx      120334 Feb  4  2021 2020-2-C2-intro.pdf
-rw-r--r--   1 edrx edrx       15247 Nov 18  2021 2020-2-C2-intro.tex
-rw-r--r--   1 edrx edrx       22904 Mar 20 23:24 2020-2-C2-intro.tex.html
-rw-r--r--   2 edrx edrx      143549 Feb 19  2021 2020-2-C2-somas-1.pdf
-rw-r--r--   1 edrx edrx       18984 Nov 10  2021 2020-2-C2-somas-1.tex
-rw-r--r--   1 edrx edrx       29785 Mar 20 23:24 2020-2-C2-somas-1.tex.html
-rw-r--r--   2 edrx edrx      238474 Mar  5  2021 2020-2-C2-somas-2.pdf
-rw-r--r--   1 edrx edrx       47213 Feb  8  2022 2020-2-C2-somas-2.tex
-rw-r--r--   1 edrx edrx       66049 Mar 20 23:24 2020-2-C2-somas-2.tex.html
-rw-r--r--   2 edrx edrx      256700 Apr  7  2021 2020-2-C2-subst-trig.pdf
-rw-r--r--   1 edrx edrx       14573 Feb  8  2022 2020-2-C2-subst-trig.tex
-rw-r--r--   1 edrx edrx       23697 Mar 20 23:24 2020-2-C2-subst-trig.tex.html
-rw-r--r--   2 edrx edrx     2139283 Jul  1  2022 2020-2-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        6123 Oct  3 23:00 2020-2-C2-tudo.tex
-rw-r--r--   1 edrx edrx       11019 Mar 20 23:24 2020-2-C2-tudo.tex.html
-rw-r--r--   2 edrx edrx      302557 Mar 24  2021 2020-2-C3-MT1.pdf
-rw-r--r--   1 edrx edrx       10329 Jul  9  2021 2020-2-C3-MT1.tex
-rw-r--r--   1 edrx edrx       17194 Mar 20 23:24 2020-2-C3-MT1.tex.html
-rw-r--r--   2 edrx edrx       89195 Apr  9  2021 2020-2-C3-MT2.pdf
-rw-r--r--   1 edrx edrx       13080 Apr  9  2021 2020-2-C3-MT2.tex
-rw-r--r--   1 edrx edrx       20240 Mar 20 23:24 2020-2-C3-MT2.tex.html
-rw-r--r--   2 edrx edrx      112503 Apr 30  2021 2020-2-C3-P1.pdf
-rw-r--r--   1 edrx edrx       12768 Jul 23  2021 2020-2-C3-P1.tex
-rw-r--r--   1 edrx edrx       21370 Mar 20 23:24 2020-2-C3-P1.tex.html
-rw-r--r--   2 edrx edrx      118343 May  2  2021 2020-2-C3-P2.pdf
-rw-r--r--   1 edrx edrx       16788 Sep  2  2021 2020-2-C3-P2.tex
-rw-r--r--   1 edrx edrx       25773 Mar 20 23:24 2020-2-C3-P2.tex.html
-rw-r--r--   2 edrx edrx       87330 Feb 10  2021 2020-2-C3-aceleracao.pdf
-rw-r--r--   1 edrx edrx       10773 Nov 17  2021 2020-2-C3-aceleracao.tex
-rw-r--r--   1 edrx edrx       17068 Mar 20 23:24 2020-2-C3-aceleracao.tex.html
-rw-r--r--   2 edrx edrx       89421 Feb 10  2021 2020-2-C3-intro.pdf
-rw-r--r--   1 edrx edrx       13594 Nov  7  2021 2020-2-C3-intro.tex
-rw-r--r--   1 edrx edrx       20331 Mar 20 23:24 2020-2-C3-intro.tex.html
-rw-r--r--   1 edrx edrx        4333 Aug 10  2021 2020-2-C3-plano-tang.lua
-rw-r--r--   1 edrx edrx        7406 Mar 20 23:24 2020-2-C3-plano-tang.lua.html
-rw-r--r--   2 edrx edrx      250673 Apr 30  2021 2020-2-C3-plano-tang.pdf
-rw-r--r--   1 edrx edrx       31239 Aug  9  2021 2020-2-C3-plano-tang.tex
-rw-r--r--   1 edrx edrx       45765 Mar 20 23:24 2020-2-C3-plano-tang.tex.html
-rw-r--r--   2 edrx edrx      280908 Mar 26  2021 2020-2-C3-rcadeia1.pdf
-rw-r--r--   1 edrx edrx       36936 Feb 23 22:00 2020-2-C3-rcadeia1.tex
-rw-r--r--   1 edrx edrx       51354 Mar 20 23:24 2020-2-C3-rcadeia1.tex.html
-rw-r--r--   2 edrx edrx      127265 Feb 19  2021 2020-2-C3-taylor.pdf
-rw-r--r--   1 edrx edrx       15579 Feb 28  2021 2020-2-C3-taylor.tex
-rw-r--r--   1 edrx edrx       25215 Mar 20 23:24 2020-2-C3-taylor.tex.html
-rw-r--r--   2 edrx edrx     1642257 Jun 30  2022 2020-2-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        5602 Sep 27 14:41 2020-2-C3-tudo.tex
-rw-r--r--   1 edrx edrx       10427 Mar 20 23:24 2020-2-C3-tudo.tex.html
-rw-r--r--   2 edrx edrx       83840 Feb  5  2021 2020-2-C3-vetor-tangente.pdf
-rw-r--r--   1 edrx edrx       11751 Nov 12  2021 2020-2-C3-vetor-tangente.tex
-rw-r--r--   1 edrx edrx       18743 Mar 20 23:24 2020-2-C3-vetor-tangente.tex.html
-rw-r--r--   1 edrx edrx        6201 Mar  1  2021 2020-2-CN-template.tex
-rw-r--r--   1 edrx edrx       11361 Mar 20 23:24 2020-2-CN-template.tex.html
-rw-r--r--   2 edrx edrx      151382 Feb  4  2020 2020-ace.pdf
-rw-r--r--   1 edrx edrx       60757 Oct  1 14:26 2020-ace.tex
-rw-r--r--   1 edrx edrx       69942 Mar 20 23:24 2020-ace.tex.html
-rw-r--r--   1 edrx edrx        6006 Feb 21  2020 2020-rad2019.tex
-rw-r--r--   1 edrx edrx        9055 Mar 20 23:24 2020-rad2019.tex.html
-rw-r--r--   2 edrx edrx      452922 Jul  8  2020 2020J-ops-new.pdf
-rw-r--r--   1 edrx edrx        9904 Jul 19  2021 2020J-ops-new.tex
-rw-r--r--   1 edrx edrx       17414 Mar 20 23:24 2020J-ops-new.tex.html
-rw-r--r--   2 edrx edrx      110368 May  9  2020 2020abramsky-tzevelekos.pdf
-rw-r--r--   1 edrx edrx        6931 Jun 19  2020 2020abramsky-tzevelekos.tex
-rw-r--r--   1 edrx edrx       10940 Mar 20 23:24 2020abramsky-tzevelekos.tex.html
-rw-r--r--   2 edrx edrx      110373 May  9  2020 2020abramsky-tzevelekos.tgz
-rw-r--r--   1 edrx edrx        9709 Mar 23  2020 2020adjunctions.tex
-rw-r--r--   1 edrx edrx       12795 Mar 20 23:24 2020adjunctions.tex.html
-rw-r--r--   1 edrx edrx        5329 Jan 18  2021 2020ats.tex
-rw-r--r--   1 edrx edrx        8690 Mar 20 23:24 2020ats.tex.html
-rw-r--r--   2 edrx edrx      150511 May 21  2020 2020awodey.pdf
-rw-r--r--   1 edrx edrx       13667 May 21  2020 2020awodey.tex
-rw-r--r--   1 edrx edrx       18660 Mar 20 23:24 2020awodey.tex.html
-rw-r--r--   2 edrx edrx      112357 Aug  9  2020 2020badiou-low.pdf
-rw-r--r--   1 edrx edrx        8700 Aug 11  2020 2020badiou-low.tex
-rw-r--r--   1 edrx edrx       13016 Mar 20 23:24 2020badiou-low.tex.html
-rw-r--r--   2 edrx edrx      105329 May 28  2020 2020badiou-mt.pdf
-rw-r--r--   1 edrx edrx        7525 May 28  2020 2020badiou-mt.tex
-rw-r--r--   1 edrx edrx       11910 Mar 20 23:24 2020badiou-mt.tex.html
-rw-r--r--   2 edrx edrx      119123 May 18  2020 2020barrwellsctcs.pdf
-rw-r--r--   1 edrx edrx       10899 Apr 30  2020 2020barrwellsctcs.tex
-rw-r--r--   1 edrx edrx       14766 Mar 20 23:24 2020barrwellsctcs.tex.html
-rw-r--r--   2 edrx edrx       83336 Jul 24  2020 2020bell-lst.pdf
-rw-r--r--   1 edrx edrx       21111 Sep  3  2020 2020bell-lst.tex
-rw-r--r--   1 edrx edrx       27043 Mar 20 23:24 2020bell-lst.tex.html
-rw-r--r--   1 edrx edrx        2235 Feb 21  2020 2020bibtex-test.tex
-rw-r--r--   1 edrx edrx        5255 Mar 20 23:24 2020bibtex-test.tex.html
-rw-r--r--   1 edrx edrx        4035 Sep 13  2020 2020borceux1.tex
-rw-r--r--   1 edrx edrx        7989 Mar 20 23:24 2020borceux1.tex.html
-rw-r--r--   1 edrx edrx        3307 Jul  7  2020 2020caccamo-winskel.tex
-rw-r--r--   1 edrx edrx        6546 Mar 20 23:24 2020caccamo-winskel.tex.html
-rw-r--r--   1 edrx edrx        6196 Jul 12  2020 2020caccamo.tex
-rw-r--r--   1 edrx edrx        9543 Mar 20 23:24 2020caccamo.tex.html
-rw-r--r--   1 edrx edrx        1550 Dec 29  2020 2020chinese.tex
-rw-r--r--   1 edrx edrx        2575 Mar 20 23:24 2020chinese.tex.html
-rw-r--r--   2 edrx edrx      444369 Nov 24  2020 2020clops-and-tops-20201124.pdf
-rw-r--r--   2 edrx edrx      151523 Nov 24  2020 2020clops-and-tops-20201124.tgz
-rw-r--r--   2 edrx edrx      166272 Nov 24  2020 2020clops-and-tops-20201124.zip
-rw-r--r--   1 edrx edrx       42325 Jul  7  2021 2020clops-and-tops-garbage.tex
-rw-r--r--   1 edrx edrx       53853 Mar 20 23:24 2020clops-and-tops-garbage.tex.html
-rw-r--r--   2 edrx edrx      443754 Jul 26  2021 2020clops-and-tops.pdf
-rw-r--r--   1 edrx edrx      144287 Oct  9  2021 2020clops-and-tops.tex
-rw-r--r--   1 edrx edrx      172302 Mar 20 23:24 2020clops-and-tops.tex.html
-rw-r--r--   2 edrx edrx      145186 Jul 26  2021 2020clops-and-tops.tgz
-rw-r--r--   2 edrx edrx      159286 Jul 26  2021 2020clops-and-tops.zip
-rw-r--r--   2 edrx edrx       95130 Sep  7  2020 2020closure-operator.pdf
-rw-r--r--   1 edrx edrx        8363 Sep 22  2020 2020closure-operator.tex
-rw-r--r--   1 edrx edrx       11673 Mar 20 23:24 2020closure-operator.tex.html
-rw-r--r--   1 edrx edrx        7085 Nov 11  2020 2020closures-and-J-ops.tex
-rw-r--r--   1 edrx edrx       12581 Mar 20 23:24 2020closures-and-J-ops.tex.html
-rw-r--r--   2 edrx edrx      192097 Jul 30  2020 2020cwm.pdf
-rw-r--r--   1 edrx edrx       48855 Sep 11  2021 2020cwm.tex
-rw-r--r--   1 edrx edrx       61452 Mar 20 23:24 2020cwm.tex.html
-rw-r--r--   1 edrx edrx        1873 Dec 17  2020 2020dednat6-video.tex
-rw-r--r--   1 edrx edrx        3118 Mar 20 23:24 2020dednat6-video.tex.html
-rw-r--r--   1 edrx edrx        6001 Jul 27  2020 2020dialectica.tex
-rw-r--r--   1 edrx edrx       10435 Mar 20 23:24 2020dialectica.tex.html
-rw-r--r--   1 edrx edrx        7845 Jan 24  2021 2020dn6-error-handling.lua
-rw-r--r--   1 edrx edrx       12553 Mar 20 23:24 2020dn6-error-handling.lua.html
-rw-r--r--   1 edrx edrx        4474 Sep  6  2020 2020draw-on-tree.tex
-rw-r--r--   1 edrx edrx        7859 Mar 20 23:24 2020draw-on-tree.tex.html
-rw-r--r--   2 edrx edrx      517097 Jul 24  2021 2020favorite-conventions.pdf
-rw-r--r--   1 edrx edrx      175029 Nov 15  2021 2020favorite-conventions.tex
-rw-r--r--   1 edrx edrx      208302 Mar 20 23:24 2020favorite-conventions.tex.html
-rw-r--r--   2 edrx edrx       76622 Jul 24  2021 2020favorite-conventions.tgz
-rw-r--r--   2 edrx edrx      176369 Jul 24  2021 2020favorite-conventions.zip
-rw-r--r--   1 edrx edrx        5428 Jul 10  2020 2020gaina-kowalski.tex
-rw-r--r--   1 edrx edrx        7860 Mar 20 23:24 2020gaina-kowalski.tex.html
-rw-r--r--   2 edrx edrx      127754 Mar  1  2021 2020genericfigures.pdf
-rw-r--r--   1 edrx edrx        8920 Mar  1  2021 2020genericfigures.tex
-rw-r--r--   1 edrx edrx       14707 Mar 20 23:24 2020genericfigures.tex.html
-rw-r--r--   2 edrx edrx      159128 Feb 18  2021 2020groth-tops.pdf
-rw-r--r--   1 edrx edrx       31491 Feb 21  2021 2020groth-tops.tex
-rw-r--r--   1 edrx edrx       41259 Mar 20 23:24 2020groth-tops.tex.html
-rw-r--r--   2 edrx edrx       30405 May  6  2020 2020homecare.pdf
-rw-r--r--   1 edrx edrx       17278 Feb 21  2020 2020homecare.tex
-rw-r--r--   1 edrx edrx       20026 Mar 20 23:24 2020homecare.tex.html
-rw-r--r--   1 edrx edrx        3970 Jul  9  2020 2020hosgood.tex
-rw-r--r--   1 edrx edrx        7048 Mar 20 23:24 2020hosgood.tex.html
-rw-r--r--   2 edrx edrx      193949 Feb 25  2020 2020hyp.pdf
-rw-r--r--   1 edrx edrx       56699 Oct 22  2021 2020hyp.tex
-rw-r--r--   1 edrx edrx       77482 Mar 20 23:24 2020hyp.tex.html
-rw-r--r--   2 edrx edrx      168033 Jun 29  2020 2020institutions.pdf
-rw-r--r--   1 edrx edrx       17494 Jun  2  2020 2020institutions.tex
-rw-r--r--   1 edrx edrx       24216 Mar 20 23:24 2020institutions.tex.html
-rw-r--r--   1 edrx edrx        6021 Jul  4  2020 2020internal-cats.tex
-rw-r--r--   1 edrx edrx        9158 Mar 20 23:24 2020internal-cats.tex.html
-rw-r--r--   2 edrx edrx      212431 Jul  9  2020 2020jacobs.pdf
-rw-r--r--   1 edrx edrx       33299 Jul 11  2020 2020jacobs.tex
-rw-r--r--   1 edrx edrx       42061 Mar 20 23:24 2020jacobs.tex.html
-rw-r--r--   2 edrx edrx      110223 May 18  2020 2020jacobs.tgz
-rw-r--r--   1 edrx edrx       13617 Jul 20  2020 2020kockdiff.tex
-rw-r--r--   1 edrx edrx       18115 Mar 20 23:24 2020kockdiff.tex.html
-rw-r--r--   1 edrx edrx        4015 Aug 22  2020 2020lambek-scott.tex
-rw-r--r--   1 edrx edrx        7466 Mar 20 23:24 2020lambek-scott.tex.html
-rw-r--r--   2 edrx edrx       97919 Apr 26  2020 2020lambek86.pdf
-rw-r--r--   1 edrx edrx        6853 Apr 26  2020 2020lambek86.tex
-rw-r--r--   1 edrx edrx       10723 Mar 20 23:24 2020lambek86.tex.html
-rw-r--r--   1 edrx edrx        3876 May 22  2020 2020lawvere-adjfo.tex
-rw-r--r--   1 edrx edrx        7574 Mar 20 23:24 2020lawvere-adjfo.tex.html
-rw-r--r--   1 edrx edrx        3948 May 19  2020 2020lawvere-equahyp.tex
-rw-r--r--   1 edrx edrx        7543 Mar 20 23:24 2020lawvere-equahyp.tex.html
-rw-r--r--   1 edrx edrx        5870 May 21  2020 2020lawvere-notation.tex
-rw-r--r--   1 edrx edrx       10895 Mar 20 23:24 2020lawvere-notation.tex.html
-rw-r--r--   1 edrx edrx       40713 Jun 21  2021 2020lindenhovius.tex
-rw-r--r--   1 edrx edrx       49169 Mar 20 23:24 2020lindenhovius.tex.html
-rw-r--r--   1 edrx edrx        5379 May  2  2022 2020list-test.tex
-rw-r--r--   1 edrx edrx        8093 Mar 20 23:24 2020list-test.tex.html
-rw-r--r--   2 edrx edrx      103499 Jul  7  2020 2020loregian.pdf
-rw-r--r--   1 edrx edrx        3582 Jul  9  2020 2020loregian.tex
-rw-r--r--   1 edrx edrx        6799 Mar 20 23:24 2020loregian.tex.html
-rw-r--r--   1 edrx edrx        4032 Aug 17  2020 2020luatex-catcodes.tex
-rw-r--r--   1 edrx edrx        6933 Mar 20 23:24 2020luatex-catcodes.tex.html
-rw-r--r--   2 edrx edrx      101801 May 19  2020 2020macdonaldsobral.pdf
-rw-r--r--   1 edrx edrx       11315 May 20  2020 2020macdonaldsobral.tex
-rw-r--r--   1 edrx edrx       16735 Mar 20 23:24 2020macdonaldsobral.tex.html
-rw-r--r--   2 edrx edrx      268911 Mar 20  2021 2020maclane-moerdijk.pdf
-rw-r--r--   1 edrx edrx       52500 Jul  5  2021 2020maclane-moerdijk.tex
-rw-r--r--   1 edrx edrx       66813 Mar 20 23:24 2020maclane-moerdijk.tex.html
-rw-r--r--   1 edrx edrx        1876 May  1  2020 2020mathabx.tex
-rw-r--r--   1 edrx edrx        3392 Mar 20 23:24 2020mathabx.tex.html
-rw-r--r--   2 edrx edrx      150027 Sep  9  2020 2020mclarty.pdf
-rw-r--r--   1 edrx edrx       25712 Oct 25  2020 2020mclarty.tex
-rw-r--r--   1 edrx edrx       32476 Mar 20 23:24 2020mclarty.tex.html
-rw-r--r--   1 edrx edrx        3854 May 22  2020 2020notes-on-notation.tex
-rw-r--r--   1 edrx edrx        6834 Mar 20 23:24 2020notes-on-notation.tex.html
-rw-r--r--   2 edrx edrx      370846 May 28  2020 2020notes-yoneda.pdf
-rw-r--r--   1 edrx edrx      115396 Jun 17  2020 2020notes-yoneda.tex
-rw-r--r--   1 edrx edrx      156691 Mar 20 23:24 2020notes-yoneda.tex.html
-rw-r--r--   1 edrx edrx        2393 Apr 13  2020 2020on-a-broken-dnc.bib
-rw-r--r--   1 edrx edrx        4221 Mar 20 23:24 2020on-a-broken-dnc.bib.html
-rw-r--r--   1 edrx edrx       23359 May 16  2020 2020on-a-broken-dnc.tex
-rw-r--r--   1 edrx edrx       31920 Mar 20 23:24 2020on-a-broken-dnc.tex.html
-rw-r--r--   1 edrx edrx        3673 Aug 22  2020 2020prawitz.tex
-rw-r--r--   1 edrx edrx        7775 Mar 20 23:24 2020prawitz.tex.html
-rw-r--r--   1 edrx edrx        6918 Mar 21  2020 2020pullback-lemmas.tex
-rw-r--r--   1 edrx edrx       10816 Mar 20 23:24 2020pullback-lemmas.tex.html
-rw-r--r--   1 edrx edrx        3398 Dec 16  2020 2020pythontex.tex
-rw-r--r--   1 edrx edrx        6883 Mar 20 23:24 2020pythontex.tex.html
-rw-r--r--   1 edrx edrx        2394 Dec 19  2020 2020quiver.tex
-rw-r--r--   1 edrx edrx        5240 Mar 20 23:24 2020quiver.tex.html
-rw-r--r--   1 edrx edrx        2145 May 18  2020 2020quotient-types.tex
-rw-r--r--   1 edrx edrx        4822 Mar 20 23:24 2020quotient-types.tex.html
-rw-r--r--   2 edrx edrx      218781 Jul 16  2020 2020riehl.pdf
-rw-r--r--   1 edrx edrx       21890 Aug  3  2020 2020riehl.tex
-rw-r--r--   1 edrx edrx       29825 Mar 20 23:24 2020riehl.tex.html
-rw-r--r--   2 edrx edrx      113526 Jul  9  2020 2020riehl.tgz
-rw-r--r--   2 edrx edrx      123590 Aug  4  2020 2020seelyhyp-poster.pdf
-rw-r--r--   1 edrx edrx       18785 Aug  5  2020 2020seelyhyp-poster.tex
-rw-r--r--   1 edrx edrx       24090 Mar 20 23:24 2020seelyhyp-poster.tex.html
-rw-r--r--   2 edrx edrx      290629 Sep  5  2020 2020seelyhyp.pdf
-rw-r--r--   1 edrx edrx       65491 Sep  5  2020 2020seelyhyp.tex
-rw-r--r--   1 edrx edrx       82795 Mar 20 23:24 2020seelyhyp.tex.html
-rw-r--r--   2 edrx edrx      120977 Jul  9  2020 2020seelyhyp.tgz
-rw-r--r--   1 edrx edrx       10635 May 19  2020 2020seelylccc.tex
-rw-r--r--   1 edrx edrx       14528 Mar 20 23:24 2020seelylccc.tex.html
-rw-r--r--   1 edrx edrx        7501 Aug 15  2020 2020seelyplc.tex
-rw-r--r--   1 edrx edrx       11508 Mar 20 23:24 2020seelyplc.tex.html
-rw-r--r--   2 edrx edrx      189461 Jul 22  2020 2020sheaves.pdf
-rw-r--r--   1 edrx edrx       26041 Jul 25  2020 2020sheaves.tex
-rw-r--r--   1 edrx edrx       34844 Mar 20 23:24 2020sheaves.tex.html
-rw-r--r--   1 edrx edrx        3106 Feb 21  2020 2020tallinn-abstract.bib
-rw-r--r--   1 edrx edrx        6140 Mar 20 23:24 2020tallinn-abstract.bib.html
-rw-r--r--   2 edrx edrx      240762 Feb  7  2020 2020tallinn-abstract.pdf
-rw-r--r--   1 edrx edrx       17633 Feb 21  2020 2020tallinn-abstract.tex
-rw-r--r--   1 edrx edrx       25457 Mar 20 23:24 2020tallinn-abstract.tex.html
-rw-r--r--   1 edrx edrx        8196 Nov  4  2020 2020thermidor.tex
-rw-r--r--   1 edrx edrx       11664 Mar 20 23:24 2020thermidor.tex.html
-rw-r--r--   1 edrx edrx        1985 Feb 21  2020 2020tikz-test.tex
-rw-r--r--   1 edrx edrx        4696 Mar 20 23:24 2020tikz-test.tex.html
-rw-r--r--   1 edrx edrx        8494 Sep 19  2020 2020topostheory.tex
-rw-r--r--   1 edrx edrx       12359 Mar 20 23:24 2020topostheory.tex.html
-rw-r--r--   2 edrx edrx       82456 Aug 12  2021 2021-1-C2-MT1.pdf
-rw-r--r--   1 edrx edrx       12035 Feb  8  2022 2021-1-C2-MT1.tex
-rw-r--r--   1 edrx edrx       19450 Mar 20 23:24 2021-1-C2-MT1.tex.html
-rw-r--r--   2 edrx edrx       85744 Aug 19  2021 2021-1-C2-MT2.pdf
-rw-r--r--   1 edrx edrx       11649 Feb  8  2022 2021-1-C2-MT2.tex
-rw-r--r--   1 edrx edrx       19091 Mar 20 23:24 2021-1-C2-MT2.tex.html
-rw-r--r--   2 edrx edrx      158072 Sep  9  2021 2021-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       23552 Feb  8  2022 2021-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       35502 Mar 20 23:24 2021-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      193653 Sep 20  2021 2021-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx       22558 Feb  8  2022 2021-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       34327 Mar 20 23:24 2021-1-C2-P2.tex.html
-rw-r--r--   1 edrx edrx       19567 Feb  8  2022 2021-1-C2-coisas-antigas.tex
-rw-r--r--   1 edrx edrx       27198 Mar 20 23:24 2021-1-C2-coisas-antigas.tex.html
-rw-r--r--   2 edrx edrx      123244 Sep  3  2021 2021-1-C2-contas-em-C2.pdf
-rw-r--r--   1 edrx edrx       14001 Feb  8  2022 2021-1-C2-contas-em-C2.tex
-rw-r--r--   1 edrx edrx       22669 Mar 20 23:24 2021-1-C2-contas-em-C2.tex.html
-rw-r--r--   1 edrx edrx       14759 Jun  8  2022 2021-1-C2-critical-points.lua
-rw-r--r--   1 edrx edrx       23356 Mar 20 23:24 2021-1-C2-critical-points.lua.html
-rw-r--r--   2 edrx edrx      199606 Jul 19  2022 2021-1-C2-edovs.pdf
-rw-r--r--   1 edrx edrx       24084 Jul 20  2022 2021-1-C2-edovs.tex
-rw-r--r--   1 edrx edrx       36800 Mar 20 23:24 2021-1-C2-edovs.tex.html
-rw-r--r--   1 edrx edrx       14936 Feb  8  2022 2021-1-C2-funcoes-conjs-infinitos.tex
-rw-r--r--   1 edrx edrx       20472 Mar 20 23:24 2021-1-C2-funcoes-conjs-infinitos.tex.html
-rw-r--r--   2 edrx edrx      168515 Sep  2  2021 2021-1-C2-int-subst.pdf
-rw-r--r--   1 edrx edrx       30506 Mar 29  2022 2021-1-C2-int-subst.tex
-rw-r--r--   1 edrx edrx       44372 Mar 20 23:24 2021-1-C2-int-subst.tex.html
-rw-r--r--   1 edrx edrx       10295 Feb  8  2022 2021-1-C2-integrais-escadas.tex
-rw-r--r--   1 edrx edrx       15765 Mar 20 23:24 2021-1-C2-integrais-escadas.tex.html
-rw-r--r--   2 edrx edrx       32744 Jul 22  2021 2021-1-C2-integral-figuras.pdf
-rw-r--r--   1 edrx edrx        9714 Feb  8  2022 2021-1-C2-integral-figuras.tex
-rw-r--r--   1 edrx edrx       16187 Mar 20 23:24 2021-1-C2-integral-figuras.tex.html
-rw-r--r--   2 edrx edrx       99128 Jun 16  2021 2021-1-C2-intro.pdf
-rw-r--r--   1 edrx edrx       14735 Nov 18  2021 2021-1-C2-intro.tex
-rw-r--r--   1 edrx edrx       21761 Mar 20 23:24 2021-1-C2-intro.tex.html
-rw-r--r--   2 edrx edrx      148335 Aug 20  2021 2021-1-C2-os-dois-TFCs.pdf
-rw-r--r--   1 edrx edrx       19062 Jul 13  2022 2021-1-C2-os-dois-TFCs.tex
-rw-r--r--   1 edrx edrx       29573 Mar 20 23:24 2021-1-C2-os-dois-TFCs.tex.html
-rw-r--r--   2 edrx edrx      202681 Oct  5 15:28 2021-1-C2-propriedades-da-integral.pdf
-rw-r--r--   1 edrx edrx       44373 Jul 13  2022 2021-1-C2-propriedades-da-integral.tex
-rw-r--r--   1 edrx edrx       66014 Mar 20 23:24 2021-1-C2-propriedades-da-integral.tex.html
-rw-r--r--   2 edrx edrx       38856 Jul 21  2021 2021-1-C2-somas-1-dicas.pdf
-rw-r--r--   1 edrx edrx       16809 Feb 16 00:34 2021-1-C2-somas-1-dicas.tex
-rw-r--r--   1 edrx edrx       30124 Mar 20 23:24 2021-1-C2-somas-1-dicas.tex.html
-rw-r--r--   2 edrx edrx      153017 Jun 24  2021 2021-1-C2-somas-1.pdf
-rw-r--r--   1 edrx edrx       21624 Mar 10 05:34 2021-1-C2-somas-1.tex
-rw-r--r--   1 edrx edrx       33657 Mar 20 23:24 2021-1-C2-somas-1.tex.html
-rw-r--r--   2 edrx edrx      145096 Jul 22  2021 2021-1-C2-somas-2-4.pdf
-rw-r--r--   1 edrx edrx       30020 Feb  8  2022 2021-1-C2-somas-2-4.tex
-rw-r--r--   1 edrx edrx       42602 Mar 20 23:24 2021-1-C2-somas-2-4.tex.html
-rw-r--r--   2 edrx edrx      275051 Jul 28  2021 2021-1-C2-somas-2.pdf
-rw-r--r--   1 edrx edrx       55417 Jul  3  2022 2021-1-C2-somas-2.tex
-rw-r--r--   1 edrx edrx       79844 Mar 20 23:24 2021-1-C2-somas-2.tex.html
-rw-r--r--   2 edrx edrx      153293 Aug 25  2021 2021-1-C2-subst.pdf
-rw-r--r--   1 edrx edrx       34278 Feb  8  2022 2021-1-C2-subst.tex
-rw-r--r--   1 edrx edrx       50454 Mar 20 23:24 2021-1-C2-subst.tex.html
-rw-r--r--   2 edrx edrx     2434001 Jul  1  2022 2021-1-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        5548 Dec 13 00:32 2021-1-C2-tudo.tex
-rw-r--r--   1 edrx edrx       10444 Mar 20 23:24 2021-1-C2-tudo.tex.html
-rw-r--r--   1 edrx edrx        8789 Mar 11 03:24 2021-1-C3-3D.lua
-rw-r--r--   1 edrx edrx       13101 Mar 20 23:24 2021-1-C3-3D.lua.html
-rw-r--r--   2 edrx edrx       79228 Jul 23  2021 2021-1-C3-MT1.pdf
-rw-r--r--   1 edrx edrx       11523 Jul 23  2021 2021-1-C3-MT1.tex
-rw-r--r--   1 edrx edrx       18286 Mar 20 23:24 2021-1-C3-MT1.tex.html
-rw-r--r--   2 edrx edrx       94898 Sep  1  2021 2021-1-C3-MT2.pdf
-rw-r--r--   1 edrx edrx       11179 Sep  1  2021 2021-1-C3-MT2.tex
-rw-r--r--   1 edrx edrx       17125 Mar 20 23:24 2021-1-C3-MT2.tex.html
-rw-r--r--   2 edrx edrx      120910 Sep 15  2021 2021-1-C3-P1.pdf
-rw-r--r--   1 edrx edrx       13317 Sep 24  2021 2021-1-C3-P1.tex
-rw-r--r--   1 edrx edrx       21893 Mar 20 23:24 2021-1-C3-P1.tex.html
-rw-r--r--   2 edrx edrx      126954 Sep 20  2021 2021-1-C3-P2.pdf
-rw-r--r--   1 edrx edrx       21490 Sep 20  2021 2021-1-C3-P2.tex
-rw-r--r--   1 edrx edrx       33146 Mar 20 23:24 2021-1-C3-P2.tex.html
-rw-r--r--   2 edrx edrx      135998 Sep 16  2021 2021-1-C3-abertos-e-fechados.pdf
-rw-r--r--   1 edrx edrx       18091 Nov 16 09:04 2021-1-C3-abertos-e-fechados.tex
-rw-r--r--   1 edrx edrx       28366 Mar 20 23:24 2021-1-C3-abertos-e-fechados.tex.html
-rw-r--r--   2 edrx edrx       47649 Jul 14  2021 2021-1-C3-cortes.pdf
-rw-r--r--   1 edrx edrx        7825 Jul 14  2021 2021-1-C3-cortes.tex
-rw-r--r--   1 edrx edrx       13300 Mar 20 23:24 2021-1-C3-cortes.tex.html
-rw-r--r--   2 edrx edrx      101046 Jul 16  2021 2021-1-C3-curvas-de-nivel.pdf
-rw-r--r--   1 edrx edrx       19692 Jan  5  2022 2021-1-C3-curvas-de-nivel.tex
-rw-r--r--   1 edrx edrx       33021 Mar 20 23:24 2021-1-C3-curvas-de-nivel.tex.html
-rw-r--r--   2 edrx edrx      113548 Jul 28  2021 2021-1-C3-derivadas-parciais.pdf
-rw-r--r--   1 edrx edrx       15583 Oct  4 18:57 2021-1-C3-derivadas-parciais.tex
-rw-r--r--   1 edrx edrx       25178 Mar 20 23:24 2021-1-C3-derivadas-parciais.tex.html
-rw-r--r--   2 edrx edrx      160806 Aug 20  2021 2021-1-C3-funcoes-quadraticas.pdf
-rw-r--r--   1 edrx edrx       38783 Nov 25 07:21 2021-1-C3-funcoes-quadraticas.tex
-rw-r--r--   1 edrx edrx       56519 Mar 20 23:24 2021-1-C3-funcoes-quadraticas.tex.html
-rw-r--r--   2 edrx edrx       87476 Sep  3  2021 2021-1-C3-gradiente.pdf
-rw-r--r--   1 edrx edrx       11887 Nov  8 09:25 2021-1-C3-gradiente.tex
-rw-r--r--   1 edrx edrx       19494 Mar 20 23:24 2021-1-C3-gradiente.tex.html
-rw-r--r--   2 edrx edrx       89575 Jun 18  2021 2021-1-C3-intro.pdf
-rw-r--r--   1 edrx edrx       13317 Oct 29  2021 2021-1-C3-intro.tex
-rw-r--r--   1 edrx edrx       21092 Mar 20 23:24 2021-1-C3-intro.tex.html
-rw-r--r--   2 edrx edrx      237653 Nov  9 09:57 2021-1-C3-matriz-jacobiana.pdf
-rw-r--r--   1 edrx edrx       13499 Nov  9 09:57 2021-1-C3-matriz-jacobiana.tex
-rw-r--r--   1 edrx edrx       21653 Mar 20 23:24 2021-1-C3-matriz-jacobiana.tex.html
-rw-r--r--   2 edrx edrx      177529 Aug  6  2021 2021-1-C3-notacao-de-fisicos.pdf
-rw-r--r--   1 edrx edrx       29700 Nov 24  2021 2021-1-C3-notacao-de-fisicos.tex
-rw-r--r--   1 edrx edrx       45290 Mar 20 23:24 2021-1-C3-notacao-de-fisicos.tex.html
-rw-r--r--   2 edrx edrx      102858 Jul 21  2021 2021-1-C3-planos.pdf
-rw-r--r--   1 edrx edrx        9934 Jul 21  2021 2021-1-C3-planos.tex
-rw-r--r--   1 edrx edrx       15396 Mar 20 23:24 2021-1-C3-planos.tex.html
-rw-r--r--   2 edrx edrx      164087 Jul  7  2021 2021-1-C3-taylor.pdf
-rw-r--r--   1 edrx edrx       22876 Jan 18  2022 2021-1-C3-taylor.tex
-rw-r--r--   1 edrx edrx       35636 Mar 20 23:24 2021-1-C3-taylor.tex.html
-rw-r--r--   2 edrx edrx     2178367 Jul  6  2022 2021-1-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        6579 Oct  4 18:51 2021-1-C3-tudo.tex
-rw-r--r--   1 edrx edrx       11657 Mar 20 23:24 2021-1-C3-tudo.tex.html
-rw-r--r--   2 edrx edrx       91442 Jun 18  2021 2021-1-C3-vetor-tangente.pdf
-rw-r--r--   1 edrx edrx       13531 Jul  2  2021 2021-1-C3-vetor-tangente.tex
-rw-r--r--   1 edrx edrx       21411 Mar 20 23:24 2021-1-C3-vetor-tangente.tex.html
-rw-r--r--   2 edrx edrx      104863 Jun 25  2021 2021-1-C3-visualizar-limites.pdf
-rw-r--r--   1 edrx edrx       13710 Nov 19  2021 2021-1-C3-visualizar-limites.tex
-rw-r--r--   1 edrx edrx       21787 Mar 20 23:24 2021-1-C3-visualizar-limites.tex.html
-rw-r--r--   1 edrx edrx        6712 Oct 22  2021 2021-1-CN-template.tex
-rw-r--r--   1 edrx edrx       11874 Mar 20 23:24 2021-1-CN-template.tex.html
-rw-r--r--   2 edrx edrx      123100 Nov 19  2021 2021-2-C2-MT1.pdf
-rw-r--r--   1 edrx edrx        9068 Feb  8  2022 2021-2-C2-MT1.tex
-rw-r--r--   1 edrx edrx       15341 Mar 20 23:24 2021-2-C2-MT1.tex.html
-rw-r--r--   1 edrx edrx       16450 Feb 22  2022 2021-2-C2-MT2.lua
-rw-r--r--   1 edrx edrx       18304 Mar 20 23:24 2021-2-C2-MT2.lua.html
-rw-r--r--   2 edrx edrx      126243 Nov 26  2021 2021-2-C2-MT2.pdf
-rw-r--r--   1 edrx edrx       15678 Feb 22  2022 2021-2-C2-MT2.tex
-rw-r--r--   1 edrx edrx       24037 Mar 20 23:24 2021-2-C2-MT2.tex.html
-rw-r--r--   2 edrx edrx       66227 Jan  8  2022 2021-2-C2-MT3.pdf
-rw-r--r--   1 edrx edrx       10263 Feb  8  2022 2021-2-C2-MT3.tex
-rw-r--r--   1 edrx edrx       17789 Mar 20 23:24 2021-2-C2-MT3.tex.html
-rw-r--r--   2 edrx edrx      139177 Feb  3  2022 2021-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       19960 Feb  8  2022 2021-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       29225 Mar 20 23:24 2021-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      135082 Feb  7  2022 2021-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       21878 Feb 10  2022 2021-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       33558 Mar 20 23:24 2021-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      157105 Jan  7  2022 2021-2-C2-TFC1.pdf
-rw-r--r--   1 edrx edrx       24812 Jun 21  2022 2021-2-C2-TFC1.tex
-rw-r--r--   1 edrx edrx       36418 Mar 20 23:24 2021-2-C2-TFC1.tex.html
-rw-r--r--   2 edrx edrx       85414 Feb 24  2022 2021-2-C2-VS.pdf
-rw-r--r--   1 edrx edrx        9560 Feb 24  2022 2021-2-C2-VS.tex
-rw-r--r--   1 edrx edrx       16376 Mar 20 23:24 2021-2-C2-VS.tex.html
-rw-r--r--   1 edrx edrx        2195 Dec 21  2021 2021-2-C2-def-integral.lua
-rw-r--r--   1 edrx edrx        3814 Mar 20 23:24 2021-2-C2-def-integral.lua.html
-rw-r--r--   2 edrx edrx      146117 Dec 22  2021 2021-2-C2-def-integral.pdf
-rw-r--r--   1 edrx edrx       25168 Jun 12  2022 2021-2-C2-def-integral.tex
-rw-r--r--   1 edrx edrx       38716 Mar 20 23:24 2021-2-C2-def-integral.tex.html
-rw-r--r--   2 edrx edrx      197013 Jan 27  2022 2021-2-C2-edovs.pdf
-rw-r--r--   1 edrx edrx       21786 Feb  8  2022 2021-2-C2-edovs.tex
-rw-r--r--   1 edrx edrx       33789 Mar 20 23:24 2021-2-C2-edovs.tex.html
-rw-r--r--   2 edrx edrx      157771 Feb 23  2022 2021-2-C2-fracoes-parciais.pdf
-rw-r--r--   1 edrx edrx       17407 Jul 14  2022 2021-2-C2-fracoes-parciais.tex
-rw-r--r--   1 edrx edrx       28899 Mar 20 23:24 2021-2-C2-fracoes-parciais.tex.html
-rw-r--r--   2 edrx edrx      142684 Dec 17  2021 2021-2-C2-infs-e-sups.pdf
-rw-r--r--   1 edrx edrx       24245 Jul  3  2022 2021-2-C2-infs-e-sups.tex
-rw-r--r--   1 edrx edrx       35097 Mar 20 23:24 2021-2-C2-infs-e-sups.tex.html
-rw-r--r--   2 edrx edrx      215632 Jan 21  2022 2021-2-C2-int-subst.pdf
-rw-r--r--   1 edrx edrx       47982 Jul  4  2022 2021-2-C2-int-subst.tex
-rw-r--r--   1 edrx edrx       64173 Mar 20 23:24 2021-2-C2-int-subst.tex.html
-rw-r--r--   2 edrx edrx      233917 Nov  4  2021 2021-2-C2-intro.pdf
-rw-r--r--   1 edrx edrx       46704 Jul 10  2022 2021-2-C2-intro.tex
-rw-r--r--   1 edrx edrx       60666 Mar 20 23:24 2021-2-C2-intro.tex.html
-rw-r--r--   2 edrx edrx      147011 Jan 26  2022 2021-2-C2-mud-var-gamb.pdf
-rw-r--r--   1 edrx edrx       14510 Feb  8  2022 2021-2-C2-mud-var-gamb.tex
-rw-r--r--   1 edrx edrx       22737 Mar 20 23:24 2021-2-C2-mud-var-gamb.tex.html
-rw-r--r--   1 edrx edrx       11046 Feb  8  2022 2021-2-C2-props-int.tex
-rw-r--r--   1 edrx edrx       16838 Mar 20 23:24 2021-2-C2-props-int.tex.html
-rw-r--r--   2 edrx edrx       76273 Feb  3  2022 2021-2-C2-revisao-pra-P2.pdf
-rw-r--r--   1 edrx edrx        9375 Feb  8  2022 2021-2-C2-revisao-pra-P2.tex
-rw-r--r--   1 edrx edrx       16443 Mar 20 23:24 2021-2-C2-revisao-pra-P2.tex.html
-rw-r--r--   2 edrx edrx      182894 May 12  2022 2021-2-C2-somas-1.pdf
-rw-r--r--   1 edrx edrx       25082 Jun 13  2022 2021-2-C2-somas-1.tex
-rw-r--r--   1 edrx edrx       37700 Mar 20 23:24 2021-2-C2-somas-1.tex.html
-rw-r--r--   2 edrx edrx      145107 Dec  9  2021 2021-2-C2-somas-2-4.pdf
-rw-r--r--   1 edrx edrx       29904 May 19  2022 2021-2-C2-somas-2-4.tex
-rw-r--r--   1 edrx edrx       43078 Mar 20 23:24 2021-2-C2-somas-2-4.tex.html
-rw-r--r--   2 edrx edrx      294651 Oct 26 15:42 2021-2-C2-somas-2.pdf
-rw-r--r--   1 edrx edrx       64128 Oct 13 05:09 2021-2-C2-somas-2.tex
-rw-r--r--   1 edrx edrx       91258 Mar 20 23:24 2021-2-C2-somas-2.tex.html
-rwxr-xr-x   1 edrx edrx        1832 Jan  5  2022 2021-2-C2-tudo.gnumake*
-rw-r--r--   1 edrx edrx        4295 Mar 20 23:24 2021-2-C2-tudo.gnumake.html
-rw-r--r--   2 edrx edrx     2890596 Feb 24  2022 2021-2-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        6471 Jul 10  2022 2021-2-C2-tudo.tex
-rw-r--r--   1 edrx edrx       10879 Mar 20 23:24 2021-2-C2-tudo.tex.html
-rw-r--r--   2 edrx edrx       62178 Nov 12  2021 2021-2-C3-MT1.pdf
-rw-r--r--   1 edrx edrx       12936 Dec  7  2021 2021-2-C3-MT1.tex
-rw-r--r--   1 edrx edrx       20322 Mar 20 23:24 2021-2-C3-MT1.tex.html
-rw-r--r--   2 edrx edrx       62711 Jan 12  2022 2021-2-C3-MT2.pdf
-rw-r--r--   1 edrx edrx       13255 Jul  6  2022 2021-2-C3-MT2.tex
-rw-r--r--   1 edrx edrx       23156 Mar 20 23:24 2021-2-C3-MT2.tex.html
-rw-r--r--   2 edrx edrx       99726 Jan 22  2022 2021-2-C3-P1.pdf
-rw-r--r--   1 edrx edrx       13874 Feb 23  2022 2021-2-C3-P1.tex
-rw-r--r--   1 edrx edrx       22701 Mar 20 23:24 2021-2-C3-P1.tex.html
-rw-r--r--   2 edrx edrx       64462 Feb  2  2022 2021-2-C3-P2.pdf
-rw-r--r--   1 edrx edrx        9578 Nov 24 22:03 2021-2-C3-P2.tex
-rw-r--r--   1 edrx edrx       16808 Mar 20 23:24 2021-2-C3-P2.tex.html
-rw-r--r--   2 edrx edrx       58028 Feb 11  2022 2021-2-C3-VS.pdf
-rw-r--r--   1 edrx edrx        9284 Feb 13  2022 2021-2-C3-VS.tex
-rw-r--r--   1 edrx edrx       15742 Mar 20 23:24 2021-2-C3-VS.tex.html
-rw-r--r--   2 edrx edrx      328955 Nov 17  2021 2021-2-C3-bezier.pdf
-rw-r--r--   1 edrx edrx       22619 Mar  6 20:58 2021-2-C3-bezier.tex
-rw-r--r--   1 edrx edrx       31824 Mar 20 23:24 2021-2-C3-bezier.tex.html
-rw-r--r--   1 edrx edrx        2891 Jan 15  2022 2021-2-C3-diag-nums.gnuplot
-rw-r--r--   1 edrx edrx        4186 Mar 20 23:24 2021-2-C3-diag-nums.gnuplot.html
-rw-r--r--   1 edrx edrx        2613 May 28  2022 2021-2-C3-diag-nums.lua
-rw-r--r--   1 edrx edrx        3886 Mar 20 23:24 2021-2-C3-diag-nums.lua.html
-rw-r--r--   2 edrx edrx      118760 Jan  7  2022 2021-2-C3-diag-nums.pdf
-rw-r--r--   1 edrx edrx       26911 Dec  6 12:50 2021-2-C3-diag-nums.tex
-rw-r--r--   1 edrx edrx       44149 Mar 20 23:24 2021-2-C3-diag-nums.tex.html
-rw-r--r--   2 edrx edrx       62213 Feb  2  2022 2021-2-C3-funcoes-homogeneas.pdf
-rw-r--r--   1 edrx edrx       10286 Nov 24 22:02 2021-2-C3-funcoes-homogeneas.tex
-rw-r--r--   1 edrx edrx       17917 Mar 20 23:24 2021-2-C3-funcoes-homogeneas.tex.html
-rw-r--r--   1 edrx edrx       33256 Jun 22  2022 2021-2-C3-funcoes-quadraticas.tex
-rw-r--r--   1 edrx edrx       48493 Mar 20 23:24 2021-2-C3-funcoes-quadraticas.tex.html
-rw-r--r--   2 edrx edrx       99087 Nov  3  2021 2021-2-C3-intro.pdf
-rw-r--r--   1 edrx edrx       17827 Aug 26  2022 2021-2-C3-intro.tex
-rw-r--r--   1 edrx edrx       26146 Mar 20 23:24 2021-2-C3-intro.tex.html
-rw-r--r--   2 edrx edrx      294540 Jan  2  2022 2021-2-C3-notacao-de-fisicos.pdf
-rw-r--r--   1 edrx edrx       42946 May 31  2022 2021-2-C3-notacao-de-fisicos.tex
-rw-r--r--   1 edrx edrx       66003 Mar 20 23:24 2021-2-C3-notacao-de-fisicos.tex.html
-rw-r--r--   2 edrx edrx       79808 Jan 28  2022 2021-2-C3-taylor-R2.pdf
-rw-r--r--   1 edrx edrx        9819 Jan 28  2022 2021-2-C3-taylor-R2.tex
-rw-r--r--   1 edrx edrx       16581 Mar 20 23:24 2021-2-C3-taylor-R2.tex.html
-rw-r--r--   2 edrx edrx      181966 Jan 21  2022 2021-2-C3-taylor.pdf
-rw-r--r--   1 edrx edrx       21715 Apr 21  2022 2021-2-C3-taylor.tex
-rw-r--r--   1 edrx edrx       32435 Mar 20 23:24 2021-2-C3-taylor.tex.html
-rw-r--r--   2 edrx edrx      110599 Nov 19  2021 2021-2-C3-tipos.pdf
-rw-r--r--   1 edrx edrx       18138 Sep  2  2022 2021-2-C3-tipos.tex
-rw-r--r--   1 edrx edrx       27845 Mar 20 23:24 2021-2-C3-tipos.tex.html
-rw-r--r--   2 edrx edrx     1703516 Feb 11  2022 2021-2-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        5647 Oct  4 18:58 2021-2-C3-tudo.tex
-rw-r--r--   1 edrx edrx        9814 Mar 20 23:24 2021-2-C3-tudo.tex.html
-rw-r--r--   2 edrx edrx       98323 Nov  5  2021 2021-2-C3-vetor-tangente.pdf
-rw-r--r--   1 edrx edrx       14373 Nov 12  2021 2021-2-C3-vetor-tangente.tex
-rw-r--r--   1 edrx edrx       22777 Mar 20 23:24 2021-2-C3-vetor-tangente.tex.html
-rw-r--r--   1 edrx edrx        6421 May 24  2022 2021-2-CN-template.tex
-rw-r--r--   1 edrx edrx       12107 Mar 20 23:24 2021-2-CN-template.tex.html
-rw-r--r--   1 edrx edrx        3562 Dec 27  2021 2021-deptypes-for-children.tex
-rw-r--r--   1 edrx edrx        7093 Mar 20 23:24 2021-deptypes-for-children.tex.html
-rw-r--r--   1 edrx edrx        7683 Dec  2  2021 2021-plano-remoto-C2.tex
-rw-r--r--   1 edrx edrx       10786 Mar 20 23:24 2021-plano-remoto-C2.tex.html
-rw-r--r--   2 edrx edrx       34253 Nov 30  2021 2021-plano-remoto-C3.pdf
-rw-r--r--   1 edrx edrx        4919 Nov 30  2021 2021-plano-remoto-C3.tex
-rw-r--r--   1 edrx edrx        7158 Mar 20 23:24 2021-plano-remoto-C3.tex.html
-rw-r--r--   1 edrx edrx        9343 Mar  3  2021 2021-rad2020.tex
-rw-r--r--   1 edrx edrx       13560 Mar 20 23:24 2021-rad2020.tex.html
-rw-r--r--   1 edrx edrx        9145 Jun 13  2021 2021ArtDecoN.tex
-rw-r--r--   1 edrx edrx       14225 Mar 20 23:24 2021ArtDecoN.tex.html
-rw-r--r--   2 edrx edrx       46117 Sep 29  2021 2021burghardt.pdf
-rw-r--r--   1 edrx edrx        8118 Oct 21  2021 2021burghardt.tex
-rw-r--r--   1 edrx edrx       13563 Mar 20 23:24 2021burghardt.tex.html
-rw-r--r--   2 edrx edrx      107317 Sep 29  2021 2021burghardt.tgz
-rw-r--r--   1 edrx edrx        3586 Dec 11  2021 2021composes-hash.tex
-rw-r--r--   1 edrx edrx        7005 Mar 20 23:24 2021composes-hash.tex.html
-rw-r--r--   2 edrx edrx        7202 Dec 11  2021 2021composes-hash.zip
-rw-r--r--   1 edrx edrx        4110 Mar  8  2021 2021dn6-error-handling.lua
-rw-r--r--   1 edrx edrx        7797 Mar 20 23:24 2021dn6-error-handling.lua.html
-rw-r--r--   2 edrx edrx     1001678 Nov 22  2021 2021emacsconf.pdf
-rw-r--r--   1 edrx edrx       11394 Nov 22  2021 2021emacsconf.tex
-rw-r--r--   1 edrx edrx       18307 Mar 20 23:24 2021emacsconf.tex.html
-rw-r--r--   2 edrx edrx      487147 Nov  3  2021 2021emacsconf.tgz
-rw-r--r--   2 edrx edrx      499899 Nov  3  2021 2021emacsconf.zip
-rw-r--r--   2 edrx edrx       35271 Jan 19  2021 2021excuse-abs.pdf
-rw-r--r--   1 edrx edrx        6216 Jan 19  2021 2021excuse-abs.tex
-rw-r--r--   1 edrx edrx        9761 Mar 20 23:24 2021excuse-abs.tex.html
-rw-r--r--   1 edrx edrx        6848 Jan 24  2021 2021excuse.lua
-rw-r--r--   1 edrx edrx       10532 Mar 20 23:24 2021excuse.lua.html
-rw-r--r--   2 edrx edrx      446464 Feb 16  2021 2021excuse.pdf
-rw-r--r--   1 edrx edrx       69830 Sep 11  2022 2021excuse.tex
-rw-r--r--   1 edrx edrx       94623 Mar 20 23:24 2021excuse.tex.html
-rw-r--r--   2 edrx edrx      232313 Jan 27  2021 2021excuse.tgz
-rw-r--r--   1 edrx edrx        7337 Oct 22  2021 2021fitch-old.lua
-rw-r--r--   1 edrx edrx        8638 Mar 20 23:24 2021fitch-old.lua.html
-rw-r--r--   1 edrx edrx        6548 Oct 24  2021 2021fitch.lua
-rw-r--r--   1 edrx edrx       10103 Mar 20 23:24 2021fitch.lua.html
-rw-r--r--   2 edrx edrx       65125 Mar 24  2022 2021fitch.pdf
-rw-r--r--   1 edrx edrx        5174 Oct 24  2021 2021fitch.tex
-rw-r--r--   1 edrx edrx        8795 Mar 20 23:24 2021fitch.tex.html
-rw-r--r--   2 edrx edrx      131857 May 20  2021 2021groth-tops-children-slides.pdf
-rw-r--r--   1 edrx edrx       37276 Jul  4  2021 2021groth-tops-children-slides.tex
-rw-r--r--   1 edrx edrx       48836 Mar 20 23:24 2021groth-tops-children-slides.tex.html
-rw-r--r--   1 edrx edrx        5346 May  9  2021 2021groth-tops-children.lua
-rw-r--r--   1 edrx edrx        8080 Mar 20 23:24 2021groth-tops-children.lua.html
-rw-r--r--   2 edrx edrx      376225 May 20  2021 2021groth-tops-children.pdf
-rw-r--r--   1 edrx edrx      103922 Jun 13  2021 2021groth-tops-children.tex
-rw-r--r--   1 edrx edrx      122197 Mar 20 23:24 2021groth-tops-children.tex.html
-rw-r--r--   2 edrx edrx      148692 Apr  7  2021 2021groth-tops-children.tgz
-rw-r--r--   2 edrx edrx      150716 Mar 23  2021 2021groth-tops-children.zip
-rw-r--r--   1 edrx edrx       15786 Apr  4  2021 2021groth-tops-defs.tex
-rw-r--r--   1 edrx edrx       23835 Mar 20 23:24 2021groth-tops-defs.tex.html
-rw-r--r--   1 edrx edrx        4373 Jan  8  2021 2021haskell.tex
-rw-r--r--   1 edrx edrx        8239 Mar 20 23:24 2021haskell.tex.html
-rw-r--r--   2 edrx edrx       54008 Oct 14  2021 2021lean-nng.pdf
-rw-r--r--   1 edrx edrx       12823 Oct 22  2021 2021lean-nng.tex
-rw-r--r--   1 edrx edrx       19373 Mar 20 23:24 2021lean-nng.tex.html
-rw-r--r--   1 edrx edrx        5525 Oct 23  2021 2021lean.lua
-rw-r--r--   1 edrx edrx       10727 Mar 20 23:24 2021lean.lua.html
-rw-r--r--   2 edrx edrx      125007 Jul 11  2021 2021lindenhovius-j-to-X.pdf
-rw-r--r--   1 edrx edrx       14868 Dec  9  2021 2021lindenhovius-j-to-X.tex
-rw-r--r--   1 edrx edrx       21283 Mar 20 23:24 2021lindenhovius-j-to-X.tex.html
-rw-r--r--   1 edrx edrx       11006 Jul 11  2021 2021lindenhovius-june.tex
-rw-r--r--   1 edrx edrx       15222 Mar 20 23:24 2021lindenhovius-june.tex.html
-rw-r--r--   2 edrx edrx     2556102 Feb  2  2021 2021logicday.pdf
-rw-r--r--   1 edrx edrx       19530 Feb  2  2021 2021logicday.tex
-rw-r--r--   1 edrx edrx       28169 Mar 20 23:24 2021logicday.tex.html
-rw-r--r--   1 edrx edrx        6422 Jul 11  2021 2021other-bijections.tex
-rw-r--r--   1 edrx edrx       10239 Mar 20 23:24 2021other-bijections.tex.html
-rw-r--r--   1 edrx edrx       24654 Mar 11 03:34 2021pict2e.lua
-rw-r--r--   1 edrx edrx       35501 Mar 20 23:24 2021pict2e.lua.html
-rw-r--r--   1 edrx edrx        5032 Jan 19  2022 2021pict2e.tex
-rw-r--r--   1 edrx edrx        8384 Mar 20 23:24 2021pict2e.tex.html
-rw-r--r--   2 edrx edrx      344864 Aug  8  2021 2021planar-HAs-2.pdf
-rw-r--r--   1 edrx edrx       98872 Mar 10  2022 2021planar-HAs-2.tex
-rw-r--r--   1 edrx edrx      120194 Mar 20 23:24 2021planar-HAs-2.tex.html
-rw-r--r--   2 edrx edrx      144500 Aug  8  2021 2021planar-HAs-2.tgz
-rw-r--r--   1 edrx edrx        3550 Mar  2  2021 2021repl-pict.lua
-rw-r--r--   1 edrx edrx        6609 Mar 20 23:24 2021repl-pict.lua.html
-rw-r--r--   1 edrx edrx        2613 Mar  2  2021 2021repl-pict.tex
-rw-r--r--   1 edrx edrx        5472 Mar 20 23:24 2021repl-pict.tex.html
-rw-r--r--   2 edrx edrx      865798 Nov  8  2021 2021resposta-daniela.pdf
-rw-r--r--   1 edrx edrx       10197 Nov 10  2021 2021resposta-daniela.tex
-rw-r--r--   1 edrx edrx       13553 Mar 20 23:24 2021resposta-daniela.tex.html
-rw-r--r--   1 edrx edrx      136653 Nov 26  2021 2021rrj.tex
-rw-r--r--   1 edrx edrx      145029 Mar 20 23:24 2021rrj.tex.html
-rw-r--r--   2 edrx edrx      367545 Oct 15  2021 2021sgl.pdf
-rw-r--r--   1 edrx edrx       26902 Oct 22  2021 2021sgl.tex
-rw-r--r--   1 edrx edrx       35936 Mar 20 23:24 2021sgl.tex.html
-rw-r--r--   2 edrx edrx      288478 Oct 15  2021 2021sgl.tgz
-rw-r--r--   2 edrx edrx      263055 Oct  9  2021 2021sgl.zip
-rw-r--r--   1 edrx edrx        3114 Jan 29  2021 2021ski.tex
-rw-r--r--   1 edrx edrx        6445 Mar 20 23:24 2021ski.tex.html
-rw-r--r--   2 edrx edrx      213523 Jun 11  2021 2021sobre-aulas-por-telegram.pdf
-rw-r--r--   1 edrx edrx       35975 Mar 16 19:09 2021sobre-aulas-por-telegram.tex
-rw-r--r--   1 edrx edrx       49223 Mar 20 23:24 2021sobre-aulas-por-telegram.tex.html
-rw-r--r--   1 edrx edrx        2777 Oct  1  2021 2021standalone.tex
-rw-r--r--   1 edrx edrx        4611 Mar 20 23:24 2021standalone.tex.html
-rw-r--r--   1 edrx edrx        5267 Dec 25  2021 2021systemF.tex
-rw-r--r--   1 edrx edrx        9342 Mar 20 23:24 2021systemF.tex.html
-rw-r--r--   1 edrx edrx        4502 Jul 16  2022 2021verbatim.lua
-rw-r--r--   1 edrx edrx        7185 Mar 20 23:24 2021verbatim.lua.html
-rw-r--r--   1 edrx edrx        2791 Oct 24  2021 2021verbatim.tex
-rw-r--r--   1 edrx edrx        5532 Mar 20 23:24 2021verbatim.tex.html
-rw-r--r--   1 edrx edrx       10826 Jan  9  2022 2021yoneda.tex
-rw-r--r--   1 edrx edrx       14978 Mar 20 23:24 2021yoneda.tex.html
-rw-r--r--   1 edrx edrx        3758 Jul 24  2021 2021zhang.tex
-rw-r--r--   1 edrx edrx        8212 Mar 20 23:24 2021zhang.tex.html
-rw-r--r--   2 edrx edrx       69292 Jun 24  2022 2022-1-C2-MT1.pdf
-rw-r--r--   1 edrx edrx        9516 Jun 29  2022 2022-1-C2-MT1.tex
-rw-r--r--   1 edrx edrx       16745 Mar 20 23:24 2022-1-C2-MT1.tex.html
-rw-r--r--   2 edrx edrx      104680 Jul 18  2022 2022-1-C2-MT2.pdf
-rw-r--r--   1 edrx edrx        8881 Jul 18  2022 2022-1-C2-MT2.tex
-rw-r--r--   1 edrx edrx       16377 Mar 20 23:24 2022-1-C2-MT2.tex.html
-rw-r--r--   2 edrx edrx      146241 Jul 19  2022 2022-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       26143 Dec 16 16:33 2022-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       37935 Mar 20 23:24 2022-1-C2-P1.tex.html
-rw-r--r--   1 edrx edrx       12533 Jul 30  2022 2022-1-C2-P2.lua
-rw-r--r--   1 edrx edrx       18938 Mar 20 23:24 2022-1-C2-P2.lua.html
-rw-r--r--   2 edrx edrx      171902 Jul 27  2022 2022-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx       20785 Nov 17 09:57 2022-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       32746 Mar 20 23:24 2022-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      215267 Jun 29  2022 2022-1-C2-TFC1.pdf
-rw-r--r--   1 edrx edrx       39280 Aug 25  2022 2022-1-C2-TFC1.tex
-rw-r--r--   1 edrx edrx       55185 Mar 20 23:24 2022-1-C2-TFC1.tex.html
-rw-r--r--   2 edrx edrx      126124 Nov 17 10:00 2022-1-C2-VR.pdf
-rw-r--r--   1 edrx edrx       16878 Jul 26  2022 2022-1-C2-VR.tex
-rw-r--r--   1 edrx edrx       25603 Mar 20 23:24 2022-1-C2-VR.tex.html
-rw-r--r--   2 edrx edrx      185457 Aug  2  2022 2022-1-C2-VSA.pdf
-rw-r--r--   1 edrx edrx       16855 Aug  2  2022 2022-1-C2-VSA.tex
-rw-r--r--   1 edrx edrx       25415 Mar 20 23:24 2022-1-C2-VSA.tex.html
-rw-r--r--   1 edrx edrx        1591 Aug 31  2022 2022-1-C2-VSB-rodada.tex
-rw-r--r--   1 edrx edrx        2782 Mar 20 23:24 2022-1-C2-VSB-rodada.tex.html
-rw-r--r--   2 edrx edrx      122513 Sep  2  2022 2022-1-C2-VSB.pdf
-rw-r--r--   1 edrx edrx       15058 Nov 28 21:06 2022-1-C2-VSB.tex
-rw-r--r--   1 edrx edrx       24298 Mar 20 23:24 2022-1-C2-VSB.tex.html
-rw-r--r--   2 edrx edrx      265329 Jul  8  2022 2022-1-C2-algumas-t-ints.pdf
-rw-r--r--   1 edrx edrx       64925 Dec 19 10:41 2022-1-C2-algumas-t-ints.tex
-rw-r--r--   1 edrx edrx       88918 Mar 20 23:24 2022-1-C2-algumas-t-ints.tex.html
-rw-r--r--   2 edrx edrx      121398 Jul 13  2022 2022-1-C2-der-fun-inv.pdf
-rw-r--r--   1 edrx edrx       17282 Jul 13  2022 2022-1-C2-der-fun-inv.tex
-rw-r--r--   1 edrx edrx       26041 Mar 20 23:24 2022-1-C2-der-fun-inv.tex.html
-rw-r--r--   2 edrx edrx      118645 Jul 13  2022 2022-1-C2-dicas-pra-P1.pdf
-rw-r--r--   1 edrx edrx       14835 Jul 13  2022 2022-1-C2-dicas-pra-P1.tex
-rw-r--r--   1 edrx edrx       22980 Mar 20 23:24 2022-1-C2-dicas-pra-P1.tex.html
-rw-r--r--   2 edrx edrx       25647 Jul 19  2022 2022-1-C2-dicas-pra-P2.pdf
-rw-r--r--   1 edrx edrx       10519 Jul 20  2022 2022-1-C2-dicas-pra-P2.tex
-rw-r--r--   1 edrx edrx       20646 Mar 20 23:24 2022-1-C2-dicas-pra-P2.tex.html
-rw-r--r--   2 edrx edrx      133236 Jul 26  2022 2022-1-C2-dicas-pra-VSA.pdf
-rw-r--r--   1 edrx edrx       14920 Nov 16 09:31 2022-1-C2-dicas-pra-VSA.tex
-rw-r--r--   1 edrx edrx       23203 Mar 20 23:24 2022-1-C2-dicas-pra-VSA.tex.html
-rw-r--r--   1 edrx edrx        8735 Jun 14  2022 2022-1-C2-fini.tex
-rw-r--r--   1 edrx edrx       15401 Mar 20 23:24 2022-1-C2-fini.tex.html
-rw-r--r--   1 edrx edrx        8684 Jul 14  2022 2022-1-C2-formulas-defs.tex
-rw-r--r--   1 edrx edrx       13715 Mar 20 23:24 2022-1-C2-formulas-defs.tex.html
-rw-r--r--   1 edrx edrx        6228 Jul 15  2022 2022-1-C2-formulas-test.tex
-rw-r--r--   1 edrx edrx       12115 Mar 20 23:24 2022-1-C2-formulas-test.tex.html
-rw-r--r--   2 edrx edrx      156928 Jun  4  2022 2022-1-C2-infs-e-sups.pdf
-rw-r--r--   1 edrx edrx       32268 Oct 25 18:51 2022-1-C2-infs-e-sups.tex
-rw-r--r--   1 edrx edrx       46086 Mar 20 23:24 2022-1-C2-infs-e-sups.tex.html
-rw-r--r--   1 edrx edrx        3858 Apr 27  2022 2022-1-C2-intro.lua
-rw-r--r--   1 edrx edrx        5655 Mar 20 23:24 2022-1-C2-intro.lua.html
-rw-r--r--   2 edrx edrx      165617 Apr 27  2022 2022-1-C2-intro.pdf
-rw-r--r--   1 edrx edrx       24934 Jul 10  2022 2022-1-C2-intro.tex
-rw-r--r--   1 edrx edrx       36426 Mar 20 23:24 2022-1-C2-intro.tex.html
-rw-r--r--   2 edrx edrx       94147 Jul 13  2022 2022-1-C2-primitivas.pdf
-rw-r--r--   1 edrx edrx       13529 Jul 13  2022 2022-1-C2-primitivas.tex
-rw-r--r--   1 edrx edrx       23064 Mar 20 23:24 2022-1-C2-primitivas.tex.html
-rw-r--r--   2 edrx edrx      141424 May 13  2022 2022-1-C2-somas-3.pdf
-rw-r--r--   1 edrx edrx       23694 May 19  2022 2022-1-C2-somas-3.tex
-rw-r--r--   1 edrx edrx       36416 Mar 20 23:24 2022-1-C2-somas-3.tex.html
-rw-r--r--   2 edrx edrx     2525375 Feb 20 20:15 2022-1-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        6745 Feb 20 20:14 2022-1-C2-tudo.tex
-rw-r--r--   1 edrx edrx       12039 Mar 20 23:24 2022-1-C2-tudo.tex.html
-rw-r--r--   2 edrx edrx       88668 Jun 26  2022 2022-1-C3-MT1.pdf
-rw-r--r--   1 edrx edrx        9565 Jun 29  2022 2022-1-C3-MT1.tex
-rw-r--r--   1 edrx edrx       16741 Mar 20 23:24 2022-1-C3-MT1.tex.html
-rw-r--r--   2 edrx edrx       46862 Jul 11  2022 2022-1-C3-MT2.pdf
-rw-r--r--   1 edrx edrx        7419 Jul 11  2022 2022-1-C3-MT2.tex
-rw-r--r--   1 edrx edrx       13086 Mar 20 23:24 2022-1-C3-MT2.tex.html
-rw-r--r--   2 edrx edrx      112749 Nov 14 09:20 2022-1-C3-P1.pdf
-rw-r--r--   1 edrx edrx       13369 Nov 11 09:27 2022-1-C3-P1.tex
-rw-r--r--   1 edrx edrx       20449 Mar 20 23:24 2022-1-C3-P1.tex.html
-rw-r--r--   2 edrx edrx       81895 Jul 26  2022 2022-1-C3-P2.pdf
-rw-r--r--   1 edrx edrx       14493 Aug 29  2022 2022-1-C3-P2.tex
-rw-r--r--   1 edrx edrx       23570 Mar 20 23:24 2022-1-C3-P2.tex.html
-rw-r--r--   2 edrx edrx       79947 Jul 26  2022 2022-1-C3-VR.pdf
-rw-r--r--   1 edrx edrx       10043 Aug  4  2022 2022-1-C3-VR.tex
-rw-r--r--   1 edrx edrx       17038 Mar 20 23:24 2022-1-C3-VR.tex.html
-rw-r--r--   2 edrx edrx       73915 Aug 31  2022 2022-1-C3-VS.pdf
-rw-r--r--   1 edrx edrx        9646 Aug 29  2022 2022-1-C3-VS.tex
-rw-r--r--   1 edrx edrx       16236 Mar 20 23:24 2022-1-C3-VS.tex.html
-rw-r--r--   1 edrx edrx        1592 Aug 31  2022 2022-1-C3-VSB-rodada.tex
-rw-r--r--   1 edrx edrx        2783 Mar 20 23:24 2022-1-C3-VSB-rodada.tex.html
-rw-r--r--   2 edrx edrx      105661 Sep  2  2022 2022-1-C3-VSB.pdf
-rw-r--r--   1 edrx edrx       15365 Sep  2  2022 2022-1-C3-VSB.tex
-rw-r--r--   1 edrx edrx       23331 Mar 20 23:24 2022-1-C3-VSB.tex.html
-rw-r--r--   2 edrx edrx      117134 Nov  4 14:00 2022-1-C3-funcoes-homogeneas.pdf
-rw-r--r--   1 edrx edrx       14405 Jul 26  2022 2022-1-C3-funcoes-homogeneas.tex
-rw-r--r--   1 edrx edrx       22978 Mar 20 23:24 2022-1-C3-funcoes-homogeneas.tex.html
-rw-r--r--   2 edrx edrx      479767 Jun 29  2022 2022-1-C3-notacao-de-fisicos.pdf
-rw-r--r--   1 edrx edrx       51828 Sep 28 00:08 2022-1-C3-notacao-de-fisicos.tex
-rw-r--r--   1 edrx edrx       76768 Mar 20 23:24 2022-1-C3-notacao-de-fisicos.tex.html
-rw-r--r--   2 edrx edrx       23690 Jul  3  2022 2022-1-C3-orbita.pdf
-rw-r--r--   1 edrx edrx        8985 Aug 26  2022 2022-1-C3-orbita.tex
-rw-r--r--   1 edrx edrx       16091 Mar 20 23:24 2022-1-C3-orbita.tex.html
-rw-r--r--   2 edrx edrx     1255864 Feb  8 17:26 2022-1-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        5025 Feb  8 17:24 2022-1-C3-tudo.tex
-rw-r--r--   1 edrx edrx        9176 Mar 20 23:24 2022-1-C3-tudo.tex.html
-rw-r--r--   1 edrx edrx        6710 Jul 12  2022 2022-1-CN-template.tex
-rw-r--r--   1 edrx edrx       12668 Mar 20 23:24 2022-1-CN-template.tex.html
-rw-r--r--   2 edrx edrx      904885 Jul  8  2022 2022-1-apresentacao-C2.pdf
-rw-r--r--   1 edrx edrx       25015 Aug  8  2022 2022-1-apresentacao-C2.tex
-rw-r--r--   1 edrx edrx       34201 Mar 20 23:24 2022-1-apresentacao-C2.tex.html
-rw-r--r--   1 edrx edrx       30248 Mar  8 21:00 2022-2-C2-C3-ajuda.tex
-rw-r--r--   1 edrx edrx       52326 Mar 20 23:24 2022-2-C2-C3-ajuda.tex.html
-rw-r--r--   2 edrx edrx      126267 Nov 30 15:35 2022-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       15524 Dec 19 10:37 2022-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       26911 Mar 20 23:24 2022-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      122690 Dec  9 19:51 2022-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       18512 Dec 14 08:30 2022-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       30289 Mar 20 23:24 2022-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      128373 Oct 27 10:26 2022-2-C2-TFC1-e-TFC2.pdf
-rw-r--r--   1 edrx edrx       16176 Dec  4 01:32 2022-2-C2-TFC1-e-TFC2.tex
-rw-r--r--   1 edrx edrx       25294 Mar 20 23:24 2022-2-C2-TFC1-e-TFC2.tex.html
-rw-r--r--   2 edrx edrx       85461 Dec  9 19:52 2022-2-C2-VR.pdf
-rw-r--r--   1 edrx edrx       10220 Dec  8 11:20 2022-2-C2-VR.tex
-rw-r--r--   1 edrx edrx       17537 Mar 20 23:24 2022-2-C2-VR.tex.html
-rw-r--r--   1 edrx edrx       14405 Dec 20 00:16 2022-2-C2-VS.tex
-rw-r--r--   1 edrx edrx       23908 Mar 20 23:24 2022-2-C2-VS.tex.html
-rw-r--r--   2 edrx edrx       22175 Nov  9 08:38 2022-2-C2-areas-e-volumes.pdf
-rw-r--r--   1 edrx edrx        9587 Nov  9 08:37 2022-2-C2-areas-e-volumes.tex
-rw-r--r--   1 edrx edrx       19692 Mar 20 23:24 2022-2-C2-areas-e-volumes.tex.html
-rw-r--r--   2 edrx edrx      133391 Sep  1  2022 2022-2-C2-buraco.pdf
-rw-r--r--   1 edrx edrx       19439 Mar 10 05:23 2022-2-C2-buraco.tex
-rw-r--r--   1 edrx edrx       33335 Mar 20 23:24 2022-2-C2-buraco.tex.html
-rw-r--r--   2 edrx edrx       23411 Nov 29 15:32 2022-2-C2-dicas-pra-P1.pdf
-rw-r--r--   1 edrx edrx        9244 Nov 29 14:43 2022-2-C2-dicas-pra-P1.tex
-rw-r--r--   1 edrx edrx       16900 Mar 20 23:24 2022-2-C2-dicas-pra-P1.tex.html
-rw-r--r--   2 edrx edrx       26784 Dec  4 01:38 2022-2-C2-dicas-pra-P2.pdf
-rw-r--r--   1 edrx edrx        8926 Dec  6 18:34 2022-2-C2-dicas-pra-P2.tex
-rw-r--r--   1 edrx edrx       16682 Mar 20 23:24 2022-2-C2-dicas-pra-P2.tex.html
-rw-r--r--   2 edrx edrx       65455 Dec 12 04:23 2022-2-C2-dicas-pra-VS.pdf
-rw-r--r--   1 edrx edrx       10380 Dec 12 04:15 2022-2-C2-dicas-pra-VS.tex
-rw-r--r--   1 edrx edrx       18094 Mar 20 23:24 2022-2-C2-dicas-pra-VS.tex.html
-rw-r--r--   2 edrx edrx       21456 Dec  1 11:28 2022-2-C2-edos-exatas.pdf
-rw-r--r--   1 edrx edrx        8335 Dec  1 11:27 2022-2-C2-edos-exatas.tex
-rw-r--r--   1 edrx edrx       15437 Mar 20 23:24 2022-2-C2-edos-exatas.tex.html
-rw-r--r--   2 edrx edrx      101079 Nov 23 10:58 2022-2-C2-edos-lineares.pdf
-rw-r--r--   1 edrx edrx       16661 Nov 23 14:23 2022-2-C2-edos-lineares.tex
-rw-r--r--   1 edrx edrx       29257 Mar 20 23:24 2022-2-C2-edos-lineares.tex.html
-rw-r--r--   2 edrx edrx       24918 Dec  4 01:18 2022-2-C2-edovs.pdf
-rw-r--r--   1 edrx edrx        9666 Dec  4 01:16 2022-2-C2-edovs.tex
-rw-r--r--   1 edrx edrx       18817 Mar 20 23:24 2022-2-C2-edovs.tex.html
-rw-r--r--   2 edrx edrx      160253 Sep 21 15:53 2022-2-C2-fracoes-parciais.pdf
-rw-r--r--   1 edrx edrx       21286 Oct  4 00:10 2022-2-C2-fracoes-parciais.tex
-rw-r--r--   1 edrx edrx       36552 Mar 20 23:24 2022-2-C2-fracoes-parciais.tex.html
-rw-r--r--   2 edrx edrx      242856 Nov 21 15:07 2022-2-C2-int-por-partes.pdf
-rw-r--r--   1 edrx edrx       16240 Feb  9 21:11 2022-2-C2-int-por-partes.tex
-rw-r--r--   1 edrx edrx       27753 Mar 20 23:24 2022-2-C2-int-por-partes.tex.html
-rw-r--r--   1 edrx edrx       10434 Aug 24  2022 2022-2-C2-intro.tex
-rw-r--r--   1 edrx edrx       17978 Mar 20 23:24 2022-2-C2-intro.tex.html
-rw-r--r--   2 edrx edrx       82629 Oct  4 00:46 2022-2-C2-mathologermovel.pdf
-rw-r--r--   1 edrx edrx       13105 Oct  4 00:45 2022-2-C2-mathologermovel.tex
-rw-r--r--   1 edrx edrx       21046 Mar 20 23:24 2022-2-C2-mathologermovel.tex.html
-rw-r--r--   2 edrx edrx      117859 Sep 22 02:23 2022-2-C2-mudanca-de-variaveis.pdf
-rw-r--r--   1 edrx edrx       20149 Dec 13 23:24 2022-2-C2-mudanca-de-variaveis.tex
-rw-r--r--   1 edrx edrx       35942 Mar 20 23:24 2022-2-C2-mudanca-de-variaveis.tex.html
-rw-r--r--   2 edrx edrx       72552 Sep  5  2022 2022-2-C2-plano-de-curso.pdf
-rw-r--r--   1 edrx edrx        8653 Dec  6 20:28 2022-2-C2-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       12412 Mar 20 23:24 2022-2-C2-plano-de-curso.tex.html
-rw-r--r--   2 edrx edrx      215755 Oct 13 14:07 2022-2-C2-somas-de-riemann.pdf
-rw-r--r--   1 edrx edrx       52251 Nov 18 12:26 2022-2-C2-somas-de-riemann.tex
-rw-r--r--   1 edrx edrx       76317 Mar 20 23:24 2022-2-C2-somas-de-riemann.tex.html
-rw-r--r--   2 edrx edrx      108154 Sep 29 16:19 2022-2-C2-subst-trig.pdf
-rw-r--r--   1 edrx edrx       14419 Nov 29 14:40 2022-2-C2-subst-trig.tex
-rw-r--r--   1 edrx edrx       24275 Mar 20 23:24 2022-2-C2-subst-trig.tex.html
-rw-r--r--   2 edrx edrx     1982388 Dec 26 15:04 2022-2-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        7232 Feb  9 21:42 2022-2-C2-tudo.tex
-rw-r--r--   1 edrx edrx       12394 Mar 20 23:24 2022-2-C2-tudo.tex.html
-rw-r--r--   2 edrx edrx       96803 Nov 14 09:21 2022-2-C3-P1.pdf
-rw-r--r--   1 edrx edrx       21407 Nov 26 18:24 2022-2-C3-P1.tex
-rw-r--r--   1 edrx edrx       29868 Mar 20 23:24 2022-2-C3-P1.tex.html
-rw-r--r--   2 edrx edrx      108410 Dec 13 08:51 2022-2-C3-P2.pdf
-rw-r--r--   1 edrx edrx       17252 Dec 12 17:32 2022-2-C3-P2.tex
-rw-r--r--   1 edrx edrx       28608 Mar 20 23:24 2022-2-C3-P2.tex.html
-rw-r--r--   2 edrx edrx      105742 Jan 23 20:43 2022-2-C3-VR.pdf
-rw-r--r--   1 edrx edrx       12308 Jan 23 20:41 2022-2-C3-VR.tex
-rw-r--r--   1 edrx edrx       19743 Mar 20 23:24 2022-2-C3-VR.tex.html
-rw-r--r--   1 edrx edrx        6522 Dec  1 18:20 2022-2-C3-VS.tex
-rw-r--r--   1 edrx edrx       12556 Mar 20 23:24 2022-2-C3-VS.tex.html
-rw-r--r--   2 edrx edrx      192052 Oct 26 12:02 2022-2-C3-derivadas-parciais.pdf
-rw-r--r--   1 edrx edrx       25221 Dec  6 16:44 2022-2-C3-derivadas-parciais.tex
-rw-r--r--   1 edrx edrx       42950 Mar 20 23:24 2022-2-C3-derivadas-parciais.tex.html
-rw-r--r--   2 edrx edrx       25365 Nov  8 13:35 2022-2-C3-dicas-pra-P1.pdf
-rw-r--r--   1 edrx edrx        8674 Nov  8 13:34 2022-2-C3-dicas-pra-P1.tex
-rw-r--r--   1 edrx edrx       15925 Mar 20 23:24 2022-2-C3-dicas-pra-P1.tex.html
-rw-r--r--   2 edrx edrx       51990 Dec  4 00:44 2022-2-C3-dicas-pra-P2.pdf
-rw-r--r--   1 edrx edrx       12002 Dec  4 00:43 2022-2-C3-dicas-pra-P2.tex
-rw-r--r--   1 edrx edrx       19680 Mar 20 23:24 2022-2-C3-dicas-pra-P2.tex.html
-rw-r--r--   1 edrx edrx        7025 Nov 15 22:44 2022-2-C3-funcoes-difs.tex
-rw-r--r--   1 edrx edrx       13367 Mar 20 23:24 2022-2-C3-funcoes-difs.tex.html
-rw-r--r--   2 edrx edrx       21554 Nov  9 08:41 2022-2-C3-funcoes-homogeneas.pdf
-rw-r--r--   1 edrx edrx        8194 Nov  9 08:39 2022-2-C3-funcoes-homogeneas.tex
-rw-r--r--   1 edrx edrx       15101 Mar 20 23:24 2022-2-C3-funcoes-homogeneas.tex.html
-rw-r--r--   2 edrx edrx       97910 Aug 28  2022 2022-2-C3-intro.pdf
-rw-r--r--   1 edrx edrx       16427 Sep  2  2022 2022-2-C3-intro.tex
-rw-r--r--   1 edrx edrx       27019 Mar 20 23:24 2022-2-C3-intro.tex.html
-rw-r--r--   2 edrx edrx       91218 Nov 30 10:14 2022-2-C3-maximos-e-minimos.pdf
-rw-r--r--   1 edrx edrx       13986 Dec  4 00:02 2022-2-C3-maximos-e-minimos.tex
-rw-r--r--   1 edrx edrx       24767 Mar 20 23:24 2022-2-C3-maximos-e-minimos.tex.html
-rw-r--r--   2 edrx edrx       74035 Sep  5  2022 2022-2-C3-plano-de-curso.pdf
-rw-r--r--   1 edrx edrx        8436 Nov 22 22:07 2022-2-C3-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       12753 Mar 20 23:24 2022-2-C3-plano-de-curso.tex.html
-rw-r--r--   2 edrx edrx      131887 Oct  7 08:24 2022-2-C3-plano-tangente.pdf
-rw-r--r--   1 edrx edrx       22933 Oct 26 10:39 2022-2-C3-plano-tangente.tex
-rw-r--r--   1 edrx edrx       39065 Mar 20 23:24 2022-2-C3-plano-tangente.tex.html
-rw-r--r--   2 edrx edrx       22810 Nov  9 10:06 2022-2-C3-regra-da-cadeia.pdf
-rw-r--r--   1 edrx edrx        7979 Nov  9 10:06 2022-2-C3-regra-da-cadeia.tex
-rw-r--r--   1 edrx edrx       14967 Mar 20 23:24 2022-2-C3-regra-da-cadeia.tex.html
-rw-r--r--   2 edrx edrx       25756 Oct  7 04:35 2022-2-C3-superficies.pdf
-rw-r--r--   1 edrx edrx       10560 Oct  6 19:07 2022-2-C3-superficies.tex
-rw-r--r--   1 edrx edrx       20676 Mar 20 23:24 2022-2-C3-superficies.tex.html
-rw-r--r--   2 edrx edrx      196603 Sep 23 12:19 2022-2-C3-taylor.pdf
-rw-r--r--   1 edrx edrx       30848 Mar 10 05:09 2022-2-C3-taylor.tex
-rw-r--r--   1 edrx edrx       46811 Mar 20 23:24 2022-2-C3-taylor.tex.html
-rw-r--r--   2 edrx edrx      136756 Sep  3  2022 2022-2-C3-tipos.pdf
-rw-r--r--   1 edrx edrx       21496 Oct  4 23:46 2022-2-C3-tipos.tex
-rw-r--r--   1 edrx edrx       31579 Mar 20 23:24 2022-2-C3-tipos.tex.html
-rw-r--r--   2 edrx edrx      179678 Nov 23 13:48 2022-2-C3-topologia.pdf
-rw-r--r--   1 edrx edrx       23875 Feb 14 00:05 2022-2-C3-topologia.tex
-rw-r--r--   1 edrx edrx       36767 Mar 20 23:24 2022-2-C3-topologia.tex.html
-rw-r--r--   2 edrx edrx     1558887 Jan 23 20:43 2022-2-C3-tudo.pdf
-rw-r--r--   1 edrx edrx        6400 Feb  9 18:04 2022-2-C3-tudo.tex
-rw-r--r--   1 edrx edrx       10885 Mar 20 23:24 2022-2-C3-tudo.tex.html
-rw-r--r--   1 edrx edrx        6586 Feb  2 22:47 2022-2-CN-template.tex
-rw-r--r--   1 edrx edrx       12588 Mar 20 23:24 2022-2-CN-template.tex.html
-rw-r--r--   1 edrx edrx        7139 Jan 30 06:42 2022-C2-projeto-de-monitoria.tex
-rw-r--r--   1 edrx edrx       10230 Mar 20 23:24 2022-C2-projeto-de-monitoria.tex.html
-rw-r--r--   1 edrx edrx        4275 Dec 11 18:55 2022-arthur.tex
-rw-r--r--   1 edrx edrx        9411 Mar 20 23:24 2022-arthur.tex.html
-rw-r--r--   1 edrx edrx        6915 Mar 15  2022 2022-plano-de-atividades-C2.tex
-rw-r--r--   1 edrx edrx        9457 Mar 20 23:24 2022-plano-de-atividades-C2.tex.html
-rw-r--r--   1 edrx edrx        6913 Mar 15  2022 2022-plano-de-atividades-C3.tex
-rw-r--r--   1 edrx edrx        9455 Mar 20 23:24 2022-plano-de-atividades-C3.tex.html
-rw-r--r--   2 edrx edrx       72518 Sep  2  2022 2022-plano-de-curso-C2.pdf
-rw-r--r--   2 edrx edrx       74009 Sep  2  2022 2022-plano-de-curso-C3.pdf
-rw-r--r--   1 edrx edrx        7275 Mar 24  2022 2022-rad2021.tex
-rw-r--r--   1 edrx edrx       12612 Mar 20 23:24 2022-rad2021.tex.html
-rw-r--r--   1 edrx edrx       18244 Feb 11 14:23 2022-reclamacoes.tex
-rw-r--r--   1 edrx edrx       23189 Mar 20 23:24 2022-reclamacoes.tex.html
-rw-r--r--   1 edrx edrx        2811 Aug 28  2022 2022-termo-de-compromisso.tex
-rw-r--r--   1 edrx edrx        5051 Mar 20 23:24 2022-termo-de-compromisso.tex.html
-rw-r--r--   1 edrx edrx        3914 Jan 14  2022 2022AgdaYoneda1.lagda.tex
-rw-r--r--   1 edrx edrx        6877 Mar 20 23:24 2022AgdaYoneda1.lagda.tex.html
-rw-r--r--   1 edrx edrx       15642 Feb  1  2022 2022Cats3.lagda.tex
-rw-r--r--   1 edrx edrx       18770 Mar 20 23:24 2022Cats3.lagda.tex.html
-rw-r--r--   2 edrx edrx      128271 Jan 31  2022 2022Cats3.pdf
-rw-r--r--   1 edrx edrx        3214 Jan 31  2022 2022Cats4.lagda.tex
-rw-r--r--   1 edrx edrx        5771 Mar 20 23:24 2022Cats4.lagda.tex.html
-rw-r--r--   2 edrx edrx        7288 Jan 31  2022 2022Cats4.pdf
-rw-r--r--   1 edrx edrx        3442 Jan 31  2022 2022Cats5.lagda.tex
-rw-r--r--   1 edrx edrx        5999 Mar 20 23:24 2022Cats5.lagda.tex.html
-rw-r--r--   1 edrx edrx        7940 Feb  2  2022 2022Cats6.lagda.tex
-rw-r--r--   1 edrx edrx       10551 Mar 20 23:24 2022Cats6.lagda.tex.html
-rw-r--r--   2 edrx edrx       49382 Feb  2  2022 2022Cats6.pdf
-rw-r--r--   2 edrx edrx       53078 Jan 31  2022 2022agda-logic-1.pdf
-rw-r--r--   1 edrx edrx        6332 Jan  9  2022 2022agda-logic-1.tex
-rw-r--r--   1 edrx edrx       10603 Mar 20 23:24 2022agda-logic-1.tex.html
-rw-r--r--   1 edrx edrx        5758 Jul  8  2022 2022chat-walter.tex
-rw-r--r--   1 edrx edrx        8950 Mar 20 23:24 2022chat-walter.tex.html
-rw-r--r--   1 edrx edrx        5791 Jun 19  2022 2022cwm.tex
-rw-r--r--   1 edrx edrx        9276 Mar 20 23:24 2022cwm.tex.html
-rw-r--r--   1 edrx edrx        6329 Jan 30  2022 2022dep-vars.tex
-rw-r--r--   1 edrx edrx        9856 Mar 20 23:24 2022dep-vars.tex.html
-rw-r--r--   2 edrx edrx      149954 Sep 14  2022 2022ebl-abs.pdf
-rw-r--r--   1 edrx edrx        5022 Sep 30 02:02 2022ebl-abs.tex
-rw-r--r--   1 edrx edrx        7031 Mar 20 23:24 2022ebl-abs.tex.html
-rw-r--r--   1 edrx edrx        2988 Nov  7 23:23 2022ebl-relatorio.tex
-rw-r--r--   1 edrx edrx        5577 Mar 20 23:24 2022ebl-relatorio.tex.html
-rw-r--r--   2 edrx edrx      234625 Sep 14  2022 2022ebl.pdf
-rw-r--r--   1 edrx edrx       31523 Sep 30 02:27 2022ebl.tex
-rw-r--r--   1 edrx edrx       47284 Mar 20 23:24 2022ebl.tex.html
-rw-r--r--   2 edrx edrx      217792 Sep 14  2022 2022ebl.tgz
-rw-r--r--   2 edrx edrx      230856 Sep 14  2022 2022ebl.zip
-rw-r--r--   1 edrx edrx        3221 Oct  3 22:55 2022emacsconf-kla.tex
-rw-r--r--   1 edrx edrx        6716 Mar 20 23:24 2022emacsconf-kla.tex.html
-rw-r--r--   1 edrx edrx        3181 Oct  3 22:55 2022emacsconf-py.tex
-rw-r--r--   1 edrx edrx        6672 Mar 20 23:24 2022emacsconf-py.tex.html
-rw-r--r--   1 edrx edrx        8642 Feb 23  2022 2022hissa.tex
-rw-r--r--   1 edrx edrx       10861 Mar 20 23:24 2022hissa.tex.html
-rw-r--r--   2 edrx edrx       27893 Oct 10 18:57 2022lacombe.pdf
-rw-r--r--   1 edrx edrx       14519 Oct 13 16:35 2022lacombe.tex
-rw-r--r--   1 edrx edrx       17554 Mar 20 23:24 2022lacombe.tex.html
-rw-r--r--   1 edrx edrx        1810 Mar  8  2022 2022meteor-test1.pre.bib
-rw-r--r--   1 edrx edrx        3156 Mar 20 23:24 2022meteor-test1.pre.bib.html
-rw-r--r--   1 edrx edrx       16573 Mar  9  2022 2022meteor-test1.tex
-rw-r--r--   1 edrx edrx       21116 Mar 20 23:24 2022meteor-test1.tex.html
-rw-r--r--   1 edrx edrx        4291 Jan  6 14:52 2022missing-changes-1.tex
-rw-r--r--   1 edrx edrx        6742 Mar 20 23:24 2022missing-changes-1.tex.html
-rw-r--r--   1 edrx edrx       12257 Feb 27  2022 2022missing-diags-yoneda.tex
-rw-r--r--   1 edrx edrx       16841 Mar 20 23:24 2022missing-diags-yoneda.tex.html
-rw-r--r--   1 edrx edrx        9555 May  3  2022 2022ochs-meteor1.tex
-rw-r--r--   1 edrx edrx       14975 Mar 20 23:24 2022ochs-meteor1.tex.html
-rw-r--r--   2 edrx edrx       14271 Mar 11  2022 2022on-the-missing-agda.pdf
-rw-r--r--   1 edrx edrx       13686 Mar 12  2022 2022on-the-missing-agda.tex
-rw-r--r--   1 edrx edrx       19473 Mar 20 23:24 2022on-the-missing-agda.tex.html
-rw-r--r--   2 edrx edrx      458754 May 13  2022 2022on-the-missing-b.pdf
-rw-r--r--   1 edrx edrx      211317 May 19  2022 2022on-the-missing-b.tex
-rw-r--r--   1 edrx edrx      252795 Mar 20 23:24 2022on-the-missing-b.tex.html
-rw-r--r--   2 edrx edrx      242544 May 13  2022 2022on-the-missing-b.zip
-rw-r--r--   2 edrx edrx      538828 Mar 10  2022 2022on-the-missing.pdf
-rw-r--r--   1 edrx edrx      218443 Sep 12  2022 2022on-the-missing.tex
-rw-r--r--   1 edrx edrx      261917 Mar 20 23:24 2022on-the-missing.tex.html
-rw-r--r--   2 edrx edrx      178860 Mar 10  2022 2022on-the-missing.tgz
-rw-r--r--   2 edrx edrx      193002 Mar 10  2022 2022on-the-missing.zip
-rw-r--r--   1 edrx edrx        1227 Nov  5 15:54 2022pgf-test.tex
-rw-r--r--   1 edrx edrx        2327 Mar 20 23:24 2022pgf-test.tex.html
-rw-r--r--   2 edrx edrx       47415 Apr 22  2022 2022pict2e-nodes-test6.pdf
-rw-r--r--   1 edrx edrx       46825 Mar 11 03:35 2022pict2e.lua
-rw-r--r--   1 edrx edrx       63824 Mar 20 23:24 2022pict2e.lua.html
-rw-r--r--   2 edrx edrx       47416 Apr 22  2022 2022pict2e.pdf
-rw-r--r--   1 edrx edrx        4341 Jul 17  2022 2022pict2e.tex
-rw-r--r--   1 edrx edrx        9221 Mar 20 23:24 2022pict2e.tex.html
-rw-r--r--   1 edrx edrx        3900 Apr 22  2022 2022repl.tex
-rw-r--r--   1 edrx edrx        8171 Mar 20 23:24 2022repl.tex.html
-rw-r--r--   1 edrx edrx       57425 Oct 18 23:16 2022sula.tex
-rw-r--r--   1 edrx edrx       59922 Mar 20 23:24 2022sula.tex.html
-rw-r--r--   1 edrx edrx         331 Jan 13  2022 2022throw-1.lua
-rw-r--r--   1 edrx edrx        1084 Mar 20 23:24 2022throw-1.lua.html
-rw-r--r--   1 edrx edrx        3531 Oct 30 15:45 2022tikz-repl.tex
-rw-r--r--   1 edrx edrx        6413 Mar 20 23:24 2022tikz-repl.tex.html
-rw-r--r--   1 edrx edrx       11102 Oct 16 23:39 2022tikzwd-1.tex
-rw-r--r--   1 edrx edrx       13656 Mar 20 23:24 2022tikzwd-1.tex.html
-rw-r--r--   1 edrx edrx        6836 Oct 30 12:41 2022tikzwd-2.tex
-rw-r--r--   1 edrx edrx        8851 Mar 20 23:24 2022tikzwd-2.tex.html
-rw-r--r--   1 edrx edrx       12388 Feb  7  2022 2022yoneda-pseudocode.tex
-rw-r--r--   1 edrx edrx       16285 Mar 20 23:24 2022yoneda-pseudocode.tex.html
-rw-r--r--   2 edrx edrx      164458 Mar  6 17:15 2023-1-C2-intro.pdf
-rw-r--r--   1 edrx edrx       52461 Mar  9 22:09 2023-1-C2-intro.tex
-rw-r--r--   1 edrx edrx       67295 Mar 20 23:24 2023-1-C2-intro.tex.html
-rw-r--r--   1 edrx edrx        8441 Mar 11 15:35 2023-1-C2-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       12523 Mar 20 23:24 2023-1-C2-plano-de-curso.tex.html
-rw-r--r--   2 edrx edrx      166776 Feb 20 20:23 2023-1-C2-tudo.pdf
-rw-r--r--   1 edrx edrx        3737 Feb  2 23:22 2023-1-C2-tudo.tex
-rw-r--r--   1 edrx edrx        7802 Mar 20 23:24 2023-1-C2-tudo.tex.html
-rw-r--r--   1 edrx edrx        6621 Feb  2 23:28 2023-1-C3-intro.tex
-rw-r--r--   1 edrx edrx       12666 Mar 20 23:24 2023-1-C3-intro.tex.html
-rw-r--r--   1 edrx edrx        8616 Feb  5 20:00 2023-1-C3-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       12679 Mar 20 23:24 2023-1-C3-plano-de-curso.tex.html
-rw-r--r--   1 edrx edrx        4033 Feb  2 23:43 2023-1-C3-tudo.tex
-rw-r--r--   1 edrx edrx        8467 Mar 20 23:24 2023-1-C3-tudo.tex.html
-rw-r--r--   1 edrx edrx        7265 Mar 11 17:53 2023-1-C4-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       11347 Mar 20 23:24 2023-1-C4-plano-de-curso.tex.html
-rw-r--r--   1 edrx edrx        6587 Feb  2 22:51 2023-1-CN-template.tex
-rw-r--r--   1 edrx edrx       12589 Mar 20 23:24 2023-1-CN-template.tex.html
-rw-r--r--   1 edrx edrx        6605 Mar 11 17:18 2023-1-LA-intro.tex
-rw-r--r--   1 edrx edrx       12650 Mar 20 23:24 2023-1-LA-intro.tex.html
-rw-r--r--   1 edrx edrx        7164 Mar 11 17:43 2023-1-LA-plano-de-curso.tex
-rw-r--r--   1 edrx edrx       11398 Mar 20 23:24 2023-1-LA-plano-de-curso.tex.html
-rw-r--r--   1 edrx edrx        3740 Mar 11 17:18 2023-1-LA-tudo.tex
-rw-r--r--   1 edrx edrx        7805 Mar 20 23:24 2023-1-LA-tudo.tex.html
-rw-r--r--   1 edrx edrx        6589 Feb 25 14:42 2023-1-MM-template.tex
-rw-r--r--   1 edrx edrx       12588 Mar 20 23:24 2023-1-MM-template.tex.html
-rw-r--r--   1 edrx edrx        4301 Mar 11 16:08 2023-1-MM-tudo-template.tex
-rw-r--r--   1 edrx edrx        8376 Mar 20 23:24 2023-1-MM-tudo-template.tex.html
-rw-r--r--   1 edrx edrx        9729 Feb  1 23:22 2023-C3-projeto-de-monitoria.tex
-rw-r--r--   1 edrx edrx       11102 Mar 20 23:24 2023-C3-projeto-de-monitoria.tex.html
-rw-r--r--   1 edrx edrx        5263 Feb 14 04:54 2023-caepro-VR.tex
-rw-r--r--   1 edrx edrx        8051 Mar 20 23:24 2023-caepro-VR.tex.html
-rw-r--r--   1 edrx edrx        6767 Feb 14 00:36 2023-caepro-didatica.tex
-rw-r--r--   1 edrx edrx       11060 Mar 20 23:24 2023-caepro-didatica.tex.html
-rw-r--r--   2 edrx edrx       40730 Mar  2 01:06 2023-caepro-hist.pdf
-rw-r--r--   1 edrx edrx        6127 Mar  1 23:02 2023-caepro-hist.tex
-rw-r--r--   1 edrx edrx        8691 Mar 20 23:24 2023-caepro-hist.tex.html
-rw-r--r--   1 edrx edrx        6921 Feb 15 18:03 2023-caepro-plano.tex
-rw-r--r--   1 edrx edrx       10310 Mar 20 23:24 2023-caepro-plano.tex.html
-rw-r--r--   2 edrx edrx       48438 Feb 28 03:47 2023-caepro-reclamacoes.pdf
-rw-r--r--   1 edrx edrx       15571 Feb 28 01:56 2023-caepro-reclamacoes.tex
-rw-r--r--   1 edrx edrx       19122 Mar 20 23:24 2023-caepro-reclamacoes.tex.html
-rw-r--r--   2 edrx edrx       32789 Feb 12 21:14 2023-caepro.pdf
-rw-r--r--   1 edrx edrx        6135 Feb 16 04:53 2023-caepro.tex
-rw-r--r--   1 edrx edrx        8955 Mar 20 23:24 2023-caepro.tex.html
-rw-r--r--   1 edrx edrx        6347 Mar 16 10:46 2023-rad2022.tex
-rw-r--r--   1 edrx edrx       12328 Mar 20 23:24 2023-rad2022.tex.html
-rw-r--r--   2 edrx edrx      273868 Oct 14  2017 5.pdf
-rw-r--r--   1 edrx edrx        9504 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx       16489 Mar 20 23:24 Makefile.html
-rw-r--r--   1 edrx edrx       30479 Aug 29  2022 Pict2e1-1.lua
-rw-r--r--   1 edrx edrx       47443 Mar 20 23:24 Pict2e1-1.lua.html
-rw-r--r--   1 edrx edrx       36458 Aug 29  2022 Pict2e1.lua
-rw-r--r--   1 edrx edrx       54775 Mar 20 23:24 Pict2e1.lua.html
-rw-r--r--   1 edrx edrx        1350 Feb 21  2020 README
-rw-r--r--   1 edrx edrx        2806 Mar 20 23:24 README.html
-rw-r--r--   1 edrx edrx       32878 Feb 21  2020 activist.bib
-rw-r--r--   1 edrx edrx       68767 Mar 20 23:24 activist.bib.html
-rw-r--r--   1 edrx edrx        7769 Feb 21  2020 ata.cls
-rw-r--r--   1 edrx edrx        8309 Mar 20 23:24 ata.cls.html
-rw-r--r--   1 edrx edrx        2311 Feb 21  2020 beamer-template.tex
-rw-r--r--   1 edrx edrx        4451 Mar 20 23:24 beamer-template.tex.html
-rw-r--r--   1 edrx edrx        2536 Feb 21  2020 beamertest.tex
-rw-r--r--   1 edrx edrx        3946 Mar 20 23:24 beamertest.tex.html
-rw-r--r--   1 edrx edrx       32380 Feb 21  2020 bussproofs.sty
-rw-r--r--   1 edrx edrx       38441 May 23  2022 catsem-ab.bib
-rw-r--r--   1 edrx edrx       89935 Mar 20 23:24 catsem-ab.bib.html
-rw-r--r--   1 edrx edrx       23828 Jan 31  2022 catsem-slides.bib
-rw-r--r--   1 edrx edrx       38326 Mar 20 23:24 catsem-slides.bib.html
-rw-r--r--   1 edrx edrx       52708 Mar 10  2022 catsem-u.bib
-rw-r--r--   1 edrx edrx      111275 Mar 20 23:24 catsem-u.bib.html
-rw-r--r--   1 edrx edrx       38619 Jun 26  2020 catsem.bib
-rw-r--r--   1 edrx edrx       78809 Mar 20 23:24 catsem.bib.html
-rw-r--r--   1 edrx edrx         966 Feb 21  2020 catsembibtest.tex
-rw-r--r--   1 edrx edrx        1800 Mar 20 23:24 catsembibtest.tex.html
-rw-r--r--   2 edrx www-data  111528 Jul  4  2011 chapa1-pressao.pdf
-rw-r--r--   1 edrx edrx        8809 Feb 21  2020 chapa1-pressao.tex
-rw-r--r--   1 edrx edrx       11972 Mar 20 23:24 chapa1-pressao.tex.html
-rw-r--r--   1 edrx edrx        6265 Feb 21  2020 chapa1-regric.tex
-rw-r--r--   1 edrx edrx        8542 Mar 20 23:24 chapa1-regric.tex.html
-rw-r--r--   2 edrx www-data  166077 May 31  2011 chaui-hch.pdf
-rw-r--r--   1 edrx edrx       46716 Feb 21  2020 chaui-hch.tex
-rw-r--r--   1 edrx edrx       57833 Mar 20 23:24 chaui-hch.tex.html
-rw-r--r--   1 edrx edrx        5490 Feb 21  2020 dednat.icn
-rw-r--r--   1 edrx edrx        6498 Mar 20 23:24 dednat.icn.html
drwxr-xr-x   3 edrx edrx        4096 Mar 20 23:24 dednat6/
-rwxr-xr-x   1 edrx edrx        3903 Feb 21  2020 dednat6load.lua*
-rw-r--r--   1 edrx edrx        6642 Mar 20 23:24 dednat6load.lua.html
-rw-r--r--   1 edrx edrx       69490 Feb 21  2020 desenhos.014
-rw-r--r--   1 edrx edrx      107705 Mar 20 23:24 desenhos.014.html
-rw-r--r--   1 edrx edrx       18095 Feb 21  2020 diaglib.014
-rw-r--r--   1 edrx edrx       23470 Mar 20 23:24 diaglib.014.html
-rw-r--r--   1 edrx edrx        3272 Feb 21  2020 dynkin.tcl
-rw-r--r--   1 edrx edrx        4048 Mar 20 23:24 dynkin.tcl.html
-rw-r--r--   1 edrx edrx       17740 May 21  2020 edrx.sty
-rw-r--r--   1 edrx edrx       23639 Mar 20 23:24 edrx.sty.html
-rw-r--r--   1 edrx edrx       19507 Mar 16  2020 edrx15.sty
-rw-r--r--   1 edrx edrx       31363 Mar 20 23:24 edrx15.sty.html
-rw-r--r--   1 edrx edrx         427 Feb 21  2020 edrx15chars.tex
-rw-r--r--   1 edrx edrx        1090 Mar 20 23:24 edrx15chars.tex.html
-rw-r--r--   1 edrx edrx        6451 Jul 17  2021 edrx15defs.tex
-rw-r--r--   1 edrx edrx        8274 Mar 20 23:24 edrx15defs.tex.html
-rw-r--r--   1 edrx edrx       19362 Feb 21  2020 edrx17.sty
-rw-r--r--   1 edrx edrx       30976 Mar 20 23:24 edrx17.sty.html
-rw-r--r--   1 edrx edrx       24045 Jul 17  2021 edrx17defs.tex
-rw-r--r--   1 edrx edrx       37125 Mar 20 23:24 edrx17defs.tex.html
-rw-r--r--   1 edrx edrx       11907 Jun 29  2020 edrx20chars.tex
-rw-r--r--   1 edrx edrx       13767 Mar 20 23:24 edrx20chars.tex.html
-rw-r--r--   1 edrx edrx         834 Aug 24  2020 edrx20limp.tex
-rw-r--r--   1 edrx edrx        1906 Mar 20 23:24 edrx20limp.tex.html
-rw-r--r--   1 edrx edrx        9367 Sep 14  2022 edrx21.sty
-rw-r--r--   1 edrx edrx       19093 Mar 20 23:24 edrx21.sty.html
-rw-r--r--   1 edrx edrx       13394 Jan 22  2022 edrx21chars-d.tex
-rw-r--r--   1 edrx edrx       16043 Mar 20 23:24 edrx21chars-d.tex.html
-rw-r--r--   1 edrx edrx        8692 Jan 30  2022 edrx21chars.tex
-rw-r--r--   1 edrx edrx       11379 Mar 20 23:24 edrx21chars.tex.html
-rw-r--r--   1 edrx edrx        6934 Sep 12  2022 edrx21defs.tex
-rw-r--r--   1 edrx edrx       12177 Mar 20 23:24 edrx21defs.tex.html
-rw-r--r--   1 edrx edrx        1299 Feb 21  2020 edrxaccents.tex
-rw-r--r--   1 edrx edrx        2062 Mar 20 23:24 edrxaccents.tex.html
-rw-r--r--   1 edrx edrx        9591 Jun 27  2021 edrxchars.tex
-rw-r--r--   1 edrx edrx       11705 Mar 20 23:24 edrxchars.tex.html
-rw-r--r--   1 edrx edrx        7068 Jul 25  2022 edrxgac2.tex
-rw-r--r--   1 edrx edrx       11725 Mar 20 23:24 edrxgac2.tex.html
-rw-r--r--   1 edrx edrx        2433 Sep 14  2020 edrxheadfoot.tex
-rw-r--r--   1 edrx edrx        3648 Mar 20 23:24 edrxheadfoot.tex.html
-rw-r--r--   1 edrx edrx       23891 Dec 14  2021 edrxpict.lua
-rw-r--r--   1 edrx edrx       41209 Mar 20 23:24 edrxpict.lua.html
-rw-r--r--   1 edrx edrx         731 Feb 21  2020 edrxrepl.tex
-rw-r--r--   1 edrx edrx        1683 Mar 20 23:24 edrxrepl.tex.html
-rw-r--r--   1 edrx edrx       10101 Mar 11 02:35 edrxtikz.lua
-rw-r--r--   1 edrx edrx       16758 Mar 20 23:24 edrxtikz.lua.html
-rw-r--r--   1 edrx edrx       17984 Dec 23  2021 emaxima.sty
-rw-r--r--   1 edrx edrx       18739 Mar 20 23:24 emaxima.sty.html
-rw-r--r--   2 edrx edrx      300859 Jul  1  2016 falta-misandria-a5.pdf
-rw-r--r--   1 edrx edrx        5051 Feb 21  2020 falta-misandria-a5.tex
-rw-r--r--   1 edrx edrx        8596 Mar 20 23:24 falta-misandria-a5.tex.html
-rw-r--r--   2 edrx edrx       44761 Jul  1  2016 falta-misandria-a5.tgz
-rw-r--r--   2 edrx edrx       52080 Jul  1  2016 falta-misandria-a5.zip
-rw-r--r--   1 edrx edrx        5409 Feb 21  2020 falta-misandria-body.tex
-rw-r--r--   1 edrx edrx        6916 Mar 20 23:24 falta-misandria-body.tex.html
-rw-r--r--   1 edrx edrx       11671 Feb 21  2020 falta-misandria-cats.tex
-rw-r--r--   1 edrx edrx       14306 Mar 20 23:24 falta-misandria-cats.tex.html
-rw-r--r--   1 edrx edrx       22731 Feb 21  2020 falta-misandria-corpo.tex
-rw-r--r--   1 edrx edrx       27163 Mar 20 23:24 falta-misandria-corpo.tex.html
-rw-r--r--   1 edrx edrx        5414 Feb 21  2020 falta-misandria-daniel.tex
-rw-r--r--   1 edrx edrx        6917 Mar 20 23:24 falta-misandria-daniel.tex.html
-rw-r--r--   1 edrx edrx        4183 Feb 21  2020 falta-misandria-f-etc.tex
-rw-r--r--   1 edrx edrx        5152 Mar 20 23:24 falta-misandria-f-etc.tex.html
-rw-r--r--   1 edrx edrx      121223 Feb 21  2020 falta-misandria-f-fm.tex
-rw-r--r--   1 edrx edrx      128434 Mar 20 23:24 falta-misandria-f-fm.tex.html
-rw-r--r--   1 edrx edrx        2517 Feb 21  2020 falta-misandria-f-g.tex
-rw-r--r--   1 edrx edrx        4781 Mar 20 23:24 falta-misandria-f-g.tex.html
-rw-r--r--   1 edrx edrx       12342 Feb 21  2020 falta-misandria-f-haz.tex
-rw-r--r--   1 edrx edrx       13145 Mar 20 23:24 falta-misandria-f-haz.tex.html
-rw-r--r--   2 edrx edrx      354290 Jan  9  2019 falta-misandria-f-main.pdf
-rw-r--r--   1 edrx edrx        2335 Feb 21  2020 falta-misandria-f-main.tex
-rw-r--r--   1 edrx edrx        5687 Mar 20 23:24 falta-misandria-f-main.tex.html
-rw-r--r--   1 edrx edrx       17623 Feb 21  2020 falta-misandria-f-scr.tex
-rw-r--r--   1 edrx edrx       19243 Mar 20 23:24 falta-misandria-f-scr.tex.html
-rw-r--r--   1 edrx edrx       41320 Feb 21  2020 falta-misandria-f-xs.tex
-rw-r--r--   1 edrx edrx       42250 Mar 20 23:24 falta-misandria-f-xs.tex.html
-rw-r--r--   1 edrx edrx        5286 Feb 21  2020 falta-misandria-hdt.tex
-rw-r--r--   1 edrx edrx        6506 Mar 20 23:24 falta-misandria-hdt.tex.html
-rw-r--r--   1 edrx edrx       10266 Feb 21  2020 falta-misandria-homens.tex
-rw-r--r--   1 edrx edrx       12092 Mar 20 23:24 falta-misandria-homens.tex.html
-rw-r--r--   1 edrx edrx       19325 Feb 21  2020 falta-misandria-intro.tex
-rw-r--r--   1 edrx edrx       23711 Mar 20 23:24 falta-misandria-intro.tex.html
-rw-r--r--   1 edrx edrx       11385 Feb 21  2020 falta-misandria-nismos.tex
-rw-r--r--   1 edrx edrx       13675 Mar 20 23:24 falta-misandria-nismos.tex.html
-rw-r--r--   1 edrx edrx        1273 Feb 21  2020 falta-misandria-print.tex
-rw-r--r--   1 edrx edrx        2309 Mar 20 23:24 falta-misandria-print.tex.html
-rw-r--r--   1 edrx edrx       14855 Feb 21  2020 falta-misandria-rh.tex
-rw-r--r--   1 edrx edrx       18012 Mar 20 23:24 falta-misandria-rh.tex.html
-rw-r--r--   2 edrx edrx       43355 Jun  1  2018 falta-misandria-scr.pdf
-rw-r--r--   1 edrx edrx       18483 Feb 21  2020 falta-misandria-scr.tex
-rw-r--r--   1 edrx edrx       21384 Mar 20 23:24 falta-misandria-scr.tex.html
-rw-r--r--   1 edrx edrx        8582 Feb 21  2020 falta-misandria-tf.tex
-rw-r--r--   1 edrx edrx       10706 Mar 20 23:24 falta-misandria-tf.tex.html
-rw-r--r--   1 edrx edrx       13602 Feb 21  2020 falta-misandria-tf0.tex
-rw-r--r--   1 edrx edrx       16357 Mar 20 23:24 falta-misandria-tf0.tex.html
-rw-r--r--   2 edrx edrx      252898 Feb 28  2018 falta-misandria-v.pdf
-rw-r--r--   1 edrx edrx      138436 Feb 21  2020 falta-misandria-v.tex
-rw-r--r--   1 edrx edrx      149901 Mar 20 23:24 falta-misandria-v.tex.html
-rw-r--r--   2 edrx edrx       54701 Jan 27  2018 falta-misandria-v.tgz
-rw-r--r--   2 edrx edrx       53390 Feb 28  2018 falta-misandria-v.zip
-rw-r--r--   2 edrx edrx      264608 Oct 24  2015 falta-misandria.pdf
-rw-r--r--   1 edrx edrx       10083 Feb 21  2020 filters.bib
-rw-r--r--   1 edrx edrx       18647 Mar 20 23:24 filters.bib.html
-rw-r--r--   2 edrx www-data   54936 Feb 23  2010 forest.pdf
-rw-r--r--   1 edrx edrx       11057 Feb 21  2020 forest.tex
-rw-r--r--   1 edrx edrx       11977 Mar 20 23:24 forest.tex.html
-rw-r--r--   1 edrx edrx        4696 Feb 21  2020 frob-sketch.eps
-rw-r--r--   1 edrx edrx          86 Feb 21  2020 gray50.bmp
-rw-r--r--   1 edrx edrx          86 Feb 21  2020 gray50xx.bmp
-rw-r--r--   2 edrx edrx      237880 Jun  8  2013 idarct-preprint.dvi
-rw-r--r--   2 edrx edrx      357201 Jun  8  2013 idarct-preprint.pdf
-rw-r--r--   2 edrx edrx       95354 Jan  7  2014 idarct.tgz
-rw-r--r--   2 edrx edrx      135425 Jun 25  2015 istanbul-handouts.pdf
-rw-r--r--   1 edrx edrx       32203 Apr  3  2020 istanbul-handouts.tex
-rw-r--r--   1 edrx edrx       39480 Mar 20 23:24 istanbul-handouts.tex.html
-rw-r--r--   2 edrx edrx      200642 Aug  5  2015 istanbul-july.pdf
-rw-r--r--   1 edrx edrx       50431 Feb 21  2020 istanbul-july.tex
-rw-r--r--   1 edrx edrx       60919 Mar 20 23:24 istanbul-july.tex.html
-rw-r--r--   1 edrx edrx      106221 Feb 21  2020 istanbul1.org
-rw-r--r--   1 edrx edrx      114587 Mar 20 23:24 istanbul1.org.html
-rw-r--r--   2 edrx edrx      383060 Jun 25  2015 istanbul1.pdf
-rw-r--r--   1 edrx edrx       96174 Feb 21  2020 istanbul1.tex
-rw-r--r--   1 edrx edrx      101697 Mar 20 23:24 istanbul1.tex.html
-rw-r--r--   1 edrx edrx       10992 Feb 21  2020 istanbulall.lua
-rw-r--r--   1 edrx edrx       20384 Mar 20 23:24 istanbulall.lua.html
-rw-r--r--   1 edrx edrx        6342 Feb 21  2020 istanbuldefs.tex
-rw-r--r--   1 edrx edrx        8374 Mar 20 23:24 istanbuldefs.tex.html
-rw-r--r--   1 edrx edrx        5829 Feb  1  2021 istanbulglyphs.el
-rw-r--r--   1 edrx edrx        7930 Mar 20 23:24 istanbulglyphs.el.html
-rw-r--r--   1 edrx edrx       34228 Feb 21  2020 istanbulquotes.tex
-rw-r--r--   1 edrx edrx       45541 Mar 20 23:24 istanbulquotes.tex.html
-rw-r--r--   1 edrx edrx        1744 Feb 21  2020 kaplansky.tex
-rw-r--r--   1 edrx edrx        3075 Mar 20 23:24 kaplansky.tex.html
-rw-r--r--   1 edrx edrx        1139 Feb 21  2020 lualoader.lua
-rw-r--r--   1 edrx edrx        2270 Mar 20 23:24 lualoader.lua.html
-rw-r--r--   2 edrx www-data  117417 Jan 12  2011 maira-both.pdf
-rw-r--r--   2 edrx www-data   99437 Jan 12  2011 maira-eng.pdf
-rw-r--r--   1 edrx edrx       31461 Feb 21  2020 maira.tex
-rw-r--r--   1 edrx edrx       35977 Mar 20 23:24 maira.tex.html
-rw-r--r--   1 edrx edrx       17092 Feb 21  2020 mar99a.dn
-rw-r--r--   1 edrx edrx       16265 Feb 21  2020 mar99a.dnt
-rw-r--r--   1 edrx edrx       13836 Feb 21  2020 mar99b.dn
-rw-r--r--   1 edrx edrx       11958 Feb 21  2020 mar99b.dnt
-rw-r--r--   1 edrx edrx         808 Mar  3  2020 material-para-GA.md
-rw-r--r--   1 edrx edrx        1490 Mar 20 23:24 material-para-GA.md.html
-rw-r--r--   2 edrx edrx      465239 Feb 21  2020 material-para-GA.pdf
-rw-r--r--   1 edrx edrx      163050 Feb 16 23:03 material-para-GA.tex
-rw-r--r--   1 edrx edrx      196061 Mar 20 23:24 material-para-GA.tex.html
-rw-r--r--   2 edrx edrx      163164 Feb 21  2020 material-para-GA.tgz
-rw-r--r--   2 edrx edrx      181458 Feb 21  2020 material-para-GA.zip
-rw-r--r--   1 edrx edrx        3804 Jun  6  2020 mynewunicodechar.sty
-rw-r--r--   1 edrx edrx        4930 Mar 20 23:24 mynewunicodechar.sty.html
-rw-r--r--   1 edrx edrx        1019 Feb 21  2020 myrepl.lua
-rw-r--r--   1 edrx edrx        2098 Mar 20 23:24 myrepl.lua.html
-rw-r--r--   1 edrx edrx        8106 Feb 21  2020 passo-a-passo-concurso.tex
-rw-r--r--   1 edrx edrx       10354 Mar 20 23:24 passo-a-passo-concurso.tex.html
-rw-r--r--   1 edrx edrx      138085 Feb 21  2020 personas-sexuais-cap-1.tex
-rw-r--r--   1 edrx edrx      148838 Mar 20 23:24 personas-sexuais-cap-1.tex.html
-rw-r--r--   1 edrx edrx        2199 Feb 21  2020 phil.bib
-rw-r--r--   1 edrx edrx        3215 Mar 20 23:24 phil.bib.html
-rw-r--r--   2 edrx www-data  115662 Jan 12  2004 poep.pdf
-rw-r--r--   1 edrx edrx       45826 Feb 21  2020 poep.tex
-rw-r--r--   1 edrx edrx       46798 Mar 20 23:24 poep.tex.html
-rw-r--r--   1 edrx edrx       10467 Feb 21  2020 proof.edrx.sty
-rw-r--r--   2 edrx www-data   45650 Jan 12  2004 reinhab.pdf
-rw-r--r--   1 edrx edrx       16165 Feb 21  2020 reinhab.tex
-rw-r--r--   1 edrx edrx       17046 Mar 20 23:24 reinhab.tex.html
-rw-r--r--   2 edrx www-data  272818 Nov  4  2012 rrj.pdf
-rw-r--r--   1 edrx edrx      135903 Feb 21  2020 rrj.tex
-rw-r--r--   1 edrx edrx      159709 Mar 20 23:24 rrj.tex.html
-rw-r--r--   1 edrx edrx       14977 Feb 21  2020 tese2.sty
-rw-r--r--   1 edrx edrx       17339 Mar 20 23:24 tese2.sty.html
-rw-r--r--   1 edrx edrx        2598 Feb 21  2020 testdynkin.tex
-rw-r--r--   1 edrx edrx        3308 Mar 20 23:24 testdynkin.tex.html
-rw-r--r--   2 edrx edrx       22695 Jan  9  2020 tmp.pdf
-rw-r--r--   1 edrx edrx        5311 Feb  8 00:14 tmp.tex
-rw-r--r--   1 edrx edrx        8046 Mar 20 23:24 tmp.tex.html
-rw-r--r--   1 edrx edrx        1817 Feb 21  2020 tmppgf.tex
-rw-r--r--   1 edrx edrx        3277 Mar 20 23:24 tmppgf.tex.html
-rw-r--r--   1 edrx edrx         545 Feb 21  2020 twot-boxes.lua
-rw-r--r--   1 edrx edrx        1349 Mar 20 23:24 twot-boxes.lua.html
-rw-r--r--   1 edrx edrx        3871 Feb 21  2020 twot-pages.lua
-rw-r--r--   1 edrx edrx        4617 Mar 20 23:24 twot-pages.lua.html
-rw-r--r--   1 edrx edrx        2409 Feb 21  2020 twot-paragraph.lua
-rw-r--r--   1 edrx edrx        3245 Mar 20 23:24 twot-paragraph.lua.html
-rw-r--r--   1 edrx edrx         799 Feb 21  2020 twot.tex
-rw-r--r--   1 edrx edrx        1735 Mar 20 23:24 twot.tex.html
-rw-r--r--   1 edrx edrx        3475 Feb 21  2020 vgatim.sty
-rw-r--r--   2 edrx edrx      176760 Apr  8  2015 whipping-girl.pdf
-rw-r--r--   1 edrx edrx       53908 Feb 21  2020 whipping-girl.tex
-rw-r--r--   1 edrx edrx       55255 Mar 20 23:24 whipping-girl.tex.html
-rw-r--r--   2 edrx www-data   41006 Jan 12  2004 yogphi.pdf
-rw-r--r--   1 edrx edrx        9299 Feb 21  2020 yogphi.tex
-rw-r--r--   1 edrx edrx       10357 Mar 20 23:24 yogphi.tex.html
-rw-r--r--   1 edrx edrx        1272 Feb 21  2020 zinc.icn
-rw-r--r--   1 edrx edrx        4258 Feb 21  2020 zlib.icn