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   0!L_xO Owxb $4A 0sNW=@HBֿ.)9W${IEQW%1D"EIcJu}zngxb#v9>7glqsռϕI!>׫+W}q4N`mH2~u 9ًQpbݙ̗Į;E$żAK|;&ڡ2xˊ2a@ 3iN7j9PCfz,&49}+u{^\c S(x4`90`>i"`; I-;;u_ˠB%qg@/l< G]wt@3رLot.h׺u BٷzѢ2r9X Q7YF6* @Բ)O~3'+3ᝌs֔Jdz>%`k؟-*8 (fۭO/Jت-`x=wSMo}׈ӳWN9ʨ@ iM,2O?˜?Vir($z8^@^Kv YX7OuvMh!r0 e3꽢nDApZ,LpyzSV,S,!IZ+9w2#nhfJ%뤐6Q1@_UhcK-I[DϵQoy,GJӋ7kÀd;nyi|nY5AZ6*$V1??x/0<փHg~?%v:V -s)6G17}kǷ+ Q/U26(&0K0[ ]$)üЁu5iM뱰Wb_x C";wkąԓ d%sG`UK Z%ܙ!A0^:'KI%+}P+xXHAH ~-_f}<6=)w^KCT_o f{_q/EViM,tGP4ŗb XLsS{s*p#cz՜ǹg2^akP:v 04\Q8 ۦ(:_XW'JǗWYKO:W?e:7qֳS+I<€KV'O1|86~ul#y0yvHkhRjנ \rq9#,}Jw,H$_ Ti$ =UPohCWvVJ8&#LIk.,o^ŌdxP d1NfSuzݴ}0 (~E-J4ͺ!>jy'P6qΐMD3DGAo у9j|'}c - hlF5!U`Rn164/.Iw 6̴껼[OP;*A7C3c_',Ŝͬ`yK.ӛܑ(^3*ӛ jsΒ:[b9H\|P{AA`2zKvwn_19,ޤ ı/j^ƄI !J͗/; f!"MKo kŽ!^m9b֙~D K(!&B;k@VĞfx6X_.썬ʐm('^'}ʎdDTХuTew׃gmc\eYӾGU[vTS̑s]CRfo+I5ZaYd?嬺z0@r; a|YB*n8у;*ŏbEVYZ=xѢ3/Q5EŐ&g GU6qi6ANeO*(q8I\,pU˟vm1RtԶ/۹xĆәOFs O!7{VZў(z%tGqW(S P`;dqMit;.'ۛ2GF;Xp qkg)d~+O Ny`x!>ǚDR>fv綴 %Q`!z. erQA3oDMy8S^Lټ4i)L7m36@;dN16{5S _=sX[T݌KyN} I/6myM'lĆ|# đ%l2jc;ĥՐNLk9;xb2fy5aY?W|VN:'Ȑ 0Jm';c7\9vk: VΙۊ:3#Ž#J6D`w+`Hܯ܊ ZNCCvd*똭{,I +QƮnMǎ ?mcEUp3h)U>9Ky.hգtd^dŧܜ:g-q V^S8at z?b5u/[AU:}"9|;ºqu}m|P?H\T^WҧOQ\W=_( hru|5ro#=NԳWELH'7Op4WM]|A.\Z~34f<@Q%\HwÇ :곐 Ԯ zsaW݄\diis5gƳ646ko' ү0mwuXTjZ)x+1&[<2m4xWΐo)]p 0V^7$Hdkyn%njm~%濅\|cÙ&7qWV;!f.IYfz7oM2 Bj8P#[@2+ZXiEЊ~mk.:-EM0nO0"-L#4q GIҶq~wvLtn A9{7Gsx 9j9*i+zn|<+=EN[L Q*ٔR2P_ڽ |C6iU3BdK)'K0XLaPPxPI՛ Sf.,QOY#!p WQ\coK$5 1h*Lе/rZQ7% "Sٶ#Fw4 e3 bJO+_eغfCgd}:<287=3Bls vx:[ вYNJ qI)B{;&zEPbV'rX?pWQ~mpӨ.r".nʧ[4)`.}OIRK?7xyzE!vo)Lڵ6g9IwzM=kD?,})y}YY}wF|y¶щMK|c'8%J՚hO4B<~q:TWvzi,Z#+; DXD wd7jLܘːHv/fUAĪ|+2Cs=;Z0&n [6Ȭ*RxCF"nq PqCH| j_fy.}}1 57/ F%ΟV:Tbp u1O`iƓs(ê>?xsUte\ֺ3H0+"ZNՔtz,%o1.fƤrO}1/Sr^NX圏ԧG['ak3>#\\6i`*i`-ֱgYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*X/#IN3.?]n0h=j{ӂN[c++0=\`P_7 In6 cZz&> 3nnڞo9yYS S\hOm}oڙ7}a1R9JI K|@1zD$,0i"4|5:xGi¹54<֐]V$Qs_xK#hnNH悔cjg@7r] XY|р(džXM}~τÿaV8(E KWiAMXpOR;3+ЌiZ29 Ǒ\g)dDjS`hh+&1 $b; Hh0;E'P@҄*P,/o!l՝u/G@l+jjM65,ikg!e>?ϒOӆkyȌI]i ~VuOgTs/Vcp\@u>6i!'&EĈt|@ z_X$öh+̏lsKW%^әsQs(RDȩɞђw%$T_tk@Hu+",;~*fP?cSRb/JZُh0&#~^q \*s#'Vm(KY*ȘQ1qAۀ` N>}ƶG5hŌMϙ%␬ sesDC>5#JG9mZXTwXo+ ouZ}?eL_%-`yЕ* ;NC"vO #sZm0pgeb/B/||[M@MD뤡ogB`ʨjC;D0ܾ8xTTȡ7FdD 7yF=Ϣ/0qHrlX;_rm =xCu8RD5.һ:Gs bz? {k9Q ű(ЧtB`eTxcޜ1l"RxP܉X؄ \O6m5+,=>碶~ +'~'l$a+ȁ #erܰ8D!]O] [F`6m|p\el7=XA{.0y|g-GqW1@hs6˩<Bְ\%u%Po0_A:[/s&LCUshRDll@ڂ8ZؠOw d\5:ؼr0votb{M"Eެ+KDTA{t( e-&O*]#jSnN98IͰ%fLo]wA@ 2gYZ7zXZִF! aۋ]]ŗXi%$ngu#26kF=2DUL5׸cޣ[hS!:Q3Z-<kI+"Ϥj4BV4-"]Bؕfn`Ғ 7@!_apDMl/3z-zVWY"Pf3^-dW}QT#nHN; !;qdQ{E/q0OՇ$}_ s=f1p$ʏs R:rcWTS%A9"+z$NJLiy"D>`KWUPĩ7MU27ѕ05(!{A`T|O{Gyhg/ RQ_]nmq&'6D`OI;OxVqya~S!bY\2 5nB|r%>FDSn@# \Ĵ!ljm Q,#6Sޅ22DΪӆg2p`Foe|jY_ n:BѥF@#swmG!TdKc*K^Pf{޽,e;sc'9"Mc1S)߷AUIu/Ҍͷwd0}$$~'Lk1a5]I /-h@X`2ndJ 'fM[ɩ6H@<#e7^oVK2M@p2K)6Y70"{S# sFq|Uc?bAq5G!Z&1ua2WoE,E~|)ȠPNtv"&9N% w(AVz63̭PӺ:i30iw@f 8T4} 5k%yu{C4oeGpQm;ՂGϱ5HC6Kޔ@D+-'n+(aKwh`8ϑ2d5<;5TȘ :j2sjQ&L ䷋ߚ?CsS!V'; 5둤ao%SbkU8{+sm)!(hi yDѱ#97ctyƢy=Lh表ÿsx6ܸ^6R]qDh@ǔN^Ffuhn>gaZ8]mtMA= 6mF$QunHİHl.1Gv1 ݊= X kT0l|W[O$!WL Zi氥jIJX}uM)?/kv|Sg/Z!8ھxYCJ*|h+Z4i- ]qn 8^9Ɇst20%~z"mz> \"- !ܫ =Iz58) Bcw:E"uX[NrkZGM`z1-%G0Lu(h8$I0QJ1U~\= 7U` RH1_~CdjR|ï9j$̖c&NNPʁq+^=Lػ`+|Ӛ0VEB/6`ӄGw}G-#WT_N_ÌlcBf:lVbxHUO!ChX|B&R[e1]9s3 IzZq/$Ǵ0;LjN=墊k俩\pKnlFfNSRYH1 VT_u֝?JKwǷԅ0&3~WdADkz!fILuǬ3OUA7%-C0xSzmմ'!fJrC(oGOQ0:] E󬟤9 W?hajKK}DQt)݋(Kp8Qa+b6Toj1nJlj^aUނ~}|,=*RնD!ϽM.h+ k0k0>S; NjUZ,1x62,8BݽlE)cq Nv1yL"i$x9{G֎+~B1f>)& q,EFڒ:a [gd,1U W(b!trhLJ0t)~&G⇝_#ik)nS;Ψ>u^nP g/篿N=8)-; 38[lqgău<]P94٨7/D=@ځocUW=`j{+"֩z.su"? SlX.㿎t(>#%n6qrz0g?9cIge/ZZkG)W֌jB5aõTk@uXS+XY|3@#4 IZь;gb `.e)K õ" :yS3w u7tyz׿a1ᘹ d)]1n}]9[YmOpD&q4|6 tb .ņ+[gAR$0ٽNQW?r)QwSn;O[ê,C왎XcȹAl,㼓 /.qea @01mi#:) ‚z584}~R`#xUeGs=6ePTR#!΍yGs݁ho2ɼ$|v.uA9_~sIX~Xfkpfw58ΒW8lbmEc%ב-'gbp~9ٳZMgm=D|@<鿴z/ܠ.UeJhR\؄b4*-Z b,@/S7`i(0bբ𼏒^AvcrR 859RJnE,QæqϤL 0c ޻q?tl+9YK9Ƃo>Efhvx*P쮙 9ɳ!WrKvbjG>==0!nCm]gK3cTi -j萢c^!ȆӶq9V%$$ uKgqv vrNӷbڎ僑&~W8Kا2 OXe+$0aHe?7ƿY@$<ٗrȷf9? _R#B]ݕXA.(*fOs^0`Ȇ\QwYj؉,M0=dl.bM8|PD*{u/ci 7hRX1Kgt5ꖺКEaC67 X &i^L_ʶ -Dnr*"ƒk}gK, +\*2ސaŒ[]$T&1޺ ER(.ưd?BX#wPg]}Ԙ\g4u*("ӣ"P/V L2nՀ$k,^E7(GGn&@g_(3RJoNP)3^2dg-o2 +ByvMY8Mg;1"@GѱB7ˡўŦ/A鹧<|׌UK囄)0Nb%+R6bL9\1Ϗa|=J-WݒS{٫'b|E̛Azw 7LFS XGRıIm~TaPK`V.OiaHCǘV#g5sޙ O"в93i'tH hc\1Y噎WiƗ!7'KFN? F.)0yẌ́1VAD|diˢaЉy᭢0 ITKʆnsv},DJ4?r2y`FXf24 XlrG'!תn2>'_\vUM]eX$p@A9kKxH~ OVlL&P\m.?NDݚaFԼϊb .TStj COdz5J8͹1A{=LԟEhE]f0l4Xә Ac0v%e'oyܮDDN5"ڛ$3oMi-9i/qΝe&b@f2JɑTOё^zP& Oӓڼ;_ml9y\Yh|u~l*2RG^>*I]閧r=(* ɛ" S}@'|kΩ,ТΖ,U)$bDm5격dWE8HR]j8 gvmCDǬu5|*y€ kN.CUtBZOg?̊yp87o݊#YPugG~H_0T~>D` &7q:?)i^x_Z3  )2A2viϛ77tǜM9$ֆXٲV) q7 &hEoKXVFuL?dc}֠Bh08}/5+dIyhRkhѺ b)ۉnq?y4x`帪QhŬp@suL$ ULRt9Y5F4ߵO0ـaR>3O U0j*&[\ai,P̢}3r}+]!\.ɾwx39eKu[~ W% U{^=%LK죪L׷fXZ@&wr:Æ::?b!c(!gjXYLs=j\[uW{e:ډTZ"xzp |39$07Rm 9dScC-`,iA0@WBMF Âm<$ Qk w*[<wD;k3P%᫵|V'uQz(SLy`3MV+ՖYUߎKYc٪04(pP7CV^ZwE(y9&j`v<n<^ۏV62wAg2j:->S.Fu12SF'}e2}IZ*vBpWǟoF)#TC>TҞ5a{S}-a ߢo8Cfo>$?8@\(8t |d榅2P_kmu'ڕ *fճ_;ǑP<,oM؁6ͦ>ƿ^--uI!Ll wQ_obih&6|S2T-ECwXe䆌ZB_n+-{5֜7-[NZۭGC!HZ M' A6z:oc9zNB񄛲[zJA(qȽ>a"i.t.vdh>Y2!+<@bl&ϛwI'lr:GǂJxlr׏ތ'AKO#ޅ!:* R(Pٰ^Drnʼnqb'vet^5 o?j0K]-E^.mv$ڤO? gBr`rm Db|Kas 0Nu}EQt XKwtMhgA_84[ %}9U bK'B`Lճ!6lm'%IHj_bYGs&s%!&FԮ^)xJʭ<9+`tԘa&Q+ED̺{:^׈U,A{D?3v9 \[Uy3nfz~w@ )Kp|Ky-zlPzobκFcAI/'{yUT4ghǶ̼nQpmjIoD*P2EվX/ 節P1 p+#l`!sḅ8Nմ!<oH++uƬH?!jh4Zv;r|E੟ug ]xwAjl_+} dj^KC!'K8z0˰It1`,Pc:!R;LIfXfcP?Ӷ?*b<-)b@@[3y֚Sa'Kn`so/P" K-ZAjp_R|}QNOh);(l1v ; $zE^8qf:i@ !6j:rdh ӫζJ9DX_zd& dJh/+[IqWr bȺBI[pW ݠ9Cy[$K<) C9~I2'{%9l&_G!x*܊@}H^ף\@ MzV ɨ>{4Ls"2=7md~j.Ƭe[!ua*놥[tqt5roaњVK+kVV3V9+}_G>)-Qi NOQq钔]'EzJS={KO$zz7K\Ϝ\uJ F7(\ PUWEm\cg;e!T}" qi.3=G`; udQD5W1gSnt ZXѿ?ce);-p,?^#Y#a'-i_%H;Y|IQصCv@[*߫uF1 /ԩx JHz@'0!js(y8KѠ֪F}ibqWhI⯜JV8C|שϾr'f]խeu/Qӥk]jex<Г4+MGJV/hq){0po_bA;o!L! iع |p{e9 :.L@S`vTHKEF@r.1H7|E3]XCSfBR*5[ڑ_;"`Bi3w`+K)8Bpz=lT]GKr{6:(h[4Ol0F՛. ~̨r.Am.QL} h$q rdR+-equ/^ǢYpV2uk$Z+ GR3 >RY.8]p iHJQ~xAO3ƮndUD)cʲf$ݾr Bnĭn+A"]W]t,(4-CNDSK)M*2^dLr2GL.Y0~ɄzbLXQ(G7}.2IT C' NЦSdr)d`|pèzs#e[b5cCyP=@0 \I>EJ7SB!n!="1ʃm:)kǚcAHو$@iñl7:1Bͯ]¹OE!썞SNm[vP:`؊~R"C0ܨT=ݏ1 dT?ZF-oѱ({"Gb'iԴ[f"s敽yͶ=CTzF-oNzL|{]X P᮷'4LXա M1x%XƧgO/)hȶQ6Z3>uhT[ dןM+nORģѠkx㛷vML9v*u2a]\]efO(M!~09MWB@4TTQV C2mDiQ#_u8O<&];<^[a|% Ƨyp] "n + A:2!{a|I9-7O:!'h j=ԅwRtrJz1NEEzrT&\1^K3`{OXr{̌X\ .gE G0Wߖ=@җ9%3R3x?ɃNiaV*^9Iyk|'}O)x_X' y]o'}[ #^3ʳڐ\1z2.˟̅[_%*Wpb\HU +ğBgm[uP }̭944P!Xwr0!\E;\w*x*3"L\w%%8'Zi԰snQj׀7`8 ߫<<|` TvKYfh'Aco̯&nO1 qweFi$9=ReΙS7$e-nKxi +Al0lH6U^-R;z4p^شU[ba$ZJ8XGh3Ln7J(`o!X @cKp-Sv[G6˰Юצ Gu?ɐ,m^0ܳ1ܴ?.4>3{(8 'j5ee1?p> dBHKh;8…j>`} %G1ك׻Db@kzcK:w, IԘ>'0>w\;X 23^[4kB 둝1}R{&@xXDvZ*4H>"_7 X{x|mJ @)s/I>PԛWbcX=ƇEyPdS kk;Q>d^$}NJ1&%3sMnNu'vU^Qx}njU&SdjCy0 2J'KL>^$!m8L^Q˾l('A |99)ϬԶ7!*Dx*e#P] +Bu#N˫MᇌQnG +ɦ Rvg ͎ʫ0myYo^LRM/|elW{wss:-D0 M^Fĸ/ug~v&9smmd%R#h" +}R "  G+GL? jb4]ˈ[;9dzWQ|] oB5CLr$;D05Dy9j-vqDMj}*qaW|8sP^w`K'Uǫ@^ҏƙUUm#pp ؍u1HqmlfՏE#G EUJ# im*T&N[|Ѝ`PߨrE/ ۅBERG/jL?+ 紅v91s[X׼gL XL22"ͣB $/%f~8-QpDY~q@k8̗(hlOo( nEq]Vp#><,;\]2i2߶u\#q<鐲˥v/ñ60Pb~RDˠCYCԷWq _f@B?(Ϸ*_`-t7g Vߗmw4 sn "X7`Ê0QL*a9oWxr?o߉Nf4㨔s_]iЏؾO˴"7r{t,V \ ȻO٫t7f˥E Bs5|(?"nhA zM 4yP w9hOm.Z{Ih)Q%qIkC6vZ鶨Kͬ; `Ga.vu=gљ߭ D?_ukgST=/&f1E*'o oC`v/[ WbД(Xy'R8nd3]:;_b]^gjAxL#Y~}Qn,V&y] n7D@ӳ:d peY=RW>`B}Ԟ速Pv -~6|O-A!uNI[\cX6* rs$pľ& ~I&{7d9ۃ(d| FTs lA2Y_1$Q7!J Q?yq?sWSrfQBVV+ ^v|s]<Փk#X'eA5cFhWg%B [B7¥gUdg2r+K{ϓlHgs7GوY+:Oau{?(dG:]~x7BYxC .| F).n5P; T!D\KM3p4펅2 ]wf*-Y`vNLT J}*6讫W}"X+Y?S!xKfnuVؕ6A$`*D.QO53oa\8BΧ4#PiF4AF{svmsqњQ=˒~^0NK۟{,eaz8އ(xwʦOCrҍ ;@xdɱD/+Qpl}tPBi"L3Z}rdTy}lZ $f0}`Ga'!( u+rjf!~ځ"N$M ]e 4j38m^2Bg+/ĸ7YēᏬ.-E.r9.9'U@zqu:,"3gEIkJ +oB/_+ɣ4VEKZvdfaQs4]$)Ԣ|\m9|kBFz($=%0qvlzl{Qchݹbu ۙŻXV;@×[et}{B{4NWݰwZ|G$;?ɦN@=J*Xz"hv>cXdHOӧ2Ω]P;9-!d$ HV>֒xЖ84>@[pkMBQEZΒ^;qb7%h'R} a%8vԷ1?^ZԿ2"gTD6/셍0U-r}hbm>gܯĎ\Zp?gg2]i;Yqf|Y1Z]Y#"dQ$2pWΙ+e  ޭgN 6VLUCnmqnvAO.}+ٜצˬ-[Bva$Ǧ#[,uNzd%[\4c(_) LWѷf"T[6F2\ȔFo}Dp(/0@I9T<|`VyB9 /[6)ݢȷ$ɊJ$ !F4Dz/a:]U팰ٝE߭&ΚjZ')@Һ[e3{/}>3/ v#5gĆ@P4Oɮf&ipOS |*^aF~ѴM,9|z6.f<,۶_a {n8!\ 5 D%r'KJؘӱ~ +u!^>/ml2:oA}y7.Gf1C"m+5P)[S#r}/sd6kD+ցM\_a )s2ٸmp]Nt.$6 kquO]lVw>!(REwn<-`³MtDfGN=;nM&?`L%R#v;t=Ӈ+s"Qܬ/P5϶ul>/,,BmT%(f&K;.H^ bWlWat q=TMj/Hk5@3pɿ<;ɗn6`oCi(ëK6א F45yR6hlqY>t"3r@`SPa<_R5{kaC..c|+z ER'JOK%l =0uX| s>c1v 1*$_r$:`q&=pvsQw;1b=Q?ʕJ˩tNAA9iER#)]Mz!$ioٛIi5`sD$zqs_c>24"mh&/l$XP]5it'c1aX.T,_=96{oI$ԙ@sV 5ǸKzyLx" Os=AW4=os[+ I@,wCl<ˋsSķ\kѫ}3 JhYB/ai#v3O0 j[kjs/1cZz2tӪ1j)$p׳NEz^] \*1q(i [|ybTC(F3[鞫PB{C}Rو!}\_atQ` ,evǦᆸnY9=,+=Q3̱ $niJw꺚2ٯ蓚J\mpz%C5]j7%*ӊ+sBw);hzC9݌+IB( _q 4x[TsY?T^^; 2̈Ygh㷨s/ G)ʹE}xm`":(f k *uz̳fPQM._SN}uZy>%/nOB0 - 4aH4{OjMN0H`aicS(S~= SUu%ã:޿BjH;r!%֐̈G.M4%gֲ) MǢֽ'd 6$ID*Xu-Ʌ~ux^m DYQ4<\I㯄ЄN /d*n4A4 qb ~@c*bɴPiKHӀxCj;7z`JY4Woch wZFLX/tHZ/L8,ssY*~i%t MDGsBkk F/ 9mڒY-_p'|~,F'c\U`蘋7ܔx8±a o۩6=;}QA*jyY]̠}yk~?(!N52[f0: SD?'= qnKnАLwZIZ#./Ҵ54ձ*~@Mv ~LFk=[I5t{}ig#紲ޖP#KSG_HlOD=)nPKYyGNqvHgK@6lRseL6pU!qÝ@L-^ I=uDn`Q9iˇ;fW{j1px0qrQZg;8U 7inrz=}-P"RSNI*d2R 1_nj 4L~lʏ⛨*L#]x*o;Acf]_$"SG]BoTl:M{љZ| y*U9T&4 ^ 1ZLMJnYޯ`g4(pnɔi˥,vԇaχ}S&b\qO?aܘTg=D"J/tYA7A0ոg-Ѿjuw4|BE|au*9-c )*A\!Ry.O[gCT d}z7UeMϮKEg7J 묔1""e=?80 @.$S1{n)?:xq85 UG=|zHתNmYR:ĝfo=_z7,ߪ AQ~n^m+pqP})+(ce렬NG ub>/*_=D_#Fbz` _ZXp^njc?>wm5k/8XA?\޼>W}N4`{^Ee@Vh"J}Ș|h%8dӜ` f_cj4/eQn#}JxwPG$F!b3,"1Rd$oż2@Fe)m`J'6P>Si,-`7f)% w0OaS\gRGC4[liRa"@ Jk{j@})?' *j)\J=j-؉o'3OޤˬyfyBbJQ׸V&ݺ[} +m/rʽۅBGY @Jr\S(nW/ :z?0kӟ/E46)n2 ȗ!3ҰS@YUQ?'J,S6O2PV}2vuyBS&K*>B nLjvm =p#?Ey%{9azNfn,:~{A P]|нhd~$54qQ7y%􏰏?85?>CᑱX}p+1Z cѾi >W V8@YLݻx ce*C#_P89 y/~%83u𓗨vOh!q13AF٥&m6 ]4wgz O3:Ϥ&bo "BvAh}E 5}ݵ[{';8Dp Nۓ~ɺ rڡhe qfQ2w^J9КHVe# Ɛ8@@}۟ݵ`kڻ5\<уGfS 3\!Stb2w> ETRq9(*_ֲm哀86NdӰClw0/15y.ݵ\ ~y0wnc+=N.u`Z@>xC6Icsqb{=;*ߌ<;?e"$d@ pvxVQd~&vD4}@ # !X0;q;Gt/'q gү-;:/Zێ{x55o4ĠZy._=-=ZiQFkt3{KㅲOy9YZ)Vє[]:;zKɄgo4: cYBO|)z#Sͥ> cM؇-Öf9Ѷ&u?b;E>i35YyLqX1y"n4'+mN~D(C?XPnp%AB< vhh|9Kdl= &. kyH5ӆܶ;a<dL7|~5`9yJfzw |6EAix-MdffT1k\=Wy7.,D_E+Y%^.ht2sF:4}ƮΗU]ⴧl5e+l\z#eҖb̊tܳ~ ҷZEXܣ vaH4aR[<떖kQ#ק\"bd^3W:U렖 DY0t;ǽy5eS< Yґ $_dXw,G]Q,;^rʼnHM:vLЦ5m덹/Wt$HBXц\J~;فр5F9Y~r1[T`]) ]-E 0(.ǫQaap6(%Hj %?'_wG{s=uq+ۦ` P~4Bb"wWOpnL5'S?Zu{MDښ}2S-vNuqMs[% 35[xj/䤹F7':yyH4W"]g[cM~T<4zmh~߸k޶!`]q7jsh+v)N!8Bq(Ur;\y9zhWGzs=o6N#<}XM%;K97_MbP;$nl%gׁgRx^ D=2 f]jCIO4#iACJdt<x}pW„m& $Xro`()N>wvt\U^UXYBϕKu#T[K_]pR:gy@[nw}$&GWն*sh*54x72a*'Pד|J3M$jp? 2e')_zR ;y? .K& -I9?ԙ\G>4y\B!j,<.4**g|W?>c2Vnvs[3?U|trĚ 9[ X߃H\m*>M7vN`j@Dm2I@OxsW+c wqq?WG+ **}bx3{[ܑ^{ڃDDI_מ*E(dd>}fw>^-?)4ŏ$!g7_/-mb+R10y?* =w' ϺB"i]tznN3vHb+Ǹ_A-C^3vHA=µmȈ"Q j؝K֧jTt%c7%v(>qjC »|Xl%S6Ⱦo!Ch75٭Pq,`sqW0дW9H!JTÙw 9̓~.g41FϢ)B!5F@<7u{Sr[W^ " Y [/עQu,K섲캼Z@E9.YϪf`RF:R>!EZ:$;CW3F VcOl+HXrx2Zk3;4¤HlP 2{ +^bRoK Sg/=qq< 8 xX\Vqakw z)p $ak07;cg.h/gS @ފ$e _xa5(GU2E"f%>XȗX-pv 샑/& ,a\wam;1~P Z$\/OFyV^rpǪIP{OYʝ.[l}b\dDiH1s j]TEOˡӨ 7eP,E~PgY۰4̇liS-5H?09W%v,),ug[z- dgHI`d`fL @.JYlȵ9U>|t B(%  DST ܂ʗIe#(> G FC,S kxk) U,:^=\#D7D[g`ő5ii/J"8W Y:o[@ P\ewP @ Oĝ=A5XY<؍㜯${nnRTB1aVws ёn?ֹY$C낢 PIt.p.ȳl!utBDBYd[NZ[47 )Յ V_ŋVI݅P`md_yc\}/A3ـe]3 d6i7@E<^CpBdZeK]fRb0̴dM6<ԋJ3o^zsFvBt*zQ&Qz(zR+=YIN8$!K;ƞ{Ękn(c疵+gf (NʜO!RZCD`M;SVn LokX9*I@eԱMB&nu6sb?a@ Bw LOaByQ e2坃RŹtҠ§Js@##S?(s/OSG4Y;wΘGj>?zh$_'GҸ 5y2M 2Q"S1ad[SoC[XHx89UZm[s҅$hvd:$R ^DY:K8n !!U$c*ȐhĔg9r^jM MrZ|lB 8=ߣ4nmnQuoޔĉ0͍(vZY@Y>'RRH^ؿ/ ʻУUL=fio?myD@VBsl@FcY7ml_p]ߗZ[;VTng!Y L^ݏlEDb{;YCEu9DSL*Ѳ.ŜwnW7).TYS`f<ޮqs al/%3Nq6]hf)sό`ŲժAF49;;){C=$3JIrT]}+eWj#E#=7{#MyVX):OF|oz1+`zҎb@!.]v{UW+Zhĭ/\ݼ` 'SU6TnnwXjerf Aje9# }NJRf40 _PU $}˾ϱ-vYyvk08z!\.PaʲU=7X$ּOtU ߡ&P؇#ysMܠXt}9W*5U0¼HϺv9Us?_Um,kI:PgG݁UJ؉x=^)9`")eb`̣պnCǯbvK`~ }xPl^ZC y7 6_(_<ϗݼ$3#p_+ n4~?Z >^|K̶PI2ơ{;UQ[1#xi<-׹8` fLjCw,ID\|VG',Dkwu՚tLT ֮^K}HD.TRiD7v1buik aNtZY*Ou'ϹܣH#`838y#R>׻ I3_ őS(=ηzJMÆ o6˒t6=e.>PsbQ:hr޷guP񵬎Kn$'[[!GDxTتjWGۜ+l|kQ;w4=ddH_\{ȮW,3?6a63t\ɜ-ҭVQU`9۾$8WUOy׽4@7_|.ͅi*Oʙ$a ?8o`An;Mⶽ4}IܻWٵk"}*Df`C/uo{~ 2%+E˔7ڔԦ80(g }vQKlA>t5W7>~l~+ƶBё(nb>ףzѧFiש[?~]V"g~&mūbgЫâuhru Q8yWF_4YA_bdkeLԢYsw$$4]:O& }DqXRX ) 9.9R@XX[hQ\=nATG% S/5W_?>IUg އUa h謄4>>vvȳh9fڈ˜l/&g"|_ >\ vkSkQ{U cv*\[~S7Ei_x>cLÅiXP2WTB>cc8\, ` %۾z;_c{Մ'}/yY;i_+$GxַXX k:kJKT u5_C˽ZPطjWt[t'ȒMߩKGÚrpvRs2=P{>JzmLh]\#% +t[mV͑Qj%RJEtu%Vxh7̦>\"C}O=̰"H9dotGj?nZ5qKg%Gqt~0W=GP;ORl FL;BZ2X& R$-mTd$pT¡Ui}3:d0M^5o]?rhO|y\v.ʢbVFυ/c ӆ`͜jֿj ݼ ?VL\> Gqm;]fsM"=tU[]tUR(eQu!`%VBlJz.D&,$_1_[DƤHMy(~yk$Fŕ}?>~7#Q[#Ul Z(hxP T6'DY'\7HʇF6r9o}ٹ.#b@c*^=T`ߒX &M2SyS_Ϥ(uj]#tJB.^-e>_}MybQ3 i\ lLZ` ڂ]o0T3r aqXG;:К‰5 NR^2M)kZ@i  s4}(᳢J@Lhke[`O&n! -i2ښW}#i!mO6kз"?Žzt~`t; X;'LeUewd'Al;:m?0kH V!E8>QЖ~ 5pkOC{!< "m=3%wm%C?zM }QL|'\u2 %G%V=S6v:q~UiϢ˾[Ҹ2E꫏s.H<h1O:EC\i2F!e?_3l}D+3CREoC G~F&#V_B}[G&uجuMG*E?A9l1$fLX|Cg=}3Hٺ"+o;&h'jd9Hn4 {g -1jƀU `2O3 wMBɍ֑bܦ{.8!Xl6%3bnvcH'Wd6)1[j^Uo T~|&mGTfs!sLQFI!GR]:w( qBO9 վñ#3>ېŐ7ȸS /``s[NetVrLPi +2]iEq TTҢ2 &bnHzh}Rm;[kci(Dž%?rɌ>[T:۩HbFEV&A9H cp(x@:{68fFũK9e!mA;)G"@0|[G0;7h-1!/!#ցMQo::ͣkr#wNv8(/5t} En*|+3-eظhE]yhx\ۿZ#N!n@E>ݍN , +Byuy4;*=04#/d+hVhSj.-*Y7 mH?wҁ Zbrnms+9MYhUc H-w¾Ki̚VY`<~FgRp}RJ:E;uѨ[8"Xn͑໧\t0[ kǃݡ3=3ϓgL$FU#vCjL>B~UU;AEÀK~_@D@Y̬Գ3pfT^>u֋$2Գ9&VUl )ߵmۣ8)mfg y0' *yz"Jya7?4HT/<dHi.;"MEEVy}'S(^#vwBE+]s N)jUB揩uCdmj'$l(`KǰNM@~:-uY䤽Ŷ^ +Bk6t1ybs``M 3ቮpu&~>#Yaԧ>;lWIə9$^Ee^$`XV2n{Oba:*a^xDCkWTxԯ Iũ]̶+06}'40gEfyoW9^Py₝(<x  Y=7}I2[#gpg59dr& &;gKD<:va8\&JIITtps! <&AHṅ]C.8<4_$dԸ1~moΟPS:a=(Ffc:30}s%-⡥7o9\61Q _3|ՀF`IE3>f"+ ',' 6G*`mN' n FDvWl")`{W'$7m ÖW]a9D|GGu6ZRh#E|-;BА3G/.nyhU S~2]6"YMkKL-˸9:ؘDd %H5tTﵚ9BjsB)Yشg {r+P cb[kG.H¯KXAt#J^cP!TXXdꌳ|n$3GB|n|`h |C9lƆWwlގwec߳Ԇ;kd6i<{ p]\BbEs iW@f" ^RNoqWix=N^p̾Ԝp"6׹du0da,,6mwYގ>RONHZ^]8Ţϸ0mb٨z  ୣ/KLFq7\'Nf*H´~yn[XuZs_bJAIʕD$=+ IbNĜ#c6C Y5"ة{j0q;kCq$Ji={AWV|yD_.}#56KkC]\km^cBPڰ݁[~}(l+-$gYZ7e19c632a58d297422ecacda21a5af8c49fa861c75f3f49252de203c33a45106d34066835c92202329d61b25459a2162fdbff4fedb8904f69fe5d1b0