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 nn-rT\ ]% Orbit_Stabiliser:threads=4elapsed=8.861cpu=18.288gc=0.4447zXZִF! 3"]ŗXiɟ  Q=;Tvf|%ꤡ&c5v˃K}w]çH jסB-  9q^Sr05?]FZݪH*?iX3i=p796sAXJyem >>C)>t= -Y$@<9jq&NIcp~W4mLby^,s 'ـ6FO Z^fc, Pln&ߕ'rj.M_ĸEc|­1"u _gYZ7zXZִF! y]ŗXiɟC,|XJQWpnz|9"癫?lZ6'PYԾbN)w+EpYt9BfS jjaA%Ty/pngN]>gYZ7zXZִF! H]ŗXi%BzTM]C~f.Ѫ)">.NKU(k[[cM(XI<6^N<֦{jԿUŽ# x ,vՁxɃ8Fv3EVW7֣A's#U+yq 1AEiT([phշ~r& fy##{`UoqE̐nX\rҞ`P Ydd]J4B6{nUF+g"6‹1V%z^ѩ%usMw(nt'Q c|#brj2OrZA ~ ǐm oWcNR灾0])g¿.W-A,^J.+ '7VqbŅ BJd&᰸c/r+Iͳb-PPh+:kUTjy|d ZsR!(i_"@!f|&?ٴevoVȮdf,v >4'2'=O5([c sax!J9Ifᕪ.Ǖ:,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|pa¢7<,yj[ AaXLwݳ~+!{N^`<[P(Gi/YE_ U0?Ƽzi6Zdk* `VbCU[;g @@>-E%Orbit_StabiliserOrbit_Stabiliser.Tetrahedrondocument.texC-O%Orbit_StabiliserOrbit_Stabiliser.Orbit_Stabiliserdocument.tex<-C% Orbit_StabiliserOrbit_Stabiliser.Left_Cosetdocument.texCը2Toh<]o3(L~~K<=-+ȍ:UL$UmE)4\]+ /MA,p|]%c컶g6|~{zs3$A+;0 Ӡ"+dz|ʿzn<}b0aOOh8jHtp{!eV;ˬ#hc"fj~ᝯ%7<~M56hŭs{b@X R;2%{QplZ[ {+!Iy]Tj$ i2W3SC4C?GKj[Qh̊eQMKe'yR[Q#@ RgޤGHxYǘy˅i, Gg4=5@%@Dq0`Ljfyȋp7Db2\W/X'E1^Xn&IcDѦόrc3ظ $xB4E%6⓷.͗X<`RVӕcCڠZuʅ뮫Gԕ:%y TbZ?0ěON{Eڻ%1 >_JmkXMk_C[UKuګ߯^UWZcE*[U'յ< tYZ.$O<'Lj/nTliqL Ҁ/Kr/ ۦniډbټ^2R;!d b<_NiCrh6 g \dk$jφ"Na@ƪnX :l#?(Y|~^5O' 5׭neUrQȟ.2'-/.d9jΑfχ)6^8~0$NW۸z(X ⸗/cDmV#E?|Õ5t1),~4 1^/&ꝘQi]?[$x8L_XfZ3p&KG¥ *5FڣǼL11OF%"z>W24ݏgQowK$ ο$cn#68 d PޯнܙӖyhz@@PAxm3,[%y;|,恬VVMw!%j~L!Qآ7fp] ])ti8~T)j 9`al:F(h6]0}'Q!>U2kYr0ixTZ;~\)i~UgE}Dc0ہ4zdl_zϱ"$Բ^tƟh!ݫ/^8N617+-(Ds}VgNwQ'$gE˯Φ1Kd%=FRуP=r׃ĺgH'}2 Y^bI;ReBjKԒ/M[E԰C{mtg9y[dÑ4>P-a4޴MT6uՊvLH1 G㯇;C +1b 4zJT=ۇ0=>f`ZǡƠvq6R>+PhxT^*p`64m/-_*u)cգ/J¿mJ՘j㝅0{V!.(W~D9l&ϬgAaD (E{Zvqeo;H'f°~7P++x&;~s.⒯ڭ@Q6u8)ۮUTqep=aQJ5R/O|5/o  NTd۝`7wzXiIx˹ߴ$hLBϤؙ Ž)sdϭ`=_!`ԞX9;'Ϗ~ 4&ɼyz8~WG6^DƸgP!QqӢdӧ7T^g/%LjF˨Kb`>B =֝cvB'jkAď]oV||h"tFUf!S۞zXPb&zU)i>#V!&:k8}brhM[Xl"T &T@H{_e>uaЙ"< X]hs s z|PK2-Gz+=AM/Y)KY3*;f]Y%R kd=à bƒ }H M{:~f91yʜΌKDq$šfn_sٴ/t|5͐A*a9c )T}Dy񹄜JD_v6w%}׷S]TՌBT]5 /@Z$+4h>X^whMAX=T<+A BO7,bb*V3 00].ӳ ś [shU,jוZH,@T-gZ/~EcC Tj?R@*g׫!Z6ƕ!9VۍQu}7T#]pSjSH xF[!}y:##}j9rf Y*&V2.BW=&\8 R7yYg_-]sW'Q+QnotF]\w "~W/l40@˄1`_Utyi ű~*YTW $u,Co&b0uU{VÞ.Ux-)!}7!W'ݒ{_9 Q`-%C: ʶ1_? FXֻa '>Xd3+wMyQƛˤM2ϴj@0\`lP| v4zA.lEd*gw2oe [@ %^c *6Ci#ŹL҅9;xt*& [p(IX*$;HaR"ظ[T#𯱌]B,ocBLwĊB;)Y>.K2PQI%Xp϶YE@8r d~29a߽ϝddQTZRW_>RgX(iw. 6.pT̬K)=qP b'Y{#G"Ɵ [2Pӷ:%+&5 *pޥ&]`AFDmN"uw j4Jo 'oh%&I>}aw)rDgYZ g-C% \Orbit_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|pa¢7<,yj[ AaXLwݳ~+!{N^`<[P(Gi/YE_ U0?Ƽzi6Zdk* `VbCU[;gYZ  1 -E% lOrbit_StabiliserOrbit_Stabiliser.Tetrahedrondocument.tex7zXZִF! d9]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++N -O% $Orbit_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?/`֖MM\KEQ!zL<̓PʏR;璹" t?{}ܬ+KpCdo^_YF-Fǩvez&X\&ޖ):VW 4wXlȮqݰ̩?!-itUhle{NecS-nA;_+48O۩(ӮNVW*αh碼ws;~)y0PM 9rBES6poSgX2^xnCeK\jv@#^Z)E?Ȏ`z$rm?znYU`-Er#oS>% RΚL* 'u}5$9vHTnp Kc^d$x ~K}e1U>ElgV+qUW.{ۉr!r!|2":ӅZ M y'n3( )>O J}"Cu3#C ?$V\hn(/EAg,pKB Y~u5$Dwhz^jja,nvuqmzp Ghx|؎O~ޤFnŠoڞnۮB?0.y+ōL%O2 Dz<"VƪX;f#63"˽74)Dvp4e`Z|(K'Y( Ltd*sfZ I'53YNIOv.͟A=]OW$eenﹴ tK ҉>r qOX;};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{`¯m0Lޯ{i t;󯆎m5`lHeB*݌Sh-O;=v-%OH"th'ۿ(rpeG(\9/>/.+3N |e߹yh;?z[NrtˣBzxzN9u1 f@5cq ġ~o;&%m6>"&_3k#=R04@Uh sבΊV [ t`7ԮWHiUl >d^wh)G{K E(f3cJ]pء <$<`d>щC'6_+k/`x3O=W/Q ?a>:ow&O== I/LHc؝D(kRaNL-K FBFGq1tm$gi RǶKrjէubr1H v#:'bZ27ẠSd3g/<1%mƸ8ڌ +Xj@(j7o|W1GWU U kفӤ-7AҒx.99ޚ$cf+v]lQuPZ (u8GH(mk"^ԧ:$Yܴ F!+3&$$GcŤW- [VdfYdtz E`P{FC`1P#oZ Z8^bT͗ĭRCKx&&/s.%l\^׃#1ŷD7.9Y߯utnA@xUTLAK ~WoK6,_3QYu<<1Β"]!ha>XW-=ֻ'DwReJe40DljC6UVk`#QFCɱwl#sXmPމVK_kjϙ!}}#dHL~M걾%U_8E MaF0O&+HxȥAb]o]F=`@2 XxUOKٻGb+7Gm\|8]H!y.̈́v3fNn}&L7"6: r0 ;KgK犅 G3E[m l-їas kĬז[BXaDW2)nm|3@ZZWh"NFۙ$k!+̓te䣒xA%OC}pYĺ28vLuhվ.wqr![N F!!TB}tC &- eS`R/.,V{@(v`UU|d)bipۍp4୩/~m!L.XiO΀-o)rXe7  -$fkW(FN$guobT.״L0g 貃>j>a_Q㺗~>KyjqN%s:Kk]kQ }m}+=~mMy7ks0|;xl@Bq&Y_j*\9rp b*U; |AKX)}asB0-XܰQ^~A_&z GMf 9ALU0G+U >\Cl!~Z3ĭt\I^Js4J-'#NG4naX?{8̚\ᛁ}l%'kXևy#Rw~mCG kȷ˴Ah+򊍜5Q =h kI2_:3iBCj= GrX#gnٓbC(!SJ ^=oO|llS*6 Ini+Dd1tTO;6`'c-l_uڼ¥f}"Hčh,DauutR-gd'Owsɍ80GyXPeǿK@~/#hl{0q͙SO ֔LmH2k_˾] xxҚ۶βK pRiX23X:};բR}(@ROѱHY-zd@iY@^uX<0S}ocRqcAC Tp8']@r Acj'3*|,1+vf3R"*J阏ˀ6Bf:_~-?K!Fpjj#UƨOn;4[E^-0 ͩGmes9f(qlPV(ݸ%O'kmeSгԃcߌ"8X#Y,{5EK,SPNH6L &T!9 6_.bMflģé)Xo}}ܚjtbr=m2 W;is$W4XLjN&fhvzoURKA/ gjlYEo$L\0$] uUPv_/z|r]L@_ ƯD"}@~.J3wbdҫ*lŻHhVyr |eNT%bM࣋1 zPen"1S6O~~e?3Lq9re!J&ז,[h.!g'KYsgYZ