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 kk]%D| ]/]HOL-Analysis:threads=6elapsed=330.497cpu=1695.540gc=100.208factor=5.137zXZִF! %R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@w[ VV? \{疻^V9{ c'ʍfһC~-UIz~Yg]r)`/ 7:8e w"rLc l+tƷTakn])ߢr)<[3 BP& /aidr!Q[ͩB2g.ͺ/"P: _ONep"{s#͏Zt{j)PYsG~"$Iro'î_>ů\E1hq?!80u l28O}&qD )Dq-dH4Zm' : vhl)3K+?xJ"pa,ݏxR8 m IZ8Х Nr^R%O{L_)OJd!k솗bԬ©pd:HgV;Um٭. ޥϵ%(xa7%m 2Keq%[}*W?Q;;Q+ĀTXz ,X:Wzfh>T =kw+_*Ƈc0E^Rp#IgX'.RAIۯ0|nu:~d} & 2a@l{0.* lO'SN \w;<˂6 =07BAS@ҟF,W۟ -|^Em%WƇ,n zN|.xkyIuX'ED0(Dፓ~^bJҋ#n  :a L[T~VNz6<%3xiW$ AيPYnZ'֐14T\oʇFo,ǻbV<=q#CRH.0xjb7Pu"Ȣ ElӸbI:uM"[d9;PP\a6=Ҟb^̐JWU=#VC_&-DFkaB tRjw6c814@ YDrkQSU~KMbmw c+ޜf9%%I9{w%GtxwS{D)1mLOt$}I b j,;Éa4qEU20 `01$-2֑'^^lcY݆ӛǑ+ l4(6u%7LڜFdb$`p7"[;/PyVeʭJ+|Fm,OV73C}4M?ökto6~\pT%{L)ZYc\ د?,;8)/g'!OI5?bMqvp.?m1-ڳGUVZ>6 )gI) jCC]Ѡt {.PrnI[[k|FmМ3Mr9i}.IkS6e8ȍ`TE[;6>rtì.YZg -=~'-щXAN 130w #NF*Ƈ$2H+ cŇDRJ$  3,Z\`lkOPcn4U[.\hKίD#w m8o)ۊY@@yQ\q ^7Iu}Ip&,~ԿIDE:AY\$3?yeHF\T c|-NJCB)9}|j"9a 3#24̎y CGr. ae&/?&u\H;Ax4DLrԙ%='-⼬;,qaNpsA9Ff,ŵކLu*v\S3I.`6>)JvaeWB 垯Oy*?w16-j#!(_x:j䄘I6u>5Ԟ@Ӥ_}m*7-lmYݧ~#VwnCEpk>'YNNJ'>wb{"#mM`^ZX pd];!@p8Rq0wr̂ <loDυXJ#Lu3\+75(O1© 2c3I -ioH\gX#}}F3nRT/adxc % HOL-Analysis  B%ZfRg2"u)@R^@ LR;m!4r;M'˫vX0U{2p<4uxlBa%lIFFvi]xL5rvrRwMp\:-,, ڮBgİZWcN'DG9X VO/:G>H| ՟wXp,lt„|Js.~3ZvEl뉍>G?/P 0 7J')ۡYE%[OƖ]CfrEҚ\g}1B.N]6u݈$%=Ɏ hLgMk)PoJ+RDZ}dbԌUMJՂGEtŀ{ Ks Nf@> k$ð_-\u4V+XEuE a{<L|G1kqEBߡғI7(Ot7o'F}q~>>OE9 Dv9x(77q#&N ә({,X~Jz}PoMJovO†LO* Ks4mj; ]"cMJ|STjRnA01(b=5*o` `go [748xHbḱԽGiwZlXj'-/)ĩ9 *Ҽ5ThJ2Y_^֪&^T D^^t )a:婥\-@J|ʛkMTo³7ִ NVlZNj;_,TYN<7Ϭyj[ 6>82-&w*UlC(/B dBdA'fEem1p!>l_A}_>)vZ7x`{^uɓ.$H>*W$"׎:G]`NTgj1Hq76҆'םQǪXsjSf%7Uw$Fc<عI Pnc]ésGS bt}WE[=2c_RleSf`3 |azKD7MR,pWH!m:W6PZw%﷨:'ze6|0iǏuAg;gj.!51QNEW{RBL:~NbEK'?1* .GdFV4)S* ˓: O䒫gjxO%ɧi" q|]WT 0me h[iUmҡaγoĬ{=Dr9JW'r;lBQ' yjsসf\8;?w(g~jE;Y4<6oMU&EeFېgrH7qu'{f&/P_I$E  5!tX6l땮t)64e¿#(c7Hc\V2sa&P%!O+Մt p(EtP/]a\L>WL\RW2lX M]KL!n?s4x`Ci$>ejNnI++XRBS2ጹo zhN) :I]H+q ;t86X7)LY꒰ebf vӒCڿKt/X@5֖-yu05dNIQc[l*kc0cM*et|W-*4 woxd媺&r\%wyA3ڥ6LBT.:F;bOIE^do?ztlTFG6Gk6dxaFb/r^C 6&T6z$T0A-:|YίӷepQ/Aw[ ThBg ɸecBj)fgqxRe(7@E%f?q:a>[d:=Z:47p)+ԓnN|Of'U~R`l-ft%l*@8gQwcGRd=o81qc,(L8mlPC*HT]֧8)RųRnZd8֔zgܑ^:64`ؤjm%Ҵ{y! Nomt<1p9a[/״(P/&>|a>Y6fTPuশ@vX{T*>vkZ1]wc5t d ? rjgʫޜx\lWi'PW$.H?Ř~eš@>8o3/k6Lr\]b/1ݴGUޛ_}Tlhcj_2u`T N8ӧgqp`,ܠfN֫/`C۴a"U=Ik ɬ^v"t-yPÎ9i,QRndS*o|?w"(Qr6YOf"Dr[!h"_g5+͜~h+ŏfZnÔc> D̘k593X\ Kӯ G^`Rp_H1 sL KrsI_fJNzœATF=9"+ݍrDz NS!_qSC=8Y .^vo`ЍmosĠS VDܑ_&;3* ^ sn-; %g/fH{\Y8^qqHiZ[f{xc1z˭,)9:v-->|oMv$aV R㠒fFU[WQ5weT\ TksKfuSo7RlJpxG]K&˦X45=oI&p CȺ/oD"J\mpCI}_/0r!IhE&siڏ>:ߚ\ ;?H-c69bg=D4Ljkfp?Azf̮@7`fܢ䌉Q$%erk"'YNm}xJX*(,vZ*'0 AGߊŬUBdq$őĠLA1l7+L]3#cS`SDMl峝W&tP"w0}?G=~?u{d_яI(i|'8dQ IO 8 zv!$ EGH0Xφ ޠ8oXDg `b UbSbjDYsXT VfmH-~< P>R`U*@=t 3l) .ۄ7 bY%Eh Q(RMe87+bw71l_' rPd *Y4BbKBpMlS`jַiTV2&7kSCםZm[-rT;%wXDNFNTꌿdqJ.a%x22$Ead5{ORmϾ2`d)ʓ|U <#pc`7Pb50w\ ]aud"o7HVZa.uXDz!Č[L૟9ptA  6:ɾRgC~4Pq7- QnіK..E TH8uK`Ez|* n(uD{k4qd5|)G_]onD2ā$R'R83y`@P`ME / ؁& 1I"ig|) żaWML 'I p};s;Wʳ~r zȹ$tk4ʠ1t-ҕ+*}6= Lmsb qor#2rmy qΨ6DuU[XVGϻZKu0e8VlǺspR LϿeYHh{'u (eu_VwmvHoesD[ffjh3Xo+xZ{-1."pP 9qWL۫9E,qJ~ ndLĤz[:E?6\?~r ZQJ?=\"erZ`æS1vT5.ЛVD'E#ɽ#fd:/UOd:ges3EI=MѶd❴VKRD:r)}|@-˲p nj*{c yJoe]M57 Hf.e/"2@-&k]#^ a|NfC(`j ba1#V>it]wڄ~='ﲒ9@H[W1*kw_TC/nDwؒ`[s2MIW|z6hƇĚdS0o?WȮ:l@;ZhP}d D#j#U`|f1x.e쑠';WˎΙdژ6 oi>AWZ:/Z} ҁN_ʀ|_~-fݼ{o4<+Aܤ2$>N$3 i6&+8ۺyܼPT8-ֳklfȒ j9KayXO9*ۋolO7Ȳ E ;o+ȅM1/32>cA[vJ*9$I\/{򉎃*(K i=XZ+҇R5@Pbepx5\Quх&ǂ)T820VڗaJJkɈ RcEv8Y᠛8߶Lqely;1ƿ|C=m;aؾWRKdZmnoK.*%Mmo9Ym|"9xl<1 Mk-/"A3NI Ʌ=bt`eu;=wi|d[>?z=?@XAAK܆I{d'E`IBUJMO!t-29N)Epl;>0o=чzE M|rotNV`%.0X{+ bp5"P-[ӵzzyӷ|_ek\oZKܭK@<sѹYnrJRS` x7b7&U#ynIpH+d'ӳ!OR=Z?Ra&ax(V"!4+B"taBd2R&F,=3 SUx7o[Eס{=<M2^1~v):T3:..8e<4`6;_k.|f#d7ر; `Ǹfik9$y24mk-tmv!͚O)+WpN6^P1Sp(t=i}'g~6:O |@Of^O$oG,|IykՆn~pXX)´3Y`䩹SBZ=Iqq9ǖb:T {ix`#&*}u\<,ߑDg8/b)mJ$4V;e* VQڦp5p{W )ПG;q]k߶&3XIn>mTnJV)4J=M"Y9'`EW0'dW.FJguH3 i%oh<( h!cR5!|D'8bcaS @&SKMy p{-_–5șRWsfQQq<'Vc-}u9d]5@PmPg;vнFH-kXS!*f\N/5ka ?^'293pmmthToӳ|cL-uS|ӈe\4%jnbld-h꺘?$dxbVX%mΒl۱cۍ.h{OTGy*L {ۉ^NXYVC2)e0ΒРMɹq$y%,:$ނ#g)Yp@]˱`j \S Ja.u\}%s#=CB-&k0n}撼/@Pp?OjөkNK(y vsg o +85vtZ&]hP"\ X?Z).^Q AzZv8HºF>A׈q6>O^9qHG-EF$$A{G_w.D|ؾi7ɝ$uD#`-i|APC<(,Ue3jZNb-R\:Co7b϶JgӉp,KKi}am5]FTMa2mؤu:RSWY3{Α6_DS G uGc]4f@֤%]oOF7G2Oof9/qf?1- =<,Җ!fg6A`;{8r@ Zj˾VҍW$i O?ʦXn`}@#P[=߲ƄXq]8j4y˭:$#rS+ަmgʻ9LMFdz8|D[>οP"m%;+%LXs<}Gb~铁lN/g~^|ĶpSM1^qמ Hd=kaS&Z>Dy'#d``iQ OȤgPpҤE %".ͰaXՄ ffJWb9XB(N-+M̪(fxPU7.kWF.n437IV#ÿ~V]_5hXT@iҕ?g31TF0C % KT#PYSDJ$T!<|_͡023δϕE|n.љSa,"oE1wt=8BRj~ #ؼS>*b*+3ho@7_4*̓;=<ͼ 5~2b'T˝,}l+aTe{ ǩW=*Q?O'Y,Gv=Ga \]CSk$ׂ{oQ7{a΋c Q<q7B&, 0m:k :ϪR,r^W󧼈 `uUd'4d{#ޕMo 2X::'#/E3yi)N˔,ut{WA}%WS'iݓrf2= V!] pkPa8ǝJd"㝈ޙc AŅvpqKG(l-镥uן xv36&p lvW$Q`wN:(dN\bҕ]2XDzL; c.VRه_ B7 q^AϛHJ;Wԝv $0!FICwR;{|)@!3َsxDhU3e] Dpblw6Kn0 6s"/(q۪h5S>M#QFi,W9Xһ%I͊zItFǢe;Ɵ>aƵku+6@]v%/딅|ς>$tb ×xt+'g`1l=1E7>-W!c~MM+a/J]7# *e:7.FX]ݡ7(ح+1St{̦}4 ̦N I/E3 .ȷUKϤYŸ,XcElz=ɑCۧ`~؇5ȯD>L|TwcyV" !u"5`;)DV*!eZە4c𑱕j4k>=_g輥v+' <:}4cZk/iPj@-zRD.*`EMY{f2&閍7iZb|TĄ2'i&zy5CިiO3;H̤.T ar=&lk;.V|z.nQdrT6X >ll\S͆vBl0[,D曈JKxP55*p3 &);-˔Dm''b><z@ڑg=~)A;j)p 8 {A'jԌ /;(C8@z?ϛ,AA}syAީw _]5ş4zABQkf Jm^I7贂 ,4c-8tv|`u#B& ]|zl8n]%Je ֿp_@shen cUb,:'n9ʗ ˅[|,BoH:A3vr"ZP!\C=h@@##R- ua_,fmJq!24鈩8g*Bh[fpփNPrFd L]QEiy hEpXv֒$=ܗmlRd>Ԉ?o0Hfb  NZ?bәF~*T!` MH肧F}概tDL[R [v> M[Rĺ O)Є|DZXW[}}5-6tks#DZ/DUF FֱDPrxjb_6Fb;|Z,^?>3Z^k>5OT5xgyyDV-XqEْZCo6eA2_%qpNpJ]̾[ƱøpŤ3tx fn&}6 $ oC',ӾϷWbv7e8N NbHs{6 ݬau&fNŋ{&n@ ϵ}NiE¤Ƽx<‡kg?MZjY,-0;`pJ9RM*2 ιCű#n<)8DJԵ|ݟ)FvMfJmfy/Y/xPHk@Sw~{C۶!RgNŝ{x&@,<1ʡ, ڏM$imXpPѧ ~)ƪGk3ŕ%19Wz sPV -/6ZڏF9X>%_.v_8ծw@$9P9n|ѻTeZl('3;}(f *vUҕ=ɵv**a `ӃVUPAq4rB_p`Vլ*m qJbJ02Bmȉ 4(=-}η`~BJENH𑊪4]pl 4߸v=g팴4H 2lAX%V2bAUäHf 5fG4jS}U橞Y-f&(G):Ba !q1|FV? ^/&` @NԐc563 kvpJx;911vXZ\whiYz)%/`v_Ύ(@`?b+,詢WqU/63hؐA &*KiX*dKY=ist=5 ;{$}2)V7SJ<ؼO)p4HQK.2gu1{׶v{4V8haOpM 8@_ x IU<;W@W\6^F bŔrB RnT MƦYA? te*3ޯeLЫu狕8MlK@n?V+*;ndtYh(N}٬*^ ]P(?`BȶuK|OPs\ G*vA&[;-R&vH+ZV|DUe'#iny$D#ȽQ7ê# 0VT~boak]TΫ)I(Ahy%; '<=Z=)۸X5Tڭwg(]`a-uü{vtvNf3/:ֵ~-}o@2Xj7+7)b(Zh1/!5털59Аܱu""./jD삶q)JC}y]`/atGѱA򶩡zFP;Ŕfz0 ܭ²6Jiv@O0zNmTb%3дЯʗ܅m` ,sF^Im<(8u#S#0|Mlf|Vyzmrz0[S(ms'˒C yQ #SG)7Jb^F`^ʃ" FHҭ%og2J`*]aeq[XYTu[η(gQΝp/ m<bY$l{|4|9|e[eh; C0WW|K v}f7>ρ7.!8OG d1*HUT='|_ I ɆlonbsOxd7? s^k@ns11S#3\7-5%{[[@)pY/Tӊ=KL)N :EO~i8ܞՊ`p5koMYbr;¾woJu1ӡ|wg44 ,%n{Ql~ӷsgKCq~0m>B7j;c:]=4 "bCvvb9HD#]ռ纰@.n;Y&Yj3MG ?C8S87.ox.6Qu7[v:8Yl"$ۈ8x-N nKXxt<'ʬ\L bo4Apyz<)djO&}]8I'gRvE縡}P~}8ڹn(۟/I?gXllD8KCڣNvǦzCg霜Rۥf1\#D\In XE@g׽ H+# j<` q31ܩ6:{)Sٔ?9~: Hߙkb{)l \ef|TDin9ZW0]0˴mBsd K_fGƇ92M1ڹ'8){Rr<ضk-{J((?p*BGZ uj },Rx("a YePSϔC'٦1o>ib)8>ޭl㍹:Yrгy;߳ɖHcҢBi .E`"LdeQ$&"P-DϷ%ii ^ѩZ7mixTڠf͢XcP!$q_Fas}@$ZIvcȚ2U=I oGh;lD(Aŋ&!052e^=Q OӞ]5u  0FkO3%)Ftj/'ǐc%n[AG=8N?x->L,ĆHhҐR6gEy#V-}H3{mvǶ/} V}a*pD݆+bY+w DV Vu?ydϭ@/wD[]>XaA/&a펭\𦚕xl4Y0##C09dMkk"p˺d(%yrK̙(4yM^ b0,l7]v'j+oEs=ZɀU8) b98ט`3%h5PY\s5zL*OI<0Gzh6[q;{r\;$c 3x0"!FǠP jgYZ7zXZִF! p]ŗXi%JTIdҽs}9Q]gzCs Oj\·g==ݸK)M7faF4.EBK8l.C l7dkc.c騮ёa2IB0\Z#Npσ_^Hx1;k^]&<;9shEH7u-}MN0V_m[ஈV;:UǼ ;*=ܪonf ՈĬC+q)8T c`&pQI>S7T,swQOFpKh݊RWTbT/|raî)8r+ԭBؽ@:}2 )dM.Ń u+(AIrzc|! D"p,i<MNɁB H:@\Ohc?{EDΐ$m~ FqqtҼ/reGCg)5:q "W(ڲX2Y+,Fߌrn45T¦ƕY]T{ ĎIݻcETHHlPMͧ _uس~^a{iEvFVH_ۯ=K(6AK8֮^#)̄/h]?}J,F)m=3|*5ܦZb bj}xAɾ0(cM~ i܃ܡ3=yS .N(DdJO6HQ/ǾJ*˂wv,3)lXev@8򯶳y6k+rmshAUe#Gh3ߨ5Sreƿ$>%S _?K+AtJ @G4s{ƱtG&2:0<1@fPįQ̵εb!rLjޗ+zOՖ>>qPB Bf[s F NG5S۲ASSɹ+ 1ߡݧx{dIrT_qQTEx)#zl=Æ92W!k6ɤ.}7uxKz;'ķ(ʿ|D,ݹxD) FE.LelW&M؅XQB)!|g`JN%j[ӌn} PFO}_LTY1$M)=vnhRVMk ƸҵgCqn Ҹag3pWVs+dmcbƙ,3FGƶaGݨȔ1 Xav瞐qC藧&K6IO!Hbcc>jR^c/BO.Brq_fuDt\!r\cv8+g}7% k1k`,o$ ^l|iK<ߊAb-L߁xE-y=-4T8_돷ZE@x˛47襵5s~/.Y;9oڈ';E*(O6򘊝 rMAPǯQȬ)G+ B+(P#'ø%Q3yD'ۦ-nſ)$ryԪՀ(Q2/OmIhAR$G׺|Bwq\DU`%XPߗ1ѶfY}ih9C>؄mıf ۘjn8. 5l]l~enNb(5*,`cDި&4ʶB jZQFjd[)e#9ȈZN٤,L#n̉h3 }H'IڪQX-Do%O^Udm%RzoNWw&le$9RKҼybrJNx{!F$Ԇ*;,Ip9 I6 |%ȵ`n81eʌ,s !y^4ej<8Yv m6i^aڌ)jS/sN =߆d(W- o1`5IXT-K\,/() 4S RއYSCM 4?\F&T ^\5y[C'8>dӹ۠RN_lgԁ9yO90+0mi ] g& WF֠}gڡ#hl]ckVLUU+n#)~F׷m\ .#کKPR$4yҥ&ߢJ`&S0u脺5nUKY áa&$#%<@n5~XN~K9r]RӸI/F?4b]8tĉ (9}">9<P=,q%b,%ޥ{2Qxv;9%##S&dIxS.ρL\JJt=~uK z L/I#ȴŔz=0%n-^(\>1oR"[|L>'hEݪq1U_ruoV,Q]gvYHv5E aVCE ެ;7장Yaey+'xu'<(2 $ opD=b)) M$@e1ʓj$ ڇgi%!nAUu4Td8q(ِ )-~U!RZ ӑ"rZ d% l19htO>ڊ)b/Z9c;AFz*>{Y|*i*TC\}W:<6ϥ0fRM3<A)RK߬WʿŷL>V8\DҢrrMQ1֫+X5/ 𦝞9׉FWe_YI\s6jfPό%#hm"PW Zз<|74oq\H^9'>]D#/!"d* s vuXvMI\rƁܟpݺ/[% -BnP_qWQ퍙_Qb_LoƠ~SmZЯ2daZ1Q0X@M-;c^x;zgn6>g|ˈaț{~esE |na(ݣ*խ륅w b40) z,+"RJφ+s@xuaֻljcx/C ߬=Jle8L\QsfkՂ1L->u4Y9,ZL/]lN%u/y]^gZL>\#Iq;i:JLcͮae@@6_*[ I$݊9RqO7BA]^v> jbIqUQ\XK_7ى`~u4l.TXMmM95RA5t%AntEww~Uj`#~S>ϛ/eZ< w L8x0kނcZYȓIDLѰZ~{"1(P&LgڄܟZbroLHYV@uA&{0`n MfW}BRkfs֡O1c dU O{x!C#}^\WOB3~b"o9L祝#h+O CR"V;`K[\4+BD6"ßC`wn)3VPx@(ZuwVm3b

ik^&/L?sE|C~ߜ&eM塙:0mq0"`bf(i.M'M%HVCϩ[ 3z3d CS+_#I^[b%yM:`(W ~RK\23"9$gXE'EDT mycoF ?(jmĐ5E%R\&JJm'-S}5n—]1%8h`4:5Mj蘽QcIJȳ7zFeF) ́n}nidwY%.uFUu8|w 3Yw 1*5J`GB3b HLXJ\$aR`uQ o*18l\6qQqݵ̢ɏ+EYm=G`MRIH,m,S V?(o $2`33UEߎX7o[ŇG^wZ-G 4Of@t3DlِUe+)?dk0oCALD';o*2cˬqM /1_qkܜ1^ɯ7sHIs?SB -@h2 ~(֟FƘ  bԭ¢a)Oe6p& .t[:ٵ1L NS;0vۜMmQRQ;IE{5!>v67v{:~V]-o$kqAr3NDǣRKBC!ۨLFԟ9{Z[U]C2YuݿBΡ%C7?Xx{/Lɓgӓ?ף o(R)2uI ނ 񜽑,'(Bd1sR%t9fZæXkX\sj}yqE@0>B%SIbqPڬ7/eyOL-]ڞ[=FFNX3eo&c[LȦD(xg=b,(R6noUڡ@Lz\ Rӵ}-؆4^8-;oRJf6#8GԿzMf5p\CV7=(sl ddΏ  eWĸag_F>Faܯ'-.i=˭hC (ZZs&kc4г&+A 8wXk8G!En6MZ(h-ԖiaJ=\( M A(J܃TTTrs/k7_…;G[s,]6<2{Ɠ} J)fuh12ڜ+%d/.a!M[Ӂ] 0IƈKD^ 9ʹ 2yAUfc,0/+&&CӶ!Kk(_nks+mÈJOunmu?w0wa>">(on-W` +JhrZM&TUkqţNXX 3ּp=\#-f/r+q# & 3SNZ5jwCBhZ]k`泘@mu,-nL> qRC 9Z f3gE*Wrw㇦ꬅU{&V=tS6Ћ8/u&/!椉%rq8eu*YDJ6V@C'nh"LKT1-ob<HBv%{>7Ȯ,?)jȸܸ.Go ޿ 䓻 omoʅ6;S]6@m-6xIMvԳ*(g T$]Wq0Y4+!R]: A&S5@շ_o*Z %oc>7;DM@ #ڍ/XEj2Sue"$@cDCng򏯺7Do7$1.lO% 2`gmM4h_L|;ԢyFlW+UsN1n,3?tM~cvA v2msUШac;3_D8qL%n|2$\ԧΪp0р(`P}K;DCxp"\uB|)AODc-v:0l(oej j镡X7h-)"ޔfECg$ݪX8N~r‘FVI y`eVMEk_Z=2Q!N#|>+P "]U?):ݒWRA}v6j±lL{,]djN/p&}1~dDj%J (_r"dKRSeG֠m:0] #KřB i#5 _L S[C\)39 ۏ ,5 &q``n!bCZY&[_=$}M^ !&NDVPJwI"M;os:B.km#h幫1NAz xLM<~vh@"+ᔸ ģqBp*/N^!㯯H;R0sr'&+sXzӧWJ;c%K*iesst#s?:s՟֫SNGZUļ?4*f0#,ʓ2>b]-wUi0XDZ{D똁 4iC:)6#"7#*xpj:?)o i.E+DY@d$N*zVCu}GKd!g2_G`ͦEqˮ[rHV@L'#r_ RП*|Lװ̰B9? KhDxZ3HW,_pHdV938c\T- Oefr@3#ZU6۫Ŭtq<_e?L6y2k\/t-)5Y:ԮrN0*|R)aL\_ S$p1|z٣x !0pV*=2\Bf!LEi-U|; Pj-U([q+9Nw ʮS*i6הV7ȓy\AWbչE܋m:C/uؼ3)p#nThR +^vprXJuf YW+[[p~5`͝jIg × 5LGP9=-9up(6L70bj17+*qa] )a^,'kȲxa>Rds$&.Ła7[]&. l{/,+kڤ҃Y8p|q.$~JزyRXr MF K9&?:V7 @&я&S SJv4F06ߝP[l8w:겉Ta%.ʜPb^;uu/ ;sgFx0[jɷ{/>pSO`ɒ/x,>;ͫ$Bf~sx "ZdI5"Q;KZ}ʺNxZҭ4jʸPw8&bW&o6>Jpu\s(0,`:DWz ,(M08+ʯَT<ZSSn\@+M$.W)!o:@¯B!Q)i*ށ;Ww6vZlQz4}dС~ ̙BmK1̊)mLew;кM x]lR c> k01&ջ"'LmV8(7jls&L8mEo+! P'0qUIV+P#]׷!_MJmz"VA%t59a乏`ӭ4S;j2pU,9`doXay> 'LlX3_ IZե]W}p6,XVD1?J > \+:d..]|x *C:_z;+'/p<|#ԉH sO},>XorCKݲT;ё]XS']d&+lݳL[W.~9ٹL}IsCY݊hb)d7(BԃZ en&vwJFDIa40H$oWoܹ?#fm =Jj MH"@4<<ͅ.r~u"ΐ EipYؽ$lɱY{iyw[jζNt#q@$mu>ewm%f0*wVL/ب±N<1koRN*BKg@j /)VR$Ic7Ǹ`΄i^<Ǻ-x<VIscȂRm0~ Um)% =ěÔe{yo)Cݻʼn5u]cܝ~^ã$]1pR"Oq~#d!fz1i\3Mv>;Vph/ڏ7OI\5Ztq-ȷVԁ 0>*̦W~:L _:%چZB=4~Z_7.Awb^Z ˡSEqWwK(^Z'Z|+3LGÒj:_7}tnTjsSMCyV~ƧTg TO/h=\<5%]׭]F!|t si(w/2Z24ebө$U@+9)2qH{ b@^9r]l2..,@psyhWhbpD P03V# xcUJW>kD;BE#d&_ZOnQjj'ʣӪC8_qQ%ΑO[?0I\7K'#վ^!$~Muu몑l'SQKNxp 9]6C*45ɗ9wYX SPM ^mKdc_!B=2$r]ӧf`~ܡR̬v(]IC I#+da %˘ MNI2xwb1Ja?vҘ4Q`ot8_r~|{}"m'lYV!ٕlU8ao%j-`R_z)˧hE Đn<D \ef8xSet:kq%(HpjN-\EWB8!/}cHe |#A@#e_ֈK<#COWHyA&p& _ tSWeV  bFAT#*WJB1EDZR,蔣ܤ3>F5 H$*W:6N*F ̣NoyW٧Dӥ]co%O_.=JaݲX_Kmd׀֖EwM n_{ OotE`Z+7E:=q/8W5[kϑlxf-p}A HarY$8#ܾܤjN3`'^c!4nݹ('D#n-g2 JV/[5d1pCjXcasR/z'ÊHr~M6ItWI;]ͱ\ "X[oN̤ɖZM fLW5A 1}dlnPۚHJF/Q@Ï6\֤% &AA^8t@nԫku9Eqn Y{ӵgTz|N9"egI}_V5"|N`?%fKcyĴ>hʀW00Bב*#rW˻ "- WRȠSVB}'(󳨠bQ|GPB[jrSZW l=y%Sք+|{[JTLetJf)T%ǛEvQ*P)NC{B&>B{=3$ ? hj$y9ђ#@fa>#5yJYҵשn$^ kiaq0 sIF>%lKh}[0TD>@U%eFw: >=Hf:Aq\a.Kծ6^{AXwˇSL[<8nfUHt3bAvc2=^ҕ$.HUksn"[l:)W_}o[ qqX$$\ /x1KOA]7X̶Cu+c*z]=" n8Y[~6ܤ-EΊԪ6`&1JPZ \VOeEC~$B2,w܎Z*lf:: ߡbk)њr&M9f2Q؉~;/x<%YFKҋg7"οݮ1jDWhaUaq퐾?Ns^YI]`+Vx[MTCYĉ)'I`m7N F9jbpS7g޲JY/;!j %D==5Fʩ]4[=9lMzl­ 9ڝ*ROdtk9j HSy 6:[;N` Kw{˦kTnS нR{4zR ýǫg ]͇Rt=t+_|Fprb|x46q؝Fcr?mj}"!6\XHy3u[~3ZT{SR`}Ԕ1@cB?AXdDbۀoG7 fQ3jMjӈ_vikՎT٬~MY}Jt5O ĒVC0!0xU<"2>82M? oN),u᜼:^8̮F\?' Dae:W[p"y镘Ijk@D*Ё?>\`ѕ!=eJl[4!% ~!>J8 ǘ6ʸݞmNgLF캱%V-VmLNVQr:'&ƾpp dtT3nc+Ƅ/ /mB~_y{9A=Ǖ8\ې+Ywk"0kk`43%@h2sb *UOA:u9ޒ84߭គq] :dz͂[ppKk/6hfV"4DqGV'\< Y{]|)5bb:*.$aסy3{SfВ휺t ̏Qo\\TQ?֢oTݢ4!=Y Tk-;=@ܯ3 4?6LoR]rA ZZJ/+%pBsB}\z̯8}j-.j# rxŜveEF6u(6+܏(3 e:ӈ#n[6EOyKIB5͜H}AK$CG n5d/R[z+JkgD qzjZ+Tj"?lsٸs`as?#p5Kim1PJc P\iJM4,`FE~8YM#6*nu*O{Tq-d'2A?HuT KTl:q $c# ]`sarQΙMOIu+_k0rRq)^"xx;ۋtB\u9?m-qss嬉D=a9\bTR$q1 }AS/vF v|&ro-:yE!".` Fì`NE`,2TPbaW$ x%Q z ub*zp姾&  ;^#Ea9䀂UzudwߦZ"Eӌ}v \) XB_gn`\_Rjd!Y cl~ߒ Nx4 `E$>d|x!׫)bfIbc9a6WpCVg:Zab}*C/t= Ľqj?XN*o(F̲$S&`q"RedM:4qTVF>nb7YW38{x ՇG2 F"vYnot) 5=Sj.PKX,4̍+]׭Hl kz 'TOkN@R[]fD $+@DB{ctM aʈ2& ‹҃iZ~J{B%M`OHRO5R54sGKCf i Ep  ()}(D5I.) 1U,SX@04Ӽ/.RINܬv$<( c_YO@=EByXL=OU{9]3[egX! ?* A Kv\)Kg%33Y>gK w֨b5+"9${ar~Go܏ps-^m$->6*Gaع19yMctNSAGA'fF\-pw'FG A~iM$V>c1psbA~)GKT_IF@|qJagLL5(_/&ՌMy}`&B9&#^N2͓^u=uE@i~4Y*9?fzu{`% X"_Rʏ_nKdVDG9` M. k9&R#ԔLgvUe(NRhͯkD͞LצM %L)cNT04B5}6sLvԴn?u'W@,-ĸ!BnZ515L^TgG$wT%x}. &]RReYuvO򄠠v*; "MQX$Ffu~o+oh'Z]x֍oVs##`az$ͼr$dإvh5 %F‚diBhl@߭w0G!/JcX=;okLhOeqGPzӈUlr ͮ {ycBY2c-E쯿8EK׏a`8W(㉤hجI^MN&tYCtLxnRlG-Yp>RiOje$tPhsF&Bڱ’)¹Gy0=N_(wڰGM!R砞]++s4fڅkvof.ЭRUM%c/.Pk[kϲi O&^FSO]bJ!DXB*Lڥfmѯ%`WZGJMV"Cm"3ScҰNOO΁j9jMvC $:$V.j) b0qSd;] [kB&7퉠=$ R@;,CL4<zPaѥicԾ\ 6A3W(D3b`dux+DwkřRE+a!hC",ժoށĄ1Xw uJ]"+@Vu/NUrexN'pіp(!لvD-X 7q]sQX )1k2=\ɡx*&l.k>cWqRA{N"B,f+ZOQ̓BrtEb"R\%k"{r9x͉`]$]PKOL-[sȈvZ U b,?Z#?j¤$5x q# J v7%z0 #*W ]&ZjPs W zD1k|"[g_QK/?_1/< I9j,Ǹ5t=\6C1Ae:xBTgX-(>Eii cLdb~Ab<^DMF(i2J-n3֛0Q)t(oSmyJK*'t!5ZISl2 ϖJd,܀Fcwp*} f)پU{׳E0P> 8!Fv~'./ 3oo{sI%^ODYD-hDT^zlZ-Dijd[9O v!U֡j2Ab&Ean{|㤲qX3!̐#O+v'!*H!ҧBKGyӌ5Y$'!*.슙ΤWj[Uڑ6}MU!&i?ɗ0àLdȷս`9Ey*̺̹^iqRR 9j8dFҌ3O˫rc;u+eyVy[qDuZNhe3% {o<T)qGu3bZXZÜ|:- bƠХ1ς3%j%+Tb~g%|-ߥV)rl?3jPRRIF'_J67dXĻH"+ۙD5/B(nMkT^Q&WQ2 ȮR}a2&F"Y&p /t ClYÆt'k>if22Vzr4wxB@޲lW45ߖhteޅpo-ۃukdb8\Dќ$:E68}P%#R($f:~=a]p 3+KlP=ݫp5K-jtM-m1XDqگ"]e˓eiZnqRylSxYt}8jh[<*Ѩ^4l)<4fq$&@ l.؜0uh{(5H$.!ae9"Xpq,*HrR𧢕!e]Vg^ba | :E[m',^T!|^!G{T$9\p#Ln#v1%Y]f,-z1<LiK/b>h$@ɸKn4`°ndG&>L)a3wڌ1a[& A^|&EBǧę_ Va .@da0] rwആڍmkcR/W(D0'x_bAv;,1XSӧ.;?Vww@U4 W *[h  yxgi[K4rEΐO's[^1IbM*7J 1P,"_^z~c"  L9A|ۜr.@.|D`^rY7S3rYyV#()$8r!˺MPBc$ed -VH܏Q"㪖e}u]L{JI`~U@{m5q-R'n\wC)u[ g;3ʡX99BE>3;9HL.I.1w՗)B5`Lai_?7ܻۗ6?sbJbʽkbx!lV0ErUz .rW2f:[ESF1~&~w^gY7_!问c-&zs{i,oyq%$], qk7=z`oC74+Bi$h썮'9tr2:>@r;ݛTً{ ~/@]WcErUٚ9 QԢ^>bg_H.8>Lv,0^Q10L 1W&Uz۸,HE`9紂| &(0Tu ?;С:9eK$*4_rR`lʗ.M.9oW P0 #XNdTG[M,+dFk2g+#Y nXL~tX~bDZŌêK@ 5%n-,-4)/(tѢ%n*<.XoHkJ;x-6k xːz :hO4;UrZz aE˃'D~S7 o6xAfV*p-o{X6Z9h6P)?+Db;+o.O$R27FrpuFs[Q:~)Xu[,ruM*b58V9C(4C=rHN`T8ys;k'&)ۥviNGN[D@=R¸JdM5&Eũ.Iz1(ru1FMEdڗj`ˬ Rzx I5.v9S 4%$¡ŞvDd t1FHUF]f^qwYі60 6c7lԉ"=n >d7".wK_wBSƯ?\TJ uOnAc^~ OӼwt@~,Ư\ub8D~qKp_ʽ$:0"j7.*$*WG.(SlN0[v̥' ZNbA07I#=˶#jbM1Oz!= /(LĞg,]RɆ;YP97>ȚܩjKڅgn"?-n XY5O H0n-I):-"Cbps'Fg#FqIDJɞ@d^ׂ3C4;}PDzMm܎&4bQ R#4Y*VC`t$۱QXM XD8IYJ ;5p@{9_*Y,}G484U w[<&ĻI&7ko63VL=ΑF*$Mw3JgoXD{^ xrl䚝Ðe@6*EZ3l|KFm@cmbu%*Hix{EW6{T+=Կīe!_oˁs]z z-Sg4K 2RɽV~ ˢVȢ&D@Eh ky*TWVA.`cqt+L &b2GrEglX Q0+x騡V$na5VWw:SZ b雪>OM-^vsK409e UbDžgr˛|~ )H:lԼΈT!P7~r6 R%   :x3)ȓAD\Nu8(-X_ ҟm_7ڊvҌ2r*k¦]o1&Qz?m$)L?"iq"*d6+`n`rr2 ԫ vElj;h^"##\s!X8ű28APeն[̀]t̻+0ޓ!>u +]Q& ̎sqjmjjٴ!/N$A&HI~2H:#$ aPZ8^|aֻq@9-'..wO TSpE@i#vu58%za* t\ƢSe(:s@ l _l@p{`nOǢ)EDf,XmZJx0̨+8`ݵ ϸ`Ocە;Ѝf )~Ag5΃)Tx@h?O`P&yq^oc9Xo*6 <۠3f԰KuVʦ [Zc 42mcSPыX.`/̃zFSG63CW%_rΞt:j1G 3D˵7[CJ#ʝDv ]!-|ݹZ$-be4H!1W@,qyJ٢dQmL()<+ծ vOvVx ^,d5cH7J2[M>ȮCнcHIr-EM; Ŕ>Li > \)2^J&2gVe<yy awۏ?N JX#Hҿě?9$ 8P&ьѷׁ$x0CAڄ,ď$).͠"P.iR]^n}nZ~ĸ;f2^~-/a<Q'[ys4=Cy]u!7t+ӽ ԥOB'K/E*wfϜ/RTMX#2*Po2H6@/2{xG}j@HH"qvq*BSb%eX32iVNxf&.SnCQ8뒸9Bh57Xg17ؿէtS;p>ZMV Yr _p+LZpLBҢϹmp&s4 n 7Cl;#-T4}խ+Dvrs2M2_žuޗ ՟ .]ߊ# B~윇7,Qk-"1ՎH*BZn؏CF'}F`Pμ{EڦqP_.!n _UZST5EzhUiH I39xVt?{=B!u؃+hB|Y!3R͌k[}~'3|vh lFߵ6 %Z&>+sp΅OϹӔ IBuT+6U@ò9DiDpɥ1ǣu&Yo3Ԣi,ަe{Ok[ny+:@0 կ tℰ %ۆn~L&;i_S1p""Nlc/yƃ[kѿЂ>HؒLd;)Ǣ7UG1yM-@̌<{~v/g6j)ſ^_ȱ*<$͸% Z6/>pNPwoKmQ5,֗6D>|zY\G<[G ?EMlS4`2L5$x Nrʹ2JU_L*ђs"Vw+ v%Sj)6=S#8 CKvmS&~ѹݔr/Gp~P0۪NNAD>p!No UG?4t~fua2:&B4u.ªpaЫ ay2I1#@J[qJ<Yъj "߂Q&SQJgϑMG^ uuCֻ&exIA&_ȍsf-<Gw3qci^]ӎ+x-"DA?[Ef*ƪᅱQj\SlN:o=G:WX@C8[q뙖T0,4*-gs},ZHxZGԞ,ec|b~ʧ(XLmqjr"N/[m/!!}<~/%mq* Y)WtOڻ K6X0scΥƳ|khzWE\M\=kɝ7'; ?:lbV?E<!CxN_Ect.A~CK70q9!P{|G>Tߖ0.IN*8Ǽ eYWPl?tJoPvK{$x&{߱gYZbd2979988cc8b9436733989fc5f7e3281ff829d4ea5d3ec7a09a81effb929121bc44f77c9b8f958a 6959e761fb2d8563ce83e51b2e05d5e3999e9765af4c6871baf1c1b8ef31379d65077016775405c5