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 H-t ]% Orbit_Stabiliser:threads=4elapsed=16.005cpu=26.276gc=0.7087zXZִF! y]ŗXiɟ,|!ʏ+BS+>inK|۵(x(ىf: #A^͕|{+C^.r;.Ԋ;%y>:58pBei7s 73 K& Ty=($PM⡁ 'Q^ժȜbD|X=IERmT 1LLٶGuN)osNG$'t[d5Rkge f#o+oO҅ ؙ$p݀9zNTEM#ZJcJ]h&4qxE{ 4NjbSc"KWАH\z1)Ϙ3d}*sOL]̜1kq]^g;oes9R=Ti~)]#Y}*gYZ7zXZִF! y]ŗXiɟC,|XJQWpnz|9"癫7w'HF6>.sɉz yJE!E@$HF|o$Ơ_)mO>gYZ7zXZִF! { ]ŗXi%D8W1aO*mjͩ@bsBPBUzo}=cw6zߗ(i([Gz_<sAHp O$JW]GC٢)NtJE#A1 ^-7ѶHUuSuꝢ81>-d4pl,MxC_A9GM#_hУ䤶>j+OH֚Y6j{yU0E gR!:blNMUsm}ׅPCd[d[<À=ڮn(4# Aɾ]:a{ݞ,1 & ˁ7kO&1g\_3%1϶ q\Ftڼ~q&9_<ѿUCiNa$KN/s'+Mc\7nll{ cG6~l'|kXF12אַۣTi/Rp42OxëeVP*0C7^E8.ٜ:L-_Jl&7s@7 '2=wiV r&\DLl[aIz>[>Sūs2mfB 4~[[ÀЬx 4o6D]67&L߁=Mp")) sJl~&/%$aO@`+ jasp(ɜ&dgr[E/M .)%fF^EK`Un%Ǵp`"1;Iw01dJRqWα~BvRBE ]u7D|y۫0[P \cCh&P=xftr2%1cYqcZLCM2e%%kw@n-'I S~޷V;ѐ7E-Q".8ĩjOA_:') )Hūp:9`S9*PYޡ;o(,79QQWL@+Q  H1|FmGlmF~Z:Ĩ<&?Cppƹv!4PsNr4"pՐ_+_7SP/h}{R}b`VJXqFvf}ȐqcQJw[ cQLa@d^p&ʟȤlY,朠V[ 4td>⸁ 'qAUX3F?+jM|Li5IN[!}T7 tgnza&t-0ʛݬF1fNJ)j55 '."z{π=`Ba%- f2 (o+ʪb\+ /c[!5 I٨#0r 0CvP`JO00zcm=cIḬ\!`4C<(Ȳ2>xm5(t- =>D|h6,#kA7r +t {=bg-8cy5)קtԸZy1#UT"D1Jb.ɯ)#TH- Hʉ#mgR=9P5UFOi="Y#:J"!Dr̃WIAzhShn5yUfkn$u}.Wj3N7V\e?2f y`fLIfpc}h9`o-/Z*eUaT9zX3s_^b G10yB C1FM+Go_8e2" cQfcm3BG1쓑zYClt*g_sVdQs!.<;:xwM2r:姡wYh||alV {zoQg67VPˇɆTm:Kc0`P+6aRH;~'{LsN$M!>[Տk]Viv\=m:jR;en4)BL܏ޖy4tn7Ʌ[ukBȬ [<1cjFױ;^Z+;rӑD?n1JwkSGOHggYZ9d0b3b0317b054781de4f9b9ca526c7f09e8611ac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2ea c74dc39879b1ed2b3db0f3be68f2d1360860228b - Orbit_Stabiliserg-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[;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! V9]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g1PhUay@;\Z_̬;hgtfŦuߎLpN܋AF _^m/q9H% B\nN/("ZF!|'G5b{Ȇ3Rmq CYHT }Ks_`F]R~~zzo1/q߻ycdyWEVE5pݢ@$'yKzG6A|F`_s䂉OW\$r oW3CVsQ:5 w`7z5TjҠp|Щ TbQy:dsſ6g6ng-ªyK `Ђk1` AUt3+$IyܠrW^gs8(D8!;p.b2(p>*tn~>|^7@(P~`|, KuP~_1/Y^Psp9̐iщ8"{`V8_!M[{z7rN*7 :sǝ:(u)[+(_^%ivix@$Ѯ<=̞qؼlƍx|4a<]MK"A/|1BBYqTֿw9L1:j&q}Rֈn*oOU/6so C#D J*lObNrl[%L3dE!{&z͖&iD\oL+b Ǧ-|!j~cŒ0dU7Ȏ_t`<ƳA?mB\/=J|9o(׏MEs7/qa=zby41~*QN7I R)~RrAT ^sglFBZ)-N0ފflv [r612^˷/LPyyjnvъ0[ (I-F@Uv.E DEsŰ"gƳᮔV9_>ؼPEmgE~,R||ȻBm!im9!3Zcpxr&.)ƒ Le(b'sO\ Z YYdO^1ag=q#p[zv p *ərw*o.G_~0vWsw.fN]z :3 Xd2aCL%&!mWcUOOԻmu] K K 2S.w'M~7fk ;a v)lE/)J+Iȭm$o-8V61~(a8wHfmCm+,d.Oل$بtN⮕MS{JuU λ)j,"mfёf]X~=kăALLJoCЯg,Es\DxR,cȕXZ57_/RtLw 8vwnW$a_Wp4 Ro]By nYAI:§B' P[%SOer[ykЬ; rBIU<0+ڨZB 5Vu4Gm qUrL;s?,4"ӠZZ SnѲwZů)Q-71VP)pat.>.Ň`WmLp5!6ý>.:{E%.!G!y A89ZDZXtnL]^=YKKp_؁]ڑGYdmh[?Zyg^d4Y7I_hhkȞPFޛVh']_De14ZA4wŝ+kn{ yUEd* Mjw.x}ŭ$6}#p^NtPj,#]VKQ(('gF.>tFTrJܤ5{1lFMJG@i] k+\ v *=ǩ. 1o?8~\{X,dl{1Փ^> A܎nku <- b@D^}HڕtI+}]t6dZ+˯ /QN"͛ΗbE m/gSdFc}kKxUKĠ4TC﷤%gy_$*A'7;Th V WQčv%䝢ϴ V(u?ܗ/Knj?U2}4ՀS]Hh5so%gi|*Ⱥp։ MoI+]kq8=f*FU(bX6a9 X@61܌ETHX={(=LЖu`qVWovA5$rZry^A]|Vݻ# '3|Zat>ʤy^{ihLT?hbLc,BGϺOЌgË{؆5޵,5ǖMSת+呈WDrbv6pU3t !;ue8g!ݹJDzBbXby2#oiB+rdoX .b;^'0{)f1qRU )Xk" BEr6(twC~qC$BzQWGKqǧ s"҈PyJK:HǮhN J'# >j_y7VRA=?e!Ǚ=S8/ŝO~+[Mi6Ҹ͝iY#@nꎜܑDAL*>ˆIz%yLn^]#OEuV^UhsSR V!mo߷qo*?R$U4*$)l e:.VNht-zF)߼Wׇ;+*LPGks*ak%k(1p[l?tq2GF9Io$mXcoOXvf@ydHCdokڵr)uU k3w |o%|u/'y>͢B=z,˳}LI>ZMx4dW@.B1 D/IertN3C Pe(vOIV#yO#~ [lƎ) ÝPk6Vo.`އqPumz /yn3Fk-f}(kK좏WQdI3fDzcF/';O"rCnTu96Bu0P<*j}֧a`ųeuj+ $?x:UꛃMwVrF&{m"JuI:zTF'ptG@tY*hFⴒA4<ٜi#ny庴EY>gMnkT}xX?K{У9g3/\[>|[=Z7RA?}$NpPQHSe p|mp[e_ǝV'Mm?Gў*/ 8 wxCqCR÷%U4o}~p,Lk`G0aK[$3-"XR}F!Нpx bYs 9 s1WY1`AR{b}1e/`ڢo) OF.Rﱋ=r}c4f3 )LIh|kKlqB]R6 J ИZJYt,uhTvb⪕عf>_|tR=nGYsנ7(gYZ