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   D74$ ]/ MSO_Regex_Equivalence:threads=4elapsed=527.564cpu=1675.468gc=44.584factor=3.187zXZִF! U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +DAp-/rHR3LDд@1HXj=ԙݑ#uE S1B50邿~ ;:*4c{'Ւ$ tRHp76Ԏ۵yK׳oY:,0+tyExjT'ȁ49 Dk"$mD5s=(K >%2t*XCCG .x\x,f!l=? 7xWlO̕G{h*v;l8&'`˺g>{*˲z_LlLnOL\W,ƘM=Hf"fgKg!w66fie3px7Dzf`',=uMi[ 4Dcht6q 0/^}';+x_% {+EU+#Ԙ(HsLg.P=dx;!(8ݯ nNu"mXfMhh`[Eԧwi -eܚx֎СoIxAkŃbRA12r_IѸ,VubWZO(/\a:\D}!` fw!Ti~Dꓻzx1W%\h,~{Eȵ5UCD{/oIU-e18Q=+Lv>tH0CEYCe[$I gLUȴ/TJ~ 2y2CRdRq%kM39PB۬5)/O=LOʙLp=qD7"ܞNV/T29Xs nRDQk̍=$Ʈ]f܎/8m S8>xJ{ 3K/Kg24l^ :I<~6V|^v3ׇ9-]I5[(9&,!.{Q@`NLr,mԀ G;heC!ط&!ێ&Z^_Xb- YړZ>'Bk:Z9A˪p} VOQ$Ef9ͽ8eACZGZ󵖢X\I{X@A&]Gһ$tҮdZa~=cZh5/cQWD~鞧Na-D{Opgj֜-2h|TPYU1h@ʂ,Gw]߭ةH|ow% :?_"# }n[2U/*{iũ\:y@ ¨nU6U}Q~rslG:}ĝXoEpxiĂE Og*.yl mBm#X#-55xɅFRqS{ ss14&rCrtNVqyW!BOla\"9uQx3 yn5CI⩤W:|ik2ܑzb{ԨR|CdLLͤ3Kb p_09R?Q-w|Ptvs /c2dAg6.Єm:E9Y+]P gk.hW6yie)ݠ^eC$-C"T*S3*s,pU}F)wD) &΀n_2/-foXL;f KoYH)ևby|_]qɲ'k޲ @L"^lI5#,a Ǖ#c7mAY4mrtFs1eԪ$ӂ5n u~T&,,x>-HTH=B -3e#86 ŵ q`ܠNi-^<ygOHy7%Sh@?N;]dHAOm5 8TƯdNK+k?[@2ss*{??f &|I\|| z&EBm2bNYKU[U.\yWhVK\A@o#I .Mrwz"z5fEY iBY*J~$cxzW+]+T`Ԅ~Cp ~ҋq0?Ө%ʷf+Ox'X@nR`)rz\ݔ̟8饗~6ƌA;+01=]ǖf Lw~.|'F MC3_TboFoX阋fͨkЄe*!:iH~?[OIتXHo@D-P^Ϥd/Қ wouCDW#7Z:̗kF(Yk^ 'T[2Y+QzcYڎr2HqJƿZڳѴq5DgsKWt1[.;TV?`+xI,=,{M% EȖ?TmG&q\Om;x| 27e VFф@n\bj3=?{V(CfSj^!0wjN)TȰvݱUP99]~) su艎lAvKadOSF7{DPK5 [_?fׁˠN?Koϖ|b BcCFmlPu\,xBoo`,P;9~g<⺎;5]@ZӭdB`jLRvsSAMotg3U0"7 AuE{4ѵY$EHϑ,, bh/h lʕNܛ#$Aشv^.^w+UI ֖E^8K^ޑ2/w<̉9C?qA04JF:U=9<$R b 4\Kv65GF\SXaԾil1 *~AGXv*MJcd+p[綿TH | 4oR.3fW$]gg[g'4Z_~%wcDWqKs]RLfxՉY/Y5~W>%ֲϛgYZ7zXZִF! h ]ŗXiɟ1˦rYsxgp9f閷W|=n/+—g1gMT'hGvW( Zȡ%}Wж(.c%iІgg&V(! @30Dˡk9œђ:SǛƀuTC)f5.(1GT.ƢBʁ>uo!J;U=]&e H &wj/U#^sݼR/]wrlpfJs(m`p}?L7ޭ|{^RfEEĭ]Gp1{m֚ %#)r1򨝮FKz?p%l*c<0>֐G6aֿ!Z/@Q1@i]+lHb$%e$P%a6q{f0/ 4maQzg..V :]iwԬ ؁V'c+WVP @ү⮮S4i[zrU|sNpREdAٽl^XD<,ۨs7! ;bj[' AW#Q"V8V݊iؚr&\g%_t5'N/3B̐@gw8AN/Z;zyNd<b)qT u/["x0߭XvX!BF!1hQNgYZ7zXZִF! |]ŗXi%I n_UU4; _e|$ wTMχLk_;ZFL"N;5U=ҍ.Qoir?zt`_3Ơ17 F-JOB.)K:$Ykf_Ug$VvbBg<&Zn1R{^t[CkLx=5F BFR5t=mϏα C9X_564{>W(#i<ԕ*Dəb0%!.wf2KHuH3m0u= `B `kfx89Վ|c]ּCn;Y7|/*nXP3:{+y/1ӶϛW'NH8i֌l-`x^߭sԊ6ӭR[J^펊onPp)nγJ+,9 iY{MWnq74tvȢRvQCpf&%0!Sz8(r)9ETwPXxg W=+E<*c>cx%XN`02`F9" ވ<U~Hz !9nl/̏ߪoos&hYGQU|,<+ԓ=T}QfuvZ҃_`ѨLMs|"gjl^(/\ 4x4ʫpYp'lB\_tqnn$ õ+kK>Diz<{!}4>:%TxX؅:RD̜R*>~4G1Gp:LjZjȪRAر#NEn ~k ԥXJù݃@).gq2 MF1(ïvNjҐ;JϑR73l2N#zl0t̪VXh7]cXP;pM{n{C}{d_S DZ,/HSn$Τ7D럠)dP딏nỻUwӼdoE#|t[RWPhV2K^p̈́4CfvzR1ԊuՀQFp (?dH&긽q jRUAf>I sV%e,R `MTL=`eL9 9)%7˖%|&XILidM/%n0N0GYp%{#V|~AF42' 1LZXJTY]x^qG5!v;mefhXU_<&)/íILc}>mv_5_Ir/ܜCE(R w:GhO:PcfH,xNBYN>>y]fA6kV]% iWuaS w$Z3ҴVg8_6"\{;ضޜC|ǰ];^ftHn5,+V7J1S8%%փb\$!sDrfA7 &S\볯9<r8!Sծ|T WpkQ$$r6Xˈa$8:.$eK[m*(!M߾Lt|5Y3j3A*iL'IɊIUEZ"Hzo^*è|?l?R>Q0J6fMuEySCL5|opop1VnpN29x)Qg>nrj"1~jJCd…>=-=pM)3p`4$`L0]suܫy>3^FL"ʞԡ5"r`#kۃ ]A#.a!w,Ex*tnigtQ!&ƢUQL#چG/>t,` #3HERwa [ 4,pPqk$?Gm'M{S ڦ?rWiy#^v*jI moo Փ P!]\xN'gl{{z?z#IڪB;c ~v>nk 0LX6In'tV3Ӿ_L6BW}%-V VK83)>XEa㎫jX-ߙ6J7ƚدہ>Faө /Jį)CSm !|1Cb_=DI,3.kN4{v-ĻMS{?ZJ_ ȶ*,_jz_J!l\ؙke,F,ޡtΪCUA=UN6QM$lv"VX>B.{{8ge/MmFD/Z,]gVWU6_cɭ|Mc3{n?nzDn f"G^srGRYvMYvTG}"E/3R ACCYOl3OJbG06+C$? fg<]ɮfqB_blT՛KgާL{ZYXCS+lbFYU=/Ǐyu*UM FV42B "8}bgU)Fh^^ ,HsǿIo垼l敁1P0v*4m?ϑk<>)^8 6!mJ!m:dtc\Z8Z5;vƒ Z:G8|4XH"2Pg-Ngkx9[;dž %ʐ2_ImIV rU4dܢdq!jn,~0c&A(1+ 7EClC*`.s={=L8&#^ldͼ1G柬Yɿ_Gtj &gLGqHQԙ@f3 ϣ.w~hF-߳+! ]=L9Jq2'h!X'T%BeHWN띝musYuˀʯn$WF 6.8E!]*0(~8݄` QEjoˎK꾦2mXMs3y-cbcu_x"=ZB+/PH,Uxvu>D0߶Kb KO"` d[̿wܛCp/d\ft2 oaР}#-{>^႒>s@\Cwa,eea.d$!B&X斟kX(/2 Y;})gGB xW_9VLJf#Ft{R4XIbΤj_(Do's B/Ԇ0-) 2 `{ux ؠK2?#}6MHO'AY3k׌x,JŠ$+ߑN7bkwk;B_7tAYFY;n'n0C硭mJ~T;ZjmmYǓ\?cneyBCzo HZɣP!(j+*)+pЈ""/e;Moh!;z$_gנn@Tf خQ+M@ӡxj4ms#TkR&SėiOO皮#JhF;Od팯ޔ|l &y+at+oa: Tқq=D>ڗ˺dGAqf`K9kHGd~#Wsq 5{PXݜB6l,XWF苷*qBnB[xڵʉ_}kq  #Dk&=LmeǴe Ǟ0PTAVhDy%!¢vY2UE-ȼȲT <"vg_NJa !8 P%1erGȜo:{+Kv1 +lraz"6>n1NLC. ˯ގ ⨀?Wb0 nZ p>xoX xQ8*iɰgO@L*1էd}hdQw_MӬe*ꆽrgc[RjO1ȪSG ('3'.5ƕ!r}#WiEƜ Tu%R7!)MVV^_!*G9D4z`!wڼ Ptr*gJr!N$*5ǽ[]rT/lGkqUn  Bv0/EB2#4/JZ}ћq$1x@(K6^urmaof^>qe(J5)Q*LrԎY§Z+Ia8,'c7ͮIg{\Ta$<d) okxe-hfR }UFOI ȥ)~bF) O딏]r,^eL2M(|zH]oN OkN0m:8Ge\k YIt]2]oJzNQb 6:ŀxLok*Ud=8Œ-bJ^-eY'muf<(:(s:Z43_3W4'D \5I~=3UGMaN9XXqp CdoX)N'~W@a0&[T{Za4ăs CFVe5ms=sNP3VAR~kX@Ĺs^9\nGӑfz<5gtSuC `>e< %ܸǦ[o (h3S!cqg(HXϒrӚWs3*2ڦ(̇ V>֊Obش2?\adP^7Elv (^KBD5c]9P=d(!)Ɉnx*OSx0kT6.aUJizN7RjȲT{g@B P LҩA%71(w.24u_\LG `m|-Xz>pu|ڷU'WX=%vDOj/hg|B5>{Ek ZVj髂PzX]E>va}q ^;t Kwh 7 m;ߚ$+"Z[uJ2ȉn"=Y\g&Kl{Hw^/2# )\!=I r퓿ǡm1bIPD/t'O) EXE8ĠwRI`SJ>& ԭQ[(ܠ0FwEBER2ՂM}gg4X\LXӑⷪo}[фBnNB.vT)IaAֿ)p3=5GkbfAt8qd6oB`{)I4$gHi}Euh-X br(X8fTGQ<-#Em8 Iww))D_KmkvmWp^ܫ}~3}W_R9mr*v[o'"dKrp*MnF#P(jV@e JrTnZrSQ9`a^'6tC/NG#ea;_ߐ4 bU:xڌOgR肎9* coRS%o /d|oƅe'g&Gxux>m4ԏt} >kD$X_ &Uf䅕S u\z DRāiU=XO7NjT}Q]mU]6<ɬUI2U+LM߅OnͳPm\nV~D]?T5,e쐯:9@$q_1'# .MrH50aa dЌO }moy3~&6| ֎ݿ ) ZV! W읔DOpw6؊h Hn}Z. ͍AC {SmFxVv8ڨ?;׫.D)5J -ڳ~ "/IRjSU!?$ nl-# sz\,bg}3륉gDdߧ!9],7Kl N鮀T2˹xƤmdu,<[^[4),P]E 71Ag8^·qUpifT6C]lffk+_(~XohV2-=05$R؆# Ǚ+)տw=w4F!%|Lf1|_I<ʔ"A;\(> /ٯ[19ު6O\7!16{X[3`oPlԡ༞*ɉ|<+hBu9^\@|2&EJ>[RrTJD"/=wnJ㾇R=ca[dlM0N'.@qR\#u;7D,*9 8lE32ﮡ=hyؗt:GXTk3 ݎ k]\[&"Ysu3mSh%lX3ڟdo0Լ (u Rz>w2mnٖ?Y/XDԠgDX&c82KZCiz_:*+HGQmt(P7KC}q&rwW:n;9 ;)S 22)_e |0lUM.V $9t9ԫ/?T]KTA7UX'"yW>aa`<1`mTIe{ Hu lhw/;Wi S}>6sܗ@I@߾&^#v 2$R*^baV Xz"F&NmE"[gQ8 VD1W|[Ş'}ckQ sRI I pd^SBnJW;1Z/7w7oQZ%4āU.iZ(WkS:w隮I%-0uTɥ{ⲍRwث>TlڌrW<kgb\A<'A"L" f;J.`&+,Lio0H hb:@n|O2>vi/X= ux4xm^u,sQ ie'!Io CNgdmE{\xI&d*%1S=yh|tb t0Aфߝn;m̗cntpRM?&m\w9r9 \d˺xυүvq&6L錷>`:h@ PKb>3@G;P𦸺0]bRU0=WJzgы@ >ɢT6dQƥ_өsƤ/M ٖzzLc1hFF).Q}.oڀ=.S Mm _ls [(W 9٩. lI6 ;Kcws`}V}J:>*IfglNO[|gzBM"M5noq%?ʜˑXm+K.CyQN2~5fcoMn#a;ᐋQYTS&ٝ*~G}鿀ufw:cG$}t$L[g9ng(h12V1^YSМsnAK1KZlFzήx|IG~zSE2""kLk#Gud)_saSX`_hN(C[%z#"kZpRxyFBd/7Fg"ԙ9/cމMq˓faai<혠#*f *ԼFw򑈾C9wq#n@j0s7  Py1񦼽,ɻ:5x80v9i{U<A4zr'RElj;V"$xzݢ LrbhPcw #i6aA,CRw(6e;d[D' 4Mw*LŹ?϶m%){v{3bUAwj'{Pˋ^Z.a3X+Qѳ_g/1u6 ף6;H1 Ckh QS7M|£7pBuʂCWUI3qTrxʬr\khd9bLUzG|xVoqQ->c@q]f#$WLv[0̂9vP.4ə#\8V榽|"wۊ Dg}9,Q{2қ=PLc]˭&T9|v(.zE=J;}tvb}N YhO<`'W6[ #KS(`pQ<!1uu\c0 Xp,+E"r-n$z̻zJ#͕4<\gJ=0r",aa{AXiJdZJ!M$[TRe:JlsςaGi$ce lcf;c ftrTD2G%;ڒ"u/OtGHʭa:y*yg{+3 2axck!^7vRTpL !3oQT_~la墙ة'@҈Z =%wY<[ ٰle柯x8;Lv&U2} W DZ jGjՖ?D~Cu#49oCS"{[YvLsHa˗'<(I$j2 (OYe`dE̤uLNiBĹ,&;GH)&ݑV1A_7 KVxD:Iz6pF& gR~r] 5^I@HopM;VH *cX`SAK=JaPDZ_}E S`imƮ;gõɽBF[ <~iw>V<=G ,本> !YMP[că+ }Ϲ-r(H+ŦD2, (`mSȭ[, D?$N8$=8OPYBhrQ( lYGZ~3nw4" 9uGhW43F/āz+-'Pmc٭ԕp/6$#]pqYGycg0ђ|5&G,_NIswNA mC V?%S}8{5%YhoGs ut aށqS*^I[EW@savWtsbo+A%w&6ʒ^”K NŅ0OI _kǯfNw*MvT|5o?DwMT;7gK$![ ջ6.LυR3xF(>i ʸu @8 \loR?^ÔUܟɴ?Dž6J]ELz۶$)q<2"q@326<ݙ*RjiᕽGp,YPc eX@1{qj a6oT)L@ۀT/%"DJi:\z],DvSP{buv> 0z\•*O Jޑ{*ߖzl|h/yYDdy[[!HjME"4Ƀ (g! \N]Z'On d-/sOx`iu>MMflӫ:QяMf~ ]_[5_*hǘ+\jdYvXUW{ח .? 1Nd-WG=-FՈ=\8_ O)^-k ֏irŴcbݖUpRstk@g؝} t_-H@J@ykE4!y~вhanE:^qEHzDk*uD)#_Bj\K)(˛{ ?)o¬Q398WʩMsN'M1)R*-638G~'C)@'A΂:[y׶GOG4В4\J6~&"{!#hUt2ΊZSd&`΀!xU(+5(R% kĔTNfLi-GV&曐ϑ1vr=Z}wl3{>= &:*;CрmJ=3dۿ]^:Ԟ Xf3EfJMxOKih1J),@u% ]!UP(<Ч2`Kʯ)Ž`u.0&`KKLo牘ŋɡ1܅nJ!57cg"P T 4Po׬~Lj%%9"ũQ u]u$#'(qԵ"\&wfsϱt>Zհ4=(vBL~U3Q22ɘckIGv5CKJbqcʂ1[2ք,.,ή,$p:}{ ZMa ȍZÆt(kck 9b٣r; 9'j#ˈAށg'4z&1Qy6kw1_ݬpD&$fqijl̸D ykX+ndd8"``B~kuȝ0@Kb2U(ɣp03,ބ@<"eڗ^yrv}/ah?*{q41E\O[2GuE~*NIi$X"$[UyROK?5|kp+ZBw \ݥ;_̓MϾ},S{҉ǜkf CQ_^)0 =ԟL YD&Xvvt#mfh+F-f6l"z̋wNCr[L4Zi-A9 ¸KrhD0O^AE.^x%ʳ\c(m1 -ܬ GPD\Y_ن8nǏQ"XP0/h%Q@~J匥1!; phZ:N>^pn˿ P^$ [ *~"{%2^OәGE6^PYd4;d}4- ދ9Z'sE&cC| T .o%1.57g;[ D=?J3w͌\uؘPr<J6u wvׄ2W Dhk$o>mrz,Z(kv%R75adgjo`zhҵy4яqf9&XSN5Zŭ"qˤfX+cdA3\ RT?!봳x9':ЛL Nj|X.FYC)̱4J(x ~/߽<ЏR&xm .3]2; v鬗Պ*g.QKrƛS=\te$&Bf`P{9>ɀaJoRdr)=;,%2d(ސv1L[05ѡYKƅc-4\υLJx[Qeä[ 5.0ܸ]^]C|KZءyX:ȌϬ:.VւF4/2xdOS黤E%69m(f OXRkhJ]CQ> Odu&k)à# o$ӭ]ۧ&;NX6"}>;L =o$+lb5,O+эYw+-YU ;c%؋LyCU961">t>dYvnG3 w7qwzy~BʛX@e,YNը'xxFX#]݉ $ue*&E[7c `!ށ$-5\b DH[ mo/pQ*0:h1 Gi{-i~X˻m3tl+j #+XUuH[eaQa$C$gw!N,2Tdǧ*g}L4tba2bqq$x^ҋ @( Iגl^н:p[Q&ԚR>n wfnuM0K 7@MM4ha .%|veNsچ5wJm 1b5=R % ʊ:`UmW!k-O8*M|% V%%rKEصo3Z>?)|l6Fx>v=7#'>!VZȑ;p"U$ۃ4wQ|x f>Mv͟W./E䣕02f|Ћ=B v+j 8&_-^Iyo/Ր`u~Wg3? œ]GT* .!*ˤwt,0@SW r=}(3+>H(;T4q0/#6=^*Jt{fOeīY8n/cZỦQ > <Xù=٨%4 OɱGmuKϠ+ƳtNzxN7ʇ$MTOK}hY m[GFIʅRۣSE@.*>3;/焎G{;2\jc?Hep=J$*ppWhC5%[/qN P >`YZFܭnZ, PNԄ> 9_p醋,~QjҮ25+ ~\'v@y dN%Z;hd{ۄ943vpBڏuyvI17szg=EV RzH/fZym$1 5όۨYIy$?R#%!qϻ(BܶLؕ?٨W^=ts̏ kF]~ A^k9{sb&ḪA72i(9C3r!fr],^HRǷu3^~I,c|Q2 +SA4{գ%O0f"腖`X7#I룼LI$`GF!#*EӠf8vm(:!#ޚ9 2/paqõ#0/|a*;EM4'#3ÒNGg"cr/Z`)fJ݋'R CO*0a85!Y-L(}~kt'f@+hbBʷZm7oj~OaզgMri3mI$Pt9p5~7+4$HWo@4u 8pBȆ2MmSN{x0VVf4JaB=X ee]gEŋǔWp.vj%n\ fT_V<nL^(gj]Y١ G@uU0MNд\ͽI9p!Gk>:y08$* f8 ^1^f~*ඵb m; c:?å▭G{X] `l p9q-xC g$ JcUWՀ*u֑Yrmp>v2^_'R؀2OWb63;lօ,ns}dO ];_Ul)`}+Чo:r*k1/߁餃ΫXq/`rT1Y}G])T+fs Ӿ4x'-cHoE'~rS9ҤזSڹUUNkK fewm)6 Zf]s*&NcK/Qq1+=&"j +XGx= ȪgXB~Ot-"tQS7r ^hn9xs9ś]# …4ݡ{v$>̾"o3yQ!fM}5˚/)4EnIgD?F:7|hZtF+/[Hk*09J?5X[<'t{^ޠ8CS&ONjIY=i%)i@r7b}sR>fGVpuz@;<޸\.UeI{~+ڈ ha̻ܧ*$AG5]憢_S%)] ?=~xAeԀ:RFK"UpbGF\{焄]#L{Ł35ҿtŎ~EZ1Tܑ2e4eOLZSx8iv܎>B-DVJj )!"(  3bSgA' pf(#rDl6==4b-6muܔ\<8*efu`Ł"{\gx<_daY׊ mQf 63rhhADY9<ʤ3!zKۖ?%Cn'.\8ZK&k*ύL#RxǜßV#ֹ"7KBB$@=?Xd#qQ3SA@=)hH'"qBc2HGrpl´#[M2bW֦,[_β'#jBWOXnX7&#^EJYaS-R4JbNo2-%kAg<׬]>[V_IvfMwQ <1et1g;_OwA͞`YgB?t`ۤ eP BoA}eh U^\eMFy*2B"+>4Ej96^"l# ΩIfc_' t݃㋩+n qqRFDHΟЀM&`rdҊXd0DZsfGDF&x@}U%e :XUc=up)}Fk(zITr !V~DeB"M7jC5ԵXӌ;ɩl௺ˎؙB ) zvlAk-W/&# 0ѾJ`2 Dp-Ieݺ#z3P\W$zІ殪P㲦v eٮ7`!`o}<AYvm,Ok DXc 7"D{". /E)>S,?p Ð*|WwA;:HXWHsp)DáK͔U/G\zQgT+p>s/H,S"%%ce*-gQӪ󝏒 9#^6\zݽ̘&7O.cOO79a-]lw.h-}&PA8#)B.G@H=N%Wyg:.INTmž,yܓqdQdimiQ>C yӢmݿI1[܊ZR{c #6$b8T?s7lB#VqW$k&"f{cX%9I&J\nx[꩞dk탮K2ZںS\(Hߗ8%<\KPJs\8;Fp ?*sp^aNq'&`ݸ@ X*~ e䙟l ~7c!XRt\[=ÉC1m7UuZsc]T7H}pXYpcUTWԢTA\VITM`Ew20aCO"uBfwPRG]4~SEZoN8xBh.6*kaHR<3bNEpSU;钵%xfn˸.V7F \PRh钮 ptfZu> 0R3w<ZyX54:H?ja=yk4Aryj5lB)=_ .Q˾kd(屮\ }E!*g#\LCsľm IՔCvJ&~έRp@Ս! ~<{ JTU·7THiDUvN,jM}cQqdνC.*#-,+˜yqqFjFK •μ`#VEy[*`b$_ k#cd5߳k$OSF0b`!Zfە_gazWT٦ 8X#{: !1)N 4+9GlFVh[dyt,%C.H5&ĦjL Q;y&4Ϳ_~$β=WIp TuGR7[7mջAⱱ3L2 ilゕ[YK'm:|&;>'42g5 H,p'߆:O(oJH@"ѶÏ_BNU Nz "suA|#?iomHܛ5[d#50~|"a<X;cʆӽ;zɋ˃:AN*kaBP.1 &wCu.E;aP.XqMsټVG (rZtּ@j)E1ǁ ye(x-Stlufؘ97GKj1iĕęGƩL[f_)ix ۢ33{${ zR+m,XW1h:M5f`.tu]{҃ Ygb[GL⦲e^Pd]|<2J?B2U2mFڢA=uWsު>M퍩w vtCVJXonh|ʛQ̝2ځG;xhAm YoMXVI/k5- 3҇{#SY@Irǽt?ڧ#eZS: jOђZ EF.s},Mۛ~ Vo#ox^2-Hulb˧z:Ug ;tPZbi]҆բ~oGA2naÚJhtS#A+izuU?Cdj[uunUo]ӯQV:}+\MtӠF{y˟z Xc}9ZxkäF嵅]vijZy^7J50@M 87;~;KT~(;rJdfEJF'P#4>W)11r+ +˖{pJ|*B>WDVr^;-Ӈ/~)/!SZhK!@.mXN<-~ ֍kVV4U=XR0wcUbX2 ~`GF lA ^ҬY%ձ:2OxߍZ;/@31,TC ȊR T=VǝL0ΜkƢJ7'tmorfލaֻLQ+ZKm6fsgmc/(RűkT@p+kۚu&<*skY\ GN+nFPipΌH&o%&!;`EyZX r#kv.>ֲ^2F;u ]r<-߀gfB k5جÈLS,}8!b$SK{I׀fmE9sqTrMB֣bʆ}W/=?i?37̫/}۹c, )ݓ#(|Jp }L8Y4`rg}h ;٩F֗ưM$L'(*) ;`FVŵdT4*AnJ*?}"k\(V_G@P7ˊtTi` -#T?ʏb~Jb3qm#K; ~Yʾ8Qmy45 G Pi8=t9ǠOJ1s`EH.h0G@RlO@gהl6 kp y%wL@v<ËW oslƖ2u=XQ =o".Un ]Ĵ:~^⃦ =, &lU^=˰fRN)V=9wlN860},0tKqӋ50 `%)0xD转]i|x\u@A,2> Gx+iV" ]nG56Ґq} KBiq3':U֩mk^+˜^doR YAА/)1 oR>B7ň7ʲ qP]U-/}3/zx:浘#10*qI>+[5*QPw^> 2͑bl=2xH_ǭ(y_]0:!@kr 3o} P ziwDޣa_cl X&*K~*ީ=2`npNҿh2HFv.xt|X8}C$ 5ڹS^CFm:$qLqg1*i!-v'Sw=K:hs A-#4 gt ])ZcDAqF<\C [>[ -%밸Qa)|7Rp !?]}+x]|y M@iVFaKڊwNC7JӪe>Y$ ΏW~>]x^ ,/y(B<.&TB\\샸kn _LȊ_eW?pmeRP921|&7&Oc Q$vKd8 N{26ϫPQ`Oh' YV]gԁJ( S|)=l}H$Hv4"aҀ˄UC{Edy%͞X4u<]]oJeY7`%hzf:y ŒV[+kFe(B.XD@.<([h@ZF|h*H)qO6_Q[EZVs*2򊣿R^tzs~eiW.\>$%ɍs3cJ #!AFӎj_X<\bd+pǣT %9iYA''G6)1#ç`{#&dWCQAi ̰oLl5(]C?\Gmb6n{mƇ;ҋ?K sK7|ܐ!b̑|$HH ¿0ka)*z}V5b5|ճ]\XpbXWa0ww 7s.½tH9^P#< p@c(TI{*O2l"zsdŮ.pb7Ng'\@<8;VODF[rl+"Բ 1A @K`*zD+e𸸋A:aWVyw:$!Us`+NڃcIɹGQM>Y9|^Ym 6!K/~ EZ}u(=oMEr7|2jVR-\ޔ m?0MkPfqmÖzB4ҚX1O.3ta"7r4ۙ!H kki1HUB;#N1-+ɚ"㲟D# t^n#ŏ_yCrAZyd@JЫ2tߚa'&ف6+tu Au!T1ixΓO씛lq'o ㏏PPf9, MRmgjKمw mD+.$XǸ?21W$3s{0DAaS$lXN$B0o'Gr[d1 ]X!_ ?CϢ5>B!~w0<gH{ G Z$ TǘqY)ܙҾFEa^z_-#,ov&$s c;_DsCMRԈyNuOivւo}q̋_ii~qj1.dXұgYZ4c2bb4eecc86b31eb4c45cb598347a740fc105275a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22