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 \9,Dd ] HOL-Datatype_Benchmark:threads=6elapsed=685.542cpu=2545.092gc=1279.1967zXZִF! 4]ŗXiɟH)0!h]~5"S>FQ)o* -<>$Rd/fPT1fӛp&_ʒ&0Bᑐ-jc˹<"WB `W%J,%']rODh)PU-eIt$y+}xƕx<mTaOːTGA^-~Г'd`i0,F,ưD]Ҽ8`fMn?гv_s^"_}G^PtX[MNI#{?~!wЗg K)?(?z#{-x)"০m,MO?)ڣT2(cu&]I Gwܠt5qDT&frUil2 -u [&*ft% 9r"сBo_ʌ{k 9S0<܀ӅDl9" x H|iRk}e87{or?LRj00Ώ#Xի1`xԄݡfEy-loy gu4A@Nk{ ~Q#i $f2<g$hc d)$ѼcX<#vI]Zk娔^c-SWB@bQk ͟6?,mܰ^FSC{ѻ;-$vP W]as{tF5Hm/y'8QaoƞОJ;g3qY('e"%m}g{H~AoxHTEM)1 ,-!I>?P&j!qnmaEvAb5+- v=4ޫL)AN5bO-OT:  7 %@2j0?$r_rk8A@`_&SI5?{dl Bn/Xi׾vW&ZžN*[s̶`OVdVؕlP2;a fMj8 oC<.hQ$̅`"2v|_]IyQùGXă l0|(\vi';g|]gH5۶m#c 9 HOL-Datatype_Benchmark   Gqտɣ:#| o ZW㙀~z5 h&i-֐SRK| B7PUXĵbBn3cr^]@߆@Յ@sGG'YTx =~D0J[2spWEzh% ʗ)ikA¸ռj]pP^x+,l\E_}* ~1lJE2*qK[bY伫v*,ږLl N|gy\eMĘ7rGޑV}S9^Rn΁ Fh5MxdGP}pd9B9({ΧfQBOZ݃`()XHUO ܞA`BJ#'qn>%?pNOӌD@190Sz%11 `IhQ%ɇB2\%TKr&Y-S@qTO 7x؃s9rc:(Gs3i/pzVDq#9'BG&I!1CS z0l>s@j H(`[hĭk1״ӭQ9؀S=XxBF2 dZ*֝E$pz+i/`sSeoPk Ge~lFF>cL[YmN2ōHq9*M؆8pnj{InnUQ:?!T1ᣰSiLX 9{ƢF| y3:wy( /m<:eU`vڐ-$oؓ)3&9G.מiv h(t*FNd{JPrxAw/rAjAu۲8진O<v2oD;gbK0} B55N36ih:v`ԺQ]MZ@kf (΂$Uw4U&,sM(}3:ړ5 mhTd |Dƣs?sCŢ[Vc0¼]e!$DZ^6CMl#e:ң:4V!*Cw+d nnûXpu:ϊdtqR!_= kXB- "ᜩFfQtwdToڶڛ^tFPD ?Q=n>ʔ[YLx0/@XgXqq8^qgZSd֟}?!m.coJ0r,VmiIju/p nHŝc%'x%OUvy23Q4ϓT`@ 7)׫W¡VChG2 [YvJrN1et^EESƶS; :ֻ@W0}40-1ԔGݓi<:N[5}aZy4vg\W~BաV1?^>0ps4Q:~{n_h8?Eui$Q : гب%_k$,yQmD)wpp!G w>};[' {t0} w9ߋk|?gk#e,g\.@7JVUҠE crh(F}*p6eHc7`͑:p#N3C[C6Nܚ h!S**(:ET ȵ*3*i[Ǎ$,zuۅ_p6s%=^.GZD ;"psH-(z㛺d2•G| ?D7k2_T_i`YF78\K{.4܅},6!]|oGm7RxHRԷ"+QU bE"Yv"礏{x;5f.Ux %-q᳨dݩࣙ:i=ܵ:SsQ/09Һ=[5*)K#+ pd D}dA_9:$Өoڵx e DN EFr"d>A&x7=B7g@v0 z><2 Gw xEf}l4Ԅ/GӼU!&$Y% $j/A%U$m(oE @bvWlAe#Qr-+i" G# _6slGٌjDc5'"P1蒑"g ?"'y#Oƕ*i{p >4lcF 捕0xB%J2$hW'qd7Ƅ-/t3#Ƌ{Hyr"r]&;{Aۯk mH=0gIfC}$+Jf-9˪zV[y>TZmJz%PJ; NblA~w=*J=X3t 8QET+$V,':8 ZtQe寣,HNnı|6 WM]dF13ܼ/ OkU&^It|lObcUz`r1䬡kSCC. ucԸM`X`)CytLm~ܙNm6mMiS9V.б, GK~Z Xin0 FW.+`91L^ $NkYS]uiP=]& szM,9R*w~rɈ ZaHj3,7M ޗ'R_χ&1}W+ D(:+"Zn,3|J=n#ժ\,=гƦnST)&WS{I"=~fm0k5Jx}~ )toR;`{|*ыg2“Itӭ/^,ݵ%+ 癮tzIzX7rO nm%?MZFC].EinRJhjPqq -[=rYOP@B~;,|AfT9<ƖL}p=};+q\I}fǟ,TL L3rI` 7dziV>AJ1p0e M! {?@` NYwԆɼ{=M0^\m =FAʻ|C+JADhPE@WNq/nUcJ5MRt\Gn.R$-r.;FYyEMtƺ<`7;hW=PUԵ{u=hȍ@@k~!Zѐ PTn[IQ_;#uU!۬K]"*s]Y}|91SizrDw C(BMYGp;N (Dh)FS'N)nOD HU"iKޫU~vXYW)>!ƶp&GdB;`5Akχ_:\/HDp`~\R哦̘ g@ݞz?y/%"F 3S KN1Pن+8 ,GL1Iv`*rW36f*P1 霔M[qPAؽ?l[i$3O,6 y}8uaoe>^t{葈mXF%ѿ@]^:]Otm$9}srpw<4ja`fEON4-^<@Kţ_烁xkɃ?U# >4?.w }|  wVT~h@8H >Q4vU4P-U"m;&xQㅖP4V&h7V[Z 呖3fhOKUߙ.zMH,T"{€2.e:G}?^%"95Bͬ>qI"MNd`Ad81I$+%U儧I,I1DBA2#2&%QAi &K@oU2R 0qkN7;o4ͳhkbec:dxj=d*y4͡rTL̺PbC=Xx_][ԜI{q :wԷǨa^IzG+Fo@8}!@cXd#g@+7>R9+~`|'>`!iR䓖ֲMYפA% f5bG+XjRZ!1?!j8n\BD`nić2OC2QG2Z"q׮:ZmC"LwlɠİJFo9ﰫK+Y\.oJM b SAz@,X{ZlVIY.4LkCLJ'QqWr6ّ$)<0*ۜ=Wp5Yf&Lي-t }X9CDHxQ +Nd zjK~>RzYrԗon vnĥT'izO^im;˵f\rD&m5'؛3*͜87e&3T9R/.k3Lye&xu>9?c{!H&i;3ެ/zw?k)%KRǎ,9Cy*u+~ s :d)IyC4S41&+SǿIQԎwQeDb\z9g-,zg:|;[>`IihӋ81'ASP?@$-S} LF5Im6o<.Uo>lX1:6]6fX F-tubϷ/e`x &Vm?~]3R+ `069! fkG.s}T71vڶ?tV]*yIs/|GZ_$&HN1ӵ aB'4:V2F G,fƤP1 X)\Po}Q;i 2QH/Ԥ`ԗQzce/+Fs"vbA;Bp!Stl_bA 'Y}\2PeJX-ad жm~L\,w)Mz'b!MRQ^uwUКZ]-U6ʗBI< 'ȧSZODBHa)?(w*6yM ɨ2R .(Uک%DCd̉ƇexBw=vRN^d4-E/ƘTz7A{>٣nLth>)K[pU>&+'tp9sr^:i-'iOExQF,0)S7E-X ^d= je;k>l%`b0rbx5Kۄ^fWr6Y2foWQ[J*1;^_vd 筕| u:nl8vE", .j%72b!@QMMgy#w%-Օ.kJS Uic|5s 2,Q)VXܰ=HFg(6"S {ƖH^uhXvA8pw 6Gsw>~'1@Y2܇d?AUK]R0`y/ 1&.[Uem|c`C WR05NĻ҈wH<#y5wev[Tg[f4ajyrܭ93;F4Sv_q৘z` Xq%@EA\ήOLe ƺ}vb6&հU{ľpG;(B$nKn(wNGH`E'2՞* 1ے"X5Mtl&#Ή W8Smw S:LԽL3ë=ѐR+x؄T RʣE\L,NVA-^1s8&v4`Z9yVlX7ĈVl' pb`W݈&Ob ͬ@}bA?)ٳ?c(b0}Բ;6xIJ\sQ^UQr]dsT& b戤܏O DY e  J"-- q]AB+XKkwfvYo$aj3.,W@i̦lӿ+arY~,9 ׿UJuiQ\3#wvYKemX*8u:+\ej-X̀2m3m'coJ}#s>DO͞y=7ٌ$őrB1 L&OsȀI}Ar 0/G/5c,hD/k7znB+}qDNX : GedVk3h_$"X AcN쒏>W:V0{Ꭷd6R烾B%}(?Gh "Ƕ%xvs!Eߡs1=`ũQRCTd*k$j7b@a%F"uBIa7Й)4j: io zyS~MCvpԧ7"EϴluC:H\ / $B@/6{FoB7W!L oa=AkVZVaLeGS)"KȢc\]ړY }vB$'k}¶ٽ`=Zzp)AX*ؐ0զ#1ف@xv͌wmʂތa:MXwP0\GmoibMH<ugvF VSc4Ś|@afR6Lv#ij—xȯ&Tˀv%=n/XHLWB#'w‡ hX %e~Jﻔ8k!qRbmS <RlnM!{)BJȮQŝWp,2~m%OJAd : TY-A +BiJqiJ}c_l-kq|!T`&V{A^^x $UX8;~9ɺnbЉlg (q3erA2ӱyNVx}o.EOuh}_ +zC]hw{tlm؄>"l'rC%Qo*#lc+f1su T[~|R*Z>* ZF*ռyxnÃH+a15=q&-AcEGE0]GuPwge R`m<_[$FA֧?'9.N9 V"l_?çRF&}3j#4+˻zap4?"X(~~S`v~ɵ'*/߲D]H9|zҴ|M@C$>m`"sx٠)2<1+Ί7 )le6g}(^ *=^Iu"C9e0o w`ZA|ƒ]!v# &-RVRtON/maBș1;EI.c Uy$%^ESuPG2mRT `ޤh^ttB$Qx*WwEK~p.ޗ=.p->f`xfkE}1ۤ@"C |jJ@b9̯{S|Ò>X,/C*k9Hjyi^3t⻖7K&6˗AFRŠhd| 1EΡmi 1,'jc(a$) "y jAo;ݟNQ%e]~lz,+?V̳Xz0?C 6/'҇*x4:E<z[F^SMAë\0ňQKn)ng#fFB:m}@W*k͓4^mN^_Gm``*c8p5n vt nOh( %~ta[25k>NoVϪdϪ[x1 5g%n{44gާSn$NL|Tfgx0%['5kEdi>1CU^x8+Ls lϯb(",hg˽BKl߭c HX̙ϥqnׯ[5-]He% oٞ>G7̨g:Rdz_ُZܞ}ܝe UR~>b~ yAάJr]ѰSJ'7B%Ae9mۍ0$A991ցNJ'>YA}Kjov 'P1IZ=ObJemqZV,g* @.%o;Y%VQ)6?{0|Y #nruabd0i`gP/h0.e@JYoNTE¦D S+e^+]BE,05D[wlzaITs& %cש6Sh /> 62-Z)^B^}´JN_AǯUj3UBo[T d*x9U@؃` KK3yd"n;gP+4EWeOh_˘FlKJuJxSt-&g>Q85KِjMȿ%7FF/o}*m'rO h ?l~փF^[;w3;fTVGUMA5'Rh2UÆn%^gjS{\l~4X, 3* TvW||Vj|gtWRxumk܎P5*X|ѵ1SzX] W|-CU#wT1"iZ`G<1O; vq1j ۲kͱ\wѠ 1x+]NG.Qvh\$ɏS^ތOlۋwiGGtH0Z5SmWkYċࣄ;,rb[7Qӯ]M!;/ˆk*Ӯ8y`qhނbRy,{e(sժ<1X2 x)r w7,\~|4 L)e{`zTia[maq ,fg hJʮ8(2p8e7&ؤ}5+(XKQѐrRƒ h1Q W2зPҍ:c 0^>t/_zc{glVN}_F e'uEl V'FTKqjo~l!TΨ^_%l*AbZ60H %p>8sCu "h!L pKT6 NFBi\Vv>P]1-̆54Y`qʢ1 lDyW=;PN1dО;ؠp/YW.1,aBth R9B72 D̴_VLUp enB 6tO[;ۄev?;mVj=+}%Twgj- G|D,M F"7ſ<:iiҗXAUV𸧆>8"%<-9ߝ0GG֞DQ =jXR5Q&@%A{=/kƪ̦P ҉qG{| l%AJ9[vw)&_8?LI&khzQ7[x~36mQnQΫ223s$L- 4b1X+_a䍪9:O֤[fl},K5lu< _f߭1k.f_Ys̩3G:? @?RNT>(Z[WӒq {WCoC _rm&@ m;R ̂^o](L{M, ە ZXoų-DFLJfq|Py:Q!,= ^z?^ԠC.}A׏WtWq >T͗LXj\J ?G zTu J-Lf {#CeQfE<>.b(u\ < (ԱmUnuϾ9xCjTb5}#^;-6vMsy\$UxR,< Շ.9AitŚ H:qƮSyo }g,Wırta| S9ل(xOP~(0 R eÑ|7$0N @H诲j FҞ@+6t3bJ'8 O2:8әQ)xA W!ջޯ$(g k\&5G\C0Yqh [VQ!:ah \GAx%[NSop iF"֊d!j# Csymh\)h]+ɗFxֵMN#ctB. ԘXp@N Ġ|>D@N 5p.9~g"R_{5s w^J FldЪpʶBQF氝f_P~EwrĎ'C@iQ`a'w&_j.+GYYWv:6cﲶyə|fr`]v׀!b9M{C/^LUx%}k[ :{Ԕ]AtX@6lYUH=~D ,*|5D~$Q_gcʃޗ.-M&LbZ 3T5DaHF;:%- ?Q.b mJ$A)pp(,噤Sfz=0IP!qQ1]n\٢v$]՛+N(SiS<|=2 6QvtH&`cHegҡh,e2 ;\> >% Ĩ5=,g)L"۝Mj91Xv[_h)+JS?p4O9Gs`ũL: MC hу0~ VGkmNc@wSSq03ƳZ_4`&ƫ(̊0Z(LX- LIbm_ǛP V\3J2Zċa9eB5!+i8 ,A:'**?ۅr| ;B@US'>4 #+Nb՚ڐN'Ay[RiRgo7Kã^ */T [?Lѓ<^PP {GY9C= I#z£1 WVMFFtlK1,otn3T)vfGml[$C[#fKzo;pW7)Ѥ|%^[͎$?{LS̢%xZb+ \] y=Q<yEg?_PR PCE$u08 9BmňF#"- WRw{&3Ԭ"֠B$pbt( QfQ%I/~Bq̗ dn([Tn0Yyǔ3ٯtM[%iy0HӒaQ;RQY. FGԍs0` sUQbCq(;uB"kIJdzlk%$b%:2"1a*wa{9"$&dD")_Ƹ0 lɦK{!5Wm9΄V =iwB/'KN$M9w~MkLJ$oV]=~4 Z̮S0xbWy&J`$Jꚥڬ9ō[2;˜VV},4nWQ)F7Vc3uHfsXGѝAe!A}3Gk`zMM/)??;|4LW"\~ma8 ZY痊)Ib؜0fN}S3'-իt+}ȝ62#IH%rFX G((J@qmvk ۷6=ĕcWѸ`Xw* ;^' w@jUQys"Y>F>J1,~9/8 PO-֧T9$çu,[Tqs<^Z cr'J0="H;ɸ*  D&G7*Б7\"Jd<ŒЙhE!d3<&F@A?;~ڲ !woH]GOd$Y;b&-ۂn <ΌKot@3S] U60.qJ5#;ؒaugZgi8]]T!Yi ԔgMNVՔž1kjͮk oٶ,_UB^ 8~q aS^ ,K--0tY($-O/^Y9eL~)F+i\vWC1>h NZ%hK-Et7BVeI'c|=0h:=ﹻEuOL~Ad i !s+ :pb j-ZLkgƩaL穈֕i}Uͥj5 ӰP@R~q/yࡔ)zU< -$k˱Tw :4TܻFXm G<◣PJccRfnW_W#Ե$oJ/YP{7Ux }p*ԥQ!@ԅnzcae17Co]XV\t"9*<2[!{Wwhp@q6S]ƘjsQolLuE1th?MA xGꬑ,]1#x(-ʼn.xJ7B)٤L~e*ŠX̋1Mnf~d/A91\pA ,"Z?X4 :F`?9}*wYCC4.[ed^q:u\RJ(+ a,?Mj0p`[LD鐚ɑx^?Eaw6t|yg&!_ݵ4STd 0bU3ϫYIjMadآ r]Ck}@6tB*n 9}4sT#WxdMf_OJkeSf.dy(Lȶj1 !oFa| Ꙃ&1vk 54VBF@yEձZi}50m`.SΜ_ 3 B`u=V}<=M h7}\S$xaiyd2`Ì =:)Abq^S"(UFtb`L[IZJg0TAסV0Q-:sާeg}.Jj{Car-z pf &xIY*6f礘ը:AٸC%8͛MfzF< ?d&byS=w5U71f6]N\j&AԴ+ 'Xv:z„G%~`8…ֲ|.dr?CySRLR5j#mRPLyYiX z{Ona/v ] Hzt"(lHW~OFt8?\>#0uVh^r:?r駥NVG EhAF3˛E4m{co93svzڒosO`6LM'KV_W1U |-nJxyQ+D1dt7hZ?mYA~Hqou"bD I\WˡE_$t)̜?GAs, gHؘ9| >("j]9y"cQ.>l+ԃLPx3!S*HR-$ɦL_j.mVMTv:WϡrtE 6Ud]Yz/8/9~|륞KE| U[}c˩X:VL(HH_V(T#U}|W6D.sy̜G'<@F"ן9I#riQͥ =z_Q^EA6(e43L^j iIKvu_,5]@QYXKxoA99T-0moƳͳc "AvCU(f+ܡDh<$8x\pnesbрPn;-M<տ YU2A2qŽr Cԓq/'EXJD(8܂FP^Fd?MOqzlڷ\~pڰ}p1Q\Z7L ChW4rr ʋJX̣GG:L)$@1cH^G_,Ix^\0H0ͅ 'q DHR ^?:hGFՉKU|u<\o@ v Ns$t7WFΪ?7ͭ0{GbzN.g0vzҕj*LE'Y)w} M:e*Qr]!ַRNϗ' +Bگ 1 53 FhuiSf6j])9:ʸx-. 3[э<€2j߇=y~I#ȚVUPn+k8'ՓePRZTx0ak 9Vm2k7Ѓâ''u_] sMHwUV(qڪC{LC{wZO~vMZg)6$ݳf#ObH?q۲y2:MRI:S c{Ni dal[0ϸ .hpVYSS\u6jX(pT9^rr-s>_D1o @%(P `\4^G{ь L¤{^bަ5חF_~S,49xԨU eT jm%xi}_BΧz@q,52*'i.*Sat6VG5訕5(Du}hgpaᘨ:#YfTx]L,78z5Vue*],8*-ͅwחtx,-iP̰E jp`R:H5]Eyׂ>ٓ>^E~#}ʎǯqyS;HˑZ^T<@S%A:1jDwP E A(:p[kE*k(]~_EJߗgHَG9Je' M $YO V럘w#W0h;OWyaWzS[[jɷlX앧 1܈OCG,Oؤ_i7Q!c=kɗ^*ƅV: AFέv8gXhY ciG2L@bx2aѽwK\$Ws~gOP:*&?xAv,Oh8C7Ք_G Y; `"3\,1lp#.%} ;qFKT{5;M1z9M\X$ƌAw<Ƌ3%ixuk1Nz^̮(!'Lh9׸+f 1?G"8E@=l4τ؃Cwb$jzBJө=&ܒmA$0ߏD?w Ye?Zuy{"/Ep'G`1 :5r#|Fmn?(q?]m%@orzMr㘄04O:Gy1~y~oХ%BDO y(kmut.暵~:EE?ô92z*%]12Ԓz&[+}UM5 I/Ptch R,F}Tk4_} zQȑf2)48f/z@%ouoFFOQGT0q(8hˆJ(2}%tNiB.GkB{n+m(hr' %\Y:,ָli-)|h0׾o`C7[V/NrfW/F|KB ,vg֧SyKWu1MUbY2/Rys7 >&fD@v*Gu[JnZ7U0tG6Ğ%U7>Y[Y9ߞe&EJiB+*y/lw99c"Ce7_ѤAV,5pDj~D=̏̀ihS'#yXN/͔>?.l!*]cP $iGޯbwG\4of!ќ;o%c1Gg$!5VZatP;8qaz||<{ȕYgdΧ8U6*-qĘBGT$_Y - 6#!DpR;ak ȶ[|')xtݦ\ H`0,‚r^4"NI|9  0hU+WQE]dZP`j uNl-^C1jAi O?vX/hPi'qyQRp$fsX$a ȑCA%BP r 3x@ L#1@eg2q|ٚ"kUDd@*Rʑ=зA~CqaKwuo R}BS)s{ֳ3],{XW^ͬTJO+ tZwuF +דXMpwx!lPZFCڬ=DQLO<SuysXAٌ]y T`Vbj&Ra| *(Pv}T`p܃o?]wvhQ}yx d55rό7p` ޫUbc(|!Ҿ8۠2%TQT|M kF6۬rh/ݜ) ^uv>IJ- hs+L\zu{s.MɄ.Ix7Jrg kk=4?PjXfE4d@XwWJKj+~~YxRbl "!zbVoC !"ܰQ~@<]s ~X\"X2B>-<<1:MQC.p>?C ?Ӳ٧o >X^w$݂kE pCFîJ!e&'9Q*4@EY-6Q S[Rݪvνcb~cH.|[>1[Tp72=B]|xzAw>.1Ǻp0R]84vWDjjG^7'4Dr'o jd6%;=Q&G*> 9-^9|bl/ƞ/~;-t9/e4odxQ_ܰ[#965 `[F{$]ft̐P0)Rd3CVZÂC`]F[Gijs1YRrq͹4\"8 cXlGap:HݠbӨLd*`UAZO gLDKeAb,4*? OZJQnDXdKmx^m dFh5N֨|J*$3,f}P:nU99[dֱ#"e >lIs-=ڐj.qv}Eк>^#Q< 0L~m&:yJ*Q^qq`FUmVfLE/9 g7BVaJTbGq /-0.MT_ zAlѦCϬxQ(0A'sa̾HTk;7Tlwۇez L,6pS!s5s٭@TN If9'*zAeBTDf{zvB*Cn&{!)%s*v[T7X]lG[r'tjR]ՙ89 UYn/w,K.vH_ʉGxO"S8A c)Ǔe@K 6H{`^`X9/! %jEy,C<뵶ƧqUï_n9`~E xlsC}adQ>CunM*HF~& yZOb 7cM턎J+_rK&.(x=p10` N:FS^'a˅'x{Ap ~thBtI_P@H>j+Q*LPtGD/W&Ƃ]F<|]4̤ak(?f=h8:uc'f~0FH#}s0-d}CIɭ: Nt|2 :zDޕxfxڈMrrg:j/{_᧽E mBj A9n^I_>b\|] X} wsJ 2ٌxr * /u91 k'nLIV[ P@{L瘻 "?Ñ hzBd9*s<9|W/!q-rnoR/2-DPXVꎯtچQ[{>y8'bb9'8I3MLTds}A fvT3ΩL(O caLCgwF%Z:!>R MDP?I:FJuڙJ=ӪE5=PWX=Tρ'>O9J6{x^hm-i<6L% +9aQ,s '?Pw:x>: 9\虍/No&ZβaI\pΓU/yu0O^&YN|p/;ag>J≵މK9Xݖ~}pHӌ34FY߱jL_IMn Ysmwثc:ٝ&u. WӂkC'ol̤_Biⳍ8~a=踶K@޶q VoՠNY =EK,NDGoG4błc6&;Dr+X>,z92Cr ;Z9#]]y'<>jO0׹Σjp(]Ʈ)E2a,RcT*jn ;!3|j
    @38 gY*bV][׿;ұAS\膉|cKt2r:V.$ ×+!&(”mdoE6Ec됣-O~(g#4#xlc)t ];Z sYh.PL:;6r%[~X~@s|wc>;R6#%#,47I,|[ddbr潖*6GF^Xi#a8& E xI #G?%:>xm$`8oP}EBCͫ }t6o^n&eܨ5*k/oNDk>RlDT>9,NyLZ(N4bt!֚^s wO0U 2k-}X=QP?HR;swcH %}-ԵOEmPVDvijeH.RN^_Gve#Ē`e2B|ao٨o2_} #սL\LIohzm)H+C'O1x 5go̴A-QT~"t W m|E&{-z/{dyt=!cVg˂سL ~H"Ytߴ: s#y Y9*95gpvT +cdpkĦvyx/vH.כ91-LbLdnN8JMs{z._|KfŨW&j6!跻YOrliCFe!|D IrƼoI3)٣`cRGs Skn B5JA9+៕rB,lH 0&ON,X&0|}yz6hjbMlVziyUꉽ{җ7l T(Ĺǝ Jч;hs|*}qPbx L=QKO(/#_n<1, ba_{jhy&f˪9;\#E߇e '_&x}Y>׏X%~bIu&deF<]}K1_":r>Xc u㕲cI6qpzQVì#p y:m2^L#sSC}1MŔ>ך]G]E.J{xAz-Q˭)g5A>T).'"$+(/"QsJyT;#=p5LFぇB Zf/a0]Vɯ{gDiB~Egswe^4tl\ϡ5YYJ`8@$u鐙dz^ꭠ(&`< r騟Kb?~ړJ7UE D Ț-6p V+Fd[ 4u\+jȝqH.2N@z5 FcI)l-'HT Int>q *f?WC:Uc04TR7%aFr-S _MՌ$3qKu.3fXLJrnC])[;(oO$y *c)؂"+Zg 6 EU^Ȓll_-LȅAs3R/e4U]c_ ߁)t_QLqFR>^D3bH9dԻ Y+rp6Fy/| NKZl<\nc}Pް{Im kȞ"'O8xED޳VK<;S9 s4Pz E%mY[K^Į(uz~g3g%2+Xq7h @s_84s%&OaMF2TL~ :1D7NmɍjĮ_4)ܛ<ҼlJS\cHk@&![xe_7SU4)akcՓnPgMրYa~|^qDyu)Q HWS{cE'r662&5V!tAoyvIT'i@x+HrQ ؒ2&74G q+<)܊™ 1>xSt /gyٍqģ*B*ArpAʮr\CCZ"ZrD.mtkSqn^<MCWi.Ӊ|wz 8ׇK B,^t"γ!u'ʌ/:1a ^eZd]ᑎCrJ %35MAf*\-qz>^v<3|t\;f'-JcVlKp)nTZz[2㰩{s&jU)/{He=GL,]hQƺeP~,cȀ""K"㻃mO2K7~=F T+C}_L~/'`dy`D.%EԞ`݂Ksܒ^% ':{w$CL'(`= yr g~+ȱb)3*Zw3 Rө_g9E[ B#UKU 58E='(ǀENU@G*ȸ!r)Q_+_u.bmfQȟMQ0TА174M&+_6ۙG5_Nt9_IqvM9s18MGjBۖaC{>FuNe%Sc%G-k?Laկ]/N>M5"zk< v^Mgʃ \E^~ɂAI ܙ%)ȵ{FF_b >?.2Gx`*&kz+C{RA:ݺAFY;^C]KZC3n6ֈ1:h9,qCJ5ԒVG*({n[ t-tX_-(3:h2ZW,7M8FDP&H=) {B+vfaq۶;n쏻*9+SFBdzǐ5Pl/es*SF,_ToR ]'?d-'{gUy6 lYB}s|$FB⧛ [af=+y߆y2)<? b=iϰՖz_=c DŽI'`[2/4BsS@;g @'`VӋ3%tcBk&UL9Mú]%{eUPRȜ6V|EK7`l/'yPE,͉ApF;F5K_3}Jis`?QM(R 􌳊{܁[5K_%z?3{onfYzjfXgYܕa6X~mx (k~eJGD;bLNxQװCP5wPtLY]NMIZ+_=Me7 KY6w6˹A3$.qՉ ȶ:f R >®TuX?N |cl%mC}xOϘ.k ,%1?Qt)9kA4F!߮?[ao`795S'I `%ZhQ'ַIPٲa^+CIl۳o"/Glm<]u:Q8;! sa'nGZ":,3=,Pt [k&톈GsvH[>/M=O;BfM0 K+lVL9+EՌO;Nj&pܫsժmퟣ a?^EV>T6%?p}2ms1y3e͐ХP7U{7?̷`aӛCvUxazXȐa-WOR7oWc9X- p!E>1Af|7FDx+KJ|MHMg'=\*~-vps:eE>E5euiA@wfh$b$3R(2tXn+yez Fr&l׏ff?K#vvO0/;ry@uC={w*z C1x-hN DP 51U$ⵏCC]3X$=U7;pcq{D|3<@E//"˥쾒Ztzmo"7ƈf8SoA2YPϮyQlCJyk"L|0iNCORMڶ ]gd^~+ `xMҝ8I;5 y |10~UۑyźbP@_*H ! 0;an SWd\2袒 f.4d#|{lbI8V^