SQLite format 3@ &- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^^1$ e%]Jordan_Normal_Form:threads=2elapsed=351.282cpu=585.064gc=13.768factor=1.677zXZִF! &B]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcCECrL͓2@f:18m`'JX2;)5iQ9~fqy5y4IT RڒeؼNs7w@Ru/mEa70u$iR6>DENŅa]G|fwGL2NUҩx 1 Jordan_Normal_Form87ۉ_ѹjc+"tbˀ̝IozXw5x3О3_n,&X$tQBnkuH2ǔ8 mhqb9d*툀֏gJ9ܚ8hȒPb4Vz셸Q:Das)oQsרLd^ocCstD1VppU֪:S ^kv'YئZD `!-IN<p:OBc03_l!pmF!eibf1{_g`O=>yh A&_M28V3Rߖb5FQ7`%rj냭[zZFb4FT>RA:Br}c"۪Xfe/:S&Ƭy䶤<:[gŊZI\4Q~^I(xҹ'ޥSdF M\^SΆNjdlnU;Escs]* b :Yh $yVJM<ҷk)%I wt VGDYx v~@*<AZd [>k_?Y~f욭f׊`xA:X\c}C.;0#@tFXÈ<&i=qu/w<'Zn~ FKdL:כ"ҙh 4uF{EgF*VU}67 .:#XQ\uWVe1\K > ?RL$YpwŹ¢3IAvC,(x˺_*Hc5֜ 2W\ipjp9MMQiB aJ.OGcٙ9*32Deke>*BxOgƻIi=T;3lֲ <W~<Qh,WS^?)15E5-&my[ 6ɥx32IEEIA ̽V.Yyr(*(1t]1ht[]E%ml wNdP]'Epl)6 qYq%Ul3my8kkqҪ<&>ƨRZw[_ow'ۂ]8*vGzþ)=-i0̳Vء-@bw%VLmK3Ra%19)|lh32`yq.j@j_wt..:'"ɹjoZֵ1TKx2%[@౻W!Dg*˝' UOq#/^"Rqt$&N@a* 5dj)b俸| '>f0*;ɍ`kU>YMDʪ׊/8tEގ_=^ֳ n D> -/DՏN,E2@'C4x;ʄD/ O FcfqGa/a.͑$p6o@uާT ۽F|n> zR)(ʳ+y d_^99ڎe˺Ze CH|Lespi|*PrRfE)(AFKi24LIDH~'J?Z um d֜2* zŧ񿤕=KoM{n. V .KEDANP؛;B#V!$&'G P ٷ͕uЎQ9 SGEx2@ς5C$g2UH3N2ey)oEnV'TXءTnj4K1W؃]QusG ha 1pr"-zد/qHkvYcM̐ jy[NyYt #;僙 Cg*&JvS .Q\eͤnٌB 9+˴O(D G_Ҩj}$r+SS|OVHXׄ`RնH Gu]tpal0Kbk!GJž0 بa{akw|WЮVs^`?2R[!zh[k֌# v;u7[)!/j1O(idB6A&Ͳ)ɕЫW`$kӖhh3΂QsodB{lt~[li!T!FӕDžQ:\SomS%p`@dx<4 t<4+v ^`\ Tt.-1ʅIT̷Ϙ}BlQ#րO׸2/9w:!e 7Ymd ē|6n߾ (#̳onql*C0u$o.E.Ղ2ŃPt tYvBB- *0iq+/QMǶsEHecA᪌MNyr!sU)Ę1$ĔK׶ģ@zJPĒ-)7[/[r B~+!{@&YlOJ&va,a!#`Т^u"XSk#GFxrN☡PNy_&5$f|X+l8첮V?B8UQndpcIRmSA9;?$fwi !Ͳ Qə[c?EiYJ2<M7QpS9mz"!2Ӟ}.13*YO`wMip9$ ߂%Ea{WMm-ir.}AJ Dt5QyR kڵ{h-:FoUODxBT]\ H8-Ud:bmd %ühT)>i$'[,ïɴ4U.ߎ Jj )_sͿKɁwz)[ VӊYG|>4뉓-Ɍfޔ|+gNt-Vk՛b=q]!qhLWrE %鹣;ؤLv[4|") ǨkE HX>lO7K %tZæq|й.ϭX,C@MaF{Icj&=y*iN Q4-.)Eǒ,'spȅc5~ڰ Us+[ᮬbƻ4hM{,ox)x]hOz$;w3ٞ2ŽmGƁ4h*r{)dmֽ^9#r<9;M>Q'c{|-A 7kȣK&c/ciq,ENmr`$EqulǴ6UOEf!okؤN6SC p9 j.o.n1)*tTonDX2kVCw>\>i+{\FӕJq AD>kbt Y^5sKVo]g$_.rހzJHt|싍}D* NRJRgmSZ IVDUˏ$n!X5V5D{GýrE7%*WtOKȆ_3]d1QXQ,,G'5r&p&cnQE d~--gvu1#xߍϹ~{?K5ѾAU2džnFo@μw eڙWMZ\3>76 i|^xFcW[!omIjrB6D_}C7| /NXٚ?_![_T|{E>{,&cdB`g۱LؾJHQ2_q\ ظ%=.n s)8!0@fhOr}%e ڌq%tc¬$|ѕSflt&i°P3"`=/K*ϱ (a;R|$?#ʠ=  VL?6&{w>6䗐Maop]1-II_GxIpp#u>O,ɰVRp {)aj>B/_ZTpjO0]@V>\wGXak;J䃇}QT Aw| ,j^qM:WI\h^yELq#U;εl+XGw {p#g <1 sȡ4E`AQvPNp&.,ꕑ>eG!DثwD*[w_HוB-|#쳒SdrD~pqO]{v3J+c sm}mf3w@qWRIQ[qf%h8<:X7d֞'c_]hI@ 9 |`w%Ygc.c|ۭ1qno^_5JV `AZڷ<4L8Sah,cJ!WF vgܣH2Jo+e=*x E[A ۦrvPA̓djE8j'eś VMPL pڇfOq{Ι[ ŒL˃eNmfWe!Y[gPf5N4y5 w`ԏx/>> dPbش~͡\!Ȟ}Cwa2s6hiܱ\5;T%MC,oj +U4,6xQC˻BPwGXy+ء?(Z:R (mA؛ Qy\GwFA"L4S$3sE0g;gm&Ri?\>ËJѦv[h_C S#⟪D Vp[b7.5k1I=[벿mR5Ԫa@,m4[]TDD SOyjr1S>Y2 釗Cn'{{Pm1pܷԬGCv3Q2`Ù S {II5Աzw|,8 " i]fy]:q.L+CގM;o[kp`y/bnYM[SzEN9E,\ 2~_g;*.[AНn*/x Aq@-T8α^m:s7 ʓ Vm6Ѹ=+ވܑϱs:k?U%>y×1܋ҐʠG"K"z) .N}N fF=n%Ey2`~hfO/ t#e1O۪ӛ^l&,(I<L'RqFuJKN 5=^RFZ$e!KxVKRͥtJ yS;EnajZnfN4d萅~Tӏ mF;z N ?=rcy/t.>@mRC芐Ur`?aBDkv>$!&>hpg>봀‰QADiO_ FPž% g[nB%dazQwǖF0xS9t&O1$4tQ<PsW\O9ޓ6mMCŊ@Pn:ļN,ewT Y =Lu[j4nN=6dfPQ!>l#skjԭ9Sӱ_jn \9dNHA?z]#˞"T#IP2Ҿ,5Gݻ)tЅ/}.oU>mvJج. @7 8$4#I#w①V0^X :O2~|;xTdH&7>]-_3.0Y [*XGYvnW<{i4f$D/6# Qeu=[GKsc,=8-yrVlš91Ζr>M^\%?.wX N޴gMߨep/`ĭDnA7%W4ŧ*;͈kvѦv{&CP|?FAV65%t$^>E7O@Ө:58  f|75>z]VR%LT_7<,!%eڣEI~_dm䚟$(})qog>҆w>ST|ދ4\,!0YTq}a@хyz1SmmѼk-dnIrL=϶ǣwgU Ji0U)%pC%Wnp~7g '#K=-"dlbz'FW=8i]9ꈋ"DPg~nNĄB=ORֽI٬g.,G(JGsqMHLDEJ5ߖgQ.r)+?u”y^3̄}\E݋@0SIUB:jWYl +ř]IhR\ׯBb Rn<# ()k R!|\wRSuلӋ@嗯hAD5G5/¨>QV6cecjW5qr Mū}T*m,\I+FZܦ7V}eFU*-TfPs8V2PZNE6 @̣*@MdCQ"{mo5=2ι vYhQ䋌/$^86#e7Ai"f&e^Cidۿ٧V6gHrw{'Yj*LiR@Gx"V^bG$UUe{LDv<U;ޤu;2NbW5eIJ`4 `eHu3*2pD9HBY_2qoئUo@5uGDN~Uнv&g(ȎR jqAҀޅ_[(/oTQӾb}C~^h)T:I$䍛JH=9wQʡ_r}F=0 >aCC'Ӑ@FJRe.|WFlAiMAyk0ǫS0>fg}\#8ptHI ioc->r"J¨ ;pZ gcv0Jq6xyTF(a؜U IѤ;TVI v̋'A tNӅZ$[c[%Rpꦣ1+Rp3y2D WK; f$ B'Y ,`9_t!aۖa<$0>o,Yđp7b<7 4!<*r8J/ze~=+*Fb\?) tȆ5jf ь?JO}mQg 6fa'/użM}XT.^rX^)C.$='le⟷ꔤίF.~_!}*Їj` J33]I){Z6n;j0yȾw+d9 Ç2 vq7|nS(SjpF[{.F< H{Yc ůQrcB ]7憒/-M. 6}N;\b՗ ?ak//uY6~*6"=O5 i=:LF̺mޟk2C-%9rr*3sIC|f)t-U/^#, #L)񛟇 ?My1qW2#tU[S/TTXlsy-0XՄa+aò>` 7/fya %$ʰc/5`co}}9̿>JEӾhV3e,DPm8luE]&>v2(nMa1f=vBUئˍrIjyD$JO 2 &m@,aqjf"g~]Q:/`E2 hKucB\@YŎԑ:}_0gCfAL\!':7k?IT Rg"= a4j4"֙N%&*y6 Qk祦ɉ[4I5&\zx%"E@PY_C-wDwzӽ/d pMŏd4sY@T!B !դYuh˱)@u3~.W_lK(esk(X$!@nX!ˋp'Pݖ]P﹐4U+ԺdR)Eչ9[":PP#de,ḧ^_¹:UqK~Ba-d, jXz; 謰:JSiABRʶa|^Rt|n@̓.D7M?K2ϳonk/ED?f'kP69諒#wEqL4삔4(E4ݖ'XZ kuM /Ut 2/?s0և  @~R*aWJB+NMHhQIa.Wirx(4z"GSMr>! :<>$J3 ǿCpXGxд{ 383D//<x\:l~6p3.t7;' 2dyTm쑺hfMdRsJE'iCP1>m-*ۮd]#9b,k ߩEm'ثi{cѐ\2 ~P9^žh a:ϛ֓(8._ j\h(L5fVymqRXL ̤N&&nr3Fs9XIWd( :vfTɺ1kk G{H$ׇٞAObP 6!Tyt&wgdA2Sn?NMo`O4V}haMu* --'`iرfJ]ax զNԬ{N@NW jl_{U:x1J<TNsl5d c}%ɍ̅ of5-V~<ސYEɠia\IDi +C8Ej-jwg!JZuzyIm3h712M).dX3xN0jET`E6,h! ;AH7I'OvJMA?: %&5f?bƍ95$ӄ ZvيR)7&WjCA(F1^'_W2tajf Ӓ@&DT$:(r%]R^a^toA^$qgwWa1XPYxd,Q8mťait#(U)>>ULBabI*A! ucNYי?q°&/cC{VU*Pσ RuA8bP j~#?EyAgV}>mܞH/7j0`&^aiaR ChB 0T(4H;C͌ ΕH&^ݨJЬ\&pZPh6Y<\؄N(jU 2q%w~|o1'/kҲ6`Ic Ʀqfu(=% cyF;Qs ΢O[MJR]MnVrD&c7i1HPh!I [T6:=4wJT0YmJ" "?.^gwL l[M+[Ov\[*(L7`ܧROis> u/t O4Hjf:lAWy Y{>z-ɔ-5%*!3UBXbY7 c}"-XG0GMK"M:@| )SjZ%қ61t3.pjիiYi -8uE%G+1V FU'ZOpP=T㴤{zPKfVfRyr`rE2bC&!FpqP}ngU*O֢b-gw5r:>ӿ![< ~Z}0tH`#g rK9V^4Pk|;8gOF 'I[JT*^2ӥr +5qY7F;Zn&|8QLN) )(`<v"6ܣQu@LwMIDTz}rWf!@'{p硃 Rv"S2\t\@)fĪCh=Z0EZ̔ӕ9-N lI fo+ ԖgYZ7zXZִF! fBy]ŗXi%:=-ga(釒ˮd_\ Gg3?=эY: %`Ht+@?~ZrAjY2>`0  TwZde  MD VsPǕu<~.oBF,W®${oWH jqBBAq![B@ܰ{CG[?&}AW ea`BЃ O=~ܓ][6̏*&@6OHleQf xa螎a&srkZ$Y!CmSi!M4?ǁK/˄>_u9ф@2hg1 zz)x T T\tC /J=:-n_$IkB|!@:"˜72 PǞMT~HyzW(!ű {Oc\ReଚkSPyoWpEɿ f L|֝-/u' Ƽ~1CßuOt|NLv]rvRMDF|P ́"GZsc?~nUګg+1ߛ &HePq*AA#"( cߜ!Չ<11a=vTT \=^xDqxe,3GOW1r6M13˩ 󔣚 7u@&?e^gKz*GJ%N@GUz^`wd2b80s@(Og5^ ._a7\fl/7.'>=3=LZ)7ڍ (-/# c ;Tg00!MzjCeRaa)-͉iq9'867FSĝ9d%elѬeJIJ|`d]gcڵy 3DxqdLVD3$~A&"3ϯ{B}X7FO$a"[zq/b8grWM\8k7v'MOφ^YaΜyj];5|j]o HL!p U-D=QL誺͌C kbԶGQZ4#f$)Dp CpFRuC|heʹY >2^\#X'nqHepcF|D'P7D 4ץYRP+qJԞO8Vոiz ̷jQ m,~H `QR cre?-f(il9"A49p[ޤ܇,kû*lYGcxnXV.-GWEQS6"e DaBDS=oBUnY;NؒEĞCL?\s_rR?dk*taCvNKB30H6Og"s -]о !~ 4ЍS&doG, \GJB!0;v_oaİ\"^Eؓc0#>7 %Ǥ-//^ot%ވ1d]sR4NBEdWݔR[T@R{ЃFF ĀjjFC}XDGڢ  }j5G sf">M*eD4$y&mVrFrљS=N&|M-.efJ|BS3 j* 'TPw-0 : t=DC`6/Đ,4 91jgnV)9&LK~SP0k7m Of{vYp;(Gb,n%ry'Uf^nCkǫ ) ՘p3++"ERޝմDjB>[&Q[׼k'кL9qյ$V zc>G_5QfOX('7yPE^b&:$AФ@ ʟNXmy~wZ`@?C?1ܣ p^z%AeT7WbHe%=.j]olu(Qn.M~@Zwp,VVQ/ Tw(.9N{1Lʏ}*^ M'hM_IՉ.> @H}Yp\r:Jk3j)&e~lcV1a婏sam9/,h5;0,I49KB mh 4]z":k 58~s^ưwTV8 gq?7YIb]q 9N*grbɨ\d,̐\TCtݠĀТT ]r) ctma`+1YQɾ,U;O>eG*v((CX`oҕ` I('TOhtȓWPm?_E ^;nAIXDl]$$ݰΙ"5/Pռ(_>eFJM*mXִ fI:bQ·y9%DBΞrq7'"3;$P̞e>2:sզXra`_$GkLf D0{ ]2o"dQ̂8' M,V_S\6?#)4Y CAxȌ3JȡlNE[`O{\'M߷\%;zVmлJHs"JOϫް~eZS zjz=&NJr,jQ=E~[eh36EҨo꣫l!}uJ풀?f:хͫ~ utLD[7j.LEe%k 0n;q O#*9/-9'y8 pö@`cwf%#(;\7N _kԭ d+\|y[}O.4I~ߨ0ٱ|XbL^IeRtw(H-NG 4(x>vE6yFLRW( o"{VoG,UG !|`^TpozqA(Ox [ GQ^بd.rΉn' օdzi捴O#*D-wnn K-Zpmc\z3vaBf:%k+Ƞ0Ź*͑y}z@+?1EeŖpb,_(Anfxؙxfm)W,UШ~YGWr IRʐ*UO2HrE& | Npj KAeHdog٨lI㇃S!Q0 ˼gNx#h~_j:;y'FO:b(k-~ 7d0E&E4y} L\.M{xv_cr(pOP2%7r3C&js:i7.R"I!6[m8ᅊk3ǑGل?{+\N~,$N޸ͭ퍓Si+P)xNx{ V:(_*XN]\5jk֪y@ӗ?2} 60.~צF X`(O/q$KvNCkޛQZ,װA@1IUNXc&5ht׿f4*s1(l=|3lz\f }1Ns}j[ːy (Q>ТU!6d1Z$*UVap QsMr tRi9q*ћU>Pц4Fu jqyYC(;IL`8al0)F4/k4,ڴx-UH|`dv■KS:M-6yS|^̴Ļt[2UKH ЋBU:kn1V[b܆/q aINk"5>-˒l#66[ױ% khYza.DxLƌ4=ueex%F5m#')%r11^hD`]qfQMe }>qICHUɿd<>+e'6*,oͿn):DZ93Avqt>>DߩEn[f|g"GF)QT=!̵&bX23uNs2Jpͩe=i5/.z4_Ck rRc4Qu,tUW #Q=N_GwvpLA&bpXjbQ(?KNàu~ryӹ}6/Z\q0GZާ;blxTV"O+}G-$QÝhVvp7. ׻D34 M3Bf_#7Cp$ls(C#,^xcG:_S= ~"|ؗ<[wN9*X-\ި-%723K ҵe3J$~#"YN/K.fw|zBlh!Ұ*Efʿ +m"?ׇnͷ҅DObL4 -֤]:2oH}cnk|}C) pB+DJOURnB|$6EWZ9'GJ#F_𾻧"3> 1r!NKkq~w6aZh|8]j_NLS)RBOp*}04߬!]*XOE7e96afJ8ZSj y8AAF~ުHT:hӰq^(r?\|#ЪlF<I-J@F"hOin\SӅk{!7DӦ#&g,]:Θ sx$lsCC gHyc/|(pJA^Pe9,gPc E* YҢ3YSҤ~ڶ_ȝwn$B`_Ûyxy>}5 ?}kE[0CWECvTBmpOnhK9c&||:0ݑ9E[M҆E|=#8X('@ʡM$?\lnyե .`ffz\zoMq5Sy!@5;ncuBxuk^4fΥd>g' aAL=4J'5iL0Bq!O͜蜝@q `k%K]PH_uTa P.q産e8Ds $ų(HKpnWv)ޓkx@q)9ٯ|N`%pJZ6W*9ؖ0:оST rݤR_#ErjIKӛ(?b: HӖG`s`68WiQ]{ڑېz6+Rqx"qHZ/{U gCxANpinie9^D{>?qr9.zٗD_g(cJ7sT ; \10oZ^2)#fNF(4m␺1ecIޭ9:׈RyxuCz=;jW2Q[sO RyR[nufsTҫ;If:7Ғ d}Ɋ"`qٽu ޺(NEV֌LL [(g(2pSfi)Ib]AZ;6~|}s6JD SeY)H[s32O-+(Mڦn9! wL';(0vW>!r$^oX @\G]F@^UۅR;,1" xFz§l`r-l"#K}(s9S)@;2հMC2]AfvHv$С$qF*%wв?t*6WjqjD[(T40 =F,R;]-VE E|*9JjW;݂KGJZ$֧O[ P07X9]S1]wtñ]V-uVG {M9Sӽ}lh@$fJ8Q>gȓ{,9aN:yCə6>8dvfu?A~J8DDiLtv(&&j1ީg9klqsE >SlQQTw0G>- 2gW Yjwklw!Q¼y?|қ˭F3\5 C: ͇nXqd VZib!{/!$޷=)>hϝ0[@79p4`G̛&Ϯ٩̵}/_>1٦nnn/!D-O#4Ʀ%t=l'f&ZUabxݞ S5ɒP/( p96^p Gr>޶'Ta3|j+3C}P&h*xe O@ZfA]¬(®wo|xR*;7 8Y`C:u bwBN!x*Mr5PaIޞP$P s-!ϫO)b%hDMVbu08ѴJc^.TLkj`C sdwe3͙ȓ ?D ~!oǖ{6|?|r^Tey_`jm3 ۋ}ζsYC4N)2ȼԌ%<չz&92YT*d'x>OCUDuQ^E,GoK0@~Ӿ7H =U{ _7=in vvmHH|!~wS7MX5{0`ojJPZDe$桘aqܡ|Zl 3VÆl 3,lMHJN634ue׺a*D}?ĺQs<6R'8rт4ѧr/櫲 ޝ7ᱵV2v"~P2gj4g$|Ar!VFD Tg~݄xy i6%;M'IH*#S|:;+_Ͻ'+%0èԭ $3;0/G ? }ىӨ&߁"7E[sݴy%.Pi8xu1;7h:}6o9gq S,ʥ{R '`4aZ֨B=o<>MZxm;pUIwN "9|hͣ9 xd@wd I$O+paS(ۑ4vgj)08YVN.Vu@Gb5a/S܃6y$Xe=IaE4? AwPx9y" ̎ W(Bri5|XoN#6Z&MO@ M+%1^.Y^;FΙk+rJVagchQN^gPrpd;MTQuY>' ލϯI 9[hy}eyYDP VdUqP["!zGL[PXpvpƿ[s([f)1WMfך&df_jO0)?RwWZ}wtgpxZ_lU[vp92UT{d*kMS$?ͩww4?3 DL;0n&ʦP^pTH܇?- !#z?#"v;nfLyΏJڗEsž?Z֡[Ř=!DWCJ%P)!/ڟ /2Bt aʀVv72e *b #~VtpAIY:6эGnQc= +35,<xф\YcJY7kRo9jhH]^߅B9Jlo D0csVVr󂉡L.vۄ.; , qJo1h\5bRv\\ֿِMg?S,`[lwjFSQ{?iM /KuW Jz'n07BB{MF Ԅ}_PqڤMWyiv&H@W.q"Uٻlm:^88fgfa@1߀Q{B9k$ vϩ,cO╮$, _fc"xQa/79,UPr\X..8l:gvbj\-FdƔdMaa WY,lc,N#CURfW9\pUQZ+R м& zD/Q|#6!7XbDK,6+ |ZhifooDwϘQ7S!#Zc rCbzyĽ U{fC6ڊ!WIrkL%>"v݉vJ#?? 7P;e&9j ddHQ;/qOfdj~@7ոZ x+ g-L L_Hz6 -z0} ( G`z|`i:m9&l|Dϴ#" )wD1kXֈ09C,r qbڑjaYgy˲Lb3j|rY3WnH+le-Pkƒَ͛ӴMz?/++E{D4qgx aR%z KIJA; Yu*O,5oGUyJ`f$"pigN@G,wk 7'=S=煨a3p;%ISϛQ9IČ썾IX0ښ0!bWD'fCn ښX7Dr.3_%*?Wc>a]9+9"Iw+zRʯyka"X7Ɏf›*iΛ. #5x>I`yyG$6bf>f\hrFЌF}.Xs~d,gI B~}4Ʒެ#-y4poor/@ؒ6CoSbVo)$q*UMg)qN)JK_4{ӂԽVJ?e D \S, `"u݄yxx>,WP=c0ȳҁW:#*ȷBa!рzm]n*"^̝Ja/?Ņs˖?LpHi9d$)H)%l bI|HhaJ~:5+DkMŢ66t90 L9E }Z;?peɎnXtz 7ܳXT:!`e6%8 ^>hͼ+F0D|VY}kvж5pl]@&Ǧ_YMϩ"jK.Oqd84kC`)3 bAF⠗JEzŜFbԎ Bze8Ԫb;J;sE0HYV#NTqbcC=;({AYJ}a8ȺffQ 1Oy$I,3m6~NHOB +'Ӟfo&xGTٷ"\!b(@V^pP馭̇;'UVZBOcPNe,;ɺk-PW9]u$n8$CeխP\L '>b_TYRA&$p Frʪ*=.<3P|̸֍BxfMY wʹ SUӭc{`.pɢn¸΄jPt!lkeS,ݾkާ̞9{/s#P~*C ǫ3SF[Cb-Cc?miu%{*6Kl4g,;tD ݟfXBA'-jUgQDJ ;CA@7uӬ-gౄrf5U%1Chrrލ:dƶ)Ѐ;NW 6w}%4.K٪`X(S-]]w?OU؂kc;ئTH'0QڼgoB"\[RzA:*ȗE-d|;ZGئ*Kkڡ~1MѪn0Z!aV%V-dF/, 5}ye"p׶_cb 'cZ))d5-)-y! X8Ŀ;ȸ,$B&AWsnL,=fz/c '$5M$xҤ5{ȹm~9]Y ( Fa¥p~զ^zv!F&.ϑ8&vA{X%9cՌY#~z'$/.P'?\/] (BoN0,˹l"Kr&-@ˮU"W륱K1j6\VEZi̮ǭ: $_.頉$ fڿCu\T6 ɖv_%5hI7u Q>,F`CqRDG8 m$ b}X8&Bw}a*[PŜa掽 vxUHCFC04V?#wר sܰ˹O^i9gYZ0f6b5bd89b0325a8030cbfc328dd3951b860804b 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 265c67cd0948d58b821e278c41686dee973b7ad0 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 54c38db887812a39b1b518723fd4468f9395eed5 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 689d052a2694dbd26535b4fcd206bf6128f0007e 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 7724a4cb3aec5426075f389960f076b460776887 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a2ecc67ad979c76d202eccef2c6dccb0f9071de1 a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b39a23d84f971b58dd7363385f5c43ff4ca15efa ba398d78d1126570b0707ee67b307e8a46f2f0a6 bdd62e49fc35afa2685c626d86ef4351907936ba bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 ce0cb9b856a209d55f128657f2b8bafefbabb206 d61ff2a207e7f8eabed36b1c29b3517efbb57644 d75da252ebe713c7a94bd165cd073c4be14a3b0f ed038b3fcd801bb6050003f4364df32661a90cfb878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad 245d9e0cf3e52663f8e7e0b4278f8a04206d046e b19fe4e7b59aafe3daed60d1842132c3779c40c273c424377879e25a23f9945d13aee3d28371f28f