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 - 4|L ]% Orbit_Stabiliser:threads=2elapsed=12.040cpu=16.380gc=0.736factor=1.367zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&Hcѱ*  I6u|iHi">zyJlqvKr-t*c1YjFZsuK. L^OSvJ*ln3(Bĵq{݋ 1YM&&-C^.nM=Ŵm5S߿6HPݱ5N"HMOWxxf tVgYZ7zXZִF! u]ŗXiɟC,|XJQWpnz|9"癫 a"fQUSIjP.x+Vn)ڭ0Y~ԓmWK*B,3ejavU)@ZühW1mBqCu0_KT_e1' ׯ05 A5)DpF }df [ssuG?~ %njbZGܖ@i7l=Rx=_ "k\·hWt 7좖=6/֫>fpͷ 7YrƶowqP G{ 66C)';5/ EԿs|ʔl[ gCHaz5IWؒ+QH8/W MLLu棦'e5IPRo1֢yjxev 5PgGBnZN)U`EÙ>M D}:ȉ| 0Q$*D&99piU.a !-&l!#n6sbs,@WorjJw6WL>4)Dn)"s)\{XЦ]G]X[Kh+BKgR @@>-E%Orbit_StabiliserOrbit_Stabiliser.Tetrahedrondocument.tex=-C%Orbit_StabiliserOrbit_Stabiliser.Left_Cosetdocument.texB-O% Orbit_StabiliserOrbit_Stabiliser.Orbit_Stabiliserdocument.tex,َ݁@RJeyC)FݕA!+١oov=k|EM.=Z+)@#%REU j-G< Ѩ(9zUy(YSkh^p AyKlxŸҴ &bGxa?m~B*SU1>ɯD!(`&v=ݹ) ȹ{I {]BGw9^@ݮ簹G yv@Qc:EyS d\55W~f_~O/f k Wv50HEܒ-ZRir{-,@0 &r}'GQ͔F=8nWf>(V(OB{KlǢp'r:p̑PB<=x#WU1%~}+tNNVϗR^$ZP_vpX#j]Z'ƝMMBQlGR;W3gh@!F99/p^'~G ^¡v; ; \S;zH؏,l^ݒ'YWl% 7>k.bxG%AV,gB{*1Cq}!G(Y} 'g#ez4.TNAlG3I@Ggp9g/Z2JM/(@~0e*NS^ d0 ҅Rl|g.Ra1 tyWEeZ(G8ج/J/okqEuOȼ T׬pd&29ey+.`&w2t SuD1!ˉQk@C}3~m bgYqR\Jݥ؏"vZUlƎ苉ŏj%L)L *EiR(xK`%aZn;\DF?4i)||Е=T^ 5pr'58Fo hOx=lX^ !7װqM"nhJ&i,էvK͞@P ձ~Ca$2D<_n?|%n % kZKn!Qhp!iXs"ݶ3M"]טz>~J`Q 3jMpQ]mܚ1,/l4R]K]VDqkC8D;CJhf SдOUNF@Ԏ;gmKnPC&'"TaR _lJ^s翧C:,!nʝ=W ~|KGs NȅL{V -[1Y%voq@n_%dk }JOaay6Y^>F3DWj:_(݋ضq:WNBnA]\Թ{ ,\s (?_/IP4* 1ŀ%LWoukxbVq/V'| R<{W#q knٌQQ"\jr^v>s/F.\ATj_Hn/ Z.G{cj*_rL s] *Ɠ%7(L}*>t5-)jqAOAmqUd9Oi{'P/M:`MŸlg$aoAW+P*7+ (Iܨ֣G D/(]x\B[\t ;<!\,qcӨ1'-"ͪ8pgĭVdFcm*Q:`ǢmLo嗹DmUdc M⎤嚼Xh9?lԋledd:Z3s _5|[Ӥ8bǘG<ґ%bmN5 3TkM{xpθ;l_k"L}6*'ϙ xdQr?oʋ5~Pm޹Izi4ieaV՞[L`òev) mٯRR[=9Q:YcG K1CLr$`R(yިmv ~3o3_"W,<+^LDs@ǣF ub}׉hTq n &QPw9>=R{4k ѨaEV*ˬ)YD4|?1BԪ趐_܅ƍB6z-j{4Y8 b: r|JȞc#`Q+u()0y'T!@&]4D&@4&JZxw{EsE,A^%wFhnL%*j!%J +[@'7=nܗ<ܩP;f#sU&JC:xbͤ>ۯJxM!0 D,2$Tp`C2ɆbkU2=,bQq;^ۄ8H&yor{f% (56.2bΫ `-&\e(\4lx?6(8^g$zPr@kORRq_Uȇ.;%0QR&MƇk#P1Rq2Ѹq&C4xGxOR +\YfЅ=mz-'e!Us]}@:I%㜛t؝XA5ixf"Ξ>y60xCYO x|p4 7MBzz?$[K@,,nZO8y[%;4JvKͺǪ]PL˭EeZ*X-1cO%8z8]M6z3M;H_઼7C=7c Vh`rDo)jK3ϐ:$HﲟS٬{A q6*ϩT.o{oNN=88~8"3*!QT,Èl.h)c`Y/ {Ͼϋ.gL6'tU῝񧑯"J!S/a* `$5ɚ\[}rjhGX2 -o|{[`"^9/ֿg%/(zq3lަLRУ|7֙bvs>[" iQE5eYRC)^(&PF0mZm42"|+ڨ[BGUH]@As5`C=t A: d{u;+ &Hxl#+*NWwP3ps]3G1c\8g_FYc(ʅOҳ7 s?n3VxjY_2Tg&}j r`v0Y{"+XkPA;5/9J4 ޑǠlo;P=3"$AxapWxѷmyJ12bL+Xi)."urty^~BəO7+D(vFAexTE'BrZ-6U)agYZ  X-O% 4Orbit_StabiliserOrbit_Stabiliser.Orbit_Stabiliserdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ńu aKtaZ%S,%˯F{-v܂lz˘ r2N]eS.% l#hr+8#^ku1MF%uq.̓/1CƔ3[y1(c؀+Cb쥹5셭a+?rl_.L "i=[ػaj0mA @8 <1"|E0?/`CE}(z&M'7 FIH@MZ+ a"fQUSIjP.x+Vn)ڭ0Y~ԓmWK*B,3ejavU)@ZühW1mBqCu0_KT_e1' ׯ05 A5)DpF }df [ssuG?~ %njbZGܖ@i7l=Rx=_ "k\·hWt 7좖=6/֫>fpͷ 7YrƶowqP G{ 66C)';5/ EԿs|ʔl[ gCHaz5IWؒ+QH8/W MLLu棦'e5IPRo1֢yjxev 5PgGBnZN)U`EÙ>M D}:ȉ| 0Q$*D&99piU.a !-&l!#n6sbs,@WorjJw6WL>4)Dn)"s)\{XЦ]G]X[Kh+BKgRp% r-C% tOrbit_StabiliserOrbit_Stabiliser.Left_Cosetdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!e5^M82MEmJЈP!aӒ53M0Ov}9 oiEh:|d7FBqhQcaʊU^{M^ >.Ǖ:,HiŇ 'yA*OgJ@.>Y;+8֋!+Xp-{Aٮ-M8o{Z ?M: b@jOD#X#3-]-v_cL2I+KP h&V6l}hj`އ eܶK;Mn$NᖄW -:Wn~&KvQdAo c%00Ǿ8+V˶D3_"@]KxOl"C/V3=S~[:7rV*|;+GjH9MNU;H~v^_wٌzgvkn? c*]e\'k)^l|\J3R(23\@I{Yʓ#Uϳ.+,x>ݷ{moF Dւd)iV֧hݿAa0 VO|7=$O:ǃ&a^exVسӇtV=yMu@m-n(27xNa9-O%hDp2aU((ۆ4Dd+CPj"eo&Ud5:=f0GCcGy>흶5ޛsߙNG۶VÆC~IuFcn,gF@*ؚ %gӄ4@(^>J~@rܪSF4v@^WPOi T[ OVG[5o]jnDg[KwGćk`ȝ5/}̤\̙WMN|GxXh;#?èNir&#"!iͫ;i1N$ysGj 2 7m[46`N0ꭀ耝]֞)eUiDa{5c#foOdL(mD  PuS|-?O6Ӻ̆y@F9D,hE>Lۃ|N{t ^2τƣ5O}JxK#®Ct(X#!y!5N7& ]Mz \4xRY$  `1"G+0\&B+w.k8^TC2 9"V.u+{iB>(LRlRo[px>SQ ;l*eX&,6g`ms~tjFRXB;Cw"D^Ttc5{w7?Y5V`3·è.=0cڽ0zф db,LRZ{v#$oo)I{5R(3{bV؍ J._ën;YcuǴESDdkȠA;̕p!q$  kR/Tk ~}T64~6o Яu N-t*Xv7~S2Kq ǏOE3̱N@J C7k` \ZbEWh?` O|y+y7sAE37M»{,m, cFd]؊lUs}R'L )S=DE:փ-ZA3#TCgTÚ"-_&w~QŽ>¸kN;p!8-inbOl1#y>;CHh"d =Vs6 H_NazEޘ{Qcڥ:s1ё5* َi2@"/} CT3-!0{bzjl#RB^Gm/7*aܳBK),,Rܥw-̶)Y HA/us#B|l1!!b "U'p݅ex/N_l>W`h2kIU9} /i6h>T.`1zeQ 3E>lF:/5Q[׳rw¶WD6he5+Gwv~95L(m^-B L5*T˸A*i ?~ OV{(z:oSȳ&ųs/NR!X*phԃ|+`+UV8 BzV Wa.ab[_z"ZEm G8 f̚;pOĵa<{hMUG9H L%Fq/2mߦ#8157Udf:'bvҾ'|ÕiZv.&eD Oh=Z3oөƊY"SyxD0^ӛaO>Fz5Boi[I&/-P=V\;"4 i.Bl'3vj4kߢD{ʀC|Ί9E[ya ~OJJ5|Uh7:-h%pWW9 Lx˿ae: cF̋T<A|G^лZ}n_p*oȒSJ.H MZi7$ŷGQ U-_| Vk!RGyp5{sT3 SK$d0LSpL$ֿz82T܃ġ=#@1Fe8/ Bz _OLad$pNFVot+Y p1u/4q(XZl2DXYwjȡ燬t}(7\C[cxs.@:<-<Sˁ~‡|~L&ni}53T r(j6z0pQa++1^ uoq2O93) PXo:4u]Wft7JNDO}_= ᧓o<$8JRB =⸛Q㏀vt?)N"O: m-_b{~&:曧)DqՋv gYZ X;};7qu΁̑W5zuIP8Ҷ&,o:Ș6r;f( Œ.O`= nfuQ>?arXcNљ/{+G]j& QͪLr j=^1~Mtz`uȖC7S3yrHDdhifW2H^JX|^\`pԇ&\aU~NClvl#;CmF?]<:C4r:[„N^@!O#s՜o3uYt0rVMygד`c+k>}DA1s6۷vesaj̉ˆ:M5^aCp\k ώ<%p7<TGvu>fSVL54JPu@7Majeb2 Ib4@7Y/VZBwƆqKķAbuSG#|RH+ʴT*VL{LQ3&Fl>fpɢQDoe)ҀAEҋPNUv}Up4NUL}rV=o g#̈+%stZz |Q8?!>^Fe܋k,7;fE\'_9)$_q8斶|BP3HxBʊpFqs iؗJt8[˫bblHM|2& ]B};Fh8Zyk-M\Ǎu)O?4b403LI5(n2^͘V-S]\U+2%U=qS1~1{:ډY)v5qj$^H`0GxZx{$dP|œ%08+*`sJlp6~ uIG1x_A]$t%ql̃DlR@F܀NWR:$npq>i&)}m#oI8zb0St>zL6x ]6fBUR:Fu;m&aj?>}[ֱ3wd槏!\?/uۜ2K>t]20-"[(CZؙl}kVitd=FG5f N`q) `Q+  MaL_[[uՉR%9P 'DD "˻Xi;O Sr;yZ}lKn~B ;$\+)&fú7ɣ^М_9ERJ;{$ B`ˋeqZ QٚYn':) %eNw7#[lڲcś^Q60pqTY| F'"xIR8B5ʍ,v w = Oc"wz靆 n?ȇF[k+ڴ(C* [ 7o(k]ת { +#n=PہkQ|C*bnĶ9\y =},$zw(uf"Wf.W2&|\A1Otb"x ﮤm=l rq0>Xta| 6\r#cq-`o<_\\Rukʜ< юд>A^7Qa(_V@b(9ܡ1ufWNͻs[|j,`UxR>X1iXz1a,R}uW_ <\éy!XPb3K`h.rOT0| '+kϒi|&h~+ 5:DsLo~ȲJ&Y-u?w.Q!sюo > k2v4)l%vc /tG[[^ё;vG 5ohC$xpA&F~auPkb入u㞗0Q(:l 囊PIe$AѰ.nL0ެS)/< Oٕ9Z[y\L*/)^ +Bbm.} /-jZ8Q"!BA`b0d*o35Bں EH>LJqUu42lowhgϜGI1iv}p|l%@2j$*@آ%/*b)뚪]^;9\mJ-m3KI=DO Y_]D޾o<ޖ;Gwhk+qʘ@#ݾ{Oɧ`x=AmGQ+ ٧^:DʳIf ]jCN-޷OxǝZ(\3cցSk+&{\$O3b@Wۢ5\ ڱ42Kllyr$j(tয়6H~Iqsye["Rį(ɛl!FumMCūre-vbsfQt}T} W٥5A@#s8ۼC8s4% V 9q 8EEI40jxaa7ۻ-8aGa& k+-ήqP{%\G:Gjn)%wz<'ʨbJI~P4k Ql}ӑZyZ+@:HVݷ 9,%Q[]" ά[K (=Lݫk9V?F34mznLnA>P?A$'ZVQ>YՎ?Dz?@)J+3I#C2z:?2H9\7!8z1ᭊJkCba=9'j^p/=i1v4?/:Q`#3%-0мѡ+vA=Ϻw,Rɳ[Ιwʩ/pT*BAоs%t(dIS^-ȶ1@[7wK};V ӾVbI}t7<>ڣ0Zķ݋PͷfxZ1S5Y1fnSܶrX(FԨ'DSxWcہ*G⌠ZI4\1S'_|M]{)]@ȃ,<h etmZToTᶸKe-ONP6rdp̶xhI`h@*Sd8ܻC q{=~4Mۨs02 a 0G3CIch2mTV !gj%72)A& xE sAA2|iΑYGO.?I?.'ߝKǓb:'|(-|Wҕlg]jcS?Kf#C$ w5ybo Ƥ | , fv9x8ZN;@fb'}.Glf; ۣy8y7h6mHqeVrn>SGSr_7-H;a[,F gDb2hA6 c7YZ'k>A7s!6C+aT&D: n$5p$a"bͿ| UL%#@W7'a.H V{%xzbz}~Fj&D;`;9}%DpP)}we*j VjϚH|sWyF,E 9>$= 7My^zS$V oǭ"'Rcv r)JKv~Qݓ*e);UJ=ka9S_9W6B46Ub' 9BWNÛf$4_D\BTPW;tsz"" Q CYE]$ AAr$ ]9#3Y9 2Ux֙jQ_ͳ*^FR#c Q]b(Pc/v6" +8_N|: z=&2F>f&SK\ *8?!Qډybf&~R1D¸e\Q#P yA͡t?p`+y ^hTDX! )Mi[Td@"Р| S^ hO*;@Ei >:0cPpDI1b~K,0jϙ`]29YXSupakh&[׻wd>/U`;n:=ffڲOP)Yu 5Q$eByYC_~$-S׺ rܷ}ȱI#(g\NMn˄X)G~eIM Ⱥ٧;5P\Xq"fҾ]>: VJZ\zb &Až("իn-UKx6 ӽլ)m t.NYx#b=ru,<}L?ɛ]`XѼ!R狅!Wfu~)χtI NjOZЧwR{]eYbqi١2Afه,r@F:]HKP*h]U6*<GLh\HgtW?X5zAfYZ.K8Q⬒|/aC%=Ӧv/XfӴw@SJwDhYik6 P޿V6VªZE`HsIؑz&_Xʯt?q*Zr -^ W\i8FtPz4{h^qkVnb1[F2S C`ޒ%pBTo+JoTPl ya4~jn CUVM-w02'Gg!pnO)k2<&29/vpl3#8DžZ*I/`cgбX^%WN?D4M8ȻL#vht6k_J-VY(-L cחw}߮k1[5DD!d[6X&Z~ gVEB]|oʵC=>#u˾xog1*مޝ z_e2ё,`tpbH~,^LV(BL Ђ̴ Bgs4Ƭ9 'j!9ypZb;qs-WgcSF5vތr bDUh 'HŋxY)_v8q p`9"joCqi̮u/͡Sϝb1='&km(2*|ĊJՑ 8"C;3ju{V:8L5*Mw?](PUb"ڹp:s_P"ݰ.C&nJ]% ̦,cGmqě(;PaX&<ȅt [2 8q2R%f(eЃ˃ VБd]:uCʊxx;HՂ 73PPy,;,*VtURU[#;M%Ɇ`hߔ$ɞEWZAD (7.$[QLq-=_"+6`s_G!/0.,Ԝ󚤓ljNd_>^d7+NO~=Y61[1\Ҙ@!H:f6GdiZw5ǵAgMCdiں\֊(9[?QF}̂6CCNd/F'}F䊼ѫ'Mob0}[inFBNk0``NG~h *P} ͺ$' Zӆ4pX%S!"BHŇ wݤZWgiTYQg'9xO LhOVeasN ۘݚctl|p5f?l7|E=aG _(8۴ƖNal.EI%2˿Gl8nӪon3:S1w>&'E8 wkr*ԔR9"Uj|F1q0wqq,J.@NޛqOjP'22k 1S6[10)V8W{`¯m0y i!/Jn@O8*h=tR ؖ[0 =&WTImfsQ|GEWo C52N<^, F2J t>lᑦbYQ2Z4Qzզ3CdzouL~l9jAJ [\%@DDbS')s9; C*_i4Ub}Bt҆7j;Ðg-|a rr|׾TE~x} kzO7X^SpNEBR&% sTZY,kjUVحy5̭2{4Ss[>Z7 PTw2_f'Z8)SĶC=/`? f兩\KM fgE){HE#Wڀ_AO~+Ip FCt%/qPs^k^h2k(ZiekEn2}QR7{cpsCxg~)CѢI֚Nbt@W`/6oMOcY-Ж|Zv>^y I<- ˋh~$Ätekn l@-IRᚎCB\{oѴPIbBjԏ, )C3~0ǢE'znu)6 m3~8M"gp>OGOٴCDl $|s@22xH #БӔ ufY$3!,h{tRUoӠwvs@ՋQ{Q&;Yael}n̋e&Z٤'XbaVTVQ ~[Hib% *B dNJQakI5-3 >1>Ցt?f2&c'ȘHCk*[ (݅qQ;ZQ 9XhAQ^{NT®[Q?&‰3=e=(H\뢚/F6@ ws:vgxr% σgҁ&/-am/ߝ\wax7Ŏmqe{@e>?wmu"$ }@B'M5(db˟֏֯BW5&b*?Ww-[K왙43+0XԂkJ&R:J=8Mܡk>,9\KW˰΢l2jػݽnsf fZ B^~C@߮ʷ #۞ 9Qo3 [Rk};&_?tV'U6X2\&`{6|h KpUZZWN3QMbvxJG=雂{g-3T}a؛(%L9s%[*xAq;(wú -m)قr{UEэ?f$ƪ8a/zv'>v-"m@"XBQ-si2ע_?ʘP)bzwi9gucJކP.[#JK!hk{)YojP2̹$k"98%BC(0ldM׶Fs"Z3wD;@؟:,Z:7$)6XBЊ۷uot3Z2Н x:GY/w~߼mFTf#զs9-kAJ _,bÊ++x*0~SvyƢ{<5;m/ G wnu%+A,Xh<"ܙ$o C U;$A-wKu]3-7pG҂[ٝci~r*eqAإg8 '$;1'CfJ"Ȣ>:S܃LdfmZpͭӢ ,x龼wpf-ȣ܆V1Mb} j9S2zWG!L?'=3UAMY47`aK5w2J!>R[+X@u1S~PpۉĶȄd}Pÿ-7^|;ɩ +~wtֵUB' onG]c ]27djgϸ>+?Jpo>BČob]rD(.R񂅡D'~߁ćj'5[Be&:Hn^ P>F >iy'Xҭ@Hk*$>PcomMdM%:-x]gƬ'7m9HgvTvg,ꘋ_T}B vڼ,o** 8'B>[Ttt4O m$K e"ua <7g7}I.] ha'5u@yy@ `,W@JQHr P"b6 ۛW5q{㹣 jaƥBC֢VJD"IkJcYV>6f<D6 :SGj1I)4#dm[8j{yc$9CM"WͰY"Q>)w& Q! Z0+P* VWs i+Б\ڀ:P,7ix ֈwoUXB#ﱋꚷH Ycv,#b ٣܈5V!^6@ PRS+'3E*!!vB4xLnTB, .@-<)%0M37u#_cIͱI-N9?8> Dv{FM'S7 `r:ө p-YYEr5s!$}5t*^3{ZH1t[ A0a6QrPڊ(}Ǩ.r@7Sr}Ҿ \e73]MSR4tgX~2#(<'/o1 hoaJW ՜c2CgDP|WpљhP`vu sDJŨnCu<}!~/VqX:~ {\W;5s]_gYZ 4-E% tOrbit_StabiliserOrbit_Stabiliser.Tetrahedrondocument.tex7zXZִF! k9]A-MՋhvG"uIBm5 1W'72X'-,O'pBҫnMu%cJҫr66(%FѾkzj 6]#)*Sމe͚( J֨]Fs"!J)8!pj%:*E)@ɔX.{e@?pp3z9G]~Yy&#X'e#A5udy6q4g1_`vzǐ?F[kgb%^"&: Wѱcf.=< vy^.> r5qL6 )>$E37I@Ŷٓl{ 973nOƫmW{Fۭ-#yo*t4#y%5k7Zt Bմ>ssx ~#Sh*} QC%*or9==;<"(L '9<<BMti. Hҍ!Бk3#sP,{߼W%i[L-`%JvkN6ytq!_vɤKt?Ai%~m-|uPҪ mGTsJKSfʋVInϤ5\TMCф4vm&Έ-*A{S|m̹}=f10a%NX< ͗ErZ^Y$՚GW^<%~ܾu [wx{!t˟vW`00җ00x"bjV- ʡx BCҧWϧJ ņP]!Z[蜾o1?tHs;O\- fON !KE>n3gto {8x>m۫4aM뉥bfnw=:S2Yզ*\bhM_c(6(*2ݩJ[ 9N¢ uao,^ݫfiS@W2CXMZ1!G-: t 艬Ԕ0#O>ra/2,bvrw2oQvscM׬7vnBD37$83M~.8tMl&I0k>"sM$n[De1{0_7e<'!ftL"?!&3+VͪQ=S`7Mxj{OD dΘBd7M BҢ_ +ŷ4oi5p <^ ?Tfs;8-,}E{q3zyjWawӈ~`TX.mюZw4&Ս?{Osi 7~"!Hxw} Ol1=0UG?=sӼf`5[<*\F[=YMNNExqŽ3^,G^Ʀ SPIjXJÉٹ႙/ s1C))Ʀ1A8BR ]$CX/Ȑb;HfZ #|7~GyDzǁ&@g]ch5">~vפ`霨VnDs?6ɁCuhJBi_t57YADD?2Ia NN\Sj}2',֥;(3^'VPuo uu 7^|ʔ;S]q)C " 'M.) AB'1)~?,IŜW6 <5ZVKWT6F$`J KeqP1^ Si`ӦZ[I"Kom}R\sC!7Þz} ޗrōԋ;<}J^0C.s UvѪLS|GɂjW>TQ~\ @DjB->"q~ sa *~9&ZqjR24rۖiOH@hR)xƽ~,ur(1MF/ڕF++NqO