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 B9~D<$ ] HOL-Datatype_Benchmark:threads=6elapsed=537.506cpu=1992.032gc=753.8047zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;d+g#ƀĥ~srioWIn#VǠ|,cʎ"~t0F|pQ3tv yh ~iC.Yv)3=#Bmkuo^k NuОƸhh 1B(GK2FN"~D:rdd)M|ѝH v`Y!FCY8a5rJo]4ԖTq{i"z5c7#YmI_HKfiEb̯0;nRrU5zsju,2VuVaQdٰQ &ɖ&q6\_✿1-4{1?Ghnt2A!!_>=UzUWfGv N00d1 eCSY-SFzk׼VޣɤB_JzBP9'-["~ f)=:ۥaRA ٧ #΢w[;=݁iecFH+ WU uSe/O è >8| =!5}y29v!«:V۰<9RhEϵo c[,a2s._BRhZp}+Z'2J.*o|x0 ԰JY ,"b(Sݕ3Yqg_Cy8Wuˋ 4d*bdeǷ0[zF#f.ߣWܺ}՚);!C{Jwnϻ!|?{&{L\;cnYI{k*YW߾l{%wGޢkqaH}Eޥl (-5Qj4!}TBŰpOvjձƁڃPVTK%?\CElWhZ3b9O)OzB٦}8zSD1l.Kg ps5'%ֿEgx{iJ{VY埌UC+.M},p)N"zsG 9 HOL-Datatype_Benchmarku9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518J9K7 |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}k@:9Fg[ !#J4GB{ ]drw>*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzIJN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ k $e K H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messagesF9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files K9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id F9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages D9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/filesI9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZMkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ 8 -T8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518J9K7 |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}k@:9Fg[ !#J4GB{ ]drw>*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzIJN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MV|%cP"n!SCrG =J-; (V-4p},77xU{f{E-r|)`-}#iX/&^!{8/#O kbUn%Vj`1GcrHgbMV;jjU/:gj Mg [U3#'eRɟd q ?"0p^֛{jKCq1g4ZRzSQ}/:l.I? 6s?pԩ=`ex71LLB?`3I94l?ͻne~"(ѐڋ7sϋ65R1yK4S%&ԙvMjHF_@j]8V\m4L$dA`ɲ AC^v-jD>q~[ dgYe.qSNL ()+i(;ۻ-F BZ 46ZW~YWX,Hf*0X$y[/C6,& u{D#!/C1;; |~DqA؜qXTU"BUO%۰ 8K0|J#t贠Hп{У[F MPm=QsOJnuՈ$vh?vmK)}4 [h9i75ΖhBwDͨME|RGT…-O1TamYKCꦡPk|wLqwo1AjOh|B!_|σ& .l,;-9S=-tI 8FjSc,|Phi+fÛZUy/|>vVS°<9צۏyK˭ l^ߗoA=a64Q=x=ϚQ]!([tZ m'v_WxWmLn|FN&`]ÔhXTKJ{7[1N`U'fV&;lX(6\^;q_0W#E*R_[R6qa2Z?q3 鱡2BUԲ@is~|Wv'/&¾o#SRJUrMrk\n$kRh`mJ J4F<)ƊzhbL0ErQBonEct"V"C G {٠CiZ~kӕBP-'Oǎ~.8TR`VLcǟv.DϲЉćECtiOy/ [1 k'*y!\ ¤pHQ'(KH|DA a§I* :č1&W @2pq9K4eJN xz}[uwqΌھ#l\Vbѳȭ 놨Xʌ]6pp8zN]cگG&mc]e|> / Me'pC,ny}x羚z6Eʢ1N7zQa!dg*A>53 [yVd$m+gîe]_#3yqa, 2(h(E p a1>ԩa|pY?ϛU5c.M_vbەxϦ'mY48:=FR$ {x,.qYze.˖3L&pPdX c=tDv8o@P(=VD+nf9I$g,3v ۰ r-p}QxSdȟGXgN)uf'o0hϢ B8]{i$Y߳rXs2=> =S 7ws7aG4R![{N-LAxnlw:T|^w:@aԣRo&;82t@'e<#~*T %%ShJBceu녴-R6,e>yA_<$ڄ],)˚o=g"Ran[LG @6Κk YkGǎdב"sH[ab |{K2j%Gk"~ae@YG@M^ţ(<(yg WmPڹɭR ң=og7u$ LM @sRx#t/]"OVVOMy&N8e:<oc+9ڟM!}AQk<×=\ I}9_j]:jp* d!8M!Kp HK;SPIHiG.8i(Mw+bO, O9ΰ7}ʱ"I2Uס֖ݯNS]Tjais(uS7z8R{f9AvUTeˏ^e;%|즅&.^<0 #^d<7a ^P]:EzecШ ҹJS+)Q0uIi}mO -SzGXt7=ª|@ ul0{"W9!Y 3ddh,~[ݯ81N! }خʞ hY ½u`5h$W,o0_c1R > Y'oq<ޭfژy{ƚ&}[-WR3j)GGKȭ5Κ&źh>3RA9Rt ؘO=HRLE^ V+"ǻK HI^o5TKhFQ1( Ke)coZaf+%_:3p6<HAJ Hc\WuTк!`wVjOU}͏2CbQ1npHVՋ~yqjL/v' X\:.4N Bv\5DG[MxDHnL yX+:;2o ,ܚS`a;ϵÀ?;ۻǁ^ǂDb44uq_{b`"z/ܚ*/F u]ejѓ|W9YI+qBS>} xA^A:±gwI}VƂ%SwL6q{?D%dR䑓Tv4 mwM5ދ*{/jco ,ň Pp> Vf&FWWqGc2x[i.>Z M5ly$X2@Wl8@#˥  `V&JV-v,bq^:o[j\v106q(kd҄L_@.('fj?b%ZT3b#!sT'6:4t͒/:&ȭ%?8&ÞFۛY%5x糣Uqp}Ϙ2SJ0t;C{2_^jIڗ[Q_u>P"?)Pv̀D*ו+|(q FJ6@]$9)c=@ؗ-TEWCɎnq}S/X}}6%$C^ /1]]adax&2>ȎA.T $f'XyD76 AMNnr,oAvi>sī8WoKucoBѸ|5i񱵥ݚ B*bu^*/`o5Dd-PM 1N+xbf!<8dp?RR7iWX|upFiK9?܁rXzMB?ewwH_n.p9Z:,4aGpy2}ܩ1~QYD/|RRqRTprH`9͑VnG\Ev3TuT%E}w߇IgGsG[N+ز 3nIlrTW\6' /Vͷd7LXή=6 nĬU TadXmw<_ 4?֓s.zp7/]<~-W||!jJ`1iJoף !dFOۡv>C?'\egQl<͙ة_ 4\VogryĢQ;Gleb<ʁoqo\j' ~mdo?j㋉&9\`7Ulv`5smm+*j5) ݘy09Xmʺj%=lK[/E2gg° Gl'pOZQ SO؀9߆ :QU;ֺmT'0B0_=k),@ ~]ʵ"=v)Cn<~RrPb<y.*-$9 -ҳ+|T/+f9/諤L5Ue?Y`UNlTYQVLJ>jGN}AVTӤ'aGnq,nDdуo]U҃r!̘a7 |ɘZ}8qW}̐Uo(҃ӽ*㝭> Ⱥv^pa%G}<>,Hw]$|HE1~w'9b}fղT)O$o:4w8 ۍh?"L︅Z-!AFߊ+yWe+ ^BG RW5m%|@Euam w!l LÊkoPGJma9F⤼/'/T pGEGGƩ3B 6 ZyA_tӒ~5ؘì.=h]~}T6{ homP 6Z&+õ9#ÝLߵ Z­, Ep3j1/ wQ!1z2=)l^⊟A%1B_x K.iiWOtlHMJxYohGIA}DžJ?E jWeƿ`t`t?zD%և٤ů2 -Hz,^?>D (+s[caFڕxq!BOw^RTGF3'ⓠFG(,ȰꤦxyrbIYqD٠1 aN]'U 0Mj /7sbX#&]b1 Ki\B,;B*1F͗qk-I2CmӬ"~{zָ)<녷cN~9mlK"ywv6ʭ?KU'Oz\Mk4T O/.yQ6 c*;GB5wt@GqRIF?x4 ClFy,}'I$~iO=%kzVOo5z|X/AM6\YL%O(c@3!4M3FYqi )M!v=bzjNCMj׍y(=GAaRgԞ':?@h_ϩn>4Vp_ZJ:Bݳv>ft`nl)#fZo5*gzӯzbVڼFƊ5iu8o{BcL- hbeѮ-h8M%YG+V[*(`Xs3[|(9rEWzV0B.tPZ@ZEZXx›#l(|B/][y4AÖ|$yv{ (BحDwp<=ڤoallC ܎&M?ԪDϽ{0#g lh 9kz\I~K.=IZvb֫9wҷT q7W^P,iƏAuIU\B  1dC4 vzkTpc]@U۾B@9qWsp6]uQi 2j~\pYf}|P*$C Yvp,C\j8gƺraM]^qqO#$t)c{SC,`Ydl ~4qxR)+A}.ӲL iE{AR 162XየQU =}$6jMoln xNtCÿ? >=C>Ɲ -ȝuWZエڑ:m7[Kl%גLقRc0 }e6ᭃC5u83c@酸\8c7(%.KۑfiSI:FXLx_H2! J%Yz]x#ˣާઃ)=瘷|Vh-73]|~ͭQ@6IjLW痯.X5EE8#U EZYu b\Y1f>{S0?"=IJA~M~:U7{SиbNKw5vcB %: /B$JP4G\Buև|QV]7uSgZ_RI.حT~q\A"^zkTy^r,eEU>C -ǘz.rؿڙ> b^ܠ%=4sJ):>~_wFvЁ/"Xw!Ci@I,*=a,ٰl;Y M1GxWg;s" `;5H.*BGϦ0#ܩ -W 3?E3#&R:!n-@iZJ44ߨ>H`:h"Z)r4k* Z?y^ꂺ ږ}KNz+(pY;8hӵ)8IjB;0ʾg0,⹇ i<Nf?fWkr -S#%30%i (ŗ/X f[ޱa>ǩ[t*[a! uA.s#Pђy 5]鏛/,;]7Vt3Nh,d` K֩%Jۡ/aԹ..$m=)BXkBJFQ dqy~Lxu8Q0'CY\l7N'lk"5p@PÜHeg HrVnE0_`{S]"ܨ:F!Jx5/s~ y 7܍z[p E92xÑwNJlÊϊ_ 2h05IlR wͶbNa ~E|F>|^vNP^ÙїbT- Ѭ8]}Q5$MeDy\\_<ݳ#Jl|),A(Ȕ kF xXad8I3pQ5#J&ty߫2@g;; Y{Lь8ޡ(Cº%ߟ-OßvnD_7, y02 Q.KpJK$Y?|p["'l^M|yL3Df2I!_?ȜLzZuXxx0``R}vg!bHh61tǑpl HAN1 `u8+~RG\v,&% "Vɵ-[FɀꡝGX:Zy3Kq&xI$-OVjɡ=$Ll{,q%'THܨS(UGwooPdE:9oyp@Y-,玲4y/rSӉU:0Ү.GG˩]p#y @pޤ=UL`;BrD> rZzvbs,h&wiiKgSt0Uc,[r~op'71bt͢!elg<}f%ka=A!R" n`"׈eA'49Cmg3).}TV O3z7 evf>T#1#_b?,fٶr6-5-?Ń zT,6< YRARW$کM*Wk@1DKf*˵Xi852ӄģ*+!>Y (쭰uK#2M/msPS-tv@PBI[PDc43D@ 3')˳(|(\Qf(OVȹa$dwX̿,Ӈ7V(fl`wS!$}ZٻAfyӢU\%A #)*ji4$Rk+ @)J 2@=2GkG%w%6 Է`$ʀ5+w~]۟@!K$hbEj8L>"7XKP <)BNEjJ[Zodqa#ط 9|g(*9 q^ŨkHB x7ѢUsw;VhC4|ߨPi?˕"uUwjGiEM4[qҧ3qܔ?RmVMI>}ר_(96 `q{nϤeQNpc.5T3pj+L:tMD6"660I{|j>6X4=7"ULC [,qB%4m/Mߟo0.ySDuil67hʚ)J3ؤ̄8T4VbS @'rnuKZ{-.wgNI?B;ĉWNtrC݌-Mr[T~9CD~FUMRm;mJHeD~er!-v x0oj6TȰxY(PW`3p5TwQ_ /̙b.A):e¼D'\N/O8y4j#^ ~^ P86֎g3;A?w5q{SD,ֿFn:w_GE^J)jg*bwh}bKb7,W]v5c+X 5> d RN X4:$P9ͤ HTJ4KХeEupG-gX '66sQ.1̝W ҧx~ٴY Y8[d.ӄFYAf2qޟ7Q L@jW[ }VuYB)em}UE:@Tr>6,$Kp' M!-0%`pHŚË Aܟ= ZCB Q=m"ASŠ /-?34èrx~- .[ߑh_0j1! ؓfɪdðzRFƭL=V۱%r;ބfXruOl:))A/֖w_c"g8Sӗm諀L{V !'=5O Z_a=[YցPdKt6s`Bpў06!'YW^E~Є`f[՛ffn]K3[R dZ/|ȐoӼPyp ɼq:艻}YR-CYZx^R5DC[JO x 'M\)zntXۈgYI]0 ޭjt%j Z hT]OwR5)9(1l pC ~jՏbdT7Ss}{y,|(T,KIB IC/##b 9NYbETS']DG[ߝ歸B LK, nXŠzNpӔN8,bBS Ď Woo > #* WCsHFr^R,PSfֈd{{*EDJYY֟DP൶#u *j}=HY~*TjZIҕ nX|`'s=ZoOm mgb[Y}`Zqsǎ|9.qݎ2K|RAد9Yx]IsIt dfsϪ?OܦQh  Gןu4~sF~1F;mT;+p5P&KOУ1YbR}#x 6$[oV}aވ)/tx|=fx9[XAYL&ad塆p|}Aԃ\Utc|x32rڤWT#(sJG>I{_ IV\b=iVfj36NB:N !klz%0|$E{1=!pz3G#ed@hf\b *3 }~3sZ[( XEgB_5'A)S?Ad9$oJ-CwfsL/"=2:)"iwKߏV'{}F=šs%*1LLK)4żt1Rpaes5y>>pSϙ߳8Of`|H B~QW $B:<ذαoEuFBOm9JE8mYdl2۷b] E< ̇S9Gg>9;0ֹ.soj/}Ǎ?u@ש. Uy"ktE) |uਁ5R -Ws#SՋu|,H)? QܖpF;fW(,C߽e'V̉rnJMV'ݺG-} _Z'Cz:eƀS B",s1"&ti+LY-!Em7EM'%^joW?^U^pH|A!\6˽@7a.k FX*Cp+aAl1|Af`ڙ1KLAn7Vʔz qp:fM[6 鍯xdxvJTC8DeIVVX+uc>!ﳌq_҂.U@qk[ڍSO>,`E~N {$!:a=Y5)8G+ @=ÈpR_;EX@jѸԛverW:A գY@v&Bwlo5h:Ǫ\?"a$7YD  ˚%"|:%%GUTfr1f-cYP=wt$'8vK=HE 9VݜqH|a^tׯMz\yT7pO3'~~3y{k3icy?S}TeG:3vl(W/O!kEBgP2`[l k[".k%DK @ME(9j.0~ܙߚ A7>Fη`iNRD%>9Pp{;'e Ti5tgA/FR<ͮ$ q [&el,0 {շׂ'BJX|NfB=)(|p dzQܡ#q Y<quxu~VHwmκԕ~W p T7 +k39J7(U~?&tgf5gݕǞ0/6|saHv^B2A8<;ђ5 ޮD+H}mݼ(q`dB󠧚C@bج/%fiLeO20]W(e2m ?xλn]9l\w Er] z 6s/"\g_Ws면 ȠTB/KaC(I¤hj43p`6j֚::*6# D! ?L`9-#K_/O ݢRgY8 H`F`^q;msJinh]1ʃ+mGW޷۶wUn|Gcfhad=[]ҔZzÈ-[V%-QwR#/h,\o(oK3Bw%:R!l1r,8h!Ru+Hk\Bl6,"ud/P۩[ObV+1IjVA0ٝ e)yԑ0wT&WtNg)bRjTEݙ guwgc0jw?6~f8jdž$6y{Ի*`*K489o ͩtݡ#{y)v4JJ*-oi]/&% )cE9e6<2EB"T@ tVHK'FWR8E^ұjFA[+_S @ pͭ{-q(x4)SBwYz'E|g1ѫ*N9ܤAGQM ;,=v"E>0TI2$‚J{nO>8؋E(SN zz7 ʒSZ ƶ&i.UUFpImemxt`ѾMdؑ?Qw0 i姥嚾 iΕ%$: c&P`il m9 ypF6?҅`]Qnq^g_t`wMiy(/7<~X?7mN07F`K4kLԽ":DvxRCaS_tZKnk'[v^kqy-zߦ X}}P>Z'UާԻ6(Rqw#Ox2nǴ]#@/AvTfgUn\VrI|j19К1 .u*!4G!J7mC/~oB:OH ;GSlKx+'ԃkMk7+a=D&"׭%i)='E>Kggu TZuiP7<}V_+*_<``D mM~J[ *gfo,VQ,k7WGǷo̧h=a@o_c FX irHV̂3a^܅\`7AČ(y Hj>gQ/=l[vy]?gm&-Y5S?iղLüId1E!)dU!@؅{(e7Q<*ۼ]1ώy3_kDv#|8Ph錘BU!:҅i7pXٍ padiU.C7IdVbÝ7m&3&1LJ>)nv@*^=Q"SZPI9uOWMk LnC!K"gǦykQH{=Ҕ0C^TTv[^Kc阁@iv7" $|\mGkk]13xT=o_;}š'ˆ.# vM~sHV%hޕkaC(meX^) tɶX7leidd{>(}e?J=;C=X^s 5%ΈKSANow!= ى\s%gdfl38@5욅η36A1;5ai_ז!ޱ}aEossO*}1d?.$}CvqGkݵܕz:Koش="!N+bK.\Zw~O_ia ݔ}5`+TK0!fH.?7Z zFfEs¢j{Sp"a nAUޯiG1hNg\F|D`2˙C/}s6\U1wߏ][%KK oP؍.10PzW@Ww0SRЏY#47E;OHf~meI…6C|g+"E,~ݰ:U> ;\LdWP"?=eyKx|]yJXoTHu:`@\({׳a?8CsiN,X(ϸ-3kP {Z#m%-EOʢKzZ  LIydeձC JPgYZ C 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= Qm2(2j8(o?yŃ:NYk:H׽ŨbVTI;$O^8h ToыաXU^KֆIꟍ0YVeţzX9)i \N;I8-C~ćȯ֑Ny辕[~.Is}p 2I6(jS^@D׷LI3Y;薚D vJgw4#Nȇ%UQBDm;M?p$bNwC;<9Trr=tݠH=d\"@&y, +ƣRUr滛pz?sP%2nNj ~-ۯn&ri75'r{'~f8̌|f=3p TGf@*QnF~b|61pE#ihɇLy7 R},b SieDNxM97 '2f[;5~4!C~E ]!@tY4?$mJjen+g[+p !\HWYJ֘Z$-KٮxT!?%n(uLrJa98+T&J2obm0l/ 39]G!#s?E ]]!66Lo^t:e&ԳzDgn/!>fu"2)tW^"w75v[ =q=b&97=ٞ*ձI@Vyhwt0= AUC#8 .@}wojr >-RÙ|}b|C:KWE+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=bw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520` 9G' ٪ҥ:hB1C‰L2-?7f"0Tٸpj` /0&0#[C> [= %xr{ZR1^-7y>Dn ml'>|gqI[O˽\<aLI>>kY K{Į?͵dž֦遴?qa]5]Ȧk2 ^V;sOeg5R0*Rc9iV= XB-;z4aGY+/ϥSG,p}6bSSgA /+!$]0W3ZR!bj_ 1of,DHqF~ Q:VgYZ|F=qJMxvKu(cw` M_~b"v` .$# Bz9It*$zJ!$/|Y`[B ]D6{Ph~g ^/@.<-7 9Ff%"jƽ~SBB0'3AҊRa 1g_1Mñgh#Fv q7RE­퓙a*#׸Aj@\f |%IgB @CJYBt+T'fbQ T$M{xf#(f7=GӡtfV3\05A#TnԳ:Ɏz= 頛;(ӰaRZihNioI 9gR)bE\tElQ,"#ݧ[t̄&(JGM(Uի+?0vIK,W\Y'<+Y}B1Wf%i{F!\^rRo 5B^\ѡ-"~u/qe( Q\k;W $Ғ |ܐ1JPu$/JH}!nܐ6t43jkͳ;hpPᅣE@O?*ғ0)͛M+%2^JiJ>Z ^E!\ڙfp:m"Y@3^rzZ} >̃ŗY>=?oXb !&?țW-f+ y^&]vQXL:@dGW$ףvI? 6A.#?)JTFSV isJޥlcs*Q0E}]qNm/c3A9GEżg;xŷyK3x C %/h#hav|N (Đ6|>u_('~aNJ&%*Hvu8*"#^C7@042^Z;qFAږ]knOGޓΨT #nhc8,ue?}N|f%?c4q 5>AєtK̺MIl7-.&\g|tƎ#EVO[ttW Sv>C*P8k:vňrd 0JH8QY% ln6*dt+Vf`9JiK}eEPS ~%QnᡱB} ڌ!F*N'(ΜdoW]y.կ&nc6 {>|==}c$Γo}~kz E?61)+Iwj ܌o+vẠ٭^";S$Oaky _V[mW@i< aFK*Ѡlj)oW֬y:Wʁl>Nڏz?.-?܎C\x?xsEq,FY˖C Vf}1Ԝ>J5!QvI@h[e[5=BXwHH jwv(:)uϩxEphh0_jOryaFK6Ϟ6d_QˏVX}?ҔTn ;}dl xHP0rʶ:yT9[H(݈+ηnH ׆-Ʋeac('ְYH <,1:hUR -VhϹLFG\;CF`cP A֓s1.׻fl1Yf%eHlg~yBd ^qcTF҄|6rplEsZrun *}^l*kvhw<,vN:ma MNzG3kR;_ˋbďA{\`oˑeb& 8.qL쎚öG9`~VD;ɷćՏ)K{ ^A%2,. e4VAf>JS &)dp4_1UIr͘`dgeyqք:"3/%.cHe͇SȑhA߮sBb{ҨH,b07ך^t$Pbm܈J)7`ޮ1YR%* zRIx$M;opЋ//ʠSmǟȐq$_YJM Ywx-ϷCw`\%l78~Q\ (d7i_nnjjņ|XѣˋYiӑ|`MSuLb݄x;.6'ѪE!NvOkcSE _\_kkd;LJ6u*}!g^yojR=cx];S,,br }g\xr` jn~!ޔ)S&犪s)I)VE퇩Ap-{Zڀ^뙰X/cM,Rt0R8Ec9h 4bw?{ |E *@i^S#^Mr쾯ʸ ':]B G #ϗ=9VΘ2:]lkY ޫ%Gʈj?$`Z(DXUPla [rUtw}z>T<ŚĮ@*/?zbk:U,9| >ji2}&ARfvw#F_"[ gQ)G~fprSw}8urj"%;\s^0!2sp@ʷ>~lyU YubXO|ԪV0{H#'N}KE ˾e5 X%j.iP)+<]];'),4e 2<,ek'?fԝ&w) c 8CѷaZ$O!id<}e7}(G1 "뷵l_^jfmO5EgzNmde5JJH{ ჻^evԺS>Oяkc:RQ'e#[be:4 ZX#qxΐۘ-7Y Dڤ[ 6K@d8jwofbg}P< ˳RNa4]) `?9 K)CUK6aڿc׌S٪.,` 1Pj~feuNܛ{_\Tɂp<[*"1)޼wquҊu`ubdzЍXl12B{'.8q3Ɩ Hr,^ەhD/e*R Si￯rOC~m6>-m+ʶGgZ^_;vMJY%z_U.-2۵k#-:~~{X>O%_=MX7 g M=ҩZ`(ݧT5^c\"fX2wX _ c޶i?_nD3u@J gW<#󲘥|TR笌w?KpDzg$FB`$ ̬w࿏sÔP;a6x;!P)"X8_y3F#o}BO1&ipgMiʗhcZX&v(7dՐ:.x3rAӭP6/ֹ4J:i3l<ƞ kB[)(w6jeZ: D3 ܕzbRJ;#mo,tkO|O]}ǺVM0+K@\D lY+A5( Q-pqaxlY(.>kUǠ~6*#c*K)ϓW@bVva]>c FB?0!TpA)-tkoƎ!MAȍras#ͰؕYb5HG.vca#VMO;;nSz!e(9H/ANmgziC3`8W0X=桔\,t]µMrY:v@+ǓUK7&-DN "7A0Co_+caVς :4Q-F\4N'p_ڪWBd7 !$ rp[D[(c\xJrk+X)v/o?ϫ깐e;w3L[pZםw Ab[|⹺uhkwIKG29tI[i e"ӎSOJ'^t^NC'z<9z'f>WDO¡6|0!1KX$7/H[H:}Oo܄͆ߵΙ~YG |R3ݪe] ,tBgP DVco^R ~ah5Oa<KG0#=½:ӟ\x.)CeP>&qaor7LCs9lnR@O\&OE%15|vXTРA6J ;yeUnu)Jd0{lɌeaYy{`d\5-4:!7WOM1LX&k^;kh9 r^jSQh^>gl-Zrߜl}(EաB0z(aKۭ:J"F(vUZLF9?ݬj20(!H;0j6'΂KikGyd^BQdMlݕ]zL7‚+雀 Hv2CʨF T'ܳt#|5 \Y3i녍0A(‰.Ҋ\:K^#~.KJK9"9kڷTF:d,-#)ê}m !OmfXʊ?8rOIB> c~^W꾾lFT`<*ߑ#0՞ڨN< Y̺do; o0PFcr˲o+B [9*K;HIao.`Z_Y#5KK(cu^S[\ħ Qͨ ;؄MMnuɱ'hCڤZ+aA ٦!¿Tgg*9F'J Yj↮c=;+[]%7# \%bX9[}̿r?5Us9Us zHBxU'4Pkq=~\ˆ'V2rQ_X`(ke>6ym+,=TA`f=!ěAu1hނNwJ]5>([0li: ˹rcbW\O7ۼ0.|(Z@h`:Hpo͖{U:5SVM浝Q'D²xFbmf³'ɮ\ڑ¼Uc#zڊ$Ps֒7^8/y 3K lez4*2#åKQ`֬|s $- \I`fB$c_`ST/KxrO` iwos l׫6g3.pemCXpW4ӖWUSML!ZfG]׃zݏ˗^\-T˻OPY4Ny,Jyת6bz,EYD9 ) 8%\ S6"kCodBl˅Db'Zo<'n |9py‰w} >[mm\{&Ja#'dg]`V=xv0VwOS!\R1_Xxz-֕|݉9e/m2Lp,D*⫕FFS !)O.=+;Nbϩ A$5d.y ={: T((8Y7Hr"XeW kuW mkFm<!&9(fb? )22UbKL8y7kbT^ub$$\KP#JHɪ`I̱3@oٔkkSӴ~g}la߫dNs yroĖ9U͌C2%L8f6jvbF"-2%\@ dopF d9RJ&p.}:ͫS "zw$ϐ94vcP 8}/)m~;W3fm@֞I*8g4=X}V3O:h-VK'IJqvZ)IV}nFO3y;K @%/pjZYx9ếhra:"|h*oUiՄU&&b>} ^41zTܤ.%%H]͝԰g]̮jr4gz;B%%Ő2?4'ʙjX%Iq0g>IBefX`x_o{ڍ}nTtRv] %w8pRVM+IYۨV{/ 7OܱhFB"4^^܆UE]8_3}}ޢ l^I9mk$f(wbdBx )m3`[PwƶSJÀ(XGnMpR%P wn2+^mv( {Ŀ۲XC'OD}>o.Bz49u&H9ڧ1!]|W_;ǻPOIJ8"/W`ʙƒAG^}TC*Uߕi`'kt.Rч|/"1joQ|d_0 y5Tl H>sRg RC1a' #tN[U_͚߮VR"kq"x Ȩ7Y;$#&7Z_kjXnd>YִS8:V=ׯ CMy/ xfŗE`![Z`HަR5T,PL7T8!nqgKSmK=z~#."x4]'H:7r5$2ޛҦ vQ7i2BEV rfT|ha^Ž˳[`\? ^EEfѿpUV㐬,wۧ7Oԅ(hb^Frp%Uh&w|ьx3ē,~tUf.Hȣ2hԋeZl^f1}@ϫ"f)pϛ<5@;oZV*R) 4#ȿ]NZ@0|jpxXk|KmūTwe%'#mg$YYeqt/yva֛fZ @?'3[l%K6^i!LVWg!Jd6$a%=eSRh^8[i|=N _bkoMR~TXc隟V$Wt#>6HI2N,?B 0>6'` 1PRvէ4Rmm'wo{NJ]ˌ4}t͑2|̽;)NEGRsx"ChZ_Qz``-'=fS^ϭşqevoکzJRài2pʟ7`+M01hOa@/ݻkQ p^5ܶbhu/\]paYWf7!JMᄃՈH(`6oԨ!6@`/DܙiK nsύ^_F'2Re3.j< R# B:*jq|uWH+NMt>GeJl_rQraCW3@oNx[?:$eNM= KzOfY`,v'x[PkɌ~-"ҸI i[b" L#Zpis;ovTJ`߂acCPU"Ѹ"{Q%c%Lt&Nj$ "+0@T7"f.琬9g9#G ٕe -e@с>TWTO9 Op gBJ;$s,A7g y\#9 9i nq1iqR"@ۋ,"IgP3Aom_ 쒖aB7*~gm?*{wC'@x b\6]hvK*6ToW"W AG"HY`/yJ>㗵H:b 7EjEڝ\4epwaa+g>dsdGTy<_,K$Z?Rdz^e@DVm)sO˜f[%Ir#,4Ё VP avY稩۶ OUBB)~^`MK"EZ, ׉w r븱՗v\w$tqȁҎI0>`bܧ9B8Gjt6vyۄW|:BJúbsAM&DG[؏ CzR#:l=x".m|g*.ՓQP(^ۊ}h؊\ ƺ)UÍXY/X\DUfiv5NanZR8G"%Qu%g-q><a!lZ<uaKF}H!%Ϊ<~ou%3rK=[>@;*hqKH`2ٗ9xZ="CPn{E5/-em;3xOE |ggٸw |LP^:h2I`Oj evԤ !_T)!THlx f*wsr.fDHUໟGu"m+L%P^ Lu.y'pu:̇ٵ~X9*JڇΪʌ"{[c)y"kCnbvYi;$±S*Ct_ʑ*LKf 﫡[Htއ_K';N;'FGo3 }mDE"d ef뺵/G[*7Jë!0dGg̱C{X]/[htĎ$aQ?S*:s?Qh}rT[t$ێ#LF(Ro{]ێC*?WtCD kYk0QuޞH$4ˈ퉦{psϨki*JW5\@">֧' q¹UܯB/;$~ D\aRe!YIUF[ g/%BNHy, 5$+qv $K? .];*xI ~v_`ftˁ=ql?2C0`AT 0PyՂI7, 8WlW's~bK1kHB P mr= !:?]HuWRClzA܂PH38'EiwIʜs6c)RރQ!fʪ T `^ p!DFx^'lbɷÔӘEˬ͹5iL\*eB{e%:e5v҉MWGE^fb/pɦO겔r7\d+8і;&Ӄ}t9@ yH[~Սؤ9d(&m^|AXŐ擲'QbpA#ީs.4x]6|kΎbNYLSXޔcA(\ :d. !DRgTùyב ?ގE0놞Y_߽ԁX ޫh;yf d}кGej2 ,l-DDL|ur7*pbSgc$9tCfhƟ;6h  @!̺j!!C["XwY_N2C:kB~@@6!6~ pX/8Cxs6}AߐedMŃq)l UN?6W =X{S{^iۋ?Wp$iل&9Ru+`DSAÂߔI7H>,.PՅ!͌_?܏]dpQݰlU E"tkɀîPچ(DŽԸk5ݱS]|~JtjN0T҇>qďY9-]FQ\EywN^@+7g#3]^8u*[Q/^l5 ȯ+U{tEm8EI'؏&)W2'c4F=J%btтALma*.dsꓒ89SJN}8# >,\ss;ֽG9o&xZtjXq)rMy{^!Y6p8Վ"H;UȮ-E _ jE ZYͯ0I! ۇ |-Hr>dCuk;"U b6KǍK2C#[OC썵0j|IDpܸz[1ׁVYa5v~ i, %5t7{޵kl]OayU kPK^=_bC} Į2A FE8t *za hN9(~*ćצb@QS~0@Ǥs鴊N756z3~`L܎KFzzUyɊ5k7< ,CYU%_m+4R-q-)+{Vܶq:KQ39, Q>,@fpyz0#?QKUɑ0ʐgx^;w#t,ܖ'_;ەPYqDU32!6_݌~/A#f}'S0E.Ƭb;#EszF OcEx fIs#2Ŏeak O[EWR 9q >LϖgN$\TI6Ub,:?}L1l5"$Z^vU58əͯ[MٞDPhGeMvRN§U5OxTlnx *1 ;4>\<Ȃ]XluӇ9mA.@^{xzE6=…{YWL);ߔ3v{9.%$Cÿk 0[pbAd-ʊy-2sS~m&:pƍm8P L&TzO[lA!ܯlkFbϋ0Iw;B'XVy Hz íh?P\aUxYҀΧ湵VS|Tȋ[K> …cL6CX[~GML]ul V# cPfgHLIre{t3_m8m)U嬋vlw'Njm0JpWR'|_Zm-ا{yɼX4MB%w7"Tz]Pe{'T}/5o(H&p0 㭢vߒ gkͦNڛ#R~0{ZD)]6-^>%mv'F,캸r %Oj?y1e6SmpHb`nqÕf :5Q0m1%ɕ?נNx.wlQq& NNAحo\:` R\~TE/} /WTWS=a%먬UVzGoS12n -%vA|&{F`\BDZu 7mU>ûGJkatɵI,9 q5H.`bA9}zPܨiYs0v>UȦudWXZTf;_ϼ]c[q$GH pK&X>hUOWGuN""KI^RyRf;61G>!%=:~Sw‘Œ:b H@4D}%lGI5& foح|3QQZo (ױɕ ^EX$e5DbxCxhH4j!֩u);p!a^zcFQbG ,SϫZ F4/=Ug;c/,ݡ"'eVX~Us>֯pޠ!DT,wAbpCC%22hVM L-E>kynynYfr"kIѪ6< O{ Je.DѯѼ] p}7RLf'Eyˣ.hN 9XTz2dDB &B8EPd d)X},ˠoEBt}h*TQ@1\wHw3_i`d.] hj&a* ;0ZPw~ "VVE/I'7lGC} nX/m#^Κe6H?O 7جƢ(zTN Dc~m$RDHtn5:(nFP>+X={"tnS|(U ?Px+! !۔R1WZ\%VA< G¦YuHN}!O }JPP&R~H2]ɒoR[`Y̐Q5 aYp루ꞩz73҃z[.H?EM8QcBS)QX|W–%4緄;YQx GYJu/jE sYF_rBj%F6s]]$K#߫+R»y&ԏz[9OG1s Fs \{epK%#2DK9#{AfEԚ/w0Bc7J{5&RsOUoCɊ%֛'aD׃ pϮB"-W6%7 8)$kS-ӲmV-d7l4;ObIkԡ6gNK,aN?)#%6BsTWk7Ԑ. ¡^?r Kx6ӚT3E/"= `ᙬ/㣭ACyr0V*uh5t( )`U5^C]@ E jRMRIŐ aQ !*ǎZ?qH_VPEМa,) uMt=,mqhAӛ;Uqe$j1:D_cAټCk`˛d{--`_ G}U08ΫYg^tXךژ{R(plu 9OO=;ھoa`#\y~:6z(ILy$k'}*Gol{CYZφ F[rtԵ`5ܒ.a\2(f|¸>Do:Ƕr͐z(aXI$m|=:]THCDFMCk_/pR4C}mq )R[NB3sF$蛺 ;q)CNd|rz^ᳪ|֭|=]pKc 9+ ] 7*Fq]~gw6_-}S^E7Lrl# ` s v>q,LkAJolp̷R%zwQ-'-F1}B Hj#YH0_=r;Th s;$5]&զf7* 0@9 +.7u)2MctL'ȩ6x6l0M^/8|<1? :`6ćC>eXCvz xU)&<+Ըw  sbaxpGE~Bv3< L|j7@FO*g <84TQd ;LquNxMqX~<Р~Γ9?>ԩʬ%<`5P^R`TZ659-O(*>ۚ_n_z@lU}ctvZ3[mbƴ4}ӉDH_#`; N~b:0a>Δr,+'N6ZNA8\ =Kxr/ۧ;+HM"_՟($ 6v$c Оz@/`LLY` p/7LV23Ux4Oy,Je:.BcHxƾ:iLr&C?o3<_?xD7˒}be}РntC d49.j2>.6-z b#1sDHSe]WL;xX>1%em|2'pYS=9BN$ o `o}x\AT $)ƯPp1p!3P!{ If6:}{D~\Śi7ÂCmw'JB> M |_&4Ϫ\1M<(8?*K:gOZ*fNzD"*UѤmwvmgu ҪRgPqms 1*@ǕOju+D"9=\%Z7EЁ(Lx$gzϔyf^ؼ@JyvAm#Խ2~>:Qq{EOI5ҟnTg=i!tFA 2qт3[>S$mRh[p`6P ݮ8Sj8! :3g@n2֛71ӦSy^pvNůud2+ \̂ fEAi'/ azLᚏ<2K%N޼szFsrkGqdfn-e*=2Bb.'2|tI4RhH˳S <h? b{8w*;2rt>!e WG|%.'0XS0J[+G)#ԅdg!u 3lr}'LZeg4dQY'H<=u-?tPu8GvwL(PSha!=#s\wt rAc/\1ZV㍀Pl%}zӹcpjj1ȂD$#D9dNٟAOޓ;@LtXLgUfc-, n[c[L i`P"P è`h6ڸkr0 i$Эaak;hQ1!UĦ9McIÿ/(~=s ;\u}ywRΉU+c,eZn)! jC x̉\. dZ;x]dS&߀.Kpr^H vXМ) {1htM+g_ZZqayA5|tA2an/g782{22яt!?[~BM$ߜgAKiabM  l"D nʴ'AP])iԕFo )[I]GCC }1 ǟGP,)873:HA܅RU`T+D+08WS/É~Lo4E{[Ս]gi1X ) YP+}zj(Fiy~\9, 5fKdl{(A,r~@yʞ}!`ɞOBl4ݒ4^bh?f'vC [2M)<7`U[Bq/zY0FRRURǟ2A)yJˣզV;uG4G*+v|j%^Of&G:~/ Q` ѿO/O)\<7xQk))n7SqfIzLk6CjØfx}%/Յy |ᾀ>qOrn 9{PbvX!0KYqAVޘ2^5=o/@==.0:2k,q{÷uX]@6,\M%Iqc"0ZTF 38C vV˰͍K9K*ӱz'ZOoCjĥ4I]L`i&# e!$K I]FbO:v,~~.--65be!{mNd} =RF͎K8h@**EY]174I5jVɷc:4n[lO-ɽfzNX@|VŘbDGC ]9wU1qz\ݐCJ4 Sai\ xVcZM2AY殂v^GK#*+xBW+_q?=m'l' ʒ߅ɎU\k7"l@(l2rjL8A7 ^ ǫ C3K4uEn;bV"h~V؄td=Gj h5YqFxd1$sFF#9iz H-diЧC/5sGSVH |ax6_!9dN=rXWkc&4sCkOWm9aR ULx]r/\޽Sua8pJC]},fl=6GGNĕjV&U޾ORtmB?MYtzŊNȨc˂zX]Ƅ=Ră 3.+7ťrʑrC1%%3蝐bG^Wuͥ$d6·ILHzy)aTƊiixT?-fdn{#F].lrWfj|~05Ez ɍ`.Z',t Y?S 6)c?`e/1ayG.R1} +8morT e}b4{<"Ya˯;eDe0ggC|!hwdA4-<\>:ƄtaȫZzEN,S:BQڴCAQgmB-BN)XmL  ̽a ).VHˮj(2sabJ ׋a"VmiB5V],zb.JӮZJGן X.>PP_O;6[O2 C_Kc(Kg@Sː32TVs_c{l/5Kli~[$PwXŞ;0ƾ*-رs@^P^woVի hTɧfF(-tt9T4+Tܐy|;< -֏A! s+~lK'>=ř_.LB)λL++Q -nasDPp֍#RǶvB,ԧBm"~3bqmxvy֓ڈ~18tf)!IohEٵ }調QJi_\ѥ< `  [iʩӎh[kAk]A!wy*%o-|ӀXt_69Zߤi}=8f9 %waVpZ(cNDIɧmI҉֏[* $DUmGrm6^6Tw2-U!m'EcG-}$# }b4я<ƩEP6s/v WA)r-⹔3 l=̍7e/ȗ)V3HAsspǩ8PǷ;e{FhH1~q5'Gl5{u^4q%X4\|Wƚf.ÜYV阝'"?fv7w{IĐRY08B~ ]1'>uw!L/g׾`(\Ⱥ:jTc4Rհ{Su@z1l'Xo:2c$HÍv86'CK^=(V5u1-B*XeȑS4"jm#SSb1pP'6k}wcŜc>`YS#4 lp6*7I\u8/s.=Wk?'ss^Muh9htOiu)FGS8m+k'2P>.^|̆vG.:w>}N1 F  KcaZ㣎sq1̉26{\F\C:+,|BkL_ሚ,,υ g+ݣB nZ̭ӝۀC::WX#)o3.O'0\~'2-Q71_c<>)]e'hCEQo 14ŬuR)0m1"范^rf#.[-*09X|Du3c# VjRHq;wfyJƏ"ṓXk~f)A7> J48.kХ=_3fHsslQ '`cTym;StZ}N!!21l=u6no'bI [)MsӂzF]5-8/guPjܡ-@/1FZXh.YF?cgp)c@Fy:EcOF~nJ!⽋M2tcQM8]4X&̉hP*jk@֜bU:/RDP{Fhy_w[5bupA-CН}nbA(;иT"ND1[|$d$bPE&@,1Q[s^El ZCʂvQ551Hp3DGazѲ 0^¾xhW,H]oEG~YN`)I.odbcm2Ep>wWrrTkі20Ț,d't$H6vcʞ"f&1G FwsLC#5$Z *Kd57#u?'LK!KLsM] D\O«1{DlMi5FE{B՚Ź ً  zgd?g2 VE$|.W/ pX!qH!UK T=t,#YlS-ޮl4&B9 S i|"Fr8[4a?=L`}'Z lͤf*]D b j2$?ݭS7rA)E,zJ! V;m1'ΟoMLd8E+ %2䔏+DV_ Rtً9Leus;"?yW"Fcol~sCE+m M^eU~-<;ʠXcvJ2咱GXw9\~$aqt^MCa]'᱀\d .ģqL$տ'oؙkr5M^<9+ ~ xd4k_'"T)ޘu+UL߁6NNVژg"ɖW={}?yxfV~*,JoAKUI%g_ Kز,P4w^uZKŎgYZ7xH@)O$~%y"&%f4Fi=5u qnjgυ9P&-0,ё ![>drI.`AT~ІLrɺL/,=z"6Ô}nћ Їbr-\n' uTOcאx7ӃkW%5uEXB8_c:4 2&7bTD Ty߸y +M8, wʪSyA&t= \ q+ܳ@Cw^Ti5q8rt4 b*_qUzDo==&c.g׽*R?9-ݼlSxnUhWgKWH&Bh/8&9M, I4 9%R%1R3kB.7ZyXm>ũߺ?V|s1?겙S ^2|Oyj-T,爲E*Msc2!!r9xݶe/o8Qf4(quiB%EȠTt6d4uLfQLl_xAzn@7\dz~@ĔɶL[f8%XƭգE4~@ pl̝b/)RcFV]e,D"tk&H0& 44L& 2 ]na<&œ(v" ?@}0A-ݲl%oj]<~zy2k sJUӧq:+~>IABMRUSr`%qzg ]'| 194kZ5<ڵPBf'F<]vHk$P |!c1z{?G*aﬠ*2#ke:~Qjph$G,޻[CQ'إ!E,CgF2qM$S0WzxX]`6s'S =ob۴}֪}K;LaJB2T%<#'Et.;T_|D&yns%ǪȩWersM#iVATopcհgo94Xxh?iHQw\ܖ+u+Ar#{d*ys> aNS.=vpGVEZ!H!Wqc ߙ@-lؾQ[xи5`J/\^sUl#ׄ E9O?!?\Z+CeLd-/+n̟pĒsWŘV:6Vp}VRszR5q)w%wd; %o1LDG`AK`F/!GنC 6}"z8į,H7XL$8:ֽ2sn(.>X Z1ɈȠ\pD((X&r44YNI w@9[9oӪE:MS +*0?(H^bjDhLMm0"ɂ?~,V3}GzbpyBf62?U)"j'&ʖz5{b62/>rS؏%ڒ~wcVr>ZXi%ܧGrvs(.޻%ZE4`PB! -)4Bel{B2n ,rkjW?0K5|},lNAְM]_M,4rR"43|{A;'hd7ukG$3ґ~)؇vL͚h??e;h֘} 0~]ཏ$mMβ' 978|k)>.B+h t؟Nb-L3r9::%#9*)lg@IW,M?RDYC$ њCþ¹mգO{g@B?YߊS N`{]u2%8@[wg;Jwy'ʘ< =Nr&1mZ: 4n2ņp4Ɨ"@/F<h/F3.rЬnzBT͕^ pQ©ϲ˾_{WdԡUӌ'c.EP H*dQ3,X_5A*0Eg<4Bo~dACڳ2[iQ W9%5Wn>:KoT5w﷔\Iz"H9Q1bFkn-\ c/irq&;K~7Dmc,oldm\L h 6@,rCkn Ev)f;gGoGF`lcOX'E6H] l..9u{ ^Γ:U羷B$/ BcBмND\)=Sx:o&^6) 0HuYb̾Sd 1,軨Z!K+ G=.^nj$;M8˧~/a1Y`Muf&e6N4 B 4S Bk4JX.L/A,: $5I_6oWt])k^B]PV#N6d~:>T ԇ[:ZO׮k3s?=]x_NR?"u ú;I ^-lM*i7Esb6|V[^x(>?&t?WVnɔL#N]0f\jcO+1tw߭ѻSHTM t";f h^"mz'lwP#s8L^R?vi9ƴ2)*o6-3sZ(|_4߃6z,e 0Ew7Zylb:u`;KPmAyMzزD?#avz/0.>90pYqWF܇U'U$j1¦M[ꃤu@Qt6y>HI!H8 n{A/3C/hi587FT3lщw;jt \.ĭ؇rc* v*1x…i**_dLʸŏN k+rF ՛hn#[_[#2 NDsܽg-y&qcѫbiycopdCYQP?f7񙵣0yFj~^O'PA ھfTjΉ#p"RoҘr U~|4 ,xVMpqlqk6ϯ|X!i= hyk \݌b۟A<M+MϠ}BZ@WI $ "ҊgYZW ϥ,|YGFt=ðcpWshHiMޮBf"ƘSl*˘bGΕ5c[XXmF!sy!F甾|ojG1P#V kM!FfS;f)dg3ٵN6 S|sQ z@?1!ջ M0ntSD6H c ͡Ʒ/9f vk^ө,mOlTNV5xprpdZ,(C9L^p;|++bLsN֢GR !| U ȸEq Y kٲf&u !FDk;|}OE U>߱!\-Q8)=]P;%P^#FwusP~9Y+KzlǣZz4>N>k]s#, $n+j; T]!%͛vT|uLE_ۑҡ#Gʠ&-2u,L`.4ATJl]z%vJ04A ޗ=5߳ݨ>Sv_[P.0y[g{6M]G\^.<8fnl=Ƈ#T䉤K =WeTPj= x͆i0d+g-AlfCKo<~45[5ŒN[ -&ˑ bYit9΂/ʺp2LКկe|[f8=<~X޸J3p pY6j=~iܛQ5W ?jYsVO_|/Y?ɖ" %C!%!S:hH9mJpKqά[5zp$H&F+2oEIB "w+r>~*+=\n $Fmo`nf2흀gr)bܨE!;r>CZ[jnID(.C~NG9p^rJ~y-hbLlO1T$I[B5K7Qg NS*VUG'ۿX4VlГ%?Õʋg1/[]]h >/ \ȫ!rdJ6A_8Q#ݱmz2C"]ӵ3|F<% 8j{NJ ņo-ަj)+*4pl6X0x9"zx4 #S{la+.8|RvQɸR *E@Х$Z XENM˨_cʂBzçWf'Yod#oGp=!n]Ӊk"$ j2xd!Ǭ+) 0 "\ѢH}¼'pU?G’˕ lwQnu$QBf!+gv6(MN!B, uwav3qZImWVK!rՈ`6/rÃxbEvu" `>o;A\Yl*M fNiﬢVn&sI/2Ӕy^DG';?Kit,1uH$r,cXJhJA,؝ƼE@w^d}Vfz?IcIZa4~Ds5 Е"Y% jYf2 {PEjL` x܅ocԙt15P%w2.%=FYdi nRusPWB2\Nryl!,ֆB[`IʼF 4x E~\ހ3s}fܑ+?fh6ґ;"qbzP2R5]k -*=9<j&V eUpY+  rL ->"U,N|WJmm$x0XbG_fU`K:DS;}RǏ$ HZGg%Ux5D ^Sa@RRRIbT %t:Ffm\5 w^Ý_iF ; {#Bu?\0Dv` o* =nW:鱳W;lؔ,N7$<:߅0wzox[fq1yRS0"'"5'\AwZ>uQxLJNwgnN]Nr7 RfXǫ81gLmPNM⦑1=*eg}Ĉُ œQyCݮ7egC%m{LlcxsFd]=Ds6=D%g^=dr"ƄN}hdxX͙** 7o~WօZ_ MMMtzQVF{"NM{UNIk#.,i6;\f7Wd}6m,7#\iY^Bwn C H`Q)Yc+ˬ.HLc +;ga5 M~d5Z&F꠭gӬJ}O_G,ѽP}nAx}7E;HܼONDtu䙑W߯ m҈n!j24!7Mr pp{ !"z #pzg_bNoY9l}7]Wnx@nwfcHJh.HNф3reSR" sm{on""J̀=X קOBH6ŴӀf.f}=f} t:D{Lagyd@jE[3op&ue(&O'%;<zL~{E1N H xiɷ;s4voHT l-l;RfeFٮN clc}ABzCvUqGк!GwxC=QM ~hMܹ/Rj$ؑ4ЏiA7){9y:@y "G FPB[VsTr,ep"j5H\#8LqfMb١n0rBIqбc*/@ LHޫ<>wflw>4 Q7iYdC]AT-i+ `Mv ʤɅBzÂ꜕(j}iȍrL=;TI6B~dڂ (֚>T5`(*l/Jg#Ok;Nuܾ eِE٭2L9{dr4c/;I-zLam2G#q.VpiSP+yrLdBmAz5@BQ [R2+"LR/QǓu}*eDzP5f' H>uݳr>bOfn@svc تv8֧ן 5!梱M`W'RvK2geН`%wng|!:"p$-4"馾"MY*pG]/xpmFa 1= %os=տIx.P_ rkX&tr3o5?/֍M/(NSNP8MT 1 Gjz?MxW"tԀBђ[ Y?Gu]%P-dɀT*y62j=y<㩜;;Q e'XԈ"_,*D*qITy gZ8@E7̉0X}ÿa@>hXGqlFcͺ&VVKm?30Q :@JQOtKԯ$jh9_\:{VoS8x#JP|OwJk.P~LdCnx'_h `j/]P,1%o:ĺZܦt\љٛd W7Mơv1GA7JsA+GL8\NUP(ыi mv.Ahz߽#aOQ,7Ih%$ˊX(ra]3;NKn[埋M-`3cN>Z)eB.NQ/>/IPLOهab*!U(6 X~}g@ ;NR gzv r[FG1N_av5h?+m4ʛf3N ?\(VI^aN6{ sIXve%uS%}s^ x_s puMcqA V+$b5HN>OP^/E)9xv܃=^_<ղ6?tإu!I'OlLyI?~B CofԢAtIA@(SlRs/Bǁ@@~> ⤝c<ΪQTt9.SJ:ll61=X0oLOLƅ;)(zF.R[!*DJ;Hz t_o}st6)UWcpb"u<6}7f>_jDww[@o On}<ǴeChgLЭ#X;崬G0ۇ}PaL2&8Ǻ7U u.x'ĸFteGNI '==NĈֹ̐z$r;6 Z51%Qd31ǦH!Z TIOv@댋,O)uGnUM.qJM<(UG-ޕ1>ЬxzSd ?6$5–j!%(RjZ#4lg\+ #qtь@HhY/ ָ{o'U`TxJa؎z`{ H3HbTt |q6oS,~}.y6{>Wv2P3~&@7/l; !%N1ٚȦ1l;&^B:o:Ǜ現B ΂ibdU,j?j;Zs{Q=jAngT}b%lGӳؕ6 {qUg&ߴ#I7AB@T^rtI*׺:A?t-o r=uyM݀>)QsMS_;RD"w̔Q)])Ԑ!{bkO4yy%o$iyu=M1⹘cV BT☱@f.Y:j9'Yד?a <P yPKn?N*jsUA]Up:`>C,eS23ObyTk5]_Т恕b$)fV5T?k&F,a]E&7.4i5J XkK*WEnH8rBֿ J׃4`^Qvϝb6 l$3;1!d{p> JPKV5Ȳq'd5HL68nTIgj)( @qzB3u3i)ׯ&DIjs)1Zڢ9{D=6B+Azy̓*kSȠi3̡FG>f d,?&/}WH+BeoND Y#'Q%fxvYmQ.RА$tE8,'*`X11QBxIܑRC3L6S8/ϟI u R܂{ݼ 2i50ЅayPhP$W˖+{n޵W`#a&Q%]F[z3n!9ӲQTa:r -8ѳWe6=D\4Z}hyOO|Ab xD"+o^'OF!v1a=C`LPρ9.746(җ_8w$/5ymb+n=Eu# tu|ȅ#Υȹ#-(rh-Ntv7/9 CĒvij'=OT{D;~j5l#\RH'-)BMg|gm7[m=m C9zyTKJF;^Y2e1 qG8Vwpap_![h6  .>‡ ~UshE1 cE&ˣu?l;}e$ u/lͣW( t9&wOui33q& =Y7yҽ ӟz;щB9Ĺd.|:_H@Cϟ WCQy5D~U.۩4.3 +u߽5ZDI ӒphiJ`?Xi'~zp4i*{>錂2&@=Te9 #X$z>1nf#>PLuZCBVb*GC8N@=yl03'5;2:r[ GDX"><Uu.L'qҩBJ.E*t%3߳-Ju ELdJH&jQnO~wKѿH[l& > m >MWЩ9CAWMx\oWROAw:LD J3Ĉ1K=gViG $ Q0lW3jםٳ3dPiѽ%@=O$<٧t'~HFꗔ4:Tb(taـ m:{*7iq@,hlGn7wE[2 ڇY./k#K;[R+E *uTX8+_#kDWI-M0.cPpj;[,heCry4oblgrM`!n}sS >P]$jkL7OY>Nq6>5{ׯ9ۚanF r Tii>T]i7E_q `8 V CӎsQŊnNC#AH1:Ƒfi80MzQQW?#&~(,q1?fjk[{ _Nܜ- '0<[0J*s*Kesok9OjN6"N9tK`ر|hk.)E!SP F5hmYs$Th;C] Il]P$za^[IN3XL{mj wS°'0ǕJK&7mu#4BnC6񓟼mгG"#ͻZE ٍ8A'&r<_,Y֥:q,v;Zu~)La|~]]#w[c!M=ayIК/X] pvNaQS@ڪT{P7J/bd2j"FckR'3"kb6[HKҌ@ i_6'aL+bIV6H] f.-paLO鞕3$8C-w s wv3]F [~EH#PEtLQhj$%mWV}RnL?RsC>^t2f)Ӝ^tkdH)@"Ȣrw}#['ybzM3 khK`X'Ioz+ mςO% ? AVuQ(AGdNWqbXzmЭMe["NIKuَxLr ȧPھޮ^G1f{˭#5ث{_Yw7~_M_wOJ~⦪'<\&ju<'N| 0>lSdYQK^O0_Qf*3ː vV(m&Wp%Hm@Գ5]YqՒs1OkJЩm$=0W'prFQc *V $Hѩ##>I66^ǼG[ؘ fLPmq"T>mDng leQ -NCJP`\ q`wOSʂVSDTڃKAV5˒k 8#RrP rhɆT2piI!Դוds҄jZL&Ms`2TacZgF_qdXH pTU@Ԛ6|vIPo7^N1Zo彔|eB$تuF@׿$z{U8jq847cu@1.Hε͐t4` Ӹ SJXįw"{\"*K#\at< /(mM ߾'Ya^meθE*@vgnUxT򤍧C;C)% &ea" ԙs-A|&eMIJ]Hh-^4;=.bF\!}Kg83>9efuUB,58LP_h=AeMw:lq&C}))n6Ta@b1Q*G-{lsުg-FlR'iF \ΕotF;׊!ZEwe)>&fKhZIArv݃壂h|JV:m'DD Sqn߱IU7)SC>c5~ qVBF* XdOmwzIA¥):*CK*p|LPpy·XU Ҳm1z.lx$* ~L1:#[F^H֎r.L` 1 p`6ǗԵxޔq.)朤 )/ g#A.)pmMV>eo>_u=bl#+ar f\`F"U1`%YTO`|FK>zraӠ۟6rvd!ЩUrՓU͜a /%0@]Pԛ;]D^LAO3O6mjXGA*vC!۵ F|99TarFBU~49^$"5ب8"̲,n3wg?ͷF.*kXVNiB?H[} 5FQmdAr:[@WV\-_*¾\L-}:C/^Hw#+ r - =LϤ5cHtX+Q5-IP- aubƜ\a8EnbR54,ܮ>l,xHʦ]٩~J/Dt7vуc8eaDI§{%٣d2Vg;rf΍Z2ܛH5 iAUcUՕQ o.` \6tfE1ڭI6lOLt mz+= 򏍫$NP67P 0+Ѐ0!5iμhtS Zw/﹎p?f!$V02]\+:q]='֝8.] \'Wt2!~ՒzHMZ?Tm:tqhEE_|1&_2ʹhd+ kʋkhQ%yZ\E9N]ơc1~:S|Q"G\𨜊SJ^)p֯ b I.f Z9nmSMpCȮ?(fpb;Y\eJ[sơ1)OuNk%#$Gh[.x7S z)i 9\ҏ X 97 Fޔr߾q ?PGZ3=)Up-]`/Fkc~Ј q]1%dr>A ux\ڌ384U8߶qXaD9B(cdUUw/Tcx3t ]sPhw6\客0\S\rng3d}zg9to`&eZ gnDX/"8Ը`FY;^>CWU6@rCkR/j> 6OCF+^VOjJ e^fIA[=k9^Kn+-N(E2R"U7"^j{RdRj'1\c( &#wY8F05 zLdem9M{jț￝G]*!ǫ50r4Ux9kD b׸_,"53ߜ\`D믷,DTVl[mzZt- +syg=ͷOHDIM&CYS˴ewy ,kqF$Wv>m0{NDy Qhgi{6ly;Sl| Sfx Jޟ IT7 eGlc2W.ʙ[ )RTs|DըNRDS6K\U#~ݏ#p10LN8$.x^Hـ o:NXׅ륩ulٓ'+7>:_w8=d5+vWˢwwG^lE'aRԬ|_V%kTFM'<;̥5t]H=u^ V%Ksou=&Æ2U.lIjcط lSRzvבZVM'u&3Vg U툾҆pǩ#Rya}b Ots#fx%?,hV~k)nI26i(=\1D$}q 8K&g"NI2V*R12 U˙>l36 Qٻr~9&N%3e-P qWG9!#%%26U6pB>Lр9/)<\ە(t*GPx9› ܞ|9`FR,Wb=8ĭW 0n=* $woyesQ(s3Am`b8 D0o phC<Ү(NK7"kq_s7Q&RL7i=!EӂkkI[ͩ>@)i@lrYUg9q8𘥍HWZo 81gI@}Zg-?WlKٜhX/cQt)CZ/O"3,]EM(E}74yr׭+ڌOs >(iV4:W2W_V%Yuk: dZ=a 0λ'OO”5w5Xa` aO% x]-^WDwC2"TV,+}A,< ݄I$]`ڑtAFrh].$`xz(9Yؐ<$[R2StEv;rNt$SBYRZJyXRhW7-Uƀ&l">ʺ)BKKi;~l$e${!"fps|- TҌ5nxΖlPN&Ձ]Q⺬]ٷC.mZ,*Y;aҾ\9>u9V>k_BYPڌSИ:NL#9YBM#^FJǠC,۹-¤ꉜQtS! 6^S(QKmY4&Z@rtvkqQw;y68|'w F$?ᶴ̙c3&q*u`9 ,}u^;obH| Cےv[oF2¼102,8ocpw?,f^t؛5Ǩd:5@cvx{Z,>i4RPrBYE/+R㮿_^}#*r>WXix[1f䉵fVzhElٺԿ$~Jܬ[U%єcTˍeX.L*]ALrJϲ~Ѷ92u:M<,F.]aSF<+1OIt3SsSoXNXgog:6 booN_*MWnX&'+= f}&f'O=@Dʹçmrbl)j322V20 eÇY\5 k(C(BtS6 .UGWiA-P4d'/tQwd;YNmwڐc7v)= M )/3Pn= Z#Q nd,l&aG$; tc"6}$au+ 8tS=2[ѡˀ?%BT|2f7LDn5 Yܞ<ɝvF= = ilxsd]u\IEbۻžHswXx6A{;{l}w3jӣux2bkK@"k.Dx~jtAI?zt%j8ÍIF B/100݂i;Q@4l d'_ iZ¡6%bɔl([LSm>2p8{gP )/C#@e-oeEQ-~־"( >ݦ]ْlZUCWIm(OEL<dO}4~hg 8TfV m&,<.x=F֛3]'}ysi'k|tAJqXlb^=yr@Z,"ِpilJ#۲Lp- 1{\Uo F-`rcʽ .SU8Cy*s)d"9ʗ-OBƂo),EBFcW*KQ)wJ4ktv sVT"[N,iչo/7Ew^}*䖚t|*$vd`RǼ&Ȣߙͮf09iʈ5)m8`U'yk1VoӤx ƹh"MVWOeDžIe_jn' \B)5}Q DL}z] 0Q* S#-|X ɾE~u#E5缼tq,ldǷ8V΄俦eF5*?{Pt9>N(^S4g'?> HX1z !~PlѵUH2CKa%xyin+ 'v&a?IlsOK QLv% Ԩ[[$&Ӗ WnɇUՅ*ܩzR -G883&jUUtʰ&eyua N~ տ <5>W۩(s{-_ʑ|' Ŧ. 7Ar nf Ԙq!eF S NT}Ew[G;x'ǒX u\lB Dz,Ksc~>ҝ5JPtAR 'D,)w0MJ b0EK@l8[H B۳Ly?LʀLO«BHqJf~ ֝G1,&\e'z]7kt`"=s@JRsVLrb:ٜ blA;3#96B8A!)#υ&3#(H'E7W\5+  C)i\ Kk9v:h:h!NH8f/&́6QTy+}p@'#f;jXM &Ŵt߈A83TIw{Dl[+0m (z=J"$y7_Yu m'{nm7&T8yj3f$aJ.bܾr܏98hi+ b@͉-PE} FzBsg ꉮb ";w~P u î&6xc#Vf~.~g,cK"ᵄC,S|`Zo@n.b,Ќ{aA˟~<6* I{VI> 'n$씴@?zb ʰ,&agK#T!6/wE&gѥTΐ₱B!mX'6jSC$<eN1`5b7ucr1_g!Ch\E`T5(:BlEs9s8ܐTWè_3dAVO^խ&}6m .bVއڂйCҁ^cW9T|6 Qiex|toQ l96E;2 Ԣao9/͂~TT,7+;hQ+0! o~j DrSW!0MPc%z g01n ݧ|N-Ag#~%f`$ll5v`UP2r&^ R­ǪVI"r+2xɖWNAN Q/p6zgC'Bo ݍ}b(G=ADg𥈀rJe MBYC5.eЏ>S|-wpKzϲ-MMqJ*T̬YNy~nwXU{MzQ\ZN굶͘%&[m 6$T1fjEv,qpɂQO2u0+'<L}WWG`/iԧtDbGV xvx.*RnLo3ou#_ 'JnQgz*%$A/ڟ%O! isA$`NL+CC}R.T,-_Sޥ9q6-' }WdѣAF?o]SA?{/a:t5Qz]KpFN^}gcUSmOxڟ⦀aҢ+a>3<^A;n-|]Wr'B~,{\h?磷@Z;+?WL4T`1r v4o<tg'Bq-= &ֺUl,%@pؐRR&+xXXzͤb8I!n^r*0v3$j8V4gGV-m:'d xJ:r2'9_Qeu?_T/.}h(%ͦo(+%!^ ͚@ H!0ldP1dUr6MђХv*ٟ=lb q،gu ?0ɥJ69:&FΦѣKmk#J:&{W:0HNz9*'Sc#'-4\h0=Jb]>FF`=$( f#;=Fq981qMK~n{}h<ЪnGѓ$#ԊEz@*#OǙD$~cqcV'6U̖B w_tuMl!km6%@ngJ3uM^M_'¿Pe"F/f%T?᰼yu?4fNyD^}gF􎪅 ;@;?c@%lITUK)ВZl!jGJ9XV (ѶF'qzH+j@9!W[D>1plާe bL) )gҦxJi#vMݾW[x=P~eLw" 4!G:8džTe̽b{r@xrK*$Rmgj,s:Qd@*rP61ʎ:Ȟw bs>CL #SPE50&4̅n!rvUkׯґVF6! A=)ی2` y2>߸ m廜M5cu 4i*j1Qd }\?]]4g0w] TM+p}4 f,޵]G~iep2bcGhE]-SCCRS.$cжk1ӂA:@talS &M|<YE})J@j ZhtU.D+"P~y;+ÁXfy1|Śl/aWn͎ . nV]-YbC ERixuZF †Ӗ3-h]?0j9nNf q;W;" O''HXy[Kd'+ J?I!)F 'كɒZQw&4#%j+ڲ`iY~$!p ufW;¢ R΂d\qr?^`I1Rn"ˤ/0Ctq_Frd(ApwWSUk6#9u;C6\?S|,|K-ҪeXֳzޘ+Ai*#PMfCU =ۣ C%(3=QlQsLa @΢x OmZ็L,I yRT~Ц촳U( u8J-tqEbH -g4w6wQͶ-߶  d Ab/ 4bpw"rPxXzPBa} jnTrU\&LXjOs?Q~Í?6` 0S}-ӫX t'[wM\*V,VVc*N+T޶f#Qiy}]")8) |Qǂu]MD!$LE3HߣN+c6_vAui^JÕOrRwsN" M 4#}S8Rϼt_EOab.\T?$ 5t5dP3~͡};!Ӝ 3NBN0D7n RV'{{FJUvn8S[V[T.Z1=$-=0w翇P`A@茠]lwүO#^t\$YokTɒ@g󐮪 >x+zMa)t (T9#3Ui#r1\h@ab?<;}Xd龛֜@\yO^I;lT~˛c\sqN!3<4{UM78#JONL(F!4#aC ȚM !*^y/U`jblW|-yg։ySwO4psB~O+(y -O+P1`AD"*XHD'`|AHu) Vj ">}Yu88dҘ]0MGH->)}uWi/4N'pynYxCׄ$/tO2ѱY2;{oU b6_H'*FI1ᾠSƽJ6O=8 3rzK?lFS@qX}Mp!ؘ5]Z\OI%0zjL[HQB}PX![&1AZ81Lu> ߢb.mLYfyRH|=jKvE\_-,$r\Ne{jنtk-]:~9 FBH«_\_! GЋzрLMM"nιíUkEző%0\ |X/`lkl˹Hiք~⩞x|4ĩ$b63|zfolp;N{e0'6L(QkS]=TJtfif'F-@f%kha:u&hD(3t2Fow;6eDx/v|,d32~ٸ_ˌ;Y%KVHiܤ|B@7F&x? գ4MG~&wsz٧`hϧ+ѧRNἾoqYψh{B*~֬f>8 ]3';b34J@*Hj $鯄+lk87閮Y>Ϯ4$"u:ܽ,¥lEve/Bag]a$%vu,+YvxE770 œ#3nrXZ É!r젧r8%ӀՠL;2]fc0o9`vz=(o'AڞrhVϏrQ 势j+K.ߤ}B+g?B_`z"DZwMWP'0qf٫>ŇzO-ĝx>!Y,K)ݝT*ˀo""Z 0Ɔ2̏D;RVž/sl66"* "6lfq$.$!&gPjҜjmlw jxK@-1#rۘ19SmnoZ P1%KY9@VTn>ctD˖ɹJUrx@Ji.wXnns)`U3t%H.0$*W   vy!L%\`oM,9)~gg4](a~4.]?c!Y Q꼋y#%ª ׫(.ވuVf(":.Z;>$=7ڥ>8'mPq;*GV:P2;_@AM]p֧A x4u. fiLTp]UcK5QIҦ>/##^epu]NDeRaK 8 M{- U(M7T<،N'I[$bXv)Z߬1̃ :ܾ^E8MR=ó/cQ60PeVSUAG. 1s2+$Z3eDU8̂ZpZb;) O@{ AcqM8^btWbtwJb.Jٍ٭Kuoݺq:Dz[~=9I :'R(s;|hdbԯ/$U=a¡&\TQG$IځIϕltB3OzK^(Θ>O 0Pek%h jDtI{͎lg7 *k-9fHd{X4^+H9;mT %m?"u,Eb\s8~~P\0*?.g)pS2 ZH;E (o|1'O@!sӋךcZuHSUg+Siy #!xiZD)_5x8> ěccS#[LNMDK6_x+W\'H]0ӿa$7=)fW9@OsMoqLjFz5.cs0& jdb5 n, CG%W$Ȟ,;G|_Þdn" A ?f=73޲cEK [' a"UNbf '=y/5`E2pkr+!TqVuv[vיOd!k=(cH%:elSUR jLRjn?n$20䐭FƏR:[z1bB@KB!2byyӟaP\bf5|πT> FkWtU"n r2ꄀҔΎr ۡ`WvD|*0?,p-f /4.HΊG#Vc\AGKr5H $Tx)Y~LhjTPCq番Ӽ;-xc}+p<> G)5e4 8`m.ˢ@Cĩ:xt Mb#8uZ |>C2NBK46Bf+|" 4Fh(qd݇~hZ!n+b*+Jx! "5Fm!]T$:=>@nQPTu%Ro˶{Ay`yKߕʄHtA/a`{ m}X9mp'P\\RMDCO]^8Ǻ~h́fÅ!ٳ%Vtc`al*|_M < !Gk@ >,5PY0F0[DiDN]\!y0և4bn46fŃ3RڽѺGq?͊+fP,]fnAXn"$W,SzIs]E/ѨfO8Ҥ|8c5x_涨((%#OHDS o]YjR/?53#ڿFJ +2gEԿE#B2h~zir*'t́{(jnðvAO`[Jc#łSИ K?ђ Zqot(JWk6b9SKͼXa ^Dғ7 1'DIj'!HtHq>XCىtf6/Ir\9:j:ju* G9V&J]`۪q҆{t&h^u&)uš urÜ#E]/ d1krHP!k.52Z+MB#U 4'm1vIDV3i-PeH8}݇9֡3װ2xIɷ9Oxn/ [B5k\0UEjQ9G}dGlY{#x;Y$~ih|zE6c) eW_6"z^y.uEY%y"0ɳhazʍbK|qH<̊d H7}A0@ln~Ax>YM8O'b:% imY٢&SH}Y$5>zu{k<NX6n0-)Y6˰ujV{J?1DKX-|زRHx&"p5th2mbAnг/-00'!gYZb5824dd8085872e74a383bb7fdae01aabe964b8ede877691d4f439c54add1e4f3c47e94a8527bdce d6535a27214e155c3bd561efa578ed5e8e87d84e 05b2b7fe9fa8ae87f8a982178153dbe93652486c