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 N cef\dW+)qFl$W#W'Cx ',6T RC=P%3լ5fP7L#o)_^ÏWhLnE!̭ct6ex%KĒx״'>/ntI6AgvL5xRD4 =Hywm2L] @oɑI\ل>V85^ E+-_-דEJ,n~#AT/JOj#Hx:B2DAag!ۼxe+Z CMq4|*Oaz4ȭOc VJF):2H&]νSXN5aDB nzPeqK_'p= S1t݉BZ,'2Jy}ahf/w+;(ozޓDuF $0yZ#6PDoh6vѡo(NcTo~GnbU[U%[>h;ԣ{&Ʋp'hԜҾM#-cػE/b?X$g[lhύC0:^Dܥ LӪwtH&'ďąb>S$XR[@f^SẨ| _׺5\#¹``G6xX>QoH$6NVT 2\@(ܮF2/A=%*D2 2m7n?ɨ#egs?r8%e-[r}Z]^hs[sc3Qf\֘s4+fr~ܟeɊp ZoMih4nׄ{EQY&vCm WxGY8APSbdJL B/6 O)74V 7xS,<̎+X?KBdvb(Jׁzc :Ȩ~-ٍΙ>7AA+n/ur8lG{<@+s8O a7QgJ[08X*: _f3~uwM1 fs:xh.@*3\>c&1֎#hv*<]P|ؚ[o^D4Nl?ՀZY9b1h&2J7x~VgFă t> "/! XPd6'SnysP ك-JXŴOfJQu|rr,Gk !NVN*9;4]8^ ̻ސ:c;`v;qH U`R0O! "6oEuǞK&o!Us_7Dگ!r |WƳ{}Và4pZ> T??N1P^了su6T&S$VfIkv*i &RQJ׭-T eev/GI1͘ƀMnA LI Ȥ(" 20縁g)qĔ/> djXnҍ JBg'&Ty/6Dqq#=Zb+\j[5$e-2Ѐ;҂"F,[ɼ_^hpl|py,G}U}L3Jݍ-&Ӓǵ _E!W "6 ),⃤AEk5i=*\vJn[KBg 8pXt:N4~m2@SlxMGB0z#W$ V 00kgޓjJaKU}%V:9;o}4옴)Ho GbW/O% jHn"Jw'n.ؽ6`E8`c:_ >6! 2!B5С7̭X+㌜ N]/.zpJQC4!O,)n8z 4p:YxtE82Xku`I+ZY)Оqgcj8. /6p\+7aWz E( " ;Ag_Yjf:+?P Ƕ.^3})o^h''[qW_ܶCMwO5{U~U֪YK`v稈 őq(V-f^) mvpav#ZҏLZI41-5+wxLi ЖS VEX'M5YGk.IWuYFVKFt{JTRJ?7S?PvW)TW=jE"!59Wt>e>>.AfiSXMZnLC/͠ K$DZM#^- iu:RGo+}lۺwQ` af wMgەt D\[B!V% 4HZltrɍ-z/$~li5A#,,8qwҿq2N ,]= #[x̓$':8Tz@whП_fJ{j8D͝'a}h1ɣ#2O9d? WPN|]hA7ZX0zY:Q?1 1ƃ,5Z$-h/WS߭Y'P.:߈o% .KT{շbMq*iXP[G;šޯb"bTgU]Sy`'K{R I*{E5TIt ٓvѭt*{}Bb0cS½YZܽ$ lVatϊ.M)'t1ؔ0 @`Az>FXRɎfXs6)"N'2w*ULcܹΕ++BSre lv 9Q0F"b6(>i90`Ȩ7ٛe8h.@,`Տ,:S5iݣөz -E|ự?;&Dx0lizPPT3hgVxz ϥ_N,N7Yh-,K8JגC_HqT́X;4Qת(UsYKm]I*wQ}_9dRd$Dp)4%T=!`Ū!'clV'?pW2NURn ߚuƖqm5t WC9r6k}dgC}$J1}w~|B!ؔdaqr= N/c wUbrB. pT>(L(gi+1H&b6wݧ`?΋1 5JȊ 2(n=HLG?M e!kGј``3O[+>T?VҢ O(@ i$=YY˃%58gO0[~eu3U(ۄQ]Rv n;+|6ɝ=tn+\ͥ0 3ch $HJNU\ԞO.c>fo ?2-umP.5TiZY#l~CdXź2X?\ꀤ| wqXl&ga[4"2lLRVpzF(_d[&J7gbJ+gR%Я5!VҔ}j_cF#AfT zS?>~o3#qOEӭYj ~+68f7zpYVx^i@ȉ3+Ή!BYUg;201E.Ҙ2#y.5_לHs-n$t~u.[%3*ƻ67xaiE]~pVNa"3 ۏe򧣁Wj揀a80 7*@eUG{txZ_垠JMj"$h2 ) B(;sSS[^}@cOVBп_i{:euˑm1Gf7 ECfY+9|LC$F+kP÷Ǖ1f~kd„i|NKyJP报/@CiIVxIV=8pXoQk#(65%FKqrXt Ŕ$@PO:alpe *oj̵. cEmTkxf{p$cา9`5U,'txEq|xaH\ ֵU6aejp0qY`'^ZoӍjܫ ^b@0r'o!s n$D|&Eh4c?p=(K )=GKfD}*]D HD=ng 78 \Ѣ1?VsŘOHKw<#mgJ0qC֞ >w$%?4˴{gш$g1E p_hd7C3C$ˏKz}hP~3poc+sI.Q)Ô(wyu$pޏ`ɪO,6#h/`yJf9rVE|b|z k6jnB̎95Y2xIv^ÆMyP卻Eސ)߼XBum3i z^evhTǗ:oAC8xwކWZ! r\NɄ]VZE󡐒,1"iolɬZc[x[֑6˨;)@%]kbՍF|0Vc݋ߔ!ـpfK@ ䷥%A?U>j̴{[2MAc TTy(uu NPM4wd>"-^'*rA Aoѿ5ȡ'JgxFMOuQP4A;S7(#pF=ڤ8-3}ȖA}Wt@E5xqG1H,T%C<|X U}- .':'tkEq8:6R6WÓy`!J7?\X,~ttZ9OC0]?|w-!,J&\yv[jl8U 7ڋƞmr_f$ ;~,9yRA"ɉ -3eg7tC뛶d*Ly1pxY`<G|$Y !oa8MKDDԤ:ݭ|YŧI7aPtzxvmփVY~T_iQsbe1VOxVZ?kĻ p槟%kb[.W;>P` .)3&T 06N,:YP `]3Юr4_'~*VaGL㇬s\޾@k)wf?`H=#B.b3u@ҊlnScwEtm⬻-kh!6bU! VP(zEJ5A_%>)0ԉ4/ܟ6#'lw?Q#)E,v>juW6wYV…8eNf@bևmbG4 rSD[¼+DE5~+L*:9Ǣ!Ǐe_E&뮵x5/CHkZDMCڬ[*wb"B$PŲ{Ĕp RB\8:IM1^HٸY%s6!qS3d֏Y|Uxf {I}EbڗJjmaGoWw"o;+a |?`;]p!PM~ PJ `OF"%>IKVtdl+i1='$%"zAl=dj"F $do21G+@RE93Lr4q`-Btŧ? A`ytAYs2.I˽90g܇907-(0J9 ,{_01?\be3_.OT燜:C)t|lD˞I"ap%+C<^XV689LJ?Y)6[59;xuokI%A ڡUƪӥ?]TVv ʨ3}/,{BWYJvB `p2>I/C8?Rϡ b$ʥZ?":@ V^.-Պq}ΘvZdQj+'361o W=XIZfKBF Rσ1S{,M3mЫ˽N4Xb_<.߫:"P?Z\+Eq z{jW\b0]cf\ rzQ\k'U Erj=z@)]6%ʕ /NR<ùZD]k$DxaB!\RhJ#jF; ٪w ݁, )يD?@n'ttM70 Sm?_~MY@OK"P4.Dv]ɐ:Ȭ[r=%LpǐitCcɝxaד=qP^laZ-I؈tiB-]A|`>f³r\bK&ߜ#uUv"䰮V 9O$pv!Rd ΎJtсߋP؎o6&"t1(%f-/Ic_wlJٴ~g9L<#BuZ6TF"7:f|pqQ5WXe>l;3Ԅ%nY@0AB s-%p8j8GU/d-a껙rim{ 岵ms3hő WkP6W dpm` h̐Ө<(Nh-uHeQ rxQJ$eef_rG}g }sVΗ;V']S&AA]5Eh7O%[ r1Ph䶺.u OJ#f70S Uc5?'rA4=GH2vGpIuRۍ˿y?FR<-{ÒnFhr@Q<^^f@Abhda_ 7/Z+plc}{h oP;؄'M'<d96$$n*Qh#5˓7($_DF.`isDafA^c1CуpB{) *e )N[@1mvTGӢ-ؤ$]~ixxHkinxWj^2kGNι՚6[\/P͔%~:H81i޳>`;o~ ʴ@C ==Z9r7d6-D5niї 1E<%6y0:qm1I+ŝ6 qF[} Cm\qTtYBb;M&]Zezmm]P'hOtY^Xz(8_|\̩GA]':ˆYNveMD{v]j_s9i<`)-|Kf ɜS #3xm: ĄO05%Eloo[56YDcWBJ[\8fip ztzJ|5ox6k=(K(4`]U%yS3I|+MOL|i ٞrl5HPMY lB]ROOG9+VSt ˩,y3\5Z@@ɪEjv`†)>E2u?&ƻi#EiIr$+`q??ɗk" {'VJrO`KZ<+<=!ի L~0̃9JAX>NS`NTNDeJ:M:<;hF>^tftވ:D9 XdB]#2eLiUD^X+{~_Vޱ-Y3G QxXbh])7H_X7v+N>Al}4j `<9v# K_z sII#ħ`S1y$2a0)(c\̟i!n=:-[_d\olKK3XQHWdf_>Њ:Ẅ<)#ݡ=FZ7saQNv:äN3no.r-P}@o<%7K(ȭOűh=VGkw:uuTP&l.?M8xiʿ*7{QMTČJV>nt\E!aLJNkvQ%<$fx% ^oz,ݣjq 7;cH-`ba~foٲ?lx Dl8×ָeP9j-}qH ZI]>s-ėX\MOy`zssR(_ft9V!a6@X}|?4@u@ ¬Fuv2m23̹MS/eWnM㱎}g)Rhȵ㠹o|C4 !!%F &ck+z Y;_~)[cɖڔ~A藫J&+{Y|SxWvՒIƇ:@"/F͊ 6h.T]0{u*VN% ̠衧T.?xf2[]v=z6HF~}172ҭSOTcǤ / %&#zpR%F&b'uBYbmmɺDL|OcD-}Xš5>{{ fm'lVg4n#3ۤclO0%!a0B8P#J=͟g@i1]PXjk-K_=8"cn+ 9בVe[Nw%3ߥuT2Fr$޼ '!]FEcz(-~: `LW"D) /4"FMf=}gڽ\eГDSb55~ Փ3+NLeI 1ऺ6 .Xp|oZ-wM7|Ūy j΄Q<{!=B+>nN~czㅵɽC㓙֮!sǙ&#(aZVw=;RޙRY^IJou>jx2wl=m'W??.EpBq3(~&io?9OGhpC b"1D*X䨓gtRWo]c@m&MO rqɱxG|Ɇ~Xyl&sEEq[,Usb"fJb,D)0KڠU5#ݣ;{%N*P&tk7+re E?mןxN@skֲ4gPȬ oaD n*0UR  /L6moS"zP`\05`7юzO9/'ӡ=%Mg+5amWZW9-ǹɂJhuU1?d<ʧ 4D$-q-*7\p!dDL&gEP'K|ց._*c>0YDHtsR>:_V6frK,H$`" Mȓ#̣  (y%.QLّ`Py ensτH ?,9]l Z[V9ԧ"!0M:ф[ZSm 42# [{]c^aWDz\@AI, ze.#ʡ63{Kst@;S.kXBi7$"&"XSu4cΚ^ lJ~1Kst\+YayV7趛g$|IG79J2g%Q%\/+|. 8 ۦDԅ~º#I_0 56v9T"S=wIVCZg?Ğ~hxRً1n pzbt Kq[2snJу|YGRy-(GBtQK%KXv{^c-/t=6ŏyM?K"Quբ:쌡oݤn꩔X5BV*HCX5]HVFc}[X/v*'dXpqHÈ‹0pٮ?d{1BYtR6H&B>XYR lbzqxNM09#(NMH,qf an{H{L 0[f 5eM? |\a (_$HSK_:êRa}ip,'@ W`iJchzFƔ1?oL{؄qf}dUєK+)qn)M+/Ͽ΁3z#*g3qVQGbsU8o ok)kWPmjŚ jFE8w<M`DB䡆Bs]r̈WQ->"2CvܗR \3f|TDɼ[!< h( kA8 }6i,Af=᝷S '@CK %I܊bxL3a,^> J]֙+$V_ՒĠc. ;)q\` !H K/(IC &Cfť0bTe%w;#7h!R+w,AHfҩ_J"FR ں}x5~|P+obx1#,l4]o='-1M#M U@ʸ2 xCի B%< VNsY5lmQ^褀fufKe`rÓB}`#")(.6D1M|B"1ğ1wj~q bd$$N$>Bߵ9cpJ͊ L=Uz…ixY9)1aE(.',\;U!8${rr?-W†d3.nCvCes,Od **Ԫ>l¦e}ef|Oe 2=@s l,֫f;{'{< 5!; R;"u $ǏBېG`z8پ⚡󕟆6 kbB͝`ωŁXb1˕٪8Nd 8W%|qXLfZٻ)׾P--3g&<$>C7a ܍SzدYt3E8_羸I"bM+l==J/mfx/?c:tfBK Od`9*њ?]% w[Y[j]ʎ'\ίؾp^܊K_*{+6^JOK"dsIY2fzGh}!LYQ :i̥ KX፱%nhInE9`k#\bÌC#)uVXZ`$i'wB٬M(s#s2J4WC?}ɦYaF &sq(a@EW[,(bHh`~4= B0fn܉[aZNBEeRٖO//f]>ЪnLm}O)Lb;j suz-]Ҙ%a)iDT]jVkqeU|۩]m7Vs f6oY)3T+h|N)ٟT}==n:3Fɘ rUż]ی^aO$&Orz/aFn/Yg rݗj1?=t,fI! i1wP }WgC;^&,4dM<@56/閵Ƌ[~i(\π?)u55O# n9e w.i0\ih`1x-s^<*1n=ϤLc|"vF'ֱ^Imqx̽@kbxs)3he'\AyJz )Ef7beHf7GDE.iT/fBdCD&1ʭk9 ?<@fǓm>fu26)w  |2r>zsUN7>wT . 55okۙC2@xv, \2,\S7ݞKNs,Ҙq|iqL&< Ȉy'NYy^[ƅS kΒp3C}h3*1H~x{EHVc|7˅k/A)xw<ªwd<{ƷL[r*+t8 MiVlg5g;R81T.I_GG˪zprByq9?Dn5Z9z4s?֘<0ikd &/C!~NuL١0OϢ ʄbeP+ptjZX ,9RPH4^~xC4h>:q+6Jf?qoEy<.@67`IvP>%vt!Q51xXW 6vƉ=~HqZ+-^5!։ʦj;B \:#܋F嬨|cPCJ(xC_^C` {6\g}ga_|JNq7r^^VDWdt^0Kݦb Q89jB%[Z sR; YBaf;_{70+ʍ9>029SW54jTbr]i=!mHo[qBjD{2s*-APztG_d@@7ks~hQ^ǨSXwC~*;M.N\ur Zlտ3 19MYHNR.'ˮ"+ je {"p!L6y8g(%+a^tO7уOʫ-'EoV ޱN*DKt\H<(Ye(O&fQ>DUIk]vDvy.3 ߵ/%6ZE2!EP{~ޞ.;z!s*-'?B@w"_3i+KUB`aHx,t6s!6%=[ };W({/s+3AP,"10e"yc|ä3礞]b85l20j)rn 1sBY0R * ]_9^Cuk'j wL8ft*mҘ H~MwR6z+Xw0|Xfit;RNkj,ك۸E⚚J{mXe-@ 藞셌ksԕ+ۻ|.wx 9x;HKvKVds@mQ//QIx㬥/yK/Tc5}Ti&K,rħoOz?Ը~rMu_vtyabgljw=/H^fYrCgW伡#>%I7SG>:Fu<-l g!LNx9ՠԏ:;AiE/}]=is#RB6Ά%t/Wg|$cb |Λ@fR'nߺ6πy2 7ZLvGtl;&;3Yg`Bv&,YME[ Ŵ69 ^tEzxׯRI8.ݖ1ZFDrN l( <`/%1s99muZnf9lkVg68ߚ(Ѷ~ٮ(F;͖N\]vs sCFoPkIĤ~o^s6E\mGTB8ـxWq>JpwYLRsLE1O1zWڐT B#󹥌dT#T",Y10 :ؕ:A_t,]6/*vqȘ[L<^Ǡk f ^D/P]E1F㶭8:K; (Xbq/ˏ bĵc(؆ _$-btme솖\>^ߺbZT&An#؉?gNEb1!O+ 1e|kQ JD08ԏcnaC+z 'ke{o䒷Zy RBzҊqc 0Lgb8{RxQ EgG: TVcӁzzӅvbk~8J=fmZdS3qȚu4wXr}|.X+^zNAW]»9rSaѐ+kX%KUYAsNSㅳ;bD@Pi0xD,4t3u2p̗G\Am@bMGwNcu6802A7!ʇw{ѽlzH^ i cV=[<\S c o",IIbo9ղbd;o\Gy#B⧉{[HSqC4-ɰ7ZZe'>,#&8Oae%g7} ,M/Cy])rs\uh1-!iC_lF])NhQ'o(]3,8] ڻ_{%3 ̿H:RgzZd#"g7[ʾ@c=SZ";$ s=0vjDU1":P_6O]5AA (ͥ4HtDP3JpqiRV231Zު)LI=]RToe@fKL,fA5R5wY1/UՓ3k.ˆ#_N`"bG^Q˴MwVՙݵW䒿I}5pLpbwfʕĉFD#k=s(X@ϫp-+(~EsS򸑼屰NrN5: *zz ;gk)Wu `FAW% usɉ\XG7r.XׅT'f(*tKnA,]s݌q˾jwhۣI@lt֓ꨶ@_0 ϖڌ"fiQ:[VX37 )fU\Em_`Ѥ:Gl>5In0;Ptti3sYFjim8>7y>X@ch<2 fV쎌ʹmЬ߾Ŵ7 J6qʝcg6db/WhI&R<늹>rtFI|dB=M`0AVbH*}T/vG68o )$eү棄TR-ԔCAx* _|6WJjJ$#O6;_@wF/KsfW-C˹Zq3ϱhvd1܌ݣ} ^B6E_6fd<36s>ypsE"ҧۏ{ !y)L,!zBHԆ# QY4RVb7aS'X!oZqYfWogA9k‡Ѹ,fI|G`ڠ910՜kDa: tqSW øgv`!]/vTr/mQPjSKtO!]w% NҥIQ7)i- 4P94nLAsE\z!N{qH7_W\ g,7g[ /6݂ĥ2Zh9Wr a}>-Dv@jsp=Ū(ti!-T_Jq~ʿIͭLRJu# lCC3Cs_ Ex%SHMr7aT;2h<TtaFIQP l\2X‘ ۔ xU~W4ZO )P=誆7J)ykuEdf/QS,"v_>\['I4.%C"wf@4}WĖ %a^i hwɣe2'0x/NBY!%Л{ 鸹c:="s8Gϛߘ,F{ΦY_ekћE<ڪtH!uu f!Y] g8Pl=0?܏f 22qE`o+nL8[c ) عJX]UZPMwaQTXȡ⯥JK4gR9sixhNqŋ6 H_B{nhriŁ-u_e&7B2ûvD Qkj )wH^^lbo qcesDòR'_N{|105VS`R |F_bϠ~]Y_^>OMc7TBZjf&N/^&,Ͼjb{t/#|OCU3"s8Z% }r3Xr>TwC4E[KHtqJ钡]igj8 ci=^kA?wL/ӈK98L, j/N]ۈS_+m#+МjRCˋu Ƨ`xLEɷToj̲jT\$I-"`%rO=̾Hn0#o}܅yG#@ H\MWr3[jj iL,u/']޿C@-}gI1KRT9 ୫XG怫8)4IR?=p}\>.W.GEʡ=k$7^$"`ZYE[Zyn]RO;.+'[涩Y~`ުb8@S4ms,#͔dDCX9ZȻ[/)wԤHG0F6I)l0iˀY3QéubV]Z ożbzI(i[rv(3@("h,0 >,`X]ouXILmH{s#o4|b|ʃ0WrI:_Hy"mJ,{JX^ RپQ<+y@5r(4 u;Aa76GR,^д)9-}H;k3X>5M% 8riHnI{uEN"O"/X~yKeim+ @BQF!_,̵4wf~'le! iR$͂(|P5O4Bۃΐ>ޑҖ l00Ȇ3Y̽sCnj:%Fmۗ#2 Œe9{C>WʸR&x/Z^ʾ#}ɲzi {5AIqhE2RګQ{:m O7m!ũ H "d1@ ?-`?vu,{w%P(;BiKM,H[Ȣ&tAXY Uv&IbrϴԴϭ|Q.p0W˰XL@4IcVn͛: P9Yϯ߶w B}>*Tn2 j+3.rWqĿ/ډY:H'i)bL]i:J;V+Jא-zBHJM=u7s#ttrn/!{;b`[!\K#*9|wVN9Q)ڂUVހг\"bb iYh|{8Pds*O'ѽrrP(&-}N2oJ0­fT|β*6pX% yFA? eq p=Kktxrp#U8:oH@k!_%(QC5o1 SGvغ.m \H(oKzܺgAJU~eZ&2Cf*`n:zk.Wg@i-2LV?6*ӛ-F΁"p0 yJ]1~g^3`~'0J Jx7UDr3.5l*Vv^9VȊK|cUyp)/ 1Ek˚XV"C4x-??c]>cZ_$ W1Y"is{g)up33 t`i-LRB=& izPl n+AdW-5^u+ ę^L0Aۃìj 犝TE["0t/Ł>g js\3f-8s)m@b% lOu4czeH")_"(J e^@-pƟ^p罛-GފE¢!X<|m;讝t!ETvn7R!JMf ~bnИ68`$؜XPO D|*I&!4HʺYjHsA?ve0/E/NɍԶpW<(lo͙6󕿙~4G_Z@bؾF'rww$m+8?`3kx%vޣRTA[IԠQQg7m%i4~'5P?&0 xŭDkX/w& ̎–$4bmǝoik9@$2Cwݬ#qO!2lPD[C+.S+eљx NwPe}&ފ1rPWex6H'DH/KќR^1ҏҚ[* /Džx}UKmO]+|H9pSt uLOdi s(X|W$ xgekSXZ%Z$b|w0oG$jN֥%YZIMq g?vB(C6uc1cnJr΋/फ़5md]U{dhJ˶0{z1$M񜧶9MkeG 4JBR?I%y4dm@t)x"Z|A~t)E.f VjlN bF).S:Cl$ 9](͝;utGCd?]& +gb2֢~P"/8t c_][)9df`)&r`%RTuN{`ؽGFr|y2yrZKe6+'Uez5LGW ==][_o7q[jw۝55S)m#$,%ff\OYJ8_хz>]K _ ]zxcd@6BpW܄V߶Yg&hx: 'a8ON'B$t.W>:8&xXvlBCrTJ;h^$ʛcM7)K:2~z?AY8~l}[9WFTS<'ۡ ܇94 O'ڌ+x=n3uՇc:k? Pھ#8Cau*_, #`qknn/w lOg+HD _D?BWY/IJQwO hO_7V nv߫s3= b`uIڅ!a.?H Ӧ4(vj]sޟɼC?J$ʮ;^¢-0 ^ !c0bpVhJ$:ٹ$- Er: ^dH9{{)D\א$`2=0u ut g?L˥kbkgXWm54vCS04VlX8MV_N`;c񂃢epvʱx=moWHuv9X( +G`W ,l(jbo7-C}q-'4L_Or)p ~4]9>k2uZt!sTG^}fù ϋGXcGĊ_бgYZ7zXZִF! `t]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Ye9$D& [ i 7uP;Bt>0SotP*~'*H@ԋܲ;ĵ Uw29^UngĨ4[em K'€bgP"g)Ѳ|CUt[-q'lgPiEp,6bPR!GB!Pqc'ǧiߓǪlpt3&:ouPsȲU`rGSR.fh AP3duD > 0ƅV&uE ~P"SJ'C!va")W-ZA gYZ7zXZִF! )J]ŗXi%L#N_碭nKϏɐѭݾe1G{F-l٪MHp8"2Wʏsư` -QG+T~еHZg+g俷˞Gs+H Q8*y摄"G3aNchEDNPK9Ƣt 2υԙp|!@R~fK)!5qj;͚PLq'Ѱ+xeT$-R X>XHTߋ*6aa.,X;k!OD(\e?dC5o2ͺ6e:X/f hZ$eUL-PГQ9f4ϿD𬐵o-Gp+ϖ!ߣFl߂]<~kڨeMjǹBkXZHRa.  P oj "/GDic ;M n58"ar{ϊI_ggieH^TGˣS@2l@%,'V]P9CB!Y$uV0(Gcd %,lRcD1LoJ]-kJh l{ k+X_E8'm!H gSuo?8 0 ({(܂  OISj0;Dv}$ ?p2Q5Y-sԪƯdFsϫD <.g1 G^0g`H8%<{S vXIwb~KN$R[KzY՚ݥK}1т[X.vCzZ0?HH{oAɈ"DLvDlfŒ.RSVVgYZ228cfc6540c7d232cf4272dbf5d9173c0bfa532ee6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc 4732f9adee54699ef4a3cb886db3b9fc27c24520