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 }}C! d ]I]CAVA_Setup:threads=4elapsed=576.698cpu=2020.324gc=96.216factor=3.507zXZִF! :@]ŗXf[&з>V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs mEHF)?liTTḼ*!8hOcLe$G!eCp4//c/u|u""9Uduu_+W/oР^:2P+$jRjG 9*}Q"΢Oθ^Ѥ￙~߻$488$mY %W`CMqGeNq^XWNcDiaُ}?DfoB*] zY54;1W u u!zceA/MZ}8,\2^6BAD|Χ{G5ArKMޖ_1vVf8'vCh Pů1ΊEy o@-ÌJv֋mzHwK8!hLsJBG܅D=+@# ٔ5 ,CsitJ{ iQ e*6ߵHy~d)Z(ڍ<.NΎ8Ւõw1#i(da-搡h[reΆe +@3YͰӝatIʹ\d2QAOx |A8L##z~f(gp.Z`DwgJLl M|M^-4KgXRQ4Ml)" Uvt˂ѹ(1侸ia,Bm:{?(D n]5JJ5س#DY!cg7Yv&X$ O0.O@ е)]9n(WQA;Iێu71v -ԫ\]yhIrz9G#J7l # 4_"?|luV;_S ;e W1I{ 5fSMVG iLH QicByv*rQ?)> &KEO FTY~o&'@<Ï5*>'@m΋fV+$6쯶)>w 89JwTuIU`AΑ1,؝MݹV튆ݫ$u7yIČ\miM+d2U ΣeiwP1gӞh:nT=%u̽vV-ָ?muo`Q <*0'!_j@[8hVʜg. K4QXT+e/syLRgNĺF>ʹvR(kvrܹXKeLJH dsܫ ̣W!#΋ۈs>|{ E; xy-DL!NIj4lFVô< V>sN SMM<ՠ H"&\zcX5T޽7͆e]r\qIw>~7؝5+-Z*1xO%3\ϮJ,Y3$& AqFt򥘾"/ )/óX\.yt+IcR {H+t8SvY0G7G%a9r" k 'Wc?9205=@mZzrc?xH3E` ,z7 z *@jX * ]\dQ81%$ y4TtM"#"?Dǒ65===| ԴǠg9hem_ lA)[#ogm69)K`ـ =_ȇɐ׼l'fIs4E[zqWAՄ >.HZ5>8 |}~ImP1hjl˒Etmm(k>Sv}:*k\-BMY^5C  ! CAVA_Setup  ('X3HXΑћsLVҖ y9'O6=t8YQ  חŽ(5Pka48 _oE\IfS?C~2R/jHl6|6V^84Ez!;I0T!*iEZ g;+FMPݶ4^AsmIJ[93^O V40e۾J5PY@7<ߝ'sSCdňKQF1#Ý#v괂:,>H*1ٶe4^֧׵w}TXζVYC"b>b'N'{ xN==օ2.}E6;b7 FmdIsc'3U@&P[UeC싊X lv 9!~ٸQf 87 4q@PLuf;jDY3-_f!CR*VRUJ()n8{!w% 1o~&`q~ٶYJD񇔃)bۧ%[&<_D*c_uT^2gKfr|ƳРi rFo:J)MUf 3%u3 cepj> , kqZjuR$mq^}݈/=[EY}ʻ!7\;lTat՟$)ֻIt |LR*}[ÒKX[ߵaI * 9?NxڱoQ},̷Ⱥ,8G3R5/! _CRΩEKiƞ1A5uw>M*U_*1ɅD$®bpƋxyULUdJAla>;$"{Ȅ(lH^\ & I%B;ˮB;wV&YYDMD|"p&8C(=1t81ӸMqŧ>2lc $RߒgB-׼XuT@d:k؋!O=zm[u7+@Rx ,CmYsd$O6'@}~w#ssL3|ȗe`z_ oy>*E Qaٽ_m*hc{*D E ogkDBTх.T{:Ҳ ^8-66v! lSF3^~xDE.,jq0&=uϵCHX!!ۈAyb޺@/p'W޸ݫPk>7iTK Rmadٜ'WOCxd&,ܨ0g$Ĵ7S+d:XUXxdģCPhw !)_Ccj$Q~oCtC(ڟce@U|B-cOGnv F3ݎE 6 NpmWd3EX`Cx'kBoWif_!Gw@$sGd|E pjbE[EEɋfktϯڋr]v-MPn)$d6"x֚tnE#}#Gvw\r)ۻ;]JSΐc@l<]CTo):Dvv^v Pʒ^q޵gLO3r1̢s] %T^Ȅ7e>H3bS-l >祫>`I:"Bh:<0 m,|mѷp^ӄ& ؂f#QՂosemný$g)m;)yR6T =_X7`Hzb#D,{LF1 esf{U2evz37yvі7R6+ȸ" =#If6 5?r0NG*G0cM43fE@xƴ=P80`>HM4l{j:NyOc`86yt+^4UUQQV-gW^ ﰒh~hXWOK̵U5}r,0p|d/>8D\7E-#y4f+T%TnP4֌hjkt}[3<@.O0>R)Οp3r(MYb.Vx+丐Fr 8NZ?KAy L^K`?I(fEѮ+(ܬ$=C.e =dB" pV< `ma:xpNN 1Ea`p~R[i/eW~W#D f_~t҈הH,ӕ;jȝK Qr-Mhb{; V#׳u7[[]wGWTwL*ʹ}ņij/I NfT;阴K)Ƙ OzRs b{&{9Qdhl5b _ 2_gDb*M9h)IxO] O6IpW[$}A@ Jr4Bۢ3S&$tIe Lg^Pj9zt7]͊O UAC6#)S0O9BqiBڱGLXNu5XbHb&oH[k s4J,q_|ɞ ~HUhAiw4U ˕ds&7Dw`>) t\Dq%uќ #A%/}bGjDќrbe3;oۆb3ge$=K {OZi8i.7t紓j6eӮb_' 8HUB{c}s]:u(Ư"uP{2f/Lvb&՟i^Os#CMʪRQA(f-vsM1|l73rlojuxhY+鯿ˋx@_Ԥickl570A6*ž1%UtSebUG`(H֥KCL4  j})s[G'8jz䧴T!z,l-?q-&EFC"gߑũݥ1w/tpd=gwK~zt 8h۬f+g43Oj<^F汭fHX{`";!L>k`T˜ -#] tCM[|/a]G7hSLvCd-RNƼ{4á%*JXxK3L.j|od͏T]r::oWlean62n!A9w"hPt^]B.}6%sϑ=7Gk LBfe0> elQ'OjdhX's䔕89fXgU.lqzF0q[B;eRrA˲ gD #gMR3dmY- K=md';aaeܚd#h~:!~."k@تmTZdõ'=wX.m`>2vhSe] Sϱʰc`An 7NiXxA#^)rvGALfWQ\h'OH]xj@g'&SG! y 6wHRU{x ڣ&y.SQ;T)~Lh,ͳ{ӈe 1]9n[KE{ld{d,G؜})97c(?r/kKmCvRbA5z. }3NTqhV巿BLS?N'v/ 0qt*+̣K1:0mک,eJ#2)#T`D5wo%qw" *,7i =Q<廩Nū@HQf~EC={( xkV ] 'os[X?b|+YZR^dr&>5.Phs񳓫U W*́1܍<)ސPþ 5cɖED?4`p ']7gcGfZ1? 8ig ͛o 4/Ӏi]s U8$Otԥ Eχq\T_.}^4(K]yip[ !.muL@cu3}&Ns@뵍7C 8U4kJ; WUu1TmrewYw;&?68Sh$ ?"Pɧ#s?%}ιϩv_m\ (VpKs<+fOKń Ci%g(fWt6鐦EH{H[LMEjHF{9f0UDOA{qL1P:]'!uRױ@V/ D΋@F[ 4vϼeK]±1WB<\6dm 3gh#|;.94"̃,r~EV98DvCk Id ]o2Dat߿k- i]_)TZ~Ć6|NE"'|MOU( 1@s\ F'w´t@ɱ݋ >-Ъ;W'nky0qD` $1[[bWGGtN%A41pk.JTU<ٹV!h%9$<[>UN&*`dB'6\;PFo&Ny4todU<^nfȏm? |ϻ^;Js~@/,HAj9DUeI>IkFL@HΊ\m)j#HIY6f#tuU b3n. p][)?ڪN $7T,6o0wĿ\fME/ɯr?з WVO: psȹʸO< am¾N#h0wڒ)(ѨsNW~zLj(aq~(=_p7TaRQa`]yB^!h+ Ҁo?D V"A1}>C~%_`+NW|jRbwEF{+6#'Zi>rv]H>'ܦF)W#艇UF hc~HWϻxTcFf2e}|  %K+QPG.Snj)+\fpu7zezLdU98Ă'D 2_4P+e}lP٘M&!iLIfq$§n>A]Bt8.1C>%K9_ah1MȢ:>`G <7.dՊ'"(ާL3AHѳE23녫mxuPCa{p[-:0hd>8[9X8 ёXKY[mø3 ӳ@`̄Xd&ǫN7 ›<_?e w\)w{OWӕT{N@&l|T ,q|!{x||KRjܗnԢPa>Υ_V/~l"?ܥǶZT/8`o1ߙi`' _C$mfe"A;e$JoIlD U +<Cgk{o /lʗPt3:֒zksl:DX=ɒ!.@լ:b60fԞAr:T.';'%Ҵ<ē~,Y khIpOz4ݏ6x* _*A?(Dō6-4aҘZF1<@˫տNzӳ>\Gq;% zs)d{'ڵ?>O>bU3R)"B2`sO2j)Nl["픃mcI guӛz(([~rfbz$?[1;κ[,SȞ$vs?a3I71WvyWn:> ],S<cf+7Qonߟ#; F;O+1"e' 06i]Qn0(*X0kv3ucn"J44FT_Mh> jXxA- ~s0 k G~ݡt2B~iӪx6z눫o<_}?~ A. Kcc<^uK6 SmDIṶwӟbTlzR m*S^Z I=2m[k^/s95K{-T,2A/Z-A*CJs|z =7E@lnO;09Ė[[&a1yE –yJ8+wo{r9698B m_y-Zmدnt]3lKm!C@`Doo.!,dzeXSCcR~Z&&j*ugv>NT#,X3 *w=*/+0kD'>`7mD+uVrץ}[=vqcJ0f#Yyb|95flH8ΖYJ+c*vN *`˲~a'OɈ8^ 7S 8_܍!>lj\) kRKoZ5^3, ~T#=Bb*׹%9w*q5N;H' p(|jF%{6zs6yTChm~T_~!qv%T)Bfn}RZrܗ\ɌډC|\ыF[Y+C8ug~|> Ź%z^ e }?hK߇~z!$m7"M;:'=\kewjjdZ0~}iOȡ466 VӜ_^!ߋg'!|f=X)7RԪ/ߨ"0|o"ZF7I0pP$Mf˧+2^ SF5۹Rʗ'z쁅Aņ<Lr5Afpϗן'ZXOIQ򛨢1@/.7OOd&(9_*}Qj#Ʈ/"_r]:RGMCP(2nɱ =c==FuH/;bS?ha啍RX;6я2MS [ؐ&K-V xv +Nbad'&Q˻N4rrP%Q!Up /tX莎BօJ{YDŽ1:MG1 $) 9dPN6\q_D[SN0xG<`淅'2W"/SL/O.G*U#8 S$2m2'Ԗ(Vq{#_^ *4_ 4_CW[HT'A'CП`c4Sߐ5K'aʓfLd#(c0? C>_ S" @y@RkP]E Pch[`jC3upC`FI#s(?Wki8%:픚N )eE>> c+ h6F 1͊ok,F _$fehP#G=)8+$4ۄ׍a< y\#~}Q0mْkuX;/E i`.;,<8qRuV롥{~{,QT5L2+v x-UW k7qhD񵳇J/+RIGIb`?+&hH HTv'i)R z<޺df$r8}y.ÏH< >h҈؏C%EAG^ww:ɟ*9LjHoI88 Wk:3]zz=ڐ,渗C,Uᶷa&bٜ~6n1#J>&$Gۯ13 .*wACX[ wVfdUUDl6%h>Y`sJ6kP)&Z'# W5dpRF_VBf9z3t*{8Jn1Z=_;d =*DLORyf@b Q@1R㘜'ܻO!\~""#3 gٳNRY*2*ʝNG|,cE { 4ltDgn#ihS!̞!S 7`F ?L~%'*ddPPwd0{BhàK,b|fy?HCCf I!+uuتC->a\4zr#φ&P+ @ i#>#6Iu޴%N>0 *钌r@% ґ'hB8 /(Th <'EǵvAw+} DGZ (n:? :[%"Ҹ OqJyB u:֞\ߋ2 ^#u.5#y)ҜSw@ ‰oO3?'>']/E؉-VBP YK`v=?6MZnMzgHձ LJT/%T,:m*l]ʑ.Yq\o"zBaD1z+fu-cZ~;(7FeISeWz)W8pu3MaGT;&ϫ @; [ xCmS7(1V6}Mt{n?H@"4,,{jGL>BT F9O҇Ϳ/.[ӟӄO a4y[f A!e(HYRMFoQT g/ܩm{EKhWVqܑ( Uu`Qߍh"#pb˼h{cU׉:(n0# "ߕ\)R-x@0LkG40F&J|N QCU3΃іFaN(;Y|-j8pF[-T8ID %x!9ok嘿D㒘E&˱tgf}BU>m*|9UI51r OJY?6d EP.B=t U CgYZ7zXZִF! !]ŗXiɟv s3mU!Az|ByR:'0Od8aP3PY3.=,hhw68/[X!dst !?lW`WYں]/fO {n'RX@b4`[퇞z,Ɉ@GG, (X$SAt.{Ҍn#J*)y.gJ6F93eF: >jEۃ]kO,, TxYq NI< sG(M;p ~1;]5Wҵ ]O߂=!(uR X+:rL,(AFJ"=I, J@yѫIǑ̺^~,UMzN{C$Ya\Ê82P!oTvf=Q40gbUdp3c!}lջiN?쨁Q4eaE*ˢF)>F1=ɾ;M!L2;c~plF^7kK3M7T_:$@Q /h(a@iΊAyY9cW6h =&F۾f=X9Qw@V 4kv]q,fPQjLdafRBDr1y\|#Ԝ҈p|N 3h5 xmэ`q%Ί&eȚ<>\(gaKs6(3`"VPCF}l6'G̭+pY$`"`![j< 5I)Ρz8O2tc[X8"z5˽B4ojWRCv@ xɑC\¯8SkR-j]p,)-U)fQqEn$U#X(kD-j ԌBRrU[8/|WD *r- c?MUEqKD|miz0p݃^2&%Pz_mzӵŅ-i z7PC OgYZ7zXZִF! wj]ŗXi%ES3O;Cn)AtpUI~&T K\poʺIs:H4Z> a\ }0ZD4oXC a0W,>Af pqne|hvhGa>O݌n +F>sWhepK)T}pU(pcQW ~m;B ]c~8L8{Zs6y3nx;O`R1B Cxm8ּsi:$^ ߇94cRJ-3Z\fd'FĢ"Nә-=AV C4h 1=VMshG6Ꮒ.#:x)bὫ㇥H;=0ɥ9G{ZhJL9lWm0WEu5<"쭨9n& b: g %UR8$թqXr }7`2'icP6‚cmO/$ߐ,;\-v^EJn g~Wq/_N߬Ȅ+pgO2ͤ FNEbL!_9k%T G))]֑L~H˒|!d||Ωr˨ȂkXlz*N,>Ҿݘ)KũW{ɚ%êyVauH3Px?fx( 9L32ie9Z$aʁԿw|7`ap ;jޯ(]K䙋tʢ"-xC"]~|F<@k 3]a"[rѹ^{4Q/4kM r0ÊVRugV(& eϛrٌ%mq` S݀e|mM0l{KUh0o53;4T'7qm,pK_"4J.)2K唵ǖ04Ay $G\P:I 3 E1pxYm.qTx*u_sCKL w]_-^w,LxVN/@pXl2/dO:f-V͕ć%2O/&]p Pe8cy[ Ai3߬Y Ts'(ujB[YH5@H]Ǟ|;kD3b_W$OPtVux/p }_;Hb} 0esY֮Cל'yN7}+Dc:-E(pIgzi%2D̈́bڙ(.uϙ=E2p]Qf(0<@4Cn 9qIZS2ߓ8#50mI%I>%Yz|>}ɻǶхfh.k~Vݍeed1=z&==씑=j>NQR;$c4@-.6R0|Z>/) r֤8~֘r>rzIh@vP:u.~:_Z~%܄佤1^ʬ菏dS]amO!n"J+`^3y'E( '4./' 6 C4_s^eFF9HeM'W:;|$"m…rP23&|tЅUnCbdEӊT>}dyNJ"4{ei?F 3#[Ż\nEQ C%a&#lff䩽܌E(G J_X4 cz8uWTdo+M+Ō*'-LAuy7XITdȋ%+@]TL/-렒?`c%BDUnxFLz./G{;]?C8tD`8>j,c:z3<ڄ ,p7 A8NVu1#x*$mluk,DY҃$Lv.%B5xHW.E:+p"@t .O2tOR_Q$EaOf ºlؙ+lPOjҽFMfEk6G̱ %asw%KRM%^CQ(#uwΎ|PL7ns/6dתa@6ſ\Vqam&Y1mYYf4*2MCN ݦHN>_~՚.s%j/OOQ#k( f/#@^INqr(M,iy]1~&4ˉKנ@j|3A2lil!K]~Ee)Fpn7h歄8b=R+13ױ~3̔d~<"$[[ Rd}zz ,P8nf!2o#(~tiHF+zvaٿj\ ]+HFgc*:tvX&~bT(:~HzZG2O:X=0'up\'@E3 rȩ::AKcmCb*Lڙ%'ɭ7о C؆T aY$cGB/fqY@7>i,vd$OL]pS?9WkdB{rI<@J"[v YD'u 5:Tݿ(yRT; f /KoDjGjʶ30Zz@wp6&l0?QpF&H{`?-z| G4BP=CQVđ}/T}h\@(vMwJ$V66(; Zdז?J%*9wrZf|` h O,(^sj`3p 9ţ^aw!^cA1ĉ=UKYBINj}UC :: 2ZHKaU~"̥J67麯w'L-W.2 f#w7)*I-o\.p,=[krDy10طPcA@)׹p-؛OV{O7Fb߳C_O37L{0pF3މn3 pc*$4%EDwg!ayEk\0ujˈ@ÓM@ j )"H#ZFQAXmp;؄Ɋ\,!MA -Fȕ`*(aðۚ{%Iwb;3e=1b_i0HRX z {s5Ą1EƖE*g5F0`"G^#UEkdl_~ٓ.붸; 3_-Tk(rbM~idVA4{~Rq?YR:PZ5%kTUV|pʋ'FW0N/WCfY|!n(@*9~t~j/G惽Z+V\E|I9prn(-͸'퓦0˘Wj9”S {lՠd8m+͎Xx >:\ z,f|E*^8vi[TK<η9u6r#A-&BZdm!k9 ˥1"(3J'/hSe?Fz1H}yZ!h+c ʱtBtUO]zQL,I[$èD'.CVeMݓfp҆9ky;e5A>3=^^{Y ƗAԈq_ ( [Pϗ2 3w?EgS#?YqԵm;-c۳vKKa>Mo՟_ѧlDPhtebٴ|r :rrv?|GA]zox4Sas]+QSG&V"%pw^ r|` ad-JpŮ"_gּ}+U.ZSK_tNfUԟg|Y1LoU dAG.'R}:Z|ڥhsQuMtB=~#XUJZogI(ս4LN3N@.PnD]ui]D۫T~OʎBJ} A>S 6xةl/~1 l>?%!]_r9i(}C#)B*Rb4f!ia2 G[`Lw-gp{ RF\XB"=uo:ɢT'p;ե&+`pZ~"^PG[u;r쀂Q,bha/(_dv1~ @Fj˒&NZ!ߥ2qMa5v 16UL:GNYEg!N& y`LN TGfNwq>'yڑ>mSk3!oC/qȮǬ^Ɉ<~ùcϵR^,j;2p #8?NGVvʢ23m N"< 19 Cf_փi6g#s,F1g'BJU{ST d^e/)Ӵ ǃ6(' M leR:Hɺ)x} 4[yߥ1Fo`g2GRWǴr8 ( ^2CaWyze$ּ%)շcLzԒ聩tk;4^5/OwˣͫYxj~Fsf3Y*&4qm4w Pƽy+edXIS~/(hiZqGud fouor m'C{Dؘ p?piI֩ 5q7z@:]$XXu?kQ .Niۺ=tOG5 z=e aB_ڄż= k578h{:ZKOrff| 40Wyg;/0fᥕ~f)G݇ L9V 'U8<뎰zQC\eQVK4qǔ6K׌}6=a&χ٬w^*~UcɦhP{䷣3³@ R&^U&97{W"oZB&W37r"ΆƱ=R|X+aA h~D>/h$N?h>&Khͷ+D!pcs =|ZrR6ɒb1R$Rxr_1!# v#?B^ol әG=m崀>sK AR$o8?3k;;п5V`X˜" *8 T %ZdF,[)Z ?=ڂ0L˩=b|h0X譴1!hFO"4'Iph=ZKōb&qokæw앜,BَXm-Q"Jk];Si-ǐ1X"^hؿB7%m)*6fZQ2 wt\<]" | |Mg~7I<уZ J9,FSFK*-bi+y>㧀'ΒwǾpҦmvr}YҥNMyw ~vŇ{Sa MđɡC1twN*?KW˔]54Eۏ r),5kb@#~n0j̶pj(U!a̻@͇>lf-_tZ rFDW 9,K{S'i,{~j8B\TDKa1Ct߄fWoJaoц6ʰIҩif"I6- k .: ?1/)nlF7s=)/ff,'zMYYe3onxur f.ⵖR&3b{s4醌C6E< ^nw8tOt[/4uv y혦t9@؜pSU;JD+þzeL)G&O,mо歝YW$yu;.#Cx#]+C!vCR oscn1C'ˀ^D }R^"+t*}Ցz"U8 Btg5gVm|H^kf6B1蹛'z#J-]iO1ggn[|#K##|[w*Lks@k u,"13>Ăh6~z0&N' i]vZ6Ͳ?e*BH-IL(i"Kxbyɼ]i@G* ,4fAժUF5TPrux ǓwyJHRVf̐q|Y5t0jM{R&*+R)<}֍q_hik:8\3Ԯ{pZYk X:҆@+ሧז.wT")򓬆|cԂnk h_lI0]޶š\zoA1.%y..$uѝ^Wlscx':`S~c7V##&hˬ>+@A:d}TzdZP\!\"GhM)KmQh^hTB\F1Zҹީ>pCɑ0 uƩ5}{drPM!r3Gƿ h,E6 ksh7-7aŃ9L2H9d0EgJ ~:$"t%gZMDܿ!! ,R Rmͪ0 J^u0NoTGY!Lj=Pv:W)̜6pQęJy8grʤ#Ta4yiڰ odLĞ/HIye&*h >; 's%Z ytUZu)T;Sf񊱋H_ZWteF{+XfDue(3&Hy;n/k l]p~Rk@/VC5OlK:$TGiCzV׺gj4QG?6X{!SBo~m. -MrXYk#WqtD33.ƒlB7JM9uk Hx0nE nv|ۙ(`T 7(1oO_ezқsI .uL,u`]UAP;Z ]PKw^|!yƌc:w O:.:0e`pa6zL9TL2=Vh/!-R(Ble<`x1 i f F@†%{­HSCWh̾-|]mKѱ4|l~gZ]ެaj\^v bfK\a~ZHl\M[HRc5wOlj!;j6ҀG/ @,mPagI͉f+EAT f6$4uXny>}%a.(zV/dydFN1CZFbrj7غQZ wAC\p#c?17!CN敖&LnPYmaoyT}6n~:`1M@"##j{u7q ij1&|EXNwG7cx\mL@/s1/ U'+ĺwDP3o.>&Y4לLȏ0ˎ~FCvD' -mWx G+ -슖nA6BoLJz[gr5 ܛqN=#4|һKC_]\ ?ſls@Guӟq|_h:,@g_Vؖ K/|޻'SuDt*(Q5#oZ3՞@6/Y)F,> { 3WMYα!`%uy@ȿgXɑǦt.ȸ {= o.ޭUV}H$y@.IL1Z~ IBRg \ثƉZm'9U 9jt6nj-hKV68[*SbA$soK=&ޢN:B* S(?T{sK )[(P -oZ˰}7͞{78=^iZIOF0}_$}iqnnyH<Chwy6UnS:׷w]j A`M"c fNזn}|T5aufB0I^J. Ԑs'+Xẃoq9#YI9.i*S2 iefǩkrrAGu\t .7!dXІYoLd(ړNfĿK u S8>iegJp+`7Z|9h-d@`] +iP=9"YA$oB 54R+w{$X KzMmtr!;pv:hGТ ihG`Ikx~Rܕ@7eo 3O.1Td =w |̀ԙS_1 p^C c/~#PN;8<4 lXſ|T|2Mn^qo.BiNsU@N ?#5\ι&=04M6 iCN3xfDFd0,۞2MT ,!-)7ɟU*XaLS8Czͫ3B\9yL52((7ޮp(ʹe9 j3"N)S%h]CJIYvYb2eG+s:|.R#Ϭ,F)z@ryO}YRSet~W6q*+`OWh4` NFFccAŇE.a[G/rtzD_){d@ȳ¢5'O$QnЮ|EUw%- %L=l3#%ܚ&$ܣF3 /;%2z{pH^r9]L$*N>zc?: ^/L&'8pVT;^yw1y8n{X-K }4 |"\;z"f8G+G'u8ЪnO]^XpO` 7Ds⿄a@TZAfER 1"7yrVs6 /bщ@L*H EзjKc30k*4cXV[2%cl76ezꀛ-P+©%fyTb=Q9Ig&D-=X*z7_}zL710+2iIi4h)5S$fw[WIȯkR&tF=k e^9B9Q9A3G5B> _lGmD>t 9R[/nd?w.H {%l@Л/U6Cbkc$&[ ߄(Zܵyż3d֤ZrwI ?m)-ݛ1,>bNP81}(dbiM}|HB]KڌMgi!ub[Gn; p3WKvNXD@_f0 [SAJpn9W"l۟{~:>vO"jn=AavMyhClȰEl %dZvD$-heC  Yǫѝi0ga\:9Qt錼rTXKLc' )M+hEtRC-b#>B>Q/o\P>߻cn)CMc޽;WADAFb!<>m?N~45aB^qU9.$[p`&˷?jwB3GZ)\OHN? KT-wVIShe6R8/0זjr~e،*_2V`Is!12^pgxrn}i @ȹ8J/eT)g$ۿ6YQ~9[q^}' ,ŵFa-w|.'[gDŽ_=M*6gP֘=$BŊ V_5cD"{5@:FMuQ/p wr,YDhv$`dFAໞy,z,nu 7>3dmR}B.@=o6S4> y+[A9~OgsDMo{70 c p7h@'o&]3P5\b esg!/6'"j&&7䮌_~f A'et~SR0(e= !!b)By.$Vh3\GdA䴝ⳔJi  2>Y(sze T`hLqRz ܎ |I_pP7zvn)I[EW"O\_6.IS{ƱT#!Q`0@<Ղ(aU-`O2J0usq B=k9:;z݋M3ӊ90:9Q\EQ]XxusBRKe7a8brs-XxvGгY`~nЬ]c\vB IޙrE[-P[#4ʌuw!Pˬz/3-0sHd!Y+йA\Cz4AufoKgsHr3/=uDcDgO8jO:+V>[u&3ISB +LPArPXН[jbӻLgTuGîCKh>=;ޟΚhmI@+1IQ6Sv+){ tǒX_jf1^4׭b h@q܌>+wlVڕ JJ.#ddV0Ʌ9̬}ksrLQ%c`8&77Ӫ  kVfI\?[ēM2,CWtjTS/xJe*@@2׃I89biw7(K-w~)mHrx~u|}*/'OR9-,7 #ؚq" D])58mD3DF90 TU Z2wB!:rz,M] :/it Cm}Y w^ )W8}6Y]{Z3mB2oLu0. J8MZ]m'OzpYt?pi{23ϑ:QvPhTG[&yBK&h<S[%XķϹJ89*aE 3Lh62bf#cqWI/Gҋ4jNe֤5%aj C<(̄r9ܷrK0NXPAcB*K|t(ӎ_::Ȃ7Z2rzԍ>\6 dQ32TC1jeAo1ua+ B33 OZ1hKb.Htp vי"zDoH*Kr%=fPpRvmP vᦒ6tEVF{1 > .|Fe/fP*Q#m@ gFrm%lΛip[=_CNג-SL=K +!l꟨EȬTd|vϴ* Vѩ{4'Aq9|"8l"CKpBť0zn -ۧgߘGۀ8fskrGfN {Fȸ;Fo;JXOzr8A2g鈘XIR@ R!X+9⚬U ǁpO|ojzi2m5[MZ`krܥ$BmN~4i P?? ssyK;!zPf#m)hZC]0t:E.(Ez´ RFfoI/i%)U1Z?l?WfwҞ ZNF34CQ?LV Y'w)(k\͕{>xFYL'|)T;xa >Kzt0 B[ZA(0>Q[$3ǙPI80}e\,|[t"9 m-|;窬V5?DN!9>I [}MWVf%q 1A}IVOyGǘ(Pf~$`۹)GgNԮe4_]&\0(T*c^%_0Tk[F/ YeQ5Q`u,e'j/Bišf"rNXלi' /?OQ<󊎟`%,dKnD܅:[rnK3U] S]9K @IkbeB־6uIC{֐=73m5- 1Πp`;TW@Y#a&ؤ <~Y_Uv_. vCfɡ#k,tP-SMo(';P ]{ z}\ ".#{V;i  rjATi6ҁT:q PG¯@X eKT|Wߚm!2#;5GlFG >Ft!]p&9UV']Vl'9HNq5yq=QYu,.E_mL%=.@[\Ů/7{Jn:u Jwa ֆ$3\цJP3ެpĨ :}t0 $H8B\+(*̫o(&$f,u>߾cx>r9~Wig֑N@Ossfeɀk~| XHGu/[0#\^tJZb.h 2=,%n\~6=C@yfA1C[qra(ub"_цhjӕQzqJQIsı³p:ʤNVU;S“r(uX͆::TN@I4 х'b}v4146_YG(kl@2o:닷+jLJdN\ML-gptgfYʵԌQނ vqcWw&R?5,ǯāIQH4RP*t' kOqؐT=J<,>mTH1={wQv]_рE vk˷ +*ey*6Å{Ӯ2Q*V o>[Er53׹hzr Dqcxjwv+gp~pJ(pEd+פhFɒ~tGO^.c +2$϶;yH#+*B>G,]]@GMt"W"a:m(1K@*2JBOGk Y#^yܝmфr"Ue5\hIݷSaΓ̔rVjM5S ]q>խ+nugz -ˎ_fvnsB2%z6(fgSfA-5${]V ȁgݛwAOqx[ALd=(ŗ~@` ING_7]6J̲i1MU6ISTVA$ ^̒t : 5{ hr.$j8o#k֥hzGZX=JEfk;[?7%a%~)E.m9/D˄n{[*tLieEЗI|100G7W}ᢃ> [l#AvqhyjyDx{x'e~֮e0?FDdp5aqh=d~3:/@~t/WpGDc~ >5J_@85[@6!IѮh/ߏZF9X-󛖳Lbz[@K8X4Dv fbg>Rng7NXT;TokTB,X?TY ZD^,mGCNzX81ĜsQ ⴉ4RFmƈ3w'`'Nscf,嫓ey/Ly qBr,`AkSg^ }i+|9Q |J27`jq`څɣнcn/+7%B +A)st%98L |ޛc]ܵVi+6OP2}{IGa ϑnt0- G>K0ZڍyϚED/LDR:44%-c Q$)CY&kct ,:0f"®8XG-^GI.kN,G';gQ륶P6:u0BjE[ F[Fj+ML2]b̄Q޷R.~eIX&Ur_|8En>1l\?!jx\QY yax "د|t^vd1oꆟ"$p^ E\KRg3zz9  G50B~ZqO!#Z!h9,1spgq[ m*@Wێ=X!f28c{=Iw0^(!i˨S+d|a -f}4E\1[ogL*2gK=Hd/9n|щ8N\Yw硷[׏{)$ :xHb=nV=.P jR!Hqk7m.GNddk<b=B@/ m|vrc^ןڂ"4os9gkiqx+%ҍ/GμLЏ^ Ԍ M~mHwvDUbZ;= 2;ˆdvv ~*fcC4@"Ԋ) t(S=mk7YEf5U7Ќ&&mSƹ΋bgTJ>j3hC%@D|=i^iv 'GB`v+nrȹ)N:D 5lsC*O=:da1:ŭ9D_x6BsRCI$=Y(YCcr2 Ȟp[Dݙ 02@HlW:ng}KHp}Keݓ{l#9Fme|U(<8x*61x_&ݺ0cpNt"Oymq|"ί둋 ?)z_'޾S@s ++Ί'mp8臰'#wʪ. zj׆nn,νs)6G6/n\yRd o]>=9dR1F䃑>{:,mǡ\dPCﱬw#&JIR4'v|0c3_21SL1.slc,zK\1U~GՆ'R>YM8|rM3K)(%s&Ѧch2m-;`Xdƻ;-zT 4//O8?.`Dp^j̨͆T9צy"Z@LȆLj;[64nNpm٘o 3Tݰ=mNU5wʎ PsK>Ka.,_ju}ML X=ҹ 'NdR>-Nu :\o z NbOL<&8Ɣ+y۳7w`Clër9m)7 WMM(oޖTyŪw6U\IE3/awz̸W6:ǒčkL|w0/Ʒ>E'.dj]5-/ I#TK-tҿ`.z) 7'gF?e[g(o>}.+,dߤZ{GrE䠺8>=[7Yܮ@ws'7Sox JS8kUG1#bh@\Ok&cxҌ+w刄quyFe4>)]d^Fgwﴌ?S3䐭l^1xJx9FI$n(@.ɠDF0˴Jk&f5YS܍n_4 Ͱ_[[`y[mp(GxsUJP9c#.?شmˠ򪾋{$b0^"1֟qjR߶Sq] ŽiLHZMCìo{hT\Fy}VhlMFét.̴F=4|kŲ/ƭ!0Ԫ< XDRX`{=zAGqk/T0ZA[wJC tlXx.ƄcgjPY*>Bs4lvd.z%E;,% Ss%x!SG|cX,m@pxwe+`'jI\ :qYSc :/?3{-"~''^Y5ׯl@Zɜ aZZ zVZL 兠XL_osx\0UcuzRO*}^oO,xFۄls[0ǦjRA17S7tlWkI6u3]+k Pk3 tj oԬc]WSFϚRD.`}>ÏU %^'erR͎o._y9 CY%xc-Ɓ]Fywi o/N5жߧR-Q2\ZNr A]D?`&PYh5s\ ¥u|_fg 6)3qt^Zkԩ*Y'/ؑN)1L8uJUCqNI*{ xQ7 `'U:NUz^2LUeW>hҶS|U[A#s0bٟIZ$*az\YMꖥz>`:hxOOm eMdBB6Цb'5v5YKw`Q4 Iݿ8T`[Uj}aqrJ\jhEΪv^~kԟE],Ugf$2?a~rIVݥk+tQ<@dI\\(L}8R)$<}̱Q]hޑ4aRC#خ- ] aQp=m⩡P]jo0--usTC=M! ʃ{^,J[5f>^P@6s}8y1BYF{]Á0x),&F4_F1-߹! B}Wyz4_K#mF^p?xm6 \ٹvi*$== "x4!@v&^wMi-sXZ,slE'=QQh..Т~*OUy~/4&喝Lٗ N܆g=-V9$+ 0 :*^d@Ogt ,#MyN4B ]: bQ:ҨLhQ z(/6M}V~ӎܟ#WV -lBՂ*bzvwCV·MndŸfz}QDVNYPuM+jL‚uoׅ7!&Saڏ@C*b}G&kյH&{BݓC:< AF-.kBkc.z[w9oj7ބp5QTp&9;ɎpBDK0|! ,D} z2TϊP+=A7Z"3cə>Aƣ~#)S &捒*sbSӷg 6` YFuO{]Ƨ 0C}F 薽VڵV? c !/|LG(^& 4b儴oFx2H$\@9\` ٰдVϏ'ُm>\#߳ le= /QՅ&* \S(X2!H."bA-#Iφ؝*Hޫ*XxYRJP\'}!&&"C~kUtWUH)O"ux׮2{Q^}p5),|\tc6;'ئu"l9æߪj=oWlit}UuNįoVPjZ3>I%k]D]*ǚ +%rQW7ǃ'GyVI(^zInPXY -lǓq $ };O桒:{A4NA%YIЧ1+K'5)Iۇ`q VM>S+e)d~XP؇Ú`vU##^Ϳ~UVUC*0K?&[vlc7},@ϴվl8a+7+9<c[Dd.` [Ȱ6R[9? =lצx ;PCwi'+!{EeṉvfwҶ"v3p jdIфCحJ+ιgkU\M+=Oq.^]XeYV$eiZ}c0#6\k=j8(l#aM,UW hТYxM:Cit岕Vi5UOm<9@q;&:J d0Q#ӈDgPZ |BxG.=j5 (  R~%^/ť 6JdzkkXJ{ujuZV".󺇑Zlۜ&t D;[ɴRp'gB媜QoՙȄpq{x"$7ѝLJnBK7 ~4é\C}mD Yj8 #RĚA>NtHEz c'h[S+qs[#ڦAψMJ͟];CRԈiCMé5Z6W:+CB[j8^J3ҁW: \j y59VA͑]*-} #"*!@1[(_G:Ur";OBⓡe"DgI\`0һ[@Qo[}u~漬"]!)j-@G 9 2X4@ѯ!q?t(RNe}A;r*&?y:p:n9,0y(y xN2^300h27dr$oƙPpO57&>3<̉bqk%7 a㐰g"9ήuD4!bWo|ulM;)3ϔ<Ɍ޽z=8cV-48 <#oFd=@<ۘ 9̗_k $D Ihv7 F}$WNO\MXf̀%999EFNK+yBZYnfAi2YyloS~E5b*M,M09=4ۉr6= zxE^]9v% ~<]U_qq჈muPXk{"g$& *c}Qdӛ? >Z$2vdɤ'\,5J0ϻIiKrrK:n.X1Cش?MzQ*wZDouR-y^B6S}iK^ĘYBlh/gղ5ʞ̔cC%kvs]Qf܃P45;-&k1K.r+Za@MKٵI|SYF?gMh1xWX역BL?0W|`uta q{ `,ɨKhiSͨXtӿ08bY3 ~F@Tzrs>J6#bv7g4 -g;2?QI:O<>l 0Www'my^9AQv9{9A":详1' t8I& kzvDNYv`M)JLU V r(T e:$ƚ*q`ktHLq1wg$rlHѳ z'z3ϱU˟a4wy{k=gW8.e¯>%GKl K= .d}}LjBW#[ݏ"G\hu{/w-X]%L̙KC"Qͽtt2$R0ӔH1f̸zb"&/}49mp3ʛf&'%5sc,nkY=|qQpDjY5 ;PD2lRhT/E{uvOv·)鼑6Xc%)6SV埧a֨@ sۂh^37Vq4`t#4E^ >MG+tgr9tKϺ(cJ[x#XWʲrxALDHAkYy)\-x@)@|[.I{.PV/cSL;qG* C§_K^O`N Bɖw*WNi<}dU06cp7r-ӵ˳2F.p@F2d%).fA*#N9:0*Kxr.c*i bRt7:`cٿ}ycU|H'ANx7kdYae쳙FGf)V=e:4`alTqVzUEwk7ٜUI׬O_:;jLOW'^d8Bΐк/>)pwgj>bW;\)\0[J@6SY ,rg(&I<Gjsܩai`wIbL fFҡTh3J)c).XSD ߉7@4S%#NW&7MO\P-[Rv`KIip4M0i J`"AT$\AEѢK}\Z(2 8;IZW Hn=y_f6 qYvat VPw߀5cڍ# &a}WX cz2(NZ)c+CysyY3:=q~Ǯ_K:M.0 GqoY"kyrgF>$KbQe$ u\S\WO +Y!ѐl0͛;cgm6^lLg?t RqCݐxY6m;\Dpxo (I:o8ɬ8$?}&&$d6rf=,p|9kypۭ3.kR\v?ԑ)tz@HY XZviA3X RFɢ! Hs#;HH#xأJ M48-gG 8/Uy2J8L "a>=%CqaX(nELVt!ƁkUb@c?00bKBD6M2"Yd?H6=G>Y4J/eQs}fd، ?](s[Jq!\!jSka+ jĜ!׺ ;c2s6D`-U?aYBhL2B]M_74"R5Ap}nw4DclvkW*,YCqgv4Q >6\TYг[[cr7Ts䱇%*/I VZzʧא wZ9Q?)E|oۋT;.e xg7!%#1y ~R񮲕ڪ[;#5mGŇdNsq0*)7MϽz}b6$*RNLkaW5PVօh%!m26F6]D AbEC7#&eQ} j' 55'<+|3CUQ Qptu~D wi^ ѲJIj/\EJpEuIYvLH̓-+9iھ%^&c]s+,\=BɱFoܘTP3x(.q.-fok[ˣ?L!+icU%!(`zB`2&eI>6^<[^HaqcKD r:4L1+ h"F= 8Aqfsm֙N%(F#%,9 >elhf4ٿJ: \7.^S`7o>XܣFJ+.xրcw̩bF>j})(P̢8PZ\JU_/"݅ rWb-e6kQT>pQogJֲu|٬zVΙߎ.Υ/͕]^߷#z7̈́Zrh/+""3m;Ig221 K:>s4~&M<9kq'@P<73m엂U)1- 3ɋz |{N tخVIb?UFҽ_SS[h ^ 3uc7Ӵ*KT #_mɛn1$-Zk%Gz{Dbϛ{<;fC;XafqȠlZK)>}YJσlT!ٶzݚ8XtD|Cɩv%apd.b/`2UkS D,}8G$;JQza^_ K#AuF/ -,eR*#婕OOK80dZ=aMTΥ%.U kW,kq92%_ _cګ>Bl\#'n=`4$)8 %VMMM?8'2>VSQ6A * Ks+27QopEX LLrw!LFnї noo [{WgodUu+>V 33h~,>N47FdvqӆŒY36*9vݬbrP+#$em" olsrwu̟/l&ㆲaC/,ZvӤRHR#)4>>B֩DU]sjR|]R_}ǷY{d3BV¢-O{n1~1T |nf8- Aw݀x~IcQ]԰ض(JRj8 _ډһxi)d4Mi:kyN!jAދסn;)je P1/ X r}m> 38ل-i P"3!];#ُEʥ/o(T7̨r1FWL;oFr*7WOT"Eta&4V:qt.fUgLƩxr͌`/gw xY+%@4C4D`gBx4siCq:Q6)Va !1:!CPr `7L'CnEکONV0eײkԾ(D~7ui: .>ǗT{9õi|XR__䶀gʬZ8BHb@]@~@(kYDsD*?8 &bTYT7VoO=ܮs ^TQBą+n ǖz 0 V'9mu V(^lߡ}Z{¦ϜyxT9a=AO:2OUbe6;ۙK*\XFl,o^SԦQeb>Rq3[ 5;t};n(CP=OبxUn{ʑjw?T;\iC!e *yf$?اRK|}`R>/o5EV(mWqPi% ,w#'2>=CyE?K|"Oi9<ԙTHV3λ!'c,X gj5}@ѓuZ6wXMq:]2RA XX6o"&F/7N$DZa.R(?:XG3(BrW䵧wSaqQ Yi$OUQ/-D; 6d5q.k0( ~6es 1޼1sr)[|u( D+zTA}6Yk6"YOv#t;b(0B/ ј [|Cv} \q@Sp &/9O6:C3;hD!. U䭚taSаb$9Z t]a p %hHOla fy~B1l ?DDư)Y.T_{Qz_dIץd@0]a>Mv'Y~9 *@*jQHS0 .}=crbaOk8BGk<0uHYmsP_ XVC;/iʼKދ@:p0n[<l*;ΪsOPwBfL;`/sX6HKGù3U=t;+kуS6^%N#M O'/n8/k, \"HtE\0iÜ:l]e xk%ɈjZz+M4=-xYˁ6r*!\$nwCc Za*}\V* mu溑*4?;ĭ'n^|<\vE;:hǗ; ))ZVw0JͬF=e2/SpxYWYRؚ@'{s3tjGQ+7\¬x90*|utz7h!]5n_Fc}ò`Y ^? L(GnpX?:o"y]Ih9>F#, `% Z?/VkM|8[ =g(㒯lPZhjtTuy]P :'|~b\X<dˢ4ú3ڵǶwx&.:Ryn iLc@Ш?EFFQ){F߳kqa \(vh<*U^D iBjd{Eϻ5KMEG^Y{POb,[`}gJD_, [2~Fqg} :MiGW2zbXUʟ5TW(2@+'vs v<\9XߎwՇMݳhY: Km |ܒ3l+/i[t#߾X|p)?\ c\,AvG]C sp2  WDxWvmr=N~K?#mJnj $.ȻHY'2G3Lj 3༁]hߩG"mkg nǪ^2H$ǖz(>>"4QeћQ\憑^}ʠ_6%|4X(&|TMԲ~]ʼn7H1-5MDu?|h@'Z("fXN-}LwT>k+-KꕧJQ0#ƴRIaf3 |lCN(b?B ґ`% i2ܫ[hxc"c#l3+4&rdR`\ܡV_D1joH(? J(er\8`ÍIO wQ %23럦wƭ-ѧEpMNGB( %b(*%?W?Vw8tp:޿DO\e/Zm@p-.$N٥ͤH!ozL8-CPOH:F:K-怶 drkm1@uy iD# 0esjݴcF(k,ݾ?#7 &m$ҹ4=FSHQsn<K^`[ydK?F}/hɷsK5l|{nޓ 2E>FE+ay=LLlWSFpzZ=zhjDT{-)xZg 1|= feB~SVK@dy:v:BH`\sT8Fo>\B ^hB/Uf {ywpO="%Ud Z:E6E8