SQLite format 3@ 9- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 Mw]Pre_Perron_Frobenius:threads=2elapsed=331.463cpu=548.616gc=19.852factor=1.66 5 Pre_Perron_Frobenius7zXZִF! 轾]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrcY.uI$ |٬a-B.#<@x8\~b>yMA5WO !)0l;aBȋ Ck,:m^/kf*xBbk]{,W~c=KE1'{g8Aܮ޲%nz~gW+^kn4H?ջ"MFϳ=DVrl~Z ){Eh3i*,%EH|IFrWfiШ3N>E"&}{!\Pvæ6-Dk5ͽ4MKmWCHVYզ;h@PNQMlu!IJƯ%&`C9mKCI 51| v-wu=Քԝ֪\\nR%x ޛ/r*[av4ż YWC#"ߕ0H}R<ѻǐɀ1fÁ6,CRGծLDн 1uw=eæ +{_m()_ߠ}`2*&؊*_Hإ&rCUan4?XVa`ڱ`q~Iił!D\od+E|]e2,9JGI+} dx*`=ʓFCW Ӈv >w4P Zkj//~iǯSLcEI@{ SW-n jz^ <qLx6~yHoHxKt*D}gY7!ՠ2-9 8/(e',r_ϯ#MFOoc"ת_ftƅƟ!En||*^}59u!ٞgn9f6 ~Iܿ3 ^5흶S ϿC?oގ&`K+H6e+ bS %DZ&kV؏ccJ)-'Y/.0DŽPtH[(UM*Y>s6< Yhs7Bȱ1uA1~ b8tn ۬/oe`scg\> (x&͋{FKP2%yd3k>' T36hKVԻ:5_̚9ABXFe3M0"KM1{nnS2=t o˱Z=*Gyc >Qݡ;)Y//y/08}M1Gؽ!X@z_ܖQO˻a~G.pd_}{JbrAl3ި<=x>iЦqks:TSiޮmk,欸s+Y{bvm:|sƭ7HX|WDUyuƐD}74GJzK;="7#a@~R_̌boT |I !GK>;.=Xg#eRhZ "scjj̽麬e^v dY=ljKqbۡEy\t)hB)+@/.> J9[b@1_y^ {=!4 ^.TZ8un8F^Slt gc_%NORS.S&3`2nulA(n6H«٪dNwYIڔ:VscKNg{ |0B|(S8h~GivI-3wܜ]S3H]Q> 1k ,=yn =B.'J稶Z 5[i=l8E zSh!7s00*]Ɓa{_sSqn:T{jȫ?NIPMyö ,2C:ؙP/YQ4KϮg:Up*~F\<Nݨ(nYΚ6Z+@1~ud A1Uփ<2p ݣI7P Á919ERߏ ٬ٷK$_$7|r,Zs|,ù'c1fohbX^U-.0*]peW:%_NhT"(ViFiP3T&&nS!W.Ov>{ΤuI:B3uˈ?uaMd $1F:< xO|1y-t@&flCO$:2Nyǿ[0'd׮st\d$ۗ}Bx&R0đfɛ=Ju~'I`t@S!#W[JQ| $Ros&h%0YP(Z~)-:Y hӫ{9:#`|٭I#^h`gO;o}gm tD]:z]4)=h&Mn*{.> h9^ 5<@hqq\P !5][-"N- ƽA nU:1JՏt.hFyȎPt"z#Rqf-gpٌFq$YHwd̤SXGU cZm3c䐏^5>QH>Ztő_fIN>x!oX&[ԇ}lYH;j P8 Iar,au*9 φ;[)EkQl\"& htڀ<:gwFu5~d=jl)rj5P\E͍9!ѾvdR/>.r.^;d?iX0/*~˖6O!a1;)da] K3ҧRs\4J2vIiO=ڛDX@e>%d|E=e]g^9~xc9+t¦qzT)8EhxKDwT/*|µҹ M +(*d y iTFBhvA:gQ-ÇZ.Q.]o;!CCG9:һ"vi=n6 RʙcF v8o;ޖIV*+|%=UuY Mᕏ68b#qlV(CЫpEbVCO)mCq[a5Ij(sJfĵTƚ~OmQ$şF!B0GWGtrL?漪ՈٮC(AP9w~Lj‘h%4g%OrKM㊏e|,ev%³ud' +Kox%e:{pYQ`¤{WМMwEe `kF\@uhxaUM?5˼Rvֳ11[:GBw.g5\X]{ؐɿMҭщv_Y61p~_ P (a{ ;Ol%qIKluftMӧL3z:pJ*C%^atN,}K<؛{ RLdpB&R6P5/q)butbKaÿOqlN-$w'3H8K(s֜?:\‹x1$bIxhu3H}3YWTޯK l6c䎽'&Y+ Os5}|Z)ڐğWr.$Wsq䌤O+єi/pR|b0b(ikCy*pLXҚs-C<&d%aHr5&B˥~EVX|w~]Xv,HLu0%*cX-uEg͐IP ƙ8_ˆĐa' )Mni/ A z)ߟb 7Y ;s4kB/-Z :(0xv,E,Ca]sHވY a%Sj{ _5K@BmwHAk)7ޕR4zb} (qb9KԴ#1OFZ'{LQ!i)8hqTe KUHC礭YV *lh9Ն 9l V[>Sѡw׏UY7PSA$XW4bU sP3BJn*.@IZ' :GQ$0 K=]h6nz*35t/ O 7OLvG_W*FDC.Y")[Č//W뾴Qō+zɵɿlSkͯ~*m((e%;m^lqS%Mv\,>a]Y7gC eU05$r$+U]@E 5{խ9Fm(`dc7Ut9%LO&= =@MBnF:w :7kIž̝9{9H i[}9+*F%ĐzPtqap [??%4ܿ 0BʓxeHi/=E5}tBԒg^Z',\;_Ү rXTLAڳ%wfz<^:MfP~kX^fIB h݆lQgw(Dsb q-Gm+R[5xgnP(A՝x/S_W_o%;wb-4 )qטf ~=E8kr J" D%&4w6?(`HTCR"_QBj 8t(ń  nzMU gk(YO9ͰSa 2b*}"-=Ew? }D|5)vP5=ַu rJE+ѡ a yR2Xmfԑz= :rMĒG1uv%\dMU (!i?rfzhQLB/Y )'Ga&=|ڟ=[MGT0Cgu%^-!i0WQ <ԣwkL6ŢhFݪ_uqz&}(iȀOWBO ZAg$[oմwlM COZuԸU~`N` j$=?ey?k,@9'tFD"~W^F Ja{Υnn-$럁fJϓpq*t1#ɯAȆ:kb*=evp678I2|SS]J3 J1}_EEu1)Q'\g%@6cw2$񷠲OSx2u .6>^p"oOQ6= >_s>~2ZBg#ÚjG[xQ i#ƣ-,( M,f?43jE;>_$Ax9U/M&㾯G1DvYHr71 e-<x]SW }KExςTr}I~Wuư̖4\fZn:#iSr-Aƾp UUR.:DFyf!ց88bvރRrdUq9D`H fG+{q̋Z;Ȍ&/29DHX|pSjiy3wNݡWL`NHG!K]pܙiŨO%lXEAFP"ƟKL^_B5q97 7Vz4qlivzwrPhCi1bV*r!Аnm'bO/XڟsqnD<(y apŲo܏]m f驪G9(t9s/p!w u'{-yL[m2/@2 TZ t03 v'Q!vEG[gcŒ{-8.~~VI2m_Y|Y5F#?\c(2%{hh37eerQj4"5LZ dF0&fh4vG+ Z @j"6%~РC?J((d0.[7֓ jpíF4zi3k`ܱs8V;ZӉ~ӦTuu࡜YBu"smvYTeAK4Dce!ڴ`K A.>)ѷ;~ɂ1S[3  #I0Jd(9l@TNղ{$@・ !ʓ5O?uYE;7α4%ri"Jc iN5'(%=ix0'oF)u#aЖ8@%- 04 oT#~&K񢳉 *h>"yQ<r` KQ,ME,W6;V7&e$Y’u>]!Ҕs u8#NjV-dҠ}dRn,7f ^3Baf5osmc^r)`x[ quO Єe#RXFM3%ȶH \Wϟ{kXYg,b$ |xw,>N;惦C#,?)AF)y, %#~F f,; Am_ao ?!u:Wb "vxWꨣ P ~->$f7F V4(X'\KIl˖p O`##\0Y9JVv~xI9&׽V27c=-LX;]rQ@ ,q!%c4K@c~MȌaF+M)S+|2:60[ bDL&mT@KYtohdufd\xxe'+#&} {ݛZҜfLa>݄}Yu'&(0[\ѣL3XfhR-Ti yT!*lc(L? z|Ӱ_MOȊ@'5ɷ4䕁8!nIKÊ kdh~ht˪7 2&*]ͤḫx$("m8UIC ?[ l5a}~CBd?xgb&AC|KQDf(Wщr̺ԛc1祳bQw})~T~t2NOcj |4WP&8_ &mލ#(Ƀ/{M(1a}z23bk-2g )ۗj}g=jr*{Jw[;dޙ7iJ./| F;6SUK-q|3t6x%EO?&F؎`нGrmӄ_SpmR`?sf?\;`#.ߕ V/[jIl82w5k ot 5no&!x 1c#MܜuX#Si?eCߓ.8 F0Y.Lb)]iGV z2Tqбc"SHf45@8*T8_ڎUT^Phư$Nkj%d nű )CI+_bSeZNUs)g_K>cD"K&Il"q>%ڧ.*4֨xM>fOgڍtVzZL*ʏ'3,ɝw~.Wk"YoχU"C1ު'U@b/sGAՉvaekZtP}QJ(Ŕ"V.(!g)ߝs.V2u(J1K^D3B$IyȊhVh5 fYQ`lqOY09t=PKߛx.{s&#0}*3\_QpA5@O|6+ ף(E7vq7 aZL?V)dc3|z't6F qYD7fzvG Â|F:kGLK^Ϫ/?TtɨǡE6,,TWL䮓~.ܥ]A'A2 Up6,DɃq&Df +eEW] L\p Mt8#9cWkJ_|m47E|[ISAK݀ 4d|惘:pHboɳ&e~gH)9̸g4DY*8`Tj8t'q'M_Tpb攇l_+A|>0tؔgWG۩~JFW맃#em*nEdioAz!/u!\M2(R rEyaQI}9f,Lj6Rko6~<|>*UjGk0تj'um[kIr->"iÔ1?+QC@eid7t@jVDk7fmMvR.F378C3[(}&IKZ&A`0'!& PT!CZtKCȖHK3JPRi Fae<;D*j sMtTTu:/ֻϏa"Zr#ڒ2Ku> m+~;,qѭ3XѴq9.߶Z> ?ZNҽkiW;K0=A'Ab06*ޤg}_xl z#(XJD\`Lm\ZE`XFL;dUe»=#F2GLv>Cd C}Tȯ\U^֨ÿ8%؟WE0@ruJN(l=ҝ xK^ =i BtW "q[Y n>g9gޘ,a}kqZt܍yy#^) BGh<<6GL KdrȫC# ޻XJwfwsP|S#?frsnn]I\ d9Dɢ>AR ]ZxNJflX;QaC=XǴ7Q$ ˫!PpE+O&qp9CynmE=ITwL.~F$IDc~f-vS١;\lO=D ИjQ ZK zTj98Cisw=_)`?KNƍ35l8=C"r1Ы.:YBoGba"W`nfnKI4o/PB՞?w՜)Ly$hEm16}$LXTxO82C{v1:k9iFl3U3EJgBü@k <+MG? US}!(͎h~fcVKx8 !4t?)x[2ioYN΁ V)I~ \9^~,kE[z#wP #\bMI"vrP1hȆ+m)_1Ϲ/xoj ͙pCYYrnSOO.KزZ}L 1ɓGC{{7vm x?͡vf=J/Y{y&ld-mmhϺ< CR|aVv'0#R_d/؀W hvb\~= MDaad4'AJ- G ZLZw=5;\lIk7Rr&#}jNB(Ұ"JsLht2=0y3&frQk$sߏ#.84jq6mWެf3S^30W5fͮj{n3~$Qp2Ms 2 L.EfCJ`I5?n{ d5 }װ֬01 "OqG_{ fWp .k1tR0sh>v*Ezԍ5A腫ߗu"4h=or 5kDVQ]h኉@F=~ [/_֊vdh D͚qOtXKpP<0cΑrl@IoUόx|{bY mjWjt#@xP韶dU8qCF5H$r>4g?k?Ԓ48yد%6ƉC^wON)-9 cЬϷ3FCh SM VPC+@A82qل,EұsЌPTԹXt'΋e1E@$Al>Jvp眈C$#O-Ŕ&`:..G ̃+JN5˺/6&U^+AX _5kR,ztw/Yn̍BMp׍yq-E4Mb5`3EHLGGlHcV%qm=mG=SLUFe 5(ae)U`$Xԫ2w|Wn!P%R۟8~ Qmwryx(x]GgpfomtϰO5o4^)5"9<'\rk mmӎI#P釈Cf7UϘg] \%2*f|+~|Ke65gF F$eV7=> ^~e6s-x[#xkK쾃<r8y [$%`FA -TsRѓjj-ƟaS_q6E n6?S:rz,oTOZ̬cy U}o&MHy"?^I߉Sъx7B[P6/y ~e,RʺIh͂涅A>'r{+C &+U sEzr zohąyF+, KIC{~ o)B!yq `4]Op9s\+SN_@V|n~+ĀHExxJ L3mcȾ9PҘR#?{*|7O(,Aa^f{'3ʥpN/P9TG|D@vUj `&w~M@[٦UMxLd@Wev.jHDݩIƊ}&ҪvUTbSX__@Ӓc,N(er.68e:2Ҟ喖$=U1 b7:x +\gLq#ojz|]UT?J4 ]}ٮ;B?I\WK Z6FR*).TL yu.$︆o7;I)ԩm*Eܻ{<<FB y0֙>w`DK~蕁k b.{PM>@v0Z5Y[dm=,5$,Q` Zjm?)lRZ~diE\NK Ij,^ 1ifI_gz~K9qqXpQg#ÑS Ki/1J]KFT= NK2=ߢ{3=G̖spx.:=z'N |S:cմ3`(OiV -YA;__(Z5j'qJH9NNAbNǝ&Rѐ!#[XILox#Fϛ6$.:KDoOn{,#Iv>Ҿp v]b6E$xc"pH* 0L ~deR<ՂE; GY6+i|Y]5WtQL4G2-Zl8Y>/Vt[(2lN+ّ?%{0qRWq<Sv,3cQWiI8$wKhx9$6iB;hA|/"Url3[|mFëR@x^YK@'Zwjh!&b峅J^xN{PC=p6Ddy;F~$v,0Ț+`)jc 0 gLDA` Zd&LH!P4ڱ #@1LT'M_Cy[#&`jbD&6+I+, )c> :?9"29SID,d/hZ0~sV1;dKs5IPa?phԑn69=i=Q 2;1{}h*'hi)_ Ίof鱋(#ZWܛg`_10R(cÜFu{7hFI7D{Wz15)Ã|r̵K8Z6kfïH`=3/i^$9 A!.dA!`6"v"U p#6 Tco|DȠIJCmL~;>WqgO-jdTwvn=,C[sf=:imRterg3f-%)wC%!İOȝ;dxGRo8ON~[h 54U"ė$*_Aq2*v-2}Ab5QbnYk/>==^1Oܴ%KoY=VIRZ@θH8ST  2kGɂu0F从ܗg'4r胙| Tcb+I;N2ŻwΠL9JaKl݂n c/!@ڂUƒRZu[c=gpϳ:@x{h<'52Wt[F+gj^] *?$T"MN)D;Un /b3eNG֤#B؉hZ/#Tb9ũ*ZٰV 5ǭaNx4\*}fFVI حRY? iؓ2xA4+}Cڻޚ ę}Fl}RclP(BBtz9ANކXrd܁mW_ID&R„ի!R)FO*w=݄XiD%p>5ydJdrQ 1 PNMb `%T2~B\426>L^49A^\&5Hqn9 wU-|$i'$N?a$'Ʌ#@%%(2 HVFUXyJ_u e+S \ OB%Xaq{5˞k=|l-2&W6lNWw^0ejR;Nċ+ Mf;EdMq Fh6wHkHgS7+J 6 nfDyn@7+5cDDu[3R&]M}$x_P%#N~].]!Q b$7؁/h;j"M!<3kE7/g}Fm vR=;]I(փ1 W,M8!/aՒRQͅt#| f-4OߨOwa/=*=fUD)Oз{% 9Ţx2)jRwMfvyQFc4HSiVt[!dnǂdet# sw/܊ü qS&9kA^Ǒ%6ZLh 3]>:w JgxLujt!V.[n(:xOʼ[D}W Ҩ0}T"K:M-0T~?N[]%e&P/Kړ{Š0^#Pg?(zu''qO @YZ !,C7!vMEpv ?bW8 Ě?:>o)TVbq-GBf䃅*?؞ޯidKS8?/SUBf+^)g$,ހ \,hFSw㇩Az>$_?cB)a l3p4ʕ4Ј8Sx`guFN9I0p=7%& h5fD@[; a9g!%64g'|WSv*mP&k܁&$.!E6с_X8i bQ@z~M1]@05FfѶ$s3橡5S[`gǦM/@xTS4`ȳWb 4i7κWd?zD2k%ȩȪ+X"RUrO 6@dad^yA] k{#6lf乇Bv[1x3AL2p<5*UX[6pok a _Q\(-Eqy |y1e˞rG%+P%ϯm&&0Op)U,Ukyv ;sy`q W~r) Wg"ek[601CLK1E."\Upo_I+FNة\N?-&}-b4M6c(HAE֬īԢLj4 R/(g##= IZ6Fpw`6ٷ#,;$6ˋtϼ%%*Ah^]W5o<'X`it?cTuN` p}ߏ\!35޽9BU˜ >?M$#k]w0@A/ }NNם?vtrIȼ)f@bU9Rt8~]Gjq΂I y|\W;:trm@{%-_rZCжR vAȉ+h"% p/mgfQw>Qa`jv^Y?"8ħ&{5N&!S&VY2T1SϔL^CHˌnGXrHȌ"{]m};98pQ!4pv/9zS WR@^WMS&ln>3:oƬ{ُ` V^3˗R9XtQ/c=ʏMG`"tyZso8Ee Ug4~Y5C-鞚Q}ф;/k G?;}+-bTUX{'2*gkJypkVvpB;#zfP??9*^À]{ ^꘺ .a*e w7LlL&#'grvg1489'}2B.,VzBPAC tEt)ΰڃΆȨ;Lܴ R8@~/(LB4 Nft+ӛ W4ɜSӽm؂6ς5KpӬԂE6LЂe_;EF? '[!ZC,\Ri94=z)|ӕN_N/d$hD 7 RX qbvn& Jpm1HuՑ]ۢ7'$(|X#([ܙw.Ȁ}F+{T9$8g4Q#&m!=-3"TbdZ feEYZ$`gUW9]96O_SYb +:K۲<6R0eu9t'%'ѥZ*q6|=KTUmPnקѾclKF$?oV[;+26Fv#uUo+N#6;B vҀ-"Ɋ= \'Y Ba8O.,R \aM)( ۣ'2Gi5k}FQ%bOROӹVM!3{[V*˞XQ6beg7r ʚ $;Yc^TmqUF28Pp[  9G/G;Kx @dLC(Ҟ$iAP 39/uWnZKD:u Ho ٌ20^j+1J=%GR( u,1q7 5&8UTzHZ1Zأ!ǹ(:Xka+ r/N9ǓQJh͞MNYqC!e*l#9B\S$"yk*(Bw(h YEluMVa9F $#Ô _x"ڛ(>{9˭>;{,ؙBS&F}PchkMv95+Vp-h|Sz@6Tk޸әTAhw-p+Bp*"VSjC853E( ٣"0)d\L^ o olJdm4a,"l)NMq$ if ",9&_+ơ(wz)Wx&@à˰me iDXv]_=2#&sا=y|\k̅ڻ =VΕI)② " o=hPOKc͡ҮV1do N?—U yH@P6ZL?F dG)a$6P-6PL31`j a~RH2Z4&r9|W#*1ohd)|1f?G)8t2K3+f]hEZcodժ';%l0oU}+ vD$4@Լv4-H/+O5ahދuVIpfib1( 1E\mJ.OQʃlItj1izWjZ=tH#K^T tdƛVҗKݪ޵alsto@+TlsYQ8YˋQMTkX*@Clt8jyر訸N"'~X`Vqp>.ѩ@ſaQz≸&cA'>F e8t8ށh[U­&/q`6s r'zβwWpFRt%{{ٗB@ 0F#\ ~쭼%K13m> vQrIP^/=<(q% ]93.__#:߄)1gTrOaJr{LZ躘淒j3νF(Iy89dޣW2aStΙ<9`HXg@Hr|CG Ӕ uCOH-c(iB†忉.Z8QS>4݈AdCбՔٔFTc74k&"IS QNUe,~:e{,7i2"\ʢ .?wxj0XY>}4脁y;>oqWxgSupC. &YB-<ɕEgm%)M!{[@̧v=a큞 !/AJH;@*tX/V&̺ jNF}[k^ϽY`P{T% c C Dg޻)H {*`5:1vc~EwMca{wB^ĎGn sx?Syy׭ҭ;ac})&}2ߴѱxu ۹H/: jީ8@sm݈~16iCbo|%Kq1nzh>0wqqu+՘y 'Zk^R£woiUu~;&7 omvEhH{̞n&dzń}v#nrT`fl"cUxNECZNClt47^ ,*KҮ/~W󾿱͐?HRUXm# 8kTٞ=LXaYv$ dֳwj%L~|vݽȰ5ƛQN_d(Aq.>t)ɷc|/GPfTPx,Tb}X^2,c& 7@1ӑ=(CN[KP䭸qC`/uP[_B},ܾF)_,_(/1I;9ߧU1}X YTd7/ YņZZT[A,"@)q'ͮMbDioku$j_(Վ Ԗ}Qnrgwy99٘ha$E[;se6Rԇ\=NrWO*_}L-!%H&BoZ R 'M9NuZI~%M*$Pȏԓ9,w-:0u7{>07ß51' IHeovwGȅв?R6#=e1D+{r=R> RO³WH!+f_ҹ 0~cY(OWJ+p`p^7q }sDN$2tsgH]c:Db7!]VI8Cṉ`L'ϗw-aEBu+? OR)vd{ t:y)W覫j.dFVC6dԼ%S#uoQ2lf1<?X ٙ*p7`ք#pHӮaBUF_Q<}>~'Ɣph]vtS6lE=Y<2 ց#7n&2TwU8^(`OzW|](dBX" CCcMWӺC?vbi}WDl9p\pHzo2b؄}}T=c6ϋ:kk'{"!aIPMGi[T1؀YX$B7Osu`m0r|œrj R^T`h!$6?Pd = D裐7ՠ,+xOwY#)*n&=6#"y܀:!)‡!Je@uN T"GEOr51jR*_Kg{3W?n\'VCsډ^Yw?u $ O+cWBn =]HprVcAH 2̾_3ΡkYF~j:mRlr@`a(BY_ ziR {2 @kw1IӶ[jy_ =h[67# X~u!MJ&yEEK,f_Xty܎Jtft񱕂x ap7׺#Ll6T"%kBj}'^y@Z@٤9+[: L$rT XNc !ŀ &{O 1_`e%Sk[V4OT6A֐*(ީp, +Lp5&V{=鼙xsw0ۛ%W?ӒܗEˏ>Xjn|:7|?5ߛՀ=tF1)D4",gwFJAm4[̸T t@Hv6ڼ>$帠Osaޠ`=1+ 3[7FF2sX@MiRѠh~8]$MhćG[3 ?N n2 fG>+ ;3#1/M0SǶb#_.k8%A#c']eEi~T)uS LY%.඄kaWŁ;ѷ!S0|u4hȲ<ܵ7:m8ͅ1(; aJQ,c]ƒ08B>3zsdzlPݹZ W3^wMqN-Ϡk/=|qAX.< "93+iJ*-׆g/"*+210]!Bev)ĸ/ɽBprWvwr@%ho~yQJq5W7|N6~eGxTieE$S4<´"u)dQs'ޞs[إEI;7錞am^EaIԈa)NʓR z;5Nv+b~^9G~aU׆ʬX,eɴNfuV+jL 2mBw!Pj$ZYPݕQ %*D8pVfi$gUth͎iIvCv3l#i⊦΍ta/`,o x#%dM#7Lz3m>/` th7~#Rԅ98o̍ ]bMzyECGkWbT#'_G'XإG$eH@y8<50望a&XSv"(+ʈ7kj!Q֫tk"FQV`e4\^qox9O^lC?cuA 9 Aj˽8V@2XS{6) a1>dItaY}UkiTscZ|qWJpӷ+k0=V2de #o+l]UsaSDz͔ibz [XTi{^9SNY[|Uؠ};(Ub~Oz ?ƭ/H $׀\*oq~VɁ;_F2%9.w+wTCauH5[N + \ }3N\^.9Omd01FU"|@]N8 5Gy|HǽL *N841_R]Ywg76n*R--Ȃ(A^ʪ#%̷5[Kv5@M[ߙtmPo[- xOx8P`sdU/@mƧf,QS@3ꅽ@~v߽i[l nk58Z6JX@R/|f^ wz|9&DntbuZHX דnX|K4Slω`i?mz5M "bvZM ')ۼKbJKcɂ9K{df*A'QUH5žiu_TOH&ɦBB|-?Idd}0ڎS: jü (,y{u@$>Le?dNG8/tLB10S*|TQpM<0#yd($gGoJS𡜎RŘHH\jPUwRiRWdž\oVvYNVE|@c&}+ qȦjn&ti nAJO"I˧~:tWZwX>*BM8lLPz7o{*o< #3wl/E;VwM%Hld;~ZC}}l:>Oْ6-$>zO*BG4 J̴.#4G)L !s%1,NT(8|Fq $⓰ ٔAlxNVr62tlIz + qhrтX3ʪlٚG_7AL33r <$Y @xЙ&< [}D~.yeF=Kɍ`l7)+U&Ppk"$եy|'ØĘ._ڏ;IIJJqL!@L5 $Bł&5nyRJagC}Ԛ2ȧ/+"Wb: XoGa}::ބ{P} ̼Vgqӷ l=(մVI'Mu;/X -`X$|6r48F~Y M~&w摓 e BxejH=@r82M`\9Ü񿧭ދuQL ;t6FW-K- Fa!evBş꽙 +`fD,%H2 !Ƒ;D Aְ|z<~V[% 0`"6hVLęP.-L¼ks,ik nsd,LkkR14n ':g$Tj+8nrY<NN,ngэ7"i#2嬤D- }z(D=|Q u75ǻ igf!/d;@]- @`QkL"ᵒ"  oJ{/K-=4oB Xd3vO2 \2 & g QkPWAjuN=G+-K ğ#D&^p]|wmKXmaՊ1@Ш_B$gh>ဍ31ōǩuCvᆩ]5eݨk@fTLpK7Za*};|ON]J>ВM2%{9v܉*QKMǮ̙yit֖"4n$J M2>D)Nɾ/9T\6q|s¶}|EJ'N*Ż2ufSV99Tm+9zn nUF,ЎP쮆x"- K2O 2Tl'e&K)JK2& $K92&3276݉HJ;2K@(З.-<7,~dlƥgx'P*@b((a^L "x)8?zU]DWHG7]Qi7 "/Aj GiPq,ޤWuRUEYJA\ kz71Bp~zif[ofOWHS \'"+D rܾb1jB"d8 /"[iYR6z4:,`e gđ'g1wh Y2.9. ה&I>M6uKn4켫LJ@el&OOŷĪ-ssEHD?ʐp9:'IW+t -W~ U9zeT\b.) o<\9RH!u#P(`b2 Bb{^est3K3_\ytݸK]K \z/<(!]bmmB^nqA)sai8t:֒Fj)E ]Xl HWBF!-jp0d +>ciqW3?1/WF@N= b)Ix *"Tm"8Fn+J$u?%Cװgy{ uEsF5I8>(T{Nw=YK貌$pp$Od&1݉j.-7T]4) ,DKqhyE!["jȓuPTQګ"KTAbyy*+'ۿF笷#\ǧ0Sѥ0>AsPe4u' <[fW*_IR 'KO4FS([XC^(jM)&V"{S>N3GtH߷be: _HswZX jgٮ$䅢@TP%i'C\3s^y?RUOmDX)ŝ_\S7 i/ɎI1,`heY;zi>f}>o_ҮC7ɖx01! 䴤&Gwb!Z$.PUۈHj(Otg(QL.SO:{yqN/O.ى $Xq`zt4?tPdɣokぐ97{!I\ЋR|Pu f=D[[o-FJ7 ttFc"sAU=D_2[E֐aI奵Ƚ[,v,Wo\:ț-y\L}Tŷ<VB͊]l~1 d %mL7)fqٌN{U}>.MG_3~^`Nz`yV( P jx;] EKXW*ao7ؽoDסZѝajc2a'|ksS˥0pB-aUG)n;6Z T 0H-?Np8$)׬RtXR$/J"y,R+Z G_ay AJӐN~c:Chǣov֝b_x`$o̅`/hvGhDdDfm2ߝo9 WG/4 T&8>f'6(YKv݇#[)!'?fszۿ51@Pd߼Iyz/e3D^/,5U@wWw_uznD!~a1u\7..1VE"0ٰSߐ"KHJ49C ߄խX(v_鍷K\8YCjHڜ \M>1K'J(F]u1ஃ]L XC`D$z,w^Dq,&~tYUaG0TvrE{P[^W2+s^VT:q^B{^>`ʛg\e7U[L ML_2"m^XmB#?ђlVqR"EIV MIqR! D1 hxVtW@J[*sD@<ECkJ&ɍ&wGIA<,{bNJK]j#'8[0P*{Éqm7޾5h!eGN;Y q=BB9+Ұl~;'rn˜(/sukq}MYOZ$+hXaƐv>&$H:\-}bAkmu"dxr+ H4 8_Ղos,pz~:k4nS랃G 8GwˁgCSN.}W3~;OyTnJ D"4`Dw,VoevյOE2n?Mdˁ*0b;x $rtbz,q‘S~OeՕ{a^LH=8ENwvI,n;*mXlnIC<|k*W}0ե6lĴmPH/'DڨA w~ ~_ԇ2. 1"\~cpn2ߢ~Z!5o~GAV@oD.UnQߕV\០3;!.Q zSOjPMe(z N #U\kX廒x*AO8zzG* (@(=qW#gw9PVahB4S}}Nx'T#\H0uq%h@ a7s%^:q%Z~9'T9e1U*%IT~w,Rvįk{o dىbȩ27Į "K' H{sOXg-G0?Er oE8}U gthܥ I;%oDbi@b );0r?c_,ŕxdC AW[9^@k 3JA"5 oM5r7 @m 9 <¶Tsp+1s aS^3PkU2螯虙%N)FK~W'c"Z,bqIne8 hv{2 %mU y{. ޅJ /0)Oqr t&pIWM&UqS]f->n7_P\^&\=$L hDz05%c#+g:O ¨ULOJ*k lb\% "7 Js 컪eA*Avz+&~(]Y<7Ôub4Dv<µ]L͘9)Xk:SI Ծ,cX ݣRFs)N1+T@(I^Z&;kX wiH~`tX.ڊ\3u1IR9ZLUk%zc6n {kXh4!7aH 95ǍCw@:Y[rvgQzx<#APo^Aqsy(bh 6V%y D#eZ `jD㤓V}e`^WN#?l:dc k[#!8FxP ƞaEY0@ aN9RC%c8}wkB{mm9)r;zDY|vmI9:"?o5G g[˩~玪kR]Т(Y otHacCHLS6/@;.q_(r$(*px2QR L㢉tI+CWl[V`α%F\k,#CZ0_IzH՘=,|P?o"ch}ٹ\<_:j}`g'LR&>(A "$QKm?sd ,te~V*\^5_)N{Ggw;D֙Π⓰̨4ENuv"-~c*:ίx58Mx/^`Aq`0`1v+ :=6$0?S}׶sS_y&')XJ!" n~'c>-'!|2^W$gIG+7̀ _uTP*;Je:̢*tvyM[k\3j>_A RtQ:guOIT5K80џ C#')4?&qUrn"Xd.Pea~l0ZtFYZ+p"cq=?iRN+LPXG 3T\G_ vتSLL,/WJ7<Ww3ɤ"g:m~]KK?N6 K6i4#ѐh\ᯄ.p#4MUȸ$4f3U N,٥E7~?2V!dmU &S%O)I)`iC}j!ˢ .)Eg:IU$Ll/jezj?bC׃xxG`[z)CJz,\(9O9M4o0 297MCb{>AٻFC1Y O Oby9n9+{_s9\1Xz,NQH2E/ SN47311Xhe~e ,g dkZecO?rYDk@3J}yqw4՟/MZŻv ɼhhy0L K{r6-YYQԪ!㯕@qfa*+* AKG*G"^x~A(s(V-IJT6*0O&WHC+HXJjߓ?s:Xc`\^DCOAilLۚI3i:B;gHNJ6S)lȸCķ vwʂY0#JE"j@ fV s*'5RL7 ɮ mNr't?T#!3wƤԤ"1pdO /GE//8 XKKE $G~$v>J ~ !cs=?FP??fDlʆ8x|ENWW'V"%gh [Y=l!8N`3!䜽< 63X E1ѸZɞPڊI~4>(iU#Mbn(-dB)5zuɑxG5 MNb:13GA)#KTuEx\mgZEDQa+d~>2/`1}_2A6vRZ6(woٷ9'㒏!2xiUATm'\Y9fYrEJՖBJ}ccQ4 bg+I[gS5N@ܑK%*1K؏Ie{YMǰRba`RBPOweacx759C[ߙ§½ %dVӽWf#N-zȼi0dܻt+,@Dr:nޣBHEFH_SڔUqƄhX{ "6 &$H8/%\aE8ce|Y1蟿;Gi~YSȰ+.IR{)ρH !?]僧.n@BGAtCA&bRfÙZGra ob5,{>1†#S=/=W&+"P%ac$d;j%WP!s':7K^IfP3T (=n_,8*&M5dPB "M!zڡ4amdp(:yEQ;*2𡜃7Ǥm ܝ{ F*DZOK@ x0^h+EB9ln+c, 2;=r4Ib̾m@{ G'Ќh3\Kdgjh=1=uQ"$'U\ztٟ\s2D'_$cn|GaP- =: 9Kz^25{1@i{.Jr=۸!Jw' a-~ "B1mN4w|E]\l?=ڜO$m="^3f7\ f!dƑ{p6kPr;!߇Rm`1y#Ṕ :M>mj :^`͍#Oњtzzy ddQMn1FǦwSvQ()z=6͛Q# h嶏 T]k aeK|Zy+}?J}SPW4 Gd޹/0e6ѷR+_q FVӀ8՘ȥ}>%Ϝ+AvC Trjf.gp#g$si~z  gf䂊'b͞ zX> Z<} L8YLCLK(ZUTLg[B D1VfZ=WG0Z5HV _.l$Pc1s9y ' Kx^A VbNzok{ ] xYcfjuFԟжP۴wGy0n֞+d 助 :E*Y:? k]Ie0Gu *j'j!3TnpXmrZk`(\+Y>ZZI'HBt7YZH4 Wrv[MTݽʂF3^rnǰ:Bzg\h1  Q)L?*+.jX6R.y| 2P̳kSx]pV+8e멤s=i,\D>\;.7㉕DZNofר>t1`1 /jt^R= aE v&Ӳ^C(ω1}%5AL,TU&*zǰWkS5p[GInFa1BhlD(W=F<#:͹%jdBEOv#T‹[7ߴPng?ݞN!(ܠWUlD}QNX= ;[,m](jn,kB {8 r/xv05r(VUĒ]bbr/xhCDE/Hϝ>|6I&jo?gK/&"GFo06A^SSg4xp*JX<ԞÃX?f0__qu7 /iHQI7 MjTϽ WSe L5h[i'W|Y{2[a4bc],=?_3@J5=4y!r-&'.o+UktfD6Y -<5'1l0P o7Hˤqb]U׼}cpg;( bR!ح51>5 U6Md4r!<d-[s"{le:@b+ p%..$\ g"0ZJAd^L +Ou EIJt ) E>]!4Q۠ш ,QڪׂɠTureL8Z^#d~" G"MW)wqHT[f-Q1?]i&jjja ,èoukEg ~qe @ =Q' D`?i`䖔[6e LuMv8@P֡I5]\GTm{]؝ϒuP٣uehic"L*{w%u1kБ#)5z6! `J 160iy@E7LϞKigr|SdGYQnjBӑ $Lr==u:G(h=OqTȁli7U;t#v娉oшHʫ+H 3  Uu9 s^VI}|v]L--XD b|O>$ﺲNY#c!'YXX|jP{VүOce$8z|<'DCƭiP<[)_]gdn`ׯpdkٍn;V(8 ;&$4t?Ͽ,7ʾ>ρEgGW(  w:6'!5~g}wp7̄j}I!ĨHx͑~Dp hN6(OZa4?m 2E+$TqN@~)tY8h9 XQbyED Hb_fUp~we:p{rYZ@j+/3~Mun= pM3RLMɬ͸3ײ7s/7×o,1~eFqlUvJ02dIO#uM(H'ib!)FOɐ\%ZS]:$g ~2 SՎ+EÝgO?4ݡ(TQ_ O}C߻,GHR]rjh3Y.MCcQ߁+ysV‘_]{[,iYq!"#v-:gg#h[#w%D/)"극`q4 rjKG6b%׭-CH:>X}x;RC"H0A|LAS[2f*gir7̓?{ko9f Em> xoOdui dN0cxw*s*eIиkS4 65P\cKX]w$dkNi+{$FE73*L&\ 7|DadlP%4 f-<+wCq{T  #C {.k9[\rX[^s٭hgҽݙh>1b͖ϵgw̩6!pڸ-JSl u8t&UHJ\dt2<+,XX*G7779)c7~ɒ es>e&LSLiU -n iovWc5rEEP4",M;ih=d=;(B-+ QKȞ|AUK͜lQ}`!ǙkIk- Cb-ooC e{9YJ_w*2c͕5taA GoA|V.[hs;Lv\c_Yr*9ҭI{X߆qi[\л~uF u%;amj!VE_c/k:O*c`~Үi5n2wH NÚdq[37˿FOl2vo>_-_wo"Ԥ6q}bviBkcG\=aV(kGq^J 3!YְHѦ)&at BBx,p?mˡlr3nicrrfd ۱qdTTT!h: @֯GHbOúzܦCWܯ{:90U\y?x. C3B%7==絾#$xlSt_ ``sXGkmu#(Bm\,K1 ^ W˜%W< n:xP4- LjJ&_ m)7=H2HA _6C듵iLg9tj>ҰGl9l V}REN k,*}ybbn6W8,CڴT^10tk:T(h.mxty-!Vzp?K],_,!w}+8®(!r+3˯N$\'I7i ^%iGE9ߙ Gx>wr&R Rvj4*fnk@:Y0` : "R}y|,qTBlb23i,Xt}9ՄpVԡ΍Vx3{jfU-!͇Mt0AJ,cv` *:)-! 3ƀvd04 *<I2=S 3GHN;ll ڲC9*t0&|/B ȍ3pqR=4vPJȲP)K,&ߠ̧ @T䀓O#GVG[@FG5-D@( FUec6\FRaY19CP,wsc]#4&!E Wf b-dE\ʚ"ə!jv7i(!oFb>Z^Uja!BI){giveYY[h=g.;GLyԗek(TyE6F %o)Z"%kzr!D2Jw ުu G ,( '->>b@_o _3I {B̉:0MVj=zӬl 2"]~C=oER_$+8Y ?7} `[b-gmȡ7Z\:]௒bbv1$3"kHBI>eW1 .%e02Mn̬8fbN)/8(URŕ)B ϮYL>GJUm`w0Jٿ!؎q~cڙ{"TD˳?&ۇ}\Nثy$?}9ǀHSv%keCj4ȉR@b1;1/@..`D>D$]g)&yq%bpwa aEQ+Mku޷i~ϋ -H8])PQ0,q=ïD2~_BtZIV:H#>#lF*S(ޅ+ATPd'IUJ+=|('sx(rDߪeW}#Q xĢtQ7/ hbrӧAd*_9gw39 >,-)PJ;uk Zg9.el9^kכN8u ؚU֞=k uՒ /!my/Vd]2ޛ?5*#Ɇ8t|J}U=.:w t/TÈVpNux1ň'Wqj7~MI9Ms]xwkڿ&zH3 `^ I^og.M: Ql;YsVT(oT^1?p6X8~*u2\rĞ=0rʼd|LA\ H+煦+2:lm o:MaJ\#&o c#4DR 2l גZyOMᢈt; L`"w2sr Ӻ7բ-T*3; $}FqsQƊP-ɔQdAN?5ʞa\ -R] *@ 5a=AS.'T'ψuWpg )jYV!u9Agȼxk-i!bҼeWE52ur.̎nsJD' F3D]TN#]>$*v/?^~U1؁Ϸ|s#f '.-xVא/Xǟf a7IX$co[tWq[MM3Yaũ*I*{^t! q1jx{WAsH=ŖWGwvN^xZ  V`>9`be+B^nF@ W-:,@21Gi!j4wSj?z.}꺨NR\ *Y>.Q21jnTʌS?/9sfy(iuzW0f̞U A^ pW6}p{1%|Mr>g(E!ř|n-d4lIc~;MD#P6z>zZI"}Qc;~em0;O&tlz~+Vy!LHLOkO.nz]ܠtJ}sh],hERD%сIBs,,q3+4Z(< mȝZrMBw؏kWeyM5tE t6P,%]!(nqo@4\y@gUdں>ׇ-e@ 4׶5 :IC6[Rlj!Jn`45mmH;~8;5T\B%VȠmnG7{0s[967q ng%mx[vb6t.47&VPtsmeb,v߄u?/aݓuv<9u"^dbL_`2X7JI R7b!5DaxoTqO[-ƹ@ÚaKkBMS0:61`fRm>UUW#1pNBr0O@-%ƒc?0# WE0s=$.tPūnw+nd#;>o8c=6ktSM_rA>oͽxV -ڂj<8b J(^>+WCpee$dL!UsizcIͳdHIFMA"0Yʹ%#_JSL*klE[I5oP29ap}TTm $9\xT%{J{+3NWXC <$Su'"' VRT|`o l_鮣FHK!/PHYs=jWB$|#/# Xַ_f`xO(A971l)YFR3#*99CL!kH,z5PH6[;^Lך9ɩ%PRI~j0b+ӕYӨRx0%JvrV$t.k,HT 1[-|# Lh9$E.bX%?tM/UbqDȷ6$z, # CͰMv@Yp55.loo_q"y{2:A' ?&r$󓟟){Ǧ"~'[D,u!ԡ\9>`f|7tq#ޔUhˮӗa{3r{P9)㊓;:6O͸!  fِǠj侄yE'^RT&Ar 1Z4lɜ'V nftΪm tW\k -1ļE:t08PЍYc6SUr7Q8h}^rĺa(=U>g1$AȓQGBv4 Dh?/`86yh 7t.9(<, =.Aw~(5׀IRVd7,R@qEe=Yq(YY0/y:b2UZ;:;H2:ng|7$!_a?KyKgt];.6?2Ef 2pMԼ?q"5ƯwG蠵ָ̟H34&FQжwWc r -m׽؆}t0ëJV ݀N `mzwc>,u$C`A^m?ֈ95-$:[zӱgYZ01477e643bc909f0a0827b4f41bc44ba0fd4920e 0c9469e4651698f44e3e228873be074985fc67b7 0d624df132aa2e54b02fa619fa707a1b424b9830 1283fbc4831aa27e1f0318414a900fd51510243c 18bddd15f739dcd43f146f8607ca548e20ec793d 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 21c2fb773af89aeda79a34d7ea1eefce077a59e0 37cf0b4fcf26d02ac72475674972cb76fed24fa0 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 422fb75946ee2eb3f59178cb1035f2be8816cfa6 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2dd9ffcd791152b01913682dc0b 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 5117119a178eac69d137fb85243808da2d667eaf 523551eab52ac57404c63a072dcf3bfeab9d152f 54bc02edd20109ec5df1f897881ac82269c23e46 5baf249002854ebca32aada93ab62260bcb439e1 60879ee4da2cdbc42a47e3ef64f7df2244c84e64 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 91a709751d422a5c99ff6221e78f6b756ec46575 962e47aa332c8804c7b150e59b0d93cdd566fffe 973d6bd96dc9037f8676681fb869d6ae83013aac 97b0687b0f666b4854bc0c37842673e1222c835e 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f82d4e53459f814981e858cec3d927c6169fcd3 a612d605e4a059d80c4db56e04c3291c02d8f652 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b319d76f815a4ca5362afe46af6873f3072b5661 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b9779460bc65439f31b83010861992dd478d2cb2 c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d c9a7834754ca020e75afb9d98e309c88e75bfb0a cb03b6ef5b1b2eb96a968fe951f9bd45a635fe5c d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 ddeafb789ceecf6113f05c3fd39d4483efff0627 e14af5b9076a9f726d4bab9022de27f313a84125 e16dd81c25115952353dc50e98ef8842c8109688 e72d715aa19f3da35f1fcee345a3f940c102d71f e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f9ad8b0e4dc237bddb1a7187abcb79226fec1f908c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3 09a084a642ea9f440c16b475debdd7dd0e298b77 42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083 d8c7dbf611481ca73cb08349995734da5a032747d2aa28785867b042610f1e9e48ec405b314befba