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 ?5D,D ]S HOL-Nominal-Examples:threads=2elapsed=662.682cpu=1240.220gc=149.104factor=1.877zXZִF! ]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,~%@D@ݖ$ZҊܛp?!`#htKEFOE%F"Oh1`L: s.rq:tbQiI)gyDf8d_P\5XQLva(qrЙdlrqiv nnOPcN k1@/,LKSNXU<+] o# Vhx/$C!%i w{Kv{7pS2$ౙ 3{~V$62]/ Mٶh|:ah7),НM M S,LzLJr'ZD۞bف"&܎#H}F{Gz˛ }W% ʊrW.^$=2gr 1^h rzSRA$*U4=na9z6c N.+AIwMŐ UaphSL%v@|aRL_QD?Q$W =F[fQo=yp]R T}˅ +V uӹXq.@?0g19'Q%hO>DAd(FK8 To&DySNKIv+? &nT9:]a5)3N>4w 'yyÒLf{d zޮ)W H{[ps<vc[tX{Xkvw hF>[KMQ}i DRTbZveHZAh] _Sj?:+dŋ9h%*8>|%3O7zЪc~LNS(O6ҋ'h)eU(Xg40Ô9 [DB`AAC6 hEs |'+ فHtr1@d- ڀ؅ xEP }r; wJM!f@_k~la=3/C(=|>wzõZ`K\W`O$%*L#=b^z @].C=ԘgCgtoR v;rJ̚BF96 (^KyfؤC!4ڒBG8VPKlA ?H"nE{ƻd=L[ZWMb0έ.MOVID2c.. ^G}Ik3ijp|r2[[1`eCj),{v'NHͣ\[rB>lV$M'B~O>0RB.Nۆg<竞x(-735S^-k' 2$RXY …8v"?Ve72XsiZid[ɨ)`?D3! H;K7ԖZ#ɤ'КsKoMfH\`jĿ]e )#Vk-qztGVs9ɉ*ok_zpXv;<Ϛd lռ< &wrD(Zk|߼A[^\#4Dd,j7|.Ӂ(h"},gD\_ 5 HOL-Nominal-Examples  [)e\z[NNizg"/ 'l=zZQ"PYx >)O bɮ`jxw4ױ|#l[k+;/3:VV] :f)XOSIU6!h8nNgcxÏN٩ Uҫs;f~ms8jJzlH`2A>O&] HYZgmCl70uZ҄<)vG;M9?46RXַW8 u'N`JXx8נ!CgUn")G`9ΆT lɍCveK%F z6m2N$nRQ~|}BfqXƯݚ}K[j"\0H([ ̷L<uj qͤ"LŶa F.BF"EBg\λVZ!F7FKeUN2#zSawBPZ2:xjK94!x.VtRT$YcqAG ;x1OhؠhTeb#!:)P#&kE>Q !&&"[ۛ0jHJ #(>17@Sli[ ¦& מ0 ,f6VS6lEJWHz_ (5[L}o'bq$aB;/gڷX*((Æ>ix Ăal(k8_EAa>.sT"(HO$%pxYwdǓښI?TP#nAr dt(LT_h@pSO`"IQ[/(GΈWtGʃTA9¸T\9_+6@R=U^g4,KS5gIj{6?gUX&=ef(w& _|3sO'IƂO|7Z{4 Y,Iori4ǹBMZ*p;7-Ά]*IE{i {FwPJ c,-sUى1{p)R;a'780-s*=ٞJ͸=޲s.>$)ouѐe){{y:ש v䱽๮2>:TH)WNVBIAƮ+c!%$h; ͿwNLNꨕOs,d0|-}IW"1ro2̃Zd&Tc{uaGP1We71D?ѾL2Z34ӰͿWv%԰,%Pr{ d}2+莼L.Is *zc XaF8.J:$ y,q7TR>-,U#Mhy%[8\Aɺ"ׯKB4qy 9Ғe[_O+q1eˑY }W6`+#e TjqFQj+STXaLRg֎=\lD"/>LttænKTQSɻC0U2`;~x+OHvX523XXLUX+| Æ7ˍ[$%NaW' U-3~Z ]nO3IzoZ l1R"Oc wqّt*'glmpM(*DeAWѱ-CrQ]G uϹnAwRQ0V@ؑ=,8TB6Κ߅ɋzmVL+)HV HI L%s1q 3:Y8bnZ]G3t;U2vZV6J-bGFӫ[˓ [K5 0.|_y&GpiAu9服 SsI2%R[J(~Cn- wsNb^ÂX c|gĄE>[`¯k;J~<:%zrazA\-\H(WiTJ~zĄ `5$¡ʻ)|#ի9/(2GpS" h{[;T)D]#*:h&xP'm40z4j:j렉Le P:h8*D Jq%Ss09rY3Bߩڃ2CuOZɰdOG S`q%-𿚓.8}\0m>F?QbҢbRB=ɠa)7~.#HPlwA"ߔOepMw ɰúVfGk碸ҷ@iENWY#Yӭ%x~-dnF8#Æe鍬in+#+&G֚2<xoky'5G%9rܝxdRV˷ ww~cʜxd$sG@TbRP4*FA!QW&&ULe2ّ\á OPڒ'? m%&Q|d^'f=}20ϱ/F)]2_*O֒_Ug݃;CgYVix\yt+ks3تCTvE_Nt#"|چl$#b&Y>?هPnKdhcΧsQ '|>#ƽWQi[TW#:9[c8?lU9d$Xk?&Nyz9~0lEZ58f9 pJOvs%^9a}H_=Л H-~# 3 V9 qG)B(QxVt-תA!7=p=J% yר6ZTv*l00ea𙲆4 hjFmqQ8Wm߽- +g4g_FacKO# hsXܣnnV:WR / Ai!<xz5]KnozveXXƍ KDxZIkP|A)z[tS94زg,I'B)GZoim5Є2a۶ؤtסa$v1?(u>%OtAB;Yּ߬V=!{DŸɍ9i=ZS +neme 1mQ±_YuUaVo5kđ(9pj֗2Gu2b@]|*o~QC1`(״ J {YkRտQ#U]6-.ui&)5(&WoD:aiY 2s2} Hm&$rv ,dL:^A.pyUɳW<9F OkBENX"Ve nK-oz̄?GOT8ԩoA-`|bop$ ǒ:Yo}xLs[.;v/Jkc4ݭe~$bwubv;Z$xB]z킖+ŠgÝ<=-z[ ڔ/PVyPdwpA?'@zVyH|ut%asvGdz>)u#ܜh;Ba(4m/\|rKaG\ f%9- x`m#GK&4MMrB95 2fd&Vs}jÕuc.T97^ѬjemV%#"X2-%uC:hJÃzڤlrQvP)<&ZyO7^ٙRgy{$tubk 6樋u/}߳r8y"C/L&KIH NXF738dM|,YN"}F^ bsǯB%&۱Y5_E+Yas:KtE1śdHM.x9"n.+D&M:Bcr]/']:~P ocì1+){s_ ܔ}$%Kg/"=m[{Nhr%Kha٤n3ma ~/+2N(!֌Xs*ˋ -~ϭ$3O9]/ݏBw(=}Зې "4ʑ&h[t/4}[  AW9YXev!ho^I챑v9|]m.vc> ^$v@eHRhH!9^'pՙ(s^`KؽG ɾ+U\ٳ\I^Ysyb1'(0>T90#-spI(H Ag>OdOiTF 1(䑜l>x4o𠭍 9N7 cXMzyC} KObZ n;Ffʔ$k6Z⤵JQ"`2X UcLN9fG,=\|(x3 w`)_9\UP'+tAEZ' qQ@C]-gYZ7zXZִF! d]ŗXiɟ1ʹ l93攀Lx3 D BvNC I^-mA?D2bKש#"~#(foM!wL$= N0*&B~nTh-8*AFţ/ȧ2zA?+>09C9{4BgTq;1:H' e5P 36-!D\vYtV8Ͻ*wm:δ|ֺ M4ɬ{$ѭ[A-KN=>gqۻMm>ps}K@4}B\LO3I)lϾ&V %&\&r]J5N\w~Ĕ;).E@/4j_R`_R߭DIgWkxC, n muvU򯎼dzRҡZK(LcQE63ЀSc󁈄0y, sLOd!m4_آ-иLzr# -!~i&QmegYZ7zXZִF! ]ŗXi%;Hh$sD-fMMO E>Oq<*x'oj^@sq׷9l~.?-0DPU3hhG 97R_[I 㸧E1PUo8q f]P_oWek+lE֥z yz-$G?w@YxjG*?OI_P̜%k@^5{4.$2~]vL(vyvm/}X0 *hˬFFbL3Ow¥+@j2j'0,s %qxFE^8;^^0y)E@[rޯ߳AyE8tLio4i7O$u2Ę@"DsP/Ջ39Gnum׿'s@W1X=Z+XQzAĎ~*sak}jQ#Z'ņ؋xx-}}N/08}zhʢ_RkϪ3Efr 5o"Iy97z,&6ʥ֐xe%?'xM(4; H=Z;Z9 qY{yeuɄF-? J'w$138e\.1$JH 5Wi"yt\kdsN3l(YkL_n)!` s.Q8w&kEhOtuOE9aRRnQPx)gd+WwxLGz8yל0 jR\PmU]l1 rT?aQdeh+F`{@}k|Z6*i/,5FEoOДLT)rЉSoW bٝ쥬ͺWZn7tax{p+cB4'4o<߂QBB;$Zzҍa;< ͙``;ףt[tX8p6~dwҭba%d5Q("Nc*溏7MF9*D| - / JAx{͙,}8\Mwg}͔dN)IAD稳c䨹CʓBn۶yّot5-Ra~_Ѽ P.T$\QB,X؅iMpIWZu%ղ! 0R]hs/u?ӈ앋s@T|;5 񾮂_ 5n5**]\O7 1>ֶa;LEK Acu)t<@؋Y-> O{&1 Êc@lQ23glYnm(9~B%}C9&5:Vh-@1kJ-^B0̀78`6Ϸ @js9{|NYw4.:,Qty|xG&ۄPRI+=Lu!H]Q#x f{yTB}箁hܬ!iJY+= PϵB ]N@eA-wwA8-'F5qq%h4!YBBh8_vٗ ^4t6Um3=huTG&T]uLeǿaf%*D_oSw~׻bWt?IM"0QPVo;2)[WFحm j9_ ׭Qe9:gxmy"uK)%U};_m ̦ZX"hFb1$4b}a-X O$Y9PJonK-*Z+wyڑ7mQrr;7/E"yzz[W-O6pLBԚ<nf$EUqO8_Z11˲EiG46w۩Jñ+IS7jjҽr-#LAUF{xtAdnGҫ@V(ӉdO#?)dほnBD+Vjb.=gkNSճMBBP wPiy!ƟX4UrI'|_2LK}nЃqU$O8Ӣ^sL/p4șAkje a\XlQSG{!0z.eV6gbldPb= KS4^k؊* l=3&G>t;6VYE yW\p0Ҵ L8Ш6Z%BPI0ӻky gKj>)FDFV=sЯ|uCbijeA557Z}5:A`=y|$9FW߹x/]*cl7o `Z._*WNx; Y@o[2d4/OqlZKg>)[eR@NsXpXhѮ3Qf0ܭv' Riiɦƽۍ-CkaH9bj. |Z6^ n~ޱd@Y' zC̃Ejji8,e6lB Xr V͠@{B&qo5{p3Lh GIw{N;o)k7Qt)u q^U=iOb>ksÓs,;mpgoJL>a+5`<g턋 nŏcKnjh Q`_2DK'*#7҉ouQpΥ.\q Yj'7g׭!M!ˡ6?|t+<* Ap4L:IraؒtB}i#*Bk ŇSn0[oG_J$5v 5ҠS;=+jv *iUU܈B-mX.>'BAUNY*\ [W2,qB5`3d*׮3Zb% 3RPӯU|?,K$GYb"evB x^?aKr;2(Bz5FptJOڞձi:_.O&8y.o!(^$ThV*4h ץIމ臋RQUb h B*(NB_wn[WeJnrl b;;v2~f{T ]>9OZ7bx@3CnZ_&;z_% $iQNLpaQb E( vQG Fc76 |{iF0[ O B?ϫaչ Z2í{%V-s_kҍw=.oH%07Cټ˶U[Cݏ,G*zdU 8cnYڥ1э_ړZ.#nIloD0OLqŰ g hX~IBNoLi^7)0}-{\5D{@ k;2I|A%ZX35+yL.|>ݸ7S)8u\$RrjP^Rs02%lghǓH ("> "qOVnV\A)r?dɵ &r:jW. 9Ad>Ynns|_!K>Z`g}a_3:\u1~fW%B` E01Vkl-eb-@͋g/=M삋@N:3rtJbXY9lz.mOK9# 3n\~L$0᫖' Y<;+#%{gio: =r-\ȏ:LX KQ0AԉLEן:jm ˩mJ4p9 `--mψ'Y-S "ϑe<[ bm볧xMCbU"nW~8o"P21ypJ]K'U JьchB&=g? Oi%BIq45Mp{h~:lC*Ԁ@HkpW 92Dn~TfPDϸr-+(OeZ|1548G;A4o"=uV5(B¬ODZA6L*Z -A ȍ&l!u"ż5)'(. acTaoCuLTz!*#P3){Ј)-Nwyٞsk@0 H8ٺoz(!i$uϮWRZ2zs.CWqH`j?su[bVwg+-"=5̌;cyy٨=HH2JsN]{ŵ,Rܯ Z|QfXW  5ZF"r}03`p♮BF*)B*%JyS>h6xIjIr'i `J@T amqûgadX& ꆯ`+ / gRr!G!fK!ʦ ηhcԼw\fek.qz!]5})dtub^X(xha|Y[Pp;/ #k{*d DŽ5amոkѠ;?K[o0'w⼰T{>9!},N]b sƜ"'re_, 'NV S!%C+&uv s٥*_Z!PĢ!oqhcة%{QqQ\Lb`d|\zQ].8BIMNfDgZEՄ 6&=-eB ą6pʝګPw r[KO M,yv4Q)z577jMnjZJ(=z&<斃'h t5b@o%{ID+(Z)䬧pr2U;}dpՑ+ 0m@md1jcPf2tfK!@`0N%d%Q^OJK(_+ko9tݳNMxxoQ~Tc87yhiCD~BτTߗL6d<'|P&g ZšE{XQKU"?RNiM97 =PCfg&pKRpHU-zW-\AŝS1Pu$m+Exuul㺸U…WK rUAY \jWo-kԑ1Y$ `g nXKh>\1gz l3(cw6m E좱 ]È/~TѠx%g?(=>O/l ֺيѣ0H]>>ݐvLQ6*4SLҲaN>*ٖmb<=4xKm"4՟<  8?5,vдNdޙȯ_3 U]@urb6uȿvL|>T܄m? ۅxj ZƟ@G73fv j%IaԾbp/A"7{n^VmI`f> xئeq%  /#JBCkb /׀,P_ Ow\ܛhpOȦxQf>c6BS>ڎ;YVkgqPU(#g:%/3V9gÈ kwr'(zzL:~Ur5"LܒRf6T*K1ьzIWO8v]M$8q{󰛤wwYfb*,8t6MײI N@xB5gmGx95l8OQ,V"@߫:W0i^nk3&BRx1j*Hy#e".'*ZbJ^˜Ou- i>x!ǦA=9c9"iC6;(G逼F786%He8Y+)N3u_7OZJYq@ĵs VL˶?F&,$u4AШ9C=KԖWOS`IemS6kS|Gy>]Z% %NG|U92/|N8lrV&,2KYVj2^s!")kNp( jVG e)MfKvU5hr=|_TP*P(<`>Y<y)d#0(`ggAn_|A䫏+XI/ TMk5Ҍ-|RwiJ &vbf@t4<<+ v/b$J]@LJ imR("2X?f=tʋk9/A|Uof׆љl*O^5Kߺ TLhyjO.T yq.Fݢ Ns9>Dw<-#?]Lus-V[ܩM\rvqoll~/d<|G6Jd Oĝ\d:Jj\/ZxXH z60>9[19/pOg (n;dhx.5XDN@\(rIt^c? ?VD8v Gr3j/(JT*H>3y3zZ׾77njvl\~@wp9Ia$"~Vg5h/SR^KD :'L!^P]ԡd^LOR; =7ã],G&zxzzi76#"\e3^}͐c>~D5BJS4*vlFKΟ)>)3L)bMm. e+ll2 N1wvXE҇so>Y}J h EϮ 9:xyۥD.:KSs:X ζLoSxtтۏazdDm?EmT>a MmH0W cb%'gf;X7s4%mGLs+냠pѕTuW8Zs(=6hV@/vB7Bp9>-<>5YD97-kcL-ctP335a'rDL;dt*ehF^Ҡ._tBks0˵*ߜVB̈́<86Q&Duƫ2(J3 zq 5c<$+_G[C'jq:y;5CQ # <@GST.䚔{vb`IZz67$ Ũ0g.rJ)4?p@]m 1ح,#" yV-g-Q6{11믿wЦξH3`VHg^c WevuM&p#BجuFEM@~U%a8 * Q&P :u?{RZR\{s>&nqcM*k/ӻt?Pu!x|N! 'H3`md>ǼQE$Hj×竀>}$e0?Sca"rBI-,>7 t?U8>cZZT&v?*3(9.‡58腅,[ V[sVsbJ+5hm~| *vΠ(v'wPwM&<.`.35cuN9P8 ,H2 PikڮGfi6;[h:p 9gXЮVR"f!MDJ5,Iݡ颵Ë%lӨ^m~HgZ\^[cFM%ZtX0 c3&,0S쾨6T#G~ōaNJ~Me_9sM, >4vQh[wczo:L"5d rRkb nhK?N<*sC'?k5X'9p =M}S6)60dXz~&$piO5d '-y6sr7bPUhiZhO #eY _SwP  w`d^gMh'g!id;2Ii-ƺ(]!4쬾Df?3cC >*CWe{@#+ 5DwD~td˙11Hu5w? b<)y"NE-UaX]^, %|!e1d|#x%%X.> j Y>jzt$o_ k꜂n 7[3ھlMA#=NIQŖϢظpt&hk<-a,qjօeˆ|Cѷqމ񺓕 TMO=X,DmU Rmbm"\R7_.Rչ3Si^Gf}A+HҲ$10hv;HR>mLG2ֆ|-m)#l9Kn}ԳRA<А~4I& 2'q(7dd~ 9NzEN:`0h6BBnwbx_=OG:6/ZU֖tBNC~݉G+(3pQf53&2*]y{&`(+vSMH>! #Yv.z50bI},B=̀ϛjZQYslcΩQj bH;]ɁW3g]榺(lTk;jl'cx} +^w.p/unpnxHnlcf7YN~-W..c>wE[f)L2_k (r(z0".~h@V.D.qS-C)PGC߷{CB^ ibhv]&.4I = -޿"TޅѓO|^<_zI/◧_Bh#l_q;qN>anOyjv3-!0`UCmYA5bM@v\+w5o*XH*})QDdf*^0r(kd5M 0U/ š[2O..y42h=l]a%1Q!$!͹Ŭط\̢R%hBB2f,* 1g_" ̫ͩ ^|Q V?eϾC̥ >hba05n\9 ^,WrLϵ(^z0,D^3mSH絊qH@h*5 8|wI \H!жs$1؝.$KÜ_9}PsN @CouzUTDc58NاEBUKP@W+^a0B#x,}rXyᤪReSDSYh[OT׻fWHhkxo͠^ًzag>R1Ui{GϰM:#y L05VXmXi]8y:ęMdeF ۋ6R3/Oi'cAە:%\PL +M eȚYR]wtY.h EKʩ|q5KyvU 𵵏RǥygU gLJܽ G`9ܟ@+2E$Xs.b꿤 AowdV?Sp#ojYQ~ʙ5ޞ [T{sVD }d= fw]&ܬ6ECo ihY&\/<9@ G !8Ĕzƈc t`x42bd>VU'4 :Z2cD/ʣlD` &B-Jn`T̻z@//e\F;#IOJ `jJсmZ./1Yկt6, K%$ȬռE=% _p)n ?lӦHS닻-Cj=2X,.1wB紹rjA05v]R1~ 5oĞf/5 :^c ;:˲u;܋Ao߸phy $lRN6-.>] GwуbS /S[7:5@3-XmOTox̱ik-)ٺ/Ջ. ~휹BQl\b$95=lKI@@h%ӬXnvaaK\EhEV 9`2]Jf(8 COƗڝ8r3p &vR[Q ﯥC}kA|VJV´u%Ki:Kwynl(Kg'G%%w W$S} w i70`q)N7AWԨ=|đ= |q矀6Ոj-N \%l --75_9%fskP4 $#Z|~$:lLF԰%(`W; RE{آ+f\ۮ^Ejnvbgg{,:m^qhtx Dg⯠7kFʏ]%J*I2^ΖҀO -%i֘(6KSeMI^?+?~bD.h2Pee2:`$+cL1'h<65`%otbP^6FXZ-dA#foX~ +T||p03a|? E 2nn(Yb0D 9*ΡAJ)GtNqֵfD]5]8mqMI+#m<:+$A{8;97}|ȇǨʋiK 稞֖m fF0s6RC%WE0oMf}9LxЗyeDDijA$]!Ȫ IQp3. !I oB2ܪrۚeg8|)bVuJ@i |jܤDQRႡeд$JWjC] Isxe| N4\5lM1]R 8G<8ƺnq7PEFp9h('Pfc齔]Β&#,O5J+)}Ĭʥk~\9ParfdHgM4{05DL՞#3Tit@x,meU Ju fOh !q4=ڗ&ˁ_m3Q'3tܝEzim#9<S;kRXL#6·g|>w&%eĜ2Y,q$WRd=\x5*g7}p*_2 X1፪I u5I*DXkûC9dY`"ŲEeG {#" 'xfpC6A >fS\Q:#mф 5U9B&`1\J܇De,^bmk:" 1bͳdjZ:UG;r;s\Vv܇߸BÇdK]^aPJ2r4 F;E13vR"Po_lz`uG D ؉ nh$%dsӔ-'NWR5Z)戊:#gjKU1$_8%q2G)֙Po[{LRs"@{r-`(LkMxqNO,tCHٗb@Vjw}aYL̏dٰ^t86E$" |p6ԛd U#3p&%k֖3>Jwɾ%mzg$(/R%7Saq$=Zpk,P<7t>ݔ؁"gzYxT " vaw^AiaO{2DTJ&6>dI= TXE;!9Ʉr@x{85(Ҵo>bfƣU qUjd[ `kygcG/q|fk5OxYד9}X(ik(K=Y]Cl|%\}3s_*j=GƕƑ\0Qـ[Z$"4}(~ˏ |c)"f\P58@s2,u>+(Q&Om7H"B?fk-]'B i}u(ϝ3nΘAA}\&Ku~@p\"Inlћr{\ng7A 3+2{YGk-V='K-_\j On9^!nYV?8cItc@v q?W5Y\< 4yZUzu)bU€xk&˴8톙*y!*Ys?;OH4kNB " ̔ԉ{Ѐ,F.W, γ?n[Ƶt3O [YL`>؂T3Ӹ ZoR5l>0񟯶pmcl݌(kPc#u;@FS֥qJm A0]߻+l"la 2ē \!T wje_ a g/'^\^@G D)={{R963!&42˙. FK#a7Ӌ,XP`=׺*nj\@UUIoӈ'F1eW%`hz‘lBeJ]?u 4.t5ITm8bgOJ;X~ck*Q )쁈]Rkވ i:7O%9im8zEV/hy/81Z3T4p)Ũg:ln#Z,/pzmMXJч gSʂ?^d)Vj8&j< aG#^gݘNX}é|ƉHxڸ';+g>̮S&ㅕ%ҥw)DyŲqd&2ea06:dg惌x%^D\06 v86 ޳L~ Jݗh6@sĢU?fv7y:Z.YmB 7Z֞'1.:V/ ǝ.H )] x̱;nӹ{j6S9I`a-!1d8)(yA“qqgxƉ8-n(j)kD}GN+2¥z5$r݉l]3Y/ -y3ŜcB8Pe`EX3&KfH#:.GO_B1`>(nQIYe'NTT0fݖMFOE(-1} s\|mG }BnѾk1~7%bqYT9numr%z5]}|0gl53GD]!')Mj݃ny?%qat0[ׄ %Z  5[a4lP2ĿPjإncqh,E3i"3ڇ]a]>q %ҹW_v-|n^;Cf$QO\6RgŻ!>;K VA |~zHR*΅XIk?NKAi,n$[: jvlAdgUB Ҡp1_iO1̧@8i2o>c=^$VYqJB8a:?J>ߒAo 1kB,Sn~m^ jdT rl(Ew%ـ$W/Vl'O1  AyӰ8wIk9JT]ҧԩ%RݣɔMvm(O]T\rʛkՍYo^BOc>C1- VnC0XXINv\8A.c鐩>ޓ(AͲ[599 9'N% ub48[;iwʛLR K|5;'×pU!V𱞑T@09XMq>sUc/ΔXg* KeA;wnP,p+D+7Щ6V4Q ẖ Xĝ1/\pZNi."_<Vn4B`%2A|9၏/c ?tx3JҨz;PV+)¥ޑ Ez/xK5eO;ǖn8g Ƕ)VU{!R[?VȻX=3+41&ד݇(e7pXNgL8 =}5`yu$Bo7=KޑM?X50jM@5oiliP.@B,xdq_8@bs;+_roً.SIx>v&VZ Uf=<9Z4B #+@9MƝC }oy:|@ qo'.[} +N>3Dꔡ"HI5iZ/WDXnBuTS7Ok5mZypnOq_n&xC(,Dʭ,T(  ppmR

