SQLite format 3@ .C  B --?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 Z9~|< ] HOL-Datatype_Benchmark:threads=6elapsed=538.711cpu=1965.876gc=736.9007zXZִF! 4w]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z` Q< qI"dѐK9d2+'@^\NOI Ŧ^AϫKNbͮw<8 ՓNl [/&&$ZNB\Jϫg~hqwR\.}7Ƿ{?w!]_<'ç`Qa򛆐[iJk5>:=3oO#@2(à ־9` . (p ;I3J;⸱Rb؉dGPC[R LotI_FvOZ1 BEMdoF+#N"-R"?KfpEδpW}դn Zi6)%G8y;KʝHIx~ݞ`fX&A/|Ȅ9m<~0{π|fgh?@CS,t+ QHg:bW/Q0}ŭ]vTjb?x'4 ӣ\8By NPqъ0,TE>ݶ&s0꦳T[rl,sˉH2JiIsƜ p`4ZZأ eT yF%ENaѢ.U=NTq*d޿hFx'lz>0iPBl]E{` CȻ'3SLOGcU_&*i7I>Pu~[p$ νH1SrOy`=񱀨%Ql.H[LnQWlN:+ Qy[òQ{w;4I(Gy7s-A )DS/PSU:)!͚)t>?j ziavJ꫙_Y)}NX>lN`io]+nn/Tjsș8F# ٶ,ViYpcPt,". fF1#GK9C'A+D+7k?sj2mТ~ 6T>]}&QXXDojxɍEk1SgR#@CC^Zh64x?^5\1> 9 HOL-Datatype_Benchmark P9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex7zXZִF! '>]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;~ ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(58W1M~Vu {> /Т +3$?eP>)m;u1K3m֋uU7^Ҽ{h࿑$ڒƪ[l1P&F[)c_u:HW\HRzB!m3[dCNϋZrɧޔqK#S> R`7a/xzpG'5('%gД ^(Z{ʋ+j\o~ |Ѯ"h4OdAhZ^L):_jfn0q^DuF3Qzb_Mę E߆>.&tUDO<~21&lrϜڳ?B&6f Dc!#V wi&PdBs=^p `phD@ y.Wpl) F8 ͫƳ+9Vޏ-K0}P ?ʍhܣf봉Ƀ)z Y>.3|Dq*qCRE7H4y7_p'ٖY9s1Uf(JGJ6A# }7s{ mG)k]W ۗڹ̣JZޞ4ӛr]֍ lLao=<4F#]tNy?Y0)tBi=-oțnӦJxk`YFն}^<XV6k3ZjpaEYc>x GG-Ii~v5'J-vB?5~y"F1xP|Vԗ $b$qL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9G5HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.htmlQ9K9HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.htmlN9I5HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.texN9I7 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.html  `P9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex7zXZִF! '>]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;~ ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(58W1M~Vu {> /Т +3$?eP>)m;u1K3m֋uU7^Ҽ{h࿑$ڒƪ[l1P&F[)c_u:HW\HRzB!m3[dCNϋZrɧޔqK#S> R`7a/xzpG'5('%gД ^(Z{ʋ+j\o~ |Ѯ"h4OdAhZ^L):_jfn0q^DuF3Qzb_Mę E߆>.&tUDO<~21&lrϜڳ?B&6f Dc!#V wi&PdBs=^p `phD@ y.Wpl) F8 ͫƳ+9Vޏ-K0}P ?ʍhܣf봉Ƀ)z Y>.3|Dq*qCRE7H4y7_p'ٖY9s1Uf(JGJ6A# }7s{ mG)k]W ۗڹ̣JZޞ4ӛr]֍ lLao=<4F#]tNy?Y0)tBi=-oțnӦJxk`YFն}^<XV6k3ZjpaEYc>x GG-Ii~v5'J-vB?5~y"F1xP|VԗgYZ nn9K9 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.html7zXZִF! eC]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wvE{ϝ\6H@UjMD%UFJXDIՉO7&~4y9W 9L;G gđY.SᎫsMA0.nhSYp>@,/5DZLyUHu ת:Q<˂(l-LN|lL:"TO! X_Y aO+h9^tf)Ս1uw2~հe{Y1jWG#[Pl\,[t"ƨNuՍ&KP{NP_#H\ؠC^ǻ_KT2/DzS`LXlY k#wwZ>{"9zU!Q >vi> h|bH]iyv"ͳ##rP]xlby:=;!77Pf߈EQBbf8jV.&ܖ窸'espq}(L`w}dL;WM}5%}GHvd4=@O]z۬IDj[:nZ5c@߅K_qz K.lJd_ch'ม$̛GY/Ct J⸁R2hl7"~f㑀s>J/,qF)@\^f]}Sմdh+|=CB@z1Q1t*=IΤ֒AtzjO]Pyz<{ݐQw'5gAoslS ӧ3:#< {3"#,hcs)$^ U 7H^&h/x䘅5Jc[5HKY&2,8or߳g3~/1o}d>ظh$`(l!jYsˆv/oPrzK•["cYy-B)Og| 4V㰹?z[Jr$]lqs X YJx?7%i.'hݝ|5 >N~[v!O+&JX-$%#!0ԃ H٠#孫]yfoL$XPU$*f9O%IUpgge)*(kQhOVο Y iu`fQ/>X3TN&tPݢHE(X {~WbUͻYM0A٥%@M=k|nC? }+uŇN)m?UϯA:?RrؓHpڀQkЊ^. 9(ݖ71Ԕ`]u[02JR1|b S Ec;yƉڭ j}rj ad mjAXKVM"yZK~30^ql '\lJL92ջZ,z"KUa2LIƻ<* $2#("9cƹi_xJP[Z-7F!LB¤lh$`<n7kBC$_6PXߪPE"MCvwXXG1.&pu3),Q rG?Mo]\EDdY\}E~849aUڅ5n8h]4 o5vfRlk+&ϱɀ| Emnd&~wԹ)k7T?7ң!]> s !Kf>x{r3Vs@_*#o@*AS zL30@v3v>OKg)T5ueoF^b QX1AL;L 6%5 rp_1٘R-UA3J)A"G0IU H~;o2aP|t%kAQ O@B1QD#𰤆p՟\^1jxKT/[1BZe.gw_]픱rC'~\dM^mwES"-RHq2d+}ľwn'Tς2ND7gFlA1WX#m@dV{9R=#-%  h7TǶb{,pU,y:ԡ8F;u$[S>#O\6tl$Eٓ毆 CڡL _FN~N1Ql#^}G?@o&c 9,\2 x\3$HϓÃ:j4)|TpX\v{VSo')GYpѿ!Uo306$凔 вQ'B)vNe,3ӧi6D7zۣ1~UŨwk=3Ұ`|/'tHZFWW/7.eBXZn Gku%,#M< 7O3rb2{*Yó, hhg3 ބIvA4"+ 84Θ^dm 6S}P_^v,4Ϝz-Skeo{z'A Y \᱘mNEeȴĆÓuY*qH(|oeaEqdVAɵ!$id0+.l;d%Z^l)BMNy`XRJԠߋaݦE4uk =yF0* YWf1dKIehD^]Oy.'zLAhQx._Sk4K P"m do=smu.Z~ aMOu7mI|9T{8P[ٵ;[ňV⃣|?* E=KUɯq#+9'IiD |BWm Ca* [MYwꍃf=v;R/Q)a>,qå4-]S\{Nc!)-mKrӫ0? 隳E#C &ٗYxŏG5a+͇GƊu1 mܓ}l%GF;Vpsr~w5,huJCˡ:ޯKNh8c㯭B[ 5n9k>'E=/3P[Ոk9"D*kd |Yl$`3[~N`%$ipb$͝r˜é2lcܤ[Ca|KzCmp"_StTu{>tž,PـQh_Yk44m9$E42yP!Z8`r%oF4Ddmɵ"RJ:b&[%@ĢO (# !]~W[篻OTL20Cɘ w0Uf F|R3bv]!eFֲ|eDvw%ܰ% Wǧݾ30 nJ O?4$pI T"̼PIk87\''ɱgYZ ` 9`N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}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*"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=LIzI(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)%SpBc?`ߴinO Y֑!wetnDeVn!6ka>rɦ"-H4'cEa]/_w#,Ft#s$e E%xJqY#֔hE3ytAŷvW)3֬Sc ゙ɘjp^+w,S3CCƾ٘[l.eMS |' HwK( y}^5^ V1CP>c+h]X}:d[cbme!=t..GY="86 +m+_bM>T(K/zmK"r|>F!wFV)e&EϜ0Y[t#Cv2trEt3IP|tdؙHjBf`Bp:A &V2]ZHƠ= ap*h.~!lKl* YzզrMܗ8#յp%H vɀtS^46^r /MpTj ɑcMhEN~$8#2=.SEl̺ S%&Q?U/r Cm`w:#qLs& cx2 8rѡzBzL4:ъ \~W(]\X 8;59BW҉*N/el@]}|Io) :G=+TɃ%EzมU8 Mkfv1_[{ĬӬ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,ч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*gYZ LLe{ώ`_+ O-;'l01"^e 05 V္KjuUhyqQoDOdPG@2j6h2]ScH2|\lc)A+˄#,G#㟵_^2vp-C-;5UG% ڮO!lFZP͕DM|ZJ :qo%DxFH՟2ac-Z!qug[%JqY7΂]A]!Ùy]AaKk9ʗhU&yJ&L:duk{;BhE>nckf7=mOI}_l. T8q5c9(+) t&w崼P`*sᘜU(ΓyMu"ݫp !B n3t0?Td5W3[t oضg5} n4S/*RXPt;#WI Vgwp -CH< ;g9ߗwoؘU*Ky'%`ˬo8Ǔw,{]'!#tU굹4Tj]f)}m+.ݪi^XkO -s#փ]O&(>fi|T Mk$%+fޜHEK*cHxMא@[8)-r4d]K< WZ6EN\5$~A1AhÉ2Eh T;.KvuPĢ|7]C"PJSn\fRiXjD[MV 7$g۫.XHWGټ`n4b.Sgzq+LRom^CA.ĂnfSd_[)fȹ)S2Iǂ\ўAR$baَs)9o8Rn0*PyO#=Y[s[cZ)7%\E0y]~Ǎ_J 4S"qq[D+\.VCWڳY :%a!-7OGWPc F&h2':3'X[k/op`{}e.^ L>2plkiÚm%C?wfA3g0s6)UzHi6 ݨİ:?P:Z$T~rPJPHUk0GC2:_eq,] $̈́P`KI+9Ҟ3ENG(uTV&ӄN&Y~!T1]`kk@8{(vAV18骂x[.Zs. Qvl5ÎY /u-@!XطlHcE# ʂ'S'Itr=r­tF[#+6k&GCEzRLx2N2Z1ORfNՓȽ_ xEfo^P yMɪ+a2Nr#biU)Cl~*.=ȯqc]IO"5!944$g, N-M-vyzF\[hG46iK5XtxN! +JL&7Bn7ș(ATNE sXZ§6SӉAcMʤ̄}ORhxTKXv>LX䎖rZ cDQZɏV ym~~亷:u;Co* y= Eq3Ƶe>=Pz#%l;nmSL;FSoN?TDҷP{6 S!TmH@p_7:i{J-Ɗ(g EQ=%r]0FSB"(Im VÖBW`kQ&Fjf⽜`ڕ6VYة-*$1 t[$#Lhl+v͎*;uQd>Qϴ[Psgɳvf4Toܹ2_t,N7Y$ߔ!TRBo匤88dq%3W94\w?`u`v2~A[UC& +Cf;0qEx3&Sɝt:!xZ+?pXYwLݤ+ST8?cdF;Cn-sϠGD;Qw+zcv[hQՋp(Z`IptizY!?mFgzߡR\B/V؜tC7IlW.CM[EINzyFq$0\kHe"}?<]y€MsoUH}M6_C"Pzo)g|Citty9Bn*S JJץzEtqQL5玐43vh$Taj y%)Ų6t΂7%vjX(JCqJ )K,<7П/z/,¼`5nAml,]%kUӀp\BXX]]@--M[ %F߷Lr+jwFE\{+% ]*iw,!߇W] 8}SlӜm1(qLI@@ VdfQKSa?^d0BoBF uND jFIYĀ&3Q5n\=>g x1ۏ(c(& ގ#& :/$KA@]omOo'ļVsY݂4 WAbԪttkc(*Ch:XX2M)e^!p0cJ D+; ۗ~S): iAdtyݔ gc{r?CxP攸DF0XMv_-nWuI KO@yēk ̍?f4HeR w94-!=в@'%p\7`Tk2IOuG`zw]HUD0s˟2(P3`o G\= *_Y+4`JlHLIި\Jz%ָo@0b.M.Ҵ_P/ (}bJo$6]^rc 3ug_HO /1e,0aLt4z-CL3gLJݟ#Y*錹|O \4:GRO,ҌjZ2|2'I51*8+u `N-قc`o"o&w\FK؃33@[j|B<j%J\T6\ ZSxIj NvQ/Y .h]B/`KUʟ瓫5r: ̀}T=yAFNB3Ζ|Yf9O:&!Reus 뉰oZFh0z_0b3/ 9u<ݩ+mu2=끙ҭ䙩)Y]1]S݀_(@opyIqfap-GXT}C<3;( s D0ݲPD^%f>=o[g!q2|)6FyW=XS 0 [ 7)I?>h1~o5Kn1j( ZiasG^},\]Sہdb/idC|NLtӮQcV}d\6t6+]M<пOPhC 01K~uv#vz%*̈́yXdh ٪`hLI/ɂ`ds/Œc"\@Y.2=Qb 27`8O~ȡ9_]UDbT CITTh6A ו9Bthŵ7VrkpDW52C]W Nn9=7Ψ%맀qjץOʥPLzt3emRmpxN HPAbW5 rAy7ڇ߮IEgG ؕVYR\ռ?9&q J<+GB3 PϬNn' pT!lBD+ͩ )rtkd@fs@4.Sb->{/pel*:k _*v= }1thTK*[hWh#RM[a"60%iGqojaйsEnhR7ѼEfVFަa fbq~gCR,C0YUA3tgJb:Eq)|3 h%M&pkGGOH }ڰr屿bov|k@mzެ+v;8N) eweW^G%>1&eD*6Xڒ6FFP 5R ~M$R[Y2n,jp1-RoG5a5Ht61Lc .P&;)_3a 26s qrq)&B`+X8h.lR蚌7T;CҺwn؅!7 %aZvM/=eϮ&}duvч*l;I^;C=Gd=6Zby)xNbmOo6fޞ@ V~DKZJK  :lʿ bfPւ ahۦ84&}T^FB7/fɠL:x&8iW"h%蘃F~njmz<~Ν Ԁ:M{!d|QyǵXf`<X_=26)IOpΉ(& zdvgam2|7 փFf4('aF)Bvs blv$U;:5Ǯ/m+F!}g'efêWOggHni37x0ϾaqnInڳm+0Os]8ծ+;BiV3ȇN2DR>191u텤NeL66L* as=23&6Z J:&dE~I {آGb񪻸SM?L~& ~]?<q]D0`bOM~P  a̗]-dBo$jXe 1BBC?O8Gw5=%Rˮ ̣Z6g.ʬ 7k+qυ aǸG͒>qKZ5x_ZV[XW"{'p~0nUF;38,=Ә)AOmPڲm&/PmOL^ROZkuN N]|~NMH̼ xdv.|bp/=;?},uo( '\ڍ)!ل_]G_]vn[k:e9bգ$&RQ<0LJ"Ee BUSv 9ȀGX{sZPCgU7 yjI'y4}nPv@6P*3a;Gq߈Q P5pUEF<5ይ6n2$7b0ZFKE)RRď.]SaA99QjKܠzOV|ƏxAx4s0;l5ba/H djbR>A~ܦlGh8Ǩ]ݎD {N$-^¼I,=3%bNzeBdݒ%j[%Vh2c:쇉RZŁ)24_Yà01:z~L1i7E8'&娴Gs}=Lf_ !{$nl5dUw]޺4ts@1\a݂]޶?J: C +md9.v_,{o;Py-Yu`AyL$quɹ;6}5KúJWPI>Y. @sZpK[BMM^a둊 C|e;]W~ۺ݋kyh+x쯿Ks~3]?~d$NZ35r=sg'IOU,wf MaClsbcHh5r:&>] !ƢMt,V0HB83n# g0h?PiyO?z5-ZgMߣpA}m}2ÿ:=&7o+]Ô`QxLԕahkc)=Z`u/6s9bC/r'FC;ov)3ߣTq >L"1ζjP<5"q"<2yI}}_<)VMhGbnΟmlAZKT҉1OU|exގ߬o Uevۣms(jY|BC#cP/CDꚗ]K>jTQ2(ۖYN+9@tB."mK^V͸&YBH=H > -՞ΈNصco7lݙ i_DiNSq3\R@Fu%8$:(ȝ4OIVR PWkFshE7̼C8T57dc j NSQZY3""lyDײźg;;gDQ&6MyA*ͩ?i`>$T:7пޤ;ӀVdΕ Y/3e*<=&%CuGhë$wy| 3aP27"M?R͞KhʣFNUفB ]*l~x{e6Qb+(%j[o p jETX.q~b$&κx̞ F?Z=AC\C59Rg 2jMzAx#*|ҼM曒sWOao};m7",GcE9^["/tc'9c txyNF7V̧gޚݗ)MIG".eI.DtkɫLW^آN2 I??='gOdipО@өj{Et9wwNխl5UJʗ=XGf7Epv+DKs RD`jL 1q 7@Xp01s&l){U'_,λuHŗ~#FV ȣ7 73$5lrhO}ǭ7rs-Eiiw0Ǎ({P(Cw';TvR^P-'ٲƸ3.%%:u:'t%_s錔PNkO\ & 5NԵ+ k_SkMIjdp>g OgGROi!'=L*5'b[A+17c{CloHYS!tgtsk)VF+-^b*R1IGVd4BU>g[FM> ouI~9$Y9mhhݬ2N UW^C["wYa),O?0nFV#.xܿ/ xr6&Q`$#~F|o~ M||l뽩d|4&q4df_`g*v81eDǢ6=X0OfkŽۭ uS9eaLg_7ywxJPZ;T*1]ٝWYej $/x>fxPs06%,C[Ɯ Lhܥr,"jI\^մ,~}MDUv ]/0_wfI y$gsIϩ`MY;vgҘ 8 Ng3.@?zǘt+%|I-\@VeȚ\Lḃ6 vYv"oΨ(j!2Ș&Yk}BAܴV7oFCCj n?M{M<-/NBdҙ4mЪ7rhH! XiN (1~f!< +<~vAHcbvRR}cw .58lL}fS}\i:67 VǞ=ܔq)+$zXE81r2:z]4 }N_ jd0$lP2uW=ae60+U4uΎ< ͳ񰼽FBhN3MwOJ)pؓd|7_w꬀fa u/g9NԨB9Vw+e>WUאF_?1&yaqO)Nމ7(Dךa&-?0$(V,]tCAEFDOve\4TBs;dY䎬\5 c !iM\Kyι)Ҏp`A8\ʯ  fȉ}=4.*Ft*EE!D٭y hOeΚM}ȩ_&Wu d–y0vJ lE{GPS+2OWʜpLj:U0mZ뺱3|T]WϠ0(8Gc5<֜SYcqBȪ@~1bEmMWb;jT,@战1#3i~Bx ՗r  MJ~Y3ҮVMgveŗͲtF~ ݍOXB]%Jʬ Ld4'Q"4yEs;y 3 Bal~5 ^}%zׯC&|^ε"+8! d汃Dyy}Vux %yR`o;x!ݬp HTB7J\Y?cVk^V7_LpƓÍޕD hw>=wƠ61ZDi8aFgn\ME}3B4jWElk [ISO;P6C,wERW)XЏ^yr6ђ)IiՍHAQ/:\_o6^EI^}DÈ|*5#*4 ==٣< QM hZ.'6>B?4%2K_ØR RBF4 ~5\t ˑ`W\5.@<07_T#9s -}K}獷.;91u,_9Fy!Kvm(.e0d+a7a[%7Ɇ41Qxl K_C(=R֩WçN9Pb?{dmI4()7$֩VeB w>vVO~Av(3ygJԱFWg)_lVIk;vtl{ȓlc*_e,lc/50.}_uO%_iҢCLr+3+t/|P9cDq{wBK3{ zfV^ Hvm`@@E# { ⦅44Kl@kGbFdW3marX %锌}_"N_stJ ]SfWdq_6r2hYg~1d5@!UheE* t߅$+sôy~-7*[WlyU(8bЂ(aFURāY9˿-w 2@iA!AoMM3_/]\hF9MDƮx6?C :m,pL#P{ az@Jqҥz$/}RZ˪$ qy 9 ט2ZJlex0>(jGWT Nig6HcVo  #01&[M. 6mIc1FQ !('ibp3h~ ;0bR(jN<~04±gz̈ ݅0Ʈ%Č&!>"4ө#$א|`@ zݕ/ &sI&ΌHoMC8/rp1g^Ecǥo%+}ua;)ݳ /ј͈Po*Y&U$*, EwA:"NO2< C3^%r~/ƻ+z+9llaOzC]#qIE '3!^f%HϑT'-N ٱ/d9gF~gt it._^?'A!Ic2 2^b2,: t/Y%7tT2tG^ W)=Sg0| *)P-_Fo[Ry\uI0~A&APՁĸp}V;"#-wSx]R!ĜG:9lWl5ce1D LjTyk\NeC >&/,բ.-YRsʃͺ#k 9GrӅqH҉e|TE4mxqZ-(:$P' LS(X=p}OOiuCrQu|-eeU,v}',ty`3' {L)#3 Ubo5#NbȤB 4=>*Lw[J&Y[sVSY\tc`8HX#%I8xh 29OhJ5A*p$6)fMyK%@'rgmP<~F{< (|o)ncPWmr['̙ 1tvelQܽfDT7tER]Mo4׽RV b^"+A6\Vi®ju2zwר& pOCSDH'.bS] a(%PŞd8) )+mH&CdnW&(0`ЩVmͤxؽNx "5G2(箎̇cݶ^j\3ES1#;ށp*(tRar [U/^j~'\2:+h;[ |ra@4&ZQܰs ]Va!bqB1Gŀ"6Hw\e DVrΣp N%u/(`UaNjo֛aj=65 u2-.9H:㊚ަSFI4-\Eگ7}(*M5@mm1 |9U8K:>78Bghɗ*QA%f(FY 4:qrCpM&v2G-Jvsd.x7xq[mBɜ\jej}7:2|hyD,E b\Jg'GPxwK6xeRTI oG-+P+x1b LIH^jvP&9gy˙n:l{u7#BBϩմO. $Gϥv ѠY7*7j>(Dp,sMWpfv?u^-0> ,63}\!O3ՙ 7E]o:g+ 3%a֓çZ[[fnƢR՘N:ZjA9HVY~P9@pPC F|+7xsjN&bW^E`H3J] *$}c+)5&u& {cF\S?4qxF+*OxRB:>U;\O|hOCE]H]-ZǍ0O,&}gmS:F82Pìd:]" >zK I`¿FKP}t,Z f?R@E QkC[!Fsg{wry1S 02`lĥ+BY&T2+g{X N` N[J 5C>v_a4[yb<.> z5WnstFs*tD,X+k_%+{(i0G4;u,>0lQ5͠sf &1%Df>UAL{P"CT%X_E,֗8yq$ W+lx6dl<^=Ԃ-2DLpEAJwV+g.tq/O&:JnL7y)L!/VPRMF^zEМW%WRnq gE1u0mUu" sQ NG.mtiWBܛ"rHkXY$#¹nkp~zU Z5lg;oM~VcGXc o)BKd$q0ufW7@BQ'u#K6j 9of-3gga?iw^L9>vM^p5{/)]&p6w/!,h<Z}H@9(d* hiϞ<ѧ%0e<_HɖCz)>Ue{}{U* 8_ԃ\fבXy5 D˂Dֆ Aޝ8D.VH;y.6ƮF~8-Q_-&iF`d2, l%t HO3ɻ!\ ;bDD=Xj($%[ HS%QWn5KBC_?<6 -1*Kj[& K)⴮(}lYt߆":n\C(%&h_9;F4TyQq_eR2 "[.^Hr0BltqNS("QApqYV]ф'Dj)աw*)\fozq2"70p;Rl~O8:_i.a3 wA$ڕImmVff?eZOm/}-UOjޗsJvl]責kUv{E=w ?[ ?YAn~9BP1aEilP 2##G*ݚcG;($s]4nZfΥi%z G/N: t"ma @:Jq i@HJa ˢ%~e_ liԨ!iU $j\0CΜ+zOk(Gέ`Qb׎JGh xL QgWfq[e;hE+&٠zL}K}+>m&qIk*-Բ!.SXaӬaU6_"U˟tM% ^7:]Ek - r9b󅽖)'q7]};7 `WS6mӛDJ5S߃阣:镭%#C' V%wED h{ _AJ=)29䌻~2rpЩ/a;E?}VO`AkCo{hAtF6c Oy[ @ѓR L7Z=D?t<IzROn9_AHU$ 9gZ3t^&!͎쎇 Bvkcj XOC1.c5rqP|2F/H5Ax0}lq$VͰ㘊̻s`+G%@HiXs;xiTt8S.^ft $@iN [Ȃ~E!J[.MO8L8pPpĦw4\L82xjz~B&L3%}Pnx?AjGL؜kQrɸB 6cFiJEIֺP. hVA#aՊzb{q ExIoJr N9jXu=W:53vƜ\{ĪX5fbvB&ifb[=ީD-&8Zڧٵ/#X9_ES٩KVȲe7閱0z߁"q|Aύ~bMu 񚻄 FsWlȭPm/0Ch-zG&4EO]od5aW{JD,2piQBe[8Ĥ:%~JT}mQ~I)D"9%s|xuAvSlz\Y ZBHd7B-oՖc^fI0 K׺"6m xȒfȗSOFn׏JOP?*J/udKVDQܩpjc@[leewsa82=o_Ay5̧xR^}lYC~WB$Jv o䄏nY1Oɘ]J̓wH>47i(۠q}F,W;DʎSONY/{GԊh-l҇t{(v( y'Vm|ׂƈ^Ϭ2* AUǡjr:KN>,+=yLGHMtK  BJ|J]DK]!*xgF6߭3j%EC1?U= we#Irh<](@ٲymt$L;I%^}MNkΒ8Av>h-A0m}/:֞|`l-1ޓTn4M^J}Њsl4ڨJ/r.@I/ՖN]hOĆ/*|H‹b*y &^âbכSUBKXb!>㞲\9ՅC4@X9'XN#:yG_} j=8"Z4鿅?b|y_Gg;gИ5_G'*-u#_4rMmSsqc6\bt̋KGS_Z1]v aD 3Mts6}52b:Vt~1<1ī(R\].Tc!r ^S¾cꝱ^ C5!YEX#U X߶6BƿvVAzt,Ư/N2ZXĈ/M |rYNtaEw3&J3 M!CB z|E0:f t*wRp=L P1!߭U/w(髂ApC5@,=!*B629hbpaKr7dZ5}tEKv1l֥.o'>Qu3{ٺup~XNHgJ_=s*6VbFl nQQ'yf8c ֞t2?|!q4H%n+a92QbR!/8 } vҼAHci˦Q1x"ͪ3:iĸDn&; 78@g\^n!'J _AXbrrV&XAHƞLbpsA?:叟1V8'HkM~Ə{H9/"?x2aS6hsԴ_6>G6\ù3>NlApW|0ۂiצ M_i~Ku(qXBXzʶ\nY|@3s(ЅT$u3Ad¡Uϼ˳6>^ 4tåΊ\ph;~n36XƷlj9ܤ3+\ :@wOE#PAF\)\pG(>KWxZ:?IblKS &‹32#vUT}k!aԺ5v&kOu@~\KJt[_<]]hN''6CA!8nf5^r|T[UdK4( |zSThnBLY3M0lq/V}8io ;"Eqr`)vG<͟1n}B9^ Ե,d feuƎ|ӤC,Omxfs~+5|3e] مՎ_R V> t^۞ABI>b"7.4E* x=%V-,zjeL8'1% {0ϧs\S` E:w)r/_J֬ꝖCpnCi3wZ ^N~kךWX ɣe3dipe BQp)`C+)zD8ua,9̅q,X `iY~: ;sI,l8[́>qUZ$\VZ|#6,|ǢoXqkm1Hm Z$Ζ D^\.zhjڦp'!E.fnv&l+kC  H=% 6 VdpQ=&RfH]EA>|7H^a>+R%XGN*=I>7~xH"M<|䤐lwcG}۷89?zYD y8b9Wȋ9srRt_kJ| azR cX'pr/>eVp%?0m+'p^>sȘOъt!s$jBT\bc5!;=oY b&IyY5 4$? %Tǩw%4+ _ƽ |0@oG@s_ؐU8bdb)2}*q0{Ȇcw lmnW@4~:8h ܫdXĎ\P)uWUG إ-&f9Vw938'O<BW/Ȋ *6U4SXzm$==l5g:Q0?f@$Sj,:MS3LYW23,ww(r7pSlÛTStt8)0798Xu!UKS.z3jLImB{sw]RoR6,IAr 15W J!8~>V Jr2][iҞ.ϠqC Lʟ?YkIy4C ]O:d<,6@PQ0hz4z~X뗢*lhfθ7 "7f?Wt `BY}R斗D]:hEvĺcIptY4Up>w>Zw R8ihʊ[)׈,x,eJ{[Kwh9n lHZ_u&wJ> IF;z@k P(=ǘ|XwJg [~awHPUp8i@Vua"V* OѺeĨRNK0[57`QhE͎l}T>7y?+~5`ZPxvWr Yˁ?}#E y:C`SSq4} 5fn)W(} a1pWC9noCuV2\]ƏeNp$/U}a }tUB^wE#r @Ucamņũz:DJPO:'m$cQ^n+%1NF'x>$Yz+&=K!~Pw(_֑RdLRV͉,h>O-xBCSʬ"e4tw5UĝMDIcCn 1{[2aAX `SQ\UyWWƼ/,c ˾%6KHE4 EM+ ;md!ZY'tIes)?x?1nDɽ/X>'I]1wl>f~M xaꗣ$[?5f|[:6(rIN4k6lOjAdJTdPI>6(t'1~WE! }?<H)9)fi9Ԥf>bX-MhoU㯨+ƌdh̟ba13K8 7:Oׁ y<Fn72>RATA}7;#%f!ĺ{.uؔj)=9 ;aGv! 煨7t4FN%ھNr5r,~0-u϶'*]dN$~6~'=FAln1+,)PQ㎳-zԣ?%{WItۆ"J3 <-TQljȲNL9]Y;J!OX5H+/fȤ̭1b;ŷwYX8-/:/&ǬguC,9y8G$H5ˮ:?=c [X3 |jaڹ+p-W8K3KR`nTt& C>۝n=̙%rpin"7iG\ dpv-'orXII<"_╕j⿑A ¥Wxx\UFoՙs"c"bʲcya|DD[эUp,\L`=TRZ9oL\7nGi^ {)v:Y ~ao, VX$&GzG~Ե($yeRRpF5N s-*h0%dM~3ABTx4 (`Qn:>J3rRڈdH{8W߼Mp.4*՘ǹ3Dcqos6#rg(̄1]KҤ 2j"Ѷ"=Œ52VVl3 36)1=?%TfیXSjۊ္m *;֧Nsu(y%Y3.bvȣpU@IH5/ApvLeoHCϙ8i? d @Ld&.Ѯj6#!oa]:K:~A>"m]jil.k?D* [OXgc^t.VE{R 򹌂0Wݳ\$)u@ ȟ.3,C>nRdqx=9;'v:=SP6DI1ΰCp>)82V)-F:!,_[Wp4 oZN2ހ?PhCP2WGeU3ᛓj,K0ލ#dX4@gׂzbQ>?X{_?gIq=ۺ'?:ƹ43T3ejy9k@_PiI9XFێ rʵ<Lt3,~==J}0\w>Km..h>4F;49ҭb-hEĴӖtͥD\FWؐ]p~ K YfODՄ3I ~s݄3 mJCTJq 6o.upBDŽ-I9-\|H->fbti#[&ȫZ8Wu̅]"tݗ#SQ\˶ݢ7@J||p5*>̀zˀZ00̣gYZ34b84c7e463dac382ea4568ecf869cf3b7a6650309b31288d2a9ccacb2f6f283c9625a7fdbd68e8f 1ec97cb3aeae702d70f02f0eecc00288d6bcb40b d7fd1b67bf01853fe729dba76ca9e46b08487358