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 g L ] ZF-UNITY:threads=6elapsed=6.035cpu=32.592gc=1.168factor=5.407zXZִF! ,]ŗXiɟH)0%o@ƹ;ͲJp}}aJ%@g|R+x ]pDeq0D: N]!^ @iKz 2Fc:&n; D2A*[;Ez79hDGlς96ry4*3,:%:jcPU}HY(jo}.~ؤc1}7hZ&huX:m'[Fm+nm:x$fG`\U'Bt3oB t9;[CsuvBAPVLOUJ|<ahFHnKIw(ٶM][ CXyr)B;4ůaӾZoޚBN( "I. 5/4oǃ@~fL%h[z?"˸35|Sm:74 2.k[_ہ%|SR&ߤFHTuFq ʄ[[QH!ڙm G[vV)_k!4$|9e,P6+&FMl@VX?1 4|Z lK԰/Y_! $8ƌ+գ8ךl/M0eCs4>v6.L_EGfOmwl>ȝapQJ UklFeHWYIQNM]ŸT n, Ny̹T qJd na:ro)}^_-su\D_E!2ј>"Yh7: a^ v|d f)S|TBae1CPnqCχIa?ktYAE_i*l{~O!gnR(c[eX{=c4{X<&-tLTHbǠ|>[r'>t9VՖaKіGn84Zft(T4ҿo#(vxMƏap_Lv|&Leス˷w rCQp֘_>T5,iw({$n׽6*?5B.刔Y?#37 ])s~h x\p_L-~,lZSm7$dKXdC~VNl <,jSD~Ch &Syg&Z!nfǯG޹6^aFjrrㇲs"*.Z2 ~=EX"'3KX` tqf;Vs*SŀK/﫳aup~xW:/;jէ&ET6S$eM{'s&'@VٺdIYv~R  $2S>:Qn3d>@bonڤBp *%o g-+EB[?V:3 qL Usu@>Pp nES  `;/}${]wE#YVi;9d~8Lc])wa|:Tt3Ub2@Pg̦꿗&缤_ߙX}/ OànM,&omˢ%G%wkݷ@$EPG|=$6L"(m&ИkJtxMiCq/1hׅVMC1=sSr מW 'nic= N s'P%CyHDt)=+g)Ad?BHm դwNE Yװn:g"][͑ǶXX7NG oSsNdEî%j`/-.o^x_ZIqܓvnKQ[]r!EKEą;򋙶JnՒ+8u-&hT ]KT஫:[\&FszwϬZ5N;ahïA_ L|H7S3o/X/v,jl%v3e_=:tmdz"Gn+E{ysCc>, {)$4,Vf4AP !8S Mƪ7:C]Y P#]/`uJ1TbK,{C<.GB DF&Ė[QrBGH7 Ꝕ/|V2[9zh8f| fI4FAwÿ qŠRx,/%ebeW/Ҵ/XaD={כ }PڻAכl/}8Ih0[!rW`;Y=[aV))җ+ɣQrv*+fSۚkClA5Ix1{_کgPf.6(̛ft?ڔ>igTd0[ Ҷ!^g-"7A8`9>l]gݽp7+&4[:XϪKjg.7$2n)8|cFgD* 7=LdQzX#Me.cִfz/zk -Wk!ysgfsԨp. rzv}gG)Tgdf. =nc=0S2σ/+٘m AvP"kt YxZӵ MйDdiӜTВr@pWɤxڜIj@n -⪉P+Ǭ(RRcE|b PQ DpU`:mtܶjG&rzm__.}}hYnyx -[[L~*:ʊU7>BɌ/tžF(nhmWLW5H u:'v-aEd?ܝt#nTE(T[0GۃiJ(fNBˬ&dzsF>e՗_c&Oc(R>9>&Td~rz/%Os/g6j'R7Y$͌7:уWǽLsRջו'詈s-nAi$t=P9/';#`'#K s)!-(oGpX%*pMGKEOS j2q#pFmj e" #7e(?Pl ;ľi@CWU !}J$tyU(i Pi?~X# *!X/EÂe_rTG')jp 𿡩(G{l͓byK|;&UHʓRE E|!ZSGpo2 Qp+.,@vDp] _a*۪`'-tr.LLj]44\[Ѡ|B33ulr?d(֍"C_?i>ɩJ\ ,pXKǐv8XYlfJ,M<&"_t0_QϾXYa29Yy;yZ:o(S'oެR2!_ϥƅ3*,Ej>aqc79SSmg(bɲ˞(jm u `a\Ky҂ɾU(I(&yY:6/IJZ㷋u7t {ǞOrQٳwX<&z@Z"2Л^fMQwnwO8laPXk-(%NOd0#i[|{U''R0E]W ,7~ y+^PldJ;B1BJ@CJUMwWQ[Yo WTɿexEO.O{ڟz뽽-ǘWɇ^ "Hr+Č537-y0!͋P{yyWPXb߀9DʤSG,,9=:3S}O K%ճd(C"1z֖m> ڕWb/e B]s!Zԙ1TR@hY g+yZ-Ԇ>p(UɛD!ܧ,aTdMSLMpdO͎9ƺXb}{*uT?hp*mex"R!.MLVSMImGXۡJG (58[o/8a[MJHvﭘ4P\p5;5.uugfݴFrV4x*Rt?65 !n:;>v%ut§6egM_q͖L=,' @ߙ"T_rro}v-.b%3:Bֆ jTH!?]RV։ٚidf#t O!X!o oHly|&>z M0 E `s´~~OĿj~{7CfJ))АIz1&عVV6O׷e%/ 2m+_G7*+݃=yl4dGa1Qn|bҝuqVΧq^Syw%{`)x83re+v֧S1 ah'uGK:^aԢm2}wO5,t(;{X7/"4p-f^\rp)8= q6m tI_(퟽%ܪ4.uE KMnJ:yOsV߷wC͘L$D'傤T Brmݳsa͒҈(wQ}d~I| -80=iӽV]d%ΊրqWHoJfe^a u-8/tbzx:G8Z(y!X")UaC\ɡ/IH-#R,a0HRcR,9(ƥgI=ʅf_ҕ@AZ_U@aT#yw) V ۖ6aqmIhabmRr7BeoZrX+ߣN@0|choZu YU`R_+86}]7G#^+s ~ҊDV^Ap?@;t.D:mé7-`W4bVoq0E'Y W,&tbwn7^On/=4SeQC4[zxn}]uq9ٗj}Ӯ6K3Z9$3\kalDd}J[a`^P,32OPfk5c;q,/!G,|Y-YG ;0&79Sg}hpFZ!`Q&H{Mq@ى1(S 7j&) е".6ߞ*B"?EW0BO'JUogAKP߰[s7U%s6-Dgl )Uiط Q?Vm:G6[jg7 }]-Vp:0N.*b#c5᳭ CiA/, L)8A𨤻,X#޴U߶{ߕ^.ɣćIЋ^''췡 ojJe];#oөW@߸[Fٻ:SMu–+?#j5p  K/!$骉AgR݌zd&vg&P+-D)Bdbc nab ܛh:A<ĭOϋcHxO-*@LZBrE'`Ck'(~6Ao*-[_;.Srcj.l69sKQ!|u|~\"gN>hH)t.X<P-UdQ0Uͻ@8+!VP'xGjyt}fӲAznWTۗxsJhQNsd|4̹/"=d{*gN[*Z.ltWndXp0 S3 ~7(E=:;rL|.Fj><?ٱoH'nVG=&e<Pj<rcokR?_6]ZпH} &}!_5&pL{dġ,,[ sSe(8>>Xmz2B^jF0=پf,f׆tZ pسWRPkƅwӅ, N6-w Ejq>%]Ppdsi7Fbm58sl z튼ax߯rRzu] vx$7|rY7x[ >}, z⡙H3҄U8T*8,y8n~j Ias}^3q0xN=7Vpwg)@AqwB pw'3!"HdRbq[ Uta2W?{ԇa79J<4C+Nb<ٜ4~ysBӎ -mWuǕDu{I,Si.YvY+$U[)h|DHs l6Y6uZT!$2.3$28їKB<#ĸ-^:-l{&M!Xx˽q4nNJrΚoDj Ŧe^(Up\ph`Jf Фk`JA0.e ُ NItr 9|J#WI_ZRzV}#;kH}DfScDuAڋ1,* A<+:͆,jy#kIJrʄc[Ma'S' :xE`|ٵqP颓Lܟ3avߝh<%VGa??UEPqgbMjO-gn{Czҧn3hK_opq,b4 [5 ͔g`j%ƍ " 8 Bʐ`#8 &8F4ceblPiŹuRoddB8UXGЭ W Ȯ%qnWn 0[mGHae ]Mשq jmM6Xw7da bZ%5%HLQ@XFFHAyY] Ҙ'þ6e+c?@`Iro#SB63Y8 ݸד tYO]0mOn4/p$`A;Q^KaԑM+$s–kL3JLTy>Yڝw WoA %%hz(7AQ x77 4tVÓIW_NU:EIr ㊃s=-ˑƤR<ͣaq 9hq).>KotEIZp9pN[ܐI.އ)'8lڏ v |W i?@C(\a c/w_xc^)n%ݔ+T?Ik'x+.ץE\ ń#HXY/ \ vޙƈ>F\HGW|vqZ)ؠίVʵ"ۂʣa|G:M+cBL"ag_5ŃD46z]cԮJ#7"Y181OIw4h-ɉ%5]!kUb)r3_2[9|?~ܗ1Z4lSlеԾ6)e2zئ(ieq}fn@&4.}5KI&`A} 1;ז9KFB19ǍKMY `n nn#5+?r F¹ݑ;M4̷;Zn@z s+>Ȼ0h6^+z EmgÉ扠%2!^W%G | h[!SRm _MW ގ'6.<>eN(LaC0ri#%*ݥ/ITȾ帾5}\AKd E`ԙ2g@0o8wi&uSBA5Kceǂ DHP[Q+%ů4lMב aZBuIMQƘ]ک-$Y+vQGmQ\1k%1'aD/uZ_rmQ3_ק E#UUK_ڤ?t'XCylT}>}⅍-KH;'-ws pٷU26Bu)1%R3*tV ],I(ˎ>NQᑊ* S#Sdrl$1=iD6Hmn]9; ⏩w .`d"~ڱ5m-h USpAx! k,C LhMPl8Tи+C`+ad(RH$BWgqY>ňQ$+;͌:jwx-`5~ɸ޴cH@eB= 3 :Њ-DjC[{FmcDh D{`d2ǴШlDhKw tS9 ƝVȒk29X6vj"Ѕ cތw:҂@d-1e ح>%)^Nc; #NÒ9az1zK;`|_p(L$Lq'[:P )LDD{C!*ޡq=:-*%侒DɄ/sǑ- \:R2@++u :j q&r(`1L90k=UTYw%OENb+Dcb:s  `:f^dI,hYu-b+FDL[88G4 ۄsyW]gAׂ( ȫ(߮qIR%{3nf~0:דVg+ioЎ(X]=_%|1#[jPcGڌ7uЍi栒9K̤ژ|u:Vrr%S )")ݮOm2û; c5H_:bvPo(??Cn$KOPnï´nA]%EPam 6ᘻgzC:BK3U%6K'¨5-.bSقxCP ~tr|twϛZV%ƊO(AgMu sxw%y, R-E0h͛P(Li6vx/%*NE FtQE~khh+'Iu@Ht)BI!]y-#Q,>pkq&'<'mB۞$K{*b[gӑYa zpdp\E2w/ X1il6ūQ&PYN[z*^c}?6{'ylIsHFqEQ͜9Ѧ[e;nOy/ .cF/\rt71~9O扳|ӧ0Pc#3 AVscLG{Bư$,մyW,H[oI)=#'<A]~ʵsE7r!B)~@Ntѕ˺FT‡.mw 4H_dc ܶ6gB>(cZ5tZӎcp"bNCUJ:0o*^cfSkؽ ?@olW2|XK=iOz]ǫšFO/c Mk`RTNc7/|DYVZoD}Yk 4;pŁ_i)`,Hm3M{jRjyu;"ߴʼnCFaK$,3o+_;HF@9zruنa.BO1j Dg;ؒjbKZ"aev9WykP pdE1, 48L@@0Fy+f'UmWhC;|a%xvJhvA;ObQ?]rBl@lv${3Š1˸r ɲs̕=_NXW!) j~#gkiU*l4]_9A-pkڕpOag̩ 5&Usm^VP"qhYmҾ>#F 9v5bI)qKR,NC OMM%x'6U7KZ3Pu;Xb{X"쫵n.b[e1[3esbɐ =n4if?w3ɳcHryNo:£KegeCTޔVn烣#%smI>!5;uU!ȩƫzSy)RKBl Bxv#n<\Q7N =zI,ݸ[Kе@DCν 6MTpI`& tC,3$]z+_yyp{'qH{E4i腦'XkDr*DJXwP%!PNØ,Ɛ%\q![;^-_}ɠӘW`ND_уp=e\@qc)3vN?t:t㟔n^O9P.;ѸAֈBl& k|l`O,\ŏLWmifKc#ġ e_4y~6-x':3~FԚt ׹MiVIK4L.,ry ]KFC˜ Ql#\LGۢFV'î>n1;uBH ClJ,hhy0# 4Ϣ' \e\R @%JֳcW! d+ԠǯWT/U^6)Dle|J@,g࿵e5X%)"T&Z= Ah1-)1p}ˉmjU۩^QwR4\4ܯBߎ\.'N1;b{;bĄTu<)dy!:94DUO2w@D'+ttTCSYMQBE%BiU kUs-$;5WNa{O{G؛e܇n& Zf7IA7)nP !aj/54ӒeSOn͡Ad=wT-T`8+B=٬]{ݛrRvׇ ?CKȱkOjּJՉy8I~T5sƹ{jA oε9p5tJ|l\Mѫ|=kmPA;Uflpi޻LV 5y,1OF{?f}ue ׿5i6J;}T tZOYv&0I(nSdKӓf VsjBt? w]]3/ՆfK8f~RLE ٸ+i\fJC"t!j t .*=YMX*6:J8dGK%xKw.K-(SAQnR >戼p.08zV̏SD+2BB3w=Esj͞[<'5֤ϿbG-ϷSZF \R`!/P"Q~+,;=sR`߲A0Gb7@`q Y :Q`\"1=GkwՒvae5kRCЕny墸KO0f?8ă툄oVA|Lda[R'.6^*P!@[D4`vjQȺJnQk$d|+/>knQL,d+Vju(YpjMc&q/`df D[7KPޗGSF Y}8=$H 1p#sI _wJ bŢ2{p6Na:{4o@A;7O:n&'d>2١1O2֖.%5OcPoAh]_iqL ]瑈VcPlzn Sbn- N0"@e#u\1'"׆nAƲb^q v򻛾Ő eLN8zwTؐ9BӰI d ʶ89=)B HG0 h@Vf݁oh`ȏ,Wd&%@$LvF?)HآQ|4ghkؠB`(8$P5qXckdC.J@@f)@hw4T\Fې`6ZlK*UX}xe_G~D%/jjӢLB 4`WG`gQ8QPd]vSMF PQ:Vsm XϹszN`zwG4S'pEu|2v6mЎ7ՓֿӧMդ^7ViU햚ڠaq֪r ͟HGtiEm=M?޵b^8}I$$3DFny_0Q'M^ֿ8"G*< D+zK.By mP^- 3NC< [ KfE]46cg-az DW8:@vm.fkIg* |jR)BAӉiF :ڛk0*ӗ,49,SњebRuB#x^.SQ@M;(@g%wQRy!9 T2q|g9w9$dq'h< %)wW{WQFv`.[ -w]ѽ#QC]8Bʾ脰Pgpw:$C1h;'/c:h;XIlo{RkN !0tv(텢9S͘Y [sQ7eW{H+p}yJZp#pUW7tCѵb! BX>p-( [yTEƢ33@C=HspFtQDy'`9lwʟخa.^c>| F=|}ȕhק9/vDbpcvink?#Nf.n(^uլ#Mi$Gwc!mce[w/YMV )%{ Yh |nOHu[ F٫VRġL`5k"ηdѥ8g+Do@}{aY?ި[]X s̫wo=C rcHRjD8 GG fA2RFx %g=bӐI 'ASp,aXȲŧczW嶙J:y`eF8E, 11{4fFٗtU<K m.3Lrwt>-i+pi3u|T!\[#áuqԢ|Pj\~>Vs]bfR8rLpUVh1kn [jH#+6`XG$PQzAu碥h,$,h=)$Nϗ>Z6Yy6q/}|Goܳ%_tJ\3+pGb?K8ͰJߊ klj қٕf?w@dㅛ-9ԹnĞ1mENGw kH$wruOmp}:L΀YެPVR*ڏ[X/C,JA c\fDX)l Ų{qfT!Ҁs\Bd:^%-R3,A_%k: z%bG-3Ip3. 750ԕ\RgFehq|;]q]]L{ɺ^Ҿ.aޛZкOߘ*Hz9a!!~S)a([~.#z8>MAJ~cүaXM23rL]3%PЎao&':7sbч|JJ>1l!# l Z dhp:r3 C;> ֛pFC S,ݚS0(ܱQl˳98 7±{F'}Zau^NMRalfEpf}dSUd /paj ,_*opc|W9tVky]zBmH@Ɔ 5?/~Ō^b:-f;cYͮJԻ@M=r@R{쾻`mϫޓTψx-JX ӗK2#ALbQC? ]8QɧD4_4]s"rN-wb"lJu?2Gb~o`>_% :D.Z}5t[aܥ-8L%`|f_0 sY/(!j$sR {D%[ G)M<Av.m{o ˶%*JC}k\r43gi<ۗ>(/N"l2xs? ۩- ߦ*pR.!a^ҹyyU8ԜF x&A;3Uĩvѧ8dɵ=yha-@Bl^~Q#K { bK W_[r >|̖je1+ɀ4G ɥ%zSRe*<][?K3ey7pn݄ؓ9 =+I@5-Ʀ8hJ3vlF@jxRJڹ*wn%SZ7\u` ɤJoc3pAp\ouڂO!XLa=~yJQlجL>Nuf?Uiu]h7`z3& H9rp-IQd }= Ш `@:5wS!1犏Ulw1۟'pX^f6EiT—wpʌ .CSefra;ІWGۻdS$2u!l$2=\wPYct9`>:IvdID_\vͦ\|p3Ci,ldI7H F1 ".[7:LZG9gV@$S,|  /N߂xoSv+)N~ڪ1tbD>yR"C0r{>^=*\ו|-a|r0 M2OӐ&v,eES@H'^#mgق /R'[s 9U:ǴG9E/ϾD .!pW-*=ʫ WxތfWtuz0ֽ("6`kĉt Vor2V2|6 MS]2jɮCO1grpu]HD-`"A$s2B :/.&#IyÜA_aN6._L*}!%9P,TtP=8Wi-Yr4/߿t^|x)f$)^C4 }>JY n o:2QMY)Cl߱9_60c9Lic'Vl>_Fz08^K9.b6rtDxrt,.x4O!={ZFN];Guz#U(JʸA:ZڤOy!Xz=,s2*ɹ5{:m?%= 5ݔE,~X2 VnkRYw搛"}'}𓮷Ơ~+;^5ˮOOa$s@GGylhIB^p{~ԝldzd55 ͥ,w͑4Ȑ[VEt |4YRp>jfN;na G]sAL;K6< +C<Q\ R{P /cZtYFJ:hCPvXѢ EK"{k-0+WCRw?kmelKG=[`ZUjMzWQykq %h*EE=`[͏G ],!(ء;O=d-a7ۚylP|a!Q-.HU ֭7vp0i8fODYü G]yz8HX7){)#J"]}q)tgkXHh|)a.Jf1f?ADagvz_` &Ch , %xheG -ȺgI0ja>UAWL,HXSY~ůKW Y\X&E{lloPlѩd<;l4R^uxD1y#*Hby#]h6Lr9&oA =ji+,Ǿ7AܰZWYKT9d{3.6N^oAٖ4Rk>5'4{ 7U-^dqe1hZ\f$|ߏ|ĔH0uŵh244AbEy?\ |n*xNŃoxAtMOXƨE0$q._)̂($SD72ES#?V>׭Ȇ-Ui⤒ !%Lu6oJ}t>꼎9 g}jܓ藧/2vnzƚ>nT-{*_ߓn:^,z4nA$i=]XG~'>2_/؎11b溣KSf|vZ>pLjn 9+Dp ]'`AǝJbBmMJ^԰ B`4 .Jm9͕nC㡲nGod~ g*"%i %k:LA8zW55^@`yY/?:Awa&M2ęU#š8|v)'M4؅ynHU\jX*d3Ժ y,&w33\zZ{EYɝ~$麦wf,GmB/kWu5>Zsn}ׅ'jsNf8+WbiD\YryaMicŗ QjIױm2FAkGMT9TH$ssz EQzFI'tT Z!>R`iP/ ۫B 4_<VtKhV'9}n<͖H d+IUyo˴wd%zۨ2a>m7܏wlc%ASb-ܣ&8Vu0lo)X#!/5hml&LpC`Rq"xy *yL2RP},}k^ +*SXѬ^{@?nC~ `xɟt2q:بӘ"h_QytJⴻ8+4ZOp|ʔK$㉼'PG#g0.碩(zD4TpCkK"EMqҢۅ='.xPqnj֓A1TӐߌаPR/ pUm*DE[q|Dk\B*{r\#焛S(mF\vpe\JV' &m/\&+Ho`qKjN xi";Q-YyAQoJdɇNu4]h.о>!4g _@nup:d$Պ7Ȥ~Du uijhD7OAoEpExկӅ+G,CikFGs<Ǥ.}k?hϧ*x P .w m$t..:1ምN^-R@jzYHz-2gd{<A1z;c UrEwu@UYt·PνjbM5@C 3vQv/ hWdOGAD5ey7ĭڟFASQE%]ќy׎'%Hؿ&#reZݦ Iy@Y]+Y$RWr('Mا8fT!;$҉̐s D?/g#?A*2@?P$Q '@/DDfq=X#(P|۱N(|XGO3B "ydJ_A0v,4Ajhp ]ϒONT@4fS'Y`< 2\yX!Q&Jf jz!1>b`bY6lkhaXm׺KʒYl3A9vw?!)PZ]^~ 1Naa3D vi͎#J7񵱽,nOAWRA6$ q` #x mMJX'WAd=GRY"cN+3WT3Ξ+v2m.(EQ9HWĪS!L/&<,ݳ]E7EKB#ot&y3LIBٵ}Quc0E<JvE+ROn1cݫS%}$h{7\|;a=]%w;]|c^38Jᒮpfl >g|qVhU;>*gAGhY]>j+Y۶$,:k!)/c תUYR' ˍnaɃKVjH`c,L2{=kBmQEnOW*r;< 1:c@L 5ufE),4a g}xvjeT7kݐ}rfo.bƑo]+;N5 D7qʪ/\ N3J4t?qX* pjL~<QNڝ$[{JQڅe#1, Ӱ&I:5*,b\ęh*3lsȺ~Zlj.zd95@~ycxvMϢdWݔvkV"'An9UKE}+Ur9+몒#ہM0  s8\>_MZDuc-ؼAOw f$6;{W1 lA2ɧJ"[ zI[Wb !1~fߔ%Ł bFvLmI&!Rl h09φirvnhpd-#|K584CpY8ZNTEr8)n2X`ǝ&]Csc)LE}>.+ s^rMgiXo,r6ʈ@?7hV *>ԡ}(S1$W ~~B`(.^Dv$jZ7(#I"X?E$L;%"ƺ]ؚk#w039*:"MBsB\;789񟢢 "n\E=R0ke8grG]54+9hc~nxҪDVA<2+oN53S~v9,׽^!I~(WP[%.4/x]L.EE~qR|R@,3I9ʰXj ǰd@<%9Mk rH༭6z1kz8D=!NWJT04/@Vq\UK2Šdj>j~cʾH;-DSr̭n?^4Dau\am65p#AUBG4:8$7k6q |1*X,]M.q zxP PH(z0;!~~ LYK r%-IK|K.^UH2J\ڇzX;Vclla@*ҷB U_@? B Zm;ڪ"3x?A&9<kjC1$fsGSFB7Ն\oU\__@@~0y3ю#r>2=Dw҄%d ǽ+dGW#"mWO^oW2F-I""U$?PfiN1VڬZxlhW,A<+K =ou}>.X-  q4&:]O̚o$>"V aSg3|2#Rt,2vC;FJh@]Ϣ>=ؑqbtCƗ)=hS8!t L&'rϱ )sAD,+kU9W{FK[6ﺹYx'K.օ儎 WYHBnA*d`-Tjm%Juԅ!6,D-B]9s罪 䥬^-$7!?ߥHm/GS$(ڪĘ kNB\Pɤ+O15Edh2[Xu5<9n?37)JhR߭tkj@ΣCVnӛq!7NIs/W"rN c eo P}(f{QkݥPS?U-QYmXD"0;zD:]hPc&䱢bjm^mFs|:j{t=?+I+ 3A̋nb*_"C\\XQSvnҐb3{<܁^ (h!UhE>H͐$I*N;+L_}5 TU />Ro.A%۬X܊[jB]yKi>Dalei X 'O4(ėWֲ&>QꝎg}_x$;b p-n(FK۹k\Ah W~ lŎG:JrXu+D`kݞ}h= .v.˫lTQb~$eAZ*ߛ>^G3^s}DkR6Ay~l "p:GZQ(ƕL@׭#TM >MM-RR~ e:-1YIa`VV_! nfu:pWvXE`/nX ṚD/X½ɢ0k} ?I ^(f:){%Rٵ,אv9 NȡbŹT 'u|k>#y"GQa&TM!tgo%iqu׆K^&,It[xHspˎ|PE Z4w&V,G hN݇xn蘱voo9nkm w;*/pA|Ce 䓼8B<8TNg $5<58YSWCy!քI35\"!$cG3WY"?7uWחP y a?W`7^!՛̷+"_OeX%e.<:!ND!@l٬# ֙l,f[ZEP@ѕ2m@CVݍ@ 5FHh蒃aWༀlԻ2H>Su c\Vu[_##} ozS3u(Y 褵8`Z@\lcϫjw\ONm[::+Y-F,9H`u]²vClKM;I]*~Yn*8W;hD]yaBkcL#Qzq.{-/s9* j>F$j pW֔r"*mBB,"N>~(QcET#=a?W;Bo$grV }U$圙&6#ESA"ʋ3Koрu{=N {УzOxhD&(Zn%rkpqs6K6ǎ% B& ;@g&Y|4v&e(@SKE.F ќ]ԝa+g>s #ƑBQa5> Ypn)JxT%qGP<,,j͓Db1"_`pIKGq2E3o75 _uK."i#%u5% =-{}} p%[#>nfR>\M~)O"!/V7'gPoƔ+wqge%iuJc=ρXmB]N~pP ?tܴQJGO ~T8D^ Ok+N$??J|8 [Ki[<= .9Ⴐ "'V7n0tQYpsv1ِ݁Ǹh`RT-9<ȓFU+|!n^+Y.|0CLʈ~7 V_;Zvre2" j;gJ/̭Ņ{wV {45CquQ|(l G2q J۷-% 8FOuNmdiQ1@{N-D!ڒӷɷiUx{4=-4@ A:&3V`|ȬͼV] 'qFoe$ݖts]^LvA?ȓ]ʁmn5nj#tavE Hw M*QS`Lkm3ZMh {RL3X`ӠD!^PI ]Nî4JGd"0w7EуhCA I^[1KBRIpG)4 8Zda8[^ Q"xѰdXw CD,MA WDT\O`|P 0v%L)`3 8̚o5 N\䜊޼ͽt 4VFth_NSh>I.nٰ_  쁵'K]д#CP9bU' Y=VxE֚Q_uuh Cʫ%}& 5:; vg\:0!7`vOTW:z:y(\\w5xLL&bE0+5MMB toW+KrTZ(qlژ;V4蒹S9c`'Xd/  fQBEߣ{fs"l0K ^4l̓dFՑDk NXJ~JRP{е7ʽ:Ǥଵ7jshX:w r"ts_5ȁ|*_DUuGۖJcrhgh7>;rݫjI+AEPp,#K.^a1ŌѴ -t$0_Qwr+ Ot+ᲰhtmMh{f f#J6RXL .(XXcq#Ə "׺4x >(;.f(CW0p=+Ii\[~-CjLqH>Q51(b"Ķ+F8z^gpMѴtPV)<]qv#6u70Go!=!b /}Y'n 'QJՆP}.q} H&#hF*K<~ת?%$")@i ;9%S1I9޶Ƃ-M8n娧ʰtp݋\"ߨ8]2ꔕ+H1FogYӶĸt~Aȏ[9:7/?ɔg."IѢkEbd\ H&L&tX xc4|MS5hz/ʈw[hݴJ.ϒ^hIo|3I%!h|K:yHG +CBLd1FL3ByӰfő$}Wn:uO(˙eeELh.PrH*_%Xi΅ 8u\k'ɣ襜:$M9U]ի@!t+0?J:Ш/18~'`-UWjO&?afḦ́8G}hbBz7>i,lMݛIi"Їh:Nj Bhb ?G1kh#]d4\ pA5WkeX^iϯmD3;) zrgTj}Km=A`5wrۦZ B}TLWv_8.a]P3I$zF~[ @2'z;FIqwY!덨˔'LH$"aZ_^tKl.>3X Ef GS+qb7=K['2Ĥ$r~ wkl7Pr>rH1z9f]zvǪC@NƗCn&7 ?Z0ɟi4FP;@p-x%33]]mn5%h)mq43LGyL޵ƙza*[,6-*g/N6ĥ|smrhLq`!:Q:ഐ=G,PLm,Y:TkkQ Cd5dqBnj]3DnfBŽ|O%ϑl!˰daf}XvxAq٢@\z]kpD[Lc0("$e҈,GNv&Bg*& / Q]샆z؃Tx?ʟTejjA ;Mľ`rVݧAG#2Hh%~cҀ]Wq8(ȑ/V;[@qU/ݔrDg6Z(?\AJYM> cD8B|tږ< B]-,;bSj֒) Y6'5 Z_뽏 W 4.뽏w/J0?ˑ)&soOHǴ'K:Ǡl1 a,L1@R\٧hNDֹ;glA+B[xX0}Rd[V0 \cdxB{"kjveM @ҷ *YӀ|]FxK[%s-,B:bl+uνH? Ry|&! 2n:'ŞEM3hMYƫ{"$V"C*A<,#x~w2X爵ݞ6t}`?KD-ru԰h ]YfE<3On$ b7c~-JnGnXCx\'e,jQ4anP!pf[$]W推MIi>#׼wUrj\ڳJ՗&2"|ѓI A*G?n4Ex7Ohax蓲Ӧ3zotb%?yJ#sIkPU{sЦNU/%pr &o>]P]У]!o6%]thF,ަ& r^>'$/rK\1L^qS}QZZp16ke⛤W-g/J-Q*_T{I!4,u#@j?t#T.B=jk dZijLA?!좺&jۗM/elző+-ԘHQ -MSzaj5&gAW|{].UPAb,&vZtXHbsDoO|E\23E Qd{)DClшt*!AuºݖjjqlŔd_\ϬDD-r$eJw~nIAȈ椲ZDoi N!_-vT:ݧ)`%C z%ew[` ߷Frwh? w#9,g(r._*Y 59LwJBbג+`4)O.ۆ .X&VL7խتE08(d JhN>޳ĭ6$pcc] >*b!"x!>IYr}m=>rw^JSYcj¥(zfڶ;g\{)Z ,,[V*K&xru;Z8H6҈;VE?= 0zx~{وqppW`MyXdUP J;L{_k. ]b+cշ:*@בcؙ*\ Mxߓ¸[C54`^@{2r~Nu<7jV7!gB4mߺMCǺO3(󧣼TH\)IrG0L8 J׮AO.s@𓋼S#LP?AC eIߑ< X{G_6QsX|=mJfaHL*0 ]V P3Weaw@$ PT>z^ԯUu;=JXKx , }e*bQYMõ x<*/,mۿ a&zŖt0zJ9>B0y?pfHb1ϠTiU1 X]%0+OJդd|&OwjΡ'7}|D˲O+wճ GJnw ,=$f$ֲLv叭қ%Ej2Vy[y7J0EZPe$2XU:OǏ˩p*Z! fP|NkSLtYE6*i33Ʃ9V9;0Zٸ_vW@Lriu@Q4_g-+plb#Pq&ɡP`ׅ|^`IQxк&Dv{qO_)[givQ? +'yR>8YhTzLL*^mرc}w[ɳ|//C`}g36B 6u;gYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7kt2&{ŒQ9L.g2QNڮ)2`()9+nyVa\D#׹lklrzЖ(:CyoL[~6M+_k?[iAt^PwYxL* ;*|8V# ֮;!l$@#Fyh>0hT'S/iTA>C$w&yzr4Q495om]_Ba+L/\ ׮1j{DIDȲ#K\#a@):2>G@@,!\Z7$ %}gYZ7zXZִF! $`]ŗXi%L!w ڸbfjilQNѠ`>4y=gw>!mŰJ߼ dw~\iNjztTڧ )v *R򒠇_6$vap[M!Xf"pdvUIh(8QemX.IR!(I+ 6ƉtLd ~=1_vB%xګStJC'(ؽs$f7ޢB6QdKg.ؘ yy6yhL)VJB*DoI6 OS0JψwfWR9+ܚ\KDHGkh]&\Q_dpҩhuLCqq@X/+T7>:@r{1@<(+2ļ:Nx X(. Shgs 8ązlJif;xvO W Plb:Uy z* o"~V |h 2Ǟ<MW;G贺 C؀Wi6w5\xk{ {=Ce45mŕ'Ryh_l$@8;Ķ5jIT0ыnC wI5xV688$^ϦZ6g²&Oah կo{E%e}Ϸc^,i7M 眾^E>۹s)$5|(ƥB&H2˪\SbAЬqx6ɟ]/ kd-: 8bODJˀi.yڍh6UBh1`)/|d)hP;H6agYZ94df35bad58cfc7233ceecd709a945b6d263ef270ca5864f4aca6546754eb1e7da0e2085c3f4c937 bdaf4d347666bbc249be4f2478c058aacf7b3498 4e4225c6784918182eae321e2a0f9ecb63ddba36