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 c7tD ]MSO_Regex_Equivalence:threads=2elapsed=768.032cpu=992.612gc=37.868factor=1.297zXZִF! H t]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`;%66uK0Ag >}ZZua-rO?L7 'a{U- g7{OQ8.J [/)>Ie KB{;ݗA4w|$kepޤw.ԆJXx"O gFP-rδ.bMq p27YrfJH d=i|U!7o? r_ c?_}Yjp 7 MSO_Regex_Equivalencee \W6ҽ ELU9jca΄뀥1%RԹ}ig'V+V|F,6M|HYDZR|ıw?TGRObq#*,lGEBfBrojC6ȷnPJ0tq3rxdMqr[OFƉLtjjv%Z%>}p2XF#M(yŶ,ccsrgu ]`+]42/X8B:) 0Q ~!l-NtKEwuj5 (hZ4z@D˭d h76X<,"d _?.PY*%㈒4`ȵQg9g>[rs ېL+@F=. X~qA6gz0^۬d˵n\J7K4&(Ԇ#qKrV! Q'N/p{SCN\k;3n(Sʣ)I>ֿ Vb༗LvS03KU%+.+HyԝR7f( O2EjE?j]Dm)UU./iFgJ7t\"ujԘw W dӷxYb6 [6o GkӰh'y3"k!~!B(Qpk})%sݬO%w#\玣L Xu0& ׼XsX]uSTPQ6>:>`$cEΓ%lB&qJjZ2a+ lȷTu/B2sS=g:d[F|b:nبV7}zLDd\yBC[GdLKA{:a蘆:CRr--NjY[-`?GQE wbyPej pB'veoOSTE W%EFJ-m$JLy>L'\u{|{FLK%/AeRY?naSr!5Ajh Ȯ1A;GׇX n@k'uyL//ꃂlm#>ܫ縸$+d-i>q:C-[5ڶGYC#_>+ G%Df^Cc=QfQqn/pB?РHWxMPjTԅ@I>|iyFwISnf &P<`Z>[F |8Z7Ic+F' j{p9"^ڐu7ކﻓSPT=deR|E>MCDY gSkqxeS=dgBvk>O;/EC ̳aDt%%;1 jn>ըLwRE~Ô(bOt-p/YW?sPuв>&]{ÐA6]M6~3C*CO r \*j FV2䤶,{2)ǨƸ|w<}Tqŧ'ÿ]`1Ko>^I'2p[2elu\Qpǯf;̙ěz!_r*66 dv_Z,Og3^P윤VD~Ϙ#ٻk_Ę{ 4;ؗy$8b\Bv+cAeU2<K-Q2/fwLYB_DKϔG=Bcrb3uMXqlPo@0A&V;Zxҹjux ;8fPb04^/%FHq$#bN BzedR5lrne8a䭯AD͘C$Axt#= $=~ I`Q5Z|v?34MNk;K iT|"<jwEyJh|o&Y8ުO6&c~N3e_&)_(MINdLwr);ubi2m Z [G5x $=HȚpM"y}%_$We5+vS5PU& 3 l|VFLo},^}ۃ&_OluܰJưܽC&x716ޓ  xܼJ f~CƮg2=/(%v"(’/ď%d[Sy0suOXlG;׳n]ǠiUvl/2;j?)3b2d}9(-S{'AM 5GAf|Iմ8UH/:w#S˲>Eo'O-yIxRJ'|a Xgr{7[9cJ)(?M$7J[^>2 KÊHd?a.6u5!HvmVj?$?OŕPgWA_-< ezpwժJ4ږTaҴ㋳!b ua20K/`3V 096ǡNt &{]q./3Oz'WN71bLjxxI7伍/{h /hAlLvi;;y}+iFvXezj`/m4Eۦ4Gy!^‘*ZqWAa=I`[m *TI܌TѯJ+F׮eP `!`$?b0> hS^77QP'ޕL6"-bd;EL1) Ovkq&tfjmŅn9I UK,x`HkTU~SW DmS m%@zHEm=)0qđ|Xc:seThT,TU0H)- ?`:NLnPwJ> } s5Gruզ7eQ\S_җz8dqElA_ێ~SP+NNz GV. -1} Y/qQ}EXK%/df(!kWifdVWBv9۠ y>q{ 7j$lB7]e"; Obv;Qrq}Z%35JhA3@'fH \׺YNkOMZ"Q@}L6v'hesY4q6pF(;*Gjx|@r_lHaL~V ƠjLNz낈{~G_^3KӐR:PtXz-ݮ[T9x6Lܛ&;I{*+N#=FHË:f},\:v@jL)wHɔ8FѷMȭQxYm΀@EQNa=VEIUuzo{e,W*@l'JV&]8. 8; [=2Ѫ\W{-1PeK9a(ЋKڬ _WMꞎ %AOݸ a"mfnҹ ..pD Q+a<^@#^s='Yiy-T(sd]H)7,:j?__l`58jqJ[! ٭(3k0<:603?6o8Xrjåx4(csU937d9, Pr%bUaВ!R&F mLmamY?SxQ< w{ߴKPpY3Z?MbL@* t/ S:mԀNy࡞"V^R| ]>\ݬvwNqOl<Sy=ءRӥ].-CB`n{{W6 ASTIXmrXzPNy:ňs$)M\e+Ǵ.7q7x#5.^z#gbw'q4$*牿Ğ"M|(y3Fi0eʸZ 6㍦d fW!xMEJ*QT7%A ` k9gf_2KѐFDņɰ˩tW ,F QX^auf]xgџHŎmw2voẐ%.~+۶,Zeۡk1&DtR?̻}6T8 dAr,n:ӼQF.ŲNM j\f^f z)T{fCYUjc:C?yf^5 mWW "9l7`ѺIu~Hcvk]Ǯ rhɚRяXlQ~q;`20/oSo8Cgn)B\ݱa) IɓcPtUEz?cBJW~jec=3IKM\V'&^ 7QQL쩮IW8;g0?]/ŹO&< i?bv͞UdMAPUC->&AQ л2{䴹IuuuIwE/F &CDIڐ0neHEشDD'Z)ﻕf=n.*d:l@󨳗:.cܦ E$aSKI Uw* Dx.6)$~?a{za R|oI90,}oyWy@SwA9$iWQJ4Z]M8Ə"M 0]R[$' a(\.KV5`cXA N MEq_֡{_"0FHr2Jx]qgQYU. Cu/͠ll 6r4,F,bx gWj VP8 i"ߕ7|gH&{: \m枺u yPǯIi2 GRN:J,,!SW?PY˸[!J{M9BR6d%x]8 {*!`bYz($GƉ\B O@Νt ~Y]:0$%n`5gx#TT).5Ӛ,z7M:yT}ot`)S; %t4̼9sJ K<(5O wV?) "ZFQZy04sve/F\]k[OO)y I#єjlkWDt;!N&/!.;m"C MbB!h1|.f׻Z/ PX0I{ixĈ]SEIrd`&-:_8yb6ɏ#\ erPQ\ _wji槷.X0ڒt7;l\XdO7^}Wy $zՂ'A+jܑə99D+Wɚ M97RtY[LVDߟÍW9 tb(rgqo)ZljRXn}Mbɱ_FQUI!u2&ŕ}9BC$0l9)A088t%P΄82';~8,310$`p'bA`q72D7]s j~z)!T>P#R1SA1@ _G,51pjY,Ԓ'}ŶJ'9^=v>wY*vJOS/[/þ ;ϑ2VȸNGFN;|3>ӴwQanwB[l"߷il^4?uS- #sy%Im7#˺!"K$@Z-+`Y<[}94Yoa{4 ZM邳4U:uﵯכdjtG*,C Q@ դHAːI;ԔZuR/vDCޡ st1`Ļ;C5 98!zlzpRRC2*Qؚތ~`PQ+T"w$J;}CK07LIŊ V4r@ 0YI))ռ!0$#yI2/C%'QTן1}M{EW\JŽBC@ӏ<(d](J{Iv, $備z|CQs~FS !*nm ض*JNlȖ—`OϺy:ǂ#y¼c e\)gz@BLmY0hH!ׄT\NhƎrA=(cY|#_8w{*lPV8\M 4WmX E"- j-^-pkacUxw(`mH!h,>wAS~;pr UJbg[B2tF ̣z* lʶ'jxL`y )kRN3iau{nK!k\Σ9 fX[uu䑉)7Ow+pRH*0S=HđjP ,y*# !4+u}d:U7PG;?7 ]@HϜ"]KѨ eP;VO^/謦DJUh"Yɕc M9=1 1fB;"%z!QMd)`u|aY?!/@-C:wm/[iQczKqȟ݅fނ+BRHuۅ  6!\DQR|Б"WibC^EP__}*4"%9f6Oj3_VJsIӬgX^J1nW:eP)8Zե+rŸ(}OOh! oZQZAUM?[?89m|ao?Y4(z {z͗#z9[7 X KNėgD!-U05p =# 1!㿔BQt':}M%kԯ>+Rvp1c-o;̦dJG i6%9{- i׌+H 8$x8p:Su 83Do8A@2`Û, NYF5OxT@P%yE Z;F3(u6"h%e؜Ћk/j,"}4$/ܯ6)YL:lWGDP=)sq~>PY\e(~ԵߐumVƍLz tNeHMZigK U+A+fҐ]zaq]yA(Q=J{u7O-Lo~C/#TJF"E~fa᡼rK{:ŤX w37ƕ2xDҔV_}B6"]E65Y%ȒoUR 0]aP{?b @08*K0XxLk߶ _SXp5qYD/)BCv$3"XJiRK ePƜ܅J.Bi>.TUq?oH`-27日//~߿ D6^J.a ?[5nI= QA$fjPb03?FgD\\ƽ$:cGMYnҼQBoiNBQ~@!ߍ S<`d(T\5s6g XX#rOߪTUrjD$gLDZԮd켐c*,O4RSo45m e Y4sW|ПV3 2+[^L"g)KB|ɰdnă'$қciGZ-foTMs52E,S( Sz#H!2c uWFhܶEa]j󗉕N0FeRÂR^T 0s,)k$~H'xbTuyMYs RhԴ[Ɂ n^jTڤLR\=V: /#:!y_Y%м]' ARq$t'KXle G7ցPS A\#7Ggvֱ,AӠl=؟uaEftB2BB\zd{QdV!""spu|{`a19 a~{bJ"!딣dFOBK;tJpK$E2xV,.mQRvX0|?9 -8FS _dw 2kaZY&iVBOuȚR[ LֱQސ[E4ٲ,E;@RyPYs{!5;ge&-O[V}Lf~t>kേ%M![ӂƐS>GW<|Ts;1FۓQZ%Bڪ`nҾa^3vx3$' yk!!:j`yZd=>DR>PvAV*!&9 z-d)PCEr/7&yYm-cd[ q(EANO'nl" s*[<م#0i!?\#܀àv<Na3Lh _pMqkU;?CNޯmn)hjv롈U=z7"PcޗN(q=%q2wj+4'! 8ؗJ><]Y[&>XbUP%:P/0 zIf]2tx=>C̚N.pTQy%qc:}1c63(Jԥ6 c&^ve.[P 3f4Z[:ۻhĿNAM3' d1F[EJdԁ^;zQb1 k6 y֚Lf$x2[m QеZp2$B@BU7c4LaG%r1!0HD1 2,a S|{|$UAoh:S9oL;̸iGGPTҭ{ZܲYGyMfSBysoO(,$Q,z #dkc/∫%bBI8_h fl*zs0%tLF@< ~ …a2uqCB.{(QąvтL\&۟V# #ֹs!1ztUpo`pʔ 48fLw=E28qZ,C<7쯃[iWY =؃9m! ͮbs mG~"~h]w=yk}؛c@==j9'O:6.(>ٝc~P if2d p735!"M‡88rgw,^ޭ27zQY^FREN.?& h9jKN2L"{6N[y ,n@cD%q/9?N@WTfG0yݏR3+Tn/lo5ʔ}xM- #MOk?)цyM? ɗ1K',44'ID&"G2.9$L!{^~Fڷv`z ե}$vCs qY8er"x*gf,7Ær7,6aZwAj^T 9k¹.Hnj{!G!4qyϗFÊyRc1 i2n͕V%z 5׿цwN$WӼmg;8tC6iioFgz[]R#BE]UBC1.Xw*;!gu12t-evޖd/7nC|2J`S:MAR{h;LU=r ~6,0<I \ d?ǀoK3l`oĵ{oho՗Q0GIѻxLN]C8RUz ahLX}FNq4]pEb<]ك{O\kޮê8\˩S<53cv⪼V/oHۉt$b"{+b&&|i}J`BJCo @1_a@&'tȫD{ď]saWJWV!T)?0i: Ub͝g{B,9)-rQV߳[Ghm4\, 8P>Y!,c꘰/r/EoZKP=KTvh&z)%MC̎ !f OyUC\}K _$P d1 ] HJb!Ca }TLdv[KU15}n~[@H:&':u CZQPfPR)X>:}pSIE(&O{_QWEȭhhSl dj|+>f(U߫GU2i,.7"ɌB+*2Je #^˜^| 3T!|c圳cq-0!O^`8yA[ PA.h2T?ϻRlG"ҽc+}3NS9¬<"x%(hvf&KrPj{ RSm=sYvHZ|6nLϋ2ѻf&v&ftw%l~`y#;]zL֕qF+Qͯ)&%X^vacɲ"R@r(閂4kSЈ&ݿ% aU)щ'bx/p d o#3[m9:su?pHzEcSc7ibIv~bٟ rM=kvQ1S*ld #46Cۑ7Qa;t9dQ I""6Ffpblq:z G Kxǡ˄V}-Ȝħp̣ a+i:ShݯX'N3 )-ԃ4Q q@hVL5_Ôs^w>] v#sM`um!xZ=¨"VaXifbO6L%AdxEWQ6.vj[Ks~kgͶCT..YdP 4^eS<4 D%x?ltG\$XZ obϱo: DvcF*($OrX9qG#)&pt*PT^) 0TII n] !y ?~xvipb'A_f47B.fHl0')dIO-4M:DƘ;.\&}sb=\:ukIĴO 9IN jy" ' ©:crcV'Ҫ4N$$0 -+AU=Xv:u:(FVI2 XT~oQEKjt/Rf,q  O soQQ.(9 D yȝv{ ^:#vQE*Aj7m{FW{z/2oM(~J( ldn1@7xe]Pxu{hK r-e1\ݾ|]նbg*<$(ІN _z$#VW4AJׁ63Ղ`tgcJU#@j-cMG]x.+gs*E|:Fd- Ցdl8q0A>)/nCZМzkK!s^` z.l+i]3xh ks7P9D)^$[D4$(8cwT/B^e>~GcB]ݗS[}<3dy[r>).a2 5)0߆ >a啃Y3JGm>DJd!*Qj/=Y7W7@`AjWS\־㝙h>%Ԁ]ݑ65(vc L1OT`EօaAǝ0΀FyHfBA2=rPO5Lv5W )L,m.3Q7}>~nMȾ;#_t싂9u\J u}DCAHT^1AKB>T_b2F'dga&f/ee3mÚ0h&\Gi9 5V^PV60q °\X겺la_ONf?y(uij$)TRr?.6HQΎ3Xs,5 uU 7 c*Zp&6WtR ;e|!d5\LFP`rc;g-sBYbhJX>ݟUY6E^haVxA,nןH-$;V 9TI&2*p&x1spc4=<}!l>3فq\:xjppQ¼BQ1>9?U#Ieլ,tp*.I/j5ACd:0CHG'.|wzS=ȲIf;KHIpEƤWFh j74m6+Wn,MjlNBf72}qV+ U4)D [^ $W ùe8i4kUOy+Ll9Hǰ_nژ95ݞA@\"27!H3l2 h^K!l@?K" /˟Mf+PO]|%I~,9nH ?E]U ơrE ΩD^AtCJ;F&i [}_ O?VS]JzĆgZנ e=F g-ݿMuA9'BqЁ|ݱ̱h1nV܇Gwp .2%=Gmhˆl 0@KYB*i3pkeS&Ԯ[I3pwj3 )]҈Zg'M5.Ҽ'dr(%*PH0P;aa#MHU64w2|q@NOB܎*q&$QJ=q'btPuJL,1(&Yq`,>ZD`Ͳ$S|+AY}pԳbYxF/_#N$#C6jF}{0;Wݸ7̐Z;`h^?'~4su\-tvNhwhላb^T'`.u_Av#xq +>1ɱ:0aS±'}߭o'2'f!nsh<,,0\h7\N%lRKKa.Ns˨0 9bg&ΣifBV7Su5}wR絺e e[wZqM )n5~ƫr +P<6ZsB MTz{bmxž{oΊִ8BH d_50dX̾< ~E"1ז_0 x-<8V'l5\N}uh~6APD8(؊A!}O`U}^]ux7{+,{ٷ}{:l kډ@F7W-־+-v>0 6xmG_1үt]ikcrVB?*u^Zdf!^}T0k w8FqZϠEF _*k=mh;2U;6e'xu mc`fKqƛe8݈o' #%p qZRr#3F,%@BEHuyIi81\l 'GVS0bS|>{ N՛O\67!hMw>z˜b{A* I1]ӡۓ'Wg(PpE2v1 Hi;{ebn\`&IJ\GQNwL悄@?1 '2Rn4փ8͇ tyޡ?NKxxMS W nNaC9$L6cz (!ĘA@8DZBţ.|KGV$b J n7Xٴ"S3d0@#eZ\3:I0tfr P0)DL԰qTo+V^աd[o#P/=5[ݧ%xNpQ.]Kz=kvnZ&rIJAVTdl@y'4ZrUAUlڄ myXN>F0]N-J|6lV`fO'/ef3`IN{%$z]ْHHNp fu2d>Dl?[c)/h~E"ARYDAs6;U'9o1.^.+ᎍ$!Fؙgg`fL?'+N˧ Qd5C2gF#q-!mJgW Ùt\gG!k w:n58"fX5f=ͼP [Z+pBvG30Wh7V0(]$02S,cnh)s`{ ],)>@q. q: DR)Gvm_w(` [Fu. oQxm>pEln,jYY' 3/&1#Ђ6+#j@,Jᕥ0MMHk~_a-r$80~ oL:SN.DQ: y`A0u?|0r{qxb{Im.45W8^I!#ôմaU:@MO{O6X[ZBJtf\pqRМ gb^g+kVCZ&^ 2OR @!vi)6P/2;.:Zڧ7'Pb+Иp2LǺeLump޳K3sNv"vUZp& f<-;ܚ߶L65 uK/n bȷL:Ao{y(h41Wd!er`J^ &вL-Ѹ@dV=Ȅ)L& 1oN]"AٜUU,Un^x6~g!;REweq0׀%Fc o欮n,LX hfQkPĎȍܧ0`uOE"&Cc` ~O7.VSW4M-)4hwuVe髦oے_R 6>+)6xɭg+td%jEk1enur^ABF4aNU =4BґyT 1iLX%42+v+:L1kx`0e,ʁRێeܾX5U,$ι4.CնG62:s|uLM9m{ CPJjRh\{p) 2nTj("ZlQ@$" >$xd!*zhS`(:Xis Rmi7f6\w;qiUyTGC^Y$&V%lD-& ~T}9\A lxB[%Pg"4[7,Vnq٭˾D',-K@ʯ63= W rQnB5wUwTNmCqj|gf~z8p+wm֊~_h=reĐKp$3Y1)F3i#c7uWqM/.V y6N>YZ*&taF_\TOP!m>rK}zƢ eCHRb>n?:nD|mMP>#@+/sNC#ht Ǟ'S^}.oV/SHR>Aw ]^?l4zWɃ]ȱ[1`]*[ q_̀I(Fv.vQ{4[S Wcq&OD=*{fFk3PNOkk FtB g)+Is&r:vڣ0lT5q{e; ,et lyâh0qa=\dmy-jMph"&8|;Jlac RèUHnRRF"Ipp9S]+rKIgÊQ[:w^J / #(Suh J<5Y P<(! $S}G}p"8<qbqV: }—pѴYLCo6-i_X=?roC@{sn.Oߨ\&D(Ye3V ih@3:-Zz)&h97 I %'w6%E$uj "U3Q8H44k}KoN$(9OPntǦh_<.) ]+2įp c3Xy6*"~C[-huö ۆ_ S IlZj IZV7?MK%HLkЗ3#"7lͻIBuJeLD#ˆ馹ӌEgx\ +h u8C`Nn~8[UdC͆t8XТ^FĎBnE1UyʪtX2%μ;XywZR^2rkҪN?wH [0V1X.#wtxcO-"}CgN)kߊ[]iؾ[ Bh] R"Lmhcx8<.erdmi{T:sh -'4+RztcMNooI_n9(WmtK)oa|*w?BQ3m _W &#Y$-!L|ppdn7 3YyT/c{plDu:j7LVtAshp-DR$QA{jh]k=4hc=h:9bcC=# d}DjpsQ?&̾&BY {඿"SR1BIDs#P_hdxʥZY9N񢟢z{͓7Ȉ# ?bR>5?P$xjcZS`GOԖ_Ր3e?g<ωa([#giO}l8X~m\y3a&}ZV-"IxO$ bCf교Ê+yT l@ l1WD8E= Y6 Ǜ)_= c,wSE:)ˏ 3͜!zENK 8ji򤭃 -sAvh~ dҁ snC}$ӒWl|~RԚ5&hqաT⧎gAN :;aJk ,WFpcdلO] I-G)< rQJ힄-W.-pn3sEߏ!ɜ1euY`#H39~urNάʍ#=Aƶ8g0wFmSNȺ%CjBLҷ_ -*FtT͒B%d~5\nyӚu엇"XTǣ d;Or"'?׿ EBT}e-e|77sЀ6茿E r"Rn7sMnQ-ȝƭ'3-5(ŭS %*ѮTxl[jZv!#du%ɛ$ dtx?p HWӧXn!#zH hOTBda|.~?˨}*QYmi<.~)~wY G_e޴V-Sͻe*yC`y(̿joƘ8_V40[|u>$9 _8D pULbױĪ造oa{Cdqwؽ ɜ+d5Qмz(4޾+WMT ײ8K}FR0)?oqn>d@Up0S3*lB\ߐ#u,I:.oMYe/2áקU\! 2_CXZˮ~`~ g7'Xڃf\ҭ}/4 jA> ka|?)}iL?cѧF,|z}w9TX% Ѕ'bTeO ]LP^ ;I`)~A)7?AekgUUw$Fm0Mgs-6JXv8EޯX4F ܑG>x $s) ^K/؆4c˘>QU@3B[G~SYN>/|,:b繬tnG\ b T:pltx. 0D<̎ E8tĀR m# U=4Y=`-{!sůa! @ԠIgX *)7dmk@1SROl𹯦}AIc|cj\uqSeMH~~vҏginhL8wjLCRA#]Ş,eZ&Q2N_֨A$iƻnq*s2 uҴjƒPˁGPwe;Ɣ 3\ )WaG7LkKT,9t.BhprHEˆ0kTd($4 ؀O:T&,$d>6KDk7]RȷCԳrsxCot*YHz"&G5/1+ĩkG?A<\qL zEoӎS[av ѥʣwl?m8*:ƃ]W0 a_\Qm/)|&wZGbb|g/rF5i7vХK>)UODXLntN"^ț'~=s߳?=YP?T8j: XI8Ɲ Q!P %_.J@V2Av*$U0ԇGhL0|#SOkd{`Shޥ3*' &JA>k`:bC MqhoD=G?u󹠛Xkez,"̬ O57J? pہDZ4eN}׀g[=-éDbAb IQFku1cRɽ89] cWůȵ*p/)Y#As( >=M{^KΈX$sxf8TC5.̠l_z6쑔25ݥ&2*nt2"Lĉ5Q7+|$B迣z4e'<7=-7Dy׶ kOl7۲!{:`[byXUߞu\l&穡R_ db{`5w{>r @ԗLnj\0U@{I/D)P&f@"햮 B|QoDU\3xv_NȾO))>,C!Rla0;ϒ࿧0v ˇ tv){;7sHSX%V;6_ʲpIbqˡ#<6=HI% a+4@ŀbyIqU8}CeL. 72R6]cãgN[ɇq*g%6铨=*G ^-n6V|Q \Hc92[s s0VBf֪C(k.]9Cn n#0ז/qу;:d{\ᩚ`=n ua#@v _iV\oe.΂JbV+,pFmZ9jf7<?HeߎO p_}\IehŰLdjqfjx` M$8.=5ۊu(h =#tX#la;Q2 J2RqBH_ȿ%ibT^^:AASٰRd9HmIDov5+Q`%'*6jBƣx";TV&ͥ1}$\W!bv+:~/Јk t\_SnB=(HS jly|DAHdpr}"vl1V3|@=E7 bLIԡ$ '$l\̊%j,Z'6BÐZKP33E .ŭ1"E)4 b'6jaU\)/k'@yoڄ ^0*i}L?L+d_d{-q?0I Ƨ yBj dCx0|`B7Gٍ#k !5Nպ#˫ udڤ &FfbH12LZ~'G&t# rIw~x$bk ; hBJ@8j ;WYr^L$8$OzlR\ ?%<sΤ@jNИ9AG}g:`2MZ9]Pd^i,ұmtɺT&`r+4;b k|vsYhΣQ^TC7K?K2B+;yu& T?8Ju] o;mC 8{-!cG7 fkYṾ>X<'yDs}]Hsaeb&ts~O]GN'H]}A8*6<}r:6jWt`Բp3K7is&*D} tz~PF d1cd~)qhSpFsCpɖ9IW$8Sw|Go;gp^őMriqzQ!4ƶ;.h"(hk>KWn~}_ŹvfsiIG8Twm:n;HM.l㾻b݉|17YJ¯m}< 8IyOmKvܲܿ`N+HL ak0gY]"EENKU^Mz&wQ5vЫ"1;z'^Js8 I#Ʌ>W&sz9.*:IE,@ND+ƾ޳je, r͚`O(arŦwr4V* 3%%RhQ 0[崙:G[wpb~(PA&i"R!8UI8̓*7X5vN LLUL2MTwO/W)C$Ig}$.E&#.D={R0;U63<.õ :k+U>&麞]q}x~N5n FqY9E7+H1pr.~< { i_z3b4EcE, Ml|v{$(sM50xP6kKr>1\z=Vv!цt)H']|AhsYJ=.J {,Ru]$ 3 h>oZYk_3 hCbyINޮ^10?Ub35X./ٿKb4TOv W 88Nǰ4!Z.tLe^ n!T2#̒eo)P.##EB5`lz=$,apiyȽo#}Ta' J3)^K%{53'o庽Bj|DF?*ſ ֆ|$q+'vg#8 >g&mdPͪlw&j|Rbf.ebNB$EP ;Z2#PㅡAwkIfvW8jKWɛ>$lVY8 u-O3}3Wޱ?n 㐵bWVjv. DP#Bd.Xc;;wDghg?U#;v~6f{}7Y&~nW!uYN#3= KRLLe|''3·GYL'T߭9V6zSkX̡AICIBA$~8zgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a0106fb1c186d4fd16440d567db0f08b87cb8b33e