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 ||u5ztF` ]/ UHOL-Record_Benchmark:threads=6elapsed=148.864cpu=250.095gc=21.548(/ ]ps +wqv}{!"A6XhJD)D!ò%iRۗ'U1 \sd0cJuXnhj=*((/ _Ks,|mbIM };Ф&.01PH᥃֡0 CіP0r|^w"d>(/U0 Pm ??bMQ M;e)zy6ou*nH3B%l. XF!Z8^u5YIg2(yS;FG5 KgY $d>/NxcW>9)F2)+E#uO.sS5j=I9)YiS㴹زѴa,dXxϞ9)G^11VWܜxJgwtxEn㙑W>s?PٓZfR}y+y MV+xE U;Q+ JŢHW`$, @ %D! pa4<@ &0D  llh`ACt2 Dh`&dž ,،PU!<`XhCCVJq÷"of{jOnb_3Ո&0O2=w5b?O^Յ&skd&SfQvdF.{,MfܪVD<ֲreAryB,1)S£ccF&d BH$"_"^tHȧ.H"*>!3B9昘rƢ.:|S/ )syn~y̙To^RG+1z# 9͑|j3$XD琴 ?|if*D'Y5 k(v?ugpNqe̽zLQ){Y~TCwѣ_<ʭfzܙQS\ZcGDlJc세fK[73geDtk6QB՗hUFl\%fWMl7 RD2 QIKJ +I4%x紉29I쒭jQͣ3RIBru1f]e?!ZeM]: k'w0jEr.AFWg- d~[U_%/Ƭu|AgryƗ]F6&4~;媨5v㸲nN,&UgTXnuV_:mEj*nFyp\scb1cќMf*3kʊ*zDe*4bkD.]-~NEW/̪UoY!O-#E?rn;LEGKEg?L_]W\L솼 Nu!J_Mxt'EŘ cJL*7BBκn2C~֊R:NH[D^UR/h|t)$%0@@ Ge.K0$``@B0B0bBNc^䣘Xr##~ny<嫐RzOuov*DKeJ:к!PzJ1&q*Sپ/ӽNT:,-ڙJߍ);%0 un5:9*Of:BA?),Жѫ$)L.tob@/vcp ~eg7ɚDOe-"hr-TRݨ 6[ 7T H.X&tzIӽOzdIdD䍼@*p "U(վNY0>%xVK>uIB ˮpFoBޣ؞0j|@9I}pUF64Wћ'&~|Hqz!tH}!5k]_ˡʸbB S!.%ݧ,35_h2AyWП"7ZX j^W4 Yla\%Ӑ^ A\D6TH '!TU[κV o1`Xnն E@^}(6ύG?Aohr@ phOP jM Torp>ͭ\‹o*ʚKdκD= Qd*tL@gw#qX {]t*Sb@Mܢ&-u!oٌTuk7@~N<>F9ULTDM?\G:yB(m7sLfG: #]"9#O_q#@Bj$G8c'pd@ËlWXW qxY.cld *Rd$U 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 =jJY1sz՟w2TmGΧ.\OԵc!`GDVuynt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d<4p^65*᪒15H (;7w Ʊ(1Ǚ((Ǚ8)Ɵyޜ7;+185cl:5`VB&%ql8_ UƤS5W)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#!f꩞~~~~~~[ַo}[ַ~ԏQ?G~___y,EH"Y$d,EH)EJR)EJR)EJR)EyGyGyGiFiFiFYDEdYDEdY/|GDH1  H `p000@@@ bja~v#,=TUSo~ xEM\r_5VRTF}Bn%."]᳋T_"U/VT _eZ\Vw 'O"XJ^_[qϵRV og!#ߌ_ mJoS_{/D<11\]f<p|O n,M,;š&1f$k"Bފ@U"~p?!y# 0R96>{OoZ^+iO ծ_gtz601a@?!^#zklNᅄ+?:j LFuz $:s$eA!XfH®景pp^Rer"ݪ9ZHbQڥwVCiZ^JwhQqPYF:0gseNk},<*_VuF.t9S$gWU#8* YJ KRd+Ԭd]$c ׃G2x(ԔjX5_3r#/}5N ^)S~>o O~֫0硿]kOyc=A9Nךx4OOhwnPO̾w_z1O~ڳC>e,:OПnbyh'ľ󧟠(Oz)_MQz=6}`/j Z_]&kj6xN;xX_^\Bk/U|C]<湥_?*כ};ޞ/Wi<ޣQ!W !0UϏ~ sJ=Y%'~-W-[!! .Qŧ\*'B{t{_Wڨg+j=QO"}zf\r"ɾ zN퍢xa?j>'Gxwn-QQ P4͐an%rdVGw-b@4tHECh esۣM+C=\4. EPh& ,2 藢PY0D YU ,4"4m0h@TE.(,zMB.H[a BQ(6Y$*  3ѧD6pER 4E`RlQ@5 4(@AXhEvIW4 Q}SMK$[dBLt% 8<":)΄_ z.E fȷGSzDpJlTK $ZIe$1FI腠 MHT 5ʠK0ZhE:jjdt^ j`zD$46qD4y|D46h6ረhm" nH@X"4`n)Bp6FA!( 1sq -!E,:(C/hEP0]aJ "IBFIMJ6Y. 1ѕEoym[cdys$v5RVYM@yReuH4MH<\nP9[n̜YR+Và8gyMlevV#w#_ҦZgDo*tV/s&@O4]P! Y\N'Cce]EJ't Q7]o [#-5)}.-ɽz)б+0UA"֐zB&/ $X^BlrZ"Lb#ITgXZ_b) ~jYH"akLlE\ x,P87<8vf*TdSTyrT(ǫeSceKMf Y]ocZQ'^yb&WM\,k;QT_[w5z5T3񲁶cODzpV:b>K5/oÖ(qj~-"lzMP[ݱNTOǢ0+7K5/Ö(o5z_6=DΦjufn˭V봘XZ2ʼ]^/+ s`5új-YXu,ϥ2%^ܚ_V T{]ҍkvURc$MZ,6#|]$7&z4cd;%-'UYN^~S k9BPBPpBP €P(Dwc*BqfweFUCԙi B1PLooO$yAvk!n`ap<1 aŽM~R ^H|wPi"g>|;r⻲z\N~eWܫIvBQWbЬ!>٢G}jDx]PfƿxIRv(ðC#X瑛*OA\BD~aQE !6F,A Plqߒ4nܼ})jC "zN15ΕDduȿDr"$FkjÞDHT*3OV UӜ?L ?L mm/hZUqX9dm(<.k+rBkr ĥ) aBYi:C Mמ%Gj*lV*H~E1LjrR)TqOU8 J5b0RĻ )S  ; 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 =jJY1sz՟w2TmGΧ.\OԵc!`GDVuynt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d<4p^65*᪒15H (;7w Ʊ(1Ǚ((Ǚ8)Ɵyޜ7;+185cl:5`VB&%ql8_ UƤS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain  5W' "HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/ajH!@ 9wAWAx.q[՝S:v Q!&$ )BRțL11D C1D [E a,  F"ɹ!9$q7_1?C!u:migڙvV= g>#Q8"#ƈP$>g_܎f$9EJ,$.̂(ژ \`ЀF !#HE"}_K/OS>OS!~Hݿw}oݷu_>ݧt?ܟr_}/Cy?~?c7ob/b'}bIbIbɲdY,Y,KKKKKN_׾c?c?c/b/b/bo=iO{Ӟ6maWWWoV/__U_U_UOTOTOT֭[~z믿zֳg}G(F1G<xD#шF4X"E$"HD" K,8!qUH!RȉȉHI"I$$ 1Af4[D,)-B'hйx/jm0j/WDfJflFgduff rNnqIJ4-M;v1>cpƐư1l1cc?ٗ%A$$! I$$!! $!I$L$!I$Hy$#,``Q-UvLR3+-53;^U]UUE2GDTfƬff~XkK#oQ1ư1d럣R䑔$dgHV '! hܝ]1ff2ff%cfWUUUMUMUD$4JDQOJDҙ1fdRѶmm25c ci@h``p`HxX0xq!H@(P8:4>@8h`HD, $X!B|X880$$8((0`8,  ,8P !aP 2/2/2/2/2/2/_׿_ַo}[ַdUJV*Y%dUJRI*I%$TJRI*I%$SrJN)9%䔜SrJNɖlɖlɖlɖ,Ydɒ%GQr%(9J$9J%/yK^򒗼%/yIdIdIdIdIdIdI))%RRJJI))%Lݝ]ww;I}w0ILfff0#33ժUmU*****)("bIL Li43hf!Z[DEdIDD$IDD$IDD$IDC9DC9DC9DY"Kd,%DYvnЍ7xCn Q6i}US=uQ"IHF"iT" "M$ЍPЌPGh# Yzԛ^{w=8Wh 1a&n6zeَb, q)ڝIɌ"c)Aa|;w|;Ώ1?c~̏1???<9ys<9y|$IBP(̬hÞT€Bq U\* ō1 0D@4P("AZ#5(48`aC  ,HP0 " ((뺮ꭾ꫾꫾꫾꫾꫾꫞꩞꩞꩞꩞꩞ 2eJhޕdڕr1ݕu4A%ˡpF̌Ŵ$)dZ n7~" \Iʼ1i(\g'S}//ղs Y?afpVx8+Y=¬Bpcmx Z]2ܭA~q fp\rïz9+ ]cZî$t!Wʐ_iU@  v]Մ^7JAv ] Jî1taW֐+]eu¯4* WzapY̚ܯ~y~h]Weg)mXZbmYF~AL~vŧ\RrhG6_^S/jiן~K]xա/>SWvqO0ڥ\;S.raWC~]//rO~.<v婫O?LOYٮ:VZr5+YЭn5rk]C/tak]{ؕ=`Wr+%XsUZ#zRbhEtk[MuSi֛nTIYa4lmòK]?@uІ7ɘQО9t)DάLgA<fhv*N5Te$Qy`j:%̖g+,]J`$^Y¦ #gM#^F[IA:0 oV"2,VKT+X٧T\gb[`;VFzd 6`=&Wʵ%56m2XIa,+!=Kvh*AVwbзP3-SYèvg!;e-('m8Ya$ N3^ڰn,23Aκ̮f,U4x8Ƭghrb9!;GlUJ&VN"Zi`ľ9 aRˉBH:A 0ĝJ,jp&V o;iW(h@ f?sW\bi g5ԙ Q? 2bR {?,XĬ ^!^](Z=6=N%[}G]78GRkxcB|ץFsgQz4h{SKVw},#5=e68!JVOD. ~fqRzi{RKVz_Q/Y\B.$6L/ ڶE0!sxQKi˿sz|rM|YK@'~Nl"Bdɽ QRpCR7{nߧ$mVqXϥ׍%fS+UqX)kp<ݸ^v:~%Y:VᶿKc&SwujJX4BYv֍7 /)+Szn\.G7-[L_ )e5- Wd.hܞmN)Vj }u˜^h@]MQc` M2V?;Y4[} Hxh{Y-iW=ћTy e{] yr NYX9/ E(3bOM?Jge1S2`o⩚FH){B((4 q00rH,ْWJ^+y%VJZIURU $?}ΐDXœ4<"D3&y ,N0Ʃh'TJȿ?_TJh>VI$I2HEcB{4!ΔJiV{wf*%D; u2k" C`21  @ aA!BDT""\je:ZPGVC>02B=[-[Zg0>ioM&|3gs E4& JnI(-ŇK~>: DY}j@OVW~_!wvtk ݔk7 Kƒ+]"߇NU:Ab*!kp @!&Ff7 u5x SA KbWU7jnaVhƕ?xbFZ ;[43u>F1?G> T ^.'v.,pŌmufɽP5?k.(>,4R=o$5}8FaCz<ɲjuڄC*hXK8;2L h FȊ !11&#Uu`/f{QGX]?Aq/:3Jk*Ԝh|fj k3؛&_D7#(|_ޤ44/E>0F+1z`I  OjJ^|5rTM_(KVuEX[.W+smS\U5K.+eZy %E]fjkwښvPY.ӝkxb\^S^\uWZKոvҨ9{+]om^:;NQj/tI4H<Ur5?5u1uӢd^x,:o \E+Uw@]XY%Ejñ^^ר_\5K͊rcfgUU2?dfy-Ub8j1lpHclMabٮ|kr,~;äMf, 3fd&WH(;gCQ 垭jSYZ6r,ٌ23r!s$.?=ݢƴL@o6bp7˽Gc`b,kN3ٰH!cXbrٍ5Ars0tpibN.|V*zNەݸ.\OL˅ *O Ʌ1E!'˅a#,'BaKg Ǘ@sq=1|W.TJ'&PC5>uO[i9iɇ9F^[j{t (@Td<%>->\#V/ί}4lbH_}Pu@zm{k[#].qаpSӌWyJ0#yZJAک y/mcRZ&@ra t&@K>EQiA^K7G5F< 奴BO`GøWkK|b(.- с)nkWơ5^zZO1߱-$Lp͡>v``}3 )Y ٶ Qw-(aByb} ?lURb4 ޾PTtFR6)`\;j*-@+!Yj ).h@D N" },voyojȭ4()pǣ$IPXP#1>_ fH1tbwlG&UM.J *<4=b`ҥAOM Zѯ`krnGӺeYs)U]ЀD RX vg5Yc w҅I۟)ސC! L6Рjhx pϾR5Ż.У}/B^nCӇZL8 .]!a72ܳ9ݺ]EvT0E,AYҜU (]z$7 u_uhSc ҄Iۿ-$H O+ߺ&)uRR0dN"pRtь;EMPE|xBᶪ.q5xWtA$ȡsb~}a95֐[|Lw-$0ykԺRt%RxȰ pNƌ;NPE"{߅m3\^'di甝 [/쭋wv׀c;F* .bbT8_XLQyPC`25.Z r ^3!pSb~Swa0  x 5]^Vx:FQQb vbxyV7\x { 'e UQxtn:pgo 8~ˮbldbZC,c.P7 ,/2B(gXPC{3eb^!xH U$WDରJk_#UKLQC wQnOAkpN{+PH Zvu(Ly}s-k?/O1e" 2pkGJ@[H IDdw1F±MsxSc(mwF)joܧ.=<H;nzP+_:'\ h(⭉̣-)NSb=^R&)7C}f ot(2 9jh;@+4I 4ȹ30bMk^-Г2w)xg nS`<aZC^AB7#]K!Idό{,v[F::ߜ*,m#*n ;Ao8yMn9*T5|u׹w59 2w}w@n2&_f֖cIt]s DXV~f/wY "֤UMJ,~~ŸZsd5كeZdf-Ӵu*!ф "V{Jn<v1Kfyw1h.h@?,.{7^UAMakpCt_070Q H5)PEhs{c dwz)»o?-&oiuϝN //OQl4Dl FFE4K>yCܿpj LgYgNE QJ7P["$rAkPʲ;A߉sVpmB B^ɥsO1)ٕú̳t"#-YJg#Pei9Lަ YJh}Z-t mmF9gc &@AtΠ±¤o7b:İo!4'ord>tTA?OԷ|lb77/#qpT ǀrRjIM) q5]tStx:x_+XMX1]2iBc-kLұfO9k޻Jc!iw:|aA! s % >a`eϛRwhgӽaçUՇ;db'!qt2AOr%J8DvzppK*@XeoMp-$6<+3L7q:N8gƙdf23f lag{g{g{Ͷ6fl1[lV܈q#nčr+r+rnm 6ȭFr#7&܄0& cX`,0 جUjVUcX5VUcU(H$ Z%iIZVJ[i+3 ef€ 2 HR!EHR P )v,0IB!!Dȇ=C=R5QK3C!O?O?я~}}}}_,rԧ>o۟?O}rKtCwo|Gh-Zjj5ZMVShh44Z֡uhZf.qUUUUUUUUUUUQQJԶmiviٲ g8#32#32#3a&2$I) B( B(UL_Asifj&TL30|*ΘzHm)zd5d\InbI^pM3Sf'5G'Si- &%I1;ɡ.HKgGy%U–2C ݩҌ1j(]s{UQzULΪj5տ UǨN)7TRݨwj߫WŬG6YrJE Y*8yÅO| H{GEs0;&rS/ePp oQbG]pQkzgrCUMk?QRnS;UQ=TeSb5wT*3sUTUwjXdÖq@jd"߹t;ݫ޾<6A2jcOL#%K:BG\*)"2* J*N3T;UTF}6dWI8jWdrSߩŌ1*'Tdc? h*P]CyH ZCB=hpDS0&J4[,geҬ*ƒN$[F^W@T;Y9^)-*lQ S(B+U]Q┪Tqj/TF*lB)~ŠxK/B՗*LQJTRE+T]Pq_TBjlEoRPU7#:Azu5VÛ,pCC}jTyꄢsO*WjJ7ŮWípMBTSnC* oXrnr0D7TZJ6~UC+]MJ#&=tB 2O0% 6KF |Ą 'GZj8tNtZ .7[;&.oy3٠(yOWjFƉeΛ$?ɫwh$'{乖ͫb.Q962JW)dk1S<#bU1󘜮y̜ȴݹh1,MAޣŦ!ygtJ+¼.cb^u9o󈘎y+GtyṆl9r 9ߑ4ȹcyʹS1)r)MyΐcG9f.󛤖|2U4M0lUdf[r\t*#S2ӕ2)tI:^3zZ4U - ¢mɂl>fkp6B&?oGyݗ SN5VNn1k,[*D15l4)[@<)Fi6I!2Zҫ.R nN_ER>,ȰubfAd: 4u|59 z> zh $[-ɖ[&0Ӹm .xW@I%A@IA 33!Hg}iC2(#HÑ8Hvbb6FhGzGz$4FH`D`TJTZ)T B%$J*RTiVZJWҕTIT*UP)T4A9JBP !̴ $#Baafafa& m۶m6BB!DDDDDDFDDD$I$I$#"""""шhC2B)iy)iyIiy֟$#8 "A(gE/!O|'[|DDQb ~ ~ ~ >C9dIdɒ ~!%"7n\?! ~7IH$#"b-!LBN$Zd%%%-%dcI]ҥdID$d%Kb֊E,$Ir<#8"#8-x{{۶'dF~$I$IP!#̴mm,ˢ--Cضm۶mӦM`5Cȉ^3~fffffffffm۶m۶mC!|!B!ȋEI!I$I#8""""""b۶m޶iCGhQge!BMOm'i۶d!n#0DQp @D@ 0%IڈR&Uu"tth>ehN:up^Ak*9b0|iDom;‚4 vd"HJ}QI5bVq$L(ГVev[H`ׄzqUUv:/~B5@azNw{jJL? ' !<㤓N;}}SAsZ[Γl2ݩ"Y7-d!k7a'(;ӻDJ,U TW)dԈ'gէ-~91sI Lcc#6n;AtRU cdtY$>rǚ-0Įl&9CǶ >y▹4yFID&jC:k~ډI24MWaU/DDS*8#ۧhV RlYo'de3r$Ouǒ@ pfP4?9õ=abܤ6^PK+nkkKhLNY?qάl^MK1ӄtHj': wd]zEwa k42+W.pEs(4:2ZтoK lJ66f_R((c9)jJfJ5DpQb `|/o2i eLxHiYk"rD9OL[B'[fz Dܾ<gʜKJa>N7IA%RU>W3Oi3 ;3,+N|9H+~š1a˘NI{o.ވ%0DމϤ hLoy*_yqn | >26đy=%-ۖzUA'acO ,ӺmR ">9q^>.(G!Mىoq2?Ge׏L!n&wC䨛_P#~15~УI0L=ǵEjQ*JGpo%WKFL 0쫲(w (}0J8!ل:*`K#_H (86"~!uPq{S?d]4$p ?$A_1AhJ?E[iB޶i6"Z0MzJ3^] ]"s5I>h/A֤}iSQ:Tkbp+eB P;r"s%w8O,i4&}7B{{5rWG &+ԈҖommsS#{\GZTx2C.k NՓwF~9(@6xۦqIB4di&E\+_J3*&gʬ.Sjik?%z:IaW` vnYzǫNkiʞFQr-HBCķ'dtj1t's5hd!\: [8BI}z||Tu+캋q^n &xRybșwNRJ)W$(Zq¡oή^tEЦxYIQ!RCxj#,6vC6qꬸ޵U!ӪD|u0{q>ѕՙyF^Հהʰ!d$ޕܦuefZ[:QW9@O6Ͽ I=y dX9N{\TzʆWdxduCPO?<Ç4& "xh!7}~ T?]$1CgmTԝ<`0yi(䝫> OMx +_TMҡg;M$Ȋ4˞Fuf=kk #' 1`A.LʭD.!' @<9avGgQ@Fc)R($-q?x&^1DF]%Bj؈X93>VZ (;29 *_!~u2|FI+\,&:j@U&1_az<W֪үd:k&i(p6m_Im8xcKZu-mOqm\Ev1;W 7 9MK`PBޏѢ |PьVq\2q˕iw9~]=0t~`M2Ng&^=TYAfBM0+N\DI}bǧ*SF(J26iJd6=$nF1?.m-&?zښNX$od?zOLS7M weV:`ΕkK~Sۨ\\$-{oeMR#U߆  'O) $^f˘1$-w3}U;Jx{$}pCdϦ XtB̜ 9$Zh6YhU]6,!t.'deM[:lL!|Ji,f+Ɔ1+g)Zlu-ٰB16 E4 6(Alx$ѝh';M1utQ^x);gF480@$x &+ kl: 5EnM'h+2Պ<&̻Z:()Fk̏i 5f3?BPYSDL FcMIFK~ kP4dWpqq b݊&u@+t՘X5sj ң&T3NAQ TcUm=5-NLmQPSI꣥Y(X-QQШa[g 5 DC&hqj@I@MԠ4C4萝zlf8v: 7(iCQMiz eK@3MLQVii9o襱ti( A-MU+D`4!ɏjy3B=&G6RG׼k37sSFE=CA[ GNdV hFb[3ﯕ9TRIxAf (AhZyMu/4QC14@q+!WvdVUtU{c&iob%X:L&i24E՜]ߨJ&iq歹M8Kh]ΠMF~;ёG0A)$\] 't+zwR-w]eDDj&2)LKv"X  DDmzv$ɍi~RODD"$I%IuDD_kLKƱq<ě8CmqH$I)R6mڴiӦ-b@~ߙt33Lg:3Ӷm۶m۶$I$I$m۶m۶m"""$I$I$EDDDDD||>!, !H:3Jygi۶mvi-Ydɒ$I$Ir۶mdp"""""$I#l"""""""""""""$$HH$EDDDDDDDDDL[R33Ӗ*")?""~~ 1B!B!A̴ 3333333333m۶m۶mK$9r A Ab6m Al bm" AH$I$IRJ_3V3S{fffffffffm׶k׶k׶#G#G$G Inm&l&HTN~ Q s     2@jX}A+QrV6o@gU~ /gHrrՈ|F%W'rC P9u@UHpJiU$M/+=qM.g:Pvƈ7r6 BV}LTN'Ps>r̤!6k~1?y5r7)MiʜrIgϷ~R`;$ytu;e%ME>"Iٴޘʾ&93d0=c󶮐DP6gg;N<[IǧgrBy/ǒEw0j  /yR%M<d?ǃJPȰaAn1DŽ3D"WQ)3UQˢUFdR! F<ށ%Ss3zT;gǴQ%f̱CyG @2Ls RGLxJ|&1d31#w_%cj6&^Tc&<=N5Ŀ#zqZ:괬$ H- Wp+F[zEvTKEߌ%cx#eR:f5 `唐d3G~͹1adB~%oSjFN1O; 2_q. Z1n)V5N10oC'~IOBO!>᜾ϔdWBz!;(>2afVnLC"H7]Tb߳`޲{;Ői*mbhqNL:MrQvYH8URpTR,`IQtcd`| +( `&DlCqmNPP}@D݁]TnI)1"ɫFXS,AIU:@;`SlMYm'Lؓv wO~|wݛ$mFM  {o'ߥ74,/Q!M +ĩvδ3 HYnLKpv̑\5Ռ+eM(`dr5hj:KzIg%$i"L%*ɃzT`jOFEFIT+Ɲ#B JV'WPsҊv.N_^YM2v_$ ՚d%SN+A͕)z*ֽE.^#J4o-3o׻)V:J7+ VwhJI9| yP4 $#g%UڃR8H=d<} 71*}(5*tp[5{WgFd+#Uʧ\eEe'"l?>7y:8@ Hބk$ _'4ؔ`kv9zZKN#ߤf9  u%'m Ri@{F!;u6LD`˰b- 8,Bv*j$o9JNdlcNWzjkNӀ~dȓنkX:L6)ݴR$ f$ I@?=XHX{YɡC_Ìp^|hʶ} 6 C:t@vl>~?''T@ߒ9fs`%6`GI5glw4GIi)HOrqYgjОImYzQ 88O㕒lLO&hv>%#WFajYE7XzB@"KnR0Qr(N_ )W<;'+TtbܞL&XڱN7m͈4+lYK_XMTr]N9{ICYA|@ ^7Cm%48g5 {]X)הHʦl&԰62[yS>ߔ+sO[ͻ/-w^WDp"*u2 yqY,ܠ֬5TmvQȤV4}{t9(8K`Id1ES)NLF9LPRYrע2,ItK\ECt0n|Ab:Gk\ Jb41"EIXnRmM Sw[m:xR Xdcߓ!ԚХw!)~D՝PZ` (J^1MJbST/$ۉ=x.m]Z'ai-ݻZ4D8[J7؏.dk&tP_5]tTX&#s9(KsM=v ,kZ+h2'I. Cjɐ %iҍ*=+#Mtg4KPi͏T8ḬPd4*fK*7RR) фZ(ښNZ; MouQem *]kU~&6QD֬;Oڙ $wIٌVw:LJ,CWJ= s#2k[mxyJdH%m$njXg3bɭ3)2IeJf; Ͳ9Љ仵*O`xG.P͠\ MIPrk:y4e~I=V(VzVW)Qea62~(Jм6f&,0c%G~(ӎ7ْ)O߲%RYS qIW^FX)#[Q&neo@br-H/TZem-d5RJ2}}?ew}lA~AX=ߌnLu2l$h'kAdՂ\*avQVApU4=]zX2Ri%ӓ䨡R@$EB$ݵR̉c[C>[6l.+ 'KcSGg6/GBdY/},F}*ŧdټm̨bZ*xϑ@2um*,WS$I<$:ٓO7Tٺ]U"Ze8_ws]j_竍Nͼ8}v:ʅf P!Ͳf<6醉ٜ>c&*&N\0/A)v)FlJO]TU~Jnff%fL*OAJͻT6Lw#'јXz9Oq@$L<JtO/TN2Q)e4EúyHM=6ʇUť Lo-L^T('>fʦT,q&=iJU qS5m:>AgA'f sk;1qfd57"$8L-W3i;Md JA a!  lҠB1dff}R-˿ ^$ ܄^腄?@ 苾苾苾苾苾苾苾苾苾L1Dڒx13fc!c2!ct1*RP"D&2kժUV$I$I6l6mHCI$DRJ>[nݺu[nݺuۺMMuۆa(rڭ۶mڴiӦM$IKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKCPi4T*IC%i4T* JC%i$ JCPi$ PI* JPPi4T* JJPi4TC_E__E_E_E_EE_(@ X M `! ƄX (xP 0жҒB$I )$I$I IBPH!RH!IRH!I$RH!I$I$I$I$I$I$IB )BB )RH!I!)BB )BR(($)&&lɶllmɶɶm66ȶ&lm&ldM66dmMmdM66dMm&ll։hTs8!z:$   P  g840>nEBB{|s^4JU?#=+ddfgԖX*SY+'5 R\J5=^|%Qrkc4#/Xj? yk0,@V SƾN䕪a2~zٙ, Y'jayTXSxU=i6rN!ͺ49d3KZXL-6yQM#D1>4H8HLsGH%XI9=˛G]ݥW K}D4!5# /Xn!V9!ꀥ)G2'h Mߍl 1ȩ( !3ژ! C=Is.=FI4مe ]l Pu-+rM%{*ޑFH؛u,,k>cD=c#TGsL=cjc}$F`z=cYg,AJ4X֠(>c1X0H2L[t?cGAZ$};c{ƢPToGH8rD wAJmnI?QS{ߑqQ]`Xwbl\-(tϵJE!H4h:!|S/ULn zURҫ0¾r~Td{)UG)%8%yԫѬnWG-U1)SMUWr%|PSrZMjmTb)W-xUUd*UxOE*.9*B;I'itOs)+Ai%I>BR(Oi=U :ƪ˭ gX Dq{>q29i?TB'R?9gGޓi;U.YiiNW3)@s 7vL>1K䯺O>%zTdSL[Ij{enjqiXoM<_NIsYqPXEVjV"Tz]45TԩJ(RqpkP꠨DPSQ.3R%הSR ER7VJR_ +BZ6 t4I귁?.&I R+6Ǥos StJӠߦ\E R? 2˧Ro~\%0],^Epх<ߦq܎Q0@%:xjQ61@9*ZNQ ^?.$`>Iۋisq9vjZ[+GXH\ %CtjE)yCqG=SٞJJ;oAD唕T >.fPGJ |/&f**C_6ԑe9TaEJa#}Z:b:A3R=bdNϟi(eI5qrH46 \VNLpL@GTUrfLЧ8 %x8U)21ЄdEᔼaJs@O=V "8_0PK&d::v4E0hvQH6bxq+1O4Lg etH|GK $R2Uz$gD'[rFdQ-3"m۶DvKF!?--9#/dOdșrEOdXS"*PUUUժn)UDoVնm۶m۶m۶ZVuSL(Z $@p  "C"D"D!"D"Dnənə('[rFV[rF[Oddg&mLT%gDhM-ODvHm jdgDFD4v[rF ނ#nmhHm6}I$I6f<mۻmڶm[IdLm۶m==N+?ݒRHے3[LDd"bm۶m۶m?%3# "8#E1ж@;iӾ}۾}۶[I$IrfffffffffFDDDDDHD""n۶x"zZ4;q*$oK9{kO>05\_Uj!=w@D^rϨ8-UnYWwU|DE@LP.B֊Y6\UIy@2,ބE"N˛9[ ]6gLAɁ kn{B ;U|8W P!C} 5 YCҀx#@EDdypV &Z 2؀A3 Z3m/ce%(VTf f \;=!*$} lÿҀ< @d90g1HWW)@3v@Pg JdLiuvap9GsDfnУ`$$)o_~G?X4ǃ$~x;1'OS^Dl?2F *uJ3Oނ+ 6e2:¿ t[?dӯ`ŋ`NE3YJ"~^d.՗URk) !WkPC F "AX?eUaXbf{nRê1@9_c_﬌ywO;vڣl'=)0syD?c1|/Jo[S UM&&04iI|) Pޏ NtGlUa~.O2PqV-B6ŰXl$?ZFQօE\~% ׏^Gی8?G5~ a2\]gX!S1''~$XuN=bSM?Y%I?\H ~nGGT^su Ene:Q@?{>=?#* 6S燀w~8R xHҺEMTnPe(5D}꾩u,ᘬgƖ%B-"?K cydh q?) A6~h^JyDWYe`)A'~%5CAxÚ B ?ǔl-,=O/'RG~13!s)f~ >= 93 bP9~+xH}}lEPi.>)O>ʼNJ1Cއ}xeg`}xZj| ^jq0wB:WuGa>Qpܧ}%(:8h׌nNwqGQbIPŠU 3&~C!P8MwJf?JE7)dʒg v,~raBY6{NPf2̩yU|[K eT cnm(j("*%$sI<-u _gX",y-c5U抦i[4&"tN}E X:>^7 ơMO*{_Vm"5Z 5&@ԣ)~Lbz$ȟ,C X4|9{jJd;C|ylzT퉻;̩fSgK(yw9APy]qL'U~@#*Lk zRl3UvB?vQ4,@Z߮g!]Sי>u]"CWRf  C L*'dE03#'KA'0GѢ'˂>)q0Qh&Pp`T5+J(Džvv4W#;ςB?|Ez/ͫDϛgO(J ,SoFmf\/(?JB Y!Mm4Z ;045 EJ#REJd :rXS&$2ӌtW>oEskw%SI,Ubbb0FA*5 4.-IF/Q8M^b=&7S3׉\(T)I ՙJwm_ q] TfX8m Sl,W 3\[ p˘@iC|,%[@9 $(3 kgbF9!m6̨c&"x -@| QHaF|$`C0ɸmC`h m2OA~W~S! \!eRDզDPcyom.#,F62 @1 |Bk`'t˨c(jye|`VE|tSv:IzYHYRLj{av2/?6_qj46Kj{Ob8e )Ū+?#g7CN _ĢE.#D;!9U10)rFtn_sț!IBdA'P{qD=VN8EMLdY> [MN讐krzl0 WL6~ ;kz1ʯ> 憑O$ǭçAfة4`RVZ `_ઔ mrWګV@5_"qZGUJ+˯e( ,ե{]24s0V̊Y] 3% uL- ,"ƆC &3zy3#3t6<-t)f 6$R?rlH (frkHkH$( A:%>%2<]CT-fk\͚8n !a.QHqk\H8Lyj 't EW A5;'kj, hʳ];f5<O QŒkv[jX{ݥP+Q)^G m o~7UCVC2N4wlA9Q [h{8T4?KR |h H~U:PJ(YKxP o>ImՐgX,U [ݿ~̩Z ;kcOR]ázr;$#d@o=JGYdF$L=&3uU5oL O@n0HrKVhvd]Uՠ@ J,r(`l="4fJ|43dEsC 8A>1Kx/r(!pҿP={X ҝ$2ʂaчBƙam~sI7KNiZ^-rk+WԱ* :۶R<)(Do(:gbwg2TPtr0v1cHJa*`' wuhʅ.Vi@3o |7uwײ$HLpOS$O>v^ *S˯m, 6V9;a7<Ǖe!(ӱ@7=Y8qƈ;Eqi`̿9xyMB4-Wu+la)h`R;~U0U<:F( P/5!Pt=L? NP,ab55b SVH[SLf#hs&aة@^hm1 mQҋ=HH~|:d ֮P-nKWލR6FؕʜQ1I3i޿wRx{b/2=Xy&VWZ^"PsaMJuܒ2*{U74A?<^)Xu@.2S񓝞+D[iPْ&Jt-*2UQ>7SS%ϔb ѝ*f,\Cf~=/2zSTG+ؔY%0`!MlsMP/VҠV~ٕϿdSjz ^Vv[H.Ԭ.17%rFu1%ɭ>G!Z7/DRɩg DT18_z~ 6e7aff^ O$?p"Г"Oe"AcB@gi~zsO.6 ҖV;0̀pǐVDKaZ8>ԧ1`ؠBl qB(HX[Rjl;M5w^o+& O5WߛЫR-奱]r- s (T(rܬ{bsm;C3q´-zu[^"ځ@4ꙫWkjC (uV0׏L g֟So_5}kOhǰG]|wh^[ȱdxBiA@Aqy׷5Vr\j|lX[z-2a]9CUz;Bu/D?a. 0֑SZb)@5Âz12Ux%ڿ#hKyZ"M_`,J_gL>q$iuN*éYߚ#G:zLӋuf} t(,O_*𔭣Oʬ4p-fu1+E$ ErU {mwY%+% DbmtRK]53muW~_'Մ_:NS5nE.6<L oT.TTLHɿrCuyBݩyo~t~Ej!~Kg.EJpBUnѹzS~yܕbf/E Yܑuk=dįb[`kgyY'*=)3"k*ϝD;⊲.a[sFb;@ztCSѹf)c=e!Jt=#B[oAB7$QG1 j4 V}M̦bG^P4.b(NXŽb/N Ɉ;٘J1գCpW}q-ShUەjR MP<ֻWPb\yåJU&]-N b AA=0p igLg.;䈽|cr3$8bh Z Ń-cʖ abghs]xc)2zq_Ub yS8S]β[G$|؞I DRw[Ƚp%6'UX#x1  |v39 ħcR>ō(ϓn=-Qz[,<FpV-~([{ i@Yl\^\L<2NBf(S}8iS\jD"ȟňԘicf̌YL֙=ig r9x@A(,XXXX/x!QK`FxH5qC# 40(ʪCabခʡ"`P3$XÂZa`A` t@440(( DH(DH08$8P(DhH ‚ $hH`H4  Ō5#Ō3RHXR?z)^'Hr ! o&I)DE B)D B)D )CBF'  II"V_%TII?9I$D?I!BGHݸuwuWkIN̄Fl!3A!(d"$Bg6cl55Z1WU*]յmhV[dJ֒u4"4QGt33cc535CT343zeG4HrU,EH)X%,9K%ɒdɢdQ(Y,J%’'%OJ<)yRII&%MJ4)9䐒CJ)9dIɒ%%KJ,)Y)Y)Y)Y)Y)IR$II$%IJ)9RrHɥRr)\J.%)%)%)%)%)%EJ))RRH;#N(wBNqwݍwWwWgVgVg&YϬfRzf=31Ơn 1Ƙcn1ƘxU*^ZVkZ)Z#IA$F$ 34fbF?a_RG)HQA%yR$`A "BS}>M?ӟg3>s>/ӗLݷv}??u_~ާt}Oܟsr_}/_|7`?/bbbɲdY,Y,K%%%%%%%%%e]l[*>$"( 5RJH0@`q0pp0@p@`P0 D5i ~oY}6OXUIssz|[Wߤ91$.<V4@H;7^̻굔ԙ1R=EYad[1w"|h^窺RI3e/hI̪?b:c^,SJ éR ~I!Hȓ_[ BZ1]sJucm,ꗢj}5]ͪ.U2SZbf[]eIED\ /QZ+S.h5+c4-8kWyULe^.jݚ%Ep*O)ܨKR%CXmH.;%2E|kK~A8[dbV=łbݮ.Ku"d+_W,EoDyMW[RKBxfUĪU~s^:?DS1i0o"Z&5JfP-KTj}U['-nך̂1hCﮭKqRf\ZU[V}UT/3+wWu:RZq"/Oou閲k|TE_0Z?@ 1mhXl\/.ZWbݮK2'Kd۲SEZoľjٶL\6Z:Zؘ.Nڮ 0uBei:劘aAH[YsVmLZY5zpARU-*<-?ZK0PXC<1aWY,gۥoϒP6Nd0CcҲ32[fuűEjّ`R,*$gI.L }F㯌YECb$.]i;SͳDE#vLlɳA!^vYnVK8'>& ,RTq{gQmFO3cTN?V1W,;"AY1B8tR7'Û/.+Uay *gNL XpE# fa2N0>es=% bZyPO&k/ Lyk`G$]mTl-VS'{_U9#? 8'ExjxEOs( &o=< 9jz殢8o1Gp&ƾl&lʄL0!Bv%2),}oD'e~nD{l#ZbøXPPO4Fg J8pozQՇY)!;ᭆ+t*X!h˦bJLh+4B0L1zTq(*drV 항 h+I!v)6%7г 2wdPGOtL<ϧ< $L|~AQ)7 2 :LfHY^6P"`.|R@!B9B%Ԑ)E ٤lK@P@^jR@W+K0C%y8oAؓ`FD淶b1|OGN>AA%ЊXua]}F&aoiCLSLEfG i:>DpRL1=L Z=9EFJ M fw=vw`m!} f>8b)@o4p<|@@ ^xI솃 _G' onl0TCAf9՛XFm>k1!3*-υ*w@g!\:n0 *3VT+SAbl/o8`8JoE]%5DNھ#f\x654؁P oa B;!&2轲j5E;?\cO D ؽb|_ C)`ZNq/칸 δOIɖ ' ſF TlL=(!G95C\#炼|ne@3TLoB+wbz\X59E6(ujD?PAQߪ$Ke$HbO_ LW)zZx}>W6֓QfaX 8H!_B"?uE#H>bBgU} dn*ކpi e.qCTP PPf핱 fv#|p>`#k>˨^8>%pX6oY(@a27ujϜ̾zȹŌeLG B}[sF"!aFFp+S4kbj ]w|ՠ smW I]05M lP(p v:w%XF 5>tらY  wex7`z0dXb۪J]Cm'R5/[j(v$8Ƥ[X IiUyeY$t%[콟Ub\#EHFQ;POf/ ۸ @B΂q?}-JƷNAC3i`ǾB.73&$Ѡ]gfUWۼ6Bt x@=xl-w:=qO)'=_  ,[`SkYH@3rumqap/{_- >V(C+1z:*rTh Y uJ'ͩ^P & ڨ _dCᤍ"hne<5хC|ה g͉; |/@>p>Rv; N8Ôl2ٗh<7N7pe3C} '7mݦbdK>&N(tX5(Y r fMxQ), 3.y)x28L[Ж&7ӝ5%Е.Hq*3 /|  Az'ql"%gLRߵ4|,D>ˤ/-+BSE gscC0cX pQ  0`a",8 аpB?ӧO>{s(<眓SN9Sqs'$ONNN8)N$$dLɛɛɛIIIɚɚɚcrL19&ŤbR V"ATUPUU %r]*xPW%GU[3Rc~5%5kETDD"UUUUDU5JjTPT#LI$I$I$P" c%f)+֕;|=6\G'R6`&q敧矍#q XU>0ܮ߁8VSsN *YwRZ}K8cZ)?q)ͣ٩H[yg-`IVs*bL@ouFI35fvs$Xw>{S(bv} vfۀœV@R<ͶJ^ęTm5G|p'^RF1d=b^ܹZQC=czNlY`$ְA̞qypfBӍ 0g6FV 3}q8g;켗F9 θaFӊZ5]w y-51C+Lf`;ڹ=n'[ρ+EQ z4W7b=-xgclo)dќyCw;seIK-w*~_ H8GOͿ(Vfdhaًbį fr4 q@\nAvukvmRp?==xkzOߛ#{g$Еdne)a1K?=? D„jgvI # 0qVLc.P(&oa%{q$FSZ1ZJ(mI 7o7b?(C45 I2$OThTbnX)gI0"p~"xK-Պ N"2(:38hh[ f<y L 1謓kfip;%|zjaSX$,ovYṗDKSu|O/tf4?;[GwVLnI;}T/|fhz;GI5%wvL~gT}\[fh~Gu5eά~gtgӝ\_Ί-i~Gw1]jeMotg=&97QAD/Hr)">Y2Rk1Lӟق'Lse4I1-d4{q&Ks.So>ryk_B's}.q;VT4!sE'ST4a}ۣ-=}'ߥ|LܗcejK5ў$\2?.^"]8lȗ s+E']ߐgzn _#W:CA:Bu3Hwz~ ;W1쟦3il@%se5zHv7;OZZ#駇l@Jru޴M^IO8QzMvK.g!q.}{wIM.?3=0L?(ڬ!ׯTd $]a=7 r-^+¿dȝT'>Oy) EGD=Uӧp<ҢY^ umʥSΔ?SKt)]ʫ{N)U`5M}9Dh5~^q٧FElxOʉx%A(Ώsv6c.{$\ sC 5W# zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/ku:c*АF'cl?"vo$IHҲ%9*d'5C{vB u.c;GzfE$:t`̎D\fmFGA)E6f٢J1.*LXj i D#u"^Fz&Qr}JuLVJS4! h2):bJ. )JQFRdbDz rIǥRTz B=PLs%(HHOŎ&4TA))ҌL#͇Fh(4[!؊q% &7qlm)F#ѥqBh(E PE/(u%EQTm۶m۶m۶m۶m۶m۶m۶m[F\c2W>ؽd5v/'#|{5s݋k^>ؽ,#|NN ,6kQfbZdhdr0iFrKkmG%kE^|^{ѽ&[|Atܠ(t5Zk0^lHULy$& v|c(jTIQR+d /ڣx@)"40Ba3h*Em΋qL$ 5:%äR  =&N}D&7e(cIn@ڈ{|)s(в,˲,˲,˲,˲,˲,˲,˲,cw۲|mEǷV|N$Lw"|/N6[.բdnݒm۶m۶m۶m۶t'f,g}yFbjqDNx hLW,-fD{!Uh]K$@> <I}@B&, (bl1Rub1e3D8I~-7 遚j% Zn IPTŷUc惡`;Βa7E52Rm" Z 0_uǕ#=0sy#$\;@;Y4zHdNXC +`yHL-ȼbҩF$CFshD$c@@HjS!X$a`0`aAAyKbEx`tXߐ]BV<`ن$Mͥ撥l6^<0jh0. gI v*D39< 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_id236) 5W/ 8HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yʐ% &ȉB|=&HP#!;@@Xh S(%ݝب1zGfF5Mdnk4X3cLj&c71m1jQcѪ""zȦ#U^{؍K3:jִ}t-4DD$Y>ڝVu Gll!&B"df"dfg6hcؘ1:Ơ8W5WCWU\U]ՕZj۶ԒɈhj{i4"#"1ތx԰jf:3!ig3b9g 6jK}Fuf"v!:3b%geeeg,302U۬,T`6%: 6j=;):vD1C6٥Ĩgh-U,dX2'32IEv ufcUFkzFZf4IAL0[cvζH`VB ,\y)"BeeW‹//_ xYtWf_xA~YzQDEдV!\-zBD5ô2^bZ~)rN`*Xv؊EY,ETbVKSQR[R\7-F΋QX9?x"F,zB~( 3QvbQVV" zW&9˄>s KӲBpa!MJղh2a1/V"L`4ːMZ*ႄDk,+B8@p%ª pXh2UV&iXXU֔Y"V6pJD7㑉UQA82LebeQ#0wX" @Oe yTe d0)̘dشjpyRѬҢ4 ] nmd9Ub0 5 }) VZ2l',&aL9 Ct>OQt{*+ x'S^]yćY/DԨ$q`%5HRgarP$94Ȫ<*/I2cd4UDf~I9Q5pdG.QinxVlSu5dDy|&v `LxP8:xa\..$[$$\Ozi^L!0lOp/)uU`iH@ņ]Z >lW`)1+=Xa^xjI m`[ KO)$2d4O)Tϯp/pznd$ $0A `#_7G6Sz4 nfpg6h }NÌ(W .jUW?a#5Z |gDXϏmt~YLg i8E(+/11AHybJU;[)%d!O4ZR/j|6ڒ AphULXo:i8&Ylfec҇ACrr܋dC89",vTdn'AX%o `㶐B>ŦJ͂!z2\'8R}PuL}_VY,g.|̹5`hT1ְU: 2œu{TKV1:bvr:< A8 &GF@ 0C )ƻFOj/1:w|?X;s@gWf-#Rpf EbwP<  @!'p" N 8 #8A"@`%0 8#&p!$D0  H #p# I 0!A  %`MD <#!p@G0 L@ A(!0`F0I@J4  "AO0EF`@@'XF`L  ("`G0@H B  0!8#`"@p%0K @I 2pJ@I   h@ > 88#0#0B&$x%0F`8H B `H @4 ,#8!nmj"w̢ufecNI̔+\ Q5IC.~9Q[۞s!c0~led>ht"Gk 2r0=Ɉäu&չAQ5%K۩չkm{ qvoP/<7]6-flG)..$1` |R0P݁gMD̝+18K˝qk"Cj#6ſOL4 }KL\aoZ:zn{iy ɱ)#LRbU~Iۨ0+]X, ߴbɶc"Kf>Ɩ_u>rb- 1/az--]f(,m 6VmQ]V(~ e*<#tR/]1APK۬1E4ke bD\ڒ+r3687nDYżK0Sl C>7 F p{=v&Q٬x׈ aUg>4 ކҽr܇ЫU]hkäc7S~f̼h/ &#aļ<>mYң<4K[m]],11!O'x a˘g0dkxaU0;# L. aq*k$4SO23ZmFܬlѪG*#WP"4eGiay4us%M/И)Y!CG?%ǁlRpW3 JЙWgtbj.I؜NlyHQ(13Xng=" ]/|tc~in*lUNho:fT6tPK+,B耥x(exgXz`% nzwAf#Yj3{")h cXO)t357 _YcbrMߛ o ]aQkuEzS' ƭ[K. G, XDb; f{`+~E${υNZX8D-AC3c|AtJ1(A >xE߫gڻYzl9T{QxVEK̸=MI4YC&ZifUW\O #x, 2sB-[Mթ:ٶQVx:uԼ*k8 5{;zSL{'0ї)04MiICϙM96 < nrUs ҾY*F…`)(rW|2Pcd0n l ojjٞLFPIYZ ɘېIޜ 7wBd&!!KlbP`x&Y[9># ?lzyCh?aUp>!((C* c9k~!G

~f~]U23;AwUD~xh~"CyVYWݭU]4SgghfveeFH3%2S\6U2DBwfj> (,]F* h>C 6xooo߾}}}ݾwnmmݶvnmmݶv۷}۷}۷}۷}۷}۷}n]vݮun]ݭ.Zڮ׻馦**^zzjji.Z)BiDCȐ!dd BHSD23&&z>IHD$IJ* ")l@bBaAAA!1(U^_!Hb1r|_ L->X3菘\/jX{W^߱2|~̸rX[ }qEkIƕ/wW]uŠ3ŠcG0]C/jō1,<. Bcp -#Ž1ue^ F-cE>`8X>/FGǬ/cb^0|L\/AcE1/0Z<:f]ӋscL-S.ʏŽ1u͘^ f-b`g#Hf^32J2XLqRuSLL+}+V))Q&w6(S:p{iŭeef3OQ2L2SxRl* SUdc]9 g25ʔɬbM3gZqkXaTq 3SԲL8Tm+y+C7.s4Y;yJ7lž|E5eebfN3L2Ki2XLxǙF[,&.H2O63$׌-9p_^1*ۡ,~l,8.(; HuA`sԿ9W|%W\?{ $n!zV u"'K(G7T1U}G8{q7n_ԓ S<1ro4mqTEnvqכZ '/ص>YB&(~q*C$6C/TFQK35 M) * I:I& _ [Hǣ:PT}GFJ!nCTm_PAJ`l[׆K΅[]9ɸSTM2qd fdEwK%a٥UP˫Yڛ69h@8@A6n6n6ny;ovy;o6xomhVhVhVhVhVhVhVhVhf7ۛf{lo7ۛfz23hvhvhvhvhvhvhfhffffffffffffF3hf43͌fF3hVhV EY!͎fGhfG34;͎fhvhvhvhvhvhvAGeT@  ? ŅᢅppqaXa0\0\\.. .{ǪW,L,.  E xX5ʑbx'ʑbŅwqbapqaxa0\0\\.^.. +  ޱjƕ# Ņppqaxa0\0\\..L..  ŅᢅppqaXa0\\\\.. ..  E xX-`U,FA%Cd>/*4FӰ=!@d\9\a^41/J1.Ű**EEyyѺwĈQJ1jUidv$%~&.d3s1p$%~&.d3s1p$ cɈwfbc\0/j/j55̋EE " yQyQü(üa^0^0/j/j5̋4̋EE yQyQüaa^0^0/jz A hǀTEr`eܽ['mDNj({J&c*{qbky[$Owl8O$uR*3A ؾʉi.XZ\}r1TΤm- Z}IPU.c8 Mxig-r~LC—NXx2QQS}-WdE(Vypх,ü'g2Bdr1mUxnܧX?V*7JYRl 5&`޴-K`=֬e2d{Ic[ ož*w@aܘ6wȴ i_|;C 1oɣ,N?s&m{ SI=NI/WBMUx%[v(sHB,XO?MN(8֪%HsmF8`& P!0 'B8ll?M9LT,Ml"%J蘮y,kOW2ˠd/  b* WǓӓlw7`Tb1aoiLdlGoh-q*7V73`&~yCN@p,eOp_3S2ptFcՂZґzSKfI]p6E<^ܾYDX\bz}MtBw@o 9#0jkBWİ[˼t;qBg*VEC~ [f7_ ڐU W Jo&v n#2,3UͮʕOpD*ke"rl8xToM~ڃh6̞F(,H;i,z7* oww"]vUFjQ@b7Җdz └_@s>Vy>yGWnnKٚSJ^mMoPZ\ MLmpD{1$YVi]f=x5%V9J_[@4&WiTcGCDz.zWop}u@0&lO92Mt6횋u\,f׽nR{Ce8L,#Z5N\!-6S!P(DvX`$`%S?[*vS%S=Fhdf 'Y 'ψC-cMNF:[SŚ1آ$(|:QA+ěl}gY&KND0H0d׿yf09܊ǰÆC <\Zf ~#DŽ[*McS(U:K7q^ۀ%ue+进to(W4g>dt0S$8[lKc*r`06Nj'|̿tk3;SטRYu>5pd]O7ٵ&`7߼$jx_m2y<>HiLUvܫZ}r96 ndqUzNK-7GK TnZ~+mg]MSxM*cvR|y~q9Uc6_JGͶ Zm9vȟÆGws>p_?n&e6)m ~s nVqٸ 4eF}*{*Ã68JLguUt;Nz=b" zOux2MͰȚ#`]MJOʠ4=fB\DFZjck!c,!G1v?B% wT'TH__f.&?gP_1E!_RC"B>0r\O,6qrkiAï,sѾWK❪]΄m- Ȉ+N50&NMoLұ\V(ؒA'm%M0 է\>k'[Qq$6Dq,UƲx!z<*f=DASL~0 r2= XiW sj2uu:QkWFu䢩$B*UGI-!*z'[ߵ%ae T8 ص0Rcƈ)tp\Ylo{5c &MA#OP<ǣⅹtOLO&m;\F3I wE=X;%}H1^ֿV*y`UjDgMSZO\d>fo~W+-Y=grShlÎwxh!)-;COu/<d}k:nxE3ݦj͈*ɾ&vLk17YpZQS^B83~CBLGgW?S^GG=yUmI@qȝaƠz z/6^:pp/#m2q6Y`hS9O_*Q78n6ZCi}`>TWg^供d#+͹͏84Z$6;ᶬOgl{!1P̶Y"`m@EsG@p=ޫ vMm/weu•Z5Bm '7!pvShvA^_Y$mx٢ŇrNmy^Bm@as {]4ox" IImIX8bC8%|$?<ՇFMg="c3@a9u`' s q -#޲駨n*V²On.ori J#ʙ|ܼo&n9 ?~7ɶFlв5j -1ʭd}|VwЊSywdmGi4倉Ĭⱼ۝njnFP{,2r˿kW lu^3uL8DV3W""V:'SH1!TixYG:ދMmBw!#EVSzYm0O.M8Wlx2$TD)r򙾚nᘘjW֧ؕ}ǘ 5 i&!* BY)g7EPCJܐD*KdBܳFt#_SU(J`x$|+tw.&Jan|?~K lbFj,,x¶Vc}jj9Wfl=KsO,Zc5|μnϫ3 k4w}Jϯk ˎR|;b:1a߯3B\9cX)oD_\G`+,/ $Wl"fnHFScIW@2ZBCLb\jSL t=zH9z!Lap9SuD՚mU5k5r\lx.gE)S,?QD1ČF(h[%(`.^`r<6T#/YH"ab-ը4YA#1f^Ąx^BTaא2wHmEUr;цApb@)\ IA>KTVD@.h]bL]5DRqUndaR&Q`Xᫀpρѧ,h}~~u$̥LMBz63旋ɸ[g%j陴j'Up x |ؑY-(*ɻnP0Q@a 8 aP( ` A0a0A dXd )b3M[gE&~1.:Gy¹ ,(ls–`GEn'?T/A`!Kj jG$[5Z}F;DjaSq2hƀ` &6rkFr1!ejې x.(!'`(ro6ni|orznrQei&E3 -qru,''V@֫cE)4M 899o!6$Ҝw 3%81I=4ظPy@^uG aܢAm΂2Hexn~аPsaLqc.KG.H!oHIwg:0+'mc6x27dk9\Sif9},Y$K=lϭI "ę'M{DY G@Xz(zOiU&5q,s'Vr-BF!N"Ȗ |!ёfOB'Ub/#h5 "-wl,(tc9+g@2+*ND }ʝb'l 8`xl'%1L- sP[-0$S;}H'8ļb6730Ḣ{5qlN[bxO* 89p %(L0qZ 7]'ȔtO˵rJ9B-_:K#ȫIׅ_Cc=֥un&7Jo/kBf4g I`M, g z!6p~l .@;UG[^q*mhh3[0J_d8H3PO8F.L+jk\DC8_#ܙ%NI6y_p:e$,N>yM42'EV6=Zaޑ$ʧ)\ONV8x"0uk{bV67%a\Ƒ3K qFXJKtA(E`RgpE |*T\@kh4N&.6| D0{ L:5̏TV*ߤ=!&0 =B@8xžr ][q`/jpyRG 3c"*;N 9'&zt:Ggxuh8(cv8iy@ Ī [BDZ֐C}ktX9F a4,)E7.Ra}Y!_i]zMm3 [hsL^l":rUApoF~Ų6L7(iPa 8c\&@7B5 /a-*/ X jd&9~0M {U`.9W<vpUwFW&>aly5$:p0rCLP6:&'ޒ`R+Ǘ鳍ߒP7*yoN|$P)&KԱSZ?4 )D1m <͛~rm3։@ dMKJ :}I w1DYʘG|A!2 86) Z>Ypњi6U(uAAM,@&iKAM$bybh`f$Fo*נ ̦V'Gy2pfV?u`B3Ǽەk\+l9Ps7 gB`-b>G8wZB }NhBO͖s!F. }3jAfVC[ed*hUT< >/Ju-;vn1ؔfzMZ&p`~=7ή B.:AqJF#ʍYXNRVd-v+$Sq6+ xJ,TD&c/0{ TL?ɷHm9|unqEs}Mjbx~Җ;ı6KkU: ئ[`ߟh·w'tJ7h }c^F@o3!uo B\Aoad_$[a%T&=`; yG+0AW ZW}35Hg жopgBBXQAe27v&zmC3fU4Q {[/,c 8l0<1ʣ8vtk:=S15 | wz@c;~fT׮[ O ~6Vjl \/ z,}˧&5 Nuz 豓"{58@2lȖ߯Ӝ#e7a'$ pPNn Vm+%Z%*Mb6B@d[\%9r e{ z96n)hP]B'߄2?nr&ּɱ)ePJew VҸRP$PRr)<zJ&Bk*YA9k<ߞ|ɥ*t64T_$N,qqij@-z(r_gԣ[ z'S,(O'okҰo`k]ˑKަ\wPy&ׅ޾i1ltipF ޣ& -HYI{*3F*w-3L681816db53b7b9805b92f513d540ae17c830c9048e9eae38be026970a7c0872c4351f66fb6e42703 53ae6c437663ad2f3e40161179f70dd1c9dde53004ef9878-f691-4d9a-9c96-fbb9026edf1e