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  , ,$!TD$ ]]]HOL-Proofs:threads=6elapsed=669.940cpu=1831.848gc=289.008factor=2.737zXZִF! +d]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\%kV?=hBVUUd9i`Bp<bzϦHqY,5 ]:%ꠁE@p%)y |nhd(K^AWYf-KǧV˹IID(CZXq _{P*޼kԣe>gXc5*Pf;:e NKo٘} ϸ"곯VnK)6T_/}o7fQDeE?fM2q@΄Fd'3.XS^ZV:W;h Λ1%LOSam^ k,>@6h;J[ tn L\:{fKrWf A`kCMtC X{ω\yΧ4߱TQ`)0{)cwAj0! CKvmY:#7`ݚ) A(򌋲T'#(|y_ 3@wyG)9^R) <=l <}uX]w,zc!á1^pŗ$+`p V/J4 T|殦aӫ;n{olmuJ' H6/Bcl({~xu@)8Oޣl54E]ίɒ=2-gFicù9} 갬XJ$nǬbp|(|󰷂&KpTagM Ã̹ ψxú  ! HOL-Proofs  ~ ":X-$ d聀}Z*1t'26*so8%> \loCIJMJzm9m!R 4ve622>no9&" 1kmc5:ЮVNA6xo&Yog+4X=t!;MӭDT͚@\]bF EH0:aFTy~$*+&g2œzƯ@UO~IY`y  dpM?!{R$X6bcՈ ?;+7h;NAOxr5F*)1=ZWJaELsNtdOn4S6Nz[?@diZ G8f&7X VYF*i$FPEB&}El-JLdԞUQ4ۏ\AE,cz!(ˢ(so#7R" nGx5:.,A`3c҉C4Bk'G@`4׍opnZãu%&a׈{?P#t qW6`}NG酦6؂ !r 8]Y^c@8(b!Os@x=Fչ#Ot.)0ޣ'﫯눷)z`rG;AF9*ersyۦOVr.`d1AH@|I+ob:)D2o//6 y+@ف1JTvCJݱ*/b 7O? X\=d\1ՂT%-/n`>]x &Vz䱈B'% |[6*W*^D59PAwžI,JA'4%2Svte#+=Yf oEtSQA[={-[K}Ķpp?y[<Әvt[I3cq;쪫ϖnHr#Gcʻ]EmQğm>GMh(pu;AߦFE&p07M0ԤF{3{9 F2l $ˌ_...[a].*u/itӘئ(}U8LZt"*gpd+UpvYQV`hj]&fCAMj܆b2-&ug:9|yf7RQt- >$ Wp8<ď~ЁPMDrv܂TJcSXV88Bkyxk #`LpQ`c}F_f@iy*Ān+y!kScA+i$:G٦ ?m,9[%;C}o˩HO3 ݝ-u{ $XD ](Sur%DP,azd3 Fu#D)aJj`mSB$/d mիA٦Û ?mpToY# M9"q FBO Js)HX[ZCx]7G2 zj!tD3vBWW`EbfAtXK=X rH"K=7 NG$wm%y&45gG(Art(s^1,`McVC%D-k QR?1oUTB.t) l L_xI按a =4䈑Z3hxlPs+ESO7GCXuX׷gD#+coV?7ʛI(k`VC6!Lg$@!4-"[90ڿ$u=fDXTq4qc8冹 ~Jq\wri-5yx:3:H5@0`AcV5и-rh@-0ނ0V9V<0{`x5J@?5㓥CqQN?Дp#q[}z ZԹȟTFZrzg}d=fMهo-0o4C>4.36HeN\\侃zDi$^7!`(ŎD1s|VEsy侶;#X6j{xd0Ixg|I>/fO=I[ĚjfIXt+i"";~gTi´4=ݯlUr@]D+$]+&NA%|韵_}DG=ȯ6(p|,L1\yEY,cANq'XS~3n7f|bdBa芶 agKc4)0m-÷Fɕ]]Y57u5 @Tӛ#'yK̬U #H9 ksػ㖽{5޹.UB6ahCב32Ww=5Px޵9R ;jiZٶ2KMI*?˿ǡ6: b$RTnMɔqmCLt}4u?Ї1Mwye:VkEf9j@Pϲ,sMVbDAY'|ȃՕ-8Vh~=HZXrۙ+![osV,T+L o^V% DM`LUqk+"[-AMhn}LK=xٟ^15se %ݝ)dV,kiDBXuQ4pmCJ%^Xy_,Àa&hvΥ^4L"`}X,tebvEA󭾋X-*ᤣQU~>oڴH]֝fNԳ 㻐aYXG.IK¦2?輵؟c},&iaamίDZ|{`Eox_ŏF_{{Ɵ@/ `‚Y{ߑLy#!<>H-͗ߚlkF t`m;3<@(rY$0UdVp?*/{8̎u,)3qr`<ѯj8=({Єacy Z«j~%"LJUy[竏VPcW!5;?".ß*oh="-Sгu6ICQ⍤ H7Yҥ%0HۑߛXt[b =aj U@O:0ơQry,…e/G0Tup55 >,B) Xr>*ϖ27Nƌ<[IYk6cإ1HyrO m=FHfψ8WǼ W/QX#L)9ҟc޼'AW'PkܦpÎtY-]˘vD_Ȯ息}2r`]wsСw*&M3$2o֌ú!돡rlB|Qr}{ "0acNb-=wB4 @UhGޟ_Կ4;nSt]k9 qX] WL=ӽ𭗌 uygerj4u ex㨳/רr'_,>t`,R! 2Ekrc/ ̿]f833'5G?6>hɚO Gk|T'Tk;|(faY[v\ZuNH83 AgYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!Bf]CqDbq#aݯ(TyU0J+ځ[QsO#Em"zm VwVm N`J.s&0# vSٍÌ"ECU?V\̡[;6C"7[n\Ԋ~ 硒S03 MQ:C( M hXFPt";+&g7D0 AޥTGƂD/4S#LDن|o$%t7\1i7R0-l ghaDXD|EXEH J.:%wuV&P(?"jD,HR,MN[۷E8q4亷4$ Z6 o(5a /<9VvXT>ψz$ ؅ D$50= +;,sҘ@36j PO8r(\~i~^$xoX~LaW,1Iv',~82B͑gOɖO(첒'-S8]UmV/_!5.{XzjؗRȍVZO%> N@(Kr:kdZ[Ed;JэTr''5[kbO@J !;eEP1.nn/FOƳuyʾ`+d,^Sr!LI]sY).u#mbE$,9.@چ!ri_nO`=sq+-Ʈ;$RmPN F(bb̆;e ZKe2qsHQbRN2F.-bev0^(|8.#@-5ܿr-4_S.Nֺ_.jAߘI#*?(YޓR5wو3Wr*Q0Ui:G&B5 0& ]th ag pݬؓ]I@cg35'|F@eq|ԕ+Zb4rxV$:_*ǯp0f`SD`(_hAͯ؁k{v%!{ix?6qLn "grhAd4wA}f͙f>#|_ARv./ y3t?G}]ꐏ\7W 5 Ȗ-kf>I7 ~[(gKK8sj֗O{An.7H%M"߇w+/yu`4QO#7;!IsMl>cICSoے+ZWSQc6jƄ&[ta^U.IoLMUmo; yv8JvS?1= X 2ܷagYZ7zXZִF! ]ŗXi%> t\kP4d3 Dj (8$~S(|V-b)0F4Z/haߪÆe=?[],ג`ʥWCZJIau^v7 <I!X3̸UU?Ss տgaDpy'4t6̵3߰N G-*Xђ.R 2&gV񏸡a3-VWo:璼C6ݕ܇Eaw-_eO-^EiD.g_h(M3 WҌX`gqxD(krޟN:钛p7a靗&n*bX_y <߅㲫28B^oIHoI p닿Q;H}- {{7س&CbdJ/E2R v> )ڼٿWn&_]^7*m2:n6]Vܟ iu\7Fv,9Ѓ Jo|ITgA[6e5Bgx·4\E oM<"-6,7 Z߱me-<癭Rp3EFfp& }HZf,4)kܦxduiϭ>`۹>tJZxn ZώX9-1w6 E3J23eӪ31I :PoeSSe9xG3)gY!jLǩX,D=<.T;t-ǿct3#Rך^*Jenr2#@lrUW Tdrm ~eBi @ Rt`ڏĝZӸn>h*&ޚhD`O$td_l D[ rN|w-47^Ѝ+}4 ?^Hv ~ ,$9 j%F] ,,<\%"ʏ`P$Hj[[BwLYLяXB^5[=\_yҳvz(k? ^u$`dq5H7yaUvv+آ;Bǟo_y  ~:OU-Wn)~Rv F*"UQF4GfԪQ -u0xye?C~g->r 'qt/2 j rL4VZ,nh!.W:4cN+R2zGH:c9y>I1l)&-C@gl>g!N<'7:&)U&? N]pSw64eR_oO݈\6r *d\{ % i'R9j^O8aꋕ51/]\d3~ԗ2BHd5jYRjy׈>&Lq(4%j(jh6jS\q[B0pe_db,`Rn̄Q@k\ᘳhX'e rkm7mF1_#rW"WlYf b/`1T@3Xu*Ccwh%j[H.'hbX]+1WƏWw mz24}o)SX~aţZ89H%dF)K! ¥;4oHqQGq8T&$pFU]M:,B 5`ыvx}pEKy*Dy%mڤij11"[Nz8Q~j=*Mҳ-ɫeCI0y_z0?x-B&HPprq,s<ױ|O L*lϽs7zS !,d=nRA٨=(knrso1`B %g9Q-R!G$_U6gʣB7UHr|tND|aiPD>46.8]b=℮ !w_: #0,^+<v=M O% [錁`svV4 L4 M>9Xhu#A'gԓr_Bs uQ<&7zM,Z;vX24tѯȜ~X%]81S(3YLPO/l7G*c[Ut2}fP;]xg_lEb7.#f;xMd?^1 req 1¾: 5@‽ ?q}x"nu-UJ)1N&M@F^~MJ7f0I$\)(5p]|DF0⳷R¤V{s~E鸿FO4ASC5S}X=wfyR> >@.2"fҊ6Ѩ']^Tov]r#1i-^wQKJض: LUK%9<|E^PB_ZgeQ0mբb%Wk, ~;'eTSkV|No>jP Goh"&`nqcBb3Xض\N){i@GGLٴ}c|9WDf5/{FD:;20z*þ@VwcaYvQQ(5C)d׏z|:a ^IS5Mj Sڋ럘KJ"/W{]~YhS1+)Ό}T^(PAսSgw+i@dOV #G #P  :m$sJQb{pΐ_-k` jՊ/~}yoJ:;Rg\h}z`Kݡ7|%VΗS:}j/pE~ [aA ~%r{RCu{E}ѲblP `=-1{}?[(𦙲ƽj`[\gy9!)k PNIlJ ^3e?W'W4{ցfb8nID{TZ~fMׅ٣N{"He/+cݙmN%v M.@]Bk fXXb)ZF3=?@G_atmHVE]$L*ufywYbzv(\mȪ@v/dۣU1⯉5rǠ1dsKDc i9)Gks2`FACFG@Oxt[lr&/FG͟ی`M#qn? 4GVf{s\Υ!/ Hx~̱xt}O6ma+<֔:ҽNSi^xWZ~۞H xTg>+?]ە ھb^9-ڦC\NR2.`#/PۖW.=6n֔[-c(?I^ً(Z8mqēJ3|`;Z@0X'T%ʄ˾KcOr}iK IGAcrhOpA\2% K4tCt'AJ&KK,) zu.V-<eMͫS%;IҫQEl3x1q@F|%^B(U?#b!|#F7xRű֜\-dh*fM[ҨS'` ,WKp9n |m<#|Bkgy;I(r\1< H>}ب˾N^Quh>S%㛰G6_?WBOSG|@Z'5i!V=5UV0r?S\9 (LG| zT2V CUH\B 0֞H'mշUg)f izqoBc^2Q̢-~M45z2[ܩR-PHfFn}gc 䳥̓?59.Y3 jfiH 7&)KAJ>Fr@9knaL-uF{OBZ"nBxW-ݡ/OOt{жTq=ExY,Vq3 ƑJPd#0LC(+)FV 5Sנc sK qFi`֣ܳYz;xge$?MKpi@Z^~$3 )EM]sX^ "OFmѦOĞ^C9(pZѯu=:Ѽ%eZtF㞽) tS9Fw.[ vT:k*w:w|+6o53Ittbh懳ËD Ho3J*Wr.DDk}16x|ÍUo;N~V+GzI~A]Z^Vj31PDl4_gou ͽKEhV18;3rɉ^41%grP{bJ&,xE~ۭߘ4aR Hk9lMda5檁1ce3qcFQZ"Qï3'`DǏ2t b۽Zʷ \m@It߫\isڏaxds!-$E>ک3!4.k艩SNJ3ڟGDכ}Z ᱐-y,A5 DȲ?),~\'lATu@-]=tb,ѭ ndhTc57Ғ=S@@kmF̐r]rXjך8*%.re.'oLYYڦ@ke?Wjf&|@ #΃S ͩ;! WBEqUƜ7Xoduu+Z O|˨:*񉏔[c.&nt#ø"EOnmNZa2 Vwvʪn džL!wЖmbP2wt' =gQNjUHSKM~wAEP-EXldU]ʕ5f,< f3 wp!QEA] zWfB]]C/0ky!.T*u5C=1,T!\#jz5lyAuL̵ [i/uvکF g t,E"Du>/`5L|IB9ͷn(RU@CATљ,(jH 8M|pdQHgnEJMaо{~Z#Q A71L6]nNG ,O!`:z]2Uw?D3ߒ(۱KX_4s&+y|3Q0oabRmCDަl,ɷF`ֈeL$?VbHZ "v3hAH"i/Q٠pD4k ~'Ktut0Qs^mč!ח5X&8 |SЍ4;TXqJ*=,1 v@I=+v9xW"Y :a}h+U/s]Ƈu OXOXְv9FF{D;f:'Сr('9HkZzѳE@V/IB!VzI.$VE?#fVc&fķ i1^h}C6d3s4#^'+@.x,inOhQ&IA24ך^vlV Ư*0擸k(GZu0 SS<;]qǙb˜HUKWY\rB^w\ p,sdi>QغzwI_Gttj BYtx\xeBD$O 9?u!X6;9'WPZ18zځk\Jfixݥh{kw&k@ ay(ebfhޮE:5Q᫆ܣl{- ߚ`Jٳo&ܰzрX6aK޾ϟc-^ϹzX)9*vPqAOfnܽd_B>=EAD{)x:]jt*xwOWr0Tmop6 gX}Cȕ5 [ͫYܩ3I& N9Q5a-g śCJ?/5ڍJ̆ 0 : &|}cC [Qn%NEB~wi #`_JcjFH *Fhi̻d.$JTcoF(rj#NfMLQ1\`lH-5H|oka\؉Vcp1nŽ`Wb;kCũG G%g6[вIHX)~HRHv fgBq-MJp vD؀p=D>+D,t|BdqX1VYʚ3 lFۿ͕2ea $"ludQSQ`NE{@'CJCpa4 @|Sf1Ix5#EENfp3oN.&҄Nl<3q+Ciڍ%Ɂ6ye Z_W!2k:Mj"Xf0m="zoNPymLq H>8GQBV4cT&'y\+ܮt:SHSzgG|x)f~~́տy鄢k _*Ǿ%7suB"AUo>ܝX-P/$1{|õA}]ǟR#m)WחS(HH37FFm5s&P挚aln}Jc)I>g+7CSRX(>z:WEQG巺_a] |;Cϥm!ދ.Z.D[!te qJ6Z^4M9۵u>k\>ɪբ R,G=94&'gR0sM"GJ* ٭2IK%̠âEv|he(_4| q6c0#hG%ˇ<YLqZ{J8߿hS|1S xcL v)b{RCe,4* SH)[tfӁ[^nFfRAW?=0ō׆ݰeex:tP1Ӷ{9K4 ~4麕;Ty+eark̵r|6`oS@c{UB? e:D)[_DDc~QtH(!BF`ڀSL.}_X5thցRiVjvWEVMfc9d?i߄DSn$!{Z J㍶kLq>*u3kjȵG; M SXcO"+$dU`HԶ!cPo8ww:6 tX5=r\D-yb+dl\B99J]%zg#7*3~[^f !)(l~gP~/̉n_Ҙ vu/51]凨W\o՚7Np-8D05zm,ڵpwzh3Z-q3o.9dC\ft-v>'2 !.%f V5mi4Q3&6W$@*䒫tŽJщPaǹ@s<(Ik\5HBJ6}]uhc=Gӵ}a:4dIP-'uϾ Xe:.&tzl¡H9B%Md5(^⸝_ MvЗ/WvOu:raDL«^fNX]5 :8Ժ][Rx`F0Z+V'&fǓeAjzSkC|M= 0j}n7[QQ/B[f8 (~}y&`9[x󜎀X]wOytcoG0Sb?P3jX ywp (aYu KɁ`SBXHZGm(>tRv3>6Huqh+^|֫>NXPzuSL[" &y+gB\P()B^mEvzYMRlts5NI<_YWB \#|=[9y*6T9hm$@s_@/z|[XMwo Ȗ$t`wK y$iڦGvXhS ;l'`~=,y0"-Oşf VuF`3a+|38 s SpvxT#CwPBـU!:+B1~՟[s[IB&Xo~BIE-2"ZlRB# Pf*$ DS"zA=A4>㝉PE֫W)F_K}y cl&{ulw%s"b4pOW=-k/!#Քh2fH^r&/ֆ6~-#2*5A$hE <HiULWIPk( Gck =/!wG}Bmw W|xڡdt߿`)P" ^|gdOĽw9qmaul\- gQusaeMnN`⴩5Ѹ~@Fd0|~[]޾^8$buEԧVnMqOq,{W r*C?~!8muH,V3o10Dt/dqgIEdho>Wb.n ߕ09?NO"vSȕB޺[]( |mYrzcmM0!) ] 8*;oz,],fY?Bb??ވw̬.܇3m.`P RCcb8r[!t8foCA?y{cj`1*_chOG }IJL p$bҦC ro_YUOrJH '4~69A8+foKhmAq^QN[pp]+tYRC.tCOvuZ ك lSYn~v.3I$1Ū]Qg+WR;Z/o(gGiw}@%P`0|פ%w_:}$5QC0 Aڣ*zueۄMU^ėIA+Fؖ `dL tM5ߛSm5/,O VRéuZ kaBK'K-jO^+CPb9dfi~<8m~r5JVؔw{ȧi&P}hIZAb ,NZz4 MNS=Dଇ{m(a<&",gRL[TWEr&ځ *(i BAN'ûϗ`sl nk(Mk*+o9dۿpFL~0@p31؉%9m2A[ <]CѳMvBuc1\9E: ݝv_`1/&dir 抍uơOVk}Qǀ;2A؄ykR;(økgcZ@tp/mt'eqv\.@Sٶ4ӧ#?e E /w+Jb3%GF]KܵX%qR%z"ʪM`>Uֈ(Q]!/AY"'7&v®6RFHd$ɼFBx;ؙo$eM@&[mjyˀ.#ba\(WQ ڠJ]lfkE?Q֟! L*´'W`e:a9Y7kCO/5|%+mk/]yҌ>I؃yqKDT}LXoSVm w$H3zlӽҩ ū4{CS͎a"秬ҪxK b]{7aAPXWCd_gh?1uX$+EHSᱻ6M=xm ԞqA7d]uT\:i@WL0>UJ`"qbB (1#}'o=`uvS%!;p{Pc< -";|,j+$~@C>"*gP kYnDh6&ɼj&|&l,!^7lPs4>ylF?=mmzdg,Y:rM~Hܬ?¸rF{CY j&$}ZmCߚFuX=/(ݱc 3;7 z6ZlBm+Iw li'·B3CPz9Q[h; .;$9EH Kvh>o6Ja*8P%3bWKzrFyj=kUmt&*V-((xcԥ'e(+uO)>Da G=solj]=+0?6zU'sq-/9hQ̙q1qD+Q sd?P&7ݏǨe&JcnO&vMD3'W|Q"A|dg&OBLbJS] "8`C l 8RhSGn `٫Ui|Ne,Ü!ݞA3hnOױ 7v'O"Qv֜z\<JI%er_2.k[XV /\Ҽ kDU`1E QAF u]Z>< őէ| AC|O9%>L\rrnxޜWJ0pjϿq<דK8hDnT)՗lK{u%V گŴh| i0,OSZMWP?Yyw8J <nsȑ Nmm+M^&BPSH@d "rİuHı= Fj˄~hBL-؃yw/.o˜m?8u=1ORVyzj ;ED< p;۲1Kn:)tcXqY#vo#,b8ws4ȆW[zh^ ܋h;AʁgYb OeQ :6TW5iTc71wn&G O6 ;u*Bb-'\= _Zc1#EnLS3:g%0-tpNJ. %Kϋnatr<)D֤5UDf^GZ;Wsi6'O4b }![O39) 7 gթָ8@O[Qw=罈N ?1{? KVŌҼ.aȅw/U|z~3>yQ?)0+WS6@=AjG ljzuYrjqǣJmg2>Ȱb 0sk1:G~y~D*gYc,FKfRdVƆ=nZjJ`i9xU>pMىAG^,3ҝ:׾뱛9*I{+۸\#Wמ+śGU64ހN\ƫJo=uph߁䮱[^8e%GBOB{o,1:KG(ErNХ`E_^tRRʹZi"DT0iHY(D%-#/f)`I@I= `[| JGv=x*/Zd& f:)eׄgW"|s| EHZߨ@q;p{MVÆ3kFJ})$a UF5 >3pZ^5a?. Z9S Z0j(ez I]}`CJ[}N]w8Ztx!U]wH2 };3#)e iRhTD w]c9WPZ@N8+?[eK-[W"Tod3a5ЄqQM,1\I %RGd&&5Ҏߴضd)U[vdyژ|*L1tHMtSd)9-BTs!$}QɪeG =|aG]!1B=#)=_-V Sҷ}< T/ݏMxn &:pUcrǵ:JY<}fTmpɱzPkOI^v杜Kw/'LO2K3*N?=<- >+K.zjfod 3afG@MPz@.k;EVB.k''B-]OrNi3PDfFg! mf䞓$qa/eWS#*<JrV3O2|Q\d6Bf'S#xf,plIm'8+OqR Dr<9&,i{5pTxG+f¥aHwO1c#/Woթgxt9b;8hĽnz<~q ;JnI^Y5lԌ9|IY.b7#sslIjxpm)ApA9)5}ו< کf"vZ]11(ЪPDU{3FYhZN((7\op9;S\;xKbQށdKq'2#Yȉq+KIs >ƣL>*9nFG%rŘΜ`NÄ@i&~Ƣ&)3(_ިf"2me_=h N]yXeJy8a0:Ecz6S.nt ;}q떥q X,4ؕyF|`ZVTli,y;xiZf!bf4FoUf 6B!4ۙ3pkYtW;eҴfeB^p^YDnd.pS{vt!:}Z6 CR1/eWM'8!i}*ޕѳp䪊Ai. 琡Y)u3 ҍN_ Ԃ)Ps@ ^pM$4XcӧpS"B}dmy6QmyH엻  "a6u޳TMKuhmGJ۲֜VBi* tǠbٿ64  g!4;:Cd@^W.ZT?5rPY?AE?'dTz'v^L^K9fOA4:޲La(if(aayl"7)\ WUtB<(j#=SDU=`*8cLTk=ô >Yw铣A]LA"(GIVboiyfn}v!ӱ={:ŁPL5@HK-'њ8dQZ%iCpܒ^X2KC¶{{šx_*~ 㞨Nj a9 -3"-8/Ki_^L=4>+ЊUԅJ?.q5t9DtK%K N;7pkd渽z30ߏHE^|{\B-Q4&R&M^M1g >Q ЪZ; [p&Ltħ ="ĩLTޡ(&)HJ% z4d_*8E}k̫eG9sǞ˯,J]E()]c77`b3<x:lw $N)}B֘tL+ Mڶï|Q;46O].;뗞;ƐL]g~Neg!a FUq "/ : &Q# b,fS&oRp>͙a=Oƪv$?K_}d-/ULKtcc! _jRT_Xj̄T"\@G?a{sՕ55 'n.Bęp 81 {-®RٺEk:dH<Ex\7f)c t|<+^ }=V}ieJNa% j  1<{7HSmuRXȗMH Tj%uqPOT:*TC.ڇUrd I*/k-5*sߗǣƧ 1z]' }VQ1~߃C_g=$_3gx返ڗ*SZDt6OgRKi;vve!is%M贊gc/,,a3F}ܼz1u{й& q)/)U0ZN%`)yi8i'AM-U/jaPHQ;iQRqu  2fjX~G \ .,zJbtfcۍ>,`^)%۵~h'Qο%bcqg7J Ee9Ѻɻ("wVuDJu^V03 l 4YdOE#[sWlkEb)9'P/9`Be̬[31Ivޝs{hih*7zkQJ p9ȧAl2h.#-Hgk&9<2! NsCD髯=z½iϊWqy8ae :1_h g FDv6"fXǺJuWr5644T\U2ٷٓ 45::z)Q2]2Z ^z*y#}|6;=~|-x5󏣎ިސDŎo<݅P#ik!IVb:@^痉ƨXokZߍ:˸7AŴkYd4 I_ӢHoC-Pd~&\P39Hd_L݅ScV}òt@K {Bsڒ'#(~;;??r~7}pڋ؟(}4Oa}#YjƢq7q3 2x=qJyz4N)>sTH"7UP?o.a7 HIK+Ր |ҞkbbqI pZ{E=6SG'?g6/.*Ox9q%*jS\ۅ YHYdZQ+ VKVs`2 z?$oz07PJcvz/ZsRĊУW3 ɝ%@"J5K1~n8Ʋ ^/mEz7z)yᚴItu<FhgXU :BRҜ '!o/ȴhJ"ڿ|>&7ܴgKz),zKʹR`R$rdX;j474ilTN!_ ->|_w)bBzH9sQilC~nHi)njJe8-EgMG,N!,Ndlz kz  H'A,wV(9YjBV0EC|NQl n8^yvduorjt!\'EmdꊂHQU ($#2ޏ9O߹(f*O[12cN~BDˊU1o;].4˛Cf5ljz|rY gh9tV9 2N=E afAչ@h):Id}[YcWTvH@3*RjH-R_x|%qpo`P"4;5azRkvEU×qơ–EYP' wUrgW }IŨ-,% }V`,b: 2RY@>LV b@HA^2=Ѡ;Ӕ~Z\=R3K9Tw$XQO }$WgA>_No qtHFͤ:?/ZϽ7|>ib9DoaK6&SUxH"[|,]?kYlV\:hB^LeMJӐHZnqO`+B8ʦ6o4.5(t\S]\E`i7_?'#J(/ lI;0WypzOT Pb^Qθ{@P$`ź,jLxn>b:!֚ ۣZ1e\o 2^\򠞁DcpBt럁rs@fvpJ,ٷWpx0fϸ'7WWl0w9Q%-߇RP>W6reͬ6{J- x847G<}@uKdՎ͟a0LVv`C3jdN'ևE`uk[2Sh`z78RYJ]܄ٶ~Ȕ.t$9?CX{ "TqEla_fo#7mR<1r).yOPP+)2r(dusFt4y7bs^dH;c8"efA59j3GKtrY}|+ 8I&RA dK*A@FW6:.-osCJP_+C2A:Mi>T+56F m%7Ȳ٬j=żpEcC( q*B>p/ iEt J˴^;y|2GRF$J7<IjςI`HF K@,24o_kFĉСP?chGqL*'a[,ʦ7 RHE8)\b,HQ$4C+W^Cm:rN8l!ǛuRT$4ӳk1P>C JxK(uK(Eؕ8xSt}_Go8't{&t,BEbnX}ޣ6ԋ'0f $̘SXkȻEa<aANVa?A W]j}W&#/UePpڔ`T{55 l3v1(K^׳#C)MYm lT%GVA7pSFkAnp$K \;  0mҍTS]t9_6iA :SbNR_}>f8݊;3<z3j;໚\ tnF'C03Jv)b{\S*GMB拓sy.t. n~ޞR"E ea$qfmjC ,2~yx0 1W uѽݑ% ,N$㎤$94B0h݆%" ;J}lm${)FpG~,3y/h!x~٦7Ֆ$K8nBN +:` }YׅA47: Gs">s&r=b(_zE38+b]xSo>4ءj;p!Z~DeO3/VßvLw$|,mj/1S4O(4n$ǫu!BK{)Xjf}$hOVtAr@>rq@MF&3[ӭ/(P Վ(X\ˇ8ǃ ]o[Ek\0;CNtр>-0,(^A~MLyPCs>@8NA2 LAKϠy[d*rIR\Hzs3^L/rwQNRaKƳ`YIe-cۤy=$ӻ6᪅#Ž=ys2Oy>.S237z{;Ǭ G;H$ahxUPZ0nclҮ_l6Q'ƧxwW6QȲr`,[.v\uİ' *"i>=DH»W+,}B*r6[ 5g\C3nXYٹ(EU!\4.eSd-zss`hk6@SI 3r4Rs>tG1OUT{jUcH+D#u)ߑ`lZ;ωR+9/ iboF0>W|WZ1 H,+m!^`k,R.!{hE=Y'.y5iiF*rzGW4a`DU T\*9IXIWa&@՗:zp||ԫ96 n+1-d2| ,L5n9h;j9s1N|$fbUvd")fF8@Wg!J|IE~:?aE Z 26>ˢ,--K]ȽY57G7qAvDq@qN[*该"DZ=bPCc]ݍm"sZP/",ce)p'd>9qMm"DŽ9dUy?'=u%[ĥV=ObkC; 7EOU64Ja|".gEn\n6}ꌧqb]h"`3k+~irgр7g-t'dt$TA(?twCƨzT,Trl^9IzOVCsFUyp4D{u6HR+C8!/;StR(!B`d_0ka/'>Leʑ4^<.F 6 l2hjuSu$-qnji UMcBG.J8u !y*5i֯S.mp/lȃ_ԟzxD,N%`ȅDz(9aPSܔs !|pԅ1AٲcGVE2M~ǗN@qr3˫b7}WF :[w:O]ͥj3zu a 〔E= GP.cnJ~k.DtЈ-о!,T.GGquͭ`1)hTvX$zy3 \]S)_Q(#nzQP0)^c+MdO Nm92vi3v3oU#SfO9fqW n%# ^;7L gJ-r:ӎ2<edlc JVN $6řOdoZ^&&-ft!xmNM~-?.)wVGkg}v+#H~?aa W`T5ݾeR:DB=R%FqTb#i3-;LY svlZ'x6uhTVހs,l -sno]^,r&T2(iB|HDΓg~cD dAHb!?Fǣ@1‚~gr(EZz=)L ~.>m5qwX6_fR!)PɈvj5pBJ$ sGj~x7j~8sz {H }l1Y%#@c,NJ؄Ruv?zB;lCP_q8gNgZ7:.쳿"J ֈq%=mTFېdƈEo+1BV7n Xa_3QyCdpQaRG>'@z1y Yx" IY@UPVxy3Щ=M(:^ħZyKc,_Qoz?=NC4sU]ǔH? quX]a-/*3dMek`/YV D `̩O}+?(&̰u|?zg"fOw&ʀ|Ԃ%` eVL FL5{='?G,ժqM3+uK( K "ʾUKĄO|2K2cB.QR0`f7w\);x4 y2ae|z='#Wȍ=sI[d(4z"O g&ɽb\C*z2@f@(1w)7ֲqc#B)j\*u 3`P >:clvS>#]_TJVIY^G8SXv3ѻD ٻ%m(3V&XR#QϻUJS*lm VWI(C)7!Di',ktk&)3 >] CƈbAeC6j(5ND2~L:ܫdG~ L 1[>ȌW.y3TBVӆK wm%-VT5|(KWr oqN1]y7T,~0ĕgQxT7>cW}L`.1nԭvO½>nx|b]hxUsW@;ؤ+{;_X*,n ٽGzZSXm1 ıt.p6elԮC gLyYJ`"7BIHE@[@j* W" WלHshoī+_<ׅ [֟uvi(}Cw1H;TŐEC"}U:d*lļP W?3g;nOZ5p S ~|oQGy~I&}N!|Jʦ˻_ǿ!'{Cq9 CZ\׫ [ԩᔉRU4q;p]F)esDs-gTT~BoO^obCHX SҺ@4f%~T"7ʯo'XՏ(8oͫ$QݙJ4R+%3 C, .kyou|q0,>QX4HL;<Ƕmcyv1nLgPYHXR \Q[M]|; 6 _do9hjm#`/]56+I<8Bw ڗmQP^ 1jxL`RpՏż OKplW``~Xxh 9UjνeK|eܹ*s{J쫁&#E8ޖp+fչN~-IOREGK?Ṻ/ONQkH2-`ByOH*QaSOgWܦlya NScf"0yDh]YlR$6̃j߳Z=e) O gm ~ jh(4[Tխ"m ҁ}Y*}ݥC'˘?OQ$#B">:ӟ3\#Wܯ%˗сXBw.0h9NNEϝo w Y4/ړ*bT~1' /}J8o ~`g8I8zjՑTm1*2Gȋ?@̏AӤڔY>rz@Ux R'7ٌn'wAZ0|iG4{iէ^ZOW+ŴkuJ=¿ΗTwag?JxQ{n:@]A P>Ce&|/Gn"i-?1[Q[1U(2g;VH;cv7Bv+f t|KW0~@Bu`[G u"9gZk@ rٲrhCq.1'%8g}5Dϧ)Y_u#Tki!=OVYw3) Tt3Ef ?R6O 7i$cPG,s:{C/%$}.t,&"h:#~Z,BΊ>Kflf-Q[+IgYZc91c640f613cb00775944c1415115cf15076da6cd2759733082b448cfff319a2231d0a2df2f8b2b06b284c0bff51c29215acd1d92216acda073a140e