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 XX5 | ] Auto2_Imperative_HOL:threads=4elapsed=312.953cpu=1160.772gc=18.776factor=3.717zXZִF! C>]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X؄^ E1G8lؔ'$!/LJ /@qiYjj0; N sn@EUAOr^t"(3L\Q)1%vBĤ >$D7%v&4}SZc*qMYȈV.Aj2 쵬O_F!*[ivƐP]y R>XzqW6*{W#%E=JW>ˆ(wOޑcȪ07H pN4 7++NGiu;Wm:W^1ǰ:Da+"T\HTc&qoX"GՊ>Tcw+0GjҾ#Aމ:—ajA .!)q9C_\[IZ{/1_ 0"gEh2K2<6 t^]E Rͳ;uҲBéwߥ)=į A5/C^Z=}G~A ')oُې1Vݸ}HF@ZـQ0,؏qx e%<ۦzMsje*?bNAW*U2۵gY.HAr! xɃӑhA/Fl]2ӡƞ+ j5%f0wFO;'LZ )Eb7H"o'eZ`("K[E^LG4kFDIy`RGKQCFw;QmI?_scN~\t -Ec#]"F$HwKC L4yՊ%(↊ W] IKjՁIN U bu̞B+$5A1tW;`*-:Z!GDb]t~>qT CTjkZXXܻ ޸rGh)8Cބ 5 Auto2_Imperative_HOL  Aխ/*_ZpSir1ޙ2|K,23Xxt~צsk<o9͏xǐU,: <|#1*swfNӑvo'GȾ˶??ꍗ>npJ*#ўvgKú{RmKÉ*,TgS>[~xk(-߾3>&p`5z i+M#,רGOWn~ A0|!yWy &%p>G%84?V0Ap(r_ _52kzgGfp|eD蝖L LYYԞaM /JgZZ s /J A h'bEǚOzfKhm7TILQt%_%b U|"|@0W$lh G$XkJ6>]?s0m( 'rW8D~3QuLh5v'%] tivjN5i4Ω 恤K`w)BH7 PV%288%\EGSBm3-3 iYk~eN?;&ʉ65KߍVlqܘBF㩯m/IHG[7+; 6NISY+`Ѳe8 b,Yu藨Q(bCYHÓﭩ4t3?v#-hvivrI2[LgDɖl"{A)f;bn3W1GOIQlTƖ"bu+9r0>-\dz_G&]<-^`4/X>r153I'􆽑w>L89YBJv_3EyaRZ "u2i˧i=E!DML.m+Dǧ\RhuPYQ)ǜ.PÝ TnVͲ{soI ޔ3bﶭw}QN:FҀO$P̽ΡwA>Ül/`+xeoaJ_ؐV0vqS^bjtwڎ{&'O@Blh,|csTMuY`Pq;7#6b%TF+]ᑠn2Ʋܘ<0.ǏXj1i{٪9caH cT fw'Yt9l[8/b=_o>(t趛qg٠h̎3b[uMr0Jx[=W2B!;Tx͓22i.$n.o]#_LF˂ @1)-<ɼIZ I ZL.P lZ4q}#2wLe)oR_1Eَùmήa@_BYyp}TC@^l4? +Y=D9ݘJs<QHm_P8ӔӼuk9[m{̈́DPt qPE{ =@.!x2Gރ$̑-ґ(0!9F:pDΊ(j^\omrDa1ԱHi/$NVofPzu̩䞽'ܸ36]nx#bC3մ~$Ê1{ԗI<6/mc AR4L$;Y~zlmM89>P6e hyH v1`WxtFMʏ v:kUPNα3ZMܝ\ky|5̠!ɮ`|ݦ~NĨ*7 1O{?ƍeSQWQd$wsg YzVzV[$7ӷv}n'&r*4i*"9.8d09qܸQUD52bꎊQҏk6sxԔȕi0a2/+%si|jjIp;;R.޴Cr^mj3:)mI9%19'Bk KVX,cPUX3LhJvslpuΟiEFKS/MPɝ|Ӫ9\<5'\%iԊTF4Q5$#+aNf-ڤ}w)&B![۬u2o fzUgq3?d#A!81[03pnm'CC=`\zrOS Źy~ ȺYЇg5ɉ%@jY],ó@9hbSojG 1)󚵼2ħh|ɛ|uLIĂu^BW>U}f:rcg3ay}t"@|x0',<ֱxIi:؏4}+/fN&~CѰմw#q]o- 㓷0ם^{^W㑌 ש0PUQٯIeϦU{1Hj˩JW?cr܁=|3)vTG:۩2,+PhfapX}yjQK'ߞ ]w24SKIES۲GOPp #̎l5>EŽ^Wd9P'uPq^0Z# &6J&[gZJcPG9y>Y//{ јC29XK^X= h4gs/4N@xiV;n,nMUO\ r*kFPdTa<e^ZqvK>ECrtaIentۺdknR)ePKY Z66͛{r_ b*HDe0Ά(6 Դ,#Y[Rt nkH1k3᫶(ZX=tI=ؽ+4@rQȳ2)6sQ`4H2h~%Acb;F8Rvo {Aɣe,ZV`;Ǹ}H!mIb[ys6ӁejEnGvo-2m'R\)zhˉtw(W7$?;% }p,9kx&}C m#WugYZ7zXZִF! [Xu]ŗXi%I n_%!9u0Y_囝(+HgTTO[=2LrGkE4>3#Ї u 7r8g+xR7$T%RUl3Ap5*AqLV`q¸s!:bQ k` LY|;񴡼TO%wP#L F `Si3K3ٱ K 8Vf/'䨗ځa㹬fʻ=kцro{hhWn(2U4}U+٬;}K>aF~FmcҺYhu:CFz{٣ J`7\mY R\NsVAgu(Ks5D/ST('Ǿzr(^*-0HE dfUGBCv O#֗ޕ2Ij>%gr31\bۣTN4T,@5pstfd][!cT7p<+?&`닀0. ړe.b6rp.TAs'o .U R!0ƘAVIzqGмt%!qku4QM̙~HDQݖèg"Zm60IW pEoc ߩ8cWTzj$4]%$Xxmfщ!r>GR/F *HYeeew-'_/#z%=}:`iN0`:t L<]ʦgWԦ€iS[+'LH@[ɭjQ2ctYo9tIŹo+4ѶeZ\AKgARe7P5&o;2>|v}B} goHX>0]աB!q%\n\l3V) rPHI*9t;Z bK00g+q$+X*#)К_uɇTv&cjnFYYv\*I"O{4VC7'!x I!m艃Lxch]*69g6%Tn4~P"ҹL3WGK uHRv*<_װlkzE"SV/3`@-cms;`4et*7=3cVubǼ!nE~wUIJO@H^BAcrTiɉGeפF\_*p?Mp͗8!QFsi2{~` pͼx$wdX?*;E'{[q:o! ;`B0ZU#[ty"H*6*WPu#TP6WUUϯԥEz+rrpQ(e!7?¿OME !-=F"{s~ÃMdat5L1qԿn Kӽ뭘&Par?rɗVq>)eҲzƻyT8j:N)ψSPz7nX9*|S5qW_b]<^M|{B>Q)| US u SW6% |yëmVlq3#.H-ÏTҐrJ57 Is.94*ȢJO-+x^/wƝ8{ā>'Bp>&_HG3:7է?YVvjĦoyuwbN5(+5{7&UoNӲM4VhI7_rt5բLvU?2s[9fbtpb7 +(D 畭^љJh!ӣy E>aut;^B`F|Yvr}{h!ͧhV m'BV 4J4 j,'k,.JNe`n:I~[h+[/d8g$BNoVEN>3Q gKʱ#b#|4(LC^7F:iG4"<d"J_ccM2#N^̔N|nН0qhu*|f.'g9?d`i ME*h,fX9bq]qQK'R=oMpsF78-* DPwkdw<͛a+^)k/ ]fg~RW3XPh7m+w|(]E|1u _p˕R&CVs4T@rhU5DvGNJ 0CN w$|=9Ãy fD?0?z_9r: 4k|krõ|< @=GٵuS& <-o8%u+N,48YW,,jC3QM_ blZn|];#Ғ[}%MߍeejRpDYJv ϞWw./ִPOaCR=ͻ9FWbSψ;ٱjtOUl%~I{8z'HGfLJLa(Ot 7V0m%8dJ -tMQgy}17'H)h z_Uen9-W'{IL[h\Y$}6HNUyDzs'l W] ]W.'yzzptߥ,- `\Rmxy,VP:m$؉OJ< XΈɢlh1,jJ^*k mVf1&rjM^,O Gh.}Za$V 1Mns mWϣgH.iB),}VѿϳױHf4o 8cX5@Eӯq(S9H8`YP$?ԥk9/-ٺ^vTe}C-Oa1lRzVIPy]!B6M;T_$+sܕ~%sP`#x)=Ɛ:lŠplb_ RB̙@∹>j@U.aםhh7Z4vwӫJ|7KijDi/|8=eB ,^c*iWZ-vI4ul1cԩғH3 kh(O^GЏ돵q>@upYeQ-.9, R{xmH@ΊM *.ұƳ`pOֵ݉n XnRݥMO6O^ypx@P7vN! w9ÐIt|*edMP̼XgP'uk 13(е0CCd܈nSb62OBRqpK.Мʿg=ZPoaHjzi?%e?::;M]'Q@p-O ]٬(}e³8W]= #W6<_=Ҁ^08-E^޶ynEYm M W;R5&U8;q*LbbfqKj+?KD"I`_(X\'$b\E.wuIÜy ^R1п~_L]'F-3yXQg<3Cpӎϫ7eAk\_q}.D7=3slY/TkghHo\B^Ab)v}0/|d9Mk5:DxaxiXyQX+\A:p~ [6"ИJU#Fʟg(Ēq_QGYG+b:°,,[ n2SvHٗj0@ny#~\i4wB:ю"QSSgGl_QؓUAͻLi2m+,4 f#|Q:˂uŬM9Ph]g]5I=hO` [YWRv"kcCG"ajc+A(n١x]&,U\^UgQYKn\%\n fVIvß܇i VnLCIdSMjtM+TJt'XёBbP'GŲ83)WlO(SI 26]C"w)Xi'׾R9Hȗ<]ɲj`Dt!e3`YP@&/dCexAʑ;p\UR6BΞ~hJC9)E8) f1z?A(UUϗ_ U޻(|w m]Xyr_:j4~¿+d`L:CrR[9tf5bp-P:3wz5ЫKHbg޺_SPK_ ܕ 4(ڙ1%-/\>nƨOy% x[e}>*rE+ [-*Yr9amtgm*ګy e Pļ JWԾxטrҾО: .㞌XrpLVki*xۄCF9]\_' 1B7bVYƖ 4E BDνPHβaPR}Xӈ fA1zHw(YzTZexP>gg Uv BH`䦆B'(`wt4{& hwOD@_hM+GOy' 6<_]#fKnU>7cz2X#촭t@F@Fﻍ籮M_rin!PP /-lTHq&ܗh|^ྉ|fdm1C)S^AP}),T4*fh3:$wz|P %v&[Uk@yyTF$|= S- _]eDWP{`snԸC Q|B誹{ѯc2IV=\!vrEz ,`ʲ6)&JJ,kKa@RVѓWSC]ۛ3' T+ӫۓVo{cRH25ѮGa`#ڝμB0UZyhH]7@ hإH! ctsU*82nYT<3֖6Ц杇;%c~{m2F.7L͘CikOHڼCn(!Nb| 3z>cRJ FPܦ :سsP0H#[,ji|g6g.E_w7krCMp#Kctw-$:F +Zi1|aX3 k\APA7AVy9JP@)m1.r>x0/%-xellw3yo#S\su$+ ܱfMvȲſTxX957D1/ͳOތ>ܭjICFhmHp@}OT.18ʪ$!55Ԏt]r,RKa-@ٌ~ l!V[QpQ~TEɳ:bf.VGnAdhSЖ\2 N罢`sly\):<_{u0.Kdwd}3_h.JڪtC7̹@ z1bkP2"t@%pѲCpp+BW!jޢ%\R_9*EbsDh_;l8}E0N?bH(}iX|:QMM4~GDp *DsRiZ*Ӓ (B7W!w^Tyzۗ?<TS\Yw$Կ*FƊ/S}l$΅#wݯb$F%#VZo*AzeZ Yi|ɉI_,bmܭ.B3p<^ٓ9ML( \KZ(ͱ!GEK]6۝`"R@u46F!:Vnn4vқ@Ze٤mC-2GSKh^ D'-I 글@H-gD'Z⼃KWGN709 3qgcQCmkf&Ζ Cj_z#1L4稭rh;]ɦ|dŸ,ݬ?w 2 E˚`-CNIP4xyZ]=}KQn_ԚSE>?ҴY/-˙Z7BVNjm}HpZhl{2}l/@c(禉1!w.{JyW/y\8ːϫC[U0+]GrbU Vpտ5X`(w]!6{cQ\Eqv=-D<,wdp~T]c_rhkDߜ<ȞSV.]f`=7Rb_#LyY3ViTg,[4,Cp~ w 4*c*pAxxr3;`)ûf˝5fK_TH*Y:D e4C_^$1]piOeQB.G[^Ͷ&6xo$lǾ||j#qZ>?{@=0v"(G x$@o=AӵvtyrHx[5TUM~Hm N‘{˵F?xESX)Q|RpۈQfZ@kx '};oY>kIÙmANZŽ@-̚gU]cK=*ETH {d$Z k -ڨr'l;Ӏxv(^#i*ln(M&'oXyGSÏ.&#?pQFy͡'rRmIg1Z7.4\~ R0 v2{ ~pk'/J)~#y?ٱAJ IL =-mjށ9-PRZW̳α:O|۸0j'~K9,[ خCGx|dk-T~JO$79TIʮ./dsJ$ >Ig=0ʇA\ɛ{\n;MrYRc.q[q6p/~E xX{#X&>o0fT;@R`Ϟ2ږ8 K̤f%v*Ǎ?.ebbc_:lݗBHkaEBs0ֱ憈 륥b8q/= 1 fn*ï^?6N&D$`OlukB!|^KFBp؀kG:ۿDigT7:3?-X\;RO9f~HfX4_ҏnsY94{Dk {,. 會Gsae1*qa"ks] 1ޒ4,fOWt!$/[8kVG6>JqQ"k[Ca~<;mpG˂ͱ*R;^v3TkFKہG0v"9pk{6J,X,ۚ;~Byctl[T٩M3Ks/.P % 5-XU^kaܴ]Yj3NN.6'e >[qՆ)2{?µ9 MˋO|SIsP{/+ [;޸LVpU}G0n Kc.ԫ_TLe-2!#7m=? F*JLC [U*k$ǩ*y5t/2SoL,6)Ɗn6b\7[ |&DMj@lFזKn/*.F3 0XP&$ug2 ЪDI$bJQ)ΊMk9D4̐VqIB])?gSd4=w AM3z f6/:69/Vbyz6ʙ~M7$Ea@@<>S*e0ϛ5#`N+J3@p }!'汷N;^&M ȵ!f eY*OL_a||WLɤO (E;+ـdOêp`_(ý sR*e(.RdM<\%AZSZo0MDSXPGt,$S|\MAF(%Ӹ m d"٨`lЉYhO_cR! j@L3:Ү: aMřkIkWԹn,+:A8:t8X\Qƪ($SM3r[j*ox\8v7KcMkaa9'T0Y`w̑7u(וirFɥ0_&$T8tW&E5^ڲ F+>:Z*Gxn|Nj%cR//bs)X2ƚpSKceNܟ * eц!םOAa/Vk'PS`(4}G. =-bB=#aSa`CJ5%'å3Kk:{ arGÂ}bTlK~^J7u+.JgO 瀓|6̔hcƥ8ʰjT_zncXn?֐**c)h#bk3 .4vž> geB0\Pcy")eb.}r!sQq|TZ=01X8`oѱ\0TCGҪ#`DcWF,F:Rҟ 3Pl[Lʤ,)A:JXl\~'C֒tnq,cM\8Fr)6rAޠm؏89]0+FD _]Zd gs0Fg%zgz7$\PWSw%>ͼ<"xR =0<]h~8) In4ɪ92㚶 -yF8H^\%D#q扯еq638z 36C*+ 6BAK^q\:pU99}R~E6_=k 5 ; p&WN[#\Ta(݈uB훷*!QT$P'aoovgtS*OUJ! ;Ҹx}_1/K(y%G-՞4$*1:. ||}ٿfTy8S4|Tyţ8?Ǿ{c;c䡊KgO :-/u6a M{@kgރt揠)j_b6<j{A-}gCKݳe̋-іfkKoy9A?ԧL!vvA\Z^d)`CiŜyd9ybwR4Uip$@5;Ѩ|Oh8Tc$v#sKGV`]LY/`K/ TdMH{žyH#I}B?Q%( EW2KdY?C$Xmb!wLĄrVgA} @v_?HZ-&d! gE^JDO/&u%·pPg LR/\IB4s%Pxwd6Fɜc._&f{@;qY0cCNsB~oP*Gp т)>t~L ِzfx~gjܡ;w; w @*%q0W*h! OQ rҶU vvG5>3u+t}QhϔQ ÊY/A4/oJ(!ٖԊ7N{hi4Ĵoi[25$q^1.:'UU@+ڗ}kcGmsWQ>n ! & ,U-#'y8v/xp 66Ja Qjd}nafu"yd7Yd?(BM-jv.!w,"8M]K^7:_ 5 =78HQ@H -bY@&gG(;&^/vg.b@iI m2̄ӥ'p${uK 4&pimOn MS;Mcz3T>B ?#glD}2ndmiѩ|gœy6<-ҊcX^jvjzL빍ҐUQWv bn4؀i)$Tow ;FǗ]}V]=E*e*@vaYsuHnŽ=w F}WBmڕ!@-S[f}kf2D|O @]gFӻ&né}:+vG\ԩ6dfe1Y_\~ma#yT}5̀u40D5v$ʆy9IS/cAE"A^Iy.S{PQ\QR'%lDz6qϯ"(.LH2#an2$Xzt.poQu`%\~ӿ"S(ݾ(W1 bC{*!9b){xѦ$+TA,% TU6񫐱u")c'3'"Qη Qox~1JpuM Bs-x++o{C*tfߑNEQ\)%P[:=Ɔ!t}?2=Xj BȅB烗tÚ[ַa\6[(rCvA)6E[d2M&D`g,  ëU:B_9yKYZۋZ7M/%ep 2R27agso_c%<юG.YUFP)Hc֨ߩyJW_*)߁OrDw}}gsc[K\UB)܃x~ &eA \vHf;XCn3)%2?~|={ S/O̱ROAlҕrr 3exLiW &58_\kQ Qⵍ<Ðn1{nυ1*\p.+\JFKH?U3Ǜta=ڪ@ %ɥBh»gڒӂKQUD}w=q mE$iO[VkTrs>b=_Q\"M/ Gn.YT%uV=.2065 _{~J6'w~ Y.&3S\Vתp<"w!6#p}GA}y.8"}vו޸1ue4- ݦ 0 x5?<z.`DiiZ?O*y醖gx[TX*94x[11~V2cx:;B0H'YaC51]fyw}%MP|sL_,VÎVfiX~D+W%s384Ԡgwٕ$Q5.wqaŨ6({~y(=2Spt33ٓ[Jsһxa-[xQNZazmO&=C9jw T4HyOy@ʿi;;)5QPh=In瑾"b~,k,Ax_f&_eyo7p4i9є4tbSlbℕN3Aw}`һPHM}lN,+̚ KLڽ2M\o %Civ;:sz8l~8G8t=0!IeͦB85|RxFk;t}oD+:b'<D[s0i2Ul' `tU48wE[,4*k7! ~ja yx? nȈ' 9 $1X޻D.7 xC\l%U=YI9Ķ06t>SkNSSg 43MnvȔ:uB4PKԗh1n~-bf\Nm-m(USeFѤ}'Oe$!瞟)xYtqƗP&h#q$(yK X9+{}TVO[oI)ky^Д7te9+mix_os 0e۞H*UR‡({X/BIK5'4'MUײ xN8KAt#bJa0 }C#qRX)iy9\+gskU1~ eO:x(Wd"6NamWTZ5Wͨ6}1K/ՂY];G@0a[Cm"J%]B#jҍ7v ܯX͞ǽ ]G$*=_ J vc`"E/l,x~},f1ǯD21*XG>~D} 0+AY(q֖[ae5Lkr4W)`o +F{ 3/GAPHo{rc" [!© +s%:l` uxrr5v턁%Y?sT7V~l)^B#̤ihYM).Tf)Gy[JEmJ tg: 2ars~RTC.;]Y/Oo]ɱ`cZWPN e׊KWGoTBd!$}}IuU_mg< s. JGj٬sٿ d 5XR š=RRygK}y79leCL/`?&W4u >aLVAKO1y#iy!@뵭ZPo5mrjrP5,sS ~jHO)Jsh%֟:-rֆG[#WsmRiS%a"=!;VeN@qX0:Sd3""–s!%ypPwt1MTBH1>-SpWI.83I;SA ;kVRt'Bƭ '}ylQ'V5Ƞ~j8wN/ A+2."=aDXY6~%_r8"wOUeW6/p7¥•mbNy;| vimd' Aђg{pG U%{8/id)>tt 0C7cfp: 1iC" >zԦfsfLԟzt 5x)M#|d^У`+B q ?,7f i,Bv9S²O"} tְ*A[xQ|pD'6 `VIWsK}01b Aau VDdž?}f13ӋH;3glo62uc\ꕵfGi?Q_]-A9CMc_~$צRMGAdǎYGJ1 I,EfƮܶq ]v% m&1@6{V'nWoZt97Ѡ(ais!܊g qSnf[-\ I9[72D{dC"BR"֒$<́ tySa!.θ>N7Z&lXAE-葚 LK3 _+6`RsY9s;*ewr*1U#&kwBTd{OMKbm!PQgA\Nyύ:50gM.s`LPD 5yWi͆-*/wIw}6Z ѮȘ\80)WTm7U]R{,f2)|5Ys}gZ:겐*) -),R¶0ƙ3@D'qZJFKv+lB"E:&o&o9gڪkrٞ?O^ҥclU°2s%}6=2c?p_g#=tBO^3I Ưh cU("?u*M*}s'0nk8N_B2mv$}?>0To_X1IuѹwzmbjE%}:JZׯU`,e96ǜ :ǥJ ˢwj'9z?ńt)eEFc$ц\HR·^]V T巵g3eF]B@Hj3jEH`-?e[hT\*a֔q:&YtYCEKs`{MU<֍@ E \#j|dOpo+:֩mH~`됰*\!` 'jl).[M[,Q́|< Ry.O%VkuZ! ( aXąxh% Y˿ې/4aoF݄ s,ۋNy^I# ꣙q&u.EcU7B/%dTc ̧5*:9Mewm< B4!]hpW5ɢH/ºJTҞ (f[&7rW2-oXT40Ijg^g ]nKppÀp&w1kUYŸ܇Oӆ@b%onKdߴxg> juGNx (Q<uƮVR?p~fǻ~@EjxxZ J-)LiD1 k>Yy4 $7P\ ?WdN7O. ]W+ncr!?S[_/bTAJ!ilss\&4P8h8d+ȵ94h$ 2(FAS˅+h~Xޭ|9@U^0E p$gk:}+W d*p~{ ]+'c3۸$]}[9h9bxQ`Y9 =Z+&"=\ nA#koYrRYsZǹ*x&=&w ޾PRd)10k21nNQ;ypf.ҊhxD=I?0Op2+Ɨ-8S;=wĘVfXqBthwTЁּyZI&[gL*l/CR7=WoWv8/ߕqR>|nL+a.8NV&Yٵj8\tQ"ѩ%.|al B94{HƊgE?QvVE%i~;7#1NtgK|%> }寵J}HirPdB.&~;SNQ:(j( ca&dAǖW,yFQk՞qQ4!zyKwvŸIPt.AsG%2N,;MYf !QtX9=Xs JS"WhL3t')/~?UG+6  pd)UC(m+ s/~ɂًqEL[Y:I70T!% jD!+D2VAWp 'O$VS' cOrߧ>xK;ngߘ: !?}!:I{EI/M2c+kDOY~XeF TV@t5'[|3ひd4Ex֎lXE r[-J;mb)SMzXEZтխV868O3?(Uhp6ƘWb㭣 wxn%P>;U? JnJGM,34R~NҁE˜?p7 oh7!g˾.M,o@gz;Nd?C T12· s}5q_;XN*SϩI&X?Eq@m\dE!s~Q#))˞tS8| O"r6bʓPd| o[Rm-ϱFO1{PBlQ;(s(/Y]UpdTibZ{xMZMv#t x͡>FɚY~y<tBVqvlھ%,K׮ M"m}gYZ4b57b99dcfe845dcb822d06b7c49ac07c1e526c75a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 21d10759d925b902ad6a1812bdf3ce8550d6b440