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 0,-L4 ]S MonoidalCategory:threads=4elapsed=334.905cpu=810.012gc=37.316factor=2.427zXZִF! r]ŗXf[&MoRy x()Dݵ+aU C_z{Ja2NXFU sM|at_u猢x,5m!QCt q tF/#~[Ӹb8 jj=7PgTVc6=vgT#qIZH֟{P(<d 3uEZ%.x!8 (y.>afc]&@DE!_ywΈA;w3&O<8 GVp) 1ZEλ6U2@"g~H:I2jS5&\e =>^ED K\<,!9މ~iJ>7G nKO{ _Ā=v0C6 S7iM Wt~6س<Τ?~n*bC"~+ $uqJX0AduJWP3muYLЬ3nN)<Rߟ{&aF σg䢴^rimvGRO %9&Ň z=v\1+Ps X_w>Y7sj?sP [yS#D{Y/V> )]Uk%`(VnvjvqWQpz&GZX7 9W ^lvC ,* 'W]=/Nw,cڰt)^jDcU -iä2,}aa ixЮ7)*oԬT{Otmdhd$~((0+U/gi“'ǾC!G Tv),j?݂?xSCrԮ/Qp\C6zL*f2ӻ ܭ)鋄TBx ?ַ9C/`-YZN8obQký%בfb`ǁ#B qUgP62Q8f4| Gq~Ba+0jڱ&$mAaN%Fyhaqc<-:0ZI:Y̴Ħ\wv(n+OBuLM䍆{];ϕ(hQJHLJC@^'w - MonoidalCategory  yk AI@[q2໗/qA{Ac:SsЀ~ͱ#0ݷ$H'Al47֩_G!Hkh\^fZӮV:xnh j$Otmf]#c,lfkcNTı5CIY)/kg>VE56yK!QL(rꨫ4 Xh覰ɺ~|kxL&m=sC`RphPul\<}9;`j/QVU1TBAY<.M>#QgOI-RPOH`Z%"Tϼh"4Cs Kc[oT}kden;51U+*t)\Rhnh Pa`&㾧3 ͓N5Ƞx @EeCGw+Is)RPI"y"s.[ERwq跬sF4!9ClG0{xZG g/8ӟ#= \)?_ 2Z#Z\ M Ts0pHsͲ#pӖ% WWS.6-%}η|~v8Fދv.+2b eve{5e)49Iaڲ *'ծl&v[p5߹KYc.]rz*xAq۪?zUf nɻZ9qiPz(=xRb⼰c15Gz} Fu\ɱr?P ;H 64Kk:\?/E2R9x렻]WFdz5ܥYT@9f |όOQ,VJ)4Q EKb)"dґ,$̯aPxYr lbN *>9- n+irϧ7ǝq#q=05MBQ5k8m )Ͳ: 4Ui ڭ/U*/נ]jǿFn0ХYƚ^g`c zacu.n_v /t٫냁+E At-bz &]wBOhG"'l#+_yv+* N? k}fBh HGMVd`j D/,@s+f}ݜj칬XvJ$@*Z6 a0@!KB #ٱ{E_>MMB]]OlMڍdP4Q0(xI6 P)eu']4@.D:냕+Ms@nT s{;^Hn#W׬ Sυy҄~P1n:)0U3rL ϠLnr#* Ow"+;ɚ${d O`&|'ͣ +9*(ahOTԶP4Dl̼94[k.0 B\*C ( &t٢ܳïBOܾSgV`r$&AށvD +Y)>"j: 4N"k C\tڛNED eBRd w/MtM Ik hHz,RB6$K#P3^z??гqC%5D8;aS+Kڴs?ب77m\+gWll+0ZMKvڬ\j61ֿJDKp|gwtgFRYUSvyK&.#կ ҡCA)J7y7aX羃Eգ /az℗0&Nn#uQWxy-GKgA@2{DTZ3is䃅6rB#9gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:' 8X{O,&Mvi3|GhVcsܵ"tNO^H9rs7$Dj+s zCG?_gYZ7zXZִF! _SbR]ŗXi%Eb⬛n8_ԃQ(ɘ@/4[ny*~9㊤YrQ/{zQfߗAMIaJyPȾHwɭe7E~4B Inr[>;6C[ paSt,>`2eGQ?;(EF%6QS= y}7 (ye^ b]/@v t^ !E<@E%wkײ3`/ b5e!^5< Θe[(}T? s(UqEecI8P$K]Խsff^ߐ޲QXE[^L7m_2?(qx{a",\Yg6bԗ αp|8MM{8"s':\ZX:dԥ<) [9&?0}8ܣ o273A3 ޚ9Dh#//Lqԣ3$u[C~:]Êxm*eC_{ң+gBXom7 n;hqdw}RݻbMb{C#+Xz"=W¾>={&Fވv^ݍMEtOIt/1!IAw$q dFL5cMr5Mf Jv\hpZV=*nR|;Q`ZwD7[|KS8'~x&@8$N0n.Yfmq_dnqhV ^?_\ⰁֈNSBWZPISLQ&>h>z4a%2\QrG%g-d*+%*Q1hč)Q$((tܝEOz`3޷*N;D>E#Wy,{2&ߴ,'hl]LM^'R%rt;XOC+7Хak&U?f]G× Bm>8nG:ʺۀIzYIMNä Kg LVÍ:~¡~AHO$Ȉ7d^I3/9v @d Ds92vuffeй35Wϳ:&$ "umGh e< K j3]X"T@ ǵ}%J׾?r&:}EX "S^3Ng8y@H 58 fg&i 4߰T[q(&A(+ WKR@-Wʐ}`STm'q$iB}i04MÒ\̎ Wx ,Hr1KUoKm{?ae-(w yL2ۈaddסn:Ciy6E+a u,MdfUA0g>Ѻz콗,"LJ'HkI N] n. m*ieRu{698+گR ovoA]MShlŦ}&[rx #(@DbVlHh_1*øc;}23\lcC^P5sK3<˘M&f9܄;H˲w aI[x+<ǩgL``ƥkH4ubu FFSKy 3@<d?kVLT0%u>L*D˙dPcl;e>wH o W|Qc@#.BhbOjݮ+ƴUqU6 LOoR <{XK_yͻe(Xq)j~E4+J blH'Nk"q|;wr|")@L5oאw\ Xb~vk+R(J$d@i[C7&fsq#<œ?ҔvOݣ$C˫W#)fsu:Lh]9Pf e/0>䴑ED{G?dV4c1TĮH*J ]0J"z7PifEQT>֕5.ӷziH?5xxrv&)[o4D߳OݜnE7 ǔ.q)۔*w!eTqÒ}NtD&0(ϝxs- n]0ŧohxMGu[U9*3I-ΗM4+%$=PB'9'Z&y'.-Uew/.ɐ.l& |2Cxl@哋('0ҒN+:H1w#? #W$$&I +CS+g/f9B bq$z( F'P|ʯ0E4rς Rv4c61 7ãu4xɝk Q!cb_hQˌ(N-|"kq]Fn17."2PXȯ& r2u蕠Eo̵|DcRԕ0 =V;#PCM^:4A{<萅LTfҝa/إ981No;oq^Z JOocZΜE,PL _~(ыɿuo*[m8dKp z1k${(X#ĹɄFD[\H]Frπp{p2L)NzqU=rDTc|XG46-P},yAҍ)= O CeQFxZnr@ A8Ġ@-=&OHV]J8 7 E* w<]8nM[GBГxds/,3: Yʠ尬9lr pa1UR вeIxu61Khg4\)czb \L{0Àjf tBIH`5oЉaٴ4YAϐnm}PzakE@8i,衭FP5`LŎs( {j[pGrկZ" QjB_R)M_Ri i_QfzDBK9'$M  XխׄX@QHVJOcSRQJW K4e׏JĽʪ>~O^sc|Wqhg&S5?%Ȧ'Tx1Dž sf棻H|R1B9>Gͺ\/DVӉy׮KgZY/l/-c+*īnD3F)V uOnQ?6ZeTcL8Moꁏ?_wjϐp n;&sHi7Ej/ef 8~) z"7,SRnXxS4ayTPC󫰢N9ɞhd8jV K|EVċCG҆w%$Q2ךuÿ#\F1̜^=92-D[- E`\|6&L<ѱEA3x\u(@ Υ#eMk׿3D gŸ5F$eo5W濛^y:5'k Nŝě.I<9LwO2w/O! \g|۞LC9V\VHBNYPLDV\<{5=+΋U7E/tIx 83g[B72EiSb0 TaU&w;np̗HW\P7 /,ZŴicpj'߳s'M>b+Sש=Tob14y2^$q,_a-6g0;-s9|ȲkUؖq SkZ: ht:? >AݱQ-'Ȱ]lф4c1~ Ŝkfcy{A wikuy}@앜$hj@^z p9eE)K8 qh'MO.:ve\*ajm2.t ո|_X(}<,’MMYʭO?/;+ { zh% Ĕs4*%{۞k]cNR슏 1ߚ"\g% !?v3Z)pzqX 3눨)Q*HR<8UW%X60!}p֚5ݵҌ@SB؁vkp`l23&}0WmmBʥ:F!o d״G[I`` ʣW/4$.}i_ AX.#Ž 9]ʳ)9cMvE!hPn=(x-#RLGy,GP癸FS#_* C8`SM8MЪ$ K1T(UwY1 g;v^iAOL]h[0S1͵Tk~g*fl5k˴EfAqApq Pf5*f6$dӣg6cD^ YFU/E%`;m m Y2{*9a24lSv5vxq``󋭛g\79ٞ.SZik)VFOaȇ Z!(VHqESCRi jXD|f斺#NI *TR#uey+p23 O"MΚ'ڤOʜe)-Y}e*bÔV;n 3ј`$5NUa|%jB!aO]SP!Nw.mˌ"SP>Lu;4 ]†ҌXgE/:u csxŶ6 H45l3s03N lWT&g4_PUJMt8_r>b',mTȎt>> %8R33yxpA;t'6tO:Kqɤ u̠ˍM:vI4C`">HvrжMxq >׻<4}:&*~\f`N,d'R`uxMH#c¼r#n @-w孝vff,%.|WAՑJbbTAn/ DEu>1fh,1'&iY No:CJӜ3J-ęP`0p-P _Sif*ʠo\au%e1a[wxdXB aL=|#dS( P)a%Q͈8LC#Z[Vr<|}ړXi~]&љ| Or 4O!Cx\&@(mK l H҆sr; Ƚ.0N"t>ÿc%g) ҫUy7뫀)d^̎gV@;TtAUwZzJx x7*V!z6-؊,F$w6ka>X%w^CŚ#޶L<ĐYC?9ʄgd'Q%)E;l_6lC5*)\xjEHjquLrMrq,g;G 2`*PHf˗UX+a6j`)35N(M$Vot `_GU ܖVpS$Z4)LD9=;XAptp9l4@ ƺ6lcw5ak/0O&╦F8o嶀 4m\zo =xc: !-=hbܺqfNl mb87,T7X:^ yU~f! 拓o& jd'%1twZ(=%ԝ\zT7E,~AqR{>:GO MRu _x.uSz% eM:`Ip<1T/l*8ȅesmXz_<'&at9bb@魂_2ߗIJ5jª!u#Z\[)Sjg8 7[Th0-sS~xmW5k/ҦUb7S&KJ _LKnavڏu{n!Ŵk&%'xD4FP!PĪ(kod]1%[XiV,KA*E/dN9+tY !ƫ0֦Ek_%m.Ytҋρ麸wwkE c3mDDGOX"BnVGFjsͪ}3m5\&{`Y3<~XyXU2:Y|VDtͬQR©f5GdZMD:V֢]a[8jq@쁌> Cߩ4'nTe׊AEd-Xၶ`\,;E9*B5Q-R op P +O;w˰}/p85Ho l?ZeBN}yDUY;/2n\='s >xjͪIYˣ:YS72l_&?O٭ gJ]360&E#}AC\{O?Utv37,ldH0 Vsy ` X;G%D2xQW.l͟4"6Z6~TZUeGRVz=- Ӫ,Gv_=? = oQ*RC. &=B׿5{f=}eGZ8ϱb6:Wr\ v6ۦvY8q!&.?X\IlL_ Q27D0ŸG,ߗg越ZlJԑυIlm(j4Ȱ}n=)>v!*8•pIf%tSHeI&i]4Y|V36;!8䏜';p Bҁ\@/sg^'Rƨ.3tqʒr:``0Gbu]k"S(7B /D(M($:<*3ctOpsw OIFGN10Қ Ζ6xD5iGo4p&7@Se{g\vň(U'U1<5)%}yB@80jywlN)& &e%vmt++nj"nxHU&mg mr?{mu#uB3>KHCn~ZFpś7ȹ _g1zND!~<#]HHRyvYA A"`Tmuyߞn3_=\&H-kh܁ĨE8g@~V(lVT;Dw\PU|-sMĕÞs,hLjB0=)ز|S x"DV4t5!}8f3'?jĨBQTZ W/3!m2WTP$GqP)=#0"Hud㼂c-u\Ą r{:]bqoon7pMqԶڂ!3Hp0كA!j:E&h0*wӧI>o>$S"۰fopvD\nT/p~I]U&eA}T6R#/BLܡ. \9SHܟ,&uy+p jX퇊9%D2tLm:U_g4f [T ]od[ !k8Q8HuC3oi}G2`m( {RnLy~ȃ}̒Ws[.$_.j|. 󛧇W 1z*w?!dKzvF8WGHW@L- zړL<4QNCOQ+H7Wf O@nvk_N~K 쮻gt :65N߹rMr4i֦?r%cNMC i6vGb MG|hD,U~)I>s|ƈMG߬;o%nQz)‚5ƖE04N07؂R)!v\C̈́8< 񒙾j)2cnEn|ő,^JWIܖllB=]l.W?w-#sXZgX&աxfF%ZV=B]'- ~pqp!y*@sMjgCr!]$$;Ka•&`$THChDa"c!&a.`0D``12 xcg;d`X&+;##E<~-_h{&Es/Sۮ܎beh$E/ _O;G{7zSxUUX :Eh{fQԌEg;=OsT{7pAB?n .\d2Y. FhRgbeeߦ ׅ\*k@x5Vᒐly0Oc.ŠpwpYov!DBHIM^s l\P7h|Dd-0k  S>?\7pㇿGp,ɻ$oN *'2: [ au{_J)hQ2gW=D%q蛧܉2aAVI?Vq*shT)j(|'xeh{gut3b`Ӿ ȿ8esXZX!KpER0X %*DވNw-E%?.숩,3Z/tﻨ56^P2BVa^wgL[2ǎ(odyU"xs<MZi.\~; t|PkjqFR;s?Sy|Xw)gkL|Ipdq +B0pޒ{nu,~Y:ݙ\A( R؂Iv8 D/iINR,vR~O%S|"!ow#2ջÞhۛc1!s&㰎M(PϪ/U |" 4|P" T1Xl2E0Fd>&0dq #<ϝf?s䉫'FmL'Zz[}h]%GY^t*'?>9..ÁBUc-S9k`۴0ם<$HT6cccvtX-U|p * &Fsq'a m5UX2A[kՂWe3QֵykkŪ D"Nk]P02 0z3 S4ԿLP. uθG4 2tjSd Kg<ְy<58++*EÝpN!"&r[T+TP h(8g3m4ǿ=E'8")MpOxIk-6^Z!G搏*> kp!ad^[QRwwWxaw!Tha>hlkw6^ik4' յZ3w!rZϰ/TfF䋑RYU KA]KXAN42+dfTSr:mď'%r>EZD{p"g XeqrZs}#i{'4壥-\>L}O`"8Q6( -#ݎ*!:Z+mL}il2A`!7T\}|~Ķ]OZ3*+^]P6q}ilUِ"`P;UHF8XԚRBZiv(lP/_,j{eb#kJY:93w,)xY cV{Z?#t/ CF%rDd}2}N0s,Ư|y\d6wq3vtEudΩYE;QpA?]0ZۋsHkGZB"[M9']y 4|,։z1] *߮Ot!%޽7g'Dc:k=dbUeî z^Sqjka3hG٧wh(}A6+.N9lNR0-܂YΣUvW E uJӅ'Sc\<mynx1h8|ȌItr繙 rԳ=1*(p(fA4RVrg\Rawew\=2(G<ygo,w"?1u̶+PLBVMEuteRCZꭐJrWLq BϪ [bkW3)Srs 6rpֵ uP9 Hvf\+u,@!$*Yj=;Q 4L[4AxLTy0֑iNR6 ne֖0b16.(=K: 3˦ p/G.bMk6Jc4P4meK1:AG-=@aSGO ^tN_`p YVVpŤ/w8~@Lъchhf ˵V$I{k? x| dŒ(h.N.^}Ruih&1)߷yC{6όBU/S7%4lzZ2*mȖIn+XhzᨃKw:9-ho"?+LqmEӈ_}=&f珵A+Fg$l7ݥyw.׻&.-'\`^3+\ρ&-@;<(mgC ~<&lFHvFm4RqJ%P(k&ըpXLaTĈHD 70' 6EJ Rݓ .ΣX POLWV MtՏzAlVS[]ƞLmۛh7j+b)8/T<%Sp~Jo[_p&K !]9+xς0 5[:*x`5 #㕞k| XELQ|Y]`Z0Ҙ#8:tiPfWz VXNskKv1xgU0n9mc-/wugM@.֞xä ńu)Έɫ *\׋ 5+1q&I eOcNArMv RHj1hu;/b /DWMf ȰAs鉓 1΀3'L,_8|W4]2uiS<ԇH kWxv$?j5rמ&6K*2<AzSh4FBx F܅_̓phA :fsj\4}y.!ݝGGbJpv6! msT-qcӕc+Ls nýĖ eLR5-0yFgKݲ6~[RI3T4,ə*$ .Td^* g,gޞT4kylCؠ֋9'H=."VlHK”=Hƿ{zMyvc݋mKֱ"Cyhz}&Ρ"x*eikX6m=JߔFvLz1] rqUDanG]!3@tJhk`Bo@ \ye MgU<&fܱqw7Tr#E$1#c6­XlNjY]jǤIVGo ݾ13/Jqe#xqEmO.w Exnnys`:f8k`O",mq61XD{kjuǫ|;:$O&)|u ^,>ɎҎj;‡:h`)e]0BBP82ll>HSEDBmx./kN] 7(ULLc$]($~IDf\|Z;+enZ'f)| 2@o1 7żH#dNp*ѰJ!—R ;7i¿8YdD?_}sO#" Jo 6.\{'#j'~&ücs)w> gXl5[ɣ"9XYFKЌ\VqP!x|^-d9+j(v7W{SBTKI DZwn_ `b,DFn6 y;I{4T-~ d'5b;s!st~&N|#ވX`t*t%~2!C_7ew@Д.ُk4OF4+y]Ɲ RĝrH4-Ldh z>ׇtz.$VX l  ߈;SOWt-E@xAѐ=1 A~K:뿖֞m4K,.k  8It玄ܘ_5|w-eѧ*xLmz#DRmKJy5vRH_gQ/du G;1CW/]T%O)/ Q ѸvsPUƔi]5O LV~[7 K㹌āLSIEHDg eԣ/]6 7[&iM#S17l;53.~t:3HH6wsω6Xwo$l pE~.>F,դ33)oDMUDm^ An "6?ѽ[1e`#+@bopvR8%{+']b7i4%-50eK0͙VDJj__#G+G!:A ȖdS*Ɩ<ˊ}NtkOܖ<(q68J*E8m.6հ\ҚA7`>8TAP}*`q >}$#+L C+3z|#@@CL!S ͥ?_C]* ohH75%7Q7J~$^{$ML _#h̏kȬhckOek׈#SP I3gq՚tLΑIũv(ܥ_g6Lwix i#'Lޭ@ޠt~@RGC7yu KADL}&ԭ{)¶f@51bQ~?L@S672(ܺ;>f֤lS-t * S9ϑs2 4BϵwMȨxJgq?+o@Hݲ/ec̭o ni 3L/Yig6#FNRzBzBo6V:bLxFZ]5OLOݟ駾~zO,4ZY~nQ_t"t܍o.fVs5UqsC?ڇρddAE9\\j%@k+# Q܎.d)]yP&/WĖ͇F8)ďr8ǚ/LB[7=5\>~Ud܉س)9<144PMkލ+&\L`W{wFXٍAyH']UB@'.<ۼ!dX«,F5v)KDP6ղ"_Vci:=ǘ8fɄ0@dPvo)=N? +vބ$y?L!GIY\c0u+iQ#ҧ` Yl+#/Q&:˥7=SQ⏘ `-}t| -eSGGZ, W2/$мy55CO2cN۰=;pRzɢI uHyΑ,Ȩ DZ[nҬ"3Wx?BdI'Z.C6ZND`z p)?yLз~`ý_МN_k7sf- MiP@20U;k wa L\5ik$6gJ؆ZpOBpm# `VD؎ &zԩ  Gъ%f汌 tj#A/2tAh4ΟQ-mx "\S;D,'JӝF)х6YJi=8wI6{jσ i10S¼H|v( "ck @c5vy~AEII0ә&qIg] 322Y ?(]aKT2 &wn&U.U`qկs)禨$ɪVr(oj:Wyw :E1˷1m=5\AOuI]iO+VLᦆɞK /Ć_ԃtFP+D N{AwԪ#R&'&xˡ+&*Ƽ:[ gFJbC +'YfPЊwc+tP]^WDI.aQ%V*fD""="3O_oA -(]W?UT(_ +WެRCz1 C6s8(+W'zT&l,&Il[D\d½j!U꾧Sh*6[H[`%9衝=?ru4F,1qoi,-V~%U+H6OANoӯ nsՄ ݘ[3D2_u/,{0b1S}/5&cPOW6+?$X~PJ@E&9X#sf~ML ,'*^Olg< $Z ݯ}c4(wm{ nޢB'H=m]9.(_C$A95۫;Fn":~Y>JG%+fu-5d_QKUy\y>/(\)VQGnHw=^_6K0 ;'Cݟ6!lJڳx}Z+ǥ"4rՊ@KWSi\z v(^&=3:d_5+G*QfC8Sq}538M|3LzCٍx4hU: PֹCn7-WN0=I;eDRѩYÄ}sՀ{_J6R`Fcʽ.E4ܣ.žc(AI,aպߌ pHO[钅) V1رͪЦax. qƀϽkA ]zk TW u/r>Q{ziHPW2W=dB=iZ֛ʰ͡z4{;IެS9Y/0݀D|bM4DcA= o'%RyZ96D5P M)ٸ#ї˿$JSKeѳB6`+S4>f&N̴NY0I]5Rpg?2tntT*c06Y({ ^;8˔L|ZvfyO -婩^ca*_Gaw+|Zܱ@Sȳ -2=.vn쮻{G0_{FvSTnM|uaٍAvCyC!`|.IY[WbFU`#(pqWSv65 {l3 t,S:߮{M=6?9u٪-nI1g{ _U&O 7F (`yn1& DD6AbXu74H8Umfo/..'D矜t(UbbMS,_P|g`KWn D!<8Ke{g| Q  Ca P<,Oy]nіQ$2ׇv#ـl8gl%8@+>wfsZ&tiv&O!IMa8%2{He7Q3m:V]APAM?'9NƝҰ>%3X nD&5 }%μFzIJkFյߊz" GY?? ؼhU2yH+y 0Xq-KcɇQ)3#n}Oq*E@tB҆z&*ǷB[3RrA%aWѝwgKd/ZAIJ?EB?Y7LVDW{2Y=tB'kNc !LB([*oBޏ$lx- !w d83oM! F-:7Ey+vv㩕 ;$XJ@Ժ~^ <ֲk/.PN^-4?, S о3%"d%/^8L1mD=?!c_C #m܋p0wg3s׬Q%4T+%CSpRa 4I@vdgFO|[ARā(fl``zU#^!\v U{fЀafG%QlG*ۘ{77`t#gP~M uʒ(ϴ cky,E"O>J%{{laVֽ|~Juߢ1zuI!aEo}U1,u>:Û1c2נIT5qFk5e{":"B-'ti&I|կf_8?OvYegCau5X`I NpO|M(y{xjЗf/q` i^L|'af0什Xq`4א]vqp @OڛT>z37]A0?fPu悋n}Í8-1AR96.c$tWOLզVjǰ= 3e=ً""D[#ě=g쇄:wP aD-WtV2S#wU擳p>n0~ NCPFҧtflЇ ~) Z|&%k P^