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 77d| ]MSO_Regex_Equivalence:threads=2elapsed=773.825cpu=998.696gc=39.692factor=1.297zXZִF! ਫ j]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`xW1\麃ICR 41"ݕCgq +VƐnrN@~=Nac()a.x(-2Ǻ!=[.Ap%{EbK]9yy̅idPܿdPC gAʩv#Lo9 ] y_9iOxF7t$=ϗ8,~Sb-ȡ;y@[FJ2oi[ 7 MSO_Regex_Equivalenceٺ&qIE!6E~pi>dD$i7PKͥ+:^l2 s_5w\UtmvlE1kdsDKth;4e箉ך먃yf+,=q:C>swRٮA2PmMl) {;?g3 w4L^[*$6aY֒۹zJ5/o3CYϗN? |ot j1DtUl8 4$i`m ϔΪ?fN=&|*Vޏ ={{-`H6D`KfB}hyy:m5gw٪lejU? [fËٖ=qgW08+6/\szbw53~`3:1FWv|CAO#1Z;I<_1aXy(FJx٢~u/1NVs jJŪvbfыx0жmuc'鳅zC7&{B sc伨["[ϼgVحt靖/GPdWoT?֬D1tW;94YJ!f賤uJ98ږ:j>.GB8L}e#ȘooCvaҼǓW ˥:Wn֛|_\_KEq0qϕ.LZ~2!W8AN{],o aeOn FθC?LovHV7<*5@VV:Dm!2 9[tҐ6Q3Tf`~D7.Nyi${:? q]T?K_A(ϖpI//6 N_d s8arK8n=x+;J2aLt)ƭ=/صH}pBl/6[~GbE/ H8xDY?lh›ehaVlyaE9޺S=.ؘ}D\O% ΁ED5h^3~U#(eo]kֱrGDkA|`st'⠃H)sP8T?>}XVbpC|{S2?=ȍ1<!!>U#7V⒮m 4$eٮ[)5Z uxЩscD>%2^e&X|Z&2˾sq?70}ꙷgVg᷋{0$D[Akں6eOȐ Т^AAYÏن%9&SA)_aVkM2 fy6 jyQ]8d=kP[&FRSb8ozy`Yu?#ؕ9^ӮZ8VhʯVbļǾ')+{iJ.t˜ilMk4Gq}3ykYQW?ctkTփxT`7}BpggQ|)w֌+9c]zk4l^/kܮKNfCJ *9 ZAnwPqO&Ҩ U=x]K )ikÊG$'wY%r6C8}V|lD0NxP\[D+b@5Y:sfCEm j{ U)ɧ 6S7&@|5$ɀJ]~؞:rPC 6]j\-% ;OM"e_9\g"eJE?1iVXxK9jAa^elB|:IsYזfc63DOQL^]Ҟ?zJ1㡽6$yKf6C^^Y55mzDzꠌVMd꣭fޒZ LmZTj;N)bKN_)gI?34ihLJ@ltj~&4y-g_7k$ R* .FMa㩁/oZ^0ZMh+hgF :ޣ"dh8.hdd\nM3y5yFj9JU,i gY!Ab? F;xV߹Wɥ:h S MPb4GF8?g*C1<.$4B~i:O@Ǘ`GF JKeF[Y713$st"'֞ R TZG2復)^mJrrě ;|U|3Ip,-ͧI uGAi_XN>I&e i–u@Wo}8jB*ن"3l6P+0{]+ʼa97a + !U9R2uS[h/gԸ&^aJh@޽Y_v*s'<PuV'C,Lƥ,7`B䅌CzCtl$ezˉEozfXǫ/D`|:‹ًN&j*Jm@xkw p*˾7ȓ,zn)=01G=Mٳvu 40w:?%'FQ9o"N, RO_̚bZXQ♇J k>+@Hg2rIY%1iAtn`[Ӗ[:eXcqr4N3w.us6G FLc_cÔv0=Z܁you3.u *Sw|-m2!o+h֨]aPC]W+mqzu Bjq2D$qPoHZhM;p9lAAy@$i3T+EMe ^8ZiĮp uCμq0txjZVy06 ۬B@Al;?3: uo>ySjډb6YJNIw|&_(9,Z˕8"^Q[x&ù-&i'n( (%5SWtJu?s $I)q6f yBbp[6%[U5ƀ Ttw܏"[^(YLc\gq#WOy鐪+P28q{=agSd$D6㠕1sܫh%c~)R4( bc:~*.u||Zl9SBKF:!(W|-Z0];0 ;]oJU 5`? U}_9I`RZNl]xgc^n͗"*NA7u=ŪToR_'GJѧd9@)L**kTfxyv3yGdXq/v :xmvKM'ݳ7Q}T٤phtTL'|t5a8=}{: <TʟZVQ]j[{26(XY4Cbgse5ghLnAe&_WGcA+FIT^ē}@yxo?JEGd!TG+^ Ewvs%aR:ટ¾^8m9~i8FpxEV89gs)2iADE \;~l(|* ?)t_D ĄW1)/Z憪+,F ҡPߩbVW.<,2nσq.:rHc',4j]ڃq!5z[.R$ [!FKlxe}ޱxf pO+1M:-[VrܛXV6;Et<v^)nIw4XMr4:iTK]TMbD. &Lֽck ⍼v)[/zS]yk0kkFc9x6A"#4J$w`@>M~<vʌקu*YhJڂKkjyӀ#WǡbLiTUɫh*V[`wx{3[G9wYL,}[ nε=CYU:@ʫg'jg(Juɾ])F1ZCU5ABܲ,|NbI.:Ou[iMwRNگh9f_(8룙./dc+d1S%D Y<~2d.bT*ؙH\(-_5V K[}X>\=5*؍=#F(M8^С{5yѼQ/7"k ~kcKdƳ5H?ڤ4ytk6+Z2\ 6|3˛86p#Z9 crJtLtK~/Hzf爫\U1ͶE *#3;`)%REA~NV"&NOԂ#euv[O i FN~/hۼD8f`UP%Oa|L_Cz#iÃ=pKOꮈC4ֱ`$(oB9ozOLh W$ޣ  2t}H]S)9Sb\e>7 tv@\bT\5v&]!D 7ѷz6vh 8ﯤWjt?MgJF1'H }wNP<&YS\I97!dHf M /5n?h%](Ηߧ!Ƣl+s2N _fxpCQ 2cT4=T 5Y=~ܟUl6ʻ?&rxG PY77|K\0{l0V- pv5j oK;2n'K­z(v 8=?Ň2j@(o.'ݛ|IgeV">?$ې)_8V;n 鈖,`rJR~ W0K]R?P4h}ʎy(=;wQ6nÑU5 TF$X2qA/dH$.=PIKړ5]&E.7dl ш.c8SPx.p>[fK%k5jJh]) f&ID. W+Fm@`EwcJ!0)fGRcjmC7}r'Mc;%Ͷ{;T|?4|<#s2-P De#jqsM10t5fpb !S$=ئ2Lh"Dp8h.%GXY3ɥ?۱4 GSZg q偢@n[Lr!GS/\*#}C:d?f""=bfeZ/`i<:fi%}|ف05~T8_B])r?}Ws],4'9h[l0&[ɜʴh`墩|MCcPd(J*śgovDfIG'1_Dq$67lsoF28.ItOf?ڔ~,n>d:"a"c go!>H EP> ,e~{:.cq:i`n?~sod\˝r>ޥv,׷vøLeQ*bci@z>L5B&5-~8~AXl S2<4N}Onm#>H Z}&m[2ff:aPxII(?>4.)z@fjgkIhr¬>#\~ĤPDJtQ{{))L:nȇGhE8S 9Pp-iV,?е)^,94k'iF<\Y1Կh%%A<\|o6ߵ1$FG0JF!3 ]lA i4<*;D<5w,R>kzN/02IH,Ҳ91y]5Ps#je^J&g2A-LAojvx(ahȎSPVA=zR{1NXy,7| Hw*֢͎ xnKW5[M 'ī'EdpXQJmN5ϬuKߦсF\h- ddCXpt#\3R!MF؈?ⶦWbjqsǷSCZ,`I&h$4㲞`VrXI"slg{<Nt Ӎ~l-8.7FڡY*īd $ (8+Z۞Ef,4Ls ?q 贳j# G.,l?6f(#2FQ㬤HhS^%apu9iJ$⫧29ŁӁ޹f&R)?7Ӄt@ui2!:=Fo%ײ}.WDs 2! DCLE8ӡ/پwux $<8$vd]Z[|%S)gu$iUI^~Lvo}HYq1o^d[dtiH$eGH{}9߭5Y+lXnurpT𜟉0. /ɯ#Aŏ}5fy!>q[#ٌ ؕ)QBt{&5B[l׉N/nQITjwۘ/6>plUv䨴f7 5^ BI OBc}zv^/ȍD ؙ7wQbD bjGf @ =<ȘN37>xF+YS"mDzZcK14iPd0:W/w(X~7"$-Xbz㘌&뿅Y`2v*qse/CХe$ԩњc \7.]Uz7V$JElL M^id0ڣgLpM z.6Fa}8d[xiN@IIp,=/4ע#7AJr ξ`TʁOD]@ϽJ^D}. fzd=*RCT^o"6 BU23+_dFsj3 Kxu5s_j~ѱeoV.3(f3 h`pRIJV{q^yn)BKJU8y/lБgOhSpr ;a IV+/h T5;-ۍd䡊~rŧ%p3Oߜ6‚4 lb;b%CAµ6.]?Ȇd?Q>Oc3@s e.cvt8 q^Wsү!kBoņ\ .i@Z/f5L,kmb@$2kY4s4.Rv^ flm .ZʘY6O70H2ʍ \$ۥ57; p/l*T9NKc)B08QB0]@+rk ip"Yf`.Ԓ STP5A[XEY040ӆ'.),m^K/v4OƓF/I_H63g2kD:y_\0,klP+?7L4?}"IN){!¸R!FHϷnlGLO=xȤ\-j `U~ {-*ҤFeK|#,C;d'+@ tS[7hD#(g h . BjTr+?2mRB!ZG+ɮ$"~@AYg7õmeI[ÑA`ٴ5-TaIb:;25NU5pw!4NqTNqG*>O4IAU!yBSq7< U-gt_[D ޘy;һ0J6aKM4_"f}s8'~rF6m3U'Pp 4)1- st{CZ{"LP?7gqs9B VF#SV~#@FTi |jKhGg'L ],s()/[ٴ_%$%5"Kb%@C1KlWN 2'.u:(Iy'QSg|ܧ}"bF2Xu.bE<{=k4MumO.rXL{t\lZFp W3rezvOYo3%eo/|>_\HREg.q*M_G"'$.!:<{BW(ppS Hpt:]28h%8#O*z^8C/u*" >LNzˑUU4xԇ2 a~Js. >x)ƺ DJ \CXǨ׶0U|i Z4ƌrpDԑ=Lօ5%GMh$3ůfĎ[<@!REM$Pv:kRO6$q$$r:tPgkUK{QEcpZR,pIT*h(e- T{z:C/xs!Nee!1MlFEt(kz0r'-$&K_5 5oŽ&rq7 Ub9gq`BG(h% +zϧ95cWO)hQė9ѦͲ\6w||Wƺ3Q^<0|35CeQ񪪟Ie Ƌ=L%Q\B:`&PC !pv o'gI 6{j2H!9CqBPOؖ鹠pH8GG-Q\B 4tb /=DqەgKZv* &VTybQ^iM19#mu#2 N|}J`9uxYX/rumdܼ3Lk{2nU2D )b{=0mNwcv*`؞MUf_b Uhx0иfm1d4ǝA!*JxVINB\#Z.}jTWKg;d %H\aGkT _Wzdh&ts *v<#(>X5@RKZvZN"8d|bu&#g#GlekޝDGup-LPN8,pt6AN<_*Z"R|Fl򠝍WD PmM5úʴ%XH?"xil[M$StiJ5 Y \Vjm ,]Qf_$.NQkIv1}f3!YR̵ԤuLݑAFkf ö1[d#s C#| EgvtbF$/g*9AxQ9KQo$;ŠBsVhWS̖q'S% ]fڀ+uǣe͘:\eSR+3+= TMR-m AkKe؂({v@$؝%Mp2qBb+h+Q_%tb9!D#e]!

/5kƐ##ttmW5ӏ>,)_dr |:;)/mhu{[] e nKy[Ehu nF 1Lrֵ7+Xj\-?kI6 &"ݜsv` tThuNw2USX|`$x~ҏ|Pa,|e=!k!T( VE #HC (ϏgUXCPqKpY&;OrH ߒ2pa)aloA/3)K{_K8;\)9KE-5̉Mn Jg+zU!Ls[.Z("7J6hh}ńk*A-p ]}ICj f}pz-SoPXКx@uKʞkh9H 77[i4Z"vGgnD٥xL Cyߓt5/3uDCş}RR%s.N݅ modk c]Ėwrqg&~ze\rAO`c,+_]+xX[0zBR7" 3+;dzR;j19A def?SWERci"CB83y)aKlT6ic0o2ԫ~8=ݲrcs݆ky!l[Jz =c0XrYnPS[_qrL2j8Pigڵo϶zdWneֶ5ľO?fr.]uR\ݬOF3 զ9j.s,l,wި;YlGq_뻾xGY" ܮ/,F6>$^ٝB+{MJ1܀n|[L6B<{w|T  E- y;z* 2kȪzw٢s$xԽsܰm[ 4(t me2# G -5!0 ZВ)25+ַ~rKVW0b-K^=:ZBCkAscrX3EYt9F<0s YB|?D ـwt핌 ܗ8<<4X c m+p+bkZ`AΉIVxf k\[Tu-]@&|$_?="Vc]oiDs6ʘ5nCaPraZ΁ka=f2r1͇"w3PԊ"~.),hb]@/ʄ0` r(v2%[LfJ/@l=A>Յi~hlK a*rTlQ>*&͘לBJI 9u #*t*hf5ӝR29b;=95`Q}ӎ޶ʂ#\=q:ޭ[ըMX4v Ƃ7meoZ`E+24`QQ?Ј=ߴ` ωKQ~UwaH33Pgٰtno ~˓a<>!H1`ޱmII(KY%!֨/2C[sy/P?'NA=44IYoirj#"{{5xZmyJ:U.,e[U_\Q%iK(/e?313桼ahDZ`zѯ 72ʠM%vs!r TC 0gIJ)J:=Cm6KQyEG:;T!,'cXF僋6&Tս ƈ2Ӥ5U7&q6@aj(1U - 'u4V^g 4|N>yLoY)iSM+/Vn/r's@T~٧;,oi]g@L>ѝsMRa%;)(@ IP5U 8רJ sÿp_^פHOΤ 1Ke*Hg^V-)ʵs lz^_h3ijc*+e)caj`LHt4@^.*y]ChK6]U"t/vqЏ BI ~..Ѣ=h!VVD3c` {c!a~\VKorB/oeje}fKpS113X!614 x H_%`nbW[`O`G2JHbIA>w$U`wua\*yLപ1b*krDBiġ丩zH2jC axԘކfllciƍ>@ٖ("66KmKvb?}Nլyɧ-W(>Dr݀_[%B-^{̨ +Ԏ~ܣLרOsǘy;wS>'Acd@+41 c#P6 Z?Z=Ta^1֏RTKqCjwb `-G'gf7(p,p"DtR"&>~f P UQC ls hs5I5#ˤ|;ϵR1G"eNFo)7'j-|v_)/1(WԷ ۽ "3aVn<Lƛ[ў~uDKVխAl@GGhC<OSt6AK jq@q}@GL~>?/˖+;F>@ sꃘ9W4L'jdn@p,h+M`3["syOJx>JbX}iQEWxN|V;cSjAZH\ ^TCJHs˃lׅ[T/ Xr]8? $XN XL +9($Xϣ9 D F~{&كх#ֶHF@|dyCWmZ.-:i\=&!ٚ1GJ:y_?< \5mM[9? (4CbuN?8_(s057N.p% " ~HJ?5~ԍk,Oez@K!x'H j`DW']}عlv eLt/!& k\gYNVҙ#wo;UN$_L{bIbi?j8(W8 :kPPc,StԾy{!RƐ6}"AiCB5.xs`ƯӠE=G|7$"&Hkսs`x ogT{!Qxv z90 ICTxlA\r#tqL+vq-e9%$gRݑ"fؿ1bJ=Ꮿ>}+'RMr C$-3 Vx$b"mr62b,fƮ- C+/z(!>kjD8OPQ@t׶"b}#u,S8ڎđdzh ڢ;[_NacIE/#zx*,9L@%fTCwœZc0ͻYq7M/|Y##j`|x؜dSQǯ4w²_7-A /;\̠8FNK %AqDd] >LjY7A!Fz^b#8"3=ichhòлs'&'_c6H,I2CHR@͂ fe?k'ҥ%XGe )f\Rq= OȬ:'lG\ zS 6TTYQT "lQ{9yW6j96ePQڎ3#c+I,@HAbNu%"]|{(n3%\АdBnt7?!`\J@&7"bzo,Z'9g~")&N ΒH.=A7C6[U+Xq|WYy*'G|*򜽋Es9&{fd j2*FU L4c 0S|IdEs ɼDgqƺEqpto{B+>_&ZXLPR}Qۆ]2/M֮{X_c B4y,ڼ}N^0[YH53i 9C <)G3B ֟z/I)\§YiZJwfb GWrZAPJ0jT6t]*Jf>BǞ-̸/ W/ qY{e8j_-V%JZC@H;]ʹWgw!C dx?qw&ڀ24&kl؜ +2t({iIs'@dՁMFotmX2/:D>ڱIm <<=jOҗU٭ʖ*{غkS=~ zMW *h/z_=VT!讬Rh 34 Q1tVkf&~5NɿwE%Ж%S=c2U(pܐ*8 %f*'nc+XKf,\yO k]Cu $LX-m4ϲDYb *sۢyBO%!̷ Hӯ|BF4hbISfH  xdbOym~zNH1a![aɓ*Q X5):4A`ӂҷ& c'3<9vkMRc<'xyh&t, ^&U+B(Of,n2f+*5D̙\@4[Z Cd\.ҞGD`o$uw^41Gle ĨQ_[ S +JXj:e;C/t{֦fs(YHhۨ̎OS;16Ԓkkup(w<edhDx jEx@bC'۬˩7-?K ,NU+˳P&q~:\2_0X-ì߈doWԒҏ{jiyjvsdPɊK4{i\ќkc4OӾSZ>YQ9"ȪdOE Se 5v/`~7 X˧X01눑+TF~K]Av{Mx~J-d]55+ 28voM7$vF9'E#wΤzg[hmLX{ u~0 f˂ۘgt<!A㉀ ]|GZ{.}ol?^?y]G8J oڬn9{_uGnS@_^Q/NRnZ@l!VbZ0 5G`KBO8⣍.5^D# @YF6]ʣW"gαp/ {Fn1`{^s$o"I2 k¦I7#<; !fm$h(xT;Own4I:dq=n_ݧrX{薨,Px(l{]S6}]J! ~h0 1a-T= ~((mHҩ]A%fuhyc@]mhV$ *1?Tar>o0oRc#22}w PҘ2S=䄬2. OG)8 cx_Q.^`-:\Rp6Tt_ kH0(7^rYLYg O[,&bnaK9݀ƒ%,%jWOk!Ɂ`TTClY&B1x vG(iM=?n:sSRxdC)?ȣ%uЕ_v}ar_%@xh&]Dq:&WTe6UmE%HioAϣ6t,E@ k,(yD$N(ԳL`ÞVttelv \)2vJѬQ^ֻߊ#TV*afE&}}7^tcvrM/7:3t"gb0,cyh,z֞k;TL{Y"^H7ͻAJލ;- +Lċ׬m Tk 芮Tq}w:@{w7goeГ I{թ|,8-8hIRr^[Zk-cqȡJgi,<2~ C W Ƶ)8 q<PDT/,?JvQlZS/4O5зT{xX] Hޮ;~[r70ĥ. n"U/ zJPWk|ؐ(!!6'3XTՠmMe2̱aAIL>0 P{TS{сl̸"]{NZEW0]hP#~k|Q5>V1%6s( ~Hg4Ί IO\Hi$tf78.  ?:Ӱl+rSz!?L?l'A򾝒?kbͲ-pB\HT*qsמGMZ 0ޱ}Hw\< !bo:\rG lT3/7XL/x}xC~Mw'g)>ks9T!$ aѽ٭X&sQPݙܹzڃBptBu !kZZ8XYi"c+(/P% ^ۅ\iB4er#vINDPk=H7lQ! O ?ÿqT暰ќvkw/]u}jy< ] d6MN{ǻ٬b0M8/K?31I "PHj@*2H&r4%sˆl`{b|^GTNQ\ԩj˔x*, JcTa1@zTg]&ׁPnE _c1]>0 `Mm?"=k3?=X`[]T~iNJH%1ngᬕJا5;ŘhlIeovMCmS:V8E6]b)G `rOK"FdV΍V;\uppYMEGQ`#) <ܓB3AZ P;CJ oҶק{l䂤"8m_fL|_G G"ZBI&Qy+X52G&IB^x!pCykM[!NP{k`Zm\]̳Zde^+u}B֢R:aQ:VI#QLTz&Lֲ4 EQ\&W\_όu3GoIyцnO- J{d1 O66kx[V %pנ6o8H}mýD 6o0°JŖqx0IةT,hE O ;B wDj b;2$en!t4'bb{p?쪬Q^dfc$F 3Px U1!gMF#[ssJds\Ź8xa}Sy$dm庲dl36p/Wbq_b>N@S .)zyx v+ W7t_ /Œ u> ^]U2OW YLa#n9!f_K EӲI36 ;sp$oNj%P]k0C{ .n`+&(lu o(9 %%,WD-7>c%;2cZiq^v+纟:De)r'&~+`ܲnqlb5 c5X.%2~Ӷ3'6kMaW KŒ g!@Jw^/P&g)ef?{vÜu 7GYFq~#[eoqW$._鴵v,$+;}86QN GܵP⨢Gd"f)r˵v[5cHG(Y5Y&~Ez4CaZ̨|ȶdR F`!a!^NN|^^C]TuEj`" ~H7P׼-p`L["R(굤x/?$֭su\r`^GK jA+ o!6C>a^YtK(iaD`AyɐS\~j;]a;FS`0JGz\Lq0փ 3n2+9ٕM5W07Ԅ~Z,Nh3Lk "X%8}N:VD>RH® Zy18n9VBQ 65}+};\i_;u}'$Mv;8Zl/Ђf rDz[t.# WѯOCVYL,hu(Ɖ-L:>ad=&|A#ȳg+"Oς (؄hWb G8`Z9{y<¼qˤˠB[2N[LBS~@*4PѪǢdG]p.U)~ zR'+ɨ*_j$C?)g-}`;az1mI>XgP%ǔ8*U= ۃ*"(j껵ǻFPp~0;uQM liU@s[xw,r_rK|&)xWa>բMA'7zlchI3vZ0쏶  }lrw"#?-4Ӌ^qh$[/gT᫢3_]umu`5~ԧ&/hqUV5d)m @|H1=RFD\tLQSCJչh 5d~Gb&O2w]j.=g-AΜy%',L,veβ9]6B<{vݥ)?YqT -hxG'>b?eSV܅ASX?c60뷫Ps.k:G~3#RF"(`R\&.IH6YG- 8la,0Cf`--6_"">! ?k6MqzdrGD2bMnc'5^c! s52Q2uq(Gu!9"Wq ]bf}oL-!2rPVcMIu_CI.5S^x""XxGV-4<g~OvՒ!pm*h^s=*^g'S` ]u-9;P=6da/&>zzݯfcU섈.:pΥvf_82ݻ䷆0pU se%_R],e8j MKp;߿f_t0{d9e7ܼx)'JvȬ\_*Gj5$?S*ytI0q"!S+˗Vhw\yj4.q9718!׌BKpL<- 6:D&_62]\gXpNe=hput ,d *0IUk=@&r1tY@veLg˩Ev$@‰䶎/eH70Xlק]?ZWf#KV[n1P,Ʃ[|"$e&4 s'AJofۆU`8Q,G:y.FOO*#7pSƺKM(HKZC̈M 5Id6`Yx8 ɐ?T=U}_WiTT's鸵c_ LnͣnR:zb5:SԹ=}rjA|װCmYȌ3$0SNR9PV.I0rd`BqWw1]:IsڌW7AVFufIaHUI uyP< 1IKt-#4< j7LDI]WAU͗(S|@"1qVnPi#N}+f֪6jLp"×ONME5A J^~PK!]\d%n5̞l\Tx9,\1[">c32d@xyؾz0T$sA3&#;_>0Ҡf-b&p3= k \ztJ/5֍&u rF#gv.T3GvY5Xi5V"IQ'kO0SVX]aE}@^Q=.Ȃ*;]d1 m>y!)oa#zX`@s|Z,D4rYE>Qŭvq MЍ&H,.ٺI+1%щ[ͦ7\M{Nu1UWçm94b!FaEJ,j 򱨪X_iwmS8nݫX'~ 6= 9ٲ_!)L Vz7(= vܮPUyū 4$٦kC0_7 mPWĭ_iwH!N!L?feΩ>@G!*LP\{Rb;WYXd(Kss-R1}8E̿>v? Fö.Sy|XݻGYÈ'=Y넬¬h7'6Qx~!F]'0Q{k9eߺ9@Z_%5,8Dc~ ^^&fא׈Ld_8rgs⑕y:Phgи> ˑEL@&FA3okX`I/Q86q [d풻E4\H/ØYY_TnOT:`rpTW*!iQ)< Dώ'('B4!o5=H2gɾEj4ZxWXPUg <É 'LjI͏Ka2E F3rY*]>'>籖ϭk, sS#g mhpc4d&GQ# hnZ_,JjAڗ݁ȌԱ lpÑ`1am T뵍B3n)+OdΰbnnsGFFЅUe%w(&cI &4>\V,Y]/1>98`w +oqU!ağ>n7OTߗGK(g~Ľ[ˣ~,3=)1|Lݦ o Ieظ(35{h oc}A`]!qaH{CմkX1SM$}a9ߥl;o63;M``c` zr,{T=v(u_v{o `z(Zb*3"FX7Nۇ~-PnoAfuagpG^Oc`B:zRLx?K Imx](>|œW2?mB?PU -kH!]ƬyV.c. x+~& om\Fx2"^Jky~KV8:QZh,ނ`sK&)ĂФ?~ &al}3 .կ,/cq4? |K6<2T3 {($l茧U'viO/-BU9~0FLbznA7~CcæԨDx<>o7i_稏4v ӵnxtPYFmF֬yI|B/ 1ۦ  ,[SJ[s}yMیfuN\:GqH$Xb¾.- gjRs[^; ~̮DDۜ9IQ\:lu`Z)ؐ^eS Nxn S)3?oxf 9>I5=W=^>FR^SX|+H(蘛ewOu+$or]4Vu B`q6Nk-=QjbsgP;77Zw(!%^oaW<ɺ`9Ba\- gdChmRQ1,::F_ibُ)[g _>+#_hH&W*;e Ds]`:L8$`qhQ|В5˵|? { ̮cvQ#t4bv1'/9}#)8Z5ZH[MKv ŅolRP|^#Kie] !#'ӭS@$.'f̴<$:\30'@z= ތ8\):&*Lsa1& BQASV'\bY! #.L6ma5lݨN&j,c 7k ՝T;UDs>2ҨJqiDp1=|:T :\+۶.9qT'[)N,-R1DPi@N?-+(JCe^Qw9Z7;c ׼_?B\<%D5ېY$1 ViJ @z@ѳϋڳ!o'g~u[y m!jpQo>(Htj8IgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 0d180dff7c88436191333e55b5b41f8a19cf13e0 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4b9bd09a28bb02964d95a9acc9c3de0f2fe22be3 50c35a55797500f3a02f32bbc6d35d504a446003 5d0772c9fd05e79ad872808102f0c8d8296bd50b 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8bad23ff98261676326a1f92499d584425bbeb07 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b492a19d75d74949dae57c54936d8b0d040671b5 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d4ee97a7485c3334da34dbf130a12c021c523 df7d6430a4bcd2af648a3201e1da746191011f8a f6e1b6169a6d794cdfec9028675e83bbdd1ad6c2 fbb5bc52daaf89239439027c20c211debeb65fb6 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eefbcd1e5c6293a4270920e6e5ff122d2c36dfe5d7a