SQLite format 3@ .C  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 NN 9~<<< ] HOL-Datatype_Benchmark:threads=6elapsed=521.323cpu=1965.952gc=725.8727zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;'EWnPp3kHp0q65L+Vk5dq 67 F5q:fF%T晷N>C'0cp-jiKiŚˆk5\|i/ Q.S=|{ b6Nw0 Q颠rbxIL e@ 0w|=jqjun@u2K0Qv 19EKWk (MY4Yq.d3]36('@lfelOV5#ݗ Yt-QpT@fw2,>7ZEorNj}KR} $IWe[.v1뿤31Bŧ6~F\K[6aPdQi.tlp,R9'o.~*%~6jSOX\^:R3^"뷨ȅJ=ꝴR0d) H%X&w<|);j'Bi鱘FFKBrOA  Tp*f.9<;& nީA1 lFQDpE5Y[c(·{jH ֘_QW-6"T+236K xAgcX/ҽgqm\DsYk ]y:YQŹj}T,%g7 09,)p]G됱gYZ7zXZִF! 멀]ŗXi%Nx)dO)h֐[͍ԽR3yIЁVozٿ6W-9 `NLbŞ9qt"1کh0[C?pPH!ی tQEGaNSf\֖ ۘw j㳕\?TZx,8Bj[y.7^heL3Pi<5s4#LYdF!!b˺0Y~M(J!4 >_ V^j5|Qc82NWh<6"/ 3RGԍI$͋.p{Y) P 7-|aC %F Z|%]5iy[QuHgǞC :5pRh,=XrcSX2\Ab \q{4H$3ACIFfJ[v'[Zi}Cqr-KlP,A̭9<| SP XJ fUR# 9 HOL-Datatype_Benchmark ;9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6qCk?Ќllk^Ua}%s;xj`qFoyj4;LC{쥕犴k+9IkraA'M%%SazDNCLEHRո1^)(bq܀rNetXU.eX/][Ή$e+]"ʎ"46)IHi'(I>#zt5Tٹ+'gq3 ZW*"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]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;~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  -;9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6qCk?Ќllk^Ua}%s;xj`qFoyj4;LC{쥕犴k+9IkraA'M%%SazDNCLEHRո1^)(bq܀rNetXU.eX/][Ή$e+]"ʎ"46)IHi'(I>#zt5Tٹ+'gq3 ZW*"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]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;~6JRt~-ܹTqkC9E~\AEٙ5e$% [*3W-[H3-0&:aޘs@-t`N,{0G}羅2]fh{Ҍ,(dXLjYKU)fj^H˼Cطր$ W[fOEGQjdfcMlH؎~x /p2Ex1bic,>S<0EHN!rRC,j{,vRJA#l]} laMgx Uf+(6FI&_2 gar #B~!jA߷![VΕIʭL%( 0?yh})yHŦ,BN^6zcbwm(B$.%ZYFO)r'wb.ԣi 3=aO>`u.0{+$%LVbkk 7`W_)Ӎ{ 8R+GrG x︎ 1f|(n$wDHlH WpREf} }P=4D<}2ßn3;51/u߁c\>|ky?~dOnKz; D%\ „BG,\Y/zLb8Uha .WWI6 r +UL"0 tX׵eLT8,xz#LnAMH216GسN+>*RO1:h/g8&9DDF{?QL~eV53SYdܨ/ΌM2..O&K#_Nta-PF*~NF;h.J4)2j7sѽiͅ~7 B}T>UV{}tbD \ b\[%$[ _Q h)/;4AݺWkv;%5JU:N҆D9-ZT#@CImN'sbW?q )yl-'7|Y5pn 78QC6 v3S.a71,QVu߻- wב68z?64h{CH`+ZbpE{֤gjSٚz #FeRsԂ:[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 7'79G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! \}] !M젗OFI"Oo5Pl:*7kbVq 1&?Kv2k˅D_hJ>Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([",1ڲC\Oxi}|9`&Sm'.Sc yf7[u(sQxE9ٷ~'Z=J m8p}p &l,N 9*jTBI Op/CV?)9zϥ>C9@8ـ בCY>g? ;ps>t v2ɡa ˦bu;/j %ddzMF 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՜gRoX}BWrw0)z^Ѳ8BPR & n~Z\FTh{Nz{$!-X|InCo}/9$yuȅNIH,<"ǐN@T#D`j–QZ)Y>B'b$c/cb˜rAo+` `%ye颴8GZt'\R7tK4!6E:)5[ ߆m%6Bv]m5=O~qe~EڞY澓m4*kdlF$ql3/+=!븧(NgdGvjL<"wͯe cw` }'[r's*6͊MR/R9HBMX W0; yq]k*X )IN恭"Մ @eA$;B>vƅ,C) pwK2}N.=T.D<*k2*=8) |S/g mպ tDW6.?Fj:avkVJu~.8T0H!%h?z M#\0YXTԑAAιÕTw P6. 2D"HGn9O^uh:EU9GmMʲbد#a74&=4U5{|k(pFّ1"L*r4qk{}fIp}xt n(c`^2۠r{ b-P6C~f,_Uy7S޹StȬ\ TD0Vv_ 8 nR> / 2 H+(2ܦ?&+-ɥ{|l ׾U KD"$EZme-j@oEG8Ȗ2 QQ}w+rsUPxrZ[ׁOxsSlKY3Ltwhcu" |8O#LRE)AntAbۣ ?8>bQcޥ\q_R^ȱ>=Y/@-e@Ү*5LB+GCY,^v7Zņ(R 6/ZZ<=Ucg3NTʃmmwiAlMr\T"'R hqteɄ? z3[TG14 ,߅afOű. 3^ΒeaQN=`E]~u hX41aOQp-\Bm=/X!@ v2Kӽ^;w8a6³Jv1ђuj z}oh~wJ&푡P;Js@.j1Toh9ѧ5Yv֓7 Ld~lyHC?VmRÏN_):wq.MZ<0YЫFJĪq^ݬ*@>"y߫rF=A[F. >(漛IX拪.f0BlZqlчF}_KUƕDu6z Z62M-VU2Cn !A(( tϾ=4qc`.d!'%m6WXm}KP\}i6pxkdh6$A3M'zUĭѨ =ͫ@P_9 J!NP}ŜriI0qXtE;yƁ½YcXL`y:h'UzWpx4·Jul GC=ߝ<mj8r{rTlIHb C-yovִb-Y!bc9qKl5=$QOʂZ*xG!~DD[, t8i۠zdPou{a!1z!}:a Nр !)9̣? vʴz;ݫXdTZ6׳L4#!X8PAe+ڛP@FӶm辊"r .#<36AE*^ amVڕ)i6. KZmj˕2IsS2Օ6Z'6!}w+zd@_'W=Zm:wMjhŰk#h ̓#D'}5ܧq)}_Z}#bz#&I4Pra+0#J^]R7²ީ^8/yAMG/eWCKq^S b?>52U SR mT҄,cnR~(QܲTn85 潷L_B9WLmmEBfu66/9 ~رuKT#5^Hc t!ê9pZdO7,"s^b$jjH9H j? iIDy-M2Wl{XM Yi!3`㎭'gh6Z~җ%2$DPG/;NTm"ږϹmkë8uhukc0Y霟i!aJTZ㲨e%L-LϚb3|90j7{l0`{EgYZʺxNH6dzܰKg?.w{aVTE[ CnVj&QĎ&y7!sՂFw\(򎪖cF@%ܐS.dq* BDM4, $c(rgG^r2N`7 @զhָnkMҵq dN}y 1x\("i|Q+L5ÍUi% ̋t, +s̩Q*5fz;r9j 1Ht,@~(j (D B_ J@*dLF_hi#@@ĭޱ0*`?]yCHr*B5MYTH"mbbP\ΛڤDmeڬ#l mk6{+"1,nߋxeg%D J=#+lyvYK^Hܣ̸]n R(M2sd*GzDƒYbݿOܕ•ޡ3?!@p'6HjVswWQm/'>4S1(Mw 4C ./v)hn9|b|c8%k#7\\\AB8-c= !Fk{S(,{CM0mP)2ߢDV.wl[jn|$фSi%w(Ұ,]JxyWc.IxOz5 } ~8n` y1ɨ)2<&g˩tW4Dj@ p4k(Q|u }h"L? *I!m.woh =79ʖ!Z W(%=<:/~w#9Lϻm bO&=79.Z\a!=!J5֒ւv^KCK*ÌN!!%|]!J0l;a{$<23ܺT RF|jٲeJ{ aUkR@hj\痧|wAK8%ën_L?Agm2B7 EQ!=.kqc:}|Y3b=krfkQͯ @: GSE= D~8l} qUdwh~ݏcw8NTΰM;xL}gNiԄAevHcCmǴ? 9Ei ._ܣ_mv 1rmZy毖Zŕj/(iА0!y>'ME@otO)M㧺a'(ͪ\z[Kk@v{@@M Ӷ)V/MC^XMӡF@[Q~jDПUƭÛ"ʿnD;WK< 9C2u >Qu Qr.R'[.W@B`Lw~>- r{@!EOh;Ä,ۇ-NJmj hzCYrTﺚ҈siZjTWV`{%A*舒$DVőqďZuSВb':}oa6!gR ɠwM_L_s*nG+I`(9/9yUUI~/Μù{1֓^Q6X9$ 2!cH6QkK693+v8I&c*YBna{߸s,7x/轑Xv#ɲidUE$aopxCk&Z%'L/dsOhՍ;mǟ9D3,5mȯUo" ^xA^&\$e!>cnT/AC,}KHv %Zy1?yGpNxNzv&~gRx>(BOT8=fVʬ"yK3l]ίh%|먧uBPE?<68X0J6J%~2-CZ,+Ӯ3r8(HVf6N;UٱܱS w*GTM!̘ϾS[aM^:H:c?ֹ͉FI3i6t)q-,XYa.EW$jshͤ&:yq)}*aN W~.]byE&gy<0y*Q& 3nhdYX[ޡ1 vPD+|k81uJʲkEFgFoX1Sq\aeDY^Xwa>XtL^GJ!0t4e GOǓ5VD~~ݎt&NU FbQ]o|%uq}e1X]|qpj !0񱩥c ,+ۡ*ϔ=!b^<]u]y}6n+r=MEςe!sO̭B*%oUE+,tb4ㆩ'KIz⅕xBbHe!Os42ƫ.VG,jvľgW,.dR@U{oqMM_(ZeؔpӖ1|N>5luљ:=K91^`!elgIʣ 1˶r#Ol>Fg&{x΢ ʐ?qlP+eaiEE}VSV)p9RZE udEsZTߜDfW~q:`+ab|d1zNRʊZ%˼2XAfA| aO-C#scBiqb.c䣬P(\u_KhaKeS>XkkSF&o|b]rB&^̰Dze8>@l1ڂ֝vsaap%yF~h !5 6DXR~Җ,Y@O7;_M۟ҡzz TfD=Y^1pԼ02Ag1_:.'6/P}3͉Z{n-p*\4XX} tuy(q\ܔ$"b^*%1dg'(r<4 $lQ` :Rk=W5xɖc9b6%[}H _\ZZ |0Tq޹?:<Ð  jWEHIO1- ?uw$ALT~!t]7`},-,1N1z+ƟW81zåz|y}Gҙ’m[+AUxou?ږ,ʂ9!pٍ.@S }[`Bo=\[!`Cn$Xq/"%>ƶN`ʇs?].y oF{$yB-pތ58bP AěDh7w8SkT l!Rg-g;䭰8 W÷f[FyĊ1h ߴ(@mjKlfF%`#Z@6'I4^|c҅+DX&:{v*ʱ:NJb?sb5P^kXm/q42wn89r&3D4D2,\wA|k> =`I~] ǣ I.ksda&U/CMA2I䗺H6vdBv߲v`Z+%FN 258}1LkԹȏ~(h'hxق͢ ;kWfsA+1e^UdQ5‰:^oeAz_@&M.(QS^31cwL-qz֝{eS~Abľ4^s칎ZEow1^h"+kmIwPNXA*avb}9뚢>Mv4 g?xQ7tݿ訠\GKo$ʦXNoZdO횔NLx޻U-8J|b0w4H"w0G\d'")Q2j՚15 `무AS*զ;5&w"ʉyR< ~Uj󷀆&PV[R PH+щScq/\>xG>-{M>M\ŗf}vMgIo׏p*mG,3wauU !㥮zUA൭EޞoBZ=;ߦtԙne7ɓv%oeo?XU"gl ]w<ꢦ< 0gfV3);|wOri(Us:@9P)蘿# N;sif?v=~M2Z&Cf&1`o1'Fܻڧ2ݱn; %Lӄ, 9`<mLar˙3͋%cGr&fW4},C\gv;Epy¦"0R!F; <9`2wx IGv nEJ+6^4|k2g:LNiQ{0d\U$2 %[O'\7x$:yɜZ`9tlX\ rE fVV!/S1n^jr΃ixsF<ΑDkHr᳓'3U'-˱ "`nh`P0EHahm\Ad{ 뱪Lsj4  j%frP8ў+;rT!#괯Byʂ13CEŘ{ YevΊr*&2\8x6M8..Q/ inQdd4&Ys]ݳΙ3FB3Sce/rN H?@ѝ?=D`|AD*aOzQihKću8|%Kflnɡ8Vӫ aՕz4r3z?E?6ZM43 ֡ Nvyo@S&{+OflX B׽ o[!U?]^PQ^WkPozȠCh`Jc!YSZۇNj!htZ=4ӯ+rIwԧMgSd4\ЬQ+ԯRNX ly;;pHrwQv(sohэ[|HrFʬs;Ƴh.1oB#¼uFhnF͝Iq-=]?aDw{jDڊ[۵ce~Bp̩)N^Y;2E3sLZ*S&Xʤs<8>C&4rY~>ݹN=f~PQr-&]KFϣ͂٤S点NE7$&z6A hU \7#;5^@zmA v :ρ%ޯmMU' Z1 qDEѵ-Z鞲6 ^{9ogRP%fPF?5(y)JqpVqY a}R9G}2ڣi03, ]_reuCUCEm.4&~%#;[}A\hى(_ACtvħd7r|)O݌ʆ[&=]هtXғO*Ԃ@0HR.Cb6Pe6و]}o=t<_SzH?B'|Uèb4 aU1mB}.l/Sݟ,5N3`_7HNg&n+[m\Yq$naYl'S M:l47rgַ f ҲDJaUO'$Є-* %"ɄR|شIV⊹REbz; Bq4YsIpb:Es, 4~2!5\JWs8V=a ;- 8LR>6k{CT{l:0to}yڷT/"|ռ۹΁Q إߒXn:@/pqbCCFb5<<Ьtگ<yU72c3ZX8uzqd'YkWQuR lwv;&.s/Сb%L">58X+Fzo[*0"z|T*_ыW}tGkw{Ϟ:h sB]oT95aJi Y6ϩ`H<0sX1I56w-Jf-Ia--( $ Z"8Ʒ} ;cϔRQ=}PS8T|ιsejG@c,)ƝG=&<`(kc͞5XZFS> g E}) |R+FtP\ݏ X'W"O7ɯa<&jo \Fn=W'yt[zt ?` mFy8< 9 ԗSE|xkivn50$WG jF$`ڡBibIүBhPY%dY6b{xP4?ҷ#8 y4^ְ=EM,YtEtyK ;[-sb\ Ln&b߻CZǀOn›MdS S A=cm/"wջUJ:kntf2|6~NɮKٳ}48lE*1V^ĕZR]I="H'j>+efhN3o|wm΋K_+V !_ kb/ Xx yl2'}f*btե2Qn#rp(B#; Uƽ/#~xnpOQ?\Jqj= 9TsDv1S)ƐSːDGB;<\StP$Lp8iJiӆ-JkXȓ3` w L3%|a߬s v>ԜM+))~C(z<4`fajb^X(la6k7ē2hMr 'fVvxvI ﶛA:i3T }Hv [L?8NyJU3a i[Rh |X\ ǹ ZK^XҵͤGv(p6 :׾e2~:nVj|(a"8| B}ͱ=F CKԡ`3^$M)K\ۮn⟝W ȴ,AnmI91[z,ŮAu ;KHD8k|( > J;&5N %rM%aVmw˄_qr g/$؇+@Ϯ?}*feQn |b ;aIنjةE ۼ}P s$A^9r{$SC 8jl>_,F)=t!DU&~.f] ;6|vЌf gQ6x Y,:uN x4 9چ B+ TDbR`T4]OS B&;d[& >lx5 Pl!@鏓Lik22vD_+z'Oq'4u8H.Oe/j^(yJT?zKwݭn0Ej$_B($+4xV~"FV,QʚB>n&iT1) 6k捯6+ RUX$Vzr5t41e0p 5Yolq-QݍqKfi qIA8Mu*BxpޓPJ~3<7>o]ciM>'5S5+ 8PoA7scF@nEG w1tjDtϣ$^\&Otgu`6Jg)`u0ـPqPSpzS`@]ϫ3ͭ( ~4^gH$q2b2h(y357~bbYes審ZY>Ga#%8ڼ *uQ)?v% ^()z|K؆XWM<]Rf a6ti;Qb+Ky1-r߸zR1xeԚ9jR 0*n>. cS|I|q'ՐatWdGRDf Q~?E#h_#QL Ex_~Qg PhNMF,V>ǰpŕ%єSxYAw+XĈ;T7QܴƚA^0"f؜GKa-ݺS6{ NDuo؉kϡ`JW wTlxb웭8K4퍚P߂3ܳ4CdSBu4$n2AE^&kO5C P4pEcXNȴU G"٥ƛ7W 4DpimywXKLfFUetßi00 YY0BU+hXϫo [@,/A5׀L+XI~/̝Wo]9&%n'oqw>(i,:"իyuxqBh_ĭxSQmRC]ȍCL m6nPXC gnњyĞ8iUf4j>)8XuK}Phf,f#ϝ|+xyW1HruͰ)Mɮ꺇v,nSt-e[7R}qߥgϊ"Gt<C$nCDfh[ԃ LISM(|IP7$Əڱqz7KL!H uV̬9Dݪqdhk@TX-8FĢO)7?WuqݿHD!aTj,-B)`PkHZZfl,}pR |2'BP 9N& )\EʢƗqbc% #KwꚡǸ2z z2)A I:SMb@{ig0(}F1nL  Ձ9sҸ+]6b#b))DB*[WY16Ng8{}D }ZAsw[zY^ qUgS",PЖ~:~=CSl|YB `z̨8BO{G5p'q,2(:N݅UKK%`D cw&~X[JwXy6-UA5"̍VT>Fhre-D!ˏh*\`F1`y3bζ96([JTa& :ĊM:}sW<dhn-Q)-VAAo娅R(rj=RԬۓE89"璘̹xclxԃJXs؈klv N6xRNԂ,4ҵi A̓jj^#6a?>}ͫ.edRB:*'g~+sq`ZЧԹln4/-&浩VĶ&efHuXf q.[d2M =3ܚoɱt"^C(p :o+Wp%HҁTXz炙Mй?M;e>c," B%$b"nfҡEVE PF6s`G1ޙ\(Ku+cu>;6.̹?LMZU*԰nEpY,m۽]_ 8oJ'3<9nE?=gHk_5\4 IMZ].x቗@{c4xT@&4HM.[9Ʃ7{I@ ޕqpQ]qC)߅mZDfٌ(c nq~ I;ݧg@p1̮{޽i5UR+Myй{Rp%)X}È/3+Yex+8Om|K9 ('dCqd-rtT9YOLwȠd?}5Z :1ǃrN~h$R(\j=U^9kħᄀ:Z6x9zRt>ZI@xF-f}]9-`4a'K0m1kwTdE $b>L&uomd t I(2 /z}ΊooL$ZL._ gƃ3IibpG'8c!]ܫctNL[r4x2 nkTĶ p gPcDהVs#7E#D;Ͳ WE|M>U0ɃT903et1M@}e;A_N@"S%Am`-&R n1tT/8Ɩ܈sX]rJ͛Ug PL_,3OƵAiX:a4j U5:X-?*Ԗo4[:삕\ дTrAŜ̅檝5 BFT5$ȐQ: `$e^U//]ћuW''>JoۑD4 vWQU-L{w"ٹ&L8TANu..,8]GR n?Xާч-硑lxlӜʓICX)*f׷Pjv4la_@k<55{1~ʏ2btr4z.Xfa=z`F^r:f|TYN 3wRI3+5׻63Akܔ3w̓zaY^L=gRaiY'.Fk^:.ŘOYj!aM؏7s'qr僸DqIxzAR#F4P0[~i %a0.p6ޡ.Si~lK܌U~S;8aSiW.l @1 ԘJAPU__2@%p)hE@N=trvc6HcQ:(J{ > &lN(;VE9΀{w~a{lmUO"~f9Ranh ^Ia%7^:' ]<7^HNjmNszYD 7Wl6Α(2O ) ׹{B6z``,\b.f! d_r0)d1g?;nC&K>S+EuXߔ@ OLxc,tj&uT>tWW߽J R^xv%0VA~j8\bDHRH"G7 -WķhO[F.YTIڇ|"[sϘ̞D)Qw(igqٛ^T'yHMdP,ѵZ<CYłOUF(N\oS㔇7TlY{,Mg+ t Őh2kv/?1YdϖJWUHS(^hvb/YxNmBYUF'H\6?K6ߠm,؍;0_;;3\n;XY1q9=l]ֶ$,P7xL(8$ǾGɰ;D#gzlZ[P&Κ.;r7j槗_QWp YNIH/<3;3F %n`"F]$ l/9&U\]L-ƞ.𚣭챪57])b> 5U/e`lΝX!@}4wq٥f>Qz%Ͻn}2J$.t‹IBSm2@k?eD4`ԡP2H\ x+0Xç``@4D-or>J b2* /}K5. M aX,IdG309+:AsE<$‰H(cгfv x,/( leVjAUl[4%0q._fNbVsmژ{4xvxM (R * %ݛkN<է@5Áy'NvV:MM~siSY[6hI t,ѮͨO4SHQfR9P\z;f q\l?ˋ&;;>Ko~MI◆R/~K 9YʩoH(zT!FFG5iU(qpm.i}(S"5f>2fS}'E!@=p,ȷxkTE`(ȯô#N0ԔJO̩qrCgݿv>mfj+ŻtnE|+iAY [bxۑl2}2- YH<%n7PrF'vԌk6A&p$SƷ_WXpE% ]TTa'Ϟ sڍ^iLdߘ nq?nG&+z)K6ơBw4r~"^&34GNus )mx@$ϸؕO@;j-yz53cxjʄ1J#C ~#L9mlfRSjˣ{'{,[v.8PT,:9.1x!#.SxhZIW`]NRO|M/ gPjnV3\%w#dΔ6ˁ?N Լ?L,'mB /z$䗛M%7:WϸSN.g]l'-Ƿ)6]xSA[>|~ZTr @#uGH!by٣Z)7Ug<~yo!|fՋ0Ff/1  OTT-51VZOޤh`*rwU+G8yq h!k ̲]~W0eGI?6gh>5:>#o:8QBF,'KB;x.)#&BIZ=~DsA }8ARxBjġ[J;'y:z.W,^ٕ]r.3X__gA@1PS{Ž; 4sn ^٫>F>FnelIzi_;QDK<ڇHU}U`$3IVv\ts#QɳkiĺdGppǥi~jWT8)ylaIaKmx.n_ {oMurG^]*%l@ccToEc2Of'Wu3/%vg庳IY*x1aRcsLO!@2Mcho:BNVה"n#jy'>ߥxp3ZJ ]jϕJ%q7O|{ mÕor+ظTbrW~>Z/rD2}QU%=J ;`&"֟Fsc VB@Or~VQk*Ar>;"a6k|2Y$m.FG'RaI$'v@ $&ucz,Hl!u -I*-e55: ؕX!j<^Jgs!*ss?<Mql/9GEK%/|W׾? DΌ;.?\'^dHtzpa \vNZE8T"b9LGLQQvoo7ēӰ-X=Y;v{h,,'q/RU~cl8vYTQ4 up" q1FoǟW(0t_b-5;H+DwPK8YaM) sʾ u=T;D}ur_18;G YKNo4i7{9Ն_S@ONZi d(t TYf_\ƥSU&^ԔT@Z2rK6G:91)=]}F-!l?[?;߬&1뷵FW$%9OT ujVt|R+(S־(>}괍fn#\?*nIG-P CTY#qjb!KljݸwP&ɦUF ^,\/xneMOq'>u5[oKŤ2iZ#k ,w`?xCi9X *i 0z8d=&dzmvy4f =,.3ϖt6SNVW6b^ՙXL'Ykeef*{˜8к?4~1(O\Xk0D|rY~ ǙI(db]<^=Ab K)M/{aW^UZDb®NП>'^Ai9ϊL;2Zf~QQ3W u W? I3.(´%WSc!d2R0Ix7^a),bԗ.1*P\øMyVUTe }\Q߀5KFYvW`҉c;Ckc'0Gd%B:8+AsDeǝ1Q %ΚS7ylK-.SG //M81W\Nʠs?uMIp6#ѓe3[4(]YLdM"Un{R"ԙ~QZ+Bi{8K混L 7x$|2[&$g|Ë[WcKxA_E&H9(9pD ("LĤ7,)_(eJ&Ep) ".ũ2weҖ6q. ZŎE?ރ!*zrg8}mA8%&5Zii cO瀇  {4ksB)-$-GtGڗj}(Ou+`})}ZoRP?xv dĶKC;i4͞^=}0SVY\ƪ-tcCy/24$>e69`mLt¢<ZxTRhjB4ɱ&UIKdY}(YHxu=9MuRg x"L'? 좢:PZR[PtWqV(X3Rr+ :rsP 8rxMR8?,f:hQl r\, "(@ѝA9,e 8F Z ٹk+m\S=R=!މ ڜ!vU?\}^678IL]?k 4pQSvP.Λ:O T8[$}nI!%~߶fþRFL&}M l~] ]f0*Gwb̫PHn$ʴ,0\'_f7V~ůVorMV~޷ϱ^e:nva8QF~a5݄u`!?oMuԳ8i3H*~LC H sH?$0ISf'[m68 &uxo}_r_.|Wp\͠٨$2LA@U*Ye 6Gko O\{Ԃ_қXa̳ljOMC \G7J,ͫQ֘r Zv+ Y\5ng ƞd-rOl&Ͱ[U^MQr_ɔ߻2Ȗx6"A;'YߺU0']UVyޘ$d| o*a' Og *`"S7A h-v,S񆞣LDV_8ڡ3}gBƳ*h q[3y_'Hi4`B 4o.;ɚR= AxS {[=^ Ir3Ɉί`;ȚSC; A!26G] $쉟LٶSP)9%&ɴ]kX& pp_MbLts HHn1l~擀/XjeȫAw )#K5d"9>hσtRڢrxg JS' ֯oGq/G&G1ijkqMiLp{4zae[iWi.*N^i$a:HAR1{/\upPPFKUدITC˨. 7O͉ŵ4]$fQs^rWc }fr HNָe~w#-~Hzc J>kVY9NAjx ͪUQw+7%^M NNQ:!{VībB O2&0xMS U![#*l%Xȱ;TM) 5g}` X?Ի^kz9چķ@.i8Smbn;g֙.0irhgA==@ %z Ԅqyt\,%qu-fTV mRzm*hϳf153b|y+vS =΅MjDYa:Gs&(.Xx?EcGm*JWФr6T{R"JG\;v8ӽKHX-fsƭ$5J&kFE"V,>Rp`ꂟQM 'nFI.; MCH2}VĦn'kC[p#dpmOtlHjfkpc =r*~V3]`{FOe<̓?S(3gגAD^ NƸG#3yD/d**uRnڜ]~1\<%` ghw-v2d].A+MZq&p++{Et 2PGQO `KdJ?~g mZ#3Ю?KÔ5oQ 9Q]z!w峉E %X-+GPnDѰBr61 @0cl~d,'ڏCmb? Nd8u4R}d O@ٙp/(D6Rf^:“ȲX{7SZuiFh!W;fT_W:p6p u=chPlX%-)Hd%i޺@aBuDE$PbIXel4H]Dork'8|p)QfOCT u .0`tz4*tMnNm 9m?9lI֨{uO+搵u:hv!!Cжic[*ޖU_\]d1f[7Üg ]_KuВd۠yV`GC04-NS|:O vV2n"q S)R:sy}S^"fKshaO'8oλ) "q(׵\|֢ Pꋌ?&kom0ֲY8g`mbe(Ki.5+wnĶ+ kVB ,/*qw;[ep,,9K@;-Ÿ%,yŋ=O@&b#&HN~`ҺhFKW 0loQ4uOYάC}Psuf}DؤpZX4 \(Č'K+\5~4G9lZ}UnT93erqwܠ=W80vA_AMb_3d}F q⮒K[?CB/'vORþ\Z#m ٽBAko m*dVۧSెcnX\n`0jVj9,~/B{}8a;yTaY=/9T0 dZ(1x8#MÑsFf.%zs4X$j<~B \6*Β3|O dzHYp;Gz7>g82e6|ԾA$uTCr=f<~Eb-lHv*`Di!r&6z_wWN#qa|*V:Bn:8[r쯸%|&!6qsM˛<ʦ!@q*f8FlqozE& }ˬvڝ#Go[ގB @rf=|㞣Z+IM/EQT(9ṓDb':h%Pz%@sg'O_Dw(朄; Z_G+<}xSM#HNIyd eQ0K/bZNuyh2IF"D xӢ"o#9>["08c>x&iI%;bKB{Fx6>ؤFtw,܆9Q^LmnCg}]qS&\9̚ss*nڌjOݴ _(| VQcxqo ,l㥱Leu_aFKz輴C=t,>Ӏ_":)*SEFhՔ{z mbf*DzT88]( eO"QW/ѢphOy7@'5; F{bNf5bGovʁT ,+wypsrژW՝QD\|0ix8Bn/?'J7ϑT75%E(:5MeŪ(j=um/=oZ2^vBda<} ",')y ;اjQض,cx׾gk2A,VŤBmAsӨUIТfN PbwO)ܳ0im< .C8-qh*Bw.g_3p*7>\q+_ͅϓ1G9 B({ܵiY(NuFxf=#ӿ :qH&@U*zJi쟆QMPvPnk4[ӂdXyi k- Iq&'(;s]c)jb?zK?b%v>ŭW8%/o`DT4[{f~=~Xx`?^%aѢePOxadW0WӔ E,gb[q'9'w4+UyH贊ٴ/"$t ЦƕqIQWPzY>`3:SN¼I,ߢUSijk^zWuvv_G>byGM&)R1r1hx+PZ"#'[]B`sPoGg3 OUiu5Uu=TrI- f2>Ab*.81gKrB20dG_bzS`L*]/2Q#U=K ` !G1:_Y>{a}9%ZY6ϓݲ#aO@[Z'42H1[H3푹VQ[dKs_kW1|N _25F^i+xֲI{=:12KV<Jo_h2+?'Tnsi1 ,miߒ{w+y}iB]?cፋAv_y XD QN yMND~.&!Zy|Lm^ N]Wz ~U'Y8xKdGt}% ]UBWA qV[%Ii݀_əW 7P߹e. \޲OD8&<$XS!U눩78[yKPԷ] ܩuN: ꗤyA<6|ʏKBOT3G(፛cl}D?IA\A')\B*j}S 'k[4*W!L tp׿?\[rcلv,S(Q)ΓغzÃ,w&E(OP$cR M:(;m8I[]0Hx$<!N8mW3/_UJ强M~5KS՝Sj2+!Ea}</pG'vu%ZG6WqJxNC"%g )0?VlϑJ >IE+eWzqRC%=kLU® kLL`l3lR[\kkI<ڿ ވ:P6HČ0Ɠ*_3F+pe *m?ƨy!(rFt`B]*((cM*1nדRچ!_Oa+ QJQŤ„|b*&`~3T3KjXjk@LavrloWu#SBR0e$u1T&R)]`W90% b$LdRHVJ83Ux(7r/ĩ{tf¥&ct%SIrd?9c,'#pED4n9*]cwHS$ Qb.,BpnPpFLDPF踃6/٩ 2KoEl`"ei{!G}{O9~K7YM }f|"5P݄VC2F~^]0 ̖̾tQNd25i( ط QosӐC/⪝ENzPwT@-vn3%yLX+g/s&"b rPfڟE &~r$n!R9 ?e:#"pzNv{HyAt(I~`쁊ό競xJg S1'` =rVzͼ;jAߨ u=z#bsپP?_ˆuou q'F>39biA Dcn|܉֎Ӳ:$p݆̹ZrKNڌg.C7pPOT0~zK8D|൏SԪSWqn)X]gL+euH̅H*Ho/ /YUɣ"U&hEAND]ؐ95&إ=qw))w傲r2>П'j[|qb{\ VUv }a!@TF[hnjKXlYv{@-=JBWǽE.Ύ,^gYZ48fd9c9e6f87d03a4e9eac35e7d0a0265f578eb2b0eb6d493ef01916ef2418e3bb11c9efc956fdd3 d257fae31e53329cb529aae390c73d70f2360d07 511d012bbe1f011c9f4f65228783baa4a2c7bda7