SQLite format 3@ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  |'pl4 ]/]HOL-Mirabelle:threads=4elapsed=0.805cpu=0.896gc=0.0007zXZִF! n]ŗXiɟ{3Zy ND)&XG֗5iՇ ,lB]*gYZ7zXZִF! T]ŗXiɟ1%" jr&,-/۸m^1t=0r{:R/EW纟L3D"#ap]]YgYZ7zXZִF! 5@]ŗXi%TW =*' >f' UCY`Bw9Q>pӮ2Q>wњV5k|㫜S w$SLFf,N̯Hg.<jmbLth-(ȝI`螆=!j0b]AEe;#KY+WxyE,h_-١;f>y횩VCZT^IAj]7&MMd W[+٩3pUFYxZ=ڱSr){#܋WD+nR=x =׍ݓDlvʀI"dW:4u %5+l"Ju 8P2C>("xXyzȈVFDFiY5H4)n3޿I0A~_{"==5 Cﯿ*.dz,`@bd]+m | l$,.l@v̮Pޘ}PUHBBG޲>VGv\NT|O2'|>"C6b&Gϊ %(4p6 ʠ6S /pM?r}Q`"Fl.N.=ڸKpj VpgYZcb4131b977379fbdfc049a45a558201e1b3f38523cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c92c7139e75e6ff0fde094e320068383a49340d52b ' HOL-Mirabelle(';!pHOL-MirabelleHOL-Mirabelle.MirabellePIDE/files~~/src/HOL/Mirabelle/Mirabelle.thy ~~/src/HOL/Mirabelle/Tools/mirabelle.ML ~~/src/HOL/TPTP/sledgehammer_tactics.ML>';-HOL-MirabelleHOL-Mirabelle.MirabellePIDE/document_id230|'EC lHOL-MirabelleHOL-Mirabelle.Mirabelle_Testdocument/Mirabelle_Test.tex7zXZִF! m]A-MՋhvG"uIBm5ucbBߒ&7Yx,)}WLho%~}m CF 'ݿXPİ>;Oƒj*{T4E+lVXgiI3.jgS9XX}O6Au0M}ym[L VT|~S\JDE3þ~y4xtwZ<(w+JaTDqKvQT|SQ1)D}iaC+y~ry;' ]&L{:F4 l=&7".a`ji0Q́|88)&oe`2U? ݕS#" N0aM`]ш:VևBeN=FT9Q^ Ό iuܢZ-t~6(ng'fK!Mip^1b=U/sOHO ߺ|pCxv݃8W/]/{`MBE6 9WWg#UNg-CK[GbukҹWQ_TF*Zfѹٓ}5 3awb@m-K\dN?gN~,<$7= b?7.vӗ@l+=zlv&\~ t gr`tjUUD+[ By6Op/z3va2sꩊVIIrݒ4a$ :?y}JQy^S%.TZ7m. -*J]YA xb;,Lt\F+u%΢މ:g3F~":ɛȳh8`c/k9' O1 [-3vPUBsĘf_hiܪغzc0q4;ޕKOҝ\0@йyl     :a) s 7 G u<'E'HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/messages:'E#HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup7;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup6;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup5;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup4;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup3 ;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup2 ;'E%HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup1 9'E!HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/files ?'E-HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/document_id 7';'HOL-MirabelleHOL-Mirabelle.MirabellePIDE/messages5';#HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup6';%HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup26';%HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup14';!HOL-MirabelleHOL-Mirabelle.MirabellePIDE/files:';-HOL-MirabelleHOL-Mirabelle.MirabellePIDE/document_idJ'ECHOL-MirabelleHOL-Mirabelle.Mirabelle_Testdocument/Mirabelle_Test.tex?';9 HOL-MirabelleHOL-Mirabelle.Mirabelledocument/Mirabelle.tex   5S$$TV6p.%L&׵ww=YkMn"Ŗ.r2}j${O}H/l}؂^$~$uD $-dPoHBJÆip>!nJ DžK9$᫒;ZC$| Uܕ ).BW2O_bɊ{BҼ*N ELb1CwlC$ O z6wKw&U٪@vXyDyQα"sL+E&Ұ-bbu}Cў[{!>Bd ]}͞xq]/gZڤJpD QKbN.@k 6btHPI$@&'Bu8]8>΁|3E{YÕqQ%jĸi)SZaE]m+Q v0+4+eC{z֟]L-~w$EY,`dQ0$L48X>QЮ`nua 9zx.܆[,JHÏp;=G bM~t]A#&Vh;f6X{lx~,d ^=WτiSQD2R#'pDVrek~A:1FY Fpňʟ=P~@TyIj$x|Y`VR\‿:`^Y|ɸAiɨWTwnbN zlXNS/]!׷SJsdסr9DKQŒy -VlϮB%> МU%r'jͻKCEۥ*J{E=4"sszS[aW#W5\]gx:Z V')=d֊H}ǃY8!=פg Ѐq|a{3:E1.՚`ඇӍߩ V 4vu}휬-j?~/$u@kH*0aRw-e51͇i Wމdֵ)ܘg*rЍs <byʦwr_S[g:XnE$ [%iW`>lSJ*4YhE ׎U~Юc2&ĶX_-)T4_PoHބ)\EFH7tKdM,Ь%TQPN8R 28&W|ٵ(t؀)Gjwnh#ļ%]R0Α?\C^C$u~f.D3fSgʀLUSI"QO#=8'EKIF@HIazxhۥ@N5%c2RGqzd ຍu[n)mS7gr&|9߹EhL#?(<ՇebE#p]t $1BŽ`u'\6u!~b-4{ILB@NnmIA_!3UA _3YtDؚ#kM݁/R CWS5IN_ω` o3aɛCl1@5oW3c:G#mn߀ƥ\O{񖢈%d![wǮQ6@\5bP--Y=n+Kf>"&Fؚuk^c%QgE *JX -%oeu(xKD>[y֖vjMs><vńLF-oJA(qۓ#i"ySK‡!2|94H%UNW}Mّ-BȼqAJiP@0 uz +xFkYVC#yChx|Hv뒡)YϏ膬Aj^DC7l9T.d WUVloU,^sv>r^S=CiD_:NУ 43!h@8|zJCw( f[*Eʼĵ}u]0a5HEc)7Z! >7b2 x l4:3爒!C1Q[Nxi(n*rcUD0 q O߄k*P*,##M\8qgb;r`#eX={hܻ~Z HGhM1S&DTOhz~XJ])瘄R_LM#_XS62^SDsZtkOH>F.:79]"9+F"}W~4"qu 9/T^±qAisiA݋G`B"mLrV o={Iͬ>5z)֧WVl6kl;O #R뺽<1߾+YVz84`]Ȣ5`q@YڌNUW9;꛷ Ϻ]Q|K%<>zn 7 E8\6j\]7C _1  @t$ oM@C.{dSmCk.g89.$=u쾸4jAN}|(>g1V_VПԾE) uIW/?m(;uxn6Icd;q$,^GHÐRmNB՝Xv \Ȏ(Oki#=5,Cox=宠œ.U+(T`* l0ϰz$ kl9[g;%,5N$؊jbu+!8`AR${ᆀg5k{ɘXli?a8^+ןSOW%Z/Xqd\=MW׸p_k!bx|*x7qN @_U ru,!)sJ@h{ baz5֐'Կ[:l.7\QMGJM KmF+=s yM=ٛ< KRM2ԒXVg vV7'(ZVqˌi_BJmD%ѭYr2i+roIrj׎_K޶s*owI/4O=䕦cB!](cs4tv< ں#Wԇ⽰&Ј檙abzH݂#Ѐ4~VWT5%aez=NJ="&l=7:&@f[Si[hٜ*A%1?NmZ2`?4MXڄ#AuP &eQRpÏVV'郎utx9gkoh#J"牴\6c`v4&7wXte0?@)ZHdG*USH9 84m錦?]1Y.5l I6%Yewbʧ+gzoƸȣN~ż ׋2AGX'vDb?סjHЃCy)-`澖gd[^Fo+>&gsd#_jEnY D˓bzjyPgY=@滊a֙8KJ2 ξr?᨟f]W`٭8OMQ[1]RQ@cwwʖHORx4Wdiޠ0~̔ گ3ro@ /y,Q᩶6|thjdRU}ow}/(?&b;6* k!gSChd冁x?-F.PzpH7ubLKǝʨ Scx,)+yWs0REhK)LDJL*)Ӕ;˔!0uOKa @㒥lיT\<=K>m8mr+k~Ē{'m.ox][VB"`4iV ĻAC AAAR u`GLr ?Seu>4G):\gRucKaJZ7e탌qN  IC[[$"f旉uѺ"?.+Vr4.tKj1u\BW967ع`z5kO[ؤ4o7œY c (@zV}=mFQMZDh|f2Zݠ`P{]_ 5)XOQT& pbeFE4$U=.U@_I?i#]r}iB){hTre519\BRCREѓq2jq%'.yVp;ᢴYU|OLbڠJـA ˞!0*^>3w8ҫC+ype.Gw[k Cij%΍͝='O(j`p7TPS!-v%#[|,46LwטfT]F䷞V\ŋF8XkQ:b^O+.Rr!f^4;3EMcݲ\ %+b:lcn"fb2ji70?f\׵| wUW5?QjDkT5hBWgs4c0Oǯkj |(c 1HJqX^K8p $;{S%ۑ'f  !O|DaC<8^мF黆 o& sh聏qc+sX[pKzD™q6*ʀBՁ۔gONk,V*T$ ?fX|* Q1AбM.34z/{hu>$W9?Twt5J%b%p#)'ݓTnZ5Q|uP-%ȯ{&jc_YC^l_[-KqE&;'zz]` # wcw2[ >k*W"36|_Z:55m$ i2 lQG>y'Q4Z1rԠR \@4++S 8jil*9Vv"4|Jp)O%=2?#dYi?k"H (fyZҲXV?V}GB_ҀɾXOāHpZޠYwytI7Ҧu[q]`ϱaP} V_a!pa%XD[遄[e2:J9 #W%@=X 4O`zpx()!*w/'Y` pbjڮN%uq਋&NW~=wgjj>&oN%$kC/4+`> ͌$Upli&˶or/3)`wTTyKZDzw 4<5BKr.wϯx3XxpFv]ڍRinο\ h]`wٽg8 ҿ(A`A;e5&lW7u53Yi`fwXh`` J-}< _W8Kf7P'1vD&^ қٵz\0*_@LQmZ (,ZusNhܖ ];.RFmB\BKI~!|kБwNI=ǎ| k3E=~NjVXnnhLO9 A1҇M~ }H8[ } #ƽ n,6K^yBt꜡-c܄a[*:e= 3f96ЮbDY>!l"^`cjQҊC5J1ٌE멆B3GTˊ0 h3@oMKX]ZѯXVI*~PN#bUzw qe~䶷0ګ8DB&]";S>-<+*Y4ru:R7OCMz+9v:2T`^# mܖ~LchwP 9w ۔l9oΈi/+{IEbm cֆ>Os=\]ogYZ  M 7 8 M(';!pHOL-MirabelleHOL-Mirabelle.MirabellePIDE/files~~/src/HOL/Mirabelle/Mirabelle.thy ~~/src/HOL/Mirabelle/Tools/mirabelle.ML ~~/src/HOL/TPTP/sledgehammer_tactics.ML>';-HOL-MirabelleHOL-Mirabelle.MirabellePIDE/document_id230|'EC lHOL-MirabelleHOL-Mirabelle.Mirabelle_Testdocument/Mirabelle_Test.tex7zXZִF! m]A-MՋhvG"uIBm5ucbBߒ&7Yx,)}WLho%~}m CF 'ݿXPİ>;Oƒj*{T4E+lVXgiI3.jgS9XX}O6Au0M}ym[L VT|~S\JDE3þ~y4xtwZ<(w+JaTDqKvQT|SQ1)D}iaC+y~ry;' ]&L{:F4 l=&7".a`ji0Q́|88)&oe`2U? ݕS#" N0aM`]ш:VևBeN=FT9Q^ Ό iuܢZ-t~6(ng'fK!Mip^1b=U/sOHO ߺ|pCxv݃8W/]/{`MBE6 9WWg#UNg-CK[GbukҹWQ_TF*Zfѹٓ}5 3awb@m-K\dN?gN~,<$7= b?7.vӗ@l+=zlv&\~ t gr`tjUUD+[ By6Op/z3va2sꩊVIIrݒ4a$ :?y}JQy^S%.TZ7m. -*J]YA xb;,Lt\F+u%΢މ:g3F~":ɛȳh8`c/k9' O1 [-3vPUBsĘf_hiܪغzc0q4;ޕKOҝ\0@йyl@9Z^|GkgYZ   ';% ,HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup17zXZִF! .]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd:Ճzx3X?lbyzjմ')7Rzq^w~pxkHW(isH5^9L#Ks=9I1<ڍpo9J8Ba>= js>[e`L- ʣwO _vɒ5nV`O*ENm ZJ)v7iU$֏Dz~_#ܭ~ASK+_$U4·2w*2hk&n{Jj*_&!O2W^{_噧eX0w*s'fLjˋnYy77I*ņTxYjh9,RunQ^vPy!RL'?A[.b%lu+M,mˈmb ٟg/Noh%`rT{ J7Dj%o^)LZh 2F qG YC3ٸl5v2JYՅݞgݟFcHs3Q(Hpp(;)  uO"M` aX(s[C.>ŽhkdIIpo{;_Ԗ]9_k@#q9@@ŀC]_q'H1Uv6]j^`VF'&-cm]r*RZ33;5zmd:"R<5Ђ; {"ŽPm $+i$ݕe R\Hd*tDvu7 I`]v7ʋ+^Y>a~ZX8*65 ->&|D$BkL|rtrK{KQReh?"A.JSv؃XtA`N^.ԓܦS7IY&Wg G&;FK/1S2%5?Kb+ۦf4jH[ޱ-~}"eu*ʈJYd/ 3ZĩO Gɲ-tx@ݻ4[g@*4f3ؠ[)o_JK ɦºBt$}ΑWfAr|"GoH> /GY:ܷ6 ЮMcԚ(Q'9VNhԉjuTTC?ir݄ׅ fR򗛳ari{I#>}9=Ɖ-*|kXzJʸJ6*屔 d;=Yf!V8w%YsC/fjΰ/yRh #q1J!6v3i#Q,G&։OJi6w\;v" N3]cuYefzHsw5]G6;V۳Ãs%eȾZ7EHg_XVr2ODV4]ю{P/uʻ y eIkoݗ .k)kN{sl\>Ah$hU:-yb Ni  ?3OpvZܖpCZatF kf0 UON|jVitM9UtlƐN=͓|9)ڪWTDe Q{݇_KivI -cY6՛~ܿ(87"-ƳK# obLq ^Ktn^DsR8`c# ZB4"t|:.6!wQmjuw.= RB=('.p1guF3#b'<%Q7 jEI.SQp9<ĤoTAj@!\ U,9'9d/~Y0F ͗82uWJF4,S{q_mxQ`>6g@h UTDخ:>ŤWC칕arrG f'hBaV{ RjV*%yY[z]OS2d pKJ2?=$*Wd%HNkxvE'oVY6?> Q5q`|XVrP0޳eтy{I|d%CdmأnOƓ֝#Ϳ5Olc<:02!s F4-Ҵo_nfԓAdTegZIOr NmX?~;|_DҀ%{!B?@^NEZ#K~9>,KK X`s$K@9m< f.'P#~.rqӶB-rR[%ûdJC}n8VyRE|ƏN=*Ø=[,zX 5>ӛ~tº1E1vin;?SECc7PjH~,8uy|`i+X9Gb):j2a~, ,%g>"$M?(0UǚGk9~u'.}'$oЪ XA^ D)A=%O8ﷱwN17J)GOl9\1A^.i٫ 4vFE)#m57f[E J(37pU|}:M*;ö2#ްe /UdL؇yBC\qߒs.7l/}g f5mKSHPG:*d<ڌM@y#,R?}l[,(DoPzK4g2ДqAMwI* S@B䞠NR.YvxO/N4mh /Z\z`viuhmN Bsve Ѩ-wË2fe.DdyqL\M3Q֞$ϹU_]?u@;˿:AQ4 rUљg_(Z|%y?Pb*]M[(__r<{nLf^?wP^fI{)$5m~a}o먌Rc (ɹs!,Ø8j+~ӻ iR$]JȵQ iTDNY\e`Me hV"T}M KW| X9o i8 :!|xt&+. סr)`WE7b zf0`a>8@[N۲pj{9H.ID+nImd,>6StzH%lI  EkZ,䃚@5|gl #G"Dn]`دf)tuqUmjeP~FTS:]-3P pA侉kD?)6*rG1znTr9_X2G5ZA*ګFő[(G.:>'%⢃pROd>fMQc@|Y(ʹr7zxwRTO@᥽sexFBA1%]$JIM.; 40xAݨe~'֒׀SU.̻IG,s@](T"Y菮u#v'4`C˗ła"h#<J!n[\bS,1:]tF/0v8֚Rf7N$=OytmˆwhD^Eѕ<[q|uΓ֑AτA|]Gcu0 w~f /&6ĸ{…&M('-фAʬBB/~_}?жg+Ntwq?1lu]+c?ۊMVurX@le}0n{ӽ";]th:#ۭҰXr,͋_FOqHFES;-dukҲ' & CبY}^u2 f$^'$ M`,؝7SN_ҬqKDZUp>1.̈́u_ zCAA>M`dhiNe )|*ܒY#Zm 9jmNA^)Λ2!_N8,:e@|>_Ӝ/CWu'5;GsrXʇ3Z{0)t?J8آ\5ː +B2a"!p? fѾ6x˚_ ] dv&),jaiCAR,kAXxg =~oʤ'ta zݍZoFo#O){d(GBMq\Ɇ^z޽ƽġFg^`."fr~9&*ɞY:Š.?vZB5:=Ectt&I"Zr~cҏhC *s< qQ@ֳȏDCȉ9PA9@!_a4Gg`݆{5I#RU"+`xЅy@WʔH-thK/…A"V~JƝ wթOi(KWvy5b*J Q?˞aljkUUmE)2x]=GG{~ wOi=\|Sve$hؓ9{S=X#g]s5Ԉ'Q5@oI1/ IR6GN[o>*S*L5=MJ) ipI[4L,Iuq<-M0Vm7漽CJN ?n>y7p::KO~ zD50\IyD$@M8?= x%3<ӨG:确y<CJt f^%LgYZ 5 s;5> 'E!HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/files~~/src/HOL/Mirabelle/Mirabelle_Test.thy ~~/src/HOL/Mirabelle/Tools/mirabelle_arith.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_metis.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_refute.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML ~~/src/HOL/Mirabelle/Tools/mirabelle_try0.MLC 'E-HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/document_id2325';' HOL-MirabelleHOL-Mirabelle.MirabellePIDE/messages7zXZִF! 1U]Άxʆ5.f-9 rq9m6ɏ| 1eh:VAjB]Nzw,7^މ sphkcDq֨j;!o Č ױćmqb{N\Y軦>I3'^4w|k:xYfzbZ= KLV g] gU~N:K6&kc>j{u9w2Cv[lp?)1iQmh19Nܒc&-?/W6H &1V<%KNVRqBah o;jEBvźA_|gː '5odKފ֞4wDko7!^,(D l)ivW0 Pen׋I 7BaS)f RaC<]Zǚ\Rsr_xy0Եj/rX`a\!~i"';X2怷GQknMe6_-=gIu2"mya[LJ={2$@zM3\r/Cow"}ʃ#+58jX['@/!hͅRӋ|[:,hkG _/܋ǂɔ+BQݒ?mA*؇]ȼB]'Lג*){5cf6r!xӘHo)8cJ?s:?KŃԟ(ț"nI+_a=LO@DKCPxhjvdM2SS۫0k!n* ÐW:6p䚯=X܄gkJk8feQ+pV& #ݜWW,#u/ٺ_Min0''TK_Ŏ`~hZȗ#d]i%-sH%7X_- OV4UHDM -O"WnE˾\},N9*ݽmjc){Fb׌Mw*3{** -`y;ʌ K !ďsj^:ociJ+ L=m9_a;Y4nŽ@=(2-YE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>4BCB/<+2c5Kpvu*ɑ$n%R \W([}+OoXġIWڏbYRKfp38೸2LnNG}+jʯ:W/U0ѮX@,7;g2j^#dnE8Q Ht#tp^Y %./ 'Ecǟ@mq-{}tj_. 1~8ñxl\JϦ@r ;Ԍ|~zc\;d +uA#d9 WHTg+s];ic$G z:!~a_CÞ9"MGM5HhIϐEF OQJkl>i>7 &3ӊCr yu_T|%*/ZOױZS^9 #pVn5>/TAET䘩ON`mRqN+D p(tA1X$tɍD4~-cCK|!bTE%Dl,2  ! 'E% THOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup17zXZִF! :]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd<5 fϭ=ދE,b '448;KuF9(qlm8礑I& ؞~hZ#{7gRnǾr!fLV@xRD:?|YΘ-noNфHYztwI]$G%d'MhBޢ}VF Eyjn hN/$Cعo4uy誆:"uhJߌ4ZG3wS]pS.p\mPqۥϤ[/_-F|O&57u`#+"K<`O |3=3{B?’G9-S-*wBu hxo:Q6r [EQz]'iz{W0|v%0ix^ZF:a}L(6 A 8 o^!{zJ5ejrBb$Ǐ3CZT{FB g0z5w⌞8 .m?lTo(|WEx \+ARu=LDi5yU`,S@e4Ko]}KM1BDS\GATҸuh"~2+G5swqSQ84Ow>-( {koѯsGK D?жJKSto"X {Z;~,%HbYKjѻy@7J8c@Pgp['֮vk"rcqڢ*=IN$ y<]`ڥ~UoZbE8˱e{,;yR|0}hrPR'nCQW 6h'Q4]8(8"#u4> 1Z>©0 i9NΑݝ\}?Hտ朋)T0(gt* z~p(?ӈudLzE /di.*ה<: jE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞BdE|X2Fek54;f^Ҫm鸼d@x[^p'(@iJ,+sIDF$ y!} ^eK|͂N8oc[!0[7Z7,Σ>\`A0y$1u0́.[lSlly܍ N$?|vO!FCdnR ?oZw&4r| R[ڹ ӎ"1 D|{ (P12em|ByjxgOP nbV5셈2vBKݟcOċ>]祌gP\*~M$CF3wnkմLfI<6-ȿnlA&2^=GJ/ pg{w1uM׈Z bK}wQo?hL2 )>]%oIIk$5fſaS듡K4gZzaڜxC&`/0_c;EuTFh*_Fd,@Au .QD1,XIߖo&԰f:&aYJ5`tD.z? 5 MʵSLXf8E&R0ք%B)Wb!HD^~Z5Q'>"X844ܘL)hibMݐeC=NQq.Goq&zhᒖ,62^JKr`6g[T2/,(@/c ފ8g|¸FUExRβ([L2'oƑ4)B< )B;_@u\mi9ׇl7z#￿~{FG:2ɼ־q&/>莱bexi`YVeFyܢc&!NIj]6:n Tr.+:V3~e 4ѷ"Xx,3ݿ  QPj#='XRh`._u 7~Qۈ,͘F^l4 1uL0<.لRrVIl5)VY./ WIkv3jp.Kmzs@5e׃f4`"|@LŇ'$ HdL(^i1z;FNlpͿ:`э{a_#hS.]Nhqf"Zժ"b_"|aA%'6IE;>י$pwT88`%A&V[5v,IZPޏs$\e{ǟ$s{R!!-u3 r2z H׮b%*gL-_mDTAK+$|i}N'aFsh\{p*<ŕS,>|_=v,2n/0++,YA_1'OZ4dU, 3AQN DT@{Қ.02ӎ@Ez glhߠVXpQaR:Src\n\IBzzPi2'n,lA T\X3Ym)״{&V吏%&x֨B'M]G.:Zi(cj;쩞EJ'5)U媱lgKU%rzGTB >w{ zQ^R&_X^<+w$'GMj K_*AZmM?x/aFe2Y u=tgQζS`mj tM6" ] l[݀y:a>",oZE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd)eu!;Iu}B}s9&j UoMK#wksx:A֎`URn>*@SKQҮ4.dAlYh9 Ux5k\v9S<}|[F)|dj[.K8mv?\'i <.hR:hUJA%[-My#}š)r+ad"HTT^ae<< L]ˌQ8_֗:Ӏ8Lq:Xk!{?\ړxA<+G p3bH+{<( H;/!raR갉XJFvs@ uVBSp&6`s.'w`ŗxSi`ƞ*k ŃGEs4$J/)jg0 [Ҍ~ǤUqii>n44a+R5sh:HHUZq $Ӌ\&V} 1;w,S5e3u~4$>Wx6c b%OR7yk7uA|{WzLO|?c~5YvC箑{Y7=ƱgYZ 'E% ,HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup37zXZִF! @]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd.H9d1F5>oz1ծXZMLfyRt~Aƀ>Rss9S] &t >ME)r| \ Od22~,`|M!whhZ2EmwcE= j&%P <ε (w^ABwZdfn&7FѪjv[)boj VnIʇ8/B?5+Q6$SxanRb~uhf=. f$AYm]_=* ,bKɄ0 ]g{9ÒO{&8ێHhف᳘&~tϓcuٱ$!$$J7s8wuqlY c#jD yw[pPlC}XA /PK % pӭ-O4}_Z E '8d z`Sy0N>~i|rnG%Ix?n QY#r11#%s]!$=PcyAJ-qG)S<Rxt #ϩPb'u1%c_-,Ȼ;կ-?/(`č9`i퍽*ciĶ+5 R_F/ `vˤ#t)WK 'HԮ/WY0m/ 3ͣ\%#b;0@Jݸ H+\axp*e_Paf؞G*]Wp/l %9\-*fIH^q2iV"KrKGb`G@EAQ [tq>vg`4'V_ Hcܖ㡭\ǽ )}AẆ;PN7xBBrkQ0 &q"5ʡtG,vOzBMR&`Kϯa?ǔkC0溴$}ُWQŷH ɝӒM6}xthhV8Ze¼/,)f߾ƴqyv4H=ݬ뽍u+NbȢ)~;c9ŕ(>oxpdgo㐨"il+< ~OC[# OI=nMHxw͉B!YsƖek-ylPH zos %bhCgԿ 92Ւ(3z%9޲fl(QV mItLn,`l 2BJB?'œm sƱ3m k%8XP" =±B\Ȏ> CCo9?jkP~:(l0h.FJʖ'A.w~V U D 4u'o #I6E}\lJ|O4pf?(޷>&ԷjVq|0lhr 5^!~-Fx¶ի]ÔtnmX!f;s3Y\a[5n)*U|I&b32zNA_Q>n7p9 y a+?25 ZM䢻JsPԋTCXf&*Y~-8vɫM݇Q<-Jn֗_EG8~OEjTy-SM*03/~ n\`4\p6(꺘LFի+Vzc߈"j# ER'T2={U J5 Qq9' fd9}Zn<ռRa` p瀂'`y+D~ߐc"OՓ-2IHKHw\i5V9j\ @:z*Mk>`N-H^%f/|.~e !J.[nYJ%*G2CeW=]/[|X~v1DE] MB;rk-1Z ф`z[uL 7V]go>^&p-L jNFT1W*C-yQM"HR.[+nL{,x+_,-aȳJƺfne+q.sEpq bm *{ρލpfp2ڢvs\@[~u[Oܜ޷#jR?0mV/;x3PB!,r(ҌZIɗ+FDǁf5zV^dq(]B27QhH3GnDZ!lE'[^dU~kۺCv\yuJ-УV=@f<xlېl!M'-k}퍁p钰cA]7QT)kߜmʁ Utr1$}sz\vq]'DnJD 6) A?/#QSy a+TL Kjc0"T\9u Jkq2 v 'Gfҭ)!8%(m6^ma{Kʎ#)EKcDN:A b܆$ićkBuOo}OuVUw@}йW002 e/3A>C;!jn>)oK"E%W@3 `g!gz {~P);5yVm֪2x4[bdkdF̤fʻ]f:FP41L.KŌ=<;fW6r$ =iaRkú(}M߶A2NgȜ3bqij,!wbs^@(6ItPLr”xl1(*<V$1\$Bɤ>w2(zbfD`kY&NN" K}UO/;gxɩG FO098X{}ƽ[%`c"P 7CHyE2X.O{$[U5~/{hu$4sJH䨯N;}WL1m$ *v=&d g3K s_:,RQamD}*]V94,@u6$ZBLŨ R9!@<RoTJ#Ocfj_G&N={- m'Y& |f͑j6ӭ.~a?[/+B];Sܢp%pX C5l>5d砨2#g^Չ ,{AQdy@K[SZQqQ;H<#o ǴC`:wLzHˡdl^aF|O8[:}Ѕ7)#sc9q*IAQF?M(LV0o ,R89YퟛwM~+M1E FO&62[x|8S'+ǰ шI}]ݱ:ڪRU5%y"`굉fs ?л4ϱ.=0t1/cEt;(>]7m^ͯ v5 L?e)Bc ᰮ$;~Y(tÕW j=5e-y]*Ge8o$惕ˌoEaKӆvJӬV_6 L kIs#EkS'{!ELV}t||($ L2z&=PaI!"~Jhm=i^ᖋWCڈ [>u% ȭ?-)oE9&=VO*|7(; AF~Nͨ hntˍV9]%Zo.ۨݺY!yL1YuKbAniz"#p9ݸ*o/&үrssVHner˙ [/#䞇5-Yrk ,0!b_5H/?ݜk$١ ;5^ DC M-YcgߡVז˔MTHY/ .5MݏBEO; yސnyB9myY1)0ˌ`ݞhpd qV_c/V62pz4$&E1L m,T[*% R%:;k%pkWF{-͗F.4 R v_0CI"kǨcZx^\_gKyJLMaCKk=G*U=uIL0XS(6#0$1^cF}# s8eZЎPH1켙Oe>Y0ߢ"i2Xo4(a#9 u9\ /r&KsmjK1x E^<#u ѻŒTO\ )F_;CP\2f!ej򻌩(7ZaNR96|j:zxE'+=W;'/(5@0[N9=\'aS슮+KwP$)_ZꩧQY'9VC+ޅ~aiTtJVJ[*D NF3u4v1;;zpgGoVQNĽ.{&Qk嬢'4>A 5̨N)")?08uXPK>D7cwv1gOu9^ĭzRfm{ ǭCPD֧DkQ NP>r6`(>{o~T̀G#R|iafd[}Do`͒+TՁQbLXs xnZAt0DlTykGiTw-'/յ_H>Kڽ-+Al,:dqev WTy[FwLz~c"8ErNsI>nj@;M΁ h`}@y[rKzu N|LYK2GŌ  YIY4Y)n=}hB9 Y5C Dخ%ӷTa*=I+갠}=Y@xGJ I2Pބ>탢ހ:?N,<M0oB py)s<߁pNNhR?"iumP M<)=qm1I; ұ_dXbb[>z[s]PN4Wg5!q|#Iep4݂籀PjemgnjSCz !RUUSoJӟDv% !zPW'+DwY6TUeh.‹N=}J=%7[./;lLpnw֬!tϚއQ~3Cq#ɯ] ?IːW;9Y-|&@ Hχq;ɔ+1#Ap7;5re Sqsg:)fWHU!KQlI]W̦7"d!RfOcEr{n- UĊþr#Nڍ\UU_OV[hW#)(w~{Ί>~m_,E@%}b^ ~ߧk{wm^BÄ1l8 L+0oͩ4w XeϔuMd Irv!Ô6L8dT̹t;}rq.D*z0@{ti6(l IgR& -ҊBv13%.(XɐF{0A]'tWcTt~&4~k&81dU} zحvUҥw"AjK贐)p; }犹^!,Sk ld=C2a3e+Yы>3d! {~ő=5c-wE]V@? |b+Q<%hʾHC ÌzAn/p_{/L9fyiZ$U8Ģtp';f#z.aV#pdROw[my"4t}AkrӉ̛ qRY6s0R!j@B>[aDpNj<:07Qȟϯ5 Zҩc@bs[u GppyCoѴZ8#a=̓2sj]jfBc.>FehjֽDy&^֕sø\Wp*,5̅S} "ٴS7䢖RJ%!RdE ʢeMfĘ3EIپF)W^~btZ# Ak!N@jse47^ilٗQ{.RT&)41u݆= ʊ6inmI{C[켞jpvQ;~r46 ?ܺQ|4;2:|1$Um$ы FD5 KK!Q.VydRge*A40hjÖN>v3>R|3L˼eZ[}P* 0.GuV-G,0mcZ[ Lӝ!Rs.d>Ak23ije9-@e;)S2Y]H;~ͧ}+_OJFa"nWJD DJSHMmZ&4 9/s縲a! Sxb ̓OбyhqA\i(!1fQsm|y=?K:FLsΘ+h~3Խ|v }a_ř5*MbԱH$\kwȦ4C'%/g 0-raFșf -<$Lwy£$8ib"!"8?o<Ѵoyk%d}MX_ȻthKc%v&T"ǝ lOJ P.pOĒ,,\[fRҵ B'+/osNpj,7DOqXMNTɷ )kN(IZi 'sCX1#5V@rlql((ݹãh> @.qmEt21y,?9`bnx@-remTP#ZB6o[%́!xB#ųW*1n^'=SrG;)/qtqYG/e9k98NMԚv=oTA%K%x `'/dR(d4AJk\ѹ Om;R!-#xLrEFeW[iWq\RF]37/lCODbK<ОPㄤ[MQ#T;_ 䖕:Ai, pZYy7u@3}u&X -\+K>|rZ R#jPwV Y l,UN&i M73 SSCQY;Gja'TS qVaWBDp۴'S&bbNLWd'8NDhӲ5Π ⃚De#6&5jvvap_$AKt >^]'yo뭾xI%D% L$y3Χ8wUzȕz .)̡$crL>\'%KZV8h D8(H$y%bPK* g'/6Jwu8𥶼W /hSqn" r6zʔ"XDBY  dujz@Vbeē"ݱiKuH"Ѐ"Jhe`] Nĩf1MK1[cM2NJ⍋'Zi>m,c)KxtFēRwX?.>I*=o?%Etu I 5O1^MPZM%s* PI$)wqIr^ rؠI<-y:ShIhCi,((v(9? R`[an >&3Qmcr-egx\q̈́I08v0&"؅OgY7ipM+K$g6uΏY>l&jNZ$Jr`FP9;5^MEKΗc=&Ui G9S.&9sCE7&!9cv3ZK9YYgڜ/vJp V}Kq]2>A5m#eQWnbʿM~Z^6 jXMOaBw1z01/Yj?ROLY|+0*%k"xvJEH@w2Y=_TMAẽEnkuo^AI XcOcfURM aP M16}m|篑ԯ\vڕskΓ֙ XV`0`V% o:(џtbIp@3UkEd/ZHo4-~G;70 < E I6`:deB*.h up8 g zUhFOwuS~)] 9q>@L^TF?cpDqL#!IUPT)sak_s)5=%;G4ف_ #@iϩZ~ӻ5+ Ҵ'Mt1@L2xWCk51@hЂv;7sG!ytS=8׽L\.K/l1V (bA#cz{ K|Arʎ8L*,݄~r*?w ܋$[32+AX^ 6[H) 4MeMoSjTɡtHx`]2@u$ h<awәC=b_7Au'2й7 aFVć7oth8^T]t./iEK}puo)?YGCMn?Y%?~lH}+C_z' \(gʨ1:q;3#B1Je෌+P+-I7u:(t)Aߴa'ME)@xadlѐE &?9Mc,ڣoپO>- U-Gw`W Zx0;`#=2gfn/UjekBY-'m0*LFA}L ` P}J| \Zƴ2IZ8v*l.$Ѭ(|WO6_zWQMSNO baZ&X(XS6=]>aoVl_L;@czUinYĝ[y{ X3R0SaaZgod']@~Iw"T X)m+$gH4fD&])!?Zx;NEnZc+ғ-} W0NFx2Fɢx>ۺkHu `2F~BWl;& XS.8^.~NGNG6S \&u xޞe%v3$k}Ƥ wB|]sl\$rG!AQʵ{q=CwH6|!p]zG3s(;vVXfg e3mM6Wn w״|䟣T"%4|[f?j 0^>Ε=M 1%b ڌgٖsHgq4-?wNgNf 5$6@OOR=34Mpu@܅RX.Bq.. CZWC慆2qL{.xhkBxb|D1) J0b=h**LK0+}DC4Kw0ɣI=cfaBgM EĶŜIyO6ڔ+(#t+XP˂b}ݙX-&J: q#5BF r]/e\CR*~, !WeP@ҳ9+x}-:`FlTX8,`Y}c:#QQ~7Qʛ(眣HGuنZ_LLv~N2QA$h3G9/7d& ў] VH/Oā5yIctzsXoy}fnw2`ܥ8p!|g8-ZT5Ul+M3 X]ar9P/LHJ T[ˍq+lCX|u@]Y2nEM@lOu;B*:զs=.`EK3t:_Ʃn=f=WJz/>ol~jLN1O7p] St\[75Bm"  Vq2lDh߷oFdמK-o-Lcܖ'EZ5Aƀрp,v¡^Iu:O~?MdW|Y3B;lۦF r Q,Fe,Z@AkUnm-%} aBNc0=.IB!խNr*o{ZaʧyiЀTL V3 ߼@ XdeRN~y7򧗭F.ۍtIL1<-HGh_C{~bN>cG-n r:zԨ<ٙa->IcΖ}]BlkR*>>)TafP͖zi 0iQ#(Pnر9af)..9i^peB6q 5څiclY*w I]h)C}- yP3lX1H*~zLY؛ V^e3wW' cB\tg2e`ƥqcCIvR%)4J vBթP5ޤՕz&E6}Eԥlчg<,9SsE$Il߅;K#MDDcϺKAC)FTa"׺;$sřGΐǟ A.ruHr1گF\d&-}[G5ˀ$!cݮ*9H w:BO1yuh B"Tmiާ"CtT7b4hb8tن-hW}m|0UկOн]*k,"vCٙreX*qALëz9R1R~e1H"ΒRH vI!3h*.ACΧIh[uLwl'GV]ÖUp$ SV֜byrNcE!^R XA2VH.QDY o=y#+UAl_;A r6&뱖>Fhf+&BRY@}hz:^<7-[w3/)zR 99LC8NOgC88lt7SU-I gP!_=*|ZM7&s `!lCW*wB#4p 9Y Qu-Q-&'q0 PgpHIʕ?Kn` 2;Ǯc (F[Tӹx_%!R{*?P7LD٣zn,7왉EQ)81,Hu^+CT;q(%Lyr fA\oPjW3WbޭbIJrwQ7AE:ӆ#9ȁVDrWkbTUvF#`|{ qY&GZcM dssWܦqW7Ч2d^͜2u * 3==3_CR r0D?;GŦ#T~N7옋SAQs--2%SO#V JO|ZN=y2Ƽ`=O AvVдzn̬K(]Z=SN.uik%?~sVb6NVL0$uϏ2mKf~72 _A zI(*x/h~A=B.Chd^R] {O|$݂ W Q7Wmx#@72]d Eh)V5]O^]-b5*3BYоρF"w^w GKB@7©]^'7D+iWn299hOR);GZ lLLΦuǶ&7~T*4lF(~+֬БK F<e^CԲ;j9,eC6ҔEZbj8 f< ScNps"249 oV]tc29c"a P(#X?gq死VOOv ӶK[~fC O/"%σ U%z?{}jSAp" > )iUTG|''AX:zF<^^#V\4DcYVڛ+# ##H=>Ļs Ϙ;PQG[|Rf vdL?!={R%DL`>`i+WX(LC6Sr@{a#3L?g_V# Ianz Pṿ_P`E)Q猣*3FHpHƊߑTC 2ߋ&Wp4 $ȡ[Ӹ:x^i_aj/W< Ã"!_ݶc4a_GAYvw#_l͵86rlj;|ALER{;w&yJʁS#z4Hs*NV#AòQr+ĒV*#3+Z7)+ۗ69;uGϕ&1. ș LVՋ,;9D2d& XQMVڨIG#vβߧ )5CI?> s}vIp5&ZxoP)SL]bD>KhMAL2hC.p;]58Tf>LVSUͮI%SGBs;"+9M м٢jo$qp*Ȣ?H]?BxWR* Zv錽S\-uL^soU$!p!!RMњJO6s鳐tZf G䅱eéE[Grk>RS9IݽV6һ7NM 3C 5o^RRlJq dL -1|KG 3P ._9* kٟuQ)>ҧd HEَ"y$7W'i|ryі'%eLx#s{-:oI<~*@bu߷flF^r-B ]WԚYSm}f:Cl!s]A[goVw?tӴduѯ%ðcHC|~{cW!@fAR>@2JBB YRaYC}{Qz(>Ub/ˋѩ;2#reH[-}ڋ 9Y,z˗1yicȋONT۩p u6tB:gxYs lW@ET t@:3xLGh^ƒҶbO뤶lj vr;mt/-l" r yӽ#S%sZ[Y) hDƎw!9]](m_iWZʙʛ9,wN )dms(pJ7j,@s*j, ɇC /u-VeyIc$\s^ kL%WE6IJahp(_<b1y铧i7 ƢSחN)[s 8|C*c\=Й"p5&%K$~se#}-.>my($6;&Gړ}60(jf74Jsv6eUױ ې.&D?^(iAx_c6-(P:uQ4\(iW+# xDo힥OĽҪfnÂ(KUumEv,҃,yC'zdIf}[$C"%.] D_X8j&eԂ>b<\z$9 /Ex}]?C-oR+Wګԍ0Y85 q(b-qԱ)(4X7469Lp{eVuZ 'ÁQ3]o=quayVW[(oK Y z忝wxheqXtP徫d~1 P?8!#b !/Ɛan%0*7FP>GH@7#o"!>#_O&z2#Tf .;̋&Z;Z莕k8sI3Hi\b]tjU,+FW50~݌9_.'w qyd(jBĸ8ML)#i׌?mqLozlWEݡtb7F&F~V1 + >R<PX:"BAr0`:=nx]Ζ;]t EB}(zJr0Yz?~#57qp%p 4R}GP'rcһB/$aaYLK0RzbQox /T0ھ-.z|{|sD+:fDj.{&Pp5d+! GqqLaeΘ]`NSwU81aDPL.I2QV@Y5(g>'6uok1I,43KH"b9Y/?A 4ьvP0~apq`Ԛ&xKio&8i ϞBSsGHtV/u3wL!0b&[e%w=->w#)bg+i,Kp5e/QƁo3N^ot܇n>X9")'";- %UPYÖn}>:mVa\v;@:SJ wa8 4ROhL[1,g 9 dުi?3T݊6i Oߒ S1/zᕡxpU\BޓL[&+}0rŘo ۟d-6o+Z sf{ gfߺ/ ET.j._3R(Gl> /7?*'HKU.Y&!#k%P ^oK H(_anct e:j=y*f8wL/q*  ^Qg @$afDWpG&7'W}$}C_K|9x'rܸs*@WI=⿫ǚ5ȷ d83'ۏ֩mt  t>lj W6-{bFʇ{&V\9*<˭Az~ 3ɚ3]vIkDiAX#U[ᓹLdN$ulesd?|ʆ2<;XŔwjHhBTeK 銸S]LC hoh&4Haz25W~%vnoJ*MjNOe0(`Pє;类:^2N*YT!CxPER<^%00;oОq44/eƄݘz >66%Ǣ5 :6 Db}l)y.MlbQXYdwImlc᜾HJ?jr!ۺ=zdM:'&x5P)ۊcǯg`zr;֓%`< MyyzPYKn/(6NC^-#mqqgS #mtD a GR[혫0 im~C<]: VBm-@ 8iYA'EC=l.LJBb"#smFn J]lܜюǴJ1bPֲSrr/]kE+r,SCbgY f"иTMBP]+j=ƀF]yD/h9.)_9 X/A;ӭHQߟ [b%n-TPO"5;0e430LM{<{xZ#HIj[[j8dt}֋eS}l$Z/< SS+E#h?B;7Iǽ EHbX[:q+[+FnPk@d~埓A/;!j&o:ϰ@:-̉k+ [T)lMߔ^ ?IÏcsdFg !+J"R}moPF@kc;Oe5%\dp Byq[s˖}Nŭq pH]gYyoH ''V-D 6ʩth M־%YŞ[}>pkk9lBV&_J! ?5_aqm|`|ַ&ܯFrOo34rAn}H4tx &Avw!|kN= GOYaZ$'}yI_xz%pG4{a%;,h% =>p{-?X@gdczTCPnNCC`S3g'25F#H M|wT[ށx|(:ڊj`D=&E ہɒ~2|խlsL1*>4: /ұXF1)ÅP{lC cڧQR!QL5ڗ'AYle<\9ZFCm;٤oxUwj%ips"j)rjg3Fӎd\0wJ$tgK0v%ܡtw(yۺT1m`U*fzyNQ,u{̥TyM([?ڎ_NzLGX>QFZaXNLgʯӞS=C` .-%d㫼0q f2JEE r 6=Ӛ˶3J,xfKZt30X\ Z1]=EmL3ݲ~28D\|Gwob܇`B1]q] El:ՓI&b)eJ,E 7Oqu%++4)p,gq3е( %m)XSV}@otEnm'n9Hy5t6uđz%[MT ;fC!T-L[L: ([B>}x!Q{ 7Eqʥo^n#<T Zx`S},=~wNbV#:D~Kr{og1Ѳ!s8TdHOCG /ɂwNJ> s,VW\xoW>VIH/|3K`zLIwE < Za}@03rq S-$Ri 2PtYkJਂMf2b7>kәp@KYH.ܔzE!' |GeS.}+e dl3'ٌn~ng?}+iw_q_h=ڰ|j5f;.D$4vE XE> ne<-ZC)pw8"ks5z,R=:;VySHB:y%=7\@<3QZFXViWTo&РOKRA] M)9e2|rYR+8W0s+,*JJLdPШ뭹5DѐZ,&Q/T %d354ne0`"醹9?4>wOdGg&/p(;-g$lY-R}ѣ\ǜ_y\L%O6ty"4kLI8 pk, XxԒx P*$.~Rb([Up%v,ZA`y;εgwy7D/)BP//8FǀrŎϯ7@- kQ*HG˳k0 xPƕ։!g~dX1\Kݤ=oƚ̓jmԖs1EWZʬ^=hHEǢS{._ȋVF% t+w