mPjiKtwgw8cT=2Ł,:)-8SԿOXZA4L&hR h D F7@Ⴏ^ =QZ6ƅ9@gAbX>XtJR{1Qܼl w3!nn<]!`"|%y'ͽJk2ߔSBJ$Lu呅=XyG .V+^'h5ruѕ-hTijs[7 ֒VIOzyp4cbvN+sRnɢi/0@l6g`ix;]ֶH, ^!|jjk}SIё5;SDStƑޱikf[ ɳRO?R (EeoEkg˵uYf2P?Q(w Oc:5RdgRh4i7* nzlBr-"n2p+WE yd>WE@Ks_=YxS:s#tr}xB_) | һ*>z;XRkK˭oyЎ,ӈ.(ܬg6&`BlD{"K%\EB1[O AL,a y0y*Y%P;oa%VP aSz=sӢmNVwkAb>'J#;:e$[Z`JzmW(\6>7LV>{]#X1Շ)R.6p5?K? L:YF s0% g-g v҉Τw}Ȃ %5S+D<*lӇ}.+4sR4&X}17J 4BC<`~z듧"!^*!G`ݷ-ܞ[9ʢ[Qp0 j}Ng+hJO1WWN/3#I™*izSyc:5D[H4+F:V?.( 7*ƫ2?簡! LTđC.>%#@?~߼=:bϛxya+T1MqJ:$r 1oSxVKMXҏ4ю}9)s!7Ml[jۺex%¹ҫP㼘dka\6RB~ SX4ORٓ9{}1q}IJl9 PIn=|0k^ێdUoVI|1{>OC09>z]Q8?G+5Cc U]g0V4>!PNk75#*-zdKb$6Ojl4&+> >^B`<3ץPl% u`4 B X]QV7K3Z!w6hF 0"TqJ76ЮH2D,=fߒusIB× k7wII)}0emߍֱ{m0ϣU^"M9)#eQX/PbC>QшZwӵfcC B$` _Vu˱pޡ0t}5p29i M ch[dY0F FdglvI7;MLK8O|x#*vt9FNoAf܋7v [CUxNO`Z9uSA}Zb7I6>nZWwq8~#y>:ﭤt .UtI*܉wKGmX0]o?>|Fy4-\lVX{݂W˘LopPV$Ay6* 3_)8GPFy03@V-O[xg\E/^ ~Qr}C)Q5hoS99DMX&/-*dP%KJ+k,Xuټ^-U1>HIdA4tvRҜcHo_.c99kRL{גokx{󬭙$]Κr:v/_z<+9DLTr *i#_k\9[aȋiE3%Dcc//& Ak3+;$YD?t,7cB/v .K%>tIs: :ls)v|@dre>M/s{)Đ0SNVvWh{av!ujW"]4i Yx6A[4?w.Ǎbs-goA8;\O0vpנ)m(c7ʄ Ҡ3̨FrK MD!U*_ Eـ;tFw'RfdwqBc3<j@&s@!ӄ mh:`P T&clqL(l۞#2,neن.=kd|:ԩ(sohWVR)' F`܄ b\+@X^#Xǽ^=mTǶ ln A0y4IcpHW(g?l }@ hΎ.Ocm &p0Q! YZn.@~YTg0d U?s`ݶ> )qQSl%,4[[,= HVײt/aMމ.pf)X7âgd4W9In:+D'g'E7]@>BŁҢ'ۄ1T-n¥CR!}6Zm7/#Mea?ԸFk} xh;D:4[lncMLS3L9?MU8dzCN|j-44n £ Hp.~ͤg:;0Bg DP#Mo}P۽&C/gnn; 'xnl13j B?(~"ή詖FUXak\aO5/'d|/D5=g2Y;1˧&<,}/a|$at>G\EK/`l*!Ȇː{؜-fJ4i`M{Z@Xyc-xNM$A{a"^>hTY+%V?{>3/dd6@P8TߺAS{͒c%G Z)UL;r:QWEfBD 'koy56Q1؜ C\_tF)2hJ nf'߆ |ŴRR9{G9<۵vv7kø N怯įM>$+uD*K y%'歨ayNc?%P4V?B`6vv::Pą!ͯ6}d$5vjvv$Xxo&@dڽO1wjިߠZkeؗ O+ryn1?8]i7#b;tbVd F8h֙LS-~Z|"j^zyDRHZƢެ2 P M޲V[5JeV,b)i;'% a!'Y*wVO_;y\=w3z>___#.TJ Nh^HCw7lo(kC[N9{Mq}Mrݞ&&E(ܦXp \5nvro@4WP]o3ȍND/&x 5QOr?pL A0H~dm'c SuiSiPWt\Wv9oyA8o</ۄyV:kl(ٺD zOt^f3EoڸM_0|4+A _[[{j*]4`'(K<$1ҟ&֍hrq{4_<մb #) ks.ȊLOe G!֪c7T$0LJ0>NkPuAE(7W%G ApA. Q,;KE7mDsJ2A5$%p38B~O`2lgٍ?vL*KXCprFH4z$g=Ʈm{=c.EpoP5ac$Ad-?>Kh!j*t(AIqNᬉH /e/2a#VIZꙨKi(+ԊkWyF)EA*0^|ytWW ÖH'R}1_T^cÄ͢?#+*K(蒲݆%%],y.j`{%F UYW7A p \:\Ea{?}3hI@﷣gq WT>,yϟpQ``}P_9WAoh9I 3],#ɂ j#}ȳ+$Aw[w&g G翵ŧzkKb g%QzsÝ vzg**_/\$lܷElaa1}hiA&Q7*X,PK7ʾx.DZhA;\Xݟ6j*KpYqquN|0b+JՌ4"';֖UXGn)'H*f>a-3o&d>J:t=:0&P5D7^k|u^4C`n}f.eQe>74#hLMǬZ#2-G!"] ':$@=Hܨ[I?z? ԾcjUMͤ;\p3,榣ÇIQJ3}&ӥ9#z$뛤\ybSGx~Z}csH5/Xi -X P5*OIݠ"茯aM:6 mw*+BX.h@iB!?8,#cDnH[jmct[F&es>k<ڍJ'SBzI)׈az e~҇ ǺjwNfaD9׌o睗>éGlDJ(x:&E?S.p42SOcdi-nĶnkmrcB12}N+e$a-ћx-A6I1pAc em`hI$Jr,+;n"؁jD_X6IY5%$hu<^1Ieoj(>TCi*#{vY\?Eԃ/wR#fǧM*q'{&:juNRM `'dglYcoBͱǰ_Y17Vra %eڄJ}̘1_Ƴ(+wܑ!9W]/q0ibcY@Bg,m#&6D3i1>8ݧK/t0EGܴޞGm[ ۃ{]'m?+e턚90_&2,vp*/8B]]52;j*tᆶ@nհj mՅ,iqP5UK*Vv擐9)PG?gcmS=ZCB'bA-9xN1c oId7DI2^tѦN˹Ffhԛ1#EdtW+\f%F0ά[lsƕd.wi i AJeX{G Ӝ|r̙ !~ޣĉ*Zm2tVP62Hp2VdXUQ,6E=Ib29¤ۀE+ .b,D:7CLofTyAo۬Zኬss>i.b VQeRTV,8FQ^H 2$+PZEd~EGXQ,{L;hL>5ɳw9-~lfr3^LaGTjdwfXL\ ڈ4y FAIq M˦۝d${YXHWmDeHd pQض7xO.溯+/'>k5 TG9r;y$օʿPYXywC=ߎ>hFEkO<1F69dR c<(D0-q& Ohh|BhTk(etd$}n^zܖ}M.2|tG{@SITd~S tML(?fI'%i> +L5^oK*A yX7Z9Keö1ղcIna.ކ{ KV|4f9cj[In|zAL'q%d/ hOS1um]aH GEʏP9@*_L{兄{|Td--m@$tx3A+TUvYfdžlG9W :߶0P:q%#%zU18՞> %$ԥ>&U*͓Q"HDlyN :\}7!8 &gx!zq fӜQAVu5G7C߆4k Vwgao,xbo J6>ؾ%GV_~x]7Zڥloqf Ϸ+_<֎ױĂ?MFPEs$(ͩjWk ZgP nIhF"1-&(+r7?k՜z"t' qHJXa5G띛&~skW^ U͜S8ːzd?b[tSF)N$4K>a(XQ>dN7M]p8Zştw[7/2!k9v"r!(ʖ^S|ܾXegRZA;ij S%PulVh NW9wi\ 5%WP&kNw]:GaΚa0uM9rdh] _i(a̒:U<5KV$cc!p칕>n~[⑉4%ZXYoVyE6t{lndiwulfJ:0<~ʭ aC?/jRObWD+K4x]5j境jzo!p NRW{'շ4fsUɛWwP>^5Q?6<7-Ԗ4 P<~L6i lsD(Kx'N~u÷Gp_iES 1mt?+WTdZCߢaj'c3&* \MڴYPH vdKM5ǓdG{#AAkUH9pcW)>L ,b*\EB 8XY u;+{nš%ǨJ= '߭^D2́IQ ϺHvo Taپ&졜*WwΝ0"Sble4 =!^F.JA4+`l^3[ ގᥕ (Y m)[ɏ3 2(=H hJ* ΄GXUn\\pD0Fu#?ЫG80&rt/2Ir, P vq]y ؂DP@W_(9ouߡ;65`()2>!M#y$!&:x@Gv090"ny D*lG)2Q9'0 Ȃ!l5!8fLs:]}.yvWܕT!ƹ{==Aٰшm0=>ԍ'xPe][) R(hmOK˃/]>u*@4FJǬu {%^ ϭ/vؠBiCB{i8E z^Ff8- *h֒6H &0jyGƳT Mj8Rm gK-V{:V=cZI`~z,F\3F?+q`*IC x{=K7J@>1.qԘ%Kj52`c@{-"/%h`x$6h'K9('nGg5*HA6R[f}a{//~"uAV39ʡ EDnᑤKSAE\גpSym0͂-nMc{(nlIY\ jwC:rQe(]}s?^9SAA[<E\c׶A7 2%24&,]\ep,"'eԞqvHQpnXG$?(tV6Q*J(Nqblg70PZiְGbI$ zwMlcUp =\< *E%!AL6y"*߆-D ZN<]u$vB~DZr4O} @n`Bkbeg;&VmKg5 uWneǦ}V#e-@ ]¡K`#jC&aY ,+' 0 s;-/xuvP ރ<ɳnjB[AJ8_]l6~f $ט e4uY5+ꧨBwb-ab`|3@9ј+yT?ǓС߳v!R"8eU[eͨ<Î ?QdfC0s EH:iZ0^K>5 R/7kE9 ;5oi\0Ǐɮy/񹊃?)0Bꠊ"Ħ^|Tۥcb[N}a-BXD@+amZ<~ >«RP'q׊PZ1nS6nB䶈.GñW^0f_gIy%Br)A',+oޏgYZa6cfec1f9403f3f02177b2d4b1f10e709900c477d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 2877564e7acd01abf35adfba190c1e8503a3502c 2d03be643c2fb47849d7639de00b146931980140