SQLite format 3@ .0:  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  8 8! \4 ]]]HOL-Proofs:threads=6elapsed=574.823cpu=1355.260gc=134.240factor=2.367zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ4K-[c  0vSf o WlHa3/VŎ'-n+utA6'I 6 "ZY}'D]IThVTU8IaȲ\'gqEՍJswt"p/r"{fm60G Ges Kڈ|56{dg_rŔ5IJn4zEIC.pt%&"Ʒ+ lf )f{QO}tӿ`6#]G!a2ggױ:\ة^,N9:K@*EYpr4e4#pd]t'FAHj5#B:Ai57;M)lk)M멶F5> R"g#zXY\FF<8izvE q6/ (_uuLZPSSFƆvp Dc,#j9r؅x:i u\" <(B#_nA 84Bwå?42# )(p11GT}ΚJ U՝^ ']X>;R v_r< -c5!d ?)T#y6 9Lrt#=m[n-Ve|!'9)_7O͌[Jm :u22]zN{^u^t´ޛwO/T5~AD2j"6.u-4V'Ր/OH׬f2II,!9VT0r]}ĉø {9tT9~H:ZaBe-I|$\#GG^x~fSf6i-VĽ96!1ʹl} kY_:D0'd"O79QH576b4&N_fڱZ (bk' E{Qs$hg# ZyPzMt\05;:0vSQ6 +C'LLTcc)ϦoXry6TPMTj4}|l-,WB|yk KgN>t;H+D=/]6N-V @o'Nk t;"|ljN!Bej9Jur{De*@bgVBZd[2jge),7 q>RUmYR_W+gQ1 *zCyCo0ktr0d+*3xp1-)i|,(t:{=(:Hlk,ě!^WjxB;5 mXJPD#z ۑ>H(Y]oJ ΰNI9¾)u@~x @1*9=W8| Q7hOw6`_z^_g.#ip9y!4\rwO|?Z;:eo߬ܵy,(b)ȳU`"Sv収z@iKҮ3Vmӎ)"PJÑs<ҫ hr9 b8:ګP8DB{|w'6߸ 0cTu;<&<h'̲8:!}kup0BwI&z;6R{"f$s] zN|oΟf53e0+s^ʵrx$a"G5^*hX)OuIG }X b֌>?b\.w`+DmΪduqۧ30L*oq0.̙M505 " ػeJQp˄ti vh|Oⴰ?3!IVVg\SUYr՜W_I+Ep)?e;l!W * ƓL~#]=l  _DWD䗒U\2̉&<Q<1O3GfV>@f]`Ah;]nFZB9!jܕ7 j3aW:{7ERsP5֞8i"EaH_9:q3jtG='b^Rn"I(#`Ͼy? SY\ }O|/b)5}l~cQv?<cSRk9} #V;9{fS[p181P{O `%nIO2]q|rLa U=q? cWN̮څOWӫ܄@Q,SvZLrVn![ٞ GAT:{Qb|3!9"9Lt\)%N7BȨ}hxa^EgdLsjރlYDdm,`FS )e4vlV0  ѩQ z \̗kK4(X1}џ){'5Drv2FGإϐ d667L; ]Cen&Fp0*?C]w,A6vT1e6ZQ딒j,!j66Kρ88r>ז4/m$k}Ŗp&(iԒBy;oLQa-'Pw&s.C܁<}yO sv륯96/Mt&_fiX֢2 T+zvlQwN)d5z+1, ޖ[`C0> DI<"742Щ0"9hOj+v2 ONvU.jFtB@Yz0gVW06 .>*QTע5D?" r}|R~3"8_b~f#X -'^^pXXEv9淹d&- =t78Me8Y33 IR]6owz>GQC46z!m\R'$n;аޙY[Xl }FPV)\8kFؚfα`~\.N;po8(o -8j !юh/wALTp&_c<1?e$*c;g jcZM "< Ml+}@g5ԟ22ۆ̫^NZ;I h\D<6ti^K_%m==%# ▣V[tU"/ǘKI41[>y*m3^ Oa6$,[-hC :ĠrU~C'c{VJ$:-vC]b]i ,*ǑdH/1u j\ԋÕ-iAf\$ZP., -aVY$H/.#ցoɑ/D^b{ Ce&#ۖ޺<˦84,A>-.}NIJ[K76x3PrvapZ(w,=Tw=V1rD2!]hա=Q؅."v>2ovv-E8`([3˗ 8@v|5GE}dX}4vpDP\wސ-Wf(+rW"Y,qp{cPquUOƴpśTli/L#aƠ&?xO _n;np Я *li|_΍k}$Q{;bQ<8|,X/N` Mf~$ |;=4#:&V/J\Op Z4\m; MV_iԕVP:UYqu~Y6x6[ɴXՈO}N>ìH0h̜ ene 9TfJt!?#Ƀr9F/wo!{uut?$hAgB8vO _U% J~>\|ÇM!JnǥѬ.FBEnFJLNzL魻ggɒSod ӇNlس[܏+}-.x׫x‡^@HA@m5MJ8vze47IĸA)$gr -Q$5iI ½}BZc@aՑ6<}Z0ِ*6 0GY#f>v pϖdi棫+ϟ˗MA@dɊ$]{{EM!!*XKAկvF `yn0Lԍ685IRuf߭~W~ٻzDFSj )iΩ# tD^PBm5jǟlAx:|;\4{Td*yȝ!~ʩ+=Q{y:hBÅV+ xkb1h !@ TaƓe$6@O !g「ob=.fABwOMYG ^xr6t,:w2& /]*]bH @ϸc U>91Q",[`FQs&UJ{H:fm僂>gWם4wF9}rp xnI+3ccgLG &"J `Q)VW,FYe{SMbTw-6r/l2jgq wx7\V0 *o8dړy(GE @.aCU@<*!"YqlQ& 0 }8\@4Ku~J@+O=$LM:RFz},E1mYɱcM!ic! ȡ}M^|/а],M$h`~I[&Yo|%ShVE"}o|V07:'Dֽ[s8??\3]62%3vHnIaKy[p]]DkFla$ա>wF6F=/ߑHoUSؼ(0vVJ2;ҁ(-r)(QzT64k @[xyo2ɧĔj ]OӁ_uo)<%¨aq/orǥrćJu_Cei =4r 2 |gYZ7zXZִF! =R]ŗXi%ES-өc'}`veWDGe[ Vky kn+E-@b+6FckV?*}mꖣ ϖ/,V;Pe9*2A$L˳^jmF_R:uЁc0G4uQy73!z\RigWT\  (eÏoW9#]mOb$ד4Ȯi{Po{ 1遼ۺ6$蟽C ڑf0"n}Β{ D sc l_b8^JfN|m*27Y/x\ WF, Ԅ 3٩ u̲R- ӳ,g0OQ tqwOf03u,kщ9eet3c"(|1RUk u \G[3%rJC?8GuB'?] d6ˍּ?FPpv0̼Ԅ3'"IslL{ea#pݬb{wmeb4 O0ՙ YC8怔]tADbqae$ ށwF|)=4̈́DϵG.Ѵj d/[)j^7 zM@ 4 \Z& *=8fC.F 1Za1s{k ǐ+ 6^o} g2͂6j]],Kw8=gQ|g+`Ǭ @@f+;WZ awQC0hK' :-5xˡC?tQ#\)ex 2N 9߮Iv'F.9' +A2:2̚D2 1ԖN=s2aՆErH 5b{F/65i 0Aȝ=5(;(^law[II\a1r_dlc_ Lح+*U_ %3疲>-=7DNp3x!wVz@'9@SV\$]6j&)_yE]/7Lȟ}-ׂe(j8P FB{f#,vIdßSDoZ(\{#AIgd[CTC+Q3dRkah%l-" [вp:'vnX*u_.p[&Q^ "X6d;1R"> }ѕ○M":#3gѬq[.]-&X?$evglU|Xą$gTw [G rSV.M k}1Ϟ2m˟f@nFoDU(AQP g79=Lj9R~& B:ZrE})Ds:/Y;ߚm Ѯ:^QR,[(G.4K!ɉ'U] b5%o!' 192^~_[V2X>n-wXg{ϙu0XKͽxFnm7ۇ\b%LB,K9+P. X FWg76|tnL`^*&is&De9i ` T:1'EeT'MaEA9v:~a-ILiA`& ~ US@p'j1( 2L5,a:ZF %ܘ&>!_Dt %6X_1f$t1* NtB +.Xø:Z2`LX>muk6ָ 4cLr-̖Lf!V-B8?H?YpCWVp_2L^<-[P|@jer`Ǐ*Уy'jWX)\zaN5\Desܠr?ɽRh?yWf>x‡VHJ-kAF qpfM9zw]jG^vh`_QX܎bl$`il>4SRt=Hg* ,g&m p_uY1%+58nGgo-( Q'5^ϵO Cܑ̰(hJ{*:c ׬nǴj_5߬~ME*wOIU[lsOSrֻ+,.3û:l MNC >y,S*(Q!{)'S^΅VRl6Pu >^Jw R hpo02lDiNզM&ataF8.-Zɯ.N/s-\E$O58GIȐC36/sR4ZNNLgV/ё^c鄖dڳ\pض1Iξ/PGUAF8"*PcG-)5[4OAI{ƠϗJ#pN]G[Y@}1C'yߙ*Q @b .pWI)gu4כς,X>e,Q:!m+ 27y1basDaĝZy8Iҟ6DW`=,E׾F7i(g_U> @ d:#jXz[^&vjl P"4s17wy0UN[)kTH5[#,s:)-G -~muPȍC Ez}P4yьUZQ֌ w(=O j%Mb,( 7HA ϶aGwJZ!ԋ`rbdƾVPر)**D`U.%˺>7ao(XLs2!q< 8cFlq]ת\<P _9 ~`p},P˜^45HA t?c hjRa wP#SBh0 p'FEҾ01_!N=7gnM;?c+EGI{PڜQn"6qľhZbt 6@ru6)oi9rrXpaQm 6+WTGz`3nCܼ>hNzKNȾ(kրS- wDy*}kXJ5-jJr4l"+yeb6NTC8\mO>5 짫 WC5&RP&.cPw odOq2/h ƞ k/xkSgq1 DBMFd]a)A|Ǔ F 3Ee"+!Jj1<3֧Fj+MAm! m7\Kֱ/hL1}1wq^^,AFkfA1w{ NP&2G&l˧c3'K|ՙŝ‚YFlY!RMiG< a(ؗAƬ:7'tёm/|ڈ4:Q[W f}+䅺'$"cCFL/jQMjHRt,bV[lĽvmʖAE/P%"4G1ReH3LUdbsmY͎&sQB"@T݅G3frž_X??Vg PO#{K+[8 [j8Q &+sbo߰o6ߓ4vU70ࢫL3=gAG`l?qZ~HW]̹՗a@WGXK;rE6 JY{2y2qVNZtAqA>’6X]d_]aк,$)ɣL1t\;'>C.=t^ڇFPitdCYJcxEA#8$f+aژtn;0†׮#*0Ǽf8r${D Eԕks#l=."PcStx3Vvð mwNWt"/v$HY !Uh/I2HQS!QYXn,}C%hm2'g>P@I=ZwCB@ѯ; jWCs|NFmRIiņ $t/Au[܋&P?[+S;_T@HMogXyǖLx|p0 !K(L1z˯%0x,xSV1M5g%P9Tշx/szPF5%~qvFz C3n2|ÌØ8}i8lzdBo3 r {/F:2/90] 'E\#&ztJSי|I /oUB@A@}FDqŅkdЏtOtb~LNyga#\fp{? Y)$ :MPEPzBppO^x:Sb8KEղxC/rRo!Nz6# 䐌IQS&(VO!ji}9 YS;@vWQpjJvo HB͓Z/Sld~U2&c1{|D SN:)v{) $ ̑nVAApH,iI]Y_ MUsFT!7A%dzG#MD zj6UJyfU i|-|6^p~+[ o.X CaDAB. 衜dČ9^0 [|xTZVsêP:IAp`5; ]_48lj}M? ??d뮩1Ӧ o)TQ2 x)QÙike?**E~N\*?a[WyL\bJrNh'X{eOj OE+Op 8eyT5\g?xCtcoɮpߐ6bo2؛R8 r+O6c1:r3vNI3HWQ]yRi=hIq[=krø`{]z,[|l2c;^Ō( Zm kZf/h{7*bsP!ݵŔe +h0,Dwjo,,2HǠU hbamעJN2x6iиH#%!2; :C`; *ľ>%6O(X6x;9Hz?d#^)]_ ڝ[pY|ΌŦ/$PuLT=Z#{5 翗Umj>k4q˼$)2jh*XS#Ɲ?3djbch:cP{cF\n4$uUx_'coIOi[ȶx` {ݓ 3^ܜݲQܐCluUa"b5G z  vOy֎ žPy~Ii0ր1nI YN(E&% .YH°0!x.J0-mHTzf ]-wxy@ ybj~yx7=qp{{"SJ{ )7yPYqacT5٣P-0<|^XVMB bVh4ײv]Yn ֺ+Ἦj:]B=U*W㺣E X1ORs$39\˥dt` k/@ YT.Mdт~u[O+$|MB$i$^0~m7}1k(0/LlYXnUKXEvpXrN[Il\8>Ӱ9fR>`, h$>ΰH+ *dž104%~r!M `+c#!xˆR1ĺqr+Ox̋)+4VN <7Ng#x8qE]Z冊fJ;bJY*cb}+GDzСIfRڻ5W#޾T"@&4Sa/,faj9{+9Hݟĕ=?y/Ϭф;8hZk .CŤ~%WHyn(1SUUA͹ph71] Sr_pFTR u/p&AԔL^_b߄qYF7\\>2-hj%4q6VDVB,(4q^߀%T}G:f!>E3 ׹9GH8qYlS/Eos9_uJzұm} FӶ Mh}W ܈Jd﷕P/zxۧY@]=y8ǎ8v-|t$FS̲S^vn}`yM ^ z _lFLY85f%smj`cdؚgѦJe.%6>9!لWy^zF'].YH^)" r =Ԧ{|m~xq1I!{A#)DeR:5viG6}ôݸC8꿜eQ8.>J ҋr ]zhkZTYl}AH|?IPŹOsP@Ev 8_?z_YjT-ݰV %Ѣ:.B* qg;d#A($:ȉmJ*x}v =c-j?فYz.9|)nmdu}FXT$n;|*i_9{C~9yؼ dVr\;k'!rn.R6\Ǔ@Ŝs_}Pީw(jJ"rRh26ȕgX;n8{;cviJ!0H@T኉;Eh_ Avp'Xm)4:xT]ZcaiGat1frt+}CBO`$3`U}:3TąmW(Xdk9@+3g0oNM]@ܔ@=I22*N(I9' #FSk"fh >*6I~;4";؛uNZ'~`V$kvUT65rfe?߼0G༽*-E2>xq-u6N\FR:|MU.]ƺYz5Ёu1;iY~ZjRS5.؛t 5eYFls{0hޥwx1f0I~9täܸFY?N$ipR*֨u;d<V P EidmǓ $_20)zahGb];m]˒3 0A6$90ζ)b(4!9]QD5WFS<25~]C^`xz؏fEIVVbPF{V‰H:¿vh4-jⷭk(r-I53YI~A-1DQ HeS5B[{"&^5zya5,VZ+ŇAM-Y쯵l=d Úqkԛ(Xn_IKi\XtZX*W٪!g2|m',ߔ3+گʹ^aϳ1HI 7nCS]8&|$XV"M^R54M}Y /ixeὈu6X؏UJ蠑2r{J+ xhx z,ղw(u*npj.=]~]l"|h-j.2t*(~HH.%Q`Y$l=u+iaF *bvG&?ZM4D"-fqТfòg8nfїUѤLQo1 vT8%>Xi}~ Dp]-|}n$;sZe@PPYW6O& ]e{tʧԣ`aIjOUn#ăR\.U{FAF Xl'y0#}b@[>.~|hگN*,HˍtyEVS:Bc$ bPK=@zrf6RU;!vtL]w pg8)}Ŝ^%V_qI'ÛFZK tZ{ UF'Ϣ yLS<6ӝ--sk6 xլRӲf[(2 ]'W>6\%}7;^ )pLsV8VH8.o8`'r tǮp#9$Ԡ[b<.\"c+VJ[0!k+g"j~kM܃>0mރ?߸;H%<8il`)x/0]7)$k[G8ƒY#'AxE!==K-O)qySт {D?Z7Z$鮽tNB h,z4~Koܹ{,>4j'7 I2T*DI=*#|iB42viO  GpD#rVGDA *Cmzjl5>dx#xiW a_%85' naEl{Վ1:O >q/2*0`>ТQv+LuJZZqJxz`}ݷla^bp]9lQi.]Z@Xgܼ܃֐ j~߷uzi4xŜ#\I&xKwZiVVuD''&3>{T"𨵨ਅ;HzavEvhh 6}0r|О{Mf˅lWO D4j5Maԏuۖ"jҸL &dͧ=$kH'|!4\m #filGzЪw|"v"F;ojArJXٚ˫ [Ԕ/Lc3W#b:}]>DR+gʎ&厩~<5O8 ̴b׿K#_i\ e$dM_AK95dž2l3BcMw- 2n9Rec' 3KsFp R S'MQ)+xfE,^9$;L8YL{ %*[Xv$RQA!S,NAhjwc8aWvL4md5!Y'uQEFeulv{ĥ~# Y\xgT`Pav#K+(@QOK7DY񽓘8j򵐝~y w|nլ{ Mzpz]M5 > Bj!*?AZSNaT0"]TrQN;(m?0)Rƾmz貥|КIϿ/Ymm: 8,#CjkZ=MMl*@B?esBY ;pbbrC%ާF|e7#M4s܊uz@;Xj, C 6M:n)Ҽ5@>KY?+"#}NfA9ӧCt!9~[EzL8JQy^Ml l @#_bEo73 ]tre 6X+'iߣFD?)0'^ g{%sY4m"ĖV\俀! Lv`fd21d5!+u~mȆ*Bfy_A>Q&PPzwR9IdL(82u}N8ꗩ_ *<'Hu[q|rMk`[؝Lc5cxA="!S`ֶ)vVXdѭ++{XOw1bEid4$[b ,SQ<L>6H "BR!/Rk&gbꕚdh_%'7¸OAn'ZYKRPq|xb+3.`tx(s."X46YPu!=ye2 CK k'qݳӑe7o!(+|diJlUfr4<Sn$6]f7fS oĜN14d :?q/WZ[ sNV;>)J@4h*.WiA/pDuSK^\Wd#D:"R=ж8~ʑ`R).l6^oPCL 7if5vJ4L2 fP)QE~cu$ߛc#2ZdgVj3d>l*8}/NԩdX< 봞,HIFҴ:P>RbڒJ" Lݮ_+ .>hMc?,Hΰ廬RKf}E|p(,J"1Ĭb (d֤ t@}z]Q斈۰+H67#Lw4v˫e% $k3qoIRxy/9Iï | R":X:C^jT9?%AJ\cvfstM~N-M,~ E9IeFI!+(hbcUD[+oYb Y(>y$OFځmIGq0"Z!pmڸl̆m?>ptUfa0 5^(J^{4K6A>7Ͳ˜p!ouQ(]d)׉ ĶJ5;]$8"[9#׏})+~nM.")vSHQgo0lԭْ51MW:4B5l~n-1[!r;{QE mq,֜[%Q8 ^9.Rީtt876 z)1eK X>KP\D*.])gKԢZNG'Rnh)/4JO‡|Tv?Ht-~>tVg}QRmQ@u-Cgdd3=ݛ=H2G" %cEQ1q`Zd`IAbP?B8[g]AS8pq 2+j@*[G-WaP`ꘇ9=2QɻWLBY}=Ē͗V?х/NHRßn\ #.J?ݔ(} Tx5,|eEMȶ{b06L%jOlӊێސ3}nCt,n`IW4a_Q,0','J+_hegvS:fUH @FK$`+x_nJQ2A3aD*$d)3%l{҃eI*dX9֙Ogw(JJ"%l'sVހFnR-dHxpcӦQXkjA: Yײ,1p4_y=Mv2\7%e ,]h-~( j#hKD&^;|}Iқ~827[q&Ǭe/ Vgc,{XN!ܺϭK $,!#"%1=?nf7_qmܸz93~c2mo {Oea?t2 $jzN8>W:5! lN%B#~a(g͓\]fUqkB_çS|h YIi,Ӌ ?S̭3p J![V_8Y움o;S_[Ћr9޻(ģZF|3"{Q>BAi+/ իD%C4Zgs/*~7U4bF5Suq/a?^ZE,8$H%o֭9R0OS1 2ׁu^{?Nh:%K;^ymx}eGCC6fX bVxPd_Imh{EvEq8Gm$4OQhv2OYs hNKC׼4(pBݖy}]WXBa2#)fZ7l7eY ׾a>Y䢚,NLSl6`"F#~?:( KuƮSQD! cǟ,*xd0nt!LTDa_eVE{f=分DЈ%qO/"e<6+>]Y#sd %@6R_fqkp~I_1`vDJ\\EGt|EOw4^lЁ!pqxA FYL[.Gv$Iȣ}؈/ˊ\-+U,#ՙ-?uZJ /[XnR:^Ǩzf 'W7Ĩ{4g묙랭ǙR?5/ >/W!(+NjOcP10̟)" #I*wUނBo+AVH]fjsi!̦Й6aLQ89_1A!0ҦPItjmu*fۣTZ`pRl4+ᅹ#CYPOwnEC[ ~̅96+- wԋ4 [pwzM[2wm(]=5>}[ih:T / tL{էU 2.@-#$&XskQnB9[3W&E Qν,pMRyIl^ q΋&U¢%)&- 4GsLH^aO!*b3.mY(*רQc y{0nfPc+zu>"gA&: a->%rϠbC~.o)'6~e2=fxVB0T;$ ϔo wia?¹nfHMsAT|RD uT #Nql UPs=NKh7` 7m*\hqZ ._nE7ϰaqQxQGjPHELg<^ ϸmht"6ݳj6ul%'zT}Sq!zdr#ex4 U6>;~wiiшfT-cRRaYb}|hhT1 XZ8v -[2YhA)Atldzۤ9wC'b".([A4y׸E4hdy*vԑ(=}[k+s+.d^ пAgO(N #& RopT>4}מu7`B!oG) 8sIR}D>|Hq;d#%/ZSN?/= F"B=+<U+5zLp !dt ыH޵zƤ(W a[5Wz,A5w|RЂOQh݆P-o;@*_> goΰH.l"ss:|6E \ dsƦ'4=sؒu6v\#9dl~fILL)4o$4!lFk$J/O9JlȔ;k0e:-REʐE|*iK\9>;/?ý4p~&ݍ|w܍,A=dMsG3M$(1Rِm%1_‚nQk3@Ԕ߼p[*}R/w[G/qNhГ3.:w=1SհwX]*/g@L/J%hYR&S~E.a,: 6CpT(n_WO8Z o3y88z>CbyZ+:L1?Kisyܓ5˶ iLj}  0KE#t%® nVմŻXm ,&Ż==2\Ě;^b*c[4qI`EQâ3BF;S.W͗ThPthMM636㖺\> YiF k$!Qy0BO|EC qP*8P[ vۤvJt o3 ʳ ('Y,'hIu捆RbӲEK0s)g!GpM>kȭӉ%dA+HRr{&KS*[@J`{;}'@rۦ^mD?3gG(4kg #IK!/+Q ܇<-F蹍DK zM|Dd0/kΛi?buVS!MN}$feUU&scKb~l`8Kk_>1' 0hd dI]Nupal jQ#obb쒑T; %8zxw3#> 6-ߑ{wdzxy jؼ)/A7feP8f;کrT&jST.MO74p{ަ%'MTzs͊5Gi5'd8-}+މX!Up YC0x_`v(\jZ>&ߛ; 0͓+9Lq 9mYܶaO_Wdb@Gn\1+FVIֻ>--LulTwh#@*=:F?x~u%w -ȭD4_*<^,JaϦfd|*/fp3#閹!hEGJmH f/_^jZcmk?,k}"JS)eVߐd3pBX˞&mFb]fg6ufFHS`u+>!O9 e +"_X0l;9ޱK⬆rݳUauֻLKcdǥxv;K0r#Mj6W'֬6YS5_[ˇ=!q>äG&PI1mCޡD=yU6Z+2uH+j 챀x6?(m`r)y YP3w~';#@Ye:]y蛜RY{ŀ?oG~UQW%8ہ%!'XYz/PT{QOQa8OE.L?r_nxŨ^!!x,xdt 4Bl8hU*(1wZH5' z(ib"<-Nς8(vx>K; NXjtR1栭klmV z}m[?3U[ON%:Qž>X0@ܪ- Oz=P0O3 %mF*x?a .'">tŖU=׽!c=9#=HJ%zf:Qz.2x[=׆P%3R'!j\êMR} nՠ%Y7fd~v㖻+fجcL -)libIy̸09u_=8*m(b\"QYTO Ys7ʤ5*v5ɅQeK3=ꭶ4?aAG h9(ԙ ) Pʞt mC~ v = ;0S,6M 4a҅΄ͯ'ohe>Ά}O dV Y7%GoW+6Rxѽ2TʊǏ4,#[j|>a' b_Nr"/4*됂# T)}jPDrыt+_I [?$ēy_xOk&wՄOlIyKF,鲙3=C%l~}F ¿f KH{6JH#У,_ת-:C-=b$G[$MusN tw k:RD Ќˤ">B=`TS Qʩ/}3"dZiFDJu!4bq 1fYrZSHXz(ߝaH`EyhYcѤ 5})IJY{OQzb 4kYL5 R0ś.%x%$pAPi._Vban3bl2Y@a\60>~.M\ FrMo;3pi1ڐpB| G.t)tY,P4ʉbwcXS HȎ;VU5m&/1zKa- keIM6~I]nC [q@6YQfD74ϟP䅘(]GpTV%@o-?[$r[َjbHs43p~ѳ * '9*77dW'yvZ.&Gi)WS B⌊gXef b}|?_v+WؕC<&l#яqStKd Ⱥ/Oo*v @} Ev37yĸʈ `^ǀڟ-ly ̅5*!V}GDY)zU)f r73 )}F%=\w*Ds J$,ZoE'׌zDK,঄y>g>W{jxG%hv&bUfT*ylHߪAXujG'IvKH** 44H(qTA ŢC|! ˆmǩ™Ti~ PnAR!'q7}ioG6z}Fv튚u>ŽÛ $N-2$!#rLjEO)_FIZuQp2<~LӆC(YVYNzX 'ji8i W;4+  S.5Qiu3-Q/*>$D۠͢Yqd}GUK1O@r=PPKh< P9_^WA W +>.S.aTk gX>is<չZE˅s{Ŧ=TG];N2v]'d;FOgl$׶BWW4myQԪ>eCuL }_Aٍ78(*NeGP&vT[eM|{Fy yrxkKD$[^ M: &[lr2$' ~5ADL| tT*=d<`_S ml= 6fj)g#aSFi׽DҚ~D|!ȡ$t&s{8$# ?@K'O*<7O} Sjp"4cw;Gg`[v7=UOiΆܷQ^u-d{CpYlpC%/ ܋|FJ⬚JCRSRMXCk' `B@h@R ^+[ qTȳQ,9rԃ@uPdEEZJY: 6!cU5d1 _WP{h25l}<6`yJ#%=|.䤅xª*rr"r\~q4{? ¦ .iG!ybkvb vuf 9jșZhn OaWĬHgf Y봟{C''aPOI\vPfR84.oY{gTU:G[NPvvIK-E 2u{&gxϖ(uj#P nJϑOE,Jr!pW陑OK 'yO R^h$0b& ?ܵ[8p:UbSeo^HpsBQrps`h]XhvY"вaV iR]q]jt`Dbj$˃S.NM{>L%R- SZh1a*x=؏dמ@Va F 4C ?a-Y9̄{Y1ϣɤ$e2OaQToShOGro K5cw`ik[ I.!,wҚY![10-mMTKƹ x g{tRE$&i/Kzx=faR)j5O"h|15VL@ ?CnVnVY=wÇEK~Xx|ꖳn9BDo_و@L s 1*ܒyNG{+"|W̿nrhbN4+LðW$fʩwkV+rPMz~Tvh#gjO{d:GAxZȪ{+峔SҸP4C:Vf>Ue[`oE͵(D`ZT-DFָ\%Gm(h\$/yo¡$5SS q "50<^|_y^(qI- k|Z0R)d,6OBB1hל:oX^`@[ETxPҵ+_ޝP"9.-epRJ9%C/q.8Th ^.iqR'b^~X孥ŅfC}37w^$` t#b5l g A}6V Fk&5HTDt 2ǝlHKDp}\1HeDwQ|7+=Mݤ8&_.Xa0P Nv2Sz9 Ȱ'k1I:+&T.jbNQTy 0~j۽><*Zz4aR_)Wb{, N6:SnkŢ?.l8_.zva?K/*:xߊZNZ F+PwpW4ِG5 4A@]VKU9fm=`3Q;jXp^ռTY|d֜j.YFC;0h'(.c+ںJHԢ(AjXNix{6ꐋQuݹ!"+cu뢸#C'D" v_ -GaϮܡB"*Gdo,w|  %⁵Dgs,_ ז=󳏃z_S.H[:I_=Su|sDj+=p/HFBAl~ ~hb81n#ꁫn+ilg`E(o_ǻ9>v4PM+y<0ȱlѼK1kQ3;_ftm]}ٌO@Ĵ3x$ZOãةEUFRyUU3ɲF}y+)by<=JYM{>OێwZ*B6֍DZJ9eSNSrA/ÿw]d #G%cjއ)rn(כ 44[v{g%( A5'8;б_l`ڼ;,QBy^; LԽ~e@b~qe{~. *ȐA/*n$a7$"Vk$ +&] T(BpK "Gŭ F4ƨnx w0و/; J1~[Mp>Ӵm1񇀲G+jY Wce¾^x+@.CVk=#ZB֤Mg skj󩥱Pәa4]m&~@!k0S zʼc9e5t{| &{͚/l9Ό81*_#D \,8qӂ+TQcTL 1)]%KWupL%.ޕD hT/]('@oi{ئE>L'plqʼn˿sRu>] hgI*v8Z0f&҈tv2 S1tB@P@0inrY|y Iu{'wA%da]ΏqYq<,CW3;cnBNo#FCB gO}kr{B VSgj <`FFAT&,H~H;r ),9zV> ,q ^5ݐ)iHnb\-N_~[͎KP*K3} <^> UJyo^)随Z N?g+5U.5'Ԣt2$ Iş2 3U/D˱dFoYxmnu(>{=.p"iCn',3z3J`29*H 5+*)+"W$d4Z'U< ;7|j[MîTW3Bjj>[fUb501F 9ʝ ر3tfd>"j8az^ỏL§ @eS2o {f6%o'${0.QpbO=͟ΫPR_W|`ٲ\W10',nE2!1½Ts:Lq73l8K]\hK^e3~\4(l:/ק&<:h/` E΋..HhƝ5?Wz@z+ &:EfC7)ޕ`bs`,@@ -])A9ćn \uj);NIzB5]I>mb ^|G%~&$[Ց Rݹ͊qհ[DLmBнkŪ̕UasƯiSwQU/?n*4zfpȻZ={{A~iNu˼NFbAz-$R)P jj5"zEBr4 [o؀uն=[?͌=4ٵ-Xzoz`NL>{zn?*T CȔzM{^H82>Bk_M} 4Ԥ< fҕeVu^C"BNWPc-"T8n!GKET&ͩ+ [ݳ#GxP.i-r!#*j EhJB[9lԸ> uyte[#K}?=VQđݲǟn$f̀ b?3S[lPALtYyOenL{|׉U*̕7ܮ)h#T7>JTwl118q]h{=L tCq6kN[ǫp1מ\YHp[l" !yjI%d :*,Vt;Ju˚KiBh>KEqf[+9vFضܧ1#Ji3[ҢkKa-#WM^][T#̟I5m 5vHZ+^Bz{y5Pf7ejSStI?hyv%LF0* 3hfQuȃUWqC|ʀ!Mci"wYC5bkGe&8;n" ;_#rKB+=-vN!2"{ZZyF'Xq:TxԺ· X0;mbLe)OCQ>[Byb5G5?^IKl>互s|ڬW_gmV{sU=S;CһXʋi7h.. ɮ3lcS /}%k!q ÀӡU1t 0Ȥ䲘&,FwHF*!e3 }o{,OZ5$KfjѢWJv%WdŮKM!(&/y9#VU!M.M-O[YxȣUfsj`16;泧h_qqajk0fw9^1j3>>Ng T?]"ƻ' Κyd6Ək7Mq_C!Jjc>[ ubo.}LmcV`! BTh2Q|'yD%\JaW:]Pϟ<=\Qhd_.sSj.S~SvcBdB\#}2ZZ;G稁ČSʒj+c#3YD_k䲅ZKbIצYԉɺ:-b߱Zh|?oD>û_sS`,qجb\-mFM?KXB&ְ+{笍()=ļ@(#(i$OWvЇqt&=b"`zM[~߀ni,<b:X$L6?>5}ϒP&ڹSj ~b&K;*{ /hfk|fޙCAOɈHOݾ !mt H3uw]܁̐NT@eK g_4h~r [P YfJԚy|p MiG{@r\VEmXT&g:QІ5&? [F/fiQiR)Hs(ÃIfj}[ OUGsg2ec|-q@ t*j*d>=/tdM _:NypO! {4ȞZŨ}Q9LxF+]}}X:4׺.ŋ\^D;6(AK@fu5>nE4:1J,I$U-do oY2oz4+CVP#Di+Ә7yM`{&2CWao-7kٲ^eW27# ݌eặj~Ɔ㩀ݡuҁHfˆ Wbs6= B[{q&C'b"M(^fN ґMD~HmV!ES!^Ǔz&o^(\*\|&*m`݊1+:!.!Xk0~(NƉԦ}novo|j>ADƽMB<ώاgD6fYcȖ؍Zhޚc`~ݨV]:ECF/i*j,] Ot0݄\S9FTD)v|} ՖZf6CgN:)a}Б_!/wH=wSp ѕNvchTN[ nqO0? ה׼]}OsLacp'pCtiń^e5.V%'G! {Z3^EPR~]4s 1A:\?_cAiSҳ5HeD\k '^SP,nm͓L5Ωb_ICMQ38%2 >H(q3JN<4jl(fyZ̽9R/ 5NJ32#>Fw߅3lå7{"X'`&n o||b_-$>?^zA9˧>\霒Q4> ǻ1 :Wp^e]o' 8 H^'fט[WyQ4X! !9C9#{[f\kQTw[ۿ]nH/E^Ŏ|u=sy!(U/ `4vch;y(B6Xnη-vJZQeyuTDʠd[D5p* ydС )ܺ@FZ_[D>HT{sAtmi5(Op9&\؋7[N=\"l @8 E=XˆF?R[ R~'gozԢyl!YH8V$F6vo`dDlHq)1Pw͑ MLE&!\4%rQ8a^Q w`&}֪P#4=L ol'RveJgg7^$^9.;ǸP% P L<;pW a^FH{:KjF2V9/ѼS%O2 mY\n,EW,<=^M&OO푐F,!^jj8Y }-e[+Bw @+UmJROIe*]m^C0t3dǒ{]OBU_u*597d<֫_HxAטQU]jF\M̾[mދrG9"^Sc]ٶRP> <e!@|/Hˉ$X/\v)o?4t:Yoi^7^4Ǩ/)lco `9EdWlԑu=؈4?e5)x+pu% 3߀4GŲTLtj_ƨXaXaNKimXċc 8~.D}Qn"|Y&ىfbgh9@t^-SMT)d TXH1'4VQ ="fn3ʺ}TwcnsB[dh{Ҋ RW&~L#+!;|9+C/x/JLS4]jg{Ƌ7̮0{l7y;rMT'4!:2.gr{ނk$2i!npk~`ͻҽ-T e6 m}?>>?|ߙ*8xbJFbFO/YJr5B(ͨ N*&B52{F )p< >[_/Ǩve?"V= `=] 궽ާZY͑[dLpfpv{~դ0 T%N&t6L_(Z $thTRN{#62W<ݷU.SWhhynE8ov7J-5m79sy*c\޶&N~2ǔ9DzN%vB )I雓u`R}xv Nh1hLSm#2?-'h0-OƭF@^ :?2Rq<=u3`'v0zұ1QlL~՜lc1|)hX{bv,SM]rr 4*yU1=5Zgr(sah88JV(wd k> B(LXR;^9y$&5DIp=`?9nv nh<[6Fw…5REa&,g8 v=gX[gDd}=z]uǵ<÷i??MhJ%׌̻m.S~̓7-*Z| bbϟ0#ݟ%F[~thOÃFx֞}=F9#gWXēDI~?[HW&YkCclrs8!Bҙ-CR k ;M78V l2L1_pm+BEac65@gUߵUQ +>Hkt~;t`+"rۘ (d~{`h3gA啱KZ[b~䱋sN3%[`c]iTk$AJ0r?SgYZd1649b7a877810663cb7659b9ebd061ee86ba224d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd64429b4c018646b8eca29b901f8966dfe86d81d3