From f94ed27b9509d1b8a455908913c8f819682d5933 Mon Sep 17 00:00:00 2001 From: Enrico Zandomeni Borba Date: Mon, 12 Aug 2024 06:00:39 +0200 Subject: [PATCH] one more fix in the conclusion --- paper/HVM2.pdf | Bin 584437 -> 584462 bytes paper/HVM2.typst | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/paper/HVM2.pdf b/paper/HVM2.pdf index dc783163e5ad681700f9b364419e6aade82bc6d7..dd6af723640afe2653962fc3eaffbd0b4f2f3065 100644 GIT binary patch delta 5185 zcmZu!by!sG_Jv_26(mHOp;UU92Bcd`QbM{@7y$v1kuD`9h7JRe4y79$kQ7j4=o%CT zkdRP8uijtW@B8MSf6jB(*?X_G_I~$yo^$v?AaP3IVI+AZAd(^y7KYqw|N>wO$5|`8CoJDl6=~*zq%9->%5T)W1QDh~Evt>@V+IO8p?rYAI~FdBzc+ z8YgO+Wa4*;Z^tlr7PVU8LHA$y+@Br@G5vLlges3`WfsIlA&35c{ngd86IYyul>AX2 zUHjQLzbVst@t)Sbz1|blK`HMk*;EgUf02663z&u#KE+_lx5C)UrHm>1M8L0ugZDTl zC2v&ch2JD*YQD-}O1|S!QfSCrV$$JB(_UrHWtwIzNAzAT7w^5*)%c5Iuh^WKMakFYQOEP_vVIAElqsA_@C+{>tc6X9zSF zFlz{zxdESfuar5od4`WQ%tTkyGvg{wY3fW}H z7e%Fc=x&d`iAHh-YSDLcUG80}iW{RCT}1_-p6Yn|v*mekxU~}2#(^F$ZBq-#93)37*Fqsj&J6?eODWe6E6SyzUbtYHj^sA(o!X<00 zDwD1W4F?N30_aapm)Po#Jjiy|=b$n@5}H3AQeAiKd*VWLcxhE*oTC6s%ClClyX`)XF+quBkdY1_nwZt?Vzgc1@7&U>rBE zNafuxR7rEuVgch2ZT8nM76jf+3m)DKq938|#49q|hb3?ahx)9!7nPOj7=_s$*ewRA zz7}oEF8;g;5;J48i*aYDz*CrJzWmJ8BWQ4bBGZHY}%wR=0|thn?C$F(J--rGq{r z=orupubN`^#}sF#szDXJN(%x`GGJG5n?W$q>1t|Q;(5Mb8?(z)w^jB>No#?mNrPVa#j$EC|12J{*C zQ*J=QuJ6Mrkr$@X0Nodf0?vHYBV!fs7(uZe)6NYws#$KRE_WKb1y`IFh@4Du2b)7`nTPz6Xi z2sbg5$`mjt+MLJm&VI-`ORt%$K{(5#nx|f{1Rc=e!Fj934oKyGURKMAdHNeKzg|sG zUyyo+kgP}9tDy#WhZ2qb4zA3GU*kZ9M5}C5lgIv{4+q-X3?ea7hO%@Y%@U6EWMG?_ z3$h@9uMnrV?e)5I1F}$hsgI7eh?t`O^-pX-h#Au{Ishr}C2bQj3vr^$|6yU~5YfKc zRj8^Bx0K19rnFi_TZ5wQ=H+y!9a#%Ys9X+&l*`Vmo z;(>!+vPV$dH{H6y-x0t{XFDU~rW{9MNvjvA8VnS6n&3Hw(Xyb9hTFE|dLc%lP|?=(QLC~p~)`l^Jz{j?2dlUpxaq`V^b+uQSmi4?ETevPDkf2z3{4v|O-&`f_f+kx#3 z{W02-=WqeFyPQ{0Ka^e$8AvD3P&Msi;=PvV6|aS%)=BKBli(iv87ph+Zlbq zD__Fb12At(>2{MDIP%lezM4eC!$q6w^9#}zqgAAJ7_opIX7#$91&i7U&*TfL5I+C3 zf@j|MnOj_}*C>Hb8SrTY?p=UcQDy8F4${LMhmNN3fF^lVHPOyNd;r{|-ZUF@46KsH zeOF`rymu{c`^>Z6_#8UT&pVA}ZK~UbY?}!&R;t=Dg)QrM|gRBSfjk z9g2G=b@vh3)o&ngy*%qT?@op96!#KQ!<Q%(y=^|FbI{#trgooD#JbXb;Wj;QL|wZcz16L9%dkgE*jQAn76wh2C4Br>ZKB8 z(tfa>Jz`k8QX~DoY9>v*b&4=sw1(@0pcrEA7L7nXg%5#5p}vu6lW1WGTx9W(b}u$P zOr;kf;N|qmed5K<3vt-tkkuIl(9ML!A}7Nm*Z2j~!De@}l6z*5<0nu1bGV{qYm_id zisbp83`|Dyl?RM|Xa^%yqk3}RQx1&~f|h#Sttz^PIjt_uqU*#uTx7(4;%2f%sR@t_ z@R}<@srDPiA&W=`yCY{>l|gZ>+DM+`%&{eh3FT~|lKGb<7eB}NVFJ01ep6di*xHjz zQ9y+s`uc%!oczc=bg8)kC)#eGc?mJGk*@7;{FxP+#(P-WA zvbxu5HDM9eLCLP%Pf}Y;&nO;5dt49Y*t(VLWM%#Q}(=qN*IpaJJH2_XudFz zoNw7Rdb59D%5hCU^}|E%Z1KTMJR^$6A`WAPezm19IT}sgu~m9r^=W*Y?TP0gl+kdj z5YN`Xjpeu;&xuSPw2mCu%pXr~{|fk+@m6D2#K?mC&;d)^*gD9k@XhEJLi zPD2K+J7q!uru%=ypr~|^@>OvdA6wVCsPmz-#)9fxnn&JZ+G6&ncT}IJyExfDtPve; z2SsPoXJHh450>@BxbBv=ZoCr7*_|#7Sy-;{|5+x+puxV_dwwzSCC6lYmwo$gNaFic z@Hs;<>tO$;R1=`l=T##c&wMI{_f9va!QNA{w&3`{<5j-y!N&Rak#s&IjB%Nl3VU`3 z*5!Msjlx?lXmJJw)+YJALnwvi zX3tK#e8~f2<%*wWKEKPhPJ57RI(7nm-E8>svAf^3^yE69e!QkS&LXbLXohu_=6s8u z;7s#g=i#4!wE+&)T39SQCPukj1Q>n)V9T+44KG#~wzIl~uFWHxIL(3ei?__dXX|kG zYA4MD1hMH4Lh2n!Np2;~c>CJ{4#UJRcz#F%*H(Ea;K77@(65x|V3Y z@FvW_*wCGitmJqox7g@<=W1$ssn}{n zMo_mEO;cPF*Dy~XtCA40v3<@gMKK{J?{nh3gAll{;9)^V`;~sGzy}OKn?~O>s_Tz) zJbk_0O)eLqZ1kNlGsnF18p}KJgxui1AKH%!xD|{(=4al!yIi0p7w_BJ!D)|VWP6u%|QLj15ancxtwFOM^Ue+T$sii*mR+IUe^WU@*?yDYia$ zZtyN#>lU`cOGM(z!_)`Db0Lpq+h%vO-=?-F-n+1#oO}ISS_^yp2AAkHYW8>~kKsn4 zDcXxWY9Z^e(xoeT%?vD7@#5CDDy7D4v5_ZUT-P?vc)x#~X2b3#QnNJHR8s@43Btf& z2+~5B76g*iz2m5A=jQ~vrYZvgLttQ(6a@V5*Nsyjsd*@J3(RNj)=HHT`?K=1_HQw6>!p1gT?ouTgT2`XT@Tg*7TIP;&qPC{&}>614~=1`Yv% z|6CyN3$%akaHKQ@1^*`oK_H|^Fyw!UlZGJv83&aDlhlJkAgF)GVg5o4g(Ch3{3`~B zLrDrE5Yi+V3QQspDh(wu2LmJiCI<7zF%0tC{~z;zA%;PrND>T&Bq4zzNZrAZ|0P!% zMq&gGMqyz8B!NSqB<|o)Bq;_*kcfsOP^1`&R192N`hUlS`On-DQg9M62q=WaF#<+9 z5(EN9A`pQ@{;k!2I*pKq{vE^o29aO{Nvn|%B#9FwRGKsn4kr=#n}tLS5(Oc}q!B30 zKiiLzk|H7golA16Q7|Y;w@`3t(p)5rG)@})f0)&O)(#9IIjz!Cq-!S)MUuwBQUB}$ v3XDR)u~wVZj2DKBA3_0xN>-uyj+pGI}`_w*;wMp z{ys#sFV;e5&vF@!VMMIoeeO*b??=5GE^9f=aofMSe^D?-&Gl0_Ztpqgp=Fp2c^e<9McfP8tIs(2dEhLv1FvlJ zH$P$g>_jjA*V;U#5ucDdD&SIaguifv5Thu5PthBxFt;r7fB(Skd1u_xR(LRc@M(r* z$mf{p!%*x>!I;qO)Q?@a;B3s$eNP6D>j|}H{IeG`pB9hDn-?uuzx+9UNuF!Vbukp7 zxy~z#%XxTiDWCXi-)_Y*I5bDH^+$D%`6KIjl9^3R=XO{^(|X;dEC;iwHe9W!K}JYrRJ%e{%+5m?OPKXzlh;j94^$pdNw{y zZ7aI%xHTj7!&p($wNhhLn>t@tjm@ywj&<#HrHW?9FbDCHjnzG9-b?r7F?FuJDM7s#$Xj}dhciZ$5F#V0BY`l$gkC9WDXEK_Mlf_@%&?0L@*@P~@Fk=azUy9^>y_I1hG^2aWzWov=PcC*jA`pu2=>@#_5tr?6Y zRNu47k%%g7pA;xqA-SeB^Qq?8g6)QL+<%^1NgyVCj^Zi@Zhtk>@233_0I@7wVC8rV z=dJV$O93oV!@lc8uhsd{{tquB{Es^Z zhzOS+SDTmmS>v3(SL#n^nQ>UG56d|8b{9!smW>ow+_P&4&t8Pn#FQPahb@03a`)Pbh&a8T+{j# zR#>BjE*2vyaKd8K-ZS!;Up}^6iFFEEyy*LLi%Z`*-wcQQ6;GgLZ4<@=3kc_@n8XAm zzdEYFiYvC}jTjkFP}JXX0j9ind2GOz=Ceu^@bzo0KYwN#+ii2KQ9&)jfN702i>8cN zNSk!LDN6VdFdgEnyPjRhbe8JL-87Yr(>EAB<|egyCyr$O4Iidj!A<6vd+Bs@(&p70 zJBtlmie?5xlXS?iXj=FY+QDvtb}ed~VTCK`mvE8O+@yF{#t$DcNX_RP7di@Ci#8E+ zqCNQrYuK>5x5>JUPWV=p4(6?Rl!04Q;iInuq|GdD0U4p{(I;Qo3@U{R61w4n0HhR+ zU~p-o<&|4P1Fa=e5ESr&)|9E~5W}uV0V>4jQaWsV45OYlCP$nZYLd`=H-id-a!&Hb zGqbOo4$i4uQ{IGy0?rxAaUnVp(?oDW;dngH8^lvmjY&Cge89!XkZ$r|x6=Mt5G#7I zn_T8$2cDIasm%VtKc8dzoojIt^dLkIB)~a$d{`J{2r$yo>6A~$@PActFd4zb-Yt`x zSIp*yPF)9A+*P@ZcCm9Cde4Ls)%4^p zN3xTon^~6G1Sl=xIjAlnkEfRQqGwy?5VD^pyc!*Hd}v+Gyg@DlR4L_4B){h8?|G=6 zvqudbiDANiB&bViYT)ke3E~{`?hH7!cg)}%{+fD(gG7P%Lw3J0YJuCYn7!j=k02Jw zdoa73bsLw(sKzYX!m*N22hZz9hLD!X*U!vL2G|5O2M#_b4k3hMRkWeZxn_)EeoEJd zmHI0m3&b(Xl*F3(tLgCbdz;?q@e&7$+CF3Ft5iyT&aqr+8DK-@;3e|aGz#8$a>Nt; zv6Fwf*sNC7ud~ZDymoqQ@+B<1;gS6|)Aed;lQJh%%u+2`jXxS$GN%pB^}XDg{0Dem zHr<)&_PiUHr)bFnOXfKVgI*nAroHtO*)zbfH+}f)@lC7c%JQq?*Byyvz?x&krhu7U zuD2VOu8sb3U{YR>r5n*a={$v4S(JhHI*}PAA84Zl7K_ z1#jE|w58*#BeuGPq&IreZMLcHhgJ>QfGN}_d z+9?}39S_mr@*JwR#1?;*3Qf)_A-Fw?*T+IP+F`1!dp&xy>zv$ZrojkKIfD=D)!TFB zvRoSJGq9{AS%w(Znq@u1#A`4xIIU`SDeInwcWsX)4&h&5^F}O7+z{|GHuwu@kqNi8np}p(BK<-&qSg^wq2SXvr7*2q3$d(G4Oyt35u(v{_67_kN`pPLVly%Uv!^`TG(WD*q( zF0kCUQ|#s*L9A+PI$rCM=&~_l8HlybYqa(n7jpb}SJR40y>jZfxZ>gc=rvc1`l8BN_n&Fp z#0c?u1z=|ZDL&6c80=lz<-Heq+STyx+T`8VEj{6dWtJikB~jw!GpE(9w}866vxvRy zSOBNl2>rSxlS6joivWQLCye93+z7!p-!<5i8K_FDmD*_&X)O7V7vh z-G3>x)diTYi0*KH?m#NY&wb-XX)FMU5MPOH+RAN{QS!ixCC~_(L(|(_-j3NQ!T3Bi z-@Y5lmu`)UyIT>u$y3xX6AkknZ69&GalTLbV0dM2mX-F-zER6qWhmmr$Tr8;-SmjF ztxU26m#-%lFTRLvGrm!LYfTdPqJ3iksvH8>+c@E3hbSDxsXh!b`Y?E&r&VH9n#lf` z!L*VsUYU0#lqF|!RG_~IB=_b;2gn}tAZ0auCGun-ALOFa``SW~x7oD0gav0s0>hcd zWG4+JB=PYhopxvxKI$W?8%{9yReVT0AnT`3BVSlial6MQ9)f*uGYs;pd0m&Tan_S* zet$R!y7oC15U{$e7&}iJ`li-&orpD%FzkJs)7)!R>}S4dbEPnHo|M4a*YDF_qKvf+ zAj}eGW;`V2u6B}IjS*qzFjFe?fpfSdwn;@TjhS&OJ~WkfQcK21BpgLtJp-ZeG#X|` z#xV4`&*3Zwbe~M0%(OeqL66}8=P`DFc==OVBiZAnDk6XZ9eT@qJdH1j!F7yFgJqnf zV$0TAd!%2$Le|v*ym|5FP5s=9$3s~2?&+N$9xaOOxH(K?3d|~eN6s;?%p8D~PkTK& zdV9O_eGyc%apKg`aQNw|!%yqu(7n-s?zAG>uMd@vBc^FC_xgWi^1ZLs&PmR`%fZAz zQf-XB$H237DAUh4c<;Ukm?$nH8YmO>2`Ly4VtY_8*29-5awGXuHm!q$btN$*pF`SQ;s zv>QL?2`o);;5Zw)oY?n$F}Bu(U96)on2k#xv=M$v&U&x1uBry=oIpJ1pQC($l%_=AfZ1@$@EBFOd^k~b~-8b)|*zisJ6EZHdNo6S{QUzbwYd;$kMaUvH<>uFp z10;|K$S3VFlWYLKAx`8dDgcVC_mwqAzAL-p%skcEyx@pqe71*jOS18+@u+mU*PgKH zo6>Wo*=O8IJ>F~`)a;-iZvQ{jPiEY zyIQ?ldYDc%lLFgP5=E?_8a~=TIecdmy0nbJ0V9HEySMRVwiKdPOkjDku+KL$@%p!k z++$#?36tmBdTOI3Cyj>#(vg-KO3C??Rtj6A+R5j~7f|?~HI(&nf%$4pztVsLm(dHwdyXP~hfnDcr!~ z+fR5U;Hex57TP5`+SYZRP6Y$!R%}si)=$8KG$IeAf%h$Yfql^S8)^1|tX{0Or+L?? zPihhI(zNpM4GTkm{NNQfH; zqG)EYe|qqHg*s(32_R7Q?lpi(=@<+FhiFg+MgXG!c&yqO0Z1~l!LSH8_RkLj69Bb; zy%Jhtpvw6rDgA20~{J4uSto4Dm0=a19jV_kwVk29yqi!|9s95%lihsQCOVvtY_ons`N zek4dFlujTLh4@?4eSqL3&$F(@>I9>c(4 z#NQ)CL(p`M(a?X!_3yOMa0p#mXatgeElPu)herJqv-{VvLt`*>yA`8Bf9x