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 ((I5ztF ]/ UHOL-Record_Benchmark:threads=6elapsed=144.519cpu=236.170gc=15.838(/ ]ps +w aW} .TJD)D!ò%iRۗ'U1 \sd0cJuXnhj=*((/ _`MuJto)1 CD)vA@D}p $Gid y˱FC,y&!-wu["d>(/6 @ Pm ??bMQ )S-z{6,QtV(Ph!^\2 )k/+cZģJʠBMAdBHa"䍅S##-dxR Q*ʽF!8ʕYrqG WMډGعY(L*ODB·x1l7ݬМu\7O~*g3ݞGAkvgΘfPU.fLakoY/爵3}_i󯫳 WA]`ob jDGmr"`h 0v$! 48H`xа 8p TA"4X( X`Vk ,H`h`'UhH B&( )@A*p0$0Xx0HЀa&480! !&@  @p @A p`x`@13T 0X DtTyDui MxT6F;)kf pC*o:i^eRgyJe&Ee ַ)êꡑG1Sy{Ce! j77ֹE?Јdlq/a*'wU{edTŌtޚܗono:kJBsH:#u~#uΨ.;2[1Ǘ,uw,knhhև˪Y']ޢƿݨ*o*XH|W&tC [mA435vWN~b|R2+K!cD91\n%N*īTǻȰ38N"RV0O${zvVbUHɨZBrcu˕]-_QkтUV]b*鉤3oeq.b^cʂSLd6y·N#xF -{y9:un^_dG1f?ۋ:'ѐbCcl5VeڂS{LEɐ%2dMSgGW9atg&8ii]r  2aKdLI&-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 =jO*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#!f$NSb';5yړl4Ă8:;:vw=_>^7ܢ|t@eFѾOx]v?)] :h׻@=--m b%Uo=&|4އFb>:^}w+.:f~U4]f*<̈́06.?xSCWԜԁ?*]zV~tW] D[{*F2n^zw`k_!\e:z:;N+\+A"Ȑ] | Vu!sj 2d+BAdX, Y pnW,"%<N y\ռGL1ܤG-G _1G9ⳗn_ɺ.qsۭP݌N*[yҥ +:xv͸qn8_:|]6ghwoqhw݌NSy͑% +:xv͸qn8_:|]K(# _Cx9 q}L#WC 2z+-a1A%/dT`KpPlw 9(Xv %;[B% `ѫg 2.!( #e'd^Sb =KG8Ȩ|~]AcSA&1A& &: ~MLe⃌>LdBM|E LbrDb 25 2523d7kdg"do‹)0oB($D+*ȠDŽK@τYh.Wd +` QC ) Sl C_AF~&ZnA}XA&DM!M" &\1 MȚBhDLb 5 23r0 27!5 d7 25adgBk2o%dg+0߄(dDS$Ƞ߄-VP I #(hA _ ?R #Q VlA~f!AF&A}& &tMBLD" Mx1Mh6Q~!wͩrnyGyv_k].gF'KOκwYnt' 8n4'O{eʀ xLi,P&#x;fo?hk0 i5t~Ctì~8$ 1P)틻xXtGIh@wi1 +7b͔R"J7!* u>bQoo'\슚e+>bVy3jIl'Ծ 7b]=7kW uil>s@ѷ1k o#5pǵ[go Oh4jp):j7T}ty6VcF|M+0noTn2ğM o$E4I] /<|Q&;SGYϨ 7GfI5m/ۡ%)ƿ5’%!;&bZ^·|nr 0;t-n}<[vKIMDpfɿ(}X8 3HEM#+ QBO#jxts*t'*@n_AG:M@hĆd"$ Pр`hE<#Hڳk'QѩpA#0g5D t#3t!:Zb%`wFlx]F ,2A  X4#<WN6ƒy5Zki%(.ub#%P\d*k\I-HՈ_=ʈA& T[١cB:G C 2cK'Gf(\G0t т@XdD$* -hG xB#6| # QnpdtCG ,Ј -E&H@&xdmJ02G4FJd#;\t#thUB|ihAFh rI   X4<!#:Z LHD682E|:4SO )ٴ$SlmWH^ɯ -Ԓ 'O'Ј;k݄hϚ*&#.gMUHD㬩Y87S#X<"y (D33UUPBm:dUF0* z%=4 pȂ dA@ dfЀ.{C !k2T'%Dd& ]@j!_2BPHj ( 9aI5u+琙Y O(53n9? |=~FI}~f~)-r.l +)24͛?]Jf'2n9*J :ݬ6ʲJnekuRYN!M"I1qhRB [XʮhJ@%`f YM`[XW3%?bR5c.Z:o|7=x%8`.b$CŃg 0rD^ Kqym }uc'5|XH,0yw5>naI,B8Q3*Pcrd)w^'amU\aO]B+X,%R8ӋPFga= MܪuQdb)cr'hork# nKh~ĺ [q?5-!L,`LBYM1BuM`MX9WYK.27KINa`j7܌1Cu@:: Su>5c+"L,dLBxVmJ1Ce0%9W,K.Uh'07{l1C$,PID֝)~2r҄ ys3yPۿq8j>?u5?0gjFeI nDn}VL $aZu%6(ntX$nȺq\X2)62,:*V+b$eUfEСLb5,4Ώ J2jIAcȰ"#VJTϛ1\9V4&Jc*,m4v ׈n9`v'UڥT C/9IM{UBBD C߃e[+:r?G0PF.q(dq@ 0;bFJU3@T!J9B Qe4kCUD3+@Qv u"q B!!(5?JZf/d9)OMu349~8;kg.CF/ϔی4]ܩa[Y`J^C [tw%̯ j^8oF xB5c獒ry%[;A~c_Y\KKMn|&rp4R0gd!`3+}hLۏxEcþB+r[9gW䔧/%r{x[~oQR0\&&R9=)dOPbrc Ma dw"2k{"R|퉮מ81iOȃ11[?nSI0_XHNM{x9/aRkٺ?=>4X*W3e3wpM-NSs{uC(zfO^Salju  ; 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 =jO|??~~>>?着ݙRJ)RJ!B!1c1F1jZ֨Z֨5j5jZҨ¨DjC48$B   @x  Pp0000@yZI ~0'jcjjۃ+QS;&7E0N0SEm ZHSjs(v"+vK%4Шh,S/ZW>Yc`\L՗6q5A3 8^M>nm=rLu_JD*wHTey2LMR H}g_0=QP88 }Vv%p]flW)VޕjMVt%!% 3k9T'3L%Mmjs h5^>[>kMjSD.YAyS>I=hSȚvS)tK`I,4yxq6_M>Fu6qT'$!ْ'󝤃.edSZړUx( 95.tZ{?eۆwUAo]ʶ+0E#u'h+JhxkY4be"5 k&v%ng%yzO[#Xe8s9ί>5R/exȥV5JMq93#$}D$MEC;Ze ; j(Y/Xl²lfO<6"D`XvMc%lcvU.2O¢),e ~;ee2ɱ"Ca{$L+zl2 5 cU {,z3X7b-!Xbf{"2 62lg%زX@1SaAia4m04}Yff 0Y,PYrNamVg>ø[I04c|/V)]2I>id3.Sflc;iYa 㮲'2M ̮ [w$)!R 0uVX*c{fg% aVy k3;)]e[,qgsr1RlIc-SḁGL0**0,F}͒(D$e.֡X2dLc4"')FjϮN̙CǬYa R e=ճ;l2l !aur9˗A> JfIYe.[XlrX!i( =mcK钌fr\7bM̧>ʾH&W MO˞SiBj%FgouaWZLO˽u|ZyUcGx4h#:ƺ] mVPƬ{Д`{O8S51Ϲj{Cv=mBPɸk Kro^1>?zzkÁ1P렼zhNzDzHR+[,d3&W JO оo.YRJ9څГS{4 E]2yzb5u0 :eq3tzRA+Ѝ\]NkmNY%u'pn<׭LAk+V@6\t.c5َ`WՀlnoYu/pB7VQLk+d=%CN.+P?v.Eף.S jJ|YBWA7VdCM'M+t=CJ.+P i9 }8@Gh^P(r ̋ڡR tFU4k1V+$,æԟa[вೝ< W&!+4hD#Fm] Ty4C4v͞GKE2OM%V[h~:>Dn2 4F$v|"D<[ՐrXAҥJEWz3s8"n@i1 kJN[ݾT::k4o-%?6BSL^ɒq&'i@:}6noYu^7A|@7%UyDʈ{qM;/ !t$n)Av*n(vd!&Ko?Dϵs6 kOL8yF9MY{Tc90'ƕz%lTkx_8!R T)B DaQE,T?0'SB44UЬTP_-RT"VFBi]/}6 J$}ݩ`ZK nebF 1k.ɔJgC\.M>v;;{i:33v=-x* raVcX^ bO1qtq^ i@̪ rYa$>x>ػn1hbp  >]@c{Abbl'4qީ,N&'&,?v. eN q(1c]3)p_]1elA;^O|x?hQ=5J/ghț"`e\TkvIhhET5!2w!!W@DZxALŠIχ* @aZEð8|N$(c{}͜&*\m`1# .حoR3^4Ѩˈ Gb? Oy[yTC*-uh#N>XX:G I`0r"F04}+24&8d JhI`ԮTJexCv-V5Aے>^2mcӱj_*M) yu{FʰBV(T>U&=͙3z *QubBETA+Ӱ'`RUbu!Vѭ gtp yd]Ԟp̖  ].FOu%ZdNp -SiFF08.aн0B>t#t=%+CVMەv!'Itr%jfI!5:T(jfI!5:T(:X ::;5W' fHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/aʵL!@ 9wAWAx.q[՝!MR:v F$#!b"ȈA:q (-<`$K$C$H8&űbc];;3{8ff#gfffUUUUUTHHۥ]6ZkDTDeD$33̴737c"R"KL Ed("{#YMdɉRJGL]P.i53>3aUUUUSUUkͶ kkȈzEDdBDԚ" Ň̉HD |#2gKo~"L ` 4`8Ph`  ̇a|&K4Mgvr}\?=~5]Kԟ$J}T+XRN%DWH⮤͓r]%+u%=GYt%o>)|*֕T,)X+yqqWI9ORź#,K7>J*SI,ѕfq%ʖ„XfJNCSLc]'>XI#tAWIR]I8W\;r74tW ɇb]I!< %C?J $J.R>P+RΓDWrpIc$גp^Z)y ?+Z:2lR6̅/Kdxs%Z]Z\;oWQIj] J#]NA B6}S'o.Z>GY9Ǝ.msc7tȰ}"Zq,@i~{Z Zϯ/ٌZѥfV ;ОF.qSr3j A,k2B ( *((67}7Nri{͢U(D52dBR 2+j]b*|:ZxmiM7wix"  5Eit36%&u"T sr-JmQ\)g)i-Pvh !k ܑ׳4af=g߳BA'!%t@:UV_^>p.YPXY}6 @s8洓AA@%8DMo̖uA&suL"c_ඐxi >Havtx}r )&V'g uM\B) uO^"dnOLv!߰}@~yZ˹[ i{ jGUeHz%]B'ř)b~\~Y_Cs/Cӹ0vg!q#Iğݡ.F>P_ܵ}  97?umMy~[oͻȫ0fhOP[bpy0lC@8c겫tadUif%P4p@ %8)gM7&ֵy jLBƬ_ඐFj:RSTT;6Rl`"!R?sh73{vqQ <4/b`ҍ"h #ß Ys=׾cʮ䧁ĎP4f}?$R_$"#/s.^4IQYõxKbl](* )2NPo~7O]Uf{ȐPiB0ҭokS4]Lعaؑi_\U54( Ym!1xQK袨(G;BzHau7`|h)w3#zbm.NȮP {a0ҭ7&DG;kَsycʮZɏ!pTחQT a 9f⭋6U Drv ܨOƧ0k_ƻXHf³} }Cm,W"dϬ &STD ml.E3T4Ŕ Xӥ&Dv#?`ً\YvUJnIld`TEӺ3ge݇]$+)Xgp[t H|T# ES cS#Ɲa0/ACfkܑ(j] #HL1aLۙA Yve b)LY}g-m?1(m}J2Hc<75Lwt }ැi ?;x"V,wCfG)myH7zCt17{ELW/l%@K[A7D+H!;vl-_rKy@nȩv0tq׽0\#*/PRŞܱ/`94I<%;/BXI.-v֐DD''W !g61T>8F M\|O*->8Y[NX춇L>{~ة$ܴH9PY{(F{TXWsgu5 "Z-FѴҘpOʬ[] w+`]e]T/`i: ؤNVIŒ?~ZH (6\M =OTf4*,sWu ր>tjfh黧s ~z*_rQ*?mj,@7i&try0f);x'@8rءMA7xL:Qk Snjwoσ:wN@Z7/#H7LM<4$ t {n-&2_MhWHm& sO'#y̠A7~"=t1!l ҉ݦ[ՔàwbUb:wNphB_կ3"ovX:$k%?6S`KXr#1h C~ Ve7IxIEH03HP ~":JZӦ L zk EV=7S퐟7Q_r>qJg'Yg"oLglw{x%8@b:"P~AV 4́N(K_T䅙ADiY%7425,/)S|:խ (23pH7PB/lF`•&fo`e2wa$Y[ ,Mo`ز@p4i1;tJVЊyF?ALi-)H#nhOҗEV7SvȜw[2X>HqNg'g"om LC7Pnfh!o0 L ZW7p90Pk// {'RhSs5Og2YAIK'Cp ͩZ3v. 4SJ2ί3FHGj?aYk[N:%(mI1׼S(ˠ`Bx\'Rl3&2B5]*gOM_X br9fTtoyǙ1Ͷ 0FCy着^Ԫe! /?uj)p@`D6xyϿn❆==|zxGfkCG9?)뗻)%'b?$|DpK*@XeoMpI$6<+6qm5k$IL&1-ĴBL vov-o------ڭݶnխUFݨunmM6ݦtnMI-t Bckkkmm6J,YCda@"UŪbUXE"VDD""ѐhH4$ DBNLggggggDhY) 2P ig ((  8@꯿맟~駟_~????__k~Oi/e?{{{voDZq8v;n7wk1w;1W1W1W1W1W1G1G1G1G1Gq޶mے$Idɒ%KUbXUUUUUUUDDDDDDDD4DC4DC432#32#32fL 3AdEYdB!Bh !4>h6hmfE"F޶mے$Idɒ%KUbXUUUUUUUDDDDDDDD4DC4DC432#32#32fL 3AdEYdB!Bh !4>[T%Dψ0z"֒*!zF!S ` H Hp @--N#")B 92%HUZjZ*IM&DB$B!D!D!D!DLg:әPJDJDJDDHB & aBaByÇC;y/ZrUD3"!D !я~~G?~~~~~~~|>|>|>|>d PC  0!B@%JZ.A ?V\6kt!Ց r` V C;*E.hFڵe23(_=ƛMe8L(Dyx4qZR8V4[sIu:\N[wFL!XgX]o%ӸAҝfo[$,k=!c.vDEa/NQ+MƎ f'N7bI~0c@P`!TU12#d跌jњ\Sƾ2֑y $` UK*jׂKQoGð=V:f&A oP4-)ט&HG<ЇjUܭF`_I`%QCFgz,.AgrMhɌImb^y!"4=2 ڱ|TMCfgig8Jd(J6]Ŗ$k_ d8E7A~ 1y]V^ B3 t@LL߉J½S#8l,uԺm^ &8X?*tC] !)(x\Th ],j Q@@|ҖcM5}񞢟yMFUպ6zPNfTUWLUéep6ZpͨfNmTGWբSkeCj*PZ7,W U妪՚QuxeT-ZfNY3UE )ی*vCUtʺ*:mPNnTUSMU©erZjͨl^mTWՂWkmCpj:~T4幣-+r4ӀnUӲ)KI쪴.I4@2ݡeu*F#+,&(&Eő]udzj}&UޫƆRIC[ԒQ;TuV52rG ޢRϩE;jP-d2TU U*oaCs԰jh*تO,S)VPgESԊ 3ZFl1"fҙ&.Mٶ0*SL* zZ=lf^6UL`5Spj:Z(L%mghҚLYE]*pI**эgKU݋1MOz4eIQ xJSSQU#Tlb*b$#UIK fj-JIŶHEu -E4Dn*^֔CBUnH7* 鴮96=P"%gذcSͽT5?M;LKVYWPzZPԋ*EB/t UnWkEċZ*aZ-(jE^ RVJpUX%+TbB)Nm-BI+ktjL6%8a8R5&4٦VdiZ{S$'B4W%2PiJ V+5{QJ)<:*BƭжpSL+5Q+:\+cp\>ӢBJN+JHk&0Nކ-L0 TYZюz&h&ubg1U 10')d;D\7NU-=]96(nGcu!qqcpyzDa[Ws1gxnZLʘI90S2I#ƜˬS c)bFFeX1}4KۙeuԺ%RRvԮZD"R ԎRեTRTDBҺ%RHRRuTWZk\5Yn /0RXr,2$$Ӓd`$px,^Lܕ&XJ%sSaŲ,_bUͬTOSc뿕D =2Ȣ G|/>.:JeF(> ]"ږF\5:F]&q@ٗ":qUBEq#`y+.5["tW׌_ށtG,b В/<<4BU %A<ֶ4⪹ 5?7Cʾ\׉֨*(C|V,{7:B(Z(B\^D*t k[qIt!X@._D 8fh$>Q^5+D\sYfL`KTR\K!lRrZʌIl)MʔvIM O2'g!֎gp" 3 %fj9{flCLi,Sq/vrRL)LR)9 bRK*NZI5Sqj8PIHJd`} –/SFP!n(Tk7C-T[. $U{НO8t|4AoSlt g r6郎g q8n2Mfb )&M4FH˞qKN4*Ujղm%Vb%VlŞJҢViVi*ZUT)T BP)TNNɔ)5P*R*R*۞!EJBI(PJA)([l۶mMD(JR@۟iI?_m˖-ۖěf4jժUeZ"E"EI`؂c%EL=Ӓ$[R43mInooM-|۷m۶=33334gضX\F9ir,2i2X]>rxሉiD#[113Ŷ\gmۖ,Y$I$I )HHD&E,b۶mߞm"fn$I$iʹg6ɞiMs36ۙb۶m̴m۶mۮ];r$9rȑ$INd""""E,b۶}9$2+J$e%Hrȑ۹9>uI$tI.+n=BN]ҭׯ__lٲe˖m˖-[3̌f433Ӷm۶g K$)"""""""""[-| ·mDgϸ-)"xa0 ~d ;N^C  ad  BC@b@5F P:SQ !DYCsBfu>?Pkp1]sPq럅.(|Ϣjw28F]/G<ᎭL$0m X+RR =ΨuQ-7Qy!}-#d'3ۜ"s{ڇxr0roE CXi.9nI->z8AJl]@j~"U}1U!XՑ1V$W z*GtQ~ M=0aDӠ¥F'!oFb"B \o*&mO(U *:AqX(T]%u(am)y q2\-MQkT͖N :w;@qZCrL@Kw`{H9=df+CjSu+W偦Wi;i~U)5 01ͳH,ߵHyi\>6}: N ؓuM^ xt)F>e&NSMR^^ePi#$ -= UM[~-J|{V{J89DɈ5_X&d3pxueIyAGgOF']Ó|E;J-].LVEASuʮt ZVTUu(TjU^JFGUXP}j*CꬤQrN@ OgcgSXXUjWT#/ ²)GHr<t'7; 4kP$\;˗tL]23JgC0<>xH[;U@UN<O#)݅dْjL)y/CZy&MPW3]LƴCĖ9 BStۂBgan3?u|ը)tcF>7xٚo0,xFg4pnmEF y&2BC3SI<{Zt(V|tTfUmMJϩsZg3°Jq aixmN$ 0٣;8ʙF&GHϙ Sbed&#s92Nə_$"*$Q4=[cO f8fr)#R >D{FfʶKg $ s%*G7o$O@F7QRWI6igjL\j~VͧD8"3MJe )'tpO6V$UiT?dSft7m>$߈Pe[T6 V2t/BglvpPUTDhu;(x;orZ]!#AD;'ZAېBeE)VEfi9 zې!_h ub&ln* p8~e3?j@ M&#jЕ>S+ }=QL@tV2#fw+8j.¹[4NK`Ⲭ8Oy7B7θz4tC(B7" `1Ф4{mӍls'D !r? ~PH`ԣ 2 iFB̓yd`h~5;۫#!ƯE-[hB,8|t6JD(Db_D/]Ğaibk2gi-S "R\gB,fE ] 2Q܌%"Jc@ڮ7Ue $!\8Q܅_絤Z%A`>0RvM0ZݥX H߶ qRLp$"ʘr] /|^8%&| Ҵ3!C]oUgW-Qprʤ?Kf}ԚU;x 'T 4x2)fyFAсn'8nLWr0rKbn"<x#dOP ]C_!Km)^fiAd([F̾уĉ/#NX q(*Nuy)ǑJQL tr7&!!x8WL;bK>t=EKT!4^I=M& ȁ֙lȡ䃷^ 8k X89]8g@gK@ 4o.x&YҶ UC3A@=j>{"?BV5zf+=Z'ivv6m$mZMClŅEsQC=$o,+hh눤sE:eV_DkxIzଅRIr$~kxC@X(Y1W>_GJ8y-0I9/>~|j0v#k;ф d?Ge4`ß4/ !v }p\FX! 9| w91Zmxni&i[ *\hZwL ݁=%@+gW=-: J$? e77*lzc$[Yl?`[.#>^VT򚚤䈀6rrHPM8͢zS\U+$,&?AK@VF5y`$=SEBBK+uʣ|>V6~eIsHQ*UZ(@W3g%d1IBQC0d.t{~6G$`CB bӄbTaB?GVA(r-<QNz&i^}z"V58ؠ8656zK9EinO 1xtd1lhsC ÄM/ /4 lؾ)(~(9l"j{_ȯ M;:O%+2K &!h%@y^sc4讁kDkGu H$kP&6(aDׅޚc&#Q5ؚ(arZkpzRxC JkF5d/EoYb֐65|ɚn,}h$ dQX^D_ ]?_ၺ fO5DIlDy#O2Ijb|UBTdO 7ǣAc @Q PMT#zj+;(aI烤Zj<톴+(D YL46*b7T`2I_jνtA? F[?4|y%~lhH4 qE:9i&$꽈QMÐRgԂfHE jA g}A3<'á ǏȂh"P,*ܣ0=zN?ҳ:*,&̃4bӋBmsI}'ϠWZΤm(I 34) &b>~=,Wy( J3T^¤5>2Iwb*eeE LҞVY$$ա’Q5h$ ĵSܜzWH 't+zwݒr-e]BPD"6JD"dT  뺮m_۶ڎ9r~׿z_FI ۶m&۶I$IU_+^znɶ[{mtۖ$EnAZ!g333333"""""""r"#&iA#d4!̐#ˆiFlӘnigf"Ji64͇B!B!#gDBl"}۶m۶mے$IrH$gfffffffffDDDDDDD*"RF0"b"&b"""""m۶m۶M$ITI۶m$I$BnFD"ޤoi%gD"6Kp@P?????K;"m?N VdoۙF6m +Qj-YkCQI~!m̈Hmöm۶m&H H$H"$??B!3rD1m۶m۶mے$I$Ǐ"""""""Gl۶-ꨔos@CQ0S $`  @$PP*) zSo†b Xc u6sZSTʲ'LYFBGEʇ3A]8z WT'o"zjeIDJʊDTv u+jߕJ<}<;*Y ;% V+igјnJy+ey^W~E-;$ng$gxuoSǺ26-^Pg 6@ѐQq-ӕ :J& |lF)fMa{6Uհ6}eZMQy0meBujqqd$P "9:w%2UBb`6e@=YX6;e"U{r9˖lKľQ19xrG u;QfNsiM:U:dFFC9G'6;kNPY_3;|R@ 0hńߏogU+sf/*HXTE*}Qɛk<ɿjVr~@:'ylNi+0zSGp6 ,.+gsVfϱUUdjhiƉg*]/uQ͡$9jHKR@i֏u|Qi#j$Sh U(4W;UBp$t|\DߩQrB~aNݠUji*9 96Mx˼H3NIe.LjT)6%,Մ=9n`~U~%O*)DYYu:H۲0Cai99{H)TM: !-iPa* 3{WC>-ݦ? l :;= 7|'~RU1 /Irw/^,D2,q-OԔnJ{pt˥ _. >wXHGm5L Ct7BDɱ }L:&)ܯD5ên Z~7e= Ҝr3ɮ)妙Nz]*+9Z~Ex|j WF`xoH>$=nQ=IP8_$?oB,i~ ,|8)qR7!.2ڈARށ%l+cip91Wg*T*qzJ#).V"mr ݞ$ `5jd9x2IM9zH5g?.ݼ7Sib% I>d 3JPLjԒWtREL*<*Ȅ"{Ql ^IGJ)bR+!Bbr0MR7q'Ùn AU@ T8TO+J'Nqz=*PR)2cBCGmLT|md$56YvZyT22 ;fbzsjgR:1e7Ĉ8AŨB#TBJ%<2ӈFT}SHXeRxz7zw _k FoZEPLTRb|W/+{U h8SSJS+ڔ~Z4*IЌ?wU/Q[o)IrW‡ [(/$Ŗjk+ePJYR%`u%4n[[)rS{Q.e{2BlgY*_ZT#9VMzNS^T[20?$Sn{UKH*tKP4ק**S2EJ٧ fn1PR)YiN&*URVe{-*M:l5KQ6LR+R`, ~eIƲ^"+A`]ϳD8`$Vr,FP;5e_Ty#)xk,4T9ʦkʫ'K02al:MYL0Q$ݔLI!i K;-Nk,R*>#uӘ74j,-n~Ri35Ǹހ9 Q`m/0#"ടĒZTt.SspNbx*䔫)Zt@i;D?-v+81Ii;qx LUi7.~\B'0d1i {q"ڳS-YSfRMmK y8!ɇ09f-Jg/9rnY[$S%XIj*ӎ*b6M`_E\Ml1KPI$M>1 Dtڿ"tGeft27I1DoI[L a;CHvVmScwGfS8Y{fWuO vx)9vkQmv(#[܅LY,QEcݪryd~L:l"Ԧ㑄hygw𮊙9Ka6nJM[ƪ%Q̉ټ)nޭDRD̵ʱ4H8pm0.8*E:vttZZ )1YUc}!VQr'fVvV)Zz7=1GgxTɜ GezL~Grt=_jUa<''dl>O 0q9fF@geL%Tfi/ `h4P $g# 8&\4 ӹOʦ #))a3z{D?' JPnFROVD小U^h)!Gz?ؙFQQ0NIԙ*<pM 4؛l)ez|E*RT"eV5 æ%r6UUUUUUUUUUETDETDEDDDDDDDD0 0 0 000000t3Lg8p3k׮]$I$I2T5DgZ"g/BUCax%r6"T5DgZ"g㗔 U ᙖX8Xp ` 80၁ ,62133G||311G3"晈!#F ?1Cooo[ċ㪸ꪸꪪ*"*"*""""""""aaaafffff:әt3 g8Ùk׮]{{{{{K$I$IV[mFm6?|E*RT"E(mJhaaat3 g8pfڵkޒ$I$IdmV[mFm ???$g)I$'erR&''eR&'er2)29IʤL$11IdLdL11119INdL۶m۶mooo[[[[mooooo[[moooooooo[[[EEEmoooooX`(@A(x@aA C@A  `@m[immVn[[Vڶr{+rʭʭ޶rʭܶmےd۶m۶m۶mVnVn嶕[VnVnoVnVnVZiVVZiVVZ!$$RH!III$eR&eR&IIIR&eR&e)2)2)2)2)LN  {w8  qzb,   HCSY6l%2w߅%i~4#áUZ4eh$&)H Cj25.H乓x./DjwXkWGQcc~8<߈R}nUsᖮ0#μO͌:3=%JNACzt+AܛWwcHmZSl?iοw]4wҫvc<쪴 ΣWiNE6@uZ.BE{ge=i=PjݘXC-ɌRJjKۡ)<@f|`&M)Fr"k^fEZO2A=L:@|pRjD V D1APOaH5d2!q 369:RJpxp< wNV"J)z+d{"HOȹ#by?bX{"3Ag-1=c{L`e lg, 3qCz 2,R|`@3!36 E:3,p#3̓ YY}"؄U!XX3 |S 6A^q9Qt_ ] T)rCG)EG_G3nAЅ/B@b?B~#DA=6($eB.([`A]IFUФ,[6cbWs1p:oam~џ#wۊAfBў8p!$!DO3"A*<<LAiBЁp!er3EiAGH a ]2dURd>th7Y)$TCE"'T`FulzE|BdL9$@D4Nr.]91}]2`uN4K$ҡ MI‘:}dĢEœpN-uǏ ZNeHkAQrcE5~}8އ~p ? xTVPN$R~T[.*|SA<z{)| WJ++#PxN~Ta*)((u''Ǻpˎ9#dGD3(ۥ_{edSi7U5iWYR| *WGa~ |CL(Ky{WW*T]IЧx;2NBpAHtio/{rƙՌ{8 /y/{qǛX򡶛jìS)J:%+١tF)yVQžZu xn)ꮜyjp>2pֵ4C,mq>qmD+eZ cs~h l@G 9ۖH|aii@cƪ(|8޹򒒌p\#WJTwRWbW1] n$lj+)9N:3}X>Tq+pJ7< +𢲾ME7UWEO>JCMr}(W2=U9pW@d%3M=J>Wv5Q"f_7ℼaNO4Wʪ2"咥djZ+|t`J/u5`4kz9 ^VO:S~Z^xTTG5m*^[Ų)U@Ot|WꗒPMMl6Tq+)гeUy`QNp$Jס$zdOGR|[]%n$yW-1Ph k }wU:C.$'t/$1ѓ IfIdNcWUa4ƔW<+YXb *Tr%Y)k JT]1fՊ(F")ػ(KHJ%I V&^aU+(U'UJk] #*@?`;ځ:S}Ѐ *8h}A1RLΡCr4gn֪ζx+2iUil߾RU~kULoX)TYẪ6x_)L*Jb_U/H;%=y#ՉCWK(4 v4n?G)'c Jd1TjH8ҳZ;wnJTwx"#Fa&m"G-I#j%7i"D-Unga& GΦ aff&bfffffff`f왙Or6M3rό$I$I$Ifsi310  p"E,bmm۶%I$Ia"ݒ4$& ?nM A?nMڶM$IIt~,;fKj Ҷm$I$IIn a[%K$rBxVkֶKKK-a^}}a~]~]H """"A$ܤ-iۭ%E.o?n)a!I!EHB]2By%7)A$" m2!C-I!AT e?QjQd+y\NgzX1=}mo5*Ctq08㮩gj멙D tʘPօre* fJoU %Q#[sHtrK'D٥GlPlގe/nQWAuta|)߸4 X.iH^1 ᖯuqqrKxUqZ\KxUx՝qOԊrRgT5%5ƃd >S}}ǝ3%E/O<:ѵڣR(^6M)" $Sc|[Tf!>W CW: 'iRy˺ a\T߻K%1 fYq-*6ٿV^f0d0@`].,(ϻn !]'PA h8{Ϳ\` 5w5 @l2(ER /2#ё@]|>y&HAViAg> JQa!!39 |,lRRZ @T墓A> @@Eȸ}@<mu3@™"ʇYzZͪ(]?m69\ dЅ?, [S ޻`g ~8*`ϋ`E?E*8rG&n$1Z&ݫ*Yi/=K]F!9<.*W'̳䄮i\P4!5jvgA; K|y0R Dl3 PE,WԨ90U^5whMaYE;|eH?u,Ax%`bK~L,YgѢD,@Nl29x9 [M'VIZ,b"9O@(6@rZ"+ߤQl8'BwORlZF;)vZN.9o*b2֌L'tŎKjMZ#0 إT$CTbU-VMص8{9sKkIĉ7ŪN%l=k '0 YwE@pL1?L wsµ. ئVnXP^ %bOރ?5Ll V(@n|8IT{nc%חTh(ؒ}Cob0qlG\cı5{ ՀƕĤc]t`G`:{ێei؝L#ҏ[B䱜ґph!z,V4X_= r9,jkXAK>Rپ >R5%ǖ,<>?,őgbG.W. fIB lEV {8O(B6D+d {:yGaMU.P8 $jKAU,TUl:N ! BvwvEY,ѷu*:Q!YT߾6BH֋8qG6B˳$4P`DYP.JwdY-:!Mdɖ`,Wkw&1C_V@3ndOJ \3XJ(ޭ5Y&aoH'}B>! +]!B}j.}TZKȥz$ &C>>vx*vp\Vu(Bt亀>U܇ 5Y߱]`XJV"47q*5L kF1M`m\?RSCoy(p'k]4,~=Ȫj]U ?u9rQ#XA̛\F{vPo+k  o^vB)CHVMQuDN} ZHymyJsfZ*CHzD@ʞVw@],Q>xBt hepW~|gnuAcrkǣYEy|^eACd^e%@d;5˺ ҹΓ@Ue54]8|~ |oa]K$2O1-7WvrvreQ A"(:pL@nŁr)nO[urԟ>ś(Ϙ^1Aș7DZ!xzFNW"{'W=e .I m?=7wMف7[SGYqg\>CYfN 6ql?* rT\Z]ɅХP{,*T Yh*&V}yV: [>Ctˁdz.XD0ͬH^?4Ww̕CLv2 .6c e0 NJX6[m݂<; sݹ:-$zJm/KiLv),;gA`7XfDF.LtT|%4AqM^LQ+,¯ِE:Fu"@_LoJ?Y[BU*&VUt12 UOeU}xD WYrax$u.|Ux& GD/`;|{ĄA#:n5ӳE[c,;JLԋ M 7|fHkڑl؂6ȅB-?Wŗ95AgROde(OӯA3!Y)r'E^ YB +Q1q4xl+D{ zymn?z)ZG ēanxǹ^𲹍ÂrEMdV'tB5n[ QXFi8QUq1;~R6m-*Sp1'IK+8ZMWoa+Cx] ď  LX*}x0W 7àz*ɰ)U Œ#󚢀 ZWNªoZC2,_ɩhUPndRB`In5~<0T+ЊLŬ?%∳؋م A= %ؐtwn0WbCaK1{!s݃aC"'W1sݝ!Qn 1+J`Ct8bkIt, '~ qX| A遉ُ)RwpWwcBku&[P#? kH)#fDאkH̊_)Fp[>th uAM=a 4n#rNBe@u4eުNl ܛ%iڔ.02{vL]0#:Q63,Gq8257 .w=MSȶRvd@шJN5lYq\ҀoF iwhXa,@$ׂ>QPQTO$tɶ/4m"6~Gs"硿Ү f}q]N5on ip.L*! iA o3Wgoy/C`yg7nčDDD!u2b{Fl"[s]Ɩ (6AӀQT3^P+oBzam2aTCQ~۲:Ċ&]-؉bTd[4vF8mOtWkGNR{ p3y洅CvWњvW+pj'|;&Y5+_TPd^IJ]r$u()RQԺ Q oC\ʲAP;WPŪ4&}R)CO;Z5 1*ynhBأ`^.@r+SeM%9KPLnl#aVN+鿿)%TH)Ww!!RzK F-%"J\={8 @hk;0l.[ؼ/u/P(w&ѱE5ԑJ0˰΢jYx%MzO\e,I _Z_ !Ywj(7#BQ9ٛqScR2gE0SLZܸ dnljV")ƒ]vOP0O1b>M0uٌe Ysx!ѭyb}M^0;0T3sV2-r̽'%]F"O~1`P!-u&^!VR,{(ܲPkz^p9>;TWv.j21}:L]Fr%Ֆ?WoՕ^CJal,/mHl<ŖYG^ސ_ԂHk12jU6|;-vR([{߫Za, IV&t+xyi>4;Zu?kHj~J$C Vh 'T5S*z 嶒 /ZWЏ e~ez%$6lmU)+Y^Z RZQs||ɐj\uz]K*\=Mu-/ -<*0_kr]K{St0r(EcQ˃_::|=f>D95,>%YK楿2YV9E&W+Ce׮Ћsz\ezzkU\h N9%)ZJkBȪ|OWKF|鍿衯aZN; (cSe>)purErVOHr:X-W~u̫~v#С;$HMO%)2ϧZ4J _{mϖz+PL_uYU70Qz_V`-E ؑǟc&N2j医s?Pu'\>bkx-0T3/>iST%N}(zQX9!(+aSƣNmQW%Mb]•x=Z?./B2eErT K-?u=l5R| KZM9zOAu/<o(BQ-ꔏGwGBU\J j ')!Z-DOK:>&b;-} )\D?W%QrXȺ<k G^=T:czXBRwP uyT!XF.҂i[T't+epJkRT ) 苫{ӋުОj/ j+sS^G sN/ur`Yغہ%z|Qe|;i.whjkRj;|DCwdfdV2+ LȄL̬eL3U3CIȜf.lmۤmS)%jΖ%"))%Gd33SSx$ ۲-[#PXa[a[a[^k$I#$mI$I8"$IJ EwBݝݝw yDFiDFYDEdYDy"O<&DHi"M$IDD$9DC9D%DY"I$$$DH!R"H!!o!mHrpl^j;w2>wsy[->lDdD5"1"D2\DSD2H>Ș1#cFgdȘ1Sψ[VFKVF+4m!c-jZ EJr)t(;1ö"D$$ "ST;NնVj[-eղZVjZVv[{koz[oooooov[zKov۾۾۾[[[V[y{n=܎ܚ[sknm-ܖۻۻۻ[II$dLI2I&crLdMdMdM&i&iRLAr[DLx@t 5RJP``!Aa ` A01x/ެ>X\7?9֕OFosOIѵBdגEe25ƺT#˶=d"`dk063p̟ڣGcfN%#PڏTs>Ϥ3[RV7kň3 ^ML/_ K ُ_ a2kW"TI?B^Y 76ʚ0n2db36[m TBSgK84@=#`g.5ӬCt l{bň*qY2 E Cbl1 1׳vl@ǞY{h2p\4glaAaت x %åf/3xè1̌cG L6*pM2eJ/2QX$UɄc"2"-x9c]c?Rf-X6u9CgЙD&)Rf0 IF'ZF21,3Ƌ-fdcc1P8l[u JD36 ,~p!mXS<=p\WfY"Ӳ\+iZꌋcrRo?.r&[2> -^4'|f雀Ɇg.wځIE)vڳ(l ΈAwH,q'رI0y}5IbTy7;E&h;7c2p %.#{`Lx6aىUdL[b\Lm~`Gvlx6cYvìY<k݉_a8ۃʼngW &fq).(N= ?UpPX{)x8,4p>BqbYh3SBϗ޹XX{NN!|Nѝԟ]8̙@xvMf1±١3뚋\avp~9.~guINm9XYEf?N@(`K1Z%ٳHΘv<͖/QXlgUKn6|F g!b(`mY$.[3XKdYr")P@f02pLxTUR󳧂}0Y8•=*-,Lv<k?{ž-cVȢZZ zMEKtvSu:Q\z&gމE^2SGsnP~W AO[n%Essf̋S3-*dG7֭v!PbS!0^]a2녿`9_lbኩE`n"YfӴœ \٤m_q4c'ʬͫf{c&Vi>Ɖ6cPxЛs]SLɉp+3+/!} y~.WA]kݺbu?Nnsl0yF ʸi&e Kƌf5Y$vC3ڸV˙j [i*`鲉Stut[P;!piSs G
-]/A@^qMh0--j|`aE~hxƐl7?jSpl.3`j C wD#r99/Kj)יaT|spW NQDn gO2) nt">/ Aa.s÷]dGp6Ht[I6kň:~ƛvBv)剤TW"ynf"λEUHQZ4v>qPEK"cSY$-i'恝A8[NFB`0?G!{õ V_gF?7E|*qǏ{^xaƖ÷7 K0g`UTr@WЬs/3>!:=uvƬ8A {3AMߕNk{ BbX?HZQm?t?ܥpڞ( l%j^O04/!>GqNLRN (2.d !cG\~CT;PNmKq#bmARŲ9)Nfl:a$Wn/q=)IQ/M)r1g>3oA|}'I4͈2@ml|4B/gFL5iDoPKJ <Ȝ}C2'bMY_)JSN?)bv(ZӉ34ǻi e;mZΧ\p*Dr1|e^PNBi "@f $ߋֶ}eD I&B$y]c2=Nc*_IM2q\C<|;+ EYzz.''wLd@!1R?y Axg;@CLhFA<ݍ;B}|/I;FI zF!5Α C29FM๮vS'!rN;REY36rfqjrc\kT_6L?" g7GLsܿS;iv$M yi).o܇&t(}zx;iLfGw`亱)&.j:oJh:K0c[et䌑E:T!Ϙy B GoԽL/Ќ(T:gk{-=\`6֤r{Ho {3drP7͵|77`fLьZk^aFKԅO&vxӦc¸o웗U Ą =cgT K~/Њ9MRt^J ? IGIW8`2 b7ᦂ]fzDSҶ*)%S+^>"3(JaՒ7gbGen4{f@9z'q6(4s!ʐI1͞$⌢MYThSPgVǺ<$LfJ&kCxtޖi [ӡ hji O9Y q`)|I4zH@3󾓲X\z^@9{'T2O!^W c:\=i2Ew7faBd OKcmv }`W;evq%7:gpquWi:({Ġ_biX!ì_ hmă歇,aDs3tAš15dשB(ҚrI%𭆧'E_JT'ovkiBiHDɆlboBGaXR` PmIsL x!3Ųwk 0PUJTJRI*I%$ GQr%EIQR%/yK^-۲-۲VJ[YjV̬ʬhhhhhhhѰ13lF،a3f鰢 1+hĆqOOO_x۶m۶555555̬dJ6+ٌd3H6#ٌ*Fj䪫FjUd"! HDB&2LL<3<ETLsF7T-jIQ$_^҅xq%}x?Ū^\N/D.8.<yKUf=:SOR~R#lzW*f=DVӃ$G`(lJ fuU֧{C8[1Stj8;+ Q19y fޓNj;0sofvsib,/%{?1u,8YޟZ;7a[b:`,f=zx bƯ{EsgfhjOb =,8E1^KƝ^ZCj4 b! r NX^Euce?wy3̈́s9gHZ cK!zs yP!1P1RtzPy_M1µs̞Ȧs{jSz7sNzx'ݤJܗީ&y?/kl yhY#Db-S|8I-:ᛙ ~[h;=0K&CI O]"Э1(ɘY\Q8";J ̏LsN,6~F܏L(XR`9sxϝQcdVj ? 4PA܃דyW ij Pj/ W8(V-I5Ubv7㻺Pn%ڲWlB 3zo+ ⍭ P8þC4QRvq9m'LU}h~#*Z_ݑj2%{-M%d|Y!wko&:ܤDz5A"wMkB Uu 'xmV2#m =˲ghmX 0 Y70Qϥ0R .Pv:eN)Q{ OH6Dz)&wPnil]>XUsz^,pbH($&IoXyL&_Dݟ!M{ =$ڍʭ2LtDgMz9@@)9]]RỂ95v 7,vhK˚@)͕r®R9j0SU'=XpPv*u#hԄ)c%_|gԷTm%B7C;t񑛦`.XS%o7aW8)xu{])Sye{W4DkםZ$#fhff6k#l?.a]HƅӔ#ku-pKpghp nU%MxnI+X=3~J6[Bp ON'!`aoT"c)i^@(DИ!n-I8:wL?d=<|'%v1/./ﭓ-ql$8_ĽZR٠|*~d^ɲdwrm|[-'O'RVE28JPRyOu%ث oVOrwK켗oJё 7NC@Jx)"ICnOvɯ Kv}+QI̻lHJcݱLq!דw%`7oT +8X̻Lv%nXk+d 1ݒ㒛>ZJQ5J+y6zywͮd3 ͽ%fr\&x?8h„I4Ntmi0=hQzIS]s$߽>C9.=^5ysތVO9 6d>{*SZvɼ`F&%Due{&LHu.ߝ]6!ȿ͒ہA2H&)\#NUzIS1wC_{At%;Vd _h+݇^&-rė]JOUBj Y}\kȬ{.S~ujx㒝fٝƋDY%;n3y=Y>^I+q׋ lWx&֏wg?gl-SFqb7Zb{#縵e{Woq?ǭ=[ZE`<5{GkKiZ.ݕRmT|{U.qb;uk/6Ixޱ;c6yXmDv=G\e{b%G:I"J2ڀeg"D8IxA"IYv'FǹٚKGT8L4ƚC|Qtkh0i7&;?uwJQVǝKT?{5TDsJ;:U͖ͫ^͹f~ZM&gbb J?h.)f|m:.ZRѣÄZ:XRj2_fVlvU%jfYfUq.ASN?/2[Tϊ 95]!5*A\Ov)ʧW.ٝr7gnײl.ߟr>V~eS}lrx I'O^SޏL+YvNrk?=wd6^ʪ]Ҧ;OїI׿*Vf,ӛlw&_e?4K4͢o:Gӧ߿]8:mipє뱘C&^\+`Džyv>N~Ptwb ix$?g(7?r} w#SSç󿮋>ԛ3Q].pnut?D6tш is{GEeSNז F\[vsmٽ\ϵej>זk#|-^^rr*!ށk)M jȤ&h&"[Pڍ9<\ {Š}_ε/3v7DEnc{n.\P(U%jQ DD;H( >JUZQDE]x0#)"4H4aAE@Q*+4ab@&@ rG9)fp1yGdR&2du m"(Dkk1u kRf0 0 0 0 0 0 0 0{u{̱!͝ B׾۾z=ЭYt >߶m۶m۶m۶mU 2lb Bõp- qJ hT(TU /̀bjAQ㽿w!Q$)ڧ̉z [`lJ$$ąH"޶kzYAC0avV&$(*>4qJ> y [c96UQfl(D9 i(*u-PTPT8Pudrߗ!sMsc^ǖN "9a &"TŶ N)S69dD"I pC@@H (bBP a`0P 0 B  @ PyKhOʊ%`͹A3 ɤ?H!*d$P4l #76BXU }5lO')`h^ 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_id236N 5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yܻ$PibDg -z+ޙdF333VRWww,*|w>333뙙gS2%Z!ϴҔz.݆ԶBjKJ)Pp XPB0bЀ8C RqIQA>#APpXG,… ,PP ÁWq8(P8(( ,,Cb!0   qz!4Ēb"!b"FgD q= XpZoa o[dDۚߖҼ}[mۿ-Zv+=OjRwgڬgfgffV:ſg3cΐvyB mm54"I""$O"P8#bԈ"XxBݝr::::::27/'lMI6o6o6o6=x8.....i&ŤbRL#< Oh#m6BaN;;;;;;c1y&:?kog%#})ߏ1??h\9_g,EϙH35') 9#L Z*?]&n%BȬGF~@FD}>p=(}KM"J-@3&$oG)KTK̟?|]T9O 'rU$T%T>wL)٬#]m]b/tԡCN]T !QS`120$F?OϾʰ8d3 $IHj?mʆC~,eb}hLLg%Yoja 1~ g1CApTd9h1]FDb0Al,^~:AXd'f0X\lv>}ńc?pF b=$`T " l vnP9#b2ȈD<"3Edm˶Ha1L= òL/0X0J)ي6yO~8D,D}"tYlLe/XxtmJc9`Ҿ \cfdZw=24~Bo9Pn̗t \ʼnQGDcC@PV.~  t,%2$#SEdւD0(J'.f͂TCY%ѹ8V+r 4 ىAѿ@/ZqvA_jY3ҜRe˲5}n)%E{Eλ ,8fPKSLX`ִej#oXV,0@,-*NQbaPZ*[AbQ4'SV[`#lOy@f}JYjiϛkl50aRc VK,XbWU@,i,vC) V#q,y?02bk YwѴ:`ZIw\/D>?˚eaq״[n[W߂lYF0[ϗϊpQ\`-H1-:ׄlM߻{#TPAD (P $r^ks8L?yec:3øĸ J>*)(dr>EE ,mh'c/;p<^,@_ -d> Hf/56Ѱ gg f2H9z,}LG$634!xCDqD1sdܠy)(O5ϥ`;\`8VR碓L @JqD*I<12[8wZKpd#3;D ln.*P`@fKi"ϗv0D( HRdm%J]WCb5w x~ GA6ID1`\ SAlF1 D.l. IltPQk  '*1@jY"^T?ΡدF -C3>D6˺~YYsK1A•K ~x8"[@%=>_ b{cX/b`IQYJi`sMO UsmgÐ3azCo3 ub.2RgGC3S.8E\dH:$uz0y+@A UD6NJ F-}ԨKY7$b?sE zFK_\ ORoL觵Y2amcl߱Ѩ B`W$P&(XUP%C"QlA׋r%T?$;9@ 4mеq&D%YJ7C(#z'3U&9=.ch4N|mn1c>NQ|4T&Q^8-5]X@:Kz+C0D㒵^G&~w EfpsGZ.<䜊߀YUUu+K,̸P1QyOA40aMj@[13( ]xUڗ4T ꉒfREq1V|0,׻&xKjLGH\CFq\<EuX%);` ˑqfqLe=oh77' tq5ONu߽؃v<9 ƭiD5(hskN=QKܔv{x v9¹*K[[EHS~8y=咱qv]zh ^}MOWYQNWD_2f B"^#}uFF9E%df#?/APa 3NeeEġpU3X}z ɭ;r3Ew2OOӝMlu-(*VlrjښsUBq6#.ݯbMx AA<IG` L @< M L#'D\6Dφćڹe)aBv1_a)+D -mN?2ʳ9@Ka?a,EYrD?ÃvQB2㾓;ᴓ}=bCf1Qח_RyYE~Vw&99WMyR%@:lϤA%ϜzY2;HHl;w|_S)0* @Wk=+FXY[pIP-7XnH sAE::mܼQ'Zqʰ>b]Ѭ@wHM@Jˡ#Es0f?`Ki%NJ.HLw\9J?Js566^3N,kޡ[ a}#L*M =_k^3& &QwGI{f{  a5N+#_Q4z.ҴRT*jI3Cy(4{3D,J #7~G{L&5Qi28>D;/ (-778ԱP˵M-min$J?S[ ʨ2BAH1aQ00)0B!BB 1A_bDI]r͜)dd&>0g7 zXpuB=s9E-+N 4| `(vQ%Z"33RRgm6*~bQG3 KDXe$f7W#h9v}0]+b# rz%*c"[.b1`vF`Gp1@VqXM Q81|:]\G 9/ǖ_~vVՀ!;A>:^>TY!4i\6 (N [5#gPGD1`.̡fw5d#HNCU&Un?CX@4(mFO1L!)pMiIF62 )r48 TMf$܂Oeǁ/U¿h!.t#^(9׽aTy3e3liO-yAB(8 Ku!б mX,uwVғts',X)={a*0 !clx6zyOH9chG;xQ t͠2lxPE{=Q܆h&D7l A8uyfAq+Y[&ZK4X2ظbFxv. *]rV)kUM!{šk=)3`; `PycўBJ1rrZSwM0S$2Klyr2 > bIAؾ2 ZZ# 5W' 6HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1[*l'o6a-s}+=}PYrD<v$@߰Q{fH$ U5 I׍UGy0q88HZ$e!E4J0C\աB1qpx(yRj]n*OxƆ& K3q4/QGky ̂H($ Fa#yq(`8Uը Ńa M,I ˧EÀI 6,F< H$#4 Ej(dq`HAeQ!i@@#App(4ʄ8<!CG, 49HHHgGbŽ.eiHIi >Kim, *ehg! H͢Y&- Y&H,Q$Nz$ (4iDLT8DQ8҄L"0J`\XPPRcH#P(,0 , I$bPu[Dҳ4 fa(8R$BYEI D< #B}ڡYÆutޚiiۨEz-g#n#:46 ꪝQZyMQCj˳K֬x2 1$D!]Nr"pqVzjjiDgnnfff&&f^^e:YY񘋋hhF#":ta^ٝwwzfggvfgxwxw3xw3q{ h-W-ϴΎw(hh?;[33ٲ vTՙG;Cfx[\>B.^fXj+zQDdy ,@S[T&(6xown߾wn}nwnmmݶvnmm}۷}۷}۷}۷}۷}۷}n]vݮun]ld#F6BE"EOС2t#*ttv~{{jm"E׫**^aU#"IJe ")f ;@BBa!HHAAD0*-v,tqFZ̸rb=0eq? [4߱2f1Z{QatqTc-f\9f? /XKWF .}`8IL^)cafF -&[c8PZL -ʍ%~' Z [cj1TZD -%~1'LZ [ cj1TZDB-ŰM0~1'LZ sۊiFm0(HLbsuaT}0Ÿ01aIL)l7&im)Žgbeb27VlL)j,u.3 ŽHŭgbdZq37L+L+n=&۞iŽlŖgbdZQ뙭7L+MF+n={&ӊ[iŽlŶgZQdZq7L+Mf+<&ӊZlElŶgZqo2Zq뙭3VL+Mf+=ӊ&ӊ[hžhŶgZqo2[噭7Vzf+Mf+=ӊ{ъ[lŞɴgZqo2[V7Vb^T3'ЌJ Ĉ! zӄ @b÷̌A*|$aLt3f1b#DfdT w }SSVFa@,Eˍӱ>cp`W:\,ښf!n:pb >DזÇ] 5S ^PDN mr/7eUBbKX[pxb:l H.)0ٍnZ: |&w/:Y Q5MH{8K"L'|D'KDqMy0n QlJh'~FYW Ɖ] 0^gJ(kyK$G]]8N";:ҲՉ ~0mɮ`XFg҉pT >䑪ENgSX05G9Kٺ@&P3.G=boX eZ2a*sh{˽K DSv:^PF)(.[ĂXRjB__At:ku Y C;fD6.Q4\i*t:Wi U HvhW(D~v\goiO.&orZ}bXmlJiZ.R3 Ip#:@V9*#%xZ2gx#V:&"Be^jFIl9be2~$gc98 |*92MFȅjgR*_5Z\pڠhE!C7?Fz[omz[ovy;ovxomO7C7C7C7C7C7C7C7C7C7C7C7~7~7~lo7ۛf{lo7f̐!3Cf 232323232323232323232323232+dVȬY!Bf 2+dVȬY!3t3 EY"Df!2Cd "3Df !2Cd!Cf̐!3dv!3dv쐙!3Cf !_@_AU~sQXcX1-֘i 12ba1ǴXc;U2_D|E"aQǰc^D;Vq專cZԱwʸrlcX`X1/&̸rX1--r  Ea0[$X4,E"l`h0X|0[LE``0,f0- Ń"`Z[$, f"i`H0Xt0X<- E"``x0[ 0,2fEl`Xd0[-  Ea0[d0X;f`|-yLE``0,b0- Ń"`Z-&, f"i`H0X4X<- E"``x0[0,2fEl`Xd0--  E! "q"cӽ7u[ 0cvص͖]{ NJIea"^̸ ySEEݔ!,ŌwϓnS!/DU* fg*7{?zB#F'DxXޫmYNnLŌ[9f1 !VIJbã[eD39{g;ӨDC w2M3.6fBH9\Su2-#% )žYcj S%VԶT5LbNNOڱהP,^.=;m61@vD"i ${V"اO H(XMIc)[b$Qְ[&/Yp^86XٖʎA5g+]Z u06Uk ޖsʘI8ͶߥV94-V僠}lXr/՜ڦ1ҵvL(*CDeSqGR#D,1@[Ze~H\3BtI<1 =gIA5aMX5ŶdGku,JG9 Uհ=]u- iS1n  kT z7(sSc:s2еQ~9, l fWc,9)+iaoiUl~6\} 61&D6|0Z.2kCV2k}Oaƭ_)bީTbƊsf;)2'q|y5c͘7Rk+Z&+DZ{si͸ص͘WV2uĵy653»f?I{*cF).D R-~-~̘lB[2w̆g_6$6"mL-W!6)툁p7ZM.ƽkYk端,>àUVRnS7D.(툯ak̘Ǡ-4<~"ceL~װ\]8ȯ2o_^Tv-_8Z3dā,B׮_ MoFó )2yyJSQl dko$&DTClfk1|ج,Q@M_ CmqQ~k"jCfM f 2U^y|ìe#`tca0ZcRdVB ;BK8jҶ76Vݳ<:& bu7氮l$Dl Cݲa]36޵qk!j!{$q6J#w 7,9c3mRV6,buBkZPkJ4'elP5.CˢXu7+"Z*䓔6>ҚLj/L`c)!kc*z#kZk v1!쀍 ɏ ?>{u=iж˞$U"v+q:$i|A0|<5ųn5(sENdxXqp6!~@}A]!8{?[q9e &TUkXjl46QMQp uiPl|ך5Ԯ KZFL,6Vvij-Z ,6rW%). ~JUKhBB)QaBMlcŏԛk\VJ&(Yz:Rl.KA#oa9* ;/6T(Ջmؤ#.Arhz$ȫQf~帨QZ=a$ kCqM+# dI" Yw"n Y|5 g w`s:>ls׼iaK/XҲblZԡr̃:c$/L|H{^bO~P0lȂa1vOe ,gBQ(/^f{5?*ܚR@_? C/t+H]X`"h6)Z {d[\zMga󳇿l|YOSh}d/s:Lż+ Γr<Ħ*9C[[NU>SA{ 8Jrȭ)jQ8z=ZJ#~6JQqeͻ'7^bYEAr"Y;(fiyHRaM+ <-ۼ<n"ԓ7^팿hƱl!Ea،JS%Sҝ|𓲵%Y[55D9ۜ¦ se8 @i<BGJ"8P(mG?@ hLٰ6Y>pz +_wzc{N.>l1T^8iq`7X#! eMJ\-P_>OO%*+S·Bz2ɘDsJEɴ&h)Fơ^>Xv6ءOw2BL>0k7жUQ4֙>5*`VV{"LvmxnC^S4Cy>_ ]/Ќ%{9ޅa@ȧXL}~rΣԄ?BoS@"- 0ejmguB6Wp=PsV+\P9'vK&a{L20R[WX Yb9i8(fKo2GL,֕Ң\@}"FV>p./ 2Hh=ʅթ:uE)B/t_ȶBK{k؋8T#†z2s5Q'\,H+lP&!4>*vKaҰE?+M]|ܶ CjM׸lY\:Bv.DkrylkWTο\Lǀ᰸( (w1g7T.Xx?XE?,іdnk^n3&y=|l1kk8qW=(|_Cd/]İo`~%(i *h# rI*<~[w<9q=Ƃ\`  稢l3BQ.x ycCL+'z2g\&W빠F~R]jt)l ]*r)taJ](˼.'$nt-J֞QbDKD.IbC;ƎY9)gܥ@ʜ~%r.ZIX)6WJ BW5v\CMP^zQДRƒSz- }2z|D+i 7g(Y< "\ূFP'FtYN砍DyΎ*5AwF~}JE.=]V9UInG7V&ʊa%)*Vu+Uݧ|+z+9%4s7혜O;|Y6s}%M_x*'E'Y-S9a4lxNjdY=c];R&tHb¡oԢ|ړYDVssG;KfbwI֐Xs:äDW*aE#^}FҫH q^Z.K{Kgjv, s?$cfnC ْ ~ҼUyKMh12f|~̔ͪdzL [%FIzKq,473] ͅ3 9VL#+.zqna'=bfG)pKiNTYl&trla͏iV,ʸl2ѕv7ŋ+݉FTv&qA ]&m/Lթg^;+M&$ώ<5L$"S"׍P#P aPh2?@b $@ A P!! @;gQe.]ZSuY+{>Ly #=/М3G> L k=8)Z8h<&:~G2]63<:_D2-'!4| q*E'7[|'g/1$rQ!5BS/ci[+pHTtl"d?-]IQ@ ] xY\cב@|Ю\AJ6;_# ';*፜`ĘcYޚm>f-Bc Ծ{g)9J=2íey,9\GdY VlH%֞N3?т?F@QH[T0œSgV/yHz<{v>r헪Zq2\ jltCVşLcʬ\L. ܣ<h@xxѿ9ERЎaح+ lf01Q[$0gpmY9(y)q7 a{ DZ'.QfC(k8*e}h )/X9Jp!T䨉\pG^8=~ޔ A\ޜԧˊ85OJ[(={A B{-eN4QtNB7˘ CL\O`-P:Ti2 9[xivQ``y!>-Yq$t92pGњ"I>,X4-g:<XG=Yh\D|riX7,Ė&ARSgYM[dZW4hKVpK-aЩg]cSe{p2fPErYv]F27H'kv"Q8m4Ox"po-aD =%P[uM*fPrS!m0ÙY=hq@mSNSRn BܚgB8慠LCEQlhU1in͸^#B}b8MJ¨iWWp"lm@ Sr n0$AL-+<Νyd&yq;"N9bm ؎GA)1F6}VS7)"fpcc[u+O%8Zȣ`¨QjmKJɷ  'ܺbM'Wֱ->U;*!Dv2LGcn;5u0=5 aEKKf7ǡ&nr+Q`QjSYykDD& zi5l N79G؃@Gp$ZR[18`BuUaHV篮X:5H}Fw#K%JC̸ā9(# XfwhX1Yn 2}4[?7ںCQvק1hvWu b@y)q<(H`1gV .6fw/a=q˱$$禍 7\ !5/c 1x)plK#dh =[XUs#$i(=UF7iK8_0Uvq<_nDֈswcF 7SaP,\&k_$PHviS"<3E$֬mfdXe$??}Z4͂e6pDq>I.ذLG:@mkQF f[f:LJ(UXNl fM7([I6gBg'oP_9%Ƴ:^W7q \޸H?6q RTߗʷ۲L+9HlThn|kc3ͦOIwՍ(.\L~m'mz,8]tIXg4zD8]يrERiqYb{}&7n'}RQ) Cv0|f#bnWol$ muDpb>oEsJJG&3%0mv&SѳQ)#8^');lhlrlÑn\  ڶ G|mbV7ޤwbjuսoو=)164^ۺVwnvImmP ޓetao Վm%fS~`I9U-a˱-D(w)3?ئF7wE#posmIA6g;:Dp [6[Ht?L~;[UP= 7o/PTjYӇ-L}RڠpD\ 2N?°~-PfC |:1+% S9uM;c[ѡ{+kj37}#xH[Mcvlt3fLy_G56VzԠüIMcOet7kU]ٝi3nQ/L,/y{<&%,IbwgU{Fn^d2j ~Sykfzpc4oAc۰E-mtMdҬw=n-YZGl֖,0 o+6vDj6s8dٱf06lHyc;{׭{Icbf43ea13d113380cc4b42b577322f4257868f76bf176a74a4593f4606195faad0fee6e7154ab4f8 647081ba81acf75d1ab12a3a72156ea7da74c66b6bc5c6b2-ad1c-4722-ad5a-8babeb512568