From 083c7722efbe45d1efd31011e4b2bd659fa94fa5 Mon Sep 17 00:00:00 2001 From: David Florness Date: Sun, 9 Feb 2020 14:55:03 -0700 Subject: [PATCH] OreSec talk: P(x) graphics --- doc/oresec-talk/P_1(x_i).svg | 45 ++ doc/oresec-talk/P_2(x_i).svg | 45 ++ doc/oresec-talk/P_3(x_i).svg | 45 ++ doc/oresec-talk/P_4(x_i).svg | 45 ++ doc/oresec-talk/dist-P(x_i).png | Bin 0 -> 22962 bytes doc/oresec-talk/dist-P(x_i).svg | 1209 +++++++++++++++++++++++++++++++ 6 files changed, 1389 insertions(+) create mode 100644 doc/oresec-talk/P_1(x_i).svg create mode 100644 doc/oresec-talk/P_2(x_i).svg create mode 100644 doc/oresec-talk/P_3(x_i).svg create mode 100644 doc/oresec-talk/P_4(x_i).svg create mode 100644 doc/oresec-talk/dist-P(x_i).png create mode 100644 doc/oresec-talk/dist-P(x_i).svg diff --git a/doc/oresec-talk/P_1(x_i).svg b/doc/oresec-talk/P_1(x_i).svg new file mode 100644 index 0000000..8d39d5e --- /dev/null +++ b/doc/oresec-talk/P_1(x_i).svg @@ -0,0 +1,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/oresec-talk/P_2(x_i).svg b/doc/oresec-talk/P_2(x_i).svg new file mode 100644 index 0000000..e8e430c --- /dev/null +++ b/doc/oresec-talk/P_2(x_i).svg @@ -0,0 +1,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/oresec-talk/P_3(x_i).svg b/doc/oresec-talk/P_3(x_i).svg new file mode 100644 index 0000000..3659fe7 --- /dev/null +++ b/doc/oresec-talk/P_3(x_i).svg @@ -0,0 +1,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/oresec-talk/P_4(x_i).svg b/doc/oresec-talk/P_4(x_i).svg new file mode 100644 index 0000000..b5eda09 --- /dev/null +++ b/doc/oresec-talk/P_4(x_i).svg @@ -0,0 +1,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/oresec-talk/dist-P(x_i).png b/doc/oresec-talk/dist-P(x_i).png new file mode 100644 index 0000000000000000000000000000000000000000..4f690ec8a745635c1d1035747486bf3508bc8638 GIT binary patch literal 22962 zcmXtg2Q-||_cvCFs8OR!LWml@FVTAm(QB}J@0|!yqI?m(MDHznU(urPDl57WEUQPa z@8kDBuXCJb%yXZa`?+oI+$&mBU4h^!^;0x7Gy)|>+4pE@7+^Fs^vx&Oz{uIF^JU-z z(?eQG=Lzr?_{1s-_#M|((ZB-@4V&%p8(r3_Ne39D@|4r})OLY*`dGMIqxtywaM?LK zcvxDvT64L$+hiSxQ=_3VqAAI~)A7yTTlQ&vWqmbxd^q1dI%Tm_$3d6!x{K?{Q^o(- zqC!12iOHWm(~^=Res`^bxg#eft10zH87HDxk-X@Fkc-3GMq=bYsI_iK-)obeD9T$>KT3M0+{V?#Zf#cD2V)F+yBNO_-Zr5I@O>gws-7gI6A>V zz3X_8=JetsB=xqRWx-xaDX^=jC#3yvz7CsOOP=x#M^BLX)CY&flcDOyL&F3k&ik+j znWpXhh5JegqO$|D{kCY*!m#?UG(r;qwXoL8(XscHGwmcN=k^O-A$;syEMSNT;(#<* zH^Bj-O9pJ_X<2P8x95}c&ruB-e{0`oJJa!^)PeDKW3BeAg)U&zuIrY%!r(ty83L2h z2^k+|l!ZR9;Jhl0=F_Q6%h*gHWoW>7Ba_u!~t)BM0{)Moq(i<$VlUuL*g8~h~3Q0 z7>eJ&@rjlxblX}s@mUtY5T^2d=8Nk~=S%I2l}_@Ozae+Ce~4o!#{Z{~fn}Tk82bP; zfhnJQSI*!|?u*VW%Z)ynW)kwumvdoajQ1}9ui?}|`MzAnh*@6*v=2%E&4xRLhh7!r z*}n#H7s{3yema#e>`gxtedO%7w1X1Jh2^v_u|CNqUY-BQ4L;VOyyR@4>QvnMOXWmU zu8w<>BWFJJEHC!Qt&k=J40nhR7_i4HyEVVL3c%5)xfD5i#Te`LRvs-@4tVfaW3?<1 zhE0CaaMiZ2Zkhqnh>?%B?#-}D!G}JbwIL`1`XG9m&WEM~YCvoGQ#9nC{fLKKTyBjU zc^%u4Y!<`zt2JZuP2};!kW#{#u#cAkx8alDPkc#z@qESF1Mz}hwGi4De_&DbFya61%8<*x)aUl6_r=b6PCB&geg9f1iEQ=$b*2_y zJ>LtTb6JyIO-~CS?c6{#N1R(?Ve02gKfABPdO$r`_fg5d4KVH)@|ffPz7{3`fQk=owyo zEMUaw>->2EAv7Bho={t!L1CUe{e|UPSB}q$U;poV%M7RH`O96so)Kw00>{v&l}0#X z+l?P~v1iV_nCqlL7g@Mo-@3x%H(DBq#;XE+T^lmmaZ<6=6;`_!oygwOygjHNqR;YK z?~iu;G5lH}IagkN4W#$V#anV;mwiHf$2EHr!vSr(XepRY*>@0qsDNSsFLZN}B*%af zP?6URXgBDn!ehytqkbip9M6qtmfT+-V`tg=K5AwoO7R2n_Xzh00u5~zd!e}S^9xX4 zSdM1Pyp!!M4CakxuPY0Peu)>}kqG}*feDIf87uIazI}BQqGFNrzm^3dkzD3kr{GwU zV?C5(3uR`>J(hVfGMJ(8V{}^n(}^#Iy7CRV+xHDiXVnLO1XygYW^f%d%SBV8%a0sZc0^7Q2AP0|tOH6jR$$|q~nsWY}|nJgtr@@xAKd4kKELEEmHQtYMsH=_47QbU(Mq1B;k zg?TtIol87dxovR+A_CV{;;wVQIu>dnL0USE2td32hmDbaAx=8oAy}ucx%8xQM|)r` ze+|M4sROeqHF?@SeocPSokX7eJ^bhyXgb_DAanzZ-uWVM5TJ0{@I*P(Tj4N_PYVUh zfR>*kJTEz6Ye(`W2VDf>PmM|MtV~$lpUt%YAfNYcYS~pg4O|X`Fsx7tW^aic*E+PLLSs}P&@aHQ+|(*O=&e~r{SVnl5Lb0ts9C-XtnJNv;Ui3XJ?jahO0ABKy_ck# zsK3n6v=Qf3P}5uW3Xg}x>}D)rLWls$`zxFShSy>YHj&-evou! z5=EpE(5h%Jty{|Rkd4P&zpQZj!8@%{d&^)?-wkToT~hI2VDu<(@th3|tq^BWQP1@M zmnz))p`!3U)bQnf)Cwj0bRfH$IH4^rf4aZIj9MUpJ+lOMYwCoK@L|!PvNLQQ8wdB8 zo0K`dYZ7HcL$~MlZ7N1hVnq&$5JG1v;nYY#P{e7zlq@-ig7qQvM;CK&oLf59KUXX} z;JV!_$r(|87*op8ZITtOroy+{%v>9}_=fLFiy<(|a1Xf9u?gSr)f(HS$uQf!(Op~W z+gH$I+pk(J_$y{{MUaW=H-~&7^Jf;E;CsastNXBP%f=J)r>@UL1-ImtG%bLL;KYiH z-~8x(%8Ym%B-1fADR&P3W&gl-_h6|E_g*;V*6P1g$H`L@w6irtv^q*81%nIDgg{JxOgn$6$Ya+=2ml z7akeAZa72Iqm7iJ-lSl_vm>VVXh2ss*R@%&3M8@j?tXLKmUk{#pYU$l&oUV<1uul* zGM2qBpMibKP{;ItkLxuJxhp`2npFytYwB z<1|fSNr!wfv)p7qc;i%A@ESZ?K>d_2l90)rv0?_LvEI)MP0+%daIjT{me>-n$sn%` z@tEZn^LhAdF{5=DerFZVzs-XChjg8V(zcv?PFXcB4e%l{Z{J=UgP#YvT|P5>#W6XU zW>Wj@@~bpx=ujcg@}`hmu{!vjk!X8hbJ$IG?4TsQ-20I=otdYeqPzY}xIrb(5reM@ zrSVoEJ8ek!@~;<*x^jEFhV*L1H*8l_R{pGPFG5~c+dRlMGf~raN@Nn!WW{8DdLX;w zKfyly9BnHfQ4Dhk&&gRUno8KUGYRWnqm2evhJ--ct8sQ1uL9K4?p)@za<=L|M!t?x4n(XYd)JwFgxB5EvWD}g+T2f zSbq6K$UBCpTJ?~*rC;MGB;WYmF=_?k#5FebV#Jr1?b-54Pnyb}AT5w8ut}KB#w1)n zS>4-mjyI_&Ys-x-VK(C{xG%S)-fq#Mu%^Um*HOsKGsD~b@&$5qQz|wI|Dm;W?;KAH z_Y-A#ka{jCZod6_(^B!Vx~E9Uc(r?p?)pD8(em-A%!kP+=N_!Mxy$d4i}|c?45$fw z#V7>4f=Qbutn!ICm%PQUvQLC?CAeD(F>R%PyDr#!pXN79TvL$w90$cDt*jQ#-G#?o z2#zYQ80PKq-61ir17wfP0NJZIQ~pSx21!Fy5jE{Vff!@Dwm@)JosKkf=Xe6!=t zMbMk0z=%aj29xf-(@`fK!(hwrGGT`WlgEwG8phSZk(oxDs$D$b!@`oPlmE813&xIt z;7~|Y-cKa6+(R_8%L8kkz<&XqAW-6M;ayW-5HjwbCPpl{BJ-UsYzYf_CQ06Olmcrh zIxMIP@!)?oqNIW5NAuPAGlIpTvK+~0`DSMQ-&6aH))cF-$wWXXdpP^qn@-h6OQKs{ZS_h`80k~T?+Q&mea8dX3nvDr-JX3ueU1gpgCZ@547!AR#T{wu4! z#80u>od2&Z%QX!aW@SZtotG;U`)~iVX+nS&-$9^l;>mCs;*0e!mOvCqG8{8EgAV zf;oUuy+ocEOp&{@n-zNpf)cdHgUbZ|oKjp&<4zVF=@G_UZUvOs{>b z`u6K7+p&#FnpTaasp*l^hj~Q`{I24NJAO7(`LeeHfsD)1e&Cd1nd^$AO&k}=YK?y@ z1aUd#Gqo8C+l5*OX85!Ug^+jE!WxA{`DZYp{47m8#HX?lu+u|r(|6>uE<~U+yri8w zto^4lauiWmHfy1C)&YU2B{`RHw6{eTa&HF|a&vh@4-T2etVPjYB0`3p&g?}xvPuu=6)lu#{2{4#>OT_kX z`|>w$w_zVrrd`-t2Q?kTH%)ZtS3MZ7X&I2_I&J~HySocDy+d(Efw>Mx!S9;bkFN~p z&$KI@zo~c9k4PFWX|QyC$#fQahgE!1Ms)eqo+1d1+3uC**(9A31#_T?sxLy_udH)v zB={t$uGQZYa-d+T)Pj}!PJ+OufSF0R#;r&9D|g4r?qzNqJRPwrQ;_YJfGzY=>Xl|tK^R|^p1ft{Ic81ldBcbHM9BtM&#OFO@j9=fC-I8d#apoL zy+PzE?TyEECG~{V!n2AO$_#bv)D9keBcDc%%qZmeCY)ti?irGUKDkTUw;OY9+%?-1 z`zPO$&i*!_R5RfJ8Ul}c>r9LAUJt)uq_>jU?31_Lv0Voj4xuucb>PQN{iVdeB&lIpBe;hm1r$bxHPy!^eh z*fQ2>7p*^~)|$%B4tU0jhHF5kE&!B2eh ztM1>&tz}U`r(RL}6b>UFP{%8DQewS6* zN87Z$wCe4Ol$@*HI~g2^0t+fYNmtvY{|)>uK{hW)C_kg}F#qo#@tLPnQ4HUCa)<<< zX|y?L{(OHJdvab@iNdor-tuF8)5#F@Ump3Hd$uyKxRnr_kkk^f3D?(&vpM+hHgiAz zK^Bzt+l87HLz72u8AAwlFVq|zaYy!Ft9Y7s$p})L^jR^VzNFXu zNi(-JIiT%#CVrENHSVX*@a_qvdZ#u{O@~=5f)(yoz+!gTlK)nIo&VpJ9ord~;(H3Q zar}JWYm2(u= zL+HAKZM5s8wJCIK3B0{OB^w>%o@1Y4-O$(~=F&ogV7?Q?kQ(|Xk(949|In#z z+6Xe|bt_{$B#(6BdU}+vQ?q()#rGU+g9Knjsnca9iOoc6pW5hi9`K5F_2w{`IJsI1 z%bmXk)0g^B@zI`19E2KvqL;^UXbQLf-kM~+(7!FpmM~#P;&qjh-rYKldUO8Zr6XIv z^3h{cy2|1QW<`&On6f`uR_-T-0?v=*+)pEmzLX78rZO8^gN2CrdRyDRO)IfWkhzKwS|@5tf=KGsvHI$JDR+5K9%^zSZ?cnVk8zo!=oW;eLlhPBAXudkU${ZZPx;Jnjet4)bg3 zBVdW&q$|Ef#3yh`GA<{b?-TpvH@zR}AezPav_;wqX$&ApzS88S@ad6=Yu~tEC>d&y zT3R>PoenQ^cwkI%b^J785b)j5I>*!Zbh;`5mNst$x5pwiBq}cn=D#gU@GQ2Wkj0C1 zkqPV3*Ha0kkPRyR4*#buN-}=BUeR04vC_=XcA!(>Zg65@i?3N6lV*n2{WU3u-L`6g zE&i%F(@4Pi$*%Ve6}99ku06d3cEX<>w!SY!r9C})_xHid#Zxxbw8ihE-+x&fq;^ORc#j#E}m=`E{+2)>q!#|x*P^bAc7K%b9V)}Hq0#g;C3 zXmOrjx}irB(#2p2Q3YX}#zlUp3bh|LiAuGywHi2v(JM6c*GTp8i)u+os!j2cW_mwZ zW-{C-;mwldoeT&x==T*F7*tu1_;^UjZ5~T3=D+I&k>*Kgs=!@f-*>(##mE;wV*wj* zRkaiQzZ$Ykb(T>}NwB_ro=U31@vI#)#o&*44E7%V(_75hRs)(@(5_W%NM(%zC(m~N zdQ3hw!^j=sI7PRxCu4Pm;GoU&57Y~yR2xn9!SypiS*4MGWr^BXsui4tqYCUxr9^bb z+k~w_=={kJdi=f)Y?*@dQE~;NRY^%XTJFt)nQT3HyYZe=mXOr+ukBd~X*1uUg7-{A zNvlny>}|Mlcq1}XAW=OE@J`rBv<5@w1h%s1L1mp{PcBv7>(0zVO-d7EHIlV| z&>!$K2tO#aMELD10M#lW<>jDcrqr%CJGuXm=nz{C5uNL30lXHrLXMs`JAHuNj zof%9*GTwTe*Gh+%4<=VhydSJ^n`bRcUJI-aH{^kTRo9W*(0Mpk)~3=&r~r- znJ#UKb4hQT4Ud2yuD)2VfQse!&iDu%>3{d?a(<^YNv7lFCzO4fo?-omG->n8ib6E3 zt1J!bFI!5Q2N|u-jX+pm1xMD;@Uc*rdeBu!Nnm;fNa$<_kLDjV`&;+m7(OEyG$Q{H zweqC8!5RXYZzoYB@gpM$YE2$tuQHOXFpatN)e=M?evT2;;WFuF5S7>wOO!DNV%ZSJ^OJ(|}TCDCp0lpkP+SYGH=X_FUU! zT4A1qB5>EB*ZAYe^_0^}ZHCeb0@)XM<`qB}0dBaE9yJ~_MycyM=KOLL8g@17C`|pY zOAE5%Y$GRWHx`f0e5iW;0eJyZm&ZkB*v14kG(f8qmIMEdt7asnQQItAj|0T#XRSXxbCTPaH_(F zKnvDAH81O^?lV$`P|8q(VT~5pyCUvSUgFCBB?UFrtIh1JD1wc_I6S&f210&V)px!k znI<!L5m>-I z2-!HgZAAcX)1@()AT1wX`d5+S7T`NWFgiDWt9X3vj%+-?V`{H*DoUsg7DTe^<#dxI}8aI zKYx`VPV(2S+QvANqAK?*+t~wl!qpox7VtdH=MpI{yv~>s+2H5=FB=H`AMP%$h9vKw zaU8c@ZDn08uHIAptp^^&a!hFNI+u0OFnlMhGQNUq%Y3C&_5|^{?vH-%vd5%^2LYX^ z=OE0@$}U+=Py~54XSV9__t$@<2dx|N`(k&Oi;fNB6O$4bOYdl$8sUTrbY42Jt-S8; z?qT+t*7bicEbE#VaI1I0PlRzVO<}fU7{9UALiQ9^vB&(?7>+3X89p0IIW{1V&2YA! zkcFScOTcV`amSYgP*kyKhxy?TNN9a}#EIM~eN@OGW|YO%kDII%e&x6r$?iLR}pZQ;?z8nAkx z=e>2BI$oBlSEVH$ItW{@TXBCWx&p@PCKIM;Xnw;m*I=-wKPD~u*)BPbq{4&bXE?7I`ki$=R(pvqV7++wM+1tiDx1MDeze0b!cfi`1nfiyKhZ7@hCgAGi<$n zg@^2tMu{8x5de8qoxzn(wDoXs!@sH}C}W2dAZawK%sooroh2RdH>Ll-7GO_~*Sj|yQ8h>K(r%*m+(Rz3b#NxS z9J4d>HEVj)A`y&72-|o^@KRQ7i4{MvQ6;hHl}v#Pw$ zK8{@SsSO%Rul5glfvr&QY=FgjnXf?W^%JN+v$dy&l7axhSd69vU%Ej;eIK+~N)mQ& z?^au3*-fjiYr&pl%b)Q68ls8igO2D#CAoSzCY`_gClPZ$)2c4}vy8qjQLD`1HYY8a zS?wn>yWyQLg8D2Mb^+({QC!on8p21b?zpsM>%W~#b`I4D6e;$EndxGeP8bJ}G`$|c^;#2WxDBrfd zW0$g{i`K{y@*Mn;s`x)p8RYNVAOI*lf){T*&-Vct-W)lF|$8@Q3 z?L5zx<&rKPKm0jVDeQOV-Oc42jonnNNYE4Y9?ztxUB4CG9TnoEA~Z%D1Hxe=cmUGj z!#y~qsKc>stU!e&m-!#>Eaj(8k%g@?bu8=DDJ|shK=O1>R}KX8btn!j>}=zIZ~j_T z`I2TbvZ^WlFdOP&%jU;2FnyFzR<9;5d_%A_>vYA7@B5rCZyN{TTYm{M)Sp4^6@SCv z>3+Qc@jFSdjA5RTI5ESpo@uPV2`up!v-)gr+Dusd`HSxEH)ZCAoQxo9F=BzpLJ=K!v2 zGcH>*VThU$otNJk$P6&WfHFq^vGKg!HgI z2{W)~`5wM~4GT*rHx_r;Edr+fb?$uGu{p=u7;1+rEa1wa%g9%Ng`;8{0pW8nHD=ik z$OjE88qcAuJH;b5r?1OeKC;z$1K={Qdqw0j2CepFe4uDa^i;8)w_u8`bbfSR_QB!t z@CVqHJyQ2=cqj`Ty+H$TfbH+HnW~GZ~zZ2PVuZTX^C_d7zWJDzvd1``7dqr&ZsxF1q`1bS4S z>BCSLbr`xUyC`cgi70Ucmpjg~+2Lzb^2Klk&cpl9@v}x@-2md|v4!a4$zgtg0Y#{p zN;5RFM-Udpjm(`Hy#!2569<~A?BTEr;AAjvu$Cpzra3-alvxGiroVFK*!L#5mJFc- zh>HdT^yWeh03u=dFUp;F-i<@%4amA`!B6NEar&pvAHL}IHwV%@6_1IZn+6sb<|vxr*M3{JouFW@jtAU>xn*D6RUQLB*C z2XG8dyy5*FJzZ@G0E-vGmz`-P94~uVJuQPX^@0!Mu<*gJ3qWI*PjWYs3*87O zo>{NGi*b&tEC8iGqv`~ir=l?dGw?NDw!Z{5)m zN!VY7w;aD>wiroR6rTE$N{mO)krm<Z?RbG=Bt^w$i`*wOjfWKOYMMDhK&9 zi~Kit0r!HEA1%C?L*;{T&54ijuOEDH0oO`BnykZM#sZj`*8v4Y#VkjS+6~^nDY}LZ z@aYs8aS9(oq>)l%??p-J8ZM^qNVEK>ay&0$;E;T}Pb-$&UkI5J4Z?`v9(9I*PE4f} z_|nidbO5%8x0!YLQ;`SoQC8NowI#n77nq->C01EB1I4+%3QwDOKfV z^JhT+S zdjdS%(m~ZV=UvfaL1d6@_2Sn&Ak(Rcw`)qCd-TtQDI7G7Q_A&5x3j#a{`t~%Dj&#A zj)vufcpRj}Auc3!=72dvzbK@1&I8omtL+a|=QKEr&y~Zkfo52^uh&9`$Kh98>r=mc z4w?5~?am+VN=LDhz4d&fe8HQ0X7g!aMBt;}X+#NwJ~P1Ap9N*klk)(56nfUihhYa1 zLJ7%`M+Xr;@ownA#23<-F>ezb1*YZ3rBhVre4_epHCqDyGscSE{N)j)c?q<>aW)Z` z^!4p)PhteP`29{TP{=x!Cp~0gV!4AnssFC^cMcEPUypUfxfTk<_QmIH)S@SV)GatE zmg_8t0Z-{3VyFjlu&W2|iV-k_JJ2NGtrk=>9&}x-dza4#0{ z>@vQ1JVIuHij%+`3qCj3!hBQ+bJM@^)ZPT#KrNP**PMpi?3ST&*(}b?>}FU2MC7rQ zb}FW$Ems!gTiuQaOL-UwB>-drV*Oa{X-L1Cyn+L5gP+|2kU^&1feKGMPI42`W2J3= z{^~n+=sKWZ4T`h9<3N!uP$WCI{H{D@Um9t5kp}6I|2TT`V7ujZb6r6MDr@TL?gq=p zQGWvqH*B>Hl=5hR<_i05TskAu47haE0>PJSpxlsqzsJld%gUvHNQmVBYI1e&Nl}M~ zwe3z#H-t+Hx2>Q#cXTt)38FI@V)-tg%*WzEp}91EMrKI- zd+H6k4O;2 z7QNWw1&_qnZpt^3dMaN_RLdoH`1QiGDsz6*bV*d+*)%b*a3HY6yG#AH^UL>DK&USS z13waHMa(-r_DVCoa{}z+lsG>{lH|#oeudzmybZNXp#}YRCZl}qnL^KI&(JlT zgj9-iluT<315b*O)fx~gk5~-{bvf-tAuHC4;?mwnFy_CpaqJzLK> zV{N%?+B!$w`7bT72I)f?!ES-=-Kzai;cvwmN4<f1rsM zR^HKr?&C|E44&Y8f{A zpXjmOU!|(E{=aXYv5w&BrwCW0I4A*&V^<3(Acn_U`96fefj{I|P^`wYztv~M93Z@W z(&N%HvB8DXJUcxnp)C2bOff&yn_*=mlDq=(XuklSF?S~V-?vYcgR8nGFu<6p|2tiO z_%H3?wS!tk{}6YQ!Q}B}?u0*4D^ojAT8^ci^5@C^SH986&)&5V&EGXOx@J)ICU6AT zj1_{31)M`!yU;E0HUyAzwV0{p8Dwxw(N2FUD^N~>Ak(lu>{JLd3VY!@d;asNjU{Ba z>ve?F@y=`YEe@M4j4eDo$VznxJ7j2GXq9Umc5<4ND2`uOI)1kTM z6Db9I>nw0J0(U1zi0BoT?|Wb@0=l=$>fiFAwj$%Q5jDU*BK5X`zRBLxPXos4KdrMi zhHS?XF`7hLoov_CD6R~02(*VZ;8# zK=SXlC~Nb#x#v%;mdnp4g060!%UA>+Y?ZV4Cq;Vej>5+~-&jht7ffoQRqygZ@}NVI z24;M5nxB1#mvKuom>{LHrUu}%v-J-y3LlR)ehx1=^itepA#cXZW0uLPporbP_QB6G9s;Zz>pF z441dqTmf-KJ*vHWlRu%Y_qWihb)}9x=bcT(Z)Okz$jD45kzPu&Yz6SU<9Q*s-37u;H3g3C=3)(NHMLEJ^Xuq;1bh0a{9@$zRvL!Vy!hJ! z1b7s(l}e@ufU9A00ri~Zau~iiLr2NaJv`$jR^bHrL1Sn(-mVJV^dFqIaV7&=rt#4< z*Rz4v06QHo9dijdTB>ZzuUVMOo2NnRPm2JBC6?Cm7XiFVet&6NZo2xfmlNV$ZdHkh zSS}YFFacGRKvAH5htWaxM$FW;j?!G01@M_NyOG(%svfvB{(*xM!vz$JK?5jhDVgA?FuNxS)8-IeSv8NT#H7$_wfrQM4qfb$N+ z)lf`xvO0%H$C!Q=6PwoxMmvlP-NO>HEtA$i&dvh@HgzBygS>#d}_18kVd$3XMc|JrEz+1BY~)S~NZRxeGi1rq@7M zgTX$_Zxr9G|ELS_ylUw)d zaJEKou{)LjrsA~a^1{%Ku(Rv^fBlUYwd4+k4>D$EW-1pr&qY0LXZOb{elxavu1}jB zVBcd^VeH}FzH}5uaK=on@f_Wns?GM>{7QWBm0qI#fN-ozGZmde%0XfoIEaj{l-r_D z1L7*Z5zO(*V_bkTnMEVlS+Nhw4g1!usn>40gSj%+Jrx{Q+f?hHptlq2-*rdS$+4>N zs(u#uWB0!aG43WH<{hhI4-#qbBp=8Aao|qn%JG(=j@i}kw`==oRl@|eDCVftA8es4 z0~NtIu394Mh^A4iwJPK_Iv@+9kIhP5mJsu5d-S3SlgOKw1`mzbcm zgQo!%N&C4utRsv32K~9?ZC(qJRD(-Hpue0Xw`I2Q(?IynWtu ziDnGULq*}h(9ZLr;K%IjWAjOug_q9E0o__I;5}^mtHC!Ih0@qSau{fl@$b_s7)6D? z0ag*;Mjf}AN$|l#kPkRMoW=MCCUmsEn<-;>TAo1VfsUAm=iLbV4Su7(pT}~CyJ*2JH;>y&*Hm_)x61&`+uDK zg`530ORa9s$2_Ag)di!KfaK<9q&;NSm;J>Fwmq7QXU33vF=h5kDJnx(m# z`8Ob}!vcCAtHi2_#xOcD9{pk}g9}<306ZxGyk;aC%V)x$3#B@2%M_y6cptNnCv4x( zV$2X~>KNYG&7fe+*8aLPGHyc~L{KC~ZNYj33PU~E>AO*wS7>2a9ww0Oc|3S7-&|jJ z(~A=F@u|32&W!wHdn*jQNW&=K@~@N5BG8vvRX6dDrAd3&$yUPQ?GeAI`Z;j2&&V*C zjx2CFW;O@HPyOy720E66H47pLL|4=79ZQ4WQI%Syll)qcXQ!j4jZs6*A0qjNgC9j-0& zLwnDqY-&+rpc_=)I8@!7C4#X3sdbR&Qs9#@3SkOhSVtb?L58Jn7C2B0{9_dL1`>Ub zv-z84SZYd-XRI8SoROD)gq+q^5J;*+h%`%0-WPy|o$wL0Xk>GFLp87;%?1pH!ej(5 zkk4Ef#h{aE0cHTZPnCem6{sGt?PVKz;FdDb39uJH53Qg)OL0r61+bL^PjS&f=O=VgK;g+DTxn-6 zA5>o>AW1E$`@i%~M#foPMwk-vb7LUjYdTCK;~Q21?gGuYb3jey=^?PeIU_1M2L{k% z3Je&Yk%SK;LxEw9Ry;bFFF5giz#xo-sVQI!xZpaAbOP>8vHzF2gJ6$Qh=%@RG)D+Z z4!R+kPKN{~;|(0&9^s1~cmpOO!(eievX#-3_`m<4bkKIEg$MJb1qq|Z9iB0^=(*1U z&yoK(=^9LZ$P4V;dJugQ1Jz=&n)N+-5(R|`?yXj3QiWZ>j$14qnYVDj0u>{;?Tk}i zHhbzAXUO)W`OOjU+Y*8s=UHl25d)@;yFu+(jWORIh+X#Q_#Tw>V;PWhpXR6f=dJ?R zN9_5ZZB6-WnC}gU^$9Lt*k7@tUwr>)Yhds^=w^wxF9@>#oPSxoGBx95L4xbG&5N&C zC1`ihDInJ3LuIqWhkbZOspfe3j>v|8hgPNPwvt>r$lutfQH9RIen)Wx;z=Z2*fdHu zK>80K_#VXtfg1$PLWUojy*d2%Dv6>%f;Y;d%ht@nx~|q+jQEn_tp@f@jKf7BOL$O* zfCHx|tvbfmqvjbb2IVqEi-0$S&N(_J2dMg8iFT4}U=R=(BY1W_I8}afm8I1?A%c?S zkK|+ioew*L5c<>_=o>Q9Ua{%@fvQ#yzoV^VbG3-Q*-7yUl>~{w4TV;@;G1Teu~`O+ zEDC8i8=oQ}h|T+`?j1FBh>~AkPjcgBqv*=!XIn{2BcT2|h;*RSEBS)qE2Q>Y=r~`@ za22^sC?$-i&EtPaK!}ehuIsWAPr&~QipiCsvgYR$mcG;ksa#1{@P`o7hGDtFA%^?UcLPn*JQ=V;(*s5{C=c8-KJrok>`2X2eGTS@+t3HVF5wqhSw#bm8DA}V9cJy2zdK(8 znOw-eEBSR|mhygtFs1actmF~qe6`UTAGL!Bbu=WDpepya%~p~K-RD32Bgq)1`WySo zUcw`z%o|9ct!GaoXn0)Ij_1@5M#KS_wuYI=&j1P*#C7VPcdur=_+ewnJ{MXbSxHY2 znVY1A546SjXgfbxu5pwce$1pc;fnpZmk|8G)E-Di@M~gf6u$WrD*1lJhPW=k^R9&o zDBg=G4Rz2$9RyoV|8Rh$;;|<-Mj8`1YW}fNGuN^wg3=KNf-VV;0{C@p@ury9gp#^l z|F|~l>KETRlkRU@>X?Wi6z(qHZG=x)EZAM21%4SsCCMUx0{=UJ^6~!yoV!eJ*tzr6>Z#3>OnF-u6GvAzP9eM+EO#Bc!8-T_ z;zMDC!&@^+jy@*e{HF88{@pyXdYB)q2cv83=Dm75!?e2dru9Z4!B2H$KZL|7M5P0R zcNC_Xa+(ra`z^gZj2jviw{)j* zB!()1>*Z$;vX-&fhKVD~PT`tqOGI#~L-~Q|jZuM?B%rnZ*ol8)sOrgtl$mcIv;iHo^}mt|hqY3{KIP7eQ<^mMdN3WVv=@%7YFJ#q3=fCnH)3hV zj(0(+3Bb0Ae}_BIe{+qPBU5r~BD{PiMM0vr%$z z_Lv2fMpZ1$BFjmOC4wU0#4H@S|CsR!{qyZO)k?iuLIG=aT(q+zjADbK8{9a z#fqjDQQY1!j;L8Bh=&P0@{XIZGr{ol;LN-?myYAnE-;#8 z@{dOKKkw-ocVce5JRjue{`u4S@(y@^k-O0_`U`6x>V(echew^F_Y@v8>!Q`j3>_(D z$Xh`W|F4GYj%V}x{;`T$RijFYs#%0KMkz6C)~wp=Q^cl5P!+3Ht7wf{wM*5ksujD6 z7D23*82M0y*rP#=?~~8(_51UAUiZ1@o^!`@&ilU4(GsW1rEDz%MtXG0R-M^!6K&uQ zc4Mqq2w+%it<9&N|M1srPrw4(7jyhlPiO^PY)vOBb9pxvGH-Dr>V_f){evx8G>Ehs{*+H~LKd0~^R zE0bA(@aC#LeLEjZ(ZIj%nfmVEhumKMD;3Ew^ZCMj@{V(dA<7G;I{GYH&AbZ`}5gVZmGwElXy)6 z+XGSqy`r5U?XrBI@ofj>z1HMvWJR$=G%MV z=G@_ilQ4$fCZ&^|3!Xy@*8-YJxla~98^etEe_1Dtjoo%Y{V7W)PG|kO*Dm~mD_Qe_ zj4RsFVN>p!M~hN%6lv&HA0|WRa%@ia;p@3k`HfJO!?LgaE9%gyzdw}52DA!msyjiM zCeLO_s;tN|D%;!P5MbgX{=#A=@DV>;&L*3N;Jw*#NUSsYni>%*5ud!Von+b83(ItW> zrfj_+&cnQPQ_kmmyYqPUC^m2SR^HSyBnFv1mz+*?*lheekdo>^= zVN<*0a-Wdd&$h`lqA8|>+g)LeDp_k#&FeK>G9i4b-W`Wu()`KH2s_%+RyZsc{ zWFsj^>H>;dC<6Y5a5&8udBy8Wx=#9zmY$1a6z*_VNMgm6OyjrR9=*~$byP`Gfh2}9 zBksjgV~94xDTH;d16HB%n3CB|Y;28Jd%0n2efkb+!PBic(#kmL^{9OP#&_97Lk%a9 zDrlc}rqD!AeRpJMisl2sPWH3Sl`n%5->ZduKhB1`Oz0gS62ONx!ah4j+ef=PFE#OH;wC^H}o4tH$ z5vU%)Afz8K*>X{eS@M0iS65+>w*Z+LX`OJOtx0t%A+gv(Yu}-ZN$+iZdoIJ(6R9(^ zIx^5hL#W?v<(GZvkAPqy6wN9aKl09CYw23~o8>M)D;q5m^5qOez`59rPgq(Cn8ZAkDf#x1n4Ucdh=^)F5?6C~qPOMz>MY06|LOcx>CY%)Za0jeK5Cwym4R-$1?>#MQ_UA2@Lw{DbD<@OrNt0MmleFfDZ0Aid9pKtwC%$B zCOdoCMyZufI`ljOk?%t6OW+2`1%&`d@Qe4Giman^&B_f88z7U#R+P2@iZH$oIu4jnJHX`Lv zUZuURVS&%&txuj5`j)saQF%xAiJVb}Tz(wwqdB{{Z~KBM9(?U7%R2Y$$C$IMY^&kw z$d0ve^|Nf1ckNhR>#!BHW5j+T2bM*HDyLS^PN2?@y~kaw(e5e}9iOH2&cAM8ZL{VP zeq4B&uYnbNk~mND`kKu69zt>Ywb6{+%m|ODI}m9@0+~-fck&1FE4y7vf7)kfVwJ^` z*A+~iOnc67n(F>*q{3NlLNBe1e{o!N#bVIMCR;Fy6cj_+FkCLZH>}aiq(;DI0Iqjj zMB!9bHo@Dn-!b*VdqfeN157ADs+V4=0AO?3TciFgeqWw4peNfuxeBGTD@EIHTk~C- zuVm||OXtssd{m5mRr0R#3^P=oMmy`un{NErt+o0W~odx42PeK{I+@W#g2-=tz^JjHO)ip9S}VCKRK(U?ekuh!VL)d^$yzB*V%GUrYNrNFOQ-$uH<9=|U*_YXF8t2ylDhHDSn$n?PP_&>X<&8iX_j3mH@ zr9qRM(2~xDH%}aPK}(2wddZB(*+Fu@=*%ck<^=XGYs}eg$@Q5E{bFRnuUAN5kHtzR zp=irSj}oTdsfdF{9<@|@+MD&e3atHdY>gVOu{mT)clKgEJJ*H{Cn#F*<%xi3x$t z%UXo-P=Yb@4GliGuuw!92K>xhN;d(Fz)(}ys6A@L>R3+K#hZ*TiD&Tw&V+b* z&}%Dho>*r7G3`~S>oM!#43-W#Xnk~Z?8=n-U4l!0ArV~-P(z^g2j&{!dGONX-)QbT zQa_)3sRT$}Lqn!0cI49w2oM$01j0fuYyqwq00Q~KQm>v40uWzS94sXv+_3B<#|;3O z*g92pjY`BFa;+AH4`3$%TL-|AP;Uk6P32esQp{WL=y~mJD(HWJO2uy;q@{{R$7M`5 zhXL5SrQ@Y}n>@7s#)=I9{=K5*l*(@)Y#Q>S;S=@6Im$37Om*oGimZ5HWUwF_r=ITal04Y zj?#(hJitkW&v|L2TBX&KEmY--?dLhDeSsO^bY)xBo`{_ApZftO29+I&LPQ@LJ&$! zW0$Zc)4|%E<#1H#r&Yi;5l|b>PZ(n9#yM~ue@6UB#?=m^6?FCRwd5OWdv+<-@&96P zXnhUwQTo9w51=z&kZdS8pAXQv-be062nQ19L#DyoH$r|^4JZIh2|m^ER~6hiQdEJ4 za~j%e6GqAXB1&L5lLIx<92txg|CpQIFe!}J_=|L00bWdh^<3TrIADOB0O(2N8F{`p zptMEA<(~4#K<3ch&k{L`Br!6d38;C;<`E-F!SkQVJZwEektokzGS+w+ntyaNVu6^zBq&A&eK`z@ z3RhnRVu5-?|3zrKh+b)GK_)~tWCzEl+qavJrR8EeUJeWA`Dd%WV*uoT2}paPwbx?c%elU@)w;d6_OZY)U{Ug7 zjX)^r>;z}QOyYc{E^JB*EF&T!dS8}}Z8xN*gs3$9HQDyfcoOeh%cU8zZjefij3Z|bx#df3FqVBFDdf%ymDrQ$uKBr?ulISj}>7DGUy z5_4@r_g4(s!jAn3lYa^Q*yP}LaYt+b$-c8T*?UC30Bf<@QHMRXZC#&j6WwdGZk&7? z62is8rxf?DBPH%d+>xZfxfkg{S442&B!5$liR8uhBi1l$MP=nAi(30U9yjyK$(ANW ze(+@Y_qJfE4IU?Kz^5(y-@zg}`$s3qsVf26+S=YPMy|2$9>(^oG#pdn+E?gJvA>L- zg;j0q^Line(y=eg8ny)%r3Lb}zJudEDUM!_%JFu`PP<$=hb6}Oswn+k72|(|t}*qQ zD_Yr=o0C!#21grR@+WXV9yL4{7J#J?e;uCYH*<>WRUBUKTjVaFKt05pLa3`g3_ILf z6csp6AO;6gd^JD$>9I*&pl6`$7eIh{AKe!S-;$C3Joz507ZC37?x(qh(I?>(%O$G7 zNf%|YvxCc9wnubu5(I* zMMTqec8WqctsEsvgA0Be?TGz0-L{v;+ypluTIARKrBZO?Y7ndeXkzgBH|gjRIz5G3 zIwr0KJHhsOC=KJ3S=2OYc2MAGs46}F-r+sf^C}jJx47|CdZrzF1G_B+LvuvSs?ZVp zlONRi^#<57L-0J!vR=bx3F*5fbpgdgH;`x|PJ{EMN}+qg)~@9e-ape|N4M&r=50K~ z;ScZjXc%=tK48ln2=#jnF$CqI=(00McPyt~_9!Rlhl7vZEy6=2bpfA0mibEr<3oeY z`+2785-~Uplb3RZm18Q?Erfd;!bj{rXNjH9wBBGfH>^L>GaZYz4>B10oRg_v@zEZZ+XX8w?Bi42?xIaN|+&%*Nnf5|W9yNAadx z_D?OS{`lhCAk~9;t)}ZkF*xX3(`YKt^5;Glkt0Sky|Lj>!**=MHpLhv{z=!}dscRQ z-6B*i2H)%Y?i3aAHP(s&pG49#O$dM7+J%U%Z?K*B;r*Zcu4(Q3%cdc0n;RqC)F>mJ zXWE!s#uwX02UA8X6y-*#Ujdoc<$tD*X6a?!bDUn8EgM^|Nx?mOGdt5H44EiN_ZBD6 zlYrKN*-u-C>HKq=A(qrxv7Sj|SHrj-`^<^(gG&RG`nda1=_1{(Pg)Gzu#Z$NoDeMm z#lxZWFy3c9w3aoqhUTrwJ>k(KlwSF)f8NW<}fq(8OD1Br` zg{eEXDhuCbIk(iYlp;Gk3Xvbb5(aNPX6VT0YS{)8s{^*^H`P_Sj4Hgvvr=(TV~Fn& zXh@_f?ePp-*inILjnx-vRoKihp){~1plEO|4+o8!jeY^W>?kqCqz4$%SZ@r{Vpzn4 zuShqFn_4#1*!gL;<&CRLp;{jB&Wo}G)`xA^rHQgXTYkxbEr4*mWK+%C7>d12Y|yyn zl4a(=&7%Y9)t7F7B5jW8{;y~bmO|Ozsqg&5D)B|tq9yO)x-fdlbe)o`tWoZBJoCN+ z43?~)3F)1lwtAnJ*W2CQ-QUl;yX&{Vfc_;@kQirKZ4L(eCf7al3OHT4hwTX3N3{02 zO^vURHn}7AS7#3QWgP0yJ7?sFYZO_SnHL8##MPbyo6l~(E4On(qi-4!#@M<(q$`H_ zW;)yU42qzaRvt*M zL<1)(DrEPGZEH~V_#BNlpKq&vvBKXKqQZ8IU9iT+{f=kX`Wg#77w&0<4|~^I*;Jbs zoHqPHxAIQ)v#_vGff~uDC!iy?$@e3K3dGfAehp;I)J+R2e}$t0nf1uRK#Y4wyGtQw zCxAfCwevHQACR^?;UbZMqw3-p5fRzln63vN$MWt6Qy09Y2ip7l`(NFjZ`Zf$6F8>& zu*4Py;`*~bS@}sna>{m=5oD&ZLjkJzr_$3|%DycQU|)QIIK8cL=;UJo!yejQ0@1LA zY5hGt-VZszn~+6LRog_ffL_qSZnXw)+bbbYWDwUAWexxWZzK--h2a|H`|@Dsqf83W z`<`AjNL7{^3@YSqM1gJx1qL4UtgWr3d?Gk<`z~}S>)UDgP=g~A=GvbV3*wGM5WLdY kZ0!F36F|uSY2MeFgOW&Y*!jo{)K>=SJ}}g*QFn~~ABvqNQvd(} literal 0 HcmV?d00001 diff --git a/doc/oresec-talk/dist-P(x_i).svg b/doc/oresec-talk/dist-P(x_i).svg new file mode 100644 index 0000000..20e6923 --- /dev/null +++ b/doc/oresec-talk/dist-P(x_i).svg @@ -0,0 +1,1209 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- 2.38.4