SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 T3 D ]]LLL_Basis_Reduction:threads=8elapsed=178.963cpu=1045.954gc=96.109factor=5.847zXZִF! ZX2@]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&|!j?@Mrnܯ' w#FBOϞ@`9Fёko +"ס}``iЈwRqlZ!,Z7Uxz'22_?(ԈSC`a:s_@W>rS&_u^ d'{L[џgQ=iem:3;o~D0-+D,+4 wdiT ?FI5$N&9F3VNɗe5(.D *+mo%*z]el=,sKKVuY OF\h N5@D3NS,qC/`[# ۓpryyn-jnbE**[ ?ʩQ qn|`09Odƾ#Eܜׂ]u,<3\>`,GЊvWE|׊=]( ml!.x0`><fd"_kɏfD75c.Gc{kqtԩ[Cs;BGg˦h Ld-Nz`i:QS gRkX%,u<^>砸qMBOlanOk5tju~y\ @qqhꃗrs[0o2fAuY85'xڰ7 }d"#^D֢EPY N按lA`~18EdȞNeW>HdD]\5S:窣\r]d/wBn)}u䘹,' ]= 4Fϵa|Q",aHx 2?5JnD 몮!C_4PdTVQL.;*ɔͷ?z2JDtq:dMgQ,vb:_j~$Ǫ1N:&cJ_ɳp Bz5đEa%Y>dH803jC-v{c$4œPa$QMͽ~2`Ǵyo'BɱAw\kDk]7W_?LWz̞J 87 qqx%{1 \ZcXw, ÖWuN*N&ÙI%m e) 8Q+P} /17܊eؼdCܛ9 _mgή4wlD2d](-~y cm5MRy "GLZCԭѴ!> ٜVzqzpUC ?4 Pۊ!w;-[*PJYhύ3*[k6t3Ge.Sv9TF&zDVI%x P׾ّ+Oj<?3WUZ0@E,.b>n +EԫJkU3"tѝE8Tb聖UFDïus+Quy'/}3t8ڊ[LmH>PS'˙*>ۣαO vFs68W o>$W#t>ԋQbJV{|ɐ0sVNW jGn AZ3gC#zV͵7$hEx)Y(Rxov)I]hܦo,뇦f 6|j%-}xAC<KmC+< &Aَ7X%#{*7{_Ӏ\jnl* ~۲>t_J`,NˎsrbIWG6oŠ?G7x*WyAu ,2OE0zup2/x2̨0ͻ4PJ?s)1HDV:?X5E~;P=*#7^_7i)'m0=dt`^<̡'fpD%,1\=a?rJEP~RiDiQ(c2)N:*{y,:j":vOŧ}7z*zM:s0bT(xYd hE6 \!Cao*6 >[·urdqgGCQF\p{hy+n"T(2}cOz9`U 6d;5z=v,2Y1(Ut$(ӫ'ע0ȕMylܳ.4s1=mu=̐TCDө8Hܛ s+Yr Ue"J^xu/xTj∔*и,nzC 'qY$ h0tu0;-ߎq-<q^>=jQV!25/$&J}b[|%nf*4D 7̋SkZ_<@i΋f J0Ѩ1X𽎵 oOή\cjrO$d<r a.dD\ pHafTT~rVkK\[|ۡKo;dsl'N5e?%P$~5REBTLs(DIw|TA?,?GͤǥbFHvD7ŐJ#"D(B@TD1LNYg|2u|ZuZIQ׺~+)[gtn-Y\l#$$6]@/niv7* 3 LLL_Basis_Reduction  kpzчct;)Fڂ84G=C*ˤؿU[4KN蔵UX!DjG#N)q: wdcu);#=+TW4~wr!\hmJy5c,$ܙX]gɮp$ca4,\,V'GPdиAY͝pC&Lo]}rA%Z!H#rz2AvlX ) |>?Y, =/HBeQ_/ dġ*8$hQܻVx+l-(` O_`pMދ*d $Ar/zzv_o,#p)tEڏ\]vF8a?˕{y' )ܔn xk!M+7jO5rHyVm/ O.֟ޑ t~^+pLE^:Ajao) .d70`K=gRY5>0l#],w]r)9mucbAC0m2CרC9B/Mw(0fJ O 9ncE8JW0r!Ǘ;6ٹ;6r[}TRP9Cd4G+:m)pל+*ށ:Ib3q7MM\PZ*al  k4`Y.pq B@M')8$ž|)n\v̈Z ^|YC,¦YQ>;uʥcTʚ o6|gKjUqۏ0Jn&!΋$$mH`?0VEꂗc_b{>-.9wAѱ7+̕*=zQZ8wS>y`z4zT <9MG!N.oE!-U$Vx?aۥ1dux84A?y FB3 qŋT%Zy]ui^IU BژdPE=d6=dyǰ!0a>`~`~;^C f ƊqՇgSl҉kY?ΛY:Y@W|@'bA쾤pH%u©VIzl'p{`4+R"}եGOn8J BNaiͣ /y#N6 A} )rvRN(T}$-Ti`K2mf>Llaۦluhp^p@: zAIp/6qPT8'3E% 8/!i5O,o&T1Lz+(S[O& A;U$>| sS4p-b F_bm(> b^l/%vԣyv`S#ܬoXE?.=S&и3Uo`!:z~iX5YjJvW\P 2^g8w1C1O^WrB%CsHChqY $mSM_^ x&)\GCX.PA4CH;33$*Ee1{?eѯ TlXUf֥8qτWycQOB%(HT! I;ʒa#o3Olթ`$5sM%\o¿v͇Ƴ.[6Ħ紙1DZvХ/:宕FݽLK&FyKQpK㰾̘`{*|x9d-doz֐*.EЖy?![weCw (l+ ^Sdi֬N'EoRW-M`O''ic|2R|U _f|Rw(FrREua^8&%@o &ΥٚO^~<>IU 瓲9T,tyuAZ0JFvSavшr[9eۆXe< k>$&2aVX0hTX[c[d9%I[XB1+.ﱢ *۬y3P xp,[hO|v5S7pٔBtBta(=湂Ѓ25[E!7{}_IY AVдG*h{vݽ-mE QiJŊң? g6SljEq6_qiT eȯv 5n͌[cTϤtRe^o<tEH}l{[S7U-Ѥ8yuLRP= »gl2q0l+ɽڛQm쪦PU2W8hhk f1]5alUkueod[sLD:yٲ4Tl,jۋ1~ 8X->@[%vә-Xw-&J@2:XiE$QXѦ}qyN)ūZR׃&A8Q-u)v{~O5mSmfDmfNCJ -EIcDMs˵dNA.%IMLʲT} ֮!"8;BZAX+Diy/ݠBcݍC1"c%J, ,Գ^@oq~b,hDd#tC O}/~諮K9@@4gjC6Z nVV; DS'p%je1)ބoh3amumJ_.Ny_w[%kf1߻"80 6ƍT @wn.mpYAzvs *@P9tWY9t|_I Q tGsȓ z2Lp -r xBɅ@8\uTlaCp:-x1D ,jC2q mK&穰JzQSWρ2b],$JGz ڂ|xX$, `6b+qhpW4^seJRMDqI_C, 뺐Y(BlgjSdu?л?S E[DYN($V1Z[rh,uUvKr4 yЧM3xzI]q3&Ql֬1o|? og7U2}k#w/dw%3[޶v맪S 4>{+ ejkC8ǓF&$CӮJ.TO2QeqȁB0ENIAl zǎ']^f :AVKr$߹b` ;0\W\"E(aӷ9?A:i=$-BJI桲z]AqM6"P1jG!Ovb}jh߸K9V2-gqc[[Ms?ר*Cv9x" 8n[W WtҵuEÅ};QZZCT+&J;?$<ƮRY*#*}6d^EW(Gz ! Q FxaD>iTW]GYr1^P'ug;(_ ~RHPd_𵔓}G7ONUۯyr5u<I }1eop˯bїnUX~7xs#rox3\d&%s*Sx !u 3 QŽi^ S9=x0N)˔?BytM`ٛ Ohs"+ /fͪQ A+ aOb4i74&>ƟsS*']i 6kpqd&E97զ5%oA^,}LD8ȑznNk?ɚ/-wĉPN钡 YjKɊSc^z-GD+bZso۬|+0t#H ~e_$DB3/hl;= SGK# Hզy5ꕢ%5[HIhFh|d BP!C0.WkTXo]X!Vr Ĥx_1fZ:y%闍%5/&" Iph49X)'#xj"os5"~haĠ{IW<٣8mleKJ<,SB5A(XI/`O)4T@vSDH[4RO&fB QYs@k:ኧA$R%Cb$: }X~#0tRIavke] qeQLl [%5Rbu 7hپyz& C١oNo`,Qߤ;P(#X6ȬR RNH4tލ2.R;-+|_H "})oidHI5i hҐB:YY!޽i[Sn#fT (<%lhIcr4.8kR/ sIs\Y`_Af˚)Sѡ9]@=wݥ{L%KZ]A9dY{@}3kSBiOxD30ZqCPJO W|[!ןXeYf >g=D.Gk'Sr챩!"e foirJ!tEWR%MP+KVG)$[3/0@ۮBE<qqۼy7q:!9/X} l/]t=# j.1FvuP-^4Ƀ߯Q߃͐H!͈E 6OhEGL䟺e%tO.;a uVV=|W놝 \/ V $I\qBpcbLXѪUe֔]3Mt_>-+PT4M&TEfZpULEorkzo2nƿy<^V' k>0@: uY÷V޳nDkiA2jáK(QA%gkv l(r^>fOw|^Vlu ;LeA8Xb xG3p>Xt-r~Y۳ID{-tٶi:I=L=8waU(o:G[?.EVξ- kVÂ*C<7os?yb`7b0m P 6ε&3`?9Q,w׽mDdig<Bj⚉|:[/>zʃX>^ @1ȉ'4-{\M oorf 0m)Kfq8l&02d/$Yڒ-/tFuhIxdwfp4(Wu*Tqy#[g~L(0HN2K(s>Ez2:y%.4K&P&ZW_WgMU!ŢF!Y/z;}r2cx;s0hmC` uyVg[VS艺v]]0SMW[$ϝj~ {y3C-ci0*ȧnZ6<6Dk ~b^VLO]glHqZ}~OFX2\ɡ{Lft} L#Uuj}vR{a1)$KͨdJQE5s.ƘS޽ M{d`K g-~ hUE?xON{( 엔)b২IF}opǍց*Ch]bIK %k@d~9^x!H +q]a͕ ӹ8kLE]TU~K2L|fMkHoÏ$rE~|@-_!pX0B $i?kDK96z$6XZp5F<Շq3}9WvEtAL8b~їVWH%+LqW씉9s1g5IhB~,VE61+1.{?6<;Ψf" sYSM=G trAy}sax Dʺ,o|Ou_m(i0sFJdٴ ҂gYZ7zXZִF! F[]ŗXiɟ}dʙfqSac+ @Ə~WӹͯUv"fY.LM9+KJB 3 xwWٻ%XSoi㣊6J:#=_ ɩڲl`k89C+ʁG..F.t n7Ñ{4"oMBS fgx &C=-.ⲱa}yMjEw3WW(tXu"f/~|@D]}ˬ7$s $pPnˣ (le]5fqѐ? vy:1i+IpvҸ[/+zZU<g,&p~y"9nŵ>aY #Ul 3 GP\`eg9Tg#N;B(oȻ-0/~*nuP`hP|~=bWFUؘEa5nh'qͶY>TAK!m-NYV4Х!hE!&yj8:ߜ(a$FOiň8o-*'#nNSKlwDfݻ٠=@_-GQ.e_'*y=X҃!' D-7mX٢y')\42_ ,f7ζ]&l3SL"xN@DS |Hx#qit]Xoq33X5x5%*ѣ &E9m FasE= 51b:x#&%L-$a "{!lũ<+AY[L_V,9\J6YTU/,ei,1K9!L 2D(D)&Sua5{e'lܪ0hp>*A)EBTNXp_]_\:t(As@g - Ɣ sZ 5TQdŒ ]R-eP+#E?_B iQ9F+S1BsƐK#*ej?{Ʊ0Z_a΀29o'΀F*xgYZ7zXZִF! UA]ŗXi%>twTVƦfS"ziЏ"QPl(Ej&|ƕ\c ],MdG=^wvxlYGX\fWSf&IN<{u~׏ۜIfPM1Nlp+ O=bbThb=m}d.!Up7~sJ7+/0T^~p8ٺ6¿S#^Wh=o  ecޤ T[qáeh>s;z!g{3*A]G>L5!R>uthH+N;?ʟM[\3R3xYKB#Cl$WW;DE(hcPKB1pZiQhͽt_ Z^v@N9 i|.J1ӉP%xd8+0(U@^ZVt/bvĚU;`%24<6T RXnu{jؠ-0 juj9=cL`B~vE$9J.+<~[F?LpDnYLva g~7"H6)f$=r:u{|J 2u8H_{Ki@(ކ r1j(* x۶׼.O#7Y N* @lvmFH+|sk|U$v;6x]nx*"j~fkQ/k[!A7@["]%,E M Dx22z*:Љ*^?5|ovϯDE4wO='_Zq룆8q9+#x;6E3%H=Ņ2Ѕ"YA zH԰r9SфwKm W T/Ǽ XyW:DL9R?vP ,\Ejq T5!8v]65!.uM(wcDV/·j&ȇ(mذBZ$ly4nT B2u봚>F,iu: O1ګ`ma| %GV9Stt]E!pW7p'Qpa'έh}i`3-hu RK<s L[w*%i'@[)h7U:+7T} 6w@{LR'V#λ[J^xhIB ge J%K\vI>.WO@$]?^RZsHn)il>26-4}l}Yáa̝UM;g{0AIb4XBI U sM48z/ ,wGԆI=uOULpsKVKʄ wbu\\$ڸ3()%|, [~6|)͚˘;ɑwܱ'$3{ӞpܴwϿvJL5, |(m!nQud M@CDNœB)kx-5^4n?5}-f4W%sF^C:#@㨍a~ ֊ei="&0WbNdU?!6G' BՄ4H9Gȧ:Ap tC!l7_Z@V2݌r8K3mƸ\1ƍD:ѯUKok/O[44 jE3 4Kn޻vJ|N)b<(T*E+[Sl^t"r%EWgdd͆Zɡ.B;K|ңEr)Skq@oUl~"*0@g|Z(6;+ h"lèX!.1MØ߽r#?EQ 6u`Mha7!&^ʼR+uA7P诪_u? 1PëEgΖ\<MM%)އIb]Ib OFRv@^u,Ce77Š$;[pg9␟p<=t`":} Mf)c:W_9 |L%$9i&s#qs!yþi,|Tpepqz /x`3PxoOmXbBL_O/4pUˈR/i$l{.CV);& g"*w*dLWf|@;XU >i3G p&qԝy,[rDR)sBjwl|LeK6Pơwz;Bh7_S0i@GLz;z4Z=-3)*@ nb͝tI8+~zЦ R'(ٿL=њBΐzW_XXtbhQt}l]'!#,M jP=1:rqV& MK1-M\׿~(k c!A_kV־p5%N4LPsM_ zA0O`X/+ʩQnaNbGPs.RzjB)*Ą+R[\hˮ+GGPU~[?/S&U>wH%(Z)ա:?؟l(rP:OA#!R;6hib8wڳme*dy|V,`IN޽>r2 e6BxO:b}bj67x{T: x8$` pNm01~:͆NIǨ^TbV)n|Z)$-e{ Z0$73Q6twn:9UG.4 ~Zvӳ͐D/EfLA[`y(nI-ۑ7afDy^̳xa6]9N9ի_V(yͮn3̴w3(&.aW+˾5i%1ِIU=<fW ՅNܴTovn5V&1e˔‘^+`7q|#'i{v"Z: /V丶ط]وiΆ 5_ʾ` joC3SpBg"ܛGYc\3 PQh3n\Tz p %K.vD]ww%-Cdp]|Sv|ڴ:t8rx02&pb1ڃ#>{̂ts'3; P=a|3Կ D|H gQMLt|1HA@8ڥeNGDsHDlYyf8&:Hoݙ[53 ĵv8Nx2 \=Pj.&* G4Y|v Gx]j\ܬ PrhKc&gco炂YM_ uIy(7 E~g Lw`g\ ߸naTe ~Γr|:UѢǩ0PO<_ n{YmyP 8Dk{`uF`]d@| 7CG]N|R0,Sn w:U6o\_Z~&G F|ӂ<1΂yFv,ޯty'b~w'Az;eaUli@>Qn F=YOu)v\z'P@cu?e:e=hɪ\VPlun4Z 4>QVXm}O+_;F: ? f H{S:RҦeBo3bSe~q>H:o>6uTngyJ+,2բ{ը pYuYr~ H0IGr -UXއTPW?ۖ;\ibyaq&꿷UXJfcq kCSEVg*K& %wB0T:lx*,q'J* y("N:/X96.rPI!\SRĕvrI _#yJ SsM7);K RW>F Y 乘". urpJVʹ8#Y01Xkxؑ#򺾒@+㍟Q\ZFn/@Hש=4WL.\=ГSDi6T @- "OK_!$*Q 0a"gD-/k:IeJ=;?ߎ'8|-`2+[ڶǺBfM NPHH%/"1]oTIп wΎ2ΰ1cJ3T7߮Ӣ(VVО뀡'5-sR)3'|'t{e.e t HIL3bѧ^>ZcŊ9)j[fȔXČC(!XX`S_ڒBV5Z"(ۏrc D|@-BZX3Kk +̅+Ie)ʇm|H~5kD^+iW:ݦ,J|:=Ⴃli OQv".Q>i@iiLèwV 研#u'y7\yz@$ PM<\M|xȝum3` 66C]s{`蝴P{b9D2.7lWo2TlCL!DzέF|0lԸ4fp٩|O*''u\<= /g|WGL J1#غ!EaJYzAȐgYH7g4HrkoWiqRpŁpZn]+ d:&Qjεs}Z!…W_>;2]#Z4y<^\9]u5> KJ#Էr>熡B3ƵьcW[^y堄w7 Q)C!昂' 4I~abmZo+ɤ i8})^M/G_ aOZ\{iXU D NmdFT&nΚ6 Me׭`*EǃG]OoA^9 2# Wcgnl!2;zTsϥy3Ȓ'|-JچTBWw_bC v9Z*_g ,˹}r<-ԤO' (:,-'#GX[jf۩tdr_[^ tld~!30^ũqE)pJ@D@ XswE@uU=^6’ٛҫEn *iVW2k QB!- POTQ&=W!D#FOb{s >CNN>@q5ދJ"RU]? ?2P~r PJU.Qw:0׊'kͶb"),/Ϙkuk86L=TgAc=4q׳<]]zm8%mdts5c6Ý' 5ؘ{K=!=O_Ge @@k"+H>o!Uw{8#L˗T9f}V< ҩIj<@֧E- /LKT>gB25myN3xݒDCCU@Sf&EAV"vHt SA?,DIR|` m6&m7RICSJ\m/fhའHwB6m+v!8xuF~cr&z\"pRqxy@>X5;;{) +WT@M TYc'$fS2YqHn^{K5WBw19=P*obMӯCS4#]!_?XX`r񎘽/WQiI{C۽mKŒ OϮ!*`s[^P1)rJQ18@seK~:8ܜ|:z/*Up=@H2ΝP(jf6W9!lcgv͋N`ʔ*3HD[u!@=pkuZnדh)nOJ8-42X̽< Z u_8*R Hrc0[ $~$LPfDnbP_=9/9Z/BE%"[4G~j%JNE +|DT؊&ƜyLΔsc"mLV#Me3%h|厣>Mpöb7WAYBr-f8UƂ!PXbvG:hf`{;(Mt0d51H8h ZjMygywVCo si,$QzX:}ס%" A1h.6AĪ$` R%=LL8(Nw^E瓃GswKO25{8̙T^p0Ĩ!BeXdb1{~0mYM!i,"zBgRu0Ɗv:$O| V*v8OsoOʅ5e;%2y`6>s5_@CkyurZ`Pkd #PS5.5AcEɡ Kgj" ?UnMx_ʪ.|̧Sv~}Hi"qK~h;:)hHP{& PabYh ԆP80ݡ%sN;P'K]衉y~̛Z.loE|[[U.uO%CQ{N$~ƽЮCx awj۵5634~L qz_D#8u20"` ag2,>6 N㫓dMK^H1d$#BX#bK*r} >o_KȟBOt$U b zC$@_c.uxFB( 5MJ=?"]-`^tȼs ~I]_v-H%L_PqүzJjPGغR"1P)nr3| ۜJؖ[hMK=3X:lZJ&KLe0g֙ Kmf2/I ,hJ qm+͚:@I+a>pJ"~~Mc3bbxEj+/ 꿯 l:i},$58ssH_l0shCb6i\7 LU~>B=c x^BӝSZ{-\@wFk I%7+WtR+.;|f\zFBdg.G[ᘧ5B{]zEǠi !΋ˎ,ޞyoդD]Z @]Xg4u)q EW@)M+A-r\Ln2|qjf0(s=?#j"?e۫%I "&Rw Oң³4t Ly]zT0vQF+  JזGҩO}/ }~wռ7sؔlbR=<{ ù~93K˺x9BRa3-TfS,oy'AEW CNkޡ}*:7G2L @/+ )~NHR _dZ3,'8 y>ex3;&Izت9ǥ$SuRez93jtyyoƣ~v%V$}iڥmK;a@1OK.yfSq@t͉IC$͂%:u}Q$g% 콉 ŲP>P$EdRNߊG9ceTDνdy\h@nUq!*o +*9k?N]`H:J)mJh|%MGvqʘDG"!f¾(G`s,"$ʅ{e03. O*pƂ#Xfk2Y ã:RS8`f•*T6€FhOWEH&Z;"(MmI|YW5gy|mbԛx&"`!9>J)[V]*\Ma7}8} ķucOAb}koy.!sVs[UBSK',*@E|Q㼯{n"m՘,p^FG_o )QoE)Q+V lc wW"R*LE"S`q#<>0P/'3kDyDLrydq(,b ƅ/:v6#Q̶ZzCW5-@>wlEZF)WlJ>gnVPd vL2Ef;J1UC ᶩ$ OؑH)mAV8;M]sc@j6[DРGpǙ6,|/じ^yi%ݺiU5Y?M춣Dvڪ[H'<;qd$̈́ѳV\VN!0TXڣwJ`p <kryE"uc!'U]\dvLXBH` p o/:r6AݨX7;p>hv 1aE(#_V?O֘v|40Pcy_{e4KD UԎI[loCba-{_M}Ƨk~dW~Dy0bZ;s,ۍj{DbͲޒqO-:*Z)y 3)Z,1dQƸ`mPG\ʆLtKTvIF5E7?̠ιD:@Oو6)YghM^>R=AN ndc%>:PdRY~jf1xH|ҬO9VTF5;MT 5}hAb]@ۆ4m5_xLDMvѝrß2Q q~F4`٬e h c^'L:7zwkJׇVE`ErpHbV=43 r H6\CD8{rE}e<6n] [i)ҟaD Q/kU}#ZbX>S|gl M1 z/Cvlf*lfw4G_vp܁~P5WV#;s|99~Nd&.Åo!L 7*?c~K3iL&$f2/]4@#;zu"t/ "}*8P'?Գr"O)S*/UT!WѰĤQp(KMgl:6Pcemg?RɈP&!z5Nz"eeYcj0l|OF}bi6R6O*Xo F*ܥšD2 ㉍P*SMV\  kŃ9f4C/bq波bubV?*&4 (Nw<~|5&^\itDA4LvY z\Ε^ܩ4l4#թkՔEx0 lv#ᴋ+ng!0 ro4)=-qvB̈́7Q,O2@F6&wRI܋Rr&Iy[ y6t[X`9%K3&\q2~ AM#,ӥ rUK{T?SF+{fڎF҄#,kۍ~u(&40yJ'aTUak=Do/U{U5w&Y麮_*&p1R'[azEfpW]Zf{Է:H#u"z6Ix~kjD!ǫ$ju:`;$E$FeHFIӸ]cT&!mT;DFMמyj *;ltK/OVek~߃I7 vAV!Iހp Q*<'X@-;$$e -˪ń(bX D5Z(ƅuPSk9zCսdQ s/ɪ}O;?tbܩ/l$eX$^C48'W;nE9R!KF3|.7N XjB,X5ųK0ڳapm '3IH/0k0`ޢKǣ~{eqb|\C^HdȤf}, '鎲{]\Kbxi=z;Q X&1JA$)#e`0h}+CH>80orGRV,&}gD5vzh}rsv{\<.RW=H=9mt'"<Մ**hkJ4$@Frk5V("SUOM|&t 3wg^FR|^7<KAp8ovEh|s-8´P9ABOL#i]q1hD`c[}`e ^|Ci9,W}4 Pz_mRuͻe8PI?SQ'Č"jNo 2S5QA5) DM؋ju.Y}[`Ƅ_tNƐגM8@ߝ zkVpr:G_=tP[nyCe6۫:Hc|C0p犋dO!Zh,c_xC={3wT~p"Si:GlY4P1I_'n҈v~;( ȡJ~7C!`Tx/אxTl!B,E7܎}Uu 6E"* <=bSg ~t&#֬D8$w1[ Us 1 \B`uTL^3 yVitC UgYZ0fbe26ca5c6e74fb30a5009c3678d98be26b8942c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 3b45769a3b6b500524c843853f63b3c3e722aae4 6b6991ccf2d1f3f33b17b711108daba0766e6df5 808977761a3bd036bf5817d4886c1db3a3f695d7 86dbfe86600648f7cf978b7e8dff7255930bf830 a862777976091a8d887fe70a801cca0a430f1731 3aeedf07853df3b06c230a839bb738f68aad1295 0fb3c2d1bb1fe9caac219449a45294474ecebc05577d0d2a980291e42e1dd143af015fd36bcd3626