From 7e66b15161984d22e7de0cd133022557c3bb15f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ben=20Br=C3=BCcker?= Date: Tue, 4 Feb 2014 21:48:46 +0100 Subject: [PATCH 1/2] Better screenshot --- Report/verifier-simul.png | Bin 1712 -> 1992 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/Report/verifier-simul.png b/Report/verifier-simul.png index e005d7af8f63836da5c7424489af387f0bdad928..a37fe6ae65c51af8dee6ac1cd8d2938e10bc5df2 100644 GIT binary patch delta 1964 zcmV;d2UGa44ag56iBL{Q4GJ0x0000DNk~Le000700000I2m$~A0PwiXUy&g+e+OMj zL_t(|UhSN%j~ho6z@ICXB%lE)NI(j5kq#IYRklis?xc_dSDGT5UO-?}a4=GBdIu^+ zC6x{wiF5`f1(!ddvYM05peaZ}15$7y1@3$E`DS-^ch+9tt?T!bWzW8udGF1e8Nc22 zM`u2tgCGckAZ!eh`2;}_g!QA-f9aT#B|V)<<`V=#5Y`Mzd!GT^0{B!t{#B2UF#nL0 z(IoQ;f*=TM1LZtSc$oI?0^ANW-xa`nfPY|qRgu>u^9h0=2c&PbE zIS>9;$?ttd@{`Ob2!bH22bB5l0X^>9OfBpV=My1IR zZFD-r2`e>$)|Q|QT~T&Boj#(Ss=<=oSBVNiaRgQyd88^DEsXqR*oG-=$?ot0HZ)+I zRQAW_fMFL+&ICD8VORC7?b~9#Qt{K}OHE+oRJyq~XyR70VbOrO$%zRMpE3Di3j6|K zOFi>+co#Z%vfqCRz-vCnf7t*AXQqq?z0svAU5aVw-!J>=qDSfAdXFj|Y1@=AZz7 z-olc)7Y_S(dpyEh>b---!Au09@UwP z_U#URVtsIKJ0%<9e{O1t#>va0qL)CnRo=Sd)HL=1@eO&DtkRSjv29uR0%0mVBFju% z+UDATiEDbpI`sEhZmGu|d*z20eEMn+CAvyCE5T$yg*spHr@?sWG5MP{!BY}1wLDPFtydhThHnHRs=ewiCogA@pVfO?diL*1^e@>}1&P8;RKSm?fdP@;h z1B>s(2I8ew=uK8QUp+F?uWE;Spv4??NmpLaf~&g zAULTNQXe~pqG6`(4jbaY^BRUCi&hQDObr`|BI;5`7`0A*>LLntL7AiiFJr-WQGNuP zbC4-h^hAXbf0TZUw`rXZJV}nHrL>aRpow!Gn}Z_v5a1ht?*P6B_(@&u{efvrJ!2Uq zD92iC^RVoiFR1f_Q22kAh1-nDP?}Y|y7}6uwSQX)#3{^*6$_iuFSsOFO z+_Zx1gg%Cz#E1qjD$KLGiNl)8CAvWqhewqgwkBlu0l?Qb^Zlr9a{jK;9zJ6kB|7tA zn+NH4e>)du=g8>098C{{%kT!+I(R;qUg+!Qt%H3uFoW5vlWx_WCxh+2wcQPuo4FCU z6tnS@r(HAIYyn*#bs|r9P)_!7+~&BFHb*`R-CyM>Ls6k;GQ^;uceU;_)?#J5W9KLw zOQN9_E!s5e%P)r6xc}$`V0Spd1@U{o@xgwR^R0TuGD>un zZdOc?`L?@Y-{%V0+3TLXGGze!9*C1(aC>=rpe%U)!v^zTg^hK!`A&Ji0&wj>-$LclC*5m!@sns$$Eo&NO>BwV%ci}9*GuJ8d zf8A|UXb3fSj7riTZqe=t!CF;S$54FH`VVHthtvJX2|@7`Th9<%47GO0?9J=J^Yf!K z*xj9uUYhkB6{d1+n=9o1KXFZOSj@MS)vnm@_Auf7X&*ZIp&VzpL-Cl!mj=RA#f58HC< zD75uWpv~918^b)vJFi{kqqokx(GYwH`C$gJV{Nrscg(G5R8+nf4Y3#c89*kseiXu@E;D^IzIlDWYKR2W$JK@8}PX`KxLZMJ78wnb5Y{suX z9|$3Y5V8qu#)J?;$i}c46G8|ff6EgpDHJSh#)J?;$il?ldlkaV5UxYGNuL;BjrLA@B{w~zJ z&xgA-xVs%_o{a2v^jJ6n!NiFts3>f%ASWzcw>j2zwOg< zQ+84vFr$#^YMSE9!{P8yP6EkQ=ZF;L_PG;zKEi3M=CWyVT~OfmQLv9d?8H~;&!X`L zjK2Fegug@hCxox*6JyL^e;!w%GyM7SL^DQ8X$;`pF0l~5AKl~;c&m^)$bNiIMjAT# z^vV8Fapv+9Z+SLt53J|;IL7ypSG~$UJ#RB}0Zy`QkJXXJE&bW%-Hm6(9Fts5TX^zu zbJ$C9P2T1c58T29yH~o`;@9aZAq8 z3Y{6xSsL4rg7$%W-VR z*Xeh)@cR2cy$z!W{};l2`otJBn8#JWN;2AlEd@)6@pZo7Lyf2OMUoIR60>Mlsb1ESDL zZ^j~?2e7lK*pjrrNbPMqj&>He=`P32`JT5r%Moobx7h%i`>77-h*-;yILJ#{7_VRP z`9>11NyVgldbCqc*YKGH$m5~AvhgFh4X@n=mGuG#CX4HW0;da~HL)4rq~D#EX8bk1 z6QdL33O+H$e~dI^=-kY1#t4ATq#Ptoi{VcKa^|HdisT*KWJv`Piq~+;ED{+5!vR*af zF=bcP0Uexf9T=H?kd27_PS58K@5ME#ob*n&I$8*Yf8Z9fuSBz19iY%}OxA2$To)8L zY&%)7PoK5kj1d6q*(0)6fu;svJZs$)X<%~~Yl|eXSDlui3Pa-+fBCra1E8k)XZEl6 zY-MdlUcRX3vF)+tVQ*w(&#zY7h=rQbU{}>4u_z`p?SnAmCGEN2>54hs>U1IYlHsW8 zfHE>6f9jZ&a3@_>3LLhblb;t9xXWqAYy8X@`DESgWUU4!p#jS=D3YlkL&3(Z&W2b^ z#Z#eoP$cDqH6z=p=8Y^LO9d(_4A7>s@Nrf^lqe|CTQ&pLd?q(q1#@2n3M&ew=03z|$d5Fyh6`Og;dl8!} zRy1;D)*{A9K}44e*hFV)JL4^kEl=s9f+ha)q+A>ClGW0!;TFdBR82@!)~Xv)FBb!J ze;%SH&Gr1yArNdXnzHTwJ&#FygXbc4j)cHxH`QTJ5s^#t56Uxr(#E6lJ>DDO8V`{# z`pHQ-y*nj2xw|S3tdb!sCuvki#O7EZ5r48`mB0;i9>T!MyuFuaO!soU_}?>z>ot>h z3o>v2Mm|e6^!y$&^GQ?(A$#DWie=8fXTVh~0Tay_&u;o`wL`kcG|2eFFIj_)J@5Uz z>halmbr7-__EE5pOng7~{%z_)O_^xMgb+dqIf45B+Egf5*o+AwgpiG4GbV%(LN?~Z b$4~zQuJ+G~4v%_300000NkvXXu0mjf$N@)S From ca93181c46a34974634400512543f83b1f9ec034 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ben=20Br=C3=BCcker?= Date: Tue, 4 Feb 2014 21:56:06 +0100 Subject: [PATCH 2/2] And another better screenshot --- Report/verifier-listen.png | Bin 2744 -> 1870 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/Report/verifier-listen.png b/Report/verifier-listen.png index 54cded409466ec3a7398b74b0c60e258b97abe74..258831c536f37ed8e46669b3a9779c5bbc46d939 100644 GIT binary patch literal 1870 zcmV-U2eJ5xP)Px#1ZP1_K>z@;j|==^1poj532;bRa{vGi!vFvd!vV){sAK>D2IEOYK~#8N?VK-f zBS#d#$CZv;!4)*12kwX?1-M_pR&gEaNPuyR9O{6ON>PE~NwsMLDxC@qOd{E!H2DCP zRYi(HORk^??!bie#bv602d2qD(-fni10d+HTu@l_^3L0lw zQ{Bt_xTcQQVhaNSslmAHvNKi}4tmjKOhiN+>X!DcnpT*CKGh(hfi2a6>Ma~`Pv~w& zMlqeJUJCJz5U-OjkboR&p^X8~Rhn5}^k=FJ7wyq4mTpIFD~`seHEK%(aotJ#s#t+) zK5u}qADf$G3Ea=%9FE$Kb!bZEXx3EE8FFF~)<6~CwkQznB+GKJeXM(-$f`6#Nj1gF z<^qKK+?I$d9Q)(Gn*~uU6AvVzZ-w|?h#!UcNr+#B_*IDC@F$c(0&=K@HZN3?a?Vxr z=|%sjt1fb|djltNTH$f0gQ*pg?EcC1#i16fbUV0OofjAg;omGoTX*&~%6XK)ksu+= z!yURK@u_P^%kNGQ*U~zZ+&${!?_!#ubTw#d&uM_VTs%ug-E~v9^sDDMk4|3ipW9{kF)hqp?6BRuegf`~cAf+q-_XKwT36~a?Bb_FY_N`P4rH)Rg z`TK&nq@BB8NU6tK2Z`y>DO)8dh5ee%s2a7^M0wPqT6ZLCgPmdnja8~)l7V0)BKs%I zfE+_k+1iAX=`^bjlK4r^^UrNlAJT`!0?!3ny6sR=qa1UZ$Vo6#EtEQX40*$h3j{sI z3C~Ly@+?{$kh(R_KoGA>DWTW8^plDpqyn0h1-A?Zt%80edQP)*5%+}drcv}E=Kylj zcX)XE8P8I`3-PBAf8kFkg9PMI3vFIy&Q&)H(K^7ru|khQI)u!pi_tsUKErnP-Dokz zRN6gioxr{oIK1f3O6?bGAkzBsa&morg6$e|&vHG{S-(9xMJ3n@EN)QZXL&QEeGX_V zktD4ShFaQ#R z6t;2pcnEIvyh2U)oct`>d~RJJNb9L(6mKYJ(e`Io11!J_ZA~tN``-*X)^*VdgzRD{ z6&*VmaZl=QhNJiyz6dJA`RTRu;dR0(Cq7$I5&368-TuWeaX77q@H=&J)|&?{y+{f5 z%qo`U_=l60+9wo-!zL&*$?_4xqz6M(*M&3(XRst`j+=uX7@&n%^dwB7)z_Wmcubm9 zpdqi&GCzh%0q=_boK$CHfzUlqjwRC2h88VHT!vB+_Z07D7W!;DLFGFk{>Go#D#Yfh zgBB#hU`~buX@!Rkw(W_o|lJizb>p&H1 z0>=)s5*1)u8wgN~Rb>qM7p;9SVLV*)-jw>QlW#qRZ!wgMjvb4*B)fk%!%<902r?7A zKH|sI-(#+VpHKz~RXMrJ`5YkRYW;*!pO4{MWpGNW=G+YEG@D5A?juT5VG^>V4cNBS zt+{rs5ZFU%FG0PQu%2z39cH47B(}r0@-|Q1vD24r&2!!)S#@&N9lmzn=~5X{Sg)vM zdhTpns!3mK>?|QrXCzraWid}Z_;EbQI!~^;qu0)x(Ma4O zWQUoUJEtvmYpz`@1Xh(WWF>mh$}Za@)3MiiEiM+4btRIMtZNe$g!0spg`xv6Eq5d0 z(hXHrv>{ir^>-8G?pU(Ke-2P7tXA%Kfg#6Ek2d&-gn2Z;p6|eXPU&9RhDFGMz%c7j z96@m6lwYDU-=o?~eixX&2n=Vef5hs&=exk&Q~AU)`1FI>abS^2&A16=))PE4Gu z7=~e(2cz*7{%=4hSGmV21LrD+VHjrHspI=q48t%CvpIzLA1OZCnPk{zBme*a07*qo IM6N<$f*3h>a{vGU literal 2744 zcmV;p3P<&cP) zdr(tX9>>2oz=8+^u4u)8SWxlNt>AO5V@HJwqGHRsx?QD%il~USYL%yo@#na^?Fg+eM7AiR_&_0$yMJ5)Avrg>fv|*dK9j+4a(?&syXTy5 z{N;Dg4NO?#K2RtW3WY+U7#57=>cj4ifkL5BC=?1smz16@q$v)CLZMJ76hmW@Lm%Vr zj)6jB>ou zBD9J_p-?Ck3PpeMbQQxKumx;@zJLi}0!RTV@Cu$@V$?x$fl$ujt>QEmF9_XT-jy-y zfN+2B?hZi54&qdGplCq`;_v`CHbl$v#x{K*sVJva);sI~^MxM<$ zw104Uj}2f&u;aNeBzrqerv%`&YBP!`z43_Ca0Mg~+t9L2>cp zh&}H{23?#M?;9OvZQAtWzc+52-GtHmg*)n`IUfw;@~LY@%oRk9@BG0!gq{h(kTMK| zM7ZM6Yi6_iRZQv0wCumJ0S3sk92>w|exd3aU;?1!qLt@#vE*F4%T?qQ=fS=vr@iLt z9kb2XB`IJ2RQAH$d5+J9Plg#W0A%IIjvkYgS3F_*yG;Br$ZPTdD7<}hPjn*e)?+Fj zO}KZK{q2YS@&CAdPc+nPLGTJ^BZlh`?lZ6f4I#K@r>!fX?Ajug9AU7AL;jY)1z=G5XdDu%B#dW_c0a> z0~lM`O_;iL0)TIp&FzPWI2U*PuFQAX^g6iB#pZxHU@gyb926=#+)F0%ijD&0D$adiVEY!;Li)*H zu{cz0$}j`mw;(Sa*b2ZDcv5+%+H~lE0ZuM|-m9bY6N+%}CrYt2+u4F)*h$;4Zx0Z~ zwJ&xbV#YA+@QpwK;KOGg8M}ddV*Q5@JlhDQ@tL12$C6;NDZ>nOkHFu;)W_d-gUr4x zJsf;~;*O1c9mXanH{|D^PDrkNJ!r%fubB%y?2QJ$?fgK%{ip5j!!8}w}IQpJ>Bhhpy1n(jCN_en3chn(U#0M&rv z?qtQ3pHt>tz_+Er8EE+!u_$W&8A(B5;m!MxEJrWi?K?w5kzcn6_g)6v2>6I)Wsu1L zqt^C83=01H5X~SXpq@z$-(dg<^j1r zcD#ja#@KoC!qCYJ(fp$F?xmEp;C^vQlhJPz>XMpR--C@VVP-pN6h^8gs7 zu@kZIPHY4Kh65TmKx^nSBK##4!vtO1*w=q zA;aAquK2tjxDV8mUTP0H#hE2SaTEO2mgwIGDuA~EpbU72Yh=W39?RVTG(0GX+!lcu zDQyNaSu@KTb>+@Y;oe8Vc=rAimK_b|Xu=WkmP3mitWB7w5i9)E^mJ@DN?OzTL6+Xi z*^_u_OmOZjXH8dJ002goc1|<5A$JWhnPFT!5Fxp}wQ*FAsj#t9G}n5Ni7P~U03u%= zgEoj)3RD|w%Sx_ZkX*dNj`EoI{`x$Jej2{|QvZb@+!5cRl?PuAj8#0cNG6lAtclt< z)p>6ZaWM#2hXE^25rdsgVJfCj$h4+4^}sXvh8u1#P7Ux({t_w0A-~1juQI-!QLob}mwV&ySpud#*|btGdASY(#-@IS-;*G5N&6CQ1?ts~Hu6>#-E+oFO59*^nPNKQCgG^i@uQRS2t<>2r z#q?8UChrEU-<`N%-uoK!8}tMr2zSJ{Xb+b>Y>+k7oQuWC)r#%!0pDrbuB67h62!$I zTpfm|I3k8Ro4QporB@-j`VjTNE1(W|4AcNsK!yBK1=IkKfjZz7Bt^>K{>O9E`1quO zY3qJrGu7NKYZV$bK6z_YUY*5=IZH!rxW*M@pPf$kKTz3dG4zif;h!t^|JcWMPl!)Z zlk#1%Lhde6y=YA|7w-LcOS0V#C8d3O>!szpQx-(F`@AE7rT%Ui(Tj>%`_VozZG~+T z7Mo(nC5CK2!rIM_2ei(mIyuNm2hRg22%TRb@31bjU?6Eu1E+}29NUp!Ue#bWQ2fqJ z-{k3ByU6b?tTXX7Q?<}+uI(Tz1rLB_uk5*IAFx)FrC`E0t=8O05xp0Ja7TQLHsINp zJ6D!7PTu~Ttrg8ZKKo!-*!=TNA~kWU@va1MF$h`*p7(G+Rp9+g~zTB zF5E#yp-?Ckibg!W#KgZ*CCMSDF{Nh<>7U`G@Dk?#*S@2cZLsa`I4Befh0^Ph6g~8u yE^hk@94R0r?7vZjR&gj43WY+U7#gK#3;zcaeOVR!WA`@z0000