SQLite format 3@  .  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 a1|dL ]% HOL-Decision_Procs:threads=6elapsed=262.179cpu=1178.072gc=154.572factor=4.497zXZִF! v]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bC-qX3ODNKlz;Hn+܋:)dki൬jYv}OS?wmu峴?>lB^/$_&2zJLIUe#}dct (HjMC<.okͫhNmJ5m7?ARp?6ƭ\^YuWW2a,)%v5zXM؆lώD~;&P YpRl <"C[шzitK C( W{\$z 2]CÂ{g$zs1C8`7kN p0ʲ:oŚ?xXOq *`Zd=>x=P3SXәFH-(,R?oBun3X3`޺~zS9R%b h<$s*!ȯ6y;S yW Y #t{rTs ̅*ӆXWi|h!z<邗 jZRN{F\%ԪE@h<\1j2]Anz^\dLTӉZa{/wS6/}4F` Hbqc>N~9bfCjB؟ެ`QIY_vM}Rv0T:}IY#_K5Lx~v*3]yw&\m\u!f,MΉ$;aSSF}.f Bv6;XQ]vJ8#>8C*cD|g 7<إZ[%kw $Xb>/6H,_86h3Wվj{c:/Fxz5/dv+%y}QBJo]+QS TwO&q<,l"ן⑻k8,mJ/xW7A goT.,S[#]̅.ؾ1SӮ Y=cfǣr#* df\d"kAUׂxh0$q*޶$E3rk\zX Iw:}^Z-.m#2Vj&\J"yJOYm9=GM3h1~9Vpr.ag 9e;t@sJMoScA&ǵr57 +!ˍnXx'—LVOl.BЃm1vXV#fzŷcF%ҤܢSf{k;]O[{ 5Hc)Z2AB^Ub>fܒj'Gk"zeş&Ck1"Da~lzrͣlNӡ:,;3 !3{㹒&/n|GJ?tf m~ [d, 1 HOL-Decision_Procs   ^ Ig5odEtdsG圭tb:9.\\2}̡c54Azk<3,]%,}[wp8gY)9 *ʘlQNKZ` #1-W;g>vOR4j#އO4]OWPYܜYp.]LS:XT1 ( y?ā+[Wb4Je Hʳ0 |mpβ!իCV'-36_E%e "r:?ǵK^5t!AoZQ)bzI2lnC5~;vŅr&x,F,\8HLV#>6i!NCYF Ϸe.#L]2ٓ&+_+ vwhۄG{zQ"ƚ l5~vc_ʳw߿:Y3K؋N[tٙP9”ƞy+~^aM\w 29N:+&ZPԜCq<\tQ2GφojUFMŵ邴A}BoN0iya[ '\PAdDžH5˞: %b&~S:+(ޫ\<,N9WdgYi ^WVWz6P8d'h\')d%TcA4ދPR-avǫb/g Vޗ =0]K>I8S=2QRt:{ECӏw17c 9'cZ.z__YT&W\P"%DL{Z]j}s4@-*9 ]ҥk؉G|e0Pu:~V5;qkO-bBߡ iޯ)*]؃њ % "W%2R Gv=cJ/۞N4b-(rLQv, v e1iՁ_3cLę5|GL =+~lʞ Gu$mzYtƬݞnUfmz[RfBԆ0MOjvmڅr OюTZjM, KcCpta.l @5jF+UϞ+g1޾RP 㨨G4' e~X$TFlS'[C}Nb31X#TxVK82TK!I "rAEC\Թ?[;[:1% NO:uEm̞2~s&B^{QvLԸҏqbz.;8qpը6o \Y}dz'q1ɘhR"+N>wUȧ۱Lmk)\Pٳ`'!3G)stٜ(e熛D@J3bW9^WhTG[N6+B_z ^V (ERU2 3S c"EMŚ?= )l' :(sἝdXq^01ߓr*AzZw_zY.t =<ۚ%SbmUQ/uWX `XRثfOX ?Z&3 p&ҝ:'[9t]&USרϒ#Os_ ߶wgpl[D0"3ֆ!AA1{gF2ƻݯN/ B{$4n΁%bɄH:Fg]7OM,fs <{|s:1#ɾ9&kR`v|XItKPArI{Wvq|}:ƆUS1y;Կi?,tKxM+f'nufG rIY6bQ{T()QKի}sjX!&rxo0iԿ\KjPE2-*m&a٦Kl[ˈAwX?k*рCǂ ‚PdcZ7IM I```,!>a.ܙOh?s'q7) -rdy"`ۭRkF؛KZC}!7#S'}=@YfxKJj* lnI6p^J"[Gqh> L%~;}$XJh)Ox#te08>Qq5j4ɫ}@C](D~:!> r2̩v-=.b?: )X=`l> zߟhhsTcfYL5+"1堘5B\>z ` ~iBGķRelqc0\Yiޯ$6ж=fi*AESdE~O/́x޵ :{W$0K=vxޒHG-z3[8:U駷sG4.#N֤\含9cr(D.x?ιM>mA]@܎<_,:B=-jlwv'Y::cʄ#XV#DbQ#==W&28מEnrTZT֘OIE,vL"EO# N]\*XTB ۿ3r ܄$*q)" VvšHm'Zp(>zy0I0kp f;ԍ<_-;~ Iw`9(3q* o4nur݂f*׶ۊ+s{i',{s9ON7ʙ 7o m-IBxwV.~EY>A+Mn{3f`eZ{5fk8<.U{DjV3381IН=j-3 \)ؙ5L?VJ,̈́QY5҆4\(b]D!x=9^,L|5V^ocisOC]Uepʅ_i CK\H؊AKck4(.>nwH|tWe[{+mqsAr9YJS%`g2jOB2^mM"hAoґWO2_S@/2v)W J@)QMj~زwyUHRVAT]?v-|F50|eLRv&f;TR)b{+oP*~@'x޷YV^Oeõ??ygBݎ]䢛0KSe QI@--  K^"ӂJ5u/73!lzc8AQd7,tknԙvFz,RzJ@f $HBP>'ur@wrXGu/bbIwrPD9\k-w3t4HCFj+ -Egb'dM"M}Uc@([OqO8t|#9# Cy/䦨y#޻flK;)p5fW)tmA=JZ-ibIw`S!ؠ7F;-7rzG.N%^B6eإZzޫOSkQ' @8H pArs9PV1Vs)cRl|pK`mv,KОn|Qjp eYodk'?xv_`tLs&rk9L$1O ;1س.OgYZ7zXZִF! \+]ŗXiɟ17L? KxlWP8SաM~>fٺdP;J3R?l(.ً\&lq1$RJGef @IuT #VX[Zf*<p 5cZIhi<8yc YF3 0vn'[wĽ4)GI]v 0c!𡹴tɘzOCa u B,FWrxl!VV &cM ( iA]"zr3teoK'3e; l ~0߶6hADլr:&Nɝj+]M7&'/M>Va(" 8|zf1;ME+:ZJ>k k爄Q7G M zIo0t] j@$=Y @UQ%Vlosd.>AcMhiׄrkn. %*5n)zhnT@H Ou2t5V-e;>̈G.bM6p}].0,*zE m5hXy@*8~ A pX4L#QNK7Tk|o"/$_+#ٛJtхڋ.h}Ge ,^؝xP~Wa[JTN%) !y(A2+2-8lyZODLFT΢x9.ק*-KGňq28,_\Zi0&LXǫ:z LܳFT>v6Ms;W);>iu)=E8696y>|}w%budnA?zOԽܳ9xY4_bq?@ҟ:ܥ&$lWqET4VPntפT>+Y 35,p0y!6$t$ s.0ifE$x2Nd>a%Om"HNLSH>oi`*ϊ\rhZZС㜔UvWva_ʽ&d? 󥱽B%S' -mIz?ꌟ6ˌ8\kI8@(&ݩy1JHOToPI݌8z6 J[de*<2BgQĔ6| Hb8 }5B#=Cy*X֌Bm]GČƕmb 񻂵X@^قEXW:9Ы}ZfL+}! +ьG/$'31Fۿqh!Yyڏ ufNmZ\+]Zzt[jBMJ,#yo.)}MHOB87Abu2LkOaX|m֬>U+ fc !^([$Hjk \MWD]>9')\;GkعM:0x$E:-~ƵgX%CܟLzj8'3qYD$%@}#B8d`ZYU نps,ow¢B ,O%$AE ȯ9)(9&zt; UH6OR4q \NjyMgT"grn.ߎUO~e B~觍 ]zSycb8(˒\]}*aeJ s&EkACn*RZ;brTBB7d^vkͼ4#28djw߿E0|Y_\GܴZG[aC'j YFz&5dyG^v.$#l'$VO(qbPZҪ5BW"a$/TufM*I^&YX `/~_2gG#^`"e˫m>Svٚ!%ld1ೋH F^݆ 7^I J?m2ׇxYb!e n?KVGS5g%j斞*-~VdL.VRr8|)IF⩗VÚ&WIo{d ܜKď#]2PBA ;zoD Uʫ>xZ`ކs9kIAگ %&\?Ŵ"$0L#`Ͻj2!n 3[=AUmf@J3v'f6`ģ~M>Cʤ;*Ī_׵VsXfP " 2.B}.–*ɛ'RF)-tʣE9c`{E{M{w`3'L_[LsAfē1ԏj6eƓ[!h~!suҚFhP2[ |gZ^L?V>p~N\\?$=p9fc[4Sݮ Z)_YY㸀7-p%"K,Ш;&sl/ˆy}^aBD֠ᗱ`N}e\|\BrY^g p{)#!h1s3aϴ nBrZ\sT/yA?[6϶5%; ֐ ۚ!z:5}DGq%t9׬31uiI+ |YtGi4hIr. t@h\ͷǎ\CC)]n!G2\Fā 1?ŖP ]I4>$+?u@̳(M[4XLW-%2fp6bw"rD)m%g4$bW!AdDNgK~mқPV I)FSRlk͸~|uߘ'X h${ H n_Vŧ,.S5gLYpCϯI7_J'ZE bq*r!S;k=Cs\o`)e!s/*ʌ>ʞ"| 4D铲G`jĪ ^N=`l ݸ;gMfbӍmT94n0c]y?Ǖ-AN-UڹU'RڥAT ~q)x^{*z )NHeI: 3eؤU!4krf9<!ݕ}t|Vr$vW_}Ղ}b无A)iҞY bL}x6zGV)+?bdv 1ujx3TS%iN2[+Tr_lLe^FX Xt!gIŷɑZ֌KJ%VO]%7#"O<^IiWZ@MA؅o ]$" NOluݤ(\ӖR-+KS]ؘ6*һVB6C1]K1}OGM Ds[P-[UH0ܬLwKMmR(а0v\+f%$9xRЩW~_w2C#%'q-~ p /].!6ԅ'9d4L|20ZeڄRwf3~w׻{k!( % Xm-]-Ka=bDK_oӇLjr'%\g"|~i/͍%$2MtK);M(V!*2]54B qH>vÄ.>9k,iT##9@ &BI%YWm@8e!>LAAU诧,hQ|HP Z`bJUy,\(o|r?"*)/`ٻa4=BKҡrsR< :Dz7] "OdF'-V{&#\^\,/!$|o~=)h~"i?Yژxބ״5gZ W dͿ[1N`&xr$َH{G]ih>#X3b p_;iu!ĔQ-!:}zWޘ'ude 8ue RHsNg'blǺGvA4^Չ3[@n=l@osͩ[|v++$f^֓[ro.\GلVZ :GEI2@=[){>BU'hJsZ*59_ah[ʕx?@J?d:' 5xOFhB3Zb[5$bPꪱđna#3u&Ɣ&mE{צTA}[}J-+1]`(4q|Kew}b/ KߢVu unfcfZ樴~'%p Lo '-x[O2jw}sq^o)_= Ǜ!зbj]J7^|C]:#{gݛ=?Bxy%IS:=(3M}3 +Z 1CK Q'DP& qTVYM^c(\=w%+x,{QG^T5q9Oxu%-c >h*^IuPYb4#9hyԷei*]k -WӟMc+Vrn-#ٕxDHB<~'|L MCG%5IFm殫_;S$1~HD0<$냰5Pi B~B "+P%P[?YRALh8q.߭xYa AG]0͑/wz6f;!Ï2L bJORxIяoS :~KRj>ʈ p!\vHw%Agd22\-ޜڇ#m%V nʄ[D&ZXiMWpʣv^Rۋ 5CmdрT[ܰ:v}F!H[C4S&sNC6:v)%E VӴޒMyzc#ZZ xO+ t^)+x؍5_1!@s D KGC^MB@w &99EjCX)L>{*nGnB<$3a(XNIt tЗh˵C(nC4"ڛ Ua]oȦK;吰;B H;gvפnUESS\s9O8UqIK{Ccl; i?a STJjTمc4jdorF'HUEnC+Φ\|e&BXhuѠfƵHNo9'a|~@o{w_$R|^d~IRhWCτh3@Rf] T{;8O<^guB 7_XB_oZrN!g>/+~ %+Q=Ť}\f c8i-nvje5̿=!'sQ_] djaJ&+-b%*QSb-7P?P\DPԠQ56L|J0jAR-0F* >r;0Xtz$kq#Eb#+o #Ti̬;|[?Jૅo6hN;g: Et= Y j]}:5tpl=r-lnkFXt._"s!rsB- hs);:C-Zى${@Y/L%TdcXWGG=Y{_lVg&"y/ H-w:hvW)e,,fBb Z$NDDӎ ܞz TuX(Nb|+m7&;( E\-``b!Tm;P Pz|b"W,uOooVoЏa;)3)53%ܾWIAbIj}Z-* wFM%t sYQ]3$ojzxԤ|U\dth|'Z j]!$ܮF[k(.^weH;=7瑵tk#~<@9Lg̀oֵәiKt}% ~LU{kǑpH͘JaBi_u{n7@ 8Rߠh{<w`;6I @ƈ.( b((P / ]8۳8f(O=*$m`:Hh=Et8 >CUJAḘsD% /ϋ[=LGMǵ`9X%@$-者!* Ըˆs@~ZPdnہq-gifP9ϲ Dn@?F e*nI?cXT? =v!7ebk]{ }y[0u$0?V#K*ې+ aAwW0c"? n dH !ABWf߶! WbF>&4U#PܜvMstnhy[:"S q.U&-ښBsQDs&#&w'rJi|t K].^߈N 768D;ة&*k;߾;ׅTV54=lyvۃQ[rBNȓ˃,NݹHGaV1PY_ӕ\G2LF/LjPE1 `3DKYο+Nm7zcȾߡ,gӅѭ8l|'ϫ[]*(2헴 ҲTv VN4R]>V%dET_ϣu> hslg:=<,XP:ct5ng[FG!B ZbW`[5Bgnqf0+*Vi+ wrΌxvTm.{;_gh&îIDFnfŷ-sG3 B2wXAnh8Ց|Ciq(7㥯jr2{?f0|[tGH9OqxTX',^UcRImĹm@e?Os~Z~-@dKRÜl%Xⓡ7ͻO䮘.ЊʛyH}4arUEufZК(|Dz^ q;S | ?{l&hCgW OV~1^Q/XQ;-C[ %jLڕ>xjd3ٰ'fdidW(Usf^:Kڠ/! ׈an~IScDr]y V<*GRM%q%{ pV.ҷ ɾy~Q(1߉ak*]y =fy`[^ct5e,uEŀ户oxCF4ڊ*)ZΙ.t#{2(W:tGo7Y\7ܛ iHP|g;X*0εI]<(^!dn֯pV ud`n"RqK)Ԙ';0i .Zs$3ΫIKv$O%3_DCwrݜfE1^ EéN3Tg'y@6bk)5ZEC$έRJ}蕾,8w%ket̙S={?5}ŇP"UOb$, $2!Q *K-݈H-D.fĝUPH,l]Zړm ;NZOlE6H^.kq,|w$F < GQV{N'c(;n2fT@kI_@Nw[RY76&jL=/fjZ;V5d?> 6g{$h7{:X-ɍ: UPpauѳك=m[/;FaڱRaeG|ALOER-ȯWS>⛑gFUJ8,7{J Gު,,A#?ɝgAX *ҹvaG!5Lþ"iX 'LS!] SwʄT;si^ԚS/&Ԗ^so^]|f `t&2qO xb#ݻwzU;=y/MѾ8ۈ| 8we\&-k6x6Ȏ@a!7&V?B{LS/rcN{Miz@Jcq;kMB6hp9[*#ɷ mhF$|&mjS H ]p6J&C4jr"VD\Y-E>k< l KL"WLHNM_]+;98T['8wk3h~Dw?^q6}=ŅuCƜҨ-2j<KNPwt?r`Vŗ1x | )߷E|3slK:'v=8UL G ,6Azzo}wD*@xLY.L*6QfGBOHװTv0\0uc1=ԘUF23#pN@fCÅa59/Gv(ɧJG5dkV ";846A3U I|6"rh؁0ja9R6<ӨV:9؏8K.@ƒңOOSx %ٯ;R#kYj1=A2NqOLv~R=p w:/g %Q*8nR-/-.A/SJW2!)u3Q60#3=,`(&JaY,q-cxӝud##~b#dY9,~j#BE|sADTbISHSԗȐ2cAez7|36 "t k 6媲(m|(\:ܰp\P셅 :GWvLм9ڠ@>0C K" p?gZID%a5,ݪZ9 lǘyBkw%ҷɐXD =ϐ!>pn=z:WH™ ${o'*go>(bÁ?ԳW;Zk8{pVDM0y (OӥN ڶģVݯSTEb֛2kmƏS"|TEk'[$ 0aQ =cpDnzZW=b6IZ> CW32}˻%pai۹uk=xaqF:}7{ !&7M?eM~5Ԃ#\\;hz`]iDWSj|/FX9zFmwel I~_R*_غEDv(3s\ sL`&@qb"Y-Oq {Y=.8-?ۊ$!U#]H؁ǻR) nƓFFP㇇  nll!ŕ2IU&Ka] ۥVl#Xz [ے:@hJKɚ-s:tM|zebɑnZg|M _R: *?H0c\Tzh,V{ϔ/LaT`ڎ_矣bme;{O8m=qll+}HXF:|[bc pOA\!v=*{K{ Eb>9k,1 t>+X@y yT4Ms@.VJ2ݱa  UM+~V.ftCS fX;_KT;03j rþɵt4DN{ӯvʉhq-xA  V1J%S~]*`9c>Oycq>ؑA~k 4S -9yFyeXsjV=%- B`]ZIvhG0+5^IGVۇח_r˗rLWE3ߌ ÎXc.wd#3Rc1 >R^=-ݩ&_2$>L#x _g1~1UJ:ii3k1i fǢF5K0v)+1i=uTܢCgy̧lpe>! 4x YT7y _ɼSze(ȑf@""]ǩs| Z -zYgCDc%T`o鍘z8ak@mg2(/mIŴ[s:/41.X)Rdf pKtmTL78@pC<4aȧ|UW2lEoJJ) ..P@^ߚg.4Ah|\+Pοs9, q3.[zKj)Rǩ>Vk,0D/): k~FLA((-y 4#EKh<(p;y_Q:CEBH׬rb>ápt4b;OHA)ˢxCh]SbenBr>[@Nw;RVxބ"qts$CTKY el9gz#xĘĨCcj]*x]k! GD荨Ɏu4Hl@IVAɃUצkgH#2x%๫0^Jur1K >yYUv0D2U*#,k7R\6+jLOʣ'R%"hY.Qg$FR& 9|b>i;U3PySFWJNLJC/[^oP-#h:`C0-FY0& *ASPw6^XI{= W]dTҫTxfUWˆa!;OT?+%#͋rko(+8$0WFf# hL93놁:E)4g8Amd B*_Z5wC5ƭ8v>T'E|fS8Nϥe+܇(f<{˼YQm}^^'M&yagS@RٴUsi ( &W3㜮=|MH1ĝٖFxS`Oy JGĸ=~;9˄? &^qW%pO,6Ɯ|3yPm[C`PbɊݲ<.1PPpy:n[tYzqDnB&QB;=ږ,3`Rx쉙BQM<WlNeΔ-r︋`sfIQ“Ru>ifʩb7;(E*@Yl(]W6ʅ Nu )/QRVH:05q^*T_;ZL bl !yсzlW% kPtI>2VsaB܈\s mgZy,q,+NCLw=V}t}rz")y0?`&<#!0 ;40Uxb1fW,P"~#<"mhjV_>Ȑ!TmiP%y$,JF\caQg B㼖&ɾt꿢]#Я+x,Dx'_]n|KnbՅZ6|pl%;mrDmLMK(z⷟&pJmXr!:- "2aS8ƚ*j%dD$SkW36ZVtkg S NQNSIJ0eD`-׮n|!$~!vf`/AXxt~gT;;%x]Gto4Sh4 4:3Ԫh\V !FvI!8@5wp}.UKDwErۥ_1bʭm* 2>͖e9ӳq+蔤/ΔeF?F`q#@(Xp-x!G-j`]_14?q;ˈ?(M_yC-<4|bF)mj=e3[Y̓'/t -#x㡰؜⾭Je[714h% 14|.b@qef믄FfjK&~lԸ~2%K`- Th`/$W:nh6QE9yn'Ita7(fIVDFz zrӪ\ۿi]U@K%e CX~,C,Iյ_Wyϋ/RJgr_;$A aT[]>3NlH>%|6tENLGY$, m~S-]WK,/M|q߳ r–|hfn̑D01p./A, tAyj)1+8 .=cɯ% O,aHJ:D:ϟh۪8zV`.L"Ϸw"S?M">եm/,dP7zW\(6-1G2b"Pm->ru_]87~Y>LJ̀ƅ-mȞdtQd\8e!+%Xve NƸx$I4'ej< wS ֜3\CǴ˛{:Rpqdy{1pt9 3Cï}jKwjؒJv=coy?Ӵq0Eo1<[Rr AL8^1.rrmV=mg~z#3wQt[nE Fz*WktIey * NVX8y-zs͢t}.`j|\L@e-Պ..ǟ&hEˆNwC|gig.'M SM5͈|<&j?tGYD&sB4G_LXa,dV/jʬ;Q8 Z+lӈF_!͈bf3{Nyw&4q*]l_AvjVXk9'B5T}jhDg]\,.:MrLMfSyÀfjiFO*^T*Ti܍ɹl"g$uiF\ `M&+RR5Y0m>mMAωW>0{폥ϰ-ZҶOzY_5>s9t^-(_׀+l0X*̱dX[J4|0M <|Nq_{|cHnUsٜt8i+@{ms1zӜM͌CG^B53߽"`h<tuuD)􊈂^y{=߮ >G9lnR2D8ó)h48^~qI?N^^toE0{JC?.@u)LhA[eL3K^"#D϶B3Aio-EHt7Y?b^>Xķy'i{QJXѬJMZ!ꅧ1nR|4W,6TNB~obubzs>i-0,3 L2]\8uFC-ލDF1尧4ғ\n(6yKI'>1&"\?ݚ҇H*Pڝ-DΟhICבmd hA1i+󋇄SĈRw(В;1ZXغ9IzOr/A0ORyeSOiZYDS8wcN=@C7'WleބIڻ-M j?p0IH*dK/\'6>k)xgB`jR}7C⩙lW}EAFF6Eo8YE6ȨMOvGveIxK>/6 ǐmI9NgI#x3l?|Gr `Y]fՊDue[@Qahd 4e9~h%^{M1WH(3'߰5h#^DiiN]/$pX]n>t<Ԍ ]ٽ)K)C+Qmȃ!e yޕ;rjV950U bY!eC,ԥ^)+VՇ "U i%A% 5-(?9\/>Un,7qu[=,!ayd\J)HE68fFZcRٽrcvA }Ua$%ԙ\Ua bO]X-+WEn*BuH!jJlD@D+]B9+o`Drv"Bmo;e\Z)YGX}iP^ _CJ]e4K-=3$*HGx;eS{ (vjAhlcUy 3fT< lcw\2S,8:zβg|RKcL T_΁] QԴt>GJvMM{saN|5FЋs&2XASLU@Y:ƞ*"o dOYjN`gU,VgHēm]t(dKg㆟Cj ti0G5cjW2Vk9r)mNX6Q샌(3 Y@He$_CNh=[L^j}RvZ3N^"Xt dh_E7'׹(e QK,Ydl`Nlo3YJ 'Xz`~#W`v76*6p>gk|pG6 <@`tMaYefIw_NFS$!CFeLbqA/@+f #/%-t# .OI9Le9 ꎉ¨w\MK6J'@jN*.vg0'2f8PkX4iNʕNeɤ2XxSț⪠sG4С7gMё]Em>xmC>od,f[aBn(OL3SYmڻkrJ)>*$>Ob9Eu~k:!m Omɇ RӓI~jќ]K %}-S:胱Xz8+/WinF$ǀF/e4ɱ9jK;H}8Gc;]Zi>@A=5^S-OgO XŊH{V$\bE|Ax-]X\o\\j;7I;lr| n_ 3kJ8d nq J3WRu<9_)StS3[Ev w(Tڨ8t_8,>QT!ܼ93˰In:³$sffcރrպۅG a_ZҒs_bf8Ob70D/2eN4Dzeһ*Ա]Z[- )>|%ܳznkApά,`\cnHH}.w>LOLRT;90wB3´[gNGJ>8uI{DV#Uz!BD^ :2㳲LYcG~B[U[c^Xك㖣wP<_R d}@?VCKB:iƬn. Ut>$ܪZ'J8??}؛I>'nA &4ROg1cn$bVW0*S)@=:xDHb2@r>BB3OK aeqI 3?i3\,8jT1Y8uőj[?!n FE#a\`cWqx&bFsm/ΡKPCq;w"D<_]UڲA?v,][l~d@bI'9H3 tE;fV]K<zoy ^T pdD',|9j4hKE<|XwuIՑa W|Of5%iJߚCf6=F< 3M ?DT5Cـ,RSh]y_X {WeZYU1&Χ-SlӁ?A5bA*:8`;rg=IvUJ{rI0@+GیN-E &Z)74kBH(7yYu&' ʠ& tȐ,c]bp'jϝ⨜>j2Q'YAͤ#!E1{}hN6L. JK|G䆜)dօi ZәsO`M-ѩ&?*X/ %!/j 4̴)@"" >kܱgYZ6af861dcdebb18fd1816ace87d6f0bd3495ad988b7e97556cf8de0f09d665cbad2c7aa5e6ee16e63 90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8 f18caae0a64c529780a76ec1407e44947ee6d3a4 e653ccb30f5dc443ca1d496ed8a0380173f966a9 68c5e63bfbaf504f2ff8b0af02efcfbade97bb1c