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  h'pl4t ]/]HOL-Mirabelle:threads=4elapsed=0.810cpu=0.904gc=0.0007zXZִF! n]ŗXiɟ{Bo>f(+ޫ*gYZ7zXZִF! T]ŗXiɟ1%" jr&,-/۸nyBrW̶((t @Ox/}Q[7:(kAP1p]]YgYZ7zXZִF! PY]ŗXi%TYTg JDoYLOg)t.O=>C:呃/'EբY^^_9"H 㒑pC [r^_m}e%^7OzKus֢40f#*ǔ4 ʝY2HB]o$ÔG]3 n4x{ 'AFSُ0oB϶(X{D^LJeGLRF^hOŦ|pkj;9n =|%_7#pc;X7\9a&](iHA>ݸ.2js''DzlY*UND( DpUUSϢ"ޅ??+VL_QZ_z*cȉrWTPE= hYzkpp:+\ǧv >u9B5\^^ṺrI$m9Ar8HCCnćyFh9kb7| @d}[~xD42>^8n vK%tvC ct05(57BAp讒"Y7DœғG4j=`z ɸtA2Nj*&,uT:-ڠh^gYZcb4131b977379fbdfc049a45a558201e1b3f3852a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b1d38d4348bdd52e537bfa81a71f0486648956ec5 ' 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   Xs#d+x`[?X*Ɵ} eoARkxM 92oC=NG'̑ƂFMڞ,<;M7X#|jrrZd /2hcKY@ py/vS"yȀ0bڮ-5y *YF)RrtUY};#As"6xhX1ʅ]Dsh(tu ZչqX+_>n%0]lDv{ٚ 7]}j: X%#>uUM"NH)-[t5LІ{lܷɕ3W\뉣I.W2(͍FWE`OD9 " ![l z $8z|4f4A"%XaG0 a[::Go"p?kĚhCGA7ԅ?D5xpυ]-wZ CiȄ7dS̬ɳH蚩W/7e&:IJB%Ot["Iy ι1Ϡ9jQ`wkVT?FϊYZ2i#NjsB$l (Et~:9NJFc]v^dcˆ|6ɘSzHqoY-eAM_ulpi܍咱 poF@O-zR]cQO9]__sE^(M#3"xn)Vowf+ 삀'RqESq8qm˂|:YLyu 3 ؈nΕ"hɀO zd,F|LaHȄ; ^<{$_.e8[X6ch';|Nո$O"j, q'~j }Q'QMSS#~CGA{F`ZtA@{b^SEryg>[]VQȦ R?|r$(6.OD!kZJ1kPAl?bq#S=Ww MX Vwb {1akHҩ`vxI3N)'lBL3˖75[,~ bǼQ(w/o$aII G>3H" ND(Z)Q*ނ&R_X>h;d%E吁Y!3,V12rkHE**#]VD>uq0m_yf +HY؃𑻵6'0M/jEq|s7Ҝ&Sx?joq6Q>*9ahqnmDs);\p4c~Dqa.lIKX|,  a`A2=::3PR䌈٘tAEZt.7pdTMNJ)*3:u~kN EӜra(S`ʴ/6PYXlmęvi~^o~ 2@cW8*2_JGtE=~c`)[QNscG(8 ¨z1BKs'b<[?K"_,!Baɣ=S{ZG \[X GGiĀA1;y9؆RMuH'I[1 >~\~_ќнsVG*?Ɩ$]{re%ӑ8w=AHllK40ަ~_8_~OO_[/0]2řnk lJ'0ǹe9AS;B8ǾR +̣^ZearVr2mG-ySDuS 7|^ u PaL8c0G"jɳ69hhzv<^,3vϹ8[KBS|3x+mhgcǿEMܿ:/FdQB" ncĪ–XiW\Ѩ>@*g>n}I"}@1Ͼc$ #k8moݾo% &\ðwIdw.e~ slC {+&:6:YX`@!03:EބbIGhLY #\g]}QfZD3 TUr̐p; F7I_-77H@߰7l`o 4qsD7LXsXVx>ZbI4s=?U={DFzg{%Nute xp>2V`5tUCoH .3nexW!QC'"NU/78E2 d`BVvF69#ˁV8fsH-]7;k"Ԗ~#σM8sQ5nE1YN ;RNK֎k`^5HYJuLHQ{'z a|;{QҶ"EOݧ5FYb*s|齱6%LQ-+պ}S΋k]0$rz[j`|~=ꡉZueI_A60%P:۩A(ZϷ&H^5W[>*J| "2| dk{u;v?[7h]OsJF2bl-bBC}'̽< Iޙ'"vm4 jT}ZٵM# \r#F#~%Ūsߥ᰹g}nHJ)5<*T}Z`gl=5`X4Fp #ޱI'B?V'K ,do-$O$#\\g aGҎkc fXHyꦹHߔMrjR73Ǐ>#9ch:׬KQ c՘W#!_|g v UѪ\UlUx.԰<%b[*G|xK9AqpTN:#-/RY 6JJH\`gr^ێ*vakZ:DlX>Jz0f@/|#yjo_F)~hj6@2}B7bX .|;"Zxl._F(P<5rh[/[i&E^DUBwv]%5s>vVk;9'չe)&!qj, ?A㬐X>Wf5Ώ9 xccoٲV{E&|7JhC\qwi2 ŜOUg9K帐^אݡS^+<5\|xpbɊu 7ŪRlS6_Nb]3E'6/s<F&e޳oܲ,EU=Ljo˪:i[^N:e!daCф{MM("&+·zʘOl`H tiG6Ig˶]ݐWֱa=զf1ڒ*o|m,!'L:9h` :!,q&\2E} 0G8b"8Y22~<̚78xIʤ/!QW 6ӹXtHLWJx1{ WMm[%#{#0in7/r6 V[ǖk% d⦦;L{KYwLoU-4iKt@qn?\>DR 179cR2BM7`)pUMMRU@5(D06B'IR0r@,T(xL>GB2Y:'\Tav/ժD6 l[yeHZ *w04۷zIP\m~3sEhD<h]ZI@7{eF=0G33ccqsmփa+5u|C;"3r`nJo_7O1}؏`z&Wj~ P]FFa#BK%6AjD;? SA$ ~%O6 !$16/!1ɡۀVkkNƯ q|9ܷYwYUA*9pHG L\/]JT 3Ci#mBmk)>ΜypXCNd.z;ؼ[_)]O ]jU+}:q@UUwHl3ہ` > *I!zKs^18>.i(:XnN ɡTз3Ԙx &_&I,9ּP ܛJI阫n5V~5 _etl7—wy4K"^ H! 3|^6[7 Z[]~hV0hSդ&܎8 CwJ1]M2蹾O!J.!S Teg_$b08Q1/ G< @/Ds47Ztյ6i}y3:|d2{oqUhTl\) ~]9|6|ӹd/!G ]~3sj޵A`#˖,62_f'W䞖$;r;!QcR"sђh Zr$ǟT˹ t0#cXx .76иtL|^sN݇ܩgE~ LO)24]k) mPӬ3fJKTW3QWZ  %0fDxW«?ծI]b#6?&߂vf[ j?MᇁWY`7<#~k`ҥTe#%p̩؎g6?>j@k*jyk_EAw97*e)=MП7=`9U#?pW! y6۲ho07Ne g/[Ubȵzyժ!mԥh-Ru?60FDXEaXD4Һ)b\en d [vY_S8UlpB'+yӶ5'r#!# <^PESm@sC,|'-qr!Jҕ@ɓjkT 'vSQ@yEY-]r8 L}wށAՖɉAà'4Q'\ń3)XCt#C}$3>U珊O@Ʈ1Dh}4g(!B*Iə 7sCe12Bch3Ĝ+_R geyq9?Hk0ijTOթ(ҦF5]4LnᗣĂ-j4Dd_N̾',HYlc2)Dɳ"{"۞ 9\8MS\8efKwNyn4?Í<2 d`3d ʑ(.Z <$iQ#%6Gl}}ڽagD,(VYps~?k_jنIENp*pnV7X _ٱhqCHOMR,Q3+sHi5~YJ0zCKNLBCޫDI%+' 6tqy> _!/} 'vaWR jކKJlm!%how&KM R v <җhI/쒄F -ڳ4yFQL"QBD&\gbf^&ziƑ{p2MjCHpM2 1+H;C2 h~% шNff-b *` G//bހ0Rϔ¶s м  =? µ[<^DGH? |v*tS6L c[h7;uVٵdOy#o۟'  P'fs8F̚Da4싪+18#ƀ+M`,gݜXunEP?j\@6}p';-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   ';% 4HOL-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<ڍpo0d+S,x>B&+!Z_&G-w+V3?)'ژ?:2".S U ͽg$_^]4,*Z3 psZXM]k<҉A >@!P~9h}MVDEB$ KAxFO#C0Yܾ(g[[ DR>cs!}=B"u€O}ˡN )!TE$|*ӏlS<}ڍ6 ;a7o)`' ٨1̘} l3W?2UKm鍮}}ml^x&_ h"wUe#~z!dɄd*\`^tr m\ƕ9T. I>e^M2`?_qgKu{~ n!;K{εA2䪒 :_G83*݂0O>b7dˆ[ܜZ;j_Ni6f70ꖲKSiwl׋bB1K'.A@t}`Gp)2$?OywJ#Qg4J0ن$`G4oS KF-F7i <0˖H@'o O[c7`ٝΊ_BW`ʆa6ȩ$>8Qmh@0;Aulh *jkR\9hgO\Fq`(1xa/Yj'j6.lnLjv+n /kwݐ|'UorCRk_L}qv^QY,nV`_a-dm²yKS!=LE(d'7d6\o˧ .YIV!)/t|_0 '[טZүuwުo($N&L##m1SwlEcU=c1ʐ|HSd{mN&ښ1R16 IO~vP-IXΆok\d~{0X Az;Ȍ r*en|0!Kul/۟Ukf&]ۏh5jéŢjD dl[2/ᴶK#{U+@NoO*|VbqT3ސX-̙X@,[+4wf[ew>>b D_inCHU?T=NΓj~ \27<=AЇe3WU,rwB"!: P0a†.t.gI:yiQmvN|'%L/,">F> HjˡKc1, %lLg/UujCM:gG{1ÕMmI 䞖dA l3Xm^/3UH+ k172+V IGu|nin/6vASõdM\ #N֗r6IvsAE;ȵį3':g Mnzt0SߜcElví}*ܤ8ͺ-ú@"$š{ƓIcKV __n.~*W6L%8~p`d+]4,G[avӌ ZuԀxcFj%";$g;.1߫U^<9ґO»LG aM_Q~gk@(6_΃: Ս64@۔` ݉gHQ?nHn˪"\6BrO.LUVΕ*=*$t% Y 3S%L+m?\/;lɶ^q'+:Gm:xܨNG<]ˤ,Pr+MK?H9 iIVvo0nڢuJz}'걑g|SxzHB iӐ":Ց9֋v 3^,ҸCrLؐSZsV2MFELL0l'$3y@7:>soEW tD@+uOt}p|Oن wY]*47diɴpRuʉ]r&o5iCvc֠Pnݭ}_3\3jp[Z3 KLue j.QǛ#w!-V/c)4 @GZ4?:Kˬ k[R⊤ET.#<{AJ.NH[\"pʈ'F3:\+J] [$2z*89~B}笂bֳ%Δaj'0lCLϸ]I'$Ĕ)|s"EYq 7 NPq1irZ],!O e\sAEtPV֮(A!MHY4 WOx Ў|8ȬŐ̴Z#{?zH`μiңnOA$&h̸ΆX#%JDs}W_kwAJhCyK[ mXB;Oht~3($+C ɛBwؗ&eDE:0ze>g: yJw+a(]nY-o<<@/|-`l0F__{q`_iXo$6Їބ^m/0@4ӪSs~ \Cm.ǁ~Q8twHfw&i2M؟ya)csU}/ HSb[1$ ]=rm.m:c]ܡI^x2Gظ(D1g퀔Ȓ_٣w^{`xsF[6n%X ؠ0=Uz8}Jb%h{%MM+,W"4ۛgWMZRww\Dwy*Q\Q({6A85JqHG2ҹݫ\ 垨t_X8h BZ4dž8`d}q@(L+l YSR쭙O5"!*rͣ|q*,o]9& g4(/bqJ  #$NI@d$8ُvْ/8Ԏ7Dp]oXsW)vev#MyFGpg51V.*wf\at"6&U MXϵ97C=-pIɈ"iءp]/?.,IҌ`5~!n. ZV{v|~Kz(]wy u3"M B[A< H$rŴ[*]KE \.; };۝$/Lr5k8x<3E^3>>g XEwg6nd^i,9Ϯh̛;ht2ß,Ō9xm(~-c]~SMW߼/PZ:nBb=Kϛ'MZgaRG_OTSjj4Bށ]Dl|/%bWS₲0,0aLkFH0Kj (6h=ьն}WB${:+@!1-f^O :dN!#.N`*\I?O;,|XSaRhjdZ׊̙rTm`Ǔn|e7YU~B`qsj}x ?*FVp5tAA_VŦ xLRF2 0c,8(fIJIpFrZrEt<#:x{<tZ❋'IT C>h&<0OB/&r_'p5ԁ,BHsT٦,E5hDc` T,] efuuwd7#K`% ja5~:\s7K$KYie) TOQ iu?50~[}|YF#zi3^F/^vE-b9)Zk.46t cMɦ >Wpܵvtx̜k# M^{ٗKߚ*yӉThLUX򊝿@5aټx&L>qSjuZH$|a,g[#B%g6bRPv0-f4vUZKA}hv!`zVjW ³ͱ](zKd;X  XńnT<68PJ*zI 3ƥ[I >蹎%@?fQ|0ذ~\;5&\Ԡ\%`3C :jS/š^Gt.BSg+K_%t'Qq8@}kӎ)Vs;F inED_Y^{ WOB;. ^ݐ.~>㯜yxKM^c)u֠_/HEpˀ{|= EnӪ%O$ yv4|21le(|\cԖ@s``#^0XFrWUO/8]qU@n¶MmtOR6Km>iiM=[1</0{9UartS*\kF&6]t~ v՗\i( 姲 ~  _s(ޅ1f~ ~-0Xg!G/$' ԩ.~3/^!F ߄gTȺ⎶v:gs.J t!SRm#7-?},cweŋ(ƨ."7\L<-*BA9EhFgʀ~}=5T?*m0} nL袞,u^"xXw3bSó-XyO,vlѤ $!(!Ȳ/ԛRI0t)ȳf *` hw~2Xr6 W޽mNK^"}9>5:x=N[VZ*)ra3]%Zo\pGVfERFVaZ\.$1;ܰ'9Y/zp:hD }rɦ LEPjɬ]H} ├m "e~b 5iن+5GI(*4n2[kw"`h!='kJM3üG1wA U/Wk{@[0Ogwnx/}@$YF:Xg8p[#*_Bhi.M|Ϧ(įuFNk3El.{U'FLSTt-;mEx@JXDޅV`)i-p{H9rDIK*!A#/ Oh)'f!&,n̈́8LQkX)̟خ dTBBFeq}mhu[0 4LCXC7(8/^% gYZ % c+%> '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 rq9m9>a׌!TёR# nTfEf맪pSV;{#^?!f/+spH(,h+mK'|#G%niSc?)cQ}w~Oڎ9IfF⇔T(d|^Wp/,lR:d; ڃe&yeVRQEX{Zz c;EY7P3N2&:Z!")(fzў 7oL߽>uARzWdY}1 YĨ6.#8ĸU)/̹ T}"KuX( )p' Eiij4i:|e|~Ν-"~<&s6q{gXsȤ "'+aDzS\XN =ם: K2K4 H'ư ր[{0=n"VR}{n>$D2[c{f'# ӌ yءx""=l%qCzoKg~c? b;ıgYZ';# HOL-MirabelleHOL-Mirabelle.MirabellePIDE/markup7zXZִF! '] !M젗OFK?vV. u-\wfB^ ~ M=Tѯ\UdUC5=BgfYl₷FB J۱W;1@%ؓ#EkVt)☊ӾwPf؎3k٪=bIr^Sp)Y*e):M" m`F>K+fK?d57ӂqjlT/҃[ |eC"2dm3*;P o#t=!>m:tXS3fOٍGAq/C#&U`ɃJR1 rPi!A4@2 &k[#=s+i06tƭO̭)4}#ǡHk&-fL|rJgvH`w

