From 854b8d67b715eb44b2427771f49208811b3d7014 Mon Sep 17 00:00:00 2001
From: Robin David <dev.robin.david@gmail.com>
Date: Sat, 11 Nov 2023 20:34:38 +0100
Subject: [PATCH] add tutorial firmware diffing

---
 _static/tutorials/RAX30.jpeg         | Bin 0 -> 21543 bytes
 tutorials/04c_firmware_diffing.ipynb | 519 +++++++++++++++++++++++++++
 tutorials/tutorials.rst              |   4 +-
 3 files changed, 521 insertions(+), 2 deletions(-)
 create mode 100644 _static/tutorials/RAX30.jpeg
 create mode 100644 tutorials/04c_firmware_diffing.ipynb

diff --git a/_static/tutorials/RAX30.jpeg b/_static/tutorials/RAX30.jpeg
new file mode 100644
index 0000000000000000000000000000000000000000..76bb580f7c9c6ed88edc0adbd46b8544dbe599d7
GIT binary patch
literal 21543
zcmdVC2Ut^Gx-Y&%N5DvvPDGF@C<tN!0wP_cNtL34NReKoha#Y~Py__&y(37IA|TQP
zqzX#!y@eV=Nbbh(n>jOQ=8kjkIp;qAe|(lZ*=uEIt+)Q(cfAYz5BxN6PFY?_9)J)4
z00jI8;Ku-2fQ*EMl!Ta!l$4a5oa_uG9Tg=71tk*=EtHOp8OF}W%*uL!ONi&f#mk(m
zti0lUm#+$oii*N`Zc5$|kr28jDsuV|2st@9B?ToT6&0fh2P=oj|M3go1W=O^FcMM_
zLM{RX)DS{y2>uHI1LsK$`Sk++d_f2ZiHJ!^$;i)8fCDPe0R#|2LINT}Vqzj9aI`nr
z4-iok({KpOkkD#8CcWrDC*l{CPR4nsteIZ3f1B&t6GwmYGv^r?nV2te^YHTVi;7(r
zzj5=H>|Hr|1w|!gtq0mVx_bHsre;sgpIKO1IXSzyzHoE*2zVJ76#VLSNOa7b*tqz&
z35gk*S=l+cdHDt9A1W%Vs%t*hes1~F+ScCD`E_7$==<=<kDsG6vvczci%ZKZtEipb
zz5Rnj^bzKCT@Zlqk7a@X|FN+Dv@U9JT?9l#ghZsL>w*xx02?7S5iy4_35|>f>0<}l
ziz0qxba$fC%bLkKuW4@6KXL3obDm3d<`U|3X}?zX?=8&#|7vA_UD$uDYZRa)gn-N=
zqz2%?A%-`@_sswER-)GKBa9&XF(!Jx(80-Z{oL)x4|wO396kJy9>5xJ$?eZRH$#oz
z7))f@8`f^V%D-(k7kRDkSl3jVm`>yWzs+r=?O`%z@tqYEQ)nKEJbVW`7W5SKLZJfm
zR1mM9e47q@U6k>Y19!g5<v^+-9MJ6FWLcjUDDNa((7#W%Nha0SP}ls48#h^IVSD3K
zHK6F=cVWE+gEZI{yskyHtuw87J+;(o4-W)In|{%y#sePx?{=K=05h<!{QsQCzn3ds
z!?i^1<dL7YE-ZQ_!l{A_5Z^<#0z9A*Wg<Mj3bRDXO{_dG?&*G+s^0BzBJdqcK0A>k
z$)FK)^3GBZr>M4rZQv#Bx5x+qcz@Fb7E+O6EVI^>-eZh1*fFg2s@0L!T;_Rnwi|SN
zOq%p$H+4;#F@^TKroweyzlltv?OXdzINFq!O3y1Tf+`!6*WZ%qT&VT*g?vM}C5`x@
z?QpV6xH$y>LF&sMB->Toepmn=VAqmHI%kCNGHS@t0smiV+H6*9>$lEkzDROEKcJF&
z_#kyfw~(cE9!YHd#Rd1R1`qVxNW-o{YqG9h@RdCq+!wN9le4>#`G#GQ=|F7Jfc?Y4
zqqulgT!hbD>XErO^ceoN0VY?S)Q0M)J9qADPtygAI_W1jg99Vkmh0lzK1S=@DOoC{
zzvSqRF7{ZEV(D2z)2ewbExtv}>z0)K-qsw!=d5kf#req1761=)Jo)s#G#V#TwH1Qt
zeg6_Me<|&(NlWSuliDH6k#0Gb_XcX`_@^=)wNT2keTWUBJ!va7K^u(uTzClGdZ-M)
zhX<62JQqNt@i~Myjo^Q>`AaiNK;+EbB6g2&w-_WZ+CQ$03Ldd+Uz28cg0-#{CTm)3
z?EN4vpj`-dY8Ybw$Vwo8o7Hn9$I>9X<U_8Ur^Rt*q$5;Ya_BhZ$n~qqhlx8&X*b}q
ztsc-I2_^AhG1#^E4{!V&&TYc$Kh5p0>;VU>e33nDU#NR2f<xrahTS?RFO%B`k)u=p
zmrd`}RXh;IV~hvhyR_p%twxLBOi6AmCh+~Uf64+a?^kH{i(0ns!R6~2`fLY$GI0`s
zTM4y7hg9q++7l-o33bIefANNH$5wkumLEiG-~nXf#+n~m;<%n9pnUvm<}N8_#9Q(4
z@8)8{i8a27E-pD1mBj-bm%JTJIKA{Qed1r6#{<23?F%&Oq>?ju;D{pkINZ2$yJ>Fr
z60)8aigm4jCj&!WS36{GP@5@SM~7zPfr^+bI9V$I!~8$V<G(!nBQ!*u%5r<mAem$~
zievP?h<J&@f|0jF>Unve^J{oue-pkZmIh6Elp;{)l0q`Ug4rjnk(#Z2$LDpdXSmNv
zwa=>iW+gFn<-=yP#lw^5KAA(FA$wg9-w6nC3x7T281bMtghWXry|xXfEVj*Kg`D1!
zuC&_eUfOO`yEZc%;S|m30$1NKvLXDf?`}dhxBJ#hBUahqxKOc1Lp%@>Apx0%9+URs
zfiz|S{ZZkoRP4`FzV_jP`l)X<3ou@c?&DLs6Sm@x5x1U5ZcVoYZ9iB!=~^LOq{9OS
zd&;|Te;YhN*OrmodJOAfzzPiVQU2Bl&tD1QL43gj=U^B&!W}vK{S7Y!>QVq!1x3w9
zJOhgk0owX%zUzW2d>`%VfMSrxbm4)F(fTe~7)sOxWHx6LRrT!I5X4F$w1+HBVSr9U
z?)L=vuR6Xt9Df-03X1f^0}rf!t~)dD!yAUZih`bai0{%tP&2H$FLIJc1xrut+gA*)
z3)BqUceYl;EFhQeDKug^?eW0bb=_Je{?z03)HS14_pRo5s%goFflY0AI<9j0K@hkI
z;9oWRZ|Fmu5*~O3Ux$g~e62G|UbIi`sCnJ-7Cl1ZZdee`$(=GxKMm2r0iUv4GR$K=
zv+7KX2WVpPfOlgufn>{c%rk{yhJkelJOC-xEagUDII13rd7sF66od!P>?e}^tKUEE
zqenGHr1qc#X1Vb|-piJq=LqHFi=Tv1*6t~yBdK*(v`cICeZ)4j;TnjwcL@HyD}*p~
zX$4%?9<fJj?45x`Cm=D4c;IVYFLBirn}q@{Wyr@1VL;?92AYVgpvwgQCtHcytVM6j
z6>7vt%!s~W^_TS2pcGC#P)e@0A`N4ktuta>lCQu6PO$uvEA&4ta&cS-shfB}>z+cj
z7j=vj&8N^>6JcyW{Bwgyec`loDvD>AW3yU$Dsc`EJT2AE`t1Thj^Tlw`&f{RkGha2
z=fC&s-b4{1gN?aBD{KQ=VNnRGiS^9N-jyR_C}#P452UFi1~iG0kMKZAxHQrX&A}~H
ziEg+jhzHU~-s^^W(Rf)i&muf-Am<-qt$!~67IEmdrd+VW@qC{;9vKv0T>Lax`g&h}
zs>r1Au*3}hjv4R?2MsU>9x$9b(zTi4M6y_z?4Q7JF9kyS@xc5=_}V)>z`usQdMsg*
zA)dWwf;pF_FjVpXLj4wSoMG7ODA-BB0v_m7b)oOZ-fc!Z%z~c1?-t?&=p$`+E2)!%
zqj;(g#^G9qZ&`J<Gg8qpE$iRl21K5uO)H3bIB6zmb})>%*tPGoc!0>P?L$fH$?}{j
z`WhnK^WU%`i?|DTp!3%0EONo$rE-q#@w$TtqFrWTnC-WSxg1|9DMCM^v#;^Mg<1GY
zCPI0sU3pp5<cKsCvy6yLQz*pJ+oALKpYB&`!ne|mCyZ&g&F@IqcqAvbBIj3(H+~CG
zNR%BYlI9k~P?9q}C(Zj&$Tbtosj8k^AW`aQQ~O3*M^aHI4gu|NEeLElad!xD9~*Z{
zGG(~j-YK@5RJ9<F*L8)nKs+Ul7!k*5_b>NUe_?)zaNPv;02u;cKK;eB{ZC#$HooG7
zLnWl)D{UqxL?cRuTS$2y7}^&x_;LyZNrOiCPV1^=z|e2nH^6D#T72V`xnjf~f|%7I
z%?dx^rCx;-n~lwG7+l#hu*D`L+8WyGq0{Su5(xVM^m;1%aDe&n>+en3UpRNgM#>a)
zhRiG0Z_y#H*c&KvJdjH+gRx12MmEh>JKLdAh*RbjN#7_=hT$aUL0xPd@RbypK3+%d
z1sosPHWs9=7@wF(VlR28QeT8kRYf7B5!v44zYS37T;g~3BxQEPs|H|L=aIH}S%zvt
zwo8vOBR^8OZBovEe}_x@CGB3`Zt%fP#M%cuuq^M(HGl`^um}*QeXSNf7%TWmJ<@y6
z`^A|rgEu~z9K!H`j99VxnBB(10W)}B8nk5jH&M~=9QMD{FF@E%C`Et*p?aPdsA7;}
zObaTl*RK+V2h`U<Q#S-b)gs?`3#9d{VO8FGD1-E*TVPmuSjz`a_l<`N9w_hQ?31EX
z)SA7^5099XMr<X4m>qNelO5WU137CRkDQ|c$2QvF==TDD@9h_SE+u)1{o*AL*1DiX
zVb-s`<;pqF(Ws+HUc&kQfhy4$-0LeRF1XleVyhKH0}x^uk?y3OJ)AM!Ku6{J`|LR)
zu|ePWo_c-Xo(RDz^rPDJ+i|iU7@gn7F2WMVV_qBusTfzg1(S;tc%c1c<m3h7gluFu
z<%UfP<q)!fA7`718R>jsf;x5re;CxrzHmS(2e}8b+of@j)`0rcPg6U2k~~YSaqe+3
zh|m(NaxXU;0LRq#HI!E61VzqI5ZSDz;oe|=8}$A=?E6<^1Xx<<q$oxdN>V}OX!WxQ
zNl!INJseydcFN~8Xt=u1hL3;Mo*jDcEn*Oi0n&y=yjwA6Mh2jpJg|-Y6Dq)Ek}#$V
z9hwp8kWiLd@V+#saG{aBbHQ!v&hxnw5suWtIn2n=o8N}Yx@@Qi8)(xK80JYP9)KCF
zTZf^`@Bml40ee|4E~o;slec2v@$CE#9vG3q7K*d#L?nL^!2_S*QE6xEnna$X12W!k
zNx`ow?3d<RFEkQ;>SbF7;j5Yhviskf0i@eY#yf?g9uHV4>h8u0EU-k_ZbFMnL2t~A
zDV!B<4_IIuUHt()#>Vax)%Wu4M>Qs-kw1seq2LpCCq&=hz(wW{3l2<B2dVO>PE4_W
z8U&MpfOqht)`~S9$$PvA86EzTw_|&S*T21x4#op)^j5zWx8Fkl-yz>_)VYb7aDDIR
zi!k&|@vYvGpslm3)@zo$pyW~kUZxDfAR;i+DT%g^C!A2*E$Rq*B8%%N7QBX(@Vv5{
zM%6%%ZKSh=CfU@zTpBzKHPIdEsOnu<b#;8kVy>x%CDR>w@O$3Uqd<_;TJ=4+;0o>~
zm22e}>_a%p#zkWlM6h@0AUi);wb#yazVR&GFOYW7y^L1!DLk<tM11c3(8es_%Fq{s
z2N35!m6S$1^Nh_(3V#SQYVFPaR=HpKFG2MwsCAg48M6z_XkPQS6<*s7IkNfqLaGRn
z?0p-hES<turs;#rJckW{t(XX(bx$KNLf5HfB9^(6sk>iEu2j_<=FVZmxfF!_eWjZE
zOuDx>-{OJEidUe8_OB4Q)?!ol86)fQQx;T<GlT!LiHB2{oo@}>A!?k1FAq3?7+=h_
zz^Vq<-q5S|p)>V(zK^tZJ4}Z0n|(&<3RWWXyTWdP2A^Ied%CokW7lhw2}CjQ@J*z8
zM5fsO-dQexaW*CySgaR9$Q9MR1dH`{$f}8#FN^XJtA7rsr-L~D4kFYbLZ9IThtnh-
zPSo~FW@}7Bb79a@sm5agb<%F5f}Z@(U1)7D2Q8T<L|PgZ+by*#4=NnKo8OVD3-m^q
zus;0M^>*sG2s&@Q{=f!R7!d|ZBmGS>4YD+KK9yN0`crL4>Q_F2#fsyA6%#q^6YoS@
z5Z9W7x1W@I9Q8}hp70WQ`UugTAfobS;0?%CzP=>oM&ynd9qC~iqMny<t&y}bVY-LD
zapmik6C$1OkI-C8O&HjTyBx^IkjejfHWpX~xW>3iJ_4B-kyx$0^-XjQl<#|~M_`=Z
zc^aonmeRrwRqq7Mn`En!(%?vZFE?KNRI*)^VMn$+a5nrY6z40jK;YqRy{ZOLytI8j
zNWuE9Nrx$zqLcewGRBahbq)y`hiXn?1lJl$CDEUMY@1%mN1Xcb-A5~$3T<0yIcFTV
znSHsD@$F@$WyP#YPYEN!nNtToT@QbM#Ac6(^$yHT9%WCF>A2nxdhsSX!00z|9buQ0
zXlK>nT{Zn|yH4Q~>!pR`%oSr4>a#S1?ERzUM$~uMa6KJ6F`yiL7FveWHlFw(YO;04
zXPv-1T&Mbp?M1?v8hem&Q;_R;fWRVm;HSbutFv~O8^MFnnMov9NnWU3ocRsHn54w2
z6tV5`MBg&iC*N~T{eq5^_9hOUHWGo!-%Rnp9GVu424e$k8`nbd0H=->#Y~;rM-#ob
zK0&@xq8d9P(L!8w9p9FR=9rjrOR1!3pGARAN{XrD651t`8Y?W~bH4?n+s!oZZM~xQ
zGTIL9@~Cn5o02XbxG0RPfQ<G3Ce^H)?Dh1yn+!wQ3oy~EW*lm4iONRJymQ&NMC|FG
z?hG7F#;1vDij!F|E~{-R%$XRwJ?{QQ+dsZ<&8UXEAuvw{#oU2<V5XWi-BZZ=S#U`i
zuxLLJjMx2xJaLL-#F?MT%;zB}x0BFHTbU0nHtu0`F%dnF4Hkuz$~lN5=)J_AL!%FM
z6>tf6q_Jc4e(tEqoy!%7Of~U6LQEfNLBBDBJ4)+I^-XFeYbz*rCz#7eFtMo)b-y8x
z)zIp&G<8N_8QBSPe7Ugr&ev8IqlspMh@B3GqhYG0FIOmj&R;KNErJITTf)_aO>V1s
z+s4?$sqdyv8+LMFNmTD1it_~e3AP`WJQPG<oX44|le(Z-zQjpgtsDH7!lSsMBWE59
zOw`$uF&#)+cg}})C8v#3@LeE2dW$3Eu1uDgdA*o8jc`sCf*&t<;JCBH?^>2$Qj9q+
z%hSN9lRWTn`4arrAF4kFLoYAwUM!W({LDbBya|1PJha9*B4~A~9W+CLqzOaGH|K2}
z1Pq$$E(RvOky$2H4rP53VgRgS#ZZKL+nXIKC*@xp4&2`^C>&E^;rA6PJ)yx~rkUut
ztCyF4I+7TSn#9TMv9;HfCav_>wO;IGDZiCe$k$9d#0+3^LQthtUfK<1KW&OLjUVpO
z<`5O`uTQ08MhaI9+ER;uh8Eviz5NQQnHwwh(uMR#AMxt%fWrT6f6x|AVhIeJY_J7Z
zA!|5EZam=77z=n=p8KM*mm5O&*kM`qis@b&5h*D2nLboXjZMm_yWdu|Ph=4WM|Bd&
zVsEN#c_SRO9$E3C7n8vZ?A88mE<3&9z14T$v%T$xv!&u{_iybWB5cArRoF|x<QXqv
zGhcbq-Jy?px$uv6pM7b5;(>t-aG&f`724+*3rSB^xogseTrs)$kc2^4SQB_06M|7`
zG8P*s!cyfLq*kapJkPnQ&AB}Gde#2cIkz;ZYDP^$y|;jab&iin=LvwTOuZ7ae;oGG
z;t?s%y&W{(NONCF=Jb@!(I4iXuQJ%nZ<s6@KNV~%eSvFK|M<w0{0y?=fk3wH?YCx_
z6br)oI#fiU#o4um$cTPE#JsTKWG3p_y^4;i!ObPf(AY492tv7~e$b!i{`WR(dv_~E
zHeSM_dUSK4Qj}%xsI;V+AO|iM)GCTrh6JjDdSyfq(SsA|-ZjIL^`tZMHUXFKAP*vV
z2^NMk-95%iwuFSBCt|VhjuML_Z&7;lzex-)GBPK^ToJpo^@aTWP<6HCQzu`>>1Xfv
zxqZdOY3y%`8P8%yzx(&x5=eO^^$ae@`d!$@<rWw?8#PKku09!sK95jUC9XK1d44;~
zCtHDM)uRt`P?vxhGB{F3EM)hO9bH)3Z52zmRKTcy`GDNy+sVYn$Dk7vLx3kfi*O-&
zJyYDeGM!H{g4sgND%zJ9LNM5rcE*hkDBzoo1eM2y?#)Ng4_}kF017=^bG@@BLW`wV
zRovTA9IKLK%L-)$2^qeU0WBuy1xs8XTK9)qsu3(+^{T=HZZ0OJoGZprl>LTxVq`BW
z(S{Xf5-@uB3oJYzo(jh57rNO#8W!jJeBXFdE%7?`Hq0SF8m8E9_#()M(~=q2<^Dr&
zid`cA;er#c%NZ^kU=;pag!#L)>VNL1r|-pj^qlT1#%0ukqNCJ!noR}JON{2={K1q6
z+4KqDrtsy|t?FIT;B<^S@x8rLA2b8^289l?d_utI5-Ix3(V>KH9hNlyI%eKDoDlc8
zeJ>6A_#b>+WMn3nucYd;@wHLaT+E65PsMdEBAjd@(4X<~9g=Oi-|Vg}C>+;b`5jdW
zh#+3kh@Y<o{e_1<JPkJNdpl8}CkOT7m5?K+g<vxtNO3R&f$z@(n(;M;R1_-D=qmg(
z7eAcCPntbja-#BmPwN*A=)w4v-J*9$hGkbQ%R(gPZZ??UY;|9?y#3CJGG-`6^&wK3
z5N$!2mD+w_9c5$c#JBHt0aw}P*5)o@NhCb}(4E4Ti<i?;=`yJn(&{Htg)Igi_%QU|
z(??!8P4I~{Xu?l@qc=<ZilPDj0;a77?gRDu1^ObfJ4;U>Y)H<dVL1TWOghj2pNV{!
zHMD`ebk7O0E(7b+jX&4@<ypvTy}&F>FO{lfYfj4HHC3`;8n!&(W^cYIWP|TfW~JW4
z3nZ>6V}%!UQw&CCf~~RsDg8N$Sk*_9RtB+~hzbcA_v;=7Hwk<tKd-3|IB%;?rdyxA
zEs+V2eKhH%w4EJy$5^uKY@fW^n(=k5`&uz9Unk42TO6B#adUyc7)B8AIGc{r6o}Mp
zxtrW>9*e@9S=g#qC|o6492g*$e7A^md3m@~jXEb;K$1KLPAZ*iBtlpa*L?CL9`?0R
z)b(dKk}LOnVxcWh1Gfc1?>pO6M`Emdk>`q8uzt{b*cUT>fDOXfal(IcU2)jLnBj&3
z8=}?|wma&3>#lR0SoC$u2ywoBy2>64-7QP|(Wm`myFTkFJu7>Xg;{^#-Z*f7#y<DV
zqg-=eb}GSZq94;p7sCdf<SigSGeyVy69HF?9&u4~U$(?+sy*Bmko_O%XR}hpY0v#<
z!uMazb;W*ihOJlc-GnL6?#f#bu9!gGJ}99s-!2k@du3iBO1=DgAM|J)#kEJqZMeC6
zLl-_(M7BE+1}m^3_es;)TD`BNTWwp93YKKs9dh4`?H#ubRO_2pCkg-WtO${Db1=0>
ztbkgVQaF`lIl?o*gOm4_l8Jocu5co1w`kdb9LRe6WYG?@Jk>qq40-b~<PhpR0IOOP
zKDhe1eb;I`Lx~hf{oKGalN&CI2S_F+jaI40m17=Wwxq8mdD67>5ukilOdyqzQE$68
zH-0zj@yyB(SL=5#)%u<t4GWI6l~Nl%>!>WNB+X&{h?DnAIZ^L*x3;P)5xV%wqhkh<
z>^0_sV)zpOao2?iIMCpRU-r|to0XLN@xka(O15CkQJE-YFR(pKRKSM{qc|CL>O}ON
zyre5S&)0enwU<4=0Pn`d?jBo@2DmiV!#8UcuyN_$nu{{Ky{>p*YobG8Sq|_l!rd6=
zBJFtZ4_V{ZL(U7ZZ?zhHSlVD7zuvW6uD}j2b{o9Mirv1`{{0ZXYpQrj;E>Y~KH&%d
z>?<iWXE3k;UrD)G{RSgBl5nDWS8VF6!oU%j>MFTD0N*j#ZLBghB``NR^f6gbwSN6>
zOHIJrFcH{unoXt=-g#){2xhb`Kzw`WVmg9trQf@UdGEMW6x5UTw)*+$6nUQtv$I2x
zsm3pkjjPToh+|9d)DvQ>qEs3eEnGpna_HJ(Cyu_=Hfutf&9ISLLK%Ch=cUR1w{|#&
zR{N%x&1`~GvWHuHmipb)zF`u}YtqcutTFp-UQ_2*ds0=B8#~VQ#@Wc597U{7W8SsH
zhu<Y$lV*z7SpC{&UhBDKA{yuABazxPxVLt!<Tr8l8SL{$q)%*mV#oLA6twQPWKllP
zw6}15hx=(%b{h;P`xdYF=xL|!pBUm?k}X}U9iI8|pP<$@`K^H19M{#hw}vTuqxbp<
zVw4hj)5u%1JALn8aH8&{TE9J4!q2>n<&g5Xn}pFCP0BpEc#*rB=|W1ueR3dd4_6sm
z*!=Wt_RWEwFNu%69(GAQ)epK28e$8AaKTG-0Jt>+Xg5}hUwzHln|f}JO<%z-Z*8wQ
zoIwlMS2+fzbri!M<AG7Oa7`kAvKyR{3Rda%u>19@cZPt#_sh2k$GxF;xJtm~XQmi&
zL-z}v6$u62Ik=ityeOHEMb96~A1~THu;>d*ymqfg$O3YdDcTJhfnUAmf81pPEkw*;
zOv5$MG{6$~kS{-RACnYdE_KaLZg0Mf`TUhs4SnuJdcRb(=hn>>CQZHM=(~?PR_z}I
zL@LZl!wfX^q|Tz~e0a7e8qoYgz|N*Rf-<0V+KuxE7?A(A!r&i*l>be2gmxuoxX?Nt
z7-Trj&*>L<<d0=eiD%cJrs6~)J96z<Z&ff~%W{<XP*1gI{wj3N9y-{#BG=bCK8H&b
z-z^p-pzLyTZh4i-->3=y?3XlOvuif?dGiK)fN1k@k~`D>VzeJkeyeh^c5^-?jl4y3
zGtV!3Li+U!joQo!l|&M_sCfb?X~CdL1+fj|dViw1#e_7phug9)UtFEzDC;k_^<EEC
zn&}65dq=3~_<*^u@IHn7hquO~*!<K41v&V%RrfW)FBcz7Kcj4%kcxGi_9r8v_J`gP
zIBzkfR7=xF@ldH*6M-7sTDBlKp(7{><+7<2XVN->HvCbsWbYA%RNlbeWPd#?D0L*E
zG|Rh}Pe>3FH|<`-${JDA#8`4MCqyrfDKl=uOsGbFxx-rqm$FA@mQG_y%|&zZqqala
z^zA|GkAo8M^Z7ISF5gEgJOx7CzEa#&C*hD<zPajs_GYhGtE!V^zix`WD<PphD^!_8
zK}AUp5M-3sQDShmy<Uq!qS!#j5gSR(RCvo2^LUMQ`j?KSgu%gtt3mDaVdB=jPt`j&
zX#DSSVGd2waR`I>yF--y@0519Lj!v?N$v8|sESSr*h9e8!<1tl)<=}^r*v96X)K2I
z5$?)cf_DJyuR*|{w1=LKjS+=#TY?hJly-J)CO8EC-b=YEp2ntZi0t)_n-biw@mj$C
zL226B{6$A$6M1mgNCC?=$%yQYaXCrhsOem21aaFo2PQ!J+vnfq$^PB`{M999!6Oi3
zyTkWrb@@xOsZ*8fU$HXy4Z#Ycq+y)n=WH+CoG!ar67-eRa;E<M=#Ko(`@N32z1Amk
zHV4HTf<g8>kB-mcfox}wZa?R>B6}jUGr$b#1WeiH#x~y@GJDZ&tILCaY2-55J@QmS
z76gX<iAYdg|0LeuQVX<~G$4)ss_6;8KmaJQf6;$e%kqmVED9Gl<ry!Af$}M$k*f0X
z>OGZ*N*$oVNryU&YaiUcFLG91hK+1p?$#{P$Cs@<_tP6|y{&JJ>Qp<KI^UVbZS>0V
zfLrVEToVHlqbYfeUqV#Kd;YKXGV2z*yaa6+aczVMQp8uNS+Lwa)zUAUvPMU~g=3$s
z@z%OsJ-z4C=?WBcbB@w8uE*bgb}6Qpb@bY+-LGsqioJX-MpSXShaGhs7g>;m8gj<;
z5gzt`s+LfiPDXql?l)f5ff6TeRf!8R=C2n=KyYp)cHL<dxAUg7>%U5T1wPakPPMJe
zXWKeR+;#u4wG0}I;}eTrzW#5f_S1wz^tNG8b?<P%THpB6MtOHVd)TL-qQ#F{i1l|1
zaUuraeB?d+#$hgaK+-z>ER!rBv0?{j!>Nqs?W!aKF)l0x68*KlTodxENKxA~a`98!
zAa6mSI%Jy%LZ)BWLygmc+^e8)|B~C<7#Bb(aRo~}8!%%>C*#B!^%TBo8*CGtiD<eH
z9h9p4YMYh_9D|j5WETR!UlVj6`Fw>QVdLh!qAOy4s0xAb#0R6HGlyz@9wQljzb$3>
zhd|<=)NZ7Og|WZUkcM5+(|2b+$XmZr6+2^6G7DYiOPo(dUH*7z=#x=vM{V$M1;_C{
zqv}lu(w!^&ReN{)B_H2;ANmgK-f$5UR}C;9bXiqglvYVP5Y)_5-(o3~V;(OGoD9{0
zgaYaChs~rh4;ym-TWz*IRe8cg%|EXiwWpR93R3lyXtzbpPhI-i9^LxNhc#tQQ9g4B
z*$vIb5Fp)-(-8SVk*qe%1}rXMgnjmIx9b{smzand`X=!Mo!||Bg$S1~KdI$@i)jB$
z`85;We%RiahxN8#1mUmk>ghv;PVEY$+S)tMx>~39>B&L53;7YpYojcFhqj?5o+|#T
z!VIfgx)qW_Q?aawx=7`kaY;GN%DR-Vn=FO;1_G}PB^)`Lby)ocJT*~gE9aExU5a(|
z7pvv1%`Dmm+&YdFh^C!FfF)2~luYBunQvyeWtr4R3k}0GRR0hNaBZ*q+ArJLT(b$0
zjhx!;sS_V8JHR|hH0qAqy`JiLrZ$>E5}AwEHXO{6eE~cL!_2n~7a~dmFr_;f^=oN8
zOa;u|%XQVA@OooLgh6#8ky7HdQ=>`rF0V%cd^(M7rpupKF?Nuk|It11SKFEe-md+{
z6-eET8g<W%9gTrinXPc!7!R0AkBfrUOEt9D(C-^nc8kZA8IE<7H;a&Sy4<A9GNVT8
zwjGr^p?PLYt1Lgb*{<H}F_#!KOfjHwH$jubW1z~wegSWWU*LZg_G^8&i@!HeQfk5&
zBr@%hWDlne`Dh6L(xbADkvM<mhjoHDSSb0_9cSkA05U%kBN~0X&erwP+m!kJ5<3$F
zI^J|x4p&)if5iO}d2X_mRlSAV=fyXL+YVD~%Y-bV30a(sH;JfYA32g8Wc3g*{2_I}
zTns3|e|0<`e~IdUc1H<0r%vjFyyZtwtU)MX`-j~A5@Qe%{Ow&a<xQR-4fp5D9l=gE
zIK-UJuDoX-vG`93xRu|X5{JvCIQ_Cca2M}jZ)HV&F)LCmuzmEA`V+g@ImxRY`3ItE
zH2g(<G{ZaI10MOC#hY-A9zsq~+d$j~V25*q>t(%X!mZdI-nVG&miFZ``q~tBPR<Ne
zLdXC*#%Ks@?IKl|Cl;c5rbwRGH$1^({%mpBjt5Tr8{vu(gFjXm_R_`u%F_Ws7tyHe
z?z(5Bw333f0s?Si=Nss8)rI4$C<~tZ{xj9?!X-cEn&z=T+B|msdg;hoz$p+$MgFpJ
z^HG^D&QD5mFGRFufIyQ#*RK3q{O~H#eS1_y$i&F92NG9lqrl(A+!4&*a`F9al&)h3
zh1`X)3v3RnlI<FrKf8y;<%e~;ZN6SzcIrc#O7|rFfen5k*Heu83v&I%f&FIy`}ej*
zEIoZqSBib)^1k)Ggkm#j^^M5}CTJNGEZiKlIix?Cjk9fvEM05EliqEVnCf%dJ-L1S
zy%q)c`y|k!He;QC<EZ3vHSBnU6!((!`1{72-xf{&s}1_oK7lVdjy38Dx9Dln0?ujz
zqRzcFP@`#&bgOiOvC?Qyhpb+yvRwE0>u1}PVk4G(W1`gxjt{ohq*>W|(9d5Dr8>1b
zdSG=$?hEO^xWizpi}q=pGolrg*YUmaLx`Q#mr&lF*8}FT?7g~L-Vr!=Q)7s|a39<^
z_>gDO@brU;D+rKZgEfTh@)lE$G$r+(AblA?!HxR*VH;3F)cyRFI-`<E^jD+%%RZip
z{~sd#hxq@4pubDJ_a7K-;7@xE3gtg2#f?Altw&bwI!*bl1VQeZ_{J(pMlh6J`(8h2
zq;r>djvt}s0pv<>lLA-We%MCH^pA{S6-+hEbL7v(Jaa@iwmT}4j>9L}Co{49e5P(@
z7UPeD)2EM-RwUfN5*mKc9#<a<6fAIWt2*`k^5AN(6s6;9CC&(KKZ%122dxe_Go|(*
zRu~n_E1T?Jc|!WLxEbedx?iV2Bzt5M5s?Z)t2J0F?eZ5@?)^_KqWneEMMB!scq##1
zP{@<~Wf(dAc|p@H#w|5??j;^5GJXQ@L9kDPP&WX?U}B=jjkm4{_HNOR)D*req?)Lv
zs6pE!+$2vBuqA`O?hjwMjDz#`(#Wg--p#>XSn@$v1d{p>@7ME}kEgKsFNpW-ADRw%
zaev6RB3yY)quf4Tr=0u=PmY4=x;yEQM9f+XW}@`f9)+ZFH*Rt9>ap4bNhY<L3juqj
z5!a0Cw#8dhpL~C|-81yofA^Y!*><_#?iDP#yib9*1>uxMM#yigvHo)g^zS~0K{Oc&
zphWC@72yNE5;5%vDs7_L5<iBnE>-h@P0Snil&SdYnDR%F3S#?o3*XDh>6_iEn_Mw-
z4V%deV<ss^&@R^Yk(0O+XeHoQX7FuDv}Vh3^{x|GF~BPR0TJ%Z9Q5u*j!{GLMqRUr
zivpvVQk?INgtX{MExHcvcGIbGkC0d)!pG)3l0?ah7z}c_HndRDc6MjcFyf1g)+&|L
zi&5uc!MLMYo`uM>Qo((F7al#BK4c<d^_R@QrrypMX2a>oUVwPJC&ou;yJyq67NIcg
z3wnY-?D#*E=fCR7UpxQc;omatmk$9o;qRRWSO4Yy4O^(Tovij8x4Izr=dVe3m%tJ$
zsrIssJ+WtER9~bVQHSkn2rD43IX2`yhhH;ko@hehg?B^EuoaCk&kj<%!{Al^oWG{?
zzW0kM?e!>AyhCvHQr{+8W@9`jLkVSU7Atg^Ws}LQ39Qt!*?1QA`CxdJ(np_bqlrCh
zH|cmpK(|P)sQk-^#T$nZfdadyhC5BPod;<oMxxM)rh(hg`c`|g4ebv`E8BP=xN(Ml
z$VEl)ajDQ_E?J@&1#5ob2j!ESSE9Z_SYK=y%6-w}z6;|!ZgPdsNK>2t$~F?*^$t%m
zGbQpsDkn~wl&gisP$v0X6-z3*2$uo0u{>p<H3G&!6mwpel!W|-%k;A&?e1UH0`bcq
zkog~o_bULrcN!)BiD>Sf2H}vSe4CQo^4g%yVJ-SEG?&X1;ekW*ux@QH5PKdoe3s%2
zXiZ@(AHD#&*ZJC%RLU?Q$fRj$^{Tb)Cr31Fc4{3-qm(wG6e@Xd@p1~y^jY{;HY270
zGtyu2U$Xjq$P30)QiW<QeMFi-TcL#MKoPA*C1ARWkxDHd^?s*OMUw{Oj9`Z!KCB+h
zb{BtLPl(7Mt*zwVX>v4^JIaJ@l-lLZHslYdbLD?c0ylt*<1)-Bv-M^97%znR3;e8C
znr5Lg@$L!g5*X}M7p4myN01+~dg{imCdzF_xekvEZ&7CEC{RkuEGyKcot44^@)jQi
z(*$8!44RE<8XNi+tt^h$p=!9YlA&UAlNCPadu2~<9)tC5xKF{8zE^!|PMRz6z{fS*
z7Fz4t-6#o7#_T&04G#tn$!|o?)G4ju4$*xapxj3kg;xeaP4f2HE5I=G5AOeCuK6@n
z|K~3JS0Wnh{HNdKOc7B`6uBGP%cj;i{O$sSM&*}B<O~Ush-Fy}=E2WAm@`f2tNUa(
zIR`<LY(Y>-|HLgS^Y|_yHEodE(c)yPnk<gq*e~!VYi1CeoOpiInpSpfcTy1)sd*J{
z07R93Bo>@yT-LLN7b{#^_>!kFe;c~(3!H$Jj88ZdcmgHmH@^4~q{LOtZ|^E2RuUii
zR6vx&h70slXUYjDpY^V^-jCZYReJKuLq2ubS0s9PR;`XA)e9VkGHW?8>uX=7u!TqV
zSe`_Hbq^1@%E6NxL;L;{x9&D-^#IQp<Gk;1RSB(zq%UwXwQFsxptVPcS@W^{->{UF
zkY#>8`TavSUh1=_nY_Qr)%^k3|4e`UqN&WITfbCClgaR@>2r@1(lxd7cwj14;kZ#8
zbWpyWJuDyFJ)F9pK__k6PjYbnY2HShM6ygUX*xtWpnvXb%WX3D;-(YJNoBwINYj(3
z)FG6<h}Da;Zv3C7&2Z-F8j|Db;@8UdC3%_pewfHT%YWEw`}LW>TrBzX>3kyg8yhB;
z28I-cH-revUz_TlX(2LuM)JuUt+X9!#V+4iaz{QTOUcHzg=9G(a$^OSh7-zNIG(!u
zuTMbzE+?pNcs3|EZ-Ge}$g#}Hx|k>jNPkXuDdc+ayaJ*Tmv6=Fosw^1W4AHjrY1e{
z0F%E;WqE7pas^~Qg%j=lA}6?ZkiyvDtn%Dp6w+bb6FE?mQMqTwFGJ*iJ7iHpcDnes
z(UgSD^DU&5)s>E=lWbTw$orW?SM^DSa*dAT5~-aN_~(yZbxcJ`<Rt2;adOLurej@1
zk%d7}u*<xOw0dgI+#840+=i!0%pGCTyk@p%K%`8F)cL&bG6BnV*o0b{MbR0pzG%BI
zZkoQwSyrra!m+U{SYyets$0l|4*90Q`+|ctjC~q;=XMB@OyV`I3IfB*nwA%#H{shb
zlU$Qxoo}EQ$O1QUdH|un+0^;p>C(Scv_Ct^ZPIR!bw)ji3JP!24$js;<}<V@ucR7}
zH-|-uDd`oGkP_*<)Frsv>oe;Yp=S%UkJ4Pit@Dzu3M<-hm?jwLs}(lf_69AQoseme
zS?KxQn=&_V%Gt@cDdRXB03E$)wK~d2m^q&P+@oB^Z=}`qu2Tw@mtGpGEy$a>nKQPu
z@DjcH=GJApAW3ykw1%3hr`u`lXW6;xM74LeOIa@;ks9t3-sm9^F;H(%glWm1*Xs@|
z;$$QaNuu0atjKPxejm#0{F$Z8oVrfJqRSZqzsh-mdMfoT%pkmSK~+bkW6u3ijkJ*9
zv)gZAay$}z3-@oVNYj7nbXn?zM&B*_Vs6Iu>=Dzrq}$Ee61fbc@jJU?T|~pHeqRdE
zI`aheCnHSDKYFxH&Y4_}R5li`@x9f4`@%SN(3wY%9=WjETfMHY5xmCoS}EDJTLm@=
zmETW08)@lblauLg=OPeXHokb%<9?ug+gy~t&!cNm1Mhjlnr80xsYWIDNiBd-*qgub
z<`W8<FE31Els@^go;a!YaCn$c-#*oCi;$b<@Y?XH30=<J{MN9KCv)u#WzVbUuSuUX
z_y4hK)fqHEo$&MpT-_HBT+_IoX${4^9pOx;h&if+Jmw71M|^MV*(8M}D+`*S=j9Ga
z9k78~?{wns`<k9)rs66eL~mM3?S&&{n$ldwei+E&%DQ0kHjQbE88(_^jYI9d1toB;
z9@E8W-z!}OsvOghO&?RtcYUEt@mn1|=z+0OL!;|IIHF~7Ul%KFu);66DR&ge_Ktgw
zpr|xTWk>m)svrHy4RmHBY0IflAr~HkF4fw4_|)T<u)$ri6=ryIVMBonMVBY<ajR|J
z*j^J@JK8+mXP3Ru{{*&?g5c=!eD-<jCG|LCrHw1W^JXfx`p^J-g*z?BDO0Ue5zwsV
z)U)+snYGGQL8~tFN{%lc9bZvfGRmm3fJ_4bA>jOXfb};gx&G<cFcB(2I>@~+T2(R8
z(4f4IG_qGY^!cxHqNLA>4Bd-03wdk+<aDaXwi=t|8QcQWUs&3CTOCx}b8W-*#?8DH
z(hunuaTn1plJ7l>85_C@FBOj^obyDu`F#4mdiiaRDe0uIl#7|!6Egm$>3|^}Rb1qU
z7{MBHzWGu)#J1QT^pyl>4%*K^iDCV)p~Tdr9x(=M-Cr}-E^)Kd=;Qh64&8i<+caB%
zEhEwweI<TIWjaP=v#IgBT^LNd)QcG=7q|2jKc1R98c}n9OtlKRFgmx{aSMrJ|NhO$
zK=qkWr*7$l!y%aIqa*8$yLln9oj>;RH%W!OeY)=9klMG{{Fv_G_oS35tDfGsm<ydO
zwlBo8^i=Z@$T2qWJ;w52LjW)e`Xgb-^v70`rHJJzICHe<%mQ6Mac3qsm<K$C)xR#>
z|FI<vZchEW3xWr;{utHMO)5vrPLA+$IP+-?WJF7FEiq+EtEST5;&Ehws=vJ=e@iAG
z8`RE0-|tnn;FdJA_^s@Pv5pajE1Y0~R@U5MNCTm1iKJEjn<{Y{ho;VNQn9SUs*XSW
znYg8*((M*><L?Yr1tk(y$zpYBiV*2H!FtmajQH_)RJL^L+P<RGiXDpzW}EMx$2~Tk
zMey*6>QlY;`H%2o;F(>!hqLG6jo0k5%OMYsv|I9jw%{@bzB}|Cnag8;3~8<%3SEDF
zsXfgmbH`BqJiBPuthj`fCRmT5OOE|!*`lU_t2*G=ps7eLCHP>B)8Ps)@Rsh(GoIBw
z9uUS_FugZ@AG#$vfcP{+x)O6w{J=h`mFQ8#OFpNgN>f^;L}2KhL83;4A|9};!3NVS
zZ9Q`c;2`XGE7${+n&$fm;<)CM67LNc=LYRRY+@2*zR`=VcsFk{Qaban%9w=mf#G<4
z7-Av07OXJ@t5gCZrs0KgiQ4;z*AL3U+8|FxlWvr8L#CHVt$is;3@gQus;fIz93f+r
zjcoC}J31P^9utK<7hZUjx}EkczyK}v?85jsKOQJMH;Isn{bA8aWo!GnvMPoPte})E
zxzDiQRBHdeucBBKTCR5|3?3fu>GKSu6Ga@M7wx@F_)T;xa2ou!#Z*Bl7FA`4%O%_s
z8@BvJ)3?{nD2kqsM06>E^K{yi@QJOZl_XXyqm_QuW=~?DnZ^o1Yj<!7T~DcK4H(T;
zeD8RxkN8#p2Oae%3FMSlJ%*;$0X~c0|6POM73N=j<D@~Yr8Jy*(U&R2l5U5Om*65_
z)`Ki9#Wb>zK_)9lzASZO9p%8x!fdPS%0SwKkO+$>HGb16T!{>fZu5p9kXutwuK=sh
z#83<^{^H}ycWYK{Sg|c9EmO<xn2}_|Q4q9Ne|))ZkE&@V#V}(ohv`Vw%@m7&5l*da
zFQ2Cr>^5D3nQTEzm!x50CM%8x=87M<*m_YsBSW6wZ)CgaRhW6TP-Z<f^q?Ns&9TPO
z4b@9>uMGB7@{l{hc)gM72V!j|7PI%dEC?F47^J7vWThFSe_ZMi(aS$eVmy@e{!kVx
zJC=7?G`?8zUVB@XGkv8m9~YDp`*;XGHxtKFGQ#*7WP%Z}j2ML>iwT66^KAteE8n(A
znBOG5A=#cM*<O>E@B8;<-xRx5L&R?nG-9NQ>0Q}av{FxuQymrZ!}74-_z~+Al{aeQ
zzKxAq$CB<aiTZYBRK_cQ&^X>OmcYo^?)c;qBp-OwaO|=iy~6D((4?M__1$LNOCZdr
zFSo0B>mI67J$}1KG#Zyc;5W+?jFZf$t_BMh&gV7e6ZM_HcA@g)NAT}b*ojW<e-oMN
z(C(kv&?{N`U=ct3Ob-w2UF7?K4#FTBo$Oosx}`x4k}EYcpLj_+!URtSEU9SiFdO%q
zN$sPV6tQ&7Zi5vaN71;&$17AdYTtYJip*;hYCEO^<&BV<YD0Y_o6Z()=cBu}B!}U5
zVZ)JD2Ys+TPk|e#{+BF2e1udVgLV#54S%)u)F@}x@sr;Hw9{VTW@+|iJz`ByzuqNn
zCs3agHZLI>IALv>ojHTi;<2CQ!`40c!(yb#6R#N@Owx_mjyQXmt)@=CaW~z4u2bCT
zYsVPig0LjpyYtiz>ud_b3pLS%Qn?B=BG>=Z^O0(`<&ZKkbm<FsVSdq4$>~xW`~bN%
zE&yL`hh-C%&GwD;IB|DyMC;;K`Aji78@c}bp<zrJDt9FoXAYv_6HM@I&(?U~E&ss8
zRSG@S;l=iy`*4Ht@@?}d3t7c-!$y;&4U-NhOdm5lTdtQ>l~AF;_+*C%m&!su4m@hS
zC5i|-bRZVi8?)>h^h72h+XantiKq>7x-3lnBstX^akY_x1Rpzpx{=-s4470E8&3wU
z5F#I*?d%$N-jyQsw&J5hxueFd%$|qTF{4>}AEeJs$3#0?Hj{7YoQGMxxywtC_bM^=
z@j)R6-wZDSeMpwxs(MA5I^i9y&jTUqyb#@moAi%a?DK%!QW9V8j7V0nSoe3C+28e>
z4w+~By!i?|rW=3o7IgQNt=xR*tX4oF<PLbf=*xLAQ78LX^r4e!vD!&DPyvyf%Ttar
zpp2zZkfuw}QJlO<Z7j~B&uVsckF&wv2Lu6h$D7U~oH5ZhY@c+%T3e)AI(Dru@m5%v
zI_Wp&sxX6RL7P0)b;yNF@syIUHU-|+R3#3W2t93vJ4b{`hI=a&E#Go&1P`yZ#B01v
zz7ZuATyr3{z|ONRwiv^bV9Jo_E^$8qJQ-boD<2QsOoLuiib_8}qLEM>JORwi9?FiL
z3^pIEJ=hXGtdzNRBjtO<d1po@(2WbOBPfTnaS4JcW}0RJ$3GUpB(u7#gJ8;1kQU4P
zqgP-eVHv>;w2ptu$O#!<MC@N5RKm@JC58O;Ua}&z3sum=I66aIEK%*oe4~e@;+{wq
zoTC*`6qQtgq>Ozv(a(C&zGyk8K!K~%ESH(;GJk_p77(56xbLIxeP{Qcb;84<@S{GG
zruT!Kiz;LJjcacpa2@zSI7U>0LW%n@aSfIMUDK26Tvf^%w;=R9HW(1%7+lxtJ0k8~
z{4yZ^+OBFtX<lv*`5g4wYy|JiPpgJ#tzvp{m5FMYWe{N}<WY?`5E8@I!?dkHOv-xk
z8cYt1mMXqYx&Oe4e*SJH$fNOg=CUocF;2QrWv1alRPBT*d%1EUwg-4>n<-YCLRWWV
z>V<jc=$-aGl472hrkqPdA2!(PV2g4P)3-g`))k?j4QxqP?6Rbq=@16}Rof9MXzG<0
zv?&Re;K8Hi3+lJoT@nR;Jg=v+pQb=irn7~P)!~Y)Z3mkYXC2Nb+gV9wzJ_D=h>_$$
z1FK6Xa`gjvpeC>})^ZH3W%SXgGv|Kj$%=FsV(v$&XF!udU6NX!0u6>-4;LaJKQ*%u
zojjsjt~|BQ4cA0uL(->*afJ0xsCrJ41jad;^nA_;V}>hBeJf^=w`LC(KH!1N{ZF)x
zHpRAFC+YeH?RC0(IO|K)c3Q1u?d+Zl+u2cGK=j^df~Oh~ETg=|XLiJUEN9;1fsJvy
zNS~}LD@NM!eqwj!v;-^PASObs=5T2GWwQ^gWn9OJ!qO#<SKSCY&K<re?*?naO5mDm
zJH?)MlonO>#gUPiuM3Sbeh(q!8~3T13FgnW(ATuq3*RNh?n*a)&ARk<K3Xk5|0Q?I
zdrx&@`-&MRvFEaC)MtQ#_d|uyN<DHla_Mtqfr_-F*%T^%(v;-)DO6NKfO}^Qgq4W_
zx-`weT;en$f_S=h%{~H~Y`U84R)Bv$cThU_zm{<TGZF-1A}N*?z~~)5RXX4^pRgKe
z39iw-&7F;*1G+V-)mpiE2}J$_Bq$GMX;MqmCtOpPaB(Y^@04a*f2rjy4<UNwFG98_
z<}z2X!Olw<h=R7PJ={3FC8P2%rqdTidjhZZuJsmZ+ux#^u&mbPt8z0}+mF23j43_B
z=nmd}l4s?i9ajtl;eMLS94gJkoD8qR!Fqk9i#dzPotvAPjRW~bG>sFld;3+rsS3Sd
zgLYi*MPht5+2-GVno>5tU6Mi<E&EWaw2z8)NN;imzB`)rm5_8ku3|d(9y5)&mEim?
zZuN;tA!wdG*I}g2&V=8Fw#+0C<nyt+2JgMDY}a!_?OcTMfbATt;|y@rBPtK~nNc{-
zQ$uUN+T(>s=)XJpPKZgwJeg{iVyc31hd!U&IgePhR-RHA6toxI>*6gNw5fFf&pUOy
zPO^q*y;?7M2H&E^2HN~YGiZUDl8Lr;J#;e!V_6f0bm1_b4#{(-N1Acwt4f$ef~7zM
z@B{|O;}44dV-sJju}8(Pq!`eFs3qgkCdnKg*kMPhVTSL=#VD^!QSWVCvZT_VnB&ZJ
z!eD1A+)#@qMxD4-5O{{a(90h6=A}rgfJ42+$yka@F2Of?aDYyj6#e!|4Mg;vQ^eNC
z#)RVJ@D-JXO5j1TS{Vp7v>sc+j^AHFYiGO41m0H2K;7R7=MD1ZyxcPsvo9KZBVaUz
z;~?$Kk8CnEt16CMvOwSgSO{eQ@_RF5E>YSUe`dGf(V~~2fS#G<cME$kX6YbJO_WQN
zf0fSy;%7N#34SJT{Ux&EbTzp)*%Z=Lt-J<q28N)U8wkvO5>E%b&2AOqbC4z@=B1nF
zlTIT7KUw^@9C{-X9d*b`Bg!I7G|-SH(|H#X7wKz3z<=*Spd??`6A%U8(^?S*Js<}?
zH=nRHb(HGG>{ihb;8lnvz3{2yBR2@o?9mrc)bZu5*EY($Sn*Yh^1?wHWrOd)dg0>u
zv+OI8lDvfQ$9vg3z1b!^3fWiQNb(W{zwzdqR4V+Wm%X!05Fc%Mm)_~A&?u01;UJex
zAzS~aN|mnwS>Wxj^ircn6%f)mKCd#ZjZ7Ort~~y!N>w}^<os8oN^X!KloTpe$sxkh
z<W*r>W%9g`ii&lODqofmL#?WTz%&xg*{suNaf0NGu>pVJk%4*zR&&;u34F#ncs(6h
z2HFu@KIz;ialXvwlmFe)uYY%3bX>IW8Dh|i{N*^<Kt|$&5U^l7l<sZ5a)7D;NL%q=
zv;|SdXbj!kG_tDxs%-E*5Ng9c`VMTs%WM`an+lsWvg`fjIb%vyz8pW5%5(pCqXLd)
zu^<qvusO(gO}ySm<Y_UcX_Ng^n%XA&&o@uv>4iqY9=!wb&PFCkyiucAAzl#AfYek1
ziAOmmKk9Qz%rTV^SKc&|*?78Dkfb5PDj}c<I-K5Y1wd-6$N`N1PL<Jr=NQnsX86+D
zuz<lGRfP?>t$w|~3M^~_XUv;M^i#fh1w3W<obLH)hekQr@l*aQZyMoK7VukCZ)^@u
n?+<MJ{nv<pJ(Gd%2{^nJTo52E4~}N|r#Ybi!@Lm!|MPzVfqZly

literal 0
HcmV?d00001

diff --git a/tutorials/04c_firmware_diffing.ipynb b/tutorials/04c_firmware_diffing.ipynb
new file mode 100644
index 0000000..9ebafe8
--- /dev/null
+++ b/tutorials/04c_firmware_diffing.ipynb
@@ -0,0 +1,519 @@
+{
+ "cells": [
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "id": "4ff3e55b-7932-4294-955f-7d6ee9df8b13",
+   "metadata": {},
+   "source": [
+    "# Firmware Diffing\n",
+    "\n",
+    "## Introduction: Netgear RAX30"
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "cb56c7bc-4340-4c43-af79-939592589492",
+   "metadata": {},
+   "source": [
+    "<figure class=\"align-center\">\n",
+    "    <img alt=\"symbols after porting\", width=\"400\", src=\"../_static/tutorials/RAX30.jpeg\"/>\n",
+    "</figure>"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "a8039e09-da0f-486e-983f-d4b7360d2e8b",
+   "metadata": {},
+   "source": [
+    "For this tutorial we are going to work on the Netgear RAX30 Wireless router, that was part of the targets for [Pwn2Own Toronto 2022](https://www.zerodayinitiative.com/blog/2022/8/29/announcing-pwn2own-toronto-2022-and-introducing-the-soho-smashup). A day before the submission deadline, Netgear\n",
+    "released a firmware update that was also patching some vulnerabilities (which led multiple Pwn2Own competitors to withdraw theirs submission). The two versions are:\n"
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "2c0d6a18-0fee-43a4-8a89-0509b960bdaf",
+   "metadata": {},
+   "source": [
+    "<div style=\"text-align:center;\">\n",
+    "    <div style=\"text-align: center; display: inline-block; padding: 1rem 1rem; vertical-align: middle;\">\n",
+    "        <a href=\"https://drive.google.com/file/d/1Qxcd8K7QSpj36XF-tk_TCULk5TMPsfV9/view?usp=sharing\">\n",
+    "            <i class=\"fa fa-download fa-lg\"></i><br/>1.0.7.78\n",
+    "        </a>\n",
+    "    </div>\n",
+    "    <div style=\"text-align: center; display: inline-block; padding: 1rem 1rem; vertical-align: middle;\">\n",
+    "        <a href=\"https://drive.google.com/file/d/1MRzCK80G_SBHQuGy8dfuE7YoGvxs1J6c/view?usp=sharing\">\n",
+    "            <i class=\"fa fa-download fa-lg\"></i><br/>1.0.9.92\n",
+    "        </a>\n",
+    "    </div>\n",
+    "</div>\n",
+    "<br/>"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "ae171c81-5f4b-4d99-a078-7a3dd2e85f6c",
+   "metadata": {},
+   "source": [
+    "The goal of this tutorial is to show how performing a full-filesystem diff and to navigate the results programatically."
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "id": "69aa55d0-e03b-4466-b3b3-3322c0384e2c",
+   "metadata": {},
+   "source": [
+    "## I. Unpacking firmwares\n",
+    "\n",
+    "To extract the firmwares one can use [Unblob](https://unblob.org) which is now undeniably\n",
+    "the best firmware extraction tool to date. We can extract the firmware with:\n",
+    "\n",
+    "```bash\n",
+    "docker run \\\n",
+    "  --rm \\\n",
+    "  --pull always \\\n",
+    "  -v $PWD/extract/RAX30-V1.0.7.78_1.img_extract:/data/output \\\n",
+    "  -v $PWD:/data/input \\\n",
+    "  ghcr.io/onekey-sec/unblob:latest /data/input/RAX30-V1.0.7.78_1.img\n",
+    "```\n",
+    "\n",
+    "*(Considering the firmware is in your current directory)*"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "73243da5-ae38-40d1-99bc-d03567f01d1d",
+   "metadata": {},
+   "source": [
+    "**Exercise**: Unpack both firmwares"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "id": "5ef720c2-5c99-458d-a0c0-b1b32d8c6ebf",
+   "metadata": {},
+   "source": [
+    "## II. Exporting files\n",
+    "\n",
+    "Before diffing executables between the two firmwares, we have to call BinExport on all of them.\n",
+    "For that we can use the program ``binexporter`` that can iterate a whole tree of files and to\n",
+    "export all files encountered.\n",
+    "\n",
+    "```bash\n",
+    "    binexporter -t 10 extract/RAX30-V1.0.7.78_1.img_extract\n",
+    "```\n",
+    "\n",
+    "The option ``-t`` launch the export with 10 processes. As exporting implies disassembling all binaries it can take a while to perform (~1h for this firmware)."
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "16727be6-59cf-4642-8cdc-90046a45310a",
+   "metadata": {},
+   "source": [
+    "To continue the tutorial here are the binexports files for both firmwares."
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "e1c3bf1a-2848-417b-bd38-8b1b08bf8e82",
+   "metadata": {},
+   "source": [
+    "<div style=\"text-align: center;\">\n",
+    "    <a href=\"https://drive.google.com/file/d/1DxQccJ83I6wZGA1yIrpAHpO9v7HwrNs4/view?usp=sharing\">\n",
+    "        <i class=\"fa fa-download fa-lg\"></i><br/>Binexport files\n",
+    "    </a>\n",
+    "</div>\n",
+    "<br/>"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "id": "d41498dc-c51f-4be8-a960-5d8ba14aff70",
+   "metadata": {},
+   "source": [
+    "## III. Performing the diff\n",
+    "\n",
+    "Now that all executable files are exported in a single directory for each firmwares\n",
+    "we can perfom the diff of each BinExport files based on theirs name. *(For simplicity\n",
+    "we assume there are now duplicates. Also symlinks also led to duplicating binexport files)*.\n",
+    "\n",
+    "**Exercise**: Write a script to diff all binexports files."
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "e2614e46-224e-4d88-b770-5d11d5eeb1d9",
+   "metadata": {},
+   "source": [
+    "<button type=\"button\" class=\"onebutton\">Show Solution</button>"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "id": "f178386d-82f4-4770-b70a-9467d80c8b27",
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "from pathlib import Path\n",
+    "from bindiff import BinDiff, BindiffFile\n",
+    "\n",
+    "binexports1 = Path(\"binexports/RAX30-V1.0.7.78_1.img_extract\")\n",
+    "binexports2 = Path(\"binexports/RAX30-V1.0.9.90_3.img_extract\")\n",
+    "\n",
+    "diff_dir = Path(\"diffs\")  # create output dir\n",
+    "diff_dir.mkdir()\n",
+    "\n",
+    "for file1 in binexports1.iterdir():\n",
+    "    file2 = binexports2 / file1.name\n",
+    "    if file2.exists():\n",
+    "        diff_file = diff_dir / f\"{file1.with_suffix('').name}_vs_{file2.with_suffix('').name}.BinDiff\"\n",
+    "        if not diff_file.exists():\n",
+    "            print(f\"diff {file1} | {file2}: \", end=\"\")\n",
+    "            print(BinDiff.raw_diffing(file1, file2, diff_file))  # Perform the diff"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "id": "bfee8305-38e3-4367-a805-2316284b2d42",
+   "metadata": {},
+   "source": [
+    "## IV. Analyzing diffs\n",
+    "\n",
+    "Now that all diff files are created we can open them to analyze changes.\n",
+    "\n",
+    "**Exercise**: Write a script that take the 15 most different binaries (similarity the lowest), and which shows the 10 most different functions (dissimilar ones)."
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "98a38e1f-f747-4b1a-a0b1-2308e7dd3987",
+   "metadata": {},
+   "source": [
+    "<button type=\"button\" class=\"collapsible\">Show Solution</button>"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 8,
+   "id": "4bb33a8b-e255-470b-8888-9670e803b6e1",
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "application/vnd.jupyter.widget-view+json": {
+       "model_id": "1656800305ae4025bc1f20a562b9149c",
+       "version_major": 2,
+       "version_minor": 0
+      },
+      "text/plain": [
+       "IntProgress(value=0, description='Load diffs', max=965)"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "xCloud_Debug_log.zip: 49% [matched:140][unmatched:28-28]:\n",
+      "  - sub_000115D8 (10%)\n",
+      "  - sub_00013DBC (59%)\n",
+      "  - _ITM_registerTMCloneTable (100%)\n",
+      "  - __imp___gmon_start__ (100%)\n",
+      "  - _ITM_deregisterTMCloneTable (100%)\n",
+      "  - __imp_fwrite (100%)\n",
+      "  - __imp_json_object_object_add (100%)\n",
+      "  - __imp_strstr (100%)\n",
+      "  - __imp_snprintf (100%)\n",
+      "  - __imp_cmsLog_cleanup (100%)\n",
+      "debug.cgi: 49% [matched:140][unmatched:28-28]:\n",
+      "  - sub_000115D8 (10%)\n",
+      "  - sub_00013DBC (59%)\n",
+      "  - _ITM_registerTMCloneTable (100%)\n",
+      "  - __imp___gmon_start__ (100%)\n",
+      "  - _ITM_deregisterTMCloneTable (100%)\n",
+      "  - __imp_fwrite (100%)\n",
+      "  - __imp_json_object_object_add (100%)\n",
+      "  - __imp_strstr (100%)\n",
+      "  - __imp_snprintf (100%)\n",
+      "  - __imp_cmsLog_cleanup (100%)\n",
+      "libmdm_db.so: 51% [matched:258][unmatched:418-418]:\n",
+      "  - oalMdm_isParam64 (63%)\n",
+      "  - strstr (66%)\n",
+      "  - mdm_deleteObjectInstance (92%)\n",
+      "  - j_mdm_getObject (99%)\n",
+      "  - mdm_getNextObjPathDesc (99%)\n",
+      "  - sub_00005F68 (99%)\n",
+      "  - sub_0000B864 (99%)\n",
+      "  - mdm_moveInstanceUsingNewOrderValue (99%)\n",
+      "  - j_mdm_getOrderValue (99%)\n",
+      "  - mdm_setOrderValue (99%)\n",
+      "wbd_master: 54% [matched:582][unmatched:13-13]:\n",
+      "  - sub_00024890 (1%)\n",
+      "  - sub_0002E244 (1%)\n",
+      "  - sub_0001F640 (1%)\n",
+      "  - sub_0002FA78 (2%)\n",
+      "  - sub_0002F974 (3%)\n",
+      "  - sub_0002F188 (3%)\n",
+      "  - sub_0002ABA4 (3%)\n",
+      "  - sub_000206D4 (5%)\n",
+      "  - sub_00029A30 (6%)\n",
+      "  - sub_0002A318 (6%)\n",
+      "wbd_slave: 55% [matched:867][unmatched:12-12]:\n",
+      "  - sub_00040044 (0%)\n",
+      "  - sub_00040520 (1%)\n",
+      "  - sub_00040F88 (1%)\n",
+      "  - sub_00041DC8 (1%)\n",
+      "  - sub_00031930 (1%)\n",
+      "  - sub_000277E4 (1%)\n",
+      "  - sub_0001EEF4 (1%)\n",
+      "  - sub_0001B518 (1%)\n",
+      "  - sub_000277A0 (1%)\n",
+      "  - sub_00040934 (1%)\n",
+      "xt_comment.ko: 63% [matched:3][unmatched:0-0]:\n",
+      "  - comment_mt_exit (100%)\n",
+      "  - init_module (100%)\n",
+      "  - comment_mt (100%)\n",
+      "ssd: 63% [matched:88][unmatched:1-1]:\n",
+      "  - sub_000117C4 (54%)\n",
+      "  - sub_00010B94 (61%)\n",
+      "  - sprintf (66%)\n",
+      "  - nvram_set (66%)\n",
+      "  - strcmp (66%)\n",
+      "  - setsockopt (66%)\n",
+      "  - strcspn (66%)\n",
+      "  - strspn (66%)\n",
+      "  - nvifname_to_osifname (66%)\n",
+      "  - malloc (66%)\n",
+      "xt_SKIPLOG.ko: 64% [matched:4][unmatched:0-0]:\n",
+      "  - blog_skip (100%)\n",
+      "  - skiplog_tg_exit (100%)\n",
+      "  - skiplog_tg_init (100%)\n",
+      "  - skiplog_tg (100%)\n",
+      "wb_cli: 73% [matched:70][unmatched:0-0]:\n",
+      "  - sub_00010AB8 (74%)\n",
+      "  - sub_00011354 (77%)\n",
+      "  - _ITM_registerTMCloneTable (100%)\n",
+      "  - _ITM_deregisterTMCloneTable (100%)\n",
+      "  - __imp___gmon_start__ (100%)\n",
+      "  - __imp_wbd_get_cli_command_id (100%)\n",
+      "  - __imp_printf (100%)\n",
+      "  - __imp_fputs (100%)\n",
+      "  - __imp_wbd_json_create_cli_cmd (100%)\n",
+      "  - __imp_stub_send_hld_hlpr (100%)\n",
+      "tm_block.cgi: 75% [matched:170][unmatched:1-1]:\n",
+      "  - sub_00012E78 (63%)\n",
+      "  - sub_000126E4 (98%)\n",
+      "  - sub_00012DB8 (99%)\n",
+      "  - _ITM_registerTMCloneTable (100%)\n",
+      "  - __imp___gmon_start__ (100%)\n",
+      "  - _ITM_deregisterTMCloneTable (100%)\n",
+      "  - __imp_sprintf (100%)\n",
+      "  - __imp_cmsMsg_send (100%)\n",
+      "  - __imp_strcpy (100%)\n",
+      "  - __imp_cmsMem_free (100%)\n",
+      "libcurl.so.4: 75% [matched:1644][unmatched:29-29]:\n",
+      "  - Curl_select (0%)\n",
+      "  - strerror (1%)\n",
+      "  - sub_0002952C (1%)\n",
+      "  - sub_00041510 (1%)\n",
+      "  - Curl_sendf (2%)\n",
+      "  - sub_000415A4 (2%)\n",
+      "  - j_Curl_md5it (3%)\n",
+      "  - sub_00029238 (4%)\n",
+      "  - sub_0001C1C0 (5%)\n",
+      "  - sub_00041C10 (5%)\n",
+      "libcurl.so: 75% [matched:1644][unmatched:29-29]:\n",
+      "  - Curl_select (0%)\n",
+      "  - strerror (1%)\n",
+      "  - sub_0002952C (1%)\n",
+      "  - sub_00041510 (1%)\n",
+      "  - Curl_sendf (2%)\n",
+      "  - sub_000415A4 (2%)\n",
+      "  - j_Curl_md5it (3%)\n",
+      "  - sub_00029238 (4%)\n",
+      "  - sub_0001C1C0 (5%)\n",
+      "  - sub_00041C10 (5%)\n",
+      "wps_pbcd: 77% [matched:236][unmatched:3-3]:\n",
+      "  - sub_00017AB0 (7%)\n",
+      "  - sub_00014FD8 (10%)\n",
+      "  - sub_00014500 (42%)\n",
+      "  - sub_00015D00 (52%)\n",
+      "  - sub_00014078 (79%)\n",
+      "  - sub_000143BC (79%)\n",
+      "  - sub_00013604 (85%)\n",
+      "  - sub_00011B88 (91%)\n",
+      "  - sub_00015864 (92%)\n",
+      "  - sub_00014EA0 (94%)\n",
+      "reset_pwd.cgi: 77% [matched:213][unmatched:1-1]:\n",
+      "  - sub_00013308 (63%)\n",
+      "  - sub_00012B74 (96%)\n",
+      "  - sub_000130C0 (98%)\n",
+      "  - sub_000151FC (98%)\n",
+      "  - sub_00013248 (99%)\n",
+      "  - _ITM_registerTMCloneTable (100%)\n",
+      "  - __imp___gmon_start__ (100%)\n",
+      "  - _ITM_deregisterTMCloneTable (100%)\n",
+      "  - __imp_sprintf (100%)\n",
+      "  - __imp_cmsMsg_send (100%)\n",
+      "libwbdshared.so: 78% [matched:789][unmatched:0-0]:\n",
+      "  - wbd_tlv_decode_weak_client_response (15%)\n",
+      "  - wbd_parse_cli_args (20%)\n",
+      "  - wbd_tlv_encode_fbt_config_response (22%)\n",
+      "  - wbd_ds_is_interface_dedicated_backhaul (23%)\n",
+      "  - wbd_get_command_id (24%)\n",
+      "  - j_wbd_get_command_id (30%)\n",
+      "  - wbd_tlv_encode_weak_client_response (34%)\n",
+      "  - wbd_ds_get_i5_device (34%)\n",
+      "  - wbd_ds_interface_init (35%)\n",
+      "  - wbd_tlv_encode_fbt_config_request (35%)\n"
+     ]
+    }
+   ],
+   "source": [
+    "from ipywidgets import IntProgress\n",
+    "from IPython.display import display\n",
+    "from collections import Counter\n",
+    "from bindiff import BinDiff, BindiffFile\n",
+    "\n",
+    "diff_dir = Path(\"diffs/\")\n",
+    "\n",
+    "progress = IntProgress(min=0, max=len(list(diff_dir.iterdir())), description=\"Load diffs\")\n",
+    "display(progress)\n",
+    "\n",
+    "diffs = Counter()\n",
+    "for diff_file in diff_dir.iterdir():\n",
+    "    progress.value += 1\n",
+    "    diff = BindiffFile(diff_file)\n",
+    "    diffs[diff_file] = diff.similarity\n",
+    "    del diff  # useful to free the memory\n",
+    "\n",
+    "# Reopen the most dissimilar binaries\n",
+    "for diff_file, similarity in diffs.most_common()[::-1][:15]:\n",
+    "    diff = BindiffFile(diff_file)\n",
+    "    binary_file = str(diff_file.name).split(\"_vs_\")[0]\n",
+    "    print(f\"{binary_file}: {similarity:.0%} [matched:{len(diff.function_matches)}][unmatched:{diff.unmatched_primary_count}-{diff.unmatched_secondary_count}]:\")\n",
+    "    fun_sims = Counter({x.name1: x.similarity for x in diff.function_matches})\n",
+    "    for fun, sim in fun_sims.most_common()[::-1][:10]:\n",
+    "        print(f\"  - {fun} ({sim:.0%})\")"
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "ed443260-5d27-44f0-b058-20d929ee786d",
+   "metadata": {},
+   "source": [
+    "<div class=\"admonition info\">\n",
+    "   <p class=\"admonition-title\"><b><i class=\"fa fa-question-circle\"> </i> Open Question</b></p>\n",
+    "   <p> Try to identify interesting components security-wise. Then try to identify ones that\n",
+    "       have changed and into them what functions have changed.\n",
+    "   </p>\n",
+    "</div>"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "01f4f44e-5c2b-4219-85fc-151d44296b3b",
+   "metadata": {},
+   "source": [
+    "## Bonus\n",
+    "\n",
+    "The latest version released is [1.0.11.96](https://www.netgear.fr/support/product/rax30#download) which apparently provide a **\"hot fix\"**. Can you identify what has been patched and how ?"
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "d6abb2a0-e210-462a-80af-f90573d02665",
+   "metadata": {},
+   "source": [
+    "<script>\n",
+    "var coll = document.getElementsByClassName(\"collapsible\");\n",
+    "var i;\n",
+    "\n",
+    "for (i = 0; i < coll.length; i++) {\n",
+    "\n",
+    "  var tmp = coll[i].nextElementSibling;\n",
+    "  tmp.style.display = \"none\";\n",
+    "  tmp.nextElementSibling.style.display = \"none\";\n",
+    "  tmp.nextElementSibling.nextElementSibling.style.display = \"none\";\n",
+    "\n",
+    "  coll[i].addEventListener(\"click\", function() {\n",
+    "    this.classList.toggle(\"active\");\n",
+    "    var content = this.nextElementSibling;\n",
+    "    var content2 = content.nextElementSibling;\n",
+    "    var content3 = content2.nextElementSibling;\n",
+    "    if (content.style.display === \"none\") {\n",
+    "      content.style.display = \"\";\n",
+    "      content2.style.display = \"\";\n",
+    "      content3.style.display = \"\";\n",
+    "      this.innerHTML = \"Hide Solution\";\n",
+    "    } else {\n",
+    "      content.style.display = \"none\";\n",
+    "      content2.style.display = \"none\";\n",
+    "      content3.style.display = \"\";\n",
+    "      this.innerHTML = \"Show Solution\";\n",
+    "    }\n",
+    "  });\n",
+    "}\n",
+    "</script>"
+   ]
+  },
+  {
+   "cell_type": "raw",
+   "id": "686cc7b6-fe51-40d0-8f22-1687df08ab45",
+   "metadata": {},
+   "source": [
+    "<script>\n",
+    "var coll = document.getElementsByClassName(\"onebutton\");\n",
+    "var i;\n",
+    "\n",
+    "for (i = 0; i < coll.length; i++) {\n",
+    "\n",
+    "  var tmp = coll[i].nextElementSibling;\n",
+    "  tmp.style.display = \"none\";\n",
+    "\n",
+    "  coll[i].addEventListener(\"click\", function() {\n",
+    "    this.classList.toggle(\"active\");\n",
+    "    var content = this.nextElementSibling;\n",
+    "    if (content.style.display === \"none\") {\n",
+    "      content.style.display = \"\";\n",
+    "      this.innerHTML = \"Hide Solution\";\n",
+    "    } else {\n",
+    "      content.style.display = \"none\";\n",
+    "      this.innerHTML = \"Show Solution\";\n",
+    "    }\n",
+    "  });\n",
+    "}\n",
+    "</script>"
+   ]
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "diffing",
+   "language": "python",
+   "name": "diffing"
+  },
+  "language_info": {
+   "codemirror_mode": {
+    "name": "ipython",
+    "version": 3
+   },
+   "file_extension": ".py",
+   "mimetype": "text/x-python",
+   "name": "python",
+   "nbconvert_exporter": "python",
+   "pygments_lexer": "ipython3",
+   "version": "3.10.9"
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 5
+}
diff --git a/tutorials/tutorials.rst b/tutorials/tutorials.rst
index c463fd9..0e08f29 100644
--- a/tutorials/tutorials.rst
+++ b/tutorials/tutorials.rst
@@ -14,8 +14,8 @@ Python-bindiff
     :maxdepth: 1
 
     Symbols Porting <03a_diffing_porting_symbols.ipynb>
-    Automating a Diff <basic-diffing>
-    Batch Diffing <batch-diffing>
+    Full Firmware Diffing <04c_firmware_diffing.ipynb>
+
 
 QBinDiff
 --------