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 |7 l ]/]MSO_Regex_Equivalence:threads=2elapsed=845.851cpu=1096.796gc=47.756factor=1.307zXZִF! q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQ~ಷ$E lyx^02e Z.pXX5,G~8ala?S_Ój(lP5͡wm Vٽa-L{=U`GNJ7EM%Nt U,0v$ Ed-!s"iށ S4OilydA濝blg@%g3m0~m^{y6ҥ9cO G>qՅڐr:Ȳ&'.X63%L e˜"o ;zrO?BVCb"6ؽ0d\"tvJ7邤F&7~@Htpa`e>D|*w{}q#\/Kht= N}̳n 4/polPriQjЋ>Jf#uWY$4^ z^!1i3.W?9־,I:Π h;'JEZ֔@](3n -W!)YY'L`i`!۽[RV}\W!qt${͘q=[3kUE㏏ MDP ܜ&]@~\7l"ğZ-8Rj{VY{d"(xO"#6/d(GyJ٥+lPXU,΄qGb9L|1s2lȸw2 6(7_y.W*\b2 ,yo(!9(#;3Y%I^~6TB전&'aD@ՙ2L%H7=m3"Liba%e4׍ h ՓNp̴&X"}_ IjC&:V O3vV039I m|'VV"ijV50޻6}1qgw_ښ\DČDA)s.v5,ik|P"$iz0 Q)Uu;R/b (N `z jU!܇%r,6.EsAZW/ɞ2,c VaH}-w8 K,̚706z5۹i2}څ6kEG"f]"hweFvbȤ`0HSPAaNf# "rct#qEurh+:9̗kvԗPuvagal#_b7r 4*}~P(t Au:S#(נ=As7,2_Q3v?9/eCz%~䒤yG._l/zzgv e:WUJqG~NJdKo-&x~.KꁜE͕!hcX^2cEI9U,` /~7 z#GN>BH&QI)pq Of* F 1kx$ڎzymPOmH)by'u@3`.Ԙ@ڱV4j@z*(Yx>$<W[{)&x5RdՂT&'Ǧ;RQWE(_"@H'؅O{Lݠ`*,mQc3.uWJiiWua1b:3>ΥgWrԡ[th{tW?E$.q)%xZ=d22\lU`gIn(xIpw%G4XzVSϓIyNNoCiZo9'%/9ɋjd͝*Ԣ ]`趇dԇ )y Q:H IsqEF*'45 O}Atě |Iws5 ԯW(y9enRH|( $GI޽]xQEz7řq_NJPD|4,?+ ڙFEs-Tzǒܨ\{}C媹#3{3aoɞei5.M$C=)> %*UJy篻(LS!ҳ3j:O^/<~B+sż-.a.*dfβ2cmᒈϝnuBݯ0 ,#xs&Z3xs½F h_ QD3Rm-} k[IWY0!8+E9z1lO ʱ4]ٱe@ |,czQEȇ9\}R萕б=u؞g1?ȍӴ;>cP$qXLE۵JOaKai$2_bv.,0k(7ܽ%hK6p"VJaurg6;jq~t nKsp S$EœL{Ss,FPV{BM?@Bl\J;0i~`( hr##ʒ qW` #team40֙z5i n. ms_ o%3n_y(#l6O,QIh362н${=aw^5Evuts!{2/ 9IEd?+@]ŘY`7=VM lKFŪ4Tۃ}u/a:w_^RW(XyC|Cn/Zn"`9p0TZw?qAgTȖ/5NPY,&PDl)2-)y6hv0ᦻw'Pث<378TC#̸sI5)&[Dm\u9hŸzbۍo# ]~P1?-o5+qVg4LDWvuqjrћcs"obB3|?HMuxԚ?! D_7Ÿ0z)7*9@-yvQ㼶]3]Ҋ5ARoG @ĽQv*iOt[,0G9n*fMKyDE!E}hv8#\[Q(/Xu) ͣؾHk0y찌塹f D < %5-IX'ڭi< KF,su#lO:Wh|C[ J $F5}[)\b[+;TƌYO"֜w<׫&M#sc풯9*8 DBg?}l|K%3x9>oCega%hƨgIU fCm~gK5HuzÕpq Ai4# f!MNJEFTFeܐYԁM ME@fiϤ[VʾT u8N.v^X-:3)#Wkcz_}1x  x1UB48}T:4 Cκ}o>SNo6ibuwTkʱ'<P?#ox dݤi!  }wZfۖeq6fĬ4a"VkO4" Ydm}UlaIM~)d Ycs2Wb˶8e\xKc'QF.q_a@8|ixħ7 PmfpP[ՄϜf񺎴kT)]xK4a}^]jX\| ]&.^#- mP\$ҏ[t_Z1T=BQSJIc"v(Ylט I^8xUSϷH̛?l^>&le|bBgH cj\/rɁXâ1y?0'FrrP TR$YҚ[ބeGwNU84Р)~9 "gu!@ ~hȪI)~3#dzgg򔂱b,W򋆆q>7uI.0{џD|> C(cUīhR#DBEUEfCzF07QzmJdgv>]m2sά8rO9GGUI xm=2M:d 7'( A\S1WJl<릸i6); RCHHFiT|6P9n$+'7=~Фw,?w&kr3KN^T ~ATbY `;JW5 n5'哐AzI@!4b_g(PNh;k#)83!s eio䳾Nj|5LQAI1HХ' K^[PjF?w?{$TVշaKRͥEDiC);["ס<-7c Ȼ<}\v8 jlEc [o;]QxS_du~:ݨFRM61U) l#i4􂪌!]U+ ,炭o;X:dL=OdpVsMn`orP:g 8W>-/xzFF FO 7,t#A,ߴ:Hxi (RG|ݯ7XXU>\A(}w Hv wULh W yn#V1&x\|ɵ;'\[7 "Y 0=z%;LG2> ~OrY(RGg$9Hɑ~*},)Qku K^V*'R\$ۛ QBU~2?4IHAu2Pp')o`x 5W% dl Q?M׭ܙr>- mG{wZ(,MSy<}gjB%PZzYy2eO[}S^{ -͔.JqGf`Rp;q]e%ЪڬvxT:Tm3ħ1սY Oz>)&^t|$5DPIB\Hm:%K^3i꾶*4hcJ#a<(+HoٓqOA`*㏉;ra}@BTHs 拣2'uNMC _؊ "}[h6qoxҊ4]")"P(WM#XJ!L@/`l_8H̓t۝vAú ?hDh-iSg )ԾRĮ'W :RP 2}z!T3>\p’f1;#57=x&f*ቖգMr9!I,sggjSI\yVMf.1'%vm6%ղPHTfWW351VRi]p+2Ig"`$"Xk|4~fWϝHDdwS0Z# mUCMf =(  418BPGW|x'ک}Ԟ-43}(9)VvZ>Bo'NoC&f&`hA_LٽBNfqmmf'I$,W92Ǒ?}#օ`{ f W MtwAljv7YV21~A(.i,a{a<ÚI6Dz*cC FR茞9nqq QmˣEi̶Mu#Jb7!h}95v}L_+:I$֍omf#wXmW9F %`>⨊0 )#~O(˚D Un=v(wjEggߴjY x%F$,%*pk:">FVOP>v_ɅS3MdM`-3.D'JIW`ZĨ-K-Jّ/oSN]%iqjHRЦm!*90N LmBO"ZDd`gxӳhRJ@yeoS:#\lU^$ ,EIK$ɯ?{N zP8%c4EMYS Eu(iId8BJ c j`YtCʉjZPgӐx8aeg6Tө%|1gq*v-̥ur%uq,'n,6ԍFֺ-bμ>ylG dxB~m2!Zv[\]&Qvhw6g *eX#2Ëv2Y[>ȡj 4x78ġ'?(]Z{}M­U,#ς&Z,j;(jp2!(9{٩v8H nyAYF^\8q\sP伞~//婖dm ]?H÷8_߇= w-<= @TUaH)bdg qǕ Ԃ)\j^|3brFtnQnJYzU)]| hL#^p&bZBC#^U$1n#OpR֡6ifGnA2x{^:w"Id!ySϰJN>zK8>\s!S <˜R~!.F9o˟bK)S%f s_fRI 2QOAɱDv<AVKr ``R)M"R@eEUԍ (M}+q ,(JF4"ۙZb3drAYPg,/Cm P9v̳<%&~phr.)8%)9X,qk舽.g𼲔u^5>G&$3"@7-VSd"kW@7Igʴ]:wEe x_i!yvXtw+] LĀr# 8%'h9-^6KU.NOcwHc:FKb_@_&F5U?;'< xa qPZ&6<6O+]2Nb F_rd?J}>2qBK퉜VDe=K< ]\D>_䬑en$/G踷mG+P B1yYyӿ3HG-]fjxkb?l ?cp 0 z^U]Ʋ~z%=WT$F$e OΣObVqs`x XEKIm  j]wPΪ[wt"6Ib]| &4ID;I=vEыd՘cUlfp@M%I2^$|*t-i]r\\boб.eQo[Hjq7=j|gqx V`>@ݵB~jҤl ĩÙ_ 0W" |jg!W i zj&7ѶRTpA~EL,B/욫|M u5=rX4_LZ~WB\^`ϻux'wlKb=֤}b][A6b5#g4QYֽ{I< (H QpF9INjMpz-أ^RG lcDON}q b? s m7H[{F};&c6;XZV+ h$=a֔'lLʅ5z5PQ);E} L͸7+K'RҼ F4nO2^<꺤Cנּ{\I:K[͍l<UF3;wYLw>,&shlvٿK _\gid"G@A[,6S d3PԣT᰷#-")(>W_ 5l >Y.V,kFd4عJƸCĂ z 0Rd38'͎a%˜3\f5ZQPך_E!) )bsV:GǴ ǰ(%ЂG&nԪ.p÷bZwK EߋY)wu`OKfew?5DP`< V# p?e _wer&ͅT>hfXr6֘G*OxY~ha_RYVWʌh洳rA^S@8HR#uA^d&?>qZx?*5a{vrw-۩s)- cɗXVUُXZ$|B %MR8բmWƨ h2bHq6/pqBgЇNtN < H{b1& Fl뒏hPZ- a2.yE&z@ N}-ڽ3*uäsP=v$x`, s36jL{JN4%B\|c +bjZbWQěާuo+d>PM)q]=w&" #cr/5:5p3̯?{ f^S-_k Z7wmڑvR'Fx\ꀐmG^h "o'wf>ةȡ ~FKAL'dm^[ĢvLu¾_D@(HsCHߦB'0 =COX:85^fqhəAxK09ܽMᲧURϷV3Sѫ]ϲпM.?:|z 4f*8^9*lL!l4!-[gA9ZO%`]xjLQհyOh4㭸bwad:8PɆ_OL*Y64g<KwKYq-{zZ凓nj87:wu6߬X)=Q[*۰,!q$7joha K,3[lp$ WRX{R8-@hlT#Sm(5g؁뙛B9X3*XIG\If E7#kw[.TcHt8y~,IxgP̜ؔ(*i+'Jk ֹm8}gd))+S6N*1VArF?ԼFfe\uD3CO>\`4T1{cv 2pOC9yjPs5&Ķ];2*pzakwW,,S;la0hB;ȾO>сՄt#[`^jjGр]&>!qB/}o-̬& (_պOȥBx=ϙ~&ڵtJhHm_Ҫԁ gv̺6'RMf~mR/ς*O1:QdVWe ~bdfM\) rdMy%㊃QY5-x/cR;ńbZ+P}"^ C!~2}@-U!/8t]%NsrKT;K~|i\t ~P50!{ν`D\@ْc%D JF[ţB>ٹk^Q֖3mc.Dhf4t~1c@=PYIr<(N) B2; 2Ω#QuQi]>P0_σ}ˠ7qRX52H9B},g- jTK65wWu閶x>猆sTJ7+"B՝ k6?%> xj]@YYS󃻾O *-fFsYر!(^̊U/C.@BƎ7D[rUJ([cjsp;Dtң< 55[ .oJY!2y!{9%keLR']J f{_:3 ڋ'O]r"m qȪt-M :!rQP @40V༼sv:3_,uY蘒Feڑ m~ʙT[ȶy%i$2*rmC CnILjk4 =~D5֢bU&(w:Va$Dx)˙ JV P ,ѥkJ Fxt:.$8zYeXDB #Xf#XtafZ'?X0 v4KqS)E8Fet+[Y;b`WQiÅjq6,[HV-k|8ͽv2#hySG0`YКm'pg; D0_SqI;C;b<b>@ @)1TKNz41a %Chbx }K)m~{SjP+?p3xiUY(E!K1/.[-Jn_qߧ2::#O_}Uڤ1ʼnw# ?jPR=2r<83q^afg(8[Nk=骻XB+qk4DeX޻q!5e|pнy$ ڬȅ\pʫo[nnRZ wY[YMj5>m_hң@ᵼrt̕(?|%KJ\EM:1Rv漃0N}B=טe#8/FݒBt}4i,CT)ߩ1q_K[s\A X1'qlwq F-De@l3ujZ f_R$ 0:5=&r╚׍TQqmaV@XKk\+o|uޕ1d4u9Ɠ0}؊ ,8ƪ}Tʞ"ļdoV(V41N,FEIrI0]ENQmV5st[Imh7mcI ϣr &,L{LtJMJcZ` 1=lY/v2[' |[H\O/&!ȵ(mGfee,IQ΂R8p>2"P`gZG+2..HۃW_H$ug1=E ?.-r5*ڐ9 (+ 2#-˾H^)Қ~p^!Y)+ٲ^4x_FjCqhX=ej\ GvŬ0`4w ]iGHjqYp(_Vi,";۟,7шAwr`gL JT[t _"V띢:$L1 Fw^h؀[dܾmЏ $x\KX&_w?2tTYc265ƭm ᜁIZyE~4ci*Kr4@babaXodSghB}Klr6gEd"j=hnDnL^(#\V¨XpA-!8D !T!Y^[)U+2N+ȇNpTgsVoyP@LƌZqƤ'&'?}V+ _?ڱ^h'YhfRL)96/%#Vt68.%rԠK{8 L,5Rs)S( ),_" |K.`#*$+³Y i `rytL@5Þ@9D{f{<8UauݿQx }|u(?598Aa16; 1ێt"Cyq!zt'ް@+oSMF]`{t*m=o~ @v 0y/5!<1B+V lJSeFr#CǏ%Ggxڡ,>q7ꓤ;)b8(OgRY \dY ޫ$ 65ip| SHP멊fpC3L&~BCZHìwz ~^;in.YvQ?O`MsM`\_Xk'.a1%^bH (Nf E(&!B7R5ܳyBLu3 ދro*hmߵBڷ>6Ҫ;het:zw!G{K]LNG`hQ%Yb$U:m|ےwv`A;>8Jm\Џ3л. 87[u32d\ S<'d״YM2 w8Hf] xu@֚ԩ@9Bd}qu} 5E.5[-&.|tdFlEۏE\k#A"!\J[,'vZONF^WM*Wl\p(A^"&xA3́ƚ3*$ ZRPCxZ/^krIcTHa柶' DU~{ Y.<E^JGR ϧX?2!TQgiHEeԩE iF@}ʎ_㮲/1K6T~zA%zqrJ`$7;w6?6"#Ό,*50jTSğ@Q$;a89s"@9$4s:aׯ^3rf.wbIá]UӜ6g13t wUzX;ILkGk-H%|I @|$k lZu5_+ zA3 `8É׸&fN,7 LpN>W*җ+ˮUpu"wmpTL7G|F ٮ[:[W$?}-tGbˈYgXM*J,_H6@LI,#g=pa؞d#t" ? QπԂTn.,^ws+Zk6xlij*;Ou+=Y\1qRzAaٓ;38-Kofo ,&]ߧ8Ļ>\m(m-G5mC`)ˬ2}Ʃ\*77w>$nj<(0/4ڦ Ex_ͅ#A槺w(J6_2J'<2&cin֣F6FKm^ uS 1=U`͂I1$ߺc_I3}VVB&iuI! F.eOO{aL|ķwRȾNj1 B9+S0Ϗz*rҗERO Af3xJJNx%przm1}9TgIanRc@j ! p$ yl*,{8^()6TE/4Zm%+m %PQbqIV\bc/;=[v*<v 9gx['V7 X<%E/[c̃,/Ig3 8ONjX]~Li9> J[I M'^2ަyզ8/k题gxC zgY3 hNk*ǝdљхOZJv_B\GW7,? _JY800S+[a7(LhTGâQS,^7]rXޕޗz+mB(0fp8 "tx73^ ў$ן=nj^ېwIEdztD7 .z՞GEKUH"vrIz W}BKZn<(sW W0&=t(ŧUߏ{"ӖKRg^HBs$ &dN9;ALhS C'RZ)!Ƽ57[)Ϣ\ zɏ|t(4el'901xz4* ͕ ڲ3 N]nQ x 4(}s!S! HYC_L#[{{/"X|/!t n:J,JlFs=GQr&ZF6&; =xY@H~ABɔQb?ly,EMà\‡,yBX TUQ;`SKµ:u7%P ':jmI"Cت'+C<878bZ(#aCf߇ Խ{yiOcq뺩֑LhdSU}uΟ9tq݉rHDhGd ݹVG?j}1B/Ir"'L𐬩 fblފ؛C<|^= <&c鹺RyѮ'ɝZqHr ]D|iCZc﷖=L,Pd >qiUϰ`3qX=;ba˓G9D>$@K^RAH-^:%Khgf(uL@C(n`w*(``Zl -b*B^[`N0Tr}0Yk<{+);ѡ\8EHYo|DnjC&fr }Gw:ʁz'RK*mN2Wd=T6[x~yWl#y% ab%1a>TTWm꭛639 ~Tsu2:ǮbnG1l&AD被[Q)AG= GJ*PW%Fѥ꩔-71cW(plgQkH3r"a!=ocE1-24@\<€IKkߤwtUiwoH@ƺ[l$F! 꼄b+\a8s"NLxAcX38TJNp:-2F`G{VQ6TNhrsxX8%JXU75)D(=r]]PaCO-d:T~̃%b;ڽF3Rf[BBǗ^IOrJ`sme}XU`T|. ˇ™RN)5$4&>8ӢPζ Lt- V2dd?͋1RPo;V ?0$͉>$搜ƒ,0w 9->Iۛ뇱IaӡH_Y]D:) :!l>cƘ:H! @ğ2r ,Y,1 iY| *lK4`mZweΠ9s4*ÆF2<>Ta9%j^c&\n^ej~Uྥr0W&f4 V047j= Y҃6eN+۽g9upiuz1&N徥߯ `H& FAwzkng v1R1 [)jȵ"DvX5Գ"YÒ2ЁҍicBhV\b_6L"|oElLU5,Z24'A$sIH)XH^μg\KA}f Q?Z.: 6MLoY4G-?s/78/M&=9GFd'1g.IO6\Ǣﭚ5;m<xySF7 a fo%; }#_+%7x+_!\gttco"mB Pl[1QVȣ\/6*]tk߆P7[p!.NF_jpohiVp`_5oa՞7!ܕ9>_ qIW\>&:Y8;MF1fW(,l!lW\\ЏZsG)IA^'M%SxK 1z^1DfcKP[ ׄMu Fyq_\Sf={Ay9aR{HS lX]cBIqc bۼu}0z-l;l ECI5aQFf&ELYzeVSJy!Zʑ}=D]M:l{L5x<2'[c~G4ϰ X' OP'uH-:=%Tz}y~FWp8FSZ,@?CERR`s#X^f拍\6r̛FwG lrw}YpG&LO*ϻ` JpL ' MvyJZ,'k,$=8hT7 ^ih_֛JNqSJ%$=2n sSOOJNQfWg=gɗdi4-o* C.T!;ZTV  8.G&$I6YS!:rAfP0npR.-H@h! ڸ |%'qe!Q_bQYQ& .EP~YӚH^:F9N紻t(hw6K0Ǘ@`f]ӃL͕#=\IX]7it/_[%7 "Piʈ)~DJa"r@e Q-,ܦGbA;)n sĈE AaWY¼YwwY{͜|B1Q[X_&`VRZۙa3ge1vNTgu*/Rp5|Ov"ظ5X.XUkw'unƉY`ƈ4fezs'EvMh} ?ԗ kBH@3u{+CAQOl:K67L^I{?*2>Ob?I2e VT$t;R ]Ah]mtUW^7W9tY|!gUj|.aٟ8Tm G?+!ڋ5czw:#y>1SLg,a]}p0+řq50(p.8#č1c[̸K"hy]UHQ.&~ki=8k.LW ѩh cR!nGdrV9sR@dk~'|$` /k漍6́x'1 ;c% PqgoJhOΣ)5/Gx0{x׍}|!nwfDXNp4/tշKe# `e羨JX^dO#wri?ݓLa;;6Rs񱓙Ͱ-:ڬ50y>20%X tL vS_cjT4n'qahѲ3dBVDR򟮕E`^j;_@g~$VN)wy/ӹ4C!/Cv;%>=0 ToghE{D?c%H o&nօhRLV4޵g l|Gm<_n ,QZqotX؀Il` f[9oexz^.=O[Í]vD+tPqOmE&pze%VNf"YChmW/a0ƉQo:E{ɘo{٠.ud%-Hcs`^iXM 3'5/0H85HZ[wyy<qXC;hmim@Ew w_΢' ߙ;$yBeA_M v5 {2c;N @wr[[0R%SYB:@K{'jhM5raQG| ^ AQa ?4W}dXBFmh[X]àSgz)Q3mZLD@$[3mok/)scwRAJGYտywa,X+JvH?R oSA؄ Si8Ӛ#UCYMofG%Fu9GkBC)IkÓU=[U+5UXG޲‹|hT8G0W\~ OegOӤYz;+^Hk+K1;Tzn亟BP)$Y ֟\`TZK*n*pֳQjsw.ulBz?j!C4_\YA5>]M <7[sB1OVu$1ueP]Ph41оӛ> b/  KS-h# X\+":'2d "sXɖVӖF("/l5Xe]KU2%>$eH hlx  VC@kL$J=uJ݌Bvf K} h9՚Ҁnԃ.OUV.(hT\H1s=RߙԠ*39[֪ȓJ ؖTn^©DžU௽^dA"5ٕ)+Nv 9}ZfNj:jOC(z`w}Ԉz%f)kXpfA\'̛R7A 'E8MjR/csS/20-#KM5a9ߏpمCCrErԟ@C>ʳ&%s;DPz4;I41kN'm,BIih1 ܦ(LT/B sy&чP "_[ häG& BPz5b@IE`A7,|uJ5kcP5؃ [H[֘S+=b,zx^f|,,ϫMofs1*PH=̖;L7g0$mfS=Zb[_I:g0u,;Zxft|\_.E2cP[c̔Mr,[Oڲ*ԏcY'杅DzwWvu4vcgT9|L/J~[ Pd}i$yzG,jaeL*] ѷ{c8%x斝qzQs+/A!kQSrk8 {d7t>{VSQ2#28kנbg|n&fNH&"i(L\UJldJ?1孤Ů |Q߹|-}h#[g.]CMa>!NEB,ҍx<96L˨\8rn4CBt-ڑ&QEq<\ fF}i'ȔߍFZ`Ф-|fq#8:C-x" :-FNPHV;2ŏldHZ)}[<5?wi:L=!(KFBgBj;BsisϗHg}V & 0T^0YFϋͬEӾed+῁>a:Sv rD5L2oa{/(\Qٿ2P"$&`Q3eﲁU25PCgm5F6#s v9 LMA)!RMV' lLPZMfZLj1W^˲R-M]YBQ^y&\ n4[=pt0W]0Bߚec3c%|#Y{/DrjQV+!Ĝn48Ù-Uf?ԗh1ZLs+sV)TmVT=PRVDv%vv #@}12^q;*a Aξ߱W="7mhٯȳT9C:&:\]Z@TG0`_УԬՍ砑D 5P rRLk2,hK .^o0:dF!֟Awej:.0J0b4%)\_ʙʇ+l3PSkS2H䠺RjoX%_ڇuhT:S;u!W'Lk0W h;^?A-OJ sbX>gJYvUJMD;Z!fgy^Ap^UJ"; Ջg귌[Wt` fCܷ(\C] ^DV6{|u)YNz{ m\ĆOSWq5'tz{̕DWfJÐOhB+d.ԂN=@+~ [1/{VPG~9;ۓ%2( f"d4 m<-_w>+b42-[cRĶ`m& d HY\ׂkZ5je^ D߶mXMCWCwz\{$?~nD!\iN+qQ:B~?ЄYО[IB~EmZf3  (IdSN7Q&yhp#SB=p稳YtnJИ\C,@Mg ظv*,]?ߏ}p͛bN(7[3BEC-2pza- Br%nC#*wp-jƑs|q_]T@s~W唦}LU^-(,ЭG xq3TO IHGAcY_ 1)#;4Q9h5iEޏW8F(~67!9GjH'ybH)YeHI; Iri# >!ᨚM OY=Lp4z޼3$Mj~_nXlgr3X^8 N=`CR4H\xaS w*hXχs<_׸ccLHw J(_Cڽ Tn ؘ R.!l냃,ޞ 8 ᖯ  ri0X~1s+4 vcMy:]Kp)YI@F{ntPUpTE+ܜE!B(*ǩǨ*˾\tPjz@{c>c# -fM ZXԧ;ʩEjoAgD 4 P/^}Sq%:=RPJj= e'"HEmM;0UnκJW׫Ll@Y: =clL'ʹxn:&-_KH-Gwg(Xe)BO~xR(#'E,IbYF.6s(9鹑aݶv+I,t2W!\ݘ^4[ sp?P"؛ ?v$sj^9Ih>/WػR7A֢-bɅ7We=djqMF#Nnh0H69;iksvң|S; PEed>᧐AĜs0X|n罚6$IxzIb9 Tq$`AK^@K#/|reh_gq+~T蝑1]FCx ƧDؕӁM3 5ΨJن(ݹ֎Hv<-J* o^ 2_XU?#acm,IV(RRr-gL* <>US\_ @#k9OjYWB>О'I yGa._9O#q6p+I\3;t-E] Y9Lԃzh9n8iGߋ]o6\ڨ9yU3x}}Uy'L `!ŹFB8 ^oL5S:Ċ= rIhW.  A8ZȄ#c!fEO5ئcQ.xD.`q!&h]ڴtoJ[╁]*.(τOTA?Py!QNCYC}' #bL9J) HRL~t>dOk#cq dפo.-\jӎFw9e,BhdLsz( 1gǦTw_Fo6N}FưzЃ Rk̋!6&ٓwEp8I6b]Τux6ki t%qo}9Da(U< r™or Uh#j}jmhxE Uc=Um4\R!6a^+Y)jcQuFvBUӝ4EOBlLvf HY|B^+Α${lE8-Fd3Ɖt(\05?BW+m韲/en9ͯeNtjp7wA#l2ݬ=WU5Uv#J^O?ePQ4W K (tME nOmd02"N?)=`|md ӵd ŕΓQ/HHX>qNAb zaSoL̢dsS$hc鏸hIasyZx0YBRB{06u!Ky \c YG䰊V;x]OrC,~ N^IN1':*zOקkfV8%G-qUߞvigRyQ8:PG 95R!hGt{hGyiQ'JK;*;Nts #-A9A"ft+ԅeFX#J=X sNїz(hzC*TQw@MXdKbAk6me*s&d-9 By_ Mr{wK7d?ॣŀ-{+M>K:Nh  7o0JY<#n> s8Ҩ}BI6ɩ:ؼN6*DP3gTWD^=@_KںD6տ$g g[^BKܭf2X9˼(GĄ/ Q,SmURಟq]co#HSRbUƘLqS|5AEqQ?ҠkE&G_Lf?^<mv7*jxWr iشg?$ x ߱ ƹ ;+la@87u V%/ ,=")@~K3u?vЯv)@ u֖{ {ވ=*^2^] &p1Ӝ(-4ꉈ BK`K~z !X6jųb_e0 8ۢ)s"u&ie~9ٛ1,rMDnB? 9b3)[EG: A1|[t^+׿ Ѳ0nmkd{!=jOV Rh40UZ|JsaIfAH*l=0?|GGHAr袿*wjzCnEh/Q9Mpsn^^:N:u"]48 8cxD9π=(<&>p OS#]tB @nj@ TL2,{x)7*O{I[ )܃ve =k ?@Zo}bǹH Ὼ˷Э!\פ}$ ʙ/Ϙt]1yCDaۤcO;eb>YNm@+֭h3̞Q%>\tuugy oܽ绳dM:#3C'+l(Z&v^}>و_w7k[2O9,2?+/j&Z2ɳTS*>ǚ6m[MXE R ܵ֨?"(G3dyNri2s,U4ϬɖXM/Qt˱-oF+NTz|CTsh5XX_+Ni?w n(Scl|oYzn`B1qb㼔ǫ_ OXYvj{F(J=yX7[.]jPo=7NE 4'-Ѻ2axe!̄ k zd.mpvDF?]ķze۝^1Vn/j e>͌`~eQ͸NVSoσ1 ,z&R!C  *gWET E|Q".R"dhEعgv\V1l!쀇}kҼ6ҠI+:e*Bɔ-?_e5]D0rB3\BzБڒ2RVIڄ5P+'؋ ]VDFdHJQV#AUk [ssw@XQVH4O>)dWYMCnȌceSe qugѽaۂ=K:5tf*},'*|`!>x-z<j{4W}D[v1b :Gzz31ooOY,S2(woZnO.6afNGn.e[J37&yRN#{V=iڎ`vY|UJCP"|h Z9Q0?EqC:ж&K%@E%K뀪]$0}(q/=Fa48x:e~X!D)P?'Tw?(Tl$DݥzL}w iLU2-&t)<^ٲɘ>( oB?ܻޟtBQFԍT\mͫsҠ n7g= ]uF6mZafIvLbkͨ++Ǝ_a8߂kh^E'owd@>oHCHmTZ @В.r;!*==3gPJ幍7xmK^%:ҷӠa,VFWbf+#w|xw_ethJm{GFϙ+h-JTlI#[ (8Uu 9:YzrgV43 WY._ѳI;x !(uK;-SroE-Lo\W))Q6p$2PXK(}Ӷ*`-ʈ //e-6s=ZVn5/ix0DZ,끿QꖤM\ ah'p7Q/}kݢ@Wע!"vJ9C2UD㰡š#iwJgJ\D*Kxtp n zab*v׻CZK<|V82qfh6{W*>ǦekcsŖRlƏX<h! 7Ӵ+C+V 4c2~x0 &ݵ>?Ftqoqp+Er[pr!GT&aصݑ0c~>@9W^[vQEy3z>.Wc'u4eM`8zvXJ7hTrLfkqwTtƵH#HQEUfT&C}8Resoztj>y>ڄ5b .VSuki0e;^ٌݩ7E V9jy; ?@`D'&J4`E Α )\;R 9' ׆^Ai!o?I%6OJ;J$Ql7[t~縭ޖ٪37[LHHkL}=";iP{͋ ۙ%)NӅF~tRnDJcy!.uI) )*6b[uVɴa/ .g@jyG#ݒ"8Ϙ/XqId%jc0J@M\k@F0[J (5;@ysJݖԺk6T.e4/`P;Hu_ XY"my7]\kI,T3P:۔8#&{s! u?ZeʢkP`{<SzN26"e,,KU&DqefvT~'ji^&$!15 '>` 8 GCyd-x0(Bec}Y)0P`9UvTT+Y&[6KAh(sS*](; ..-XEMc4;܇d3~"߸d9+~!lb+^$h/,%@j23 fkLEKYb=t`/m*v顊ߗf1h`^M$"g9c QÝ2h7F_l /IMI&s /ד PݫX _ 5!M0A!-#C~A\!G멪FŮw I2< 7F1]f9aiaCG`.J;sFvAQ(eb}%(CWv[GJȼ"ko7dMɑDiԫPIյtw]x\+6SfKИP&'F47CBшg|B8㗾uqXxN H>S0t&osFi`Ɨ[ku6zkee wVD^O^hTd0`{7Ds ͕Wnu 7`NAxrW/qvLeb6CgJnG}Oa({hʖKs[]kcA|xk@ E{kq;z1x%G.eYy4InA&>uU=OE_Y]ޥ%9;cN's)=-a]x!I͞W'.| zQ;)*eEk:a>ڡQ,@]v({xĎz z > &Lܾq.Ub9f0KhB8&7JÕpnU?sѨ@ZCn_^2^ӹлtߍZ&J!QCQ2 S կhNIx].P'U?DDe̺JV<ah9x:`ִde TB\p*g*WV:- O Qj\'[SnUy׽GI)(F1)lh8@($T^GT?bD} T - mX'# =SgryUBk-{Qlɼy5є`ƴUZ#DT8 忏d[8!U]Zm"?&T\ g!7;#4LL\]R;]:a'X.߭ARX&Cz.vLd?}N`PgYZ3f2be41f249663bc52c2bf69a44d8c1431ff1b5cd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561adebe716bf4f5f35171cd72f5a9e92e1891215e77c