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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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 OO"5z4B~ ]/ UHOL-Record_Benchmark:threads=6elapsed=146.945cpu=244.970gc=20.614(/`3UB`u u)Cʏ4aVXc>9;XjN]瓽 U}  H+:\B1]c\ l:y le(aiNX(/ _DKsAƕrKn7e`lj}[xSSGc 1ThEB*i;"d>(/J ׸ Pm ??bMQ M;e)U'S7#zI-IMUnb$TrK^ r1zG6Igs9OYV+3 hsY?̪Q&ﯰӊ%T3ȑ7_To1w;Dk~%ı[W9T(,49y1mH15=Sm))ѤFw:+|cI}3#톅(a?ek.CI-FT)zu'E8VZ{w>U iAҚ8,X V%#]B0b(0D@ h %D! pa4<@ &0D  8Xp`M ,H`h`d`h.BCrC "8x`h 844L`` D!<@ <4`&D0UPQQ\25b3altD9RFf\6Z<id *=*ҹTQ]HHs#SJvg:yfv9M=ћO2##y5G̣hrj#ywsCόWE¦ȳcj9ϙelqfGOyl6iQ ^†d9Cojw2V;5稐z7IZNVdV4ZBcnfnm׻wmv;ZCD9bl:R,ΊLiΪ=F(&쒬1\oSoLXt aI:.ǔ,J*L^cnϛrm9x 1x窫ܷ7kl)[˫jaaʸR.Μ-iIx G¤ڹ"",3>4t]E,gq3Š/wEeh6Y5},[ﰛYi$={FM*'WSX3NrE 6o=SԱ!* ,,uSieE,,U.mΎ=E9[Ϙ4Jn#l/<11~}j#sk,̿<p.ϩXj&8j IYu6i=N%0s@@ $a0(``0`0@ 00[i[3ҭeآf"-[5 '4MިfÓ$mqzӢNBAPTF ] ̀~;S-QhXOFzhF8z>5l ޷SYO-༼6ptL$Fq3^7hZ|_ӡVo)l#|1ᔺAQ=h 88sIf8+{+Ť* ʫ2)ܧ(_ EmfzہN84K .K"Abˠ|vSmH5[>S7F'di1Pk2ix⚠ 5`k{!-m@1ZM ĩSRwj[u1 3˱-Ý*COVe ]DM ޸' ϨPd(jf6'ʬ'`j( [> fHQ9QNU qvM뉔[l~Wd_B|-ܦqS o 6YkÖ/g[Qp棄PQ u#L@-+~F&=BGU৤lkd 5 HOL-Record_Benchmark  95{] HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy48a08c25abeafe98bcf25bb8565b3f355d4506ef(/`': UZP uǥmkQ0 1duR=󊚤zn5I5nXe-f}Bc2Y**VҨ]{o4$۲]do7tJL}"] ]Atfleܜ\vYd$-0$ aTb@'vXS ,KJt4f0&Hfo۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m5INUQAP5ITQAH5INTQA@5ISQS֕ujP*;vp+Vkd7Dɺ`>ECP9mrؘHA!B!B!B! P{b-㐖&;K#5KM.JMbtt]}t#v:}LLt;2f berjiE!ٚi\'h1)QmjJ$ZѴHgv+&ŸI1,njdu1lq#""R$G"34@#-"""" E%i:'"),Y ZgRcRǦR$JJ)2>~n7QMeji0UoI[M M=Kt+~+Ut່fݮ%dDXJX Zݧ՛ܑކ۵1w !H1?E";:9bZڍ9r%g/9me2=0Üpr2rEw eeǜPUwPT2;ɪF8%1gF1Vƍq̚1JcjS+:!v1;':z!v^#_U<:##~x!3'9ͪ+&hT64} O5{ HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy; 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*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#!fK^򒗼$K$K$K$K$K$K2RBc TY (81( ``` `*4Zv1* ^DSM$bE &gT0I=t#Ej[LR(a$uDJ2:y1kriaWdz/Zz\'p!T8Yku-%ک{lU3A]۟殕Kڂ_A9`6c*Fd3^˅"w&_D-ͤ;iTY25y*#n[.FH_ 0/J*2+T\odEo4]Y^niӟk;3b(f T/O ZG8E8@z1Uu* _N{):{凖,=⚝F6^hީЊ"@NA]QlQf6+fJ_niݪ_u2Aґ_͹鐕ܔҁoT *- NtPW c"+.5K) 2x-R)  tg/dRdФza)9AF痕ul-b_d5E_T𐏷q}pFUM씏>dhfum.ՐDhf7m$dfoM"&feޯm!.fc߫/%$ލѦb?!IFq_wˏ}CjSTM?/ 2V:%\* 28/Z WQW#dVdPza)9AnE*EVWCA 2*bPt$݊ C", 'H 2*b((RAF]E D[BdUYA^E E*ȨAё2v+R(R ""+ЫHu1(:AnEV EJWRdVR\dz1 "EG"حJH 2*R r/+5ج9"L3:m+o _6)qzjo=-. JMjޯ=Z-)MN=n?I})ލF=ṇ߯?^^xH[A Ge =i#5B GYBzMgXSe/e 24nS^̳nb$nݭII=sih&>7H1vIgL~ۻ59M/#> 癙ffSipLHi/Cp<5^_3ҭizih>|57c,MugBBO|? jgF !nMNOCyfļch5ܮ;zOgW>3`x tkr^F8|33&͠) z_&8Wn&MWZ˦aę$?bt07,:~s F9ȗdn'$7S7$or7!J: qoʁ3UÛez^$y[F;@1䯷!r ^?oEB֐> #d#e5Y71"KUZ X#]E( Zਵ@kt jGYbJĠE w@Q-j(0f4:nk4cQPRQ֠>p=" W1L8Tk{Cmh% oQG9ڣQ~-D9[mrԚ@a4:Vv-z,CHthF1J5r(G{gЍEoQx:0pEP)pZ5:G ѬA1%zb";I5yC37E5((C(jkFGNcnrע3(Dm~G)$ P:5X]E( ZU0MGn\ifSH*[J)ڦ¥H*ț(BM*R 6˕.G(A0$Z6s;!Txѡ^1h 2EgPG_sfx?S'UR#jG9t[\2Ċ"utm`[C,L(U۞7֭줜yab>Vxs=3=k*?)gX{13)J9?#=ALI 9Um⬓r NLĞ,,E8OZbThHؓ*9'q`&U>kD/NZw1Uȕ'6LjXV;avR <4h1blcA~|ߨK*~a-y2ժ5&C-UGrp&hik (:C:R7rbs"tiAHS\!?"`þ]cyʤ^ͪ|!M|O„X>iTf`0`L5а+UŜmUjI`6ws.ځɍH»T5h0U'*ংJt rd{ _m7IxKOF ^ ^U R^C|lY7iP'6J5aNTMRL5dž"?`nI|\F ^&4UUf+^!& (YA KmHXQ@Qׄͫw"UE%U|30 }@LE;$]r)%kUSq!21p3loE/\@ S% ݯ-Qb[A-Һˏ̶֩ q7KըƟɑr̻øVmX.":oGwQmal̵jUDMS#wѶZ0 &Rd9VDL㵉vVcP,;7塨ƟF:򊱚x;KeyUDrJ7X&g7KRcO,Fc4u~4"ˡr]#ڜ >h QoC ]HPvW~^MTb!8GVaW=0 V6A @ @ BVƨ*B Awf A oD$I$Qp1ȬnA@!aa#M| mU@ė$f*/ɍL ^wKx7joe,QJ~O4kE]Q ecl vj뤀 yo_6*we=6}z"qc3y} Ƚ){8x{0Bj!` $Uw0"Dk0-##&"6R 7bvUy{LT0l_ҋ=a0BHlARqdu䅹'/ENzm9\I:m( Wee&c]YvyWchQrs'A\uBTKD Mj46{/M?!Um2!WﻔBQ^PZB\IfxR A :I%2E}>  ; 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 =juԩ?K_җ߿>>я~=};˾˾˞ɞɞ81QbŸqƍiFi1a Wb-ثjEZVYEVUdYEVT$HE*NqSR)EJRE^E^EH"Y$"(2"#<"#DY"Kd4"H#҈4"XtWtWtWtWtGtGtGtGwDP;CP+ BP+d&d6MfdF2#HU*RUPUĦQ>h(GS$8aP(00(@@0@P|ğ Y 43zp;C!s 1us2#~$x KI${˦ `"lCܼ͒mj%~ ƛ<]Rb$ڋq?wY{IbP{^9sT9vt2g`c~MN{}Ƅ+yq[g3`f䒚J*9nSPœgLrd`|OJ\͛`\2}D,YXXj\m9I7Kp|i~%X,sA9,f}2( 㒋?j/1yxi%QEۚ+s\9i ?f1#S~73r+'s KAdʆg] i&{W";edX g{eIg׮uW96eWr܅WW]e_WBRS+r2~Wɒ+!޲eWWBiؕ8rCO+[)ߕ$߲)+j!ޕ ndɠҕ@|ī+1ϲ߼ѕ\}ՕxkJܕeYkNߕ~V0WaKeWD?'h `J|JdRJB>JgJYHXv%VJu%_xjVqJβ5'J+<1t%[n!iw%ʮ-mbTSRgmUyzBYM~h39Г5w 3%,^Zt%Y`hzpw%ǽFJw%[6-}v%K[%%w%-,Y[x)xu%_7}t%hvJ59ԋэSY?\2eüO/ڧqe|&LN;[ps9i,5W' HHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*% &i̧@ I%%%;@@y;4t3s3 o7#7s36S 'ޤB )ZB )B BhM)D ⍜1"uᰖĄYpeJ x(e*22l> ֞z$PDǤa˟$ KM'VHsa sr+-PlGX, K'&Ҕ޶AӮ-N`&^'PFWLnޯW0$IŋL4bp b/B*D1}x b, Ap9q+nц>aܿybrOt*?WQ#l]Y jO& 5faj+y6:PE7_KSJbO񊎬IHLZ|Ƭ۹'T]m@gjQ/,ӿUe>CM/Rױ@̗`ݘqdRt0i8^u<gH-u1(jUL'DF7{O-*NcX3.m/yFk7RK!1q:guڗ8+<ഗZ*N^Y3:mZ/yGkSK _#%(t ǔ}ڗ{;|'8 YT bc"rh'd3n)hR" !a;P#a#!{~kgrN:1Non,JmQˀ1;Vq8O*+Z }m#+\I3U\S8YV!#kJ{(*GieUbݸ2}%d? y$ (qX~fN5f<dՔUִʔ )z֋ cl Zy3$ >ӫ}+ӹ=k j&[b0f3-E4d/Mg=m ?1S3`h-^D7!d'Z '4$4DQXŐ ?|Q>?'mBiSEd(b4², fD0۶dQDi0 IJd6j2۵j{^[Ļ~MɺzTVU=z,j{4%xKl&Z*%G(nt2mB CX21  @ aA!BDX""\j*eVi>D:# Q u )I쩲><]1XԹj7lj$n s "ȷ0눏\(P )Qڼ1:wU":EjHR Y-9}U0 ޓ)ݦ.f`Ue/J>Z!04o}H+BgJ00kl @RLɬx. r$fdžgBR0̥g= &GQkK ЃbRBՌ̨'"|$_G!~Cd֐ =g#!xPE=D@uiJE=jcs9' * V6R$ىhjH0УzĂ:T2\Oԡjj'M h&lJ UPX)(_`B ] )VAzAVE/H0AȻ2Sq?``MBfraB lRڦ42QЂA bC: u!>pHT F:QAՠ b$rT F zxۓP+"tT)уAA =>x Qk11W1kh c x(T@\B{Wcub,bҮ'5T&&D?<-䢶enDp bCfɩ|4? !Ll7 >νO3XNBECg\%Z'5cFcyGUsLkصv]}apwz &Xa+hI&M^dh"Cc MueRq}5ȯ})(]qAtIVr׎x[t e /bQ8a*tQ(qb3QQә6;tb UDZ] ʯ;x1\YS%8>.F_U&*'lڏE+u%kcj[_7ޟ B m<<1(xŤLV@WݼI1'W7yr2Ww,WtP7mku΀Vӛm+MgVӛ6͵Mg@rq?3I덗&@:TY++ lb?Au&PhvT՘HX#=S?CAqrm0Hn 7&F%%HHE޺MeESy^ C{c6ZL䆈Li?a tJ2KҜc3OS(PP!>Dl5 tPŞQ_`ENt:s'kńDAa(~ ۥNy)t{@54q: GWOc~U`JjI9Z9|Fܵ9zC Pc5<ޤpUY iZքل}OG M̝k:Aϻj8s9Є( R^zp/ߧ ӇP?ҫ9a 88̯!F8 \fpt@Rt2n6*:DKm p?C6J(Ϙt鴅<7xga/ ~'hbDIU]x,;jE_4RwjHѮua*J0sm%.4[fz[ U10Xtߕ,$l( -df|RjA!J=l4h{6ʟJqXچ|;i yD2HgَeQq$_4R݇RE HvlvX^YZmc܂+ 9BLr C]$gӍ>^"oz5<$E=TDdE/q?l˚ 5d ^n߆jödDg"r\eԛZaGQ`)VK_b|.t=| Vq;%sj^{2 [Hu˷ځ}GHIL'yogMsy΋]۝|3Xy4 8ӥ,D;l{G;C[廟JmGQT$7͟Ԧ@Ѯ*`s S vWedSCkmW-$gْ(*JpQRR:؝}p<̤+EM|8yv: ?.d( _!8ҥPth{hr8Q4Mw~]`&D7Z4( g<`+Xd+5a.;Z#":~HC&eW=SuxbL$aQ?oVxm. ^gi7;7 &7͈ќPd1 sc:Um0k 0jOgN 0|1ͶbPlIc&o6xj* Sk* mҨm,{ey0c77쥒I1.)ƬuN[p6(^?S?RrTkVI~:>H80`c@X əNwt\n-dm?pJƫZ#noFťhRހ|`[?^Z:Y#,BSnjuNӄE3g(\*չN8@Nt6y}p`&\7lDHRWx_wN.o [t"å`cN`Rn4i`&no +OKzi$o ֘mݤ8&9'O|t:9TֹqpTɟ&_qf; 2h Iw:Нrm`["e`\`RnM}KeNwaAoxEY(RiZn6'Vh Ga"isi!k?WZͫ<x[sӸ alG] oU`@Y;ӹ.;| c &Foyf>bPyy~"ܽ\K-iySl NGӊ"WӉT;DG+:ZC/uIY77ݜY&5mzI`z1klWYg0B_4i+HDK'O f1/ 줂3-il"Yi[ΝZCͻ* )T5Oշuzy`ZF Dl0wf(Cgtt0y~,3)HSM3xaM#Y_Ӝ΢!{Zmt*XК^u1I,ޱ=A-v0 q)yw[=7*-FhpB(,ň^Moj`g1c Pcxtv;&ZElb=N1EuAPSc/]6qFN4ݮ6,Zkv$LHaboz!l+tޭ*>|UK :Z٠FXV,q ؉*A{ ť=rzTLvvnHG}_β+YW7*wʉ,pK*@XeoMpm;uM*B"E @(E"(2JF(%#b1A FdAFd1Fc1F #B PB(!SbJLy#xԇP_W~>O}S}g}_ן?O_җ߿?я~_E_E_EO_R\K1QLD1QLbR&IQxGQxjL15j5A @///////JJꪫj۶m۶m-"*"*QJTDI$I$Im۶m6l&32#323<̌H~ߧ`#F,X5!B83!BDR%UR%UW]uUWUm۶m۶QQD%*QH"$$I$Iܶm۶fmjډn?a°jډn UNDv̈ Y5Dd7ΌU,VUU5][ִ5v:mhh8D!g$IC9$&l2l2۳l333331333&HÈHHH|mKD6#'j8#‰Ld~~Kt~@"P Dp1Pp1p%+OI}0NxvU[ mrnslF8Đ =vַqv\5cCaC`÷11]Ρjz(\`W-,- 9nf"*[p TydPӺ{>u܈:3GK? DgIu^-ٓB*c-3n"M= h Bhٟo*=|cf$ g 䙝Kpv,KT ~Yփ(CHX` b,,Y;aEW^ <ƒ8 *Ä /,! Q &8^T;R l(pns⯇ɀ"p.H-8P KP H-F ssZ- y3' C(d[~ uTߞ:tk4˯˫ԡQ]=u)Wz`WO0ʷNW S|m)=u*WO=`ʷOXŕW)F9AzyU<*hk_ծXWՉFyԁU~yuPr+:0.:Sr嫃F|{Q=uTמ:`^0唧MrmUTdWԎ[Tn5k #2Lwh1'0ō.x"mi*ű, IJ9sLLJ]UgR N(WeS<*ɎrtG19*1L\5U^JTWG%vSUVTnryT6:*ͪLJ)WJsyQeb &EsYz#ByEwG^ x[դ/[.7+&wԣ]ՍV2GjUFچztT~0ڡ.Rʨ gkФRJ,( }h0 mR޺dAK'򟫠悆 hhڐAc$v 3)TE(Za*RM5{U~4)PBJ[KSJ $?]YeAI b`Ye,JvYC$2՛RaWVV*f}U]٫Қ(FԕKJzUFS:UQŋrŽ֨RDtiڬD"ʠ~6'J_*V]ܕ0}^ZbSWDGN_"oJy|oq:J*^tͫN{IP̫Qŝ͂1#-V$QyzEVjP&N-*Vn pny"!o' \F]B7V?Q *ubr=1)P2ܰɜsP{8O}F䚸tfrqx7ưN31).qO=,j U (} g f2ʧlGdgF d§9ǚdOԹΕdViޞK&W M^dO<"̤O)1s47ɺ2;sM+ɍ6%0s=+dhsL;71sVaS040l&fܔ\3Lk\l,۫LܔR鼱̹):ǫ\yd`].|Ks8esbiыYNe/H7Lfш l^^tD.D7Y}T3AUa㖻 Fw*IoW\*W:{~y(7JA*~8P_YqVܺ2#+{^++3rK1ҊyX(dib(%J^MY_V/E [A龼)ʉ6Jcu0 $~+>:c,e\*oW=g.xo23< wjn`/uC}.̯|VkuWͧ,P6@+G\H2Hf\Vgɡp/d B{#^QϔQڂS֮/P5ۙEjjA?Sq@[ٶfqitz{U)hK,J5;: L>)Z5誋I3LslVBvbh%x:;NY9Pʠ.Inb"˓˕X/ 9%+z+$Vίhl${cW4>=9 K/ʋ]2\i"<%˗B>r7<ȗ29sMoJܹݖK9;9,.yb@hv%p?\4-Ya?M..DAmdo67 oEًuO'Tafl(fH4|v'wGX3f֏t)uRբM#yh^ :˚ń#lt&L /y{ĝ_i?֬M0ó<@AHd8Ou|)?.BTc r6Dܻg 6oeYނ7KҥKnݺkے-mRJQRԮګګUUTچmhچg/Ƿۻ۾ۧ:d8y2<{ٛ={:u՛7=ZX"GC,G#޼yy &Bx͛7o޼x{-Im޼m>&I?޼y7KVKΈcI$YlIInݶnݺmݺ%MIh͟IHDDL?$IX"gDG$I$Iߞ8Hm33333(DDHDDDDDDDĶm۶m۶I$I$ l@m۶m۶ݶm۶m۶$I$I$9333333333#R r3fǖ6H$%ݒ3" l`oHD%׎Ԍ?m۶϶ߟmm?'4tvCal| @D@C @ TRF )Z]69:%$|+ Lτyש8Ђ <1!B,{ fL9/S`6}p2 dgvW8SnAxdUO"@K s1S^z pxS`e-ʒJګ IƑ$֫!4DRez:Қ=7R=i .<}k)WK#pԐ9B5 M) nU⛃JHvfv^!Y+g 3.20Oz66S7E$)aː9Be/զ% h L|kqS8K y}5y)]>>zQm +wLn7HN\bt7!3~ ,=<5t\{4 l5k!9\HWOhwo']j?boMĝޤu)i$ӻkFIV l61gJ{Ԩ'gѲrJmJaFO|:mC$ .>H!q A0& T[?,eŒ%hˆ%JK GP 1y'*GE?`6󗼠!fseQ=9͚>IXO2v:i_mn?:S!tKr_`ۛփ8`.IqJ$haH?{B*yj +ר:R`5o7q2TL+* >zV/M'k RXPtݾ9槤Y4Ik'羜3Žvמh׈T;`́98*nTՆWUgKh/eZ jU0J@=Ch&T _°Th!OUFpzg \$z${07Y9rSqy7GIJjCPi:Mt% J, 74+Rͭaiw)zyzdsvޜi7 t}]]RIڏtα zmRQjT Sϴ—Io7䍳N{bWUUިjLDs2`ڭj}3RL.+7S!6é͐)Lq%K)+R{v58Sjѫ $Q$8.1=@3c`3O -g&2?  b Q?̣hۭм0X(i(vAظ"}i\NTqfq~Dᶑ6D@4KKc BpW鹨!h$~be2)HYߴR--It̰'>ގ 4b?2 tKj*?# ~$Fy2aQ#Y)Yۦ')gU3uO]גFe,ߔ0 oM y'ELB hǰmk032ĩI-2#15(RD*Г>Ct%iq&8͛⢜3 /Iwm ;LsHQ&/@:fc[F1΅ej'8&i#&1ݘ%l=\m=MkL^y' Y.)q10I3c0.޻S+(AP8Ѩk #n&Iij&愉V{ %|Ip:giD]VZ8a-cԩZ%x&QOIdQ/fI-6}.؊Ծ/Sn%3}bN獟ҥ'e'U,+Z)UKdjY K-.5>IM>ks[C*ݷ/̽yb],Sd>0P"–o3~=)˟dvHC0Tv-e?:hA HFg/ǔ땣WעH'?+[*$mkH6H NokÑSCAt~(ʞpqP~(łf6P |<>VR ܭӇIz1j=T[@f1!+:-|F}>o)?甲Din? 䘺pcyy|rAkx'™&ix)6_;;<~|R$AOsj yI. ז8ۼ8/ṃE z@ N֌|(V;ϰ}w{d&ɍ9fb>~8;<6⮞)$Gc_[0RX2YT飻&ÙGA5M-V'9kIړ6A/](^YD2I7%yp_El'Ia@ObtP"Լdn4y0_E^ҩM[ C!F߇c+ 05(t]ـb*z͉Jbd(״ IrF Buz4kHQ\Cא0(fLfjkٚQ"Zk՚EiƧk3kFg-*kn5 VdVXC\; kk}5z0)j¸?j5+^g#fP8@.IQYFA`*!QBȏD}Obi2IK 5ա$QCg@xNPQsK,XG_AC q&"/(QkE?MOMnF8O%D;MNsU=D)Qw&G|O?oShn '߼B 9H$-=D)-J3KcTKFG`*O !)l0-%q4#§W6,&Oؘcx9D ::\ AsF3_$# !%GDI+{Y,qc-dQQ8hTE^D*CFؗmK&L|jDcmMҋ2 fd ]2I7U?[aZ&eȱIOdMFPWtZs5PH~,W %hj]JY) gڒ"(E=Ӛ&¿͙dE6AA ЇCm?.]K:3Ӷmۇ>uK.]tҥKҥK.].]ݶuCMKtIP܇&EdЇSۡv+r#""^gPOv@bѿm۶X؋6BdŢmvڵk׎9rTTR""(#茢[n(QI$$I$32"v&۶m۶m۞Lgfffڶm۶%I$I$IQȶm۶-3# )m۶$II$I""""""""۶m۶m߾I$I*Q"3-)"!ߞiKZD6IM$I$k׮M6mڴ[fdFf6lf3ьZj۶m[{m94-d1iҤI&M4iI&M&M&M4IƢJ(I%%J(QDIL&I?mڶmx ۞ gضm۲mٲmI$I$I$IlRěH$I$IR#G<p{fxBϟ/سgϞ=[lٲ5333㙊#ގs0DA0sq1p`#  4_95țFQLGoϯ_ %']vn(9Hũg#6~j,y4{dW*CEY 뷹DϟxbayK~|IȮ`H$ ^{IDdC %NL!8a$Ar`SrOG%SlNA62x_1e=Ϗߞ icɄyD)cfj ӕ99MFJ4BD*>0 R?ƈiL˄W!I<1.,z? 藡ލfo7}OQ^NKnMN}p,{~o2Q?RH o'pUR>Pn?3jEP_YOjuc^"aՖ;l"fYm&oEH9,yFla%DEfd,lHAGKR%nA$KO$Ȋu P5eBWHRN颒MPbS&ZԶ*w<ߠW4+J;]S i$?=L' PQCc im9*AAJ4T,GvޜA̲"n0wEAޫEʐDѼW.9JLlVSTn.*J]YtEYUť.fZAZ'wER|0oV]"HTkD`~{.U^u[fLe)eAך g]zZtD 3Ҍ5^2"eIkfH:ʡQt|r \PI kbJGUšt|H&j" ~4(ݾ|N6poK6'#Y 6ɕ_$p)Wub+چ%2~S;5MmLCV_&EDu&I1& )wYd7&RY(aDxD2}%7"8hDӯŨu99΋R ٚsK(<%е =c1 D@ɳAs[ qEz$gWvJI M0QsO{m1nU2NOb*|k*%cb|>H^Ok2\..g=߸KەIgE(K`]IBT \|肴 r(yUboB2#ęjmLF&+J>Jq)})Rr?R Z^TEE H.V$߅WR;st鏌X+3aIO1#Q p[I 4 䒁GKL!O?JWWs|WFYO;, +HG}CZT#E`1WB-D Xҳ!t҇B +~cT]h2!eG!fHOg=のnqsNdmTzsme#%z;@_\UsϘd.%NWH7|Us+B)ԽONz-]36ϩ|zSY\,bh0+TV*tVywFso Ql$ !a9q`)$l#ӛH6r L-J1Fh'^*Wk%Nl @&U^P#0߃ 'ϒ:ǵip=MqHlnϕ5v,9O\vz(Z"fj[e&*vTZ}!8I)7BP2ۭ*JZ!-YkSùe}<l%IXHUdf q֞i C =yUKY Oy#N@(ٌL@ F%$j3;(G2-FGak@CfZ@SH#bYl.O DM] ʿ!AA1R{Tx^B΅ͫWq~R>h~4~oLZe:HHZq-'[sɮ,-Y# 뱓Zb_yşmM5l3 H*37u1 fQtͺA9FVR3AS$22sΠo_GIkǒ4@I'6pD f3/=`j:q6: g/|TpCE΢ 3 c! uϖʤ$y}k쏔n(d|\Ȥci:bT K*@Dۦv~[JeE2#3332#332N;Ӷm۶m+DDDDDDDDDD$c[Hm۶m; I86v"GM"1UZF&5Vpa@A€ 4@ $II?_ܶ!?m(BQ$$I$mE~$L۶m۶H[y$/fiDtLmE!o!vLEa&Z1-Vd-tH#I ݶnݶmm֭۶m[nݶn۶umۺm۶uۺu۶n[um۶m۶m۶mLtm۶m 0y۶ m$I$I$$I$I$$I$$I$H"I$I!I$I$I$I$I$I$IZҲ$I$I$I$I,(p   00h豐@ P"D)RH"E)RH$y(y(I$y(y(y(y(I$y(y(I%K%K$Yr֭m۶n]mۺmݺ\T.~ sH1 PF l(( (  D`PCrW*0fMZU@?@?&aKh'd2uBb^r^F8eY}3gy޳mR.T엵DU,ӀSfLE}|n@;FĿr9IUY^ЍnLp;}{,~nt^S%"&Qv1L gU"*CA0UƮ j䪴_ܫ(p hK OjVo|R28_W;U0 f\EB(gxb_Vf/}V/<*CuTQ leQer*֫vt VoukR/E:Ȗd> -@$=x΂I)&0I1池[4vH6[L"2oY[=AnR)?CjfMR%J'GnʇG%pv#(t ?噄,:::PT8Rن|)-#-K=_J%`,pX!C/N $ă1-jȄ60<.{%H ~F2oGߛ?rӰ*>cHXhhR'L-Mץ+c{/=r̸t>c} IBzGz4-i2>l3662_[]3lXzh:a b)d$Q~Zz6z`̕9w]Eq2U@@I li.߶5VRRz uxP1ŭ5=cwVb׎*=c xnL"߾8W!*)'N`PH&RH:>-W.{gs7Z^]UbRדGUb=sz҅<6|}9O$3DY 1WڣX+3vBVrU7Qi!b"QEW].Bbڎ+W{`xRgSEySmp:N]j#$KeP+.\O=hXJ }|<-$uYݾ;=bG,2/S#aQW"65l~(QXv[C?[!PG,Bv`*Ǭ[7K+Yd]zMk3x uj:V3 s֕jPQhTJ.=<$:WumFCb:SJ7zO-C(Uo6%Ffv3J =ɯzoM}̣rV0qFA R2M/&BEH6 2\(ч%EdϿCkh\Kelz {(G >k|Ϭf륇R.Jo *J)|ZWa@ȩ̢gu*}u!D,Ei)2bћjQe>}jdLӇ NjB.- +_՟tثvWL' #y>j+Y?TlͯSDPPlb>.BCU'M^Y8&P[9)3Q-gR.9` i_soGwp*RTy-fD\Dξڔj%??AOLN^VmJ"c}T5WDCMH7Ԡ=d̅:3UXKuo JyF =̏t^4ٌ@17_KT2#AYg"[ P+"3E)cypaY9Ueq)eZY^;#p^)#uoWx;=2*լF3A/՛Oc(sRK5Fsz4xuiL$o>輭rUyggt3ǖK{%i %s&mlEC%y Vա3:3sr1ſOqgBp̴ %/5>BRFO,&a8Sd8:rJ/%W()W2J8)#9Ӌ~#A@NI"ަtL g1N~`VasTrJ# vG.& 񭆯xb+9q64Raxb8E;UQ"FiJ'B0Ei3rMg<Ȉ8`V*DʫE*EI+tќ%duBk-'AN`_b;"j1~hvZ,DU)ΑD@ľگ/z9ݦfHH2 ț-dW3$?H eI)_SI!!vv[X˺"ZχNQWrU ;ؑ0:"!\d5S$:DXF=iݍZRWY ?Te _\Q)Ҩ+GE\N`Ob RT1H)hFT=P8 FpXTʿKFF 5+aWh+VgA AP[d ^WvNXKXƥͣ5AkiUYaU]Hh4$0CcFNh J)HVdT:VVy3~$js 7eR &qQ$s-G)U+dW9rl)Ip')5}99) ^O+c ps+9(ۄlI0Fw16r؝Dwv2p%SDX6)D C{Ȑ{ cI1BrIQZєV|?L✏Ewr?>PFmȒAbTSI+Uz3Yw3 f<ժ%(jbrzpD~KMi:0c=?.WyVqꙮF(z-^%ϥ:EqEY]*dGpe%F P;rbjD ZsGa(B0ᣮ"SSQҷX_fM.ܔ-vԏD.'U L U jmm@TfS򗬪~;f.+X=;JvxE!b|ΪCSzO&&V#+hj[ϐQhp%38 &*$LKQ"_kN&M=*OS4%3w .\MҳZ;ђ[VDܹ~ܒ13ݒmۤI&M4IfnMo%7)B$I$I8 !D_n`BB!B!"B `B!0 ВBB+I$IR%I$jPPP@:uZ! h0  xS333c۶mۖ$Ie˖$I#G9r6ٶm۶m6I4I$IO~"f~-)$i I!3)b5MDDĶ"[ۥs淈$7I!"PɶS5IHp?4\55/cQ` FYp51@OyV:ܙhaj g~xkDRSUI`D7X TjyPg`a\S_pyb rO3Nʾ'7L,uW#P_4}~ ;JAͬZ5\tn~TxKIPIޱ9+FCS (nzTL;RC\oJtQQ%cd+T'}o_AJ"SeQZd u|,-;@g-$= f]ex aX@EU ąIVxj  8Bq@;t'nErW @eݫ6E+,/?"E|/%zs m%Qg٦Vӛj?lwޥYS~ $5 ?$!ucq |RϞl{1>G`CQ$򟨸r?Ðj{Z06tztD+GNGWM3G#h^C%> AqA?dQvtr9 BДǘ:ZQ0SragWCb+aY'j}BjQ$]%%H'S$WOɏR3l yٟ^ZC#QѱV(Ef冠?D()TWOcߝ.jfњE(v ͢ uT,>96hv1Č#O5$XLG#AB,V:\P?D">p/Q2M(Oiaކ#mDUV(W~0Tex PYmo?/6W8xOƪ_S~0Ԅbx 0yXme?`Lr/XGImC~Ԅwx `l[?$ L3X?]Ŭm>('J~ǐKCZA%Ƽ~ܥ#)?iGUzLIE4U`mO&3~?r?kO nB2GO)\h+SA[>?l >-H)wF)gcU}'?w@ds)t͔$*ATf0vO%6~ܴ_Xxnb D%~H -N&cfuW*N-j?aC?;Q vPTvڐ`q=4#@>PTZwzZSe?}޼8XpxP-9>MӠPݧo^yd9ts/*7܇TBG*)'.RF +zؒcEYX $EU+^!X *E!MV5Xq0\-rR@x)sZEQnc%]͍ xJ)?E8,M|P o?m4KBTr'A-棘AqQ4J40K}@:UV{ %wu"{};UH7m{#Ze-Z"oW,'KGFjX|XSLA=[;8+*3Sm=wTzMu4UԮ좐ñQ&`UD&І?E|MmjAzA53 (%ZyL8 @@K,:-,U2,qcm;KnUg9rzqYeR镘1qeeV-h5&e`Ob d纉mը畑 !Qi,Ҡ 35Ǹ O^A٭E[chsb "Nm-qo3)0)*l%cO^ p( w$ 4Pfvf}Z@ C_Qn*A'hBhWo,s <=3f 5UΌ6gu3c,+)UtxF3fU4Y$`TtHp09*.4& <^\fi 5_}=^ ۪=B խ6lr̠]7dd2fpG^Gvj<\(9QQ 1-yQT20R1aC 0ĎVþKqԂrXQτV-'KdK_.5B̝^[qNT"*3 ~Ù&SD@(ř5󗴊dV:hVJJc c~\)X S.&MG>8ZcUϭVCW8)9.7UF6;r)WgpZ*|f[Z,C}_XޭCQM qPХJlWUL&Ӈj`}:HV^+ZuZϟKSy}E1xϿc(8#ؓ,2S!SG:k*0Z)CJinBCVfAI;ϐ:ǎpޱQg%\ YAa7KFw,K'CUGdUmfLWnٰXbXC 5:,e~c`YS QzkMlT賚D423Yjff9^2"gUw^'JAWddN1k(|JĶ7 p֔gi\1YY.e_`Nh7X}R ¨gT' S} v {\Ҕ2mgɔ%Wy + )c()%µb i~HÂ9r@\ gTLUb5&dNK|: MF,cJuSh1EJ!.*j)R>u#WicA%9B|HZE6ȨD*Rd}]I^"XMd6-?}N:kZ&XYYnIo2U$*7"#Y!AYOAT Q9ʖ.^MCҸ E s{W]?+*EC_/Lj-C 308g4:q׿jJY$ك0el_,TO_041HTD&vXí8G(#wD1ae [+1֖Kوb)}iW?LRmrca߲fشК^z"iI7H\'4tZqR7B8jP+\97 Yҵa Zqhj,Rm5@ӊ?ƕ#+6AEԼRs&$"MRc Rs'Djte'Qb;uAȿ}D&&k2Y!8zX3 0l+ Yߖ*#i%9zBc~`}l5v bP? E>t[.+.|ķZyz.ZёC_(HiF]Db+:SjGRLlZaIUʕe1'SP@c B\҄/7T+yX$=b'f &lC±!n:"ņ,&~A\-Yju <b Y+9lȅ,: $oLU? X"5IZ1$cws@ k)!fk FPہkR fh5d^-aؑ!!Wx*,e\ħEttj[*\Vh}>Րeɗ8D0뫽,V'T;bcRC\cmg>h"_p4Rixzu! HՐHՐ*9bcgqkT0Ƒvlt5 ݕj{HFxYc;czbJɉ9p5YfH u]z5A&5d!e&}NJ8ٷJ䰧nX> P ozr9l^WQP`f7?}2xo"0E6º%;/!p&]X(<$G 9bj"`kx}$pAԐ?Rwn`tZ;Q @&"ݧDŽ8 p\ϭNw&4Wְ6wB˃TT^?$?K@-xv&t^|iWؾVeژ ~+KT&|VutPv!pӱP@ǂw>P'kNd%UL,5HY_a5 k/ޙMwiGNmtvzՄ@P]2gԖ|5yb@ȗel HI&>tŤ0!('2 $c|fr[&%bD3! 2ɳ Mͷ7}]VkL%I$rNV3K>?WDZtնjՒ$Io۶-""i!+LCRin"Rp`2XJ|mܸmE("""B4iҤI$IrVKB%7W+Č+*&^iMD $/J$ITj%D+I$UԙBgڶ?@`v:1c139ctPr B[[MlbfH&BH!8Ӓ!Pvr(Č68HJQq0TzAAapX  @ !P\CC s@lF=Yoae$dA?'5UfcVM︲1 &hdW* J-8cbf"_e,Z6wJYN5Pg^߫P[IR\v3U2lC|K؊O㖊B KPZYl` ؀T#Pȓ`>ZFf`{%$q A=¿elKG˼X|De`)JM"^YOq8.aY;+9Vb2sX}C&J>i5)nBbG5^'&̰]?ܚaj$XTY-p&^s:sFcp m2?i p`6zRUBˋ/mq[ImszZBr ØCԫAAmjQߌ*Q]T|Qof%ҲmqYϗ/ޛXv-Тg-/h[:_UÖ7 #IL+JnAPSzcQz5<#;'Փݤ'BmjIkMғ^JEzUŢқ5HwLURCg֔}iζQ¯ ~Y^6rsHX ED`kv ^ݎy/ﭼ29qB#zЏ]lWhZyn>8RsdnD0_K65v٫ZM1)Oz|K/#V ſ?Tc oV: *:ag3UjE.P j;Zfj˻QdOz.t& =\gQ.&ʷZZChC Ba8U؊ {1 bX ?RoNt'7hAf>cT/yjV^S_F Qr pPVKM[ N"5*ճڊ-˥g~7|Y2YǾX3P{{UhրimQG~v00ԉD|ºBqX‚鎢J>A  OD>Yťӥ-:V SoӢ<L$Q*ﯬb1SOrQns@V>";꼅/#Ѣj,K/g[ڇ. b-jTxvENX\V&~QBYbo{ȊKvhѣ ]%:)$veOˆdw7]Tzb:Ū.Wq]]xj>h .d+|%㫶{N hZϕF-TٳחTDٮ_Z?c2r:9 duwOHoe˱,[)}hmVu 'rpt!)GT"Ed2Yo1/Z 򙮍XB%Ƣ?_:&nI0Kߵso#TW *z$ ߨUu9n̅T[Q )u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method/ 5W# PHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ <j$0$i:~JMNDDDH e(((Xh(ҒIdic[ff]LLDDDDmkZkZ֚2D"Cd!2Ed|`TPP!y' VW)mom?EOtUSOj/j,73y3iJ3S)MiJ3 F(;һw$鉴"=&ޡٙU̬ڲ*Jɪʪꬲͪj%KR2ƈڢ Ό383řVp3?~hdVu_k{\mד\[rmVZoq;nvRovz;{{om{޶Vz+Jo)))))((((((''''''&&&&&%%%%%%$$$$$##CJ#}2R\jg֙22e3r 9*g^9S*gQdD#QƈwwwwwwwwwwffffffffffUUUUUT%JFV eNV !! AdD2d"5gd䌌32$gdd3y_~TZS)BdVE$2#"H&,8x "8ECyyyyki4??3????w;e~_ǟooo___OOO߿[[Ͷ6flm-Ŷ^oz;n],F$@CG 1RJH0HXq0pp0@p@`P0z=5q\,3ufU'cͅց'h2]oS~D mjE2(ck`XET%YGDj.U/E02W~;p̘w_p9)@:FtR^3{AU}V}xu3˴j'#6scDza(m1ߢcղ8j_s}ò_r7ˢm9_%,BqmZ-:V,?(3f31?jm9j#^*<,Zpʰg뙕n l<B2X;$fg\ǔmpXx+l 0yΈyݙ[/ج,m Yx6kb*7mQ\. 17[.qs$ kE;f<}`C(4gK{'Ppe vly>zoZ#֑Ik׊a6bY?P}. 0Vf1ylAUud"l j-D^.l hiG ۢ JD=GlZ}"kx wFhV;|ZYuZfJqa]C3{$hJCgU"X#]NȾLoi2~$.#[JJE514/g95dlzɶ"{Y eٚӱhfdsYĈN6j ,bRybEEM^6I&vRR1=wOc|j{[ƠJr '&ʗXl-gbNh5sSEUtq/U?P ڔ16|T 6KcqJ 9vsښZs-eM+(e EA($fQS%\k N$HcrnQq%c~r󏕸z;r@WCů9+w#_\Ep"ym3j0b*>MUS-wTU 6 ͎>q*砵Ua<벉?Q|[H(TȤ ?;X08uV{ W\+EXuS:BlIpa8K~k0lj0N y`|נ9eS,r/﨡J}GΣ2 *d h`91u<}ޑ!SGՓlRV'M} 1V8+CS|ݓ I0b~ UӇ/y&ّL 4rQ0:ӏ^7 :fH;|0T/eTG}A%[Jj4)}+K3ƚ$#Wg\ "Ka\j3pZ} EEpTc5?> nDO%pp߽ɜbJ`:FB 9SyDAØo9ߙhMz9kXƾGyqq ͘u31CR-4ZEVoW?↞DQ;?p:c53> ):'6{O=))j1&r'4l9 9g0~v]1,AV4r99/s[f˺ș!Wb-i.Dk=L16~qCW_6pN8mo+>3iS v/$xX`ckLPCTg7s@>u0 !X_cu1N}ǝ)˜0#Wg\[i6"ɵƏ61m3 -}"(byj4jn|v`{%'RL:s! Z$hc8bm')G[0UCMxva8g?ыPy\6ZCOFˆjzԼ(1tTCx~J O>33yBugUjY|lC7ZcrW;N]u/QI|Bp~ j*p{%V'dps!>v]@p p`Ŷוg~0B˩C(\54 `oHk@XMla_{[CPSu!e[\R Ulxzԣ"F[G%֢kULu1Yr7q ciKB`xzmy{RCxcOm La F0Ψ)b v]e 5Y1 8'X'}Y"&ghU*} h֩np+=KxJ%4 LLTUu62!o6ڌk.+)1Cʡxl:cyp S4z[0N!<=c>&hH΂'L(Xx8G3k 3=N~wj3*i=4X K!NxztЕK>`mQ/cاBm={0mN>pS9ifJtnlLV%jBOf8qʑ)}k\K3[Q@4fvۮA4MuW@mz7ٿ'כe 2lHC+-OaIU lvHނ>)@ہn $:ęU [:uDQ,C>/rYg>(qܘɹg!7݁5֜+@>~gZE[_E?kgɪ 6i@6{:am!If9QwqL(ԙ^_~m qhtFN6YK?*ݬqfLJ'R/gb_ɬni 2nw;f}O7-d;;TE[X6dФ%ېNM&ADgD4 SIE/A/@ʷN0m'ϰ#M2˵&(֗=A[\K(Jo 2;^?]4Mxj=6n[MLheMPr@ tl fYLtD&O,M)B~HR^;hKAt6BU,+;D)2{_aD?Ăk?x͐& @-N8M7z`+/o`FdMr>;F*tOє3'sA; 1؈͛q4S(lXZCAQLxKE0'VAܷMC*Φ2ծfd`ss>ugB/"36Q5&< JKz +g6ɬ(HgxaMgti јXJy:by_aD^-(q\8l\\.@M~T8?݁7"\,2o`;mZ :~2/H7fHe\Fi(V*t/&*K>53:09Ug_9O o6n"B&Ν 4TAD d#l [YlTdvmT bL7Kd^M3Sdazs42Q1&6(sk)q9nSW l0bѥNnW{\=v.`3~r PT[>g]͍K&]Olae翭%\"6fvg;6q̞HrԕVn<|O}Sӟ?//'}'}'}ҿ>???VoVoVo0ZUp53nڽww);;2uM ¹pg !mL9r;h!kݸwGȸqfnܸqw׫#GG7Ry b )mx@H(P(b1@   BB7`$+I!A( 'i$@ J ǭ>a@ BA0 @  @ 3 B g$Tԕ FA-!`/2+I_`v7_)ʼn*DaY|Ax\LoV(`shg&, Hށ=@#4_/uEP&@3܆l6j^N ڂ>1CMtfU!GX7+[\+\7KSONˤZ5LÛǣHĂ+$/N||u>$.tj rvʲoh&Jre,'>L~RhIfy L2C{B\ ߁fz_ r]ܢk.;}P.< .֠rό&!aC$Ca`0,WGv[:},G4f QD9.x>ɲ(8 Sh'xpzYOB*"\bھ c֨nfW7Ci'ynGfVH78$aRy?ݣi&U :hLHAfܟL8:̟|EQ6CV- ŕKj`eql+kɟT 'Qn᳣jEVcz[>?_B%w/[ȉf<֝ JfǶFG8FZ?L̍ ڪ H,iNf, {T*fU$s(wVaF ;M8/fƳE:VŠ bHkKXOPDbVe41+7Ꝩh< 3%o ]\{DS=d4:]Mh{ f/FBpLKF>Ik~Vz,d$.ML9 ~F7Ao=A6Fk6T%:ky( հ/&LҴ-?R~۽]fK0Jy;)G.DP#,o Vώ IcI$k@Iӆ'}~+K~(d `iQd vq̟{'- 2̬OG%-ެ/CCS) WN2].!MQ@="+AWܧ;;[`𔐰IaO)](TS+yq( 0Et 3 `w!q(^ aNhh' v_ذӘG{oz}E6Mn1 hyTȭתTD/K[c5xD&Gd 4{]0!ΓZg! _~m&# 1D9Q\ ,P |`&6Ew~@Qm1o|b^k'6E !@:=1fP<)4K92Y3w:a;-YgS2Y3휝tB;orNhsbb)uƜvL;x3NY$f998;&&S,'ͼSr҉98wNM:fΙINsv si1:8'YΚiy3uBpgN3f)5uƛq:%&95Ygie977ᴞ:gf9i杒Nq 潶Y=~efusx1W$] nO$ i+tsOKWw,]I閂RP 9 +pNPѕNq(t%S^- ] ᖀS:JW(EWRҕJa8'JZ ST4WܝcP+x\hK?i]fB)V S4!?ɞɜ%Yg s R<#}>H_r/?)DO^''}~O$?9M?I_dor' Myw_f oRMJѴIBV';TL艶9ÏT<DkfUς(~H⹴"߸Z,hwnT;b4n)ڄ}F(Iʥ ䷭!ELy]a0΃̂D9Ĝz&[tB -m;E3Ȑ6$B9^*fl\?O?˔O񟹚g$Z   3  5W# *HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/k4vd@*А:'YIC_6^? )ֈؽv7eK.0Ӣ(tRgkwR9󹘏;hdE$:t`4o㷪HeQ PDhV̇8Ĩ"g‚6QRR!fȘ EEyf$hJhuTR P2HBUD=IHRr1hQHJ( iR5J"A s2ŹLL*T(3I3A?0E(:rLIN$#ULAxpF:% a8 P Jז>ז>זUNUNUB;~Z SNոdRtZ1B޺ .[e_חAYI!5CEC="*h6!k5E@D(Q.&jc뮹II0 0 0 0 0 0 0 0co?s:w5:׽Ȟ3۷⊻tv]m۶m۶m۶m۶ZA3cAdlyma7G #\ }B%}@4*E**`Eu^DE<=G$Dx."$Fd",ck2'lYJ$$ąH"^ ZGVPPt1LX⃭M$IPT/|YiTU@|4,Y峰1*(j6H]GfEQ 4_:g j(*(*:FHPY9h,wC暀Ƽ)AQ$"'@QDc^-|S&9tD$C@@H jBP a`0P 0 B$ 0CyKfZO\hoa4o\`f{{E J<  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_id236e 5W/ 0HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yj$0$il?PXUۈ(󚴴I e(((Xhff&TJcc[fjLDDDDCDK34BBD*D+[#I]ޥ!!!əٵ223"3J%J(sr(F""Ɍp#"hfJ3C83̜3סLgf23hBamDck;   0"P4 4āN$(K0"P$8(<(h aAlY0X80(8$D0 0$X`ÂZAHH,X@2AAxA!BÁaPXhp$@((`pA`Ѐ( [>/ -yVF+ʵiY+Cd !2DȘ%2Ed|`  $Q(PoQ^3+߰kvd#y*̛S+fJ33331{WVXEđ"J#[zW"U";C+V*3#34NV5)Y*ɪ*"ѡYQhp:838g ΌL_ZꯟvkYW9rmӚR)g5MͦUӪiմVݪ[unU[Em-T)UJRԜ49iNQOQm&WؓygG/O+e(O!k0tZ3= mhFK$v+ $ML>D_3Yє|aW ^#:$p YN(wj 1DĠπ+ɈܑkQ{ɖ8a9-<i].M@Wmw 3VO$Q'1]Tpk!|@|%  f%EYH`UP6F`@ l+:Õgh逼#Eb Wb)!3I(B#WrTA`">Ѭ=hY,=#ÅMD1専 p{GIcaӚ1nj"n]?O/-W K -Cf~3 Ė&~Y ^?؏ I$٪ 53&0JaxaN(&Ai~i |lˋ}?F)AT=.\<KU% wEgms2H69 0Wz& W.'L^#*ϗKٜ!LX疰KUy"T K tL Iz o})&r)x$;٨S1!E#dA0 =N /.Hy,ATlixNcg\Srw{d.*ڎmF훑znzJغ|I1qw{F4(S,/JJ-#"~dryu m6zv/O4k1WU5य़ڌ4/E} -k1Ch-8*1z$PTM{ _=hFz7|jbzC_Ez*i̭U H P9 {2S寊gS*FkQN0 !D'BP J 4$%(I A L1$$kij:y$JQUH*%~ܫcqBkcvKãx i5kK` c (Ț5t} 1&bw$[.@5gjy'Į ({ &IADi9P%V k:h\tp` CiҪ< s~ 2چiVH(2j]٦y 3Z%QCr&q̑RL Nج$֥q<_H]iZ ceYl>1$ƖH>.E(Wc/g Z-j-f ("YmXTekfA Z׵et sR]Y]:/W?PkA%O@v# dwoJb45640Р f]ֻ[S[ߠqy,.;]ߋ8O8un{q- 4~@m1>ANY%_u4~`%npS-*{^Y,Y4Uɇ7P[cf5\5l>BC 8D*?<4a8 =egƢs0NscXշLCH,'-h q. BAH1 a0(!8B!B" b_bDS>2G}1n v K4e 8-# ܃Y`{&ËgWyӗS %Vp}ZML>7.> vMh.MW)r<qb)r*Rl{'Y b/&1|E$ @.vLƃ#] UFYið!;(>J^H쾼PG>&SSv̿3;(:W9LhDBLvJg$"@ȬCɈnU vm)2G8!W7 ~%,:/F/lr3R*lէ<5y{3S6lXW!k(H}=z8j}"]5͍3N Nr T Mt3,\P2@ 阿Vj5}iE@_LٿчdTD<'DXm1 JL_̄,[@S6\ҭRW!M 0v1T"3D4B1/DIQI 4,*ˠY`"C[C k24%sX{}d8i) ݮ!CBќv6 ;  *%Wtx>.9&,S |0CL ܉k:wBYDOa* rlGl&~>~mV>;!(vCjXxAd0xRpc@d$Df\:`d`CXEϱB=L4$n-"@qB0jЅ^ÓK?aA"R3n٭"RN%]8*ب=ErXp*S7$Gs"CRnrHE@ 3vZme r 5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1dVzn'6mj_3Жܒ L 㛆@)q^ި[̤@0 F ?m -Q`$Hr02mmܣM~y{[T[=jT5iTm\3ѫa(|ըBYyCs١ (,⠡iK m6Fhmm6F. B. B. B{^{^{^{mV[mV[mV[mtFmtFmtFmt;ovy;o6޶6xom6uuss߻=[zVWOU"CEèYE$"IJ* "D1Dt @BAA!H(PAAAf\a~Qh Xl[a⍘HEh¤$1X?L3EcH ,څ?0|1)XTapvL^S|aGLHEj1` ,;0b|C`F0ɘ 0jAF0!Ƥ1Xf0A1Q f0Q09#I0SbQ50v0 YL"Z,"Z b1 eb=h.F4sQL/&AaxQOL-i/abJ,pXT3LYY .Ej`f.L/I1ƢzX c8Z ?bEXF.R0\&fb )fd3Q&Ut0㊿ɰb2_ W dEie^qLBaRebWA+~ɊʼN\х+~'Ê|Ů2\+&yŝ2 KnKygXbKm&%J;s;gD %:;ΰ3LJvud3-J,u%va.f,񷙔(%fZw3XW*]ȸo2YQZW);tdXTU+qd2S+vɰb2_S&Wt!㊿dE y<`xNZ4Ut2Ů1)X~+91vM0"\aQ/[\m1Tfs.ꇉ0iQ; /yeSPh7e9Ssw+dJ5:iP5XV +aѾ zcbamd Tr\%۴e|#JhZC>fG+p I0xT' z)tEBFNn j>׷0b{ֽpWXnv9yg I;Gk1~d![a8U  *쁱慭"8bRIu~UBILT1ôP;zX'*,$HY_HbD;|24icpL-:U(Γcx9z_$xK Au(k~+ 1/ؐN*a@+!X$Nf=V<23)Q%a%&W41~kȰLdn G,e򳹞!faWA`TbŘe#n9Q!!xK ؈Y+0&xh2ѩvo,,s]J]I%-Ϩ)?[` ycCSXxz PjXٛJ@.`+O/ܕ U+kʥ T%CJw#<8uFJA~[op`ee?.s~vZrH24DWm)qe:q,"Ejd 7{JOfUluAU@YSq,`*n. tdXF2B8ZIi̱*9̉e+y"W1>#sQ à-vL;J7KUઆ =RC6g8:,$@?*aNWF|mVEbou )PVM.r^!$݅O #=zѢE-ZhѢE-z{0AI&M4iҤI&]u]u]u]=zQ|>fl6f\tҥK.]tҥI9ƔB,9ƘR10 p1Bj !̂@!!0 BA@|>ĨQ I a!A( #KykDLy'|8X)Np8"[Ț8]ӓqbM#/P<4]U"*jZ7bG~ȉC69m1?@N/EޔPaG~X$+ҊՕп'"qŹ)?i\atQ 0N87G]Q o 8|tф8U"EկW V'`l4*0&^U\XĔ:"Rq  *ZQua7b/F4f#91cbdl0a03v2vACcLj1`ĸ1e0d2vL+ƌSƌ(_Le1,>ŸhSbXŸi-S bXŸhSbXz Љ^SUMb|tbO^|[|g\^-a6BoH3fK~زo|x";u~ sPY딻}AfگBCia'A~gk9nrxc#~*O6n3k:5 uQOXڠB ۹oWP-?O )T[Ʃ' pD+M?BGuP7y^T _פqu60Cŀ\CЪ͓xF -Y2]Y{ 67~C 3{Vh'lez˖< "e%2ٍ$zwUj87%xqЌLj2ӻau,ao-/\8NkiRֵxB77XAy6=mX`#No6@^ TOqA[Hq_&췯{U$:)NG0oId#;ʻY0٭GlHlۀY@2+U򶓡31cmnyme$=|!ӠRHi{v1inr+5EwϺxDhFOjP(a=Q0X`Mo=oG/̘@Fs 94n|-wozH!¤aJ& &wdZ`sߨb "-ihP8 Dyf=mln:^B }UV 8JG<$jKv7s;hkL+PF{}M}'1W0̀c)>I}mdF:rqi5I;y^EJɈK[XRHfb!XueEn+ъIX^NҪ@-M]Cs`am^CE'1 69[a릊VwG5Ay5&:hCp\^iP]GB6`i b햓AUI4ض4NUm[E>&+[HJh]#6dfDnwͬYܵm`Hb$ynk L9p:ҫt U l3լ'Ax\`d7cPIkр 7SmW?%7Kzs4ULP*FxԍYHHBuǻ`IS$RW)}b*G$]ݑ{BW}+ϮGlL3,ib-$e[$De:}Đq&).'֕+e JH>X$z)9,p{h*waZ,\qAҩ]\ ]p [ IhPg7+m%\Z ~6@$$] P;݅z~֘pgj:QѬEt).?l@CA%dX6J&+)3ߨv(מBi0 %{{sA!DmoΎX%fqu~[JeKE':^lq7!hBydFs#+΋GvYE"Zd o\*h栫#D*ŚisS>c=8vac dT*^Y:[\C԰ڥmF-9N5$RWԠiWg6j6a,"jL(NEw EGSՉά/~s]<4f3eMmķ33WaSk*ZA99.LQ(%dd܇fS99!Ϲ1e@6=o ӕU M!z9(% U;!;i,WƾDs3sS1eI,{ JKl菵NB֙P^ݘ$FjF$^G8b0Yqix߃eŲ^5{O_sT6"#N:f8d“kYZwBA'gDWӺ/&r$ё%!kY)PIDj/!!nk׆|ظz?#&{OHTӋm97;ؙ3P0$4 Åb04 aP(   a00a w"ꦰE.õ ׺- $ ׋Hʨ~kr"oEZÏ7{/s @ǽ +-&-D$r40z!VrnIӶu~h3Wr@RrxscG'6'iLj#-#,O F݈IC=}f(Ua\rp|KfQ6Ͽ{B\6SD]]8Ԣ'7;){N1z߉"%NkX-5BqBA*Q+1eSI+(*J?dnXDz;9y4{2'&ohR vLD[~#'1u%}a&ȩOl!PX:*P.eN&A pE!*G,]B%HIXvf+Etq>+Bm8ۊ.+.7k4>9cѺ׎">!^>BX5\ VY!.آ'GgqGiS$$ TD/";:f>z@49h(>'?z#iJ``(Et5j_"4<-*:{p)z[& hTNw `pH}t5 N0tp6ܱ -@-s8 ci!m::2l?a0 Ȥf3~4#IHMq A0xfq@9.mtk>7;! `|9r0b27 2>趧.a::C(2 `,Xn~?i_u2s_݁(hzcNv'pTqO(bd_KΗaF, 9)RĶf gkUͿrF~SV(0ٱ k,"*7Fd,@SIJa':8cUOR{45tI ̅BƯ+ñd!kԞv2yuNR$uaE3U2C%ήt:j *q0P83n1<"}`B5%/ί8Z_*Ц5tp84YZ&1g*BIvQq gYC!һ{ƸK>ޕhq=v9mѡH@RsgPޅ2/C_YJ~a8qyyen-)D|o48wՖG u `kK@0\Or nż áG3yGSm9^tv,hc`Ih\-|CqF'|F3ZOȑp}Y9eVCwZ,ٸk`US9w(i8BǍsbrxhY#m`g$cY;ygT:iˀHjxFi9@8lkq5tp";:;.88Zf:)8=2JUDO`ZqvJ`K[- s+/w?8Բ@L3/⵽-0MXuF;Gc o0SF]`epZ:l-O|k(}H2eZ.5ـ#˵p8{o+y G">kFCpK C2Z$pyx{Oĭڴ)k{NYFg8mieALѲH |Rb:򸶼; yB{Y;8},2ڌOXE^i#kD'q~Y!=[I2[F@H%ծ7$DkW!FlJ'{yv0i;3~cU{wY|(~]oWl&bn8ّhHe7qVv<%n+ @Y8! cҮ7o~P8ڟmi/XdO8Bi;yHq2JPs(΀p"ezM_6*# VPFhɀ ;>Ȅ :,!狙} Nvt1l吀?JeHm(Z!EY6MǢM5Y7vJ-.^{3p!b]pe彆J+Wt1+j\5O\ kų~3VxG^eI8Od\٘\]`uhqWVPe`{2YRa; 8fnU>̗}] 褤8gv8vJ¦Er]ߪޛ\Iꪌq 7[ ԤTPg=UL˼3JTt-ΪnQugɎLL WoО%!pBß*=SoA8/{LW kGLfWQҵ]F9շG2;P)$r]zknT<8<7d9cgEd*"TF6i}ɰVw䔉Pgt$k–o0{;(k5b-,4[|h'2 - qԭFENx3x'2 yХV|8vi:;QiCMl,[7JcWV86b8b09665eaddd7e4eedc478f559e18c9c00ebb55d97443c4a73a7f2f2ba7aab617db94bb5554f9 36d19a458526829aa8e7a165ce3ae192c1c58aee1b8c4009-1a50-4724-ab4f-310bb5e1235b