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 B9~t*Q=AjBiL ;L+Y3|4z~~&djXH/B,s8b9KyB;1iעȾf-$᮶'JQ!j m$b ˭Iʌ$_Hdi|ǧclւxxߵ=@kZD>@BNC5t$ψe6ٝ#6 U&@ cXMottc|~\P͐>3D.A+#?}K:DEġu/ ԗZ˺180iB`s_&":掺Nfcd6o`$WΥkhQfתcL l~2//SKS'$N^y< Գpwhov"W;<]%͠Ri}֘i pZrpHH7 iva>Г7u +~b=a 6s:im2c߂AqeA?u'NэlmWgm!^+rpy~۵>E?ERv2"@"T@y?im=;stg>ѦN#I@EcL}h$P,>4G 9b7,i+q_וeջ HdM V@COb]i9ƸAY٨Y8ݺft'Q\H:b 2$cXYd~'qbt_DXh|-&*{} 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*gYZ94 D5fik1@$=ΘfOT.z1yˣP>hR1T,tqmK`Gi|Qf|7c~+]e/dF?mR(p`pv5΃iKwl\@#0]U/Wmw;}XBLˉ F;[MDT:ģHmjŵNYiCpM8~}"#g x<12| RѭrS:4{~Cp{>MhIN9ҩظ.썞N`#uh }cà\yeIلE* |tRrj?i?1DN:ɴ ?>!t!Js$QM.D<.,2I:5GϠ&*(>JRdX&P(KjLXtY-F2hC#yI7oïK'TY^,X.o^GK25`MCY>iP?|~8FLz/*ƑEĉgfp >[.CzMs/}=9 !>r= g>yp'ӍPLt/ˌÇ[|p|x3pePmCq'RG[tzB~$,~;;B8C|o91;9LNoܭW&C,8-' oq\iV4P$?ix>~{:HϝJ$ ϭVt_ydI )vM\+ϳZ.o<˔kL__S*cMr6zp}U/dK-_1 apZ[lf v:^"Q}W&D%]͋yB ݩĥ(يu޿^o,KC] 1ƨU4v2)G#.?'.CA4m8ӣ[j9vӱip%$TB̠#9 u~Nah:,G14IG %WUݬ-ϹLs 9ZH4pB%p2~&Hclܔv D7egC(D(; nL [eKsTsyD|T1B L>6GR d9^kW,Ey+ u.^\Z,AbhSu p!)*$ϑ<ծNAӉIMVjdbM*J* F`iJq营p9e\gm2s9UDžo8ƒFCSCp%=WmpLN>r+|4)6%lJkɮ55W25W.k!qA.Ȱ7 =bX62TXD4A (7, Jm#CԖ†D"um4e$L9,j0d]npTG`&VFF3˟%ʋ97+Y@/DgDC/-N,NF04X8.9i+eBtdyu0H?8NZ Tj-(^AeiMauEXL;drqd~go\㦦..⺶ұ<嬩x::BNnyfid+5wQ!fIwiIK.?WOKQ4ؗğk8"~S01^u,tj!fY; hM}R 3":WEN)E] ?|qȍ<.X_yz+GOJki|w6Dh*ľUoWN|2[`G̀BK/gN,pu*?*:\ˣcjXq/М(58cMEfX{ -w5 dl]hcq1:&ڹQ=>?;Fgڜ64S9NVU)Cipm&|Mv^M +YBFJ y:\ps7*k8dtͤFةvY-ue#c{? jB2¸6 FĂ 4YgJ^(8{e`oeeJpou<))&(HQO89qb6;D27"X uq?*-ل;iv?2񘘨f7΂_xUԇ'5 t~+u?Cu*$_]QG r}}.E?"H,*PбW$(ȦIuKE<` m:erSY)&WS<0ʆ8|jH)sWe/00MFhŗv*q1=Ai"cUQ4|7I@=v=`)ᬠC !Hb^鍗doNu5_.Мw_⸢- MLEQWae]C;M:Crb=ʳk\ƵW#d=QJŤ{"}:*q<9'HRz pM/3J9MVSx@&}5A&+.i@khɻwvT7~dm-,zV{T]xX*{{<{GFMaZρe=MNUYߨu5TC}\4NcJ9]*[=^"|pAHiP fU%<p]D9Uw/saN CGWB~F '>z+DS=eno~5p#q#OdSàwoł'0.i&`#׾ǰxue6]M2${+ >9 >vEDO}[7[鐂yl4aOtT"(+7?9>DJDuK j$1ܕ XlAO-818 ezg2Gy2}qϔ7v!]3]|#m u"Eo~4yҭ4.SoHMU=7)ӣm=P@4ٓ] i), {M$px#XNz!ƃ20A"ZHrW\C3D2I 9ZmBX.KD`=OS <s/a"[PlLT-vRg*tٖL]zNT#`8 4MsYƗ|'3gh萦Zj`ªf83-z,M &y=z8HWiej4\I߅b^aea]rѹJ6b8ajgCƳC@..6ݜ ۍjSPlHr%-J\$sa_H ڴYExwU[_(ġ@ϋCA 2 /S O?Tn'm@G-K"!$Db}CocrZsa#HK: %I*mk"C 1 r啠M;6QЮ}F|RO9gEe+q8rAxK)@ҘuO*#(OzJ5MO3z J1 LR_#c:IRO_T,t!4y5E8z3G~$X_&H[hRA^Q5 hߍ\.*퀠lJef<ۡ'QE$|5Iӷ;X#[_etr+?j?S+ ټ丶|&;Vzc3fy8^_>!e5\3Wiϥ)mwS2}]Gyl[*[ L8bɹ۔zYssf[VN!/vp݂;시SN"O}.-U&Z[X@Dl?1k~y DtT/>-)K_?؂X_zAؗ@[dj,CR=@njbо^jY5KVϥ/N3_?擤Ly"5kg 'fڴZwZ?J꾴{j@D rRʾ,.8DZk3Z N۰\W >F܃fң(:~; J7+|t8Gd|S^ =8O9{I"'A*ITOϫ= H C8&uuVi# ~|fGތDц`߂-ԉ3vQz@nemвr.:ĪǁQ[@h+V4MnۺWpVׁk3J6߻_HY?=wXݫRZ6+&B0 DtxWXY/[R靖`<ط [>n\^ LJTo{ q ?lvHvK}w6m~myHK }ƕT~y+an;QlN#0p%:*q9G:#B)8:~JpC9xؘ\ʶ8Kϣĭ"YZBS6,#1G&w %@FDⳠ̻TA_^TM a+ޠvn*R."M˓1 e\r0}LJgTi}-I!^hxfeF (aGF'#[^KR1sR(e);Nח|F͔ܗՐM{<[>A-˦hؒ$mC~0jBex;P"q '%Fagً; bb46}cbvSǿq0`BAߡs3(U3r3_l?r$=YøިSڀE6 ɛ|6<==hr2eQӌxc9YMnUؓXdmCӹ;qZGOpJ[b!/{ UpqsMN}L[z$<.]6_nhأéiO@ƁX v+Ϟc^҂߯QN&xKPSSsl؍2}|KyErs\G(ܞo5B3ˇ(9w>=2k}AI"Zw~l RFd*N$qO9]6adУFGfTx&o$\ [KH'V$lz ])! *Ac7WlŽ.IAz- {4t7/H?[̓ Y_Z mF1*~Sɩw!ʍ;.$<@R$b ~\Gj0G5 rf͚Y R[«M;458ue=iV<-ڈt`DSur2<{P1CyB#gT٫ķpe jhKI3& fdQnvM rwdѕ"~obtX>*MX3仄_V~S$*<,^or=0*m# ׳Վ`C ŒO .v^43֘#N'ہIaI3HfLPs>"wyN4vVjWQQ9^c/guiݘ7wݍUHD(O'37 D]rYA\,J)0x`{&ak,ސ4oK'Nͯ6Mp qcҝ Tp05jl ګ]$iYptA-(#ck$d[MlXJ=]YH9Ds 8wឤ&5az7yF7hiJZK>y&I|¦^(pRwOQP,ȷ˖0EbQqߛWDjNw&cMorcL_YvuqKy3I`|ޟ?ܐL?>?ACѰ,S5=-B7Q 1 ˍ(8s"VTDpˮ2 bH,T|<n kavsn葧GVѹf:bEx84fP'l|îp7|ׅr~㓿<,ѺUŦ CߍK[0iȀ?): Z˺,5QM9K뵝1(stmtyqR4nP3 vXA +IT́.Eh :ƩqUmQGħd0,/=M$iV}j+ڵ?ñBm6yuA/k`ha{g`譵j\8/v}˙P"Ƅ|(P+f8-7x$Q?P?IQ\*џs'02Xn8kH9P8:"Ekch[rr@_Vh3~O` ^~muVcU2نQSnT9{BUug'ސZ2gDT}3_ b!LʢqZ"Gӭ]IDmuвCµ26Qs| oMd\\,\᧨_k~=kA$]vCm6z9?X΍7OzUέj_ffKL]ClA Xۖ qgy"RxDE_uM홦8f02yMjC>==>/BW_B{͓X=L^qЪ,𪵤.j^*2TxS5\Y _&X,Ϩ871(AI(S@R%pێmv6c8*&00~i| ^?ĪQ _)]I?tF΂x H8as]\̶+F5,dU6} iJyd8G0a٣BF>n 3M#^@%yC'iDtO"jij!){ҧٞy@Am UMԬ!VLܠi7~guIbn3˄$o⽴!(Jf'5˲cp#ӝy6 U?F/9de"T2Nȧ YgTxuk8Dl)2żk}+3ʄ;LT`8¿j @bƲ qk8ać!?_C <2CbQVc%**"n0;,OŧM\ocƲ@x1l:q^z ;AOަ̓!WBHzU7/TLtUSZ9f\ݑiu1#:t՛Hf m׍]X =[!߉(C g@B׺Y+gbࠆ-.9Lp'/k9d*9u2!L$#:#o<Wnn}PZԝFjv;R)$nDj;-śhυjjVCH]#u'Q!5^^ \Du/("̈́b7}VTkulf:gLRHN\VTo,`UY`smf4=?Q]- ufZ5JJV3oqԺ ހ|1H' >R}e}Z7iI dNqɏJtlg.p*b+czYpiDB y`]C%@"ET @G|P?7" eQ񮵍GMI|v'j).Yޥp ?ȲDLU0ܤ&I1{jutܟd ~}p_'ϙp NƏP E1\A+ٟrg^wo`vJFN8ZP7ǺQ;/}N WqX/[]@?Y9>C$v? n'׺tU % 7̡4)-btҦ45 y@l"/ g_Z}lJȭb4|q<V/ 8Q)PHXI|,>3>HSDGn cd}&-j&baHbT[*Xt< аxLхS8 H-xt@VoNĪ#74q6ib[~U(%Jq˛G.VD?J$v_(5Y7^~]hA0 E-)i3X~*UiZnb7m D-<۽>Ù.z6Pۂv q7 CD*MkG:N"q7(_(R[/O@Ƈ5FjU)9`bL&҂\I:yj7Fp64LliR3xH,|Ϸ(>SZ7WH vyw>/F}SUrkݛ䞪<|rM ?:hı:5-?O/`(Y r}?qP mx`NuOoclX!b8jF%cAf6; cR'?**[&._Ҟ36nlg+Y@!|f~&OJ\Y/A]6 e(ήum .Uf>fRW՟Rc~t4/( E -YjcS"y ,'DZ6Kx~Ͷ+70L=ft;G[XzO_86 AA _ O|{"ͼ<5?++NPTgJH/|/칇kpdSwYSE4XC0b4R^lcBa_2/nM{0BP yFR<{lŖ'iX(`6 )u>b)/=zJ-iZeL=a9[ԡ: yDݟԱv" $  0.s~뮞'µch Q-.IQpp#5lUVʃóo.3Oʲ>VZ*$!h7/ipZfpߘ#ΰ\1" |ڃH$5ٺ_LX HVS6N׈EΔ_X1Vj~˜ W!\\7ezG~Kgre76|YLVbOfcDd? 3fv`ǯIVZXW6!V hddܒ>^iڼ=Ds*r]C~BdKYlƝUK5bm)_-j!iPgLQ݅k4A_HnطA(y`fm{s9=_i R4O^&uuUC'bV!V o@CHr1= vl;ܚ*R¦[RNE'MA<\8 VU^ ͏W2PdR=ΆZԉaY1GB~9ݖP~ʪlc{n-K~z$pd{fQ$mi~$&1{*w]K0yF7$NӠ}EywQ _F\>3 ݻu2-59Nkp-N ďa ,ٸToIieWz:TT2X̛PF\HFDM7 S5\l[;)}ߤ~OBȬdi"ZS$R U5_5`0WZs^ UH:CRE6G9ˈ^tV[D'O0* ޯ+ܮki)7f, Bi՜`; 9NY|4i[ڢP{y6,꾢c7h r44,W-﹟I?ǽx'b*RGiu.SVLd~"?H.&Z<2BY2\T( oءPe<."$fl!zxIIFG)I˂No3WK !teHЊ8Tj't^o\-/ nIϒkimG|5wRK.݂=r2Û0qu Z`&G>o~{{'kf"aq#G{t]NKQf`~wt.AL1CNք)N QWt>@_Wk-hՓL^ VIWVDʌ Bev/߭hB`Q1aƦB&b[5 wbh:#>ǫPje|K8;|8t8%Ԁ_,czC;ۉfyB Lk@=Vu5@8ИC2gm٬,N%? "NdcPgPz0Q@G<~0uG&Ǥ\3߳J6|~hG=L[Jp/hX32n#W!IΓq戀lGuv vƫ"vaOqT?V Ic&HlnLqW#cs7Ipth)&K~U{DX(=]YKGArj0!iNc緱W<(+D"Me"щǕyXTنޗ\doeub$Va(Y!.QhzdwK eH/#!F4dɽ4|67A*r>!J dV;Rk<lU@U\$Ͼ-?K1_ToȆ`S PiHT#7+}MQX8UT-+&AkYko G %N* t[;/sߙq;!_-3 ;΄fn1y$r\Ni=~gY3z;|mtd"HSϒbf>R`Ju~8>C.&p35G`|ޣ]k/Oj(aOZ:^>Ue0—=1*KU0 4BR:|>-^Wr)r/;' bg'emGfX6axLcJЪC7s&˭: UE,Hd.x5OI=55翧Pv}4noHl_dzBjϵjoSRQ^}'lei>>9h,.FG {$%EAΛId1?J^MO7M_r.ݼqB{~W'.KfIv E%8SÁ<1s1|_(rzo=AH}7ZKh )1V4!ӯeu c?:sVV\xjC/`}Pgգ"1AD+,&%Mn){W)BʊXcw4˨ 3KniVC1#ZmI;E{(PC`Y3m^Q$7 gmF.M1x z&EkYϱ`J&>wi:WG-Y>{ x1)NGw$O0p~$(N7v g?|ftSh|]ቢǘ1iiAI :V%iͱ͇[Q>HL I^yFљ[o /˱3^i37ΌT; >QE xRhr>xi2?T=^Z;RD& j2ɸ:C =Y渪<ݚKծWz}1,wm҅I~rWf] \烘vP×Bt;h?J%YnY! **s |:4]`0yW'!B= u7-?*#%20(;ʢ%T}A9'HkFO';Bk4saKhtg*.(w,]=e"hyJG@q\/ Ih*uJ rK.wDc-!7=VɍR4Y=Qpahq?x9C U'<扲`)nv`RLrAGC E#sX"T -8~ h؁-xEnN7D@P7.8,5Gw<*4$:k|qҡaeC5\(V*롖^mAkG-D9pfy߱ "g\օݺUt>?J(}q=?V5 +vVF 'oB0-<+bĥR2[DķgNr"82<~ D ƄLSȸ#;ɑUS C&˩T3/zO9/#o&r;;Τ rLiO&Ӣ- )"/^ aΫ}5Dj \0-U^_ǣfK 0,/ZᛏrكY([F٘`sw-@&M TguGe"꯮'%T,O<]nX}nKwNx* 4 mm3dHn* [L=oJ|&%>7WP,QAA݀8YN*oLPWP|_];_ NX,~+9Po݇%@c~,ܱ(_.wQ=e6v0#a}Gak%0[vU>}Hݔ^:x_dW]\sP?*g6o~H ǫl"8ip ͡[Uf#iȷf#/h/ .&{cbVҳk-4a[瘰=6R3ܚ@5qS܉1_ 6HXؑ?axM >9YgVMݼŴ9w0>'80Eߪ6)̢*l v [2;P@=YsBlup.A;ž=Y,2j?#&w\IcE|7fYLzIʜQ0Po EKGj>"]Vmlw!dd/0;ͩXachr޷>aZˮd# krߏzzu T{et0]86@k+4pR.: # ڷ"aI(Q|m9iTȏIi;)],OR{A\$ÕH8m$|U^Ca0O u9ݲ,q4P*`~%b;S6ԥx_ʢNqȀ@;o* ڔAQ(EBMy`PǣV艾޾,!CY n!hKԩ3Tk>OEx |)|-?6dY,qLKx`A `$KC:ڋCQ:/xJ'q'T.s^{C <铩JnfHh cIcB^ A^:-Ϛ8pWDY7OxitZ$@Iº*NފdgӁ$p[骢"; 2i{O|)>4W蘭`DcG3t~53G$|Kg %X:Tpl۽WflcHm .*$ &o>Pr7P(-X&dEujA)iVh\p~lqPpۻx_ HU#i#> xG7M*fYܝ 1 !&k/GIKbKvDbyW&cl(JʖHq;{0"XEbYcՄϕ8,u)=2-GtM )ToI*T:W'(H ̸Jr3є3Ԇ> ׂ:%(HiHD$bBsRݎO͑qO}UgF)A/×G?:ЗzLw:[ЊS\Cn WE( m:=7_Vܣ_& C-1"Л*lC&꽠VL1"/qnwt<%Y# \H7"#$+f yAc꙰Tƕ}si:YCHYחe臡tno3O,U1H6( M}.htkOa~]AM4332`/p yNRIw(B-~]4(W`N[䇑%vpPpXk0wflW$63pϋn'ɮC|Q -pѸDua̼SfCQA_" mMh00R톋 ss9{5G·K`X @}V}4v~#pYVxP[" EF7hq;0(,_BDKݶDh+ku>Y ې5B BI 1Gc\2K +ШlK[Pƒ_JIxEq>YH Fd&a4:TZqQ,Y-6{!,g uUuϾƞS l $7Y^Iu ;G„>PGN>>M./}Uc &QW.|b{1Hs olG@с';J@0:[(~~KscA %@892w\ kCohEW4:s ϘHv٢u~2ځe=[wAbJ.Yƃ$u~*Q1Q}(H$~Y](~U ԔK8"F"n!ʼnWG,-ήo6>!A HDXoĉMmӧ[2Dad`O;ťe2A-e iC4(?3 dT2qҶFMȶrUM;:L^1A<椄5wTbnwPNkF WZ}BfeE0iy b^OW< X S%YA$Enݍ" 3WhƫWuS,a!' ]#fXAKPD$;\ $\]Zz{"'oHT t`zfH@Q>7 AҴ2r%xU UY2C*%3eWc|[i22aKnִA.B_9sgapOX EܲKLRI+,/6V[`,y(dx? 2 3{.eX/u=O%5Bo6g(R1-\+aX8[5e>èѽolS?~J/\>i<)h0_Q}̴!*tfzc>н3RF4bTISD0h4.(™# Q9OUjA޸,Mzz & ʪy9h>WXQ,iYnvTC\LуY1 UPƨKB\nso5`џ/K^tA{ S9$>֣+]q ۙeew%g k4>4jL]@/1TS2w7mۗE{dLͦ2q>^sCZ:'E:YC!DS[{RqziI"۵rY@,7:t97Z %ޠJTݞ>%+<,1W|_4 ēu6=}JUcΗS@C?cFOlFV#;N=,]7; >Em,yi\L@M"tǽaR5 k|Z{YkE`cglL.U]*+ tBkl:W!uM E|$ѭ{ÑA;Xyk5A g%hX%ʥ}fy&^#,&-lXvNAY(3DYx zr jjz/5qY*)ʩ"cO+<'|N/hҒp$IpIg#pL+',m/ kO.yd3'gozԳB34|/%/!QiG&dp̮T%i-,9>t.nӶ׺6Gte{ Ģw 4{ uz|qlpYG!GЀ|j# M\k$Q"xwi7T<'paعhj(aZa `:7hӗ/G6gC.;Anڝahǧ{n>lZmj'7Pln}ɀ P/6o|< Ԋi&Yvs&R ]-&hc@J`u?m]0vZioƠ~ĕq'4hF7-((?L Kɚ: ֗Eg..-XLM73 ,C΄A<ձ>rj͏ $)t ȟSL"#_e1k#:IX?-e ^Oi&T Ԅ9ghcW:5AXӗenZ{iEYj()xp9a>_#Y1Y$[ݎaXȺax'#<3 G.]Lw}. .W|dJo(%i7GmyypMbz7$q V[Dm; SruG/DgdAqƞ0d1Eg_e"U{ v0|^"cR1T[\8YR +0z,޶uvT o a|fokjtsp@Uа'D)qy !ɴpt>!FZ6JxN',fP3P3Is/\Al$aBzΊT>Wm;}@Tris171/p"7Gb{-Ybv8(4`Pl0دST|XU0V&dZ,Z ehyX$?a D0r)ACZ9L:d|洚^DpxP/0c[j>a~:McNuA_;5~WxBFřhMv=uhr꨿]fڢ{R q>^q1VVk!*5!GK6G<̩pn@<ҙV.kYP_F3QC T[ ۧl +ep8BT=୊eKWrUZ<őBsUpEfY]GmIxeȅn3jQ+5.V4:3OvzCw*\DƝ\cR)IJ*^s͒.q!~<= pf$ E0f|08<648@"`z%]E }=CK=Ⱦ+Z3:ODhZr@\ kPO#pd{C9aj ;Cy\ew /|x(Ng| !.IThEu=,/>`X.Zhp9svw,H7Ȇr[LygsvUZ̳Ӱ+Oq께ao'5r`Bq|mgB WAՎ0ڲXmUS6cI4/:5hB]TrC̞/<<1pEPl#F%KB%Z&ȡ+ uAӂK-Ȕ5ứ9OjV|^T~kI%*/ fm  "遃0nk r}bS0y[o=OegytW6}ya !^GvY˛wTx\p gaU BT8eFhʉs>)DVUqWUgP#|Pr?ioc̐cÑrhyyK@$6 ;~V Wt:/|8ӞUh5ml̿,4*FyaJt4# ;?4Mm()XjL ?sAzx8Ii?Ù%\NF,KŽuQ4Pԁ97:s=әS@]+j|ĽeJCz!_ Znu,/'<ev)T/zA"vlw,p2sp19CJ: C&P_>h8l&)!h BK!d,(B2' ʞ#LQ%G'Sn >85tV ~J n6-w2Lv,;)7zzw4 E0&`)CF~iIk/ m틸yT5Rh~JrIX&pRz!hU@tĪbX?jWrԌ0ʾ ncճ:uJF*?1J`p*5;F0rgz\'Rg ^ y _ uНJj#,k߰de|]DWEp@-{%мiy h&RKKɮ#GCf=bFxNyC(/T9oՊv/YjJe(υDG,u/ͩGeQ뼋-1]q!ח/عcA/v.(qɌginrq;LoV&Ƿ!H<T4֎-tVm=Ox-(妘$ XT!7:.7?5@)-L\=ІV0}sw:p^J' 5{m.^6lxeVR.}{f1s|@d2DJb6CDA'Oyf9\̞Iℚ4@{6r+w(98 `[J22 /f~ST9_qpy%$pX<[)H?K5fK/A+W^tآ>A6hv~a*RI$tYZhۮ &bwffHb6lD#"%~`C D ON0jPϫ<. ؝}'cĨsܛJ3 *A||;)>=l2L !NGˀӛY\EOـ9qЗQn@}R19Nu<Sי}}Hnaj]vDi? 3^sgNA-k৸d|P詈$ºYU!rF6O" sG'sv[0GI)md@o]yY7c= Ct}G+ݠ Co77@@3ʊȣUXeSmSc2l˺kIkMY'?[?-^oA\Bw^y.Qza-0֒# TLQBiH&34BDxHNOȗף{d0wdiL+ _ȳ} %рΝ^&<Um] ~. B҈E2:V =ĝ)F+Aq*!_mx<~bi0 5j2QAk.7?v[@٤y-|cgF/t6Fd%6eX=^vӰexA52Y/"u]eDA_4-S KR)ܠh,p7 {ikFJ4O7LKj\p (w8<>9# ~"@Ɣ*h&`Uҕ]Q@}k3| F%-T ba ~Y:iV)5-+^~+L|iJhc6qaSM)/x{5YP%KS9r"R" :}*/^ O"{1цU˽ιNl;NwH{c`$װ<XM=y<В/TV ^P5~09BKً SγdNQm!bbӉߒg,qc^ٛ;F_nObS?&ӝg+K}p>|Gr'|QwoѸ$ngGe,M]Q'm)py3h~z)YA]__oH?T\7DJDt"fӼs`('ioZo3k_/&35:zvK]g9HZzeKs@"mC7"nbe6w2C# A V u{2&uɣ:!GcJV Ϫ_֜5lPӺ䂷+_ܔkrڍR /w8ͱ8A8l F %_h= @e.Wq q9[-s`ؗC,Yw*U)AEv;p> q5kB+>X7qY{$ΟVH;3'﷖ eۈKT "UiotCE  >L W1VuPۆpm[t;`jbpbQKtU/]঩C4kn evLjM\9;vcEV7.Ϟ',9 h}[v[zϸ &b1lg{_ꏕgӪđPpL\[vsg~Bc EJ裳QeO=HT0hO}2{FqvRYI6?:hf hX Mv8,$HlUn]MpGѨ W|kS-~Fb _λ 6vS@-HZ ζ5Zu~6".^gYZc468b39d74b50b2a50953f75e1d491e83ae35213771b27749d066eb00734e2e3694240d3b29658b5 60fd69b109c3dc8deafe23bc6f2cd6b659f2d722 353eff247141121fedb104788add3bd167cb30ce