SQLite format 3@ ._  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @@15ztDZ ]/ UHOL-Record_Benchmark:threads=6elapsed=148.975cpu=250.283gc=23.025(/ ]ps +wYv}@D( X P%}"qPaْ4FKϓ \sd0cJuXnhj=*((/ _pKuƞL~AEq pð|}[^TAN6}2Ld[{L$!mВn"d>(/UzԈ Pm ??bMQ )e){5%IH ќɳe{KHGnT/ o(7LN1 {)Tke<(D(6ih̉CXOedv2qcV~I?=! ReBJT}c,D1#f5H#eoP,~vٽ:[m#&tV_tTUCil8'ᣡ8/\<-%U*E}34Q&38u\ՂS [W$7T]}bG1X@J$P!(EC &4HX@rP3_Bhpap0A00! DhP :0<8,<80$ ,X߰o"gZ;vV E9*g5.j _&A6]>m6յLC5{ѺZBgs&6s#c!%IȲ>7rڐJ3qSTO|GXNu>I2[[U97㇏*ìDFr:tHtE<*r%՛H'%9Ιv:zձT1ʝ.SJe5F&sG!#uRQUjh"dۦuaH9}44cr6 dWFW+rգN#irčR.f;j&7\E3h-lF>Z\h<{'3ҽHD< HUC^a1"oSD4\Y4#8ޞ܅ zr '֦wlعTQm%[ [Jke4{2;5gR)#C)osrJLDmd;nٰ*ۘ^×v76RĖݘF36ǰ5M$ŌA+֔JB+# -D<]MTMq*KgwU(0Vt) SrIIoJVczd;Ұ]R5-d>֬,l85jL7I+(JxD\M;ywvUee%xȢub(h#I%reOBeRcy7HnmJ~X~[bf2GCU{Qewmx#6rQ&k3wz|е}c5]qe7ӻߙ1ls¬&S\i&MتglZ3O~}_9\]_r+[Wa;GEuUFR.WT^VkĶnEln\,q_DT1IYD&"ɺ+#|SҮHu!j++Xq|墱 Ty'!V}Od6}L5m__9l\WS(bq:B?5)^IeTj:#t)v;!G(y~BD+ N JNQj,36Fu8sUaUê\;m{,v @@ G0$``0€0Ca!! 1(Eb?E5wx~AـL)=k޶4ِ+UluvTW]KˢO;* 8Mqw0=bkn@Q9w%&S7{jb|4WUҽyuU^YxB$T`RcmʄaԼ6 \™m. v/\kLV@݁U 1^F-[) %x:@xަ…7QƂ=s%IFrJR@47mSwn7hoj/U΄3X&#KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jƯR{Vռʼ؊p2w(!*c^g>c1SL>v ykp&݂B@#@ FPq 4NI`%ɆC|`Y/:t&w3U@֭:Wy3Ǣ [Z65]UT-65-6W<?őLΔ6x$aJ4Pt>=ǒ â2- O7"m~gIUZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmar    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents   CF;ԃ;(5 PYw(@P2ZԀ2h! zhCzѺE CFJ C"5&w(5 1ZwPj@2PO*Vbĩ/>P $Cp-9AqKiLũAKQ'H=0r?PxIL,qҦ@K`Q߫ {I8?.tH GգA- $Ac,(sH%4Tܟ_=Zɐҵ ~Q|DPA?DIP G{rS+PmR "WfX .p~F8=B4\O_+:RMEQao5QB#wY~ґ4 h`Lt ~bNdgnP<_؆N"B#C2 <yЭTFzu(K>)Ʒ&>Ct0{S~#xI2sC},-I`s0O@&Cr;`R3`oWyO^>~$0MTHczB2襀` P/c1js9gc1ƘƘRJ)QJ9B% (1m۶mv۶mn۶mm۶mm۶mm۶m۶ݶm۶۶mv۶mn۶mm۶mm۶mm۶v{novnvnv{? U40DX04<@$"E1:; P, 8(F l8BA9(@(( $ 4,"  8" "<($DLS (0PD,c1  cJIRJ*+ZVJM`Ce !c ȈBhO60@(s [@X̚D4s4S--{s]HotciMD`JS.G1HșOyoEC('Ȍ>wINy߮un슏7Lj`(gAND:^$ Z;AAfN K(8\$4j&g} rb^eB-{ 5()Y7J1?@ppg$@^LnQ(L]#rV& 5!E z L.A%MQo CE?Qc*(,Ve{X{pX;-jP1 P͂*Nr 2E`(X'%BH) 9w6oKH뫺A,E#%( ^[Jf.A]`HPlv٫B{KN7YˍιX tÕ: IQ1;bA wįArUI<m.R/}p$FcLa T̾U 8C2˞@+g?ja C';C,SgR%L3 S[(Cr 8TO~i 6eeWC Lk_Er.{W,j(r,Ql/@_ag),Gbq8~w:) Z@'h7K⪗;Rʰ:(Q.#NXKT/l#lw4D~Ks^`ҩ}v#PNWtxu'Z+GV׿ 7ц'9M@d s#Էg ZloF)uPvif~,=SCKT1Տr`Z(!k#k-q5fBjoǙN c#Zc^7滽` 5/bJE/-UrUr,1V/ϻ3Ć!QPi- g- 6*zK%1jʠWтsB!;.:> RP zES \'!Aaq~8kМFIO(X=tm0iQ)AtTZVOĤӒRkPAUgm_5(<8'c'6pfJ?(v ^@he['=@BQ͙fCUF. ͜fDqůLΥuʌ3R_fSQ=!-舰7F=t g b@ivsj؏Mթu^i=w҆7_J[dǭ SW/Y܈['TpL,+<̱+ie%V!H* ֑#ݥk{H`;/# 9uˆ~~ys{g=_ ^fe<W:dYԭ%i0+7 ]Dj*O¤=A@XrQ+f}RQQP'Wy_:#xiNa=UἏyuQH<1sI WITf@]އ[1c F+L1Әr2V]Kc*sR0C(N7|f=Aphc-0KWД384cj c Zr;Bkm8uޓc': azuRfS:?'E$4 ˾}nx4KZUDHW>µ@hog{!֛NZ:dܲt,gR|š;h0<#}aK bgint(A2 >?96]BPbr" ¥HlE-wTFc; 0-D݇q ]N)vBCGT$RÓ7誳@&[ %痂3D$O=.v%5DeDt6O0H!; kPxC9MjݕhQ$>L*$c~-w?zS2.p1NMQًb=@;@EԹzZP3BewYJ8W?B$_@?\(Ҍa6 #<̰LuWb7hZ"x+A /=yE>*lYcb[iE50M00b"xYEN99̷CY@n;D{iJJڹ|ԙ>s!grj2CŽ"q*}hHK$ ,J#x,΂uڬk*h!%\bZ|%mԵ8e qҏ/SZ5 ӂ&iwQ1$D*yd'f˂ |]IohSY Eٝrny9TֳyGl&b;LɱJJoJ7`Muq3s`04۲Hg& ؉`7Zn3u;}TpPDE܂WPӄ=uVgQI,,8cu`I"XJ@A4yX\"LOa~^Gڅ0^u@nko@;*#&][%&TsSg7Ca`zѠw)@>HK2k8DN.4.I}M?+т#@1+(܂Ok`r`RE4Rl  ufqn7ڟɬ&j_y t dd9s̵ٛBA"r.L=QX-gL isDs䌮=uhW.dʫ+.W#u)bQɻ\/tdOQzȈU5ܳϓt gɅ2'KOpb 4Q թ;mįu7ؾy>"N_=6[@oHP8TZ|ls!ɋ$y #}0V́2ajslS!%0P@ b%`C6ضAm␘ ᛖvf+/팖 f+/(k! :l< XN`s`֞a\B "O.b!U1`z.4;Ņ/h -CxCqL 36ԞXb>2Cq$(C#w=d\0?& ۱[&iXj2>0!|̼И.e`gP cz*Cma*~ ??DrP۷Q*suXb:{jlc^ *>e`{q9(c:(Cmvڍ#*l Nb26QZ4+w0P;`{vN)C3dG-:&; l^0Q:zp@r(c!̢ *QoV!nD%:e`!!9T;BJlPy U*oYiXSv!! ǰoLcSj,t8EШ)k"5Ha6WADSHŢp\!SZUFj-< sыGQ"ȫZhp ZTh#!fk1gj78$mEİv: _`zݡh7? @QAkc 2_JRA6*V,d:2Jw D:hzeLi/&iCiQu(/2g{[bh.HMg$! ryH_zO_0 X0יQjN4t]&:wf0Ю_@if&Y瑵J9|u/fwjw2M{)szXUAh藊&WNE pI[O# `u:hdnIį3nAn5Z9E~&|Cad7e@s`˿M6"jt߾qJSg2|RQG< G!p<[^T #w!x(YH2"+:AW^}H`G}My &GK^( tj _}X,ŭOK^T_r ߰ O`tj _}f0ŖCˢ_T߃e_}Mol}tI_{,_G _Rfb'sOS/7ov'Fs)CҚJ"Ƞ܊` 2( >K _I2.@eؚ23fX.)Xga ȐV__.]c Lۗ%o||!ne*D.3Y2u)ɮ&}$6jZ &X# ݄ !RM7lUr)SJI=6ybw%N",dB2@L$ ` XҖ c'{i!^?щM*QgBHF r g-۠ӳvNɐY;HG@Y;- "nNPOm5FM# vDMП$dP$%ШݢZ=+5#HG?[dAmbB*LʤDD1IȪd=J2Q@U]TZ|iB:eAh!n[aeZi̤x+T I󩤖E=cG'H}y@դVH,nhי(U>'ݪR'iA k9Zn}n3H9LdI}SI +u=)}?Y$Ajl>"b<)>:Y*P1 I7|],ҧ7O0‡)qֵ0661`-aPHUQQՄZ‘Х&V˦.,Rk[:zx']ȡ SI$3bڣ܀8S,'u⿏q0;4u}AiF,9xiλ& NUёVSM_&UAY0k 4A+O;bQ{1LbO/ɍqsT#p?UFf[M;w&1Y ʢsAMnGXb;Ҍ^]*l|n~?&+.AY-x%3zwIC#{LVCY#aƯ.[yhDTxu0*EPa6"_]~=؊&F2=V6‘ok_}hdTsx+`b/}, =a%^w鍪qH \]2`Eom}@J-<+--Iv+xt[xIVǟp]s&h&X- X[m8hZR2bmQG6r, .VW5x |^nFdxiMO,.+Ši֖bIӕmj_ Vč`,H-uDnc;ӍK,-YQD[th#2LR,zdC'."MYgU܅¶. !Uo4 z3FM@܁:zU 6׫쩝g bMd'\b'$Wc0@ !@ Qc ̬03ca(A Č͢i}z"kEj{awfa9IAl`P ! B!(S jO6@Y^ϟT/G4x2>,jM3<ĈɏwE2O '?7mLJXh5Ѻ]hdYW%!RF"y%ZሗT%| 0ÕrzՉ{ˢ{% jIZm#յ׃Vm$p?J:$ٔoX.đFBDF{iopmJ}8ܳ Y= ܧ,NK\vNHQ -4iX(㼜N( yp) YDocFN"m=fssOH"sm>¶ 6y8S#A*rMٻd|=6cVE֊Q j=)k 6K|ǚdgXyhm#oX5Ř1.VMG+)lSE!b(˦cf=  ; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jƯR{Vռʼ؊p2w(!*c^g>c1SL>v ykp&݂B@#@ FPq 4NI`%ɆC|`Y/:t&w3U@֭:Wy3Ǣ [Z65]UT-65-6W<?őLΔ6x$aJ4Pt>=ǒ â2- O7"m~gIUZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain d dY5W' "HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/al|!@ 9wAWAx.q[՝ M$VEQ00E C101"#战[x@P~Kx_0Ǹ`pƂ ݑػwmm̬̌E33VUaUaUUeVUVUDDD""EtLLP ffJDHD""B"BHUA$(I#Z߿G????}k_˾~YqT\nNnnsVڒ]cC[l-iY7,,3{3fVafVUEX]]]\WWVUD,Q D1@D# +V0355s4c4 fJS"5%BS"2%H "&"%"#"2,d]\-)%c} CD3ьhF4 ͆UêaհJX%V U*%"HI4&ױ) p9I HE(kE wmsmEUQ̄H0 h !??9Ld<OƓd<O^L^L^L^L^L6&dc1i19LZLZLZLVLVLI$c1ɘ<&c<&ɈɈɈɈɈ;#;#{d#H;Ҏ$::#H:#9r#9r{{=ᅬ;$d,EHyyyQdEFQdyDGyD%DX$FiDFdYDEdIDDD$9DC9D B)D B$$$D99DAdD7 yCސ7dCvfmkkfiygyeYf3gΜ9s~~~T||̟ɟɟW|MMKKIIIG~G~G^E^E^E<)O_~C>C>C]ٖ5b[lmѬtF/.h(SKTHe, 8(IP(00(@@0@6yrTLzn&w9kfauR9o;n)Ϊ:Zͬ]NʬTfmgƴq 2 7KܼaoDGbufɢxUz63uUMӥLn4 mlB&j23|6 S&3۶S9y㒨S-trFfJfw{r\<Kil .LN<$mlB.j23|6 S&3۶S9y\z.ٌrRed؂[NL]I;LݻC&t%\+8 ՕGiٕbaI*bW¥k r]9ʵL]6"w%_\l>JȢ\ݕna1(+R ̪]a HX|n2JPh>J0+^AWR^T HUѻ n51t%Ql2uJ YHzҕp`sTWrƦQgW_5?0XEF@,-Av%^Hڈ+1Ӑ+)r/SsWi躒5D,w>w%*L<=EٕRpM+YrӸ+JmUѕ"ė bɬ ef c."'uVbfj;j2,$*m; 5Sg;%-%e:k89Qzّ9ƨg.^f5ftf覎gj-|2W6{rS8ԳQM.̈́[Ίegmj-g>msD7uV'={Iֹe-'KqJgΜ34&uW2zOt8qd+z$ -5W' JHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*% &i̧@ I%%P$@@y"' =gyg˗xB )äB ) )"H1L)D ⍤)({qw?uwv{&JL:Xc:9eTU QkHc53U1I_7d$$.E(C*VLqw6n=fV&cfff&1FccjUUƫU "a lk$۶53Š͌Lrr[18` x9P8`@9J@a!p (`(H`@OP8`a]eck2ˬi$'ZNr[{R9^eVr/Kܺ[Vk~n/z[Rk^[7VW zK/.C4.k٫~]/뵂]şZ]j-ŬۚUZLnKQ*,ɸEڳN !bEiwlj .HFN|Iu6g KMl*).00TOLTw9&?BkڽGQ,qbG$CaxZ,R8z5H9ƢPBQ2QٯǪ?ލ!5&00 0}Ug8lqٲ?{U܀'Iz;pɩr%zawZ^2dƬ7ΫJPu:S˗/8 ;vcR Ӑg9T1Kx>V<_.q]wXS֪k٘&@ ^!n< 6pӐT2 dn̹TxUS Ɏm:iRK5$/ژ{JL ,7 6ӐV|jפEn̹T50 Ȏm:IuSK5.Ҙ{%˜q>S1$w&LkҢ7.u@9cecO=:\Im̿e@Ȍ );Z5irʜ1`ӧfCZr $_j2o ~ dcTr ɭB:kՠ4?$wB6dM#LK .x;4_@]2Y C20kDȟ^5PӔ=eZM(M7wBAH8hU:vxƺw?`VB޻BP|orZV~o?̋][BH܉2]NX̊]{CѣNK,jum.ƹ )ttųyXuZVSvcra k: |ubfDny%Exb[JdYy6e9>=;4X2%%H˺tC"b'-!<^̯WO& t~= n6PV5 6s5O|ظD K NN@ga(ȍ)6tEfwq>HxEYVKG\,%3=3`] Ա] 6Cri%{X[!> !}Y(5vH]} F0y En)|@"Aֱ0 ^*Q*@2bCo <"h! 6(ա1B]A~xuE0J(r/_o>Y{#$h5xn^ofNwhee]Cȅ3?H쐩#y6ĄP׹s8s.[plploW;L`"91c`U Do0b0ήM@% +Nmiz'9ܬ4Q}H, tέcXYR+԰\.}ga ɇKkHڿWcAM z+և)ݙ_ 0"C;`0)Vdh A/w]\j2T}qG%m/c׼P{\MtM#yϫA]) cP~>bL{aKW pQzbϷ;\5_q! n"hLj$r,E +o 9\xIN׭9/W&hfKN]ΗhM\qXx@"hy;ڗtB<Zt+r`l7UfCZoxW<)^+1څ>Mas}Le4iLKE9d 1Lԣ)M\RD@-hpIz1=թׇ:`S?Oo~+3Z]AvWYviҐ7zG<ᔇ&T1K֢+er` <E pbֳ;.aQC{~ëؿ2"~@tSA)DpM?aӄzOS-3gQ~^}>w lUXJ`gG骴WJ\sY*D[FDQ+2#aPtW K$j $SDGw5Ό NUrlI\ hj?N׺:Z`Q}Ηv*e%;zCњba<'9R,u,7u?UC1Vxc:%)kRTF;6;F`;e n6;7Es5h=wwrrs>n4ھ^6]Ca3 ~PlRLЯ(H8x 5F(;HЙ Kec]ip{9zBƚn8`nC0; )e $fs)ꮡtZu W7 u,7OBaoԄ|KV% /^}tHQeb%H.e]oXXG 5sY˷_@3 n\Wd9d} [CP*Xo!ftH.|(**@#Qrh0mym]4M_9ͻpнbPP7 m0D3E<X5ިENST O9dpNm1Нm$w\Э:P7 pۤ@6Ex>p8ߔ]W/1*/__X!C &.H-GKQf9ਡsU` ó }ӆT 0ftUnnķ*E_ mœ7 ArY.M7ӂdػu|`kW\N3eWR"k;%ŧ/șCrGM: PA#V A؛T!>1=qcj!if酫7$d4\La4!0[,veKQE!{.װ|w)M?=rVQt6raoʮTݫ”ηn/, D<[n ]+/{Sk#"HO9.C4|ra!¸PjXf| -4lf 'Z.-Eu}{Ws4uS:=APOZKi_1^r%ox r7D(eEl IP9L3r\#p{=@~qs NHDah IS51}*p~-$xʦJ K0uz,8;βZC6 ֟kh˖!C IgϜ3$x^"L.pԯ xOB ڪm}ǰX\rS4^Ȓ:k֐Kx-sri<n,s{ Dӭw-hnҍWQMe_MnKgWNͯ1d'KY3M.6霧Y/F3*MZ4-aΥק!WM~v@/j 3ew%H%PyոtU,mtפ!pw 3"b:~''ӵ)+ZM[{f=+AF5sux5|:=l}( tݰKcJz[-ȱ)K[DU+&"NJS`֐<&ĺmY˽ߛd Tpm2ƻ-u?kjɵ4›K'׷s,ovS%@a%=[yC9m{si(| bEC^jHt;+ߟ' je_AS`y$5|Ox"Kkph ߨ'&.qj q` O,D/M;ul tT 6_S-ۢG:2ŷV(%4.K+C, A^ED:m34{7`]'&8ER !d6^J%ZϧsCW< &6I^ T70`E8]7srwx`xx,6jSI]yttP'ȃ'Z@mM?Xu=3ǟ,] !:Թbiu>i>}1C` y1~[Dbjh hS1-frM8 J@tʴ-kZcujW$ce)a r%A[ͥNmZ70LJ0.rv H>KNKzY:K;]AϤK{u,RбC3.'0ьm1l0lVx@\mm3I=hCj(}e}\q[9J<3lorv܅kjvtOn*Dž7F"m_Dg gVnVn6n``@2O>Mnr`p"%DAщ`@_3"Z%DϴDVD"`(p X 4,x@A `(>>җ/}G?я~~믿~~~_'>O/O>/| _~|=w܁$\. K$a0I$L&Ԧ6RUjZVUhFQhFDh"3,fX*** &hfffffffffjjZjir!K,Y$IP"8#8"kh6hJZ"+"aa$UbJJ*((&h&"jZjZjr!,Ydɍ[%DϴDVD"i=Y7 UBLKdE$(n=Y *VUbHHHhfff&fb&fb&fb6ڶjZj$H"r!,YT"E(B#oʹDVD"UBLKdE$bzzzzzzzzzzzzzzzzzzzzzzzzzzzz~~ͨt&v~@"@H`{  m u#Q=)PTEa@)mXit[j)YQSG>r@: գ_>e |WL6TӮ<ڕҪq^)0(fJZ*PKaX;=o5S}$Ub7ԐRM zxEӨElPEOx 漢MiRtկWM3`lKٙg˓A.OSU]% PLS¼T% 1{g(r:{e42bfTUbY V +t3S6_yJi1O) 7G%-i*2mWB7V^;b3kwWͩT'{ yXjq,#]|l;jW FP– 9*JSxeon*y9m!Dlr!F Jaz0] T) hBMh'a v7@2 =7 L~ƦZle JQ:d&z%VUܢ {]ƦX E(jk"h\ȕPr;Y5ZFj>^9Vfs9@4yo&u|[M B^$]ݕV "Fz,Ŧxߨڭ6jߩ]IJ+IzKaZlT~Kl%MJUP] >h)+FYk]^hZU+R}7xu(ki}KRk*I6% a(JT2Uo!Z+4 lS W\%P70lNzߖ)wC k%[gtIqMq3U燡~}+*`C׿<)A?9fYNjڄg1ozzg}=P۪Yޚe鬆2uNk.9}1+BGyD!qz;xD'{6g s_ts7{ݼ\^zs}>y_{zsO{n^>s=𹯟{{;.6R7vs>w{\͵|Z~s~w>?i;}\lzcf "`.*+na^9{U.Nwb&6SY3['Uqܺ%ϭ誶dm^k=7BUZ .*뱞x-o+Fyd(uٝ8Yo|֜1A1N>cTejG^x*\ ΋4uZ3|S ekMKФ Q|q7u2ӣ2($In@<#PO3Gb |~}66lJ+dE""l"[leMelMɶقlA [bbتh)Z&ډv} 5[ccl1VqRbbX[[[lvlm-b[l!C|-bj(L&۪V UUUUUEDDDDDDDDDlff3f6+ڵk۵kג$I 尊h%C[(BْlDDDxZPE"諈h%E(CiAӶUJTUE~_ibyRK-T_%I$I "B E"`#sDDDD4C3433333333L/#"""""""R߶m[U-E./*oYh_I*j˙m۶m۶m\ʭ\9reʕEm[9ڸq"軭,"i+$I$IrH8""∈}U=lmUi7 TUUUUUUUUU ̄L۶m۶m I$I s*!hɉDӦUP[RDxڤjjKOTm-D&υ6-D&E?CmI)*vs ahÈAC @H!p*ӭ>_ө ?,%VMpv&NZyJn!@:;9!NJ')C*;P'65)Kp>̊YNK'\uYei| &lo$l4d8 I8ᦼyH t%UJ}/V"v+gxbkGd 犬 |g6cspO1|zS&!>L>vUA?R9,ȵ ]*b/ϓ}{6=%fÐ[U}$ C'Ndlp;6x:cێfA)},5ټ|Y;&}C 掽=핐ۣJUC' sݔjJDـp}=lMVq ʤRs2OlR.f8M2'vTO۲"K&sfJ}Ok,B<|.c)VbH?ុNJGE(MټۼHЄ!fȍFJ2 HOg$_6zg[ 4Ɛx($(C"`}Icԉ5iԺ$"da C%)=N,hKnnӭ:lFy)dh4 M s4Yp h lJqKORuS@(*T:~j4ZI# rҨ4o5BэSVJJXu-ږ(|**ۉ )rky5RGR}5/[R~d%EP*3}w,OC@/Ϳ)!AMR֭$&uźTf0ml4aS3ȲY {0)IdOq ~&ճȈK'Dľ1'B@yU1d6헼wͳfr^Gf*欓ZW+CR3;t)z}7BSMb @9Uv~JԀM9S&\ϩq/-ij5!$eW U*e=5bIM٣){j-Ֆe5E_S~jʾP;c*yGRhɆh{iPvtt8ӑZd8 =qwfK^.=s&|zvUu9; gnӭOj= I.Oֈf֙#'B]2]'R~ӓKoGM>=wفfojqERR{U >Z*6ht.)>NOkQ!HTQ{G0X-RDNT Mh}v .*I ?;T`^2B-a҂VL DWOio"1?as`>3CJ2g)L&2,wSFǔakcXR)9KS2r/ۏ#3 ga>f3ϡLT̓:{U7DX^-%Dl4t s@g%cb^Ҵ%)vT5]>(%iZ•W$yzI%NtC +/-AI 2ø~Ɲl.!id:N-8Pm2K h~Y28.4tٵ!'@/ ^9 .Aucq,!t~r B&EdMY쨄w^1B 5eaGhxV5iXrZnbL=Fe]Oc׊Ai+)ɺhj\:W:eFRprQ{kJ0 5qԤ#b[pMJEK7YRVI[WNzJ/pVD{ur#C*A=xXз&^%$/44`P_QӾG'AI'f@@eH (o1)^n7NM9AT xҷHa)@I#ƥ'$E͵(:'#i9kMc NDj,yA_P8)pRgDȴh: Dd>nȯo ЇbLtBsStMKJ(ǫ/H`ԝ*Œ^^Y]`\ 1µk;IvB&X %m~ #I{Ƚ6Aw$|B^)Hi&igg،EZMAGsTWD6'o,^Q~Svۚ 񘿊w"8# `zӐ{m,jL4&-# @M",QByGs1Ikǁ-AL~>Z}@K* 0uT9I6?~WDb[ӑ44²gSx.Ɋ6m|HE&ipc Q=b6SkyY~< Q1Dvux[E`҄I. rDUJ/JQ6I#FS &Ą"WF:fF5u|¯7#fiCL\qO;:gZ)=g ݞnهxw|uuhpGV$E & BuWȟc2noHo}-|EYJ>W"FHeF )`&-Kj$f+=apOYK@]g/&q]"DģG&I:3ZLa4̧Cި-FO+yC<6U"?/9O& fAMmԢ"mf60lc&یf 6^aLnCp`6P#+ jcHA:@(qmtę6e12*m6T+GiZ3 mlAx}6e<3Hiɨl16Ʋ/l19.ˆWU6)$>1d#["r.l 5SlvlFhjll?Zl+6)0MXFзih^t6B 6^ h1lD$ќvDO4g:ߔ];J&^B:ӂ3EV#<ĎfFLFi mFl쟆+75S+PXsִo%wFB_3&>ꙢD@)?|Nqh "+iy,PaDz7PTS Ո;7[Ԃ1N I0_(LhSj< M 5~ :j5:@EQ?fP#~f j5"O#էبqiʝ(ifi iq} ڠϦ " 4^4 "i64[PLW^lNZgF3^4΁R_(Lf } ?C u>ISwD|z+w3D D+dD]ʠ5)!nYɳUmj&"4OZ׎ |›W$$Z2eIhτ=R(y PgiCLz>0ʃA+lIZˮ![&pß@bg%E{,qY)|Q6jzB6ԯm{Q+)>Ͼ;^rjKqY.ߨW U5Ө@ImiQC1ط'O,ײE6J ]|1vR<ZY%XG*s'z&ˉT+2Pey~yd/>dX+3 O>DaUHH#ۤXԋC`К4 β޵aHiUg!$ n5{&kUzՃFQN=*./2򰪔f3&?bImF\?s4_z*MA61O$塯ui^Sކ8olas#@:|\¦cg.N6F2k8'5"_k:&f$S5RNj6vMLJ};w2e\X:D4pMf̬U=y 0oٯcd3kbMۤ*y g5fL,emB V$ fw(O(BV1jMC'{jF|hrL]yN60(E:<]&)ײ*R`hQ'(px?83\+:܍< VkނS"$(OU²=SIbc2\ds `Ta˲n~'W4a*saDi&6o e¶*4PYK5p+ WlCdܱ)o:'y*)_0ɲM* sL&;71 ]7m)0Mumj )g?l.EN_NE1䩤{[vl ] 8uv&N 8BZ Aͧ*t4-0WI#HT F @1ˀ5<3"P-fAK4#Y45fbz^h,.M skPnq =1&z4Y"/L kϙh% ~˜Bo&J 5P QB)lU $n`^0}[O5l}'̒yµ%iRIg]Hzٙ KvháKen'Hv\FWʳX)7DKyWC+ųXQ0edY pS::Se2 ڈ>kzR$Bz>Q[ I/LK!aAQ(bDguቻ trIJ3neT„؅!}n !6vPu.aZ=t'h?a0 eROMᐔ:9xUkR%(~,TM"'.>eh1&2ҭ!IySIL0KW!SH~@XYMu HbG`A"$iU&Ķ(%S[HWWF {8:BuQHD$o:Ygu\B 0(0rAy7T3%h\ "Gs, HIxp#|I2ӱ#(O8/ЦL&!C@rkUd.73@5 ԽV IQAa6-OnH6K' O:z h*1j*-+~/An2ڊS(^Kse\31ؒ.tR)Րe4MnVVJw˟w$5* 3={g dR/Jq.UmyO ˤ[}05c4w}&7|F.>7cM2MH QoQ+t㢨8%ǀ0\9hɳ+~jX)3RUh9QinKGrQITRREo7㲉V$Sʓr&K1A%%)<#,CΧTuG4L •M*6x'omHd '&%F-IB}t1,$'z+ydH!͒tljJ5Դ4i_[\FHw%>!Xz?O$f׼͠-V[ 4jҦ;=+z$gM鞒YƾuO]hO0Jc{r;N%Dln I&X=CsFmVi6k:rFQnsaGHԿĉ$Y9oPO K"'w3h$Bv> (ɪ~qP^Uɽ`$N'Ys\OfO'(d*mA.pdC&V]Av $sήXln &찠399J59% 8J<U heo{*!ޑß 1S3LR<@ΜE71wB3㪘\NȎǨ8nfJ 6DN)( Nfct6=}7ǰ]\EJ4E-1{_{'!_iحbJY/xOJ,F\2I>.eOy0͊TeS4cN,t_ `MA#%K+k&;% Ҹ~":B3#"0 0 0 0 0 (Ge1C!cBDD ̌!2/)8!:3c$!f"6aǐȋI3!̌^esB(XY A@ Hp`@mA$Iffff&I4ƌ%IW1K$I$I$i0cH$I$i۶m۶mI$IH$I$I$I$I$I$I$I$I$I$I$I$I$I$I$I$I$IR M(D!cF2 ÌBDGH#(dFʦA!cB6c1yQ7i Y~T6%! M$Pm۶m32"?*RÌ뺮 !뮫u]Uu]u]Uׅ!뺮 !꺮뺮뺮m۶m۶m6gm۶m۶m۶m۶m۶m۶m۶mmmm۶m۶m۶m۶m۶m۶m۶m۶m 0P@@)`P`3H  h0aAq D8p`ADdW_UUWu]u]g![u]W]u]w5s4O,SH@B`  v,,   $$ äWD@%:SP̰>j>{Н-͋1t];!NҸ9k7%DHH%Zi"$- Hn@zÊYBJEpVGQ bEsQH躆Zu*#oO4_z6 {"dŪG5,R VMgGH1!}z#D4.Nb -# O!!v2əJ0T[E3 ̈́0#{KR UN*Haѡ tab>H)#d ]Mgl U?xw]ʈ.M„K/$S౷ډ Ng@}3 )2]f'F4$5Bi@H0<7@9\! J!-34$UIQnMK}=\2U3IĐFX`=m4; ,tiA2x{ӚX|e1Ӹ% wA`A"AQvxFҹ`[=A=Az~Ջ,l^P@EFPGcZ@[SS0iUE|V {y*WM; ɪtHHQ+]j\=ʤ}"muPS$ˀgʢbTLɍ5¯#f[)y F$|Zz涕 EF>8h(eL|z +UjYZVN&'m)?6]j~J#B+ mDEeQ&"_ VJ|)DŽl"Kd57) JP5auOMqP(ݲUiXI 1:N)UV*:nrSv0P`9k|2*zܾ\Y OPq}8P羶`S*ܔeJLuUj*@o,j)攊6̟TVp.peb9b}t0-?UJ19RRS聪AzRo3I PaVN(*y/e(8TTk*-%_[1"u8QR+ JF54mZ}P[|U5Z)K E4~]wQ#;deꎲtvYu5rM#pM&jB['Cq0o5-gxUU|~GX|e-Ϻ6,IY7oq~*DԤ;+#sW͌ІR)vp@g总!lcOh\LW4jdxui>%X9 }_̲%0X7kEsǬ|{Bg%) 8r>U~PބVΆس|"$ CrIgmcv(dq,äL;#83ޞ#<< !rJ|$;璵F 4}~>llңOhËPozC.2HqjhϏEr@y5HKRxz, eْ;Q$ڞOg!VVY&v:8MWI8jjTz!IICp:p 7jQ%?dD:ceX!VIz]$tB  x_e P !fVS߉o&1bZߊtU[⼈K_ 00B;XCzU~TiH^ʣ{AmřGѨp/ c"ӛZVL0+AhJ[}%\%FҮ&SBң"fHYU*5x4;gǷx˥";"m}byS vyrZuүxb"T # 5ӒԟR7 ƌD>Ϲ|iQfI*:aUd:c|ǹ IjQ[^mBסyx-:m<[-I/gٿQAe>39;R%)Ɏ-7l#Ͼd*n Bޯ$聕u}$Z+V M@$MɫHYFQCt$wWwnjPF5)v?NKae0G%@N?kHߢ0qcσnpt)45d˸/닝ZUPe{ t"AÒ@:[Sf$QKiBoq0MTڝ`O,IVzI@)*#RQ&g-䍴ii)(;0mc„2ߟpVC'4tL녊zB[i@iG[e?8IqY%ŧD0NR0!'=D~˱Zo( p6XN$vg\Ӯ."Nh6eE}FR륳B\i`D%Nch)SU^I\I⧽\4jG"-PIWWpKj+yQhP+:(ȫwVH3'}rfE=mj `xD)Z'd.$K(ۈtIhr4J]JxŮ9ZVŽڸUqpJU՛!\)~ 9N$PqRPpO6nۦ/p{y`̬1rCr EoFHo ] (np%1)B2qTMȁ{.bCJCi'ȭ6"6s_fB 5RstT77+$YI_WeV&iLl%0$I޿L/Ӓs.)}W^A=șe%sc\-5*_&](P)~"o D 8IZJL[&] ^b\{%|]P0j,5B,Iɖ*% .#"RefLFV2<2J\~4|bnixFqj|W1m=U_7"X@R̺)PNG@ (ޔ6zGpu$zѩ{RۈxJ^>FDǪ/N\1V { kuPz(]}FBFuk`ufZUʾĔ~Ӕ%U'U$*U8vyd5r#CoS*nhU+%U.%\E[NK<)06h}B !P)DDB!l@BB6 8@$M$UmUUUZնm۶mG$IHDDHDh3m۶m6V$PZhDdoߒD3DQՖ$nm?VIKLET%:#"#%6mNDD4's$$zz:h|>jIwKJUTIUUk۵k׎II$ɉdHD4D33̈lQ -m nܶ _4iF*A,mb4 H 4Hʀ3"jfjffjffjfDD*"RT"ݺmݺmݺm4`UK͈lU-I4#=0TUu뭔h{{ݖ㨴FH JAr(I `\\T$ 0\ @@B ^jSkF6 KɉBԎ{b 8笯-< UEމN2MKF Յ(8tWLu R 0f)1c!6J.mjj-»ncR1K`҇YW,P)fdY|`%`~8 $ 08Qh#KΫmPh0;26ʊ3&N %yCYtT96ϋ2ðٽ#yTu)%;TxO=95hh񙦅h858d Ztl8e_+63{_ *=G@DQ=KxWiBkj42`.*6]e[DfuvaoK)GILW5>M|tUP\w bQD_#+Yj\c+Jk+7^N^ mÊ:pbg_F|g++r"y1@!vaQk)^0brԨ'TÓA>Rwg!~1? RftZ| KDs*@ P_ U [r 7UPn"jdB z) (z'r7L%=ټj-JF;8QMΣz>* (FUv X(@<] hno(x("^c"@,8,)8Ds!+?9jbH=l ]Z7kQ &38"읊pi s2N3FlO5%Q@e)^ , tx ,yU13Myxd`QU@\R&s *eۍ=X ;JEr?jGa'Pxe4@G߬ O W?|yk_ (+mG\W *nރg#GV?Տ]"7Qoq`:\wj\[~,I?ҏq#G?@ ȊD?'ÎS1s|QʮV$saZGJkE*8?>*Ņ%k~`I%Y4CNh~Z  +V\~|A\Y~jѐPSIP}D,@jshX/@C!>J~KTD=[QJ^Oq![?iD7ZE`G v1jR# ,~X֙69]DD ϞK@A bP9gRtMǡKvGɝGi;๺*g>jnhX^DWeRn?T"$*^0e t$c+`g!1pӵt]~rsl`x}V(aO`d!vլ*u`U#~*4-KE⻖F=5ۧ?F邋*RD!VUme(jh7&}p4OU9j~fyejk(/4~j%c:E>=b%e9#ǀRm;ͪ\ɅlxԖ |5\zosmo7C^?ke}04ra (mv^fAU"yZS\1Q%R:p%`zQeF\L]f`x"b;]7<3giFj; =fpsN:N([i$Y{M!惊t;e5{?#hܟj̕jYOhI袖 Ku?ٴh]]Um*\s/^Æ((%lC>و!^ٓ%A_Oҗ KNQ'1G1}`'WyX,.>ƪsA=.V%c~[Dv hPh+e8. tuZ.},Y7cr!oLVMu&e3efe$iGZ}wJ׃)E1K)cܢ:j OY$\d +4yxIzܨٴ%x |u[JսxWo$@9,Ք!3-$leƢJRxL݀x52 "FoݒW26$ }dh>ዧ*`S{!n|Ek;1+]N[[fof&ά?IZ@^C!kmڕD<ǃ-h+ЎIli+hܗnAG}4Ot "ܙ] jY~ XiE\=[]6 f  c@B-sSG|?o" eaQÛ^~WO@ pj7)6E78-}]0_V~ut]ɲ۩qUS}DZ@QɇI6s pLՃ$'q .O:1gcIyO 5gK/.s TEǛ51?#ɚ uk%r[!oy11V~w( ,l5̤GPv8D8b,/ֿÈVL>,7 4LŘ8Z1bwڜatզrT/0@vX?PvKzXVdR\P.LƝn(@Lb0EĪ(W ÇD0'KSQ!R&dپOfKXqј56< |dC7U?›MZev_i>=5tşg0Q=^QF\f 4RWI8v6SV\sPU`P'yQ82ZjLzG1ĂjC>8-)|H;YQVeod22(^fHN:@mZ!\t"ɑQ伝ԡ5dOܞV /@eWHN|BDC+>b=㭠#2)5sF0k+yt,:cFֺ#%Q%!CI_NC3 VSo0u+91{+t@|nN{=×6H^ڌ 3m[O.:^+DO$O=r h#"X}x '9 5)q+PDO4%`jP*B| `bZRsoi GHބTYJqrjQ\Y5p!v>GkqT#TQJNf(J6o4O$f[B6nmM*f86/n3 r>YCņDvCl@ĆY!ÆDC rNߓ 9GFC(_Ce;$:;2$d8c5$H ~t gҴ 38U߭!S֐8>;5D5.v!Iۍ8 dXt D2Fxj(c1U|2,6wU{FXT1G qNj*!+~!ri*ϛr/1]aJ^e,J!AB186U٠̼1YCkLeYK=.d{Up h'lJym!Enb YŤz ș&NE഍\^= s<®a ;i?GїPdu_m%VIHv3.4m@\5Ycti]<;R@fQxh&7]#U4i+rǫxz P?SCJ` u=G@@<:0Q;in~S0#=.BT䯈:F2$\d$Muc:⹞d!U`9(X 6p<ƎɘےwY◦U_$D2WE0 qn$9Fr!'\jeZB;+*I V<&~ԍ ^Ro@O#39Jo <ywWU<Drp4iOWuGkj[|pv_+쳪C)72Uky{zÒXybK$)wXyx謤y/IQ*|ZǰPν{rlDaM@aHnu`/5!$틁$ (K)3}Ю(]2ȾcWXLAaeB0ysWu\}=Q;hhZsupp[6U ЖdU-vPKMժVUUI Qʹ$B>EҲmٶlٖ""ED(BFIn۶m۶m۶?"#NDĐEL}}}]____W[m%"RR1u?M1Dd+B1C[GLDLDDUD1!ӘƴBvL+BnO v&im/x{[oooo[h!x'x ނE'8!""+*@݄@k! !)Ba& Ui۶l۶"YEVU""HEd! J JIնDHRU"δ#BnfZ /hsH QCQ,0($ A#@ B"0wr`{-!e8|NBsxLKwS+Reh ohlEXKB6r&#'"ߚs"Ͽk'vanx9c.c#vCq6k}֊y7mz+r|>׵[21xh' ؃д2 p䙠6p1PekpWցӯ$9Ѝl4{UTڟ֛zKKw; Hٸ#;m~$ Ԏ(@d $I'$U`$J`S ]LeYD{m!$bcu&R :X&ԮׇD@>L]/@r@ ^P 9Pb[P4W[?!i>ㅢ;]( `A ʨJpFU<$բn`DLo*p)CTa@mWң%Գ4P"OF>}K(D+%UAN 33 cfW̚v|֠ 6v}8̄"J(MWT g9kW6Kp`';J_BFa LY( fMW=KJhZMP/̊RNW`f'0 ܀(i] ҄ƪ98TIް[z1JBI(sp@E i,m2: $8!Hc(\,H^6Z*E9A{*PQ6ʸ`KsVSʪ ~ӁFU?$lKdp1y0xؑ=,e^F^>]{o(!5 teeO*Zyy r ?W0erQ+Bhq,RGt)=U!5 f9bH͚@* 9n_'>dՖf>xnIOY_rF5oehcS-“m_ZQ7^oX=pSն"ꜿS!Y^jɜM6 $" fD:D[2]EWFUb(PLJR}L]Wn ˋЫ)KdR-Du%D徆9s 7 Zs-n"Z(@)r{{4TE^b QKk~$?@]ۯґHfΜxņI]R+/,9_L׵ ҊuXp_UyfUIJ UVI(HZ*@UxyTy9ȑy 2GqQK` ¢dZfɁz]X^:g] }., tD/oG3)J#NF:tQcpaPv|B'_ڕϮ_ҼC䪼5ShGAK7_Ha]]?눖^v.3UR|1vKNfAZo@LYWבQKtsy,>F Ȩ DPOTT#";G5YxwߢǼd?U7`7PG^ЯU3 VOD#[.ȧx/?઼mZCix]`4`[ CTc"5k3^ k[Y+M3oWO-FHt+w/k[ͅUW9nj,^U?yj`f?T)4Ul8m1Sż FylK I{5> {(n#J,Ȑě]'N<^K`<[%SYN T3YHC I=P=BP&YIj,+}Y#b,󗒽[K5 Tz'Ly1rQˑ=踄A#Em2u]4 >c+zsƷA.#^Re%ZzU 0t45Umm)Hva eLDUWKo9W}7)\_a2mME\/ߝ꨹;A5S4Zݓiu"ask*58]ŋQ9#5^6pǷi9CVӚK#|[_;юvhZ֮kںkZkZkڹvkZVkZZ_k}^ky-嵼[{ko=kڳ=kZ֬5kZl;źX{?~k쟱c?ǝǝvgjf5YͬfV3hU*Zի^WUWUWDWDWDWDVDFAAd#qXPHppp̘jC#Q"""""""#%b)R6GefTY6͗WZ9r;*!!EHlDHmAv[fklm6[}>kgcccccmcQXXXXXXXXXXXXXXX{X{X{X{X{X[X[X[X[X{6kfmvY].kdm6YM&kooݾwnmݶvݮunM6ݦt{n=ܖV[y~~~۷}۷}۷}˷|ct ۍ%@CGs 51X` ``a!!a ` 0M:xem0Ԅm>[La--NkEop_#-zMϞ(œC~o1!Al~z܎b428<>=E 0qlVv `LF:$桱eX(6@#3cSZYkǖie d;N/CbOa1l[܎b428<>=E m?4]9.Л7fݸM[g}L%sB&r se>+9W*뺋e遬KR ?T}Е93j5D.YVw"rn rRX=^UFq_zV_붗yZKZTN׫;ocβnòX a6X07+) Ñgw[gNfyyd}vMʔP9=VrL3LlhVIW8ΈLeIlntp5)Um2fsܔ’{}=m{XSAZkn֥r*foe44,˖T Suir;.zvB8[kH/ԗ<]Y,O&'XNlÝ{@4.mt7M ]80O 1EB0W1,VHv3eh`X _\bsb[5NLnU.YL~-u"r+VOr=%B]`ڵz>/@>Wsz M0ܹAÿ}t56Iv̴ .ɼÜVa("YkK^Ҋ[[q3 k/oevE}+e>fg^Yș̎{ϕ"[H-sϱ,*3,mFMsyw9ͺpz[Et(eޢĽP{^=/+W%߲0zX^ya UڌP͎fXyFCóg`` 럭C3,|M3|#X6kj`7,2Il }6Z3T6l=c42,671ʙbب1T,c}F}6Y=eNiylE^#nV dXu,Y\"cg0,fjq6,,Saφ&ߗ-Qų"Eȋk |LKU<@U/-]ۺ3> H xNZT1N~"x;1&Ekc!vbMD ߩ;Rʡ ~AZNI&vD4]2r)ܠ1 r'AEKpVOL,Rt^bMyh㴰߁ 2lASzؐ .yAs)#ZbcKsrQI򭛰.{iZOo3+ f'*D֊Pݶe̳y%V"m56N<|  &\Ѝz-aw-,qmbKz(Ϝ"r9:T\<~ Nd]eWJE+pIt#xgw~l So\qb`F5Tg?"'2NYX lڿ>Nl1N#5$X*MCV073}1&.ӸwG8 __٤G%5J^YJ(Z/T ,Gv$0 rpu+uio0]Q|o !1 LڿceI~HQ >wCdd^6irO. ]O[[>De£oIFpT%@Xk_նWzI#E+cKS`<߿Kg}~g0mK{c';j @&_f12ܐb ~~w#5`OHVLc͔t39C[t hK3c"neAaΰQ@ъ{Itd)1cuK!n1~Y7A8IX`~d̡nȉ\a7P-۾Cȁ"震b M1"a O-nv ])^Q[0X(ܱ}B6RR>0#9|=zi3jnEX|k.4b1Tz4dXPJrCj8žI>2[EΤz:oM!3X]!)ZR^f2V;kWTaE+nScu+ 7y15.Ow*0n 0pR7$`p?"6:}1"5NҾN8C0&%:ÿS+ U}+6N&X;nU,WGjXB ( Z\i7݇ZA$m^"GXd 3GۅBCb "p ų8L%#C58xk߱G~HkȾߌ-0YrG. ]Oof}lٝ!3-]Qhi+ ^ jd *합\Q/3 9p4{atl%f5|Ot!6逆a|.D?Ng:m+sRCJClhcuϥetJ7CScvl%Q8H-MN6%E*{qt Kǫ+BJW/{ЯxÐ 0vnJLbR:*8897P%09[A&vDh\i-ƾuԙAABT٘Dtј17@7C+)Cʡ}ZSp!t_йƒ[Y F/GAT S(FXxίOd&hxST Ap-|3]6;B[`;)ګ^KͰ{%,St"y4vC=, 0k x$.0ʙYpjhNAܞεfw6?9k(x"%Ӊı8:xc!@3# BnjYg k=O"T| 姝=" jI㎨#S+&9ٸٹQum)Ukg,㼵jQl cr:2 ( WЯsgҏ" ըx8lյ_ tI6&N+.{bb7x#&;ytƙU۲J <9Y5xƪ*,vAO~2oDtfa}>_?yn8ôpp'46}`Bw4ӻ՗/z!ngOU|6i#KϤ36vWmϺk2FĦxԱov Rno:̌ĥQ@wSPm(F=}̺Cl3aΣ`M4ob gKs ^7>ixGHk섯:ڞud*=MЙK)uv}ہPߒb; ĭrj!>%J4*7gVOFOVݙh ƙ <gW`WLL6iKv;<gLDGRܵ5[]֥ہ2sQ10 O2PQ(HA'B/7X/472{DM[-\@s M$@;Խ^'b dI'.Y$s-d:3NIS7Nvց2LP9h-Z<Nm@ADSm6 $W&gvCPfb̓Xh0{'ur/ed5,10qN❣laMU<{tN> !'\,_ɌhnVY)3њ(gz r8\qmBJ(BmIX7ӛT)MtxruCWT=uPy+[96Ҵ>]Sm@Wۻ!Qh /Qjuwݰ@6 Jߪ'lݵpi xSrZl SO81)p`4oEQ @$XP=8A(UW ىqadBVr9HR!\ȅ\ȅBRH I! ! !Bc1c16jڬ6jڌ6*UW^ի檙h&fH&d"H&vk[æS,aeD1+*VT>~/E1?c^fְ!iH!i!;dr!gr!eHR!eȇ|ȇ|ȇ|H!9$$!!k.fю҄4!MH҄4!K$!IH$ ֆ 3Q(ԐB"W`B!` bA!!PࠁҥK.]z衇B~zғ'= / ~GGo}[֯~_Sԧ>~?Oҗ/0%u'tw'ZԆu+ݝ]UUݠ:55GE pBBwߗqfut+kfx7T ];#2O^G?wg,wWH",H00D(LqÁC`A,8@p!Ps'is$8 J(@B`8 #A0A  @  Ad8%f~(.{  0߮_5簧hR Bo1!Ok3,=?DrKe$g1I|2@×T#-N6$Л8<> W"Xr/ňD,*h ͩ2Z.@o-Bԙ}#j_WqQ8UPQjs1* hi\y3cWVUOGӲAa%沄˥S>\#!/A،ʮiS$g 07T[ }Q{e]#fCJ^c/IqYY/,0Fوc&fj߂` )E6E&q IקV:SƔi$)EMFo6ϙV8 ]DƬ , ޖ{3vYsL)YNGBQ;!p #^fJA$-ŵBƷ\' Az'In:|$8qX-~2H\"O5Tk՘D; Y%ώW#֣Х#$t贜XDԆ?Й7D"2=z7"XQ80gq ""ӮLGB"hy5CV:ЃtzqK!;yDzĨ\N""BoqG_(_DBQ|'z9jAM+COiկıO{W.JaQ#$CG}㯵buˑ$?U,QdC鏥Ϩ1!z5+YMS+11F]}ɔ,M"faVbNne!?/DAB8K@K̭K᳘#m;\9Ή\r=n%#ݧՕ xYZ?kN{ ͩ So;c=nBh.فy/w,tlD0gIƵ2g_ǙtMKL>31ֶҷV$.![caRv. ̐u\^U0D|106yaئ2軣eZ@3;H6a7w\<Ֆ q?Vp T\ctK ⇅C?FσIdw/N%&fe~U~2$ȷDXr/YKB]"yWH_'VQb3/)+̞]19mwYccoМgW4Gۮ&9=FnH< hf2'ɷ6DD1㬳•{E 1m҉dWc2蒞Ew;M[ ܜFubQm>5aټTNb+&9hy͞R߬Sn]E;ǫc %g%^ 5W# 0HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/wjd4*АF'cl?"vo$IHҲ%9*d+R+\Yk>to7j'P>#=B"BN:0fGwl1Ʒ(_FfVqTf6腝PVHCM$23C=TbcJ4<((h4FCq-} V+I0ckC'HL0.OFC)j(z)DE+(m۶m۶m۶m۶m۶m۶m۶%e5v(#|{Ask^NF\cj2>ؽ.#|{YF\cҝRkwBh;<8hD1y Lnf"("ƸVku'[<\o19?-_Z=.ߋyc$ٹAQ5kr_pAz(u!=siHLP/{s<{@HTJ d JX{42EQ'#18`@V)jCv^g„$L0.:%äR  =&N}D&7e(cIWs"Fԅ;K)ן{s3(,˲,˲,˲,˲,˲,˲,˲,ݿ\.1ƞd c=ڂ{_?m۶m۶m۶m۶mvRNwz2h(|Рp[ɸZ\1)!.@tx촏}Yz,n1# B}]2&!|EH J[-CT#kE4-$ƉH"`n7 遚j "|M" !{Vibg"B5t`αd$lVQͼTHV: EPw\:ңHCQAQ<7BɁ.GhǼd"9a &"3I jfNŸ4<&36sD$3@@H(jJPap0Q 0 B  @ P]KPŠ5>?cE iZ⃈X2dxwwwvgwwUQJݵwf욙ҴN]U]UYUUEgUsV$DODDDXIȄIHIDID- ʹlf&J&Y̐Ȍ b%ۖ*JI\D$d-AB( Ь! fA`( (Ր8@2Q "AA18,(0`$N!`p`( 6E$H`   E^ Eb $P A C!bQAbEDBCH0c33>h2mmm?ۿ {2^}^}"Cd !2fDAM!Q: 4g5(PENmlͶlgmS5vɶĶb&fffea 33LGDADDDDDDMOA~xJSdÙU[Wć0Ox8V*&3f/WhBf3R:WzZBf> n텕l&BeXTgYH5 |eUgL7j `+{.`kQYMf>7{X3zi =f/+>k{GnjjY~Uƶ6Cb=S͐h혅XMu:[Pdb֘,,¸aHBg"3,n<3bQbx+b6 L:a2(X)[\eE+'!b 񏇁um}2BZ~ۤɴGکJ/=LtKmCH(>,bI^z%p] @LvSǪTqSk )q?]"1UHxe?i&B5ןJ: ة1(i_;?8k0{\\2h ݣ.dWi.K-A%$"OGf}ڻ7rT jV$A$^@@]NkA`RlWR) aV¼-LT; HtxV>`[Pj=Xt21@dؗCz] 3&P ,ĪT c|#WNY"=c D4~$?( nzua~ -7Ҷ*GK; ܍v`kYRB"\e/ϠV߸ qMjf[[ I,nxc0oMA$FԜ8O>qQxu'UKSծM!i=vJ~@*ɒՐH Dm3%F $*;#>~},vnl5' 38dQ _htlCD)*E[^ WR' VOV6ϯi`fxH]. , 8]nQ<Oz|%MF|8R+4b (ɱE-־/JcLNIR"s+ hj̵ތF(J +u4qKCѭ85M"(eTihlbQj%vIl0yà *mB ܁_5>v!:Q)= ; ?2JP%{wev:A[{- STVUD8NR،+d@Tܧ' AZKݜ[(=x ڗ{DgRE+<]e&x=5S7!tpJSI,wGO f( rV/h B,yjNgœ3v r*\v8d=Ph.Ck*YW8S7\h3 _X[#`ѩT- ճ\fnOYcbr#+ֵU$F^ڋ\(_ .nFl[] u .VSƉj3`쥚ȹ!+W׭C'MEƮ\ EJ͆[?2D.zqh/3zزi JdG.nFA5˸_VBniֹmA2 bcFbNRvE(r1VKS>P%K0,4LJ`A `X@PNN5uBu&2a&+C $4!괘r􀖝}8@ ˶NM%]DdAi[&*3ֱBA1 ACbʑPC!b!D@!yWb '&RW(pe~ 5  蛅-9=yԢ89PFtBE.r8U}\{f8$KTl}9TYkR쳨7` ng.X)կF:!)2,|x0YPwG&yzE )cr{b&^ʣ`=$c$ HV-%V!H6 k;bF[G pOP)C_ sMJ/@vY!cG_ |+al44 763'G?n29R=eZv_ P\pnIzw #,>`&^oO8*N8JY.)5]*E X'D B;BK,"jCrV!eݝB$eʩR\) YL4ʠX6DTu tim(90)\ NW~ Sy%bɇ}m.YDŽ&MM7tUAEkK$&TT*Ug@?4@UA 0Xפٮ j:3mODbGvEC!L&~ 4,` &A\ ݚ̒%CWOIV'6Zp22dD]ONd>D12 (A%Вۉ[w(Af`EaaD*q@!G/ dLِ%E%=4w˂J@NY[AlT` B79lf: |v.oP b5 edӚ{}e ARHDL{M>:YǘgF|muh{;ałuT%2#|>0/0kbF"{.ydDjJhlkR@TXQ;qs%xprڗ^Fw"G$wʸ\fYV{" l" o 5W' NHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/2$[Jn'o6aw}+==[heLYrD=TfD$ITvSAz-4$9F4ŧf)W(,f"y DapH88qpQ|ʴ;YIHIj%B;Ĵ;5}r"tyxfugik .F1;+/N;zƕc/wW. s.1b(^>y;jƕc,^1tq .0p1SL.a"1x>L.FӋcE4f,^1tQ{| ,bٌb10.c#(x2FIE07#0FccDb\ s0AF0'8fFb#1` c1·F0ɸdÌAbq18F/V9p1{3cÊhEfxTVzF()gQ'gI3xL8{F*Cg2x 8tF+5Oϐce3x 89S(N4Ԋs(E3H8P48S*-OShE3ZJqT<*S+<#ΐe*ʼn3BZqV4kR<#hEg š3RlJqP4iF+QgJő2ZBqpTYF))ъgjřfhTVzF(,CU1|2o%"P#co(NSWny\/X'[M1a1qL,9:FY, U?E`kY\s̵hx}يk G%-pbD1JX4Ëb0^))Š#oLR&rV 9r )PR@| `0:)G."E9h6N8I{)$c"ڨb6 \2 apQ^\|c,Ũ7Xh+gs)OtF<7X$nË̢MfQ3=bs18&w| L!c\&f@Ad0F7e" Fh76m0 KN !Jab<Đ:#~'G d)ɳIm(<98Y'Q;:6g 7ڤvXޠ_3rUG~ *+%[\+'*3l˕U1!241琩3|yq_6zHf*pB^~d17'CwϪMqcO̥[ x#N$wњsK"Y֗d#;?5Ž0^ܰ Cuր/:I: wgl̴ќ'$ai]e_/2:j7S4eVb0bBkqdeaŐ8t#fr0>XJ́֌_Htmd B!-:}%#f"+UʴΖKH˺ P#tۮdzWl"7_f|AІgk4Uftv'MstPX"Xfp Rs()w(2 x_A_l{MhLXj*f,vڥat}Id=o5 a θ>^7]ÔM>T6ZߡI?MTm?'2 u47a GTQqbڮǢ8 N,mdL+XnRFyS01W&:]$I:h_J;s%+{VRbmX)yW*DkAtSͪa%`R] Ӄ66AHK0ka;m0;97(}yjVf;Hةu:8996xo}ݾwn}ݶvnmmݶvnmۿGGG???_e_e___ Eofooo~om/! @_A sQc^1/Ƙy̋<"cqƸ8ƀc;UW/:̋E>qqƴcZcX$g\91,.3Y+3].vLc+G "aqc80YT0Y<, Ed`x0X4-  Łbd``h0,2FŃl`Xd0, -L &E٢80Z,Lͽf"aq`80X0Y<, Ed`x0X4-2 Łbd```h0,2FEŃl`Xd0,-L &E٢`80Z,L f"aq`80YL0Y<, Ed`x0X4-  Łbd``h0,27{LFuäjn+*h j"ٚJ&QY=|w^bGUfά3KVҌt1hlO6f î0 hMVvU6!(WlhSm^^U)9Z;JU "Y /tJ]@i6N D*Y&Bړi; ~$2 gmr*fesL, 6V"(gws1 %{BABhn\05 E9x[pa8SFV,V&Ι0pk(tRBXykpCyXiVN`ݤ@Jj,ېd@q>ax񆚢ao(K7M8GX9,- B| ~9.zG-8+b6v,>cTf8=rl$"[;3[j> }=({AM9MAdFo(voOט'x3!UDkDX8-i0X%:^ߛcYŌVuƜNh𯲱r?iPl&6 sT+plW8 ɧR ?1 k,Y&[ؔXf]3kě.#OlW tz훀 :_'D\)>AQ=By`!Ʈ*o 7,w(C3'`x;vO6&_h<5gڃ"ؓho*Q bc_[ 2mLcl܉lQmGmZu%{[VdnJҷJ//`-$hʥM'B EiWD-RE] //iۦ y,C`bonaEn[+O^ޔn)|Xߺ[ȃdT*p+eH8[@^QrW) /(B&y *?OW0W!CbF, Vw<u;[ Li84N*Hf+%T@xU-J 7ݖ|,p(a!.*Tg}.7.c;{9$7Y [7v%yuoE:8 S TN*g1 c97ZU $6n1i.l&eUlnh{u?b[BMմEJˈuْU^D#bwm(v<ѷm#KE\wOJ]BʭM%Bwmlx)%g\%f\)|f johPGC[܏ir4uӌuq0$i‰Awjq[ nMŗlii؞}TɬU< Ȱ~.6~|&FHר:6$:Y3LBf`:Q-Q-o{6uv!v"O&mN!®"C pƚ~\G:<ޛF+ OaRͦt[j=]6Z*-\&-;o=R Xa5un}H_:dpQf"XĚ N7k>w%ht4%|\c"({KSYv, '?X Ϋ >Aϓ<$k!awċ6)\sc bBۑ@ "x&Ee 0l=Yӝ>%j[,8fȵSDcS?cPqL(lڨ>ǻ}{.[+0#LY;JPsJiw \8ԇ.xݳ?X?\CJ%j6 vA!}6V*XnŜau@QZ@ԍٕg^ ޚzlf`o5;DhZ>P'(T؞e76 ]'SYThռjl¨P , 陉EJ\icÊ0um;VV^r_ ïzGOjOg2tv,\YTҙD!'0mnbu#ᚅqYmm=mY $"xs%?w`~E< ?M@-k`7PEBȁq -7PL+<3q鍎d%"'TYE8LsQ,~̶ˬ qd }!DQMa^=!#fαYx:}8m>nZn@k)65H[qlyN=[I'E|yg8.hWNm 0mַUa}ؒ^nxC--̡@ȭ16 c^JK6;#X;L44%vQ8Hb#:zcs-Sg!^ αωmÉ1]eh"p%b.YX㣃Q9d4F-_u),NP0Muڶ,_ߦL mjPBZtM;ٮzԐNlR1O"30B UT dH~,o/ 24MLFfp>9ixUJe b:'QD 酱WeBw e#FLv# ^"_!7=H)/ОIi*' /ge $TyA+%^h͛]O،CTVMF8&rf0^ /Շ!5Ƅt#X2~l*̽4!t k = HU0N+ED_J!QXԊŰ]}Jfd Z)Iw *2LϲoQ.@l8 ]VcP|0# {?MXk#r Ruw@*O[ls#j fa^]ٶK)z.K]+6gulej/zʅ]YBl!ُvbiUFUskduV) F.DƐ7MR'T.o3oh֭dnug,N g#;G] &UIviZkZŲ3)Ud$B.4қcE£ٰ(yN`;`y͆p9 EqLŠR M a r'4% j~dsѹ⸳e%5".'i B|ᘓ%8~&`l5aLĠ[WD& }(f[Y/ k! \iA u@12 I2(KDf86+qQN/ y78 ZQ3|qANΑ]4q_˕Yk kJE$Fx )oSDFabԛoGګ]E$䁩7V xtV?4g@ U& ~CD;;tSHWhp'l 9y`{&q Oq)}g^ d$u3$^`Cq7AtHd,w#[IGpԁ@Ko1؜, hξVAoڙa1{+]xAW-O^) P0^S-c.`-F'o9^VcrXο cn1bߪt"R2`Ur{I<N |y(h n ~7f<H ?"R,v