SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  , ,,#4TL ]S]HRB-Slicing:threads=4elapsed=343.395cpu=1015.436gc=25.944factor=2.967zXZִF! ;T]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQ$:R?CFi|S\_YDOnyISvKUtwh%sFNi4S N,ٞ?Ti7)`ʼn$d=-GHxɥe_toǢ|^FY7⳷QXHҀ?\Pۤz<*X3v>{QE l8 ftO #cfwdr )eT̶1oVf Q8X٨CG2|'4*=.Y6D*'5J&qСˆ>*`:~ijᧆAx _qAM H:L"_ulm==/AWbxrZNJC&Sh]m4-avC! K!Vڶ_jHi$cpgU{}=PkzvW1UMV삉Uc -5]] l\" l1jz}`m#oN|5J(d3^lv P,&Wݒ!C7U8.rp2-˫hl`AT8`R Zq-Lۛ%Ӽ$%}rmmΥ׌7~"6 F[?U ,,3ŀon}R +T@K~ 3ul& w:gu1~Bt7`DX*o;mlNwrLDpJ4I\JK|^ʕܦ@mDv ?75In}l E+RN0<'RJ7DKeG.fWS` fUݷwCO:Ԑ yI;{t#*sRWgw ms ?=P2{@MEEL:˒C|s!Bd*?Q5+=䏸0HT\8\DmJ0=ӵ oi&r0暛 !hce.*9[&֛}"dGs J;`To[2M/ǝ**"w2M.;#=ё Am-K?aDK-n=IE-KXL2.%b5`RVBj4;..(w؎@BT45wcVsvO2ϣ=$罬yhݩG,iQ#%l鋶3;hǐ` q)ʈuiD,tx # HRB-Slicing  br-G7kт#}Q^ I;h% ES8hFǏaa3qes`n!7ެzg4&f[iv^iq*oMLF t>/o/y<07mB6r%0S-=ղ(DM>D3Wc:c %2 ෡@q*0ku ]"h<x'^!*9: KlRyFxk_^/C;;敾_I3Ӳ qCH[A}B {9=i"랣d,!cO4p7I$.2ວg~ƚ{'^LsCCV:m'+~$z"ҵk< I|%̟mOiV8u˟$){IYķ|oWWeYpkvoྵ6- 1MP_\>z/C}o*2"E{4jBbz ))X11#;dG \j;6,:짩D۬a+7vt~:ۣQ{(b#87:7\Hz'C?fUQW7xp e_]'U"u O3~~w_IN# I>ȷM9%~)4HQ7PbdJ<[PXWnKE.q[ֈG%M20cwa+Afa`-De T{}r/t!O `˚Q*Ef@ Gq%N,U٬Gߧ$CzXzȊЂ^^j mIsu@[ p1jFreQÈC'~LnPK292#!5NqE{\qcB>!Sr7R~RՀ=∻%)Py} OcSmL  >c"݁QO}) ۴\RV揙/&K|b:7Xp>\IJ R\74uꑨ50O1 Lp?Ԍ^@HlLLxḎ\XaTqky<oL2HA©\a6awlJRT`Z썳7c6F9R2Sq]Tг3d0bD\ T M:tBEIv/>ǛTY"So-͚@`Njj;>;(?Hޕ7/*BBϥxWH ?{ACjg `Dפy.re.|WF`t7!GsQQ5 Ji '}$ExW1m*lo>)6WP7l97!YHi |$M+mL(#s%vi^*̉z=W65P@r8اj6j s+%fcw5WBVl{Ԥ$lEDf[SG@SS&7 ڷTN֤tz}@z)Wp c hIx I lP2nZYw$+Ik,;r%E6P=LtѺU_EE+Hsky}9~T< :A㲵@ YQ -RsSO?4b\a ɢ]f_*0g]JT38z{x`S8j̷]u RG݂W{Us?"1"©Y*O@UBM^ɃNMLf?NkD"4Ξ'z܋GD}<<&QgwFd .|;P<2aeS-; m8[fTW!(3?%%xlFa{Xh#&qw`>^'(@dtq"ƴ闬'|AFO,?jg_'Nh %p0h>&> a!E]d=6N$J?|ܾw"fy`HNvurN |NfX!0=s LK%/zHr%@SR)a6m ?0^ӳO,WY&a:> 1Ճi]cTvP}OyQLo TuFTlS4fB2N'iر !Ԝ\-i֌N3;JzPd4竷>7i G/ pVBAqCCwaj4z$ \X}>ZֈGgtc(݋ܾVK|T=v3bңSi:ao6d-'A23$ "#)WI C]1tR&d A U0F-Cƙk Ԧ 3!4ͻլr$Rgw M-k:'W)53qbAj6}D"˴kP`&]"PD RkL֤$ZN<''J̬!\K0ZY}˨SbY?3y[H85? g;tp{EJx#-8\^9EyI m 5\nh?Ԧ%J,ԱAz(;$/7 NԬ/2{ۻ"[WƌHc߻|ɲ6;L+vgYHJNQl]ØIe Qmm ;eb\d bH`?E'b=ЄJ!?m@|J`²!|IYGiXFu=/1;%1k}Sk&Lőw6fWK`u Gq joJTy:H?5'lW/Au-1ICʅ@3PӇ2f1=R(6)*InW{r1ܭ gAY59c^6RrI6ԑTKP- iڞH1)*A:c B4r6gYZ7zXZִF! `d]ŗXiɟYyTv2tL:ǪCaO@6cW;o>N26gGbjK!䫛_=.i t**;gz˖psg82WeFA(a@`ZJ6dR5< 'hu||Bz^X(a;Ġ74nU!r ̃9S*Ua9UO9sZ3X#Gv-HЉ mhfLAk2a-yANT Lbm-x5zog `PZd~bԒdNQK|+yճq~wxyH?0KiqRڥ e)$69倶]=ʯ, R1/ q 9sI}ya|\ Ma/ $[5ƷU{DMv+v9Kj\g {Q ǢۻRJ#w>lwXo"'m`j﬑V-.#zITnG9<8-~fT3m"$VVʙև7y4,c=8ZA^5YK$[rDxقh33dӪ4yvffGǘdVv+! UӁWΫ%}|o9\Ջ;[S _7{EIIKM6wc4-G\Ϥ\0c&& p%҂h ԕ"RlpCK&YXҏ_&z5ҥfʶ&[R:BGCvJVsY!#iRc*APUJTi͋N;Q}XM͋P174|tcט ]q19{PMqw8ӂTI`rϢ;uMV_Q*b.믶;'W4G\Fm>Qv qk8ӱ [a>U 6%σĪ>?.өJHTl1HϦF)b}rvl3rVV;_H69z;6M_Y+k$u He*#bεN C HpxTe|w %on|kZqʧ Ԯ1^<xP& =] U?+iqKR^r7oz2d+zmn<l>mR*8:TfІ%ENY¤ݗe7x '[I0~=P2pB[ rb oN/ysna.0յRؾp(= 6.eBuO5oM5S~_.G}}2(я7Q+6Ljbv8l&BXkקՄ kstO!goMп zfuB͑nV vThbϬV r=PCUM@fFɨ&}}[sS'NR M|AL6K/C?̘!2 v]qmfN. l\eNp9㺶nNǣ?;aƿr ̩=hG F,MR=&VM { /L$Vp#B U;;7W;r@lOTVϯA`GV1n f^5;p  ?Wv!- Q*uSYB)dF"S={c;r(,7ᄏEćNn=)ICtM jkpopC!;YK+kЛ}juÓQƦE7Oauz ŖYx&-@Ϥ{HBet׫^%#: y攷]_1bd [sCxoz`nd & }Pvmogȶ}ѻVlaPZz@p̔O!sS${4ZNS؞`{Ŕas870j/1x$>HVNim;"G *&e)%( uSXQy7|1`CK=Zw2R W "fM)4d?pa9cvy nۘ3H /$$!DE $@-LVͳ9v #b~-爷 mpxM5+z3ɲN)W"݀}LEcYB܆̧Ak$dxѫn<~Eo>q2tSB@ς|qV Ϩ WYHDL$k0 pUD}v?3sfo!w?fЌaxNJ[=à crq^Hy-OZq sS@Oa gawNEMUgz[ [u/t'q."i_>\^a@Su$Z~3Z!OǎR%> 2H(@?57?ە;5y{,ҨSJ-j @ .F~#=?|qCf~|+ahPZWUK ?%P) YJg`嶆MZ¬' 0ey擏G|9mD|M;ski=M6;.W!.Q7 =nו*/KDpG!bFn:a_[lnHҘ5Vq{\yIUah'c}-ciDE]SRTw%-y>?ޒʊ]4k'4Lhǰ35)3@)[^15W,'zm|SR$3՟р߇Ut?[FF)r_`^:z7+S0l7ަ|y޶U^&7u[zPӇ4 w-v+ # >6[nX{z𢐁@4{W]9x?P&+uGwe-Gn sDH\T䐧e9&]moQphd)1~qxorvfązG/Ӫ-qABFXfNس1̀Xoҭ殰U8ilԖ0ϑtU)W͊S:^O[`{\/ &<~gܼocΰv0FM_Hu)PiUDW_0`x pA>7OFbQ#%Hu^>ws$ \r o3{Zh%.(Oo:3uP1p^ ]7ݔx7wc&d. 4'TQ#.ڥ>qY>5rCɳqXv{r˂0\CePy mH+WZɔGHX* gH֭EZu((T;`%; +-;Kɞn=(/VnmiY5qD QGYm/-a8!ݗq&mc(|ʧ'">{`ĭI>ev#tXlr 3#7\s%tuGD|g4$DiQ⽖2w(7֢bT} wbb`1h*J|eAmuGpҾQŒ5<ڢ/Ť\O|vq~<&2OvIt@5ɛjjh$'e}PgWNybNcpMmgn ߅`C@ [ ÷MmU~igf&Sd/Huy7!z\Z¶]#Fu'}8@ڴаCʥ47m ZXϝI8[KN8TQEoM%╴Ҷ!2̃|SW}\zF[8!AwV3j-VcSyWg-4NyɕI' Uow[<A݂ =RP+þLu٥fUe#$c!T"hu[읲2O| @?3^wJ-ݩ #2У3+lCq]2}'n1XRsԱp ˋ־8c<3JҰEb2qnCxaEwx\ N7R.ap'"W kWARus`ɀMg v4Q-xIĹLAqCtf~s$yk@-)j *$_%`}7*k9_v:\i0q‰2ݓ 4ӣF(z ድey*{d}^l' j 'f:ݾ `M/ G_ 8k~i4@O4tx0us$N-kyᑒWr!|^NYbHѵ\ӯ iL=HyWhlkcUl8VCj2XM" [Qn˜IOVhMV5ṅxj~0k i~J빕-@{d:`Oyf$9__?Y4N.ѬRZuҭAT90' 2BnA]-nѝ4{Mϳy~IWB0JsLYC [,t悭$,Cxu։Sψfɾ{[ߝaS$#DPex䰡(ckYvt!Ks5گxZ2Rd\yrO?Ya`& O,m6g BI,"VLo,>H[hUN!{As+$8jJ:)^7ũYC8".t- mʑ[yGȰ[QvM$m-ԏTh00i1<,fR7@z[#_8DSmӯl ;ac2a}b(sXvqdR7PKj 2Գ>%o@ XL=Me2[ _|=/2j$xfqPKF /KTb!oAU i0@8Z@‡g;q=al;> O+K(5[Qɘadnhl &R3kLz1}ōjjxκ1@u3; ([۵aFby%kkjnLKDe#[$$T_X{Չ%pzFq4kmbYUWhͅf4؈Rs%{eOޭ3 ?́-7p'|4-"9ˬ t>j!R@Z`ɌMQ=-ﭝ+g7f̿ڣ6xsnEӒDv#vأA+S2ڄ[7 Վ }+\K܋F8Ў0O:ė tQOVf<\69021|\U-ýUB \4)dG-s>!ueG쯪žt)`t`՘K=y4Ȟ0VDRD*"(QRčXդ$`vfTa)qv;:4,&z[Ɏt%6SCV pԥAo' -|AfȘi!8g kje7n1: }ZM/t0bဉG JYLz(̋\j *Ԭtťh\uű ԩdo \<ǂ(UJO0|ԭaq#?I.[7}1j-MOk7YH$+,m_G*~5z}F jh dNPKpBtݒьGw v*qη,\=SD|s, ;*Oi(Nκ#B²QS U.^$/@> %Y4B?T5zLH$Z~`?٧EJ^((B1mkܣ*]sJm %;jr5.$2YpYҶ$wQio@&U4~5iHeD$4ݶ.& :Y~j[flcNu X< Ucz+i7gNuZsjH K:8eXNO;W˓#ɝ&4c$}%K@=6/>p S鄏2{c7j7}焤7\Zi'?xǚկEf '0Y96 ̹5غlޣ_2D҈-CF()ѡ p.)wRdpY>LFF 4RUz MI+nA5oh2tdLm60vBUfoCZUʪܿli~a,;=3!Z9D}IZA@j\`&ӶI,Px})XͪjXM>Cl$NDmTr(8lk~<3Egpt # a%LA޶jL X&v"<9S`ϕʊ8|zc 0;aiŠ*Bvq&]t3'*s%hXkUX_|ϸӚdb"7BD069(*"^ 'S+C9@Z.H!تY7Qb,G@|NhMEd@ ` JHQ:DX?[7|BE,>xCLj:&0<^}lPLw9`Z 1trqpY [wO tbr۔ :u9hWZQku1+dk9x1 $-jd}x_FERg8J<`w#v':TuuUa<22 Rnw،\t0_wSkL頩^1)G>0b5ZF7xy}_ͤp*~ T^ǡFTܩpys| 9F4H?xF< 뙑J,[IJ2(Hm)ܥ9/8J2ފ Sp3$J*WS {Oq 8ݷV@?ɘI ٛ $*`7N)^ Mli az nGN.JQ>PVm,j~9x | H`z__g{:Xǔm~F>@)jA$=a['5df'?5T8: p-.[z[Zڹ53\4}6!1VKn4\:qC,"g&ⷐӥeaNic(G|u \ ıG6I~'ie 1jvU,ţHUX/EP**ޭy[? O~"0/ׇTMA$& Ow:3&`š0]=Ҭձx斢_mF0 -3whXPʾ 7]/bT~^]mEnE8jCO]G*@t]\PmVk;?%߾D*45I3|hɛf%/ۯ`'atG>\M0}|B{Ar^\}0athc0֒8&@iP θkfv8,u_skZ7lP7RNSeh`/֠H9 Ӂ|̚'<j4Ah*Bo}5: -PE!~E5&_6>'q@tX`hJ^y<;! ᫓\FM)h 2 D2p$T=/2 0ы|k_W]O!n6,UW-nxmW.ONԯrW {#_Kc*K,'+dg]U#w^ {)E˥\ E'hVp`Y&PI?RT@Mv]Qr1mN5`eRI0 +Đ-R/W -YN]8Ҿ'&w|wmk/HHbfDNm0Tp$l6ҀsvH WYb"n+x>v[&JYds&# +/ * :J'|uόJRn!(5^yjue.se;[E[) sEoZ=0*.eym}Z(NX H(&+*jB;էK~$hƙuR\e"]"K_h{Sz)Ih 0sfTdzJFmO5xؼʧh\H!45,:9f 0h/9$Е|P*i1Mg4G^yC>@SmDW N@^?N,C:·i$vrF<TqQ .17 b(,ֻőp6p쭈 'g㤟+;([io: 6,9cdoSX$=Ec^`䁸aƐu"PԩZUOʿwnD 6YtLXڡx5J_UIӃl'IrR'Kz(xI)HS(HgUo Nh?<5 8լ ͸.9 kBjI0:¿@> _L0A*uVj}\XHus$~V`/SNQ7[|TC76 bZ\3hz <Ss7 r5 [+f@֣q{ ɻH ͷ_|{M "\eCV/?Tze 7QW?zw s&]Q P5vK)Y "GveQ|^9.CVh6 In9>h5 FL2b_;7=lC$)0Z}ogRNQQm$-(+vxA^V,hjΫXe6J5.{qA_^I[~Ў׬+h0م {Ɩf:F>](ϛ;& F|T$6T \Y&'&v$ߠ|VMWM;E$98G9_]2cu_>T' b-^ fԛ E${,HNUMlzqN<g1t6-B؍[FiQ637 v[u 21oS o,Laz)2IG)?'_fCHy ;4 ]z9v/ ʦwz(@T)ylrVHejN.GȨ4gUc|(@M&d=*zy6H>.7|HBxƑFfWcZZkć$Sn kݶCYumTh}$o1 B4W ͨz uN1 2t !d/[#~P,o(н|Tn$XG?MFisg5˘š;ValΪu $y/"d pSZ&V,b'ZG4BλATU# 41T5 ju+ 3Oտ҄](KyCc6$Ӷ(j^?3ăQ}yEQ i Ox=\tZ'U y`i-/lEb#JZ?'pP~"y&;r Z#\sR# )58j}^Yݱob KLj-Z]-vg5,1 갧 L{s&\Od) G$ ˾ ,y )şHkh,6Nūeq3$sP\\&i_Wx0e)5Svi> Y r-of| s˖G}mbVBX˔OzJBfX "*@>b8g)> W~ݚPD?[|:}J=?-@/j00:yz n'Sb%[\3Ea}Qz wh:.g- ̋%w=09&G2;Hw[HUӔg:OzQ̀?< V/Żwُli[_"`Ohfɉv0!/=!txQAɆZw&#?$V:wS ^/>:E65CI&7D=`) ol~w0ngd4vѶ9I9Qo\w ^-:\k u2]i9[x@'LT)ſ^ŭqܨsu]*Ȓ)9 d<᜷i+I"f/!PDL95{\=Ʒ$Jk;"3Pݠ*hs&ITE%) RG&xCg-^q;;$%I@ކ`=-Tо.LV' bt||p p㸟IoFZ"+yb9m 2/4XX]GhyC~ox(Dvs]~gn^.MNh6hNj%K@tGW sj-z Ҟ}5z{Ȟ n|_7J2c^%$*1.ڍQV{~'eXl q;>6p1EU?`}~{TMTf.=DަȭQ0CReGk)Z#b$FtU,a<&⎓SJYǖ;?8awoOԚN*u▣-, aJv=[5 YMWmpgT6\Q2A"$t2 Ux SwwUFڪiOBoj.F*M:/rx: /nm4/!woYWe&n.qހ]_炴RqkMP;;q]Yjڎ,0wMQn_ѐm}v鈰Ӎ 5`v[jBљ}QOՆ;s|n y1]=ilVMy앸uO2PaYDtVJtiyЩ~Нuf 悵9Y Q b%Д xd(8IrJдS=H~3;d7eSt)Fς(1ₘ79FV21z6[< ڰo't|(̝&D%ncӖV8+`)6fq~nKd ?xyrA/c)0|g ޖfs:+ڱ'DZȝk.%;\; k,"Nҙ'Gie0Ʋ\pE"nIeTaLP|k^i2( \Yk#_Ot6K9פm /JrHAPfV;! Ƽj#0dv-^Au\ =<=g|ZJڏ_#4{D5Pln[Ud*AK[ް'Ǚp>}pV7nB(b'y sfKBJ\/kx0릁\?7=n;~(ؗk4 GlO4Zs48Ts yW:DR'FuCMMvp.Ս MN8Wy J#oYb91 6,$ӛU*AިC[ ZOH/3Mr*$S>J"WZ\b'D{$,#ʏh,--n̊<%{&tySSao[Ao%YzrE)7>W"hJ[3GQ &h#kzIA㻸_Dd҇2ŇOfNDRؑIo~dN 8iʽOS XG{55RH.5CEo]L/1oiI$k9O~7MRU}DwZA5|5R!߳Kq~S_V+ LG>hQ uw.-toi ]1!&lhPH4'vU՝68G#H:Ro_AM 'XjFY.?XN1˗/RSt2DÕEnY;ǎbLQEM2b2O/CKt7N}UK9ƣ"5,TAT?tuqIFN)bBǁøΨ 9#UD=m JY6 Cl^J=V xZ6܍g4'4#t=tvL !u~ }Iq?~c}-WJ|[We&gVgFGZ'<ܷA_mOrdMc<Vq [b]1x VnkXzg}R&% p Ŝj EivIC<3Z7C&5enOAqfE.aUPxxφꈮ  J|g2C ӀUQ[{փx^&$GӅ~zn-#m@Lp3TVn_!#Ϭ:8#=*DX}"QM wLp02X_B(rf)e2(CET{ߗ!*llWNG^:Dl! n EHhfx^d-ȋ& H5lD{uD.HK$!$'EDio ^n77'#|\Ԡu a8,m` V[X<ɇLIA=l3q6pqiŃٸ;z킔ܪd>С ζHr-C{=.KYhyT~Ęvnlf+av8F!bV!&y& 42-+†*=DP@Yu0j 14el| ?T&3ng :aD>gU,c\g,%4=o64zې3CDPV6`SW2 J$;3t!?j.5V^48x[ޯSkH(܀N`O~l.ڧWlSamn$fq@WR f4 %P}/b4+Ql17m&nI}H(=F*Tpxg$x3iv Oƅ FʵTmcIh#wF.w4ޟxE#1qH6 7+[>j:'7x^D$e F}讗[97@eWrdՕl/5Ғ¤l԰ Rts-bL`?r+q856S;uP B@w3&7e-PH(9 OhJj ؂YW7d?;!qȉ5 ձ9\mHc&)}oEX%gdDZ +m_ES^$Q$'rt'(Dz|# 24X8ZHLQq.!eZEham-@_6֬:2>(8JeauRxdIkWNwt,K}%xJަ낂/ >El=>ǧ =T|!vC7<`!*y3/h=DPK@u"Z~Zwr,W7"~ <|uN,dg\;ճɍ;K*qސhH?oQcd2wua/-SK91SUd;zҩ-_;#m [9 =ih%han]V=H Yj*".v!~_MQ~QGa<[78m]m|ސh# N~ q jʂwۛY"KЏ9Wq[k6%&|Z \>8)Zc5vq`s\V?-F?,@P&9sD| {N٦O0tΓʬNrn-s<4|/er_RCLxjSx@`}grYy6텆ػ농g =_oٜCٺ7Q0!^$E>=HEy@A\#)u$a\$ E 3xOn~V@;K,//a&Iu|r))gx#ZkfGK&6J#LI[Tܡ5m_7X jbES͎L`&@TܰTO/4q ;!Mr On.T|f§ˢ,!^p yjki!AKׄK>OgfFØ:EϺ5u͸n{RD[Z>V͝Y^|!CԬ׽acCP :s_k< 75Lhxl1f3E/B+d;v1QۥYEp8pUڏRgVbm {P ~E/D7)$$p|[?&wVT!}9oj]i ڠC ٖOMIiW¾)w)+wY &x`P{;ӂƙݣusu,o?;Fm%^gm8L]-'3u%%~6^ai WR-#)S݁I+F-\ݖ>3/D#H<6z|A'k4#(i)54ɓ0(oE' ZqP~N,=Gx!k0V=kz=dճI$TO?J{ؒwax{"BV́L9pi> "(cA.Y`p !XJ=w 8j4`CkNU I!=R֌e,DIC/:;ܲl4)1FR,O67,oT%PB׾G],Uhқ{9)% Z|wS #NpfnRj; VK=R#I"׃dYCK7!&0m>aoGfl9b#7{5CJDņ'7yIG3V NF"m^[ Y?#'M5BaZwCۆA7,bK/;x4H]%^M>~?x8F_eY bBMlO"&IWR~;9"Bg%&uͤ5OVO{:M@1JdRb̖IVvÖ㏻1:{!e>MDŽ{o+Wv$toۿnK/ȵQFqԩ-WSցNv1d7ϲǖƦm)ّ]G!#Zxę|yH fo7Xz6(ytOIkv 5 r\~gE~j,v@g<1MxaO+,欱;ka * 4ŏ T$IPØ .Uooa:qaDlA$igS3<ˊGLYTB_G@QP0Mx +鋨=zVPtF}*CC¼+2 4:`eAq)W@k 2I˼J˒wr̢ Z+ewTKS2gI^ Ʀг# 1w5"p]][*e~ŊBp uCZ` rQ'vx9gٜ'T4qM ),!kyir5 A= ҧH )]=${A9"ٞ*mcL$s0|K屦 *Ku2Hl9Fܢ8ijuC*w`ˉ*TL[q煺 ) R$j0DC423QL"uҟ#P䦺ctOfmgڍ2nGIxwv3e_6̧^*7iFm.r^N&q20u<;yUbt ]M_[03lN,ε;Zq\J^AH??*I ~H\ih-.\b;ҦoD#ԇ!_4\!XqGjrҒFb^CsK<.Kk3 O[r)[z4Y4sv;)+jC˓~%rXH8LuהDF:-IpaZPV9ҩ7>@*HͦQ3rO n칿ޤ7>gmzL\ B*qfd3 lȶ&nn{햓-4SFY= {06TDK}|cӄܷsAqca& |ʝu(uBz`:Ievh:ڝf7"FÊ0 ƫXOԗsHPxRӗ;'޿M o1$$8 I^Vc[jL?R,h3A [CLX6e5Z໢}qiŷ!0YB`X/rw/C>Z'b_CHFLʕ{Go)FB'fP<,_i^9G1kK+ߖ )ąXPyF):7TX`JU'Xxmlhm] ᳌Ò`#iOg3=PCAyJj& @FU8!/?tSF!V kR ULOެtrcLsr6αQIOԝ>Hd |[au6E _f,_}׻}Z[rak8{ߘ]g{7{D)kmq"@Ek\I㽛ͳpug}GJteh Ii. 'q@SUh S=}!:fDW4"dB^H%CQAW渡ƮX9>^7Kݷ_ñi1B;{RxwF8,[4͑PGޝ5o vh<3qɺ/N>KfKOw2 >fGaWF;+"|ifa2\v ~jTHlƥX.i%3=NHo.XNlCt\!$MIcmd![G/!CI7ЬSçn ~eXt<Ȃ*q)^mV'6Xl4ƆG|3X" (=%kѪ>~]ؠ`ՓNR)'e*PE4gw*ڡ_޴*lB+8JM%wi)FM]lJi&akE<ۻFd?߈{^ךɴRE36̳l#WL=xd4/XtI_W^UWQRn$O| 3ɫ6 w7~ ޤvӖ (p<DF C 0; "zdD ZH@a:"bfiѷXWPCZTKI?J>WY,ҔŸ_VOpq+ Mb^*bW#륕¯n-n =һUs6UZ1C5T2xWB^@$['r6lh-Uhb0*w<cbDX f [mC[}XE97O:Nc󄯦u͞nx8AIɨjCƷjuTE&"g ;cR=!`n BT|$/l#Գw<{]u\,xw\JVaӖh}>C|dg3,bF}ʛ To][O<3{|4*9Gti8+ ䷐.B2>Sf&B }䀍IAl[0eێle&UOIh_6g7)8= _65$m2k ;(Kzo絯(%AFA/NKD7ultB.rK{Tz(gJ*sZz(.]h\%>(ȏ TQeqe9̓e'G|P 1Hm |52Чr7 ɨOgx2 #6|(TXHV_A2e hȏډAcq0Io >~J:$acxs tр—\ nhzBjB'f'cߓit[IJ h3yB=3v8ۏ[ [ނ}mbd^"4 CxآzI~#uB[٤Nf;.Lac3>fg7ÈQ`^8DzV[zs|쳌qCn"xt:?"6=xH. 5DGI?ȿʖlRYLr B$0"Qd GG|Ak;ЩYw"ogOKYL^Ksw|v3*n9)M@ިcFqznΕeԕtyLaGt!|*74v*6Iyt/ :}:d:꧋bA97jb nާAqvMY\+HVO@f2BRWH dpE? ÆuiSi$m7XA HY;,^xu+RHo8_|<$_Oj-=бeLJBsyہ;>z{Gd?Ρ1یk̢πƌ%־`٠2Qв|sqTPEnL^g-TMvX W.@?L)vuGBddAˮ3 DV i^Jh0&xUEA].OvtEÆ +Ձ½ N $p}؊&ќ oW4^!Hfax/eKUT's CB$XY*Ds$߶e s %R$qG24창ޙ#&W3*Y6k Է KP1^r\ѫJ- ߨ7EnB0D= HI *U FFg Yc:* +g8n:^p"a'T:}6iCn>&Cʷ Q 8YOKZRRR0 P qDQxZ !VYg`v!I(׻zxzmȦV\`$׏ y8Y7أS?;8+SBHs[& W;1ӪX.?k\u˩?76Crf: Ksg1KA)je= jl NZ9+y%wPqc#? !wOlBJHy8$Yi~KB %H& FqcAe ;}:?7^d9)QDr LZ岡ՈD'0BNU:2|1Lxf2@nCؤӡZpϡ/Vp*"  (U7S^o(&zV߿Gv+gW+˱<\ hV􎂚Y cm՝ȇn %]P1ns\jfޫFvu]HߴYq$%_d~b_rgYZf16de295ca7505288debe7a2c592203111bbd8de87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 c97ab6c16899d79b6a548d87cf747c12e977d81554aeac71bca354d112822f6a18fc93a9aacb2273