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 ~~s5z6F ]/ UHOL-Record_Benchmark:threads=6elapsed=143.456cpu=236.498gc=20.139(/`3]bGp7Q ( pr)mdx,ͼsA BkqLj涞Q F-heO ]ri"-|#=4 lZ(aiNX(/ _Ks,|mbP LM };)(/{4  Pm ??bMQ )e)t~ j2"쏟hBx1m0KTqgK7sB专R(V%qT&\v2AǘÄF%,iXV+?“)ewsWD2 Qt&x-"iZSKl6+T,QZ!'X-lmF|}ǘ.~ܔ!NOSzwgRɍu! Jjyv_ThTbuyQՔ&:ײXUȌF4*HݹĦxwI:VLM A[C &4HX@#P[Bhpa ,a "HB E X`v{ ,H`h` Dh )44LP`j܈ETi+xdzd+39dܫɭiwZHSusDD= %XdM gst^R}"}ȇj#,V 6zg#YT-5 OV_)(΄*ǑGn=4:͜sEyakw㝏#1}"yNF$r:W]t"C71Ij⻼M'_ږ-wG'ΌBq߈ek|l7t#9|ݬ7.ImZ)ISꉻEԜnWB\ve)V864"{w6cGdRc❰sr$"fJf*Yi Մ&H~e; KF+˱qK.:X"1-%F!l̏>.:ReV#1/vbVC˜oDNtn~6oR#7nb=JĘƍ~~犏b'\<.8 :DǕWOK^G_PUK:rsI]WyΔ[L,b:3flsU-,CR<ZAGKxC'feco*ķZYzRSfv#SrÈV:MU_zjYRAtsbTdQ/1D#Ms;xDGAޏKf˩ͱGdx$1M**ɵ 2sc ިW\ UI&w#A~])FиAID^ϧJU1)Ջ&5yFF`5no˜er곕VܾPhlX4n%JԔ>r"B:RB؂/%fCv@ ^nY ]\ M>y+[_2[ýf"ݨһs-Jۊ<}XndiC_꼪L!MrQ9y7o.3\LeN@$p7(ŻXQx  5 HOL-Record_Benchmark; 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 =jb ; 3 qnt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d<4p^65*᪒15H ,G9WX)Ɵ)O9MMTN<ܚ93;05;p258kB&%ql8_ UƤS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben    _ 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#!fP:1WRh\Tuyb#D Ji%[ "54M6P#6dX C,Xofj[ //;?K`ZJ5{rĄ)wҚYF.~WiM RWؙvs Tę qdŒIs恹e? eyb'2[ U49hIO&zA֘]1su+qH< ~?K*b:* CW),hŦ[]l/ѾF~=4<&KB$iUcbZnFS 4VCImRZ|?DO\N;{Z{XN!^*做.G^wD=7x0ESK4yvg׬|Wrb;$=pwx">WOQnXăQzHN'^偲.G=_œ\?|IQmK>peg|G&; ?wx\9>jWO0z2ʈƄ sx^v8/%U'r׍xQ$;L~wKX2t WP_`9 2)@ þ"a7J*ydW ]aAƞC 2t*8Ȩ( 2h(*u^I { o2T4X  2+3ȠAzE^2)fAS`:E*\8دDX> CBfk9ȰHAFM%J^H c_a% J dW.a Þ4 ydSVA} 24 *rqQ_ €}dTwNZ / dP AF 2)*dSQA:h5dW$,fQCIP% +l8StAN%"0sa_A E@2+IraOM\dSVaA~Es4U;P]A=%C 2h*,qQhZ dPT Ct ? 3Ȩ$X Ci6d+:,dC P%dS T "`!uJjxw󋙘ɾμ>G>u'iCDynFYoȴɀ?ubhB$;&gVQGSF$NY#b!TVФ䬑, BдzֈUOњHk"*@id J>&Di^ q"–O;!S&e=k(ZGM"'AD]"P+}j2ϣP _"F'` ~h$ML5*Sb_AtTQ ĉBji6w z#{RNkpRBzN91pRBNϯ 4bVpª{"I6I] +IQښ EQJxI9/BjC. .I!.0i KrR |T5`tewwu@l0iF83 :Bł:d3фLJfga&p1ߤ-%mqu؍"<+\7&bVY +)З7zç$I 9}Q6;E FU4mv8+)i0M4)rtZ,("Fp҉^IX 2ZFMlDn y1q'F ڈE*a%*6fb#vj~ĕɨ#ʺ&a :HwB\lMA܉2iV00j-61wKikr/NꈰMzURK<>lF$!!,6o{wbI VM8P?aZ,|)¦,o;b#º6aUdK-QxP{Vl!D2iV0{xj*75ɻMڦb؏#uDYK۰UA`T IfLXT]?`B!Iޑ yt╂'(g{J_[BcNEn( RW[(%N42LޥՇּ]#"ܔ÷{K G]p pZk߮"C~7rhu)|FR~\öQW?ڷk2M2{VF+ύ2]ph]y[tnaA]qҴҼ]˥"ԃO7]ۮŒU7罼sL(zd>,:T=+?s&j Rdıkc| ~x՟c00%@L @ l!@ Uwd6cT!gv7j 4 A &{{$#DAp!n@ap@0 a8<1sYuOg'x$.g.Y9s[(,LeW6_TlK/1Ηh7-MoZ)ǒk%{޹I68;v"O'+p@_s^/aSnqc6H7ob[Ļb('{Ea\#"NXh%'ZxHhȷ6"L%,BER8c9C}9ݜ"rĶIM)1+ / Mmg%DNvQ9xPs/;)?/.rkϒ"V5d"x2[YF6upRn!i KM2Q -X$Rh!KM,D̈2  ; 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 =jb ; 3 qnt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d<4p^65*᪒15H ,G9WX)Ɵ)O9MMTN<ܚ93;05;p258kB&%ql8_ UƤS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain  z z{5W' fHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*j,% &i̧@ I%%P!2@@y,'q[t;/R&RHQeRH! M B)L)D Y )|!|x% ߸uwEtwgrgfSrfff78cr*1q}:33&5r1r$K$J$M /p]:w'swpl1Tcю11ƭ*)ꮪ9h&e&">35͌fhmǪmmös8` "a!!@ǁ#2BC@ (`(H`!qxÂ"Hx E Р  H @  Wկ~_WկTJRI*I%$TJRI*9%䔜SrJN)9%䔜S%[%[%[%[%[%[򒗼%/yK^򒗼%/ɒ,ɒ,Y,ɒ,ɒ,ɒ,)%RRJJI))%R#<#<#XE\eX!V] Sj1ItA ttr)6+Q<٥/l)Rː')[YdK* X$>/1GvKҧUuclZľMإrR[_A![~B! `B`X,+RVղpu䙕ZYkHԫ¦ m:)-@/P‚-\ +z0 }˓W`M.2¡/*2L/6 m%'-Hqq.zM/ɥZ-<QZ^5[ uIyI+`z&fi;T1nسeZqž(u"HkMzgg:Z$s-niqk Sٓ4"l0,IO]+ Gr rGa*!'|J=|xfmM;=k =~Pքa#d܈&c#CTރL wB UObOeUF7TmHAm Z1"CHEҟqwf'H0VЃ \vES+}ۘ9ⅼ ^U''Z4+ﴂ&0d6l3-SMAN>Bbw;C%0u;{ZM7$Mcr葦<:p;ZIߍnfAR483ӵCN#ix3 L1g i1ˣ㩕ݘf$Q\3=c<]1t8ZYƌ7?fp8*4n \VPٮ#d^Bv GUX\=݇z.Uۘ}dބ'oCǥpQJ*:"PFI.)w_uZYѿAٯ#lM>FUh\Ur BbAnH>5 ZtmwAd--]p TD>dvMIug vʙ\A:(\VS^uc}XvˣZk+ީˠyc*"/Nn,앧MSsm;U\w*u\nny?kS;4g_VS(0Ny=:uVr`UV[E}1lg>IezjH"q.~LGzmN*<(uͦzabRBtYN-yNT{x@Fv]-gM`ʶr}qkqDv68C;Ic}P#i1~0OZYd[/!k_&`4?~E13pIhaOM`P[+54 aIHf^e{^ekZe[V&o\c֏4 D !1,qN@Y$Q)@PCIfUS4BgV߷W۶mmBHG9{c+R"ޡSB(̪sRB(.rk2 C`21  @ aAC!DD\jomr`>h"! FZy#Mќ[n n,-!gשy)!E =?r@$&7p\PzDmBj!z|yCAi5JR Gazkchj靷cEaz$m㼐|aH!qy('C Jgٚ$?L!GE$GCN")KI׈kF(,VZ{a%l+%U{}U hdVM~:&_ C(TTZ,ut*܊I;BBdp!>GS#z%xعHĐйK86 r #=Olպc7PVDD\C^!T,2 gz=VutY?CE-c VpUЭu KM/j tSS d;!8 aJ} _`Prì F̬c,rB Nn{,DAGњ!JzB|a6JfFĜr, 2CG1.=]EDbTZ1(DŽGfL1X@TO;*0N ɩPoNZ:9j3w:lD&g8 ,:\P9O}}ᨊvϠ(p~{f3&'yf|\3ACWDك(s B̖U6]IB&Xia,} ǭG4  $re>r-ďXt>l,'D;N.6 遳wo@0rutlhP[4C?' ()ofiPED=ʣ2pdt./M].Ǡ*Mkx>\8,#T.pvzA f{ݾC?`F5Ԯ3řʬUTUŪjڰ(DD]D̰f,X33A635S"R""FR"gf[dɥ$9%DR<`w6;8f%UUjڪHUTmvֈJD3Ee"yf~ƌ̄XmD$.^EDL"{?f?c&@A0`A8Ph0ˁB ,`@A@`@$bH HP@BL   G?я~GGFohD#E,bK,K,D$"H!qCPB'N8q$$AdDA yCސ7 yCڐ6 iCڐE֐5d YCCvH!iHr!gr!eHR!eȇ|ȇ|!9$CƐ1;3333VU*UĦ.h(C=  KT  0 b΋A' f״M8bPbM-rr֘ƦTOby*drLn?.ٜ#XYNC,aiK怓,8uԬ.MNPt)nS&L,VLhL,LgLTN9PNOܔM%W-5E7K&4mtfAYU,Y{%ff2,q`gNOfЯ˝3ybEO'nknZrŎK2#`́2Sw31;s1/y>]3H? 9 c}V91%S_"RV4JZtdו@@LՕ~ɔ+1fRCWRe&xEgDu LH3!] *Rݛw%X+(v%_t4JJ4Į+hÔUWR2hWEg@W"&1LvO.#0 n)7J/h&JddҕHTؕI=\W 2yTWצ$SXEz# *Pt%^`@V v%R`obbו`SQJ+)mh+Q碃r+QxW$V]INLƧ]QՆ]ɬ۪.)E>κUyz8+9/yy h3Д? 6 ӭ0M,I%b$5V9ԋ s1'AK`3ؘvaJE)8 ɳ;7׮!xu~/ŀu\W KNq6>aݎ1XiF?"+S VRX*:ґ͎ZstW2[|U@LseFܱ{CP(5lf?hTgQHvHBqMz70e=VjϷhּrutv? Z=!􉪟҅ /mA(p5vd(?ZCMwwd'ઉ{6 F f7tbh?w!\"CCPn!Bְ75 \n٤ 1;*bWoqEvE6$X#j^;&ܨam ) +/xl\*sC @L;7`uJ71MKQHOĻ'J̰ ZPI*INzgVw-}M$uPp*f]ºJ0BP3 Cო5ԐXybm#!aB6 ર>jAƄkH+}mM0VD 9>RcCЇ*N8 &]z!a[z_~ކڈ]`0;*bWoևxEvM6XQ9 qC~0֬Z{t!R2BML[hT`M;RL`:EH};h -jswa\R=%C]Oة!nq!Bް5 [Qq z.q-lCؓE (A>+,Blr:QoޚL&oYH6be uQt 1Rq:yl'0y#{\%.2=T 1r {P6;p6toRv59QayL>7y(PpʀD食!A}!i[{o%  QL;ԝJ{:vƌ'\a#ޅypIe˥ u ՟bCluB\:u \qCf5(<BK[A>АkEٯbt!K *oO݅Ll^CBdO ެYHju&(:j &ROqNP`{.D&{s JK6KntuuHqgn36:--mhP%EiA0Tg݋]s 0+L idPC+Yʋ~ .3ZxC]ȯ&!H\vI`5ԋbC]I ԰";uEi#_'פ5p S"沬g9)Z BEB}]=k~X3?rB<^Ņ^CYCHiKЈ<=; tGH=A[]IQhyk`%6M[=F?DR(M{I+f،n otb 9Q;@4I 40Ě:a[ ГwlwM9)^%t}eV "v#:O5 5A`>7:d q#*/˓U9-ܞՖ`X`6l4xf{2?95*|.EF'@LR9!~(S[{n-aS2h{q7W/V8& :T2+Gϯ nO=FRכ-J:]kx>VmYN+eb}ĘVZCcɪ87Ok;.i3ɽ`~ )̳RMG㕊`&6_<0;&G?_:\鏎c@At%Vdy$s*֐6Ɋ87OM.`7dONukn-K(2-y#xn&9%0;V4pR*oIS 5qi"3V CnPnlh\6 EsN[¾@RmVX  6鬬 Z?L6<791Yq3:{,ۋTN!urԹ mV<N ߼PLjQEzWϵe＀WH{A:SyO"1WY>YO+)NiMXJ"Re@aM^/,?l}"&Pna)n$̹@!uh_`@Ҿʔw5r#GozیAc|?nҧu8:wМ( ׉FܯP r)æ +xc6%U65JX:VήiVX2ddC z[Fjm#F .W1CAw''si|* ? +];r­?ϋSo?bfwaO+Gdf'˦!Yt6+~KФMQOwpK*@XeoMp-;q5b.b6flmla0[-Vl%[Vl$FmlU6F(elmdFmdD6MdD!ۄl!۲-۲-aK6 M&aIX UAT !jDR`D2ZFhD;N9AJ)AJd`0 f1s31s̄H0 Y%!D&! B"A#VEBSDӏ>O[Z"9#"G| @ @0 (@` H @gOӟ/}K_я~ﯿ믿~~~/~O|'~_~O>?/| ?,s=qÁpM&\ ׄk4aMjZ֩ujZơqhơfh3 md:N{D%j۶-[lٲv!RH!R gygffDDDDDDDDJD*"*"("("ш~|>~~fM6d-XTEXK$gD䰰 aUUUUUUUUUUUETDEDDDDDDDD%*Q۶mٲe˖9B )BdL<3@&u;pN, Mh!`+I >? hgt8Dp:8}ck͔aÙ^JG )U FKPv o=1jPV jJB$6@߫l ꪕ`4jW:GW4Z7jV櫮ES^9jW󫎣jW]U̙WԞjiS\UWٙjSU̍j+] UڙjSNTͣe+\MՎjNMUS5+Uj)NMTSdW^TǣMu)_ JS5)^ TQ 5)NSLu+^6Mν;D'e8 XXXpI80;L_^MӞ o+nK0wJ4JFNn[hUr+v[M0gKE0UL+6Ke0۬rsSE4UCUvKe8YZytKtLNςq閲<&˃0!5I]:z,&VN hԐMxuS}7ԡHt5ݫ5NYgx57UU=k*.{*S^TQLp* d="(҂&}E) !4ryRPSAy 4U4$2 *3p]>H r9Hy[F$<.+;I@@[qbPNVUx[ڮ7ZJu)zUFѩTVUVe7ET5U*~TtWڪjt*UQҫVwJmUK7EQ~3J*PJN%U٬R+U*JU eipI0{Z54JJ7E^b,ځ#ܨ=$M)UVJ'2Dx)ԿT`RmaR;)b+ v0;ZZ-Q6nLP$[p"*ub%1 hfȜkgg+=vM>6jנg?<-ZcOjFf*q]ny.,w?sjʲ9mI) ɩ,PNTLTNAbV\&D ˌqHꩪ<vд'-\:vR#~*.Sbb  9 SP301S)I˩H˔L,LL(gAe*LLa*Db*n2%$Pq S#1SS1Y)ԜĤLp^0`*}nYYz;O%֧c30ŶR='5|k՗v  r KwJA˪u5W Nܴ3F (ډ+d%N9F:eMdCګ\qX0l}d]][ kΓ؋JeՉ{M^JVdڥ+J%؅NZ܈+baue&3D\/vrG]a%UA/Ă⌑:JAv`#ur1YL ȜBTXNEXDd*$Nab 's (ܦ+zI 'ô-m|v,ٵ 3 WJI˕4 ; ^쳋+q $JiJ&_^KYjB3KtSJ+R+R.!aEiFѳmdb'| dƚeOJ@.KRO /EpR/%~)b'R"|)Е;)A%;Bk_EhB[5ye62OMJ/ڥ`.OCh]?󄙭[lDS=jKVG:=R^z'a]D!2.z097?fwuNla,f ɔXZsN?Mu̴pMeiO\\Y4qs1LZzg]ul z-yI48v|Ι{铗b@;JbX $[ 3SZR`I,YlvI~o@n߶m؄Md dMdM8hMI&MBDMD4I4Inɠ%ohLl@ Kؤ2g?5t'#x scMUȸBW;$% Eޅ<`TґFQqM^)bؽU'"X]{ţ+]J"##Y*^? Z?lF/yhOihgsT&{/dIB% 1 RL󱲖@Ù%cj5UO Y/Ae"cڔ)OH{*?BCmٙԹFvyGP4QVLiB*G5@)m$n7ꬵ*Ԟ9t0xB f {&^=NDTi 4 eEb얔igϚ6A3·nU)O+Kg%;z~pXA 24׾᣶WH* x5TARYozQm[˼dZ?gbR3x7qKgUPS RrD^bX* :% 3nt]%$w͝aRI7Ґsҳ) mL>- SDTgdBWZ[<%1% 3; u-ca9N}xϸ\ 9~uxn@&Fd T#Yxn4?+3Eqp4qAK<FʒP/|gJ@x2#1vHOWkpd`FLe 2#Ҍ1Sė,R))d0r+\ 쳪-S%jdwb@1Zijs$22 Z0)q1S&2Uǵn82l:e*Lћ:2ߩl]*2D+O9Rz:f(;}2Ҟ v&&z4ޥ-cCd0KLa\9Cdzj7$/$['F;2b*"EMuV]X+h5 mŮjgzڶeo0~8@'1?uP^SWGi)d" 7F.6BH}d$E͆zKMu|vGr_av4 H4:4ZtG@ q&Ӕ߭IY !I̦"FeL-EjVnT5h&nDNsNGNUphG }Re®Tv\`Bc @,Uh-b>i\P$o# { .&`M QE P8(Ȧތ / Bi&c0j$? ߗt9MA8Օ:9Yf鹐Idk\զP2C؂iZaj-) Fz&`FļhRLsRДJvRQپ\,@%8((Nܘi 26\R[ׯKBb\*6yBmL^`Ih.T%{|K^B=gN%Cyܒ *YNG+)]o#iΨ⦿m.)PPB$MD)Y445iOŗV@V_Ұ?~*\4ԣy4"=US50>bR~oAPLTRB+,'Nf-ñJn(N&ͪSS{'bRR "D2Z"eQC艦>ow7d7&KIMt f IW0Jp-X‰^jzZ˲-(${W4q7zz)c28h%''=K@XfrK]|MjZ錳Izl Uc$2*F˓D^ 4|T2U#ԺSIG45$iYʱd\2I㿼.:`.΀ٺIڽJą)oP."\ A qkiOJTVu6 H3UnoeʶτI*t%.LAC3b@AV#";m;4$$pH+r(,PN[#$oꟶtz OL҈TB䓶|$o td#m$r}(yUdԁ\M.do! ^/x[;4v rú"w 5()Mw8drN>&6D`#X!$oXAi|e좝Մt&%csg[vJ(x{$Bt{g-V~(r$LKuQ"!>bqͶQk7 4۸h__?MS ~:F@ez}t9ʂDE1*!` G9ɜUZg';:2jcuD=frw;0Gf_+@ɌEn44EThU$MlF8R~u͞lt67$aFu]ZIbXNN%Fx%yKWPCczt;ocrda*Vpn.Iz?*v w*1L;O~$+KC`0I5d K9:J|lZ䒴I:Q'm%Aba[EQ\lE2IG6T۰mV{ j͹LlNsE 2lS侣ksڸG-:C6 3hP6 Vzd-_pMfa>hmimBsІ?A{6,l@s6E_hm6pMd,lc6ET{˲aHl(o|=4ldQdDr=6]E)cC]neAMjJlhɊ-A3l%+PaH3 %g۰M 4"ӶO&8F +sDIt" V>#'7HJe< (dZ /I~t&3JcC._ًPH!b*/KfQVsH]5Bۃ 4%jXJ5=o?ԅjT; bNMwϨ Ԁdj IBK Roc;EIRAd{(4pٻkv&L%ܑ3&4O#N󈣊ru覑cTpcE5MR_|L*ӀSPLs WW4a. :h+PKK$44M4C* ()Hg 4& )^&|ϧ)x`Dk"bс&mJIqWb-'8F|*dծ#~N=CSbr,i&i^yU2I{ӎϥ4Ij$ʺM:I @i.cINξ+^\)qno""_M,k( fHET( '+zw}33S,FD[rSDjɍRDnIn,@P|?߷m۾}߉>}}w~-9/I}$I$ߏP!}m}޶[=[i?;cN6m۶m۶$IN%(yN0͔ZªSI!CYmh;OĪt}eiɝ4$4kƳBA87('^[m%lf-fH44H$y+Ee3 ~X( ߹9M;'$Mj)8Ge"2kҼ~F=qKBT ]BKkLS$w6'J>wQ0+ʕUّ37cGz2tq’e-diHabhk3WՎ<VC(s^&-z v^Q:-m|H71[*2}?eKHX뽫Sȉetb &+^S*-8} l63ASIȗߺD:ᗎ)u|v0V!#HrSt'6/˚m3bٗ"J'foM(tl3O*%K{iLDc bN҆5ev;l3l5Nb@ }R$r'DuBݔmt)Sv~IrrF3ItlT]7rl,nMg*C?0x6Yw IjBDFiߒD>%$lTRR%UBNJԻRgcGcجtQ6Ul=i43ww)H՞;^T4iv,5ſTWVJW{@JzY96'wUW|8$=ڃf̍? ɐyű>ѰFzS4$DHng )h!G mh3bL~,N&+0Pe*$Gn&/n!/$kEe&+}- NVB_d˒:odS3)h4 %4-1x f8M{CYUϛH&)A+gPR'lZ , &IT.1a29ll,4N7&ZSlV$|̠4A%HmARZfb2wteJ"a*V>J _*'6AK/APÆ fDYގ,x>,4OI'ө'2sْI:i~ym Y8I*&H#WŪ ¸,2ڂRٶ*FRdrQ豄T!sD R:_\ _t3ڷ3 Neo $ eA4,p"gL$3`cbb5K)I5"S@U>vLsSmY$i*ԇp=&!sMgw6qB[V?iR!I=y$>p)7(*jjWgMSw|>T>*izKR3/tuRNj/)z+M}tt&QrA(4-LnpG7=k:x2Pmc+/3SKA4JZ<=fR.ΡoNx|vŢNrpY@LKa銗"QOTD&&IYVxSއ܄%CY/r 02-tSQկ:}1$=PB7Ag0n $%fbi؉P?=J-1f4UN\ 0[Pb63tЎUUmn]'>u`EU%9j81eD34 dR<n?f3y"3ÓdF/L![13c9COOGwfZcN¸2lO6X7Dz7,ʁ =SZ OԑX{B\[A:4lp sEUyDQwD?z"<5ʹOAiBT8}cO5iߪߟ1'fZ[7G8ɻN8{U3+*>׺mIR؁%}Ma&f3ͿNci,cCʌDSMtz}%bDm8qBrlkĞ ƭ[$F4I.86٬ӃjX~w5LS'l_g)%Iˀ'Љl2!7Om\3\"E=K"Gj%f; pH'[yOV(G U Jf+m53rvT?yt 8|=눒?NPIYJZL*8~b6ۀ??|>|?gƆ$I$J%J%J%J$Q(QD%J(Q(QDID%QD%J(((I(I$I$I$I$I$I$I$IRX@  4PX@ PARH!eM6ٸqƍ7nܸ7nm۶mq6n۶۶m۶qmܸqƍ۸=nܸmܸq6n۶qmmmܶmm۸m6naa3ƍ|>?|>|`4~H2 ` 3&  &!hOHM  B[m(x?Oxi'i&Ã? QF" Mb@|R̨`+0N2U,5Vv\I`.v7eQB~}`,Z?iI `:L vRh9zW[Ѝ+ZMf1 u?H0q`4PCv0`nt1^SW4P"^|FEulՏ[h->KxoR?ZKhӏN31pn JiUf ~;jr:!ۗr-QSI[@ qLE,B^X˂NZ'(QMgGHEW%TQ!7@!Hy!5ʛ*p}mg,66cgVzPig%VJQ#!@Auur*JHl \`Y*)dhVC˝@^V)!G/B",܀*;vN"4䘾$h/"$4HLcZTH0GSAgEQ-X.8/-BTsrmn,b'`)P$jꏥ#v%g wpӕk8Nz"di)pX[bua K /=Bnc-qQb:sE"`Hm"DxoO +<.Y֧bb`ޟ (]XXs;;D|D5E#$*1UL=kS*bS:' G#Rb<7ݩB#.4IChS#$ VIs$&vR\?qxHwAc'6RJ@'YtH%M2ZMi0Nm#{Oqi-#)xL&kGGg(1-!.wz}b7!F۷@C$kVĸ 7 ) r>B!tE.!A`tUbi"9a| uCI(np]*z`+|ЇH*Ǻ%8WSKGoYViv"sRJB9*(-Ԣns*vp j)5 ]U" Ā>`c(8:5^C(c bh["{ Aᓣ &($8 uߋw](m9Da2́ʃ5 yUiv? !Jq+QgֆKnxe FlWo:4X|2N!(pf=3q:B>VZM+?]Iኹ| 0K/įUBJ-Q)t0|R E8I^gX%nHS)hj]pWO)sÆ!DꚵJ8zZ:1'@W$J殚.Y1x~UW%CUtT[K@JpԮ{c']DfV:gY&@Ng}NrџDO(kYS' )Ir Xxױ,d!J Sm'ަ؂$k %CLUME:8%yQe'pF>MKRTx; ~gi4vjʀ=E8flR*Pb%bD}R% Rq͜ ԽaN$)w7νNl\mLHA O=ckmSp(o7̫L2j5W ÑU g-̉~habU8=17=+ ]#.id*4s9U"у/^P' bS0uV%Wщ! ?> t} C4lڥ4 =x ҇;&2 :Pw!%ǥ.%T"VDdT>J3ZXR:;" Y({Tq s֚'$Nҡ^9i'&es5H5*yu]xzn{-y6N^jbt-;=Oyҳ4KhIפxj(Uᣞ9 o'&qFc{G0p4.w<g+6_W| lFݭ% vW-b}&ҸSi6ߜϊYI/q\9oFũuPg3A<".l(GT0i/;槆&5jҙT^nMkaB^5)ԵfVNT'2hIm*?i*PeT/QuYQwJSeIjEeHZUV{FaӪDS[^](i_VLRU(8_feRE9NELSUM+򒖈K|"IAѴ9*iR-4)i_p!*RX"I-;U4UUd҂d6#1Px ,VP3jJW&۳ŸH#$JVsqr!y&s:*./YrpRLǩ"M 'e0.]S]2ʤ]T6WլR:V 앏zgu, S;9DfEZ̹6$B҂V)pڼh? qY!iIUn+6s]TH Cy?Jutcql5c)_.57Y y$lke\u/jvʮꩭ#FL/.xSFr5BT:EFkP)QQp:9)´,ن=\zU%WF+J(ol(˭(La.\`ל㤁VX[7#p863"W,8RyRDo|$VZD(ݓU/q? jt2Gy=v{s.ZHYwjהGLUS6mDMIoT=eVUZa^JѫΡM5NU;+)jˊjHu:Σj2LvSCkU%\jvOn&Kɷ  7wSwXg,ݨqS!1m&wV', I^3&ƲaH w0ke^Lk4uGtL>->AtVs_`` &@ \L&L,jL.q#_L232Rqp)ExAC`m~ay)J38OX%\w.#a c$n^֜K ʑWsE ,({*U/)m^8=$b t!Yf{^[G#Q2F%DHT;? hL.Zh.,Uh܈Sw|{J^ mg!ژ_%}(zJMнJMҳZ;ђ[VDܹܤx!7)3E얔Mrf~%7)"4_nMg~-iB b aqh"/)DB!B!A!BCy[M!@@4 I$I$I$MAAA! ADN !P` 8p`mm۶m۶m۶mF۶%I$I[KnR/b&Eh濈݊ܤ/b6a6m$I/b%M~nIjݒޤGHHHHHx淈&HE_T}~RJTID%JO$I$7nyivҮ]K.]ڥK.}&]١?"fq&B$DB$DB$f~;l۶f{p1_vyppifIiFIi"""""x3g<3HED*""b׶k۵ڶݶm۶m˖-[$I$I$Iܸmܸm۶m[r_d[r6J!O%7)$l۶m޼m۶m۶m۶m޶%I$IX KA( E  `XPT$ 0X^vjRV^ѭֺU#wA[ԐNaQy!gUP(jMTB hj2{Qzdֵҫ?U2cĆSs(WTT5ŅQq37}u` nP:L"6:U1f)%MUIEDoXSZsުx!5+Ū1Kup£A:Eąg5<9hVմ]Ts))Ra)!F)}AU>h㗪&$PCQ^1uvxn$bPڒ9OcFfPwH۲:Om`zPgk ZLWe8H2۹QqPk*.Lٌ4h HA kYE 2'.j8FUSHs'XIgX7`\,÷%hr0Pq}/&)8{QKBmCe=4Tyl?1=\2E6`<pI fVV5:.uKYZbBn-Fna= N@5mGscUHxݑtegBa?'L?`Å_4-Z&(O5fN&SV%jLOMOvzXjI \cY^Q+1BEQ0 {.>( c.hX(#_GR,s܅5®Mkj0ͿrGVd2`TwFU a$, {ƗQ\yt %>wG0M'5#\#^o V/ se,by\1W!b ŢT3u_U,)HmDW,@/H|Xm3,V?Iw sBWm="po/5ODQᆕ,}Gѣ1%J{uGXDa,|#ua,K1YQ%'cni{嗂~incu"9kPY P /A ף,(u҃/sc{pocX.L9Lr#eqaW@hZ@+b$ ٠`'ύҼEN\cs2s=1,Ro]IacY!9Mի8CRZQoUkz!0y GJ+96:ZaVħNk*@S( 1~:K(d1uaN3% }SɞwdO,Ye,Heܿ.z,|o)^d-E3l"&{I!5ټ'cJY@>,@'ݏ:#}joPoxQ`f}OռJ>+@!ʀc}#sjxq}$JÈJ+fGk[ ۘ#p&DQxdZ^(qGv&.{^\Zt|aL̢8l<ɟ焠Lp) J?L[$Cu QeUTeQiA!jz(((O.7Bw.r$,Jk%76 l C PSYC(q[*чovBI3#:ۄ6Uf৙eY@P_a=2-FyTyxPX]u{٩ q_}tOrQ@x#.(سzwZ`# G.HW ǹXs "+dJb^u{A:|XOuDwUms7ڡǁNh hc\N +G &A"<&[lkչ{dCSC[:gtDj:y^YZ ;9iP8$$qB^rH,)Ua+aO=|Mz+j]j/x \Kub )A>=܋Dq>GBTE[zl jT:vr ogXm2[|ֻaU4X)Le(qCK pR$;eTN(x\` V}X8pihF%kO*bBQ[AX΀OϊXj[+qxpA%ղA"u,SgW_< $)ETk{mUdMn 5. S}TZ+ 8Z֧%ADK_%<;L{@uS} T_EWmSZ-}uVk%Uk1=^f}f .yYW,PS𦬿ۓjL&뒔u%A?HWd6Y}80X~ATIAu/$AtXO/Ixh #4z)b$Uರ^D l$$9G~N3aQ_}WT%YG_~FBy+h/H=-T5DEB=P S 8csPԻoň?L {Q`F[]"խ7P~Xs-U8 _4L4U Sكp4;ՆV~8IK'EJż:_u!nmi [UGY ٴ T};bWh0_T]Кv>VO:4dלtLhBkZ0R]_TnzSLDFڭG|$C5Ͻ4JNޭT*ZSeWzbZWݑݼB1EV*@/㴅 ;4k/뱕P2)Kute`Wuj^ZǏ OPx%ov|1"X_[VK͉ibn0&KXנ E1U2?q(+z^7HjdT&f[C0aob\xIo l(j RooO$ 4PAg1.!l ءZ)iabLۯ1Ϯ? Y ڄP! >zO74zb `Nɦ,&2Tw=EY J[SFҚˏ`C1[{sr0Ev)P,<3.6W3hi5CXa5C̛Z6{|W[@eKlh~ ՟E3+kuihʫ5e|(J0$@cs u z\#yKS`DNRGЕʧ:Vx 1ǔ8f2 j8?vx\Gh=! s*TV L 3I?\aD26//d Ԇp W ɹɀ;.,ɔT-TOd6ӫI Qh.r:2/J5wVR2N]W8b\ئ2m#Y,**3K^7$הve8S5l ux +b ŰHW]"> b:󨒁20hʡYĘ]5aH'3Sk pb\ Nuͣf`K9Ct|y5d8J0EB|@oY &v1'pn+t~qY\zky,ؔrݒL( ;X#i"cq_̧)~g|8Pa-՜96D**M@ɔhsQUYv/5!P4V@:%,hDٝe}wr 7GEErcR% 0('弳#_BPyLO 2/ C _iǂ9_M%mWH7d53]N=B6ڈ666 fUKьf0ZrF$x ) VD$ $k0U-I4#1ߒSL sSDd۶9S߬(͘1***"KU$ьP"mEmmlIĘ13lI3"|v0-o۶mۿjZh)/@@J !@!pZBa AB!BCETDD-Qi4C ͐fff(PUK͈KU$z{{mAUmI4#}QK<9H (XA084 `AH@0!0g0Q0a"K9 < y5\3o%B_ 5ўv+*[7d;өYL{ni:U2F$#|3?k'I:tgFy{Ĭ];`h9jR,_"̧'g0u.0VYĄk#5/^cN^BwGP֮QcDE+! hEh@ES!٥5PZЩ?7Yz ӡ|\֎d`v"ַ`|w !>MdFg϶Q ̍t)Pd(aK$҈OF-O[) I:ʷRz.TI3|V` PࣵWIVJ1 @-0GUt*~ 7!$I鲆aF޸Gw8UܫbFjXjᚕJ=jBR{7he?+oЪAy{gޏ5ByyCף6qJQFZ}@y48'*kˁMgV+$c.p8V_Sy(;q6MSmLs.WMb+.8KZҀa+ZOM3 k7B0/[dۨdY+Xeij 5e>19JqywG,% OỀ`&y]GWs9gZtAc {nG Qċ̃yGgfiP]b-I5].CW۔TXON[T-`)̇ސoIjCLT CX b ',(ц3"8/6.yyr+U+yQ|J %^uH $)ѷ<L\3Q/ȃ+.ZSmt4i79C1 ~Iu@Β*)YQGjp0IyJWy]Iav("e1 d׻d%Ã$W"\^`w\A$P4կ5`D &0>QvdI $%eX$@.ZKn<fx@NfVmvq"*m61䬦VκKՉ@Q[*޲ˁOLŭ6v\wrҫ֑c5epR-vT*|{\rMsO~`&5CX끲ĎQC@@Qq)+uﯔuM~) -uCH.PEq@.Px`T.&Z&愅,?z]:ZRhڧ< z%5KW0N ŐMYη(x6PPQϗb݇ӎqzVUu fI})d\71XcTK>C9}j\73M ҄*YsHΫ.˾K_1kiśSbri-vI`!+[}Qݒ²)TT}wR,>lZu oK?UB<%WY+XA. .R)bYsbDŽZTsYGF +2o@ʬqQ%_<5f]&6g  _<8 4 HA1!50@$ C0GꀂC` <8P(@$@ C  ԡhh@(( $$ CA‚@bł D@0w{2ŶkʸVFr-ʵ2Zke 9!2D"Cd 4!P!@$8$pPMh"4 9(ڶֶmI?4[HS/?b?rffZfeefRfRN䜙DDKJLLD<Ļ 78hfhV4+ fYexfWUUVeUTRtUEWE-]WzD%W$$j2Gt33ccU-lȨc3o_&XmkQ-U[jKZ4JJJS$^fr[Vn+ʭl3vhG;be{^ekZekZme[V-eKR-eKNd;Ng{g{g{Ͷ6fl%[Vl%[6Ml6El[El=l'Iͤd[L20 3e "@(Q AAAnƻxW+wE3A3A3A3A3A4K4K****Q% ʮJ}D=4"D2ƈ6"DXDV3T32nFƌ4#cFƌywO7{/#+ )jRάHdF[CD/,?g?_[_՟SO?_K/ʟ)ʏ(?ʏ'O7M~7M/K'I~[[ۑۑۑۑۑۑv]n^4,L6$"( 5!>H0@`q0pp0@p@`P0 :XyҬޤ>Nck Uƒs~[שo1ti Ia8E_'MT # 5uCFLZǏ)?>C.ތ'N3ǔ1ZwBOÈS_fgV!&98A'( g@ BMc~v1*\t[w95?Ϛ[kkk_`*KY#thZK]򢺲fUZtVUI% X6׿k[n)B_P_kPv+۪e ѱe_(D,wKjjiɐbu_U^$De"7c}1K]ծUr8u% i1m,צF%$+c1}JhԮ|ApxʣT,髲ݵjeWOEZZ8e,+ SWE[JBq[`.*Cb:*bmKDoWvԕ!_<^ܒUJ{M[R5qK!G|Ydns]._d*) 1ǽ0f?L1%v0?M2thxR&YL66L`1Am*Gcgbq(\2Y]D2î†Ne2hL)myɼclA5ϖeͫ0.YeEf/ yRXfPe o30r!ԙh5+OɊ2pvZC>KcLa\:20r$C#+W0Ld V4:FIg%q9ɯp`e|Y66=Ȃཆ ff{WCRMv'#qZǽ/$5@w5ķDs^$]}循dnkyZwaZ.p_fdoٳCrYv.Sx6͊vc e<g<2Fd3U Hfy,m?+)Lk[= *NaLhŨ0kϨOw&0}m6{9bnHIJ),nfsY6oUnjg4>7^јשxKffyT1mLf꯲UĞE yQ\M/i]b0N8DzE{qPT~T>1e/F;]+ʥp'f-ν3%mbN"l΅ĉ;Yj&՝ec>vVz^ž>ct"O.坵[ds΍U]7C70 :pSyJ~Zt8GhOBP_Q5~DXؚ)7UA;Fܻڟ%W\?!trI 7Ы S5&ui@X:@Lc5ЅҜV|M 6K>5ńbwd9war1ʰ&\4_~IJYbc_-V!\{.Mc~baج UՊuʒpEΆqg8F6B<,}X{,B4l?%Ь{h0LmcyX{ovU)o~pg$AռQDhξX8FgǰվKސc0LY"}HxPjag1V5=v]g]=[8q'!G/ZG+̉q % ,iny*ߧT/^28MZJ Ctb?+BKͶ8[N؉mR[`r51H _bRL[%&feHr $bxRbRCZRǦI92j9S ؈ :X"##D``p$: I;0಺لa5[mq"J|T%x^2qG /9"SMU>V)UVC$Bx#iG¹"6Vǖu\vW mq>F,څXágP1N!>v t9j@qA뱶,ڔm o^ _ ,mJKbԸWIt9,V*)ZGYBv X0AU eY_]?p.FqOuVhB;^3ʍ3ԐŠgsxI2|S+7f3S?$0ע+,} 3lfW@7Wxh*ocS8b^a \֐c<$[`<⧮4 nHưpY pXlx2^]6)t،z j peb43Z2R}EQ(* dSl>E D/r ʳ D)Aq"寛TCyT8ǟ?amo`[|7Tex ,|\!#l;d\:IԶ- Y5%be,J&uy*/#@հh합dGt3CDw`'=Q #u<Ր?yIU?oА8{ai'!c1930ĺ}8! Ǔs>˜i0Mh K}÷#8;"jXqCͧ(#fc(+kf tO`:_!НlNꈺ?yү/b??M 4ւAyX,î5-Ի}<( 'W[`b4g} 3hT38,MRT4^s]v*ԠT#DWzs5) ) 8b YX[0gOU +NokdKif/ 9]΍w*eev.(5tP:`iFzMap6d6:t7ggnWMA8Y>a>GLu9)OJ M#өF \,tT<6#2$? ;>3?˻tU ]vv } 45x?#hPֱdF\W6Ӊگ4} m-T:af`d?!E 귎DdPkX>Oh_VrJF>27%uM4 .;YrWl;[ x:ihMP"2@Ҝ'àlbtMtn⟩Oܮt}|P1SN=zԕFGӦwԹ3@| .xo6~| /s:' q6Pê& 1tNz gpg6+Ktn̮h Ƹ&(aځAȵzǺB4o8v9: ٶIIGX@2񽆢ni^NXS4 ~odbWjҰөQKۤm% m$ɔnn|M=‘h9}˨UuD><3Cn3<k,bׯ)FTW斉3 uy 40i\?~kW/Q05ny&Y&\m%ɌNn"Pny5oAM $=ФQ8S:5FSfE+w70wtzH[&o(&z_%y` &Aav{b(M&,4';'O IG+Kɲ4mW7F]Y5ZNw^.:ˍNwMaJ0b8kFN_* 'KًzДQP0 `Pv? )rgJh C~!=CrhBZHRCvHCrH!;c6l333333333***** хBt!],D" #?#/"bW]+6Ŷ)GJ+mDdXVj[[[voܚir,LI2I&$$7y7y7y6i6i69&crLI1)&ŤɚɚɚIIar&ar!mH҆!k!IҐ4$ ICҐC>"$@AᦐHr"8xHP$0zꩧjjPCuBjZjJ*:/Az[om[zKov[y+o孼oojLQ +ߕm #5Rw'uwGR_*='άnܸqw"7nٸ7|g73Sm۶mH[i+mgpYYݜST Epb' {EBa83$ <(C%iS1+A $!q@ D#A0@  @ AB ~dX` #>_|I2js؟^ƄPk?!4?e6.W[ ) 4< V,lviZ  tUPE(fŻVC_mbL3Pn5xS9rc{o?xZAA{orQ]UH ggQ8 ^l;)UHM#:̝0㽥^.bpCZ+b[kNX3:a9wa=VSLxD8jE{s=wUw1Ό3&tö[ռI?3 _cYߟ~vVgrZޏ8 F^)UiN.RM۠x'68X9T.ѣ9pPy?D7M!m[Uk[\;KT~:04Պ~̬J҇mgw1]A[e%gAu%;$iӄeWIс%8yI2O"y62sICXy}me*^Of"݅w'mpܕ))L:JUjCW!:o)Jf?<^ɼG4j-ً\8 ĻrE&!agZ'N%]tk : q&(V=#{~X?2-#A\q XFRmI:ԧڳ]nX"8q/J5SWW(.)fo`"Xʡ1BѮ]~P{FE48.&9JT'C(rVQÛ' J.Rmp弊I|0ȋ3ӥs~i|֡,h.Қ2$j`QXڞ:+QYqء\/u߭m%j,?UT'Ci& DU|]Nwu_xs;nYO9֞96l~GZQ%waҦ6LTm"a[]G& Tfv.@a7T;}Uu 9lx~/rҹxik1 .MGqjz<┴Xڜ%J ɥT];f<2c h='%< Eg;\x_5g]O||b "$PE,Y"w p#玝sKX /XmIyW0/\{rcp!%xH͠ȇ.k9yؗ7v]d=&+qe3+9łOk f3o5KfA7 %Q%Qf,dd3 >9~d2 y,sf:?8)uvXIH7{, Y3{WJf_,$_f)}R(\ )]j0/NoLC ;Y E,y ElB7ob#%%Xq͒Y(zfK(dB>9z9eޢOޓ3'wՓ,lxvw=#Ϭofgg(gӷu\2s.?^kqϔ^]w߬d. S={ߜM%͖ow'3'wm,l<;y{璘I0N;ZҗsyXTa=_͝%lW'3'm,%sR=L'oaKd5-!֏<6܂;]t7l^-_ktѕ`ɀ:X*m)mL1sMs 1(yђ)9Ta:pKv'nݹ+|^HS[a*J^XR2,}әd~4܌ӻ<9go+ɜt dS[g(-y:KYJfo_%қޒ?CooYR2,}*Jg~K{%]n2hcϿW[/ؕt,3=dfݟ(zxPgL?:y^O2Ŀ}'IJQ≩"@*<Lu8߹э9@jBNL·1PsS)}v֯NH)ɤ !OfIhܥҩIY]ϗmH~Ч|.N{N~Zsu^f3=b8yn ؋ֿ m+6*͒==N\r|f{z?Y / 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/ktvjc *А:'YIC_6^? )ֈؽv7eK., v2rs1k@$+$("4ph%ѡc~yUTD?(b"B6d>l &F91/4 4#ԄEƬ((3+$ASBh$YE"!MEPϼIFL GBU*EiPTDLTquVe5,5xdeR:EQI: ʰԆ̰(DAՙcJrZ&g ă 4 )QáШt>(RUaQ#RΜ QeRp4̨B eQ,egQ:MIE m۶m۶m۶m۶m۶m۶m۶m>ז+F\[v/smٽ^ϵer>זݫE\[v^,ڲ{=ڲ{9ڲʩiw;z<841YȤ&h&"\CYsnwC}43ֽw_f6kts,DEnc{n].((IPm"$QEUІ~Y%*-("QNCMI[dE;FCä| f8P*#фUeEЄ I`T?ہQhÒAN0' =&L4DR D(Q.&jc뮹II0 0 0 0 0 0 0 0co?Y]u 3\g{mߺ}=޺un5u۶m۶m۶m۶mg+V2fƂBzè˻#\ qJ hT(TU ]>bjA#c"zwPER (J[-UD=-k0BX$d<Iăvл}-T#+(r(&,ڮჭM$IPT/|YiTU@|4,Y峰1*(j6H]GfEQ 4_:g j(*(*:FHPY9h,wC暀Ƽ)AQ$"'@QDc^0CF5tD$3@@H jJP a`0` 0 B$ 0CyKZyrw]a.}WCY>:4pR-#m 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thyS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236m 5W/ @HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ YDʐ$0$il?PXUۈ(󚴴I e(((Xha=(^f^eZfXYU&QfeP愈XBD %"&"""ݝꪮF3{14434ê0骢ꛫf"z'Z.&L$$"A$9ofnb&Uhf381"ӗ/aI^ !B kH0AP8,(  % 2EHqP  aAHH CHCB C@P08,H ĂH(C@"4 `Xh`@D    "@2~柗yo?6^qke2Eڒke 9!2D"Cd 4!s` O!U&JSZ[mKV%i3ҟJJD/\FP>YZH9eNfdfm"6LLDDDDCڝ$^ nƻZ4+ZI3ffvfW*+"*]UUWQ?Kj&!!MoƬ.)̌L}k'6b?kkŢ**U[SJ+)$ ʭD>O0 0 0 ...˲,˲,˲,*ZIRR)TJ*%:INN'9=mmm^+y%l6lEl[D)Pz(=JRC000SFfafafafafa&a&!"!"!"!"! x7ލwx7wŻ]LLLLLLYYeUVUUaJF^] 9 "F$HmG$(HLԌ32hFȘfJ39=M<+괙gUB$sS|ѡ ͝}%7h2}]9ϟE3âCc@k#}]U]&i9oMymX4y#S貞{HUfэ{r.wc)񟲨:l!ET忘E,G)CFVBYr*AeyU2{A2wcBogy|,5R K؉ry5y(GYFX.S xVJ%!-./#m̻*l=` X\#;/|Y\<_#6ICz)-mE>M B%pѼ(P"K/%I1Rp lDdq.Z3U&_I%0Y ceam~0$[ J̅RA!z~zwĐ6V{q%'0z 3HB ,DSB*(G`>Ѭ7C.= *DZgpjghB0/TFZGC&HnvVR\B`A*{'q/GB`AL(L[l5AeLἸ LǰLAN.ZdS;(v-Bç7S+ o%+xb\mC2%7]#q 63/ v㔃vh5X)k^!DpH8SV1D`qʤfO0\^'mV'kʗW2C1N]kjbRτ, de,>6zՄ-E9AI+u*L,@HJE\G"Ǒ"ڦAt}rRfT.|V0 eyR6MזEВJ(ēaW𯒴H' , mo |>ȋhQ :."?2$ K${OB`͊ZqF !AXn+ r(AX= bx]t  #  H#x#HHU%乔"y3 I"P4k+"n-7m2~C(VqrF^^%a/uC1^&t \bS:1.D1#'5ȯo7*@Fp"' @ !x H#( L@A(!0&hF H4 @D A` A$8 0'8"hNN!0 ADBNpD $'p" O` 8A#0"@K` A  8F0LBH@8 t#@'  (#8&@H@*0#A@H B 4!0#  @p%0dO @u7 DA @4A!0 @!pC BM`8 K  L 0AC @FF@fHD   <#` 6b7W3j9UrjZ3&SML‹/[yω$qġY1ORz*4R`3oT! oTQj+ yE\pLxhSfpݼ@ sȺ_EJ <[;&c剔P-GdH:,x;'@i'Ǥ3ג08$ iW)o~h*i-5U^%z.4ESc}#9$ Inf}73fF. Zr(E3l"=z#,$pקrz_Ca$==.b<" @q*IBAJ1 QCbʁPB!B!!B114_bDCwen弐E 3thBP%ڝe gM+,۞y"#ڒDMJ>akFJXM,DfP=a&x{sL8&JA˥d/)rlQR hUEw{'-ezw"{1I805δ@bAt.öZٙtɗZe1Nvp"QCU#v4>=$4C-+kRL~ɠ,'*#:mG]a.&Ge f*8=Cnp2տ&1AUWJH$A\LOX^b]60gpPlNvydCpXc,7ĵWkĘKP ̣ bgݱD'[AE4 [ BffUT$+=y2x4~7$6'@T}"-gs;ck(,(0[F0(RFyTs{j?; i'Ӟrt_۩w$b#|џ12EP[fRFɵTz-g/e_c4ATނ #V6~yYL#ʁ#XN-(Z螶Exc,AL!( ]=; M*8-~{Ƶ\~^ nI܍[84`V]ȕlf>)e%KP&2 DTTJ vu?;)&LvXպЙi|" SLѝM wTuAzzUMf4#)܂:9{ܔYpz}D2o~L&qDa<^_$5aZb9}i`FQ&瀪s2'"0X9r?실0>a롵O |(vC5EsYb>+E)Dspq$\¦h:vedqD7a=ڛ,nzR!Dܑq& ,'qAIsW䒊FXiTJ-]]ZZf!hKeHcjC”\\T! ֜ k{'*"Uxd{ ]] 5W' 0HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1lVzl\'6mj_3M L 㛆9n2?4@"bհ҆v If5ƮVRL@"ihHDC$ia&͓]3B1ipx(yR.WN ̲U cf1\TE~9f/~1sn^#_ #;g31rf+:Ęט1c6㫘f e:fc>ce%cc1d㌯lF~g1L'gTQ3IQTDVכ ˀ"3Q,M+`&e"3RT$ihgb2I2 )V,q9e"L(B+˙IiEeX)VW*28ӊdEgR2S\ h`f)/Ctϔbgb2DцR_(يEudb2[PTLc-c.ȴ"3XsQD*3QggBnQ\n&S@&aŪE\2_:L(o&5.h2iF]P7i"lX;/Ҍczq_(019. ESe\ʈ;Lcz՘\aŧMT>0_4tbcŔ;bw}Q{}J#75Btst3Q t7NqtծvSkЉp ƷLyfloV^?{fΩ0ki&mf5{ u tPؿOou>0*$zG6X(Өq׉*bGaC]mf5bp>>4IR 0 U3eӰ+`MI)V5^Db̛A$R('2BK>'^NP }ڢ57. _e %Lkk4!VsX ~0dž[lZD!P`@{rIdy] DVb>9{dJb@V5b.r7)A}>B4(C+`K4S(@f:5\mcޙK'I-(cF9޲6?SF2T' 6VU<30(nQ gS;^9_pZXC `j,/([;OYNv/ޠG<13$tZ#iq2=,v|^bLgĖmضvY gܥ[lL8ң^MT|O>t:,{4D-qB8Yaf.=0f+)W.1߶i{/Q OTXxYD1mmn~)&RqĤ9sh$J>Kv kf7+g4oyP`V00Wb4ݮ''h=C=C=C -B -B -B3B3vavava]tE]tE]tEM4DM4 kkkko{Ϟ={ٳgϞgR)c!HldfP !c!M J!d "@I`` fĨ/1#DxP  B @!HF Ճ0%P"P9X<9[,9sn,q\~NOq.FCfi]A-2!3΢;r|^4GpMJ"Xpmw9b~\<n "دEjB$qrV6N\7b,(C]lx Qԍ FScHʟӅT,+-WZU( 8iY&`UUSRXP+Z񗪋ԃ\f(T0]p E#̋Z/:a" E ! -0xarE].0xe\9ɢwyGedFҡt`:ÿ4֜2%WջYnZS]M39{"7M7x8% ( lZLvܴC؟6c8 vT #[n@ ?jO.Z`L_vZS x<"%flɛ)\m9In8#jFu \ g טpHbP;k zƠA|:.PN.\p(u"Bh$U5rBB+, hͺ…|(**[͞FVц١\G= /l"jݪU8V 3`Cl,ɯ_eMx<h m]Q95.$ a5^6l e{뜡 IrY6R Aލfn7XjF^TMIyA*p\r z{"WW s3Wwc>E7ZWDzgj"ME ջ!UHמ%&l'|qyP>/·۟n 6ǯvngJ3g2'X2R|P5"xYȄT$jѥzYQxˉǃ<.oҳmp߆bI zy|$(C_ʱ PѴlΖT' ͏,pKS2ae3Ρ;waAg`'WwۗDx~~ dqWxx!$f[¸IY[M6tqc [ cjAaw A9&ySڂKQ82O#ROco/$; DE@)e/ɖJ*ۯ0ysfnzl_96?xyW ^*J4Dɞcdxf~;Փ` mQҝϠ0yoz"( c#lt_=eV)6U؈9kVl/kdZQTX@\njcn.#78FXߩXr:w6xdӚn&=a3ͿZK5:[f۬7s(ArıP*& ȸ[ĵGk(D;/Lz]1'@ 6lNPs%)׍c݊1ݞK {m?&HMR4%"4e&:"o lp.FU.9T!BƔ6ɞjX-V\p 4Rq՘<-g,`I>"U MlḺ(;[ Bg:txdgb`v4nEh5ӌ LA/QYt/D<4ںANdpŎ̉ "Yz@8pRI3!fpĸ.;*3Y'=K^ti{"'{5BmQXbh`2A4ZI"NPg q:zHU-QnTq1wX E1]S1j@@%]&v̅-&'0SjXW:P-P.'erي]ܮX̴*d @)a9"ՍF p5:rWD!\Ib-Pؐd,&1Vt+C3Z 0f%[p2ki< 0{)!F@0>µ Xs(sBrFk".̭ڠax#ô*j?EFѵ}5 }Ƽuָ P=71+ ߭b^\#|*LE5Xkj3Zچ5{I/٧]r <8YLZoI`\Kl+h;0͠H?UiڊmB@F6wmT8tu"o'4m2M-kj !l}N|R\Fx(D'!MX1ʱz2Bq k,WL1I`8pК3s:kRpZ ]zz_t&ךAFpȸrfyMF9emI;Uk5҉& 4ċdHEjiR(paO5+fqj<G“V3[KO)- t9{)Z j'/@a(, ȁQf-)LnWYqOR+F|ʠk y è(4wzk+>f(9E!!ջZPFtI$bC4CP\G,P]QJDBbp&It?B6R.vjLu =dM%VkfyZ93%h|+ b1hpkRNg2uGNq雏8`2S4P'W.[ry*ڕcNIuf[h Y0@Lƶm硽89DECyCPg2 2k=LȌG3?`,Vq"ٺDTc,F&֓xܜI_PA!LwJ ᮽwF  PL":~{~Ѣ768c5't*.ʒc5*1+VUR$pTAVx(0Hm=V]5_}_j}ە|*KQbTg2̼ uiz- IM)=L?a̳6I$H*LB%=k2IK [/Y>̈́}P qEg g*q,{_N)8/ Y> 03d?F^ͮ *&%N.]v1b<EٌX$pf$?ҩz#$'e?DHՆdpT0&ru$8zvהYYQE1BNqӹk[= H̞6[H,FB[`:Cm5\G'U9" 2IDQ \d&:+ #+H J̿> #h器wٴl"TB{B} +h}D8GQB(mN],HZ3-ژ'BhĆEb=P  d , B0(@B0PCA Q B?W"ay7TgA.Ta!UZe'|:y,WGCZՎlOC._Q|YQppSp-uDҳ:÷ p5zVF F'"]}nŔzpFWcqSkHw2=`\|OMo3&$ͺ\9!!1ƃn2{:ަ'GdĹ(4QͩaN))+xq9/Y{zW4\l ;Ԩxb+:345ӞSġگz\_'|zm'C-; :CO67ݴV5 $#~p$ge&'tvM \NCDˑGVַlЬ=RfFN,d[6y#9JdHķQ&Zv㾭$=!ͣ1)A?="v5^/4pa)xuqtb>b91Gd[q<*䬈ύ^eF.A#g!.cl(ҁ^ $:$:!`7q6˞p5lSc`nRr:$|@|M^qrq! \$HCqWK-b_^ wŅF4EtOaw@f8j̓]7X!WKSŁ2<{Uz(3FEuobP^:: LoLZK{&Qi' 4vBHx׼f&Ԣ%3Iګ P~RF܈6Z5kp%ٻՈ ֝;>h8moD\LŃ$ʒ g\u*e'(ȊV-MP(Bt?RF([@%Q5Qf.X*"Mϻ9(0 pLj(7 "!C@*ZvCy^fn'ZG 3'p\ XR p3|Նr uJC ݚMfshA|(0اM@CoxR,CygA'v>Pv/1d.&PmSf,VdB5rM^:-,Nv+.\`c.gewj =vCQٯ9t017/7rLBMR5ɈcI5ϩNQ#pJZ!];vf pe܍evpo}V쟼eKLӛvK@&]W_ʕQ@} kwOy337``PjkޒP+s[p⟀+LHZ- ]a,2|#/ hph`)@_CX &6yUu*jH*`]){-u!e(3J%$_0JK~ͯXEk§q:v\K${*^=+e^Ķ. %g {5t=FN7-$&`xx}p(\42T(Nt_bt5j APސ H 2e˕ɹ@)n y,LK!u{׶w{${#g5B+o0b+q fX_Q6oǔ%eCh]yIZ8)G5IsmJha*< C$Zfdڒ]BbE|C82sMS¨>HgeG>(Ia9r#X; =G.'VV"( -5I 'َI$7`fLWm0!1NzF/ďu""*=eo'Q4`Orh죛fmIb6E",9۩)\W#or"P35bcaeaa403e1fe57fd1a4d65930e8fe92cb31b2f5a3d596cb142bc9ec2bbea424b46d595ada8722a 3241c15793168d7f0f42cba193ff3c1c8c4e074a63a9a17e-e9b9-43ee-a3c4-37531e2a57f3