SQLite format 3@  .0:  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 11+t<, ]]]HOL:threads=8elapsed=203.457cpu=703.661gc=79.960factor=3.467zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3KjԒ6{e],<4_\Z鲟 8F>go,PR [J1jlA >E6UM۝2&Ʃ[p'ܮU+h[-Kh>HDdN{W_Fm0t5Õc͡قNytFbx  ?~@佧H>8N}jNK=Tx"/Dz%=3{PW?c|d8\?0Fiu\fyHeL$ ;ܱ\U/8Bi5}XJ(/\?JRF {m(i8z‚jvɸ;,nj(䭜XHŢؘW:029wy nU?(Ǔ_ ypDHaql dJ+#Swu nq336D]7dۚ ~Z 2.mXOWؚD9j:lNj'g$=u5VLS9kHY6_6X0p}o*mm\4bwN[ ,ĕіyzsM28%Vy>vC0,SlĚ (/Bu=d=/Dý{q~y6=~h17$n$TFE 4^2 #gx^Or) 4 BTFWt-0ƞ+u l+Kc9GĆ+0.52k ;d:ջt5}&A_6L~?"},8Fi.H k_ts؄)^|e):;#ET7/!שw>xTy 3pEfO4 =/7,͇f0\M;a͒U*\U Q^(Dƫ ֣{jC*¶3%jIf 7 fײt:ܓ6ܕZ#m٧)PqJϢ)BW~ws@Ep7*kFʸ oKMn-Bk/oVJ-L'ݣ$Ehl"[Zf ^l*rqњn!L9< {tK60= "!NVODFK OMOB k'p}xzI;0q.el{K9(V{`q>Fi,DYUq6;;s)>]OiP-x|L, A\l355@ؽmy LC,\xܕ2B)>v$X݄6ȓ7C}{L`g;nb%Nng Mfpû=reǠ{ۨ;j0iG;j&Fώ]a!lwn_ ֙ 0Y.[agi,*'H/h.e&%u[6fG>a8z.3XkB qDfhkUTriuEʩ5Lr"Iw͗О,s01Y.@{f @{1cӡIn o'=0o{6Ss mlMY.MCto4*EJTx=|"K,%3)BmuQBf!*_Ff;H&DOnV$%t0,M7]tL:zT/D =W`Aݱ@'kj}h*Rڙ`fƶ7'|JJ6x60Өqn܇8C7^)HԞsQ`!\3m_{j#½) ڥ@Fc C{jkS_Rs*֙/7CY}DZ7֓A^ s]xF] FTz8Wü^Q_*43zm*9?İl^2#䶌sV_3G7{PQ8]T aAԜ<>fyčE5f5tVxCcDw5GѾkfOMfCQH*' X .An OBee>?dgfq_/$H)JNXJ/VQlJ4IvhA˼lߠ ,|6TelLԢp}E+ro", ٓN)Sy[g,t^>6ȡG"+O*t_8wg$;Wjk}MI'J#jbEV*Yё {.|5葄1'2ѝS,pp*mb#;j;JCDE%sk~oyy>,5F1H5-}{-sj=6ơ8WKTGGgkwM^gϘDC >;iuyn6I"j>$Twҏ\I6wǮL;_^m)i,^ t· ;0X=; 8GXީ:xd Ғkmp9UAN%%,dDsqEwB=W& +fxEv? S"1_,  auzewjZIs^ic"kߖkNT:bBMy [ vƮ$u!zxU *|U@,*6hbnn%ѐ7ᶊ'/X.pNL3L8O $C;}nLӻ*-Ӎn~;ho]م9NLa!EU#y%{$'(3'R +eOVPEE'oQ06<.{_)mϷa64WH^Z/: .-u6TU2E)B"Wԅz]E{c܍ŗ<]oE Ր$n~|7п hcDžZb{#c۰^3D  HOL  ]GCo*Ijb+L|MD =vvͩHE49l|Ux5дth^˕C"܃G*,24t֪5^O~= Nّ$+I8N9Ν ~@sС e9=ZdH=\#RBGc6cOӎ+Nc0#D"3mxb:Ά0tѿ$ԝp"3]4G)>E}m>ܘK yU7,qt`QJ]`t4#\E}Z"# *̻ R twkIB3ǂ̱QE),X/F υ{,t THp9x687䕖b1SA<߇U\ Wepw/F’;Ugx2Mw1u2aѱ0p,*_Pn^mE8yRe"1(X^ Abٞ|V%x`KaE_(V;}xr3*"r[xaB܅04$HU}#b@8[Do!kP(uj*.YݣXiN/'|sΧ GfTمgܡiB[lpx{],>-l4n3"W~PN9Zvil]c53V[udžBa:.2[- /TmĿh9 #]D@]'o-3txiW[7Μ?,M1k{{OV}A5pC,z*^h!' ffc)[V!qݾft,mz$T3?{\Xċmu<+. ZڧG瀰leGtnE~~窬hN]a%ɭYQ.⋕C-y4To26s>I3Iџ mdT̚gǩC2#~-&jgWtg7xC-?9H%RP;͂ZP~| Hm4>b~jDލ4 [~>zE/@(Ti[u>cY.T$ʶM%?o>hFj 2IV~ϓjW5WITռmo;$;,`WBB#@11<}x˜c]Ȋm)w牎TX @haF,6,PP' 8ya4̜0S;wz;H'DL"ٳJaKZw~7NC٪&?&`fv!<:hXov(aFV/[np`KfGdWiӃ ({C8ok}ڒE@3k?zs]>S˦D-[*T2_8AlmK*+FKԋ;zrH7WrB>)IqgWfNu z u9OZ`-A O$^Iɖ \Бgoq& sȌ1=/׽.hwN/^p 4qӷYpՌ]iH$# v/};U-(~gV#(<"-ItB^^w]{dFC_ZaypyVF`4Yۀ hң> 2/v?='u "]=I*DD+;[6gXN[cŘHjCcbkj:i0<>B&Wg'AdXQOj0$hB;*ֲ%MK*fA?jKܕl|UJ@DF_犳hv5ߨƪ'"Q~<]8U=_+Fa~iC 5 \@d9D{QC-7+ u=q@ۊԡ" g+*))&όPZaRm tkoA7rZlʛ ]!j@vnuJ )^H“^=IHWpOݼT+*.Z0od@F 6r~%kP`;ڰE=xQ&0Y۹ Hq :x~4:((E8)^jTqYǫpF0mM -3 nVأ hX \^F%d@ ϶'kMăX"ꅳH1z,U662иP2ucpr1.rjMv\Qs99q2E#;Xy cz~ʳ x_7n9ef͌^ 2hE~;r7zkIOC̉^/ȯV|Cvq))Yʮ/|0zJBVcd Kޔ«טk+Ĥ'hpUw]n\O@Xɮa4G # s{SI~ w,ᓶl(Mf]Wru4ds*-ȩB*ToʦlJl]I  az;a&xJ0gp1)6oES*YUv&sޡ k7>'SG=b3«w|7HHi ,|?Dͷ_GiNLo Ӹb%-pˬ@͂}f] @~n|a֑ IUٗ*(ߐO‚9+l+t4-ge,\oi[.[mzYs$KI /.e~>?{ :? XUVVKN. M+ Ƒ3@B{B19}x-z#ǂkqrX aW% 6=ZF:"KHI_0so.yj=e͉8E4HGv?Vvo3gOpNemdt-L&~x ȠgrM]`sQ|}}-Ž8"&"j ^;{O?#_: PgI ;#ygYZ7zXZִF! u]ŗXiɟ29aoʼz[%U>EM!!am H)*xq ll <$jֻbgvdɞM-{&[Kw_ eW+5tiͰբe JXѯx#\*FΡ] <1i=Za/K%` y217q $dR.V6.0qJ4Eacq1N XЌo3ЍB7[˕-,j\|&'q8M!! )fM ˹h[) GрAbL ?SSSSgB u`Yb= *쫓4d3<̫MܮJÎID>S~)\܆ܵ}7Pf:Uև2F8.b[AQͼު= Zh3ulRwL\h !wvFMB!d1F4rqbfp+@5@xk۬5&pWج>#4끯"'%V"ͤndQNlʳJɕ-t#ufŻv)+TXd(BÍ9N3'#w1{OÐ,kpGy#l˻V<~1PYré X8c WEZ!DGw$((su%u%d,\\TF}1dd9^t,֝kմj󄄳"RBpkMItG脈Sj;*nӀ) >ܜӢ0-cd5ix ݬlDe: G!Nܫcw x1(|O~]^<Z |j6ی$FŽgnt(e>:|rbnOzԂ‰Ʈn%~IcIqRŁirH#+, Ř'(-!xT77aR+8hgtP7b)3z#R\-rkCIqQU63 B?5Nٍ&NVj6k6EOqJFBci B@w`_M#ĥ $2yRqOKiz~I$:6n²@r 4e,*(i79@ܙ%Q={1"E֜/!aq2΁ ΂3cd1j-&@Y;$$ ߗYm*d-n?'a3c%tȭϓAf7Lׇ4-/-5? rq)Ĵݼ?P9lV%xe* d [kzm/gw.홰~3k~G)Uz{A E5ad̕A,CDl0Hޫ=eCÂL4Y}m֐ctd@6#(qQ Ȥ2V59-Ѱ-5/6̕1240]Y0Ig>P%qSLS 7G@bK»uΝb-<&^JG.i&9<:HRY.ra^h4"`VoZxT]bZn875eYբ99o'xUVY0ީaڏ۸:J9{fX::gYZ7zXZִF! V]ŗXi%EbMUka8ʇw>RC?mrljӗP?)uyca(*<(E]+fF΃u $ *Ba(CR"UZDdþ˿ϒnͅS?Ok4I¬sߖӴB>{`.:Qa Uͷ7 ǝM9i}!DtM$]$MʠFa!e7o7 _dzK fY9$kHJZ՚$T<T<1ΜQ9$lG~W(NsPHJ@1嶔ytht55Bgys[[؍E)xDSs?^S, c0G'k4 B<j/x(6 +L?5z 1x%aiQתt8F1w>sL^ hEmo.{Kz--} }G*#*:?vIXE]!F]e4]i{EXZ)kRc̓a=>HԽ-Z*t (mvUEu-cƵFf37 "+-&86-b"BYOSG4%UI6? ÐMp>`\(]%n/_c8D.ދŊY*jY~CKT j3L+.Z3r|RPK\N"bz$R[~I\:vM/~^ =s'dhc7Syg> rI"-١u-k0Ț$9{P+]nJZyУJ6m0p=lU~7 ( 3=-2#ub%AYbetEs1oPq*><OT{ײ>qEs7ևbY^J@=B^ |vѣakbE%`RSY rXV,`)}]nvCz9|(̢*;Jfjc%ߕK+uJzM7 -^vv.&ŝɣaCm5ix*T=t@8_Gdr:bȁ_Ɩճ & JZAu䂧;k?[xM2k0ʸSivK#$:/=W}LKB=tnfWl!daCeM렷o3mo} ,%FI^{5nwQŘxݴ"Vd? ij:#g)QoAYy[ '|-i$|@ѹv}Bk21#te&/%5|Q ץ*όF\6ZxE|Tǜ&z 82=34iDpn\^i3KQZTpz* ||w!sR BDFM{Sбܩ4GoH\G̈CWӇ)L'phlIgh8..\0_O5V6 úހ?Ek#wVqs ,vKH A/tr|HhD^1ܩ!AR;—_(^׿>X mE:D P֛y-#\Zֆsv 0&ɻ!Ψ~pQ_m֚[m3dB30(#̿ZMZ;wCDawrhg2Cw*"*\a20Ԅc0rgD+\0:Hb?zjiI#Sc;R[x"VB\l^WaJ2*wgg9@.Q4Mc??hZTۨИ:!;'(>h[{뗞Jˋџ {qLsxP(D c.r>ϨM8Pi@v&b02jxr3RgcDaz~n8} !V!N¯H)Y'ZiF2HR<0eqJyMPAҏ]C$dj]V6~*/x*gYԞ<ف8(2sj-q"c6j|3rO:cB٠[HF$@w;Dco?}}sfBW9>YΙ{g\9u9{8ezHx*_$ÌIӡ6g|8I} - vJSe ɀACژ6O(̥'XWS>=o[JY݁ߜ2AL7ՓW)'0ZpQeP̊Dށ=JM[?D|M ğ7_Iܱx'a_h؟h= 'vmtfm}DT1H!U1OP$4ofHJoD2/'NTIZb eRD[hաlS3d {&˯_מ%/]eE~/FulMhTA~ ۨ`4?K)7q\E]2ʙTx"<pkwieeqK▔7dq:ѷ s?Z[>" 6`u;%w_xF~$j m-1kB֏6mdǁuJNj`=pD{CO`'c si&[90LړG:?jhM&2Dr/`ʉO"kqq hmT ;_oTuu/':KT>GQcK_7~^~a#=pvGB'/{lL2p|<%w`z53L{81::a.Ogx½j!qL\FƕZ5:3mUJ\ I'Q Uގu!/5Y4;bDŽ$(ۚ~WM+%㗧a"w!y~ڃQkO1 o-0&ǿs6ғ$Cӄ'+KC^j6U`nD!ϔ OYDwvh==*t7;'/ԑ_F3Yj Ս ZHw\ ;A葵$Ta+݌H`ĩNOTZ]\t$ԡ&QaO6'̹t%GJ70?$xoj0ˆfE/EKKHYtY));&HLQ9;5rI)'X[] +[ggZu؋2Xmgކ}S/ƕ; n 'U7D>@7rGQިPjlDpY6eWw2:aO Q!3۴@ݨz.ϥhelrB A9,yV:~^ %KEMSeڝō)t肞j[R>Ǥ7h(u&Y,6>d.YOųVwmsjs4X^)PmHxי<|67qg1/ ֗93!PАmIqydK.<NULMc0I C{q Ee-t+=h9.-"Zqm¼O 1ԃe1K+5Y. Zpֺ_>6'j"z}2j~kjl,dRmamU@zP71gʿ߀pagt$^a\SHf{NUexTTF:4K&\>7Eʹ/oB4%Y7"򍨨" x@OGyһֈw "6/f b,ɘa:FTkDe)"0L;w5UC->.tv). ޱCif1Rxp@`UepCm~#{HV>OR%5"ԝ"]B>D2 #vy>{2-`SSc[ĦC-pT-Jj}k),3# ^=_PgϷ@$Ѽjh--&H݄g`5ő0,~{n"۔V4,sI33 uGy@Ǭ[.s ΅F=>G=7!Q{dZPgkP *);o&U;=;(Ja~j+g55lT4V7B|ߢM3,f}}Ϳ'͝rʑhl.a7!7|;xpJr{{BA V~y(j <`.gp|x/jKZ 0`z׿v/K?Y$ul=)E8tk%>'I-}&c+䏧0 Z8o[0hy6B4u;c"inhՈumTT1 L]pZ1 ̙ (eF_Ch[FAY8]Ҡۛ+nbk w(WQcpHV,6^֗QY˦!%.7Vl>C|F~!ib]-3ĀhoWw=;(#MTgpPCeQ`k-"< UJȿbI>w4a[ܚ`.Qy-rqAWq{F!NklpK / E`H Ror.(P9aEkz II0ù[dY4`k4B fӪonƄ oDw)tV7STƿRFAiO K;u(y fI3xTKseOL$D29'X-I߾gU7& ƖQ#!d3#R‰ M9, ѴQ7l ӄ2|2)`/-4!`sEc~ @, Z(V 6愵)/4> Q5F#>mOW*ha;oϋjk)@ ;?;g|:%Dgu[h@հLۥ*6ŽLl؟zt#J?}kF*?0LalLNsn<թ ʸc} =MiKxp8Mc?{H3w/񭣆}_L^ܾ~h1`+#V\Y.&pm5uc2wyQWig X>B)#o*W5(T%e.oYϐ, SvGO."9x\jPNONoj^!&IYn1RcEXԀDzP]{\dY{hĠ -L;ݬ{DD lsW^7'S֗)Tǻh?i#:V.\@f dWum})Olv װ vg®ӼZR= P#ɡ>pA}}cy}x:/P ͬs Rhx&k_eՊS􌈭 e_>&#8Sǣ=Pg}M".U}\2rg$9y?>읩XBY (-,սbq:r|ODnTH3 %1N۹=WuJb &eeQöMȟ}-h5"!u+s9fE{ftDǂ^#t1- 尧H&k1a*'(T$v*FL?m)=/ve1&bޝ !%#.Y@07G*"[7n 1ig06=:4mM3hOѱBq;z=d#,[Ǻ+Er>7ebq*&NHRDV2; }}@5AuQ* f^1qX<CuIlQ Es%Hk_0RڨT; -#8x#m=OwG[bIRTtBEG |=})ogkJ[h| Tx]HT2_¹0Qz86 >[I-7@6?pfAĥP7: ?26XPʤhdwKR<琀!$3d*a2FDڠ8aEfc@dhײ.v3O%%q5U/n6w,3K=}"7f Hc)B#+`59m\U1>hoMPk)*{^DX,OrsErYbq|ꏨT!o&a͆LY'wEBM+XhpcVOva^Wpwh#.R`eY߳Rg¦LZ5ӾM1mzBw?DU1inj9ivmWgЩĥRmVTg?iy9tѶIJLRz;em10oK.e.8se$U+u@f%+T|S;4x[hҮ63I!ҐJKӀHY%SV=1'`]!}3N'LC{||H3]4LCs!)f'sOjRi"0fŚcjmPeb دB <[nJa;[EoE\( iLB-G9VQ|څ q{HTH]W8P3p`SS,kkbx)ok6SVnpD؇F'"Qvׅ&# =YV+bm[f'mbDlOpyw#5ɋS$ެ%åá Sm?ʰ0ѷvȇvet2e*g1EߘM^/_Ar}UxTcGQ D^Obj=zp%ma _⨐7,n; ?xς L8@}vSN#y| ,B€05]=W_?qD&Xjڔ)lǵA|B5i0{jkPՔͮ,rd@ʳk|8-.̀\}ykf3zR'JZ\Z eÄ?{]zJW# J i^D8-Sa>xteЂSXQK4.ٌCjZpv\pzEɓΓ;ס "dݨ][ Nx72q /MP$rnx&q;?=`"acwDm$l ˒ I+aik۟4pA'}JtLQ)K_ 2e% ^{j%LD\jMJ9袰ekG.<9*'N4+>nҤu-(OK@-7l |ѿ/i+|6Z5P^ֽT{ sgtG -.YRZ1/HE} $9~ǓLCԇbʕk8F>QFG(Fd-BjI8i,Q:Q]M;[2O f"-jSCmDWY_/v;ap@GxlMbX,2ɪ-DΡYT/_,x qZsp-HJ$hZ^krp҅_?{>[ 4}_Jalps@:emoHRjQnonENb䉍nRHH1nRsX7@LGw u6ydh~yUy|%@CVX&9 y$pZ~hwv%Zy=wׁXe]7![V D=I%y++L$՛|Ҹ)nIС"!bD˲8؂|6C||癣v1/yZ~j%cp%y-GF+Cз?>; AnXra֕v9od{)# ZL>G`;ύMm; `%clh:ū==N FQNoṴ%iGc%}ԥi[; @z0gj-7ˀd[mv~WStmЮnJs1ꡦN @W0]FPw2 g_3|2[w MvФ '*Mę-q=-ɩP7y;E?2ҽ5E8D+`{/Sz(&B>505uGR?jL3YyP_A% i]p|"d gC'<шDsz;ݰr#lZ2p|w< v_oHMv?0+Y457n;ytHMH! +%<#I2v**BsVI7ӠهˀӢ]5*pyj5/u򰝿afd8:B-ǡ,%nbG$7#p2jm[+$́eL0Yq+0  [<,aLϮ1lV;*> S&<J KuėYvj~mݺz4tik<%G ԝCT !ǜ#wKU`Wx1i8yz|a 놌!T }J 78 sT ]I^׼R2AC^]5}!8z3 e2@wU4ӧ_!!|WEiwQw$$pW'?*`͓wlTS P*pJtaIk(okJ(e X0:YݚcusHum*8B5pp$ æNPT2!彁]. K tC/bCRSgt۸Խ'Ս&pĴ)q/fa%&@u['!+,6zo3derm$?.X|P[Ϧ}8Ҋw7\.`kbMt]߃<,CޤW1 @:ÒQ0yQ F!"< {+ oTX):OPHbȩy%4q/l$GgtߣF jr{ KEAj]9t4u"'4u@'k?/ϴYV5/FZ_ ?.yli"iU.jPpcXO P؄qFRa֢wi3ͽљl .U[&@:.}Ɠ< ?䋿+w >,bfJ- 6|5AISi4ñeƧ`9s4Ay/* uh}bM/5uc*yM?K>L癈CDBQߴ*h-Ö @:jx-з9 sh("Xnߟ*{󧍲m\+a^R c/j! oMRwxBN!Fp9ъ<0%5B7^+!8;d:NVoJ6ѱܦ{u6McW9I89?i7xge 2iూ)xf]kA2at6{)_\rТW1Kz ;No#59cqx yUe[T HSi eU>_Lff!Q0-C;y;6';BW^Z0ř"/'\$#>m 5Qv9k;lV4vaᜇ]QSSװߍ5sy*0o0+626:f5Z@0DsJ>DFoGL06 3I 7 "mtߝ=DeD:K;34-C])n".Cwl 1L{>v4/Iz> IHKғ0@QN"cWJ%s".DìC|RBYT[< PGB Z3ׇC<3lqmݧ[giol5"_B b<2*jCμ<D+ ҙ֧>4[fiajc{ -.Y{4'X2F. #e>;.C5 lo s?dạrZC_:؇H7UgG>=?s; RƹDEx '|GXZ3|\Ok+w0m#˧b b|zI<3VMnK_{E FJd-nFi Tm:>p9ZݼD~sLd&a#w@y,1<m vy!Q'+Y[1VR%HX_0B/VUUhhsnsH緛P[`({2Yx)#UckWz">8,0EAtˮ`{0K= ^q%~Q0v Yq $h 7Cl` `rdS*[C7Q'^27' m)]`K+8XufoֹA ]%V1dT?If 71g#tB12N4:2li%+*i$DF NK< g !{XzF+i\&LjQLhWJ;~u3rxGk֝鲏QM4RqRYOp(_׼fwao9g|AixZqt鐔#'U*:3gm)$}V"C7nvpz)8*ȡ;4=b49Q2Y0z ̋S__\;D\VRbw4XN|K9~ `T3^c,{]~^u#n}CZf- $hj}CKwxUDnbZ'\| Z0wxِHDDOnYәUٕ" rע t~vP{(INKߖ>j fWn s$J!C3teh7$Ku";䥉 D 8>yxm[TVHSquҪ8#Mo5XǭMp<*McTcשU8:+ugL*MSnoГqVa·ӡkonJ灠عȶA p4 Yz*ZQlP_ ?~QogV<䝑$Yݐ#`|~DQglзg"NASb{<he3I'~&.h;wW׆sB2[,.ӝ |=K5؉R;j?HqhՃO0|Jә?0Hڕi~ [꫸^`Pԡ;}@E?zZЌV7C*qO"ʘ TPr$YvD|` ; Onc?e<0 0*%@U/`6-LN@7]ș|Zk .#L,my}Ƽ'訩.ݕMPϠnaUJ4jFxsQIT.o^X{Ƒ$K\OXdCcZjo5xuz=Yq_T.Bv<]lyH&Ʈ)py4arpB0Z. e~`b`~aI6]>⭆yM2T^AAjBa$fhXbsR`]pCΞ; WkTQ#Br"7*&`v+bgNɂѭ#Tn^"že5Ȅ3)0 :י}}*&竹ޚcEEѥ Z hgs'=eA.d-mt,թXbݒ>&# Oǔl+Yk糍;Lڝ06Ď '|SCF}[ȶgˏW!y툜.߱0ԍ(=/‹/F9AwRVQ¦[DCNX1^hrpKTDĮZm؊d_ݵoe_PF6F'L+ =F-=:NJdAVd񵪏xO,;0OTlw &Mh5 [sp+ z>ߠc`4j7tk^CEa6rڐZ `3 g/! *iݍ3H= 6~c)2eů$r uc|/2&WLE..%dKUKg6);#L-؝%H7됼]{5{17 DCq97ZՂ2`fʪ/zKyΦ[> \EE|Nkt^Pc~ƞK۰[^o p nfqj η'Vj 80P+SwH">tR+. k]8Xlu~eR`q"Z|m۱X kd1MGpuCu2*2|To9>KXpAFH tL/~71]jQ˽w+#JQ n'>Ytl]68ԩSUQX1.d F^k:UwYW_=l!(#/]KS'cyo;)w qc:d<S^+z|84ۦXɠiv~-519AHܠ:Vo=-*E:ۑ0Dҷ%PV-h% J͟: vNo(fZY_xI,.ke}Gu|Zt 5vFaz/\PlU5!  :w[YQ5cy o{5$*P\. LCР8Eq ̰>U85|;41˳KRz9qVFk*x |](A[+/\| zȉhh:Qï›0gYZ30a9c78fecaae575fa7255ea8c0f3497a1b10f3bfb84d628448b9950118429ddd1544ba3ddd4df210698e6c47efe4fb1b477feddf75ff7ff44906ece