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  `'pl4d ]/]HOL-Mirabelle:threads=4elapsed=0.740cpu=0.812gc=0.0007zXZִF! n]ŗXiɟ{})%u'42mXzD'h|,%Tᴭ =nw3G;dE[y n?+H.I M[Z2[fo۩ U W3T~\hL7!upAĭO/t{ڼK OyG.8=xi>gyudشGgu9SDo]}QW9;-(C\+㳦*J.5xE=\c`\ߞcpEvi_%[(aB^*>a#Fˊ %ܤ])ѡX§^Y+hsQ(lCD=_saZN ,0X#{G+0ISrf3Qk{J8k x?^5]03p\ZN׮e?[ğ`&>V-0H qZp.v} AHny\Es:orNIڞnw{,8Hn˼0䙵Aߨv ;4 e*!iI_Xz߂6 H1%U]!|ѹc;.=>~{wN:GHbOim D-R餙-{dZ(JVY$gYZ14a9c8bfe1afe8d22b5792d899f0fbdc67d36e4ef4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b237d3d5d96297682adf44ad2e1293b265fbc2e26f8 ' 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_id230F';9 HOL-MirabelleHOL-Mirabelle.Mirabelledocument/Mirabelle.tex7zXZִF! C]A-MՋhvG"uIBm5un=C%;Di{ Z!lnP(:`5U!ݓߵZW}Dk%Ê[]ˊ)nTC (lb" 6}>_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|'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[Gb     :a)u s 7 G <'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_id@';9HOL-MirabelleHOL-Mirabelle.Mirabelledocument/Mirabelle.texI'EC HOL-MirabelleHOL-Mirabelle.Mirabelle_Testdocument/Mirabelle_Test.tex   JqgA KAf ~@ b KtԄ{筙*w+5u('7<>␗om /n! <wQs{RrW eo(fZɠ"JkT-J`ȻG \لܼhRk:۵Kzf-6{"<%E `QwSZF8"UDZu9b'Xo>8?tpDwMk`8}VOsD_ϔ,d Ѝ*es:ڴ?Es1!Kpۢa_͘ q ;w XΨÇcffj끖?LDS ۺU6J쌨=_-#H秊MJ^q~qZ@)7OgxVo>򮛑;49q!],Ą=bCh Ro&wY&٘^C5t$&i(6NbCsr_]X:sN6egDOѿPA:=%R:K-~t/+IEI\JsO)*=D"f@./B'Ȇ/E4 ?XylM UhZa{6kLO7 "PxƆ\۱ +Kj;Q L9UH~ubwαsFɂ&d#_Xp̣VNLq+4bљiy% A-5JuqjƁ%+: ):#r|~JY\\||fq-o{-^^5|ΫsH)H#Y+N( Ciݥg8ƷcL`^v¡gƄܤأX#Ȍ?Q|梟ZA[]g~}8ێNISpD]+,vߡQ>IFO|Y-Z!XhfSMVt@((oz|4V?MaD1D詉yH\@;~<#g(P31u;4} |E}i}w(wSnǯ}hVuQU=zƆ^E %(K5)ʬI% !Xv,{Fi)#/Nر4a(ir;Fii"HucYh7L9z} !%4O"9W-URݨ}hnQBtEk$r\`Ro;11-ӔaX8^PWn,C6݊uKl?( 9+8=8֏\@SJ%̝ ;3f,\:2}3&zpOңCFZ76Ƚl=e>*~CcK&L5mdEΆ^z؟Dž*hqkw1D.f'HuvWu; np<%C¾ w Usߢ6W!ƞGCLSf}޻ ?UBTjRD72W9Te?W5ۥda#t-ט|M.70nuÂ#5۳Cn4$G/f:}Dxw١'fIH0)t-/!|lG@Dvcj!3; 1u"zmd c20ʷ#RЉNNW2hIeGuP0P-tRx 3=5;AzT B"L ݜ(b )BCk,.>lod޾$|N^])#u;jCƫ 6uZUᷔZٶ(tc$sfv==A{PmMUDv0D󎌆ǭpd2 ͷwScTee6Ǽ-UF?\x)JΫm lϗ D7j'h7& هqSVQY5oKyLh-N ߁)ܸ{'f%b* _6;2X@G0)np&acBu\;{1yd3Ԙ&@NWLn`P2ZcLa>|eps΅xsxW)%K"֨wE#h 8z8ڢJРQm{^%on (Q*j^C.uDӰ^$TQSյk3 <W e/rr5y6 (l U=xwqT(`捼b(0a eC0D _S:G/J7r {oXGݢ߱9o 0M `CQDۑ8dHBC:g܁O.c!'(a͐O#L1AT"Q$6hc':JY'*j/e֢g Q*avQKTwj,\n` | V!:eI@#s%z֓k(|7}*%K n(^;Ǐ}ղ^ka&_L&plM)r-UiFk?tr(m|TFDr08nSO{ð9Z>o*zɬXnCrkfvmɌ\U[^xIJr]*(+B:&-qqc\"b3 4ծ5ceW6*ay噵 \\p "^=26O?wtr <΀/Jg+rAX?tSmUYIx]Z'pb%޻+v^i[<STFϚ ܒRzJ׾M[B{vYgk,su9϶E}$ cy]vDGsȌy2)jN> EX)ITf(NFm4 ܍O]_ϠDLou.`ZxI6@#EFuFQdpqٟ݌f)Z_D"6ylծWIy:})S h^j3k}1r7udie6 ˑ]UpmixU~@+CvR30(EI;? T?5ЄԯsUEMPBn?Bk.֏9Y.^t]`b>l-/%5žwuY X"EBT#Fu0X_*zSN=zZU4S@6d1hHoL';ut-k[PV;` ?l)ا0bo~AUN2V󛲷twSlV`> _Q` )93}0ءgàm+S aij ;0; Ng *y.;:cKO@j4<{⹌>8#<s֙MK ќO+踺f<2^%AZy޻u=7Tpg,;br3dܘ#Գ]ː1f[i#4Nu\޵'%Qjx/Qyat L)j3 f)*q/FK}νh]lV,~Sp6م"E1MֿIr9}+eEId?.*ra:^bzƴ2Uk!E#Trt$ߞqg8#S0J6e x< ʈ0 N΁k\:`?e-!Mb=@F%f$m,Ύ DЧUk_]5 vyTN!R4=H#@@kw#nV}@Y>"B>S*72ziȑ D:q)9yt+uUsq+[T| bsAI[7h^zx]"5&;IyzEσ8rǥZ^|h$pD40Jle;_n ЌZVkeRgm&HC ew=K°@!bF^Ǖ[Di~bj"uޘ{[MQ~nQG$sL&hQ'8 sГ"}c #>UhM;ɀZ70pf:\qQf/>Iu@Z:]%t!|ݟV\%3wX6x\C"RaDTmz̢ܶ&;Ӈ[)|."Y  Q֖O(0FW)ԍ%`O'{*}a#['o; nk\NNΨBbVrҔ<d|+K.nWf~I q`#]0uC7;|FWHb͐loT_0lg)q=AU^(t}AC# LN߅ diDBv`s'AjYlu/Sp8B0ǐw ˛5NX]\'Ǣ-Ɂyn˜{߇Deot|ԲԤ7xq/@Dp_.;n_RMKG6`. !2t |;U,N01:o:N;eaT4qkm< ΏaE٭#jn]b@zO .?8X\5[e`>|Dsj52H@`A1/z/}?ĵT}IvDI_{2|HVEFvm'HD^pJ..kk $/HAzvS,nE:ю *Nc@v-Qxb|q[=BKQDŽ(c>=pm* D{nE:Ry*ʵ3?E]Rk~ :Ѳ3 TG3\yah+uU=y<dmhi/y)匋xeT]^U${v}*xN5TA_U6DP=U#Y^ ZoUL稆 (g*pVĽ0,NKdyo7hT0uj/iMOAAULtf@-ܧ̃C΅TЗ=\.~ (1olO|`?yC"g#ΦmUO#xSNSЯNzjtѶޡはhY,Itt+SsoDe p럾T5*=gzC\^flE8DoPS"5^!tp9ٴnBbi8qin/E8IOՇ>UވzK)羳,1>3jШLٶMW'£%lr5uQ?(U0XӤ9hwhyFi"I_%@af3 .%#s_|``jlp 2gqW60j dܡրHVDz98;A!Dn)諶7wPM4Ho&9]p o}/7Qb?c4diR0@Q*.9 X_|YlX8:=&, P&/x;9׉ oJ=y߃VKa0?]'Ԓ3thn/:A tfF*]xB,iJڑCR-5͕ C`c%[1Y[Y+rfֆ(ps.W8jFI\,}]E枅aas8&CQ</9?DuѐE8o$%, @MoR;DA,PsDOIsB"!XWV ³  K@QẖeI`g uf-͈шAP^I} fb$ߊ贙d5Ί$0ds Bg:BE&Nb1I@dᚡYo2 hH:`o o` IJ%++Un]anWg]ia'=9)#QC{ɶ _ KXbq%s(wHQ*񁝰{~Nz@&*To1ws]^84an̪RwȒ&bهYYtتu\ jV `s[MVc\i Z X5ax4efh?50*`kNyW}. l?b4s_iԏ^G eHMHS\8&_H!qgA mPX'x!tbTX _b' s5ȶGƵn9)J,J8`^ > TZ]E𓂌ŕ G'gƾ';-HOL-MirabelleHOL-Mirabelle.MirabellePIDE/document_id230F';9 HOL-MirabelleHOL-Mirabelle.Mirabelledocument/Mirabelle.tex7zXZִF! C]A-MՋhvG"uIBm5un=C%;Di{ Z!lnP(:`5U!ݓߵZW}Dk%Ê[]ˊ)nTC (lb" 6}>_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|'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ҹWQE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd:Ճzx3X?lbyzjմ')7Rzq^w~pxkHW(isH5^9L#Ks=9I1<ڍpoǘ^DOE4HLg}S151uTo*ksԽs#SWJLnZhT_  eeX$öaMI9BD(Gu\gKF%EY1K\{kڦZ<ۂgG8ӇK\>+/{,?$ᕫXvD/r2 qZG U,`9aGᇫ3+ <6yp֨`6 CD )WpPs%TbŇ&ǁ6|2Fӟ"qm3%ʚ* )DZGu_]۰#- a|ʆ8_f\Q5&WSG yT>kJcz; sD)P 21у`уK\8ziz YY(PI8|29Vm3I* tQ~'?duWi^O[>uKqߵVri@zD2Ŝ+TeBftɝtf?m!j\!P%A4Ǩ2ᇁ/LQ"C\ U f5 &#G:C/ qwh 4JUMYT2I+|m`Fh]_cXD٤;g5'כQn7Mf@`CASwE#ݯ 'a#e覹o.UqpΞl =ߏYɋç|r{"whpOrKO^\[$}[LZ }[x+ fהċ>ZSu0˟Ro|(k."f)k{ίOևMǚ?X uKwU'1'\SyցUk"-W,YF0ޗ>:EߏOo÷`rn M#VFz:a /߯ԍFh+* G;|!xE݇Y5kW" 4SP,rm_ l 8 yz2}+vI` cm.Q \C 庎rӅ_}Epۇdi&Õ{kTv AJe췂191;rY/zIS0wfѰ,x<kx)FZe6<{B~^}ؓMVv JUKҍU(^L_cB4sgXYδ(0%":l ; R;nBrx K[Fx^8S+<̱Ka Y@!*v^z)l>Jw3GP:Eq)[UQ#:˺YѢ< Gp.?!v$f\W;Qŷ/g^V/o2K- 1-ﶁbamRjORuȢ76aI|I"L,^'zo߷k <[p;2va׉q01v>uB/rϹxK:ػ+(mI*~:zhUv 1z0.1/1X,6:q|aȺIx[]Fw$LfED ~ff3g21Bh獊-(wuT{^e[TL|T*a6uLUwdDn)'Ut<n"1y>%Mܑmgtw{{ Bge6JGA70 ;&U;Y`ٶ~묢}x*+ }FHGE=%5I/z=k,dm˝cSƸ#cQ(m߷N6f63q]og$կ{\ cDڸ$ Gd[=jN-Çfey`5wQq8<OCdF2c'b5'!/!H±J8oE⤭3cNQ!A3e[-g-1H3y*uj Fϥ<\bs"'{Ib&SX>Eՙ@\8DW@TO DsW^"C^&DpGjSݛEtɾW16@7e`9owr$y0JR&F>>ENke&e]ekwLi F^L5uB|]w<enW`c$`*o_R!Á%䋃fu;,U`k!QFn5,~,3 ^$wUb@()rNTWэ5 z3ҍZ`-$c[qPR\/L4Mnf. h>!Us%(S^bj(%};ۛ6)k9QfSDs`aWW$%L[ [b\. yElͽCdO %3ƃu~r/ i `9M(k{/}Cxg%t/(_𙖫!K5KmlNy({~:uԌ~QL璯4x aR%@xيߔX~cjڴ eԅe\]2`kpP!jBеg^Xdj2WO^MuVD}{eƐ?%fE4*-7Pl-+E-,^7@II } mLdMFMӘz]5JBV>("MV 6Zqq!/ENY  6t[4O4 :otFc*|CƷ $lattIJAYRJųPc".4/9A/. 2Gl(UBrWPOT4?@ǎ/rb3A֢Hʳѽft:.8FLe/J%}ÛmB,1+wnD[ŒK͊PwgOْ],DkXIF%vrx֍RoTdQNΛ]\pZ+!#, ֱ]H*2ymonƚkӺ3Wa}DA\ ZSN'mFv<;Peupp\:e(GY/1[sr?S!]cb^:guݚGr7PuaWl%䬡;?W;C)iCWRW ÎY!|nt ϳ~G9>T6HcK f]"ٖP|џO.J1~ṿ3oI&ibvwqi@Q =[*ʼ8:ҧ$+eߜ1Ucԅ«抴 ӢydXvU>Pu ;@ "j[]D6zѬixBbWբ}h6qHJwF>;7u&LxE&CQȋ)^5ʉcOEJ'**}(*~j#"^{HXwX mAeW2Y^S-oHCczYcNS@;$ʲC}=cd,%OA+k3bl?#k(q?c=2wLa+V{Y%S`p!HOjwM3d%wͶ]?TOLzoKKTh{6}4=yl}o!2ADN_9 P^J6m?puPh}Ԣ]PomޕuN']>uʘ ~lC<84_ DM|6z_Ý~U8(\4U3y1R~TH=Ҡm >j _ 2E}WwN$zk,fcj3!I)oq]ȏIPO+=^wmPs,AT<-ru\AVGe&I8zY:?01Ee:Eg Hj.q _g8GnfAO^ӀahsxP*8kQh.) #%'UgJ1cq< ThJhX}"b1Y+r.oʛN$K1 NcjfHi5*k3BOr~o}{_>}ϲshw׬wj$DmD.|# J/"~X :Ƒ]GTXT _icăJU# k 틏 5dCLIRGnaFSIbی\IEļ R/|oGH~Mx@dN?t_7zh[Rk، ۑdfFD7٩kP+ݞiShl]?A%Fψ]M&HoM2e9/2 hdeYޕ 'shưMnǍi'e*ȃ^=Ufȷb刺]C7#]H{3Os.zؔh*jR>rK'DhQ`7 .PuUQ"98T)5w!nl$fFztVc=%"RÛ^845bi@'xgoOK-?60+&/]nˑCkl`>‡;ĦK'+> V՞rm"]_=I,i;f pS!Z@B ! }ېJ=+jVk;-np>MOQ R_T w@3͚c&MtmtJVڪR>3uSl;J!tƧpa8g Ƶr15OY `VGK>RL_їS=eb=kt?%2.6 TukL%-\fxQIbG\N9Ȩ~¸>LL,;,uO˭)B@u#[g_ٺ'ʗcd~2n$'۠r> 4AJRq{%F"i# Br!xV~Ή J]68MbRZa^6Z]]>ՀsT+mn{AJ [YZV;QaL`@ rquo ٸu njg)DN;E|ΚظYy3 SxNؕQ3Zjү /h͉[VQnx"# /y`awbkE5>?:wU4zBsģ_hŬ1ף6{9p~);3t|!i܏YR®>N*Ҹ T, Bp5}C8FӨ8g ,Ǐ}S* oI~bgbrc1d9 ROC9-Ό%?;YێǵkX)cb$=si`HX'$G받$+H9綑MסxVWV>.WM.l!裼hQWB4j^oz::H?$>®1[Mہ6=^cRM^&;`O0boŒfkG[_%ӭ5 Q'31) (KGJ).0)Nȯ5^,K`HH"Ven4XMϊMw*xq yk*hdr^c?)-He< c#/;#e B3ΗK>;%m@6XgDz0=3X(X@d_ؖ1X,*yS܉(%E݂eMխҮ)׻j ˵6Jݍ Yew2WÊ,c h{ #zGfDDrͳy!u͟@Q\+NGd!CVh2hV\IFt-yײ2;sţH c~-4@XK1ȩ@N[PcXJJ|ZN\ƨ"zfaYEZ5J:Z,P^Əo Zg '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 rq9m6x̄mx)DJ9pxqY |oZ<4@]ĉ)Q8 M(IB]Ԩ{ lET.,qC%J?Zwi';CX&FyV'Ӂlk vh]A R]C蒕&t;\0`B'̤˒Q{mH$PcDk_ m 'C|J u۠a,@- ڎҒ$fIFIB7k"`2'JҗS5L l *{19__Wπs\g=VgֶKmZ+㸼[nɺ);fc ;0u4QsoƙH׳&S1m85'i/^)C8`*Qw%Tǡl{LḂ>%J,j+r)'؏puK:]Nc.X7R&3ǽyl|vL) ԇVɂU /?4Aj#4]:#.K /XCe",ʛ[*V>O*T}X>RXN33k螆MI >[b ZĝBe伏?a[V㌾2Z'?L̴jοQg.WXRThT?fѦ^a(hnSl<.>K$x ILK`ͪ31h @e gϳ $ $bx X+sؓ4n2x7nC"o2쒲63z2%칯YSJM T Yy!x܌1^Y)].8JՑRq r5T)*>܄L{iL;./>b\C1[`Dj98"Cڀ0i6I:6&f Cs- )Xd@D&" wv6t8cWEHG쥷hב~\Z~N0?m<r%q!tw?ZJГxs؅9>y3 &9{ bNBgYZ';# HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup7zXZִF! '] !M젗OFK?vV. u-\wfB^ ~ M=Tѯ\UdUC5=BgfYl₷FB J۱W;1@%ؓ#EkVt)6^UqKU$[ЂO,wD$À; !+M-ZChp]xFo{m0ufQ0X>*p]wSUFɚ7SI[ (] ͅM:Ѻ\JƾYq34|DdDNLyIs4s~qʮ{ "v9AS =V)¼PpM/tyz P艁/%{y~1ܷǣE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>4BCB/<+2c5Kpvu*ɑ$n%R \W([}+OoXġIWڏbYRKfp38೸2LnNG}.u:Oe~ ݏMWS9[.'k[>͛B~^uEno$RL<q{X޸EroP`.5y%wFwBx@ J=D}Z'2DY@w}="7ݢR-mt2,$nBa߱#Nהnj}I VF+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:?z",&t)? b4!=Rq}m@ҿb#?H/TٕG@s"ُ5IFk YT, ";.NDj(ܼ̎VA>PhuZ@靾*Ueb6~Qp#R]ͽ,b^7_ ed2iaqU s,F|ݖ0SWkQ !ܼx ]̿Q83K׼1(\ 6&msSE^zNc)5-Qz wݝ7s-Aڈr8Qi(.5)$02K,xgYcN(DA,[.DG"׷Wj0˵uS%"k{]B̟X,/i w8BmgO^Yӫ OFDf"L774"ёY*ۥWPжِz"1Pڃƹ %w5s ,CC{otc`+=x0IO.3(ݾ+|2$]L!~5eM}!b-.I6?0¿Z{>n{_&pVh]1HWN զ$?Ebˈ[%ôo_P3KHaBF3ުY5z2ŌWbam'x Ƶz,HĦ`[n=ú wHqMZ9{f*{bB4r1eP>YőY|I@ 'ݺUNSmЧ 9I WL;m%Mw? A%>RghԜ$[:\6)XzpAcut/23RYq%f7QRG<@u'S6/@p% Az)LJd HIHror๿XYC~9GxzTJBJNaQ?F3WI9p2.1 }|,{R t@N֊gYZ  'E% LHOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup27zXZִF! ~S ]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞BdE|X2Fek54;f^Ҫm鸼d@x[^p'(@iJ,+sIDF$ y!} ^eK|͂ PfG=w&h]bN D hKUa*wZϰe"P' 02nNg@ҳ3"H 찚z PƋ{@J'_b7Z`zĖc0㬑&;&U0F}ۖ4/=xs譲`X AAZTr]L&E]-k'Os!ƨkdQ LU %i/x2dSwS}P\p>px:D7SN^`>shznA!s$S_&D4b5)z$;YS!yMl]tWR¢f V*Ze!`]rSXY>dG@3:U}8c3#[cUnV6L:b^TR[AkV9o5=jU'ϙW~68B\tf eL<|RⅨ㉘nzD9])y`F 0i#",ꔃd26Aʿ>6xr(VhbrU\y{)m EX `[=s0~~x"oKrL&ϒkǜ-SBeZM`ѵ5B\XG2}6;Z^ZM^(r7,TZ[a4oC9!zWcm6j]Cv˞hit*P.i ^Xm.sD6(D^pO^-'ŀU n07#Co;_CЙ3a~I_z*uE}pt*2J?xǫg,9&,ht5=jY20SX?/ 8-!P?qo*=mw3>N ^L%>kF+MFcqL"籉[\sÖPbKRH<3ߞ Lssl;:֩X*V2 !hFGhkϒl7euk_ͯ7%߱nq4:z6FvyjV/ƅEI.^56 (#6 9h8y'&ȳ:_ VyR|HbF}hC1BdK3Hm1JؤHܒQ!f^"ŤZ?Y],0fD ߙvj^e#Nol=t*0E"85=] S~ o_G;Qɠ4=|XZd x` .q=pnŨni-OEӤ.`;EHM8,Ej%akBIpJ)/CbeͰ:9ζ- ؜VR ܍ȣ)KxՍÑOZ׾][ lKyCs@\KmlˏmDolOV֓+k~B?k*bsE9AH [`<^ۯa"rvgfPRĐCrmBgMUry~.gHY0)|0q)x mGӳofceJ\apJe} b0C#HҨm|ޱFn;V:Vg/sUˤpoG?Rn<)  w!ɖ.v=Omo\Oh/SЪE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd)eu!;Iu}B}s9&j UoMK#wksx:A֎`URn>*@SKQҮ4.dAlYh9 Ux5k\v9SkH~ԮJAW.{;k j3|pqUSLGZE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd.H9d1F5>oz1ծXZMLfyRt~Aƀ>Rss9S] &t >ME)r| \ Od22~,`|M!wg K9ԋqn!}PE?ub% #`n8ԽhXJtij~Y]ʺ?`۷r3 rD?/X>p/ў:vּki2qP"Xf/4]f_iT58<I|l$.f"RK@8zb"tB]> TxA4B*D8SQs5JK$ODs6¹ZQx>zR"y4Å2Acq~i)ɻ;B`M^N7#bg7$hXZ3!W%nA}GI7;{gR,Zwj^e{dPYJexSr|?Kʋ8!!Yk n_Zvf'3@cSyi(ZuZx {Ca3KZ{W7B15=ΟB y[ok[_!{˭Nwky=`XqQv>waTIV\ ?X߈{)HA_|rg!Ab!rN~Y%_^l0SxNnkRTX1 ih>Jp{eD3sgs _n.8#\1V2K2`^[ٯ4䡰k1k:|0喊HI52NkxI*kлKuz%v04W#+XV[Od"D d!j㸢ftC4oِ:0:X_Ą(LuJ^_/tSVH3cу*#8?4^k,{K ,MfUBv77cg:qJ(t8$YڿSA,˄^G-&<^wz,L$A[ wdEueh5J scvZx4gUЈM%=_Q?1aLl2:oDXg6a٪GZƉHńՀR5؛݅HL9-*4zzn`"ډ G*#}I#CRY$LaЧkjHT;12T%rLM&$ kSAQ ^|)=X C.psG6=A=B,Z"0!~|KL': 'o"-8W>Ƨw/f)!3YWTZhUz)Vs[j*F9s*|o,ɁYˋ8 M.A^b́2%P2WZSZoG (8SximwҍWmqww[M_IO,~s@>|2u!A% 'Û:*sBRX/AI$Gt ք-v :5rk0-l#9hS:V @ Oo1wMi(߱ZQl;\]Ѯ완q4nO0m9gYZ2zr%;~<T]| uw ۝=rp+ S /srl;Ĉ>~IBA4OO1C,ǥv% 컎h~-XsJ*깷,7$ U˷4"Kbp MZ0)t85,K6iyN*T>AK<^rs6&8##*%lkJN^x7vX`/w߇T-RB[Y3rzj\3T;D3 evz@,#Gǫ/ɮ@^.v&W`1bO*Ȩ=q^1LM>4/V/mmeȴP!dQ?)!focyn!^C.v3D>chai]b0{ǚMA=fs|.dzsۥ?ƙF9W.m|i8 r&cX,U{󋟌U` lF\k?c$#!HS8"'`:$tЭL._u-sU--^kr?+NBѿ]/ ݡkgF3#(k*!V6V({věM? 3TgziW۪ -NكErڂ72+Em[B9 K$k%os%[UhoL_ &ӘΆG=qm#ܭVP^& SJz"V~!-2CWϫ͢ =*\Đ;VQ5l:w\mv1ςȃZalj<'YE4"Hy/uZM&~d0lî@9uvE}6T~'n9=XJ 8ڣVr>ufOf mTPYdxقzNHOeԕ)K X+~23V |uExM8S@pٕ +9HɌ<Ӌd[#8pX*̈́:)žB7?1panY'-:hZNw.-Ix}MP5Xv?+SMŝ0+,I3gf{aV79L|<ܳt3rt7HaP;mAߨ_d n޲*@Ik1^Q!X &n@Fp6L V]ⷴL폵BY(;-Piڬsq0 )>dij#8;Lv3@C2?;RJO[wC * -#S4w)I+rs{ DBȘ f'wX #PkCUms;9wH7 j&PVo(P=6k gd mTFɅ_AaM4:'qosN/Y^S Е и YMvbOFe|9@K;(u ˮh7P9jE(3mqgYBJrb=422R nTSoF$(y=_PP3[(ޏ vw#>F+eʵffzd48ӯtG MP04C(F59f3*}X?Y5;~e-h52@1/r589a28r+ጊ BA&fFd__0i:H&jq ^Fܣq)9`/Clb>Ձ"-SU E=:fx#٣Wʰ?gIշ3@WLM֛WEL}řjoLct#mUhDkuwya͈%Ʒ*Gk$ VY@"-<'kBZ#@_Dž'+,QߍppPS󹜈ԭF Uؑ?JQo1C} B{u'nhpҔ2OۧCvUn'p!67 PMGZu+uBnN2jO_LʥKL õada^ ymsƷ`Cw3^f@^-EY8IWakI_-/s9pX4kVƲ֔:&]46具vA=Ϩ^DXv 4#b;,Co%dTޱc]'Rv0i$*:,XOTo);t/"8}d遍_j[!ӡ0$+@Dz)?q]B?PaYN+HcY6F >9f, 1LKi{oWRGT..P|I5B,zmef+˱k(?c||c^tSa V]HkzWKν2h'(N{(69{f,>E\WAxDzrOv©(t2yZ3.\J{IsUԎ3e\@lS~I|{ qPD%m$bJ7_]Z%J? ]kuPҝ (bo ,eLTZ3bu--GK;Ê= hٮGOnI ˴6D ~kVI-r*0noxXYI)`MX@yc$ > vN`X]=oh8A`G33~.Q!\t }JS)HFubw4l UR2Y}kROP..Y,P(=Cm{ 8gs/[`hG˲RW%`[D6RӋhC Bnm ^ox H62(BGCb? eyDAj.GQ41Km>:T w9"Rlh- /W a}MJ1> qOe<{{$\yh9Ft_|7Q.C]E%MUd2;puS/yR4eqB.ߜдgœƤDH6;p*L:?M<}ЍzYox* {}.6uP}$ĸm7gùF=vrB5"LU+'(WשEB4)yZݞ^pA&6 8H~$dh=HQ RMh+60CD-FlyVnba}ͩdA@F.~DC? lT'XL3 Č!5hRIfQHomvmAKV%%BLR%jaܚϼͧ/h~;:{$ b5kF4B 0jCpga;k29'majBLw_n;c S?DźtӼP39(i=1IQ&,Q6J&k)*]g+Fh3U-uvx 9{%_s6g1 -߃6m6ŵNn }2I+Ϝ@Hmhk7ɮQ_ /rl=sȓv);| ~q5XI"R^nÚ* crij3FI/Nt}ס[j1/#@']eajZS g@t`. ۗIJ!k4h!GfX?+^q#;B@F X+o9u08`fypxWvX=tL82h&o7@H ;P'x7V;ԕAz0QEgfl/ ЫseV FÂS]mzsH$yley/\-znCD"eI*w[L(wޗP/_/?s=πgQ|A},:C׀˶-* @7j-2OwH%%R< ed8/U6WfkZGcZNFnұ+Clk&x/[2vȗ DyUJbn %Uoe"=\|j:]7Ni?A=ױ/4[Dcf4TLOnVʔW$R#ܪS9C;/_Ha 4-X Rho1cX0>ұ7ְ\*AR3z\/ѫnDX\\ !Y ʎ .vJȡf yW.0M(JYQ3sطWO<&fWTۙIIl#{p''Cutqf2`wpYB}9 Qe!s5`TwsٰѳہCָ/>h =3$h WXSSW9ϙQ.Ӣ w5vيxŞ1CML\(f&cR2}`Q|^1k5߶ ͍{V- F+563u%Gx=!̲dKϻk:z<CԿ/XK8v-9QIQi=yg* 2px'?r->]R> ~_ѝG#'m*rl.*'W+俋nhoR+ AX*9\Y'" :!j]'H"GA21uo/܉O)&i}4QsR|&t9_?&\N'*rMh3ylq*瘋КeI!Y ;8e_];q*fa2~b J '$zW,bΆC46aѻDo;ma荭s\D16GG$$ 4;ܺv'4+@ba3Q`8`łAJj !E7r9Eny^`0KW͍?"Cwvu4"SNg ։wݯWj^?+DKR ʪrKdcft:tƍ0C8mݟ[2+Zw﹀߯q@n*:OP;ۑª35C2@NT^[H@˷O` zCgP/zd[Ĵj.p+S< I؏0f!v;5 =,YB((P%޸XH ZbbUW+q47)L N ³RFo&v>&P8 N #9@/:4wz #0q̳Ge DQ l qzEVD5vk-f ȔC%>Ⱥ xSn, R7F|=ۜ0҆xtjA^c&8=:Ȧ:hmunfz)" TLVǀim z9FG ]BqCaEʧb]}C~W?xR>! ۟rN Sy*f?aa ~Wya7'ro@32n(S~PQ%ۘt%ޞ)ӲFD/us!t/X*vɯ3 &K"NJrva=7X /|I_iG;"G $^ućs8KFěDn@}ߧGÊ!N<#TA–9Ä~d+xq&㇁(|j mv©7"C9(fM@xF!0;שtht=,&i}^>}/3 +pd;GY vʁa(;6B 8-8ˈԋ&# `e` l9;1O}7Z-LL!aQ"鷽z8<8*["z h^`n7%5A9v^*w QO;A.pbUYf4:Oq<z Kɺ$m)[ҡo;>?=ME tFQ ;ҤGQ/ JvA؄qkOÜ]a*k*3LҐsNN5no77/ǨVRJyj6]AR$\ !ͳ9zy읗EjM7wQTRd>|nSoٴK d!~idN3W)hAt6IOҥJ L7N(e?&*g?$K~Iʼn!(`2yئ*t+Lwk2(ߖ&f0-3I}>B\Soh@V^PiP_ 〴JwvN nM5 *q(\UwٛrIt16{#XNҒG<`^n`^q'f.N6 _"# >v]sry5T-oV relԒU ϝسl&ZE1z*|Dfo=%oԣ?N.l9kl>2ݫhEXMKsA:a5>z$i %l71Н0\!QB p*/*gu2>ه&cy$ [kLHiO_ &r}3=ӷ)(b-ݛa,:w#SCn%C eAjz@lSjs\Pj5G:Y"]^RܰFYw8Ȉ^ tg.s74((b A^)"GtP|WGPd +cJ8^gl[fƯm4F#spc|+/q!n?܌aHV6\ϗt]^G욠[)e{SӊkPd2oe*]kE6;j.U)b坋vhѪ;m%(5ZS<d̈(vуbzy wY{,s?cR~Bj7cRyɧn^6 {GquX[TBw6AYa'Yެ+Fb)"6~5 =j\Gjmûu+_+Xnq1 Lk9ŬWOsi/`.N:Q)!ʥ8X=E#{q֮NDIڃ7?FXזPkK{3b^w$EGq.:$ A)F+B܇7ٜr qQýC9J"9moXa[ M fwRXCŋr`,ApAB646a`YȣY~q|jWBvkH/\g! ևNOݯ>ܜyg`_+͏g[URnܲ@XQ"]m?%PMX~!$,H{" oNFS樵z^HCAW#oF0sJmG )Q3+T8jbDIr͒LpHɣ$hY.pեTwUڣ,+( {|2I(4 QQeלa>a]OB!~[֒[h\J6 dCG*>J&iS$lŧGrͯ$f]%T26pcapm+d:ѩΝ%Gw}8ЎOW:1mcDHQ?%7*z%%!Kw%dg;,bƫ̻+3E7j{5{E$>~Mk49SW^vwB 2*B=)ezYEe0͚Lڛ}*ffn`\$d{HF{GOž"3H?)Kp?`N-ר?h QɤsEe`*=?'X g7tK~ {i>@_)1-*u<!SN%v.JMCCLbdzzSK]TL%j@0b"q"ҖF(+ >QJp1툱efPBYa9qSP:;Oz:̔Р;|3PT;fʡ}~ BC|rGULNқ# `(rR|*;YMpw֢Æ䢯<TVL4waϏM30[b83c̴|I) r6 9^hQkuz g,vC>ߤ$ͅy2n`xgCN]AGN6 &-P Xbf6H.Fqj0kn'J<*)[xj8$seY,{<m؉G-FL S]d2b-/Wl1h=h>?܀ޘ&ׇ"!1 Lwl*wF!u"aqO_ XU0ƙ8]A1vF$`6Vߘca_ `p4^4cӠs.9t6߅CTfΟ:UM{(E6WFy|^? U֑5^Zqbv-MwO3j#xШ S=7|k I'sGM_p)(X<‹ >1ٮB[5Y-Ln*R5c|\c5b= .Ū|[W }|# S\A*[4jOo¹ӫu E73گY斥)GeXP?C]4״I^Uz/-ǒQkHK&tte0%F/t}>zA%-p/y8PineUB ?Jq~ ;Z][QwU\u2QcHرWDhw摾 `½Az GFj\F!W}\Wj52Gx(d[FcD;w )9tq?"hUwWb{[pfD|QyXЏd2 {sƕ6eSvC$eVcET$)5nvMɊjf(e׽IѐXͷn ڜ5A"^~MQ7ml) S`';`X|hx_]szt$|E?f>!"8Qo=m[rM1Q|+Aѹ)?+WH~=w*gU4Ej=RZ/Bv4+zೈ_ *O*2+2Zia #z fu[bEw$wf_oYwɎO#س.elom2y^IC76Ut! #AWHElg{*#ރ%tpJC5!Z*$hc3?~뇷akύ| {ȝk]Hƻ>}o^Oȫ5 ,ov)KW-#!*|ij?Nx;gw& 8k+-=LG8-E<[z%d#&<ly֋T9&I-_PMŠ,Dւ :Z7 !Zf?w"q_8mKuهc([(@].a $k=UafSb`vQq^)\.o XpewxiK sBAZHf^ߖ9_ B'HF"/ԃ4'T³ x ~}L}|5g&zAqxUªF˗U!}H1M6<;r^*i΢ȿ-&UJ tz^r͐4ݯp{%O!R Pux9,^ bW;[$[ՑQEzKx fV:TPj-s{~tzo./'9# |fp%Z4k^U[6V1\dfծmpcMAxG3Pu bΉx՜!:D%Jy0tb]OW,ơ>ItH(7^HSGeiܢg*7wO^/{64י짜Xf2!@WڽCxzV_̻]o0yj@[z܆{kb:8a:yqҀ,'&+ZI=mېd{SeAF%k0rknչ){?S&6$pH"'O2Vv҃Xr5+ JyOСq:?~v%mO!awvH{!52^dgdi8OU,s4̚#@*i@1bA o-yOvk Q_n Pyިy"s.Ste{80${I`NH!UV3*Hcr:q0‟Fz,z" 5o;6HpT:)Vm_w5Ȭ$`cOhuV|lJJ7eLgAnJ:xbˆH؇Rb=hd%(Ӡ^9i`q͑BhY ɁͿ skV1V{34,ܤs> V gaUaŬ!S)(3 &2H!wYWr: c&M6GfoNn15&@WA&w4?+qm>Pu,e1h$`@i,pZhp<wT; |WtxF{%S QJ ŝ4<9%%l*L;s aע)H |B(M=SR9뵤$W}/5X|L oj1GtQf|/!zw6ka8Pb']"qS\=QyT+HMz2&~V9\=P4rvftц9 -NpBw=LOl}UC)=τ8DIfsgQŊ{ꎉ|7uZ6{!\dxb$g}PR8+/$m n44i;q:/`(K0 ^{zG߀t䣀%o ]*}BlK;W )UM+p#i%SfyxB贯]-˘ ޅ'|U8*Mukdg˗, &.V *DžIˋ\/o rjbǫ85Lf2j{Fu͇s1[xT1VބR Ï0 pE~X@nfLzuAK-̯YuC~]&m>2T׃ފkܟ?&4D=闻 %Nc9O-;Th?q[Y2%[2`E ;Zdd$D[f#X2eRf EY^.NUQ^

={/ʌlH։j$7X ӓzbuIz "{ 1of%8=uW-rη/,|LH![=7o K.uHܤݜC;DOjwE~p^BWSý̼ 㥽#:r6el(C)Rut!zk6Hv ոj՞H'$~X6SD Cfp3^s4^ٺ;!Oy(B<4yIbt!S#T/_L,v4]`me| G3.{Xs[=8ĮJM[rHPpSD[ы\-Je:YtuiOT J QM2 @L%W_\M rLѿ1Y {2i`}3{\>P?nXnRL쮲`Y\Luɩ2d K]<}ʵvuը=TPxB4TI|v2r0Z{AHɸrr4hpS ^n%;ĩ3;CsvK >wA aFʚ}GǺ܇=ݐ ӘMᬱ|a`@݀QR z82U]Ȃ lRQj:ػRo>'xI<$u |q7oTdef*\uZƫ~3= ^CbMz 'ؑ}'Z`ۖ@=$>fl]C9Th}^/m)5bd@~TJWf{pmWݤ|Fm$^Cdh `IuJ&Icu45&m褵XOСW}?x*yԫe#L\(SH>j=uJ]-'G\H+*m H[k% ~<=jb ų<ZwRO0Լo|oTg}k{^c4=Oqp@)=rnlufЬʖ m KY*`mb)r/1Tc"U^_?nvWLXKnd@#{At]: :Tn2'0~/Vĉb@#bI~-έpF82 :=1=Ů5<\ۛPXn9&HLTh(Cac5PemAjYϐha}i^XSQ ;! `Iu3Ԅ9Pv%ӂa]J*oMg`>< ָ47^\JLs0A!2^Flfukv[tә޵DX ԝ]=h6V[@҃sn2st͕5FIUjHjvE8C@;w~"ճD^˃h>֎b7ُos4(E+'9\]Q] cKPHpN7[QaqflH_ C&Z#65pmD &k[N#leGhPѪ!|ecDX&) QruK)ϧL߂nSYc7!G hjh3K -Z@t2ܓ2Oy(JMB pry`v:W&ч8 ?#zʂt}1 %;ڻֲw=B< 5O}1x'd,7vc>i>A`ژY1ҮVhŀiQ +Lv1t&ȜmVDDyDYjǚPAmEkM1b]fު|QEク8/) o8C/g)4όlYA_lAN;ՏO`\QE NY K@uzrx%FMqC`fTI90SEC12T19@ZQ /FH.82vX⾝QPw)>.c{.Om $ᶤh3rTBʮi(1$OQ f\ OĎez*5'DS7}ĚO[Пµa)jqd:DqMJ{ЫbH)gv Ͷv9gF@ovEQd;\Uñ(Q{{DF{1zlɡT/zn=v:N\.쪍Ӡѕx> ?GV3ŌG>c2rFb a,xLӰС. cWsZWq2ݜlF1_~,I }Bfćy]I ťHt>B5b:?^Ͱ\2+5h2v{H$UzYvFZʌ7H <^VQtT)m!&EC84:éHM=US"q0kֽ lydvlK(ANt8Dl7RY\q_w<%0Ҙ>?0J\g6öMBbU|d] w;x;HB.(B44P"p8$XPi@C_xsKGk8dTlUk*D`7Epw>X{ 2ᥭ]Vk>}p/ 1JH$eεVYhw쫦K!%jq3n,yV_aL_BI,3m".GdˆS֓PR\YTqō\W,s7ͼHAX' |XveL2?[O)0%F?^L"1efHXAS'}+ԥR*#x'ɛ]:DU^Rm98"՝Fh˺rG[Pl\L;O!O#{]LV?'8l3F4x[j9_5j  wFQ<~ Ov+P8XNY,Ʒ G&w!6Rq\ʶ@@'@!&loEP6>OJb\(rc|a(s 6|/Rl yҘ̠5tQ|'V(-ƒw}-j.D1rAFqF5w%~AZY*2(ş$@bZ4p v( E_[ռvn) A;ZɈ!ʑuNp|0Idx2 hsbٞ[{HH3OT©=۲a)rR̥@ m%. Qjx!k}XN ?d])\^L1Ӟe7H F*Z+ ‰0-ܡ+k3/ zҷP-`[aۈ,xj?p$ک"n˔/.*s)lJZ*LK[LZaFywt[j(Z/%J_hdϡn}*ڤ1Ei}[(% %q.s04渰Sscʍ[)CO0 Z T\f2 wQeppBwŤsѲGBMPj ۙay^ZY^;`&:DgP/VI/0iv5KS!?pSm ,d-1:-O6^6}Qnn/ .F GqL@Psd߭R681.Ȏ{.u_Y)/q+B!,5\gfwWu|Ccá0҆rWIͲMŸ& Q hx>#7!ck#̰ \:彿 )Xa@fa$琇ˁ)ˤ1A;|&{܅POGŢL!z+{DS^UU"Je6sC.$FR$r BvX4L٫ e% 8CkSsN-0]y?mO_5BYf&nDA._~3yg$yHkڜv!DRXgЧbLV X2 _ЛvtH(8s =ݘe>}5qJq(ne2d"!L9OtG~y^iԇq$5Hs 2J sRbL/b*R5N1,1Sݫ'>Y1? Cr;W}^ Qd^`'?mR|+" 5!ɬ[KxэoNz+VR S_|`AnЌ4PJ[EAd.]JK'f#/aex0EVq3L-$hf 3.mq~P j mW'TQx2b+1^ nȢIP^fE+*M*5a94NGL„LZRff9p ~-[ewMQ{ dI{ 6xw̧k9 1eNnk1wZ$VK'K,A)WP؜/|Y=ߜ~YU73wpEUnq8ӖDHTu'F"N Zl@-~&Q{E_"Byk5E =7rq#V8*QQeӂPD55 Ӛ%Ґlk~ 29/T˛^>aڿDI7hP +{M [ 7ղ)QQ&xRPO\si: :{g*g>{:FH"6:y'`/zWxV26DҌ!<6E^a)M,wH!4Fk6t_"SfSn2.{"0ʴE*lh#5"wgT U0Y:s:7DAt O%ׄT6GMiiP_eu{2ደK[ІC"/2|Ik7LoYVaF4T3\t󷊜<\p. ;žis-R6aq 1B%C  b&m`q0 *|de(2qE|>^aQ Uǖ+`0B~4M-xXw`H LLK uL ~, дT ߣxR;4ba<'=8?ꎎK^ ,NV$HK7lyeVT?[H[k<a@(O6mo=\lJz|ܖDBdO'=;G.WѺwjU-h=YaB(`t8?s'71y3345AA;M|06CO{QƗ_yf0+F8|(ԡR5}u~1W`cU:AyxZ:Xwz`Sڑ|Pf@]1-/{ ]7UhXƲ%m&~JL~SX -V_Tzl#91CH Ѐ( 1vQ/B?WϚQRڊcՑw" (oW'IXiYG_Q?f,XiLSp4swŮ|غT x3 ax85ҏ$(NJ<ЉJҎTr &m=NNͭWdJd#rӟ'f"M@۴Ak]gYZ f 'E% \HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup57zXZִF! ZZxf]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bdߏsy56OZns$_5ݏ]dhl+w}d<#\'5?va{Ƞ*C'B,? 03_6{0es?̉/NşDWM ѣB^`+!К[ Bzz8iҹpEWARa4@E(5yH_GiW$n[nɀy ieZT@sq4pŰ} X<,K ";KߢCpokVNeJ5Q. :oE(Eů5|1H8`i`2VrݑEz?>jHk"o.qşS[4)(FXlOBnHi\zydPh WNL8i==@z`vKƂ E<~Q~֮kmŶM{iBH G,vZ.7zynX<[GJS9W*O(;GE$kEarz#je@pi]Pĕ8p,G0mx}aNe ?`bl$WfYŸUm^ACi#R/m{7X.}4{'bOJ870@WbP*O]\v7Pv#d!1E Ġ8$QefxxÛ2,h"Jtʹ%Iߥ= %F2Prʬ<1{)ObF0mZ<,r'9Trb7`*Z\(|4MC.6A Nƭ=a̮*wvP 4V#{wM D&ZdhπSUX kʚ!a ~ϡtN)@u{|<|tqlQ)ٻF%y v{dQ%BjmB6߈o *?R;,|5:º)0oF-V :W'i ҲcJN@C|v]A6E{Utwy͵O{y'𾉙֌.4o63=7Mՠs\i礟ʆlat ZC`ځ}X*΍߇#D/i|u[tߜ HM3鶐`M}l*p/҂)u^<v+y}>K(x%rGVp,v+@q _PmܒI5۶s~3qqvp (M9S^ %(7+ƷUlZV~f  8E- aM|Ύm'IM26QlgVGX3G ex>2CZ @|Jc( Ͷ1G_mVDokjUNHL#8sʧ`)]Qev֜Vw;CcdM0t}2mp G{c *-s` 'hf0r%+;$|"׉j;#҆vv2*&9=ٜO8M::kr &i3xT=ļt-Pw[ p )M B0O?o|>/Vw=~k~dVQi*,A.8, .x7KſuTykk҅ Sio1EK9g.fǕSi~f8M]B\-l2١qNYšR>C,ѫxiH䈏<9V+>#T΂ |4yILAk39sѯ{89=-F7L\!~K$gT9IAB #m%*'Ee8FGi/&~Wu::Dss2JÃNuP8-%<:9<~K ns7Ÿ߷{GЏ9诙s`8[yduNp~hqaE:HRWzXM;%skZ\f7` TEJ%.܍TWn1y A]8D`D5ShMB:䄁G.K䞛kWi>gX(o⇓>Pk钓P WVbAQa:-~(~-A)1{ Z$H)\jV%30(w 5C:4*Pbt>)b)!PILk3ȥ>;|V D/ULW=hRt0gzs@ (rյi'Hx\ DzMFb]Ȅ&~zG :QT3{y2gd]^Szyxg^ V1VZuӳH]l_~:: I¬]@Ç "%;W Q>d Ut !Wˎ;sw{OGd:ʝAzOrBF<o<4Gp E$}w3]a_߭ (3B%>K-qH ;%fIE԰@'BDG[t ?;@Jm%li9z֚٦^_ jf>l/ǔhڬ6$xCL{yqjx'BdHݥӴ, KG>Eyg`*i=ؙLDS$;h= 0^1Y_8P !׍tRpr #8wpôxPE 716YoìQ?FwE*G =>'[eҋ+I9,9/KZN"Y2P1p}NF́d{[e޻580ܵ%!_[%dCE1}yة(ٿSk}*AM3,klNz%ן?GI3U>;wKJa З:uaVӓd plg %1)5k>>͗9k{2r d0@x ?f1R(=ۤ"|K|ݖ|8t;_<gAMiPpxp!Hv+UCz:)(j\R8yO+l_,h!ZEngl+1{pvlS2)(7E]12GˑƋmId^B#y]Ye^g H%#gp_\<5c,8vYVk8)Ћa[emiSkk]akݸW&Bd(^B]NeҽR h_ۏ7ji5-̒Cђ.AuiySvvUKLT#|U7Y]S+2OΫ9eĕ|Ȇ ܑnӂHGj|a%IN]!Io͠ b8>Atd4^a*^#,RUZOx)xeUcmtϺ$7aZ QMz*aD_wɔN$65^s$ %ʝi1EDvJ-&I^rH *B?.P=$L%E/2##0 4;-ClpEu4y3t&HTC&l"g3 sXU|.V++ɒXh2Cͳb5.E;qfFzWY׻uhwG4Ej);RϻSA4P; g,ѱOoqrtrw^zlMMB[giHJ[&>xD2Lm`('d2@?tYGz_WwDR(^#(x&ӡq+k5oZzo"g/~|0e.q~ƽ:>4XAa(w;[ÆÈb4%Z1[݅I ^Q? d$ \K{(8zEU+p$5:&N okpV9ޟ4 _tlFJCk 9+A Oi:vM~|B)zhrU6Odbg :+а4W'"~[R " ߾uxGK923}ROL;e;44i|cn}{y`Oy,&ZNcab3o;E# Gjk*WN@CPjYD)wt=à8V̪xJI5ԇ/@U)w))5|vyOgK"wPwCr2j#hsJ5{fwb$iJ6}D}ǜ!#u ]`2'Q7Clx8P1xX:9/m?<؛-N 'Q^+;uA|md ZG}ٵ~Fcw $+ۛY`.M;1%-- zĆJR'^q1D##,Q5Wr <[BQ\'W#꩒YAO ܧRŧCLYȳk`!㷈|rKq4K@`LSf‰\$Ì0}$# Eg"4uQ%)9CqP@~tf}(&ieAKƢ,"].Ho]}R.JΥ.?F43]=v.,*ix@1\D%C;i#^6@#R㷐 odi]wnkG`e3}ۖG(ʉ-Yi{zЌTsR+%dx:Z׿[(=2O_ܽrWa,;*Z{K|s?epD/|v+ދ K>$zg]NM NFq8c%&{BL wKFShksY|x¾^=4|˺SvkM߶G`0B&)Ch$|: gFFVK2&wqx"z Wϩm2(`GʡVf3$u2 Yr3( X}(0-0sߣ._KZg2)q̨x2*#VθA&vR* S+f`baV c|3O'>re|`2$?p>cVk_jVJ 1rgcA8ۡLj;¹@c?pp7wy<ԉJ hIH2./reشS;)*v_욨îԉu&| dTYiU Noލ0՚gF(@МHXosrA .BjfhW.%hJ:?6G{:8C)ǫwo׻J}I̺ DKz 嬤Z2,BI(4vSbo.9j(b$%SV)Yރ4 O|]QSTӀ6Z1 D*N^--FJT"]q3IJTHʉho'&wRUJb" @">E(:r \ixznO_4~bXNZa0Z" HN=:Mac(svl"|}4o˶KW\WEuV(nv=1EPǤ7 y{ 2$ieo=~7>΅8?|mRHˢ`hTD5 FAP؀%z%l=>jd ) '`x# A>F,asԢIx@KNG9]O x`i9vfl{`Is妳1x&D .FB%ŎǼۛO*̛]z 4 tF^.45̨FP(`ddf-p_ɷ5hkW@uұ3.ʓ{悍/wH wd'P#*9 xnp cNCDLca1]f+ɡXM5qB;:⒪k1JڗuyE`GFMG?AzPo}bs|NZH/Wd!-[ LZ nj3O9? " *5{lZxڤMV"*p@-1trnS!=aydcjR۠,SuTf3DO~As/X`pZHctpo.% Hn <>RPb~VTJ _)ki %pu4r8I bL2)khũ,)f{"G&D֊s cd.|9z_·rVo.8$WpȐ7]-WP(Q ixu1FVjz[]fE#1ePU&.*6S5X reeʭ5oN$G DD5E-A7/bk`hd@ޠ│׬${506dP.*N^u$І41 Y%p:3󎏬Ć)' =%☲Tf|ϗ3K^D\y-HS;U8$k79ܩnV&inx^2/^̛yBg_~j/s@fbve[6:\ -i-tEKLH2f H& >.= H΢NZ}PFQǐ#(A>ܿ.Xq":>7.BWdQGBdXG"c¿lFFO#}GHOYt* "ė1ӹi.Ҵ$o=ERň?=vTd/RV" 9iVrي4cэֵCGd)FjcI¼1hTS/LZ& '8i 낹P#٪"= 2Q[^)?NL9#gc_h1e$q߃'b*:Rxu0uLJ?ťJaԱ.m7*VƯ~&9${݌91?%%vkA;=]?o ԃmNˈB_+ ^k66km]"xH `,LAJC V#0QjHnR.URwBkSA:6u>9_|i<𣈦L)n 8e8lPNT^ߕ xewBAGhFp>_*9aXl.rR;iC ?ȊrC|zΚ`p7~Sk5v=9XSjDws[$C7fHۺ-dhH {,(3ѐb A[ndG<[DK<;0)*ge)%;'fKL M%AN@BhJQ@zj;9a%JpnKi Y50܁TG>ۅ87%`f b gf֕zJz[" p %78[-bBV%:5*:X "k*5Pȡ%IU%m] YpkIAEY?Tn\FOLiu`)jԺnbjp@V̦^ϵ~k_RΉ'1*)b0<~T*6u/~n'% }% <\)) o΋328Kc8#*^oeP[1)d#QZBYCR9mq >, r&D6]鰅xQt\U 85A'=N?GNeVv%8%tGjA6nn99,e7((1E3SQ*99Eهi4/V>.n0rV[>cY6rwH2t3ٕBCR9w.fuG2Bi)~oް_^vG?0I']t*6f#J U芖̒&XC"=(V+c) }}AzWJBTAw$B .|WeǏ.g}݋f^ &| lYh&ߥ3*Ȅ#HeM$\113K-JP#Ιu&b;NsHQZɈXXFN@kM8iBF>q̞4Zuؓy!qJ o h,A$ԍdLl维G=6$دtuL/A{kB4nB*6tRD E]@b> /{1NxjPyWŵ( A!wE)H ֖5OP؈?fmEQo -DDbkCr3ɀvr\]Ps-gYZ ?C?'E% HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup77zXZִF! M]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bda" ^YCk#;ABXN o_$MFF"SeUh(]u3N228qBficDm:sNAY^9UBR 6sg鮀w|-ɶFC ^0%lv0E5/Nꊂ_>8 ̼0p=P4F$ r9I5i]62 AM>0p.JVl'!R)¦?*9`/[4yөA%^Lg }(kub J,?Rdy'Zj/Zn(h)EMaWڙN|DtHfBloˁnΖeLgh u?qE啝KtB!dN]{Q;T9\{eJN`4)% P*H(#cpSM Y^ex逖‘xDV8ZYqmelXqW5y.9f-ѵ]@䵛7iK?ْ)meפnClA aI jͤ { ӰΓ/#dzF')#]J!A*ppHbI deKڤr <8!zG+jFR2$St= !eUX:i]lxR}֠"G-(}GKӃlRd-UN3b:XNޏ'prq!kL\ "S1WlBM<w|1ũ2웝!{(; %^^g  BDs`*h;1 VnZlU{f=橑82͕{9#ƾ񢃃&I-jl ߶n'UhyPNL˓15+ãݛ^{~ PR]3S31D_l Ssx O?Sse,wt6ECZލW[̬0hU8{[ЇlyCA-9כ<qƺD͜2~uzamebz %nP'V.T!6lƀڕv:I"\E^ sgYZ. 'E% lHOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup67zXZִF! (0]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bdߏsi50:%Sb_^|Gve-E.BM/L?(8w#/ƪ,y@F9NeDOXUpqBȘ#f|Zf+ =) Kۭ|I)uw蕂S2 Z{1M^HGE=|FF%:p 'fESh~EE_Dуy[Wz܋;Ep3WGm}B 2xGZҚ592 vNuVtq{tP.ԄUzNs*n& 1lq22)d[lCw-}}h7Gp-Qv_?9=Y5_pp6h)iw\WqRBKX+ڐD }uY'k>"'kR5]}0Rbn'HD5~P5DQ[űp1 hHJ4 tZb,sۿ9LdvFFd1`iWrڡdRq=ZF!9)@9fHVCVި> %5_pT2il*ximO{j{zh+%$8x`ٵo QXgpOh)%A~G#ȃl4phh_?nl^̕bXA饠ڢڝ+ΏgԊ|DIC=t wdXNES\o ۞gm4[x?xʴP-4,#H#"1|̧=_b>n+3S: 4sMS <0 ʒ\u:>8-b>!1.rb DG|#+T3sd%wŵ_: |7qT2n*Wn:ת]5cx'y!o=/dDiGaϝ!!| =S<{%g5",I߅-~~\ۡ;EܘAq*{-l"86iAҒ ]xi4RŰnRHjD~U`I)*fQes3) OݙAp6AO͍\(G|;]g'NKL.g@yTxMo̱>;ӟhԢO]qR,Lp'Bqh2zUղ$O)7)A{*eUb]#nqw_k+bA-Fk  P PJ'E' $HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/messages7zXZִF! ]·Iq n[:|&[zXBdtnDd%_IU!/A;[7 .֫F,4 }BE:I+kho$:HD{]iks—mZS]+Jg/ ǒ)lE}S_zr{EUaW3_NoQn8 :/:EJ$.8y~2'gF5ECҥ}7 2J4/R]2'Kp?,7ᴘi0/C^܁"nH?PW U5KڇQ8Um!d5p"c·EQ`RW^)2ߗ⵳A0lOoܠo6EZć& k2,xx) *,:i7!!(&.E:^1o)KE9Hoqg<±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[ hLp 1q~rF6`7 }J| pH3w,NZ?a/Y?vs=L;&: D79DEnC +d5xJX2