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   Q $| ]/ OpSets:threads=4elapsed=13.632cpu=43.784gc=1.136factor=3.217zXZִF! 4t]ŗXiɟH!n?珫mKuF|sE 66'εs%`w~KUH}l-Z 8E1?ܐNp-Jzsd'xB6I\` @~@fJm4 ߫{_ջ~ ľnbiImͤ4r>BSQ.`h5,mb s*>%kӳH-\W0[]IOL\ ɥIXow^}*^ǣ2b[L\P!TC˺mw\φ5Kj`b/*s|'/w9 l&d#cwh7o@R,\]3p%3-TX'$$Z(4يrnn!SYv @k 8$ (sX|Ud<1 LM7]))MQA'%q-Gepgd);䔭G>%~}Z12Am2,]0gzѳ>L3%<>O^a9ٸZB]/?9~F }{&;&Wdw֯ןo_ )S<3id43E =Mr t haH3 zi,B:?7e`q%`8--VIljsrr/:K S,Cwj 4XZj RL@\^FTFoH2W93 J*b>9-ԧ> ^(|RjOXK/auldž[7NKT=l8&Fc7+Ls-aFy)h@ 0?mYS7h!8 V9в*|oT녎LeDo9"=wP;(Jl|B#_͆~/͐QxҸ/!Am)QN@נSCESjG(nDYֲ ^`h0Ffܟn؝,˻ONmbXRJ+ȝLZ:ԝS3d0N Y9w@ȃ>HLq\8WL ?iȇeȵ{8-G4etFLC1L2;xAe09QFJDnE4yu?bW6 LM]hQɚ- s¢!Yfsr$]({26QN,3LBcR rf( [3Ζu1dۡ4G9^gR'U +ZP?vGhr%# V-g?WB GcBku:Ŭv7x5#$#^V!PCH]! ‹oMy(+2{ GG}#^ջLEW4g\rUKJŴ7ӈ%Y..KSb(/9JlEV@@#!XC6SLW 䃏a̎C4|,7Ж'Z|ghUڜM"o7Eƣ+G4`=?ש6ٍ!P0 I*] Tʼ:?[5ċ5XKxN`#MLͷA(q"~"^k? 7+> -\3m9OHWuËoez/NqXs P8N\;m7kuOTD5_+mч_}DaB|Pتz&:p-Ơ3tF LY,B`A³Z֫ 9,"h u:FU/7@?LlM(Za8<ՖM`"f;ɸkJxRc\ &׸vG%nÝ‐%i*R%X5 GqBgJnol!#M=s%Mb#Ts O.?0'_D*}x0/&a 3oww6yfkyx~g$yx,lT* l88K>'%:bA,k+$]J16A$#FF؟Ҫ}\5-Ō7V۵TVxC(ľ]:Wă`bj(KN8=8d8i\9# 4:Mxzz ױV\osz}TX(-XM^f4i'N8 ENSbL a{V֬   OpSets  QMչ:9)NBt7gw#N'Ɖc>PMxygFMsnxQ!<~fr34-(`'p-2-Iӓ:,t8Tn A0tkeFǫ}+@ooa~*ʶy$PґLu(0jT&՘lmP\ I6%MI"rWXJ#:ƫ|6 h϶ W [{Y1$o!a2H#\EZMj :CĚYeSOf3U"ZTBܜq/|4N7]#GUդ[[՘% 4 AoN;j@ۻdW;Hx9]vw<^&ZţRTdZU[X:Ìa(~3ǚĽ I] YڃYϪă#ͰD'rN44:rK;jԀab%/N˨pc[yl}Ȓ>zfG>L VFj\0sd+W]㟧!1Ր4oqʌTK/jʧ%0Xފ SiRXdת2+7‡z μ9k*HWٚ&2ĂN )4 M[C#4Cs32O'e ̾T`qࢇTc(퐓3IC,(PXr+L+}=iTiMb)xhq yB6EH&!p!\B/kV#*}㒑bNo׾LC,Wwg{?L/1&UvClrZAu:{MN vE->HD{ʸ[5= S=^ ǬoFޫe@iSڕi[W Vs`2ѦƛOJg.A秅YnD9t̨ΌUڃ-3"f>gCۅ"Ɍbn.=+vcb}gQ-U8 5=äKTpw()iX.sDSY!}tok ]ߤ?jH;pJUr9~UET RqH 5[wf,SANʽ әS1qfy# =J@_NP1=wl|:f.v=fo ((Jn1Gޢc,]O:_Hvn)nPw>Ӊl%_t)#*>zu1w,aR$[M(7z2 J_1A*xY ֜`PxeYXd4LҽMbҩ6}e:$U `v90(g02۸H.2h7z1l Żc>lfJGPImh YljA'^5JoQoۆ(!{#VkƧc4+s l׹P\n!s?j=Y[$4*[O7?LY'Ya-8ƠgͿr6S1BW&;S?ldP)}{ҢYM'Pxe5> b ) x8c= d;F~/L:&lr8jJ9? Rc&q em2r tϬjlT8MNadDJr,@m1ͣEq"!Re[oWE_3U. p3[&ږn0Y5hg֨#JFeW4u*!Ygw_GˇKoH/V3jF8lԊSsJ.$rU\IJJ< Pfo:^1WPSJe͙!7lCbuk4Qa ČhK80:P*<ǫ"PҪ&GOXtF쭼iBY 8"!q<_o`ހ>-D5y=%- Xu>z^Fo@r rDǘP^`,d+:p"P\WHt/m=r,HW6op2nDTK@.7 #_UW1j|mB0* [a0w f볃jXKV!ֺn\H6a_i(A-xy#3_݄-'`6:t̲K7~fnqV93 xaMmk!( F!RWIή2 Wo&e{tJOL4DYG%=tY5ΝiqSf+*yʓGeȑ0LZADL ǺLy==&0LSK@'*NV170fȗN<{ds蠞xY[zL-ΙvJ~,mV#EL)%%2{Py03ow;K؛J VR!;]چnv_%&K" k$snEayQņUߔ>> ގcysMeGg TK@ӜJ#.)QBUSժ{XtoF43ES{+o$GV}/a֫t6[.`0|Hsw/Y=U)D>8k@Լ涸K$Nl!yB]v?lS6[9-UY\+s[geW(҂s2Qo`[zqK(N(\/}EǣR"LVGrzaA nQT4wiIBaLz?*DoV  hȿ=)aIț{’ ٪ ͎[b'zg+pN{"es\=HcIy(I|\=CKF=dU-)k9&ȧ' Q2aÑЪ͑tKv=H\Oܶ`bZA]G:Q}9AbRQ;jm'h˿Y)o"?]0g>ڗ>^K4/edK&Uy*4Dh?*zvDxmV3*gh4.R5kYjSvb N(MeZi.Rdb.:f@Q_+ќ&<;\B]_C5wnHBB Pcq]v6ί/=k#jU5(}RbNFa܏"2 gSW̝`%0 +̀nGIm߶np4ԃh)i OM[RS/SbtV8eJ3oKUהQݏ_y% _blUk}l'+ܵ3w__e=i4PWY[SvIǻ1WǼN gW,O7`ؕtKes|#f+J4KGwOU:gbT {5+."S g&ѽg?۷ MW gI&17$H4iFZA7&y4B)]9fAnrZai,rnGeIY(BGF8jZ5ck{Wmz5pa}1h8nY`TGF-tO`A y^ZL]g \kEL]|Y]L8r5 f-cOœZ| g.!*TfZNV: R^)a|&,.IL.ba7Nʈ!7z-sWHhКlj,`4\WJU*nP 2&#V(3?q2?l{[¡e8=C PȲ`F$ XS2Q]:-'_ 2=d_@^ρZYaCwgKRfRH~gf]n@AEV!zտpSr3hkXJR{Y8jh{Ә #3N |z*ݖ d3g$:4jƫrL"9h R*,LN@N}F> ^lg (i+D,yYUl9*=2ܵ= k.-:jEl&\X7Tv"4Wk\M{?jc,iKE,V.Hu#CMm$1.Tsq[oD2g&|I$CUDzA'>,; `6 [[f\Ս~zB,ks;Ѭ׿jm*VŬJRIڧh=&1'*Sh[t2Ҏj0o$.y=B:Y?asADϘ ѥ\Fa}; JjyMKY6.Jd4DQj[K;%)Y ^l х>=wA>w7sI'վ9+нK[P h9sy&) gs_&ȺYgC85ʎau7"  ˊAwgyd zFr,/7J%A,H% " թ bK,&eS؅ԥUJ(-1|vPh GO6)4r)?(.,պ $+͵L~W6X?g\%T~`"y$Ѡ"c5SFb(v\IQw)t׉IFn<|RA_CeZNp*+}5&:jSn\Mw5cԧ%`qyio'Y3u&[.TLؓFpy@<2 vF =t [{<)oK9n(d]XXcW5UD/(QczO{[bJs5c'8QmqDUjG2 .lQ[Y@-x]z[FP/Ph0EZ03HRi؇W>@7I{W _@0A1]ǂl@b~\IG+awBZQI:yǖ*uy@XYZAoHE,]!+[TpuaQAr\t8Ȯ4n&6 Cn0AYݭ;yW"msjGh]k-Kg@_.8T#G2=@U#Q}* UU+γn0Awb8V{eWraE(iEPg(n¦4UIp>1ݑD2p!,#\fX_6puqVڞ?wђzb= l!?9]i@i2.E;]2B *!`L\'{K!IJPHA! Gqc%C(B Jп&R ՠI. @OG,jbyqRrȁ|iWvGpwn)pl~Ҕ+.aFaJ3ǟC;Tк;+lpժ ѡN %3Yx,cf4Vu(|J0bI5vp"_|ӧzlX{ dXr煻Qa۵,,'} v#!m?zk̐Eru1sW6VQN[Xw+l`e *b_o[wN Fߜ' :TP W'?7 ɔ+Nƒ`P)\PtYEK]AM[_ʜIrtLOæj 0CXE;rx0cmϦ,msE\>A%I{vc(Cuf_Ϩ}iA`~UV ]2Ee@91_J1YAgרՅq8qqUuqm{.Y#"6ʵrF?߸l; C KSj PFˆvD,rVtS%fڈ5SFcr=F ꌷ!tTңXJ6kT9t;ߺ ;W<hN)'X1MD%~RWWV!i=6 EKbw7tqR2OLcGQRg2|kRL7)l/g Ń 9qrA3MO+t/T䨶W f9;Nb:O7р6!|igW1$8sbIƉ-T#:O>hUv^`pč{?'%j[y~[NtV^#N <%p] qgS *(,̪,|R|LZ/Q&3aٰhYon Ƈ"-V3K m,<y)+0~RϩHwZkbelIU]bljg-y_ 8U&X헐^C8p3ZP|5l;$*X}\ {zȪQ`G<1@IfwP޸lűVY K_A"ꕺnF &OIKxU!e-v4}-OߧuU>Kc)@!yn>@׈9#b{9 -_wH]8_f\X fEfHA]ASdʇ^ࠥj zRMF[|Zj836ЫjGmSͳRrBM[]e5%Ca@ajR _:ʌ*M`|ӄ1 w pHx͈{G18P3+ }Q;‰9.iL9>foIy`7Ձ=#=}"~ﬧRpMy aHg'NFp) 􎨸޽j! ڗ#{Yj9q㣏oZZ1dGIq=<JM)U»MO}z<[ 80+2>ٓh)4Tkd?<"K Sk~u9-Ui3Tν񹺉yV=D3Cѱpgߕ>ȝbe,K`K[TͷS6+'%2C(G%K`JdHߠ?.CBBsBP8"?iV9{rD;LBh3ܷD|ԝ&/'NR|j!/Gxj( Ⱦ5%da0T95+.+ulÝMo&AɘH`xڿD6TC%'omsw0FVs85Mh]#f_&k˸,&$Ym 5 X8S؞M~j靬 Y)5tZSm_t#SXCFb&qާɽU鿎Z`-0 @e**ΐWˏI8Κz0P;V_ֈi#wpH(*Q)Օtٗ[,ӈzX$?aYd5d ;WV.M͗dxtni-#G™v300}xoDք,K. QnԴ&'G7c$6@AU)Dr H+mMʷ" *^_+l|'X!aэVvSq(U×zC{ԯ1끌j{7յSUs}ǻdгul%Wl.g4:Es5 \5otf wr(N޿ddͪ2 A,*;k O]XyK˝1f(v*ziE/' =sH%Cke7#` ic -aw8!-ޫCxۮ[sDHb4fw7vͦoz ~`yvYh]|!ľ1,X!DvC8!sp0͌R)zCm V^ T!7,BG9mg6D wIS/frvw]+|P5MG{7i 7ք[zfjvuH'74c=lWyIG~Z2 " [%_vBjJ)#w'^'Bm߬FuWQxPG"7e YY&͙3CP "7<(go/E=e"$'Eip.@I]Y$"QݳXg8X {jCY93xdfCw\Bwϛ :'|Tąa?BCY@2!ݕɥG6A7nJ :0h^}x=mQαc ;DqDQƳ&j 8BpoEplAq-^: NE'6CH,f|?Go"?;ѿV}swLY$}JlE3fڅZ%6E˙CITBz2\3׌4K 1/ç ㍣'NX Ok.ehУ~$Qj,(ƊMQlϦT(LqHa8VHnaY"\j-#!ٴ/5Xh뛇IuF;) # im0l+e.ov3,.lq8dCU\9@iz aV@ѷ/cuCҎC~oʩ>EYɹրFdR Z72:ń{o(e^=9yU_Ni9*'siMYG 3O@HRןAeDW6&w7)h.n $g,y|>^3ًyRڱRTnE~p`n N6ٹ@E:j1~=6n"ٲh^ƹ+3~Vv<(^T,zF+1d3 UZA25IU$6-ŋ rֱ Cb`VZKt7k*L2z?*_؀9.o|yWPa 4إԼՓI@Je+ jX>*ܨ 6}p<)|횅FVHX\Y%jpb̒=pUviY (< C2#0 gDyy Xm7kjZi>;d5rud`qyJC\gM}[k u!J/WS7NVS/l2UrV~sn.,E0536Nr w 2ΰ$FN5xcŎ7~~Peu:cvYgFQX?kX A{ C57!֖aRY݊UY=Zg 8He@@3CZ 3`瓇eߌNɚܷt^]' r=y` EM!=Sعbx!Bo\+R.)b#:Nܙ):]xQc[1߳F (\rfOI׊jN# 7D~4Sd7҉P;Ρ}Q?ɷc@|0 <74^nr0A!䊖,N8G<25Ȟ̯ov| 0tAǹ@DEz=IZxwD;YIV~Ǣw@a/](n9:5vQ%H<>YŐ.ɚ>M؃ԍ@1׃V>6: w n-`\_أs-g3-F'֤*ʨxœ`KɲSFӲ!fⳀwPĩ-xq"qDy 8OЋ$d}aL5JGs^t=S$@_2+ڿ/mA!FVa-!_U褄GKsb:J42UXjX'~DAioe%֛PU6t#_"hîPoLC2XBMtl{U@*ftvwN[T>b SZ)Io3J]Ӱx|{kB ag}؉tB dXt ۸FXư6@y>I-(ҥ $e L<< ݔ]CmJO6LHKXa;niZ*qF:<5ot_3|N8.~ԅI-Rϊ+ƥex3 v~B= _<,ÁmO(TUеv03OS"*p6~+UJՒ}aTObW!K<{ejQiPj42Ultg&)383*=xvxI_'aΡ0z4z"&Q&ˇ12ΔOg2ui`b}a8I7So(g72޶[:hx#T w_1CJmֱR i&+5(߆t1'#,i͕ vAomͺXlywZ /x׍wRzE'3M6gT[GWN~ReJ C1W!`\8)!"#tj*qi+Xɔpxu`^/L=޾*|d K(-?SMhs !tGu *+r oJh6ro: nNx%)Mh:~]+En|DŽ{U!UnuOnB^4:ćC9VXV|nڏ+n2<8:pE|#c9E;O ]͉"֛Nz'}CVk qɕvCIЩ;[aU9ANY{ ]r15AX; Y?1wiҵdQn/ϢƵm8p3Ab4m%H$[VI_yft,,( mAHo!s#UOQ=N.+n8p[ԇ]nu!HiDC Ai uD1M~Km͏SK?s}OfCC@D^\ 6E yՖ22@ܩIS{ з4f-bBkmiHSТ|Q>vNGCAa1"$1$&NLʾ-4?tю>8-:Zgú_<֓ABV[4_ٚqF`Dߕ4PUn@NkBp}rSMdԌ3T§hJXm槿"BJ3! YsUsQx93bZqYZ;8HAyRţ n Cv,s9J塔bZ]#B{A17eBKKLd Օzr|͍^CX$3EdfLXBVbj fλ<(ƟN"tv67-= WϐE-JhWUfnnƎ2#}=0TÁt"Ħ5 ,aOR8CPTwxRzw@W>}o]8(Ӷ7w|S_vi`*WNB2$;fܮeC'FwM6;삒1;qDDM-E_nܦbr`6zᱵ śPH^6A o~ώ־kzk kc=%ʺ)nQ`_,Z+0cP%.vlG}A-:&]:, c"ЯUJKalMYIᚘcbЛg{RjjF=Nj?:a<~iO \(lDB *v'^'M?Ck[x-GjҧhOPFָpmgQوzKh3_" ӑ{0$ޚ)*"=?nmB&챻0~<.jN>b&)tU.9͜:,PfU֙̀ѨcsTv)%Bt)E^)AݔAB.z\:!*}Va}4{dXAUIKOO[p՞4ټNuA%c܈(Ͽc"\44JiόTgKjZ M/^#^7_lՃrLˠhR)c9{`Oe7^H1[7oUVsR̄yJL Q ͮ6 _I4O >R x~õӷ֗GNr> gNA9ulQ+"v&ǿ `;%u "멋 T8xm:ӳ% g1Sk>GWnr!۽\vѻw;s;Z3UAIp[φ '~wςJO3B &5ܘA/(7ZotY3 {0R JwU* > k?|j,Jʭ'@}+ kA ua^D'{tİ֢Bn㡨x%DB!seOlW7pby^Id͍hE|:H*ŴJ{Zh뮚0]^]%"vPrzDt#Z bYʮ'Im]`U= 1,U婇X7};leFOXzz!).Z\B/<*àV2ސ4+ЧZ:LB<ᕬCF.߆_k)CjU?4ĘUΙcVV"rê@Пx(o/3?%>ɌD×.ʣ*҇dm~^j75|wϕ1jG$Ր?YMd8D%#b!o&l&JKM̮4.xն-Q>̺T`,ҳ[kRJ_(n>Io9El'_8}<Ny5ܲAK xM:^dnoLCt+u#W@Pdt.6zJ>rѩ33{@,۪stLS-5R#mz:2y%"D|h|л%h0JqCZ 9+7o O nZ٪w iIe܆ a-2}@tKC*T C$ uC8)dCIUoUl&uGеF/:7U1/Y_ͿZSBN?x~7LJB rTK"eTGb2M\LL<(m} >.}l{li }!]gs&uԔwGХCL!_1GS^.1BQN~֧ H%.yn GkD.wMt ~RY]䎷}d֙:&GWjWb+]XՊ{Pyrv)UΔn6Ųb<qx8J|]ejv3 Si;ftRHrlѓ*ZJ"\'YUk@"MI@|i#3E!ʜI.?@wO0M3Lx;*0{|+b$e᭧X]n`'h:ˀ +!0 AC/BnL"gQᲩVpϳN5G^Pto&@Sx^)nKM98K >tEWђuԍ_P7aC ^+DԴ!O'Cz/$.Xolb7W㜅%IBݟ_F8|yӴj* ?C( v5K|t l|%.E)e' N {VUq7;Vp~c(3[ԫ74iNeDwr/ fdSam3Gq7~m{,QhHT n4_X+RO|g&|-e `fMnkUqɆ/?x3*] oLj~q"m2@?ڮ޿M%@7*h+DNҵG/:Eh>g S%f_o^ܯMZI, <ǻ J^~m6S,q/t&HfSk7"4VB@\b`kC)}a1a[[1}F)mAݡlC@韭׋C)+1LIK{s91|5E{U(& /w\ SdXWDl@L)\)]NyTpo\ KJ ["]*/ ?!Hmog ǙH(S u0n(0ѯd*TAr7,-b\Ui+`(+aʢ[I57L%/L2Ae~QbJK$WUtk) ofި 'ݜ7$!Q/Tjԅy(pfW/<e{Xց;cN.)ך_C*B9=<։zQeSXjF}Q[ J{(^& #yCǍ&s"%,`\io\8uZts\ZT>n|*=#%z *Ӆ3=/ :M3v9=b$]% ড়Jf(ҧ~Ǐ#9raVhb?'3x!W5_>kOVsko874!wZym=IɪO01l.D lr맹]lp7#.ٴFV4?s\X Z]| 6rp7آaRsj=6h^a09J[bF "ZCϹ]3Ƽ7uz)%te1S%Wr#lؕ^i4އI2‰ɟ%~7A"8{oݵr9ro[JRhkYJ 0Y3 "3z6(`z;R={ΫQ g ʘ `HQA4tp׸l| A-rڹo%+ZDӅ)s[9` CRǒyTi#KJ$J;OjTͨ*j |V.*Km/}Wx!3u70<@nݗPqi0RvO {\~Ħpm#r<|~^ѣr~#bG0|%4(>{4Š&a rK54'N*?}c} Dk35([En}/0/;${e_<_B9,H*vI6K܍zG6ψSsĴÓM] AuMadƥb1AJY7@;Wg&X fA{97KGW=PQ%s>;8]h(SOZh&i)glSÀ G'Le8-QyM;hƀR/"+-L"GD,-kW7JOK)\~ErjOo 7?EGiHdH"b ~,:hn$`O2'fJ&#ꚰШIL8cY~Uk<tT^S'jW8͗w-#M&xԝa9PȶLEm'a#[1b2*|kϬcvz%jb=i؄a3 UUqp/Ƃ3^BԨhsU->=ԴVVY_v^)K8X{_$&oiߨ8-īSeVS`hPa~9i&MArᶨ#J73 gO[ѣmss3eP@CAHCmz|{. ݦ!,Z(G9J=Y>VV06D]!l#s%5ɸZ !;?`_D? %\ZvWZ( 5"4΂Yx{~1zDfZ()b4X5ΟirªyvSocjfu-YAgCu=;3 S–be,Xo0ې;H&L ƂmC:֙IE ؗSw8vmM$#KڈbK~.1٬4}/;' <7poK6n}u k2=<NLiW:'#p^M08/A]h]-Em.ihh5kEz t0wln{LTy]~$ B=Z6ܢG$FtBȽ@rF>ǵnńBj̏-QQ]utJ;`ڼ##uSA-O_F Eo@2++rYe"?rV2!&ɏŅTةz_ĨxY*bНL_y[" ~צG&jwCr|8Bl>ELf\)*ǎθ!uEQi)`A)N:\XSE7h5pZt65䎚c|mӯ$76n\oe'ϡ~Mm [Gc47z: jF&+ITpCFn}W(d|lAw▘LA>rzc(`JU}[N"@^J*&uzr ✦7'SE|cn{u6 _$&D:? V\W.! t8:B55} BXefXq^74S$yDySطzxNvPA8m}vKhJaa)Z@*P;?ȱUI㉼t i[{afi RAGy;;e!/\Ҏ8qeCBdU]~Ih΁p,*,0<0l tnpnq1i֯t ,+m^\Q#t2+< 3cs%FBPK3;jՃO#i7OFVL/&[Zzؚ9aeQˆ'QA F +\`%8d][ P(*Kh|*P>_?!|lψDZ.Gzӵ`FDx^ʾ.)}рB؝+| yk7]qJp٭C̋$3xSk#K-O?$9AXMz"\ӀSsDsOos0fd}X%|ǥ@/_H.!>:Qt xOi㐤L/L%_-h >hZk=F;#?"2Y1>I_/YV86]eOi}g8,+:. R2'*ؼ)|w7=wQH=*Ļ3a@q'J9/[MS :Q.yo̖(ǥӫز+aj=(nO Tm@f!ѻаd=,1hDCі|kk-I)*Zw:Q`՜2,yPpQdABGv`[O}_)-o!9[ AtSoɁm N䯴eI>jp5ڲ!Kѻv{'5姯fJS!Ԯy! [YSm7 i@>D'2hJ$bޝǥ84F?J%׉gYZ7zXZִF! S]ŗXiɟ@*ajmSNFxg@HBhly(Mt1 jgY2[m#Ӎ L*q)QJmέlFC%imD_rNYS D\VnXt&PgYZ7zXZִF! d]ŗXi%L!lʾ=kliF@gC b>Ӥ{&ytLU56S+ Mb퀺ʩS94EyCY66Ch"6dxҪ+{utQ&;(-5 Ld8qwn5L: y3Xx Gm*:&RMUE/婙QA{V=W_̷{R=zwlό?uk*>YP6/ 3J@Pl<!<$!ex'rIl𹶠D| ^95 /+iB..ɺ;K WS=}i> 7) ?,A9 ^]]ueE)W'곗n}pʕx#б׮zA3Ͼo?9o?Oxu`eYiV1wrܣ8nJ5e{:8)]zg)vZ{$1үexM1ҎkQp cG\ )0XR5LiKT]}-pIJ#u$ߧBitVgE(F͗v܅4 ph= yNS6g ߭-#@Nĺ#hŵ4ޥ|˽{~& _QU/9/2o#'LNt|֭u[Ld~կ .;:2b[:1]6,tSD sËWΎQFnnaYJHd@twOv}ъ GqC㭹)8j˔?T>R x(+9j=|яffq%ۃ1ԥM$O,Q^s{ cu2ѐbDŽ|o* EawZV% ~"2vOt`~_JU#/៬]**6җϱ2?"ԺwAX}^C9~ N:h<ăڣ҉GwL M\@gj]셗fkG_WE5X\>GYBG7*o, 0¶aHsX%)J9ߠ"}ax؉:ݹ4nFPW<[;pܸ%e/B7)N3'Px.`M,LCSK#,o֙Fpt= cv).M <jtR];9wUZ#"w@n.KmŁA'{g`wכ~^oϗasʮK:oچf