SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info AA<#t |("g?Wmp]koZTcqK@M jqʣE~ehOy .Y@ծ3gYZ7zXZִF! W]ŗXiɟLN.!}" nPBڨ&wjn}855ݢ엉^*u*rn*)/ M5!}LQX́nU,n/Fu:BXEՇc6_zo<|DAt9'e9bO)0 Oq,p }:wOÞ{9!a^ ?HCpSTsdڥCG]hP/ >_gYZ7zXZִF! jd]]ŗXi%D4 j9vmvpbgfO{ 0#= ǺiHv$yڟќy% z"rɾNU.U]21cv=7%V;_\!"X-v0х}sCZ,XxCD$(R |D_ /~rPBa;iPwV~?~iaB7+V#) Oh i[i{)RiT<ʇA u9"iomL xzИLer9qU'`2H[վEe_,|cƢ?'!@Iv],bL¾A2y 4^!eT#T} $'WU}i,Kѫfб-}%jGɶV&CE 㟩eS$jM0wbtDŽ7Re>8_ZKc ̞G?!d[1Abʶ̩Tsu\IC[G8A2QO콝g&5KbM븲V]wE b!t9c}sTN_TH.-.trc On0p2{n ">n̺Nۀހh_zvE}&#;%5 Hu\Æ{ <(J?]G0[ Sl aPMqЄhԾtJՎdQ9)lG4Y'lH8tӣFüM.\.EM/vM8~ck&/rmT;t`N-zHaw{ C޳3Fve_o&R4ùON}{瘹1v,+TӢR' ɢb-ҐE`2y>hGVtę !5<+c$HW>?Iɠ;/& U+欻q͕҃O1~,~!RLZW`1|Q>Cx@nFb>ai=(Ew4KAkGuIz A-N£sp0i8/r%+\_}PqDq*RW͇ˌJyJ E-Be4AQ O7 pUX6A¨l%r<€l*ކ#BaCo$K 4:_$Bt+l",4PU|=fRz'Lg;-`s|;}O+t>a݃FHMetFw8AVWDVgyF*B3qS+,Z^!\^%0oV'Ui6s-܌hFR?`@VND-U˸G{bpuI2#`D&w,K U.: YU- 4JFґs:(b-y.7tuH/>`6YǸx ޱ`U4"f@zs`J+|b?f^)gYZ951a02145a6ff1fdc6fd25679729549b1878671cc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 # CISC-Kernel{ #S% |CISC-KernelCISC-Kernel.Separation_kernel_modeldocument.tex7zXZִF! T&x]A-MՋhvG"uIBm5ȢCK9G6;%qO A$\KFBDR|Ɇ,l[M9Tphk[%%T!/xb(⋆t]>i _C[ ]9v-pj F| Pn9eӺv_31KYEv f3lSKä|d 0@0+gؑf7 EBWa#mlG(A w7Co $|L Z4QE&,o[BGHBV&@ |`XVzd~uwRp?#vf>Z#CZ$Dh;aƱ1yJKkr!%%ҕ*aДG"[9-:huf)p$r>}_Q=p]ް nwQ|_1;nR1 m2FA] K؍Oq!gTm5Fwf)avƒd6+D҈ƶX4q@Ĉ*чs zy3k=OBfN13[aDd'tZ4S ϲ"/}pX>+ecEvǥDN'-G lDHf@'E_-gXGPkrKV?3%7E_# J{/ 3QGmH/k:a}LYXzǟj0vjK4ԗH|Y(<6נs!x' Ef#@s{7`0[/ >>*Lb#빥;K>qa(f~'Yvo΂cNFD%w`2*H7.QUkZg[J?}۸xb2q Ϭ(cT:$mF#kRek^ӊ9$Ƴ@؟%p:#Awj2߽v2lLVCyd+mfS#q .jWrK[,^I0kn@dZ!cNƫhܐלR0P=?mU\ʤV -ϓݢ?ǒy+~,l݊63)a*<,XS>s#0&?[ú il=Bgia?mϯ 7FX['.NTO;ƈ$@8L @ȮMZ?jt/FQ{X${c[ZĈbKc6V#Nd@*xlvX!^'LӾx+i5,[8 Iʥ/&x"Ȟ2ql'O#8) qb^qwۭxSaם\jZXcd|alx`F]"9tuc` &-BGȓ[F՚]7YĖ<PE,j,Z`ƅ<ڱ@ n=Ӷ/ >Q,`Px]gCB7T_{Cq_WH0BX1f6KO > h#'% CISC-KernelCISC-Kernel.Kdocument.tex7zXZִF! W]A-MՋhvG"uIBm5¡U{ t"agXuq(lOsjDBvCSR@~K&qK0>n}ۧ̃/:2;NxiI2lđ7_yʲ۷NJx2 ")Udl<TXZm G^$ O {o+|YJ*(4ÌQ}JpjCJ%N1)hGHXD9R@ۮ20r9/$~zic&"/z%uK|{|dNO{T֘Q>0ؽn[OyBrƿs)"45=>Lhig8G0Y#dR"c={aJ[YW{ ípMC9,>j!]tK#ْU ;L˹2Y<-c;rGQ #-% TCISC-KernelCISC-Kernel.CISKdocument.tex7zXZִF! s!"]A-MՋhvG"uIBm5ԧ*84C/ by'_Tpz'o_%jm 'x&c<$l }ЂgVn z\.%T#®6??XI-%f6iSVSc !/!Xe/rkH>9^I$ %KS|7n |d_Q\3  ag ՘DLF~V Ǖ4i ȏi)u P i-MH%a= E+fB%*˼w=A{+} oIq=R:F:+J        ;^ U  h +#)%CISC-KernelCISC-Kernel.SKdocument.tex6#?%CISC-KernelCISC-Kernel.Step_policiesdocument.tex;#I%CISC-KernelCISC-Kernel.Step_configurationdocument.tex 7#A%CISC-KernelCISC-Kernel.Option_Bindersdocument.tex 2#7%CISC-KernelCISC-Kernel.Step_vpeqdocument.tex 6#?%CISC-KernelCISC-Kernel.List_Theoremsdocument.tex C#Y%CISC-KernelCISC-Kernel.Step_vpeq_locally_respectsdocument.tex ,#+%CISC-KernelCISC-Kernel.ISKdocument.tex8#C%CISC-KernelCISC-Kernel.Step_invariantsdocument.tex-#-%CISC-KernelCISC-Kernel.Stepdocument.texM#m%CISC-KernelCISC-Kernel.Link_separation_kernel_model_to_CISKdocument.tex@#S%CISC-KernelCISC-Kernel.Separation_kernel_modeldocument.tex*#'%CISC-KernelCISC-Kernel.Kdocument.texI#e%CISC-KernelCISC-Kernel.Step_vpeq_weakly_step_consistentdocument.tex,#-% CISC-KernelCISC-Kernel.CISKdocument.tex8bo2¸HJKuL]-mxcMr8C@ S7 gL%Q ~6J}`i(@IK5ˆ Cǵj@`*$ƫ^DCFMQP|ޚ[C~|+QBfWNXG;>,) E C1 T^ 893,7#CWe%pR)zf B ׳Sk|Y )GktO˭m/wBFW驚> t4[<6YI%6/B;Ҷ570ݟLIGBXp^4hj&&$\EQwQ>jǽLS;TS{MmQ\y T&inx:E ]AQjg2s,K7[Z17m"Y)1|eq6 S߳ OT ؠ CRY]H7[!)`'ֺY7 t]_T܌W>Ak!׭ A:NQ6G *Ls"_qIdUf_.orr;7N*N*:SĚ\D&5-z^{p^ݣe+lk@,^ePGd%~2^gɐLsa| 0o^kC|+OӲ^~l$<*`.,ƅZ Z$^Eς'oDΆ@7uX9*UЧ*$hp-OD=; ?簔}Zʆ]=Dhܣ?b6w3J&ǖVTNNɄʩu)A#Fӌ8{r Q D~EݦYfM,=+Wp AޛWp<ܫ[y /. + @qX0c00"d_a3nV,z`5{/V7@|Vq33>vx(;f:dC؅u'KZDii†*:1 /8.?l}>3 mvxeaӮUy)$[gtGX]H]3l_J%w.#${5ha^G).Y嘠$DčJb,5q_RlL:"+<(nz lk1'<#J.)$8 eRΧCyg*nߌk<2a˻r0SoHwc#`I,fzd .b؛=sڼU/+LL.nVٸpZwnYA7YV@*zrG_g3oN7p詗b쫩0xUSzN/VO`nBI/ٟZҥ3^b6Tُ|5z7Gk˾fa[9J4ދMac:έj&`N꒜U_Z!ײ%1f82KDT858+;*?6쵚2= B+kQةvrBYE>Y/L;yg-Vl#\ڽ7LotIލLT_;XۗYRk=I7 {<,V+WCI9c \IoԬ1O`iMIt[zwy%7^& ,xGЇw<ҳ8lւà5+L+]_$\̳tL-FITi{옱ۂtM,^R^If\r2nCtSߎc_)0)Jo5 a|lR|a*<ȿPso!I -rPO.@~>dUr˼nlxP5RlX(fCRYq} mޘ"ڜk=F]tX`OGĩwBoߛ]UR>r,lǙɔZ7eDĩK*SB:rMR@}J:1g<*.|Yt*c~b=.`}t&$:8@;Qvdu F.%-qQØ4_LQnN10\u)UE]T{(Cb%w=qȮC.9b&k{Awo 4$K8;ɞ"[ې7].W{[x<x>LRkV`\nC{Ǽss!26Z4XjV< .L"VnN MG@@٣5@3 ib|8`׬8J <ԗu}o!.7=lx)@IiF0 Eۼ}p훮N9 1}w,UINٽ_/+d.k" ?7xUi>3kUZZͩ1D՗9r6~5FKg%nL/;dѺcP Ѥ?m7%lu[ʆph;4.ψSf ?Nbۣ?WXY-s"łli|q6GX[<WoX RSW t7vfiM6ius]!X0(\#POW.PdwbIh3)c/EZ $uLñSH^'Q*}݀G+UPf#!j =2aF)hA4o&qnix詘v+NwjQ58jz"]vk*̴vJW'u=2QZ0Ӱ"ȃhaq\Lp[qX=hmT:dE~R F1n&ٽ0s$PR[cXt3:DUq4oyo̥{\ -6(_ _;{@+|k |T5~ݔ]r jsv5o3P-{٘"L>,!ni~W<ƼdJ඿Ud0 >Ҕ .42 ;>ƴO:˕i6p,Ÿ^;"щ*&f\jF1}H( ڸ ?}M7^d-q5Q6=o_laz|~'1RiPτqˏ^zJm5 *0P+t=A=M#i`>=Ǣ, h /\x[M4 b=9Xho F79ޑrbD#r8Y" Cs0kWZimGxH`|WOo!q̷0dpl@>IWR|^;*Wh");h.E^ӊȿw\>$$ĄO= %T4:wb Ѓ~-sEkv@w ;EnBw~lǞ~3cȊ&®c9Zv38.dWsJ?Áq 姥Qr G ຤m勆&PwC~lOd~(($BD@̈́a'QN x$:Ī(=KVBvB[(i=_S2.+jpJCuUbtDomԯJ]B;hvEr%IMKr? 8 7KjCf7IK .8VB1a@Z^pKX*OT *=v/W>C+:jcWհ;gL 1 f<"%U↪c^W 7H_nzV#jj iOg8v zF{8;Vvy0_LL|y,.ƮvnNENe<K>nCs@cu8ޅFQND2'.)۸%/v3X:l.%uۍHo٤ڠyzWw" Kr~x/' N [>JGCAǾ ĩ`LƭيU8&*mj.R#sNgL1^GgowAOS잽#BĊowTbt] \*7Q(3y}rOo>ud/^!:Xc 5)G`-+:s ) ڔ!F4ب㹬]'-l9VCkn ՘D&a֞m=ȯ r}qDIT %&VY~]&!w8WݸȺ7hqr(ۧYv4iqۆLwwl1B di1Z* `g bGL틋A,w$i%]|reK,(`MJ؍M{QH<2L2kؓl\GqOF Oՠj3X! R_(|20 % Rki4l8_T;\"b>xnx* ]j^8>\< fo_qH/$Q^|SV9uwM䴙iZX: =hO@xk%lUavq8H! @dSnhkGY/XtqL[v  3]ƭ3e %W72D@`T=mx9L b*dmJ^(bZ. .&xYDE~.$?JHiX#{}SllA!Hm 8d9'[aŗk]#Hʾ =<x*~=5'_7a:Qݳe Y-X]}@50g NR&wZ8M,chc8fM)nYn|$K/ϋ|sN;kr&㮱%'H}($ͮ\S;_f:6}Mcl61진#4 ]'* {ъKqOW+#\paG֞4 l$|GΪo؍\D XO=`]/.v{=UGiLCl`Hqf H\S2i^3~Vyv72nؤˇHh*,_v"hyl53:`ss8-#&r]d_yUF$7tf&~Wlzk4~gX:4WOQccUߐ7+s"zVe֘gЀ~~ֶ&lwc~$hb;v^]ضX( cʺ{ h@6Deuΐ |Er9{cqz̬v[^i2~/1 Tvq03^V׀DWct kDY4Rso&{kotԁ Ta!^=m\4*NQJcaK?d9FHi TZѩzfyqx슕Fw$P/:6,AYiZ@5UorVke%!}ņm=tv$ ļ[I .Ipׅ,B9D:BtNZ_q5%zrE[,^f*zАof,h0/@ mPg3VZA Oh u0Q jH۾scYXDc yRq_kc{t*O&]u˿ UZ}J iVQ ړ &&-v~]K 0T>B>46hDfy+Фؒb^˰%L珈lѯ'EO 1Lm@ϔlZu-Cg2 F0;QX0MZ"`n*Ic'oeByΖg*‚& !ivba6_ 2(#:x):!\)P Vt_'l9ĥ[ 9s 2JL&ev=u./k=FG;uڔTS̃U5}5> t d3 r`m.@O~@տsӌ1?˘L&%IryVI)$#eMfv볕,{N\&`5x-p ~7RZ u[To2:?C{-kJ (lG_ߠ"| K5j#<C"QKbcF!;=&ݳ͞9.8-CNۄ&Ju+pSC6yb0 za室( g+R4\֋&a_'AU*ÿq}E)Mvk1(v]ط:U_b۞ݯD+fH\il/șO+q؄P/mRd<ޒ3{Qd~|Sι /<^^6Ƒ M#=^߳-ϳ *ӞLO4S b Cظk` ӐK.PXo⸑u|)oʔ[i˴1Pn\ *> /2z0g8dNVΏ2^4JnW+HJ07Ǟ1oNQ#kzk_^Wdw4%(:@={uSD0 N87 7H8)Ps-z#cScft3IAiI0I*xeYhKM5.XƖo3GNNɁHދ߅"("Nq|m5(K{Y|  Y'lu7H!y!I|1w8-/L6n[ySc!qu5t/󚆵k1Py &|Ʉ#q]{>o jk1 EVmug%t*"Okv_ʀOcsldHw$! q8Li1W[Yk8%Ckd4/+ʱ2|T`d"DdY.YhkFFJ*V* &P&v]piZZa +̅0GaQ9=(O ̵C86y{C4uF~UW".FNlkJbU%yB(jB&SܓX#7@v6{r}GuO}k5Rd'_4*wQ )Hk!&e|nc٬1:>̹`Ʀ.``c\&XUT`]u[$;+3/G AҺƗ'I/ י"&$43YwH /Sj!ju^$ '=3ҵ7PY["CFu@T>U[SQd/5PP)Yo>{:^zP3S}v>Q,ʊd,/4PZ#( t_$SP>8 rOXj?29Z Nd5v7ax>PYڠ'X6In19tVFtdýd$;`UOуEw3tS!¶a@Cq8rl)Ѳ{1 3waB X/voWvIw̵3M(v4tceSAF^Z՗v (W Wzqu%4\[E:HauL1 g8!KҴ)J] 16@~;ou ,k/;3Qg["1^q[#gN ]%.r8}V},zC"nw-ٸ'@*鱿|t<ziht* %C2֖"u|E:f`o&C1aaFt¼dÒggDC?L}UAj&!OiY2|aOGaWQ0;3_[*ҨD._kL=hNKKg!6P y6 OPyA[k'hCon^4(qMb$ӔT|Sˤ^?zy) HJy[`5@*ځm9sB\ t;>QwjϫC#<ͯUsf6L$UmF1M8nָZwS41Ĉ&ȅM--u XM4PSc T3_fU+ w@!.g>B@fixds\ڟŚ`8,~8| "͂^YRVi `rдrwz&#h^IV u^"[DFd ڬkcD >ărK+'ͱ{u|T&k-#\pAV/fIW||-P9H\}Dd&0oyKZ81 y;дq^k.5CۥtR M(84ty|H MdcWt>z}fN2>7MW.ܜRǜv`}X=VCI(ǫ%'s4=U ַSFޣK '`?YyJO/l7~x1P4>S~H9>0AHD1P)y[y}&,Xm->px@|ܮ-| 199.E2LpwExRd<@DŽ>0)7YhI/\矨JDƓ U#;K.%5.ݹ[h ҏ2 ?K|1]̡:e4GWSü}+QXt}<0CF%uf Ե,,Y55ATwt2ArKWc޲]sܺxdpzg᐀{]zN?\ |03Hēr *lSȠ'C>ncI!;0H4Au$j6u& 2bginoUs:Pb7WY-7k/J>#7uB񣮗mӨ R< [yҟ˾ɫtS)^>\_lgQ3"|Q ȆW8<#,0"z1h6>Vh$!:T ^SOmOMY?MvŒf A`ܫqd .O E6ubX"__^f\(O96Y|:[8 ԕ-hʏvv>S[1ǐdW ++$opWO(u-0BVogR5xYRw[(`6#4ly5_+@I; zCDj YS;I_=?#ebD倏=&{I#0FA1fyW3gXʠj"N4p{`dؙGe@K3 su7c!?ߦȒ5$M @ hE*1?mvc2*bVb㝘BX%rڧXA%ä1r- ɢb\4]AA< NS sV#T~ Ƕ;xdE|׍j}s=Ecyy5q~tPKTs5f2es"y)8VnG=LJZXv}6yv}〢:ȹ.(KRylMP5:F:hVBCԀpb6{ נbRI@PVƝ?ӥ-XT {!\_]_ >~ )G5eXq 0w{w{sҞ?ۖmcHZq@[Wog%ɦV7s=w] w'H8ONgim, w ]5KeU9h=|+Ǻ "Z6x ֛/n#[$\ }UH7lx8V┧ŎrV#/UXট3ݓ-,F p(!2~?G hYO`] IZޭ8/w)r-Н@k@l4ܕd&tq,k2+2*=h*0DǦv|6/WfZ!Fp`o\J'=31}0E RL"NgKK pUVy_֡@t/y#٠تBtZ|7(th4ȯr)ԈDS?L ~jl4Z`o,39(WE jM8X+Gh|ŧ?r))6 5*sā<'E{z UĀ& g605io1y5IN[6 g:8+iX3!E!@ص%v+SOo?h"ŔqpBLcSOYÞ٧gMP}1А{*WJ@2*~ccik:ߝl~|,$22ƒy^o<*2^/y˳Mmvfsq@ Wz8:2Ź?# f*?Ylյ{g8nv?VdbiMC,=Gd09jIIX6/bA~6,aE~˽U)EyTPج-^~Q] eDCW&kǓ_uoD ' p7q'i [=jsYck[NA<ąmgx`Xv9-2U7幾$!R#J_ (+lQ1 xFhփ)aZǬ"̯E'DgYZ ~f?b+fD_0'P` Ѥcou,)Ofs? rW[EM.p@bg+yXh]-~0U"xPwbHEX(@f[s߸5st#U ĭ_P-U(Vi`0Ce030'2_Gp _#Z?Y>o /T+F,c{FҚz~4Dzf'G,1EPMG@9ri%魀CeV[t>>WUObUzj N7'$7݅sn7 J4n }a* h6X^Xx ^Lx4a_*Q\?NhײLv3wk&.$:Fp0%f^Inҫ%qD`CШ\-*>gX $ux.} zI;|Rȣ`3s)zQ!͚ƻs IMNP;6W:V\ѹ,IJ[y3B〬o!CT,9ḾqF|N<>OIT{0En6+`uPy-XΩ+h?O !/3_2""S<$୪ 1딸mU~=C{}KNדҧg$ o=CLHNJw҅8[te3 P9"GnTِrQ g] U}=aeטj-Eu7`Wqfe튙Zڵ~y55vjݦ|T$˿"[*:N>l]@3yB45'T-sD£ً..A-N zV6$a{yPgpLO \֨T Xr,6=xoa_h7qr HN^aS}?YgQyIy%8|'LhA'ieCvN/Ugʔj'^ M,/(FdTqzf0CM(ժ:ov ЩBuPI}>l jD֎{-|Ę_Hln0"n_[QԈnwpG#\O^x[9Z/pO)4xL{imV!97 WdVÏkdc8}-N8Y4;O3<+جtrNsAwPqTUCEr}_*X"ƲE;uX(֋2=^qCω]Γ{yöy_{o*\FIl:yiP.U7IY`[ T8NJw -nRNwq<,w@k0R>kx06oFe]]~:N}V-Arʑ(qˢں3'DhFcJTc ̉bGh?/pʵÉ{^!n g"(05lKt}쥦D'6*A.-LR]FNU6-LX3q=|(=aqwa[+>ձZ[cGS.yd6j+Y`{\XpJ(*+m0=-02[͏DcvA>ӑ$3iꝑ")u,W:gp 0-{&k>ʬrfZO'4:* ^'nj@k1lڢoRqH^-0iSJVFE&m>*UId Ƙ]T0B5.O"Z_Ի.zu}MYyw'C ͋ 2_j?>obPhA,_0FӒۯ|hPa X Xi?άD|)w(sϏ0`oԀ!̍iE)Ē :- ߷"cu?,&B SۭD|*',;BQ΂B;'RajgIb5}|aZ tUSJ= No{/ԝHz>6AKYd$$dK/8*:kk{i?70 w5`iJ& HD +2Ü&\C3,MY^e UKvG/5U#!Rǩo}a# /0EPXsP!`}ዞeBWׇSzw;1GE(\Q\6)Ԃe%9d\2$.ghB 3 ad0CP[cԂcz6/$˱[?&rx ܊[аxhqהU`n׭>˪J}8'.'َ0 Y}]G|*~ڶؖXr܄蛙@4MZ4q,*n6!J'*G|׵N-UZrC%Qpu6`xT4͞ow5JYj5D E]>#exnPHo/VnM#I}ㅅ$G=_֗djECl}y [crꌫUD^4mCZa~,hKkKF|pEIfhuxsO,LhɈ; ;'wMPU!V΄6W<ݰZ8HCɗLWMmk8e`ҕɄz'NS-L0F2JmobUs T }N՘gl6amQN-xCWP#!$Е{rev=J2¢ /Y-p "EHW~ٽU6u%$ ~)yVUpKGј^)HL SWBís<%1m \]ޟt'ҢikFUSwYWÉвhl.mb<)"t*aZ*Tv?g qh7l\<a|nX)qHy:G1&rm 8O-6kg=Aw<r:YsUxy22rѝ=ΰ6)@5 çR]!Nw]BZ-i-&E u(NZNp#_>m?T`]nC̛8+ h6T85-p+-F\mz( LO|ϺJx}fEMJ"1V%& ³S.jP,.i7sBdAh t\A37[i(HbXhtC <9 /<Ư1ކ %X=@J g[c>) V\+Sla1 &Q_Ӈ.Їjki 8֤#OY@ E 䐻J767'F,z&MD0 CUhT!GnǍF SGu؅q/%}K]oy O$mk.EJͽjoLlL'U.gV]vUl3!*Nyf.nl!ľC#q9:mc"rYܝȮ SQ t=oB2X<71|u@u+fkX\݉°] %Ԑp:fPZ~eBʑ!yS=qXMWPIK?]젿~i_-I Hzm. W#]QA{KN&ܫɮo? n0OR3K2`Φ]J2C(}ne/U&9bImnh; Jߺ˞&f2)ǨYo~WrtX::P7C=A +z*w5 zE?GbaL3$%c"o"E5GbT~ }M&D(zhJ^sHwPhE\f鍾NC`yCgy:{"HT} er)0A):"$H4 0>~]χ!L<Z[3<~0r;rFL}gՊ:F3ޓJe{,M20U&+ujZxG+IXa]MBXg3#q +$Wsouo tY[9- \{eB2k9#ئ)#H-UJ95:3!ux=3^Hi _X#BI~|IƯo/EIc.%'B]ab6.^?U"%f~`uȀsśNmyk:?]r v.GH.״ED4 #0kQ _-o hC.k)9&p]/#ȣBѕ>-_J{r*pߠoFA>vZ̽(sbf87EoC01 k$\DK&(i'~;:pȴ$]4G6nl 96Y>sn-U\Mo]5${[lpFzUqc"=QqƉkEM\,I\u X v;kh*8\V90x.?^#VSF~ͻ. eA=ܚYtS}@g쁐ƗzT {Nfᶯ2{=Bm,*\ܝ6 @.t>[45s{ :ud؆P7&QވÇex.I⎼z xHP\=iGVf u!03U.}W fP?mBZ&TWHa,iCљ(͊}7^wDg3F*Siklc0kcs uT>LvԽMpEf|! @~Uch*i7]~v K$u5A 3sX #!|! Tj>/]wnr0*M!"h Y#P7!±LpR_-'oN_[HA [0cDdGq)=?yPXVן4l?MʷP̀&Vk9&s OKe 8*fxq7oL%F_BuqN%͘bR %EôSuH7$IS vп[O?5aDlmo`x?=1_Õ~S2hAO7ʫh}E8!șs & dy|YН\LJ_[]kC$=M$,ù6 'AsQ,T1h[%D򽊩o { "`^m(2 Ͼlt ±1us}a-=j]}iU~|S͏pI=2c10H`%PB,zϡ^$Tr屣\ʮϴnz=t(tV=都#+n)7\z|9қ w@9M((:$2c|uΨ fijޜ{?1528\q`I|P+ed0#<px5^'<z;U ,_a"i شBߨ1V5׎xQ#L7iݕu:\q|$ 7c"a{D_ 9&ֿNQړnVHurTUMD9”`ic,5SjJsgWTSX3nI>p!N7~2CM-Ρ@V''Җ2Au_QNwT#+;D<}h[36UnX1qA5:!u(|$[,SGue~Ʉ| >f4I0Ӷzl]ϮZ{AƉms*4<ڟl1 l,泷zв huExG8)?+}"tCy *v9g ctyYn< jQ?~c,**F7ő(N~y, S !!R۶ wIԕIݔZ/a^BUhz4ȶ_׵4׃C8^b &2Bp"\]^{3?}ĞwͦjL}kU->.SS3WZ$H1Nӻw;tSjO 2' '7D l94( y L0E^C$"Fo,|"RIM9ߕ$RhX!'SN "@[Q)BL WٞbvsoYQ̦*>uE0̌D^yMRf>W7 -^,\5&3uܓF\r}TR2mzow32U\M>vgYZ & 0&{ #S% |CISC-KernelCISC-Kernel.Separation_kernel_modeldocument.tex7zXZִF! T&x]A-MՋhvG"uIBm5ȢCK9G6;%qO A$\KFBDR|Ɇ,l[M9Tphk[%%T!/xb(⋆t]>i _C[ ]9v-pj F| Pn9eӺv_31KYEv f3lSKä|d 0@0+gؑf7 EBWa#mlG(A w7Co $|L Z4QE&,o[BGHBV&@ |`XVzd~uwRp?#vf>Z#CZ$Dh;aƱ1yJKkr!%%ҕ*aДG"[9-:huf)p$r>}_Q=p]ް nwQ|_1;nR1 m2FA] K؍Oq!gTm5Fwf)avƒd6+D҈ƶX4q@Ĉ*чs zy3k=OBfN13[aDd'tZ4S ϲ"/}pX>+ecEvǥDN'-G lDHf@'E_-gXGPkrKV?3%7E_# J{/ 3QGmH/k:a}LYXzǟj0vjK4ԗH|Y(<6נs!x' Ef#@s{7`0[/ >>*Lb#빥;K>qa(f~'Yvo΂cNFD%w`2*H7.QUkZg[J?}۸xb2q Ϭ(cT:$mF#kRek^ӊ9$Ƴ@؟%p:#Awj2߽v2lLVCyd+mfS#q .jWrK[,^I0kn@dZ!cNƫhܐלR0P=?mU\ʤV -ϓݢ?ǒy+~,l݊63)a*<,XS>s#0&?[ú il=Bgia?mϯ 7FX['.NTO;ƈ$@8L @ȮMZ?jt/FQ{X${c[ZĈbKc6V#Nd@*xlvX!^'LӾx+i5,[8 Iʥ/&x"Ȟ2ql'O#8) qb^qwۭxSaם\jZXcd|alx`F]"9tuc` &-BGȓ[F՚]7YĖ<PE,j,Z`ƅ<ڱ@ n=Ӷ/ >Q,`Px]gCB7T_{Cq_WH0BX1f6KO > h#'% CISC-KernelCISC-Kernel.Kdocument.tex7zXZִF! W]A-MՋhvG"uIBm5¡U{ t"agXuq(lOsjDBvCSR@~K&qK0>n}ۧ̃/:2;NxiI2lđ7_yʲ۷NJx2 ")Udl<TXZm G^$ O {o+|YJ*(4ÌQ}JpjCJ%N1)hGHXD9R@ۮ20r9/$~zic&"/z%uK|{|dNO{T֘Q>0ؽn[OyBrƿs)"45=>Lhig8G0Y#dR"c={aJ[YW{ ípMC9,>j!]tK#ْU ;L˹2Y<-c;rGQ #-% TCISC-KernelCISC-Kernel.CISKdocument.tex7zXZִF! s!"]A-MՋhvG"uIBm5ԧ*84C/ by'_Tpz'o_%jm 'x&c<$l }ЂgVn z\.%T#®6??XI-%f6iSVSc !/!Xe/rkH>9^I$ %KS|7n |d_Q\3  ag ՘DLF~V Ǖ4i ȏi)u P i-MH%a= E+fB%*˼w=A{+} oIq=R:F:+J:a5l,t#}X0|ӺӒdCgxL; RR+#m% DCISC-KernelCISC-Kernel.Link_separation_kernel_model_to_CISKdocument.tex7zXZִF! i ]A-MՋhvG"uIBm5hDFO #N R~A >v[O )HmT4Ǔb@w,!w|>SZB-|TU9]xq k?0 A+ ((c( b~yk!K|luU؂lUqo=FDm$ythr)MGǦ\{ A0 YoN* Ҏؒw['P9@VhBK3_c mdlޥXHqޢڱf1?\@CǕ!Z.dDNN1ے%2ߑSxO!VYڇny-ŷN`Իc Y-f% jZ[嘁|G7)/  _O%Pf1gB(> RSBrݐbB oQ!,|0uoX6jaof /FoO4KMW4xjdqP]20LrX#. 55h(܁ oEȠ03q5}wDK& ~_)V6E_n!Vk5m 3Chb?Bef rĮ]XoװMM "6Fef̖VK%&>Cٲ!*?JawW@HUY>Nd)̐$9%~Iau;ALpб`OC-CI3m"/ MڛVJ`qm3#K gg|mZhu{%H(a^-aRKqF f$>_vhqVXT]jƚ޳yh/.8~IֆVD$o*ĘjiRqGkkjGΖ/#p"UuW)7$n>yM&`f5ؚR[7T0AcIJZ$7H&tgrDߠWtjE } e-=b(#7ߪE;rw`8h& VhlaE0n,=]Y@R0ʽ _ůc;0Y()AT#pAr?sF#7aA#awςwQK@S^",. [rL5?uJK;($Z_+6X{Qhf HP.Q5l(Si>:gQ`-}OМNi=>L(RO,Fqilɳ\A$N7%d7VN}pHhCqE/= 9?>6EfUD ؏~64,';Kc>Ӓ|#j{;bf͂lx,$zW><0y yZo]SsxBuo? һ$u{dG{w4]$C3Y\7X Z?&6v /CsH݋փ=,f;9ύ*cƺ/wD=1'Г2 [R9Pc&9A{0sr]kk浩xᕙ#]?L !-ePY12?&]/p^NoLA n}q(ڙa7d7PS0-qJ}S2IJnzkTM8Arf &fQ|Hkž:)W Vs֬9 B~/**Ǯ>OtdsʺF2ŲlلWS[haT>aJi^m#~㽜ah/)Q_Ĥַ`HmzK2P1;&JJF SYctǨ?꧀ PH9T0V;#9"cvCa pܮު_ꦾnY{gCOfDiՖCCE. Ws.iF?{.mkc$ԀJukM}HTI+\ X_C`$,&4//E*kI:ylf֌2 .E"JA,pLx[YYw*x& A\NQQ*_Q7ʈ%4U&B|Yav'Q㪨(T$H|x(N[,aK?Z}#nJy NFkzښ3ʷYs$~͓:OGDTFCc&qǟB.R\2#G6qhd cl0Í}BDuaf;>k!zR۹s+{|ԔE$,*#.l $s_r1a[Un#qͧDGI ܍p,6"?b#/)ʌ6 ;7!u0>_n\wn<<ʎ#$ˍ)D΁%;P: 7{STjB͎m&X~@G`)g\ FLLv_kjDO*7R7`݌.jS̄p_3}`u!l8+c\و,[lgŃ?5m="M '~]AGOX$3v')=g ~y9yD s8I͛8>PP04ڛػ8NT,`n:^ yZvz@ȣ8qu MPWR&-/ᇳ\4Fa|R@c 0_8u#qj UhSY;ߡЖRs'a*Y2_gYZ [#-% dCISC-KernelCISC-Kernel.Stepdocument.tex7zXZִF! l]A-MՋhvG"uIBm5e˙? }I2+8k>A,BԸ}ؗj,stY4|,]L bNY~ ؋!v Կr-}P*Qw 8~x0]^P-fʚlɴ,Nn~=BIk;p^^Ҹ11뿷,MͰG0oAO#h<-LO.xx48*,B(yZ#{9[^Fzk.%`P7dhPԩ:@Ryx.coimͥ.#E`0w.>MNF|lSoWۺUy338keyl-,e,}p܎Qiv̆x_"6}2õ)uiIvהA%2>f}>|it$_y.Kd%\ ;:DҸt5FP ЮD/,G,+Wlj-=8|6Hn0!؄uG?e~fC9H52,I<uALbRPK~&H0PyÔ'Ids),=HP =bA6$~%}vJ; Yǵα c`͸Kʢ\|bY "ynt$Q0rVxCU0@Gݼޣ9tn  9 ×4u2T\ਤ'tX^'-^C9oew L#=bECO' S?Kfѽ./G]^̆]=BqT8b/b4˶QLqWIJحE~$Q/en-Wv'LU/:OݳAm+?m 0bI UҹQ2 O8f?NˤrArmle'Y#(p9Q.xƳ/GRi&xmCjg\x6WAL`KTuZ?ofL ǦRYW&7>6]T&wH߫5_ *! FfsՍxSpb&6ɘ%Dh\ ^drt 0OFC;9 56 BOJ;ُ0L΁XNz:mTБ;U?JdB<|eh 17i5$h yag8%6cR G'/tKs!ë< 6k!"4Tq=t"Qٶ4D5@r/m_U'sp2;_`͚zPg͟2y%,R3;9&LbuĦ4sAWi `*96=j+="],6‘"7XXm}S#AP|t9zb؀a@Z6)]PQ\CD+%ˠЖ;nDjfڻHgge椽"\">Ig/tʟ^u0H>%%}ߐޏ>{5]=e۰h@TP_6RpHi% F͏2_mKdgrO,AMt'^Hh-dzp'Bkc%a4+*kPPh?[ʃmӍOϮsOtyQq׾Fca'Yt x8 `ަwG}4,[]Mmjw]#u*TATuw/D\s;j12yE4rBZ/Ic{<:+S޶c|(L- MZ .E}4=:{{Bߗ%Xc?pe LqK-dx5=U40H!ηé mO e12c\7Ӏ>H]Ѫk;ܡ.g`@y|`jHlmMB̰: ۇ55'$Zg)Q\٧"t!;`'yE+3d?ˣ3f)(GKM~&7mP-Ĥ+WVTǝPq =5GE(nPzO˪ƸOczѹD"DQɨ>4jeK;5:?x;aҾe=o//M>YZ ^Xګ G|2 >q!*LwN1<)vUJσ}rh/RG7bɤ.P,] .`g: x#@niS]sCihK<%Z96-F 5mk;~x7FY@M]xɌl ?:'؀Ήd[VjR!['c]*#A#rxI0JdpOqX/SPy #7KEBb2h,7a{Uv;{Ё̵|Ӌ-qOLaReJwH̞0KϖR} j]* ~F2}GBvSb_aAyG8L%1󼻭q? EaOHi4n$䴆AV8EYH|~DŚne sh#v͹vZҥ/64g8?R'XU6. 5fKj$k!|fm'e' ~E| Bg(;8 ⳐUATjOtT<)el`Qu0-(N7'pw$>X+v|qlMdZ/@f(k>5grs7s9J//yBP0]?{"`K:߭t 4TjTSyL]uQI?Y(&c JO5:2*ٞ"xyG ֐BtYdX0If;J%Έ֬е *3aGՖcs_շOʣ@&(wH@!>տʋը/It(X+pG[%h )@B(Lq+ss!R6j(8qſ>=P bqa"vz}#ɬ>{n[[Be ʀm^ˆӱgYZ UsU  #+% DCISC-KernelCISC-Kernel.ISKdocument.tex7zXZִF! g1]A-MՋhvG"uIBm5"tqr?Dy8o:sYd%TQ-K?/-d5BOwCnྫྷXlB/AZKż.>Yy>b歭} Bm5H:oT&JQTǩ (W﨡1 1  #C% ,CISC-KernelCISC-Kernel.Step_invariantsdocument.tex7zXZִF! r ]A-MՋhvG"uIBm5e;*-JD{݆4EU0<-BmpYhPUpo!N;V"t9,vjj5|xIJJcЃj\T3d^6rbKީ,=1u~TY۴,tv݁ZR˝ƚ߿{-u7hrܤx7Κ:ʥ>wEoY[P"AG_xC@$,/y:C!ZLʝS UHHωi٬? WG!E"_誰`nQfgrq=_,;S;,NOv/Cgݚ(O|Ђԩ 5 ;)k 5[2ӭM*4 ze0< |‹ty9-Y$~+h1&տޏ?qW%WK@9ޑDo-oB6&]u= CL=-x̸M~Tc7H;|[m,+1T㻇ﺀE eb27Ld{Ȏ93[3Nli6S"Sw@'K 01k5b[Cĺ]H# M3؄@ M3<$[_AEyYZBa9;ω.¯+/p"OJt|{LSmpS7Tu`864`zw = (3~}jjzɼJDYjIfYKshVK2CĩZto*26 (jWjQ^E:9wywim|eS7τITV7}W_?ւM_e_Oq4שF|0:;G)rqQ̦뫉0Ub7Br+{$q`D0i)^ylm6*X:{w}^t~:LIEn `+![s2F?nh~TNjHjEv^nyϾ) =?C'4! T#4\eaY#Iٻ."pX#"bsD#G쌮BY~$\G2ɲY6[ueKc(/i~_hQď\*{ʿ*҂=9Cn[yDqvVc H1 M@#KYڷ~B1*,8J҈k"7ڞUj8uM.:}NɥA؂}n?2:g(߳d?\մ V 1 хljiN2qV~ >W-Xt?PTDF5b=Kyawsݥj5'W\пMopL'pRׯ1 u#) ?O)p=f7UȻRWUH;YU;Z_ S,aY5P<+g_X(j"]&]ؿn JIM^T;:a<>F}/M$pZemג(\WθR' H>4е=PC7@_9WD g@'CHnR%⧛a#W7Ԯ2ise"/ՏsuW9n caoN@E۵O+G M&ߛL*戝`vPNK+Jja2E@WΌ9<3xQ~i ٶ.z}T)Ri$)}r vD=^pֱ"~աzM[2HLf]h7xXzk1xhuOV2[FeŢQe.{iBհԚ$lrL{f H3 Fo1\andR&YNpQ‘ &}RΌYӻMdn[H^~~mJpgYZn3'9~Rq_ [$xi}u~C|6~j) Atqᗙz@\-fg쪀r\tD<!.A UlDڽH #^@+o^p:idCWXg{7s'\ڬ5_Vדlo ,HJGpP^43CÄz:MSl{KcNF-pg'5i:HH2( SZL'u7"s> )^Y)\S u՚R˘4>) %ʀeM D>H)شR~kOٕmS9"M_{TB&|f5k0,lO2BOxNgQD>pǬ B]0\„`L ʏI۽{Yalqh;F]Qf]5a2R50]D4pѡB!(\&a0d~_c,MF}gc]vE(N!Wh znT4!TgQRE ' gqv+z54\YԄ[vDaC!s<%g\Nc r̙*n,r mniYT]!6]0y{ow%0m5v\ rYJI!QN[rσNGqE=B&7Q%JɣMt`ёUM7w}gnrP h>,Zx4p7<Ȱ* meΐ/ҷ;W zfAGNG"ZgĪs;fs,Fڥkџ𦛬4FA}]pʫ;vl)cշ1B 8XgˍQU`Lē!X~Gs}į]/iGvx3K˶e){:N^Q2Ee͢] ;=mn 0uo͵O˳K/j+G`RRmi&;_حܪ UXމjkجߑH4 +bj:ІpE)dW+qm8@ zG#|1 SZJ#U{ mܭ&n `nϪ5A=)7zV5b}cw`~97κ̌Jʳ wYŮKSGb|R@ORtu*sQ[=$jje5Wi0(SLP{uցsiu"tym$k+򅁎J @۽"CUai6>xPU4f ox3. a.4|єkᏔ4(6AR" Ss] : [<ϧ)1!!L yDB[rcɢ)z#!v3'}7 !)Xg l8ONQcы[$rF߹ %;qñgFP%*,ٱz-$& 9f WSpzϥR?CR_F[p{<qF{]+\' g WI e1wҿ񆱰t}4ra×nb@7ݼyp*Rp{^TRJ\*y#5f<{Èːwric~SMJJn7"c1TO$Dm[XpwwOU.WY}䠈?.&dvm݅h`unoy xǀ=,dSv%l&,mthϔa̓*0Zo0>Pot\mKЖ`;SF)";NdӣJ믽$^ !auP%)rIgp Q*O6wbsIaݎ+ y.״ʡCMps8"th}_>I8fmQraW9a4/MCUԍf;m0ؔGszy/m^ ?+Ȑ-eQ[H1Xʹ2:rR2tp1F CyQzMP@uQӳ@둨PGQuvT?}zCF9iI] @OG7~@^{POeSrX̟ b÷Kׯ0{ud&Ń])G6;'J-%{AF.זW]>Hvm-!Pʁ[(}d2?EyKEXuVȱfBjOYQ*E}w!,[WP){9c;$̚>N.G&1_|FJٗ/" [.occ5`J U/ҐkP˳QQ\(cJlwn.>EڎR2ޤ YĈ.^Up b{^euױXYhO;-SpwDgIP^ޘz3Ӕ+-YL97MOw1,.we2_H庡t#i"l;خ^h~ xS!\uWܞ3ɻ#yHd>xW_[2GE h=NHctZBbI?β-ɋi-LPߜO^czBHg9{N[R癘k_-`p)&1M#Y` (mL1Ba"CZˮyގls Dd7yTjs 4u(iZ#cgX:vK 7-*t;AwPBV㩥ė+fXItۀ,>e/f')=9`ɧᜬ}k p(̳fg`9{ P5>6tek^w4zF8#Q+E,QRIt~s+)|5k5~{ ;; t4Zүm[HB]B($ X2~ ht(vO+.[rl"Uwȕ-~_O"KyckT&#$~rP]óG]O8c;a M>|Qg&KTaWb '" w[4`4/(cWr %[Wc0ٓ @A9cٗ})i8e{J.Jp%*ZolGS_8l i qF9F&4CDooQ(]bR"]۶!՞V8/\Go.vIư-T2Ub8V_-rfÃe4=ņ*itvx@\ٞC)}LY;YaÈ攧ѸzwjCur˜n7؄(<3иGGEA-Lc|CŁ3"ši⽇^x9WU7Q 7]R*dmL 9:=1E1[ˑ44Yo[}A T,49<3:pZͦh<1U`ܹO{SEoUr֨gp̞eu<8%\Mfzӝh^/zDuWrު`jl0?w?odnҧR JWWSJ/ԺmpbH%FبLkGe> E^-I'w,e`iqolu*xaA-:d>6v0=(hhZYubK^Kn2ײG^KbJuM[VXa"jE!0&4bZx6wx]0@>w'Hʛp\MK6x81GZ)? Qýk6d;pF>-Ϣ5O\DƄ_bgrCHϤ8tGjs^,|˯`mHeh7hO.8ͫŇ}`4Ml $u̎'?Y2t|uD# 8\44y pt९9TVH /'0>1mNOz)S N:{ j]$_TGQ ^Lg*H,Adj&LEoᆁ0a˿Z۬=jA^0I?=40dp.a$r]^$ʣ̄ @q6jEr$98F~-us%4hfmdW %lkP :e}TS{@/:wW1z)x~J]<%Pvd۲0&|fj1TUǛ nCJGHP}''e aédU/-ɫI*U՝^&vGܙmRL:l - c1K&;-*^g|lPKQdǟH5F=ZO m0{k咠=z  zkL5hWNoE$(}U$ XJ0 P5_ETfd۠i9*ux@ItHtPZ"?7u?N~v8g //&\]8I=(G^oC==aZ가^1Uk؇RW ۺViEm"bЮXG{D*. VzO5N{y;ģ]=Zh^m^S\I8t=:ej)K>{4t&oZnTry8SXK]؎.7>UOх';Y Fs4-=!Y* L {Z#ao\FRh-Bv6]&n#5ndB\VOͽ\b@ӢF;)s\NEi ])SHRREB"wG ,~*LXR:rJC;hQqߩj=\mwgjɀ1OAM5|I/9*9av$pw /IyF#}ϬHd䢺H[8ԟ䟛( }iM*?ÇU8>)Zd%域4DϢK|ÙX?Θy)i vE$ G}7 ;j˻p/A 0 `0b>d6``P%isܾ ,Ӛs)R~ ,jw}{~Epy9*2qJ| k'mF[lCٙKJAVfdwSc@dΙ",\P[m{$H}g4CVwDP`? h=`bq؁:6SZ~j)8~Ӷ}_ř 7+:/rNlS^ftH= p}IE`)'0ΊzO9b< aFGs ٩7cC)~7ܪUR۸ѝBv&UHg{z R3VGW/ >nVx:CE@hݼ_ YH?qfpDnϻv2mAH-/o}*YB&jY@sBjٰ5^;|[ G{'QjJAd0AÚ* IEU/(@aZ =6Nc-0)9ì(1 R H/D Cki>5/n"%`6v;*f(f׮&{=yǘb.Q7J6FGѸاjZ)|-L>Ч&5%*IT56Va۱B ^A#W.^]a鴰v X, Z#$ˆVKOSM:ldR`4] oCR\͉y:0A.p٤-hs [VK-,07;ASHŷEz%2$졮FA;Zn:Z*ڸ>e9T_xٜF ¨В-JWE猻,[,)H> t] x| Bcr] `|}sytdp8{C{8){gHf}dzS6S޻LtTCcx l/AqP<]FFSw`AJ$u2ByOy¼ܖ_l5(zs 3::7Մ,s I<~_vNuY@ o1ۺ_Z/LRT`-ѤJYVm*-k91m?6' NuP? 5=5ohZ%.pF7 V" )(HPghbA9\{-JAڔ>L~kꞲeE?틞SW^l9E4dT.c_YL`tڣ =tȗ7~lx}v*7c3'*b.5O[<$̂;"nhjFJT7c M4# Q԰hשfaY) (.RCk<%_Z{~# ӃuAtϊr?6wNw{R8{,xh$?g=ӢU.1hv>4 +n;tkL314އ}p"mm(Zuf+D@7V7FРX61Y@݇&)윭 |YJXZe%Eɜ]&E6eLODKe)$^&&\&{T=W F'mE:9,*0 \&,scBmG1KC;9Y)u_=!`r{]'ǧ= y_s`,.A/rn $X ˺T) -h,W _t;H1[{ow>H?# R!=ɷ9+ 2 % ݯ[q_"0Xg618%LGIj:{6[l5(I>(W=Gwj*ˁ!}"wϬaΙs1dJS?")fC{`5}X;a,`*Z̓NT eU2{U|f CMBX?!ɆB$l,c_*8u a<ǝW7} ㉄nEr+Vn1opgIË~^%o\-OVVA")^f p܇&cA+ 2NC3\0Qwѽl)hz?;kvTpЁp'&|?߼0BȞ^Fh=CL^!PqA5Ug]^w` ]XfsArEJ.z#Fe]&'eG`N(a>ݹ{;*Td^֦psO1s2ڡOĬ?pwc [[gYZ  #Y% CISC-KernelCISC-Kernel.Step_vpeq_locally_respectsdocument.tex7zXZִF! qK ]A-MՋhvG"uIBm5e;*-JD{݆4ۍP8.l#x OD+T'LϨ^D>Q1@ xlU)/ \fJ\g; ζ*Z,$ E4cV((T}(VlȧU"*FւZppwu44o?"=(cdhH2L!$DpiqnDy k_x=ӷ:-|iʩ0bݧ+~TSv$gm3!wH=!QRe85 qAB6W##*z1 -XomG֧i' G/7*H ѶIZr!V <*!*ioko'aB [ GPJsu"r*[2̸{t:K2MD Ums ./}7H*||h ʈLFR"|Xg|X|Cܕ]gsmj:LJ?kVXb[ -tf(4h;*Zϭs;©)e%=OYm _yE*J/yX2}A`dmQE(v uoh+%,a"!3;6f>ܒвyiZ%3̉ %y]Ql|a٤2$A a$s-]lGUF˴W[ĈDA(&i{>/TB{r DSl}x?q@o]j3 ݭPxm[GV[5sX4F(p n 뮅 xK7bO,k 3\+NW""ObD? >ߜ]_+^o0fՀϾR?,n'^ KRebEJLRCͤx%cG.X *5d> .Hh9N̷ *SaG싟?ٺц,l[ݻ |EcwmRD()Zc Tݸ.0VyČ³&n%P/jrh_.ĂX8#v@s¦J~E]qV4.qD*>Hw;sox h}*>ys$X$"JvtUQX @obdW_U 1"G;V= /#>ZR@/t=[t¥^prOd.ww)Ad-QE$-翍 qP1K;Qg>У:׀7V9A&CЂLHP k2nl\N*f튏 5+@ۢEm` ᅈ]GXK#uҚaqX=&FESt|͘;g$"9 Ef^?U*kk*nm$GͰ%~U^jFoYSZusmgo삐~xZK޹T\-"U=ú|]78|䳲t|7:-z v#x7&wRw&7]v,΄; 0ʪ¬M\pJ~NTP`2RV(A!YY23=YWE⚐Џ\:~@S@YzER ׯab,U_ULܛ_]n"3, 8dOv2~̂m}3:i$i0'j 3}K>NboaA.D&E$Ei:ꁲLFmW%U<['?gYZ l #?% tCISC-KernelCISC-Kernel.List_Theoremsdocument.tex7zXZִF! z ]A-MՋhvG"uIBm5gq3P`J깘݄gqej=v5#mf,ާz5$BWr?QInyɴQNeK^/ ن^gicT;_<ܯ;'ĨF~<ٝ׽(՞{ QfHO@YM$a4Zo<;7ؠ c忢CJ9{Jףxϥ: AO-]WЛ' x/|}WG.fzO0%oiS Y[bTow/J8%&UL')bubqTJ%')Kkt QşìA͕g<'TAT?I5FQeʖPsQ1S,54ڪ iVM0q)}rTt6^%U3Hm]2eGӁ$CVgfrYco^P:VlOGm+m",0ck6cQpp'mOlm.\FXIQC#LAHHk1\y.pGFQ1G-ʥcK'}Bt@JN5ٗ|xLv3L~\j{mE*uJqdVzHG~9rRܺy*TM,4{ ٦lIA8qT98V2WqT@1|׆ Jd E[AG>Ӟ v^+snO'ws- &\* &`+DŽKl ZLT6c%~4Ͷs,'*LVUgkݒ28ͪd0ft]IHd `˾4Yrg2:@e%ڙ:d{Tz0HM=|aH+  cB,^%){|3JZfpLTG`tgsPweKf&y 1eM댸S7U|C$ =e"m>2E$c|n@B>#tw=7{& g/Q/$^r|Շ.bL.6WOi>cmL-3rWd+ U2IםYV+CQ6ُ&`FT͆ c#v'^3 .ar1fMh*Pml D>Gէ'|#ukr&|DlP\M1c*uk[:k:lGfBmuot==.2D\6;c]z.E`@'KQ5 Jg|F":L@-'C ?WP+\'-9 Y2j!22{4vsRNNgCI82e q4MږM9=N*-nʩi+>貇C1 bn'ڲp5;܎">kkX 6o?٣YD#gs0\q]FwV; k\He%µμ1% uFa”jxatErkwϚSu)P-:;&e=5ݸKfLg.):pvȬB.{F-KSHR\uV'OsU\KR ;u21 )Iţ3a00̾;hu/Yda jT2GӓbxPgiTzdȟwd )E^]ӏ! G` t1vC:U9mDy3oMuC׽ 9U05" h7 f(Hp9: X]D{!sźq\Lh}8IT{r=pWf ʷ&1T_N&挲=@0OTXGBS]Hh j6nZ޷;i‚iZ>3:Cd ̻1m_i̐VMh~ /9ٜyQ] ƞT5A*-視D7asߍ;'2 ߧ6RJaf[hP*1J^1dfa_&*kЪr˨:}Q ՗82\iv2B%zؐ @T)c &%? 1U_;m-exn0 ?W ۴KUE =}"70y!16$^XA?iz/yߢgilrLh23z\ش}&omL%FDKc=9cnJ%AOEeq}RXMupY'to[D֮f')Nax fٯ6)ʭ`ͭ}%2 uA ۊ2].GXwɽbS*kvXq:4 ȡE!gYZ  #A% $CISC-KernelCISC-Kernel.Option_Bindersdocument.tex7zXZִF! " ]A-MՋhvG"uIBm5ł᭜za8iٗhKXW?Ji؀IkM'RCPnhY1# l'3˧Ixȍw3A\XzMV>gɋEfepU8GJGYas:V] }7W5T᳉t[`8NA}Ϋ`h@ٞy4 ,&%+R~M2[3))4[Ͽ6{FBzk5J]bﳫb8'cHLMAu͓9k~TH->vw(mÂ>1XF[ ԝ"t򵶯 ҽZ:`}.@iB60614XH=h c'0V[K>3Y?U5%8bcB%]H2_,zjȍهϡsɣJMh󪎍5. OVQ@]b s*fJ Ф;!18c{S~^ CYJCGjh6%S<ԶtJ0 {g]D(7bPuj~;jopKT 9ubAs FS9EHKR:2'ú{ϷU8r~!އ(5BE?4zumʖFhQ4~ohԋtHPTi5?ijyJbQA~C,jŐ{1zT8P噐lV׮M ҘYZͯ>,;oe6;*U;+?Ϙ,;P[QU'TB"nW!iޮw)qЊ@sE,}[gZ`NJe$]hB:ŷ)FJ\9KƵɬy 3)Gb,eaq20b] C/62vfHgvv&?2Y _m6@ P~6(TΏ|ݟEɡTO/2 OaYm&ysWC8UL aLDir>amnb=4|NUZQq3UP@>Ti<0ZӚt eTB! 91芤ib\>$|]9KbZ-TTH!ւk4s+8*W9TG 5 L=GW-Slv m)ۀDi;w\s=. j5xq3 OL^ bk]E#;G}%٨A'pLK4j~ViMhL?Q8=/&}{1P ;;KC}.Fun \%TMC&!+wƌ7p¯#91 z.A+W1:+0 E A^gYZx #7% CISC-KernelCISC-Kernel.Step_vpeqdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5e;*-JD{݆4ۊL>9&8yrںs1k1 %ʕl4ZQN{@RO=Q$Ψa-_"p!\d"jm+V,rWtnζ@ZX+) rߺQœJ3n/ͩt_UHW;qj"~Zc \DD_gcEThVM U2 ϋju޷p:7J0/=[ .!#:[nJÙ 8)OpMNN*,NJv8FY`lAޤ ۾["k$pst_ oǬelGv Md]$U0GJĔO+{f9Ft'sSY*LX(l깗(ͫ?;SIre$0C#XtCiv2 &b̷'}-VgdD0*m<ȗGh^ qgĩ /2g++-z[!M9Վ>$ Ip{M_m uvH$o|X[ ؞ˑ[ :4.3&Xe\+(M]݇ھ5 Ύ8g':'bʻ alnTTI `7];VRX,CoH۸(X+7|4|Zu<9Qp7 ?=S~ ?6,oQQp 2=bw3R:OoGjy>뇐g&NW@[1d(GA!׸cdnxϥ'Bx¯.XkIUjF ;.~)ɭʟ'" ULڇD͢i*ZeXfO.a#֚F>t±r]7-h9Lpۛ JYyɤGǚ66.go/ZyJ<1)hԱ׋՚Mp67.K.^5*Z>]!eً(۰xgs&y3É~Bmu_sT$LS3ޙ824گM6)#@Oﴹ t?JKM>`t&"rB 9xϛ]gJ,{Ks]ثQ;Mp:f=C@`c$@&dagzMHE%?s@ 2 zoEzlg2#KU @7mX3a,& qvtu0}h}iY5eYJ;N'[UA$Y3z[* =1kT%#,"&y ȦMh_8 UhQ wf}JYT([OyZou5Kh`LA5:rm_dQ HFAzoCu!F]P;@+g2[vUsjGelp˟% @Aw[YC _E&Ul"c*tjl7r>T"0aigYZ a #I% TCISC-KernelCISC-Kernel.Step_configurationdocument.tex7zXZִF!  c]A-MՋhvG"uIBm5e;*-JD{݆4OShjkt$Ыze"1D r˸ZkpYB&gA0GY@03G.S#v {Fi2+jEOTp43$ݧ(=wXu+|ʯi\uu|Hό=+6R K|t!oKn*C\VO;jc sOGc1!a+őrzˢ^WA-/X返fr5Oʟ2*d쐆GЫQCtV%2ȷRau٢>*rgXyb:z] a-Xʠs!Ym&FQo,VuMbBm0H tlz_N2``abG^"N )Np f"~n1 p)5z,.^/A0$IU0I͢D=5֗@4#?% CISC-KernelCISC-Kernel.Step_policiesdocument.tex7zXZִF! C;]A-MՋhvG"uIBm5e;*-JD{݆4ܗP_G۠30N*Rr ! }:0EЃXR!vӫi֌mJm ы @$IJJ0~XԋT2>b%`XMm8YmI~a:a\xPVLۢXڢ8Z:\ܝ ]_s`A0ޖ/υdL!m&U3:q!?jU<~]1 uxR.V\d/zhch_WFr j9Ld}  l6,>Oےe׮il#z%@Oɪl2HxxyC cu@ S.4T E5 ]Fz=>qjLRӅaY2nK65c2ݱ괁d;Tɰ-l’H"yW\dW'W(NZ3f.rCR!^kWpWPnw 3%4VL2?yĮ]ȩ-.&YAZDFem@M0½ur9X !,E olyZ$`ŀ$%x>/退5eN'9Amc 7l ;,2P/zW`G! 6֓16.X# U6K_ħS'N=Ai>iG=.#3̘$a~)sA{ʞ< hyYm^ݫiX;3.ϥm^T31w|`$S=dbw'5Z>7?H3&PYq?ΣX:%ubtiNik , Z0۷{u/> G&?Vb>_z"-ˣG@p^FQɪҪ]tMN[o{z{&̝kݜ^}&<#?LƘiP8lQƒL0^*RDh+bP͛x(^6:Q&-#ӛmڕ7i%%qZ:WE->X ^-[m.׋ DSth!P6?>/m)sjS 6vH`vf`%> "Nd$,с52{v7c#A?#(n(mɄ*OY5eTx #*)g5Yn}wu;u /kwm6U_B;sOMstTUwqJi4> JkE;m|$JY+ Hf \)y* m%a9{eٚaH, W\*5Voޢ2n(CFB:Zt t#)u5N]0`|^Lgə4"}t4GHFai\R'H)\3&V//%DZ` wɻ4cN,}㹠r=#sn(x޻J/7r)aJ\\ >~>R-l xnq߅~.# 眞k|7 r#S"9cRX%|O cߟ187hE[VTXygYZ8~1B>Pv(/68GD-vF|$xGgvu:]RӚ9hl>VMrߺoa)X^ Ee*pu=p ;b%2+2sĀ %* 1LRHic'u"Y!|a$a1: NVRGx'y]]Ʊ$KVJ>-X7-UJY0Z_,9o.DIgʕFt$``ED`+y򅊗WyvV |Ƴ]hitFpŵ)3"(]gO'43aaq y@NΤ!1 7r~;pJj#[C ̑66|*= #NŚ80S {ȎF>N٣hRr;A#8 4BN3S+ќT,OmM V %vq<Tk4RDYh;"jr((.q6~b7trlEG")e#rVbM{K 1ã:IWnn|A( B[*,ڪ2(cpW-dΩ>qNAЧpoQf2ڶݞ(X1#qv6@ 5 "y=o| ;v$MG^ړbnsZE,ENq:nj+ %CGk\*Jk - W\}|DK<^2f2}W%̰1 QE/nA:Pum|a++!&k ̸ #\Lahk dPhq K9 ! QT PSC%p|vZHl&SKȔPmIBܣIfN((@DRx-fͪ$(HL!:@*frS'? Kќu$(WZ/!v4XwWئIV;uk5aja[yl65S9ZA5vSpLE) @:5"#X+. A+qB;hNگX-T ު u. [ȨpV?0l3AC58m@rϣH$MD.s4p~a3Q6#t[SNaVTBaHԱW&k\z+rXFN]VigM|𜊤,@m w惔{u3IV˨4(Ĵq}q3=D؍-L(XΧ[HciNjA Zp8U,w .blcι9|`'F60Y>o?4[j |Ywn4C|_E> dC}| "|Q$b8-?4An()Τ%: +@WLL$AknXe}$L1tAv.2SkWFs $-P>Џ;_divF~!w$HA#JCzVbp $Q1/0(TjlAG&ɓVV\EÈIRi!GIsfmLl0L"I|XTڙμU/z@:j6viq:ۂS$'lS_HC؈7vw2D7Nߑлrfk4(ᙲ91YѵEaeJf˾Ǜ`q '/A,g4#V6)!H5rQޛ!SS_rY8f'08(^쭦o8?RDi 6וYϔrb=AEɴCϟ.I{ۊb jۄ)d]2pAx`j 1 Ft]ɵLw I ML%m]m^Ish1ҹ$*;sk6!){ߵDia,<&eEҲ7BwՅהf@lҭ!ܭٯt+FLW|-; ' 4+Rmky 2\T+P;"Mgi'cis}NF4/lE?noa;hO\L{S'JR hQ/z#x@ !:< 23T&>8\}BXQ,Z]LTTVk'Jm1K:@{/FN72=%dUhb*pTvx Zw)x_AΚ U ?xُ۫V!U&̲h`)ģ 6<*UI{!T$\X٤<x!qـmւ#I[,15R Ҕ< b:jZR:;)DnMhNsQ~qZٌ_DdTiﳽ]؍;|ssI u!K"^!;2>0GM KpM cd!S\.khK5-Ϸɱu˧GmQJegCg}2w^d+J9f1ai33Q|$q("]Wva8H!)f^<ΐ2:P Ӈ*Npʉ^D"P-Z|֯uV&cV TCѳK޼ð- b¯g Jө|W9J'b឴O? R)*=js31;'`q_9`(PU|QCHJa)*#X&0qȘaIŪިSx@9-H **Vu&$!a`F U؁ւd-)KFB`)m ,k3?5 i.`aҹ\ s ,u1) V*Zb]?&JSd,ZBHұ)jߐX'jm 76Lw栿زEf hFRn|qǞzwlfLE{LjrX1#kaTg7E\db3&P B-0s5h|?dߵ;Gp,7{>`Tl{۳t6OՍ:NtEdgvQ2c6;ñY~I_H0A5 ϣ%h-KUpJ ;@$6_s8氁onHنJHѯ$ Gծ^eTǩX`O)(w8| JR_h8I~Eu&S=ߺߒ?k9bGthl%:X@c{G8qbXͰďdnP?bc?a:zqB,>zSrNJ,Eց% 2%%> IfF+ qh K nu.õ*mH%+=#݊ aJwđθ~}z?c(sFrpmO[#;X[ u;i֯{.$TH5DdiF޾K֖${PM1hl|>5qZw5x<|vj՜;yH?*Khk;ˣ_,H~*'jg-ۗ[AJs4<ƒ)ط+4t_ mc<"=ؓ#dka=B"иmRڞgT "qf+uw SەhUTsUm+q<5K 8+";/\`"]Oq}`-4:&DUTI8^2/y^&>Z{4>%lC`"K@p ?Emjl Mϔ9_S&SΛ$%DS O$mi>FŔNyq|ODZ,4Nz%Y>ג+u2 9XgD+&K 1i@{5%-pOi+#ľ]T%ü4~f-}HdJ\Z` $`,s% ~SjA- M?.1#:.Q&gjoeyfۙ]Q#7ۯ7"ʆLyD Oh<08dZ"^EѯK% 3g9Ζ7r f12=ȕMP^AP|ᒈㆣk:$WY6|}/|Y.%]f5,}H;g8RKXxg,@w0s^  1>ۼ﬑Ud f.؎+X89֎D3"˕RFי/p`{"[Ō9XÒ0ElC ŋ*;:+HܙzAڂbY9TT,g/ n#d6UAZ9߾)ˬt˚K&uٱ\[}*&YC8쑖gŐ>+HӺMWoKmhic9)W+Xv7n0r[pGAce{iߕR4 Djdk2g=#Â9Ϡ?awkL}p@d5/`}]&I]qMK0݋N6I |}Š +jtM*5iT5 ] G蔲`ג;6ʎ>â6䄾˪ Nx/Rĵ_&s0HzCg?T?>T˵UuH9[L(G}$r ;#7g c(3u/<אĜ`:&zŐ6qڙTmJo<֠R|cշL^םouB{sR ?眿E:@xH)xXLʫN?3 uSqB㷽<%>N#y2n^Q?;ԁc_Q+?c7͓qH9d?7s*oʵpZ2'OB4;Q,*ʃ.2 XLc qĊ~Z$;0xhbE!b v\7{^mfW]Ck)Fݔgg4d(w |)̹=4a2*6 Z~ v$h63D|.+AL%LUh#1~kZO̽9Kq#![:!Gl!w@޸Lpc(9[[i}y9LLiTCۣRB^H}nU ܼHjKF2ȂLXYᶦt.V4>^}g"P2[ȑ֗cr(g•+vQN={Smlr>8r]/RrYd4xRO{Ie} |︾6<@3@(ڍ'A9N`zQE?PC'X[_"p_ E/_zoPAG N\=NrNjǢq-Wtm/ 6V49% h'k;,3 M03LV'Mfzƪqȣ%+w.Ւ׆J>#3>ވzO.vd ̠J;*FeKh-r(F^lHv Bz֑2?D;qx8O mx ;}( Z}tit(p5ܽ T: y@IwJC'țdi2i-$]*q@Гy~eD" Ij#-lC!u%;)_=e22B\{onS/ i⼗wߵ:Y\4Us:g'vvvo?A68{~H:˗9DZp nY29Q# }! ?ʶQvE6=\89)1ʃgbp83]KH`K_kFqttJ9uWl7ܧK3RM3rr{cͧPJ`D"{AdSEl-sijX1ԿSؼ_I5c9b30][Gwf/Y!,15_"\ڛu#;$XcE+L[58%Y>z㎄[odf5.*k1' d1z3+^!ci|9 s bĥZ _sh$1SdݰpY7oVtj{V4A\Uӏ/aZJ;V@pHՌC5ݙ! *J?,'zڧ²Aї2%3/k?@lb'̼VFO*s26lvtsVƗ45UMm9Yt]cKG&ާ{< v|/h'ѺTtDNY-ZLz\JLhh`_dS%г(e|Bo #A#dZb\߿) $+:V ; tv 4V釱&NZ陽L[uUڬ@$" jtKnm?&ᖂO'@H&@vGݳ6jOgb-=+=c96gx%Ϯ!7ܰY7xZuR Hr°XP!M,JPRoμ'C0;!:xB<>닛@DZE\fxA99 KB*X;/4I us.bc/=X-CGO;];*(x9V*L2~ҩ ߆/}+Ք:Y~gj,UXv;5r-Rp4VM_#_sX l/,S0FW_h&98м_6H}lŧ !l\l,ԉ/^vOW~:n/*33ym\,HaD)ic= c 3t*{n\{p ])@#ȴjq"iι`<dU ~ F߀c4 l=OЊdd+(Ph)UjQ\xA|~ ]uaXŎPXK^6aP46ݾe+YS$h4W,')a2ڲq虩I+UіϝAKvKh p%"ͰPmQ<7!{ rn4WOOjӀb&]%2,7 (}hoeAl3B*blHᗴYO1IZBe~獣(:Tu[gV95)\C1ag%XGNL(0n[^-{5ͷ(˚^~~yz/!i+h(&P0wP*Q&'a愜)#X7&]ȈFbmh a(X8eC ]2b_'?r1fKJˆ:Ff'k}~%ZI@ZHL۔|#P9 jtM-BM9 "']JXTxAhؔaS"r:B,>˅>bK2أEfFpL א7o&>8s-a?L)9^醊qP||>(v㻅oN~7bH^0F3>֙2OG⿋9q)U1&X1d1fbĤzTWO{-S#Mw8/ggJtZd.|o߁.Hww c[SȞN΃ό$w4^s/9JDŽZq9#}e.:LV`J@UqD/ʼn~ GcޓJy2 E H6 M-ReIj޼07C6?8xdhiJQl0TWzZ?j= 5qs# o .,$Ş7l%!thB .DeV1ۓ%`9f*p6NxCIr M1R;~ہj)y]ZiQ%UFZ W{8C=[+ʝ}f{>( x7;>TOstT~$`j HY0rJvOgvEd49m<6dd5$!T|\xJ?/BN2ns%W#cDւ)_Z<bW עhl,i+ 2Ҋl (/Pe:[ oyQB& rɭ0qMhwg[h( L'$G?+'l}Kun,gj]CWgW~iջKc2HL_?w%S W.PZڌ[ykCeq%Y Ko9o*?pXN1WhAR@c|T~|Y}X;?n$*Jټ3nF#d8QZEYQXCy = Ѷ6{t /pQ">B[Hf ,?&@=v=>!%uT: >};#4W :bOMŊMnG@(Ik{0)G=u|/S_]S˗J# =?vI ӽ~5<;͸<~B|NU45UoN[VBnE~F(&cTLCōNT11y)ؿ ioL@sް}(lzw =7\8֮D%Fdm T |.7q@$fL.=,#r'Ӝ;|'B, ݅¼b~OOQG RLd;"ފ9`3[SA$,"]5-  ˎtb~ۏClqHks֊7xg& ~KgAclV5z,[z=ebDfzпڲvb9[|+?||Bq|̑tJh$fooM.8A3VM 8i<8**kw\>rWD9v6"&IOE˩+lO; fxGxuVZ@ZӘ7-R\.$Pt tӕi=qn#aԔsxZڞHm)JoɶN5_^ Imsͻ4A^/#- ~%1δfQ%Q˜SZ>A2L /=Aoߔ;iJ5 j2e_i9#CWa1#?z/kۋ0=`=(0=6]V8Zmi1~~95"ĿqMqXhk)n&@m=˅s =ri (*K9 8P,m̯A|6|`;b|i[g(Faf?8q4 R}6{x&H'"i Jd o{7ۆ{lvgJ2 Lm1JC'N-X !`I\]2i#R9_}eJV(FX"E!Y*y[tDr!Rc[mӭ7|r(Ln84]wE OtDz=%ٶhfBc ;y (Kמ`H*@Ã!ך2+8 Z滼::2Ƥ- aј%d=GVWtKֳpmD,=W" ~whms XmŨg 9e+?NP L;KRg:XuZ[3vz(e|FtНR[* pdFƪ@Tef{kG: 6hоЁ>`RJ\O nj/]=l55Ƀ ( 77dF%fr"5qʹ%Gc\|e-!#1i8SwxXעp:ozHkIM_|cUd+/aP8MmۭKB- c %6 a\!yBdЁ0@̕X*}OULbT7e3P,ŋW 1-7,7!n_ʢM}-Ԗzx̤Ka!yƇ*Xϣvm5 6g+&aBp1BlWZ XV?cfwQR0{>;xF*2``t-pȌ)'Lٙ2&1!_LfQ:*Fi,)4To> s]1o :n9'g7?h]ZCW8i- oQ3bX)'!^$MFSrB0I :,Vf i}o#&5}4WΏ[q&ehPV) Df&&_YQ/$] ̦`gJWkܡ/uHTQڎt,GsʞZZ=:Ԝs~f٢^4 H"B-ȼ"wD*HxTp?O֒ +&&y=ZSl4O{* 4LK}0]FVgn'TuF*/`CxqzN:VK X1o3x 1w5GːaZe\l%-77=ȬH1 5Br-"zt!} Z=uL|2kh3t)eSII >:pAq6\w=0)?<E@!L^G jf'oD37ؒBd'|GsKz[ߴPV9uۇG*K?K'7a:dկ2 QbIGDGTB]r gc&<t(08{\K uYSOw=%%*?0}B-7 Z#}FfnǐbThh'5-7;­E~D}%SقBnpouX;jP0Cb^AM޻Uz^k=\/>Fa_m*K])2cnɚ?HcwR.khF4)211Sv:I¦djIŲ}5'e(̜PFէPVKU8n@MഀR %KYeד<@>Kؿ }!.aâY۔ghM3BGKg_*YA"gl=FNi8 q w ϘhBdD^cg '!̕l[,6Zy yn,WFS n+k7NhcN6ZpUH(ߴeO>Dou^ .VY'v^"pu<*^s#|$;; )gFph)d vzt2 ̴qєdElIklڏB]}f &"7]o(]ld XL@לmT [>RX״e* OONX"\vz`u){1풦ONmUAҪ/z/`g:ދ<9oB}H~B D=!rY2L>#]˨/uAUbyLU .H!kbyEH7[e&t]WSڞrT-K4D)ZQj2hUvJmq,?Z'! vu.dxILo~@Ef8v{]HEH%l_"2F4| &LT9}Rr!e[W>Ո^WdXrNr#n#84X 7?<:T'մ J>Fs vPqWA/k,}~\~tcRc39dD+]-&jIk_E עQI3PoMh)t D>mF@h=^^e~,> eksq/o۞u7ŖjU"E>"Hۙ7b:؍Vi⠑W<:ԂGfHX85ک0r2?˂.I9ϢÀl<\( fȥ4X+ڭl,"؝Ȅ;7L9Lak4%[0өgÇ^3>Y*|ї]a`<3NMAb1a Ƃtx1Rիw0_Rl3 ^ѤIX؍σF >2*h̗J Rj~%\1Sf(#'~V_h4456!ڷqh]d0Un-B1/12nާZGe4o 0TB6SE4 gda6dDp]9X3tO0{fvZ]W}rZ D- NIezՀ[A"F]'Z}߽ۨ.q;?[ dK'6)%13!JA2rJȹ؏ʂɜR״GWSz:|v 0Y`-} w~dWm+2]PFzj:.6|ǤЋ9OGeNL 7ݦՠ7TShڕf̏/O뉞jA2bY8V&4Z/;N}Ycw'wFy9^*Bzb3ڼ@epb _#TnlݏVlrtLX0iSpCpj_TE~;Tb:V| ". mizx7ľekp1Q뀑m054D~kp8SAL` Ӎل9.-bЇ#|h*j_@SXu/)2sߠchԄ*}V!0g/%?*va`rDC&˪6s.ZV5cxirY?X{9]0+sPߊa ȕ;= ʅF2!0T?eVlVz 28lH ^n V$#[[%߇kR5Rhq]A{̼l |*9ka|ԅjXÞC)7R]/6툯ċj415)I}rx_6mp/S.yd]j7}zWT2674dl$Μ #z|JZԪ}qΦE,l_\?aeVsV