SQLite format 3@  .  YYQ77Atableisabelle_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, "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  -7D ]MSO_Regex_Equivalence:threads=2elapsed=546.778cpu=1072.348gc=42.400factor=1.967zXZִF! "]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=dbi b<^0 &:)Z 17Yuy.N.IYzSj!/z !zgCڪq1Hly0*a_*X>]6]: *^lw'$r1jL0>6't5?ӄ&O_fOpBN4J.FRJN_Ӫ=:VT!li myh8Ԕ#~nE _叒L=BXIr̦|= #4a }L#&N~{[K5 mBa(k5ۯB~YCM>{1ZֿqPo*|! I.`eYQZVծx|NdiPE!De@$DVcm{ώ[X{j4|*\qI|kf(t&QZ& Gl\ Y]M@g}*_)K럎5؀Oܳ@$a<%.&Azr'~C_ \r9Q꧂1;j];7~a5p5Rh @=FZ B'MOݒ{^k桉t5R0o '%12{xÆWK;1]ng%|PV.z 0^vNn;iE\](t; 7-MJuwHdUH%`ǹ~ E )[BY(9> {Z7=/%=Uv?hlح,YfDvnX~,*\'UR wJShΐ .2eA?m 7:aMFNʳT%^L) )LܻĖZ{]fgμOYb!{FU\1]R& ":d7G07&/ǡfN16Fc@IJ'm ee-vb'_\|IIC [LnWwr+{GlGVG`tMT‚biUwuQ 9FJg߹Mw*ԕOiA*Ćmo*?1nkx G|%i>ɹk*ͺK-^I>)rd `5_5|&elʜ,_̶"I~"ǨnV(6jȻkœ;&|gahSY&~Gj@ϴW[,ߘ2"B=X25ƵͶ$0y"F$ X> 5cTKٕWFKj2{cvWToJ -;X DRP, ٍwkeo>>-^q, t()/!i&3cqx"l<*Ax$ǗȪȩl"ۛ3AD%!sb\C5<,|yDh2S]Sv!7B-f;S,7^u?T1=kyȸ1]uz#viڧ-e0/ʜ'j EL#FB8ƙsFa:`[֋Y;@&hfN~Bf@ϘX!b0j]ΪOCP2 ATh<6W :U-~o?Vm$vEZ;vQ*#Mׇơu7DZW2vζXiI@et %,vtc\И΋if)S-12k{}`zfM;FR(tC$Y-&S;L4_yi!s TQwi)U/&rxĨ>(ղxlԂ6cv®6"w-`lyۆ .bNNgD[r x8e )ܬ>;ۿe,}xs@kfp'%S#[X>+GhQfIvo>f2 mn)"VU*fTf㕭l@p>0!9|elSǜD|F@Kq '@~U9[6IK. I[#Hho hfyq  XJY3]s;[ꟿ +*?`⃸4v؞E 9eڕDY6ٗ ȱWWi;.D";f"pp3|E홱sdW%nm5WQйCT(-[JQd u=Z NﻢG]TJksīUh}5'iNٛ߮L/ y҈ي>;8*4'r$l9KX*lV"TH, $üT_2Y ^V꼯y:vug>,lhNk"tvمb#9Bβ Gv}pΈ{~[#3V뉄_+Ny1r_2 f5pӼK9ǞzR]HD 3PGEbiཌP/½+pPkQ̸\$/ ajB֬vPr(]Jz1wqʼn*ؘ0oš]u#F=VjUl0unaXܞ[lӶXbJ&jz5vG^5;rYM .CAHs;q{hEqtì3M]U!Qgji0t 7v#Kl-)_wml:(x=)t*Kt"W-~֬Œ8uq~xvbo丰iM/;Q_YbcD7L%YyOUHdI=DQ!uƣ~ry~ >7/3\8=E}!2H)[u9UͩA ]:UC.Ǽʾܗ.?IXȼY+V? "[V R':45:7HW%.))RD{f]=_8܌Wn~hA۩_u>#x~P_R/F.E6*A)x(Ozi<7f3@lEk9M%#F J=[l(-5N2lNa2|¡'>6ƴĿS k ?NA& \bNA!: ]E2觤"(u&&}1rԩdl ]4Sw =*)ڠDr['-0˳/՚0ȵ?ֵuo?YmIpրdW޼w%۽$p;qO[m3@ ē̴"չIC9P< %%j6f_@)ǔ`xi\XZ*mV, &;#0z{iJU7cX0$hOPowA:B^i>e崒_|Cq32h\AAg-8'3(C\?hXD\"-}5ȍ-Vto2< E;MPߛh#zfd,Y K- XHĹ+GGuUXYpѹ5?sfh(MO.pȻů' ցQâı$2||]ڂ"l%b2Lc@kȺQ4Ņ x*)ො.`OXv,Osk1c@t5/,NMȘXk/4&I\`;k&TH0zLl8@ݑ7tER ZA7;J pUTߍAjuXtfdV<%T\!j1LonqV^Xnm_NkHbc<P6qVnŁwKQMGE=AMIqIp4aM_zAӉLO 'և1*vPEP5Is8+ˈa M}H]-L(?nRx!,LWī[f|bijPǪ\sbY뙒:?/͖. P&dJ_MuzDNfrj\qU;e /j+NbavSHRΜ&y@l`>901wlV!|DH@€#RG:f7Ds"tIm?):1>PQ>4U̅/j\Su* 5`BK KoG3 zzX$?EEUݨxŢ dhkC -&bFaR1kd-+*iHPzuh8 pu3eKDm;b|N|5ү&'"3<ڍ5'.N} \@2%e4XM+N75D8y;QyRd2wN{5D5bܝ77 'CCgmh@ҙ ļ#5RӄF'VLs ,KAuefPiYMau䜘@§4p?A( GH/-Wai] O砫x}dm"CԱbp&)N6NN7=aI {e0(aD['(F?/[2囻OK+ I:*iLmR[N5JVY⠯2UY&.1Y?WF I+d`)&2`4%{qhz459<'WY!ˆ%lK"=&=(Wl: k" g>ʛ~[q|P/[-7?!Bۇ*UcCti_c檽"zд;u$Ȟ2NI [Z,41xύW{ F W͌ + xcj<ۺ7_},o9ᆪ Az|L%4\Iib1~o+)`ys6FAr> &POdS3&J2n_ig}V'Y1Vð&RHE`ľS<8yx sٮ}oe5tΜ6*scךWMRf]C\"ˌ ӛ"q#J)y 9fe8?nܬMs.АLxd1>S4#uy"i͔őc:M\vseMev)>U|6XhJMtm{>n9V8(] b$0ڐaTAFKг0M:tAtm-]ըFӁw Uzby? s\W#a`ۃY̷ٰ#e!gNd&Yi˵5~T$ȪAj09 ^M,uD0,ܥ_|U J^D =*)i*m z}>S´*lX Lc nYì`_3rҹ!'@гeUЍ+\׵b6p-rY)P!ҊXNu02&"?GX" \NrFrQRE۩rB$msCgr ϩtO%gxl:EKa3PQ6zd7= ~'+ fj}0Zx3ʨ.",TZNu1ߎ =&0r URd4fe\g k[IHC 7jP6+/\?7h%[j,ZA%*} m? S/ Ck{0۷i&=M&{2GdyHHkf" x)eaz&V+||4?IRaV11xYs\˖mXf_&5)]T"t 1G GAB6Nh^1nGb47ϜULܨMe!T;S-ֺ 񕪨S\ &B0NASQ!2 ٗp ^)4utqi!md*<[ "Qj43WvO+C 'A&HEsNsS_Ւzhqq]6$d0yοXZQ4ߩh]ݤ~फMё8#)֖q$A3ul]GӲljnԈGχW*D47^m7UC}%p&wp9+_'(F|)} )76,4QԔS"c?9;X@f6{S{}nc~c|[ң9zMM/ld=IHniZVR{2$\ r:m1lǻSQb1Uw}hQN}6rn\xwY)J4L6:goZV-4.=0P?a ÇOT2+bıw ,2ڇ~R i/o[2fn3[zn?Wh;@{_>W0=D|' ''K8~>}h- Ny)s2B]S'mV8kp&vD][衛q?P5P0%/~Vȱoq&"! GNb,% Q8,fޗ+}HT4-2"S tne* "M^vSNN՘`hYfw4{( H(q1l`M=ה *#لU)Kf4؏ &Iԕ.QqB4ƧK5柠W@;lhè>St09477n}$G ʹ}dF3C<߮mpIzӅ"$߻3K:-sUy[-%b"smj{HbC5U|OYFK$BK{-A"\}B~Y8趉[9qxgIW8ěs2 mh' IN~lQo$emWf6_K^^U^}FoGw}SK{/BPMY"wER"Qm&|Hdk=x]k+37rRց }l`hg"|yZ-!iW @4kU&WīC-'԰"+` Sb,\nSR%:ӳ(3V:vC/V0#dv@dt>g،U#Pʨ crB}ϔ1:]jDt! x P͜ 46ڻlgL(yviJim0ʎ$d֫¾.6+_|tss4B$[6U3f1۵<hug*5N|,tR5`ck ;~4 hr'zkҔ0P;F\Ax@r~ZW-'oـS|$xQ98[š-i:{c$!4@8T)I0^1˄vƕ Z3VcFtݍ'Ĉ. s~>}^j |?b'oz*;1z m3{f[L\Glsl@#34+Bl!<Pj*6[ZhJ;QC:=eH|~kR`>hU{\3|w6O[=5g#P5[A':A'v5%6PYK/nYs5u~9ﶽ'?G+TS~ٻ|PJyK4u7嵇>(ők0QM0*`_=fm{И°3`e *7fD7$,~IEj?fw/MkS>1U 6Ps-*E~Zn`!{rf# AC ~X&~*}K{ΏXs5Pn6vڶ͡+c'NA K=R- SK,"ۧb0THtŁdK=bq(%烓:a[r32]k3?yEL 7%S } vL20lR\RpVb[ù9NEl^ 7 ٶWR(Ѽ]S 6: OoC)LBHFۉ_X^9nHH2-un)I]-֜`" ̜ӗ.h췜U/=RNh 'Rw7E{Nko<4K\MuŮr!]JZoN8/)8Kڣの y;jeܚ;T#i `(Jӄy]b,XWLo`DifV`gstOx5uذƪSvTGۈ7yϊDFp;ǵF td!"Nr#٪4-Wry{RO, el'-d @P("3%LCypv(E?2]z2Dvsg sŚ*cJtF'8D|R.#בWy Ypgj*-Vw1#q5og)!;?g~&ð=Y-uv["l}fA&;~4Xah?I7>$RuzA6yα|ldqL'4wT*UT%1o͔H_v"BDu/@m[gŷ}4*v `K\5`f0,]&vh"hjdh{ʇ՘"ObB8kICy0lfMJ.N?r|S7RnGSMK'@ yWϷ>$'[qz)H͝ѺW߈+ YCDw\MΙϬaQbȗXW~eIS3>]d8U ]`ͪDڕm"Pf=ԍ#=q/s [j2ڳM/#Nq &|^s,(G[5PaJ.VݛJ밾=9isYgD(a?]eц2.բ/dh,`20g {e64 /υV>K D#G܀k H1Ar3^k!lB PkIj׻r8mT"653E{qX~u8LoDC[mr_$YUJ@t2xH Cti%adpOwmq4 =rskM(^[{"`& *h;x*ΠќwFg'ui qּp&zfGL h;NI(%(T&y mﶙ@ZE|6ƾqr1M觝4_r:1I (t.UOPi0$X>s~8ML^vh Caȣ l_4?:. I۴|tY&@U5@3ug/=o~k/|-RG&=BQT1X`8g诎N}¬Xh"g.co ALD @JF+.rk6Fg1`(mu&#O .:oG-+ 9Kgv &HuLaL%g`ܾސIƛ5{SϮ36-ԏ3 '`k(7@aʴh}_eDH/^a zb$u.% q9Ny'9#JL=}3`hDSdqv qn@y9i؃I툙E sf[Yьq=iyI!PV+a刧AO˒CPݪџ h1YdU̾թ3.z%JMOsIb]a(uk1$mDP>j} [F432$L}b c[H 7u /Yī@$ AZbXu͵W=YO("yx!Q2= Oi#o K g[Dy(RgMOځ.j#b_ʈjG57\]x`o2QjdByPPjѫA+ؠ; ]"PCp^0%= jM$m7m_/Q/[A!)O]fkEGhބXB=ނ뵸Bl#Pk08}? uy: 8=k1B.g|l7H5Lf iE5·|-#6/_ LSRa8VFX`_bs؆Ewn<)'ԢU)gG=7>iwJd10ПO %)1_,E[- %!]j-/Υa1\7Z<"%g ]>xcćQdUBwZ<<'s=h1nګ-Qš2->:a[|b v"V{߼py$,!sCEpJ{>H댍Fj7|乸 ylu2ׁT{|kA斂de5%d}x$=3HT]q^s@LWfggwfOH>2}nTrkڞF-!`vy-+!zKɟ$sYI0!y@dm|e;u&K fNe!NꡖA"K)Je1 `u1{%!8&%9+97`Lʐ (> ]ә%"u8%Ǎ^z~3/2 cƠE= a"mD;Zý`HZ:f EAJo{ʾ)I_>*X~Zð+OuU/"`GmR+L 6qX1}So6:c$|BX(Hj(\*XKܕPtxˢ#]!db bMc}+!}5Qn*n3:yPB!`3[;*7/XIAl q1F5b,ur*GM$I7%nM'o{HN*Վ]Cern 䡕d*I~'T!$i&k@y^_PZڹLJ!eF9)P^]^ӸߜPS l-q#0*ƺ,fMmM\MЛ9lt-(G"u@@O1`5}?bbڃUe tPV2D(Y$ 㜠,5Kĥ$8Hs@k wvBԍ*Q/bZ8C:6 HAŝ$r<4>o]灲rGk]$wY=UUT#dӾbs8={KNf0Hp/o>s;dm㠑{>I@E%_`_Ui(/s#8T{֡G^AU"%6OD@,,8 WE\ulO0>6Zw6.NzG"l3:?s TgIݡIY=LFTң+9ֈ+=?ColLH JXޱ$U,+>ND{v.)`sH*!t%-_2J%b{ߢO"C O4AwV=Fv+N^H܄,x:#*TZO}eh55(BSKUA{xm坩A=9@GF~0g36 aCz֗!阍o$xL*?/F+g_i9VM5gZYqE]!=č̀ntMExK mGNNߝ)kŀ?Xw?ɗlo$PH0|U%wFz>݂{iX9I3 Zr;ew -8IȐ .)Z2#3[u6W@@g)Wc"\j-p]ѥfdRݸ(6$@;pWWV)MHaX)}̥s-^=M&]ʧf,xk|nb\ DfQXŏCLs@?"sލ?p_+owWE mK$m{boڭ0- 9GlIHHbl͌7H:О4,ww8!.Bkn5 YV(yH@1MO<3"[D7뗔cl87M'Ll'Nxys%⧽ckcۿF<>L rv]W7+eoɯ< ZUR+Ye{iT r=o…T^"" Jīg5%)` ᙟr>+"a\ ͹gR/zG4./kIJ?6jI l ʮoȀ.7MX]Xka݉~1hiwA.\W4u}ߑ:xAr[{OVuF eiHTAt%dր16cCzK'r=[ 9d%g;gN?Ф*muFg 9cϯLB%[)`hIyjDnc{:E^_e!6*TǬJ0,'"#o1P -qmQ% rUUaf#ܤc{Zk,&۳0nf F*Zthɪ45Oz_ڋKZҊuGA4oK[*G7L꽵cfp.#h[Nn%Qb=И4C* g\X%; NjzZm;Od@0Q25X>aDt,-ICJY0Y(>oM.yzaH!;FT⻣lI![&mw.nP 063>!3[VC݇OlšV?#-)G7KxڄpC0 l_ ӣ+VcP>g-SJQ)M8r>k," 'JLÞtrWqH֣sR;& $IO=pɝ ":%3Z4AǜG&t-psM ĢƍdX HFPrbJ;~#j+6|G%mM1J= 8h *lQOtގeL@2Ӱ ryt末UCwãVCJ(QettZxnUK~ټ@?B2(']sAg*`A viZc <5uZɓ#$9 &R1J^{>gƒkidKW&~";%&*ey- տUshX ƕWn;>Hh m@/ܜ7O9Kz̔ Y#z4Ak5Q,/XSY/j3E)O[%nKg#tncy:dTUA^1O b1xDP|kϾgUEYN4 p~6̂ѥ V&3]DIwa<^ erAo<`9a!7+J;"2/՟Rvбj,7]9溃qt#4X 45U\5@rTZ)YF a814ri D昪3"8vEZVN"}.Bk []˵cGqf: \dײ"XǔߔkJO. hhx c Q$p1X0n6jj,f6횕vN߻|e|L$iy̬^|_!|/( Ib*elI8@`-PPuePZ> pr y6a[oQL+!UzFr-9Ϳ@Pk&H~ eLJe3(q,kO|Y?emcrdU#guG'3wJD8CeKJGFDgrw(Jb x)b F c'DE֦UL&P؋o->UZ٤e.Z~ =^&$-#€2#ms؍2Ih ăAp CÏj-ZԪ|C'9SzdDp;K`]&dmh(\6XX7Ta:0|w+qf= A9;?t}l3zO.\?LfيLJƥmضq d =SJCa #nل)a8,p?}ԍ:32v^(,.b@#U,Mgzh*T Zxxqbf];Ѿu,HiZ\M ?y e9bs(LHD#墒TFoxٌl /a9_&Rܡ:JjW->S6N-z x\R3\d`PI:"^ԏ@wfg@m.TҚ ?]?cWIMȰL0dqo[CN?IF2M^&e}HBCȻ1`:gZQV]rZ)\_{oh2^[p =G3w"0MR,_Q#&8sXװ zFzYȭ6R?ѿ+2<1a?Sk.stvm Ұv3)B:*FI{RIC_E 3%nlŊ$n2ű{*8B7ZGVQxqF✥ F~9AP4t׌(=_7JuQ`@nk`s=Xaԓ8(UdX~ϻEHiZF@_t|/fQ#p?ex\.FT#s: qa2jbl<)|sպÚBaz KNGHlf\H&B_ ?]8焵x–)Ny/V= HV(T]t́xKƌz=贏av=)C%dN?i6j;%L`esWTxK׶oб(gJBd{L"yG!aͲ! YHX1FTO N0c[/79ɗ)|tP og !VK+n EZѶLɈ A?E-XJ)`o7:wު!́&lSac qLHQJU?ąB#;Wq??ex]o0\*A߫18"5cmV!%(N2mAY5Xp _ Jp*{sHg.?*UvÅNJf&/*0~ʜ_t;/XS|/E-nj_^sUg ҷl!BMrmy6SOIw ¾=6 RN}^KF/SOk4Y gGeDTZo.Mxf$|]ܧQbiW\Dyz~ eR(g±G͗` PE_%;s UQ!R[1o_5?' ԶĻ`#TAj`3KޡD+7+obdU`gbE? pKJg3+e4YJgco_rdZKC`G-yh\,.p'̲fG4&  zZjS!djILZM1 z@=YOdPyq*x0y/xtftm: G[C!cpX%Z'`[F{Zuh6Q5zm`\gNo";۞m-T#0}:hS6H汰'OOzk\Tf;4MG32K(j\)!v2F6넌Dya58>@!1PkZ/9ƂvL# 7=\#ѣə~"`C㛃 6sI>^ȣ41!39,bU %RK.adsˏ7:%J?ٛy^hk8!7TxC"'*"Hk]O`eY>D@t0LwfbvپnĖrA-n@lrojQWl+h$y( @} d9`v\SA\f!d78Gњp>5붗z/ 3ٞ,7:]+d[h˜sc:D. 1Ѣkxtk7Z_Rq NV ,0s4֫`ߨƤ)^MTc.Hko'#X-{%MDZR}5km~.D=qcxM}v/~iIS `,E`o-dݔf! 2q76^:BR鸚屝ɔG;KY|.s"@U~ҿY>PWKګ0p{ R2RPr[&hw 1FPtpV\(SJ]TϪ,iyo>+7궻15gy FÇS)LBοE5Μ)'TC@ n%zqZbTx&+{ȏU v/Af9B=jʗ_l?2is*`Gn|cx`Ȣk{\.VVTE땨.X35ctMpl]ƟhT:w dP Yۜo?onvM#CLR6,CjM_wֻ m 7;^P+u;o_E35UI;?iszF#8eܨQ'^'E1meHP]&~4OI%Q;)"\dOf !(jhR˲o 1SDhKsM'c~T}鎲]ih!JiW|drSNTġ ,K9ʘ)cՌpAlC aO+Ti!"vEJZ򭯒/ɪ'GўY>K_̴0*c涁Z "ox"ÆT^͡iy[ؖ0&Vo rF` ⨾21,KMʕ.75h)dE`5@+SDjς/_VmW8ղtz9 {|uz'1`?61TKW\IK>WK-Be`Pňܦ7GchOwrJ]Q3a[?H/6jJ;eRfs~4~ڣ [vCؤ&h.hǂ4 㿡Ud՛Iʽ7 YƽpNdA6MAĹiT&2HM 9VyٳQ S%&6 Pv)+sCq ٵX#; +[fp_J8٧# 75Mt}8s0[lMK6>=`c_i$:E˹ 6)ӤbWnD?ra8ϥ,IUWwLs^q69k*j"$pp5T\=JWƎ^s<χSjip?vǝ$C ~p?βMQ#\(`nT]GNcs~dl*#@/P,㓸P~RDLkh;U&GQ5Ҍku,&EX\]_}|i0zF '2Ħf;M̅twL'}r.\'PO}9vYƗ>dEOQyw5}%+ҟ 穻[V{j,+t^./[Yڈj2֞ =!aS5DG>]V̩T${ݖW}hk qHRkE^-Ma@&J.rE2 Z9FCu&у4g%ݧ/((#1Jzt(UX\AHx+43*-:[=#)VHϤKNN&ä]EyC~bЦ{ x{AK2`dO@ 2~ҠZ/8󓤀7xdL?ENkJJA 9͡ɯL303fqTtʭ9(xS#wz F`"BjX&9:2\*~OV{r`{ y}J%Jnr4c'h+Ô'c_=BJ à~ 2B#Xp(Yq۽绠_,<#3Ԝ%>KmXV}2 aGh䕙z0C;J?N)90 /?]RrM^yڸؗraԝSA'7@S%ij=(aR˅Pad~p)n do:+s_4m>{mI 9&1O!܌1/4P@US4BSիq2e4lThԘV0 2} O6Q_2>W>#c5I_C$QB~!2_$ix}EC"@ߖ05[dDtLl *zu̸Ka1'@:cửLJ zZ~DhFsK>|&Z׭cu70RpۏDuA]h" CqGeN)B#^'⎏"MXb ~pdaX$0͜n}DpÎXku)qP)䲥r& PӤguM]F y dy Ϗa}(\RewJ׎J꼢Ce6zHCC+Fu[m];J޵S @x[s$Dݠ' "gr &ͫ}5z=V{ "9Lғu-CFt֕7,35 7ekc} 1[P~P5S>7?wSOy9PʂG z, Ox&cW7dThݣg˄d%Y`wuK.!ɷR"75% 4յ髆yhq-Am-r(Yd,mQCStcPq*B'ͦhɒy"$ ?^>^,@妋R"bg۸1eG\ i6 xKs3Ց3H|pEM֏;·7zdEILk0VjևOpP_ΓAXqF^$u8 m  G> [:Ϩ1!wӺNv@1vo2Z/4HsΩ"ΧYovr= p8x¥(@(HtQS{?a.fM>3^gc2)vZVjV."Gg_SBBܲKyr_?.t`H!KNBX l93]YJp8yA%uzMȪ"I5|nJ$lm( 1C57X>y4iw"ƶPU|  EU72ކTewpXtZ2_w9.Ф|OnkSn輈U%dž=c΂d=G4P_ S.pOq S]w\xO! aU^\9b2;x8C ?JR%b)Hjnձ((SH`U"}> 6f -F/JӚۣ=)]cz/ays՟7LLxi_1=w2`|wy'Y) Ҫ^,C_zm\Etz3'츓 YvҡpACl49`'UgSz^V}quD:tm #ycg%h5!Jξ:@HʀǛ#({MJU1_'L1»;Q9W}k_K'E8WI+Vt+C2gJZ^DhWΥ\P6ʱ=4`LM| rUIW K a!(iH30_|W^f4͈ҋsasPv@ɏŏX+ `HYxXg.bb: [sc^fm^k Q. $^K@e@´3v]c2o0@"`DEce[gJE8xKx]sEп7tt;ø^dBS-'h&3_$OƓN=n\].v=/T 2Qȡ60 QWL_Dgon/h'(V?(t0Ǫ緣K2HsF[wq7+WF`هԶO-:󅤠uLnBؘit^F撋䧮T#ӔF4xK`*^KvmH3M?>SzҊe |Tpt^#mR)־'X+t[RBy+(X)M(1`tl "mJ%7c}]YU&h xv.kyl2 s9#d1?gДU7]HqHH_u!O瑒'j}B u~Ɋ9|7_v(кm„Z<7,[t@p,S)9xhp 1L|{@(r=*ޏu#.ēaxIb^FHl1%Manj)`u_`nEYz-ع;ϻE l1<E)"A'|͜V;a^E(oHri\5ұj #Eθl?F17$c"K3GnLLh7L@!}8Pl%6%qrn$j5]Mpu~L/ȓUZ;lxVڋ/`h~EθQ *7b@r`!> ydr>U9I{ R`gO6B-[]jc` Oڴ&s=)&$Tڋgh:55>:i{*ҰNjz6ix,ld og1u5 0'iq22؂ KR)fIM_n:R Q]=yBR28f/`fUR7FXNvVB-`;`rli LyͿ7=U%2˄CzD Er_ \}Ec' vm(FO۞4Lqp',$zlbȶ{xǝ/. %0J`ft#=hpݟSo*:;[ {nlxhyY/-x$]sŤb Z2qހ<_D ~ pp $y?u8TcJ~o'ਉrr&}*{a2&%j)"@ ݃#+Nʝ0y/LK]3(v\agLizva|T wd nm0;Fx t%3GS"qieefs+`,j=FL.dD0|sA(bϲp2K>F)\Jk.OpJEn v8/73fT=Qo+2)ŴXr '|wz+ƷE.vR?9t;2jc.й8i!p'n :>p=w-q'O29%-X1BRa4 O~j^gywyՊ6cȈUznald+}Qޮw:C?(4)LSGcf+ T%~k5T9ޣNZC+=5"ONٕ ~VHЄ! {(A9@g8ՆOWM!aL35M '#{PݓJ6`*OK57CG/1ؑt0bи'MgxY4**<6Sj-o35ID|w\HYڨl EhR?~ >ȞC~sr>F#- +v 925 gλMghϷs;ʇbZHL+Bm[EFsg%KqۘqɅe\6 +qs#Ci^Rߥ,km+P!g)(AQB\^# )0/M$_Θ%WsC'>?W͵bNl\W#B53 sqnJZ1j0a0[cYRƥ.Ƙ'L*(Dmc'qia}Aa21d 36[*4f؃tjmh [+| h9C)dHl6=41 ԯ}} ϒ q 0\԰wouoPifLEW]@Џpx. *0O O3_&jg˩c;8-`mn HL Ii[E3jM~/>e0ӸNfuܞ*M4D'^p)z CӓK) f|?] P/|"7 {X2i=b\' l:k]o/(u~,(I1i ~uFr,W+$ T/I%DTSԋOayC9Cė)k˿{NV-Q*Y.fl.EDH>鄖g_)ZPxq4&у!`<Bѵjl2:qCWX?\* Z{as#gױ>I4x,<Oa 7x@%c\: $ {ڮFխ 5"k8D}@ڈWNr.qZp]]r2۞QG%>#JC%cz X0_E5Au}Q<<0?|ᰄ v Λ(Xi96 yۯ7T"?otGͤJQJE-X\ee-ŹI9Ys\ɩyqfk`540UjPk! d]ʆ:)_3:h*mQ焺@$罾:~>c<5_;CT 9V  '`gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e4e06934653818985a7ce91b98ef63f6fe3b6a97 e568d88b6d74be27f17e0458076fda5c5a80e25a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386dfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c2756cf22951d9106b35420792de1bd77edb7e8a4