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 ee[;tLT ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.143cpu=199.240gc=9.188factor=2.587zXZִF! b_]ŗXiɟd)&]hS.J}+%QqdLE^ _ƃ︢wR{" 8aG)&~]Ӄ,ib͑X@謷7xvfGI) ϝ}(k[}lsh‚L P~?ހ!'˯:&+Zq=frH \G@sm+쐦RsV=ߒ G!#{>aɪO]CEڧ],Ȫ\:XSzçNGvots$[j[#2M9xؙAQCH fIGwAN~ NZ2DQ1 ֐-`U.3bڠӅጙs*}\ǝr=1HS}vIFN6Y\q>9']=e\1cY)ǖ5cXiiq5#a9*MaC*ٻ&ǩMjqy_W%5b >w5JlAW,w@^;%\Ii)Dwf <{ Qsrjn9}(K&>l(dp'!o- E! {ЛC|rIMJdk`f{Æ_t2I"&*m }< B|m'S>ZaeUq%wM<< J0SeE5i%JNeΥQdU(岜OcN|?w~7~l2ho14 ih d M1lW>6.{O7nOiS/;ތحU<sA]dk(L~{dK,#wy!陏i.*Ol7j4Eo!imD 9p8fPP5N?8ʌah8G'0i$2n\mf XpQM*xzv)r;_h^W; :fឩ!NgBo;j/+/ .E[@/CXdy.gʽ.a<\KOCR']{%GZdr% AX|]tIGe4Ls8@&aq C.'~( rn-)JW"_ ^|Jb/.d|t$ONܓJ$}-BưADv3|J!{L.4熬X;L\<uyph]=iɬ{rOxv1Oe]77FFیٟ x^ӯQB, fL~:s׃VO6q_HcPaS WZzo Bs$0b݇_yGdj.DFw-lfw/)T}]Tthcuj>5 UY G9~A;Rd+\}Pw4зs!`DZ'Lq{O=ӣJ}>`7O:ڄ)GW DA a p< .SFdY $p^Lt3Ru kG- , DT8;C9ps!Q",<,qP6t+2^US%:9mJ`%Ei cSEy㡮xs[wOc w)!b@{=>WF{2+9+sy۽|'/mͰ1 a  yRCMpSBx%'9-{墉M.V# %)`Y L"V!ZG-S>n~v6r='C闠OHWYO0PJS- G0_!"ӊ}(n0xzC̿M.n$|72oR Hs5u3lHZfxPRUp7yi|vH4/!n9{e9Θ` zvvZ&-l!(0odzR9Ge+}X ȗ(j6 zXm$x[rڧ&jiGoܓ̜r@е |9]&W5¹#}%++ۃLu}95˜Uv_?9;FH[ fsXQ`XW\Jw^~LgrzI9P_职=VaP9g~'|8gI{ |0~j %OBCP{ז[`ɭD_qW(Unm ;bi%~F-xl!7&1#8^_,wjMeKf}{gəK2Jq("h?#X%篪3b)aZx06N,+ۑy§ ݒ0S"Oё0z*yJ~1MT1|xj#E'YYwJjf󛴭#4ˡկ7Qktժr 3iѧ ¼e]]EIgz,{䥤=ԀD3Q 1 ozt UO jӦJ٧ 5Ge|[jf,Q͑H,jtKH2yFq‚ 7/ivIm_̿0㜆.%v~>X9OKbf)ޔw0` 0' T{3~$B|3- 9] c\>TY\Mn@Jѷc6}l# 7wwy{REEn^32z=8Th1xvj VaEe(DNfj 61B FcO0gfG.RRN,q߲O OnKIax|(^atIIs>cC/MS9pv6İo"xȜ"ޕD܅_t,+Y m˧,Hӑo y/A ~f\{a9Wbk T2oz .m7KqND+C݈ 3#pNSӜL?`046WT*OBbBy!:h9C MC^~% K](TǬeyi5䔏XIY?\,)j1:<=޻xNuY7! KX- vM' L5"I%(V T!c/0P2Ǯo8 Wei*v (_3̎R$FD[sP^a$YX,"vʐ/Ăwe24R=o/!aCNz=d#OGuaN[!f0滅K]Aui83.@$nnOPM@aǵKP&@_I/g0u6ݟp9LƷzML"~YHy^ޅtU&5ֺw_둶<-½|:l^HRKà.*{k.$Tg5Y *dv,<ĨCGd͎8N-]V_oO.@6~<aȌ遯G w4p$-"y/o4o 8ؾ=]7v=B>riB4qny$,K ϴ[)5#/فpqA^E W^4SJE*ĵ7f}&%~Yd}G8rC<ʔm`/;%]e࡫q:ȯ7B߰>Wt?c>Nc.\ۤEcX{C2(rL.c Pȹ r*xޮS%B;'?l lllV $X􄃃@ /;wLN)@$g,hg|UNZC}%\NZȣg0bNo0B3oj ouCN]r 8k,$c:Mpn@[r &6-{;I\ Fղ+]aߛ 9S^kR>N2FЪbL;c#PbʮTLp#g:^3M YmR\* ~^~kg,3F43GF}f%wȴ`A罘(]H u$*H5\S6}k1:Ж})>sߨ[qԻ"D.d#kfUV J ڊ+Iz^jįu0!i1:|K @(=;A6i}6nEފwAD|_ /ltUAqDM^~|Xd=*cI9wUa.hgkRN,M~R)y Pgzڧ`0Pm K;6rF.Ύ4jaPzKWÐw]ō۟`u=6V7c?|&mƏH^}p?ODi&ۺ-՟nn2t}^ \}ߒw(vc |ѷ 9#'\k0"*ؓypD%b`z9\z! ;ƍ'`!ؕpP*jxfXP S.QLMZ1FRִʴ>1SIW8 <`-.Jj_l<d8kG儊?;8ڕ^+Zt.Ϩƽ[F,Ol LHC~5Dz)e]1ߥZEGH(u{0n!lthXIGeӆwS嬮v{ۢ{a'B}JS n̕b [>(Jdd߆mkku_҉|r5Kzerʂot1m37?bG_FeP3>V4#Sؐ3ÉuIe Jrက/P8ASE.q5 g4?2O^/}*,@T+&;%h%WIEѐXI~u9GywmMq{aw^K2&졒tGwKqYOT)ZjBQا@F,oKY`ɫx)FDؘp[o.L(}nM  XQ|!5^Mz{H3фV'`GMWDGn\뙡@7UG]dzT3?˨7ǓVNIѧx{:S+1vg߈_RP^k~9~ioTz=kί}1kZןs9.L i0۩foIyf@tzTUV[}AdxFTB߇OVu\F%.l iȬRnZs%5+؜¬*:g(a.SOqN[=ClkǣvB]e^AE2ˁȬ~ (;)čVbpXsW7?2֏fxHxկT{u(oCT'nyY,VIP,^y5WـЅ>RB .o!Ӿ?/nbNNtXf9YzD} bNq_XmAg}p?hWD+ :OCߥ(&E9ڔ;O-ҾL}T{L#eIQhY'YμϛǂO8:6W⏡N+ (z|`}jLQ#Ӭݐ wO*,&HPŀq)dS\á}:\cՌ{fT'Bш96@8#S6f;wv5Φ9@piZ؏Ƨds]识fn`붏|8 >5KvLTV'pG5Vjexj0r{B$\G>glOET$X'?;"'Hg,@K)#waa%8[Գx/dH=Q P;=Fr:HQӗ1 7bxIF/s/ @ E|j5FlsUT8C; Qt];쒐o$? j!U'ff)XD%:vTx=>ǁj[M@E!l&V9ۗJD,PB!G78o2Ƕu I2 c&7 p rOE|xb2޲_V 3{dWҎz%ҘZ2-sWdg+zNcQrزGyLFRB vu'YIhP0:%\U}Ipx0hk/DWAƺ{ERTez,.e]D) >/:ǥ~f:ƧQ8R;\/*[Zf-stYhw1vp8~%LEo.O$/Il,@.m[a 80'֍&*̯&&T~b(ȣ؀}ёgzM]*tP}\uy!ϏriIrKUNޔ@h6,? +oy}R̕(Nɕk8["`L;G_fvޮ@=LnzWٱ&dͬ]Q_Eڍ«pN{ lT"\״]Fj$XK48܅W #mj _K: 6ʑ &Fs^X%%E6LZ%S3NL_} e?n,@#ZHI4?՗>E1|{PfOaʛ; GJ})E |#,χcqjfƅ;Zo?Hty2>FY@_jǕ])BէFV9~y!X*~3#6=r& pb.(Dۃdɟ3D- ,pTㇹՠs4&# /X3#a,U q!c߂ʹi`/czzAc10KǧJa! {7c&*zFI<+` e[( FdI1r |7Cgu,r9׉Vΰ9!_t7_Y*0~J[!MJ1LғmG6).z3965o{/AS.|So05G"iS,si՘_ J_r_q|-4m xZhۋ j򇮧2Q}qbHUvJI~XDiyL߄ 42|AYv<~L\'zGn#B;J>ngϮ Lcqɪ!=tWЋ+n|W!u' ?B3PQeLy$u|F%:}0î6@\F'>5&.hmDviVQ"bF1&Z'8̴o)& Uq ]%FoQ-0Lݱ]=[+ȮC ڿ,6),$KZ9q9 rą{ -9bVoN->0=S.q?a`iL2z6\aF!IwDYr0,"O[{_Xxn6U|lC˛q.|rŸS婌DUϰ&~Ne:d\֘Rs rҺ ,-zh&RP,66;;d.M|uOK^vt"۬#N&@QHr*sI{NNT׹ڻz W>lG>W\䁂Sۃ?oiQ?`AP5g DrS۱;+ÆUNna|T'_?* V4 S~Ԁ:}{MfDJt?%Γ&lPACyOY[Pצ'Ld#h$z8oXI-v8mǗJù@A7>,Q"a9ՙ};xMf"dV7xXͦcbz=uYw/3@5ck,kOPntLP g> ϡ'"A_]~!#1kʧS҈nF}1iJl Oߠqj.. v]rPeV͙YJxO?8 dԄczAO71t Ism^Id(~$ui0w*.לaJ}X qȱԹKu) s׋Jz,|MU"{RhM yLa`9؝Bא @6r)b+xߕYSt.v؉*uHWʆ|lX+jս nU7w5OsRΜwشsx4 8 E}vnU)DaOx -ތb$uȎѫ$FD:=_vx7 `{04GDۺ$ iTL"ny& G„v`ۏ9"|&8ì%o("sWNP L ",~՗uʂ$*ÜC uEbAO r֔$)lfoy#)kZ]DQ|j=;.QO=kvXwvt(0nmrEuSJGڸ8GhI)nDo(Jaցz ʓ=*?/cr t|O3'kD1qZf:~k@!8rz3YMO/ׇ8G#pPMrEPDuL6J:^[[,4+.hf$E=IfȍbP q!0Z;17iF)mCY@I ' c2bul o{b+ 86S}P˷GuM9߽2ݪ1u|BCj쁮&^e`\/|K5X?X>3)Y;/c&L/+Dad9=T0e׼l0kƿLIJ=՚҅o|9NhrU}>kㅷQ(DJo`VqϽHaxQWq @dFloDYnExԍiSCoāʷs>ղ{Q`m4Ew1mu/`pY20i|& |p}Y"5qz4_臲zaii>>aiEdbggc kojoLnK*unF81M]v !㢞#=Irka1cd :ӶqLOu=FY #x>7Ď ܊Z3S Bogc?g3lo Mw6^*8[Wv>Ѡ|{.I^(KbLIN)ÍЕFIu=nvEv3ƶ#e8$ G 5OTk8ƍb^c?Pe/CGfݒ4J!}QC=ɕd96$ d/ ;6Eqs۔`Wzg[y$?4ίt܉qQ5u# MKRYRM#Wh.څ?]}j'*_Ahń?uD ]:#anHkp(bo{<iT/5 P|?MTn0pf:㵼䬹9քh¯5 ]詤wvik 0=ZpPAj: $62OR"w_xXVxGk'F%CBmC@AUuv{tbb`DV= 'asDSLay:aF5Z-X<9,?FQōx :HZ~6Tn@*_2o#qc6s@xQ5*KlcԼˠ#_.yU'CVfS=\6J p-l\ǥAC)mJqը6lغj1GNT_2ܸx4q$qNL^H.!O}]v-X+ {,q4jTxI@m揘M;ŽqLIx4ΒqJmL3X+Vz9ꏡU7UfMsCw}1%VIȜ<8/g3}z{m8)%9j^6;=H!ףt{ZL7m?nc)- }QC0 ;?1og\wxhR¥K#‡cAE]VNWAIe!OcFh#;դtɾA*O#d|ao5 nֺ?#L1xl2BI=!r1 HG l\Cگ!tip ԷGᘵ6˧og;QЉ oy<~[+#7Ty2.Y}F N(֓jMiZp] n^'iNU2~jqID7hUzE}`ȇoGtΝDqyI[EZ :]2*g6,FPc?qimEG UV(WhnK^߰bs秫e 9;9*xY;?fV{?~>}˃RҜj:Q%w,؝hṋ;;/ 6{ (A'{SeM=j' z[ytlp:9n7p(IFb]R16+eT&p1,oe1\{P i6SJH@Q71~!Z$ZIFw9.÷?ԕh|*\$=Kx HhlV~UJ̋Q,=%㎥ uQt!DǼ@ϜBr"ݯ.!wh࣎ӝoVˢ-xu/mi 섆V]&gcwww܆v'uFB=i V9‡FQ, KfA6|XF Mq{u!Z%Co]rt` Qk3=PmʃP3'v FD2V}f>`=S}eUաhɬA694j8ǿ ?"u'UoZ !S nX FCMз0iL076Q|zO|{8o!/$ߚoĉyl'J"[9z}IKbX~}ίx# oOj96Be] ޗZ1`[pպtJx43CU=I|)/(5.,pYqJ%EoIm}q09ۨ gkތGDkv'!Ԉ Df0&!M22C3d$.0m/'-vǷW8k۟ės8kA;J {*+n"|ifC_Cdfߎ Z߭(H,P#x7[1ASjPJu/i F{0B*vHMХIuY K/vEjVW9K D^ucS`"۟,"uS`N>O$8j+VlU Clg9N&"arm s"72g`_Іs(JN:0;j}1X"bX2S 0GR"#;j\@sV |̐ڋ\5m+_ާ\OCI9!֕ůLz>L tP8;)Ez7JtҹC^ 0L[LA;.;'`ےŒjՄ[nnў ==M4k%ӊ#3(vut$뤌%g 6EfC!֢ħ<ߥ]k,Ib,E }}'*Zc(d{H>%ۇh6$Bu^EBӐd#`R4=V'<=cW/9V#E0&p7,\ƫ[+PVv~ >HESlw[4mEBҸ1%H7vAAH |djIN`rO$ī뗬롊>3y{W*:Hh3'J~>Hٟ천\Ϊoݿ+[gJAypn<ԩtv! UzccH"2 bP! kPG9%n R| &'fw&оF(7[%+7G|jO~x;ٓNq3>X8^xq7: ҈ uPѻu0X3YsݫFPNd6~٘Fϋ:9253TcߊѼ}qO248V]/6i-CK}L i%2`)V#Ă44Y.qT9wOf2;OȖTOY~%ŐMmvR0Gv-Fa`W6@K2b()?R.K7'GX (rbsW\w|^\9zUtUd"L]k%\:5M e?UO&kim 3|lk%UAQGʞGW\o`)۶kUIZa~9'ה`Q)ƥ:/(}('jH4.YUTHS.ܴlo ';" 5OV \0q"+50xAon:dQRʘp32-,\<)g:VR܈;uc/ -^ȌUx'-p`&x{?x$->N&>bߟFTyA_}׈NhD×K2؃~_n Ldl7~ҺAAgfr~q!8g'v_ _{ZX\/ 7ȂJN=J,.QТ5 <׫sHᱽ鯅O6)L.q8 sl4h3r\kn'&wwzM8 [;*! ͬ_2)=_jtGn AwJFǿVjt'b}ؾwTh[7!j*eD Oz1ADCh#3]@ 9U/%~VI*]b?EQ-iM4 ;9aP !6葼l$ѶLf-"T1 L6t{wȺ.bʨ,LZ$(b}gk{mg_NYz!Qj45jAY1q+Ai2Ǽ+:9cLx;)P^Auͻvks! qUZ],=/Cֺ?op>ǀCK 89Q :h =gQu#όv=3-')ʒ\y&/Jn`Lˊ0+$h&F5>b3ƀL%H*ktm \auV}-;}MǨ0g.[hA..q%'3ql06+R 6i۩C!M ' J[IL~\܉Fّ}V"g1 > Ĝعtl_5/g%\?$a,fz{AAvii]-yS'JM]逎eX4A\X2E@n#ng;Qpn~åm,4^ă}(1M{wkU]&eU}&{. .^A//b_mNH5]rRZàlT>ȱ-1* w86w5ݬX\p~d.%Gy†xj.PYuUG)"D\,j-Qy];`6H -#/E4DCC9^3f>c)oC3Hnj% : ,O_pFժR4x(}jt=I4vkDM0P> c ]+~;PP{Qˇ4~;mnd8̅+Zɲ<6o<"Eո'@偽3[¼?V!*6.[U({Wj j|ln3[rzG,FϤNLop jʢvanNHfL,M5OaW(;+Dm R5*$]HKRGD~r_h"oPYa8텣wyj7vÓD{/K 4nF>m|@^4K2je抩ćFIɅ0.2Բpsgqjh?6AiHZ@iy$ԃ 77oQe4BTlDOzV&HՐ ~0uG|7cs9 J;fd-zعfBBU#9DۜƱ.(pg97zVd[A]][^㭼*"Y|S{ͤX1\>xy'Fe*DEnWH'^3Q Yq q,gb S?`I).ܟ ԉJs;3.ld'$}꨷*>?=;/ MJ#ڼ8KyWUdu[XXZ#12̻'Icrc)K6Xto`B2:DwPsu䍠=u-Lw`d3Nxxc<>"Fa 5 .wmi1;P~aw0ߔJӛm53MRc~чÒZhX{C8|MhR͡҂iot{ NX!bbR)^h|p"$@d>BZT99'c_QȠ`SS-CV_7QQo6-RvרduK,#1N7\=h _ɀ: PBTԼZ$m亀\ 2z^`om]m.z\],+wj. wVVJ\J$DYx /}Lw}Wֆ|cG %j/sܧ12mfr>Kv+`ju)N 䚑6QB7,p`ǚ_ 1P=zNA(AdlEԭ12-hdПlmsu%bmgΗt\͔_qx# 8R&hyɹ[mI։:t*[c"EA(Fx>}Nv @]}RB }؞\{rM>[ɛL%suH & ԇ/?1>LM*5j;!׷W̄mGˑ@g3.A.*.OA~w޳ U2^ n" 6s ylhSJUϰ.` 7;*lȹp=ExTw\]! m{V[9hX}Fxrtl+bbT}4:X¬ZHHiwD}!hfĊK8-] 161bF -h~]!{(T3p7,Jp8TٸvKL"p{8^k^bNʞ@l>0c~j;Hj+'ĎC?靹FBE}JQN-0.R:ֱ!(.=& &L{ ӪZ.ALfQe5./8Cbz{;pCɶ&7"G* )p&c z+Slں1S;['Lżwgi bVuf&wA}F=IvsR~P.ɐV_"\c1k |az"ej$!&?hS-;;=xj#5 v.DBpz7+|os1v xd+rgY}[k"5'N׾GL,- I&VX7"tK0 (0Յ$ 8jn8;OfOe Po&finG+Nʅˊ=aZG ,+9^Ѣ@ÕE1®T#td*0naxZs̩jp=M5)}7' ڶIPQ1&`i)GQm\2>ψᇖ!J3-ikEp5BF*-T8߼,w0c gt $}D U>7TUNS#~ t3ŌJKk&hwuI]]G:~l)\z$ +FDߕI6nëI$M;03CӋB]xe~y++EqVa:q/L:)wEi|h+,/"eWe?F;Omnj$b$Nwc]Y>YWcTXL5#7ֆhG*<Ͷk{9d#тѓOy Nth`($nq-itM0JmDZBDvq&['O$r-JUY)c躼ݏGf[2kN|-RaQN+D*[ӕ +ϸۓf@0%ьMV 78 x38~Ɔ~L,0ͷ|@s oNz=^`>E {uIFf,\;R/<|e +# rxo$LL tLh ::)]ds ݢzX"A"壟V\t 0 k՛p'g5Π ;i|*VPb9^Y}i vc80tMfp+7>.ߥf!+O"@FٌmsD1/[ KC "EI֎# ig?Щ^(!L}#+}obr6&]fž!ߓfѽE*}%o^n:Wo03F'dYN ۼR:똿fdS1YۏGN85k<靺$'tVVH cٍӂe<2Ƥ85_#LZ/T++3ee߳uWRpdxR٥Lh *.L[ `##@W܁CmSTd9r5a_EFRq0H!L:3ȫ[MPB:z $ gESiO(䉅{|ysɬQlH:۲? :/ nwg;zsrŒ],gC[FG1lt`GG`.c=UӢKL błuD׃)VC<\;B 'BUxRޏȀnҘԢ0x Ѵm8SB,0@3V!jtNi0-[$`zWT׽>(k4c:i&~ֶh Tff[ӍTE66)o,kO7jy <(ny-SӼ/% )0}UsWbKJ9v客~PՂm++Z4'D35MB~ioYOF`&oյ Vwy-4[̭֝ne3p 'y%nG}'']6A4oj+-@'ſ``}}|V>  y ' [!|W<)]zm{-вt:w{t3*g'6T@@h8qX#RjD[1D"n>d 9>"'.n*y!72 =)^%=\w􁯡Ԙ r?ye,Lê/#9.HfT-V3|uQPC78,Fh37kr* ,7a#ZڂI8 g[;AӝbOkp6HtYxvLOD̍$ YLi6RU>hZf,?F9lyp"ݘԭF-ad58]"oNyMW'<ީ1)\B6E U$/WiQׂ(,K o⢥EJ iW8R<4P /%;[>{XIZ T>oC=ٲyjA/ƹ4uQ)O\s~\uM9U-1;'1ŗWVG^͘t=ŭ?ud'Q?7&Xf 7.#C|6.-:ajJ#d,+1n& %Nފٱd;.R8zyOߌ:;(a\ V5|k6X[`uZ" s BhlR(Bq} $HL($ؚ+שGe#`ׯ->~./1R1t,?͇Mv 6VR7YJ:LDG9O~ӻ )]KK `nϭ9F'9cB=|5ym0c_dc[VBzO2HJ F '?L!͢XH]w>n{gaU^[lI7|sch~@"wDнyE93>.[*nS#;1(\qf&A7gm *.:Jf iG3M1(Oks)&*ȱ.nC N@-L;7ݴGk&mo䝈KU7h d5laE"u5"-}eG}ш udJ~1\y=F1%S!SIy7EȱUz?.Qඹ8|Ibx{F;ZMH~DW$U_(1 <7"ߏN; @̕ږC7uZjQMn*υb];fxCF*2UEU I2T/R#tܺn%xB}TxҰ/so_ww^\1`ik K4TӻсH[#O/\9䣷c|, *LwTPM]82}yuN[仅 wЂLqЎ9&?\_~$Ub&9\EZ,)xVLUw(&z 8c] ާȳXw(aE'E@zby$-hkTKk2#:s YPGH-x4­rM1CII[| ;1UVWYiG0\׽.vbɱqw|b $#АYLQJ,Ivx{TZ\ = x?٫kA]K/3=ܝ/j%DN8feG]NRhmo,쪛P۫4b]<.~ȀѼ?P8NOu=54Te~CQ4%(Z| sK N\8 3Yzfjcd\3B7:A㉸5+3 Y5ø;Nt'O{"A6껮:-|"@;1耝N1 u|U>w gX=rU@< W:_Ʀwx9K^reI!!"보Wt,詢m~j.;=~C[ 藝6&$?@ݹsS:^2uCo;7jBR>7 j^ElͰ(!4~mnj/9<7bD&"t<e5׻oxzR 4~3 ^՞Sߤ)W"o+4CT-~F3M*+ iYi7C.fD{42VHC@Nlcʨmt6.@Z}ʬ/ρbˡE f>OӃ 8'4^Q[ЙFn#"Ɋ3HkrLϱAj -r8k@h)^!DZ]pz) ޥ&Z̸irJ_l7 ݱ,\e,7tIs.5TtGqQk:%g7wd_9G)+PN#!6';ciE1nY9+|\B9Qfď0s%qii?Olz=`2JCi67mz#h")`J0@X.Yk[Cs_yJ rL^vqA^ׄv+keڢt,lAYՔ0CEQ QiF5O ei4K@Tǰ\Ugvo/(qwfPKTgR r-?Dcr֐t{x?v_ym!"ID/>d\N31!!m!Uufz؏pEuPg!hKibC-$W ]Յ ,6G0 1/HlVs;/7%6 qwma(.3}Ka{_2-wT&J%?l,--{CbaH49'XwdE@4j+o2dI1ыtD!bUP71fs!Zt >lV:iܮ !ֽJH??t+93":`E$ML۶*Qi:0ޟR #cekQm@0L\&zm@{NT, @Vy0GA>rkvlVNlS^mHGz\ yh W&| [yUE7:B]qb KHeN=P՞>wתSrq r6ϚL ?l?,L (zSB .^-.@0inZp@R7 /s@R4(F6gluƁ,\tvdHL,lF:'EgQdqМKCЧ%-݇OY2*lelo0W{궜?VY}NY/Z,V,˟F{GWb\LpzQ|߅Il&E6S j8׉ MnEZ$U͋M涓G6Ȋ6BMxTE~ӭܑg* Jz!M?8[~I_a}UKB@u\ʤֲHzcp- 6GjW *͚pEu g;PL^nR\owZJ@y-cb!zdY2=jI߲P$8LRkя5ޠL-;[t~D°N#ܟv2#&{4&&/ᲿHv^/.Gn-({c9 }҆ߘ;ȣ2ms2#nrJu掑D+!^7˓nE jİo%0*5񀴹:FܚyKu;#c|u)1#V^p gVƦAGֲk,8=[vJl fQΎ]Jʊ *YMS"zZbyRZvOx27aտA) txiC }[~<ٟSOkZэ'J~M-)ɥ RM[-m$%"?C$x}SH"ρxUm(U@. 0롘,Dڼ/0p{1ЈƘuhoS 'J{$yU{8r^~10*?9L9ZSPf8x dH}gށ!Qr[/6+>ߖzCd$Z7e٩e줇jL!O[ I[ ΍շIP D#[E2Jݳ.8SA:Z*2Őcn2F;uNT߼QD7}6)t .7!1#1o S$BMT$ -B08w ߰fw<H%|X*C1fo5=a8ϩII4عDYwy)d|gN,W#KZj쳕87ʬ\ZO,H<`M!6sҊI{tr+Ȉ1`Hr4s hl@\u7jûv hA K0# g? ;,lngQ% @6`1:5h%hRFjtvߧ*1<8=E ɹ]?Q-aGP})ʧ }]"@ JUh\:m@v!%ȇˡf,Y+c6.CByp-jsdM䠭zGs|Wɚeg%GWIW&3vk-?nKL4<˳,3ŅoCޭ3km*L$r0 u՟qfdb]xCb?6# ɔBKi̙s$);7u+SSbr:cX "_\yRg0;n(Fv#}[G*@AQaw.`߶M\^66<?hf-![!p P,D:?z< W ˪-<䚫z.?MƲcVVJT.SwY9 8;`&GLu]w\4ߴcy/ALNB\VX/<b}ĚFW4yhOcYO!smM>S A<)H]ӊ}1ۣ׭;X1RݍMcc~μvG\jVƁCد٪ZYrِ"wp}T6c䕕-Z]{fY,LͲD|we,S]7Oqp}^: ) wu0\Pt5QM򿂔g`¿N2.-U} )}*jI"uxSqďL;dv2 PC[уen:~[6t?IV-s& yj k4W'l` %u\"L0vgcɓb憭( p*:\%EG#0Ō<_/0߫.E_!Jq8zǞIZj(6i~J2]`93#3-NM~4؂b We )bwn3Kw$c»eFYA(n^p ؕ8*U@ {t|;o6F&0*~a@ ݒ6 C៸A-XLRC{L;5pQF inWt|i' $Ad{^C֣qP:7U<77[fF= 8,ʶ{2% m+xGf=UGȁm#GTeW-e[@x{m8r+軃_(oҪֹ@Ȱ?}fiqz#m~fH>Xܪp9Fjy@MW&lJ#Z;#M+.׭sU0 `B2 A -.*^ˢJU v~rJ7>N/Cnb_nk]{6N4*>bjQ\ͷ_>ѬQ @TsdiͶ)%e+lL ou^gN21+hE|(8Lϥ@K!%ub  'pnጦ]J1qIwR\(zgqᥪZqZ؀i@%7k.yDxq,G@ fއŶFo&i3aT30򺥉x ^uo2l~L2k8I2O׊-l{#>_h.Ljn@ lT ZJG&Di;ۿqHZٷ"5vt-e7 w"dK5R]aÐ<](kUB3|͆~neokF=n쫊:nd VS_D6܀f=u)&Wzw4oP=Vd#DZ4Id\ R;\pՋ\Mwi🤓 n.H 0\Ǥ28W "m|OX<-{XE:J|LȘ75DGH /uLC[wġz$7>ң:7"'wf 񙻹4hBRF sdMǟth=F4-8_ߧ+<sEOeCUSmo"M?(.}9'h'l'`|gJ !,3)bL"U$^@6zXk?BeЭ2D]d6h6MBCI7yv_%^L3} m)Dm2Fv|328%o$3!,Bw #) 8LVR!)X C F7=ebjM^"\[9lran`#ROM/8d+}sbggNcq8#UX_>;8\$K_"W\?gq-߶od= S_LeQ&+ hjv<_eVК#4ȫɛEV17#4IZ>6:()8KM/:\㓁UO#Yhf(ΛPpB|kr/fPb^@TZ'N)ue/Eu 1㧲󽂶`Y z$Zғ" (:ՙf),P:{azlX}ɸ@F54eiN'k!w4Ӵkr 8uMrRprTh&Y3PypZ0asJ0Qi3ay4674&gܫ1 {.2x ݽ)gIb IP|#Ahϫ3b<ҲJ8lo[bwA`5rlkg-4L+6* Cͽs>'])D۞7*{i\-ڝZ!p7\#PQET\Z*&.JH]Jer(0+CyZ+!JǟnUV>xs4;B '{r3>}]) h 6cUc0jal#N%xjy\tzUiRGDp6UO!֓}YT&աfx է6"lʤ@tzL/o uE~2mդ# CH')Ec|U73L?d\ډC{0qVC|(VKK.#̑}{=5۲w#-J0oB2E-9 +K 7tB 9k)Gzyv4K"z,,ԧm &1;`3')hүrL "U:O)pSHCS١kSYue(]?Ct-W)c Ǭ32K\T+#s\cmP 4TrB$D-A`g7]!X@gƱ{Hl@EQxN*GI: cMYZ;-xQ%?"Aa߭,).{6AkTTF[b{ ut l? haXEYxuN[a}Oq(Z0} QkieK{H'ŸғXIC`AW=FX>dǓ,YOVf46;r``&4O!AJsqu0Xt[~܋r4SXDW?{>w!ӟZ.. i8'&cC#G8@R,Z}JXmѳIآć%e[~dŁ<ױ]ym& Yt4+g+\t/HX02t˿99Gy"7^Mu/ +{lLʥ8S=_;tBxj@`)7M?)a鄰Jw[!tSZwŽi,e1৊ʹ#$e\4Mn~pS,u{ l+7j2hXO48hJƷ}<?Eڡ/cv\@NC4JfAk/W ;~yC_5;*xiBhۇcB.( 6ףBdo6ǿdoa9fQ̏(54O&'v$AMa=0^8{RCr\&Mx a < w b,ָc\- WP - ͪ0JCObɿ;DT9tj5'@ylﰭCB3+i {=}=txTk]|k[G1MbIL0R0"}#E ts~гWg0S@A!z.rE#V{cЗ*/TTiOp%N[ho\`7k;`P;K?B?(*8-~B]^ڀ@hAop%\|em/%XWsEPm?F{LÙUS)afVS*y &wW@>텟^8Z9U spkgY5HQ-?N'tjIcBy@A6͍oͥmQ6c2MelUs-H5tG6SGɊhtAH,@{Z; /\?3f&C#js x~92n ezNI3O]\ЕO_hV!G__kyk349tjը>V1z\}VsaO){oTI~X=FKAmSݿcpо`,?> d%WL}\64Xڧz?.TR!MMtv@UH*= 7JQ4h{y@5wњjD ۓA $@A#b̵]`|U&EI 'pjՍR;RNBuJk6;$ 3MbVڤaSAv&sTr(\ˡ;!\]b@)7@0ѹ,;QE^ભs]j <7%cv|?w)_3B[me!UzV9a2 ;ܓ` *^gb9nǭ*g<(:o益TַPnFQ6zYx Q0k><*5d,9+"_a8e00+O7FA쩮E )(4Vdnܵ0rFZu"yS.a|I.( f.&rsH8r Zz8(r^+ch:]\]I^8j_h>NՉH`^$||qUP@ZUl5qpTӪh0DyK|}P:_H:Z&'Ӽ`l~i ^.WC.ͯcF1{0)M9"eVVY:<~ 77|;%F\t{|"z0U'¸jʣ4홪6(ftKL<1/vrx;?v$Dyi@!YDBk<x wvs5ryQd`Z.$7SXvأ֏|^Swx,iY !ÎOb1 C=,a,5W_֦,@S+R2hS&Zu@,^@,@ =!9"z1䐋O7GGRReԹԷK2;;\^d= AR}ߴi@SD9@E#%k» t!N XEe0<Xp=lb@ #lQtqВ} cmX kcیŁ7YQ$4Ax$ ",wUldj`q'瘼%g:73` !Xg#/ ݌Mҟ.6 X'  Kr Z鐓+ڀZ! )I%VDg×(<.AX8ak|(ro6[<%cC_hE'$8I"2bq́)jg]kS_QDd{8ᰧq6!=8^mÄΚ@_.Wil5Q).hqAmoGLɟN(GHPtMh>\yj%l{޴ƄWiX:HNȽ8Cfڱ:-*ʺ#'Bm@OZKxVK3Q9j"c +!孎1@(v}[;N@X(afH`}wkO2+ALG9M~,E _+*ț`Gl]`0cvTGP6B?U|l. ; =CPdGr7P&&Do]0݆uEDJmf9ĨԋhN$ɻď/`"a8Y~?'8u&ODRݿȐ9/a*i}cLo$y90T,E_J6t-MK(R?/Fq$ o3^s@I̓9*$r|ML $RJLdxNr 5M+8gE[B'zza1 J*o?x,As_xˤqR[ [`G(V΂1BU(`֋.qJ}+v$@ӊ]nCYN?rLA zVW$>ؘ2|бɠRۊC{n)+N WޝFB%NWkt/lpV|4eн (~Qfk'=t\zԉDJRqo;ӪodM:r\En'Ƶ=OYբHڲaOKEO$jMBk.E)pDj]iU@_HԎnpT1A V}wqZJ}6kf?|xķb]ϋb 5IJ#@ѣɒ"@d ׈y!wJvƴi%hO{qV,uC[KہDTl;,ej3 VS 斦smHJ|&KH{g`/D''GPl~Z>h}r(y+и67hDRDӆؾ|Pla5vX:Z`WF>Lw8qK]-2US]jNMtfp]ȯǚ(f VjrV(hfR=2ȴυd֚pD7 ZKw#Cy&qg?TgSG{tɩ :tE#,HF9֛ ?2Z?"w:Ko͒H=%QM`YnRI DȭQŒR-FJI>k#3'[Z# AbpnҏAeqմrOt@,1%⿎Gz,I8MjmQ˲98׻i:EiD{ M@1_L  w|~ٸgހ~}zK(jZp v-teݽ'/flrKuxsq"'IXMk:]C`ݛbjca@ TM T y'/R ӈ'S6VluN6Uݮ ˝mu oQ`DPhr!ߚ+A% o5}?+ҕt}v=0XEK|tMw9Z$AEÀd&^wAj6! ELr||P)7Vi۪XRl b#Kxëw``%Ds_f'IgrO']Oż%~j&n,S"|iˆ Й۔sx>*// /X͈y+d R"\]C/s> A&ݸP2By܃cbPEJg&!qg;YҍABz}qY!WO1Q3(ehQBUz5" @!@ G2MYoAvf`)AK(19çl*@`MoH̎^ !?WsN\ =,emm9A{g'C52<OTVX1i5Z!u |jIQ"~ːlSZl%]xb# 3|35}e+BqZh^Kwn- |W yG#6(wi29VG{wʽۗgl¹Jl49ԵP"#KR2X%[DesXey?&\s-o.}~z?ma݇CO2?UAa ל&"ަkc!]hֵqF&[w[†#0<g]8Ehb8I5Uc O ŖښEfbfE}aݹ3*DiO!)i44idk b!;+z`0#NO01`nH^7% %R'?ae@Z lzkN&MܝQ!u(pV\bPRVlvB9UtgIgݏBVW}:0)ivt<%,Jc9zrT+ id߁ĽP}^``#3ߺJkHl^?W-92B˃7zj]@/*5ygFO MoߏHܖY:ȘUXsUHs/N7 JvMP\MN_|m Kcs2 VAgvϘ1cf Km.Ő.a Nb<͕|ۂZWMu*aIi8X ~u.sO= (ͮֈWz/5?[ZN7# -D,hUsPo$̄*r0Ү; pr>}~ :<E:b X*%z&'8cQ"lɚkSI#Sn$= D/d#BY\iqnh Lcv#L]u?J21=h*ooJ0t\[WU89TTCH:p]O6t,dL8vgMv~&5Ac6[u%]7LWҁ;\S$H.qgDRY֩ڧ [A;2lm6饃;n BvbLRacI#g_bwx!.e:uS(GJ~!M3>LB6!N?( =]!6uB,FRq^e%\^5&DYJ졟g Ny0`?,XsoG(4Ϗ~Q}+WTujaŚps$xޠ8Ÿ],% _c[CJtz)1gܜdfn*5cϩcCD K2hvTλwQ2nŠ^)^݇C]Wpە8)}%t/J21(ߴ X5Y-%P6Y$.܊ړq+_+ $ hTRr͐; HooRsZH]#0Y#xCK$'$;-9pJ:4hģ[=寧;A Xui"[^UE<@>q*g/H:~ VN"LVRL1@\ҽ^=}ڿNz6u?KJ+ UTiwft9#HoyɂAt/߭~2!(6ᴟڝF)~yw`ZpΘ7RHsQoHD_V۫*=+wnW9hA֊x9HǞtoy鳿&|ϼe73hr/aobږH2u|@)azOe.;OW)@Tx>+դj"˹L[!Kحhu,LZ4Sbp QZl0+jyL˫Pl_!t`Gx=Z)ACú[lO^ny36>['qAZ6}钉}d/Gk)~ETxDu]M@ +Q-]}8)ddXnsJǥj^jĭ_5`ǟ{?L[k"lx*gda'_K* UѫUYIQ+kF~u݊[)|;5%0*:aǓp96ApS҉4/BsLN1bLTp[Mmȹ/k$:{njFQ9煅M P(־:R$`g?pԏf,I!eT^o/VfCC{xU VhSdEd+f9u%&c^0!r"K-=^41cOC13FW7:WEfaw!t4z fny|ՂIH,C UGw> \kF(H+\?G^"Y"m+?ХI"o;qa&lLo粅YrL2Ǯ .ۼH(\- \vO`^ogD"z~)g4a_bi iDldVʢ;5&4FR.CA~W,oOBFN"B r1lR߶o Y%mlgBCt'ds8d)(EnŢWɈK]{>? .'>#vu͍$:k.#l/p4q]gyZɄ[ʗ uzQv%ۮHT؀2 Hx/[voO隽ѯȌj&z2I :o=@{z1[6khͮ2nїT#1] LyR ֧" 57m: -]O`R[Sf5~r&~cRز't !uf:WNsUnbr Rv%A@DQʔӫ+8&Fnc\{@߷K ]ѥXX@|j D zdPH}&&Xm+&tݧ+@=.8\a4zDӲYNB&B";4n٠@ٳp Sdf×XhmZ55sRKe$ȓCYƸ a$ui~nAf/?NM\O4v;QU%Thora ج Ŗ/<5 $9N} ;s=i7j jIDDbmEz0!H~J c"&.%2vJ0 rd~gVlQu'b|S98a4޸ޠ׀'K4V4Uw 㸯0iM]~7a.kxno"yޘ-x#~PƻK{r K<@3QtbZp>o~Rj<\f[3@[IZg;GJF1U[*A_Z1m-C%Hە:? ;7zqC3ɯ!jRv N&|޼. q5h| ꜔5:Q.::U.͘@s`i_~k'3I-&kkSfel\㷘 `Ǘi!JTz7ث!# qO'/ȪTV=Vʦ4%eՓxAˆV!?Xsm;P~D:W)v:tdFq7 :!d}>!%!4] W"(!? wkaI=v>TWc&mo QnļRhhA+I_YL{8x@/ȣ[}7imBS$r6Lq=x_4L鬀P.Wz HDtg XN VYPC;RpcHc*HS/V0_!AȌ2bQͤWd`08/)@K/L4XyY3F1g|@_(Ҫ{gH03 >vC)Km;4gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGe+>'K(èM^o!^ Q@xH!?j*A5R[,%whxp'T ; f3tj<Ҋֵ,3"+P^> \dz+8ܓ2j~_ZVy@K̽#  zI,jx֊a BXJZ`󵏘%`]b plJHslmȎx<̿63X%TS jGp\l~"8k5`*RgC*m8klK~yN˄=W ؈A C KWe~~g]Wq/n99k؉$L4Ҷ`_'9& 爱gYZ7zXZִF! !]ŗXi%L!uouT@dTR/hFtL<4O(h`{;02vƢRkmFN]P0LEmmGruNoz:AIfPr#~NA=`[$D>j`rq^ _c싷=q ΫaqB6Q e@mu%3}Y"lE M̒O6w= ^6mP$Cn*g}TU]sh4 0S~' )Xq, ]v nUΡt?TmKݱ➾Π`e,];Յ~7pc<5.$[U:lcy^.4]eT.Qs$Nª 1UϢ󜼈M/9ex{(#8j F!%S ]>-{[;][OgCui06cW@HY+=^ɏOg 1ܵE"&.3, p M_,Q(wyKYA_O*_Jd29 p'[Ao_E>EC3Pw}%q|}Dz cz7,t0Ia-v ݠs 2ZxXZX 4psw-ű:8)jUE&سEte[Ґִ !Z&|aBaǤwِ;"Aq%qc8*vAߴ5Esu1DqB3: ^7weIC1/sӆ:/> Z"gW$%pQ$ 3}MwW|OZ&nCG`hHZ">#܃Нu^^nđ`iGT[ML+}9cYI'վu.C+wufέ:{%tlHӇz|lKۉ2GfHNLS&^eYcGyzEՓ)vKmHq*t2svhV`]uo2Yk/d^Pn2Sw6V H_R}% UB-r.u}&}wءJ]@CACY5lA5-:hŌ:%zÖ9y?vaXc(bur Jҥ&yXgä9 =WKGr v+; !ϝҌu!3QPX s)u궺hpTSi\ YS6 & W>m(PRrzk; -LpEwBՒ5BkK}JMNa7o3K>N1\N= qF=K||T %t-z: Du0T+kMe~бbo7 %EmN!]9?Q8'RoC|% ,KO1Qtk5q?s7U6֐y3:69"?m+7/Fr0u|7 X-d~Ӳh+UdeY]\^u5=w[еF0g/z(y)ޞs_QL o YdQ m`0E\"^N^ Te aGu4"VJwSpiףHqtO\׺KԪCņ̘.Mc*Ss]`;um馓KSC#+IT]Dƣ_XLPS<8%łI:}sv4zeV7퀀lGE;~ A=3߿I!{ڍ-)8u@%kSw@83pՆʀj DXyay'ǰ[V2fha9@L)<{T4$Q؄a˚0kw Kޒ겹M XCjk+M 4'ԐR8N})%ăY 銸IEȏHv}aWLNbLk*4^06FِMq u$N&T̹kZvdd14+Hc ,25_Wl 辖0-3G-}g ;o_u-D3J'Gd{{eo/cZ3u$1EC5ȧ3 vMH.!tN4ԛUiOR%؈q]`9kmUx>{6(&5+%XJGwQǹ]p3Nl8)ϺR֞p1p_#8vc:t>; 㠷0h4G]t?G]# HxA vs?z$S!pUn>R )IF}z+,5W ꧧ㢿]lAP<^qk$Úȕ'n<7~yL80J=?#iY'$n;1 H~6D_qt[_U܎91#AA,H>rliE6@3-DrXsR .eRj,țl34&Y4ίgCk \%G\B+v7 n dfRq }VGQ,_F5 Jd\J f>Z^g7 } kWEqcGP%&!ak=-_Iug7U)?O;ΔNӪBbuV Y@ $. [52XX!}J^JW/>5ükǏc skvb>ru}%e@W* 0^r0'=&S{|h137,H i}i󇫖YgKբ=248Hz]G)OwM͛z2%-S͌C?`u&)e-%C sK9[h)%F :{j̄Z+7LEy-.(:J Va!&ypP&ͧsXڽDYOy:pgZ:֘O7`E(D)wJ,peg)ڹnod 3}