SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 @@l ]]Category3:threads=2elapsed=492.308cpu=930.296gc=53.596factor=1.897zXZִF! oA]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~B""lCWJ^C/BE\AI蓼]Ob41 ;Kx!'b/Ӆʕ uDaFC_Ə4ȚٍLzpyTVF"~~-!1SP[$-xwL+ 5Uد$\̳7egm8i2kϒLdוk },gdPըL(׷`qE+<;>dy##d Rqѻ#مb OQ}Pĥ}qpr 09Д[/Z˓O8b zWkpw"˩6jX8cZb=@ƫ= %I潺H OT8)D{3^2X=tTJQ$;<A@WM‹ͤ.(Mn/ sA?÷u@W:߁RՅϧYg|k2chHcP)k'8{ u3GWױͼ(/x}TBr}U2IUylQji[vU{lh|pZ~TQF!nNʾ ip3P*έsPf#<*jd/`kUXX~nX uI޹'z .}?w疔=ĒY=P(3y"z)BosvJLRe r31/!ReOUFim@Mgq* 3|FvQioI"VC|Z[1*!OZOe4J(4ȊͨG:\K׌qvE*.ϩ)NreA ]7.PFIä,2m}bV:+qsω+[^j -\ppu!Y]hoU$w'>m/l,r<@11BFh?$xZsj"c3LGwpz&SB5sVDC{vXrjl&N#S nx{߂;eԴh9 EY+^;s['X@pfw f\ꓗ ޿niz~O L& 5>aE}OѨe`욞3K\Xj6˝}당uY)ћua:lQczL^l%!!]57Kk h'>Pjs?\j(8N_4 ]E5n.}(@*5[X4}"9FGZ}Amuh6.US͏.İuaqީ3_DbWZay!?V׌ӝ_OމΜa>4 twĠ`ýX"ou33:-_-;էQ۩biLc1oFFscSR9y3cAzu z.f,pMRD-pN-T(z#6~L~e::9<|^>](+ "+B+G$uM6h_'rOi[5/17*<-|$\`52A ;G6_~`qz=9^^o;x c +ۮw 5QJ_A J>%^tK'"[) #,W5 %3!)J=9p9TۘL\q   Category3  Fq/ x ݇՜x38I;`pd}fˈf*3YV)4=w^z19Z[Ǽ iѵ~$Jbw) "_>+ܳi ^f^n+'rdr6=->8X2/jջ[ qrc"‹T OcR9( e=C=L+ڀs.^WVOo3`sZ?|ü$HF:*wgԶpyrc8f"JS"$mƉ[o/XX爑**Ukǁ .BCT۩|@67yݲbA@/6\qw¿3R FPF^8PXpyp~Z O"bs[4P*V"x< o@B?(0(P.oH5zvrI/>~U0#[.kx! ؑ1܆DĀ$n[I[xw9BzԦ1%uMbo<Ijmk~IF7cmT"C'7yH̳we;xaVy;Rȷ5dOnƆO_+`]Z\>%b6͵N3{ͅ"a CW1[3ā%Fs) /] c: ü.+;'V}z9y8~GT699b'Ӡ 6bkg6)J}P.-u:;wGo/,gRT},2+GƋ3ϥGO ~֏m1ŗ5<i).6,wĿZ2oTlL rL{X5Eha}uRXg8[y}gP uY .[xzFPzg:nL7Piob#7j@j.~sբaS&O{},N߆>k$+?R ʾfj*MSdTDdbpF@$IiGesL:`aI1(r ޶c!t]OH0a & =:nڰI=Imiotx#[LJXm4BF o%&}Jm48#YF"7mHpKHu`)2|-B;T])xf.4K4Ci* n"[4z,E`.[`)>}];twcR^nJaclb8G]PvJcWYJ[,/Yaec.h۟{ Wz.!}>|6=W~@Tu54,Au#3F VB),2k8",srЀh RY$ T|Ҫ儥0RUgQg0s&a40Qzcnöv`oLJDo$;M_[~ 8RJZvY! >^*L82gb;GlOCXު'qfŠ0ܣ6'}XI8 ♋sx_UV|x|Ja*0+IE`;\@&v%3ΚVr\| oF1A^ڕK/c߿i, ǘOpqՋBX(GK/o5R ]iW.9/%iXZȞ=2.$2sh Jøz7 K(ZG̙SeУ*dJm#>=wj-g]{Hpz/Ӹӛaݢ$A W>-eLhnDyK , G ̅hZYA@܏x3$*7zSe8|cycf =!:/cPaC m0xlcdfWilFO$WG 9G@D9&]b;vr{fitچUm v2D`UHK)y}eȬ _zZ} 2m<-5.?e3hѸo j]MMRbSߕtz033r*xwSŨ` #"Uot?俗ǞkzBw=)F߫ o*D5MgupidJ'Rx ϦV>`fJ8x6pJ&{YpNz4W]ZIe6˘+((ܶzV)O7Buvb_sS CĻq>ZU-%7h ՅƐZ+X#Xھ͋+ {J0g|(0Qr-vЙ5e ;:z?Ɨ[67"xO0;zJ&,vcjsxl?h ۞چ'"7900h9 _;arixako\0 74w*mxj#$$TjP-w)%M L`E36خE#Q^(H[N1XK[s^19+;z˪>HuȐo'z~~Wv( \,<3Qr68}bR-X؁Pd ">t;mp EU$hboGBrqf·c lS V~qWPC{Y *Jq.\ <LEKx@R֕Y y/DsS֞*!`!g=^ʪ,0$ڨZ˜'0%fCq.$NKZK6E~ms7Wo1I,eh7, ~ad0D@s;#U[d.hsBhRЉ:?ez\'5[?WŚi,9#+қjdՇYaFOF69W;ס{@ލ)2f+IPٳn~D!5 CwuFk@$B%szX^xcZU1ųo&zH=o2qb4jqu[S]F~ځW2uS!gE|ƊeAV "'9u x%'4dn ~7~Iܚ߉Ԩ.bla6x9ؾ:K9x,v3C"[)l=(s;L'UP5̶j?=j{)UG. 8(q)]G[KRMS.3aA>[i&zTL\hye`rIy;͆BÝHmS>ARk,'$|Y8-FWyQuĞE~۩~lcvv:~l%>@ W-:!xu{F+OQWXc:k*M )1g q+%t 6p5#[ѹ YBP>B7|qVx Qm| YN#=h!d.Bw9e$>r˝RuV_yqDJrOUdRɆ{ha.~RW.ccRbG_O;۟e~%@xW - U &(v-6UN+ILP7?t*ga:AdWB`[cX3߲ÍI?wǛ۶ Los.2qC) xŗvff_X,jܴ; ٻYJ &٫.BM{Qd@H P{5_j:k j^`,Q9 nlrofC}~l>V&b$B{r{9M;<5pGׅ&l)"AUf9U!ǫ+,+KOS$IG[A@ȩ.߆/rFFRB$:z/2eg:s]IBW4N'/ L67ےh/UN F\Cv/#=X #YAAٳFL#><;TUuK|a4s6`O &Ψ|8Vgl i4E͛'/S'0ead[MV XQ`G"@Mve9^6U"N9):Rʼ,,n;HC^S_"6N>}~ٞ.@cpwOҕo mp FօIUV0tш]!5~M0z|. Vֻ[aBEw=!̩5k^D'9b;H>^aѷ?6@&_& v9*QmޱV;zQ^8nIX7J^32\iQ|˥yKt4npӧKr(v $l9 eF#Bq,ZR.I+j8V)ꓒoV\'"$m4SНȳe\Y[g6|̞,TԆ7wZmAe?OՎ/Q䪣K] Q5 !6m2Ts*A?Hb]YH %0m &uV×4 @H' IɓTmS Pxg8|CaRe7a`p8_2Oh#*k׈#gٸr@kŔwUh ‡sd"BskcZzF W0N43|hF E\.t(0wby\1Ll%φ6p~[sښ˄SLnQr@s9:$&I<˸XΙRьc&ຍLu4/M&b5FWcW4 E8'Pz"M}>R&*6y$*uV#DWBR˦ %_JiZRRXAj5M-!*-`o#jsC|ߊD59?^(@v|]iB;8+.\ ^H@5#Q ~v[XOl>;#7dy$N HZ瞑@_F<*0{4VEp)U3/= <ܧA8¨@-|{1=z ښc7tCkЬ?dA1~bC2@۱8`6)݉r^vzBo#+1z{3[X[JѣiÖy'tr&1[eMk!BQ5~ (j=uDzC.>Qt?h+Z>r[Ľx?闸=tՊwMI3jA!\ISI``#"0i;/"u >w #Wî 9`:PiϴHGouc0T|F#ۯ/{I tZ8^td'Ki@Q̓7kTZۦh/}w`*–&S1ޛ/6H*n\Dܩx(@,Q3~dT)~Q'=<>yZXSc[6: 7#2װ%ut^D+9>ɍwx˗+!NcQ3[b9^=lq@g&^bm"0Ђ qD*#ƺm̧ W`C"@Q.g\-6Y+S=$k{tBn=>':3Wc{/8oC` W&D &.B"i͞Z &2,;VZy[&iF=+Nr~ᇸh_A/n2%)u-kV#l8(X<:$~àB6|pX:D$cGb)՗6£ӐXteK2G!٥M>Ha<+DN/Hu<)@IϿ P.ӄ|2=<5@.X.`B[o<8B;'`8Z8G}IqTڅa[z2l99 !ôْ9hMFI~zj"O"vH6|Wjȯ?A/h}C_Ip֊"\zcҏ2=тnbV'p͉ϑr;>:%Uac6 8Ocd|Ϳ5I`ÔX]0rcXbs=jhj'[Gʳ=sV@k*ǏHP)i c7H<"^Nr7"@C/%E/Qvgb: ` ,zgwDb)HejKhFr\w~9dv,d|],yN\:1[;NM2.: ;`Mz֡IHzZc{ , :cjeDr(Kbz; ) tBӍM/P)6Cw$R9tS;fG7Y[ɿ!H$`?3`s/A*\ŀ150la,rL/c@̠TJzBJu\zLR,HNoS]~Kxq)#Prj|or g)LOF8,u և<6+tW8KL&GH{iGA3~XSUx7 ?[^n-,&UbZpJ8 F-)˲o.D4&2zsT-0~ CxaÓ|kz ܴTfš%(:|>'QyM"J 3  h)B]%SlE:NZNE#Y^/mF}'?7!=95×Q\ػT׮лchds_CR[Ko>A8}M"c@;pCmcdʼ$-a˒Nh/) Sw !}'C6t=YbNԇ]kq$&T} B_ؑɑZ'D_r=ͣ:<d +E]ʕd&Q1H4b]MYdNoF̡4^mvߨ +,kٻLB#oK#>[Kmъ$> *O?東c#X减=u}IxC:q"p1X]tjWGZA~Te Wګ/Z2'ʁcfQ}zi.J@wm$.N"LV(6y@EdQx 6I%a/j.X*h9`ok~PF*M{n|" kQ*aX*e j \1N%E1k."H(ihxg?:cnMa2H;@̀9R8(s0ghGg@R5uuY\,ƾߕ~%L67?fck qLb惧? \bm:{*F%id ;ژk`9/{RcT[=hMZbf&(ZWp~gJvZ^F߫* I~#5.c<-,zOLGSTsJA~_?/v>Ea͔o8 wxd^TD" R t%0ivoE34\]H76ݬẼθ7 .Z."n_BՋ e^o~$kR|F\E+A8N AbD&}U\G0͝K}R_ޒy}}T]5 z|;,;Ƙt3 cs{[;5ʠR5 mj[\,x*(PV@EBFND\nD!Ws;\:\1F#eEyex?G=%,F7ЂWSH $'R1јSTޢƮ5WZ0( OV6G Vh0y{kEpf?27hT9Q\QyJo*ڡ9OdD/8R 2.|v@`\ftsmd>GىLr8ʢ1Wmw|-.k> D٥:2B <7[E]attTt~3jJuO|ϴH ?MDQudw2ߣyt]nŏ }1h±1ؘ,9ɺ8sh Uom`Ƨ:&x|q^aK40Hji[Wg+×GxVca13gXfCMg5󉚇Sc-5R .ы &۹1T J}8cݟu{V+w'Ͽ=NA'/knȔG```4CaGX 0km&o 0(abcJA[.G_Cת4LHFu?6w%~SӬ+c=Or sgY|vD@"T)JmEb_J0)llh{~0]M.TOi#p=ew>Q(8^L( "6gb'җbcOBUr.C}Ϸp mݴKyʳ~[n!ڕ* URtp};ST@9'Zڈ(/7@ @4r^1 4Ex @طÿ}Vx`A8X(v^q07e2ou/?S7 BVRzht zMw 0Md{ D)6e{1s[wq-UA`#MA6FTc_jpcG XGG9jt:y^x+"Ԓ_DE٧KQm7(Hx]/%,Y&juUiVuJל_^dI)E+Yw'pn2OnN#O@:mμM-%?i>y/6>AUŐYՏ[07}i;~Q Ɛ.e#lw9`~:yɱ>YdVuh^`qr-ɍsV1bʠJy[ +K{ri{Lnrv(:n{ڰ[&# N KIl~Ĵo˅o=޷4Xb %k[pcL/"(RpH+BB5K\pXu' ?4fCYV}dE`O1hZMN#k#VXhG)|ܲew]է`j"73,]ӢN tbVR3>k$w=+dut"Y7J M! K:يkh9u5p< KAO>3HQb埓c;%}9 "=L8{:M0SFQzf]1oKn}WP{cKw(G߳K&\\8=3m|wd+eM˷Y ;qY5NKs8dD4( ؚoU}$ > gMmtu_Z@C~g"xێ[ 2/|8]^BtӌEfL]^g(27svp?gA<"\jO|LJ~}caNU;W'Y֔\ Z rK5pH㘿AhyhyB)?[Á]Aec1ȓA PX7c{ldWSk1s?ki$q5|"j^U p`HJ  UmAFKy;qU/i*ūaS QtGOƨI[ x+([OiF"Nj9y=w+\Jl-Oc猂iXV3EJo54Dp+g4ãWN c߷ {`'n7{~=nݎ'hxMYJ)G}Ew^!wZM(2HE[9CNQӫH*]zḿd▜,)@aTR чH2ϳl+| wX!=Q87dV3Z8\K1ާ5pj}`c۪VTFCEe`C}aڍrǭ>':S&po G#|.RE[]OG"c]jz[SQwj݌5+ř rWC¾`*/r.}Gfd/iwԏe+e!$Ě1s目ur0 ;0УΜ2DZ!EzcX &;w}v@O y Z&62& E(aYltrOz;ռ%6E=O* vk_,5+nS3Va뙘 iB mj zo%~߭NX9CPB&\,uj9]a9mBEy ҁ™U1Z9]-_FDH PT:%%$AV4w$L 9d*6elI*5NZ`5+,hwfhk&RPtB/ nEHb.ezJ>SzBopq5(<_iCr64h!jD.ܓ ^*K>j*_[>7;PX !n4f`S#;_/.'2:mёZ۷m5[p\B<_ǂo~p QkЅ-&GGM3%0zAF5Jl\TOq;,#85S Z:R/Q}S7'US4yP޳CQx+Fѿg4v>4/ib$q:Ϗs~w;Vh(J fA0$7*k_nXzoMҜBAF,`84Bn!0()FCSB"QNhme'o[]qZ>]WKBl[xw kE 1a+l~*Š|%klb5w.1 ] QB2g+821ovUpHȭsKGj{+ѝ},}rz}jR;RgfHɭޞzS::P l>8۞'Zv.`e*ZbXjOkPnU?:5iIՎR]d'`<մ=B*5r ={=}@Px9U2^9Zסw[Qi6=-:=Z Ǜdq{@QH-4FiQ.Α nJ˄XV )]i\Z{r\XTyfFc_TT GNZ~OD!u,,ht&Wp Mg4\M7P_h5@}.Z\>[6<ŜCm߼%'A$Uu@ gSvtAE{R xgqwυѽ۔0G\E*Th۪A^=gu/z'gDwD []IB x<)&0}YQY/Ö`i?10'5$\PzUa3F4λV^YW=~䌪noTao{ @!2x89s@PG8ա|TW E= @GٺkEx%:+[s5{gF1@%İh=@.;nrpi $ 8#^{Šh-^C@zߩO9׍gIbv7yjI>\ow:#R˒QS05IuO&%49O<8jvqe'S2~\+Ӝ4*)( l \%J):,'6:,nh"COa(ʶx=`;ζ}f 5"?06obզ6kC:Yџ$r*@X$"8~2BߔNuʠ "Poۯeɜ1 aqYp+|'a׷[dKFJoZyecz_D]<~:k@Lr.^~'CU@]~U ЍEKpǬ-sOU!OTZZ.űKBEwpE!iʶt08UGwFO cw{)>p liqٗKYr+l>dEͅ/4l0}wJao`C?H>H!oy|+Y^)dbi۰}_z:xPz]weqzGN5M %)kHț&|"j\pg\Dhv4Ϫ7ZAI^ %3vٞ_(':4/.,l|1-A8zo`|*gы8VvJ#s)&%ۀ;eaZjAܘxl yKe%ArDxK}C8bH|/T`gƂkKfzSc^C's>F?h,nS_(6V`iGЌܰ:-}^EGNGڵDAU┴Q4P!=a1z$R25 %U|`Хx:)eX6#Qವ7`sO,xyDמo] Bh\ h-]c(+MϮw/ uu+e6l}LEDm`Z9vfӄ 7e4^*[^GF^~֗XkŚ,8o~$SGr."!= UDC?w9XXTHIǐ2%~_[K%wܦ`K'h prm[r X ϮJ@ˎ`5[鐽!m-|fzP`l Lu(PCk-%u+V*65D~.‹p 9[=)5+gUo;uC?5l}Mt <>*+$n5Je X~q:fGNTLƽbUlCiRbwuV矕e.>xPb'+aKOxUSwI,F42 Kӣ`7x]JL'Os6e`!{& 8V3Q;g"TpǗF_ o$V${3Ѵw}At 5X|7?dOj 9\}g),Z[H2v1kR$83%+5S2j0\- /,BA |Hr`o161H0rNQI|mBB s W&էD4(4`l5@d{>(20n^j uLyb/AV+bBP H.' Eh'g3<k 6wۡ.Pn+b 3P$< ZnQs%h-)PKy)QSfl_V;d- r?bKkZ.l׳zmf\f/v3}dXu3pF'A"sY{͡X(xhy8jc ȚuZ ,_?+mNUG+N>lsLouТsCN1hOlV٪@SA]="lAAFP߭3Ko>?Obv40vH5iHF(/[G֕Q׏7H{6#v^r>[gs9)3V2inhݑ-0ru"B3Z ~];:}(чɽqjBE"Ӝ?ff$CCкipv y]P~#j62m:Q]#ҸQ ,EA2>l=mgH;pCNLyg5㐕d`>kԓ tCg!SGB)8TIy Dɚm#o_P,x,ЇrQ{RQ9 [ a,o9(VO͈}OCV#jhX PQK1CBA=jR,{dLU B[0C5/? 37Vfy~Ɏi/[ǎQώ;c{m0T²`(oxc'SJ~+Wfy/l}N(̈5*33$ 1D1]Ǩǰ3v^70[1?0ko+1X fcڧ5]x%,縎8/BGf}yөۍ/b͞zu ;RgyK[ċ}OZ5ߘUO'EVJ#$H'oo$W.DP>ʈ́Zp_'~Ri2< mOcC'`;mp$&D&gCN"1ꚮlm+Ch]R\X%CRR! \1fе[-a?ԁ:V"y _#m'pԗas;CQ"U|ڼ5b@dFm=7!KJ'9ݗO#T49^zC]-I*O(6'32v)?n44P،'6rPD~g Zx3iSFu$E&Pf&MiԛOXԈԙhi}RJ) KOxaSOBo> j 5Ê`Lgs$-:~ľi0zsU$4WrÌH nJ_aœ\UIY]%nuʟ=saAˮT)R t(ف[,k$)_rSa;5# B.Yd7˿_4(M't.*+ɷY؃,"@="]L<&-!}$PTkL{x2}zY$dRӗG@`fTt'}dѹB~k82[twMJ.ur<*gN7HT{"vqf^gSt@G҄f ԓoȒ&ix@6ɠ2h0B܂a%)? O}dzNDzy>此=`ލ>vQ—Wuuݣ="@2'IRf/ 6S56e\/Eۘ!S,TK\j鮂,j/t4!6'\xy[|ap[&ѥ `shB0Xx}lTRv^ŞHq,F%#29}|?m3yUaB["Ij}Kp7F !1@0-A.g*_:PdhDW:wc B{0`^O|UJy>)2 9 /T$H@m},9ZoIR7 ͷo$x\! 3|g5J6- Yd$;5\/xVƈ7)/o,N%ڀىT&] _Zkq7Ѭ=8F}>[N#X]I&y9P( ccgqY7@uk~e*h3Q+Ɨ4/S~See oI @I-J||5dṄI@nmÚw > -{%::HԅOza\Wl@$FF{ PI߸誒*gƤgɵF ESL8\wzLH 8Oڠ;_SbgYY·J+U]Ǡ 袖i鑻vHE1T ?`eـU3Dњ;Ef̔RD!%%Ȏ_+F]5~VÓtN@;)^7QJԓp+;#c,2lLT B|C~v8!γ+ɣ wJWD4!}HTek[`3J=$mhCPSΎ!ScYQC`FrLeJ+E9.̫ QK+n-0{& Jے =O6d] @&-N=9Ǧt HSTcE6\7eL"iIrj2 3p޲±*T5Q$vuaƱTFG\n;ãu=Ow!3EW%czDy߯8*f,U;Յtc!X>(adK4/͖x^(<%dћc$lLtUtb]ѽY!'pd9jZr[ąu 9,8. Z2aˡoc ,vn(~nhT(w!v>@cC9$4S3Cd4# 6G#6f(zI~h@:8RVi -Kv_])X@ NxN9ۅQzaɷ}ғޒ`dB&$'QeWkUZ[[, L~X>WU7V6abRL9o-ޯ"=,B)e_vWSX0-pADû1JVZ;d/Kw55xJa^ն#N'(tq$HI&6~)HՅ%0%8f24f|r,JRߒ }f/#q;@O-iM@fn=7LܺkWYoY]=+`q5\" ӠF|^(eK5IuY8 yPmy?i={C 58()Xlj-%َ}“0ܶ Ka9]1+`Ձmԧg|2$8%t#} PVP3!Gyo+)Tf^d!RFyqct1ҽLe" hذf cF̈́3 ȣ"/:I?\<} Y/apA_?$>*, Etǜ0ATL jFXL=ILB!QL/ jtem[ N о=n+4|qcjTz`0EOZt;ֵԟcWʖ%c@T[cv\i{ndaL̑|NɇU\浪2?SCP? A&}.>Ka^pN1\*wWV%HkW3LQD̨u1KJY-8,z#`qJxPd%3*1}<{>_lJti5舿u:C' ١,ښt\L ^Px+!%(k m18Sդ%FЭs["|tB|g DQ" 2y] A`dzwY3Pd0S7NC$1(@n|Z>xuY4Yz4]#ڈrII5Py%&Rrٷwe ȳABsÆbbuۈk?BeMQVw(ҷѓEb;ȏ.8gBE]>wQjE'A( DL:l}YИaQZlm(ԍA:P-F'ZoT 6MChlGq /l 䲬 0~,֘ǂ~``Wbmc'8R0 g@_b#ޤ|VBNZ"R:"Oo4ע=+([aƻ^xMK05T9La$<5GT nQ$Tc(p0Ue "f-lCd9O袺݀oT_G ešm9Xreߐѣ~K4?S>- l1Y< [w( T fgSYX'T\ˌ7yf-; [HHB쬈˝F'ޔI5YO'Vlrt[kW₵8nf)pgWUiNF"Y/-˒Um[; vD0eQx:yqDyу < '8%xEDS_9Gu{^T蟐d9TvQ7y g\D)7õ!al-8^sF8cί8B8e\t=.n@D -׻}/kYV!b2\/? .F~ɊudBG<4EpL~$I=պ2!'d%JG& {=EOC!OjK0Xý!  5rkSsCޑ|LJt(WZ-Q#ϐrфƟ=*-6Y=DK)4#*;o ֋͹+*CǵM9HHi?ɀe-OqpcoOr`%{֋t~k[~Yn@U]J?po,i 37grz_>0d?.( nHtA #ƋA3AZ=yNM&]k &Q' / Muxax S\m0ڰdP{sIݒb bW5]Vws#]cv".݁ rYZMQ%E5dsi{P7.pcDժR}IsRkS]h3=n<#ʥAxD0u+0i.\\e1Y vG>u2A65$^Y̗6OekI|8Ɗ@ )laφ? rT!\djڪhS _iō>o=Ajhs i)xW48ޱ2-h0oD5uK2ĚoeBXuM6ƈ=L/g7eAD{>ƑbZE%5H?&֬+?eW ?sΝGЊ.O ϲkL=*%A%O˒YEO۲Pl=0\'ɫDYVwyuNTd - 0S#߮ac<%ӂ懪@c@HowqJW8d(2LE:سDq.V&HZͣmPOq\e>&f֑-bIߺ$rW݄ ?ch[[XjBXC,v (SA8ȴJMk7hq8!X3͔"Eki'y h]5q?G{0FO9?YfZQLCw/!{w}}rtӹZ|8Q|iƄ!ՇzT >>w!^uwk%3`[I"otks&-;X{=vf eg&\Vd\om1T n9PsNd"H']b չhtPM姓T0WP\ ns\m>9w>˩%S}3ƜZ'c`$eÒ'061k ]8MbrnRtp{4|uYG^::X(~$! D.%+tc.lgkr䘮E֦&!B8u,r)J=eeyFZ T Zs V?as .WEox2+Mj늉Z_RӓN+n[ʫv@4g.; f 1ξ> &B0J;A6k͐3:(/t+qq,!ul9w VB;#]-G.޹&WC <䌧1L7}ߐݏ r u8PD 0#b<s<5^svtpL*7 iԓsny('za>gwsjV.TDC)dԝN:7Y7ܸܺ&SbL;>>U+oB䤺ʛxƌ4-,ӈp]/D/DģV;9Y㟪C.Ca~YdSթxD63<ӷ|L=</ jժyB2h?V/ϛ'_#mgluF5#L吥WkFS` {znm$+͐mC+*~c;~G LRwqQh>ߌUu9b 9~6g *~"ZJ_qHQ.5$#>$qc=a\Fc|={Jl{+Dv$3 7|krEl {'{"2:y&ۇ Qb9;1i~?%\vj^*eC7A %>3#p*~MR͎oYCe 3 JaQ+P DԵMY+8l.$AjGr Dř.;]'z Z 6,LW}*D{:ދ"]ka-7t*kL''ݬzad%ؽEAg:HOrzXhBm.^e` ҖXMh]?)CE5~MEp{usW*vZx1Niz 8(ï*si!rrA)4*x']ˀ8" u$Mq=! ׃_]I$/5Aj?HWu {oD#Bq>یgU|I@!|y6MWADQ解aſr).'k61^ J2 [Tl#Y"2)52ڎeN"ǭeJYP8Wn\޴ID:7!<% O5.Vnd̓_8xQR=O _ qUɷnW@BߑXhPԜ/a4~xӒJ~cn}[^ Z _lϤY#C$0NrCmpd!mnu@Ln]W+빎M kς~N= ,8e^74eunnu)ŗmoZby{}ImYޯV͚(b{vuavU4h|VMgM¿7q$Z+vq`5rZ!zו\ܹ:9Z&\TW{S8]#ex"kK'IlȰqerGo^W[d4?E[(9;$Xؠ_ZVie_3}^ wxЭ K@7Vu] p_z%S!`A:p0Ylޣn2I|캁D߮*%sG ALT/KΏO`$vpT~i@1< U8g#con&Zܶg?TIm_!ajY;P Rd;$!n>զ3Dpk{Q!Z;!0Eg9Ɉޢb* @RAW$&*_6^_F]`g+mIBۙ乖ZNJGȹx2sU\U<Ҙ@-Č>VѤuMeH%_LlH:Ѷ n`Ψ6΀Ӝ.'{r)s7!a=7KP0$vJg`|a^rpvSb_s5]7^QP%B/IFIY-BɃ(2o 1؅uvqD'~X.zB_Y˴blzlR^n =@] ւևQ^EMysf~s7IeDۉ?,|[ MP8Ӊu.&(dFð<֨>q ͐mĢiB wK_3ˮ}h0*#lfkm;C?Gkf;Z{"TWV}p5Pfԏh׌ѪhץlIS"L]rUZq :M4CR\C_ Judr1pbZh-ٲuP4+Ήn ڎDxL>eeMoIkoDH `!JhBIxz;[)Y弞I8:|G&Um- So sÑC) Y ޟb| ۱'%)QS_6me+"0@ir&=|X\L<:6扡"S^XoM$鹱gYZ7585471e5fe6928d4142c9abe4a0a03d22789f2fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9cafa70d8230a6970adb3413ca913d53f21f0e1bd1