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 @@5$, ; HOL-Nominal-Examples:threads=6elapsed=429.329cpu=1584.920gc=138.804factor=3.697zXZִF! #J]ŗXf1-q恈ބԍW_8Fa/G`|X&9囿{|I7(݈S"M6J3g0 ޞ!u3ADAzr`F/qlչܹ\[Z$30N0Fa hcxԤ| 1 H,r6"Epت\WLq!~fVr)S_pT yIFq`4Az`NWJn?.}PMΚM 'Ql5zэ+Ͻ ϼ#k:2+!α-e R$!=!213Y 9T,,,#MG$;@?6|/V#ꠎE)g"ſ,E0fbnc顚^* eGvy Q v pqx|x޺&im0z SQW~0|:ծhNt&a"c/QZeU$Jr1D*_A 7ݓ|[XJl _nxf;6dUh#4|-l&fNA%pxT|K)2dZtI;\D+CAӆ`by՝j B0l,-u)6d9!E;5Ro]RT̶C˧Y*)&݃ _U RНQ*k2J'M8'kߍn4q}jp{qK}$tSm~m @\H_WtI~qy5/!FSZ L.ͧKCI(?LH a$2W>vA5 tM;h\Q If8g 5 HOL-Nominal-Examples= lI}͊TP$~j!Y NMhCC/(`c[Zn7WeH#u*۟c-oyc>qޓEgܸu=\x7}d^ owg!b ͨyNTinDpb R{5BA&2߰xvmWӣБPa=?tϊW T0||$ǭ^Wu ѡ% dY-e@ #l^A5EV(v7Ҁ( cN3^rWPt} ;t:ިQd ^'zL_:6 1E>S*[6#XhsE:lutDu,RLOw}T1q9ԇKlZh9Jda'-1a6Y@ut@p°NB]Ŝ^=%gN'З>U biQ)("61Wb "r|tC&F{O:;* Ba7byO֐TfѹGZF-MtJ݊Yjti1jFZ$?@POiP -2dVTHۏY>Uxq+(YL^ Ɗ^Z"_P Y=Xd6#kZ7kt"g~&S>EY>gq_WJ("pgRp8|eo6 6/̸^a썪ZYkk-:ǻxdе4$YihX6@G]hF]\;Q$D5͋ 1BiSQ ,_ 2 q\(6k nj5?7kS⺵LGk/׵n=&YSzqupې)EM-1VF*mYS+Tu$u)99*1|ɽ)/7Ƶs;Ʀq+(k02HR(*I:PkE!{cMݗ )Tg`J%H۩l@[lC YZhXZcsTW»&#G? Q5yJ4OOhGN]Ƙe<5 ܢYI=ޯH,B`"<:q1ߘ15x/ful#Sv1RȥH]MK b#=P" uw&i0#1בȗ8#a vn_aáCf'wպkC}sݟp i=b؊t2yF`eHyϬ<|KdTspRH~ۍWαPPe6EM<9 -ܬO1`b^(p*k0s% ='7zð2 q=d"kLoAጦ'y"=Y@mKk+P@* ܔE#uJU&(u 3gQ믋Yp*0hSٵAXFN'nB.MKw1"aQ  .NȌ%#U+,s r#LvuNr-ݍ+Oi6{4^T Uf+g~ _ 9QS,H'uN5 K(6˺Fc…4e]Dd/=`w!Ċfw. .^Ei5P5^(.#; M`F2q.9r4dk@+ geݻE+id>4Ks'>Qv֋3Vc@FxHrh;JkBM)J tmEWQ#6Bz{o-$ H֜zLxKRx\W&) 9x2=LZ" @DukedqWO~VcJ`P'XA}P(ߙ>\ 3#|T4U|pUSk+"p?i];QW8[RAyAԏUseM&b~Cp "o ,:h,/JnR+chK}jv/$Fpeͪ!2U\ Cc*V᭳Lǩ:%f(N,Z $rR?X&xCTV~ }#lHo{h Sv4cn޳kC`Z+#t4ȕg,<"vj|E%A _>Hxíau+tZX7{D$ ӷEv ĆH ngo;8&Ǻ̮Nl*찫n+kg?%1ʣڎ%0)`mULBF0~N26弣u K0Lg3:@ A0!ſVjW)|@$!gbb_ 1Ğj*Hnm?s[QVZ)3NI8g^zydtYXJ0Ҕ1tʢV"!DӆK+M)p߄F#etfO}>eTRY bn XWbÂGo],#T~J4N`bxƫ#hJhY֭IgXLo{r.7}T-diǬ)>$c?l5)v[eq~?Ei)~Lw -@}Hue OΥ`H?U߈$(}ٸ!V+uqĝ8s$1B? 83n֡ 7wRV"פ(JGħ{mP;aD*\x]*B Ox_x3YorLn| 25EBn- 7C2|ȣK+0.v]g`JuAf."5WȉKS]{ Rof hn'>nusِdG(McnJXsU1c Y8tAb]֗U8CoXxWnt b:UuV9roy5D_lRo~Xmhnu&ʁ>-~,8F11۫+^5_a8bVP7uܐA%JDMT64×KSK'F|2(Cẑ(yG/Wv{%VHeiQ?Eb..T]0J랏|ՓGI 37^G!9.ҀD,*y Kcu_ sO~Tg0gB^[RdR)`iYr2pKG$(&m$! vߒ"2IlM?RU$і)yu%3f$,gܝ{'dVl3ihZskUO0B1 * 7C {va ܻWͩq*ʠ:SGoK6"OEQnox/dӋ nY=ֻH3_W7_i]BbkL-K;a"cv`L6#y*786=a􌧬 JG.HIPH J5P18o><}XIq1!Z2n(g򚣲dad3$`)g-aV 12vߨ@As,b qR"mQaAQM2mX Dؿ|F9qU]0a^-;=?Q#b0,.@ٯP7}5)H OjgV܆rZoȍ֦H[[rA.MP aLwgR=mWc ǎ|~ kr1O/qOZأ]R S}ȫ'ⱖM%Vlb}9KΗY+M,`*ʧcAnq;g! [8!{\K9Юx4C=ꀂ(xv8Nm2>Y3:)%^o@8 gZUp e}Ⱦ遡!$y*4vp׌ozKځ&?Pk8Sxa3춵+Tmdd~Kn)4ĐڲbXOe *0!KLmHb(:R.MoMͰ}Waj(;YFAM\Pa\4])3Qɴ-]cfǪA+yy  ]D A%h_bl| |tǵ.[D,"y #8}}E$Ѹ.\y\Zt!4t_edKo}#=CI?ܱЍcC#_R8:o{/-Sd̪d98C/`ގnqZQFʱgYZ7zXZִF! `]ŗXi%6Je>2wM"+e>R|ٱWlE =}Px;yjr<JFs!~OikVԬ&ۗ_*Rr&3v] voa)Wj(s ٹ &]6\]7^fPe ;]IJG骇!Oy[У >XKq ?8rWCHNAEFgܤ&蝀yCe%1~J(h,iN)#lW;0no6j[h5Jx6_9MN")ĴtQ1 ųgvfx  uĘYӌ6{o C ɢռ{'B#e3(HY3a`s"laլt;s&q $i8;%,i4pUQ-{gfe/OB7CJx(6oj dkb!^Q*7$9~%Che ^PqcawQD˻ի[w42qv_" GVkq`KlCk`Lё=y|YËl]K+!a Quk^1w(c屮6η|DɖB-eC, (q$YU0*,|!h6?CZä9RL C<)B{P-UG"ttot:†[5Eh0'0EiXfn'uY<Σz5;Q}Oo$H=9QMh̳7`I>qNL3>pDPm'8PgX825UDPwo lu|J7VtPS_p{GuhwL'%hONͮ}KPN4uZ6G?H1k塎}IOyz( wAu#pI'fM'ɜ#q+O|Qsa ~b Lg؆<Á0:V=!A &umQ;.]Ȼ#xN^>!T>Dfl7|u\[o@a,I2D~5K}}Ba6-iՙ+ Y*k(Vɤ,))L/blFDS!6[=U8 "sٍ*g/9!@{jɩBX䆜'LZl@lr6Nsx+= `u$[vd Fi6>@tҝ~QZ0푷{CjQVHR[>\ qmx~gJ|’ʷdžҝh΍Zн˥M /H&n̛٨C*vL(e]/BEQW4ѰLw N?!cstACe| ):F_慸r KVmJ"{c5lN]T)|.)#~8[kRM9ꊏ>UA&ְ*K}veu&4*Yid qaI=a , 5%{Su4 A 6ʆh,M>s(@gŠثպZ?L=NDv^ v2`eNB6Lqr3 QۘVL +w+f a> f %{P$gl|ʪ=)oɅ7:G|vV_} @}HGU1T.m()K0gP sK6`<ڭ̤z0gn \K;n Bb[9a/ׁdžxީ)(jl/>cmkLGwD HW%`BM1 ;VGkU)&,֙J(MIL/LV)DVI;XpQg#M͈rn7޳4|I S)kWKlsk.>I@A S86xЌ'.nPu U{ҊUJn{}Ȳ;ᓾl;T'W{{b8Q k?Һ1*jG/U][9շԠ)Y}93ϸ_-r\j}PSŇP]E\c̈́"rֻӐ>:;b0܄`N7>V&=܄OUy' {H/E1ӛըE8yQ~!1McR}5aQ4a L*)Ì8 ϰΔ>?QYUNIr߆K$p^ZNk,_iP|ƗؿӟNT}A&k\ڱ8ȍ0 z](E9Vy&vʆ)!J ә Xy8z{B@%h6-s f:L=ZS'Y B1U4ٛҧGJVd%W%R_Qa)*56'f]!PQ=u~۠tWL'kJF-J)5\+/ҶYB]X^Ur:NC\Sױ5LC>/62^e bgI*z \gh(=g}b;|IZyLcfF}-͹@//0HѤ5ml0%r6? N UZk.d|ת Io>Fc-Q~ {6bya]ћ%YɵާAM!l&i 㡵E+. %J0ZܖǞT(9|Y4RDw;pkEi'眼flX ZE,vI<ќ^UODll` Q :pL Nrrv!<{2s o!HvYоєWbԢ}1BsI13IA;t yt=VD֍ȦgmMgiQ;u%ӯ@[(ww!׍VbіZdiMj=ůKɵX+ lpt^yqreq+~ĭ!hV!St h@~6/+[mhI&$Q *:c-=*MD'Ch4ulÝ`f/ܗe4PM?e) bmozs+al$gz΀(?Dx`eo DDjlfz#HϲWDJOPt$ɧNq=5[2mDP>1kؼdze +_, JpIrX3/swrvufX>8FxwRD&!bj0Y?R `ӹV}'X&%C +3&)t4FiRC_,-pޫxcG,` lmXWtN tG-6o/+.^zî$p2/,-V Tۜ1S' 9U5vl_K}e ՞ c ~ io 3k뻷F>=k%*n{=r}9%إW:J\]sg%BsT6\ lpȊ}2 0u 9טӾ5NOۄ[ mlΞ-rB.xT[K%hxi\P{kxlAJdzTmtG0X@ɔ#7ZzLEVb-|z؃;So p֪螊0ʐP߆XzIX_Se\)a~t-:KMjBH7$OΌOgfܮʩ?y=\z9eSݕ]XHQj$,l*:PVZl,9RZg <pef?4+X>:&|5.B\3c%͜Hv/=TOkʰD n{vb]O;S6`<"8߾fvz$׍.̕iɅ=6 |Xc.+( _<7~o/^ 冯̋4i' B>imnc%{>'1;O5:i[ 2Wʖz5K'ȗ!-gT^`K&wRKz>7o뒘818.ٜd ,Unj 9n([k\(S#!hi4sT @pv5zM WwRCP)t]y;bfV s)D*A_wt1,Q :JQƢ "އ x_Uy>P&<{9+y#_ uA:# vKM6>ƽU>dwfc4{7مnA64JRj \ x~ÁX!p?UqBe#WT]wEqnmGqw&n91=~WoNc<p| W3Bۀ!A&+k/)qA2M4.z9`Ne9FYD`^Qg'zL5ּSʞm}3(I{ C a{`;bj_ћpQ%Ii#16Cw!תWJ4e})[V.(H8T2X d0tVE ÇB١d cU%~|JaEZWA)\wU\?Kwy lYI*8EX7t.v=D A>sNDj`ng4\c;_ ܗC~l {ĵ9̸m;cea vi>2WF+C^<<u1]w>$%ލ<2zF\U҆rl곿z&>=E0V"z}oX*QsdO ܊4*g>.HF'Hq$t3_Mg~Womo3qR/0,S:ʽLb" Xt||Փ-=~qhZݝov.KPޜr>oc 7^DcLw5Yr!ggE5G{ח/܌u` ֭{ۡyK2Dd)v>TPI=v95um8[70U h|@O I4h:CEQG.Z\>=5+>n>-/s_rWTekܐNe#SMICNM~,LPL5D fpRx 9gK!*;Mpx#uKez,?oyu樬i{ᵰʤPw , e-rSLI6=;$7OU/@wC %sj̥6=c뢻&l)OގRCߦPd-NNs=86G|H8LQ<@pW~ cTNm1w*q4v IGpliB/= m^͟N!AyAx3N1_w2/kB&{;ZPMV Fߜn2t[Wpy 2B2!{/6€}AhJfb]%rSbND>h|Ab5h儊U|+FM䪕PŨ4"TIZZ[wfì(0Um >yJY"m]zڝ k]]Xר|"[+A_ b<&u^Kk뙞z]S bfzQ=OV@/@Z sj>t`5-%VK)[@{e|Z-UfP/Wwr$%HkM2!E--dxNxrv)ɗfnP L֣z#@B K%vJxBb巉uUo$Xww֏ϓ[h vpkN({I''9 GzfW *~@bbVIv]*g•GE/lud[)|=i+J^2KZ.+6ӎaDIB1 '6/s2T?z͊.:G:ǂrĄeh_(_J\d4N pwУьok{߲6, ICh0̧ F`?6_}[΍wPNdjqLgҥw'"kI:FT p[$p{(>;mX7pi:&p[:Nٹa`kB eǙq4YͦtEg*ҋZ]3^!OkMLEQh ^!˕DU]1@o,gOS^ 63ICVf b3DqEN#NK&f_US=eߏ6 8MdHrRP JnEGGmߦ 4:DF()]N-Q*e2E4Ē 05&? 5/x~\ 0 ;NrD$TmNM\}G}Q"&Xa2PSn5):%5"O^ M= ~Cp7%)p(~^kh ;iC/ni(`iCS -B%Q&V.l%em㿒 ]t{;#UPwq1ށJ9'wƲ]4o&+ZNRHrhQ3y-(( `6_֞m)~M1q>ykjOo]ϟnoCo E\R\{֢,40FyWb&2VH:L/ynCzU2kP&Xz Fe89#9I˒8n0Bz9Y DIņ Ď' 0q%iхQ2IyZM +62gΈ2*a4#\aAbJYNo'E5aڦVH yFVy S=fTGM[/=hHr98n?L?O0?kOs ~q :QefgSRαek'AdٷS[C]kW<(w7}9dώ/;I0G*];о%/l$zlf].ZLϿ@GɎ}mxށ\s(0nN> 7̰1/ɶ} NJN0[YZ⿞hP&n 3ZP%1wx 1NX+ r~P?+KaqQa=Wt JX\,S.(DBp2-5մaG±+[cbze;P 05h`bfZ]o%V_ByPR=jILh|qZp)9`c 9ϲZƦmpJ$7ܴ/Q017>fZuldJ3!1O*{MitDC 'w@T7.*[0yb ѥDl\4qF4Ʈ`t>|ehlw]f "g,Cjʋ@  11X4gJ`n3چbbȘx49;3 "մLQs@7jiaV].юP #!cepnzH}=SKOI:),tX q%WH%j6̓nX%^b]Q \J%S}~h6o*e+3nBny4SW)l-ۓ+5 G&3tmgcj=BU˒i.zӑ/HGS=nM+o~2و9pո9&792QNz!nzowZLl:tĀ'}*)CGNbNv+$ܿvC]?QŠP Od~wf:y|bR83/f`l,VpM M?JiB'dG]9Rzzw,,v;saK̐{&fߑ}*gx > ek>k$BX#_ZhJ#Ohwj 4t4>gaV;r/9/'f&0J;>|NG{+/~e3]LwnDPKJ"E.*KԷHI0X2䭻3_肰k6l  ?{+hZqT`șNQ0:Wވ?n8hFA,H䞌mfM>Hj`_ C[&寿jב!{ǎ%ƷJ7{-ZpE筤@\~$г-Ѝ X {![׮e8c )gdWjY³70Qu-FYAC}goOXcYSisS_|,\ٹ~.M"p9-јcb~  1*t{Ok3W{ڴQ#7Ԩ όPoyT=zB~li#Ͳ< 0OHuK;n;r7aT( |n 4h~sXz,[Y>A3PRr}0mt8tf;/~+1a}T;QQ&ۥ>Gm ZZPL핖QTgɆ?f/<,Uё#%&u{TGX窆ҘLX⸁#~+T&yV' 3@L|hF=LR?`5Ǻu,$t`C(ml_{߅+JCѺ^! ُ<Ѿ[Fw)XÊtYy72N+~`Q7;#Zͺރ΂tW$]R jӝZ+E }J{d_.^$ߕWNpI^Vȗ.Ԅ i@ Ȕ6m(/<΋ ([Lu)ayR\غD]j$LX$^vrg D} w}kȆH[6-iW`VDjR ]!8AJ.$ٖB1a8BryՕ85OZw&/Ni8ύA IK1<b.RפC᪔ ̏&5M9{zAO Z^JodiijtffZ,2/2{mmoC@a矁 V(fuπD6O}o*jB"9v~i5u\WF:|Z+nknq{%J|>?ZWھ&\ٮs+*yyQ·r}{T;5Q7<ݸٹASm il_?ɔήBPX+ 7&*9,ժ"OJjes[+p nte-Vrw+/H!ۜri7r[m][1%vco0Ï'"?7#:9'7=2YvAhU4Z M_\Y` πu6,cQoAbF"h&vhh܊} 7A V$窱X#^=k#0i(C:ˋX2jYqQ`h6EeKĬ Z^$L\вyqzώ] lLWzM/_w)ߖl|Cx>w$LsiT;$݆Y \;m'!*M6ڈi@hMf2rSl⽰ck ]l)}[T+:?NX7?P| C}gwY͇+(S\lD,vl{GP},Б~G`(?FA'V \WBM=#ht6xrUmog @ 2C11ä:By W:W"ll]-ݓBzG/ fr)R٠*w}d90=)ii zAw6òhhw~mFsNҠa #^ݦ-X0'SMTxii+9ck%\͊ 7AmТ+@5-[ bNΟls;U/ESI΁ 8Ir`}8XEHUe 1Yiq}Ic]o `pn6NԌQ=4f C 'ԟc-&M܇ #`]?8HA; d* ptc]*\G2{X/;ML*ՂŜ@L<'Q83U!=֔4xвV=& gjI?K}Nj $bƶkvOheL)CSaxs')d ^eYKӟ΢i3%>_s{,B4Uh?rT&0z/$ vh~Icv3bv4e6dE^n<ār!=-۞3-apj.EusRJ"`O/G0h^}KJ A6qk*xlhMyhXp5xTSvLO,,4 S'-Rf0:Μ$ H#1IPS =SBzUХoE? X-F{)$*+oM0Ie^iX\x"=xӳ\byǖԗ͓.8즋t1C/jy;'Ih xGJŞfv\XL†D[BAYy*;cQUV@YY#Kni 7@iZ%UͿWW {ԡq8yf$6mj2nN#̎kd+w*+A(8{E G\8E\7Ta1灵}ׂ$9WHNpW[ Yiユh {=‡̠U;|htYڛ0yg; ppw#X, Udi3vUԳ?TE}y\%=p]XMAu{1 s=_Bt=?DuXc!Q}tx.II!͆|s:eNOoÀNS<gmmYp];h x_LZfl 3ipNưE`%Pb~O|af9l&,F>[gUx!1̓`'<*Ga|)8^QQܒ1fe9vn9-+%/T1~a#vҮA˘xPʌfp" K vmNjj~~Oxf+e3>.<9ծר4~-kghM 9!;!=,w6C/i-V2:,Gt9F VVJ؂xT(OlVoKjWѕQ d3^YE.F^1:n>w'M5{EzT%vnZ/ۍfI%i9F<ݽYBFߨh6LH(\z POM"%8. +Yt,;&_+҅?@&-e-5k (@nEʇT0%G./Q HX(f3Ԕ ˉ N.~Pbeu04tpl캺T_xMnK2OOڬULJجZﶺ,~{^WC[=[.ui&ss}BHynQL8yBRuЊu<6:L 5ܬXT &Fᗔ({]a+ X2ilbiR\C:4ߎQ0Q&a+Blq n/.-3cl V ZۥCi 0 Д@ʞd,]ŝQ|: zQ7dHh: +]?5 Wڞ0.,ж(ũGF{ہcJ]n& Zg*=cɾfҼ8[s6:@s6G옞`oY :r<ӷ^ ۶5U~CՙqK0AobfLv< 8|RI&ܭ8ɦz섥'E#G@bPOmsQ~6@?$<__+Jo9X0p&3)&t.?;d#ֆ=>Qs<6޼r,U*)F R=+T}c[t>HHcܝ'!׭++}:>ꔊ͂۩q8Fo{Cmk6;?9$.k3W6T'`RBq!i])W>s5 ~0"9 Qj/C4e?h;=7tTMC,]8dTQ9ߩǟ Wa 1+."oWOxxqhF}Ux -O?0]N(EF>͠F_=6lT>! NM(p xOmk[غrc*MVO :۵͎w?~54 )S!eb %/$7i!w,K^L|wFQ}/E˭cYWarT?Ĥ+,G/R*pau:f}ohV!$AG `YMkLUhƞgN 푹C.3B3i\QJޛQ4pƄg4EV2A%nu_WQL@ua)#cou(K^kx6cVl٫Wä \,aܜr K-|,UoP>q}cibflѲ! +G0k+SIW\7CLhLv(鄏̝V覶GR!)v1^vbASM[\<_lGM2 虮fno-C1Xo23({틢m!+h\@! ,0[zV~\{Q~X|R7.F`W re@ WPg2>X(=یlv#pܭThЌ%ҧsƳة` m;8ʸ J*k0 T?0 P>ژ8f̓G`@By_sGy n*sa JG̋48f}7MtB+z1/C3SGm/emVXYD w7.B'j6(7W<"f/+Px.esnlUh>ռbˋNW#*ۚ|n r{Tep_ɳ3#!.rh) P_-A# R7]iN }E7\] ز ]Uad{z^m  !P))LAm'̌`qΌY_V9dB=I W o9bRcKqP~@_0YirZ(Aj >7*rSf}d5WFhHG5PcǦp}]mDZ2 aF*=UaZ H1LAKkI5SWK"JPŠ*mS."c }4mbh-Qz.'?z2OL9ع@lEG$ݧXҳ` P``VRaty M-虭bkړ9~Q)DӼx7Ꜷ>vzj^i2 un8ҦY a1Rw5)Y_+um YMKhvXE/=YkQ q{-ZtJc!!%Nv_!XDA8P+7[$k8B3f-CAEg ۾X"$.BlEscϨMfES55萪Nnq:ikup; ]=k)s&tS"U~bQڑ^+_.`]D)doDS ѽYOseIA0Lݨl(h{DmڳA#jZtD9tznL~oBdv}Tjfc/}$'ǽ% ?2cE匦ɞYEU3ԵeN"r-#JPB lYrc2t"jTŚ,+FBunz+8+-AA< RiS]4>| S rx+S=͍~'ʊ|J%oNv\\l}xXqfU楔zX]iB˙5 0:WW4 {,`GBJ~ WF aǰf*bxOqڰ`d{پw"Ykֆ^K.Mν{d)mgg|c%:t&rB:2 gc.Vq}H? cj-)?/GR?ڂ Z9Ue# dhMD~:. aN34^+B.;+?Οoޤڃ>N.RM#U^DIZBu9#ۚG;i"M0#דihR";wo51'~S;Vq5ly@(ku`3tlE b˕>D% SRX20m<JP޹܌]2:=-G7g#`'cBC=SrTͻ͹DZmB,+W\ Y''oYǏVǟ1s)cK2AߺW"B@œ}F"FF)ʍ/D eLTRzPّEP#ʪiNIp~Ukh?k2̜ͦ~۟d[u4Vٮ{` LھU՗pmW_ih+.ee2rB0AT z`;la\Qlx_Af@RR7ߜdsǧ]XP+c2٦X-\[bի6m7HQXLfO9'G.|EE$]^9909V$E ]J9cVjPx5 Fބ4($rȘ|D ƀ( HtQ:K"=@>\wuٚaw@No;4vh$iC 68a+t ̀f|B][|^̜1+_$u:ݰM GޕOTX<ʮ۵ 3E#/3ܪf*G>WLȕm/ax_.J̮ȑWZ0_G&;ۓbǮEJ{2vǙ3UC}% K`ⲻa3K.5DE ڍ|L9]덭JriQ=4BCʑ3QRnb%{]="[jߪloTlRFd68p&L s{$[ 3I+iSỌn"V]f羼zD,TEgS/Nq' ]_& ^2lT%Pyvqh-Gt[ͯVU|+'Bo!u}%ejJ®鈴_W͝gڱ˭wp3ugYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525f7601458be403a934607b24536fdb4ca3eb16289 9869718d355e0f2b5e5ce134ecd946c2d6127ed1 f82f699df52a83afa637775e10be7a5849df6157