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 G l\D ]/ Isar_Ref:threads=4elapsed=15.266cpu=35.636gc=1.492factor=2.337zXZִF! v.]ŗXiɟH)0%o.W߻HDC |9tˑxx <'[+v9sZZ iz?PP:nP tKw|{QAKJ޲>`MIp 'iȼ.XSFq0:;:+j|"[܄D{#'5xLV(-Ii;K0n;4N`T$9ӣiq Sqe@>LHw08<돳J=w([HF&zhz/tgiECIw҄CJMUz|o$t,Y? Tckt/F _)Ynw#?F~S2?kx!ϲ$?aU7Ё{(1w‹ixZ\; l~>۾3tvK[/c|2~wek EH Mci=]TA~ ĴS 2܄9txY Bzi`U(VxnuVraZ]|2,||HMM[yNCdTѼq^pxm}OǼ4>?#gw5ڰSQD:xnX6˘]dJ8(hvn~/ i4{>Ԗ-aJxC5?iUev蔞YygdX@V[jkgm8g&)𝦳1yn: WA4Ny:-+&_yO&ρgaS`AЍ} =!_*:@»ŪP%vxm{?0 漏i?61rG\Ġ&W;OMϜ*3S[DZV ?[9 8эY:]pV9  ΐQ1#`Mr}'ژJ~T(mX-uX)B]m*I_jʦM^D^4*?`Ue=ˏXCJy ٝ@L׌wۘ#\O]y<|9q 3~~o?;>5eRF4pt }4 }m :9u0KkuˎzU3: Tlm  HdDfM 5v6aU6P(-a1̌[ ( ~k=$jR]뽹_B?D% Jzހ3C]Vۈܠ!$ >9TlW}äI+m8=ХV&=ab:1Hi"nn1FC]/tTM>}_}tǼgMS[W`,F6֬;z,ZϾ,tv4*mZ[P&DY݊`cFz9iAXvɈ|*;qݖ gČ滍S?!Q#?M0nJ Ȩ x!#bӎ:t5eG( 0}U#lmVDizE{;C]PuE= iJso AG4Roa+4>--WL=8wD/wFSr^#C>~\+\ϧ1 =6H>f~t,r8 t3xhc ;u=rJ{*SMs+W# 8uQR;x"ӕ߆NBn;CoCC![|ؙ Zzd@׎$)3]r^ 33 q9gQ2t/bD*J~&Sƈ)""-_i4 y^;*<ͦu$h2ms-E>$GzƕZ cƭ .,B?o)Pp2\V2UWwiMw[BbY}3aa+9QV&ww0Ft7Kuӆ5ԌPl2!Qț-[;)Td`XJ;ddcrҚ(nxvh6i@1YnTBBBH|(ՓiU;ǕAt#i]Iq+W[ F;)p~aQuEۄ?r2 ^qJ3{_g}%.fnjFJ%- 66R/.x*GUHzT`Т雍K ~6]IԔXj7i-JOz g"@/1 J nPX&`[ )c qQ)a%sH zn%.!;O)Rijxxr6AwXk'<*ԂDGϯzfv;e28z IiQ&zS#9}`,r3uK1Gx߁_A!= _6RE=`H [1U[c1"`R Sؓoy)w ԁ2C1I}]%1RB Jo౧a.8NT`e-`(Oyh*S<=~B6K;K}1p۔ NZ#R,о~8KmmhCGVT Ίpk<{0XK   Isar_Ref  tT"uSD{x7x=* mƤs3R5!GEg0uE*k >q}Ma!}j kb0-u<bst&whhăǕ̥KWLʘQvbo,QP@Z94ܪ vj$a?+j,m+dN AѦBMd49|?:W rkḝr"ui #^Q"=^;:*"uڅ%D lg jICrȳdZ:qɗN}"0@ TL=H/?05 Mvb|J7ik"ob|-?âR1;˟[jdAnB9c  n_WsaYH-`r@ԭꓴ* G8^9ܨc}Y !_vߒpgo 2m}(-_ptqi` k[b:k(˂#g)}C@&O{4bLqCx2an!a wNY)V\,,wF˄݂Yl#$0]&.杸FpK Ӳ&'jWx&/2~LU(Dvx!e0;}*J܀4qF(1E$t[gM qCq}< edP$C-kOv$C~|3=@g,g* }̄%~U@lemF'K.2'GgþR=T[Ь/9wd2!!LR7ۀ !Eo"N$ʦf Ͻν|Lpm1TIP/6ڞ)p UOB62"09-N;r )+]Gi;dh0'B* j3gQبuݹ{ghɔ)Qx{_i0T޴<z~K$kM_%*,>Gwz^@e&*2@5nR.u 8}s1~v!z7b֜E 'șUBS3؈],J<&vܴ^4@U&4Î]r7YI+%ߦ.m ǫ8)ivt!5M1I=S./9|Z O'?*f.eǣHNv6BϹz@!_8Sҫ<2y,H}kОF)xg2NDs+'G"H ~:2kh"L`GIXcp7)0_1 mn,()쁁P&k%cUqqȂ!Q->hԻkICE&ff(یjUNAhDa)BREQUH=Š ̷fդbVaȠ׍@9wis|<#vQ {ns,)1F gҐcX|xl0OVW4bU-R@Wxlݷ3~3?PH"U'G[?Si_z /H VBsjp{h`4;Qitm{V~ %Mհ#F=3?%0'"T`A@ߊm En{ݷ ,2i xW~x=$?Du4M{#LOzb`רA5oӚTQ֨B/?~ 4›"೮!$%Yv|ި{[nk1+BbrFpG挛0%o_@2f8 9֟ƺbl7u(N? ZC[A`=j5_?P7J #v敟{Y;pFDkЎ MsMy!qW@a^43ZۺEciImK ZcsM`u-k75ܾOa1;f,=aa܅;@o< J$R3HTLm aZWu?+׊Oscij>z;6b?LVpT9'u# 4nӍѰIŔdIϟ5TN{iʝq`$Q+bĜh05H0&򏓁q,8:ToMeP 2rK&rhf%^sh)ďf#0:u8٭ֱFeAcP#3iOW9r@+=CxX}>:aC[3+|" @ >8vo9f, ﰒ-lE6wCsuMSBզDJjHCCYy*6. NVSe$q5s+M@W2SQ3LPkT N~kcE7X|qSJHG"O!$q c{ LM:`l*ѻw!"xnå+ R'^E<5L!i&ʥx o{;e7En%uSs˫H?([^(˰\+' 2/c<sbL! qy,jyjI׺ɶXݛ0?$EH枑 E>F Y>Y㢞nKʫǠ`-}"_mv2)Yd6Z2)~pΘm}\pEWWmF1S9]]bG]vYnq4s[kp0C8oa%gqks#dӻ.T7KM$*tNq;rPIM0X]|<@Ρ_P-qx dv^KƱFj^(=5.$:rYkPZW0t)l,a EAILH+躭B Y|=^e1ZUnMt7i2\.6_ϐP5!Œ}B®o{-@/~i^Grmd.Hٴ9r7Dqs RNCm#[?Ky!t{5z>w8O0v UPtيS8S FPLj"J$XBT.b#r:Sǰ780$Sw,ǔ~93-דJ_WlMHP.F G :}(΄4BmS0mlVY{"-_RYUCѭ +ۅe7JL%B(@qFlNk7#D!z'_%Y?7 yG~AxTѐ0`#`5Mx1UnWs?#Iz5鵱\aٽ6b$ӻqG̈́[jRe'bxSW8>:25̔\D p za-]򘟄.aU&yu!U֨RA ] Pod,5m7(/ܻ&/5).eMD@q/PQpyu&fM7@1˟&AU𘘽S7WobPu0LOEY6s3B<5?-hbcNh h2}Bh nB x١:. o]8@z^,+Ki9vzN8!u =dFrS3J$nRo0D\Z;WmPQMJP<v/Ihjd8~(N`}kIݞĊfo425.2zGR49\i7f$ݼn͞玎J%fDVIȤOkq z>E3x!X ʳ⅔sa{^ ;K;y^$ 8bf Qxmg 8Ycmq* b7@K@ނI%P b}.$.1noIiDf8ŒYmjݰ",|C=#vOtZ\ m '< sEe3& #B^+`uWzجd`<{rp[elЁ}0X zn}CbsgXm\"GgmdnUsDc GQI텰P.YL'M,i=2 Һ7qrm(FHDϗX(;;h?(Fc١X79ռ Ai909 <谎r=ѐX-,*6[w{ׁzY ϬDi%3|@Nŝ.y?+_08fQx6`Rk7(8AĒTi20eW ^ƭ#*h<0 jH ǿSj~j_SeAεf=tgɾOHo9-<-[hW+o(lI ?{ ԛF_JF;bdDЈ.BR!_y {{iKlV&e_t nJ\$w[ "VdߵKDoa- <5$ 6`\6np vRY\2qĨs; 8tD_+ }mܮϾp۝> iݰmԐM6qdp߻bto!e, [#zOС84v2X.,f]ΙkQ+x܂Aw}m?#$m$$?awτ%A}]i0.}.Ax2!9ʦH3AW6D'ˌܼ U'f*~̜Ѽ6eh:r5BbDw[=ѫCK> ƗKLS#H傿BBz?4`mjvY̰v0 UB ZJVKO#'OLz YeVqjpbfjsa$E2;%f>mXs㇀nւlsN^Ckٍ=m,9!: tB~{9tEr|ziY+8u4(P?@02 =1ʜmpGj}Q$#)~@6'-0&9dI+ X(Cn@q]k(a z(eVdY ,:!Ƶcl4&^ekQDZU|QTp<8[U Vgg)m&776rQeHq+Z1J @B?3UnbDxP#\!.|0 ]ӽ2<33Eظ'eTck|j@WnX\ADpp/~T_/%pʽL 3&fL?7L5¥YaTO[$QVjʞ[ƈE6#zfb0xelLE"J(LNo3n }ฬ`ȽrVoZ6Nd $PjbYX^$i,ră:PQ,'_'m]RŏV.PrG~ϿX_`pG: LO"YYNGsC!g[j Ey]:kK'K;[ 劻i&;M3C0OW@ OňÅ`#bM]9uѸxDKyUr2e$!ς5{`uF q)HsotL:ѺG4e+sB˛]6NQ_vqq򵰫j%Qmn*58/ `ɞ ǿIH,J8JQ2eWEUM/UJUV;J-=L-q򫷺&NP*4_nٰ)m[n"./xV5Hr LDMG7QHC#>WU_nRHfpqΕ{i3AZi3~jR mxQI{3A.Qcqe4]",7'pŒTz,zL|Gv5 Ðbr TІq\JcU:!s Lq#u JMڤ㟌@τ WQ,]YGRA4dÅMAY Y'wN)`c-#eڢsyPtRVYƂ)dq8A44rhlA`Vl.HRHp) 3VȀ]Nhoډ } M"m#)]cD,Y3dq!Q4;|6YbtTb}be@m85yYೡ 鮰:k*_Tc(3?}LQv/ls uHԟQtnbn%zWsE7!8EyREJn .pj++8IH ו|}TPWDjOF_@ *3H}Tp2jlIjMc|5<)Ȏ:TnBڌ;#T>󠖗6l$p%SteؘHsIRp76V^ fw6$Z4~w YCkFTb?AbN|AFJԇ( <{_a9gӜ@^Go_`h[1I9{}-/6lH ,aQ16AS#WH4ܽAw#EpAHCNuRW1& ӏM|W3hQdEzBJBK+Xw.K}.KŤ! z)m 7n͖QgGC&u- D>z]e*.+ @tg=_XXgdD.uTMކµ9.'O=mYreot9Y/w)]1[3H9l᷻Z&wfd{vO{cm ZX!!je*HI K՚Ý='$/zMU4}:^/T@#jt: ni1w'Iƻ"iGj7B\z+ 隼洕q*ڙeGLuj&qSya,]18T;_P[RHtB:nIT 6TA9x1)2f93_s %^O<%w.E)X! kH,~kIفVoot cn{rF7:S /l8m$YWQ v(O[mSѶ-R#=PW_hw*x:$5OhB=hdUl q*6ՇJ^d.}A*3s`xhj,(tWMvusr1g*Nu6VZ{qpaL+fل&lѤFK蕈Cl"kf㵰 I~x40׷qx%Am]ޒnZ4]z!Ќ00˜XL/37, Q3 )!J$ R透BZ$tkB3.TRK*Z;!M(1o ο%Wᮥ̩dA#ݰ$I6.(^Iulzϟڅ_GLiSP} YOHqtG!DZ %"Vt|E03bd[xYwT~ynV9f:BlӞ!8%`<*"rstcV ]F:p9枢d/Nq3?d!V3qfy擧Y"p/T耣!b:_UM5UBr6aCB&0I&&K0OUB*WU3/9_ZU_~KRK9$Q k~y@RRB಼5`>oVg`ܻRX\zPCcle9m:%izdV q3#W;s]C%3Dޠw и}3Xl~^ȭqhDH9arq:SQ_) ̓.ع+T55'35Or +t\2Ыxho65xFId)VǩڶcdؙF QHq l?!0Kd|L$}$H473-Xp֯lm3yn{媨Nֵcލ2 Nq/Nh5zJ!uRy9)S7!t1;Y39} Sk2,+VAFD'GU;YSpw,4"^] [5&: 2شӣjV&;FpQmHNۼ^?VUQnK(I)e%Ԍ^a>P Sc~WFɰ5|O,띁^gRY;^d%MB%$r 6ߟ[2_(^NPC91FH;E/QTx^KS9@põkO4B,KVJ$*áa3DHHN8pTS1 @V0 m'ӸT(/Ƶ?Yˢɀw펫FR}"<' {GzB$[aE_\+.uUBj9m#z |klW?[!cfFo.#ga#oTq=4ِE]!%1lD&d m6>7ٔcrѪ iD'1S2!5JӮ69Y5̔ZG{N{ֺ|S&>X*:0kA P,9;PnMXtܣKFZh$0+Ыf-9s)fTέO~H"X@-11A^=\:M38GA3+Rُoo C]^+lH8>*C!X9x5]rJp9n>y4 L+J4/+e=$Q+/ 'D^8F݉Ip|+^A+#%ipq>,HѽvrZk$)Rk4k8xk~K͇%ߞlHɍlȓt@v'Sqqᔳ^Q1`LT %p( sOF}%ie[nlp49Scc% Ė,a'97uۦ[ TBع$nW`qw9`[vε >ZL={tyO0mRrg aY+4Q {) 6ɍEY6pK-.T$( A+W+47E~! +W,l9-YnjjUa#gE xtz0pRY~%D<9,f&嵠.k4B/Ojnj_O23(8K q}UAuHţH%2ɂ& bEQvf!??Cz2Kmv ͮP =gf Ժ+Zqqx}Eʾ%iID.Z>DҠS3NDs$|T/]YI`rxͭFNd=Z4?S . &:MA?4iG)y [Y /,n+p55kz}f*E|_4LdkV~\Ȳ.%'y`(^ُm*M$X : g jƪM@ei][X8jdmӔFFe˂mIe728cu;; Aڀ1y7Cܢ4Fˊ[/+w<̆.$Kw{d:P?-:/#[C2]6@|k'~ 5<\Ykm Krtۈh3]2aimcN7?} an^t( !-#ÍZYgzBB:' G`Ԉޣ^f过RMA6͎W`8۲1K ^W.N-M>0tRF~fSR]4UҢj$SE/S -zr«*$pn?@faqG|;9`^B;u'ug X}GOYt$Q ")m+MI|  Od8:7jl;92i2.3 s_%R0Lދ/haי=|kFE gx͗wLN$3'*_\@q)jdqyhk5ƅˀmQ뷯=By-Gı{\ D\ >ArWfŬK1,$!x^ I=^qq$t{mJv#Eׯ#:~=[7tx| !Bwʗt<eQ4{k~`HO*3t8 j寭QTQ|A>ꉪ=Ӟ7D#I#߲w"kg#UN:3jvŠ)~[p uf'lsPSLӓ'/^Ŋ!rxgU?*<,j`v~kj-2Juy}aVd3>#u|'[%+--+zFHP|.G(م[x(~&9->Ptr8)Z[GcFS߉!}.vK(f2`2 zwj\(B6!OP˥GS(-!nYEc6n߼ҔDvK?_09^4(,Rs)UW&`n B~S[ c^Z*Sp@ԒP}ziw.NVŎnP1`YiF);s`_߹|hq]W T.N̈;"@`u$o{6O,%qnhK`,9sDWX]2UW1ɢ *Z{ѥQG_᦭<rtd C-W5[ ۸Ic(dggBZdM*jI,IsKU4.qBo1 YkQ9?yɲAeSDR!U9ɾdn!W־8QcDx!+|Q,{'mk9kE9 k2ZXT3m2Lr]AO&m\w+=,L!}[B)xqҘ+z! ڄ%? .ֲCzoZr4ʜp̿nE=]Wu.-&Zt>+֓kT/cۿK#]2e}1HvYi&{_q!o>sI\-Jy-(|\2HcuLl_rmh BL+wƺtWobC 鈚4,٦&G*_&]j"԰?lr`9b")s~.Is20jRM(ֱoƇR%_׎*SF>H  4{ϼ!֕FQ,mIg,)b,sZJ=ngsSC_hGlUicT&Q܅4:FH]xKl]a%KQt|xkg\> L"[AOĶxܽZ3]^0E(w:EFX\%U<@=?@?6 ?-_M>V6k: g Lh{<(UK]By/wuL[R.C'$!Év2Q:m LaJÀBN,KZl}O I1R|0~^# 1I<ۍ ΉN-n_fs TKX }LSTm~<ig#x/::en^ש{9z`LJ3Hٷ/85trLzEflS٢p%Ŵ1Y;Lb 5;%BaOSښg0؟tDdP^|m;( =k%>Cuad6u4=jC Yfc4o9A^ k+^DjٝM* 6uZ֟ ]~ i(حBl7tۏ]=wu#׭5)1[:YJׁT^ A8-JΒzT#VTL,D\hf 3 6 Ƒ܂DZDGP_rs8;4Fu2@x8ёߠ:P`E `[ Uc}ب`99G C B#Wo,3|PH+]0p=PbiyY$B洚b+62CG5a(.`B ^ڄ׳J?{Uf a '8q;Un z"uM[$-#=8zKG,tYʦX])ó:,,)lD"$˥5r \:q2+LlFr`z= [jmyT" 6Țj0q߿C.ekL@w&aw/u8x:Pe~ l]_ܶ!dYtAM%eATӃ2grU5)K.6(naz1-a׃5TbLwldNULxȆ e6!LBˡu%g=e$lKB.RV(sv*wjPh) <SʏY6.]Z"Ǣ2v;ݘN@TAg%8;Dѕ#wkeyFEgAglV4<@GLv;=Į@o uZY|8F "zS6o [xwzjxo-FkH=_Aq:U=)KPJٙL9<@

U"adwKo>b9Jsy/96*FwQrѱ ++pr"M4mgPK(dfը''ުKKTC̗дYj.D^rhrN՛IY)>*_ IDLC:Q;}19Rf;WWǰ@^kLxvQYC6I6J%՗N _/"v,ͿxA2#CW[g̟F#2#E{D%YhMy)~Ut Սԟe[xߡ0 ˡuQVq';X$PF;YJn bHK@}-յ?{w4Qb5Tm'#kgHm_X1Q[eZ}lK~4>B'F.#)rٟ%kca[NѪ2[xe,)wMsÍ}f3wOqoݡo*.<`Do- d༚@v(38=ndT\>):8L}=ɾM=Mˉ,0]bsM;W7 淚(mOyB,gJ& 5#>d"?o?$;i}XI!-E"!,Hry0D$wz #{Ft%uxZБ]ƾYcW/6T~1IHhOt}6icSGvY<߶v69jL/CWqoXJ[@Ĺ%aaW(B@iwbf*:˥jm,yؾ7pC\ϤZ’">te'f-XtaӜ!UqnjX}j5Lޏ B (0 j^ۼCWȩp:ڭEV Y r/9(1gUٵn.f;?ډ(qU=V;FW==1 #A]hY\J^'-e &OƧkc{ l &RM~ԖPV)?J}S>A2H7" +AYwOH@cFLHi2(qDȑ O ajB2ޅ \UaiXg茿4Y@[q4K wTĽ61f?Gg#汴CsbVot h'l x\ga:({OnHWV wVbٱ I ~g .ǯrȣDzr.t\fzd_o@fOp`d(ҵg`n\g4n"ڝDxEބAdžJ;1r @U#'پR.%|c>fD!Ge!tRwqR\l5|Zt#<f#kS`o6uUo_C_qOXo;7Jd]M25ڕz+FjQI"d^>pWŢPMR(uJj[~ X {\䙷oj2N-6 X *Ⱦ1NE¯TR,#8Ą]pB{ }l<>5Nv $B I,V~tu뢜t(nve_@_Kfܗ`UsU [YQ^c$i (N(JyfG8XC]GʁD N࿙ЕEH(vCoĽnv r=87X-L" ta@2XJm)妪)<H#ZDT8u}X7>t5te>?RhLljmSN yʫToOtH_Йb^4f&TC}A+wo$ڬ]{rGqh6104oNKY ƃ(rL=Pn e&X%N6`T"l58|N;KE/o0!$ ylpBKp<˴w7z#`{^9Q'$%279ܦTB é~|UG5w*J$.voٿ|aVmL̪v] ]m GnJUT}4qjzA`:\GWe}@ 4qQyu(?[L{e\$l(! #F5QsJxaFluh=X1#Blu3;ڏ-E%} ԉ> ;; *y.($0/؀3O7tG9?p) *VZrÙv7U C磟LsCerk &T1Ov`S,eur@=W\v >q J>B;[kWeb3'gUR]-ZoWT0UY觳 m~ :UNW6/IO(-r/#ĈՄE2p" &߉1=, W JaF8@M}"^p ӍeyhxwWsyPY*\%G}'$3o}'!JY0z kj\߽uap#9mӢlua,DR[VZ: k[`FQ <0SG>|f;jXS\o1paHnrVQ4d95fQ]ԭSb2KJW [Z]X $kq-!jv9)K\`#|Ks3ĮGז~DpR.7da~<lbH[vJm(o.yER'ڿN!h)YU @ص C>fL[ fNm?70EErux0bªmb_Y!= Ri9)>BzN=N-lɊ?Ƽ: ,}rXLa7] .A`1Wr&S z߉6v+px>֮"F6[Du8bSpvvi-c)Ak^OpGgnhT<h^ fV b{&GHXkssI;a/=3>app-Qj/_"<2$ rZMئ{|?+ދێܺB֕FN(aNHz6_B'=ۭw7ykr\OgKy N3^cdK1ܞY+3G/nW7n,T[ׅ]@Yb^P CkJG?*.^S/dD3LNiŢy%j>M;mÏ6&e(&g8(SY+kNӢ3xR/1|< mg0XU4n"fnS2TG̽1an?OS-*zX]j#78>yJ)M<0'*8@ FNZ@h5aPG&Mn$?ݣp9cBAM,Z4g䛨 r:Y2nziC䛊0 9uJOt{˝EICaY{]wsl,joqGe>\CClLﺞDV0sij.%Qx:sxbX iAJKկNBdʥNꐭ([;mqj̥0w qyE~ &)/$qao>zb\ݝo$PuGQ ӂ7GA_N c)]—.I_^R";Ԭgm>֭AB߷q;ڏV?8) Ӑ iP˹ŀ 4V]0Oz RMXn~"l2|D-&DKg7p?+@ EL!B [^P$aADF/dUώ؎y{ dZ QDZ[Oh+^@`Mtx܋@ɗK[s?rR}^E2a,hU:JYs[c& l$ g[lބ7RE:ō.@@ʚ_]<#iA ڈp#^=&f^q:`r"A@L\dpx/S+ T]aRz2$޾vsUEei\{ZqO=4Qt=5F-N|5z/f4/IejOi]{EC7J?S)ηl oA-ܹ8Á-šIk߱gYZ7zXZִF! ]ŗXiɟ1˦r+ bVj mGs)%eQ a$cw׈S>Z~)YuT0ƠT0b>w b pfkT9t]Rž-XŪMmO-8נۓ/ 3a; E2g*n5*H)UӔ.:!<˜KՀKAnB4YQsL&3P;TUd#KZxA]_'a [<폎,V5zɈ$9-Gɢ]_m .TvU[yVDVHPp'v($BJV,_zrc DZbCb@R!j\&tI#\G ō$m嵢Q3͟h<j/ٱP¿[P d8HgYZ7zXZִF! V]ŗXi%L!l0q8ϊ[5_4S&-e p;/[LQ !HSp&}ۇI{Jx(^*fƱ4nD0/H¬E>EX9=ÁWJ z%qorIZ< =A,u)G Fgf;]ف ^]W("yYzuu i ;bjI}+!Ԙxʮ׫Ѝk)SeyȞwY$׹DPP }R&?X/dC@vY)ы Qriĩw}ҼeJi =Tq/< @iuʚ9}Kx6/d6JM"(/`U )iن1(#&|)܏rhC &(c/;p -VذC$ tNf5j-QqS'u5.3HnYp¢ "c |g`xc++KR;r-*8Xd:$_-/P!B)bܭ Onnn 6[\mBu2Y-)}f~/P ϖ;d [ge`G|Aȕ_^Q< K0r (e.YY=xan] =ѸgZ{j>Z'qλ5ngiXvR}Vϗ1Qt(2kW"9.M(4˔H ֭ gYZ38f7dbb95070af4f09359e0809085f82fa1515d18215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61