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 ::61<< e%]Jordan_Normal_Form:threads=2elapsed=379.425cpu=571.400gc=12.192factor=1.517zXZִF! 5&@V]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@O`qL>#O R=죾8w^)ɔƦwm8B~ƧUK\Æ0[Ʈo3yrW[EFHa,\)nq n6 *y Q{u PDnۉ#cG 9efH $n 7'Փ )q遰b. ek\dlxr7̭$%tUt0 1 Jordan_Normal_FormZ/Q\L܄#Ǎ͋a;sR()t<"*Z&YNqrIbW!E)v 6x蠔W&FVE0J>"gofұڢy&$7["?y{ Q~%/۶^fhCT}x^,haHiwa#'I&ovwP EMPcb궔MϩFzh91Ps.#kPѬ;(2[ 7WEZ8amԇE&1*Dc9q"I내Xq- SX~.]@Ըc0[e|96+c嗝'8hLtJ8M@R4TIjRz$ΉԈ}Q6ʇ o7[2ڈ@Y؍Z]E[N5[0ZHԞ떓phόxU*8iȉnc ,u֗S`qf8~q󪺒w+?D-&.n6^-q26EfNhsbv2;̴_L{J}ĞLidtfrȐxn 0Ygf@r|A_5$uH۴ౢAO!bFB÷{ OiE6c]Wo<)Ni潼=Y .F BT>NjnLQ&iBܤyVޥ7QY:il]<V{dv^ 7|}\P+mPFVVDXZ@=ޕ{Q 򷧫.{]^q(d y3|tQ9BtGuǯʢc:#7MkTۻsR9h<aP+HJ{xkb ,N?LfjʢV'Tƒ,N55f֎5 s4XEfa 1$!\A)?K`;/:DwA$kЇda.vTGxzAI!9Pa;z0?/Κ?'HvjkNp L$\QO= 5!k?LJOSx0msaae$ᰎ/`^\: 2 T+_.Հ cfWbu92 SqRecdj _Ia=ˇ*нMH5 3mV[ϰf,$udIY{ K09KDcL*OmmnR(Ƙm(y kd:'h2P{BU?^H2|J)XD`&EyȮU:c<%ZͶqRV'bs.!V0#e@4z֎qo2}Yrd9V 5'ĩ7 ֥df%Ľ;x+'FYa9k_.}AeŤZi,c8 \6T4]hı&xS8m1tRr~~NV n;[T['PĔů"3R)Es[:굈G"b.G!?/jf&|8nU/^r8T^=Ŭ֩x&lM O1F9Ϲ&"qB|GWЇ(p~wҌ夷0LxFEOT>ʶ"Xx$בxyЙtk0~>ʮ"@9RZyL &o>)B/~PĐ8P x@ R_+lǡC@Ԡk vi l^& VJ.w^Pjj6#WM\#ctsNYSqņ̝%eO)ɏ\$W˺UN;\K=mnOA0vKcWյP&>U$ʶZrBNV,dYm̋O ½G<œ rwwº @C8_`^(a;U(|{ NW!Q1{L<4OiUGȒgWiDp7&S1W˭KdZ HG|p/ R?q"0|b~7m@x# gGs)-8_+eu ,_%2zzJlcM3xA(b}jsnZ?|bOLhSw4}UYbXUH_G@,NBϻd1Li,|Cۚ`HN q_ivd HGuȞoM5!s+Abyz FyrE0g.l\X3${-(F4JzeA;5\Uqгj4g;5&N E*$ {α d t*yیag$'t}g ݢ"2~!+*2 x0WjRXmҮgxj륜w:@g寑wϖV4Zfv"W+%rXQ2R6 .yGce"svY̓[ͶдJXjP05XmRrwc;"_cI ۄ'ٟ{#/cX]ŧ2[O ^xݵ 6d/Go5o4hw$Pa槵%0=w'4vcp {ƕ-e8e߭6,2}cʨ?`yn_u g Oٙ3쓩ڔUI _ tre c;h2u<׻PW+<2F? _L5/?3$In# ܤl?N:2d@o5t Cɒ"CRqGن-C<?PZ<ةr0&R9:O~R DE= i@VK׽3e2's"ֲb j|pvˬES^w5{؆fYPf 8<¹nTG|bT@e-`MCEeE0~zXpީ'/DŽϪ'OxaSΧdRv R9* xbvk crӬehb!b'Iߝ3n>y6A`U?ZdX8dT-%~V [RF$r6=^.Y)Y LY320II6^6ԃU2NīvGQaUBXG~/MRmK ;_6ʓz06jtif-7 Cj%0Pi?3 4iv P~qjQns7)O!hTn*WRB6@'=>j=fGӟDI_79 f IL+0>ߪlΕ;3P: w9A6W:`9e}dBz).q}C aҮ/|F8Uz!CRR vB!ER_((I+?n ,RuԵcISyhy+kSIalP_QsE+>(:9', HCgh$g/WM)+QEWo~6[E'B!;_u7U^ܖH9beW{h?UѶ(IJcC>RH2bK@MY$=QE;+P5 1Vn{$r#@-֚3~QcamzókY+⹻m#kC ^Tȳ3Cr̖Nk.A #çWmqW PLh_Ҡi&$7:hyR,*:B\Z%CH |)?h7QQemHK#wG܉\Pu-К XfaF+6 WwEl !s uӦa*zs,T0 KE*~EɦtNXo2@JkG-v<|I#֣)"k2N%:^KVIQϾrjM pk,wXF bPi|٨4P/"|@'aO\sw8#ߜY!hםv k^P-Z:1/֖0 C:6.ה,tL YGھ(_AV]=P gj' VJݞ[ҠQ ?mm.KlzJPR$c}D>Bj=) hN -KčGle[B֢̟̏(hN(ThMyk=Bے~y ߺ+A1ފ/h(sϫV8C+ Hu;-I7(k6xi]_eDCU8 A;x\xM4M-E0?h{!w1k3OHا^)S`7ځ Lt2|*Ү>vL%!@4_ tY^۔pjoccn)q%`1%ͪ\LԴ2>wn& +))ڪiϐ'Ѧ #uH;%:G:ւGxmA;\ A4Յ+\ 1t<<4j$"-Or ʞHt̕A9T~rWI"(&ꈆq|ELȨ_3ml(uVz6X7r zh# AC' _UVmd:,}2(T-tF%T{S: .mFlN&P~/ ]@psoX#fݔ5dTk]#~!%`O c&ϑ ϊs+w$r)\tP( ߖlR#J}ʁȑ SUsYHy^uYsS :U^W$P cEӍȉ= d 1ˮXo;yQȢ7d-WX*'#闈tMݿښq|j,m })(yi.T~OuՁUΣ싦q#7GD8]}I(7(c]t+D4%ȜLo$c sƑSHRWH7&ud|}X| ]j5%&F̤ k&1,S?w"/]2a;툤{ ^x*k?~Dsp71UUD/b?Ϣdn8RtZ4$ź*_+2f G7: @1>H"jP&=b "n` 4K=-r`:{h+f79g.?4f E4,O %xG;iVa;irҞыƊh@nI{R"e}6?舰˛btH7"ZJyԦ>gc$U\f' ,]$a.JY'agaEdߘKk4zL`N4Pm#{6<Lٌ?'c sYs . ͏r @xykLV7:v,lH&{,Ւ6,Kb.iabZ&'I RǼ!U'GU6kbbg%&{]Z̓Kʛ2 N P+FcdrnѻE}G"9WeT'cfqAt'xL@ZT }Z JmRn-)yTjB( $=U82@@a 'سE^jR[ťpIgxDx^8`:Qo9`Ѐw@BwfjVLъVn0z8̮od棜c;x_镋) 3oABJr}?$LWvY(NŀTP⧅{Kdbxqҥ_ $ZRk&`l-?eodžY#+I\cVn8R&VGb Vs,Fկ# M&K0Tϲ62EWy#D#x 7,$ʭc!vdOpHZ͍(}4b+Dg8xh8|^)i)?b2<껍ff/ =fEY73*s* JIS2DJ(`5ܿt<1/ ,YTȌf;JY&PW݄tnk'[;cy4gFtdH2LT%4 *6]\:EbCf6!‰чm}ɫG/$Y Dq1j(uw9pTZ7FtH7Eڢ rk_4? xX<+XxipBl -+u}:KIY6Q2)u4@ʾgl}PG_]$zVG$&pyW4s~ts-M<[mוrv4vVjWy"C;'-uHbcK92pBCfx T`ۻw@T+njlHL%Z*nh zFQPQhю }k/t[MI܊x9_uQhFRy*fúa\5RZJ-YcK߀saGc.q3*U8jva֐6%JHh`\r I4^weP DRkB|M\vlШNnsz9 LN!e<[dFQܪ"2i*ʐ8$ g lIx 7+"SĊ K:lkHzU>!ǕL8K;+m}m/2?`cX4s`tY-YfP30ź$3t /!o9z1ű^fJrHdk%lDhiYIW'aܔM͖2Adꈂ?33MMz,)6洎E"ThHPGQӗ goM]mX3`BڡcAFȢNܞݪ3VbKkl_AA .%ZLaV"N3?(sGl7SF.3k 14;dyu4ňa"A\YF @1tFNE}K8jGPJds/Z)oWhSe^СΖN8iPd@ه>pg?JS-@5х~v'naet/NqD#]rfs /yF eD,WJXЏmBr5GIir*%O6cgV1b9 v67JrrjGӬTW xFvk&0z8)Vw;ɘ"È, -V\` w +`d>% 2e %$tAΉ u(($u)Hîf3Gvz^_i\lUP0(][xO*#,dYj|Qz]/jsg9~>ܿO};ŃX]0\Q\pvv\QX cAZ@*SGsdn6TÍ~UC5BeG$acvگ=lkMtgU:͙2jH,߰w[>cr5m:'\p:z; N doK)0wԐF@_d7MW 88"?~KL qx},^V}ίLpDرF~H +eYĸ9-34A("oFNCũ~ƉG!=D".oe Qf=q4"+QmᆭRlb Ljv(וYnfRJ^p(Oˑ]1ZM z|=]R)w2-}$e˶wupѹn`\fbZPqt* ^cYPX!iƷ&kyh5WS$&-r*11׼' zH`~cgW8^_XLV"2s|:?C!b!A$WLm?Tj/e[l0V.S;lj r%{omK.:[ KCԷy롆E+HbL*nI6dhudrTbA*Cڄp:\z}z|XTaTPH8WaR._ǦJy+V޺ b_@`X3eF˼o wEA@#!DjSh2'n+Nk\րC0[$붆':Vbg)Q֡8oAa-Pq^##<|Q}Q+ere"E(ݔF+fCl9_jB`hp!v;ȋ'ى̹ؖO4+G %Q][/2(Q|<7\[h_n.q8I0cߌ v[rx]/IaC #oiqmLӗ0j>iEڄysں,V<:U.΍@}mK+%y7+Udx=ݷ{NuX?Qrc+]6taǷ]9k8) ("(Xn8& 2Wwp SFmSOOatvGAX~QFr -z+6%zOfFbgP HX7BD,D~KzKdJ+9iO%UN?5FWRcS*׏Rv&[!Z.MR*AAҸ3l_;j,[PU-jIRoH9yݚ`#,R?-jZS⭼`[)ZB3r#ԎYnh4GS1 QX"_DO'- xF8TbM#*wb5viL\{ZyrH-]sB.|kć `zH"*!^( xH|U 40@.CKDa Pѐ@~}tOvdαF xVYCn}Y3otzqq"g( pԁ4 G~Þv:Mٍu:{0a[ 4cjssfGsݞ $ang|{쁒߷)1 䊍4B|Gq6gc=EaYb&ԚfD;v`۾i}5rh3\ḩDT6npK@bd~7|ՐN;ϲsng_r7J'V|Rd~rEp&_|[9=h'3Ԋk-z(*hنA|HeeU $P'$b; y?B)q#tn_ X1e4$tPk"\^jCSh^`)^]F9:6Îj%_OG\FzK `W^Ѓ(|W^>Yf:ى l9>4pT*3Ieʹ^]r@G%I>qB8_݂eY2%C q_"p*yrn"xsH-h-6yA&{K!ś D5&o`FV·>RzMZlasiuo=V6 AKI~ja3MhՅR2ܹCNm30ᷝFU}Z/uRP˘IyCm;%ђK5H4>ӣ3?'" Djm 4CU+sNjw+nv ot;/ jB-xYV3?T<'Е4 |{0Yn+.U²KaN;U*4kP7U^p~fֲ6)i@mȋ\GAfEыym@pKo`7i?_6-^& :.{X4w< PDdS͢ Eo[JP;-.++.=v!imO]ZH4i&s(l7r*e:i| 2Pn<Vq$yo].4 5_Iw},pxRs=uYB䧉Y숆ύ@ -UMi_l'ۏ;JL gcJH'yo:@<.\@-WKIO>*'5n/EL.Kt'{&*@ @3^속wPqB誂w:-*Gnf5'LdKw>P㲽C\eaͥEL:w<k"BjK;Eƕwz~Km}@w| PSTu[M4EȀ3fśC@%o׻nM&%k'\& e2`?  V! M1ϣç5]y;IzjhCpIkBlT=R0\T9*7ws4څѪ 1gU 3tW5"ךƲ׾eErÕ9Q21Ԕq# Uogh#̥-jj7x3^IKO&!NsW__udN'^ |9$% H.h4h?LI׮T. X!&rmm0 #, 9e᷷:bۄ({2-j'd P ᗙ5UO XVr6tQ}ഝDgYZ7zXZִF! A]ŗXi%HclYrrB#.mO_٨^='#Փo(LA ~)-q!dkzxw-K8$ H̙ts/eTvm TO]'A<-,n"}<Q>Z 'ώ3  N6L9`Xـ"+lhT:ZSTmg7KtD?Ԙ[3$m 1 /TL1QƳ̂ISb6(b_ciUF׽&S:__&j\0^rT(+HL5 Ǹ|>Xp'_0](~&&84"91'_|`}މ @K86dT8HYDpӍ*lu.9-"?G!t>8qS}I9?_Wa&B(s0ј* 3)|fʮUsDDke1YdILY+]yW` 'vay»EFzRf(WsSav SN52>i>d_!-چ~XMA.߽ͣ5a3̀5ģq*t'T!0?FFzI]?cv@2+ cuy~芐bT&85F:%H.DM[[@WXBi2&:5aP\a3VHeS<(:HcX֮;b.sP~KH0a1{JԜ>S ʱU,[Kz M1r/YYOu u¢hV{aYp̈nﰱ%5 ^Jm;F!0 I(m0,Ґ;ɂ&_{潄3ڪ|> ^m.$sμRT"e>2%\ oưj%-Oז杞 {+#`:[$@-5 M֥<`xZ5WKڨBݻk 460 @+gԐٺ-Ep|ƛJ l;_C=3h4<0]?ߊ\"8i8ڊFD'lDhCmDSBAb_EG5YǮ.ޙ&s9MWڰt̹$:cIԡP~r=k:,^ώ@ܺ^mJ'BM?G@n&h׏#|4 *qά6t](0H~qʱ.f 35\"{ 5ĵObʄPl0rP`\Xz}h` pkEFM)Ra")ϝ+ ?wή5P+ÇLYMu+2}(=`TjinQfBj65`rCm)Q0.M!(SSs=ՍG(#.07Ӑv5}ЪAW9Dm{zŬZoP}P2[ Ąqf,%4lQ\Lh6ak !䇩avkG҇\$|藴ȋg+p~d41U_n'?f;;2pq^¢w|4Df8 eDm#tlLTv7>΂2+Kk.&$fO=?sBb3*T{փկT1#ZG*eT5'`KyAPXmNR}mU&J*jP$ DHeg:|4̱,!/x9>oHGne|]ï1;<*Эvƃ(!9AH.&&A< CfYo,0'evuE9QGY6;؋b0(u)s1>(:.ߥ6j e˝l&OzQ-s{ed8t1[h`D(L*\kL)Hp:o)fmTݙ]tH 2>8$c=oV& 4-Ϫ)MZ7Dڔq-J]lGA;x+=@<֪4'3^Qg@pߡL~⼕G ֬]v΃N`$FB`cuKvn! D-5#wD 爤|KTTx d ٳpnou!Ҵ'\Ga }$<ҮBΣa,ƥ`9-5fR%oSoԱe\Cmc1ouX $mQq64.9))Сh Q]ؾ4KC# cX=ʅ?FSx/o|Ul:$^d]J90r. "{|p;b+b `_(#[F7j3P[Sbqp2嗙LJSWrQ+ƣjm@BE(?< +-Ka2q=ۖÅ)U!iL9Rs+J_ aM4GS@Xhk@^uPnqU͑bSa$|t X8lQ7I-Y`j3{0)u3Pj <~i/OtI}uWmI#xr^8]dP諬„۸#Gɇ^kFR<ćfy#lÅ_y azZ;lY1TZN̓X>C教kx+nT.vfe.1?MH#_h(5XpB^F>ږ[îjџ$ ͵!ϟco5*FW\|[\ʔJxVhJmmwV=׬b_L*>7/Ҭī;ʫ9ҿz^QB#վz Lqǰ˅Rsզh} e[o>TJȳRf5ZFnw|z~0Jc(]h W=m7T꺂a5fl/xq\rƓg~"zbYA6Nu` cKԬey .!Bxa=W:֔=Љeu١lj~q Q#gXQiR'n}3MwqkݾA3<-~Dz9)K1Tc4๰Մy%Ԋѥ#xy'xq{ }gc1ƙq( \9xuLgV,{rHzrW\[(Vr0 EgT?ۧs>J֖CL  :%AUO$GM aYQ[ muQGC|U]p#l`5Qvvd-*0';g4GGM[#OĒ F_OBtD3Pz D0F/OFá5$>U4:|6L W1yCIv_S'#/[w?X9Ql]7\T5ʨ kۃQN6ycEkǬԸblzYEE6.Fz mVƈGF 2A\4'1K;u=#T{2!6mou-\ ˺jK1KH;?Q_T:OaE2K-_qd}Yb? Ž5k}=# hƩ]0ؿPѽ~Z0dKG'A?+Hd}O>i#GL.&M>% KQf^ߣ'S7=6sQsp7jv#˟|'.frWG4FOTecQ aKy0SzPPԀWy౷S(g!'Íy-?w޹΄T VۡHc_G2U`dXJ6Q3&(m+~F1td[L&z;/0g< %MTK !U汸H,9<ߖf {7n[ܫ>{H͍Ni~Iz"8mVkj=A e`5RU0.E,4-5;>oq7n.Q@0/bD` YzJ 4F5jKo0ZVYũyn@U?T/6eJ[":j8U>_g礈L!bX]WP6Gc|Pv];f[qǘե$ *= wmn{&rW0bhC0VQϡGiT<*7,^@Vx􊹸,qAoW*NeRZ ]BGS 3Ǽ(S($#/'ۉ@NIrTT/_k_JCozd]Rb^}Ø}"[peux,X |JjnY,]H,uzUx1Q!}{.~q ,_gIܻQrb #`G~04 |G)`,oGBS st3E JA1dO mCyO.6L~x<3U~тX%n'/3b^Ȥdl!4q\hJ]~%PH`_ ηa8\qw'NTmyN] Zc_G2ƥd|v嚃8Dy:l(s ’οaOjlT`/ Е7D@_L^G*v[d{jA^hPx c&tT}Bxи{WnOl-l.8[Ӂ&W AB(ĭ4vkf(H\[&vNU q /_ JVQ=D&:Gr@]@ӛ!m42k᭥\ 4vXIEẈV&s4YM_d"g޵Dvh3$ izMO֎~.k{#EE8rU"޶tw=(:!jW66HCM,"'2yZA gqz+=R7x?aG[JED6IU9ImRfH[ t{&6o"0qw1iI=Vώ 0i﵆C2b47@Ԧ8bR+`,M?u=l!]Ń]Ofۖ!1︡ޱŬ2I˦tD7%BA'oyLafӠTR\Z gCg]sOc-:VC$^C xPM'@N堺qZ|EAۺ (3`2_Rghٵwu/УR*qg7dԏV|kb>ʄn> ]m:XSVURG|s?+X;fMKouD(J~HR r>H(ןSB;D7<{k3^]*qq،`O_Ip%T( 㱍W&/ 90*!SNRP!}&w^hB$Ϳ(ıK 1k6E,=EiE$[7>UA"r۞}l1!#9&ZE DQXMQ,R;or2iXܹO8mL-X$V.XNKVW9)BaT,1|LbzRxo=*mLiwz@6.e <J)[Xϋ K ;w!+ ! h4Q^"6A3](  Znjod+."3:)*}8tFJ).Ҧi6]55? 5z!IL\qcV7uY}1ȋ.g:eSC9ϯ^SR`LvA1|՞Ŷ㨄36\yuI/W"bW' g= ~\P̼EP%IWA྅hCѦUT oz̉{Im]ԛ%)zT-uD|<`C]Q5\^mpGe! -r0tlOe$sg(Jz"R{{5.^4CW)טs]+S9`Vc陶 `׈w-Fܼ.֍![cFJZ ȁN*9ψMlL5N@io\ VNG'; ?aɫP5ctxdo<9ɮ՗!+LX',Tf51xtShD%"Xg4֎T6+!HO6hw,+'rC6#~TxQBċ etR 5=rb@zP?x/CoQ7$ P,Џ)~^ l2GXx)O?%j$V 07.#;<ܙP׾&nG9VSt~EF4CN"9qڎlkp|,-#]O`!<k1m];rw&sJmc]WJsjIze:mz8jKfu`gNkV;F,awo]KK#FH")7dC׉'Rt8:1R@vcs4WhRd~;C4 sRmJ`1Ks=d1dЦC!qB_2 luU2A[g&uT>ʕ^dr, ?eclrNEv \yB ն2;Kv*io>'%$w`?=HPM}H́ov}b9U n=ƨ_ǞK%rNʣpz]1-?emiC7,{Xu;Ga]:ÈuGyηҚ!\ˢ=nPt ?O)\eKMڇ(<9.M:?E؜)Qncњ#,`b}m;z2P:ʩ/ifx(:~3'= ֋QuԢ&&9"&Q!Õ*`{fͰW?-@$F4NV$|s# @li҈0Ў)jFk^1K_UB2T ^Wk nۍM0-8,ڂeLC'sd0d"/!9=s9nt! ƒ@#̑Wjkm*?^b7T0& ' Yq81#܍c#|@X?:aSxFԌJ59y-εc(ӷGXWV˩n2ۑ̉װ3)lM/wstV;~z &1J"\+g(;5Q*L-ÐLL= "B]wbZTDQ`'"_2BqebC iG6!\Sff6μDQI</H]AkiǐQb,il)||pOҲ9RPd fQ󦰄vOjߋq{kP|zaq P@_睶+;Nݲ. ]n6tTɮJ쥏$U- d5;y>p=?޻ܗ6XJ!nq-] H]zr ,U|4mA]aZJ$!ϳ( vdd\TE8[EtKC8Npٻ2Taw-}l3@ވm ,jal\QŢw!3& Mp;8vnO9H$(hmH A.Я}: ^ս(S@%60rD?`D%,̬\BE\Rf(j[ S/LzƧWP'VF [* yRh3#zIXi?UR| 15T7rUL@;ofڈTGblER6}EIZ7T:W57QR!zBrXUqcH{Wp x-SydaL>$ qw8Jp RA*ׄ&QlvkqJбjۭ"* -^p%w:} 94ڪ;KUoF_ A@7*4M6@yvcBTDpU i 6(4R25^ͫ ujcuS.-]_Ek6p1vÚ<4,W.@֮~ݑQ4a D Atm GN%U܈Ug:D7\ ה2-V{_$wv="8KdP_q ^)!jH}Z{BGLvFUllp\\!nD!aJ\uBkU_)Omq^{B滄82*ta9m e׸p{~+4t]l`2>dGƢ <ÝFqT.eTcU:nR$o0~$~]X?2JQARHbH f?PbHK.aC7Ͼ>X?GzEٶ\97"r ]YOj;-InJ'V^ktI#:%k{x `K&/ yEUlf5 H~$Lpӯ=~%{E!F zs:Ƣ|iMBdv<@(D]ۥ88"$HQ;.]R["d%sC>@TJ`y(!n;"ā {oyGM"G' 6AO ,TN+=pJ7 95Ḏ,AC</t͎q`S:ZٌIZNl^k3{D:V+':n`eӞ̶8?J B2X7KOvCzbUSg㘡@7$㩓ݼ}[ex}&YQ'qNAN P5=\`tWd2 d14k+ 8hY,d) l,E?aV?Ǿ-ΐUa"9X@GljGI?Vq)5]QRf\= _2P,}s8^BvXx/j&rP##"+ٴe,P}EA2,M`uqRYȓ3~N3vH#ܜaDOR!Y3'Ǘf.X"ErL2P0 Jsu[ H;KG6s4P~8/W\`3yPؘ 03d8S-:]?Cn+ է;ʩL盁 %q _;߳R~.z`B 64 ׇ+U_~W/V^YVfo~^,2 4j ̿jܚ$eV0U/T PxɭRҍK x',-; kBbw G3N[}QAo&PTo=N} fZl@qzJF3׷ziLp)$ۯQ]{c!X`!9>Cc'j.̦xXfp{A nEmd0%$Ma;L&X WumxCK7zg4%=Oֹ#1h:2{Vi҈nV1vL_,+*w?., CQ?vaJt)766[U#sW&g#q3>K;iYw ?if8F+= 󟼮$!-]^&Ta]TCє5 -E-ZCSHdRI<3P9$JEO* _avjVc, F=%/ⱊ)n0ޥ qgYZ1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 265c67cd0948d58b821e278c41686dee973b7ad0 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 37a87f68f56cda25790462152da10ac518f0100b 3ae07ba3f06504d0ffd63262a4b175fb34440c2c 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 54c38db887812a39b1b518723fd4468f9395eed5 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 689d052a2694dbd26535b4fcd206bf6128f0007e 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a2ecc67ad979c76d202eccef2c6dccb0f9071de1 a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c a4270798ad44a0465a9d9638f535830d7f5331de a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a ba398d78d1126570b0707ee67b307e8a46f2f0a6 be2efd0fe95b83679c827d9fbeeb3645dea903ed bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 d61ff2a207e7f8eabed36b1c29b3517efbb57644 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 ed038b3fcd801bb6050003f4364df32661a90cfb8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3 09a084a642ea9f440c16b475debdd7dd0e298b77 42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083d8c7dbf611481ca73cb08349995734da5a032747