SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 $tT ]/ Huffman:threads=4elapsed=14.185cpu=32.104gc=0.6527zXZִF! id]ŗXiɟH)0!h]ޖSW{uuw8Y2X$׸1zOZ)!r+RSR*t ]J&G ,wJg-疀u|w / ]x%lƘL& *ui5$h "ĿHX &qL-sd]be-G!VE&{jtL+w{!Q :3I=qf&p2gN'" NF.w2ݏW;.gɊUsGLSl76>A 0ҸR-A_(?{hw.q MD̂_w]-@fC)ACr fѼwR8N/feÝقomJMnN*#T/}r[eG5byꈅT'Ïck00X]FA5+*;7n?;yJ,f,1>Ht6 d*mC2>opI alM:ȈЂ|sg#GHކGu:ęoJךئQ4Dk>Sė}[E}YZ7zXZִF! }]ŗXi%D8W1\cbZsOKnl[yu#n%vT$vDw<:ݎb'WPph@x-66'kRΩvF2sz|R8q\AѾoxCC_2…>>.4λVX/ɚ@6VOyէ4>LpI`׿R Q"iꇰq.IbOT?] %&z]ƗGKj6#wJչJmRvQm/aִ/sٴW\NB;Ը[cK3:&j;3@mHWAnS\4rSjk^K ȗS3* h#20]~6"njh8Xy:ks_ c<`s'x<dc:5f:7r*//˷2:z,xTt2nyCMyUGvM! tLTtU@% > 5kB8&"^<=@v!W,Z*1s')@?3J{GoC+@br1?u#׹|G+|U@Q*p oW'ƄM!.u=}|fUΐV޴[x 73( ~ÚVd(mc@aL *uܢg̝8*Os`ASXG쏋H@}~ XTfJQd ]f9ܴs5S 6s[<@ЯR^tE`dB6tەtjAVCN'j*Ѝ˶^ː[M,w|Ghc:AF;&wydžW9ʐ^FʵKrLP,9W+ƬZ7JEY@2p Y[B9E,{>Wcsf>5wVi[R2X8mM˾Y3tXd"!xt lﳷ\EQŕ#όdOO,>]%> y&$g/S!1ki xy%П 0"ItF8ZM~s7E1V*;IB'J?ua(xT~D)*k.cB^?T޽DN0{v 1 r64i4쎞Oʁ;_(}F"7ҭ!I(8b »AZW߲XuV48F"XCo&V]-3}9FM6zѧQz↿@)%6*8*Q`IPj^y=5>ƧgBkJ"#8pik\Nw- =gjr*ʃ Y!oPҰxkE05AUm b%ZR;y4'`d\PVu%JEF?:@v N5YHBnJx`K|( f}*-gJQ5 6h2i5>W4K'c)E!ZqNP~{ԐIET0 .jBUo戧tƉ#*ZIZ'ڒڳ*@ *G~kB%%6$V9Q`_=em K)& 킨ZIXWu|eJ#UcI-/dX U*M"t = +ESV  @NFZEBJK L?bF5zwlgM-z.zjEs%"h$acvBQSx'@5CK);ɭPL]5?RۤF.etA:5]SXvnh칄-azŽJDLx6Aq 㽧ۑ&wwVt; jkU-K=K<2 @"&hY^2l=}3Rn AysN sH_V ͒-ŨUO;ۃ%ꡟvt7G\G0p΀f:k&з~i7;,zZ[G+ǧWDe8WUȨ`ɲIW-#)uV=~!ɇȞ/ 0Ml8"eX1|Nzr s`JݸwT)*@ b{vQ3ʇW Vc`j+ r.,R2N9,JO&hk P%Gi)5XD7'Nײ!D1  E:hy12-c &n S8W=C*do)[S {1@ *Ğ=/dG׀;f)ŵD;{Zpcf @Eu{/*+KZsФX@*4(8D]x@[?YKN-Z5݌}cLU}yӍp[jl=gwoy9q&o]72̩$$~._ \۴k~bnO}?!TA! XR`+DXNR5 dQ}ckIs}'B̲|<¥#|ʂ[|Ni7wP(=я 0 f6 OZ M k;t=fBJ&V1t!cbcx4 uB[a!rl T@l5 $vO[g'3sd"OIѷY HlZK_X{$nBu Fx܆C:{;rGjyҁ]бd97bc/CʫrC+|:ep~v2[_pK a=Ye tb1L1yknb|~l\4Ҹա3O2D]Ƿ9Ge];HC(]w`%0M 1z֨㧮"Bwy_ٲYN15F HFy>?X:<šQV[8I/52cmFSy]*Q.+FoA2"X \f`7y["hSg-m |6Wucډ6M*D$L864+~ 8: 5n *õXߓͳtg>P.{w)&H2}@c^J_j|I828ΜWL?ɹN\)=tW,ƅv}zZ4v3s_* JIuݖoƍ;qjxI外~rKV~CXr-ۑO S*4Z8r#a0:{#|_*&, ap3 3<߆M0vC\H* spQ2AUY9^nja\--R@7:4j8Ki oNs <9אԀj妯)&f=ôcԠrg;^G-I?^fY}MS"K{CJEfNcMəkLu}VE7 C%}0Ҝtu4R5Lp1UoQq+|>p :d$gdRHww> ,3^ n4e[z12dO#&=>( < `+w;\ T&ۧ ȢBj[?8]yk#9?֙4b$=̰ 슗>]^wkoT%#-I҆L|h5xχF~hT~OjIYY)\|pgR x])t4NuM# ( U~up n$6'8ttF]`Wc:YOʩL ?r\(ٓLzn`T>vW`ܠsO0Tuz5_?[/o@tѫٓS^ UhF~ɜQ(?ah]2 *HS]J̀$]8A?%EPS#w <[p8%}n>c}ܬ3Vg@pt5i9Ls+ _Xh4_ _ r:e46xT~!w3|n5'V*V70O6ke_ㅒ]0N\[r7$%C ̃|# F6!pb{Wy[|A@'3=h[P:o$y~ wS4Dɤ4LZ S{ ~mo>L~-t@B"&&㿩@@s3SDdFX$p9 eObjt*>kqp(0<,Ar8+ N&\`~*`޷ 5ZK@9mGۊ)ReG~=@ͼ$߁m\^vQ Y\I*DI;Ei7I(=_ SnpL8In+.9 Vx=ϧҷI5|*2!cp5VG'DnUofTpnes-ZeM[j+yD.c-=sa~O/r= Qc ^ N{ yGԭ*Z.=VkÌva!ʸN~yJzYYcQ&xlVdEͽILq#8džP8Wf~)\0R< _/bt)->ѽ\s b`IX_lJ?pMPpicȉG)5M]O bz{A .dU%:i{򝏀_1,hhC C I9ކ7M2e+w* $Zb7yQ0H4X? XYHP ioA]@c"((isBVYqڰe"%zOB'(ݾ$)j_gaB:Y퇱 md?9,y!C;jbHhS9gY[Ms/;,B?maʵó$J Հ7H&Cs_A\ l=- ?4ж(N>*DNu.dI!"&#*&[*u|QՔw9ܲ =j|~:F yn1zyd@[{s9{wϐ)곃dtxt['/bNgkzU(!!$J˻e4*ļBf8b\b<c{CŸcnK7[OϣyjW*~@y 5.,^dv{Ɍ8fS\,ܖml"<6td//U`aWw=`|R@7Z}4xʼn`*aHRXnΜ&W8̳rL]4ȁТgn7[y?fJd.W[ x/.,Q >1rMDu_oP|" M$ū˵ l^}*{MtŤF1$fΪ:0!!E$#l'} J+G=PP=vxBZz/u)#ݓ[@VO: c8]bfJ+nBJz )97?J5 ߿SOƨ+N. Fٯ&,haۿ؉-|-h'):HU|bVڰY `w:m88 b8š]cUa<'`T_==$mPP%x@;2d ﹤ۑ?n=SCqL8ք"UlZZTׁ kLiEKJ+QGD4 ~ "w4Cj>Z-}<贛v7gR檢F0DUkIS/!anG@G-( P9h ޫ"چN4[I4Mdu7-;vLօ:/t$Bu"ke-J4__l6qjjCv)+Hi.D)ʫE[AEMb Go_o%_]Kg Q=JcRng٠1t8\ܸ X|`L7ZYVqLbYjb7{gs=9s |53[ݬܭl5 ƕc1q B*{M1iTxȿ/ܝk8aJFe%j6&h;()p0~hJY1BQpA$i‡nSlKJՋvq(.CP y(/<;y(2{zgU{eނ5 ZQe'_Fo? ӭkw]"u ໳R-ҭ&Sqy5Do R}cBwWfG=R,ҭ{ѿ8jZO^&lV./ s^DΌf$"ҏȰ5&z#d(3%4KSC)7+b7XEqz j+ =Z66t%-pNЁp@ /]}Q uŭ J 2u:'Ft|0jr_Ly|D@$ghD_l#IQoA'ibn$ݯ TkLq>.\e:4D jJ$Kx,"/GFY[',GP`B%W5XV gkv@:8"?RT]T$??4/<${{:q%H'nkJ$PSVЛ'&"U77yq)m?(6ntg#ZweV42YT \$?IOFU-ev7r`w6>Fp']Ƽ ApfTZb9 Bm tO5)H+9H'rv5[ "ޙㅻaUs$nL;M(YA-ݒ9|ƶ3(?X˞~iHZ,^Z>RKpg̣ Vn /c9ufȂO*)WL3` Ee]9 ̈v6t D0\(򩡕 aYh*-zv٪ *4 @(yZup|͙uSmiȦM[q/" >e>Jz6:΋S Y7?G"fy%m."8~>7j4 r~3ɘZ3UQr@G.0q)My{zuu9qCda p|aC84wsgj1D]J+Ճ"˼[Q*VɕO#8pڿXJ'%wOils܍!AlИ6`§QA*m;BW0740* u&KK% f^R_CIY֤᚜  YFd-^-``~Ni-Zo[1TfEW_`Rg%V @~DM1mn(̓Uf9,P*g-wn[6FQ AdNkyExUMlxVaṲ,'ob0?DX M3Ʋ ϳB1l̇XTX1ǒ6ɗ+'#U!mc:rZ@QAv |(Ny7 o̧QRZZQV2eG"fYw k|"ϴ=lٴWfF<4Lj6 &͸ux5=?K>ΫvÄ́RգH ̅j90٪8eHk6&1(06z 3=4 VN zo,OGDR\Gi:C $cOMAoG]Ve``v?7\XoNQXi7I\{3\ 2?K2('R'޷ 11~EẒJF[%Yq foma.5q|NlF7P MSJ}d:5KP?`}(15?J`򒿑>;J둘T2vB (rV"aͬJFt(A_bW N8γadBϦkF;[Ey&tikCl+;u񪲓&&qB[1lSBV#Aʅ(E uxmq=#TRG JTi@\zw8,% 4-mΗ6:F5_I3@Ǔ[K5kI2+QKjX,/@J&7&R#";f>ՍemVdE<ppҘn! 土{#\z[nX۔~^e`fJ]#vr(?ud&c "A1WU}53aj$.o5C˦7S¥)ֶwx g2ebx"^4: V%Jx LTpw;UG3o[=}h%(ΉW vK 0mM|+GCVqƭإt,dpIaV^M~I'6xLu6U'{Hn Fs-3y s'J;Ũ Uh!Y8nاxqF݃[j%ɘa 'j:>7lze#]1gqU>? L(x}I,͆kp<1]m˯ϫHD8pg#.+6W8 aQCZ)_Փ+tȮ SR͹{ol(K\.@"+qoqxA<]B AL%o=.],V(ԴtjE!Fe ,j5_!)D[aUpf(o qAZi LE:n;Hl}uMm _5ɛ e="$/0 e: γ_!/=,v0Ea7'y`+|$.֗qfpQgvͭ!9.+t){'-uFUY3gD9kߢ4VE1I'Qtc~WӴ~ ǭƊ(`2o;|wDw]lMYN\x6s䌩˪ݧ5C D{@JHJ=1%_NaQ?t*`և<Њ5 |׬%>&o|$^| 6FDjFIlⰼ$q֙*uƔ0DzywH|^T~!W+&Oʐ9b'~0ߑzfʯX7Zb4E^bK\$2vDp;0m".'Ղo֖Sι/)Ñ _Ӟ#mIH ]!3H#ET4:foW?ϵDtoRU=ҠnHF᱀4ϩԗ,ˍ.Vj WgpG2A&tTمm\0gEE. jFdnb-7]M|8Ѩ孀H2t9{\'$zRi]x0hZ@"sUgQaAb S^ql<Hk 6mi-\!!3Jץu1ȹpdT _`neUu;{Ԥ z ok;j[cdQ"Sl+Op_.GaĐ}VqX["iYIQu@J]<3@dA .c52x Ϙ5o7^W 8Ɏz9du `wۇ$$ ρZ̜`}"+*FȰ̇5e CVL? KRbd@ dy*%M5 `#Ѩ2.ְ6ItYcWD+!+gf@{ &+$xˡ sp0!Bť_2$4 FOn4ؚ\:ͭɰF0-Ÿ17!K*3,ؔЈHR;;~:&b +J4Gڌ/zͧ 7:xoi@_",.U'҈::Ο_cl_u#BDӻq NZ:>n9׸0g'0=o>RPbicθv Nl̘S SXDpWX fDeH͎C8`:ED4~ch?+29Dh3z_p|5F_!#7*q4&>xZf>4 $|6SH@;Rp̠dnl/[;uK~ PW4:ݨY^܊)`g"1ZK90ğqe]6yԝhiXSn}585ˋmhޔ<4LÚpp/o~ W_Ku"U9HaU2oV3q69* : (!1"^p=égk]:-4VPZo4֊$2z.@k(Bn!-M^H"J"M?9T䄓 I"CjҜL@إ2?ĬS#pXbL[)eC`ZjBQb>c/Q[pl<x3o&~šhA뻴\ N8 Z3ha3 ~;yɼRao=znqW$VzI3 C jy E39Q!DXO:sq̼?fh`3 CDlv,e? F~1q@{'b 0m!+d /jW7)@B~!׻!֘N(5:"Oٺ ho2B)(bZ'5(;n;-[9o˞̗_sی:z `aPH ytC$G>h7^˕&e")"z ߝ%㢱U }e N$)dHCX[${2ƛal O2,'5Gt=L)-f9^X<} rH~&Ac鑋!@՗ۭ-AcysRlvS@U/cnM R76"7-PE( f{ܙ5C͐?&P/e!֙I\(7@xS64  " x)fjUzRb?Ib;0OX%*>žr8anb='yīOy9U2^9gLU Y{lBOLrᩄ%n]!mpռq5 f9u·f0k7{B6xuN#!cnvQݼuJ1gC/ff̝^3/b[dl.C[w{8}dK6P=eVa/.NZtR a|W C;t]IueC;XR늃)s4%hBKyOX0=`cܶ*^i$_OaMK3W̕A&Ƚ a9K_"Ye5p8 2& jGWJS{"VQ<>lrnd"ΛȾVs%Q?hgp1wer,"TuXfotƅ4W-c.ԣ4+Nhҷ*}sdh> ,= JANB 9BPXZ̍Eܻ^4Q^u Nhmʎsq!]4'IT+!HTrxzT+e1͸3[E9ZHIc&Xx~$ zQw~n ,Mކ) ciVY+:c#$]?:-+5JE|?s\‘AȄ+x$@MY.zp[pQ: Ǥg39}$9-؍A` E j*xI:HzsALVH N%@<|4W~75@IPꖂ y ۼrΜ ׯ[x~,~%:cZllΊ v{B'BMܙ3*mMg>`OU//;&n]4wmOZ@}ㅢg(9kᥗDO66"@2[miSWXf9$ R@euA䲌=cŲ 1Ba<ɜC,Z&Ǝa6fMp&Ėr١SXvcqRD}?O޿9TE#bv0ZSVmf)+01<">-Lnh?k6fX9}{Bt}a>SO56nfQc?loIxuU^n7("lLb 3T`HWBSpٻY僫 f\!Kz✞=COo) VH:͢/m= agvKA6HLj7qjR7uU(8:?_r<Nlb4 KK{|lFQYR*%t[k&(Bh>*L]FYh8|?ћ~Q˪i\lQ3`ԴL3J(_Ԓl]Ph_+ ߵ]IT^6wV؎%AgŔoBZlWq>OƝCB oL9M<`^A;4@8R>>>@ O5JUȽ/'jZqwLC9~a?*KZrKb ̶Nvdk ׃ I-"4utBA_5Ԯ(x6TV6Qs},\+[Y幫dXԀ^3qS۲5Ѷ7>O}Iu=JW5߀!dXk)nW׋|Ѵvl/9-A`` @tkߢңK;G.>P 16?.bS3NV[ʤ 0M67k؇A*=~KXY,5S8LM2xx94>?(1=Z_>qƥ~Ap YẆ"ǚ ] 48M"%tSBc H^S5Үm4 lٷMsr 1qY*Z=0mLܩ~Ÿ%61kRtsK *0ʴ0MA6t$*K[̅^^D*?#Y^W+K`'RNxHt`On\}jjea^2T+&`Ma@<;]TnZ=S/q]o9q?6C#^4)Sc8Ll@2\# 9~BN''S/Sfak@BܩцTB:V⽂xEH:#<7UJa(*_?Kkf7Y>9S2O-X?Hɯ5κS"^NMgE|HPAV&JDJ>I\j}Q"" 4axmu"tv1GF gZ uЍ;!CSyY*vp4>u$q?>D0x'%⼅]7d*H`9^TߨyuBl7ȑZZd^5=g&*-\|Si͹j||b)v5$ҧ'rCW-DA4uLY_U^Ab֚so;.F'ԃgЧZa%mN*O9%[vڏ3VoL-|s ]K.s#SK4p&  ,cú<9ʾ6M|Ɉm${Wrc)iK]ioTVQCMcj`@wX""ҍhҋ-J'w<:Bq֥"ʛ-+ʲ"Ǝ )|9۫ }-h0ldج+al-z>o_ZUfw=7I(;eSLpOC˺''Ez,$@ AGCyie> Qqj, #73Q%n/u>[܅^;m^x!D**[j=l8^Dc|QrLC5~ my=B8~;ff`k ^dfmԍ%I/r6vM#gbքQ7Q#mXKhp"|0/p獴dA`I%WA3 RyaG1B O|sJ!|̨{Mӌy]k $fVgF$ uO89 Ű9r8P*=sAueD1`*qxL( @GEX&(KՄ'lNK[_尷Ph&5:s,CTTT hWk~ ;XA ;ʝ"B櫑k[iW*ߩ[A|J8"fmpQ/xC^ȦY#[LidIs*CS:M7_6Z T?nTe5f5?*ƛG$itk?RI8xjEˎNbհyz'u1>e,i\}hԢ0d[Ҽf>|5\gᡕSg-D 3kf*W}9a8Me^q?"\i"VBk,Wks "ue |{NX2qXj⤳:`p& >3ߕtzDDNbI BNg#v0/vxt7чѶРJu̅ R.bZuq B'*Z`z4ͻE[?̪;"nyB<?]edļ){Se̬&¡_sbc0?hWdmBzw;MR5Wo(ī0S`*H^h\ n7=YѿKV%F&ˑŴ -4g?- #ȳQ8<DN*RTV]?2 .T%# I#]AqWÌp8ije5/7?o)[U_8*'*_tΡvL7~4]b>w[B&a_:)c(d&dX&.쬮ȓzH !'K:]68*]v>Y-A&FxZ;nnykAo eZ2>W\ֱ 料KڍaGGv *Z]`Ccysҧr{MH̱ *_H ,a c|3ˡk^lhS $2+mn4, -s E"YcU[}WN)|-:wצ jT_OKZTjsium Tm0.Sl%WJVdw5ɇ8P1 &)\ߔt' P }CtrCΝ*YWLŬԑ]nje70><=!rUd<۶LGju-%QiTc a=!f^sy[=;9cYr'3o`6;bg'&齷7jV0y.X)94 > p~#Cӝ^ H\"j`h.Ӱn/oy@}fN̶yCYX֑L+n)+(C.m)5 V%`zOrEزM3 u(;l;ed1a]H[ƈCߢ$G\t I^拱h!onQW2,oy) Kt[_m>޼CQ^Y+|׎c+?BfXXΦ3)֧K]lk֘)|5Mj/ˁEga"qNGk̖XB'~3\pW(CU> ";"Gܣ##1c*"^%Mz6քlꭿ )ECzזNwNr|g=awYN)D0N\|dbb8&IkA n#EYSntJ;fc:~%q.s P)Kȹ MLF!X̾.9XNU⑤*޻|v@R>o o w^REA LLgj7^ )%JZa"piʰ#ADrtrSFU:;7l '>`,DwxK}D[qw™+#ZSg xogI)![RUtFgĔ#KC̹@}TäKpᝂI SɃ}G! 6/Yoˆi ( BXup:ix`5?{=*c!`^˞ #ݕ6vYyza5R{$cU wt:;ʍ[AnΝoy^}KSVT2AvzI qDRcs?~>B-   ^To\lkgA4 {IדU͇xJ&\S.褢v_+`4U氁;d!XN8.UP=!ijn{]l[ b={VVlJ0` ^8A!n4扡\IJtQ(RPyԾǕaq  F2LHe+&GZ!l6}~,WSTI@6/{me;$D8 e[Fy .@7j2A[1-ek3V@F}RTboߓ}\G K޼(Mz fX48Or[Ap3]/i6.٦*h-=n97[J?eV<]B0wt19Z] 1Vӏ] 's2^0vUp)[s#J[N{c?k$%HJKf2d0(#ԥL{h}ch'=|6M JK]AteN,;/XYz+)ψ *X2t$&N]'hTG$Qf onءl©k׺ Ĵ%]9ɉ">!_*WMWDm>E(NIGeϳ$S9(3|yVpWp:a\rOU:Aƫw ٟ4S PQ/p/TV_^)Ӗm4q_ dKԁ.OхPKόEKivLu9ܓ7JYM8(Lܤy$R[EX{rç 2Ϟ% eKa<1Vb4Z-RA ;"a DܥCY#h[#oIq,5㗧0%18(sڱd۳}t~[U͂>\E-Lԯ W -"Aj5Ey Z*`J#e:r,QmHrUgP7:]:u]SwI{7@7b}MnMvKf8Ut9hpts}i.vdc~TE=܊DjrhqGQ^+y=C$Q)ry?'u&)t\AM:& #:{!HX$iʒ/"T γ[9J$S;T㗼IFCxvG{IOӶOa |qLy巏d]N~)*j-@{m_ts t:ਝ}j[E-ގ|8ڱpxN@6z'kaV+m j0X9xԧ[RvBq˔qӤ?d@1ϝ:EF}8;T8cl,BY& Cm+$Pq0CN4 *4>>jz~hJ!%$m6#"akeGޑB'88px@t2\hR6 8`o3l1!ZRA0CQ<Ő) f61[z#<狚 xC1Yb|2cSsъ4Fas+I Ia1f 5wY`T ߑ3\T? mxv76W免1V_3GqqDCؘ)eM^= ͺXF,i"y 82٪Y6|ץ46^#WH>Gf!#PcU$ ۲AP5LmH udkhF+]AV΅ =gN6j>*+ wa ʊ5d}j=DIg6׋JkiQO_b:gDmj|Ge+z=7lHaveʼnqE`kwHv:EeCx WOo eeD3ĝK(HGBPoLdh[rC`Q; =?yV#EwIZ  |;J)Q{:C6vm4Lk2(FRCV-)ND& NIګ15A&zߎpn>^E9r1<͑HRz~(%lҪ-DQdT0q CV'6zV;ɶPmwjA.ZFQ{\e4/24(aaX͂J|dӄ%!M;(i#0 QyKҵ>L(TڡrM;qeT>ݮn~śM ;z$}2I 凗! 2#U+ӹ9##bx n('9KGCwmFy]~]Z ?kct>0vM9i5t4|CZ ⯨9WgRïa\qag6+NWs_xS6\^"~-|!,$*Xۨ(?Yj̗_{1cs9M)yݴs ia6LoAIg(cysqEڬ= Ŀ\X>̊ĪBSو"ADi qTf]%d#(ħ; I<(9 S:q?redm\t;)p&iDvɊcpYY#" =~ϔf6J=aZt2MȆU\kŜQ6 FpduP+_=!GEЯQ]z{Nӧ&WtޚP$M`j >~ۉZLXWv _Lz}L?.R( $VU-VZic$PxjnhudԀ 7hgcpږ%8+D] \~#A,y)C_lzɈyRiXf)|ELnhwhI.`愔}TWWBJKժhf-*yn8j2<5}'KB|HAܯ3UL N3YTѭ7$ۜLZ,g3 p^} ?lhYu5ԒW<ȣ)^\txKu,]ů&Rlsԯ z6Q3*GS}n |H*Pͨx6-Rr͙è 6ৃ=D3[Pv gOM23˜>C%M&<{YT3Ȳsr[ ,on^7ョ'b @ 01-r7JQn0paӺk_JPgc2E6Mj?vp#::Ww>]luQ?m'QEݻy\6o@t\zE"]Ke#U)H/n*s2hHŕܛʟx9lZ.s53תnDBڿM45:˨7P;2)ďvʭC[Fә ։LjQ[(BhkPoL 8Mb=K9V=Ql>0ٸhN9r՛F2nM~ 0*Љ2#C[뷼E&* *dJ#{@P>e3/(e'hl,@0.SfD/3^O9< /!S8 $䘞gd<@!51qFCύJubsq ؆ҀT”aA%鍫pɭ+'si4@3I=8貣-yB({S{; J)`jk*慟>ӟ`4 h|<HM{)&|P.ipZj+,2Vq{qR&] ]K![l&%9D?UL~UfSڜTݓGpB y?D\ >lw+`:idZ_}l쥤kN_Zmm6K5F֮͜V7~]C)Wxfܷ+PusUD2_ 2F I?IK "X>*!3ذ=q" Ћ6L@tZzbW$5 /˩D/LdsŁ(2wE D,B]稯r-%W4^I"ǥff`Fֵue-Z1SBi=/,mz&C|rȷj[%t,E}@Ϣt+hg+w}V"|$ʡAW K &+Zu%{+'rhUj/&s1!#BIS-UM~ZtvsN~aƎc. N_?J-|xUVP)20i77>!c}IV:9y-5S(t . pd }j酱s1KS)밣TXeTN3NsKX4Xզ8mRXd<^n_AYAIt l H<ڤt9^kUG8qW>WUEiA8\ y <#y;A rM?H=G=Mj8@أq3Pf-mWJ ˩ Şt/c FQj Wod d VPI8 ~kR}hz< 4Nة,;N.C<5{6<%:W1_p] yV[r}N.[* \GIlp0<^ȑ,fTIt,ǻK/?QR˪ƣT oppm]VϢ|KUd_Cb-0EgYZ