SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 54t ]S HOL-Nominal-Examples:threads=8elapsed=275.374cpu=1384.244gc=150.677factor=5.037zXZִF! &g(]ŗXf1-q恈ބԍW_8FΠf!)[k>Ֆ衐4qm/k3&itD~N߬!}T"  R"Þ9Gk_)E*JŠyJѧg.i Z=ԧ^ZEb&쉱oSCb,I 7xE+)hP; OyuBr2b^p"Pe4c#pN _cN ;Vn "tPѳ 7j,(*ew-v_~PbD!T K(3,,"T@3x\CP`.cu$U&%GpCZRɃu?[}l3K켰֧_}´auxCWpI! ߘ #Nie?%L5Dh81oIOg'=N҄LzMNH kG^ĥ3 &KS.TaR ЉQm@L&>Qc.❅Ho"?(#'\ ,5F m 2%dLc ػ(X7I ;V~KTR6AhGq D$t IgˎK4FN).QI4%濪Cxpij·-Cn< 5J ]_2lHsp"HQ}ffM{9Uf7*5ƹ֨xTܰft,p'Sz%{[=C_m4_yP5,,ԋEȘ98HO9yl~on $7|#8Y~g>ԳQ72sH-fӝ4٨< YjgFt2-6FxwyEs N` ^D}vD_#Wgo8m\m 0"5; aA֕H&_yX6>vU9(O:OaY0 =3| ^ɤ.Kl`Q:f)~8*vTY1q;ҟ??F="R'd6 \TQEP_L2w^nk\('&P.'˨^ <TEnQ v q4~\~6L^XV-φwisfD˵mYGuc2 0I/7݀y7Y2MxqkQagX,-!!XzbΑ?~)BqlRlCa@RƂ>ʼnNו&AϺ w<0g&?Q1Wn7Ay|;+6\r=vUfU#}tf_:3@@9|Ad! rw`! yXf\S";WI@*M2kdl_b rcs#ncE“)yw+~Ibz~v$AcIh<D~gVn.L&lwmD5X#5bO;-9Hk4Д xEͭ<ۦg$j<YI6RN=|\_#$ks`8)C2dpum˩?,;] s* .C?itg5}b\3gByBY@gׄ4c؎%%+n)+ ?A 鮶-o! [nv1력(`3 Nea>ֈGNfMEV=ᜂ GQ5kC 6X8l*FvYKdM(̲qS8"ًÀ6gqx ^#j$e91 *DFP`DH'//ǭI`竡AF2Lzy@;jm Th./fcrocuJr/-1"NiMGɸ]{A׎x9.5'r0c QzedCsƮz-Ȭ:Q& Uu^.,:ÚT$&jF?P-  yխd`^ vXǮyqhq{3<!e>~\m>M5+> E~L7z,$:Yj:zܑ"ekc9.4tu %RQ[WCOi)p!:خ;- 5 HOL-Nominal-Examples  6ː6mneӺKtMe!dRc+)^ę yxSߧ@@hŹi' vD3ٴU^veykrMnқ%Z8s&xSLMuyK^-l o-euE יE'n |FxF4pL+’ώR/P*-TSm2PGlX?^]һRVA i+50|Nu:_UVj}ڈad\q0܉%HW{>t/4Y;dA j sR.o8 fjv[8vBǂo8*S}]5.Qgg궚4AߍQ [@kt;loU=;.xmD5xXұϟyDҸT3?|(I?z02rs2s $D=py\#(TLN1:ZuZFY@&{va*$K8 ^H=gs*נa<İTT)G KAR&=,T7&e&mtGqTUEZdO)V)#T+Vh/@ -b@{@?}:_8b&*A>0Dړ+ ˁܞ{?ŕ^Jm"𻂂>gpC:a/8WsGIC1"5#,2*.uR͟"2<9rPS1rRwcz9c'X&[c*9AS,i6y w0(A.B4YwZ0{#ߠ[WZޡDΫ!y%XVfv_hK4RE{ y_/Pf%(Ѐ鮆cktOf6QY+ͻ1j z[r3Ls[LT1mROyQ03*Ŏ> ={MicewL 0n4J›m~Su挻t/'w6a[#ftl`7&%:lՁ$X6$g!q{_RhYD !y7:"}TJ%:y~Tx;*!E+=4 1F|zϡ]3.ZhY|ph #72PERv<lDw\22Ag/>m獴^ڎraoe_[9㻏!ljPe^ dH.w'R.N"8a]yxTbsx2dHsj(/; {cvsY2?YSVQ';tfg)u/-ޣ{cGy+k8܊ԟ^ þ)r wMR"atS2߿_'TC&*|qfM) چnQ%b1Mwc-rr]ɟ[r)_K>gX0s.XےAQcJDQiXhBFϺ {|+{l3ͮ(dv&!Tڳ5)1Ѕi- zz}mB#b30 D2Hgyd|!kuJ;;y s=:zTN0򠀫c4vb }SX`9P-2nLrEԂ)Wle;Í͞/ TkSU#B3亖a)޹ kIDrkaRxnb?-oZ}FN+ąjeLzyb|olNL£V<yʄS+ {j9$:l>'i!C( &[bTvdf2Ef71y`cg`~]@u 2d)0-'SaIT%NvB/T<0{Ն=MzǓE[daG& X)IzguyFu k-#FcsTsZ=O`ʭm$ۤ N ޵z~ݦq#@EGMwT=<}VD|`t.gAuތzِ&MSe9&Ps75%#Ye_@}`4_5&ڏ#9Cen12!LpJ  ]FNY{JW5TKέ)O~v VlZ+i[G8Mdce w*HujAS2$6Hޅކ9PZx^ ynleh`R'v 9%z\dWJ,BK_g.oezԿVv/M@ Ii|W=(Yཹ1傸D3ZI2~z 5)ְv:}1GCWSxULo i,c}'D.3lf ܔ^Q'j,Kٸ\QBTɋ/02!"Ś>p,I-?'4Ey';9Te8}1VO Y0ٔi;Q\.;2 1Bva .w]P}LTKgҝ.ၤֺEuE}V#mGv :=AGY2zp?Ύ!fuh^9(<ILmYe31$I2OڱyCF-9^Ԑ\Bi˫@7N70a~'Z\,e1屾vS4A\[pmx ` G`LR6rTy6M"!+ x2+O[؞&K7=Ly[ 'bt8mڐI(ȟ(+!QaOŷ#t}]ds[i"GT0k*|٥ ~.XЃ6[Hh!IgU,j%ԋ+&P|M:)@I^'> LQB1ylZEwUyb4 >r1օ=d|qI7r}(tD%ҕ1xPW`y~u& LPPX 4[bD)6⮪({Sίz|:UOf !^)R~pkZ ,Țɇ-WbxCƊԙݜiH:`%G"4mȦ=!~W;q(˩WwWc J[Q@ !3889gC N=[2׃qmόM Eq mf$l5 =H!܍ }.nKˎ38zxl_>kRݸWrȇXMOha!SUPJ c01UU~-&JY̦4^V!x]g8&+4-̃4ćBZ馶 Rw*"է8?ZUUCb0ZM=`O0U5K<ꊙwo]OFyVA0|7KFɶN2f.Ѥʰ0k#C\$IN_kǾRbzJ?y6]ԅ<ڧ?m:05y[qG=:Pс h##*2޵C)^"84IZՂSn%wW@jOMP236ٕA*^G,r+Gz%dh k( rL᷈9)<[ ZbTxKRJ/G;q>[&Ռ  Wfw.=qRYTi!dOw ZjM*u>FyXĀq/ʎǛ= `)ї˒TR1'^̦ֆgG{-Wp 3i=[Jh eRG6;7O(gL^ʣlNݪ)mU $)6?l9fxFk%^\ $Υ ˕\\D\Ԗz퇑LW; {7V̄i .uBV w;SnpR)\itS09wm=O;-lPsgYZ7zXZִF! ~4]ŗXiɟ1ʹ lPUԣ`w; ls >Ōf(f-B@Z[f@,Aodo>raik FBOAt9UxKn `7 ye@'-_ptN?!\d?ͻs -5[3׈DGسjYO֊PX fszU\Y,w7qWw^JYeOՑJ&x| *(wԶO]ZܗT" 1I|G񫡗YTT~߯%i;]>UT蔻0U;ŴwvfW9 -gsw^M~+L,܀PgV߂ψj9U,5yEOZ IJ*'rSCuk̦##7lt Uht&.9D\y1ť2!A錴$yt4EpgYZ7zXZִF! O]ŗXi%>tw@aitɥ6Ov e J2"0LG#{G)=,-$qv Ȼ/Hg9, q齎Grv{xiC\NMKXMGdCy47b_~/=.{~b 1g,}&1r/'*WA1U7 bA>9^Iݕr;hQ^,:ȬCN yzbL#%~]iKڻΩꤚwb.7^E#f!4r);͓AMinCOH9O +4 dUFݩ(/fC//\;:UG*no?'_?ǙҐ? Fo9ZJpX4"-W] &\s(?sKnN3L1<ꛨ/e@%QE`tZh{k`Zfd"p×s..ӵnE7jMq%:'^2mr-[dz 9mJt2g_[~n&0z;fEy~X4l  l mahy. nOzh9pz,Y2>Q* uvF(&]}Ay^=!pfUԙ$ @6_MvisVd踗QD35m=(ZrlXaYyK?;/ >EwD66;I1~j|I5G(8~M5"J$|d%8VE9:1r+gR/53{k&KYLDF')0H0lcp!гeZm ܆XiW4n*`h3}t8T$X$]^-ݟhlP;-$дx+A&1s $,%|[2VNIKxSy" Zn res s)8Z+'F~:>K2V̲2r_! k n^q@AZ+{b+)JQNNgdQ[mA0dKot K8{>1a'սGTE3ieb ,{eB^N 7 GP]DFg&]f*M.d+!!^ąG>^cia9Q\*JM#Pd}(쪳ShOeST+21I^^U; ,i?m=0yrr{DQ˜Q(i<wڒn`,R3$c,f:e@.ڗtxO   P7 毩`͂Z 8'1M<\TRMgX 7 zdc}NXgxfݱf1棋ì4o@|m7rY7*MT(tk?}xnQNi gi#Pedkv?o9`O?6Iݖ>j El=7StmODg %ϊycZ7+bW$-8񍽕&T#8l620t*q%ωA^m Zm;Y8,U٭f04SKKqjf?wu?DbduAd6ٽ0hɓ’[.eg+bĎɫut!`۴ ! C(\ r +NqI@*ku|ǘku_AV7=12W>G'_9-DV܌~`xNd CsZ>3I2x7 g$'d3@+B"-Jo"4J/AuuG{pj'r8,ѷ'ylGoy(-#-Q"fVjRisܚ ++a>ώTGAs}:sRZ&`Fqb96[rZ)0>ɔp}z;Y|oSj#C=#>;|n؅:E/fܿs q:'rWH>rF He"grjqfK[&k0AnnPio[LּlpcQӲ$emǕ#oMKIxSOMuč-{[#q3“jY[rU3 ׍D0-1B3օ gXArda $/Fgv1-GVw "op) G =2fuFB)l"?$}RW -p.v ֡5MqNF7VAX "@Fh\qٴO*-BGo^V?#SHU=YT v#jfϗ@5qm+QaeL噶yTuy_t ~BS.,phϿTkGϖiF~e9ZYꑺjB=c&ӓ%GrE֛xa`f"7 kv價CDƅ-~T5{2B>K伫N āzKڿx#yl$TQ3iy4?%^&ϞsܚO|:~ cM{%)͞ц3sy24E͡i4~/H!"3wTۄ/Vj ͣ mǨח~_(NeA16 $Zjd978ݲtABLS]hc:\̳KeKK6y2)i3+Jt&6uLnH);fϷ^%@i>5nL_Mt .&ȆvFjTzbDy{ q=U h4`!} 0P*鵶1pR 'o/er ayFu,/.`D0tAI=uG(oR.7W$N8$ErhMG!Q*ҹ8uG q/:&kjt"3Ƌf28-ge)Po_r;eVtl`0'3;#*HAc2lz[ P1{DoΧ @$T3Ԇ^mqDW˝68N,}M^`ԥ;?L4K P=}Bb3M6z}DqS ! U*[pNlg$hB)5 =D)IG*#ꍤׄmuVkL$J(KκRtH/%+QA~&0p/Jd5H R @sw;U ߸ lTЈк +}bOOR0 -䄘t,PMIV0`y{NvtxU7,JƿrUz[g]+/uruohɪ([o$C~m6<0\oZk.B)[qMe Rjkw&j)2ߠn _/Ũ)h.C'O,-ek=ʆ[ !)"in^wW1|&deC|ɝ]x2ӼImde|quNI- jm`3g*%`.9&.U08u65~*`}^R\6U;[ތPFxd8l X'JG}јkXk.hһ=Ju|ϊӞ Io=;YKy:M'xMyUUOqEbxS@EE&4]dA6w^G"MȀ4~Y>In3w ɜRçb 7OR:UC¹ NO cΤ0m@i m#~?QVfR|f]eM]uE˔k$k˭x 8!WwlK"ntU70©F>֖G_ b{EBض!O57x/>:4TW%-  Xm[%4m7<\%ܠӠ77VV׆KjE[¹ *R d{El̾_B?ғ0lvy &qk]Y-NZ^1eUV]ޗ{Zt WɭÅK/<3Mc1,p }[n{A {TUUk4>8h(8aF,K=dvxC)w4/Nb<^npkKo5rHҊ-:\(LWRvybu;`yOC_$YAKpgl&;"&.ui:2j =T9DŴo3X4!pO| 5yr ͇Ɨda3GݗlCRJE$u0%;\Ɗ@-ɨ6A9 Y\Zֻ7)j*Gە@zu1+ wnvw/l\ q\&4)i'ܡ}'Tf'^ֆN)r&L |c]5A@8S)7gU3P|(cM\b5VԏW5ޤal6 R =G?Ϥ3|s%eؖL?~]xxVm ,jtark Vv ܮIy$4S+33LdD*0hD~׹<q LªQ?4;fyyƎF XbNZ'h ȚqCtxg5jHy@5䌖4M xY+*r '*[2h`ϐI"ܶ!-I+!6ioYGꈯcGpg=g]{pd| uW.  s,fR*:oF! B~Y5 # ±]UjɄZjG IwyJ*GΡE m.Yeg"4nVdÙdh=T닽3'[(ɠzQR7.p8W i;9'Ͷ2:y qQj-g14s&M4ά q+*T*܄Z^ )lNhVo*UP xKIk)C$-e6"_+~5C3J-(76oC~×~hG̦ءhiٰϮ,a@D`ZɨF$T߹uH\$ 1,+]DŽH&K1sB?lSwy^r"uHOw3-ǝB}0j:8S;jHxFH-vK6;zN[-C1 ZP_St0#y:5 '>6+P;O{wK<$i/<N\nଂL(oH|)|[gD+3)T}5LSD)*Z?G&LFW-BUn3 5l@|=E W!]Pb-&>qRf,XkʡƪnT2 U;ۗk*霂85L9! 8@MMy޼nyaY q\_6EK[VM Ȓ*+o(` NP#m=]"9D|ñ+ԥKeH6~ŋd5 gqA^aqGޯ̘ ۱P|k!ïiЪτ|a7ąIEbG :llT~)м'.h$,}X, *pj܋$h|(qNw95tёqT"^w|<7,Whe7YcNZw CR',"0>!/lq*\X!t~/%#mBZ`ky"\/ewϣĨhXaT3[{QZeb$7 &ڔg[Y6uBuxb8Jo۞#w%M`۔=z#ai ~@B~?cPrDQ%_8¸ۧbҾ Z VGut ½ Jd[ʼnУ ^/!@*{浾 m.Y~Jub]7 Du_HCr!_KkP .x@Mn,s 5 PFu^-A 0\/A yWeT?K`fx/U2W3?JJt#~a;6mBE!$ku@&Gb wn ߮ n?|q+J:%R}'TVJnlSjńS~cvota]EMa X+X\ ׯksO ocN^^KyN) BV&nWft/ VTU}g` >m.^e.bE`9~qwmK:ڡvpM(VѰ{b.6*P| |0ES-,Sp\|eοk0=|=p§ dL!qѡ+MҤx@J|aJXff+RϥTF%+nY_J!C )B+{ԕQڍ .>~[@tZxTZE+cȱ SId{M|MxDِZ)_'kd:-N(J^?'3\[Sp'qTro7B{ݸI&9CѿȒ{6=108 Yoj9j-)f!s' ɯS\EE,DdFL`0fyxF:ORZ6rlC>+ҕEZ{1=,e]BʹdVV~(2ÌW5dZLP< @9qWRªF+R5++j3ŬS}8 SwPRsTr uT:eL- )у 2(U2$V QIM8pPUqgĺݱkm{ͽwe-9U*( %A \9iaYzEH])}=p0dK{bAO;F[_[ %+8 =70|sL~<ಣ:n\ؙ͎}k-]X$3b!T-̩1bO .=5Ey^4PeDq}0$kp }-)jM,]V'CƋtJx(kmq=* y}=M*g]v?G~p%$ 7c"5,R9TҶ30Nv>A-x-3Nt4u٢ɟ$6;;veH/LCѥpNJ;K{S;4WIR /<{}BmI ^]>=RicfDYؾ Sj{B꩔:.78,LQ ]|yan?w*>϶>̱Z :}՗^J8^7BLv<|XΨblx\Z 5=`<iV\c( sFk{9 :G2OOcؒ8OT$D9t VŇnYj3Ea|_n'/iɰ'aUSU߄mT?RvB?xD5٨j|xg7Zu8Ѻ.q)`P%7eǼB*aLG>Y3"n)bRNY *pXD峲{lev}y2/U6_E,n$UtMj5C.`9ʰT q¨XJ#Q0%2@Y?f YnX-[=g]ҹebhȘbt41K9@, A5V.VS=$0kfVs~>bf δَQ{ ,Xoyp~ Ew#jD-6MOVʾu<}rԁIwRіBqa>0C|3݌HR{ڱ8}oW(_}\Ⱦ:(HRi5ƆK&&5*tL / ћ^$ppWomI.4_E Zjnb=Vl=ղ.SOCNU|h*{WAqegzr)R栤%O30mVltHtW=F6LRku!,Ÿ3X|x)şgI硽6$HAq#S/ٰRidjU&P66c~6ם 6hܙvr[ NâǏ:Dy[g;+c!ᘃC@cWbhr X"t>P8x'm4wMclwFq~3B{VБ驇)*ׂӻlAQ_&<#~%a~nZTdxR5SW☛j SQYm?b` 0װpZ\.hABuW9cU栜is=+ÐE4WWXh=)k 2t'_Kcӄ_#C4fj[m1p7z~XaئL-Ѱ|W{[ͺ}HX12ܯpexIeinnBAϳЗkڷ..U4֬u;&YغŘbMf Pփs_ZVɫ ?spfg¼EY>d!s("St,QOuK֫!~ `Yr͓\IVUvXw9CΕԖ)Ь̉]ԱXhE(vMGRxD+&`n_ db2Du|PYd3Ām!-6ФJNÓN-_&ീA_P8DP C1gNW2>-ܞ=_3T}g$}ٽt|;G_.Qt<tPfb=g*DۋeIA\Ǖ h hŬq %~ .ҴxREݢzsR.4ZH^vI27wPBaq:- do'p| ^aZL9+~kAMN-MPe!!,Z 9%ٝ>*U_/ϊ;.G̦vS!=*eh^5uVX7cRٝCem,Jhe]uFztS 0*ܰa!dtTWVR.mX=wy+4Q<ǨOwKZy,3p fJ.uDO42Q|RwIM\/FK/ȫ=S= 6޳L+IXĕ{clZsEv]iὫ q]7:y&EϷ=rW7)_I`fRb=s9Z FУZ}#5#8kS7 J:97#MF-\H˗ t09WƸ~%Q+9(K,іض>!W}Dm;ljPi]pӞNȋMg+B_S&635@nCЁ|a1~r<&;SvrGdk-8o}UꗖoOF {yWx1?thM(k u9CUAڀ}xa++U?:[ؼQKзH\/c,n_#z!.2WkiyM}_Ž|i <00Sم1l<~.-y0{,M|_,+p.;7<\Ш$,>UbbήSMŮByR\΂.$f|?뛪bPaiv&T7ϝ**w>jgIz9h"̮S NTMUU;v ^]\b] _bNG7d9 omX;'?4|@HRO_O_4>ч:(esUpHQeT[ߛ F=""ӁRﻚO:XѿZ-ZQ@"*S ڭ!;Yci+UGg Y2 ,'HÔ/0 Jx"Rr.PO8ԕT$呖VIGeǣ bqof罂o.R9CJkv|Cr2TQpvpM]1l(U.OS-{b=x;gR1 BGȡmbOi[wwg2Y;O;nmLڍ |f6߽lbq4qkÊ}3z Hz(toe${閽g['CFZ͐r瞢HVĢt}k$>l専  4yh@QϿRz*m~,b'$ULݮ9tkb.eX4Q~1zf o ؖmz)1?p϶4BOz< D8eu~bYFBor umbK U͛Ǚ' - j5(0}u-A!s8VXZUG- Jڌ0wj]n.1re5G^Ҫ:GqG)*ȦtQۊIT@e_@yR֟F>A3B>HZ]^Fde]wLr{ t~͔$Bm|>H\&prit-}2󪰣,:ZO\ :Y1V!G#STu{zZ5H]-qі1T/dHy&P|3Fo?Qr};BSi83\SM^4vIA^ӹq.I97\\š8>6Uь:g7N5ʡ/ n*݄?-h-?f'nHuB(ET"L(!]j;PʌrܣbV,t ٯXr]H:~bpJf?eSάs4+_hIZ3@.yym*]=ɞ:eaDŽO{nd\3Ư&=?8< $Af[o?0(<*;0oNq jP-.m2X{U|.k':WC݇~a[U w=&7쵂Ih'#ONOǹ"\fV.8e`$Oid`38ZtwX\:~TDnh$Փp,'Įo*f d!6gg qP&m4=S/Z>y, #jhiZ9\(lCUۅ_?% > 7afV*;aUqw@Htn҄[fܷ J1 C'5',d56X6?O#z5BWi-bD]_YFntBjXx0-fMGkďlm6YóPh6TJO=o7Qs´ꍊa)Zn!z~We&*3)\u&N0hg%$`8!S좃ѱiѳ)gqAma `z^Kjmj-WUpsnf"јa;sFm-J|M?J4Şd?<ny L=o(&vh

j]ľ>ڱ j<%\(&/4$d G>Ar4Uyȹuac<}aΖdg$͚U"Q ?\Pn1P XWkɩLz,>Arv_T{z{'3fGe7eI,fJYUo-LfBCfWt:CEya.|j^@ Uf!E6 )i_rMe)2gk6*D$opot. /rBcb NW _O'!@瘊DUMXxvs<%qP+-ߌ2~= 6?zYE<ҵO&kTM=?B*ٴ%_owZ~-3:v lqifK"pAoVq`LNFB~:qRl{D6c@鐪9䲽 jikkC!Ff>ɍ~ܚO'wj0 ^iߚl-^Rw |=Em$j!TIFr6ulޣdU!PBB~oY f%[4Gp\S4RWgki|7Ɓ`:heQ _UMRS[gEa1ntD3 }WglB->7|^c3.[{yU/X<){+^{5*0𼗕1^s:ܟ9`?G r-Ϊ,<\ype<QaNJJ|\tAb<2u/N,Ήm?t!ek;X*?򡷦GÚBzޭ̖ds:}j&@b!xʌw,vgIeW!"tQqI&AaxrVZC{Sxךc9Q̈́ӔZfa!WE{eJ B!YW?P0KCۊ&Χ\&++[Kz;#{PJ_tgz^4B}xRNq\f#[郐'ίL@.J^~/"(<^R3 87qRꤰEPܪ~ #YOs{Nɜ&LńP<.#eKhKp92:$йLGkyv$3SlYXc!LP}lZvM _u1 )~ä-̂{[ ͚= mӱN.g4͝U^,u2E21º ;)e~ߔr ^ѱcS =:Ƌ|R:nC2dC`371zzq/1G@*g5i9o\>{?]=_wQsd-YDvT1W3b^笘a\GiW,pٞdA Ojkca%2iMKW]*^s붵^iE$LKJkc@~w5}&6.YRͣl&ܠ_%$a7Enu `R85A43䢧,W$[~,`t#GCy`n]F}⡉WS5Qˬ 9`|{{#IQƴ٣v # >d- Ոyb:?;;o̊#+4ͅD3*Cts2/u1.) 5? $nF[gV]cwY?—g:6nV{en\)sD.R+E@I1 -Z]Zǚ^YAT+OrSӔ-U S4ӣknOsTEoٲǺބ+o]TֿZsu B ݷh&\XOR&։}\ J_Ai,u9?]y~0Cox)%]~ v:IPO2 !w;y̯Ⳍs(}S֋X;S#EkbܸeeLH`