J+"HPDd -hЧn`T[Ұ~ejdHM0d3^Y6,I!cz;j0z gv !p3,  p`M->pRW!f"gYZ';% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>4BCB/<+2c5Kpvu*ɑ$n%R \W([}+OoXġIWڏbYRKfp38೸2LnNG}uBy/)U!ˤMµMQH ׎@˰5ihq^J7eP2̯eȌ]aU9G6U\ c5QX擇oLvO&U>'kcfa1x}MYf~f*/ܺ%. *%Va=׾WOR$wcLͰ42ֽqSrLc6dBJ' dd7@~Xfr-""K*4R8-G)གྷi,g2~X~;v[+l9Qc!ZC*wq=6}K>!u4 $bК;Q\ 4Ma$1H@7Y 9d|{웤gVAF[A`ݣ963'S}!=K@|xi 8.\!Jd5pɷW'zאW'O(̮η4G  % 'E% \HOL-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(Fbha#^P4<c8 @$".G{ ƝRlafv9Al|G\kҡesk.^!\8X},mt4 (f0Ւ,eىnS" !~I$O:5'OկV݌oy0zF7ȹkY3fpx"b =lQ!]udm^HqE+ZW ״)9SYCn!M¬[b2\!0bSh[) ШLhS/. v6^۷^_˜Eoܲ08`f.4iMdo?[{ Aio8`cR&_%/zd r]ӝԊ|:PV{k|o9BY?UحXXvhUVGSOn%M2*6fh/RL.I[O;AF4Ɇ;ހyil*%27$0r *;$ֈ2HC 4Ps^À[m+nO ;ՇUeȂV] A|`\T6#q?ovΈ~,*ؘBT|=I9..q0qXNsU❺ u%EDz7xP.\‡5i((OvUfϕqqя .lV zo'pFp2qI;,OۭLtoV bYy~XFlrw&3ɪq>1PCXӅ(ߔcOP/fGՂ;'="+ZeT${A8E1M$+PE[,2LcO1m/,`/@!dFWh |g{oؙE@"FVmV`磅+7"TݙH[Ƽ}}Zmqe8m`QF~m[]{ۥNsc*o@kCh__SնYg3Nv~0 /q!S\LjWGxy* t_Pj=gYZ ! 'E% THOL-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|Ջ ]s r&hu᧬Y+e v;k;@DAIT`e.!H^Zw"")[Üf"8.{ef AMX.ڼ"r*e@/ٓBNj} )攴Zya.}do  P R=];s*U7FHbfݘzxy~m`1mbTl[c"autZ{*.D4b :~& ASѸU` lש>DQLv~A#DLD>F>h*IS旟AT+OHrLzP?]@tT5õ ) 6C-ˮF*oRQ͐yȯm|Wʌ =ETD;h´U},!oOR:=G뉸8Vhd Q.*u8QV&4ScԻ(]Ӧ6`閟_0{. $(kT _/xh4R{_N#Fn Jd]Ď먾yQ u^AhABHOYwz6%a0z5@!gg(G40Dє^]HiQs5Xj 홣g7}%DCᴴZ'Ɯ{L(SAQ80>>1Mѵ&hi2ZPw+iH$0?pe!35MX?Q0~ s7c̞U5r#e d*Jق,zx">l!?Aҽ7[wAْv`>sy`_}(S׿*M *ab'#3;Ȱr@\γL(O!CgbOI6f&~&wϻG1{B.I SH&pi_3KAOLVJb:k^*սtw?TFz0,R+>I@h> Hy2_̬>=I6=,4a#'EZtY]UGAmɿاen0DVݔqS׉ƿwBI؁m;UPTu1 0]`MЯͻYw7rJ;0܇V?VT7ZvNgaiGp[=H*kTO T2N5QF]J182S7LT`f>F4D~D/M<ҘPI%g ~nnбRDžpoaf&|,k:v=jkX'4s+ /wՇh`ZO 5`+R6|r:wR'gw;Uf %B kAf]`79<x` N>Sii;ZTt*32ƪwĩ&!L$ ^g JÍ;Jp `&4d;ٲ_njcmoӋ7lLvDt(H@Mn7c.~յtݝ ̑y7 Ϭ>bUrGL/~ʙݮ*D9_=ODrFW.E{}wi~'Cp8 1¤=Onj &%f.i= ]q<+FΒYF޲jN>sce9ҹ)a}bFVp-,zYrU'0Ƙ ;pIE# oD!YǺh ZcF7Kkb&YS;g5!X5` Ua3RuC>Bݪ뜞A2,Ѣk{  "r3(D[׭--J!3Wᣉc$ẅJ@6 oJNF_H1Vܯ:أwXȻ ϷL@OF8P£t 7:'eWA!g zgYZ 'E% HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup47zXZִF! ]s#A>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\vOZd/5SӓB/;_LH2 &oeڻp?jkpKzgapet>CUD ߓp=?v D@d!S?Ŭj"-"I+ƆSпOQa )a`5DBCIűln{vZ,#nvUWGyɏAA:YCw45Ytdi"|/)w%Wɩ>Nl{Wvy)EX{'x Q:"T^g~7 M'"7ݎ@m"vQm^:D$E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bd.H9d1F5>oz1ծXZMLfyRt~Aƀ>Rss9S] &t >ME)r| \ Od22~,`|MޟsKD'QуǾ[T:8z$Y7H܋H_$]re25>%a;I/B B/xKʸU kۭ2Z7?_3ȕv:XX&kGN3(uI3DG&U%ya3,hy EkG$z73ZpIUF˷8uzH^=˝ԙ/CKs?xtFvYIQrhcpX4V6cgO!$6@4;6mk ;XHnuT;vC@hPNhǠRScڰOٛI97#0CW~yga=FEQpU8m?GQV7h9>珍Яܤ-QwqFG0g irSJ݊`Sy}yCt0qj-0e=^Ό\y\\ npB6 Xp/1V-YqjQE`OǜN G컬0%aMɎwSYW,y8R)6X*ߞDcӄ*I;&ot`#!ʱ2J8=~l5gY%TC7/hFmDOh>ᚱ_=6vͷ}\̔j`њc*rޘ>03"M?g{=sj2STx=B'UOsU\C+`mɴX- -I@*ҵNj;ȳǰ tjS룍NwD%yM Ql$iJFPtq/` dmIQv(iޚ!3RF$9L^>runC66c#'P}0rϢw!m҅fS_}4Nmh#;#/ſ^%$2%}Br𬓡<7 > nCWquZOv7NnX:oWŰG~I9ڐIo8#Ъђ}Q+D^naZ ˦Wqhb7!kȢNyU/4te}@]\Q6=ke{Tz̈́Hޡg̶U{9 HV$buh7G{aG4#7g[HEҡFjKn,af>O`u1"܎n*ؕZuHz۞ӄTr\k6zghs${'ْ㗱_[l f:-| ɱ4J%Y{LCIZRqCZPAźaz3 9Kↈ'8Kx[,.񛰕 _IrE),waynEW'kt4O J81hC9w&Ԏ.j=1FpˮJC \M$ < >dʘl?]7Q͊4 t\%e F O ]WH tSXzҊ~KGw3Ŝ^# )0bc1҉hyyR8H/6{ʾ#˜m̽ދ {(H%K~GMp42>xڲҰy0-OIyC7Zp{ P[`*>A4oW&09ӊ&0_0Kp=(y#bm8Wd  Uq\$(7R$78P0_Ϊ8 ꩿQTEYRHE)Bn'r^*_odpc#P=zguC€٫E2Yz7% )~"1{.ul*[iUsGК"d7B>5==Mxh_w##Mr뫬Q6LGvz7`qDglhəiP~BvޟrI+>҈]o',R`[cump~eiJeC:*%Q6R-}V"uӥ8y/dYb+I/ܒJӡPz@Ytg¡--&9O^0V3K.t1]>i 㭸jjDy8&(bbTd!N/zsc % 5tjdOչ+uMvM.*>wPF[ˮs/i4Z3)ۜ dE(jH0دVCZ*O!f`gEMPH[[pu~_9+ hnU%0VAi} YN3Q2q4 ua4rFH̗ )J#ϜMaa{Tt[Xun/42E1{Exa2]ydCu<%&z|-ؼu yr4KS˧u5vDFz'HH %}O{ܺ=dN=,3X ҠҲ`i쀎P?NɍGh:%43vYa}2Z߽x,O6 \5%ҩ"|Il-K~wߘۧ`uݒhKBB )R_ITٲQtWk*lr54}-SF0M%ZH-EYn:-7?/~g(]> Fuq.a$zcĕL1:XCjR}e`_Q=XIL8WDŽ:~ T%2=4Y4T6^ӳ<9~')? Pqot,>Jp*%= O1IT=b$e:՘V4ҷCkg5\ub4˙UJ3{XW=ap 5OwJ}̓ ؾ8I&7[6ƯT:"Q f3m  T إ!Uմ'a =@FIsemU3Wީ m lgPPvdK"a9"U&̏̀Y+c%5t1 8eL[\6uC"$GtΟ!D8%qHFEy1hND[&zcT囃y׼a0 2~fv#Sq]mmkb&>OHaBؐϜ!G5N>u^ppyZ]g'>%ZOYS 꾒ɺldп@mՐb|%1[xL8>tlF5Öt,qđr>܎R8ggo.̏0۹Tau}AK0П! b:`d<.*fK"ŭ168Ԫ4EX=n0R.gKgQ.DbA7*Z`Z[_l{<)Gg0!Lqvd}?ڷыvJHl0ljf;+Reڹ(z'Rw9):$o re\*K]!dr<6?f }Z#Q.צj$gysNI#'MEac$Ph?{!Cn%T\o.q^P_pkkRie _5d%c!^gJ JC6ICR)~kLxmb+7`V*2( z s  i/Y1$jv,l׏ExGXdVHO7L9S^^$]rh*蔪3cyQ"(S? wE;݀҂cVL{2ߍ((+-AbOK_98Xf sN2;TM4hŭ-e#*a~<Ry%5SEe!@qn0((xO;CTFvZ r3ⳠDwVJV^X}\VL(IJ>wu Hw" 2c >K(l viکH΀\heXI-%Ub55ѡPjr+Zݜ-,o8$^ԙ1umǵh%Vbr9(CkyJKkixj\QȍłII}}o]CWqwH%I> g»G9PoPFc?~l&M;̱LܰJbN&Pĭy}پhX^Y4QEJaX6ʹQ0΁,X2aE M t\8;@%bgh$!] F &g9,,w)GBԷTA*)3́~o}WsOIbmjc1}VG]D ^Mw+VW,&UiwmtZh:Wt2 dp[r@Z$)2tv;yL/bM@t$kQX?xsQa_9acQӆtN~hbv/.ggLT__ZF,Ui]ސҔÑܱbŻ"4/բGd'k~ ʵ 7ES&7297L' ˏݷôxSCsx?ͨlNQUu@-:<%?|eǵȿ+Jzv-ZkaF$@΍t;e撉lctaGŷnqel.R&.Jqq_LfRH'DK_zF Mk;WT&_૳qBoV$x]B, m.RۯW?:OGip\aKOρVa+{^`DWKKDJ׉Gn>pǷ=AMB"G[Ivtq II [Ca/ ؝Lrٿ܀,^d٦%:)E&Ga^AzG\).bSm2~56+R&qhi`d6)?rDȿ@K?(F-j(Wً*Q{q"ѕӭfѻ&Y8!")[bUw,ɉ-p‰k< 2U#@dnޔ43=vZ%[qvY,q:F#g،a˶$Hxb 8{wA& ]Dy-u$onFavS`=6;4(+L0bS7dEkc,Ӌ"#*p ^5Vbh&.٣#yg}nڲcOjW ЕHBmgp/9ִ0D\*B51=\n!Z_n|7Q~qjGӕ`@|@vn {YmO ժh0'7O5 jV$D$ns^Xj9LOrz*2S tճ%๱ 4*AR >VrR!(3MU, D-S0Գ0 PΕ1)*nO* 1POby:nv^B-qQR2q3@}ܪQyL*CI爵$3Q&Qa _A 'u$ WQл$ۡXE /1U00OJxq qdyX FW~zXKF}IeXa*$5;Y\Z`$,[9X:)>@V6ZiCqj]_j>p=RضG6$ȡaJpƛr/LۼlVg:y1 N5>h=]"^s[иa0Ѡ6-N6ecRꍈ]ZIƬi [lt+Ikᐞ$VNEFg< kD`ȖV[\goJ*Z qo#O +6ޥ%6{ݺ7Ysx[_sE8>ʜlZ;/ިMKyyt`*%}ke&32+a/B~.QVەC dt}Mi #T2*,MI ]f݋0{vaX6^ow_D34-\Xh` GTsP=  ;|:vĈtfQMh<,%{ߠ`颓"iCl6nͅ!v#'Zw{Fۚƒ8̹d`e~&, y[e[cGSхRZ.&~cѲL?wv˫VSre:3)?- -18>Vp !@Y%lF,?α'zJ~c+weYƧC(}@>)mJ\y݅? _ #Wʪl_H%r][b; !t Wx:KF> .wO$ 0'T Sh[?3'8g DJnd1*åa_2ۆ:~G5nLNp eSdtiW̫9&,|\z' "M1uV8w3a: Gpf[gy h\ԝ*pڪ߸/6Sb<%aȅ\BZziړ:^Q?ͱqp^<U*0aP-ڼM^ӥZbR~yBn-Z9-EjDn)o5ٱa3Xz Zϱ[a#`|f5A DR(i~ܩRͥ[rCC:fgHq!y3Q'K C$HBWĤ?Ԃ-L ܪ-Ue5Z˶+\ްr es=e.Qx5כ2G\ ky;9,$p$؇|t+Mkّ>nztѬ!r"*ٌzǒԝYY&ͧLj2e2u<[4S܏aoǼ>7tlp4]&dɎG &hٞ/-dȘb~*%@J w).嫤7Ld # BIeM/{j̓/A>?,$ n%o?Wؑ=a;甲ѐ d=nbKw&&fB3r$QwowedOKahd sR"ް#`)jo k[>+0cD?^փyH|%MY S6sV rCV#ls|G~-Nq%^,~RQEC]l#* Vj,1Mf@7:M$\&4oF$+FZM\1ثJ/{(g@e;BnoR.XQYdgR : +r^< MTXՇ#o:ϜU,dm~G!8~$ 3DPKa׹RH@_߮W6yCySqW?M'70ڥv;8gMW\qT+쟓;#zKdLsh{Iv- LG^0p|=|N` pt1wwŏ 8~M5펦tqD~0j2W@ϝS%> o/t@޽_KZG|=L$d/ ~ƓF"ʶ(s]L5W%A<:YV IRZIsvu_6I fFW7ȿ Z2p宰)S Jo+=X]9 :W̙)tg\pTA4@ T)d+^~|mb܁iFeV*+p|1X#aƚZBNr}<(ls]UVDJw*6B:\zbwێ4 5/~uKN$[0AW~ܮ hd_DzkY u! ͩ=2·ևܩ-xW  [FUBLvZf7Ey?5eBM@F˛=^;1PB¶q^TԒI,;/@^gы]BH*Ӂ+vo{(Oo{tH>+1{xM}6va3tZʋXq9do U\ˬ:%ļ2CV@S+kpgp6Hå Fp%rPۑE}fF$5}2goIeZ%L>hΆAt ٝa0uLlϻ#~`pƬGFg0 y5FS v] I?.{=q6?! w"胭KcP$/Tĭ6j>-_aOc#; g wdKR<6:p漽\ˉ*.Vs9. }up&7t&fn xw%#C_Iʘ.[-MXƑTB$Gj`#V]&[`y5zdc<|꘱Kذ`r[mA: p0tv7`]9QEθIhDKTKR(2ys|t6#=Dq!Z}Um?M>=?qmaN To#BOސש,E;R AK,^l*?w-XmKİNL s.{`z}5AǑ{i>SQPӅ2o qNH$1< {hw8w A; Fq_?yh[Ž帪.@h]`Q.[9;#vMq`Z<< W&<+f,avFzE&2_rL;1?B DF6v3n;a>υ5 S~-;M" ,2nÓ <]X-d1#-[3W Ȯ L-~wX \ȨVʥ^\GJG WL =OV#Y!%z&5D88Q(Vj_?Uk #(z8JiDz?QK|?ټ2/cΰJOQHPYI+HpA|9kv!j 5Zrc0d9^V.EbdJ= @0c|s遣ˇ؋LD|~_pB  KScռ~ 6 p^KZr[N.tTnk k/jA0fs>QXJ9BW OĎ5BۄI/(쬢Vj3MpNxԛB{=-;z.eҩJ) JB|B Ytn =SF>%þ70NA8Lm(ƙҙ-@@ %hۆ=Ѽc܏P 0# ?K :l>FX>U!<Jא(  jL-ݓF1YL|u»UJ- 6E0G- DY1[MuPlD;TH>&1>^_b0Ii͓v p♡h<JA[WO(?Dž2pxkh}klB.`JeS v9)AQAK~!Uu)s!9mgIj%OA 2q:% A|Yɵ]8 ͈pF, EK@w~+l%C|b}5fxëmP֢2)0_%kd6rfRj!HjOT/fό%AQE`dӃ5r?*˯lYٖCڈdƼU )Qj$Sq+,i,ӣn(qw+ \WT`2JU t#*#Oa$sbFS?]hsX{TN$}|K6B<=0 qVunbxgEGDwWn-$jaA;1K,,s"a3; \kG:T8H J- ҾÂĎco4]0sOA+^hbkU5'ٝ?D(aӗNG{]ĐSU@Nzx@-c2+nT49\5X:+HgN>@g<>,OD_$ vPw>O5>cLY_k|nG_*8 \QX@]E'``l+k ƶIImaט^*te&RCʮRzW|J;nᯊ!1~|&O6v4xx>;pG*!1 cY>=f) qq Ÿ/ ?ID7$׼mM `EPp?UPUWhAGv['s~6`T! #)6$hx zğC'=&W0sq h>}hpqҾ4&dKFY$ L.2Se+b; NГN)aK 0\D3S =-bT(!9R _א_y23zH%v<]MFm!n;SYɨ OH[ ?EݳՠU_nmD([_v-~9W%j_cBU:b][߇9ƖyuȺ7AMȿr.h i~eHG2;3Z$L^JO!Z}qu<'ڑ+$(OIEt8(pDp{F9.wU|Hj{Ġm3R\X8:u>Mu;^-&-eBt؛p=xg8ߺG±hы]7M/=d3?0b?:- zMyArWIGG^%W i#tH<*?G8umb'蕓|xlcUlgt}vثw4O^S6Գtϕ;TԆzA`Ȁ%L@3AV6sV74}[ hS2,_'`[KKb8Y^ zmL,+E6@P1aٳn-_x0l/j?tÛkzVJ,zr,hH+MrZӁ0FN6@%ńRv,U +at|9drGhED}H\oѱ18 cRX_6EQU*O h3TPvo,b!9Ɏ%gKI~XNpXUOq-OɕJh3;# El:[GgEV@~f"qPnCf'ny={C&E#o{Hy7iVY'N0r(2n/Թ]\ !i诐5.FmD#a ཮D4?E\H`M`Or3c&Q4ZdcTН{YFe) alH(VydE#E ^×Ŋ"8+EY6eUV7*߆4 zIvb ,EWrR|CC$Š;AgZ MW9>f̾׬ξXSqp'Ѕ,]mSgs$xo B`aĮtZ1go`x'!n`c)³*v4iF15|r+`ȈYo&cC*^(5*1V%VA/O"YE(9>r.1Rjd//,V+.FŊ&JHWh[%g5F8VG]'tP_`'dj"Mb$ ):Y-.n7^ixͬ+Q8>gg) iQ(&3@(&u3p5Hq&S9S| g[[{TDy\m>~iCJ3+㒽/I}|U0`6J2-h5\Lo2_Պ j~x-`y5E Nѧ;ߔ1]&Z *yÒm+鶹;(,|?vcYKRZ

|6lsv1}P;g<QB, ?1Vb֫*n\EQ ԍVpV.بt;0j0QnoIdsiœHs{7$:wfG4l.(㕪{WGxE?lOB?\LCr)5>6PIϟW12KYT1[C5K oI)5jZ?1< UfE585j;a&unzJ DSO/Q)-5/]](CQk* fE~M?7EنÞ!Tt\Z5p|܃x&3c(ծi1 n$ZJg5/N ЃhfU/O_RW\H62E XV;]ifR2m.QV";5|gVԪUˌFoIS6 ),\TB@ъ_eлzw8EYzmoģ*yue tiG.+q%zujv߻4yGjG`FG-| ƕlJȒaЛ/Ô{ |nDlWzPxzԐAJi; #Ѐoϖŗâb{\jhn5%*/ Zjة  7K|:!kk QK6cЮ}L /˕Z}3 ľ%3#m?pPMTc4~j >%Wc2mJuwjl:Cs!C7.J!cN@8%uNߤ@+s_{Med ܴwBlo!pAC "_ޤ RR8k1 0D2)l}XIU~(7d"/:*ʖ ,^+LK4m 󢟧Ro"]r ϦR(XPNTR-$RdT20t 7_C3 P G X.;Pa5UҠ=NUH6SNtv`$u)rܨ;5ѫիZ*4 [3l;}@_9}Ҳc5bQ~EF84'QtY_,\)X |^X!.AX]C+[Z23fd$;;ږ  Xoc6CwkLzD@捯c?ňhLH } 6I?h>bM/N9Kdrk߂ҵOӹA] @'\۩ߙ=:tVYuQ؝ U*ΕEn )SYKD@uv"[JpWID7rاj,ƕ漁A.oTКҨ? &oY۷> "BPObǭ->8d/]ӿ[D}ٝq8DBuhzg~bڰ1*.McÜ`~@N;3C _V5 \H+@(]V%MW_q4ʨ?RO%z6c9FF%jh-o j2,lb}n."lj3+tabb5ٮЈ2jb:x0rx #PV38pۄ``r-m{etGqzr="oeI3zOj=0q=^Y]oRgcC2q UE gb6B ۋ#肰D @E TL)%pf.-*Vj-2~n/zB< |VnI@ȸO1(J˰x (h˺qdorbՂ2LFU.T K_N6AWv-B ӏU|q5B q Ed|xzDQ7%Lz;3Ƿ 5Iϸ=i | [ϗnmzoLQs7Q|$!Zt[Ys1y~+{x/$0ŒKw!bl]!Dt j QZiiR^fxސeA])ưs$ k"rWzXEJ];ഀ1ʸ73k[[^a03L`g}OV񲔵ƀ-põ;-M͊q.v_z1AYNe^>sU{ǔQ!ӇHAٽ̪'m^~u{#ZϧY@e5L Pqgql6vzX!+?c@JkP;m9JR_~ h Bx3Iw\bju m)r{iHHvQ'.#UDn(N(gH;.نNlcMM ^Sm{_ *& [Y/M5 4'9#V=pH {j틅#g uމ$PTNEρYٓW$oQ `%LnD*okir%VXF^urP، -/57XqX0cn=m;eUq*L6W)ݲIJjeD/Ff B/Nod25DRΓ{ta*CT1ކpcMwz&®M[Vy!mk,Bsiq~ߛ5D^mаZ,cGFhgӌ_.v䡽`CVH-hLped1Hpp<<*^ %!R8T=`Mܲƾ6Y N~Z/y/W4GkS Ȗ8Fn2/WWo8wBĺ$n0:G;n vKnE0w5TkbjI{4;)cO4 4h waH d"&dW27LԂDA\:".^o+>BwEˎչD[{5\SCI|fDžP[2r@&_&qVsUΝq|'1ɆxD/U 4yA%nFQMQ:4"Mޥ| T>o;&b -E|=RL_XMF4X=1Tq;aWK'-ۓ\7=(3ԕ>(@tF%i1'H cq̮J"3 .JDG/R!8/*omK,U0!&ͻ6TS<_5}%B&̕ _Ű|dJe4 ?w 5ȚM@@w}DEƱD7'jL).B3`E;ӟp0fa_! c !EUa4wjDGKrT9 f(q"iZA7a2yok.uD€QUlE7qvءDo"ͶfXa4 LxZOch7K0"[S|*Dl@F񂼢)2YoWh` b'o_{Ԋ?%F` 8MinDn} <hFwGF8 Taʿ#+-v;=\9N$-Oe׎&hٜ"%XWM.喃A"Lw|h6ׂH¢?x7Gh\,<,A>p$Hm\Bț-Ƨ#?\1J+ؤ'?'fY+/ΚBDP~mLE$#2J̓ky":^ A.#7l{}<02% $ߑN=Ow jx%[°*eb: L b捗;Z^GGP$ n )J˞֋ٓtf +a0^i) 0FS̸koc-Ci -L4~#HW" [DAdزkH&?.Q<*Ր<!m/vטZxBt:t F~״;4xˣ5()珽svC.򨜣D5(iy昳ŽvԄ:mADYp .CFdAL/2} cN@l Bls;u?Wuao$7),7a\!ݢj(5i (d [/KM#O7k?ǟG/Le7jȫo~j>mkIDIq6NcDe#ċe5[W7-oA qj#hS;;0'`!Pj;*F"]J _bܟ߃)ߍm#o!^MO?l3-LJʼ$$Ǝgsqm^"ձ#cN2i<X\GW9Xdͮȸ,2S1H:V)<(spm?Y*P?}0sL]W$@zZrOx0¤JdB!~+q9[֍UN&yt7 hG & #G+4l+TD]VIv eټE;d\$(Xs[4RЫ_ϒ&+FA[樢Gj]a;Sw[YEŴNc'ݶ^r{PfUN˫"%W i%Q0SA;:%Cfk8Sr_Pgt-S}p '#FIOJ4,~1]!wro&O$2}GM"ҳ0H?ފrjv[>Jn qȥY-/l1 %KgE<ά$Fk~փZR GQ8X޿{HNe*.UT[Cc^3HiڰvqmHW"Dg:ʢ"9) W)}l]͆ R>sS.څ|`0[ࡌ53[䄛wo3x%˫r&;7w8n"%c_v߀r션G86,JߝW_Mjmuz$#VRg>[""j{3.0[Cxza]QYZ[ű##1(7ySfX @WVRX:<+R0lݩh7bA~*gCj"//zOβ+p 渀WI~TLf3ooa`(E*#1W؞T™SLIYv.ii6Zn n,/ ͞r(1jQ69<[Ӊ~Tܬy' :6`:9hJKD(UO 8IU6cX&wuGyoy%gn׌&JL(Yw1b8,LX@9ei[m*x +J*^ҷ~Ib>)1e{0s l0-'ϝzRh,qMdkfNTxTI5І:ƸWa#nWj>"WhQX;{ѫHKΊoE+4ufRE'5}0ӷ^dxl^a| lIwEI42{)vC6xXF 6#`0"Y7_!|pDW~RiwP:I]*qmj X!4%19Fk%z[LO*eן663HovU.ypZDQ"}~ tvAlnN /;'E^)!vL/IwUw_=@j CQ̙!H8Uj1-o@JM!UVi0 +0 "XA$3YE x3^~qN ,ь@"6 A)i<~>7~+~J(1Zޡ%au/Y; Ѭj`%Iʞj!5朚}Ta"9\ItpH\@TO кT_vE*XJ7h1SDк;rX0;\h( I!< A80]KM BR Sp %8C&9ZƱ+5X`OLfj@깎: j?kt. 0nKgf86N*Ȱɬ4D.Y?]햗HsF޴\,pioU>s]ďG`ř"YL\QTBN&/)"i=̓0\?=2A3KS=&IH(bsɱ+q3 IT-̂@*1d N*fޑ\@DpoeہQVy+PG[ ތU1*bE bpD9*)})S d֣و>NF--1=xLӼ{M sTPgvfsH`w=঳z >}ʕG)ʚgSK*2l8M> @ߎ> W۰_9*9CqMr8bA酴ksE HO:Wd >ر6y =UԦE20yǐ\HJXFyl#z$a6iYݸcviXR*õHiHo5 S Ym-֮۷Ymhs43S b;e{}dܩ(c_ϫRl 6Ge 01U:yfJvA%<~GuC΍CXc ?2tĊ炨+Ֆ:fo:axNn9/eB:i3 {'A5Bdy"cm^(b9sRǰpLeQ3 cqN\sٻ?,s@f T`W6Lz%eBCѥgBFo[.4F)wNJY/x)[ԓ ,uZ &W\JDb2ܠ^7OA ]HC`g Im)Bۭ1Ϗ(z'b6vqX6yD5`xk}Sr{AF,Sd"q+i? Ҝнj[ jYAs|M&@*1> /9GQثQgdy.[r`|'>H*k=6up6~;'XX,ܮv"\W1m͛&O&T ">FVYhS&C кzr^E^up{ iF'!c/K15#R4KDFIޜjC 1f2_Džpi6Ij'L^wذӰJ،yԢ-^Q\Fhwd3OyB-W+#rz ҳ+IOi.Y&?qaN{ډ~Sn#3+qx,tlvl} rD@ܹt>7mQi?d&9ѐN`w ] Q^^/~hbGC5-m\\oM9eqdO7ߢGާ0|ݾR@&RJ%=~hz _XT ; tAK.K|[#]@#$κya,T) w<4Y%TZ AS~VY\rQњC.[9VKgUaO7,~)' ]q l,V7Ez_HPƘ3 9"2A4KaC"Ky0 )S+!NϬ`Rg(4(Ʀ)][gFpHzC5 n;w(wמL.?^, .V1(āi^d8Zj4`;Ȣ6l>Otq$<grE:G2ny\΄ޏ ^3NJ JLF}"EEO s*!R2ΰVԡlW3ɚ!{~1[ ##`Z#Py-WRS~HSr`cs-9OC.!f Iଉ˭ h`"/15zlt,l"|[(b$P>0&by >KKqp:Aݙ۴A`,űgYZ z 'E% HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/markup57zXZִF! ZZxz]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<5s{۬՞Bdߏsy56OZns$FIɥ*F[Nx)H= : s֜dM/112L :( k"L Kib)GǦ@4ɡkcة(" +UtpKO#3koVhiBh6C(ѱa^,:àfPھ0S؀ 9KI\8 :;ƫ_c`m5`ϡpH3:ys]yz$E@./asjsgT,Qnk#iX&bK1NںX^fz{qX0D'L0Rl@A)Y%2cmg,1-WۣQ`y) ")kt)ʚN/|⫼ϋ񋅔p5tygXZJf-h>|b$qJeb>k1xۨYz28kưm$GC.]E F?)S%1N)]2Z pɴ7*ՔEğ3C U)Y Tb5lK~SZ8reNʋSlck ɻ"os8jA~|WslUGC| j>LD4w>s-T;j@ۗ$A#=NĸAxW9fugaC#>q@WDMir$WT錕] JovJ4|kDBڈNܳd*V926ΰJ-mJhpvHKr2[^Jc&L/ V9t9z# >eu'FUH#}D8%dp P܈cbyƚ.V6MAq ?- s夹's"+CǂaqZnh1Qxy v*gjji.x߭C*6P"0 >Lj5H׻ _B7qI`sje']pїA67| do'եH#kKVQ4C8DU}oRD#rCƋpܨ§FSZ(Kk@o{yqPi@=|Z'&m@a1ԳuoPa:$SlS31-#ӱ-Ԯ,#24ne5_~[mgOX 'pxw HzIެ7~mzh$/fXpC1Y, Hk̍CQmn?䭴Ӕ );ASX}Sxe=*"ZvZvxUL:D-IM'`*ᢨPG3#Y?X,]m),^(ץP'cCPXq}F(An snsEbixŪXday^3xG3ݹo6d I|bJ>| q! 1TwR3j9.`_S 3~ӷ({pw`GYmKfn=pYHKͰѶ:#nLe}s£UzX^X /LD2sf(Դ~IXeD Ϧ JܚE8-#ʎ#J׾ra8TSkq_\h7KQ+w4t3أz;1^7j< TT3w]ev 0L-bF#;:_)-]y|$RS5S%1{BFgldUvH797N -w2NU="izE!J]x%qmJz% !ԓ%B=doKВ LN> A- UA[)3  U5PJiEcp(gqML͂mZ}DuBu0qgKib)/L3!9 YR" aq0YkķrG#!,%JÕK~ֶJ2h/4~a>[.wџNz6Z,/+ iSkg.h2EX˟Wuz2.Kd:}7 .u>&#AQn8QA( q@ũNZ(h׻ptEݓ;1Jۥf Z)*A' $=M-'yS@2\G݂>m$Vu#= HvGqD\j=>E ̲۬nK&SП<09rL[4U3yrH87ƉȳLuK˦MiWMa daُ9[Xei Wr#)OuWci+  caOE - /:u\HQ D}Q8' ULwڥ:i `&\ב#l7qdW4mX _ ݩj ;-8SuAj FF.cMGόE8 myhLbf5]08/]=EH [@Xmy{=Ү 2;o+{jRo,dmU\Xb9F ~{HT&弰ZtiqB ĉm\pW73T{ɡn fTNZ&zAiQ>\dy)k="׀G٘2{Kw:=m4^?u09upZ|\hZQipqȄ3/lЪ>Anz2 V{**BaBe! dʟ6?DcuAo+cۇ$/k*`}rrWu˾w/Tp G({4ӌp($/*Vh lD:&rY< a(8b+#4;z͜Cלp qDnS!V0ru줱7 )]Ҷ3ݢcRL&E eϫ0`zmiR-dƷ8u鈎\>Sd{1jxG[Õ]R QFgz%TĠ #IaaI},4Fԧb,++ 6,Eæ!%<{Wľ+죁lYeo6_ht/JAĬEvhahB(2dwo/Q#A;ĝaV5"@>7:[R9i< ,·t{rvl}g1z>,uiX뺈@ykf^Dj&UwП;]g&tJχWb85L Rdm= sˬ>iĎN|ߔԉ.> %]R"i $IP*v;<` "'Àm䜝dxy`jC mHvn'\ѕg,пq1Z`&Q?]i;PG~`A#{w)~qhv;Ls"<1C2-iC% #VɅ rcJ{)k:s~̔CP%ף8%OW (tpxueZb$Ue4@"˼BoE-5lC q%$hIS80)RP?]WԔ>OlnSH:p:aqK/Nq gӝjgL!h V,[DױקZ2wmGצq@]7ýgrPcdSŒh\GD7 Z,؏Lj3[̆.v-"Z7Oa# 7mS+^Ғք[Y%38V_i%g-;d{rѼ]LnbV?QNA ا.o_C{t۠V֒HS 0h(<d!뀜X38n[,hY_9;++9лn7\s{5<-lٞ=?Tln9UYLE8 5"ޢD~~|ԬcZd*f5>h}WE؊:燬~ >f37ȯL5,hu?Ԍ԰3T*X-Lc{K^[#-eoD Gͬ6vVS= |T*mC!ͧm?]dSm;ѩ"6֫V1`\exAuÉPf!Fҋu70]T p7s .k B Y0mu*;9]*J2T]&rSc߲5ַ4k/lF–G>q퉡\1(ԬacFzI]oi5HK՟BCMIjىHΦ i 3 FA'ar <^nV'F&O@@ni *)\07rqdYicH$q݄0aࡵ @}8q}4OO奛գw0o5ܺs߹DX&ZxēNIL"ږ2FZ/,$l*@$q *8#+;MgAz6aJG]eVTgzzh=2ۢ~Z_HZ0iFd̗¼îKv8^MTt}{`!if!P \8:.E\ׄeI{GVv1߫#WQ$~,,d똡4;<,?X }{<8s|_21L_Sw]1CmЁۯyYy̺<g._TKw(.DmP,ad~~ءՔ}߼[ʚ@H*D(+Jh|5=VF?clHy ~([ePaNzUvV`3 '2LjGnÖ~& is25 zMO^yXҮ{կ~eo{>QEY-MA7]*Bxq/·|HRG+˪ضK`Kݧ)lpPV[WUqR./η254?˘bh'サ:kSu28\'Y>?-X7!->s+[gk8̻udDd!TQ_buG/w,_Z A^7Re+XgTIqTej!eZLMbTl_0@ s),I޳Sa!Qwsrv(U Ϩېy|kOBĈ.|Ǜboo.MhWd2~DD|'u=O /bJ#b⚨3_DU4^@5M,M1X_YYi8⑤#xlsKEӾKӤ7Maؔ*@ ٧lx |&`96%<#}M.l8{uRixQCs$rE4fNX*=Y~<4UYLwm|{v =-LZF>/s[ο Gv[@1̭y,<1EED&B?eo:@??M>rv_&-yx!4V} } (I41t2~=.3.uQH]mpgt ipYXiA4k>}h:CmN#J_6iTP:R z"l<?_aw= CfU7QrcJ83LxJ2o[_񡌰RCB:aW֘==@;A[tJܢ(؄UHC0A}A.[pil8p><\SJB&@6%;\qd:eܻ2jt9+EU)dTjfFӊVH>ЉZ{8Qبq5E6{&7 ưj'BRX 5b錅bԷdb >z.ԧj w.<9`;h-TfD]~?SןLBHwe{T|J {9cutmj81NM #Z戝'MOfPe2+h <'3 P_Qd ]H<'#؂-c2i|-?jz/&SP+G?C)qب+.^RAِB/Ua`[kNm{IμK| c[#+~”4n))5j4 FRÙVIX>0ͩ1(#ph'"?z.HcwQ鸢Dܝ-)((t,`3(9+tC<ĺb(0o WהI[Д4VD3 tli#(O|2(GLJ,nR*3f%Mz-{+oNwa)âHp߈wNXKʭg Zlg= oW"Wc@xӂ.̡z2O#gы T[J:ӓ S|RP7F ]C6& 0$ p|eW!b%\vۥˑĎQPs-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(]u3N228qBf ?~ N%9*sr7qg`;_G ͷۜf#7n#3e{F Q.(::B(#W. qca4T(DIï޷O,Re-)ō ݍ3`Ǿ!RMnn @r@&qk2R)tT5͓hXgHٓ1hplkg.n$έE]e=txd**EX=lTR}k{g l)Zeһޒܕ a5÷)YٽǙ9> pmFi=٥^^QE-(R^zp/=xu^;89r7|@ \$;YSFQ`Ilk' Qk0 O_p?콋]fnå&ғ-k+ksdXX$CV5TP53рS\'U';ٽ2^acJBl[fsdss+>ZXo v珓$&.ݲ,0\b!AI : G;WE6 ;d֔Q"R#І2 P"~t,9@d [Oz Y>w  nr3Ou0O pl{@āla#0|XYMq6V/IO6!SQAK=2\m'WɵTUld#Pv{>Fdbx"qe&f2/x"=L%ܳ'yhwF)hOJk!vkEhaxA*Ee^m' 9oz.w:pgwOC-3Mɽ`#(b@.U' B8J }PF4gdu{C]JYB*IhؖsR.26 A% ˱gYZ. '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@F9NeDOXUzrI<47r]1΀fϻ񁞏+Y))V*}Ǖb.s ,̃" V$!|rL3c: Vw=I7):PAb!cX {wJY$se>o-ʌ齬 TU1';d#ۺ"9zBЛe[]opI*GZ7bUUڷ@$'>`luΕ >*j t sF;m ]XTVᛊCIgQ ]qAa#fN۸$JrEjq$^ـ*$>%?glrzvhFM\cD)ǔlZHQ:'5Sՙݫ93ٖNMrp*gLnۨBmӓȖ" A?~4ݦDl%V_ Co%[xH'(-i6U `P 5_Kc+Hg__l(%~K?>Vِ, R|[Z}eZ%­'"V(Ve%3K7GAdۍ)* ,amM=΢h@'-u:Q&*Vs;~N"83Wޟ(5m΃b O"e^@>Ic>?AFb߈tBՑCJ]h{(c* kE.=h{B>:6lqz>/M R3<~K,Rȫ bJ渡sU; =8M<==V7fےY[qKSկ5o.=X8Hzb^Am~ :,YRdKT8jHoT;"5W @mrp˯Ze}ʼBNѕyNpfjAB-^GʖJ=lZ5WD=)A5Y32gFO@ ى/APg=^8n|Tȵ{2lw[M7 A5 s9o鴈U Pop FJ;, W6«A٤5n,hͰsj+ڋ͖ARz2#<4ѰqkU#B3U`?3a-k$}Wbn bf#ɘμ, ǜ/ YƦ(ȿVg :_uZҺ'hkv|-t/ذ7"ǁM&?=úQT4-!{GZ]# w^*:"]@Wi'C3w ;nGk{^i+ r"nIv`)L^O?:}z^]3^_q\˫;4n_!D瞥hnc%ޟuGL8Ƙ9@М-Kw5JЩG  L LN'E' ,HOL-MirabelleHOL-Mirabelle.Mirabelle_TestPIDE/messages7zXZִF! ]·Iq n[:|&[zG"z˹rQ2$uBngmk$Z\Qmcu;ݱN@ιXAFqn3 xgK [A'n0;j%+>%d>X7иW?䰪M:[Ö~nh1uj.plT2O ; taV L3Bj%c07J<;hLLPx oiݎw4ZTMAQ\U&&'JG_#~8RZG<_<3fՠ%l>~Z]AYv5,5ZpJCǑIŅY/D$/6>Oz܄4̫iDC97X_=AFF, 3@';E3XƮisH_OFMBeR#ԡ YΟKZE8G3gYZ`'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=FUs6uT1̎dt\oLIyN3 lͯ\1^m,0ܯ`iiW׎C@$c$ 2tw^3ӥLXjJM.f{xb?yTf p/\|>wL,[gO{vXIv*']H')OLPB!cW=j+ ȪyjtP"ov;c1F-2,Rtj sgYZ