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 0-,\ ]S MonoidalCategory:threads=4elapsed=359.859cpu=884.172gc=39.496factor=2.467zXZִF! P]ŗXf[&MoRy x()DЀ_OJ+.8 XM>|G4͎  ڝIUTlhpd?$r-RbE8?!?yh˙B>Fdz}vLQGis5Sv;׮Z6wY }Ⱥ/W?eFnsBMσ@D:'Rv[:hWzt۰EڝjSRAZcDp5Dt6iO}Thȋ"56ms,VŽYT1 [Tv5H#U"J Zm dC,!/1x*n 5kϺqf‰3w9׉|*1E"蹅tX ̯si @Q^-aolb`Rm+JtD)ޕ/ptlX , 44gr-Y~q?';IPu|$(bΨq0+(%>U_d="V.yv>X7%ָ2y,@6jcZo ͢t]/jfϧ²h3,2XԫL(E7'<A"V |nǡ.;V8z™RtIY0IB=D?\U1Ͷ[OYCC=r3g:ZQ·ol!&w<:,->Koh.{|0+1yQ-71R>HnObTBzKL-#PuEmUV?O Fݼq PJӶAAIv͔l~%OF4"6B14aS\|( +1]̒ [5#*VW.3;7:3+C3L~x \DSS?'A3|=q bG eEZ l}9&CSm 5l@*b}^ `^XqаOS+91p'}z=Kg>9D0_rZ!")ȩIqc`{=)+tF"Y:@w;d "߇^/ DV}'Yv;|9Gu c5؅x6kb: *笪"~ϸ.sif1Zۯ /2 Y4bu - MonoidalCategory   |n&Hz5 P#,S:©;%Etނ+uͅ=88yRN8BO3nTfs1x0 j˝CMtKҌpY_b9w L>OF; ^43s Vv?rr a -4^|fX 6.WL%zfYoӗx4*> HB;n21nLjwfV7w|mͼS78f=']sd1#s,GeNl ԖM! YK`H# <*9}O)Ax5<&,Pti;^Vbcp":)&k| 6å> gOR( oc{z߇}Vp-.HLcQDq]娝y՛A z9iN%19\YCUGZZHLfpHn%%9ե."d6GR8w$pb䇂tֳjF.m$ ?Fj)YNp?ܗpE|hXF—A}IRwmң %$SVvrmDm!.82\Ńp6ъKO:R..ޔ6߀J`A 6PhR`Ȱ4mn^`au6S'w-NE%DP#b-O[vu** ުxtV`dJr؜4l*3 uګ?;ky^^+pX=eN8cr;7Ξ6ԧK:v\CIT:C~$ô/[=$L=hoST^yRYhE^ovzP~ͧە7 d +Գ]ɵ+%c$#B%6 @ Y]2.MY?y z0vHp)Nvفs;Ռ#Q`ـv~1{JygX.B#2C꘩|2hWQ9#zNUϿcڭ1"tN0>w>n>נkrX@aZz#ȕoWu &zWhnnF? A!˼2g-[w&^T6xݙ̸CdJ1ʩa>dj+ 5ypќvul?DO,`c%ak{zBmrvm٤jEkTBsv愂ݚQqLiHcuvFB_#' [ 1oӋS /=iezV>V Z\DMt 4kɷ꘣̪11} *Tt;5V z_if&p7.ї`ɪ#CKdd`_"2&%M˚gYZ7zXZִF! ]gh]ŗXi%Gf} 3s.Zn$uݿzڞIq 7'Ln;aY=~]{`VɇZ)Ć1-;|i ~TKzz\]:̙;o5G楎/Xl !AAJ#ڌbQ}@ز\Wks\ G-g"n6#)=hd҈DojZ^> B >xnY9]@~*j;N7I c5H"Xc:M0DN@Ci l귲 ) ] PD o[o 'mv%3f"︍VAytQIJ=(LYDžOT4RϴWC Mm0K6A|׃)%9 WO Ɠ%c'L"v/Hd9;MG<@&X|iq*eԥAFAȯt NW0?knnԢZ<*Gc?e:C}KAtu&ظFfZQ*:M IOz) 7*7(j%P+Ѕ>PiiVVP4sہ6W5GƟ*nJoxe,#ItzU ws(g'A{;]A^SzR`5f/2!_{/{57j+YsGTyʑJOӀd W^6ꬒ~E+o=GŖ'9bjgug|)ݫ/uS-^0=pba-M\PGK1[֧/o{aF,W|šaz@M*݌}Efi{-Y3]"^.+׍3V>㐡w3 u~7 %7Bug"\|i!vV/OaL#PC>-3^jmp,t}a HtAm" lNYf g]>2&i]Z*IDU~ϛ}rl+Wb{fo5WrLE@E n03j׾#j`x.歾NVZ)jU~0i>븠p1GV7=Ќ* D6K./GHSSAp-b]f"ތ<@*,Ib7UYML(z9؂4ӞppOs= X[:ēxZkIud[N, MNå6$Q"̃hêU¤wϳx&׃c( ksL*i4˜e)>.(eS$0yr)^\ō}Y˹/Z[e2]QmNG&W:E`tjB[AY\ 0&d&?hbqm!eࢡ6iMxBVkJqLS2eq y EД/^p(鴱5L,vFКNXX{:F3o=esbJ]Ā7I>g&mIlާǣ?<.!BoL@+]MܚyĆ|kQJE,Z*7/XsZH~7b2i&0K s%X tѫSPC6 8~d(}q2-u'WGz#n/ ǣ!:N,)RYӝoٓ3y=(("/9kO"0=zWwkW7׍f uȮܾ酵!+SN[Ϊ⁏qx>$DXcV7P[Ti@ 3E1Zf* HMB󓆋_M2yC<@ \ ,)_J#<4dB- 3%<ܝǎٿ ,B2prpa7ϡ);`F9T0=[ZXB1vM2oYN(P9*]?Voahv"h&`9 6+~/rnV2 4X0sb7?njmdQDYo *=|*Q$=ld/ȜJLwpzij;IghG$ܬsTY{A,1 b0¢В?}:rEQKG8n}!x zi_b W^>A /hX{䴼A7'|*V)[[˶-E-vVl^.hڃ<_đ@w~"M“itq:VY9\$0ǁ{;DnjprP ~?wKgQɼ|@C[A}<|cn$`z8K:;9)oK>a)jn}xgqvU E#߆.ؼ+=+\<+Лh25“`#f]OH<*T|exf79U$CBIGh{唴xEk`@(:i)LZҺiN\|$} 4՘")[N!$6~6DԽ}[y/D@eZSt5-EOoPo\%;k:MUSPJ$(?Nz/~B0"rݺc+s8ZՅG(` 5prݭf$ Ϳ"BvY%Zʎqh֘q`a5efT3) ł[.`WM.lXaQ Ԟ}t<7lOٛxEHOjZP1OJ K)4TV|Z Ŀ2Z7N0ć?33cU_tNյfA 5ºJ^V5ἠ.n3r gphxl|~ R o=x_C^>kײ '[ 6u϶XдFAZ6}5T*/ʨC 0jաE^[N ?9M)`D 3@PhI36ݼ]J~H;Z;?~ PPՓfΠ\zHsL"8w{X ϘYC:ynzݡ^1XI5so$[=$N `hSs&zTW}c;x`1ǟ]뫆;BJߖAYcI`kw'xY$!8e5[KuG&^ r-a8}u)aS-@Z"nb;;Òc@2 I99U]Eaߛ``jMi͈zS0sD'9g*N\]7NJ],v:.vMF2lY/O͝^6 rt}l5"0G|ĂsJסmb]N];nW@c+2I},mtgI耴p?> NN?-ʎ)ƀ)C=|̒o`Nb:E9̎?jH&aډ,N-`bd`[!MEs \Cf0b! ~jA8WґFFb1h&nWA?cCN]-[yz9'aY[ͰpMNH?Xs{?`9x͘CAarXmEBD7}]GWuc vS>?Ɲ>]LSؿemM% C{Q@Pyb݃6E.;~AgU>;Q]F&a0S`ֲF2UJY;V75zzDk+%I~hp%ƭ6]S *k钜 E/+;⦅YTSo@kָ ـ bU s$| d,*^?mź!ecg"Mvo=ۊyrE,}֛kbAF+ܼd]/]N}ߊM!,3Hv\31$bT!v.V,KZrxӆLݑ!ȶ@Be@}S4Lڂ|/Ť5'F#g!I-4wYc5xѷ_$V71WD5zDX|:E'!48J p^#BKd(>,b܂*RsӦBP @+k|MXYr`ߎً'`r/ISc9hx>X17,eFa U*~)v%>#RgLcKVQ62>EF:.IR%(%!ztǓXVy O.: N?nLE#ƛ0@cJȜx*R1Zx9}$!7!KCᰟҶOGkDhdY2'e9/ SB].#]>=eR>P*]"H5sYF#>3rU&@?m8txgku[*ņNj& |@)#Rj$>w^v8"D1(Lϡ+޺B ;3"+(  F@mt%WA+RiuH=qց 2!h<\Mj0x:lr\dW D on&+JM!x2G;52Ehcu\9qlZ2m'_K6+ftM%Jxhݑ<‘hn"䀁w B^~r#O(Nн07tmzbgJ`ms%}hV ^fmqUKw(ecKb ,䯒>mM>Q s{ ^dV-\dGY!7ɆV'D&M̀szEѪBrùv'"uĪ^qhX#\(l8UGb! تm֨FH ׻v2Ijٴ5/QJMtm^y.EJO~Uy+1cGM<Hu(Ok0 i;ys4$ƻ]sN{urPƶA -}ti5 pr4$y-1@YK-O:IծH&li@5-{& h%%rݑ~Ҡ@N 0syv%&Ȫ!!g8(S 8KAT&S+6gP16@gjqÖT2^82Yjȱk{|g<f蟵hu̿ ,I`#%&ULSɡ e/$&ϕQ5m#G/glҰFT%lQ0\Վ%qE!  9b8NpkؕԔP4 څfk0 8/XhHnkjV>ӃɱL~uʗK[KֶZ*bVd%c7mZ|v"v:UMz[:qRBC"͓.ߥa c1f_.78JQ[nk)yvA:QG12оRPlAEQ6{?kv]q0{)p`~e<AZ>RLZ͝?w'Jd!u%M'6A?ؽrE(TexDJWìh'ȃ?zOݝ71Lw;>E GZ ;!/' ĎbO S7[B)&|#[F2K]45~aM, q]S$NQ1^9鍍5ؚHȸCJɋr3khhI<7`"KA1;t> 6c|ș71$̮]a{ @٥COu9v5=|Hk$oͰxO ʡeb3!JAX߄?@DU4YULiɾ[k&撌,Ӻz Ty}vThK%RB }puy0wvc!oVL0ςIjXo&6:o :;fVP4[,:]\е81eXsB(/ٮ$.VaÚi끱Қ3ЧXi#fs?eEQ0O=VeE aHmPB*)m?zŮ<3 g?\`SYuZ|'lhwC6t\?U{E_R~OzFDas)؀A| aA>a0g۞H20xMv[}TX+udoi5<U1}үylfk2VDayMM9))u =a^~:f:y@n;^c;8{uEzűf@(1U;!*_T<5-hR̃ײ~\/RóXXMg-7^su_h~G#';+V?!9w*#y5lN,Bz Vo]>g]w}\|65_l[xwFXVxOixȶ`wL f٢S8x|67UVɤ7exz)rw|kh(px !<'m}=إ4nDr;X\f#*w~ ? sdhشM#O5͝,=kji . ;@ߏ:RWv\pBc]v#^R=u+l7 xkf0znŸoDrgkDMcŲoitZ]gX//t;;e8 җLF))ehgMn&+ e!:abAM3xaoἒ A=3ђg^qRPxș㮺Th&w\̔e3ɐCWJK-^@ ܭ6'+pziw;"{.0]hPfMjξ-cINf?ytj'</RwZ&\_=+𤎋f6!LF%~]Tji?r/ um;ݻ%`tma7uݚI݂4c^6Jjs2ey_ahwߟրX(d0!Vj9##z ~HT 8pmԤZ<|x7ä"4y$3O6U^215cMƼbg[9e = u^ t=tq!fOt_CEjz1xƻS6̲Et ߓ's4C:-{FfZo4ec3ƲoFZjؕ#GVepOHh7NH[*E:6w<Ӡ^16̙Q:~S`~3 >H10w8s:C#L.[d Q~.! I%ӵaSj3/M#+]9fWrl m'3R\E Rsu]v()swmh5/@N| F6Zң ǵXl G?7Fdg#Ԍm[& OIYP ,s*׃RqɻH38S}28ScMd&_A|΀O vLyG5N.$lP,Ub[;P 9eb#Baibcoz)z8}Z2>)LON*k2'BW﹂5Ͻ 7SCH@(܃Yy'D~EaYf`)2\ (\=df@`tMճ"OM {#xK Ϻdf-G\b fT^fPGA) (^;ψ{{{OΐB$ :h,*(}9Q>hMXivcPMI,U]7%<4?7t)wkDu#<9k\la.'j}n:MVǮFI5AP Nug>0f"܇d"Zޑ|:$/$t@M>+iRn_B5v%FIf6kzZ kmPD<ݻ䤦OeARMx3U5DZf'?2\z6&ƸTf:>U,c4fB|0J$i*_gB~}4yBc:vZƼȃixƈ(uh NTcFkf:I|SƧ0^wa6$(8JzBE Ev(U=b:jqǗ0g>E7K0)Pkve3;1N`j+}r ^;Q')&x>EBO&Q]Utϵ|ըpJ9!SmBvR?d6Q27wN0/"B0"8‘>Z%HFSJW?yPwsKt˘:> vك"ِ:WV+ˡBèF ٽ;rJIS8& â8WHg.I#nUF4-L3[q KÏz+iz!L#? Ry:7>Ж'cոpVP=Po j:0;;]sliϝ'Z<~N7pѺvcöLMi+*bUcWx b+Uu4t};{scUGMF 7D!l6 VH=K@(dB_%G5~M inН^5P=uL cOȥ*u~&`]Jpe_ňw,.;Z -=&2 [pWFa&\I\yMnT^ #'0&тrUVX6,{=J~Y׫~uLz ;k|aծ@z ~FWX±D0ό ޕ9>o=N>4_Jb9[`PBtP_ǐ`\C]iqH4n8O\Y=p2F OFƗ -o5sO:5i?6X iE5/Z=m!TCF =P͗*&LWe] SF^ṗ4^*a7=j%{&j&|dcv.G MNsհk)Ŀi-n^Onl;s^8N{CJ7Tqv5{;YW:|ٱ"ɦ=Hm"% sp> tcfŪqR]`1@Y<1Y&Ą7aVR\psgS UXqu>AhVZ7k_{]ۖ'@Lk {,fR-ٍB鈀).0+IOS MIDwi- K'G Qi~ngexLEV1ù&˓}S*÷+"2|w&f1 xA$6K#X#8|9s:gϝc;mcT@#1qqiVj4製jͽQ=띩uyگ~gjWEٜԣ*>pa+ĸ4x4vS&Z%q&)(7H J-Ү"oBx%c#TlI/ `HbJTx ]4\џߐ},LCWIźctM(5a[<72=<0AQƶFQx$|++kɷFOk܋S*şܘc][c$;bY뗕\Gh +6ɱA20.rdʤY >>#юMlk/ v^ ǰ+O\} s" ud.>sd9Xq,vrl_s!@tAۆqP;C&e 5!5ɝ61,94t>.'af+\!cʌx;dXCfnU4sQRu\>rLjHZVTJ!h5YL!Q {ß;Nv1bPF4 VIYSn@ q,9 f^ۜ?*z3*2o6Bܲw3+ " _ܹ3J׵.ݢ?ɷkX)a)(bȑ"x nK+o&pFoQ 'P`SYJIWEDdX닾ђ:H__ jAA, N_͹kfE4 MoCQA^xsM:t] (u-ٲv6< Gn3('asY"7׾m8VdK=nv}Djǻv(190Lv۫|jD8KCVg["K )ZJQbz E C/fẗ́լk""Vy|BzCm< Ùc hN^N^(}kZgkMMg_ΎwsclZRas\zrow|K8LvGݖ홖lO]m&fNB4S5Yl9ҫ @Iz'oԴ*m&.9WKmZbo0`O4 b5h_[LidvQWЍ}%]bFe|hQ҅"i ;g4z`It6-coc;6QFUܼoqfY~ |L Ypwf57$;c|jdy[GQغ?p}*4ӏ^u=,byК$[|CQ-qX0ͪcW$j+1?KNQW|n&Y:КO]pAqr93zl&ɋ!I?:R{ݱrZ2J$X_H'J8ZqW7k/ e{71u*j=vl[*{븅V@N%\dtTplj QkXlV-}m8WJM]إL93$0?sHIF9e`˵6ag9} פ=DM4N~FePOV $Hj GGU>EQ:HlrĤݠ-מFȷ4>62 |CH5@ɮVGpʗv(o晹V(@Gs.U C\msÙX 'R兠s O9W2LpՒ#zI2>,ơ xJ.b%+ItʋE2\,M8֎V%E^Ad2+(^j4i:BSc^926_/*( k&zR  CcįFWA{qvZ^#~2Q3)>d9pKF>$U CTP@OGBá/"(}/pbń%a ek?h)&4@~{tlb3vwH>-G=(3 ~t׽"ݱD0ۃɪc҆#oYA(8ht:*ǒKnp^:7̮F]$ KF_lk-t#hMh l ޷.E5 S|6[ÌlXQ; /zJb& ~%suHBνe-JOr7lKcEXʚY[WrRzU?ܪ~_T fO'ƺє*gFhbE_SzZ޳g WZda)LvX"C~=-I ;m,P$ 2Dp͠*φ~xΓZVDm!q9"-<ʚg̫F)@?o-8jpo#ۆ4#;`-q@d{έn17)%EJU@6xF,.PȦYN1~g{HͅzdR0w>vY&1Ȧn|=|f-657m-SޗYY@,:~7A%EfwiE# .̰lY0[z:*-xih'CU?*J (CJ2̶ ިCO˗sYt/6_XGzF(ik,zEd'(HFJ):H=Zdi6` ;f7=LCLEx>.q>~|T ? W)&K/bMbd ԴɅ{M 4q3<<<;Pd:ݺprj=2t`c 2U%ȫJ0E~J=M~Cb^Zhc$3zΥn~ގ}KBUDnpF&v ʕB]y`N:*6?)u\oGc'}^,nQ;!:0icNN 9B;OlZO?ФmD<9zϗph2w(~;`ݚ:0R-. aTnGY$vXـ~qfg-ix埙wbNbX_0/Hz@Qa5ai~W"a/ -ZՆM|%%8h"e,>(գp.?,!'VzjIf!ӂCio9].zE)-7=ӽp4ݫ 7Snu%#aϹ<1!g4Xw9W 8D:OxWjwGk&0W+QJyTo"ݟW 뢍}_\x$6@Uű~?Ai(G'XըlΉ浄@]KHQ_ŗ3raOAG&r7֤bC#=mx) F V e[Ͳɡb!,ȅU֏4!ΛuLO#ohx^P5KYG|nxU $D;<۠I͏3=uT &#A /}32 LU{]/fYSB3 8#7b%/' b+:0" ^"$1>|A<|%(jg콳c`*SC4sֱbh%-bz"˒Oi(6He2HDH@Ǒ3_jGiX mԧcckPz1ʔ`u7aٓJr6/̤pNwaKvtFI:v̊/fIy 6;b]{$ ^O 3^?yVsZOa0S[J3Nz@ZÅ6UiT;dyA7D I}]le92[5Ldgeػ8H5 PŌi5zQU s "hpQFZ?ǕS=+Fpp[D~!NXFӖ?L*YP0̛l2fEdNJ} qld]ELYA&M`Z:!֯*GDC&>I~u' 0l!ppqeBQs(=D/./7Wصiu}Icj{n㶐K-W|K$:L)#ޔ'#fN1y9~:*D]O+"jgOĩ0:/l+l?\>))SEL[Ȃfxlqe&7k̡kKT5Г4p:IKkn+bDx(:caYxfNNLr1T\osز8)JQ#L/uNCOЉ$CgkL:ٹb":H*PEO]FSwpB}^gQ3U|ngF,<ⓑ@p"P7vҮ0BD;_n>׾%@b._Z^/B^ǐHQx=s%䱊1_E+IdxUˈMyCLJ/G!L) ߿ 6_Gp\8xR#KK8'yf%Œ&dN1wᨕ::/6辗v5.˲' mW)tj zQ?LY]͈#BBdoŜ7 *lJC+%L(^?Zk󮋋K?}wPv |'82g '2Gw}Ce|8[RClグx2*̀DaSoicvݰjXN3n ˈ /CL,zE1 ^%A0,h.c13r%VY}2F@\`DoFLAEFӲxTP rl$~qDШ* 3@mc$:S%,].Yr3Ό"-.wxR֣DK˝7 8nY-htPiϢ͸9'Fz::g9&!\keqne\2=6/gA +PNj1Cj!pոb []Kx?Wiq?U&}I8Oj-أN5!AݻQ=r sziԡ̽3=`W3i6^(#MO=P@b R#YNC,Ԍ앶Kf TLUXH{#\h+l}az }itlSx6; rnFA=`aK `GGF.%1y9m0nVcOWHͤT[/Zp'Ui%0e6Т3[CgNi|1 g+2C -z?A_ϔNw1T18NӦUeKv  if roK&]u([+P"6sb&P;nP{&$6lh+[ 4=!LiP@P})uVS'8seJ6c#I0;N$~8] sl AK.;aQ`0-3SZŠx tf@Y_hIÌN6Іd?a1FVg" ĭ-vau %j140olUtȑ5rqƒ㿦WT+`/:5 d}aMV< Nl{>E8GL4|X[{O;@st4ge h9m.% h4Yb%o"mzz(w?1Ik(Yg</S }>5'$Ƃ X'CJz,f6tRijGq[F??\VwuXl6QĦ({5R2b4{7!7\a7D}%ˊP!qnY ]bq W.\igbHKfIz.\v6q`; ԸBsr&?>RaξC1IM@ Rtw9=en܄ hmlBzSGX)F(ۙ^Ɗ"HPӱfq%cq^ci?JvJ L i3 M ,-̙9~(Է s[']ܐ`F/S/P S /! )opݡac msők*b ђ)wE1diLQ$ǟfwm'рvN"H=bZ ^CA`6']bt@!#WXW ~>;!Tr&'/5 gisSO'+Q2l/c9a+.StlCf+^Ǯ^vi,^w3[zpwh;1jU-J;9aYՆyF ѝ2Y!M-=K}BrV^|mV(}2[q4DQx0\EZB̞TB\(P'kR·vۖaHӾ:] y5ަ+@!%<3 &kk UӒ(ٖH z`5S8iǮDWiwgH)f,ڻ`NW0C]=&h"v=P+ƫgŘh:Ȓ8+fV.d2LD"iKR ڕC#DpP1w =@r7h{!CK"W.d]v$hL|2=ȌY_h T~e8,d?&oDbOwIc6@ WM1ٛUM6wP1m")qy(.z pŵt ]asnC Yp.XԘ.sR>N}GJ;NU|o¯O4o2 tfTYoY$G3(~O2H?Ȓ%ouc4uHb ſ$Dsm&$ͧ/lEh[ŲfMi+$# Y+3(w-I[|x$XnY·KG{}dapH,_p-)d(Ěc᡹ c=3zM,$*㑫 Oet(3 _N?!Aʁ RbɅG}I|\~p TM׉!ʅ8$&7ȸdm*ՙ(x %[H@ +yl^4,q8kC-;u((ev`H pv~*?=v>( %? Glxos}Tr8W]{ -b1P0rd4M蛏ԕ^㘃=GNĠV[鎃l`̞8]|R=E+KXhBt . 8 #giEYs3`85)S*t⟾μi #{'2@1^}G/wX'7S{>t15Iێǃd0]Nͤ37TEm_CM?o'W|Ḉ`%0kDGd  P0Z5owMa%1BXFCiluT* zsvԳ[]ZuL7~2ga ULTR14W$OǤ7}T?¬rG˜ QTg 蟘`!\_Ul`rmfKV D2Yll#`&(;/6wUo/ERuT =<ÕbRch꣘pȁJ xz w U~Ly{& gY&7ͫQF{:Q28'wP CzZFkXŢeTl|\( xJDhgRRܠ%+s)7+*ҡ2J&ѶOG޲Ըcvo|K^Dra26"