From d85de92c2ec39762f5e9d5484c3872229e38ed4a Mon Sep 17 00:00:00 2001 From: Antonio De Lucreziis Date: Thu, 17 Jul 2025 03:17:56 +0200 Subject: [PATCH] fweijpfiewjpe --- out/presentation.pdf | Bin 1061787 -> 1061789 bytes src/presentation.typ | 8 ++------ 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/out/presentation.pdf b/out/presentation.pdf index 8ecd09e2f9ed6b132c48002d1458abbb27a86812..99dd974026e2387b62b31b48b2ada2510fdf7d23 100644 GIT binary patch delta 3818 zcmZuzd0b5EA8wUOHA=SXnl^>x?2AYd(xe&@ZPJvAB&9vSImIZht!&XvC|gC+Vsb^B zHcKjLCy9!bh&yh?Z}_Pn=QRJ!`8@M|-{<>0-{*bL{MBuCs@p6|ASsX%NDE{HvVw5} zIl*{=yg)&qD3~Bn5-8`Y6-xArxUWhqrEeezvjl1!F7{n>2WW(UC+3Cx-Z)`y83;4W6>hh$X&Iu{r!BA zNcnDT$J)quU9a8^`-O^fJH4eb1J1O6C;M3+EDE*_RT&llC?j zf{GK5URnF9hLo1y@jB&Qb-2{*BcF6Xi4GNhv+r^*8MwIrOP5^h`Tnk~&;4GLN_>M{ zvG{JQ+E83{)9va%4NhO>I@K%Y99WC59}ZLMM2{z2Nl}TQxRaqNy&07Aq~Xq6eNTti zc)H;>j-HkV%io{S`e4)FR62{d&V=j$u%O{~N#qS%<7mFNt-#>HB@by$b47{OUQMXe zS3BqV%`q$IU#xi}cpXs3^6iR`QTBHEs@hT- zfb!=DPf8IP{?+B@N=}G+B{Dhx9LUMdiR)?(RPdIZNZq;cai!N1-nXPv*4?d5b{0Jg zH0>9kcivQzzj39e?vmoZw*2FN7jb)&uV%I<@8lFbs@b;Wi|iSf{*Wyy#gWIMf)K@p z?Xl74+FR|l1D`BDEeGDHxnJ_RVs-6BZl$@rs!od4qaBXDhduvD?Z#sB=v6mfT&m<> zSCTL}z&q>`CnnGeM5@wT_ju(-Ti@W%Eddd09bI+yndzSMVrI_l3`f(VO1n;Ig*#>K z<$t-Kp7hpt$7CsCmPoWoyGx?den2^Gr(v;9`0cA365G%3HhIi@7&SY7g-i8NH~Vov z&)MYS!o1S2RH!9)Z_Ds9_s;zMhY=<&21)g=?Ix9HxO7=eY)fe~%{x|@rNZ5lAoQ0_ z%P?P*Y~go~=aenY~YyoVGe zl^DRBqGVBaot#mlsj;l+ORjmS;b-BUO+|}g zcFu7AqRGZPb!>S#ggN~8Y-)|CR%43UjG$?pgl(zwU)=gD^1Ugh)!f>^$^EJsXscS_ zdh>L)qp4*b#?8Ar+v}88hNjoTfx*jFc{Yi+ z@NKdCBC++gWgPSZpVyr{{5D~6lmpD)-}m{G!?oAul{O|3!S{owWL1V=I~#gK;)>S9 z;SY;sO2U%DKU}VDR&!8Oa=boWV<^=CON?uMR^xUv0(3+BHtzSA_G&MzbV<%E`wy3o z9bRSCZDc@XI>TZ8Au9XQcN@*{c6ZS;Ssr6~vkg-%mgxQrwzJgmWzW>E-jA%uYlqhSn2>7)>bV$8KT4l(v4ae8wQ z4ie!1>ZsA?ARHzbi*a;B#V>U@`E&6o1_J=eXoiFVCWeB)ucbf$B5{ze7zRm{K2jJ2 zF(w8x6vH4&05lh11Y|S_!w7&-^g8AiW79JVU#2p&0ruok~L~1 zurP^;NFxRi5=2Qh^}AvOg9y4h1Vfk`j$uE7;S6UGj9}yl!ANYBgBrOn zaFA&i4q*&+ID*heg5W65tiu_12Z9qgeN2?tRfrxMgaGMt0uTZQ8TJzhI;vzu2!S$^ zju1Hh`>_*Wkc2oiY~Y9g|DQ1_9t%A*B!tkrM#ebXVhm#lArXj?1yU?;l!N+tU6Ux& zR#JR+Mhi#kFqGkf`2JwHK;k$va0JW{LXia1E|Ns)N>K4jWekjQa!_#@vkoMg81#eV zyZ@v1qX0Yx2|NY~G6sow05rEy03AaJ_AAGCeh@$bYzz{73=(_{5@HMz@>i0d9LyIH z3R2?RmEJW7FiAj=NdiJl5>WgaW9%pPfsTpqw;#bw7zeX9jQw{bArfXylS38s^_SW% F`!DCb!q@-+ delta 3773 zcmZuzd0dQZ8$6kQK-Y zMS+q)S)d{qCr}lrU02UflR@K;8P8(coNbS8z{fpnciVAjO``GXvfZf@a?ItF zcK>=rRzoC*2HZMr@gT6IxSXyjEtf2ichL8J66$&*{?oPTEpr1;elL>$_P$vwc0pk9 zz^&roT4r)Yo~D25FYWESgYD->5bnEjPaN~FE9+8p83-I$Q4|En$24T9#oM%Xp1D=x z?6}fi^Ri9zo&>cNRCwot@zi(8bIwL+FtXpjy&qr(`H9d__kSWjME9%;-qjQyj4D6J z3yhO0cAbBDE9pyH_PWq*M&F~~AL>jf%hbw_xV``V)Gwkd>FRr!Y(p>OhIRZFgTeC9 zmclQYqVP7#+r)AneZ2h5S?Z>z`h|lVd%6TAO|=QdoGncjgx(IzR7LyKE6e4ny_3dV zd~kK!^`W#Ifw`(lfp%%lN`-YxonI+LEjs+%K&Lr{{3d@quG7!a>FY(R(L(6sIlKDl zvbb|sGVp98Z=|Hzkg`hK)DpQUx+qZA0LY?3c>=5>J5!BmfmZgxK zelOwR_@>AmP5yo}GIV-F&1Ut-@{8mCDDY|zv7N87^^DPl-bvh*%y#E?FJcx^+gu%3 zbY%MC(uXCm?wW#x*|F;z9xGJtZMhj`6ckm`VCJ@=`OIG1+fQl(EQjRI7Ps~^{jzt! z&^x4O(w-u9j!kpxYWuE&eGAk*cG{yVCPy!&+n*CgYv@`nNyzw|+n`%%Wo;jz<|}lp zU425i;Z*Xmw!d67zwZCaJctObvfyXtMg=QEzmTSDv|=hk{Bia3y8S-63fuO))Gaa5 z&yxt`>g77ZiHCpUB{lj%?thqF>^N7&jaE{#hg`(ROuX$1!jvM`uUuvwd*3cSkiPM zpE*3Fi)>WfoJ&)lr@2(Fu$#Mo_WB^Lx>!Qko$YowV4Q0F5*sUQ_!ZY@WWLN8kQWN!{gQ;#Ai_Lwk#Q!}Xx5;v)Z4R%0|Kd~J>Qo`~Y)kXiD?Hk+ ziQ-vPkFd`P!WZb9qjbypgX(OEI~qQgxQeN1x;r8Fdjq?&*@Q{S!}`9vy3A z8kzJczb<6*>>)<(#j8Y#3**>b=i1U|$M5sx)J?s2?Z%1;`=fk{`(F&LzA`yT*@8Gb z}?@;tp-g$-r(vs(4kJ_|FvDss9jp51Uw z&yxsWyY%kviKyE2IpA?dgHqz79xuxoW@;vamn-Hvwnwj1;~0pj@w2r*GdsswcRTe| zB*zBDbmUNJN2=tEf*5NVW5w3jp;Vk#*WTQ)_!Ao{cGPErw z{A*Rz+A*A{kX3KoTs}}nj~+8g=h7L&lG-pUof1`oVw0nvxo6RvglZSjl<4@v5a0b3pO%qa`YK8A;7I_7D6ots`b@6Q6IrfPmp zTJX&=SG2}|?OP~&FC>}Yce$>ax0a{sbYrSkRV7brd4+F)USpQ)gLR=(I?O$N^#`RznKU9A-Nx?x;uQd>#7k4|;D(`3!cR*S9-#AsaO_p$nKcRUxp4^iWZ zy)UZQdvG9_5Y1EJ>I^@KT~)ZAoQWRWtSpw8KpR&t_cd^|^WJXYXA?+?8`QWw8Chta zG`~lkOZ<2e&*5_KjGc&TL&G0!KUHPv7Yt!IjX>fd4ele39m)C)p=ktX#ZZ`}2zCsE zz&t`U-iXUHq!AQmrDG^Yv7s;=foZXeCYO|zA;l-OxE!viQ=dDYAz+N1ix4P|vF=0& zoIrpWNkTx3CfR%t5+-SO9*I)JXPJ>&AtVkEM@W)lA4VaF2FTDT1jcZPeHM}O8&U8u zJ`ABSjk6nv!Y~2GP@rNI#z~4*9g4vKK@^pCk)4M!1i%nQsgVr-CP?6btf&;1Ej5bM z6hMZ6X~0o5O8>~iM_3i52naY#Q7~XpT6D~W%VSUiunC4x1lu|o3IW_P6ag%OVHCvX ziQzCZqFX;F3dRBJU^oT?z_heAEX6Sbq1g3c1oq>?kygY;5ga4Pky`w19gLs=>tF;; z03gz{06`KV0D>fjvYUXBI0@!4B(M}Pk|Nojm8y!cZGurS*d_{v0r@Em2MVF28*Nxs zY5o6fIf^9MlZH{WG((y=GLMFUb%W6e29O?QnlTzBMiwH)m#$YDLqHG=G?#S10a6M*$&50g=uQ08EYoLjD`%2L?3?1`RXdh2Xmf zA71WkU>E{HU>F2}5wH;HKKgmz%>TO|mo6lB-*JS3A(1S~^&0&@geV;4PEkOWb#)ip GTmKJ{Rlh<2 diff --git a/src/presentation.typ b/src/presentation.typ index 2efd4cf..0745c88 100644 --- a/src/presentation.typ +++ b/src/presentation.typ @@ -952,9 +952,7 @@ _Dimostrazione._ == Ipotesi induttiva #slide[ - #set par(spacing: 1.5em) - #set list(spacing: 1.5em) - #set enum(numbering: "a)", spacing: 1.5em) + #set enum(numbering: "a)") *Ipotesi induttiva.* Dimostreremo induttivamente le seguenti proprietà: per ogni diagramma di link $D$ con $< N$ incroci e per diagrammi contenenti $#skein.over-twist-large$ con $< N$ incroci: @@ -974,9 +972,7 @@ _Dimostrazione._ == Dimostrazione buona definizione #slide[ - #set par(spacing: 1.25em) - #set list(spacing: 1.25em) - #set enum(numbering: "a)", spacing: 1.25em) + #set enum(numbering: "a)") _Dimostrazione._