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 //%-\ ]S MonoidalCategory:threads=4elapsed=423.443cpu=1053.692gc=81.204factor=2.497zXZִF! &]ŗXf[&MoRy x()DC} o:>J,Q' )Mp꣍Is[B]D 0wҩ(O di.5C8vVQQMzV0I$ HAs^:6b 鞳=X-MYt#A=-IʧE^諼{dk.Gv}ova]=*p k)}LvJB)#Zn DHOn_>L|u@>q\܇'==z>c'흛ŠI9h]d1PR!2jH䉉o:譬rEBU|ĉYͷvwd|?gB4qaԧSYә9$UdCiQ~YaD a4'>;dBO\4XO fvEu $իb+!( g$Rr+TgzOyHRhݲU"\eui*`(g5wgx(um<yRGFbrm`S%P\'|Iț؟k,A_cJ`JRg/p 2b:z:^qDځ߅KPαt0vAsؐškKujwZHv^'ؾ}3 .mK>1肎,!!S{w-90WWXG+VɁ[:HabsD&i%EHMJwSyrǾp; |6)`Ј.]"isJ "Y1zXt4aG'f[}:1NhCl3\._Y^2s( XJf5ن 5R ҩ5\*8[wFp|+f=%u#?iν)ԌEmAP*ڗ&U6'YZe$44Gop0Q=k&;eID5d(Y4<<Hm1*DH+! 1[Qs`!Eh7dbt߻j[ Ӏ'~́[ʣ?N\>閝+WFL:hnsE fad93tk50`W{tpa 1SSޟ@ 6:p5xC(.w8~Y׬zp;Щd@ +\ "EMw Ta5| a, DA K§ t+wDpn9jW'<["qma b|NxfkI~!87Ril#TEINR@[*Ǯ?-~0*lnr`c2@QԽ o݆sxͭ)o'mkOU`7OH (fsI7G `5|!㘨EIķ vk4l+ٓNZ:}ɼ0uL7Gml Ztm#D)I# !v,tT)E 1vBl\R[o)sBk^l&~XK"ȫkz$$&6!N"醠Vc [VXG[?B#9]V[?.ş{. zӣڝlJ҉2oCv,o>Z\N<O"muK Gk'd~Ķ6U7gy7pb\:0BPK}Fn8y9ԱOAOo,0% yH_>d+CprX2i-|וh%ܿ 67^)e΍pAB0\H(-"Zgb3–lݨJ-(ET0 ]@ cGvk6Aj_~ @e3[{ Ie~f|6rVdu 51用(d]aX8U( ,^)&<)g5r"L#QN(%) ̱oX;Lfʴ3 eʕ$n=՗ۑw 4(_B9:y-W1۽BkU?ŅPѼR^~1bXB^8Ԑ ~(wC2|_ݲC} j 0?T0L嗗x OKp!:AFt!O v^/cB[[2zb .@ILGfFߎ;+GS ?2 (Y-M) -J\qk3 a(BoMs]?~W3]AdQN{6WcӠO /_+!0}sV"qGҶe2 i#RW1 oU$]UYc dN:g<=*S"r~e!Z@ ݦ[>&DycI@r^$۵7vOӽU~vIy) #ӲO7dJA1@JAh7B~'Z.wktp]&uiCVк0}vyFS.<@ɚ.xh97 jM<9&)ppu-?~IL /ҏ3t*5;m \!H"YXP!7^ 1A_Aϒfa:T8WV9TN4Wj ($ّhEpG41(Ӆ"pl'*i:CpXΰl tʵ="Z牤Fu7R;%dQZFIzQ.Aze.>Rtxd:RF/f~[O߯E( ` ﴡэNζTcT5W&.~4gK0[ Bw ouHۡ#br.1F$9Yڿ v&ge8 vg|?he4Qa%EJޅi!v&vE 5'iE!h\$wgyi ެ#YrSK]οvE,?1JFzkXUskOiwE `sgepƄ޾gh"@^ʀ,ai]*U5b=Ml\ հ>rJ1/zt'm8=և 3uEצM xRS-j+m[K8aY! p1*w$8JiImrM2\Z圖@,ҡbxh rQ+ak< &9Zp!H\A~7ﵴmtj3-~NJG([ ];|Smw y S#q|ez,J3G 1^G:m5+SoslC~j9$#䓅)AM/4$+)l;.[ :E,<hJ 16si9<.dn{-u z+Z0vO $BpcE^0TaׁJٵ;ԍ4Mt7zM=zE8|3%7{NOa]ۂLM,Ew!(_[ēͯڊB 2qП*o 89Qb4&pbNfLjT#ʁU}wM%qdcymQdy!1W 02:oj/81-XһP!dsW0Mw %7()^bs.Ei Ө 6&H *{[ .NF^2.U~2wƓa_&Q7GSB,ot" 1J6#mKZȬaF]g/ 1unK_^2q/`Qwۈ]J4IE=gnyJ(JK H^p}= [5U>mxxNrZX"6}_n=TJ99K~H f%v9zx|{25ixk@q[/)ڃpT π+] UBH]FX{w`$v;oJ*\! ꫫmDE0/kuR}1IE$8uǰKspGVUWV`JM80~Aӄ/}OR$(rensgs!s{uSlJ :00VN yDnv̚hs/"&`y{GT3:7N) s<@C_l*#u7 n{Ifo-jV=Ȫ_XŠvv%bAzXA~D]3AB@1 e^k+Г#uF*1SH~w:p`mOM׵- 1a6.MJePÎjMj[:MO0Fix-H@hn鉊֔L-P*/g&;pyZ>răH ^)o9l!nǖ~u*b^xJh9_jT2vr$-Bw @ЕsV[|r\":sdKYLr oFលei% 1S3^\?K}=Ɣr=װ()13`ϏR{/wM/VhqoΗsu*#ACT@d 1\-o^D҉ QĺrGPsQO5'+ycaZ*B17owEMl4"/_kࡳkT3pOom ,v!.4(j@Tph"kÕSvڑK߂8O@i#HuSir$#!tTN1#&ED|jRZcn"Ob;C6i8\fR(UWZq偨&i4jwrdvd\7fq)ϓBRX R1RhÁzD7cA3_8QT!V'_r"_8Bѐ8$4ilC1rIY)<t`RyEY8S} jRw<*t}=<vB1J2Յt!<U'qWw Zَ4d=Dl^fi{^uR',U݋:υVxoRD a}B;K0 [>}hauD}RTb<\>s˄ YtR3^>7Y|m*S.YF6z}BT'a`QH<-损!KH[|[q穎&KKEt Z a~G=bNJ/͟hAZt,d ݺa#I\Iĕ$v+X"FgKFFg0zE4^ #n e͕f &YT;A =S_83į/^ ̏e6yO]0[DOXK/oD*2B+ˏ"uH cvfx~e#\Ȕ-s90u8j2swY8|΀#k~]މ atPJ//ZAJI㦶Ykx jkZaIݝ={+ t<\ $œ"k5{+ ax-JJ&`%ћ%?Qh }I96Cʥ'39,,ԯAlSrj 2SZCR~%9YԞp41* }3*JiAQW*AR :d@!B7ѣ2'De!Kzkn%|i¿ T7 Ҽ>Փl\1HԽiWˊm9Ph7w'/h mw9X1 bYӑL";f#UF\fF;.!$:KٳYҏ `F.匏+}l&QVK!jIE"۝z~L%iʸa*vDkT{W"Z[FkR.\L]pY`AgdUBN' ,WԋG2`Fg3/;:]ml;V? `##@RYJ(6(j@Ud]b7aEhQWDf*cҴDYeE gۤ,!lmb'Q8*6dɖl(oI|dX%z.ttUODC9l\-hgʗR 9ln5k$fײHV===O)Cѭ$d #/nn ݼFkPN+׎a˧C`%UÞWڠŗH\CMM(k~}iiBc8 #)h#nt9\}z](fnM\RO!4֘xNB.K/%99= ?c1kcwRa!T9sJSiTCUAuxE w+GSSƯos(ŽCXA(#Ǵg`,6Yo`*N@WPǃ֢ߑÉo$*(?;dЍG1T$S94.DN#VlcrbOРP!匔_Eק,qa T,G' !"lS/I"utf[IhIBv=+ VG~\HlD-]UItMyvs>u8d;+銛??gxvB, r;}#Q#йK9KGgWhNҵ6tqޓ9A`豾Ers"qBxϒ ' UK#0^"E;6@Kh[mӒ2JC)K] yԣ>+Jl>P&zGňE!hNʽvbYtڤ-AHR#NxnYw7M*YY-dt^NÅ6>l(b`Q!N~&SRDXXK/B=')]'zLrd z 9ؽG900Fg%QzOgŒR[ɶʷF'-%=B-\3Kǩ,/sjJF2 =\M".P[U!on!L`RPeJ V\Hx6+?`O.gr>y(:yͶmfU]#gV]Vdd+8< K%W{FHg]=5rVpk%i~*7AdÑ\,p[CnBy6UG7QiӲQ_#lw=j)Z.#!e64Գb۸ذQ]/1ltݦjم8aRGݎnp""2=<’wj+zx۶"856Gh]fŵG-VS Rv@{KJ8F]]FҌkolWd*[:3mc2X-!%!2I@NwkHJ70޴ᴣikt} ˺}Ά =:D_ױLJ,7Dw:;$g![Tf 'qX *.)t'I 9$ x[G/m>+l"L?7W]hwy.k aO cՠޝ:j:͠e mxL-ƒ%~T"7izx4LrVY} Z/ n,7x \DZI~G}oS/C]J~dfUMb hkqT99^t.'}Y 5;3yOɱl ˆ;;N̑^O0|-2SPؑb)7)-e/N[pi(k5iZY} Uۈh}Dtv&{NC)jqZZw; Mڃ01>VK-7 EPy7'Y5{MSm-t{$HKn }z(RޙNzn^`sQ(\"%-׿Iz() L{NCV*KpZSqsf2Ƥ"VTsP)N͈{bO,b5գlvUM˳F+zPS&&`?:8 iNq61@ ȅۨ@.֋ǦbKV^M8,4&^Am6FSgu/d4Y>F2Z+^;*l`A_ݱ-ٜ-) h: *zV.{#tL:E(YHS< >C737S蜟PvwD'3BJQPTP1V8Zw%9ܑBVrf*b))_eB GAlRnʠL1uɽ+3u|9jv-T,UZ:-=w]`F޶^Źb&z>/tfA%o4 u 2#bQq=~ :N;XzHd H ;CXx9P~~<2F =aE]Rk8b!i">x:P %43'% a3#WMEhvRQ<: 1 G&LY%UE9@>0퐧;!VQ-kSQxm4%t/x046,=S,=ך8ED.Y`[^ۨќTՙP w -5PU $8#kߨYPVվ_²0qRxo;|iSg2񝇾q[RSd+0zP$zh- bNjН[t!Kɬ!,i\л'%!1#gtiZ 'h{E_os04m0^ ,`7j%+/eβ"t3UUɕֻbo8{}dhJّ(2w%|VBdNKP6)ث4r 9$t~{Z2Xs*p3p:Fa,6J6 w)Zq -ܓAo\,ܜŽ$J^̠є\Q ?`!N f3:b%udbfG~/eU[ DoWv:-Jq+ Hݯ7sVKbҍHJ_ ٿȍ $th.CVQ ##>ԏd'[.hm(D@ޯQݍ+8A"sY#liG\“M'|a(ap~3+D6H58~w1/[nJȦtm<#}$y4pF$AwjpJO Mv&mu\.H1;&f7]JIL(S D _sOLV83w^n8avV.ّ"nU#̥XeG /!@ ="[d^%uJk>;T^9EMk)9ى`rx8LQGb-~4Ɍ9^wpL0?>euOٖi`e5IWA@#TxoAZV6%ItV!l{!8y A\~7tV)šjp/d)?0):Gh\3?b*ߠ7^Ќ7MscUS"`UQ{)uHʿ+qIVqaNd*yRDVpZ&t+_ MS0zz/+EHLӹK4ǰVo"SF]Zy , $nh7m-D2Q_dbjhBi r hB]uȼPXq، ObYLyvq$/|̩ky<ZOJN} R!.AU׏&D4G* B!(nz0`J|=#8i~Kzð#ޤ޷}§kW&iq¡)Ӈe햦t&\ ,?2ŗN0~[T._b)t'yU|R-#js%:a0:ͫ$µ|C+B]-tK[vLdji_:tbZVJ*9ߦcqk6pS,F@[k} |DZ;l+I[wFMkAcҢrPv-ƅR-`7c4:@Z*~SFׯZzG 8}txUEsdΛeX@0 ѭbB>eXt%^MPhd%XɎ myXO600'r{$= .`?QC&3Ml˰`.K~%TZa<MʖF(9ѻvn>[#. t ~ ƏIj=g¸n΀5/^5ef,N/ez>`qt\-KŀZjJAN/`[wMZn=Iy( Au~ muF;̳+]qEb!ط>ߩFw;E 'C+n1ǐ?eniQڳ'Vyc70Q7'ec?]Oj]gB@L(n'Lڐ.g4@Y!7o]r `roގbx ))bd{ee}A9n}nENax M*xA6koWwhaW˝3.)VLpcFYTWdրh~#Vo])9055xa˧9 *kˠFOrNp֩aq5< lFѶ@_~7UڂbDɜ'93oucN5Vt$ee\Sdr4ƽ߅p(=v~G (4H|҃gEZ Ϻ:'q]q2lD\Uq.D yNjzir}_ea^`TT#Q}*pIF]I48.sg„br ]Xj$0PYv@3.\iteϘFm mWTe|R̋ 0C2%븟Go XLe3^7:4z>A:wP;K\" q){=e"+|8"RϻhvTTh]U2Y&0"!׏v aHp>W22aUOɛ2 Nu /.mM5%ٹSNjN¹ ֨x?Eb~_{YO>+Wp[OvMQR 5@iMyLA_uąyʹl^ A/;|a|$cx^;lEtzR4B Le`N5GHOvrHN¦v̤_#aOX? {z _Q$ s7C\>[ ^˃yXh`0L pbl+Z\iЛw:,hfO`Ք'Z_W}`c% 4:P˫U!w# Xf|fte_kV{zj` 񅞏/=UAd!Ppm//; `X@Mp&"h(~ #,z䩚/HjP@Fy5##|`iWsC+R0Q|n1cƍ>S@ rr1g^q>PƹSDϐ7* [o&7͘?8^v1p3]>1ql UQ^"U§*F1tZPϬutM*r7H%Zôn1oJ7 VR;<Hp N[hD[dۼ_<1޵joh;38@gl(h+j8`UaQ5:SúzXg\ ifbRU-k|o3B*y\(t;ξ7iBy,2? (3MgSX󣺄 'pVKWdB 6ڄ$0m)ބNS&1}+\sR3AK=H`2swVqꤊ6]Q:\!Q6sι6@li|AA(P} q>EbگPWiԫni>hZ GxwҊ@KVY A y*u[DTF `HN֬$!eP[{ [~?C2U^a#6&ODQu%xN[^'>4|hF=.QAp av&o9Moߔ"~=@S}ሟs,d)-z'}DvTEZ|"ɕߢٮ+ Ƀrnb"+!)Q*f' B[$l+ Zb=eenҚˇe0UG/+:NI h{pYDHĹ1Jb0O8kko)S&G?հ>DC|,.8y=vD&u"łȜׅT7%,tb`I.o 6Hd<?'hB7A_%֨Q?:rSБ?J\-4W j/zC@vegC; VP%([Njj9Qr e,:Ԑ5+o%EKN}?.^M:V'y`*uLjT+*o5g'X;}Xa<ɖdwF]huwA>Tp^dx-=RA˓:˫Z@hZ/ =M.w:2,eU%n rXQev ?qqn6cOc?W9]q1c~uQ'N?5p(U2%6ѡ TxX铞\`x]Y_TO;D݊o X?Y6Vx Ȕ維]u3*A $WԚ(jwÁNBX#T$ z0`QDѵqqE\n1@Z%~vxR!>z|Ɣbf(";<W&ӀbŴN ;૧i[3~=C< F4)gf(bM]{Sh|^N)-4qcp Ycllļ= Y&=Th.co2X"fK ,E</= ^jVuMrfgbٺ;-aD }2@W{K}q!IϹL\'2w"SD*S(aBSq_OQQMGbr-a r;֚$曔(Յ'o0JTd@*96䷝>ڸa*`|2zt0*d<{<и:V߼W/nҊ:D4Ō=-5FKG 31CΗכ x16:63T+X^oc wE2?Heg_ъll[p>C\*=Ծ$[X Z8%[B@O–#Ny4KLܱ ȠD QȬ=hbt׃Q@ ӏFqn3iS ȑ de;֩Owm"(x ?FSŋ.B x90q_\N07_O΂ǺRИȂΛRdT8o%ޗLנ\|8V.j-9O( 1 %`;l%Рz#iZz-_fQ5b_"Mpy)>=XcܽBB9sG[OYJNJ* vw J%R iwo-[Ja lhePoNHhN|8&}{FpsޜPo:Yӛ{yp 8ZsuB=/0IIO+[i''v pHA$N~ܕ#~iRp`9jփ}zo<(}u'8l~,6IGd"8`oMyA$` ST x6! 9 2$oey()U{puLZc,.V/ ʐ.KMرR7=ni o:1c]{HGT7< $39s2.QB` ǭx"vB6w.Ta-ǜFY o0AX Q~؜J%p/G:++7W xMmMh~ 1ͦN'72V6+/v@K@yy(ޮ֠'G Mu)mi A%N8sTh!Q $_y'*Hz? %¹c1RF.bPxN[q$Lg +AGu˜UCsR:)n`]^,ұH}g4|F09RT n,lєX2@ٯ 6d8MTM4}roH-κEQrV ,XIoDUZ6=k@Ȭ & )̾!kyIW#4]<ksIlZBA>4xYPd)o 2 Ic`@+6L[$hY ùfbcONK9\7  t@D]. LV-,/5Jcn L6%k:S=5;[&Xw8Ym26XlRv'mc۰l({GcMR}R_TRcp F.-8 iF$b4ou=3=.u : ٍ)!$Fٞӗ6i~wgh ~jl\ZƣE T:y{:g+ .oр~b79%XANg#~ch<[u73yH2ƹԢ%tRKz%Y#ÖҊv9&sBQ&E I2PWՍ9~A ٨rP׷>j(4T PVV?Ă*7HB[wHFH}1/bd%^ܕr6ZP* KW},Z\ 9G%[8߇h J Ձ 5}ͨ;'U$Q9߂M;`e)dA'IIOn.ɑq4N߅݉t6706Rol{$xFb0XTc7% ͭb6hDiMny_}#eͰ2Z-\w'_״Z[ҸvW>yxEB5 i ,[*$q=qSdC6lj )a 0b*#T #mgPqPa!jm(Ϟ0q3XXK3pn"UȽ̶[Ž?ڮor, n 1uAseR׎R4]KLNᎇ{Q(76S- ]}]ŧũ , ܙ@c]2EXr.IlZ%ٶ|<,ލ?re(`aWeC;vli?wN,"[24^}B /*=1X+)v`9ر&e\W2MsyYҙ݁]гz _l P9 ]k6;7͠RX "RNɻ|''UJ(P? C'ŷ6ٗBs9ō|7!MGjIwK6Є>) ]Xx)X]&br̉&atEVQ:+)%v L8vOU,=ymBԝw .`#'YV2H_R,g)މ|q/Y- ȆH S^qݕ<#x4a*;u`7ʈZB8oRٸ VƒD])@YH5 Kȯ JO?Tndh6t;ӹцnnt_t#{ 4(ƷV]9ؕbۣnb _X=9/gE`O36>o0P;#ag~Z.eǕB+Q"IʕoƆ:EgF|#̣iCWrz"/z0S3*A!9Y?+!6lL;o0A (Ŏ*=|ܝ'g;(Sah%ѝwHβ2尕j0g<i=t)5'kq0y>Sh ˾@bU`gu^ cK?Wh2R'k meѵ)hH[]G*!-;A8vzi[ —k؍#G?13P @IRPBCM;$ER+f\Fpn.mO=xلi&ۇI>Ar>k6 tj|B)Yg[ ?yq$ܢ+0{T'?knh]6{rnTJm\?#(%Ưtƪ-dXgJ{ !{-q*xPjz0R5/"$~A]?:x pztbr!) F)z%cw)D[?uH=n+vmGNyǕ`Gc;EJ+IFˏ !Uq0 6I&=ԯě{Cn+u1;C+`')T4xJzo?t:3nDJLQS8e9f2cVUm;ھ˛/c.v) ޻H׽x2,jd(cU ){M{GzXM-#k{DxIlf;Iy+7)غx\7B4p %/%]6cfᛰP0 Y!25@;ɠ\p> qhjdzmij>9w!֏oT'E~U73n yE$\$gZdS\8WCaV>'W|p BuU_ \yI;/,̈́X,ix7v.CT(ǑSNYlHEN8Z5wzS6 RmT:\W|: s)?/8ӏ{УP&t(iP5rsKmOq# l%-cN#0ЇOsh5()SVb [BKX{7 jcA-iAݤV-2*1FIo/TLL e]iTJTMH:_$ *85K]Nf[ B1{υq/ױh>yFvqqb ("DUTa&HRS^sn=5)h.8CD)U/eo7\4eK vFP3S mV / hZRIN)`)g)q'M4&w]1X GtR lRu0e[, j;!o|4x p/=Ձ' <=;U{CFﭶ?1XOb F?xEa"y4go|a>:usEq5Պ:se52de[HGlf ƁEry-K(]󖗗#x.N)Y;~+w}dj'NSdzy)DR=>|n ljDձO3]_Dd(Ux[ϓʌ3[wS 7 4Ȇ@V~X6ZVq tD7cZb0u{/-ፏ"m"_ʉ"bFoe-i,TY +y.yQ3]An?ѯ]_Umoi;U/#[Y uqeL~6}do^&_*LO2KPnY/=Cβ^y͸wY[NLt}uNRHa7Ek94j|-شB@c\tx)| 0jF zӯl6C(;"^W unݹ+x '5 e&]sHXɃz/ ְca']5Mp9mf!ߠQ_L?vQƥ!t&N^otD eLf!'3[+#h2ec8Բ hI,\cՂ_OrBЂ#d%mb"mMU[Δ:j 1fyҬ>N`< : AV1‹" c`o%{1_ݱRFE@t BXD|Q-gU̓{ٸ ;џ˂SyBRD}tumJBr1|^э{i|ψ•݀iA>);Qr3>"8Ϊ,vv XoHY%dPC.%Ƽ"LEE`*=`BoWOӏF6 p@7ymI@qFl.E_玴?= j\+|޽͞>^`04 ֙Zޒ2P` \A/i.Mǀ[e¥>"m}vq[<3i1vTJJℤvɛl@b+{iWH쁸֎cI LtNV,nQGO#ӹ4s95 J!: P \=&/{N12kfeQGU_0dt/%Qܽv>>+YϐTŚ9yW],`Z %S w!Z8Ή)5lH8i–7Mf͗5 ,"}|֦e>&*z\YPݱ61c;p+5%8N!ހdqJjl "O-͕xk(}T6_h铎"輦eggrd'9yJXP'~(9ס.D~bGV1X!Гsw pNJ<3^9mVޠ$d]<bTTg4lr1,әओ{0J$Бű8 rtzɭ}"qNCy`']5w?`se4 K+,wYȄ"^4g;WGa}};HNt.,wӻw}6h=l6C#+JWqP![L6;ペ;%"\8\j>6nzCGL$xYj;'( a}$g BAV? աRrs* 9"@SƚYOJӃG]ؑ7Ro=|;-d;? ޔ?sS0U{SO=ӆ²$' _P^ ! rmy KL̀v4/QvEk/2q5ۤA Lܙk, -B@OL5%6"~3=o6,1+`"djZaQeA`~h}GLxLQ5'9zKDav} 3sb[zD3X5~Mlk cCsy$x'Jެ ꛇ'0_/0*c:'Yav2@ٙ~`ǝ@IZgM} cD~) \D ĈЩPjr)Y0$}Ct/gwPosqMSI~u+D& @NEѿ {Y.H$Q t1N9I-w+Z⃟^r(kא[]D MYZW൮;~Ǿ)H~&Τ>2İ)ød6e8G5q5J 1,aT: æ.A*% !9jʣ .mӗ*u&^r7RM?35P{{Ja <oxRBFPm/+jl+)nݹNu_]<3#$ܢP0X5ΟڛUsp ([=Go 5Gdp*2HZxtnbN%qؐ;[oGR =i)oDhYޗj&7l<[jt_&^þY2IqU%2AR ]7%'x_c@!#]efƪ`_(lIGgpA`w\qב~(Aߖq`oL@;Yb`9 ].;Rt",G7m.;a$ 2"`>G}Guc{.o^B- e+;gNešGC i:x>Ė}LV[k0ijRBxZoSRŨAT嚩Cj|X`=Ѫ|2UYT|2 %m@ ^J|2su7|(=9*u~}t\tW2r5M4 m(4|mu (zճg}Y1"]Brg:Yg R;邯٪I(O0Xv EjL:G/5453sqSn. ʭ]t{}eքgZ̪l\)h_o?HG푹T9cWK"Hj?mཪ7j!XE3>!P蕊yr}Cj']|ˡnp f{D,J.턅5')T?~iuJ襶8pCk=$՗>C<", =[2i} mgw6̤eK@L5̖rHx9:Zхh#BjClj:W_| r|vuGap1wNVa{1SmTZ3r#jp_i(C -$1 ˜hh*E?H ˌl޷J,??z{!XHo OGl-8rJ-'_T[(GA\P^-Urv `@#sgH;@MՆHUk˜E\C@oJo/7ѹo9 `G=dXIRxf]lph3&-Qg#>cWU;,mt+QoL/i }a |ݡ7gvC?`]#m}=qp0MnӂQOcx|{%hŕP!uQx+t~\S ̽bb[%i~Ipҥ(ZB5AlkEFo4cjMZ^>am-¯+iJ2.n42(oqJ_NSz3Y%\gM*9(lP[ NTնvq|6VTX]3WO[Ɔůc+P;,'4v^vO҄m:<Sg@bU\I+YɒE `uF<~H']q(Y"= _q3 3 kFe{Gpz1;kc ti@6UQ51ho;Rwƙۢ~5w CoBD:j+혰>K H-re]*LW+#5BymRC <.0^_a>_OlsSj8?i_ ]G$F*>qm T'ccr*  5ͣ@&xtSje>2/ irkngKPd f2pJd5sz8a;\ImWŎO/E_=DzJw^=&.vyڑLw)8\CPz^2%=VЅc^]hw Ca-h*ڙ k:uKbx,`W_kkHx<ՋzOfUx&W W$/H:wTl-t:L"ϴ@~`_f%1VP9xZE`Jn<_vtk!*z$qO{L}^MhdCcvͺzơPxF#흉s/4hR~$&vUxݔE\_w!M? h}6غ<3Cxg7Rx@}1߀T!NH$9:7;TuGV_[Z(pTGe,Zc( +E oM0|B~mi JbtpSzoTv*ǥh)*J)i&!k@vI#7WUO=| p_,ʥ=lJ$ZrEOՃ驜%MH$.(!qc>tfMf3EL ޚu`? nMJPjhe vW37ZQnۆXnZ+̘ac.&<;XO',k=Uܽi8"I.@=KO>w_\D?poх({D}~HCZLrC yGekȃtiG_src*O vj'-s U:E2  } IZ%wwHW99)gp10] A3>neRQqasTT㾁sn T6ІaOXGAq}C$$N/nQ72GI! MORvFi[{FeQ]Pz(.m -_ҫaU>I4YI|ZZJ"BChEx[KIfU}4o\w*,]ZM31(3Cn}m7 C6cH)@+i%5YpbNf? Zbv:hF A:vw)`P>QjjK$):6Mf+OhqM07>qَ56jK?gk^Z8 <4 R}1a%f3"Πla ; pGwN0sRx 2y Ǥ,r9ih=W'F˦oC[Rfj8﹓[yeBK,oTQ||FCq^kNYwN.j{5>U {$G= H?ɿ%`Rp ۻ l_8g,~YZ$ץa!w`kyX0`v; tqOzRYEOru vT4NK1mJ d&NZ2ՐruBjU aa;1LD_~h{Tx0\ `xRg cVb+ۻ"@/~\Iy[m[ˤ1Q~P kfG^Tۢ|[X]q, &[BO/Cn7j~8#:F! 5KOvb/,[rXs/|dDZڤѪ-O~K-o38\cu]ipVy#_J'̈́&VO:?s5IE~r*Jӥ-P4:8+p7F~'g umYɏ4rpiv>P;w9nBE:`6b Pxl&".!# ۘO3%oׯZJ֊2dVK\ŕ /DBF됟..dQzY1Oܻo.Mx-rKoWNTknR΄jG7qVh0^9` lMj= ǁX{IIsҌ~1QyYcxzPa%ɉAijXtH/xI3!a`]/OgSĦ_Ҫrֳ̈nvT1ξw"Y0 SOvv]yMaXxh*2;ukGO;H;#'} xa׃\VLw0A8Nc# > "%n˽8Q%WA΁QPv&:٢*r m63Mp8ƫxby,n;L2*,&CTd'u @&&W{۴ Wx&,ڢ0w|ц-[өa"m:-~dj^ (Y,^X=r ߃MΩ_}I#ǮiF"f[9{!e]ſ" uSljE7~\~̝lW@ \HAQ[Gq&!,XW"}#Ro/+XaEM5m.#D&OrHUI>*roJ}t>44ץs=ZLo_;\z^F57F ~㍝;uVfcC\Hvy<-a BGma̿cO[,]f` 9ۧHk GζT?Rð 7";jȓt# m<7=ΈSɱ6Ѹ!1}Yƍ *pBtqs.0KFPvH Nw}|J50t19=S'ݭFg$կlXg5^pe2]tA!#!tòZ9Pa 0^8giRL~B&0KfI>:($:rSC?RKY!h/lל!MQ$gYZ3f52ba771e4ba5b82695632ba97c4ae7603f78483853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f 4802b988c17737b12a5c2730714c9922568cd564