From dde0da7958148df20b8f6ae808626adc5d1f80c5 Mon Sep 17 00:00:00 2001 From: jaseg Date: Fri, 23 Apr 2021 19:40:30 +0200 Subject: [PATCH] paper: Update PDF --- paper/safety-reset-paper.pdf | Bin 691787 -> 691788 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/paper/safety-reset-paper.pdf b/paper/safety-reset-paper.pdf index 00307e68c729e0a65531e800284fd5b9f579fb4e..317b16378683c6db3711b5e07412bcef7e1f45f3 100644 GIT binary patch delta 3787 zcmX>-N9)WSt%erH7N!>F7M3lnUZso{lRqkG)Sr#;EPre!wD0@+3lpo(w`?f0CR?HiV{dKDXMAo)eot(Y%iIWiPf`ApjvXtd@-D^sIzx(^< z?i07=i>IU(u5sUdd}4=?*zzio^hum@y=mPSzdx|MpTia1@4Pg0f_2U51(A_THIk=w zH10l{)3&*=UW$Ec;a98tS$A|htDei9&dQy&N2dFL;M&O0)ZH-`A8b1%e&k2m95=_* z#Jlg`T8K23e!gC)@mPb`#q3|{w}-OtkKEssgvcu^ z>r-Rr+CSbn&CKU^SKIo6T?sCGil3iIESh}8dY4D?vLIIRZ*%mH8S&}aA8K>?m3+JH zB15Fnt^LbS_f%W%`a3bfuzv10?*1R_27)V?eOi1%#60wjW(deG4tZnXCE{JND|O2C zti|)7e6v{ZN^6thV7q+Hv+SRkXzwL#vJd?WSfuPG8k`d|Id}5- z8zKEpmipYLnysm;772a*;Pg2Cz@mP!*3I=(D^GOqIrwyM^OEHjPyUmABKd&(qbIzgajzdp{^C$jN_1M~Z2P*_mcRRU;e4k# znhu?U=bQSMRc%tpQBmltRP?UV@r(=bkG=e4uX@g(u2q)mk5X^$T2@tiTd!HDWKHc2 zcPR~{`bEv}q=NVG#l*NxYCKhzw{Ek}j_q4bugdstb@Jj`So=7%@#D<0H<<|@q1A3( z+h=vP3I5Fg&?r;uxyoY4+rz;=iZ|9NPMxc$$azorf}Fw9hd+dr-b$`rdVzn7e`TQX zOXDmlPh*evmcs2uYu8FlEH`pYwE5BT@1nrI*OM9V2^^_kS9D>=Cea3NW0phtyUaq_ z59m1_x^8>Rg{7e|#&gU1yobt7^W&!XF8wQ?yID2<>DN6a=gvvb+V#QCE%Nz+o6^R| zPcFA>dm(&ov8wmwob194bCm9tU%!6+?sR6xIsBf>6dd*X_ny$#y?b!(<$vci)mE3j zE)p_-bMCJ2t<8&Wm^0M-9i4fmY_3p4$0xq0B1>m@Rq_9uU+k$=Ew_5v&4#l{y@3+* zCeKy>blm*&`At#p&T#HCR!vZ8%1OVK%~jfR>t>{9+Xv_M>qK5H@OZykyYKRpV#6h? zW*m)~@0GnV<$BF)bsw{WUi>aUGYu|o7hrzDtaQUU#PdE2_vhe169I8Lf|Dc<{ z)<%0in~R_DG>$@%;-7_Q&Mw$vd+Ov#`;b3x-gnNQC-C3B!+v60!4}3DYcws*U7C~T z*xlP+`c7vVn@p_pr)L8LWRX3_B)oS0`*G$Sw9AXUO z1!YfPTxfGtwcDj?&cgmHx~WWT*V=!bYx`RJP;4o4d{`&PzOdev(Jl;EuFaS_F@wvk z#V$DKYwzal$7e3>o5?ADZSJbfR`XfuE}Qw6G4k$h6A%^K`F={)iUoeEGj}m|w=G++ z%G=GczIUo}Ui9T3s`+7Gww}0nk6+hUzvIW#_%Cr$Yc_D)7rNES9(+6R-7gp~URGL$3$nQFxC2;P(XOdd}K_`Xo zT4&2#_T1NRn77>LFxxWiZu8lF>rz_2_BUOqcrj6Pnn8QLYs`^$#ZU5U9K5!(EO3}{ zovUlAp~x}aT4lcvZwnV)^~>j!l>fBc|J#m+pzY@`d432H7M$Aue!kb{1?#1s+?75s zS>gLHw(VL6XPSO{+po@e*>XLb+Kl9FvaM|Cb{DgqZqNPdIWdc2ZsOgkDvYhJ;j=B5 zX4pSYJvZr}hQiM&_7m#!72m%xiI(j4FxqneN}iOPvq6Fv+Y*n(597Sv-CwN{msrd(KVWccOSg-jX8 z_eb*k_dQavan3^n>x>w|Uz{{5I zQ#NMxN>3h6k`_#yzSeceiPdQu%$x=;i>lb-w7Ke=^ZM^gywRS#{l8J{x}$%(v^}*9 zQqIf_O1i&Dd^T6;Yg6Y74x(RqWg^)!PVZUB|Kjk;ZKe07-1wzj_%4}cO}&C=#)pV) z>n0yGd9MENpxW<^-JU!C%-dHhUSc=1f#r?)3aM#1iR#ink`LM3Vmmd%;E_T|u5_Cb zpKOtB_4oLSk*%`nWc-Rp@pM~p@E~Zskxc6v5Aqh zi<7alxuLnGnX$Q%oq`P^CDXe*xIF3?X*4M?DQSc=PGwgUL?U? zzj$HG@t}@l2UYai4+NZO@R4A?EL?8rvaCnvs}+Y(MCPJ?nI^^>OL(&8qGx?`d2ob4B*@v!2UIW_ot9Z z&HMLjn=}okieGh*4Pjm^9p=bq;$)k0xFX`f=6YTO-ZTeg6Gvm8_Q(KbN7t?U%hjBp zC*N`kVX?E|zwn}F2GhOO5fX+qcVvUHHg#OPckqf#jdPaA#cjN+}`z;^AB zRRsUv4UF|>Qm1ZDSrf3yDOlm){?#fk>hAnk4W5$NRS|f^>5@hMYL@@^_!M{#`DHXr z6ng(ko!fc8<^1D8io7RmR6kGo6Y$CTB$w~B2M3-1-Q&4;?AK)u{WY+;(zZ+8pD;l_hd!>_QGdfh1)K1Y*sY6r{BEy7`yGU zo%TKaJD)CA`f+?m!GYgC^_3TrCjL2H=Xp$9a(&94XYwhf2zpiQ=@^(bBdjw=?nAw1=qa;>B1UTkE3?|SelL-$$+0OuePh@Cifd_(+b&*y z`=w-ggYQfm^J_P@9=LIK^ZEL$Jrx&jIBQq`Zn#)`@|njsTb_Dp{o7p={?^>qPVZrU zdhDRzkBb$#A~ME&mtRcuvB=#M$g@r7Nkskh!Z{o54?4_ADe${z#`f*!_N@$}!7FE2 zIVat&`pciS+^lns)$8fTjaHI@Pp3*P6VY9oq1oyat@IHym1V#U)n#<6X(P1#L`E)nwRm z_A2gnvxs<9tNv%2js#O&j~m1CrVT91oP|Za|18Y@$I{+%!Tf{dfiRI@Y+D3osqWi) z>-}ujeW`)|%JqTfUmWyxnvQN@nRdu1f-gt-p;rX!>V@_F%W9NknX?mR*RdT80C)Mw&ZFfJc`t=)Y|BNXe!mdZY$rYaJuqbiadf=q;qXxmii^|{n zJDlB*>~TGNz{KrL*ptr>m$RQ|eWvj!Ltx`;w>ctzN9*()t%erH7N!>F7M3lnUZsrYlRqkG)Sr#;EPre!wD0@+3lpo(H*J{6Qd?Zz zZT(VpTGcb(@}dUSh$NqhT;kT}*3Z`xaSaywI?25FWUC67!@_{CSKaKQdVjq5cK7$s z-7kC1ln+nRxU~4^V~-ZY?jAYU&XlJ1#XpO_*zWM(e)~-5q1M7sOdB)kvOJ z(fIV#lJ|LivM}q?v#Wihu4nF3dKLRGVv2P1@}m(fmKR@@Mw+ZP<;^=?;@OjbOpV8j z{dHabF=4?SH6N|!ozO68^f5!pAXE7S!F!2Hs@^V4?0pFSR0 z@!(W$!Tapc<^Ajb-P`eb(VYwID_mJqgRkE2x-<9kJ?>e%bj)sF@(tJ}*s-uDtnHOHU+}b(Ah)eH{Wo%EXNK9P|@5V33 z%}f_FZc5ow??0XMd(oEP&h-bCtlo;ted1403SghXF>{5=gcubA#V9woFA_()j^24A zu{3ll{~R@*$*ZDE{M-vgKXQi8;ory_qvFGq;F&D=Hb(5F!1oCUoBAv@SMOIyx^rYV zYm>2JiAAW9V9asmKS_tTypq^dTjI+y!zkqBKF$5vmOY1VUs|W@;HoKlM_ju;Txs8w zOZh*3HHqne_}FAotg1VY@j=Y)kHuR(HuKEYSs#_6@bld57jxL`(|k`ee+Zs;QE}4t zTeXwB<+;|ivF>+b@i^@G>Qv?ZiUWop;tXeH9uWU=xe&OV33>OyMelD)y7 z47VThRyr6zTOt14j8z*PZ1-IFA-UnjV%Pd73&kO?Jtm9p7ih+BBvq zJo=N6{imb(sD+5YQ#r?m3&&OdOMQ~~Fj1qqR6lIhJod8^^Av=X}y3b?@xgDxB|PpXTgz2wpoeNnuO=UM&N=%YC-IJS(%# zdtCGjerTZdpVw}}B7IL$*6pzsT^cOAd6#T5RylI8n&}qvG8372rzN(Fw~G8~{HA$U zOR3h)S2>gKvJD_xjl(fJF$jc{-S-4BB(^#HIBT{o zhw+A*$B$j^vpX0J`m{U0na2O>c(B~u^=-y~_we^8!ZWvOe7d8XHEY)gJGaQ^2X1EX zK5%lmUfT=dbBk4t)ow=0=q&H}e)sFw(%(~?8Fun}nkhT#_3u5QuluRldiJ|>Y?H4p zI~gogereur^)2bH8|(8K=5!g){4!Ulq2m+ZQ<0@Jx~%#C%`f)Uv6g$i>t54YrQSe^ zd6(}A|9m|AXL{hes^X^a%UF6`CVW}8cUge@in;f^j9TQYN+nk`JMCS+PQ$3J*l@|J z4%e9ZUfB~<{+tkAoaq0j%5wj_xcXV=?flo>WT;_jf4{@{bh`Xx4yk(+>RYDE9}t({ zRS{;x+mVwb#$6~<{Il?k?}9zHr%ryf5Bc-teP_O3$A9G`^8=hMZZY|oO_`Iu$kEVG z{{3vNv$D(BWMZ8^#U$R~3YBJbF8QmP^4iGt|Iv?Y^mLy*yRJCZVeOF}?_Qm~HdR&R zi%6%&8}|n`0U2*&lf#8t-7+yeMS~Oq}`4Z)FqLtB^@6vo^dqk`_{W zvfg0DhN2_6(o*}Ee4Vv#n&z$F3m3jr72N-)`<`~YsMy13C+m+1+Sm1NP7JflQGU9y zWWV{o#@EYdn&sti&3B#7J9SO9=<9%Oouhg6P=ck<$b*|0b z>?Sz($#03--%pw3B;49mu{-yrS6jq?4UXP+xy%hM^_Du1oa}fe{!d^HdZNw1)l#{3 zL4>4p;++fTk67-@sYiXS@;>onf_?3#g|G&MLVv-!1#iN)v6IN@9GmUwrCFu!1Vz0QJ9L+9Dl*nqBY z#&OS7-t{p}^8Z=S{8Q|c-};+g5gwBk{!Pn^HkN8)GG|vg zcW^M5I;1FE?fk!+&*F_{rP18;d6FGc#*(f~cfvm|{3m4Xp|Q|EHR(m~!pjy-_d4&( z$X~LT%DFlvSA;_&n@wNJgTrpKpy`c{{bl=LS*pK#8{e|FjWZaW zd@2HFekur`S#-qY>O8xy3rpBnEf$$1F8S4e<^PYYo2UP~ezou=S8&H6+q&Gjx4brr zfBn_25YlcW!eUh%!N1^1&h>Tm%_>f^ZYvGkOx)dF`~4!8JaV2h=ZBzSwD?u2Ai<4) zt_7I)?_D6ZuF-^H&*z4px8CmJz7i`vUGYRf>isF__0Dcs$YXR{``<#%4Yx&po!WAX z$4b)e-v@o;Z!68sCKz6pvGQ&3W!kx4)NE~s=-#hS`W|Rck6pJz6KUwe9 zdGwIYEzTzif>XW*yc0aMVf%xpR~LTx|NPyZwMW~G>V7L;R*Upmv*XhBNgwvzn6|>M zpOHs8cZRUQ{xc8PtNonjcT($w+1gGfTZ@}py&w%bf-jVHTTkyFeXlyFeXVyFeX#yFeYsc7ZxhgWu}L7N*A921e=z2I`tz`o8%o zE{P?n3K}j}Mg~TP1|~+vhL#{D+tVw#9`QMwnweTSIk_2{xjC9!nz}i;8Jn0mn;E(~ znwl6nTUZ#{DcBHFGQFpR%cK6DAd8@YiM?U|3?q>S@z2Bp%*&PM$ zcycu@acFwCmN9VC(ThGxjVcmM&Wf@@svJgto=F^0JeXW*zmYJ&o{BuEUH={e(f;Z4UX9h z_{|R2i#b=$o+RoOmcga+V|#Q{D*x~ODP2ZBg8E$%9#YS9pFX&Mn{A2X4Zf`gQIBM6 zQxad8KmQb=wS;lz@|1a#J4P{_KOdBkE^)GOHANOly6dXf|Qe!tecW zF6t<(HF0lx{%Q?FjE#6l$(E|>H5{oQUwd%M?S8p`qE!8<7j8O-PW)H(oH8+F+MZv> zH(Z!{biJ_34bvCrtFA|cd+l3Uub}Pj>3MeggAePkHHXKW_4yd})n&=7Hte%c*;9AQ zLQs-fyeD|SbiRz)JsE!Y-tBcJe)WlaY7bYWZ!dh-Rk-aA$7V&7d%BH#k5$h-w$r|c zf5+1r#y`0+77uEd)!Sq&^mv!LU*+-Co^YeMZr4v{HyWPaHT>i+HF>`|mz)U~d(Wb* z9cd!hrBwS5)VsZ8OuiMm_>K7DJttP|NImo8(h8r(Za2}jA?eMfFO%`F&5N?E<&Qa>;e;E^axQ5tpi?(RjYc;O_q3O-n-Rx##L#68f1R zqWN{_k_8&3KH4tZcz^7lqLn&3fNN%0r_H|0x2ltDYBFppFW=aAzv5JyW7&nvbydH% zH2BW6F}`?X>yaC0H=nOdvZ=pt!&$q!y76M|!Dk-d?()}5>fh>`@VDl+cX|)=(qjk9 ze%!1`)sZpgyZmCJk45gDFph0HPa^8u3+HUKKj<(grNEC*iuw1S+ft2PD?@zdYHyT{ z{l~sF__eFw+^?rA9p?6|_~gYK+%+v|%M_<&zCzU|&&-24r*bV9@m?CCwbWm;-OKVy z>jsac>C=7)zZKg3r`i2VaIDTo?X`_Z^0xoX53zkasp6{M{v|G2szI6)y*fj>W(QrL zQlGUf#Q3gH+p^~A)3yrb=X_$@_CZ=zBdPgH-U0(H(?D~tn(qbr0f!rlg!>q_-J1}r zETi@Do^YMF7!R|)+v0{`#|W0<1#(=fb@xr{o1C3qNdJgQ(B`UTj^g4Kx*zxQ`&st; zn^r8JxIaU(#7SJIU37y`*uks_<{aUNRxjG*Ueqtuyzg-xnjLDcZ1ebYAwzzl!=+#U zc~$<^?T+s{Qvd0F$0U`y>gDdvDignMbvN`3x%)vwuQN5=*308jqhtRh)xurp7K?cP zsWkVR`s7!!+)~d^+r;|Yygp6Lm0Rll>G}OC6Q4=>S1U|ng0`Lerr{j4@8w60;Glmy z-(BR0^nCmNd&ZI_eDl6{cy?L@y5zhUT;9{+>>k29$3}@yLQvE;>3@esiOZSjD-1r# zM{->4