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  )vDdD ]]Kleene_Algebra:threads=4elapsed=52.439cpu=121.544gc=4.8647zXZִF! gn]ŗXiɟH)0%oʷD6[SICV7fr6i/݇ر6w´yu֢:Sܗזu"@/"Q6^ouXxȪQ2rX N̰Qm1+`lH<&BFG#Ɔ`0 G!烙!AЖ]H$ϗ9زp$N^>,3ؒ-lKC1 ZۜtXSPg&ك]2@3qz^cI=cm?؍.`ʼIQf{n Gzoz nlA)#.to c~ \1$鋬%iTnpK_IXKv,D6]b}r7Y_3| 9ǽ[k_iCg9[k JIgyIcr+kbqiZc, =l{eXVh|%|Gըn!FMF;du~~lFj}@Խ{W,iP'R8Z^$g֞[ߚy,2 1u\ ."~s̨7?L)<µiM%shXf>O7`um{X(h`;DqPضʰ[IX䵉R<ÀS4ggF|!}1k !,%OJ(*ơHXX\l(s\A+tm 7NhP 񞎁 *8~Cz~H/!+Y9H;v =EP*L ~ᮄ%},l%B3:l2Xp9i)Wp$vÒ\B %RWO,w9NT ޳пAܝ O*il|ea^A6(.< FJo=Sp=~F"' XoNLEzjJ킖0 /z@#`S(1ۭR\vV7nRPl: Dp7mkILl95UBGuIC!#7-'W3oox6SY3Q֔mcl%sN  uK#Dm@DcU S)EbCL$zqXng49X'(Zj^+_B:C/a.dץȎ&s-Slgh [>o47p}JOB yVG^{9wB(-ҘM7 8w٘VB6C+}&A@4908$Jx6X,cz[mF܁=>_?&e`ʮWy\'n\9]:/GY:]q5}" 練"}&i/ wq38< Df/ydzY4qv{TˊM/bQs{2q}|M'Ass*4 q7 OkUK6+.XspӶy36'>)ߣUhvwA>ʿŷuaD oASa!*=$Gf8#Qt^K5T7񮂻2cɤF ly;%3&Kf}Û%|V{"iX[ '1Kx #N\&,;gvCT~bY-4 +UN#=W=ߺ`k%(ERDj,lv/ IC,=oVT9mׂb52wdܻhnjz~@~t8*_7*m`5/>r]i'ԍؑ, S /|-2D[fu?Ek4llJARݟ8([%?XG[Ԩq RφR;:4n82HVKiՠ{NTl{{^F,RoMG{lXBx5O ;\G7"qH" #-qYx,K3ǵژa,= _-gK7]#y H - |mY7=)*[wh&gwWwO{|L5$j(>=d;&%x9MN(l%;-+Bkr`}%̡,P&FNU0T. \WkAIz Φ!8 I M(2a =iT!99,9cE妜<b:qWito<1椵;t:0:LZ_SV1kgg\aО5ցqhc銄5GG㛀]­ԁ|}VfeȾJ“aQ!ƶc>IBBmLIيs%Q7ft[z}Qiyez晤{K {GEf,Lu4V70')w@wu+Hy ٞQ""f 06l/٭rMg:bn'}G IҒ- S ⵑ7 Tj}D^5; l4L֕ h=<*C:y`YST>%G᯺y:LK2@a˟5Ų(I?Alg1$2LGa"fg& r?qc+ d| CFT3} 5ۉ()%KQm c[ƀT_ &H"ɗ ]?ɰkehQ4_ҖDhcj껬}u+w, \.S¸73Ѫ'n/E_e8<]mI-Mx?DNpӝzu?qzƻ;\Ƙ.f eStSv 3TW!lɩy';y:USvOh8sAG[7|h ۑ0EI.=\J XKVKyÄP=j-TԜ|"g}yyvGaP*?NɮwC`4ϗm+: 7ϦWDB,kx-%\b7 5eCjnԀ Y:}! 9.U0B+=B};y>C/4I3h24?W礟ʮxQ Knh`lmS[)}1oǚ|iLJJ/޲0Mĭ{R-F/l Ge οs*N-W`Jw OMžF$&oZMZ*0@&1L:֋ 9:ҙ5o+CEF?6r\dV0Wl7-`Ivw 7f@?G \}1ش4r"GdFN=+΁Į%L+. (T֥Zx["d" $F(.u=" =9/-^o(EWSZF5 m a D2u[eK SfwOj,kGK0Iw.[(hD)YzM' c\M@D?AʻPWl)t1fU4xդhBb0+{; Y[!I̤aW.맾[L⩪DZ[6rNddӃ,q(=(?ߑq& F]? Ŧe+ϫ/#)SpL6yV9oLW dDN3 ^:ryQְנk,QZ&h0eLmoEi#XCygێ=ׄ2(60io㶧jFe)ݷLJw_83 DsWa"SgFZ \[,ݞ!6#`3h]$&`;}[q64xP!" { PAsW!ɖP/K-Mj}Bq]DmLLuˍ>nbbUXZgz!Cy:nWC޿=[hM sm(cyq4@J`ЬZTIt+3´;Of*mdBޯFqL!-$\K1? (NMhVeJ(fR)%>R?:X-Zzۄ^  I8âa#`I @,a&VVϩLE9y>XeMEG=k 4@CjɏHPL8xRHU izE-t#ߴYWT˵wz鯵,?9ݻ0&aQ\' ?W=EgYf+YG(9 >1CZLLtgw ֻu4|pF oo:U{b\%Lq'vqU>^ThJdbatGϬ!=! Y0r"qCG2O8EQ2穌)cgk#8&aq&bAB~DNl("Mҁv+m2|CPj:Ȋ@rG(A/ng2]c.υ}ߕ;9Eb6_ƃ1D͡ l/R>A_1xJO'O\@יo0ַـ&.뤈oFLzxz 1/[MXL>?Owdo `j-zkB~ѕ+Y.݇)XMq歹zE&i*^y1q,ǿdYp"SsS5ΖvuЖ ?Ixg܋ }gm,~=;wbiɤ]q~y2_8i#}=ξfu؂M;f;@11hCֆz벇ˌh^V ϜF(4/(;*E3>f%0ǖ<焙4 66e}+CMKZ: X־;_ `Ut_d (<}LVNv K 8Ȏ@B [i;b!k~Wts Gu>@Kp̔O*}bvsi:o&hHᩨ[8!c'}4[PAOq,o,nAs@$KPHJU[SMW*yR ˱)1Je3Y@hI;kfn3{\(+܂"Wjird3mmz'PIe amfŖag5ڍ=l]p(T,'t62WeŜ-Tt!rݭN.}T| )mi'¯ط"Qzvp۰!c5ft509bv1KZ( )UW a0`ɹt\h'iUG;GgCc?b]&~l!dUOJh\k fz^|Hֶ[U󀏫3.aQ:UίZ]Sut.U*B-(_l0m^B 3-ʈ-+TVЋQߌIm\ Fr]8n=*; m8H-*٫nc G]1kEøЧlitfsSZi.AmVbZXF2/[C[[E*l~Xȟ#I6+n+Yt't.^h/+&S5Ä:q6b_iWӶjGar#B.=UЙ(vǎ$bq05a#7ȩoᔶkj$s5gNLKF:g<<6q6ˇ{꟥^:Icʨvl{d+1I 4jj=V/o,{] ~]}g 88{F(0j? W5m{Y*%5J;cܦzh69]'Qх7j6; ?[ F՗D8^Z0*Ӭ!|G@*-r[5Ȧb`:G"s3#CF< `Hf?qa 'EeG;K_>WSl==pB I|IYTblOˏoS;s0tHˁe kM\(\[eb"ִ\*49Rۨǩ_mu]w#?44@$.-Cf' ܗ$D@1-wOgP'CƐ˰ܻIBc 2'fW׋rM:pgq'yJ ^&KU5>`L$ZX+ 0YOߦ5YDtO5֩.E-S<@ٞE3m)y дF(0v~J{ "D!$Zg8l;t O)kd(ݥߵ|bz0xF$Ek#"7/#° Kk1^!`; kgdⰜفu!jf+ !,Z;zo<į;7wװNt7Lܗo.U޸~Jr(՚~-G !fQ%Dd.ݾiM&nD?o/{V%SV[tH~eR 9-gɮ9qQO")Y>jB̾bx'KV:>{;DoKbp)pMJ9B6fqkmK}2CQQ(].]ڑ W˸ T8앚1V-C^}!G$&W-Ij' li m\me2GR 6 .wBK?1vy:HI&Z7<ke.-^8F?aC^O,7dќqFN?Z=4%[ÛpV7cmjos`:`3+ihN1QWj.C irqxERrR CA6I, s23ְ)Iy$q 42PBLӼKKV\VOƴTݙ¬񸱻 Ǟ$-7F!8L~3YkG.ϛ.84Yۻ KhvH@G-mqS>(9tmɲz.W5LzF]baUsxH,"j ]*m=  z<ި5:GwDP2 fK䛰YYn7Q&BE!A3[ؚ mèa3nTU~4Gt:,vy>d i$nJ|}l B$r :dBo52h1+g Gj9Kt~кsDf|){l{O~Bto#@kxg!.$~::/W6li5bەYE Uy<T^T 1°S*(7 كRVh!.W7.&,Jx4tB N[r& h|&haIG~F5dMPJl3q¾/L9Vn# hgBǮ&4)NLvujW8zC6._|MZ“*2}Xz3N{!R8ǵtҖyER- ~koPLYwB%DX"-Fyۃuy~~v5}^l|\ںv8ڰ};z)뷎h}-7ӎ7TJk7< j39 v#)=wf(DX!.'҉r>j'zR0y݇My>gݴq ?WY:H^kQЈ!Xеx4_A9Rʛ5O o'ȕtH!v>04'x#YD˫^nt(Wl 4 's#Shd0‡,{k+̹Ib>=Td^<;Rמ>!Eu<w]rrju}ttſ2*&KW`D6-_a; R}a'do "{#b6X)! y0uFNy__z}o7yKi}v`-5s KɸBЦC#ƝwWlj n %֚qTd|%{Xw``qͪT4ng& j("s+XS!36bKS+c%bxxe$>GSdhKP:nShF/PhdjgOhRx2dzZ/yF dKҥM$9ŨvYH8w "zڔ1MEiuϙ|9U']eMEBl mS%%bsx*L վ>@3'Wr_]\hߗë=fE %] <{Ѵ/7 6bH_HE(Zkc勁j@t"VFRq1ߨ{N,1 L|;(a*񤙺kj&Szia /uV:9)ILX,ǫ3=i 8A Ww.`՞ W,(}nXBunj$O52@u(yP@2MGĶ|!8`=E ME1X%haJ?~f"u-Y?mMhmY""Ed@i Z|%‘0c'[sE^ǶUt? `9M]@lkS} +O]Rls)B6)&16x}R$"4= S/%Ml+?n &z6 KL4[lZq FSP| Hd{]I[P QCrv]+ zJG0ݵa=B, x+(LV7x;2ңj7GfV(6kU*T*ui^x1ts P݇^1P(`\7}_nG-{עxG'OfxO[ 9.̩hBgW䖹@? DɅgePFwoZyobߜ^Q+- a (?WRXў8{ 9,pP5j&*tYpIb rpRuYH9Z,#@n%$?/p.t\æʄ%hYwɷ/,7hL65;Y )z"V(jt;y+yTSXEtOZ-~NntVdfC3jImxCqG12k*E1Q|(|--ܢ\/ަ?~m2h)gO [1Few31}?&SCBKK\e2_E`Źz"g.k=<='(%{xg%O#}Ȇl`mM`{/d$Qu)݉ ynaU /կG1ff^OƩlaKp*džWL_OEpb;}.^T~R8qo&ecUvן=Z 39)Fo?N>Z/RoA=WG|x(h^z!Z0vcʂBAղu R0>${Dx8/@.v\`AFQ݇f~ P#.-ii{=MPUVeȩa#7+seџ-1XFwsf svB82Om{szL$(K_TmJv1҈fE[LƘ P@A/=Jq.[oa KkY^w,ug~b$C]/Do$6=aJ{}`"\ݝ+9 k)Q⨵8LN6$6)uM_$x"5Xc[e`S:O~k"/bs$ Q>$[02.<'TA85[0dWGL9`jkf{84Q'r1FdS!J[Z~X|rOl*5Hkm[^7Bz(եI_Åm5@xUTq!~:\CbOX#J%֡C$[Ϳ=׮rؽ?]Mf(}Nl28[bL6%J@qrxH08unԜzDrːpsUL҆(45#j!xa(iRC%ܬ0`pP|7Yjh<׺Q$a帢rZ桹S nj.j}4!}nuk7^QfD BM2&%:Hiop@D[>XR6 IzH.BM&8Ԅ@~#YAXl_!<з'̝I8 A/:ϒti2xxä 4st7ȌtR n6'# $DB8DƳl4ڗ)ynS cg##Yؒ3$_)*aphRġڋ#д8LƋu "·qmr!}Hdu 4y!.r3>f*$׷3j+5ЅV>g 'TVP0GzaΑK U[W6 1PNI8y,Jה3GZ0J ΌrTbb"OhiF!Fyy70w<$j,P 4Z~:?Jug w IRq m^QRo[||1d@af|HOuo͒Q%N5T,H$,>p`Y %Qcq0͏i4}&+[YpMQ>:粅g/6cdBlgjU1wrF9F#'xnc?BCFc33VM7zJkǥK+i" cb OVX̥(#O,_V*p=ٽz5'ΩNn)ĶE5J0*:!Zդxgm]-K8"+9Cq6OtGI+#x ld#H)! q5[wA446Em%< u~b7S(FܫYPpN,8%υ7wy WBpL'OI^.hEGiGSLᙀ Ǥ+b=Ef4A0AΆdMUgoihvwr.RlSNuvzH)o?wܬTh_=YV`]& LJ,/*H:Y" k8sqU'ym*Acu>>j ŝ~0^rUY+D4&N]P֬5H٩J5UV(m_rGŤF7"z.sAC/޹` m|H,,`Sg:W`wcX V×d*/-C C V`g C\5taW(<_"9IMV<I.sa5.ewmhʒDRt&S\ګ7X98P/Igj{0Nv@<`Ue%OEa##JcV0k RigfQ(Kx-m6VEIY%W=T.t4A3zq*[6 0_bvn'&ʣ\/zm?PjzxCOK'0l R-7S4z4`'ѭbđAKL/!u0kgk 2} P͚?`>֕7]#J)l=oࣧ\'^>,[qf͕ <`DL7j+~%ZuQP?}l{-K׸*D g>54i{Sx.ׯe Υ!Ġ]Ȣgcu)br A @Ek:q"EHQUn#Kf.1c6_%&zQ|Z<񽏕!#jwӮ~qڠl[5Ӫ m;SĖIyDMRNpɼl}Wx&iޚM/pC-oMS˩'Ty6eJ7"L|滓I߱jf uNu\wXoJg㑺 fqY!#uY+ԥi3?}֎+ e`gl0sQXu~ Mv3;Pf ?=iu'|ItطT*!M?هY^6HuVjHW+)% 8NeOEJg@eaH0\y5M;(k` [0tQL7bϓ 7u ۏSAqJ' !FTGƊbY6VWMK! )vu/ . {_%0p셓c4tӍ6ҏ5!%@y5Յ;0:Tpy{(hm5aBdYAW rB9>V2xV48+1yF_|v!ԌUy5zZdз$0#Lp)_g0#2uwM/[=R=TmH8.9lGCޓ|oȓZ]/ewyjMXYIEpu]&LnH7!EJVL1pw[<2.H׶Ltʨ\N#f+sK9[V _./0+O@9D>H%T2ѶDA3GI\JUktڵQuΞ(Eϑdpʈ3MdsE[dP:; |̳>47N2e<,R{ /c|?M9؝V8Paѝ/(5Z4iyjo#7мE+)"[O%$(DRy!\" rۙ0tÿ$"lδ1k&ɀܶ+:O@ݒ[dǴiVB ^Y:>Ps@om+m69o|ĆW{5mY/nb]ehWWfI mv :JtHktoAObtX&hƳr n ث/MN}x)fWWb(GCJ?=nzB^ʈX0'8(1i&<>6m}c/v?9yr3o."*] p5JLn GWJIY$GẝA?܀'**/5Y IV<;W<}UBԡishPZ#0!yMN H<]FWM^btMzּO=zae o0!__[t>M볝>bM)my!AaG~ptf*|j e, ؄gk< Rb*N*hqLj!B;?H]s=/lg[rf6#5:@ٜf2B:|N|#f~AшPȿÌDsFl] d( ¡_ٟS=ְU((Z v4IoC+ SUxo-}프VBuc/MQ甘oẃjS8%ñuL8i,ʬq0R>O8Tӊ:Ъ'vFI-Nz'Բl['X9;H3y'E{ Gq[8Le{{gt笷\ 0GDc׋Պ$tqԲdijf~`ۢz^xFRo>5Aڠ~Dح#+=L$Z,6GWB pZvCPQJN"?|rC<;%~<% ˌ&H=<ߔY[~LF&Q:&LEv# 3sjo!4jP: (#u [{k]L%gh1b [[F/xǑF bHuNea{;D],b[3Ao#d]a71Ԟ("-WLofMC5>3+5, [kwu.]lg),|"Gd|67lڲ7J1>ړwuM@)˸GAg7elG3S`8'@NL?;\+fAϷ )/ (+0LuΌBg LBY E?6h]aaz8[BDR0K58åto|[ّGP&Y$a!*bхRz@A2ݺaŋV-CzsGnBz.\(ll{&8 {"%ݰcRuث{=$fOb`6" P^}egfh~ hjכR@EoV^Āc7JUB S[ig1Nк2…z0Q!dTnmZ^:U!A*%C~s~⃽oU Rq5|Dcc4<]B|=H_^Rbi۽Z9c5ztؔ*ݒ1Pu7oouK/ { 1 6E*˪ ~EOឭBy v]^58W-Oa C\aJ@/M4nMCG4js Y`=y尪9jKWĨy$=NOzkX^ V$#COk5ZDݺR"vww*+)R4N"QQ#-S,eL"Z w@7: $fFrsO\׽*5ܖh! D.cf0oE\DtJxǓEV"WAinOׂ `'o@=kPnh붑BHBUtNKy s(L3JP:yւ}@, ?rʒ%O C,!vzvn޶9yow,ze+H:k%1A8+W c%Eծ9IsQ,+d6绰wb蹑;2`K%EEAhDv_]GWU KPսX͠a(k /mGǦ7z6S`brLÉrcYN n#fcڙ25(ZM +wyϵECsz\ޫ26D[l% Q-2wg5Wyaj2UzvCR2FH/ӂD?UrE6!Bn@_fřT{8SCؘ{_ݓ׮feE%\%!Z{E$tGpP@SJFRf.N^lzj I (ʛ( 8^-?mCZ%z^x^@f €8B ÜLWg4T2O0Z`Pb'd6vZשj̞E>3:.5<G=mQqNDk2OD@@/:ڞ99y )<ӻltm;poJSiY5[a$5[t*A0_XS'q$YnsJlumO F'PF2:Ը֭X5e~PW:!Y CW*&E'\Ziށ]Bgӧyf }>L뇨@)G9Hv_~Q4Ub/ȥd^ oP_4sZi) #t;gC4տ57:vԠXfyű9PF_^IWS 8 H "2b2fz7=1t"},N Ou,'\kxV(Q|yɦ#x <w4@Xcm&<}UܺaݩX2/ Y߈U=c|3Ic`~MH`׎A8:bTUFK 0 @C}X5EU,;]oI)c>en4qԿʿatpDz;{D@TWWs>x鍩2u~W)@ױw0||%Yf"V] #w __U3PҜcRe 9Ra5r#ƛwkWHfr4 ':pX> m%tAiшc*ôۍ8t^8OV+ CL<:wЄh- j忆뺾!\!g"-kSy~r6%fI].|qZCP΅lx%e0NI,ݽNSOqgPh,ƽexe+~ W\;rree!vFbPI:8]#ZQ˧ {lqD ` ʇ k(\ ?*PLec,~<*Jx*Lb^π}uV\̤(|FDӉ1DMMBwj Q .V{ibOGᶹE~χw+qj#]T!z$YIV<<+/~rQjCb5rNEO3-R9Hqp:;d~uEGP ˥D[|b/Z?ƳՑI)2Fhpdb<&U$fFյ%W ~rQ$O[gv&MMpZulM3("-@dښ324&n:I$D5l-c#q ^w] BUF+ʋdpU⇔ږ?k%FaIa.xZ /Eg]k؎[ObO37w)Fuj0$̳u[2š<5ҁ+揚fzm}!DhxaX;A@:3=Cd0'OO"l1B xƻ(p6ذ[%_CfFsk/_M2blY°h!߂`=*~FZo s5^iOP$;:2#Ma;~ݚg^О=E&YK->8E{ٽlsAwl!]D5SŅrt(s*r(߃nloٳd?QJնvݼvɲQ31t8'k̹y/WFp"".&*!}GفXe'5Gqvr.r:|u(a کw ,mf1~-DL5^nO! ZcS\Lc}Q>F"; vdYuT҂TBH57g, `*j<_^=5q$ΔPaoUVޮqV oy3wݕfC#,@Eџvu%em`5o@}@Dv#xR +%Vt`F_D``^9kC_wIιQO*[f;gih5'繟WJX<!&c/PݳtGO+uU>%^eH: AfaC cg!Y1=qqr߼ƭ]",zu.(!Iۦ!ܮrw|[Xh4r 5ݔ<%gӌJb|k8=Wy]ԲMkފ`A 6lw׽(H.&b!%QLzifTE[\z8T:/('WZ6[݄OpmqʸU{+:)clG.0CP5,%ɭ{HG6_ݢ9+ٗ/q g `[/a+ô$.$ {ߙA_v$EOh$z6:\3}.S+l,7o0KL3 cj@IhuH3;R~=E:@9 V }}8{ا |_1/bE'wp\w(Dw _ ù''TʇE. ̠Mv-5a;F1{ ɮ'g0X~Y K?gBŻJ$~DNֳḨ¹[oVcLZyٷg0f뽪9RbrGE;P9L)] Y"&#B|weeX:nBg-2ZvA'nհƥ-b`qpa/H Ohgm,E+\J7?ޯrE%C!ɖ+àjJ;nMS~Gd$vp{ʞ(:#G{(!\@2Iج-Rv}jcjjM ]*L6*}oOA kjhcn^tRW>;q]?8P+ӻn2j?nLۈnpprp=e Wn쭂PN Zlά)lRO"u 9{ŷ`=H~f:_$s :EE/h{޲6)fyz_!)ˌB`Xn̶K-2,˒8#[}d>\{{4[XOZݰgzE`44,F~.3?-uq2$u,*}즩?}_I/t!t%䣁w 'ťsݎ}Y},ӚJƟ&] l\ ?նg;ۚX%E83=5{kݺ<; AvCUwx&wts5nTn 9#}_!`QCAknh^$-hzdF̔rA<(P|D#._ޠ"+L3{fN6d2HB"#nD-mȱÓ_:W :A ʁnj&گA'cq@];, U"\ ?t.% ]"fFsRbBer68M Ήd֯`yKب'YzC5zOgE^nM Z,p  7lꍭtWD(x/v G[wO/54qp }E8W@2G{42e!aCm_bp!tSɡE&We7@u˳y\.a# @/s,w m8ƌlD(LSd+d {>csaU9)ξ~̍2Q2 wavc@;O_rS70J&70pi?Z JzjH%FBđ!=վ+2>svkgإ25'q* .kwNqrgnTq?$K`2]Lv63p}+=E'0Lg`."(1Ĕ3t]-/*I'c,4KbcEa~V#tB[rE/:N-' @(F ՟2{/ܭdMvTB( F wq !`#z2&!I~@Shq}H+,NO@qr`6y6=/w\p8-@|-f Xfm v9;G.!u]`@tsiqC$ݕ$Nç߸e`JUB+}%8)7舦=b2d9#68{$ FZ;~m]ł4Dpw[d5镾Ԡ -{)9~l_- :`;e.ŧV 'Q3cr<靍zQ-|;&YhG 7p͝U[eNƣ ѻ_I  ]IG,J+Q :@^ N5&{Rh;T(εi#v/x!ՒΈہY5]1clK{iHI>M-՜oK.Sùk1Iý;$ *>:O gXpTD]F+kߔnq|=}n2aP8ƓW-H΃Y 5F AR#bT]_)C"it~ V(ڭ;S澎(34Nxzn: 1 dF;Z8峓2i%zLDj'ƞ:x<=vE4OnU)dhrǙAϴ Z]a[3)Z璳 >L 'y7F*91Ꙛ%e/n9>G;@Ԙof<ȡ\%P &FAR0@0wa&(X'nTy䄜Ts2s|ap;[gFlME-TQ;%$@H zg < wj܄n8OpnB4u\Nd#N HVscG tbLUc͵ ~"fhUE LUvu0AϿ(z6'iNN)./y&x=lݒpoƋbE$Gռ'=¯.C TWBɔy;*!Vf+A;hve7sC]7 mTSI ͱ{Ui{f-p C?4}4;6 m S:xcWL/ *O܀R*}T_J(1+n 2N+$YUFjlWJj噂lM=M@3'4D>$̵`T.^wce;a(ghvw.:Z肥/p{2%2x 8b8u='i]1T)tvLۓ 0Ϭn>ꃵ j)XI.:8O}Ww# G)9GZk ;DĄaZFf6u8xFVit@5O.0"XM2 m_1. jM7j/p$6i$-xlduEA'/)R 4#v1}B74XBk VG< eHx2ѳK&l,eUkhX~<4>Eiz.5,JID%ՐqD*:$) o3M~+[LcdM?+b*{H|>g8>m8im/en&@Qm^qAUQגX#X/^-{ژlCy-s9,>pg 91 2AϚ\IUߎ߯7K9×ke@3t qS ]fwÒH+" yt$:Z[dQcɛ68Z=&1xeopkFO@-IS2 h >lmqKÊrY_Y뺴瓑s\,]wt@ʲ_7>Ü.jqL@jY _Ӿ U-V)y3 m~)onZY+#0DZ%T1n֐s|Ҕ P/4!|pg7cTK{X'gG`Tn-K gX'>b,57n-JMIy|]\aMfMtJ/ zt=͟,Ӯ7*ֿ ]4V[ }Mڑ ~I 0t?ss۪s#*&T&}=L{iJJHTL udU6e:_/e. 0v FQP{`h> xGHe'o$9dKK}qfIt-1Ӿ;> .K$8ao)va8RK?58YMuԮHX—;%*^X+H܊foj`bZڍ׈'(.mX‡t92$8 Pi#+!Vrt\Cn}r / |shJoʜ{eC"\;+`L{k8͚z$%*xZ ME릡ܓ&|,sv|me!Uih/ ͲD-u#tIk%-4ۤŴƏ@ ӿ$Khh"[k ==Z4' Dw hZ(C?vB Bѳ,YhG ث@)^ =t|"^"<} i,ew,K%/qe9Gx&6RoxctN .ԒX#]kL?.H<5C2㍗E[%bEY)EVqCuŠ=~<9#s DPXh[uj8Dܩ Z =Q*(>,B Ej$l7R5/m7VLhxr)7rr!u<-wu=.pu.]1(] FѶ[3˅uybԣvC'* QA#(}Tbs2P_6lvr ^Z= L ͈(xu _ٲr%HMOK x-DfX$f*Qg4ie#.)J|,@ldWI)gdvHQIfW5"@5p8"1eߔ@S1kLHnjC]~,=+%p7(r%榋0pFWow=3'>Jlo`ZN2G> `6Еo >/<&CS,kOuW\N%JCۿMhPhx8crɦԖ,: J+F.%jQP_t^X=8}hwijrPЋUNl^, F\YX+ B+X$"CME@ *8G zX/X_ "_` evkYTR&N҄FMy.]@9:o%ˍ䴆^4O@yl?ɋ(u-Ę]ArD2ǶJ+^VL;uqpjB#`]g]xфY`-@mjqB EBKcʉYb\jz Hq<)NZ»$oh gZj Nna_Ki.'{XRtMho{Qc%F66hW/YuDndua/jX/H_4:1ȼx1ABl"h_ŬH֥;&5K"Je~MX>[E{WDWmvEQgt"[Uo9/7u;Y9"Vdw&N١ȧ0ӥ6qHpS䭓%yPScN4ėGQaj( ZpFy*ð+^Sǯ`EA Ϊrʊs%oNwy\ ڣ}VLsR/%ʵb1+Oͳ2epyEseہVvO"v`nJ;y<  pV W~wmk lo F{UÐ75mhH+G$"NJ*NSrERх[4kGWOWe9  ynNmw@kV17UoSzeay[ -G1:ꟙyyr"qʂT:rqIܛQޢ"b7hH;t@JI!(V95y1gk)?–,aڳow0ы]+E>bC}#5XQ{: /)1IGgwWvM;([<BmM /@-ѣj|ќaΫPU(P%fգ]/v@lh!V6Ԧܣ* ^,4c ܋:F^d K YU1a˗ꄑzHu]]W6 J΢}м8㚷kO\LfC?SM,W[# 3!g8|,䅤^,#`rnx%6 ǜ=}H9_ +}Ēl4٣dDz(ZQRd'Hp/-9+a:yl=]4z4\#ڄ9GhGAJC#BHp\;r uKZ,F*8ot8p> 3sp!+s!FP%.YE(=i:VAK ̫Q'X^-3W`ӈ1tcB.mЏ>X*$PIڇ7x;6V_I6Ǻúlٯ,$C<RƆ fx[ 4h%HD̊`f@vCp\R զ /g 0!?4e/Iý$+8]>guEc}a`J0[!Ϙ*0WWBi!TU3Td̶[9ˍۢ 'Ѱ<B6/HWI*=B_H7vawD5uMoH$FNhRTϿNŐ FcY^[]pMv{;jw?7ag6] 2^rp UE|Lhrލn2sMTֳ$~MTT@v+xye,! ?KwwZX:+)A}ʽvQLhYͩ2GI m"כ5nҽ=K~[z7s|utwɀ^RG`@Iv A^ϤQ=)> R :8@L:ȱfG.i߹-wlO!=|(A~`M疸6,꾝O-t1I, (] ̺~ܳkXAoJxR1F=;|vC9|'f2#xNtu&@zlBK[}i'Ǘpbopd8C'lhi;͒c|ͼK!tbs{0V7Quo,GAn`͜<46Q =dHOTF%K_a v4˴|Z@=(@J*չKr4KZdWT>/'V&O(uaw+EcPѐs'lc9z1zRz <ַ߰t܇-p<2t>SJ<>?tg,E@E.Vb -fL~kZuw=ûB9X5fD?ϥ[mDBǻpI6I:AɕBu@]:/.tIV} L"Og88 /@3auH EEVVG ަy By ϻ"B{F_gߘ:N@M0R., q54BƥswxX=; XI; ys _lhή)W-/5DB.OҸT9'ŗ^b%;֚s~ #Xd^Mx]ڂ9L5qܹ@9Pv&[>)1M5ݢ+|=ְ7CdHr>@p 8{]&qR@Cqp}C𛔓Bb d[a/EY2L60SN'NyL .<䘎pO SSgєBk@DǎCoPφV2"GEE5@hQRb,;=%+&DqAHpd"M`Q&Er/s?8]T1T-dxutRu$. `ma%M Azx,ce ~c›OM{xι JA1Nև!Ho6n{FfG sG&%w9%-4Һ&pjid9-5ؿ#5%KCYMJuXfܸoGRPX 6~E^>ŭ9$4 6ۯ\Yu]̢+1{PCi`wNNT bc .=i' -d?l`n;Q !B}GOBy'8ᒩ0EKke?,cĒӪ"E*O4(ځ;E@K҂U`4 O*g+&fI$l~w8 nbi꫃UBtX\|&_A_0_y%euְ~|QŢтl<2Ǧ3JKBexU.XH7Dy8\,2iO EMK3eJ<f4 C~#G(Ax6}tR9GX!-+!CoA`9i$}AbI!bV,zT&UpCUWȊ0 6D"#DK9~F]mޞdgNιTf@RMa*Kg3I$}>c`Q V_|A:PGEYrn vT2 ݥ;j^1K/p+vc'zUϢAzf!ݖ_16ۀjgYZ7zXZִF! k]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]{+,+!S 噻q^zʜj:w F) /gYZ7zXZִF! ]ŗXi%L&ʶ%r*Vexc$Y*VR$|}499+r(9"tPEDv4LѲi꣒Eh~aY%!jxjV;g| 'ÎH7U1=@h~P9!ѡV8|}}21ӓ穯-_交T9kdU`ڌtw+IB4l/ِ䂇r9&Šl8}y|_wڕ9ke&Z=N]m71> sDiɉVg j< pfх@!2z-r!4# fH][dž rZ9(VXPc p>l/'{p⥯AbZz`fؾU\MdľmIV3>'QկǷEȾ$2W,5x4Y&6&5]gN6ILLԃH[k'l;oLGo򎏶qIZ8mILхy\VyzH#02 [NS~=\md&رg;}La鷎Ysasd|/EI6bSD h7x6-rv?.iXDY4G'EY>rK7:wcTXBm YTddo79>doEAXjq7u&G\Y9<]]ti:il^% "T"̪h$Jb{;VeԷUa?\xKYdMUMZY8Iok2u_U]T@ dǜ]J §1mM|W3G}j3`Aw-΋:DFED5-:*==Ek|se' E RaLGibU` CP.JW"ax.Pꁓib R$sG>G{w/1^QO#}kZ \wln[ z˚TqyD'"AJ(h/M)=`I_ZmH )n14Oa bsh ,=GQ /ʠ ڊxeYBq.&q J{,@v/8/[ [8qoڌ0f]gS,{HWy$wzD»ʭ`(yZL6#e-瞪_H;3%s|X0n7f^*n<>b'jZwz.fm| >~Kd2q~ LN66ɘqUOX;[ oFֵM%#C)Oa$6z4&:wN[|qd=5Z8+ lJ$7G2d"_ɬ[ZXU{s.8{}ڐDы~0%dT.H=2RRO2== qZ8# _]eITP]~+9Rwc }B\'<59'qevq@wW؟];H'bkHnv.6(ڿC Xm oOuomc7y/JV;AIإ@E[5M$Ǐ"7S)DWQTx `YZ ٙ™+|TO<ãI+%xZqC1y[b")QVұ:j9'1AW~5yfet2Y nwGsFh`h1'ߤ+mQ'.J@84 $̷"ل.Pfki:z8j6#(v2А$Ŗ衹ѦaZ"1~6՘XzC)\<^FZ?IrأX3WͯVft1A_BR}qO[mY]Q5Ԁ>đ^ RyccezCYij{Tل4k,GgRœOXdE"TiDt ]ҹ [Y𝌰"_f. }Q;&ڛ~w[;*a9Wf]4ZFF!TSvvz$=zpڄYwnIɤ=[.16~#(: NVA"ނDqy=JD D<h @jW DeUɷZ!ZF":r]51@ 56U~7a/<[N( -;Epv=ʗ иO5QOF@f((¼?֘LXFb+_*7ij+'MΜf+M:6a!a|0B!>+R !s Qzpy=bW9DKb ¬x|loiՀZ^m7˦p (z7|$Ș=wD9pH# MY `L3_Rd69m~7\_ggE<ɖ첕٪yF֚3d*6#Sq3}apH|4RCtVhR-e4uDRL::(YH;3(`CIƒl6dJnUe@@dƳ\ïĝ3m"в S÷ZQC!}rV9vb̀%/l^+y |Nm)6IŴReO/@v9M,S>/-WMr xFMЙfo;ufVpZ3*U}~5IZPM_y{slZ9֊U-e/Mn~Ec Յw3 Na 3!CT>o[ѫ>}\4a{;E![Λl#ҙQ\V8e+?\l^>aS',++۳_ YZXb3 72{&(C?&B$rIJef٪1W̰.HMW.;+IL)!L̘Džh޻&m׻ˬ1.l61 N٧{˳#9Ja=0;u@dwb^M"i1 (Za,Ka1贘n:5& iWƩZ.#PBثeP\)8S@hj0TTAY_/~$XbvL'UP^[!PñgYZab86705a7444a5d737a9c8ffae026fee35c98c2b9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9162c9183281942654bb6ed6ea624a97bfff6718a31f5b4946016bfb1233862f8ca5495829f48905