SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 5|T ]S HOL-Nominal-Examples:threads=2elapsed=579.662cpu=1057.864gc=117.772factor=1.827zXZִF! ,5]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[F&EA+`}:$kY`&3/;;)4"]R\0˴Q51MyWCA<>e.̸/49o wgjbuИXI~ !w`eGUgBr. fSEj s{T7Y:+D K+S{KR(v@m7PHaRf/Ս?Ki4o0f-R |"zx(!(Z+4¤!YIeM< 5 HOL-Nominal-Examples  h^OY'iDء2F^LEU&#kdx}^*x^I⦧(@aӠ l{oJRzW>{َOՏ${6tڝ/ZèM$̈1Q]{/ +X7q(kOM>|=t]־|& g7R3:ZɁ!kT;}@1D9/ ;DyOPv<ќ\,e¨IEg*IĆZsXBarGI繛ݿU8"sv0טu{g:}-*JKj&d3<y%EepMl7tHœ6xb;MziQ8 yFGqHI !F*6:윲ѥtǻfSӲE}җB˫5 Q Fs %Slv!#~*ޅ6dh!JttaJ_|5`}_&\(Nů=ԠǨBdkOhx s%c=p Vd +INOV ZP6le)riN~17Z]٥B ǫ>E_;,^4c (zP P@-ZUgr3B O[K u<d@;tw/ٯ%[t@3;h!n", }9 MT J$B Q}CIAB 'BI;aXy%EcH279~ě 'L"mƺEC :ynʣ Eޗ]I ;dUqˀU !^tu4Ku+x9\iH|;^ݮz@Q4Cb*W:[ *<& e l- xK#שpΐ 2)X]I#DDceX2X.zy#U5B-3̬BynŵSzV`_\Ǜt&fFRbbk=eYefNa-oK 04&y.J,& CF0)Z:l}УuO^BDhΣ-+i jfҵQeuS[IKs;ۯS;{S%]8ىNj)ݞwjZ|6duZzrKMޗw3[0)tXkW[nm5Uu =M<r{c~KUڗ:K\^W@Z. *1HjfҭԍM(W k$r'kqݒF Wh氓Sxh99B |֓HB_vVuó} Xcj4 zdVDmcCX:-hFPN.ud'9=O5MDOMIJQFvpIzJ5czpc x[mѷ7%Qd|𳙙䯃_m~S-ғL}cbv;喯n᧍Jؚ֐ qc(`9NmKWթ4[=UTKOVyKFu'?˨f26c">h2׶"hobYDT9cko@qS1pBQmzj r7[;>l`3b'pcU24vZyڢ1JŽ̄u*yI $'V f6楚|3) [=G/_Fc*Wb_#uZ@tz벰 [G,bS,s96nID ^lX2j5|[\r?Qs^(TU1U+,ة[qP gwtO@`xFbJZAZ@o ʷkJwTVHk:ZmF]>;0Tfz)ZN螳A^Pr_Nn/ hPO#+dK8mJ\r̀4@0` ޸Z#DQ<ۅ(]ʣetٍNDpF@)u%G=<+1k-uq`8ZsRbF -' |p7#.EՆߍ %Bƪ̶..F;p Žb[8t 6;mU\63ᴞO+b):"bRXXyn["wǗgFA6"hO/Jb.TLYRo2Rl@S-@ l0,<@8L.ӜHQ K 즈 ̿zE0$Sڂm3~vaf0(C#B~7JW![;D#eð)8P pyAL^3"j5gh@9z2ޮ\&ť1 `ڹ LT>, 'BuӅ@<0Swސ /2Ɍѹ^3,3ߺ@b ~,8DPV5%ǎa='Н)9K0Wߞs7#;u4t37rbnƯ,r|zlRM+ Or#KC>:}i'qal)4泗t $ cB7LdYEz*%zYJz+]i&`׾zb&&cz7MBeuW!֘2FshLe95&kN_.:Rn㘧W0 8l?m"ӠJ VF6͘+W[0FF ET$s&>G#FXP6瑶РNe#uf׳$@&/nMux?a #ۈMi?cRk=8yaǑ:x{jo(,PѽOzICiԎ+@MZ79 r,8ab9Y띴UsnX53qw`$ ` GA\D k̬!Љ#sԁ31+6lPk +*ɴJ(YJOh!TDdo ڽ/s03N  )J5tgNymN]4nP otomc= ISoS\žXTJCq2B/NG6}!=<m(~_qݝW{yRnNpApH;瞰! q~KEMΫL"!>>f;>l1d{4Mx2Y%gd ' g+`WZr<"з05b&B qfj Uz1&` _';L[!_4wFy"ޫ0Sʼ#^:96/*ԑ`j.Cdd=sP`=".{Hm@ U؇m?AOIrA(($@ƿTbv+'8^}Dø*LoY4l9 $;\/$ɒt_n䒋S"0`N r=:DZ,:~3?*EIaM33DDA cynePWt+ic,Q7g4ڃ?3k1YQ0DxIU10'U]QhD?$Ԝi^D٘pQDsxY14aڝWRJgpB<O A_Em_F0#>׸ ~*>&!Q-cS#F>  6>:j[*{5V@ @+<ـɇvuW/b3"d+oX؛^LF(98\n2sE+ hȎ5ٛ刻[5a5zNuR#g(~F &EZQ7VאZW}Qէ60 "eXAs^$oita6LnXdBڜ] 8.EgYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 W@1}Fޜ#{ 4acP ,$sj8M#{#ѪzNe Oϱr]G)4*:گ#$[j-<3Y@ VZU$}nZM)ofĢ-l] cO-4IwdycOS*@K?$˫&yL4 T<z_f!Q{#=kmJV}b,y^eãx-E/e9cp'|++tD1} 'q3l-Oge̤Y^5G_W)Vk>rIS_!TUsӌǙ^ynH Hrb <.WǷ98N9HЏ^|=/.'gQ&^qt9!ZWH؝Yaյ=KZ>?ٞsA˚^U5Qv4#$/pB%-aM 3: Stu 6~|!-lͣ$ W=.b16O`gNʬW7jfݎ5~'"|*l݆xHwKOP6՗Z(toʨ, ᤜ>m-}o4 %Xp,f| YB}[El%c|Yq|Ubu$|,;]Y& O}:cT CЉI6pR~CtpT>B(1Md![EHhg+Cb6$"lo9а hthLu-/D_H5 p,aJu]gB<ƄLS>N-vǁN@s-;Vk6"hZNHWh`#xxsj3|7=@d*hEփq*MiX .d‚qoXBnD/hʽ`q*qR I1ƛy t##LL,#x-̏&fݘ䉗Yk.cN^u#c{g]!m/thy ґc6qB(g.[H m^@iq-A{lʆ7RFvI G08 {"f1P8TKيdTb) x-yGW&& !ioTǘ1iLKE&i~*򀅾+eyc*R^(E{B_ 7*.esG7gfȨs{Ñ'6mg2ޜ9(蔅6:7Չp!,']Gb[5qi#<89nPF*8#ل?L\89WD*H3=b<n~;!7> mqU썓sE!SZ}m_"r2*^rU>UA,;xj='× {0 u 嗳RE}-Q]ślx;h:?2"o7,PRfI̲5m1l"LSd`M̠fْӼ.n1wTE!bK<:!f" Xd9ϊ%YTiYdom1XۉuEHvIGyWeygM0߲R48R20CUJdiYT4EMO@Az!6fQPSw6i\<< V%!dk_#]ogr!-rz[I?lw ߲xo*wJ__W)Zj73e-]֯ *ĘZo԰䡺uT:y\;iHvS&5VMr`#pdz7No)p{ G+qEUVpLBu9W rVcc7=#< tv6 qEA*<'x' SY+F$]m}x+?iw6|g4`O61  ѷ?PKv[;O\$jvo%UfBRjMF@7D44`7;~_ Dr(1NInՉ+YrMchy"O#ΦèAKql{b퐈+W!G1p {1E,G00EWo=f\2з,4mOf EV3Gxsg}E{ҝ4*:3Agʯ/&vN̥yJbċ(A` If45Nz'vR 'xb+L D]\,ԡc=Bԣz.6C߫ `8h鏋޾ChO]0|q P;Ϥ3B䭞Q5}U>R\FN![LKȢth#63u#r"H2RLIrTlv8~ 8UNdOvV7HV6I%2 9 Xd4mǾ2 ɂ*#\&a՜iNDrt`>ڽ B>?  jt  ZDЋ6/'4 !$VԫRf5[)wl,Yu8۰Rș6D/)a۷FUWAU5Ӭ qy|?,%s㬄hGN˰<hMo侎)y ~@}RmM6P@ޅ6]pAv>ܙrxԏF=f@9 G-4Ekj&(sS^LLvDJf2N{ 툝9P[k sg1(tA%7[7UIUr&(ҼLX Mݞ&- h}А ԶW)F:* !Ð0M &$'ʳ'>~:H-YOlbpmyqJ/uI{1|q^6N2ޕkl U5? [vI3Q޼ɤh3#ȀC_AցoА81܏WbṼSSB iԌКBMrqJfG˓]=0đ}\ϑ,|+jxLP~`.s uu4subotfK[V~LujDٟ(q 2W&5qZ,᮷ rPT8eb Vv/*ڷ8_ژPkZOYi}DsaM%\8SOpHJ],cѺ}%ɔ e%8<΅k 4LՔԳnU.NPn[ޅAxúNPġ'Y(Nʪ Y+;5( 0bS:鱺2tC@kJ}0Ǘ܍e8/26uͪlo'"+/QؖW i14oaZv5-Y!DQ/9o_JRaq3aCwu$(d ?Uw]Ip2przԡROG=K[Z1VmlTRg]Z^nj@P9L(?C3j ;O 7ie`_Bacf`n1BaQ x98Ay|($bs}QI>99k!߾rYΗv?0,ٶDHv b˃ge j<\}:_+^иQun\nc*.!!A9[ܼ8DxMX䫝 ŖһQ[#=^ƭrwhzRq ȃ,e|GDSCw7 @AM$=*8/B̗9jr *rM#(-*:KxRu$ Dz/ϵ+Y9 Qer| 1 ?éIqR SN``/9~幀0!ҹ$bFZj fhwx =lKZs)3ۆ!!{yF1'T[߯QO_*Zsi[FZB=}/0±9[,:lv.zݵDT ~{&LVDbꦦE %HύX`pKE, 5?7JV\ }hk_by#,m=f ũARgңͼ;86t@F6cj" ?^4%c~xyڜJp)&ʖk3ݎv&GiYVL"bH[sAiy3X@ _7EStOZQMcltd!#d@m2co]͒Vf6gI6-@dG~36htMnԶXt62iVw魼S~fǗDֹ3n@<\śNwy5#;yI҇sɘfx:RY'vI=iy*8ҵi_jDȁX2D:yu׹yIL?7۷avm\Ւ OO$WY M2zܞ4X= e8i^ǹ%uR%h´1m׬c9M6tKći@M,w M "l*rΦ<%ulw{@F7#sA|3 t*Hߛ禆h-WГFHXT7%]@Dc']Gs!&2 1 FsE0_ lu PT3)<ްWeF2&JaʩJRLWp-IJW /Apws[^Z{^ \A|sW5mn J-I5B>UzA"g6igZ5Iۭ^2+:܀1Uk#=\^C2+l2 W.HY>.l>L GU\*jmQd4m?OMqZD"Iglb$nům:,?D{'iB[N~%<{͒.MuFc[ PFX{vY[v~>9qGWloxm43Z.k^Ld᧨j6^@6d -lAbVgT)38&:tIuR`H)u(@6$Rn8jhCPhX_+r8oB_aVꉟ>K^:!=@n2 |ų r',]?:+hR"l2Vʽ{_d[ˏ%*]ަ>C#OHs78W$8W+B?QkoD mo曙 )Qj1F'iyP870ʁṳzp'{BJ ~;Df'(>|Lךdƹ]q`þ1jm5W.{iOP9Un^TaZOr:#  ^M (p+_[~}=s(%hT0i؜ra.wZ$mY0lMM!$bІ|@s( Y-}._}sɩ*oI2wA`ݨ 1U%xgv:~Fr, WcjQŗn26=EVUCmX HNxIܓ4PN(C36]GݨҏD/{; /| p.q4']>gp>Ix|C?.cЯ0**GӖM=7)7,| {:xiD .^-4 ~_HLfmR|rO3Q.h}J;={;eC+&(xK.Hh{]~OHVn6JQ:Ch?GxF"7TPλ%A[WXEDt(qD,rPw55f8}JOv*0HˡTzٙyE M S])A  Y)+b^g^~4V!\ɢc}s7n zs_L7*WP"*s;'G}y,3w>̓e/&2`,p3V1UcxZ[>*13txhAHj7'.ʹ/ㅣz5!SqAϡrȾȼ+Z)pqmJ~T=<;GF~Fμô/f0 a(u3ldƈo3-[= ޿%voa*^zӒSl1Vf225K< ӅE16 'D_;5^F+OS]Ϸ{bfJ0 e ;")o)E4HLyì-l2/\'A~܃mXlIYi^J묬!rb}'xG+)U('VnJP]>H΃M}1u񾘗PVa1O^-; :v':Me.Xq%T? (qm~.}d@D'9lx;ߐ-ߝafEx}\uKpݍ=6$3$y!un[r#d,!qQAHZL*-o{euTP ]ak]د&* Ĝ"~]?;l`UGz /}c#i. +sWShq$wAs]M<0^Ϳi!vE: PaL0r˭bm '9ڬZzN?c~S _|&f F^<ޢ -lw}/VpfD 5~)Fq=lXeJ_2\߯zP}&k" <'L*F~R$:N[]b&o^>T()a%ҴG埕xt,FWte >zMgbJWɊG}.ʹ'{D{^0"D=їWJ Bc^k9Xl43ãŰ)HqлgPC2C<8Rݓ[ȴ,nVbWy鍬bа0G8ӛ48Ԩe?xBnPe -/4]>#k1A.u#Ȧuz5/[D OKu/ }wML n5(@=Xَ72;"MLyi& y*AT#Ɋ:JrjT6KB*q@dƩUN". O@y+KRʮ7w9KkG[gH)[%k %_K7+ݸ7 e2Wl?k_!aRzZni9~ãnQz*,6k1~(C/P0[Ej#WFqoUmmZDZ Ob.0k7ќ4PL?jg磌yu/=BuMȧ VȪL`DT$T6ZK"H,MbB._ ԍU#AQ SmBw>y뫩e<#νO?I]'nJ 47-b'l F_/f4 p`; Ak@:oI ][pd:$epb2&Fu7Y|DoH /s~rb_^v_ \hs;2Iʽx;?I(fӀm;_{6u~gSR7,I=*YwJ nO/ peij*>ק3!VtWkbvM7§ ,Sa^ޢWΔۅjLQp?zF ZFE?=Πbr}vZw[&2蠐1Z6'q!O/>sEIIaKZѕO$;Ґ,u֩Xt77\tv>LGhުUځ~JO/?EQ9H4JBpw ȊO`=g~6pɕ6PKˌ/g[zd Kg^$v%wfTRC+ƒi(MYn>2T)Rtteڜ`UF-#J-xmayC:ᔻU3LM\jI)Pif:?vB*qE8"k\gRʚd$wG DVn'o6(6Jf}XaѣxeA_#xIiQ^Y"[nmA'b| Jx7PqA,ೳ]*)d ,b}mE>u?ݍ`+20Hb@6MFDƿOKUq<S iKǶȤʦ^gQ@zR/8zq(u k1t-\nɁ)f&g, ҶsƅM+ ]&ڰUwIbT(يop $Nrw'LuI(.V|(xb&G*u;R+!)'2k4aLѬH%7&dFE/!յ:k$O(3}5^L )ő :)qеTcw'ՎɈCD@(IW2ˠ8/G/e}5WVKɇV[,I+V Aw-U SeڊxGx[`&,9l2? y-zhl$?}^ nh+>Aq<-9+0Nu{r8QHܰx|tItۆmJ!Ӟ\sXi'M4+ ?dR2`Φ8KşNW~H .0 a> y?bT:֞ ?`#R-o-]fO+cc%qTF*[ySn jޖN7\U}p 孆yWH4}]cB1[lVEzZb,&~q.ҼsI}7G ':ׇ['Yd?h%\A㐶 w!\ÏvGD4CLЬwМjW3#Y$FHucԡ:(3šsop)o[i 'K+}Mp_-+9މJu;j!| hh%_RljVd)2"_a\yj^k6pCD:EݺkEEN 5ÛG~Tdg֋a+mz" 6 -0Kn9oJ"ڑKfI?)ubF1&4c.E), [+*Zmܛ7K- ,jSLOHrsEFeѫ- |y֊ueu?zak9Xݘ5k5wcs`yLODa-`Yɷ ^ s!E_xzQr GSh_sf.$f 5* G^st.ޘ%vUUce. [H#Mʀ~z<9n@@=T epL/%ƧzQ8] XsqPMdcWK'Ql*҈dSU/u Y"g'| -I_NsJ =d|'Y"<>(!H_љМhLqDD/wZ|]6Us@v*k4w6.) Xqb.9evbD i[#%,>6C=4Cv| tWHa}cvnB]"$^zi{^h">:3(PNbGIP*aR@ |{S3Y9뙨:{䱑+]&c/d`!9WjmժiMTzo%\0;Њ|bE@@ڧa8@kdWI[eZ9EdZ40{)`X2;<͞#\2 B1j) tx<ǒ"R`?:Y7fkk&׹a Q6Ryޕz2ԑc3Eyק!jrG vN y%@-@v<Aj) H}l"gɪ ~f)8 @ PÜ8bs,Fm)M ODIXǠ X|5TJ-7̭6 3YD:.hO"""HlVΫ$G<+$ٜ`0ϰ" ױ L6I4mr dzT 9(ϵV4F9UZf f^ ãWTJvilXZ¾B3[5lA1u]" 8Q-T~\=ps ZOQ 0z{X(.8eGRtȚs>w 1b▉'fl&wUgә(<{x}G2|Q!Dg.+犎`\sF-`!:2='b<;gЍT?N!*Z{#jHK$@]^dĜ곭In) ]sFDsډgMT@X9Naj| /cKJ Nz9:]|,22}C}Pl\I,p[My']5SJO6ltVq1E˾=ӻ h zzɕ}|g%e=g9?krTbkzh/F6>4 hǘUY{B.n3;YBHhHhj&1z5ŊU6e;:^gfq ůl g4:r/XՆAhZkS0}5ݡ'FS]|;opwq*=8XF3냒qʇl\HFVۓ)kĐkn~mdS:|7 _ 'fGBf>5`n?n:lwx$,6hݔyn շYOIϖ'v$*٨諸mǟAZN@ -yYF^(ܲv kK mUxϻxܔ8חLJ㉖Fq~iNlfXw"yKXa!*C+k< +'z]C|KȪ-lojbz ߨ7T]RLSqjD:کLbUF%{'ƐY/OOCDU+[k[յ@'M!/RqDUuoz>ښ}n>@QHXO#~>(rݻJ?uIˮ%ɢYZ5)84 РT^sܞ¼4Md**_$UF5E<4k:.ڈT"q=Gcco:)fO_RTȡ y:zf Ա6 xޔ N* *6DJ=kJ fe !+F^ %-ɴ'8FŻPlED0Ċrˈe}"|{)R8v8adA.ZEbfEt)ׅ ~AfNg $:BN|'}/⳯3bCB)$ ( ,zp4l /DTRmd>:##djh-s@]|ꦲ{|bh), RZ[ /)G ~_(yϑuMϵHWʂ?KQet>fÐ%iO%87{tBd0Xpi>Gps:%kH?.TFQ ᙏX:Zn RIZ;S&g'i_w~Ou}4 QCrN(Oy~pJWʾin:H6 vt0j}ؙfާ;q"H+8~LJڱ8uf3*'/c_8= poswƿJs[ū,4zs/NLrO$:V6呦{jhUk8M<#rc娯ƫ#BSU(3(XTɵJO`]/ 89:M+GHv? N3 x(ln9/qȧ,ZɂQB]d+|%5yPևDm{H}.r!J򈡒*.vkPvZ@B9p8+89^)f(+1⏰ΠWSOo1jٚ) E/RN7:=7Z>#'E+-0t϶n?2^PH"nrì) Ih-H,^z_d($ޮJ&@#Kc;d ʛEDS#4-p^ Yr y-Jfp""Ok*F]k=+| n"Krlz[ ✫- mQV*:y'? C@zD8m=T b]_MC%:\J77pjc%_ƚE$K2-U˙D8y$HDӧ" S)L̟f˙Vt?hKQqn VL+E.kt+τ޴andc[F0"y!>l6O5da>j~?ynP4d(0RS@ )nPsy`ys*] & e(r@f͉URFxU*x}W#iPD$7~M7&>Dox ȰLH &Φ-%eZ bH,_3x6lpkWOIT/1᛭g{h25Zq} ;'F%p`O{d"?kzct,.&.P"NO8 L=]|2ʛizUO{n&'[Z .L{j%d8_yCb?ݶ(+rav1#\wnП,BrT$dru ؘSQ/O>c?~.riKУ*Jn*Uۉb}5;;EF@IC#ܚ $9w׽{G0 $"Zj0Jp 9Ir p9;pncDGkH]jØ{w, , 09wz%m]t~"͘j_`o͊:wKiܗMql^J5~UcwѩJ[>[\_ǭFAUc9m.}=g2 o9*ujgObm +`3)i{;?x*.i_Nfva͕Z +ÈږX'4 ߲4yF(k!/uo7(e45 Pt?1Őgyt7=Lebq9pIʣ >Cg|3LcF^503R IQnC܋N`r"mo+!y=%%aB'3l b"4D9ߪP~K ;xP{RUt޵4t'iڣh;<:\(ohtMϊ~9{%2Ǡh 0EJAu~ 鏦"J"%9Mm8Mo7VeJ`ȿCJ\AD<(-a.]=D  :wL < @Ǩ|+ϾQa]DZXQFOg$Y E\ |@ 3_D3(?Zm(aʦz3'6m6:J:SMrd]3W-/֊4тK>>SIJxn>%cfǮB)b_/ɗU?QQ/(RpX.n h@ifz>ns᧚Ġ[?!5`W O>@]^J`oQ(<*g![G$(6y i苩%ꃼFà-l;&L \DSqbW!S^GP&tc-/uI,gҽ{ 7Ou {C X1 &Kt༮.3gj=#C[?7A*tӉ:j;0X5wρ ]$ͼ*qVD)5v,Y@&ިkF`{ >RK: Sb`b>ri~W17 iv)[ W||b5Ki"r)"p8Wx(:o=®B}w\6$o}K>!ӏE_'CBe 7٠h ͋Uf pߠcM-\K>GGRx傭1+Cr G$(t6pc< (O*-EYk1,˜,1idAn1+9Dc[U\ 1bTP; 4f+M|ܞSIؿ`iLwb.滨0f:ͣQWĜ}ۇek%W3aɍ&""| pFv ۿ h6b&!7?1dY6 %+4czt5Dxe:-JD;2--^V .sWR7aqc}f)V K`K*\$]6Rpڨf <>_!(ʌxm &F19q4vh8Z;&*)1EwV>,)O+LMr'b^/`oC#~Ӊrm9뀃 mmj7 L[=P>CR6O,;(؀ _Uq|PlA2™Qwͷmр_wP` =~6&)bap" :}Ga\rwzE:hhe Awvzka,=u\OF,\ՖЃ 3t8]Zja&D~ @0W>at9 Ξ* P}_.Vn[@}ITywp+K̺7U:D0 BY 9@\|Po xa##lo'bl+wybjZkd,7ӻ@AP@-(/V Y`*vyyo8{ִyQm5ނd_?p)x <+5$>𶍙 mWSlL/pF@ Ez0\:Z2L }+$4n&]܋+/,@ʯvH>0?jEP_@`eEtp^`2kjŭ_}) r5&v:r[o)d9֞POqł;bX5˩/6W-.hI⣖iSl1}Z] f3Pgqq %Шpǻ&F΃6 nGG+(쌋!Zr6OY yG*s}^.S 8x1,LTDM=9q4]EvjcL=(Bf/ `b, W]X;>7)sk,[@a%[e-ɖ7i/ 9S<ͨD;iwS@grV{g91t(aet6qRʀ#Mb6gŪyGcL8h'Y܁m4>Z_s3$m\jjGgM3绲b;5_VUs P-R٠i (qeu)TϳH(M{DshlC29&HTДvȬ̓GYRQMْk:Ym|!`i] 6a_ [Qqb㨗onBgV얩ex:]nYQ/1:E&:<[C-%J 'lHp1\ϣJމѬ* mTbI> Y N;:@0ÂĻ@a}ydSW,y#t&[luV~X*b| ™]ya dصRp*J`㛒Iܚ2U$gn;PB-cg$voWxWڜP^˜]͜|g![To0f)!/X^_~QiqYH;i-Ƨ;#jbvT $P-;k $۷ 72y>zSQF!Fyo7 ގ-I =PP^`X\cJWȊұۚOALO|n,.w:*$H`֯gKoZү6/GrOmm]IJlE7.< $g5I5~hBwx.bdy M,%qyeGc? =CP\,>Xn, }+3gͮlK &q =8~VѺQQaWTfZkt @AR|tkF9hm߉bK NW 7؂k,oi8g]JKC#ǥnxM|[}v:]PrTUJUQ0;?zn $e4;Wt菻AgƟc0➕QS s%jiJa=0&oWcF]`\lK!]4rȰQkbWJQ{-`BQA] Z?5/u/V j4,墥Zmq]콽BC^m϶9Q_"kڡ:qfXL<0S0±w|ڦ< r+vȊ '{Bvw#" W-K!>G_WH4FX֓o5|4iq_xvuK4 /n!hjR]h6?ʬ)w/CIdঈ>?cvvYW/Q/S9%R}7WA:UsSd D(qQy1f]Fwz!o&( 9e!qe_iq:/܋?`i MWuzׅp[fL.~`ٚKpшi6*"B?5M2'^,]R$vv|z^ߢp=a$jT'8L%Pk@|@AGUa\B]-\0 b_O-4ZuývYy} wK:{(P@alhIfh#n gz)̧oEZB> 88:hp~s7SB0z 8I0 θކegpp.mZH-Í#i!due3k섕V 3XJpەZ"9䇼! 6dƩ2\:DFi<^y\2\:ɕ>R&[c\@tn)\>+ ?L`s"ayͥ>@6.D\L*&*#e۳$ݫ ?a\oo"Xb?W9n<cG`хktkԼ ^ 5sKGWfϗXJbc;?< u"cng)L4F!PW-z;׌ 5₨YBXߴ'vIY(^y /dK]dbxSޗ,Yf?:HL Lu"rQ~&0t RbҰt'>-FʢuP ǢBբ}+5v1?mBͼ] p.%o ل= \ ,'JЗکQI-ݪ-'"^ 6\i 6FY?f*: >>pB'kԱY2es;!}"lG2w:,"/k{}&£ABq䔔M.B,A<>Yl D @yxzJ]ӕ(cmeKPۢ*%i,ajRlYe],65@=(j ,u;Ua/ƺ@`Qy Ab}3y*.F.$Ren/FVo;YՆNӲ_1L)z[WCB^ks8Q⌼?. 58M+#4%ir.ʜFdtx}rPѹGICo6]y59SqdʛI Rhs*\D7M Kn}tXV>&aoVۥE>M);]cl:UA|"A\XRdNn>\u&-CN/)v!(5zNǦnJٵ3 x1޹ֻbPTAEaMP 9Pٓp6" d6iB;\[C)ѻ ,kG. ag!tb=`;f,w]Lva~)nqtgd0\`9/Jj0Ab' zyx8|s oq @ynu\lp_UShzrl_҈'3@Jw%$XŲMoWXY葪OR,Wl. C&-/(CppAl6]c 3uNb@7{u-:)RKR: Z> yv}(Tz:; 9u1?4|:jJp)WwG;f?k e0&$pY:WAGmͨ=YLlWgG={$x.}A1"9Cu5p/C ~x1 \Sr#G mgU|vI UJ2ɶ^: oI383r>D XFŨZP(ZDݤT   Q#Eo,V052@ZϊʐzO>,&=ϰlj ȱyܣ7=+̳98i1xڭ;s[\Wѭu ,⮢Q:AH'mٚͿXWu՝[bx]L$р~|ZЁG#-P*ع1܃+r%I$7[{`>L ]EBz $Ĝ]Q-q7\Ș{G,*o#hV9e`o"a|Ю=; :$n@o+Đ9Z0J`!#>I?#haF87bҷؠn]fԯnq'܊äʸ҃x~ቅKFrؠ*مʵmŏrqִMwH )7y}nFojd28M 4(^$KEDKcЩ)ᄉVY,cK22㵌0=* ?oE7B ♃ž%03]p;:LZHwfa#l2rX>bJݨ !N*^WT<EWt#qJ9t^oK͙{)U<%2)ӼY^xġhg}kPvK!'+0knۺk~"dRXau3rZ$V:&r Hub Z۞.WV2c-Lt^q_RurPگYJΞt#g [5+>6p4y8EӾ`e4=.\X:}XJ)`-̤"-6P\K28􃟚=ѳؙAt]EzY cN,'JEY:4>Vg[O5,7DJ$}yK㪐tw0IAʬm~,\['.]؛pxu ~A8Jj/DҒ;q&ps z*XwOМKiaɉs?o?8MLx42e[0,.6B{17'YZѣJ[϶c&TrUu>j"Fu5 U~n`6!_}݊ s#dYiQ޴,!b/QO" ܃I8kCPj2P%=ݵL$Nz1q(p>+clVq>չMY P=%!R>$Bbf~:ȵOcv1$|bbrD_,t:DQk?u~p-}ʩp"ư\*]" OHtBy}L{CNF]8ʺuMSb!Y+em%r:y￰r jbQ:k(&HF+*?0s<;85&CegށK$dڷo G>E ox^Qx3;;Da [<G#W_B`T\BDpiMwB{+g ~yJcokU5zRZGݱK gũ[׬ ̧8< w;KFy-?ga$é2.6u4:x9JG"# њ_I D]'esJ䖉.4?_j{ETSҌR5cıddS^ˊUF) _1R콣$xle'X]hQ\)J8 JPGqc1* 3T}iAn<\SL+y<;s*UT!6wZZ1`X#L|Rŗ"aӈ׭ghCɊ!!*J M X,x:fP³#Y.Pz`#/%# cF<9e_teƊw=%&㽝P?c:"\2JDF($m07dd>]l) XjW7LsdNiuyēBF8,51X!ܣ$]$4 CfC\L+C/׊^RE7^kEY3 zGOx7ɮM*t-3j-Du_^5rй% 69' sl˨O;|5b@+Ӧ8Le'ZVvE^V]#Jx^2~kQqY㏦Ȧ@.3|([B~\D!g4B\r~[FХ,ɧEQDu8'r}8'JS; rޮe9m;X5Pn΃Ir2[j1&m| <,1/ctN@IuwBR"l}2ó¿8mtVJ Lă'ًo5 0.ro9eEwl&ĴL{CM: ~]6bYIo*mBS$ `]#^wm.nLx9o7LBhLqMc_8\Ljq긝DLsA 0l N}2ob?mg Ul7Dh%3'a?aYkc-9ZiE!j\9z0SQhC6z"STipN6}/"~al>U .R7vA} $C[[v~BQ1qxV7s,rFPVk4Bmv6R@$[~V`asSxȞfYtlǨys 9%|QmWH`,lUBPBZ1.zk GD /;@m+WD]8sTKp^̤VIGAX@<ٝCz  ѢS-A-T $@L|B\JWMW1 O1R MCT[&3I}0ANz 6yS@ @hu/@G!4q2ؘpӠM{^z-O_qiU={X~<~@E 8;Q@lR]?BY8WY'xr/Q5 u-c.r|zACݲNlzC[90nE7Ezy#x㥌YG%ڎIós_ǞrA)lތ-.?#vg6ƂK;y-}gۃrKdǟ%~3 h^ڠ6tC77!K9jR'[콩I'-|xhʮ /dg=,)·yan}5`ʄ,Ry2]ӲXԓ'cOBΘ%GUF9ITE{i^@/6[-&51< 5)끸퐻,~9nB^z#Ȏ,>%i*Këij? Y.+vr+m6@q!=)Z%@Þf_N 8.]O}p0:E} R0^,#+c-{S 2qh9*w ^<{q peTě=0ك7:"sֹI"  qŎi4۝3#j28"'GrWsQW%E)UfHwl/+ld=/ဠ|C(ߋ8ߟF[¨_uX=4hJgC׉(j$OwظŽJ'}0`Ϯ*$`ɭWwNaV͡}6j}->ՐHHYBҤisG2y%w*@K;#D$tsALS> t6=ˑ .~c&QLco^q@&D9˚o-N.&E6TيMH$px~ImJzJQ x5EyvT`Rgji˩6D揩)9~O4Fo6YӞ?/ :tƋD5¸ @`.΄.=EuȊ6QI{ןs>cn G=3"h=ZBV(0";v~2E|go8y-"&H>P +;U!wUGYZ{ nso$@s,BZ*JZHsJEiE|J j5ֲUu4 SM mK({؛ P jD(ǑOyPsCr[;\m+jj~tonzcӪoB<ͣV+]FCRDW3Ǎdh5iKcv f7TZ"政W, 3xp?G\n\s:e!Fz(*q_'Z"^] ]6w89'[߲ɮd+Z0/2p]Ʀʠ' .&&c_-14VLݣo{=gX-u܏fvj@{7*(MK)R^FgKӱrP3Lmx v㬂 ,z67_apeb|<5qL=$&;T&^VJ5 S+ⴟ󥩯q2{3#Dm0~ʠ,zW,Kq:Ȁị\Ntԑ߉K t g44&:>Ţ ׇVy_ >M ~y'uIXXPp;a2e7SdZ-Em<; KOyG%#'拄c1sS~n"z'zN_=JԹWېEև,P*bՓGJr3&{<]˫|~8|{EKψ D9+)T6j/s44p^f ,̄*)Dme=_T` ?@m8D&rB+7e!^EC4 Jxx1ȹBߕC;Ab~;[AEџ~~PdXRfoeO MhuUAPfMu9)IW23s@ŕ&DY4${/iGS;M csg˲"xΕ9|,3̴vM( ܺıgYZ98a1cd61b087553adc4b850c56770be9ce4fa55702c004c6c9aafa82f15da682e96a689a5860ebc7 eaef017979241d0dca2626b9e34da89976cc0785 d5af628330df81ec4ba77291b4eecc5004486b6e f64b3b58a16725e8c14019661b7925cf418373c5