SQLite format 3@ .C  B  R11Otableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "tags" TEXT, "sources" TEXT, "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 *9~< ] HOL-Datatype_Benchmark:threads=6elapsed=514.739cpu=1924.592gc=698.5327zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;ˎ> J/fLOVMKV[zlD74"Rx9P {!{ލ*SUW=bZuƑ,}dg°NivjMѲwL0;f*s"|M"H:i &0.8 $uL읧ĻO?bji%>Z'p7%K5*YlP*闖m갯d߿B!Zc.Yy]A:h6oFá#ɦik94d!Zň.fʭ{akg 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*gYZbKњ~t;FEgmY},L;0<:s*0)?Mm Ċ:1m 6ZAh1v VMݟPA( TN63p-<[0h)jTG5jKk VR#0|^M]q"jŃ^4EɈ4EKŖ=Z0j<yy3"z)CJ #Dh{l!o>pK^̸hZ{tB,@"EY3w-%2aOC,BQKq yjar%#C=P1*ni7>bp%M,穞$0fh[J e01?V'f!U9{|mˡ_6I`]2\Exm( ]ֱAS+QoĬ".FǶL]VdrAJsb>HXXWKbvy>P!p&#h=ىl Yz`i9}{;[G=GVmZ䙗y T}G=d"jHZ ,IѐJQz8MjP1ӰK*[ [޲a!#/+ubT]gl(F[a ppta؏6bJi2*pՏFҀ^[Th3eu#}TIJ1 [{IQ(BWM7~AБ@K4>~y ԇi31P'jvy\1r;],b+C:m\OZMQQs+>GV|̂GQ#;'gث#p>#yn׻4$[c!-u}:ìs7NA*>xŞu:eQ"ň09 QcsL- YPJp@@tVOqP6 : 3eѥ B,51xf&{i>D)\*G-Y->*'PWny_;{ WA=Pb$49!4nb~9*2uVf* NB"~F&ِ[(fXWOKGQX]ql&)[K B@sj`oF+1䒭MElTuH=6f"=/wiONCɵ{[-vs;x \R._.5Z.ƉBb2C z;=j1[/"Bwu`[GmpnO E;\ _nON_zMeNz-L'ZH`(&л`i`qVylLa 2;j"mW4ӡg‰JBw򤢥=BvvҢA I5X2@}$F"|\bs%(!\k= qj<3srFSb!]ew"@| ,MnJ])WUn2B2:>_=" #dFL*@w ]sbõ@9|p/6[ AFoFD7s#w2f sRI$pU>%SI.]> &'!=Sl (ٔ*2X Ruૌ.nVPb`6Tp(A`g6m/[.:O$)^S00`'Y$6Oń(fG^ I-vmˆdaЈJ tfji^[@%rmU;|vYnmZ U(utd\ȶ֒'q;W:oPvC /nbTxQ.:V &̊XL!,usz_{C`[Z$LbaŦPm& Û)O0 t(@$(!`btw6<~ waT-[e Ig>{]tܒ @+[RU 4ßBm6rp'{-|!gUS( ܷ|6& ]sO#mל8.вQƺ8΋=Wiø'l@aPUoL ,:8c<ڶ* OL)TX/;( e j5?l9VDͷCQBt@jJd5c N@yX4kbAe^S a^\At5"T7R=ASoNi>ʸƄhltm v S\؊SėO'oOI'$\m(Bŝ "kl*fY>>U !MŹ&gIHIsPuMWZӪ@H% wB-!2aVOZ!}Y"` 1asjE(W&Y1թj$ a: oO`CƇ^StiSsi t5cR,ԂNtø9D}5qkgY1;(5JZl.ɖ #8lH%O%R;^N'ȅ؃^ק@kpNpE3P"LGXXR.mՌ, <O<izwvfL%4bF&!/`zjy^=7T2×,-Z( U@Q;|$iY\Fh#NOY+i69R^(ECxU 9)5grNK}!,$!.0ŀI jj) S`T\peAīYS>c!JA\2Nf r HNeimán}wQ":g[)>kϦ/;*"Ce/ MٙLG7vk4l# P--f4.UQq,0tk'x1 _Fvmvv5YVȋп^TX#Bd.^Zg20iZCE䀕v*3[1ƃ?tŖnX:/CvXP}}(hH~"CЋ_)5+c?섞/-d2@QaY/0ɗ$Yv+.oRuO|H`#4=DH-MڇVPX&1QW5.ӁMrژJO 2x'>Mūir8uzك޶a zPAކ]-cbaB|>_xb R_ɀoHyݕOXҙr1#(zJM*z@Yr)aA$К3E#Ԭ P"=R87/^4ɿ  ۔d/_w. "ĶB1 Gɢn8bPآ2jDHQ ,;q_\JGz6Ό#5On5-,X,"`\ٷ[ڢ/HpU:o]1Ԭ7-[D]P76ދ8JmnpvNKJz=}agπ5 *ƒ-Fxf3U款XG6Y4Հ(Cb!+L%zc:6 73oqr ns(n@ AzJ$1ϒ~\^ =VAx6;< kG.+`~`M߮Pw%,niiOxas ۄ;=ҧ$#P#\x%N8򇬰iѬjxPPcX!Q4AOlWs}kf*l *QLj<ng2^i*fU `; w~(CB+E`p'Avq:t#YTV&D`_ʭ>"DuMi!,ݨ8}h Ze]ȞvI:+9́l{L 7dDc؞l}yG{'}|}7:عP;,וTl>W|mZP.*NcD=v8gn%srgInчJw9' M@댆@D`o.a?mE SQ:E\R5ty{kT pom0xlݙh )"QʮTbPdȾַA?뜏<͕= H@DNߌ7-Ÿ$dW!F&NLVj\jf%yAZ"Ƣ!ÿ? SxNhJxx>`F@ 4SMZA6uPT04X䭱ըEcHg '8=6g?~GLZ^X(@4&+{= M"^hx;]yI;BB!D⦪,LϫOw~lP͡T=c! AE& {^M'uB+{E(-iw+%Yfve<+@tT<޾=K\6* 'ɛ;Lzrv%3q6P,;.i"۪/!HL! Pym^qt9i=QTN;Ga5I}Js5㽠t['*6  24ݞ^qNu> %r&V&;d (=PzpRy^;?3MU0EU<3<4uܦ0;im iXڷ4Q`ZG syaARw^! sՊw"xW|A6U>7om"-7؛Ts !і^-̌qWqjXQh}ǥyi6|\GYb9[P P1dOA%+>xیֽW/O@`*i\Cd1  ,Koœ~dAE{'BlsҸuBrpWIa3D!ƾϹuYE"VB@)[գ}0U=LkoCu+aUоrk)\BzAGB l%#_Fp5Ր/mr|^lg} ̌,Z*=u,{vRn\ ]iة{ =6gA:q Xn8u~<9Bcah/(Qj8̨e, Z6*.fP".FdC|)7J?6]7=lnJHLVgFM^ ctJDϷZ^'^ q?2Yu"+ų=3,q (mFd/:[RKl( IΝPh,X.6~gQtf'j _]%lfϥ`+h.aҴ][ʢ 9(zywdƽzcDE'C/y'̺-Dp$, MUDͿѽnflMiZ廐.%ݑ p6c/=C92sߓsUju+nqAэTBăf\ax^:dךw>MLۭ50νZvE].ڬH9O=|k⩬D#w~u&ZW8F?MH5Q5G~cxPοUhgSit8{Dd`"2gAI'G3S՜IDJДϿ*.@0)BA@zh$wК Rme$Q2m!"t!AC_CN]_' Rg= VS8+}`{"*-HVK<{G&grׂ$lí^&že{eth[C}pkB7 It(6z˦'Ѩ˷*$(RtdN m%$@WK~8=jtbp3-]2}0ب_%f~>N2;kULa8z GU+UJKX/rA6AqF{yOdp|]aDb~1>4sz hycjQ8'-J֙W=<-bG_[W*>|}lW䰂sǠ '_9`GӀ^"EQ?\TXHaF{qV 8ݢ?d0#'e3 ņϜb[a)5y Us.FF ATuFH`LɅ%QI?WZbIٕ.IJ2=}842>'49F%Z: ;vB/o 0i :nbU  IɾNXG$v:iJL҅*뢜aA : Cz)؁}j{~L:Wnye07g˅`?̩WmvWg Z``U@xo%nM:de?[!"9Fn2r9veAu ƽGbx^f &@k#8v, ^L=rkM+u uVzB/XK?=H45'uŏ|H7 P0M9O׽+ZI|{]5 ")I6$bѡI" z:ิvm 8pيڻr*nB%+$Jj֌ .cEX=J{|~gzN4Wކ]Eyz{6bP`oaB{ HM/nز\Z|"}0F$ד_ o50i&m)^Ps;4X{Y>qKrxj7e"3. _6H?B߫ӅTQQbGgcgkg7KӀxMDzYݮ3 $`xXb~݅]&,]wV7AkUzt*mٖcyekBg#;ҞB`x'_Yʳ5/X{Z\;vjd\8QmR"%*|CLh +Fm&,Fspu:8ZjohAK!BK 9vK,FB{;І7o(V*sśUn3-ȞW3Zfyoi%GaT5H`hm)Ԍ9;|PB2m)cEa^Mp'03*qŌ*' ]uVohrZ6l ef~Gr?pҦenXl|)yXQ@JٮZ=]!_[\IvN91*C4F&X2M<{rQ`ׇߏD/luwjQh 2aȗq"|7cUvyMYA̿Ǟia=[_ LVF:LmߙQth ,N`GAVEHqN 3ܛizqܩH+TPZ&Jj(?٫CTw6BS`,b}\?)t_&;Mx$#_ ?M-j:AosUu̕ * {n}P%.(g,<@k_<0 uʊHls8GB#IWM Mnev8׺hc;΍iN%u^(-w8^shM A»2$ OIq= 5 )bu:&/K萔 bEXL)sENEĒ@ȄxuBbK$HG#~w6e]=#Dji}H,dG'S*cW%-6`jDjADZO͋xqAPTEK>lg2 lDӥj_]?^>q]/3yGzndXL=֮%`B6$T _k4A ]KC|+=epU/2~]>UQNo-Pσ׸ ب^ ΀Kz^ ld/(,l*Sn;~XqƱ]l.rS\ƞueS""qOCoқʄ=sWkWoM>m:2QGzZaXKT^2Y7 ;1q{@^Mg{1I 2zo܆7BEieX{U})O!=K!^"{q 5LkV$գ9 $oqA\OG{o[;mփȹ>!llI4djrZA^\3LSWh{Zsx^T2 ∥u_')JJ Gs8դHpf,2bxm8$ "QJޘ"u_U7Ðu#H.P&Ed!&ۺe'aໄx|*!xp)v~ W1=~ B4e9@ jQM+}(ൠ!qq$^NwXe|}!_ot.nl!KN j}m} k~75GHe!k^vڤɅrӄDw]6u>&:FiN 9UAgT D `~ t*//j|ۃr{Qrnخ{W]eE(S{=ЖZ0ZVe-r+m#uK4*y)Q-͝ޒ]3A^LV6>uCH!m>:g5b2>h!>j+ j:TIMi]G-xr䒫r,2VM`Zf=h5[m!ɛm"R-A=xkkZWfXuwGHxI2>>L&}*;E$Ԁ|M+|Qk)1a*}h[+§U€AAu6{g^ o|Dow"tҫ a *TOd}>? ]{%C]i9c2?.瞣@/H3PAFCw:2ŞQƠo:BdKœK|ffMm-a~p1cD# u-bDxxug+4[H}g/tWi0 =8QMˈE$5 ?;P}BgA$\Yj'RBٮG=Q┲/sX7 AmQhkCN9jE" 04ņD'拶 U:$n 6 =5ɬ2|e`+[ 3iF\|Rl ?eaݒ lw X+ԈZ"p;ũ4"2M*#T94(*p|AgrֿH):ܬ N/8c R@.]nWO zbfNcP&2I35W7b*gCNp?Dg􋀻#6D\-|s**ʷ$"TrTW21g`5rVI]'#. w :hݝn($)39gGx=^qr!{AY;:$e wb JpS75B̌$`x:s`퉋rWo;O,!h^mE^}4oN: l@Msv"]J8D' PO}$xQӋl+C):X}PUi֑REI`$}0?^zUh"xnni'} aAP p_wOǙ $nG6AN x%0K`+B9Yj» >$0ɘw-bB`8-.=N@luA|FpהStʕ ?NtlOMH*߉arrD1 ẅO&eJl%R @Q6_p&z$Բ️vKlZvR,b\vɣGb^gr9p@Ȥ/KCm3`hXT8Ԙل4J-L-s1WjC}:6*N1_;߼/&Lw^V њv/7 9imtր?:N Z<Ւ'x𧡪9L71&}*dEӬŖvM:1[sË?*c& q8dHBC0`c߼<$-x((+˖l_5(⩹j>"V[+I*7`Ii47WϬs`7m7 G+u0L4CJ]}40NP')~ N&CGiEA _CD`H}һ uz, Q`WlA0Ӊo nj#:ĒKB]~5N9AϪoHH+ǯ[vO9rO<{A"5%&`#$GD^,9v>* qa52LXˇ4(,!aA'<9p$j#v^W%TdR͢Riv=1c1MOZA,90QlI+rnY jkKþkg'UM9qBϧ`Xwn}r"5%|7;G-7Юe$5QT-YI)R".*|t% 6Z.z.jp'ؕ1gZ#ithQfo S(z]pF E E})ҩYf7+_Z#;Xr"oG:ʦ7Y>L /&YGWw7`Xi2y͠AY0 MA/sd*/X޸&I>?"0eT6;呂 <з]W*+_mYݕ;ԣ,{g'N89}M PMPKr\kW^8#JoJ>@e>:'d!zt!&u-xۙ0z)RIR2'J_nWtjHC?jn|8{lF۫#u#XhIco~A{2vkr` !t؉J]О|?%V\O۽5b aRꭦѺ<ɮ?Ea˥mCs@@>_77`/G aUq12/!z=*ػl.P%*]sbZYAILY/}aEEVa|^xPٶΣ8J0Wr4'E$X߱rg2VBռ<T=t,kO!0q6O;,9 PǢ{2M;'4K=FEiyNFIh&̘% uP >H.LkOB XR3LU/n9Ŧb驏J +?Sj ҅')fɵQۏGVl8; 1=unÐhJc2_39J+I,CW"Zj<Wv:x/;/ _״`zU }8v2^'̴M;,sQm5A@>`2SA3?1R5n<9l[2T^=LMH+Cikpý C>ʸIkFhs4?lvd5,g?( { 뙙.H@I8#:KYt(0,I$+<5|薯H$uTl79('(%3yjhgȭDzm_1j*?F]QXd8(RЋt LHgBx8_s!DKCRAT W RS=MsڳGҫBJ3o/ZTcezWʣjs_#̐ k"uM-^_C Ug VdUhzAHBq@GҟBcDо"Qd"=_GI|}8g,ɾS7}Byclf:psye#$G}~5+ZNAyHaprʲJ@\@+Jzp&521YoթIq!oo\f"B{cڶK(Gvm(`B,1X)[Uȱ5 q`;ؙO;JNG3&L G~qϭFx?0J=j=KEo:4{T~ ֹ%fbT dK;сEϼ95qi˼0(~eԗ4"0LXA*_m qpsT=T>ը8W :0u9GP%+eji]Hsp~jI2'uwv+R>ĘP UDMXzǒV_SW.mAOM8t4钟1$u:CG%nu {SdB.ch&LfrЊruI\\Zdsp^(Cy8Wۊr)-_ l9i0+>ZΒQ"C:vre D~0OZOZd{xYxdL2y,%ss.(MQ: w[]+[e݃F,2s!%El~Vce'b_4:!pV 18\~ w٬ح4,Ɗ"L?EN:N>qMM)-DKc]`M1{^OTmHC3e߈{/ٲptT~M܍ ga6YaxiWcUY4jƟ#-).=H%и4?=b 8Q8|x簸uxip*I02(yva O}K,q 0w}-q6Z_HwA[IWO`6'm(pyv{NQuK:h70o7Nwb)Hw0Tk.:@]wvܜ#hA%U4C.B)[ֿ:0Cmn8 8?z6x V8'z(hU౾}u-٣($5J{IX&G&cH ]jtQWcI'^x0R4놵97I ʬS[< |jCJmhoۭǟ VǼLfkl XOQ^u#<=pVWI 9舼kZS|LU6V#Y޳E"XxEϲrŘt~M&@PMUg/-q1cnӲ~hjQʵa{>Y;I[&+O' ,'fpf29zrPVMFf%zairY =|?C4ϬUM&ewҡfmW_HHpo&Y8jWbuf@%@Ϳz}u*xxdmطਟ]3!8gEdSq&R{RtʸrB)w֋?%,;* "F8'G70P̗W\cّEDuFqn1ÏOx1nHce) *k !9ǸuIj`=7e1NlՓ?SzX|, 4$¤ո7#j0iQF,P !`x#l,wA~v]E9f "1LE3 זfH8\D LLQ%' Eڵ0%YfX :%&#w͌N;sPd}՗@(͛U[M dY51}H-X~du1rZe]=&Wf5YhJ9p31f! |b>kЉB a}%T|ÐV:i#`5fI"NC0D(m>j!O!kg^q!96nr4)sj M .~ۖReܭ59alٛb I}t^! 7:sJps7bl-MӤ$PtdR3ϲ79?5>^1$rs,teih<׾bH|Ҿly:g"dY&<^"Qъ$iv8ضJIof/?nSdދ m GB /pD300G~.9{R3Q]6P"Xа`Jhfm$eK͋ΐ!ޖDa~~?^J<;e:0}2~(>?ƓE[GLH7ۏ,0 7@%dg[ר[2/<H{x?JOhsT$hO6b4 .?"T؟op>qM[qq o#z;٦>`wzʗ|@)y[pWXx6u1~/Fc.h1 ?T!{E+?5sVIp<B8 E9ܔmF}M?I' Hcƣ0"VCtp3R^vz>~=}}p@r>I0XWC}{.>Q?e"F8%VB0oI<~L5&H ƭ4D/GsġQw̆9{gY4swg5>Z@di2[K9 sk-"q5yq#o cķKW,;[q |Zt5Yp uX-oq<籡J8ŬDJS9@"a%˸UX![(=GT}=RC*wяgk†77zalZ8BY!C6}kp"MeMV)֌5S~W3.?-Do-Nh ))e N0[Ӑf)Eŭ.YSQu1OMmy lܖ):yUU\quC߳4`0]B6Ib,XN]:n=:)qNlyNTo&P(-KZE˧ʇn zVѹ.:f[ Fsbi"KwB^tyOlBwtF#5: Gbqۼr`䠕l}r`kRq4ܱv?|Lvh <-',V5;8Od(/w"?v)v/@ 1وi31ub܍ͿZDLgÆI.iHŒ,N˂+%OF$*~P2P[Ӷ-yEY KrYnv$o9az[3Dc:lt }$ʗxDڵZs ˃ݠgQMX[_Dx5KO}U+ִZ8[guϑZaM1/ز.p a~ I\uJʃj0sw˶pw{nߟ߆.~Y8TE AZ]Bd78,z5ܪ?IlV $ l;YS+Di=3a];jdzͨﳽYmR6"c InUD5@ F٦f E[e3gMhl}DjF\s*K_/=i䎴5˙' >K#d#R}l r} x甶Vz1T"{=2r۰Yi|ctRe տܪDBs;ʶ$˝3)3`9Y,Ro2[y ?H6amo!SHMtFmrÔ*zYw À0^TcU-55ݮ-FPSI C>e:^:s @xԪ(C#M5FZS3d{OC΃{j_N*_x݁R@$5X"ab*K~ϣu$,쓇 +xwe<<$U7Nw c>ΐ9I ٥|Av\ u^|I.⍊E[Ef5] *v1ނ!y-kJ(zB| Y.L=ӓTn I)w\+'7ijI#u6rEwPk ZpjL_ 'fjvf\wJbW&3^i A  VjO?S]B5õ AR&x|954V}7YՀvvSW^;mԄ=~" bX 7}:$ƛ_@YA9!+LCNʻ<ߒTO:YO `ݸU  (v*UHY׾]:O# |n!~qB9bi2z.7 |~[pe‘[ak̓/|"#i[݆_zU _oV74mtk4L}Yyu"* }ZEvͮGuY'o43n844򻑶 @cCiL~B8:rӦiLgiHM+]&Czv}`gR'}}"UՎHbNSpVn9:l1Z}eY 9奡F#>TŜMx{C2 LOu6L;NIYs\yDlz9 ÁG:< ^h'a}B~E [,]u= ٤_r0E+IO`5ɴj [7S̿/'·߭8WH|w.d܇HuT,p͆ h+f'8:aL_1p&zI&@!mndSHv/}q+m7*ړ/MㅀE(!*+d?Bρ$7e Ҵ Wtgy7'<@.͗;xbF%P5$eC۔A3cQexiսY} br =,[H *2byCES5h ʁ,95.]ؚ҆n{1SVUzP'lsU$'m<-S2Nnb;w-Q6LϝŐ~yR5l}+ͅ]/|tZ-8o8:#:}t*eLq] y2kSL5+Ǽ^ |jFrC-JYZ2.ض]R?0z\Bsr*mhzQǨ<ɊUkzA٬^|ؐ"]fŌяw#]30L{c<$UZ0sDtܫr/ 7 K]ca`RWMݎ/p,y*eGf < N `|F#߃qI:ID9<`X0ęs;_J(-V)(~k{SaQsi!vW&ilICD^͞U(V|_EKpoض/y?]֣XPkӈ1bo,*0}XG9jJDŽty&hlG]F};=Lŧ\d?\8 EDX ^X!\ԏKF<,RH]HxS0rfT}J.!`:_,)'"樵:_q ~w2+${!v5q]@T e1Og?+_fؤrw+˷(ӶBeDAgxR) wEҸt3;ӯ}tȄ]P @wKc8gd>`Œׁ7XS@ܑY"΀{@_4kmc7_ X&&:H\N}247]TZ;pa'^ (zylb3X1u93|i =aB`Z9*!*Dg[ 6#HDռ5q:4i9T7A't&6 "0gUlBȇm>F}3-)2 g2 ݩq8k7ƍMō zD62`紐ze:Kjxbʳrt(]$wr+T1 _PW\u%' "Ia['IwBXk}{2ŨJYhV_i^$+*a/^,猓;| /!)\vhE,u8xbΧcu ABV14լ O" 'co[<ݹ>KP~3ď 22 D:E|dpY,I1ȝƢ:U(: ,c9h~v :\Jt1 p1;9!m 9(3RU޽wF|pJkQS7Okeoj9<ڢKI j ?o8{2W ߧj=L#1ҳ9`./ȃ4Q)᫻SmWᘵqh;U^3IH^4~g@mKA~4'9雭K-L$/k`<)D 7ˍIT*-H5f7_ȳMl)7ef8֛3`ES@h<"^B8Sgg?+tEDl:T9O$=_4[!y  fF}>6qeDܫ\ʼRQޢ#=ID.C!LB=%J 3utU$yWW? /"G kNu0<@fA`İˋ&7JNYǪj.lDh:Cqg\6"by-u#wK x$O=ayۍIG:-[z@X숰D>DвpMgf {!}'9xJfmF[^>ȗV4ez&-Ν<}Ӣ?gXc>qUoN;"6Ԓ*r2b8.Mj\U`xjξ+-̜3}x/0:)B8bsSX#f wOBdDh"B]W/rhr2aU_;uW>w#O7_s;43,8iQ5N݇~B21DAj)ULz ϑUs3d=L`$A_.~$b!_ʣbQ `#6Qsi.(tQYVx+WdE xЪZ[R ̹r\(h' FW Qb=K`):yn*}3/[=caHj}n5V|hEx $K"#$k0qH050Jn:$*4< Q.kh_'E] /@+K(Yr.~i,9c}/ڪ NG$ah]d9uKDNFRp]MnV)wnջ 'W_=O>X5 &P5Y|S_ܖ@oQ;JY|#hyYmaޔ}k6NZ}5R@A&迖s~q<< =cg8(vTyZNUi*-^i ŜMGxڽhjޡfPb8wV B&(0;fim!C ͷ N6S4"2վYr/ă/NJΕ̵] %4!ܮ;݂= lI$GCLh&B*ԩZ{0ºe"3MپdEJkY0df`u߇X?=o4(Z<,n*;jEZ=R^6h vۭ>A-iN.՗b{(seqV\T0yP~= ܈%Ӂp^0s&pOɓuea&J}o⦿nfj}U_+;M6a1z۠Ni6sښ'~r^: a{7]% Ƚ@stߩqusQ$/N9,|¿󲺻Mjlh)ӕ gKR |˔>i,m >7ٚW:YY(ϧ1m*] (k/~.LҬ͌I9\ eeΙBsߋ]x̼w's3*SaL^Z*`6WLbkV_,yr []x>)v+Wl<<^czXC|tOM[zkS! ⶦ~ ЩU40/yD Nv|LQJh`X˦# k9bH 02 gl=qvn$:`Rp gaԕ5s=ȗ2{ƎVBJ =.N4X TS[&8nu&;L"i+0pGFḗ/(wht%}ndb/W23壃@(sHҿiG,I^AYIزjWx8[1/+UQQߵD몬^daRSPlXfְG4{d/7hp?B4X;y}<FRZZSJg:G_O{tr  T0sM@S >8x P~,K#>ST'_#Q ;_}͗f<\7m(-./T@MC[n^WfTO7hg[NG=Y.+ge{?Nր]D`+q:Ax3^zM)  9?ږeyc2xi5k#sw^К>Y.*]C>.fO4y<ބ{>>Oy_KA\ nt  Ch _Qg$/H|Շ;OIXf[mVD ,oַⱂjbd!c݈fzC{? s?^'I"Zf@&lw,wD!!6y'kb9-psGKzqFͷVָbcW_]ZChEyyc˫Tr!WxRx*.jP~%zO `)CQ 6I/O/QaL-äh$pY#&,M9"v{y)8Uc0}:B\Ɣ4dWKGWR'R fhJ4X 'R9+l~ 䨾Qg {zEHm+^˺,\*J~j^NMIR۲6&z[&6^Œw 6u -W#_b.>fsxS* `΁ȎQŨT+f P<S!ma00,UYQE[Gn7 ǦnHC36qYwms!;C$C.0lxtǛ7 `J0(ڷOvWSI֔ "i"k ps W؃bօC%,s^[O.t$ }tEـn >\9.!K gYZc113b667e8b864a8186bc60fec97556a7b62761d7d19cb1bdc7d0c9728aa6789ebe077e650534e03 04c4981d19dd71a790541c21d8984c7c9f4e9558 524a5819ae72b6396120725fea72a837f54d2ebd