Ÿ,Q1 |>(qq?m& egb$7eYXŹRożǿ2 \'%] gyup Vq` /O~`IR -tq>pMCe 8cKla:{Xv/mШX }qQ5+QIIh0|v԰+/m+%[;,;2 5KZeZ沠p{1 hfh6`m}\Cߍ&qH[,/8[PX9s\Gw"uЖ#4{<m*٦P}GS{1lt|.'2j4ݧhg?$յycNU Ka4? ܻ 0\CO%k.prKD1^ekND6eK܊Z֓BX 'bAϳl.kqOd ZhJ2ƆAe8aKh75$?G܇֒c2aH訷G'f%Fmp$ڪb roY Lp"UjφuZ2h7xKr6>(AC_-VlyU߈RA8x(iłe]~$Pt/]x?'&,Ja)B%֢Yo_[/Hmq{FZg3g!վb&:2p̳0Ww s'ƴC퀘J36vuZ`!'N^g]ٷgLkA\g$N76c*,Ya umk3 sxl^\>2SNlw#T>S)fT?Q&a0?bj k׀pe oz|cYJ>%Æ۴AƱgYZ j 'E% dHOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup57zXZִF! ZZxj]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bdߏsy56OZns$ձ,Q"VyPvDк8Ldc> ZIK]D|P6d̬[Xȧɨ̑5!8o~4i!y5'qD o,2Jk#Z/bV?U®vZ*BMIB`N 'vU,Jf5"{G8H08kn>^6xO/pm - t| F:>A۟_qJ.6uBeFpK/KNկCo`:iH)9A%–dgY_EDܧв8˻ٕs7|zefwAt^-X2|lD1K;xbj`6J]N-_WOU/8۷Ь\_4 HiA&VI GTiEO>mj5S{a$>2r3,/\ UVH7GDJ.p)a-O/\D6C :*ۡ !:2)׺"pu _ÈTEm:*.exk|UԂoQjj%-T:%w l_A6ݷ5o`܏OT-YqA9 =}WxM{́zͭ<-Z;= N#Z^Yo2bZk o4x0~)qNkJ)%LÐ\1d@tp VD3Ù@WΫX_Nw<*fC|hj ƟVIӲ2K8VJ8i"K!]5LSS1|<⹹F|-NX}b R 1|ŮL>ibd.2eS`!y.y=&f%pߊv{0hb,CX|`XC"&(O%P)e`j b+G"L7O^bkb{og!HJX} %O Ӛ--`λdMS2#h%U{j){7¥$ v6ӆYYׯ2'lreOIn0DwR<(pNëHy8xHV%n(_`x94!Ŕ{H:NE1R\ Rg?؆x'ͱ.xC0T`y{Uk&Rn@{ ]DsbqP%OC,|;լ6"25FAV@(Czwnp[R2jʵNC99~{i'q hC=?B!Tcn9S3q &bQ@ZQF/>]xq:%,Fsө FJ&+8/j]؏QoEO ^ P;䢨VBGY/Y]sGr3B| ȦhefN΅6\L"H.VzQ0!2EX('52ؙ ' &猀^*lQ_x1=KVO#MGi=Ps҄M33w(,W0c܋ 1ӄTD7Lt3 琍HpՔPk_h9:쾟7%'vhX!v:n>z#픴HMzOB/}ٺP#5'XܪrT){'~xUJ_LPrٌ])x65-ny_Siz|PBֺ¥YXrS:|9Āy =o3WGvr]Rvzxt>>bv UC bzPCt1 Ub4 ϒ_ Y(^-%iM!܂lN[YӔ<-7[;`i~b;kK(`` 5fš3RpM]Nh.{U]P 5TwN[m:`SQBXsH ]dø=Jr~+Wjj9ܬ8@/qgr$ww пƓdoAE$p6F!M~ (Fx?#W+Ǜ]򴙵otܩlHwF+BJ~B+"(Ǚϊ\u=:aUkPu J e`0[a=gvj^pt@$Yq<ܶXЯ581Ђ6^$pWI6i)bzT)FXݭ1 ŬQM*- Q gwZbSO!^f7v̠HҦn}v?QxpfJlZxE}s ]^ >y3g L9?B$8Z!q́t^6?fwph(Ʒ+9\%%eF'MI2ԩclV Q)~N~bjV,H|4]]6 r;jf(9T0Ĉ`L]`n=A4`+xYDKhDw};t_xk5gУODˮi.L#E}JV[5]Fr727Of4V_9S^! -Z%XD\3'2R jXLc0UT}㊀X-AGdiV뚂L,gJ2تrU,b# YD (иOo(hTty+]Kig]ZcDbL^ g.~EI 9:/qrSQmYy9H^rMϷ'^A'={ʩl4? K]^ZiZS#=|YK {%Tl|Ш#nhCC&v'@O`!7yGy8˞ܕo IjڒQBOlGEhjlkO+!Őp̣_iީL GH64y vz2$ug"'By%?UXɺ!5ޓ0rndhM߲dc4b9ѣ2k&'Pi%"+8C};+f.<3u8B0'Skqdnپn ^JP{bWltNclEh[sCpUB(|좊M<0m,Ϊ >*Ї@6S ͣaPԚ%_zNQJ=4ĹGɰZI BTQBwkYz< Ӵ~';i{w8sݡIR/ЈQ?{HttV/=/{i?,tIDio@!~+-0ԣrxfrJX Ue^pjMq4OpAqA G2tjI@z_c=_ddpa7+;pk;c# eJ=dĞK=t qq;c2UB;~P]MB@IaOU,ڿ*ZY%xw|N|,rSKjvDR =[ӯŎaeK|Y.ӗ$PJ<<H] I TZ6*>zy7G7Vsc}tN8y?,wׄ n}ѳi})g7®sl ^> $*o4LO &Uf?Xgn% .׋Sݯg[y3g0L[7R8W١#rO c\/4denkr'!dIӸwf)?{K9l)h?oݯc#r\ڷJ̸Us;d~I]ye_3~Ԇrq}'f?@ Te\_Jk(-yf%nj YFs>PMټr9>~/oNA+$J 'Xx#YŚ?mlա];Dt+%L~7GKvyQ?R |qlj)3p&R4b_ȒsXjFYWQto;ϼ)T}biȝZcf>e; } (S}Q)\z=F*'_]"m;\k&q~vV<ԧZw'ФdAײkp.Bj O HJH 2>ݘ/8`o[j 7Tr]Ĵ#"Kv薧tbmd&7Y+#֎lOϵ?NrYqFsY.]9Kgh(WBf>d#H}[ږ}_5w'-ݤ[Q "} Fn% ,SD߯4s(% AL_ϬD;% eb΂,<9WN9G.l.HrBYNZH!e>\x 86!Y Bt@qL s݇Edx2 2&ӌf8b`Rn_bzB+uzK;{zFtrHD+Zum6,>3yg:؍_NI"M&j:U`B.'9\>1lh+nk[OI^#h+|jhT^)];JCdKSg-YTc[&51OzVקcO8h(Lnq,{~ Egm @L!)]dz8e36YJn7ҹpX_Z} fYI_I|1g&L59%,(M]6oi8@7pMfzGy}6'%ƶٲ1,&e+~s*; B`4/tdʆlw>5YG@Oe09@wnSs9⩂o:*[_)9$bx8u6㍑LdX]9$ Vv0|w&F% gˏ,ɉxAVXt ~pzh%_nqBY{)GGnz *Tw->5gN 6*M (̣Dzd}_.ӿôoQʸIen(Ϳwk1b 6$)iT3"7C(/XF`'K%Qjp<-(g;Y6+X PݑU%~eU@"5_i62/ۓa%djŞ$—:QQyͻ43T/ \Em{ ,=5ĠcR]زYy3I`_ h `,h/ [35dHis8V@$o=$AY \6> 6u \U]Qg`$FRx{C )VvPN>mO+p@]NyJI:=kVU0QYws1+ \O̧p{ F}0{<Q?D˓%Dm?S~--=} ME$ȱw6WQS{޽M1O3_1'ذhp:3:/ 7dlq؝m:nMxf4}OZs(a;R#,ُp௛2*g7@>~ҵ'XԉCt:ey9<|$!1pyu~ o┒vcY3.:}H'rǧ;+,}Wʎqw'jL=}e_(Dg!0=A8EdhO+UH*Ѷpt J~XM 1=FkR)d1jaǵ/|WuїˡQǗч\R(u׆Y.mݸHsU~eALZdNq!f I>oYD]`a ?0H0vL:Yxȶ P#WMe0L*ȵxsF([nڱP@8ԠZ凑$3MvP_;*`h6 ]{pƯL-,~,"rOEFz{/b7~WViz&Js̽c{h斠b)xpzSб̥[.ęX :"o΀`$,}o1Ha10շ}zcv"~D}ǐa+8.)cZvv%o9e)ISt :"më P1Q{Tds ?dj` 6+.cD0c ^O(.8Zl@PtRK#A<' CWt%w!$ b:?c5{~4zɓ6FIIB*fˀqM)6etĖRء` ,LY3Q0D&;IV=*c(5葁T?no7 pޑOpi4|-rNUBJAn&rSu6 @dh;9ꗁ3Sk`#oue|u9Nt!r{׶Z9ᨃb+ .;]hNhj:=XH e臃#F.<}ig]Ti **x p;F;X:']{F|7yimtyt#oV.M ֝n^B nĴv&m|fs@ "WtKy(|HBb}w;!_, / 5]=os eXō  \ ,mhz}_P9ffdjOe h u_IQ#)[\C gEaݞ޹މj=UUU`4NOg4h8)0?=]Ў9Q1 #7Q_(XpѱyRa@'É h /;؏^;V9?խ$:?+ٲ+jߵ ȁ0'SF'㐲DMȒahn\RO.47Mpz/ 4%Yx[1=(U~*hA+TĄ0ŀS^tfm \15-MRxQtۦ mcw1s'3tHPq2k;08i״veNvlE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bda" ^YCk#;ABXN o_$MFF"SeUh(]u3N228qBf,pn4bY~h(D[.T t}}R{,oV۩y/r.lnŸ(#O5oyŮ9co꽐}@:nX,VtAq@FF+Dޏ9>bk3pt~i]RuphFÒ0S$R7^iY2t,dg|Rha7Rŏx\v? #+_qE/b娸0&*.#ihu,Ranعj}rR?[}{ 8%n(TyKx 4wjy~Q/tIR+zߊzEּ5Ѷ*~/x!G gZό{$W?&G#[)tI{N7 iy=ͤH <\N2n)|`MKiC IUqn/G& 7Kw[orb+]1KTJdgHx>e%~lTKTc8-WnjګUW*ղ5M5h…]k6$rB3QvCWՠ`p&8Nnr蓭MOoOboJˬtƇ0`論~:}rf.=^&AԴez-A~Yo-Hy&!;;Lih> IO_3j1]1'jeX/HA2VsxɌ5 cNes\l%8@Z8nʎ~in5 6.e S~μP+=OUoz/[UESd?JdN ~|FOkRH?Ӵw>GzvY٬S)ئbD^L9DaS@*R{wC'{[ E¨<$ҬįIOhj40s˱ |>쇖nom UoaߒU|f^ANA/u0}[=/I+n-`9s"~7;kCH j(+x Y+s4զ.e2Tn*EQ3$[7<ϘW9)$ok^n2)Sc '3AMY`m1uhB5tz>X ,"3䀒cpUw8@l(A++<^lu"w: jb0QNg?TA >gYZ" 'E% THOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup67zXZִF! ($]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bdߏsi50:%Sb_^|Gve-E.BM/L?(8w#/ƪ,y@F9NeDOXUv֫^!s;dlɃpboGޘCtN8ݸبN>yfl`< A+S8_ +6"O[>y^oPDK>ʓxwcJEf m tbRT' \pJ (E=B/F 0˾kB!֑+0WwOn+7l~o\d38 R <Ex^7 0oZpk7Ʋ&`$n0 sI_#⍳`rBwkXKÿEK Ĥe'(?w}U3aTS-s6A Gx3[ ݈Ϲ>Z9`~is`r ]tW&ė|On9\9>FZ{MmaܞcRa!(WȌW63e.d-'\(ellc>lު{3;*}Kfێnю<wc [䋆~t)55rZ)9 *P:[Z?Hgyj8tZt|A's\hCg5MN-3w.fu԰&1=w%\ OH\*c|4$Tj 04V3+/…QÒт8⁆] ~%Nv蕌+uBb"2uLE *j@?Sͅ('g˱ts_ufVSލH\{NYcg-aNڲcHaLqҀO$gFY:63._\¯3+:f65e}'ob6YB"_|[bjDuBidMk<~t DO.g¨L]㝣ך;A)})]A>x5onI~3Vq|8^z>ad.S7Ϗq/h&S!حr샬1 Blǭ9T%C yJ㞌NTql=!Bȑ#ɴJ$ 9QHKI6.#fkiՋÄ]$nnmf]:bz'h=٣CifrVWN*,[M /vֹthfȻ .o?*p-*i]v`JA|aXw?ExS`@VC-ju0`YǠBN\  h"2L;Xϫd_oDx_͜ǻ͆u_d,#s28"Le~'칟vvP:5tz)h&C }88k 0OM=JKfQ"mGgM,1NI~䊯Ic%mҚ`S$>1oFTg:]횉料~;=߷<<ʌ׊Z(WJMtп6TVW`+s>Oa䴞V{PkO3}xǴ8yK mÎ}<G/rn}XG^5ex𕸦|r?te*"lC͕w)ӢnyH+i+oWgyGхeNZfU-ĥ" $'*Rrg|[>sf21(  P PJ'E' $HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/messages7zXZִF! ]·Iq n[:|&[zXd(MJµ;# 8ĿdtE f<[È1$ǐMejMr>G38-N0*U5˜/qfAPE.M= 0]/=8pճA;~g:?b)UWTDPMsFX, f UށKb>UkI^rqÓlmLK Fd(:a? B*ύ=א C3Dh/"77Tnf& gYZ`'E# THOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup7zXZִF! s] !M젗OFK?vV. 4|9H|Cw;P`]R8 -Z>Y³lD=r<5N>,f9ʰ"0ֺ-iyO4y~U*Ե/.LY$ACp8@ % ݓqx-Z:1D%E߮V#ª62=M(*Pq/9LLƗI=FU[ gi0_ެys+CiR@U׶ltOGY w%!%?R$E!z#e+DH"q^8S3yxꟄm1Cf+*%y 2.fo%inR8LS<3f֍>/XnfS^hJyA@AodeW< UPq2INI^? 4[j,z }&C+vl{Bت94 ^-gYZ