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 #l<  Psi_Calculi:threads=2elapsed=654.312cpu=1185.708gc=36.564factor=1.817zXZִF! Z]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿Yށw'/FyFP%Yd!2ppKa\rmn؋_~~9'ߛ a;[5*MJGE$&/_ MkS7ȟcH-7Qv2w`vV')pj#A)ORNT{.>O% :(@1&97Ij#ב(@v4X^G29gL?U{Ou-=rH-Ri<47k!t(tn1:у4Gz)>VA8^B A+JG,sE$|`|_t/ĕ%S-NMox9N;E[ӱwmrdOj+'yxՇ\w"FJű[鎬פ<ܞFGqm+J-|EE~q:xAyCNh[K> K'Ց]Vq2{Gl'o^_R;)኉M_j1h[G׊yhy eipZ?833rډŀ^l0|jӸI"|ĥ@K+ ;'j}et8ۋm>8 sTN .}kC N)nB'+kytUȒ`ȵf=?1Q*6MZLK`QTxf?yKM }Jv!yXD'IHZd03)7W3TV0KS䶬/BpuyPExŘT0  6ްKэt@Z?ﵸPpUhIUQЦ.2]gP ~w˛Sg:jɆaʼnVn7J}Nh*lk mXc&T]dqCҜXz~ |#dnm>HRb pAildDPĴJv`=5ؽB*"'X_ LF[S#cI%0 >(t 9V$̹@/cIx{H;*_D'=ZT?h>͕{ImzJprnAhClR>$~9֒\35~yj73-Ԛ3,ꊼٌ+ 9^Ǿ:W"iQ=q9CUFh ?Y֪pix 3vR c4YgӶ 瓦2mqG'浭& |B:y3wH3F(ш8H,Rp Ioft{X _pD@B c EA mZe853l7 Jipd7 l;$Z̲qŨQS,r=xt6j y3w`,v#&۪N%S\.ؠt@9X76F&':|0WflVn\2Dcfɉw2AU"QQ7;T` T1J_^Q =+~edQOF"-]mPwe kcq ~ay8 uU"%I }Qj#{)-{Өy lP@ ezrpsUWjIpTDAk𹖴,o0uFsZ PZ,aBّ75ڽ`@͌ ;|s?.Vy@ а팛LGQ#Q?b ΋0 ecI݂"McaxXUH $l0YۥQ8jiknɝYl vI1x\chda+s=aST~Uo;2ɤX sJdf΅ɪY:Q{WX4b 'R 7!k|@e %%ĕLϘVֈ3M=vD_f{za Xh5SDbAy5*fA!sU#?+$ByӦ$QoGx<:CXM'&*,[ZyW-T1H5?Z>Ed nzs;mhб)5* kĴv9Zf1\'#kX9OWoh:3 BSeiho%1y-ٲԑ1oċ<3B()_YPxıVBn*ϚE#F==L; RjJ;h}؋ntnl+k [+V?XmYDm։TgcFo 3}+ҒCltdXT4k:(j-3jJܫ-dM@梗܍lsyh7뒀"/O`y@Ҩ1(:*A()d=gSה?%x c?yK%6 ]w2 Sv>]snX *rM) t` }4Pzi59_.Ohfw|;SRR@UK!Wqd4^a 띟v7\ª5#!惃wYB]Q:Muw]7"/!ɺ#RoP.'53SC2Y`?B̉&{}soEMH[b{~d5|JC,Ғpm݌_'~]jU}Kt MG08tWkC>m_ d]&Og@6o2R )hj~=j0 kX6'Ԛ-ma7|9T?(0\q ooD # Psi_Calculige?)5*B:9Ax%l^$RpC7cOܠ#ycPuˁn4⣾9=1UGNZ.+ s=U!ĭ^@NXl7\]rm I6dv9LOI!@{iϘ= UB]CvqAn1BDٟ{^@6@mN]G6̈́K>N8޹V<Ù+.= '*! oAeZAh u&&O[Ph* A[6;;@h)AX->Vxbl jorP)H$ g֘OBN2lIu',.[wK)Koފ~~B;p ܆5/cFȈh }QJ2}8أ<!Ţ J@҄b |׋B_0T{nH{3C驛֯WHȇvӼX]GV[s` O7@Ii'Anǻ3/W;]QR~=|/QKω+٬_>-b qqbg; -=[KLBk%ӴD5bTDž˝" iÆܶP4 Oۂz큓^1(/3άRZdm0aоk,,W3`@攛 g?/]r$C\Iz_|ڀ)W~]¸] CuGu%^9b=4}ҭk>IdI~[GW^I)Q^j@O}@N+,J[~/!=p'hD坫R؞!/POEmk0.}j̜=PGyԻfβ}%.ކL)~r2 ̉< Tim䧿]$-3`[LyF$euLAXzkaT넢âӫ e)G8U+=~gu[ ɔQocخkb wa]S"3n=q"E)55%b6=(Npm)7VC@1vC5^Ps] (y3B8,lbvhsI 3XŒsƃR;7Jv M0qkqpD&FKY(`!kКB(GdD}!wF(ǦC4$C1JmKnsv8sl@(PHN'qj: Q5}NŸ၉=Q%^JGzkj%U*u9nԓ_]E퐀F2<Zq&9#R5~}#RJ+ -ӈ Sʨ Q@p<\'mF9lBVN1 SmѺr)ۥCg![2ԍ RոO'i_]F^::UF $w\ Ҟ҇:v?uI q`6c°_0[ᒰ>CE[Zc[;P˻o#ЮqqO^ÏWn'NBuvi.tȽ`˿M?fcTXC#}R@Wl/Ep=ĜvJ1յu!smUniaTd }+JMcڥj#l aEMNpTFo**DB}D#QV*vrN{mD$gŲ;K1ϔU1%D=қUڑ8I8cBF8Q)FUqpR@+GUN0> H5:^'[l J76PSSk=⺌fʓyHgRGEfTvPk:*4G?DF7tUz6n>GSPB^ݖ0YL:=CR)>16'O:`[i1m<&=(Wu[ Cu% -hab N9 Q?~nnC"lU1[嘨kk~ylb7u]cD^j$J0qC>#?0 }.#tb0t$K#8lOsMeF39Ѕsc5gfr8AXW$~$"d e3$(uN_K'niJ~ #eRBɈBeꝳ9*[$̞ǰaҭ'Kokt!N> i*%cAՒZ\+ 7~]ȗaBSۘ^{vM1Uם[`P=\&q>]4Yzw HBi[Pݫ 쾶"a8ĥ m(HV/;Ȫm5p2ev3oGrT*h;> .".k.)L>z3*xڡJTN_"C=X"mkPNhi`E4lFY׬r٩DՄJt/Q K9wI̱gYZ7zXZִF! J:U]ŗXi%6 Z (qhJs';(l61qd̖fȚ֟xmMZ DGIR;tAyCz|C\x4kH^C,ZՋh&wyi?(HT|(Y.f5Ie`TEw~*39.7FǣPȣMXkꄿ.om ~vt "N#vD?Ѕ1fiHW5$ -qІ C^!:ݠ[a܃ϔIiRg3brBD8{Y9Hı}6mx?/K+Ϋ2'U2GUv1P8zR}JpZgԭiѳGpQST+h[x Y[m2IOhZy=b01W+0}pDKs9iDj{-ZETÞ[#/Rq~Eq]~%:pQ3J=!|)vZ9r_-2fe_Ol^]4WVVή#亳ǀ*L_9HEY\מ(\-΁%<;ם+1yq$>7;@hF8ҽ6 ;k &WFmw,nMt#M@!kXkU7  JFQnG)I+VsEXսl N;Y@fCO:mg#1[ t#amg%=T꽶~a2f|VmU|ZpCi{?ɉBmAΑ¤?nѰVYB֦_%JO{VDP9DJll񏭋$K1͇oJ[ɜ4(`p-f疌, ,]x gt>sW1,eIBp 3==Nٲh:\~ ɢ]i*Iq6'NWL?pFS5*Esfv3bV3j} 25Gͺ Cۥ X C7bD*[ ZmTED3?1!>Q@Va+ w=0ܷ͂xT1зFYZ'fnk+ťNUI ,HNKMU1S1A}|/*H \?E5پa„I` Q2[X98)x>G7^yi}xI.Mc\Ҳ+w1kŅ8Pea?_0Aa(ט2/MXC _ aR:Uf1vg!.E0 bpY R$-BV/ny}"Xɦ*ܼ0ոT)4F+3oޔb/ȡCӳo@^p͡ B  C!d&,T3,.U(Լ/2(2wLkj!k ۭZN+ٹ&}bʭӡ+-zP*Y+Zn4s;lb>wEGB&Q BVMaH9Go P&͊mC:3װz65Zu& F"9Hvq}:>EuqeQ*uC'3`v7+#6fwȎ6!x" ,/[}uwƺ(TpFO%EFTzg7'$7"uVdV@R-z@d q㉐ӕ,o=,p%|//cM TYC CmaxShα> \0~MHEj[-:3veDgĽp p{QSk7s `>& \0e 9RUluSU0/c22UiTw%D#<+ju*3 ju 2*[G!+:/s<o\ Kk20~Ī}|ďmAwu:,h OO&\l F \UjuӗHSHdL0s,HrvM9@/;NJ S܀xt(_hZ*~(bT)ڴ]4>TUP̿#+Q ރqwёCq ͘O"0y~Opw?is{j{NؤېŒ"k:W5K@$Z-RJHN@0pcx?w}sNMցBo;y"UAKH9ӣ;3T&LEdbΣ@0x k=וK"6\7 n=F}*oY> C9F#EФsb Q-wK`1Ξ$Z]`x&NGqx&cQπ G='e];jp,V!bkOUat`݃qCU7{B.xudKTyHZ<ϦҜk`vCq>[,QQȫ(i;+m>n9d3i>hKϷLm9[E;VbP_{q!sυd#{S^y| i%gl>4vײ jё$Q*4}׹13~Ixq_Te\–XsjM:.lvᵙ 8xxSM?PBU`d՞WG8kٕDbD|HRl]aq)l>ʟhS ث".zRqs(~rȤ @lU=HUpMIgH wκ"1upKŨ5x ET*ǘXWZTV(mVahMaSKxC[p@dAwzu.(m!1mP`!DBhgET{4=$_SV>ڎX ~*yPX;jv/oHlݑ޸v7(6KiGG"tnk=gߕ2eF ϙ+ԏ-˹/η q_dww; h[ӪX\\Ycx](egєp0M>*h4vfQSwGMEe\ ~<*^PKB<>sk_Ouhu @-/By&IvwTIv/'( H_zͦ|)œ0Z\å'dF,=m {;H.m2>I=4k \ cRC?evN%ǿc!8U苭0Vlr'2鴤̾cfNEf_;4XV2ss" |%hpB\u]RLkq >el*3*a z#hE -xTn6ORrڃ6FL Oƴ5!d82&×fo7 3@9͚aM9:ak /x~{Aŭ24ɘ,P%^Y@˔pUsyPT 94`@аb=T=P/ +^*MQ 17] HM"oxkɉ|ώV21GwHEbQ&9({S]#?}(&q>T5S *hxnk!aYj%|ۦSIԹ~NeUܞ,xj5Ƨ۵Zp |gd BG_mmu2a gqmrߙF?m9^pX~w-,rȆ֬jvO8GB:$0uD^íOf)F\ \{hs&Ux,|pqF3`R+U>Rnn@;%FT;@RT$i{/xf\ t(Oy{ÇE Wқ¿Ѝ戣<;LOzBx]W(g蠘^;|v"H mMUg0 _1NmqVAgE=`~kN*ZS:  lkhR|Vņ,lj`#}WR碥̀i$U3Ψ:a@ufve#|iY𭷍#j-m-v-Bdy'hFd?}+k38X8ewQ_¶ՀW2/M;*HHrm=?}EJ=;_3'LV57z[:HC53xN 7NHAUS,I<=LcSu%a1ڬ knYj|``$JU\Mp D/C}#FB2c4r%%u4{1h$dcت䫂-D%1$}R&anfa4'hΧQIү:-4%jrs@r;% 2:܍.ټG0@j=9xG[M0@O REA-XuDօ[c62ā{u/{4`ʌM?՛xs% 4ɄPO:W:9i"`{˄o'nI.#PX#4j/TW܁fpE(L7L;n|͔[恶EVLCp=¸VwJA@B' [juP7f`հP sެ$bL|I,lZ79d*dCF}}hxhC) y,TA.|*pZDOk WkZM'Xzfd.2Gs1wٿ/Laˎ!Q \b!.yRr^Ɣ97Cg6=-;x &{qڥ̃1C~|N+V4*4 mN-RY9fV|fS=TfmKVGcñfxn6Ǝgy\8Uǟ`>)t##zD qqzҭ aZ(J A00NxV$@:D69(͜9Wjo<>BSvs=c<4`j@H#.x͠?p*JFTzuX<7sDel˘DƎ+L?l\Fu"A[(3C'=kf#KSA= g蝨LAl=뇟,zr%h\& + d/ٹk֩Z39Ƙ E,U`_xD̶" utnP,gl{GVV+p_0 ӘG\V:dj,k|`i[@(;$w?xM]t~DZ1lweKDAUʝ+THJWw]| HhHf؝{4dZ_738v[wF#m6faI/{eDqr^ZoR@؛e2䠛G!$_XxOuvNo=ۻc(uKa;5hKU2pI=߽w|xjRz Hv"P?o+uzY(:bƲU< úEQ/[+$}g]e]720Sw! 5e["+nd=qԤp2ւq+B~c|- SlQ4L֓1}A/Rz253 * $T}QY:B߱KjX5w4M!t2? B+㴡%{]9aaTK38Ѡ4jv\ 0-vX?(m+9> a) 8%b[Swx> LIA\fq2)+Z:%y?\ H"ͅH"@@cvi6t 2a[۾>$rjDT0lq*#8gO%h[\{ >n,țl89()!D  ªw}JZ,S MRw/5+>3]+nBVLe8!p*n4Rtjطd`*В)זPE?=yMK.*i)kw]k [3RwS\Jd=ű /DΩ+FEUC<ܘ>>Ǐh԰`D&"V}[@gj'jc=D[1&X-牌5ӫC%:4~5Jg8 MnnZP_gA1c;<G Z~Ȝ"Of' B.S=y~EDZgSL(\ٔ6g&#+\ǥ4'( 7󛫸v9kCƂYXl&lу١:`*17i+\DEDsn=4q>DgԬ?F/|yF4@):YJ}Σ C<.dXyDZkI֓:M߬jy/}&FEEtJ ;8[p57^\M* ,_4n}5!GX qKΧq*s܉AJ#.՝B$sԀ1) |1_='i W6?hc2n<\`ZŎ'AN? hۣ-ħ̢H9odS(KoVX&, 7.(߂Bo TFNw_]:^@볳9/M=Wi`{Xñvb&S fʷ)-Z Y1^u?$M)Y2ȥw UM cV32"*Vv$Q!HmCzQcI M\iD8_{l"Yg|Kfl0B%ڽ|vR*o\O3CmZhJ %za ر\XJh}ݯeD$ iS"ڞYX 0k-{:k;V3[]qܞd ~"ւ hB ƛȷ*ar sDj\Vfƛa|"Ca&Oqਥ]Z-daևG ̊Hj?x rrvMDkc`44CO;;Jgo)ʪS}ۚosэG+ِq,zK/7:> m"ܨL;O,f>5[|tN<=4ul]cc|=$^*pM> bWHژUMMmB{[IT,ʸx9|ۀ8W^%׃ 7AD7b(aL#(?3;ʞNp!%޴VڡHbYz=U4izLLgCfK`8`D_Ϝu!2lʴ2tiӅ-kT.t!ڻ\0@4_ 6&.a!lp`.{weFهtcCsYވ5F1y @q)N7P0r 9h2chp?w۩ / g-payF (8oKw07 %\za}Cg= _kLzS`ͼvf[+?Q%UWIz`Ymtxyz, :x)&ڲPu{VDnZKX"*֢f!* o7 ~iGKiJC]iW*E0&!>p5 SPyg !~u_G펭(7K 0nKw2*i(w䭎%X3ⰺXф! JYâuϑU^lcP;I6Xv>Ɇ]WH)or| oJHz?@jK{VeLNl *-f F#=gZdEw@g1(LjGl r79BpaF5ĥWBk_UE F\?4\%v \H<E&.wz}T NJ[2|X%h YYlND\g: :|?ACg_=8|x}c\-mq5K=zPJ|.(,>]upܛQ͉!)E=qJ@_;SDQ(܅ѐt9co3 >FO)[Q4\KT+&4i1vHBR}o"QÝ6|ʳ/u.{)ɝQBH쥬}8h #nTp#J^`$WuRևY2jbO y iw ZE=h20SA=4,-BIR#s`Q^#v|it2f[(몚},#J=HLFusYWTn<.@~sBV8${ox2,I)s+3^[iXNYS`䲟UJ_}3C÷8ŜNTXO0+韧Ǎp !X푶9%>oh=|&8jQ--"t9@7qT k\9ҭ%Zd3Yޚ Y@ ;XXj =Q5r "(I -Ɂ 'RJءVWȩtܾ"'8;E \*;F.DZ?4$3fc򙇽kvB"hgh'ElPƳ!tΗlF P(Qa(n+CN ^e>U) M 'F'7:Z"-a_`,< J5Q )l/jiؠ4K=d!#  4 dTN\W-+$> <|X+ǜPGc]_{{Bs6%i-[z*`(#%E0JTde 3Bg T7<ƭ1G ?&omv}!e3mduk|} J)xr(ukz (H[4AGP^ +<9L_=?DHyW7C5:*`Idc_-egqmE9nZ6X=]ǥauS+dABWnǹlhpXChޅ99D&xfXH B68+OPUC}1cBW%*K|Y=W$w?> $aWiQktaū$Ӟ;z(}OE*HA8N;J`sew|u. &~|znwl Nճގ񸩁١>,-3'g;,.mc{' {_YIY^@IOf̬uge~aad2<|$LgzR.>)IAК3h0^EA{.LhZ)mWY =/~$7*%NtXt} /&Y Ο%N7eKOpd~bީ [)Wx]תj'V*Qi<_d->H9j~ R IwS3S PfH0{ c-{xظ_K<`_-]gFяHg\Йl|S gSTW9(-mlwZUl_& }.h빛UAT?LM'o{đI:X϶!@_)>D ؜{1So>ǗFk9 iv\31G9f*FSԨOx4FbL,\Gx8Uf9JHs̾E1yW,)%'Ԏ%˕u,l;)L Y)W/us^ꊛ(tB0֫7 B%}۔ǵK4&8j@ (Һ v;Ѽ\ @uHçLFUc܆:_NíU~p∬ rA # yB`V.Q7~ }_}qʠw*H孇8jsisV"Z|Ɔ'O˝]=PK7d:״;>b؝V "f|صOvFqr:KEvK~n,%Xi;1ֹI C aoRe],\ّџ3*J0#vx;V%tq= ͹ d0%'L2x] M M!Ԅt!*۟-ry}nV C .[& "~,gu֦+$Li+"}&"mz';(TփkjSuUw3"sJ;⸿^WN@ca@UM}뙧)y Ubs,<-NDVtF?2e*S,Ž{ć[#H Evv3&w/? 20yH6 na'Յ:r*Wo.Y eH# aC;L I ;}ItX/~u!|4!G"@x[Ol qC%W,uQ3*U_{%zP^.~`.܍6ryVt&{BcBТKxx|8#P UEn47|.O`l|.*?D~b ?/ 2۪-8l$?@Of[r$LAz M5WWo7L>NA qm?OHWP.uxWo) \%2MLWVoGЊz_KriU!nHw:shW1 m7UWVutU#p$h۸v!-[ i@J`A-[œgwj C4tȎ/l+6K ]oڬG!@G*mhB]q6h _qIjI%m7Xn#CB?f:7-w(3((lpPTv3~q3jka;Q흛\׌k-+؊җ(oaj >2sY%_ALsڂڮs&XI]U7 m+b.!ޜsQωCD{Om=$cdF'6|@XRrIG(VZH8Pi82&| Koq⪢h%)OD&J 2r*9Gc&[SOݷ9ٯ7~Gꆭb`Z;|qR3I&Pΰ>sU$i< *EOYD~4Fv ۃMyͲܷ%+~l %[L۞ 9O /y H=&p(d"\S3P 2Gq?4I߅Z易OҮ uo&}8__ eIi$k4LWR["_x!j*0V`z"Nw}ʞDd<80 wVZ)ܒ) |) mtN?cq-|k4$XfN%WW*iBu*T6+^IZ+d Š#w] 0x= 5<BҺJ*EB^wm n?EZ{llU.]Ը`-'085"ʞOā_|Gc(ĭKk{ݦ C;D*f1"G]͖nG>ntumNu%L:&y[]zCiڱG1ehR]'Fv&u*^>.gf[Ey'.Y `$讨ę'w#* ,s ( r8hI}%t$t:p;EG`MZh{A*"mZ ٵWKzEN70kBHsmE!J=?@eoHw9Bi!_]2I(<#ꥯN^~ #ņ092) tfG]'uH9bO+yG q%'&Ut F@xe؄;bGnzb.+& 9I6')l`x8!ka5Sh GAlG^g\Mec>:iq2!XViUQ^&őX'67Ǎ;l"\` d^vٲ~kfԼElבڍ'1?ӥSTwPLz_wJ,x *6c*?֨6SygUvj92 c \iw%0hp4%[{*<_[4F[=  v>xSN$__m5e&42 KBKqJۛ<0M4[?5G0! Q;(cݜB fܫ-<37RA/)=^A1KFSdyTۭHuY ' ||^/ˌ=6t(x}-O2gF(xyz-G#rb` Ʈe-#e|ii7uUU8.-ȦL2pjX-TDbEh$B$j){t/@)\qk'F_wfHYDte/eqLA=+=َUk[VY{8#Ƿy%GUH"+]I8'#'2WMxX#ܠWȨ X5'ha\%go9圥(R%jQѫ3EBFh@MIw}YE 2@e9kurRBxZl>UFXITV׶ i'R 2uMʒdiPk84~N%S,XٌsIES7CL*"pKZw=t>@n4`:Ϟn+L=HsYو'댟EkV!ia`(V.ՐɁXd7(d>#m\r^P0g `EGȺ#2^K/wxT3b"hIE`o8+ xSY1 y]]hƭ)HGru0u “ oz'9t:nwTmjg >kwԐzUTPO d\aD7%P"x8_>u^(j./\:m)m9B! H^`Rv"ps( \1m\/*Nz]^ ~~=ϰlq~1@iU%D)iʎ/~FI%qRivbcC>6{e&Q-\,B }=n)E7ݿkjOJ!A![h{CҀyMA2./wQ\ֻ)x_M=n(ݭ(3c/C+@ARSFCSV]u)]>TX_بiKqagCT\B qr_vaKua-pj2|7_gѰNlᇛ0r%E 69/ُtYD!)q'I%2M tfOW(S/jQ.Be;of׳Wp{GEv, K}hAK*v?J,tkTSz*/VO`bAin{t?!>LLcqP"ʼn8[Be;Dh)u8V1OpӦȋa.T/  jF}:w#>?O#߲1A/5vd DP̏jPm(+%eNdoA6 ]f F-GI>|+GF)hkIdx>dV L(6+Г(ԙewsLs 8J !r׉ O/dpzoޚB-mXU3p І'S+&$6"N+YW iYq KͶoBSP.8- jUDP 5jxGb;ےy6_0H՞I8a䂾?[#V>M+Eq. _{VAZǂk)AQ;Q2Se㤓۝dI[_>،L]&FpT20fRG#MeB9k2;D4 y*֓PV~:Z˞3qۼ wKBKݮ"&>? * 4k} [dnB;O `%CѪk 8BG61av7 ;?!"{fnm9 ~ʗ }[jJ(?`HnFs7w\٢D%Uxc޻ʝ608\vb3_A-d꼜}MmR O㛞>|mC;! Sdޤy}uMX'⦾`mjۧ=mErwmԀ)sp8IM|$]`g4ڬ/vn{5oz"{u1<><ڏqdK{7֩:=I5HoȼNGYHX+bQ5nuѝڄy݈쮋3;KrpptDxޔ fGnSUO1 /+>3|Ѥnit$kMk׼7: c#{Rei˛V'*_Ϻy :o脖jv@_t-šM/$'@l Yб ڂ(=(mYQSCHCyi| U]6{A+R)-pue %\ㆣN0t'"3KݸʨW)̽fuxwni`  :Z~9_ᔈI.odyduf m L8[QBdn/=LKY:ڷǘ]J[4$MkM\@_f&ߵʀz] 1دVcJ5;+E`\FBl! m}OJfGн`C1:V8~ )-6 s"3Z84R 40Vޭ^ /IĦLO4Mك;? Y~0 c;J떫*AЬ@pKA=vK)ECdDzŠ82(:*{ sEW]v]q8z=^}_!hBoMO50No{wdW}e =\HgE*|w WBݯ!۳R63Ijo,19CNC8:,(w"_B˂WONEiFTK?\WL) d1uUjQz" yuZ:L1|3VI !zp bB+2MB *]Ob^oZ@]4ΓiCj3t^(AbWU:OHPbQtٺ=Y<lKRe/^G;n +f {5M}6 O0nP4K@+ucF 9w>'q1c -k*ÓHP"'XOlt!Я&*D&!I##x)IC.E$J+-26xԲ,+l2+x( o̗t#/ NbTe"q]jQ)ĝ2NiI^gzHJXT7U-i b"D# 1o!uK$xOEVJhR=_UdOW~r?&V6/K4|^] l8MVU*ri S8PBGR8c&uEhKz kKBT\R@p[_{Ⱥ[FS/,; FRjxƭHdk۪*=!gwĨ)}~~#"SrdT_ڕZ z;-/j fr!I\\E=x;~?k⮒tz'6bi-D),eP_1Nd[Bl}s]4;;Umh8Lp`U!Fa1u~stXAy%uIiE^<Ծ^\&pM+ċbE4pHP~2*"B|=57O! (;V~D+ ʂ@e{'֩ #Чm-`M XiB-q\g>2oF"\V- t-TBk\vSMv'<°j,7BB~l 61F"T\J*jl=7E7Qk ' P`gRD9,9waQzOLCG&ӡ.ӡ_/_MT~Vt UH#tΜq'?ڋnUë;6֬e56\,O[)1Nmrx뽈"1eo}_5ǰG?)ׂ"ju+\FFvrjg RیImFhL )ʿW*kr2%$^ 0o[Yc}eJ|M;NO!ia(9 R2⸻C>4 )IkSՊ pjˌG|irzZ1Ղuyⳃig݋|*q?w[񍖳p~:Fuz2d/vbf'!Xbpv}Lqk:zX,; C',(,QL)K+~̆-[Mc~9pw^^GT%IofLjU ]?(dգ ( 0B&'Lq[4~ *+sPB(gRVbO |N괱KJqbrAȀ:.i qUNTL*5 -L1Pbg54&W}"qeruU Md^)O"kё§{rzE|ފ[1ĭa_45g :뼀L=掱 ?TcTsP8jEX+e*$FN?X*8s$\+`EEИm-Ibm%> GN򻔡NP^?K~C>$CdVf_N\-W/<Ҳ9dLBJYxdf arB|SZXW€ɻj֘KR"l@A()~N}d-yT;ԲI"ʂJՊT}V&(#ȱ,15U2|1Cf\ i gpNFdG¶ 4lmnopӆ)wD ɽAl9S G~:e&jAleXܥ) ;u,xN06@>{E$43hДI !8saYf"a?A[~d!i0քT xR רÜa5|剔ۗ:Wh,R-raE \|0Mtvg:rdhH#3gø q Ɯ׌Q ⤴ cr(N93+܍FwC$v6)IOAGۮ̘ѽC(BJ'ΙnՀWYFh.kܙ(edM q}C6s|dWIeYU.1>:_=9)3f8|VD'F'%%x~/1G8PTh;q՞0|Cmd -U֒9wB| X;Ac2UaV,*%Õ¨fo1-M;@t[ 'iܭPl _.qe(jRF`sUS6߷PˉtnA}@DI1|Ksl<sq|+[u4VyW8~'aΡY6$)gcJqFnP{@8r։.[.6W^veWi/&c/X}BN+Ԩ$ Vo1,eϓ| ^m(€<=uLBbG)jFul]kXitKRbĔvEƱ?lcJZo=ָsvy߶|f&kK@v3n;Z8'L>vP۪sy/TOImxjY.G&I+|I/(y>5Rٹ{hm& r**_XuuDw^aP ģvN"'j !jPoXm}nSpEW#8:d+m(qQ?h\=g@U`GyIIc6  ;Z^v[ę3byE݇wסoS:5|"#8ұ\hfl5eŘ @hqD—$I{$J{|L,gTWon;#X'Ȥ'Y\vX-A%v mB3ã[Wk;&\opn5D!){c Hxn 6mk6@y.#s_`kfp[pv謀=.G(-k?Gl JQ%Sg+{/2G3Jq P`xxTcc1[ҸVH &-i\x0(g;G2H&l?ep_Q٨)5ޮlK.;ʦYCZeF:֚] D2ӍmUʖ?(P=U \ j8#Cy"k R C vِz^vOv[X%<rDzI=~8TUVZᏦŕx#([ 8PmztvQow~qDq_7WnA_|CduYg [2v*Ckfљ"O#2x;e-IF2]TWgܳڰyy+n>ӆ8.v/z@lE &);Z Tr wCudBIRRy/_]?!OQieAF=^p<[*4[]wHt:u= [Mw`w_K+ܓA %O!Q;kb[9)%]A 6 w&c­ kyLU\`< t<\7]v"F2rHWO zX`vF?\$Q߲a;ԣܫ{!1 gYZ012220de8e5ceed75fe083de86a6a74f51d5d1c8 091d5ff629e386e1e129ac71475d75c14d34092e 0c5fd7fb18b3d024a5dea33e42f1bebcd90f6141 0c69633aa21241e58a4c56efd99a28f0bab7aca6 0f7ad1838b622b3de2c7df5b755968ec389ad49d 1588d5515e84dcfcc24cdd686a263757ef8279de 1afe0f3d27388ad9585c427e82a2181f136b9519 21d51aed3490be66d4d1b3fad5a0ca049cb292de 238ecb4808c4b74de83cf0ae256a4a0ce909c0e4 248e7751f945385a73f8cb7795dd175732fc7b0d 2c1d4ab20b36f835ea1237b9f95cd49e34e44c72 2ce1aaa5fe2b7456cea965f80e9858243ca06c9f 2cfeec2ce1b31633ac9ea7bd8f62c8db8d2b23e9 3814102a03314ddcb22a0f81a3d929f282fea9b7 3ae73c343700f4b89039379d93ae794bc7ee14b2 41fc5d131148a5fbd04526c5df9fba4d987fccc5 4663dd9fe588d274eeca0ed9ae03c691bd04015c 47a1dec0cfefb7f818309767db56e13eeeba9863 47c150d0359a73c1596c9f82c15fd8dc18e0afbd 4d976b00ba4eef38200bd9e7a56ade5f41b4825e 4e805a4dd2548af1c28b3d7a50c9ea929c651647 5861eda4aacb980c7ace76d5b54269b92253a531 66ee60d9dbd65efcd72ce5ef66f86922d6bc025c 68c42fad69d7100fec79c1afb3232ea2648bff51 6b28dab26f62be390046313327ec21adda6d4954 6d13246728804ec2e99132d3273b0974e2a6019a 717a30adb3ea44616ed3005c974683a0e7d6fc19 7e650c9a8599cf893cc4f4b8981293ac522c1000 8389ad47258905f7a57a32ed62ee65e2bad966be 858dbca8245af9e0e91875eb3e7ec93c58658099 98304bb72c978855f9e415b5cb1b17dba41cd197 a15ac3884b46cc76852124d78b1a434686535d1a aad474fc2df6fbe773919dd2099fc67363e450ad aaeb32e6425d888c6443f527dbcae450186bf0d3 ad102e33657f7ff9ea736ff86666e5e66718c035 bebd4ae9009a465d7ae720fed4e0bb47247bb716 c520a36fc0dceacd9681ca3bd364f65243c34b5e c5c4e60239787ce0c3da831532a90ab0dc9f851f c6b0ce58193946bf5a1ca7c1c619d468d3b3f452 c89c9186823cf4ff412ac5e88fb98debc9477e88 dc785c4c6855f11013b8d022ba8ab06b1cd3c3b3 f2faf48c66714eead5633e237a996f9bac973360f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 97f2a8558bb7c10ccc08ab98510a8e738690f181