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 zzw5zJD ]/ UHOL-Record_Benchmark:threads=6elapsed=142.261cpu=234.206gc=20.634(/`GE\} (zfLS:I𶬅8aS˻U4%֞O$g)V6^Ors0G@@_@Ҋ rv>Ole6j:h=vTꆦ9c(/ _pMsCƢ?eY\T -],}[P isSR-%IZ e[P䡛ܕmt"d>(/Y.Z̘ Pm ??bMQ M;e)srTebQQ>9 HM W7TB =Ȧ3B% |̌aR_ؑ"J2:)okm[b)2A:!efNLWF֫P=s}W=c[,w![Vڊj6$QRSԖ-2R-O{YiQQIó Ho~I/E =:S꺙GBhz{οC14|ʌ|s1)bh1HbÜNGbJ}Wgdg4 Iq 9MNwUKSo|l 3s6m 2zj#糘uTII0@`P f+ˡ0$`P@€  BA P~uLֶXVBuTw= ٳCԬU-DN`|BV۷rQގ C5HsfM7&e;+@yV@"ME+2 pxI3+7d'p` f&- rN<\W9m!پG>\roMGY T'LTXe912 ]zo?E4)gֽb+wPy5p/!'l;| G|Nh 'AXXصN Dž \Gvslr,ӞtV {[x@p,  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 =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#!fz]*}a}p{۵;=2MKw}ޣ-$cvL#J ]1Փ.,1B%Q~_=Jo&hSؙX&'R5T3cJ !ׅ!Z_z^_N4siBrVю䉆un1͐Һ?)%ծz wM լHbWL81K>#EZmF1KR⎪.6+蟊cBTC\U2 `c1g:(pNIZ$÷$,Pѭ[d#=hG> /+kO87Cg`;>ntW҂z2$ C*MdY>S#AF}&dpRT+ þc(dU_/(b]dU^W%i?k9X[1 kd[pl ?u EXW@ 3{Eg|^AYI(ŋH?%zf'zC*(/1*>L֫>J3{Eg|^AYI(ŋH?%zf'zC*(/1*>L֫>J3{Eg|[4pC׳~ *X(Oza O8 r*Gd,6W#@AHdRT bcHdhU_/A]dUNW%hk8࿼2d[ll / u#`WBm\Vv Ds/#ae~r쮄 #O9} 2~1 Jd^TU ^e& 2,ԭ7 ßd]NWeAƮb5dWVɂ ^d fƓzzчzHM7kX)5?2;0J}z0Fͣ*=s~~ ч~L 3kX)5?2;0J}z0Fͣ*=s~~ ч~L 3kX)5?2;0J}N&{Z̬ׅBCZ0-=[tV<,~3K/0;m d}[| 9"I|B |\%%VQ񰽗JF[UvG&f5ugS͕E`d Ӆvf&]̓Č&5Gf9PM!鑑ƞf lhlSv~f ӫ7XZD Ph@F4+S?qѽM̄MfUhh5 ?2&$mkLjΦska+S=@՛ I64Pk(/ϺKfngneG=ҙ/[-:4HDn|7;"xn-o8_ki%<#p+_dK!i25pA|Y.!pV$xlm$~,4Dݲm$F~+(=ø<64喁#yo71\0ӮBrh!5*5D3ziF}(4G;[C cQF:֐ ]B6"[:!T~tѻ6 = 8 ;DD 67%E)uMC$QI ʨe -*tJR9rmѓRB=b(VYڣUQB{DP \-{! Hv#!i^Wh!bQn(J -SG .TTFiG䟿yI!H= I}p UE<7#Ѧo< 3{a),:<9טM.E$LIcAS[tJEs)GAekcI (마X42wT~' Z"_ƄhZ&A/٤̔L4q4SXW*;,Վ- [7XA@f ѕ>T!gHN|sHr@iMMKuUibo$oh%zbf)2muUjyaIh,`gEWỪB@  ƠM:[6Vmj&|GU! "ii4]\{^h#(SW3U|,Yx hb;@>}h,ͪ&wV+L*-&6ȵ%E[5V+2q5*XaQ4hĮc=!X,hr~_#hS\B'hSíh,5gUW;B&I L:sYV/Vcmj"PruHgLzCSJ{ESe&?+jp*lB{1~2E%Hb68"<7&R>ʙù)K%I|sf:Ս˧<: ٯ5, m#fL"9;99w)V483H"1d8ͨKdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =j!1c$ CAR"H$#d!bTfTfTfTfTfTfSfSUSUSUSURURURURURURU%."EjEDfN|wq,kETDސ6$ )CsmEUQ̄H h`RaғÓ>>>oo;wmmk~yyyyyy9ys11'''W|MMMK~/'y'y'yR!EHr!r!r!BRH I!)dB!dBM?gGGww}{{{{y{{{{}}}_׿o[ZiVZYeUVYeTRI%TN9SN9Rdɒ%K,%dgyFgY#kZf44#2,#H2$#H2r#1r#H1R#ȍȍȍHI#i$adFa ]wZVUkZUmU[VY" sISH% 04Y H(00(@@08Qy-9.CJDzx ${?e&H0 *&y^f$ל_f9[\"S 9q?5یKSjPVhrFsy&7K\[<,Hf 0sQv)OɜXLepD[YCJ r\nf ஄a:J崧NDƧIrI7{9' ! X̠MOT6.`gNc_ͼbO'`c23&9+oYj/+"I Ld,fr”36ISw3)rL\:,7Y-ؕLOɼ+v9Э+a)a+Z|)!QW^Yb NWRhLW⮲ALW2aOWbOWҭNWҭ"CĭÝĭÙ]e僘]eÞ]C[僝[E֥4][eե;][%3]ʪ1]ʬˇ=]ˇ>]I ;]IKi뮸XaQeWkNiF3X9Е- B[f]fV̒t%电̮t%甸͎t%)k+̈́t%)s+Ͷt%)f+ͺt%)l+ͬt%)r+%JN1+{ UyzLlnnDq2*30c3h3?%m/M2Zxڤjq99RSpdErD]Ie %;]I[w h43}oDs6mz/=Uzs 8! QBMt5Mj;SX9 t5W' XHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*Jh$@9wl  *bb pp2 -I 9/&3yF__?_"A!AB !03 B1c"rD kA`G7Gw-Dff"MVU9L$¶QcN Qٙ133$7"K:HrFr^bBaD(wwSwG̤̬7U%3ۖm[mml1ccf1"9hIkf wHKߪ((8x0Q   ,08(:H@@ P,`P@+$hP$?P<(PBhh`P@(DhX`` hP$84@BCBâAP կ~~~~???(9J(I%$TJRI*I%$TrJN)9%䔜SrJN)9%/yK^򒗼%/yK^,ɒ,ɒ,ɒ,ɒ,ɒ, RRJJI))%RRJyGyGyGiFiFiFYA k5dݕ]UW]} lLfT3A]3AIͤfgfU5::ƨQ5Q⨒^kEmDP;ACh 1n f1ƌAC4C=D"#2"#xc9FcFnFnFnFnFnFnFHI#i$NNNjb61]U]FMuYjզv50V:lQ3Q%ʨT:TԦ5tLi:ӧʌ{أ}eAp 3Vd !y#e)CS?S?S?___׳g=Yzֳg#^^^^^^_׿_ַo}[ַ_Wկ~߯~'D"aVՎaD3O&$a DH?qVc:H$D@a`  (( j^‚ÂVA C ftOtOtOtOtOtOt?s?s?s?s?s?s=y{=y{˽˽_^^^M~h4Fh4Fh4Fh4FY#kd5FY#kdF#a0r9F#H2$#H2$#H2$#H2r#1r#ȊwtYAS!) (Py( x 1 ``` @ yZALMDeɄUg Ԯb%F5&OWVWrCACW`?)Xf827OT?]0~:?d ,S/֥X=blM(yj * YNrMjLsoSZ?921/ɴ0*ŖLWv?]59)yȻScF(&r|_ q#M2"O.I_%€dO0ŦK(^ibZmćd|@SR+s]Eo2ݕ|ˉ֟$%|-H2d[B=/CQ<%CxXaӞr헳\L_ ))3+9Q ~{8󜟈vR5 XMpM͜81 3_T4'b,fHT({rlf' *=4|.>hj~LW& de3A|?p/̉2]hSLA$s L2 lc6Y\`P 'XQBX!c9H3 CLcy̓bj@(>S.+dY 85zL'eMO1ō73Ufϱ f&ّ`+FX1h,;%'1-vtc^1 Y3Gɂ8@gJ$ ^e bmVT ݰoQVfk Vlgs `end {ld4n0}*FX͞u)F_1qB[*b 5g='̾c-keMIcDkXh[OdUL)1ݖ `UA:>);6Jv6u!F޳8ְNӖgRm l͘ fd[mdx*Ԗ2f1z 0:cs̳`5Lge=&amTXg͔mOq)͒X֫0Zl8ىYLw6m`Zf+DU,j7^ìgk.lVc bab<Ȟ> EͦP c3gxʊjFF% :ˇA J2.oC]ZfI}W-GyTQ2UqF`W,e:{gcxuEψnX`1%sҷXj(, l,e M6;}v}ovgj0YAFWBF*F~FoĕʌeLf##2MN@aYgwl\ NeQ`l?dЮ\(YU6 :"Meȕ:Uv{"!d/wb[ԧ/x6g &fl vr+RG„USN2K}-]0É  f,kxɡ50$coLB@+ v *Vwづ(ia| Td7}x44"ql؀?I3ƶ7&tsrta8A2kc'ΫȺg:c<3»q]75֖LxژÎ:3mU~Y+ab.80ظ]"op#5Z3Ƭnj *q$?bQ]7ԕ:36fyA&V`v3CukJOBjfq0 @vuݜVИB Y;Wh`C0lH:ZB/V9[C9Vcu1 <ӈ9Iboj}zo3_bј$`E RZA y(y; ?bP\i:R+5{z yGC %)o#+^ՔYt9#V򨦛m(R*hۅp1J"|%t~ڈJ {)gAי@:-*Lfw> d;Mk[0mOYUN7p:wfq^QU\a3}e.o{7p}?uq{r嫸-su.nS'Oe*cݪR-}.ɾ>n*9qe)g!8.ӕdߩZEY#ZU*EL].(2XYf&wt ^GMf z| W)q47X-<q&G^{C`7?<|ߟ8iv"Q,Řq4ad/?M>$@?u15`i0h4OF|M&{]8X!<%H> E^_~#c[LdIX "I;@6&@$(Ɓ,i0aP(PPeHHl6ڞs5kۦP{׾1m*9wM$ص5mL)Q1i)!xޘ̔B<u$i7R CP2F) 8 !A!BDT""\ԁVYsBbN$CƔ\[T>ŠfUZ "6lSZB@l>xfT^B>o r 9>6ɍ, p%w|Zi(N&oZX"T[ ˑ9ЕUb/g&v0%sm=/ h1ھ七}j,14}!JGJ](AP[d^#Du~I?5S_u f rk۬Li#: ٌMBmNHTcAǐttt@f{9FYC_>PT[Rэ4"<Ҙ6 v:@Z}Xb5?e*=WF̈́n? C'CM^j'աMHau8DžF %+:cRqdT% ~O C;qħ%SKM> NTk>8l9g_߄Nt(Z_:R`gul+9HM;!5 ْܺKz秭\wt[O'A0o3uQW#eܵhȈ#Q_dFP%Aқ͔Q]@%#Qؕ07af963-[f`W0H-ʄ=l a-x l/ ;~t}`مc4bL|'eUGg|*,65Û˄Գ4d>Aed*x~9ɆWeiP\&(`aȳ[xeVϊhγ55SʋM<.Hn 7X7xf] 1+$,˝n5mquY1 {}gY%w zذ.׺gZ Ƀ}_jcr2.6W'%Enu0UL (+pcN͊WUL:ƜLгZ$e Xx`7J=JW*רѳb3mbX{ŝ*})05.e&Ņ ^8OqiBW.Ld,Ӿ }bx |׉Sl;1J짉sf~?AF>KR1dTAT7.́ތxg75FG_UIp*QeAu죻Mƴ VjLfĩCbġퟧ ܚ7ך)j aO)=UN/1 AkTtÁ̒]u ?R PV@Uo]J&6a #%^@it펚+:ny!YZ/M^ }Mzۥ цQ2^Riv0TojDGKɐw^ݳ`g%iVyxC7ŞU.~,$X@YTsMacYT @j+rn&gK=VXrmvԖ×*hSpĩqͽڭ({{gXkr;u˕ΕfPJoӎJm)\ĨΕ.kVMU/uՏپ_,ﴳHQ!veܵlЖUa _Dmf9(zy;>qhRegn6 *E3 Z3ݨɛ!UC|C] ܛ.!հ|* =u?f:xlҡN֎QCٶbA AF^T,9~i8AK/xƾ0Xkh{~Fp:B Qb=ˆQ;}H%aR:ry=z̘AQu@BR?C!CC\yՓ.c!Bְ j|Tdn^''d5$ 1;*eMU(!.њ"E7EAU)A܏%]7w d\vM%i:bTv5+uAPзlȁ7Y]XD*pJ?(w { Q9X0&[H;jv rP;1xRp#=U3hwHfν ur/ $s.WO ntQ tq@Ɩ]Ci)%M dQ.]W,l9 bTr eo ,t?rkW /zZHQ%lEǥ.V×vn1] ;w1ZvGGPy:vsgj#øJKt|/i ])j3 "UGxFٛ-6 !tct +zZ@lƥ.V×jZjh;@_R\PtOȸ˻\P| 5c_JKhȱy+7hhn IA%󒮛Uhz3ɵjxYg-:<򫂛KUbvO]'_d Sh<8_@wrȭSL}eOppTkT*-x}ob 1I@83i竮*v#g-*]Wd ѣΧzvPox}&7;iN"moֽL=IWHgabL߆ʍLa4:t`vR1+Իnb+ans4nPtFѽܡ?O?An2'm bh6 ȒCΤ;r;M˵00K'ק3"җOEv@+;l 3y Q <9W+-gr=pk+TFIŧu`A O?/m[DŽh M~CQbBBI߄t!4 tmSrmSb ו u4[ g:EDR }& ,NuG#aA8&L@M͉ =ލ4+,R7LYsSq1f*68BLmӹR'<V:\7~LT@A"u1&& vNu`A ~8U צ Ĥ5R,Tz!hѝtYY^Zj pL N Yg,H_>v@7;@0>H}ܥ[ *tHR #M,NF#`R~X&FУzmyYd%p:"Su(˜87ZZL_9 Ԥ|] EAe#]eʽ[g@H[DVnr,GImS!A,Ro?xxak p臆(]dEp:jة`2Ε֐ƹtRdʩMP UJafq[u9-o9DЌ\!V-.Cc҉E>-WfljL p:=҆D)Tg2z^U,T MB*W&k82\gh '{.Y"c!u?ms3Z:>-L moəէ\,|] (9|(,&]gb >~ګڡvjڡv] Wp5\ 6܆pnkl5FQkԎMi7ݴvNtxjjJJ*h6[$I$I,"*"*D%*g8pfhfhfFdDFdDFDDDDDDDD"""""""#8jںu֭c[ E&aS5US5US%UR%UR%UFmޒ$I$IdQQD%*Q8pf"!&LrP[ Vȉf*Bo!BZ!'EȿíVȉf*Bo@*HU**j۶m۶m0 $ 2 )H r "  ygB$DB !B$H~߯jK͈ jh"!mD#~~~~|>|>|>|>|>|>4|>"@ 1@ %-'? BƂv UdGd9x25!n5'o}F#Gkt~ ?44q,k9EDq9!pGʳ?1aB*S[}? ds> Dj}|.65oK s&x}RR\RiuP&}F 'zio_78/L}@`UÒnfm7,ops7L=rnwC9lnzzP5.?0-'GjWk+#E.`6Q1RpTor~0U}y}W(|hΘ;utQcY-Q|1D2Zc:KɈ!.!\bDGEKF5IG{!59=ioSdh=f^QZ3ˠ6k' f䩎0EFBӑ2|o3 Ï2b硠R;;V]0 T'pbzKе@&q!Xq U7a,#Ypr cհwA~Vp+468-/t[:dt9tNkM|`(7-kПB,8t#IO5E-:@7l*nˡ*WTF1vg x( 2sT|e(V{Q 5)$o"MeIW*瘀E ݫ oIW)V/ jUfU0e*CGQ8#@P2(PF攓 xe(V1w=k(SZ29wW6 ^Z_5,>5)$oɐ2d`iS)Š"FMٶT ~+HRj4v +/B0L)SgapIwc߱bh2Luت%Mfr(3UA"4 wS E)SU/ j;J)P"h NSUUQ)ǽ(bSV2HmڝS2֧*hY/HlVNJ7KiZQin;D|[MgwNӛR^^UdSVZSү PHJ =]gw*Q'*P5FIޝPVUKU#6*cQuJU*}0NmBjU@Uj%e|c2Th_Q7JrS@@uN>JR]NS%h}TZM JU/n ¥(٪4* SZu* ]nꃄYFQGÝP"NL#(@gߞ9q-<@o#5ql_j2hh/<4f77 9)I z?/ '\"[ԥq-2|.BƟ!ÇRʸ6d } Rk!ӟCp)e\ \eƘCK5@~8&I%%6D8T".#jIAQ7 !(qM DaO؄M ĸ#=1>161d0>A։a qO :.yx"`)oʚz6YB2?o!%-ْ@Jٰ@U)D15΂m·B9o%je^|Z0ݨeCE ^EoˊfT4\q4m;E)b+.0. ?,+/ޞQNSRRE/ր,W ,&^Z(ᤲ?\0_M,0p\nkl:yQfQVA|ysP3=jFjie\eLϡ۫t9C6an"6>1Þ`C6!aP8璘 z޾Kq93.g>&|"'|"'nb}"d6q>#:`3B6p!7Þ ;ԹeuލCշnK:@Ӫ\ (5hDԕo(k )g))Ԣ k@+[Z/-BO^pRY:&qS}N9ucͩߔ֐GvۻH3c5YЧ52Y! s6=맴!i)M 萶iĔNiF Ԑ&iOiFH#Ni+.a|N^_R_ѩTub&:nAѩU̯ȁGN/Ky#o$3UIyp<[ qѬo:TGd={ÏNu=V3 {O23歯)즤H.:P,g7԰; 9šIY: > bRl#<cu:A=d#EcL~㑩lsYm} oaʒœk_^1&yܜgGODz[U4[/ړgS=y9AO2k|zal $[LJRC,Ghtu$I˲vuЈ۪IAA`r&gN ۶kmI&d’L,bL&0aI I$`0 KbI,%_%KKxxt.D &K-) ´ڤ,˲Ȃ o۶m!˶m۶m۲%I$I$In۶m۶m[!B!B!HRKj AݒBR#9K-G%^]ڵ_t]<ϥbp;o),t{[l$I$M,Y 4KRd)Xd9Ȳb!!!peH!$IRHRH!BdQێQn6m[!(e! IRQRH!(#$˗ve^&"ʐ]ğZD2Ax PZH^,):gV Z= bV֜4TU$wr+5܃.:'G!t7: -Rc%r&H {?dm4n^&LWA{jsm&tJFV&%aR)NU18S#Q3戊9fZ7Ho&$#h(J: C 0m4LҥCeJ3N g3Y(yrE=N4e$%l.Nx _-'F3= ῔89#kn:4 {PC-'EՏP!'TrMi'7d^0 ':dd)o3OqN0/AΧaS'v%F) ?7& wqciNyPxiꓸ[;AĤ񕿜O!_n%aP\i6#%CSsOITg#5wF5gڒ,-M#=/bل~ Z%5@M%T;9HEj̕5t5{\KT*;1N{f) dhln&%9aVlN:.y1)o6L%%dRfiV(v!Ŭ7H0R#ƳkYy#GA~LMcȳqAHz}Dy<{,}3ܳ $0ύLT\N†M 7a 0:}O'Ry481zt.J,@43OO*XU?ą~jʻtIo?.MX3^0JA؈QTyªtЈe{֪)D&|^ T:XGM^g_Z<#=|׷ǝSW:1j@ʼn^ńVJM8f-RP7^+WJWsOER,+mHl>mMng]M։Onsa'tK)7$0}hwLBԆM&'eRhkZ桮^".+zכ?q@]=9yM8 $ aLʂ\?5A6 $籫K)t#2ެߑ:IRMا][㧔eF ݨ\=Y8W2qY3Yxxifh'^-}ɩ9UZ J&twMau<^uY]O@MOIWˠnoWgA*_bm8AL.4&" @k<҈kDž %ipsEPy7yp\ ~iL zVљT"ǭ 19$M];Uq{|P ݌H&iѐ\2`6ӥg%FE,X]*U2"2q&QI:I?{^8bm[]"w͞0I #obH5\hFg278ʊp,ϡ6hqYdF$owXu;Yfy0dw|3IxkO,|4os.aUmU_sD` ɛ f9$m7y9'BJ4U@FI,=Ne+IfQУJxmLS'oU f" ˱k3K#kw7gO&yܦ}ngƇ$arymtRf ʺ m`WZ}AtmrEnwR :P 眏ӉQ*9~u"'y;b-rM|x<3I]e6iMe~YƲ!Zr*) @}&P!cYF 4c0ZlvTl9X'|U计< <߿OZU{:6\~"@/3I'E{a!V(kڜ5 M*LNIq4ל55IRP\E#\fk&?hZUV4䡴 Z Ysf(2 *k5%XD 5`MTC/jz5+JQW)Ǔ]m5ZM޺3/j0ͯ-誩k{mCUU%M5qR4BO( )ϩɼr d05[_ RR3W(IЩfQs,EE!QC]?^4Ԑj*"CAM@Or+i4*5=;暧ap@v:EՂr[F5\HMmӔ#ױόj4M54d%`i(fK\<tbizA+My&zQJA}rQdwL4I*B;q!>6yF8F}xQ>-9UFXEXDqvC$?c 4L~"D OdN Wtם`B"[~ 4ro iܛzyPJI[2IcgE^ئX40Wym}HHy&"Bd.{NmYd&SHmcK;W.;Tb9rۄLxOQ&zW hyXn); t0&"5CC7ӎ&"-"@ J5LK!Rw$I$Iܶm۶m6)EFRUV$bFɲlD#"B I|aK#I$-ڶ$[HR&IrI%m#3<333>;8 3pMATlF#{il+ -Tgkc"#tjڤ֤a}PD5՞<(&TFM/Pjs,0A3 ̏bmv+ qḫ$M寍.BXo/Cu1[ eɒÉ'lG88|?CoK[; *M]J*h{Eg_@ʇfP4DQ.n#MGDNN ׉鄫y@:Dzq{.:ϝ4YY^U"׹%YH.+kڭ4v.J˻T8t9Na(/Ӹ>W&K()_aRcx`i1 FM.j\q W)5gadUrìtB/bP,qn7 Y5b=UӘ+EL)0ګ2{;YxiQH/i4ʾVP =^Kc>_1|QR~y?F P_iT NBEP/=~MrԎE[K:,@JgFƴWw C*ޡ|PRz [}E#lnQSWf*=@£TiV,^TegwVGJ\+.(O (K,~&[N!zZFLu-M)6J'dRH#9zXɐIJ)ԫc%EHAOx %.Ddb %n g=!Г,'@J buv2I=ث$g*A[ZZt*2bW9{`lV'` L*pW _g"̴s^FfK!fͲ\Q'L~Y^]Yabݪbu]%'ozX4]I8*J^3emKy[SWR[.ᕨ&wh8XuwaQW,jY21rQTJ@nR4LZ:a9?T=M8I T3F]F>}f}tظwOFV1+{zRqD#w,"NQTML.?u:xMh=[y۩SUEWO9 ÚP$#Pӻn%AӤ\pՎi9S)ܪ$wbАQ%wTESX8ۂs ږ[LIht#udAaN9F.(Q_IN( #-$b#7 Uf|5L4%" )ǘVE (y S^qJlnlFJ}aơBtFrfV6P_m#}E&=Mue üpHJV/d6mFyN[>&Y˨+\*!M&N^+A~:WiI|)&_inЧrkR37l(*l=H/k Tazҗ%&/'B_2(tE;* )Ƙf\&*/ W6N˧- G#4HˬPBy\2v"wiBj9YG$@M^.=R'[mSuLV#9%F"H_G:$֜3\ې6WR~Kc~$`ʮ I5 ( ݾq K1Vh WCR(peRu&Mӗߺ1ƾlB"Y4:VkH L!TJRu#a~&W͐2aWS>LZDrԈO$P3Ixa:H1U)3oʎUU 3'+Ei$S&O{1! 8|:UWDy2MN>#Gl{Ą@pڨu%LM &N-.*ZՅb}5?BFKu2E36`B XHtiЉ ΏB>?T:qOE1P)n=J^oi*<}wNAd{% (Ji"ǬJb`T8 7J X4T!|4ͰS Aѩ:@`v)9 0&U'%Wj"J'8q:l5^Ruu@#a %U!Tinj槒CT\4j "A*ԕX@ ]^%Ҟ;Sirj,aj|"9X dQ:!m:{ג\'NSi+6'-HjLv}$)sxJVIGl%'SIi-WӓfKJ \8i]S?I75E82^)H'(EbB=chz̧ c1JB朜 Zs%yk/˕N0tȀ[[81PMػQ"y 孟[L oQ79/03k4ىkb.S(UF" R/Zxg%_G&yK89@XR|t AjHjpzMg(Mߐ4*ƁzW4$1a&V))&(Ibeig^SUUJvtʥl0t\Du&d\pM9W;D108/d-8$k!,eLL"n_a6 \:2͙נlIM[[EUvyȔ*#yVR1Zfh*e cAz=$iVlY[ڙ8T VW6h#쳔FGE?)%:rR4wH0wIC(Jz 3EФE&itġaQLCd^Tf!D36m-wIUYIyWrȾEAEJV.:Qvj~?j0tHXR:;Lg/%)X}F[Txp%"i[CҦmfgCmm5cFض0d*̼SJ#w%RDMQ‰RB7 )tVzƓӉ_%<+UzO'4;=TzIFJ^tzKƯJ;ҶR~1f–`6 UkBꎢ۟fWtT֑>6GlF#O=yzYXeU0Y+ACzߩ< yu3;'of:ťC-eJL}B+8שHZY`8ïZd?ozs}wKwfѼ;U-+P>2fx8I9F–~RO_ΑtT%% Č39:-EfsFU"d`wFUDLp2d[3+">Ox"EFdDFdDFDDVD MfD MR姭BraikFĭ$EX~ښq+$7I2!֌[!)dƵ , (@`pr,)$I$I(I$I$I%J$I(I(QD%J(Q$QD$QDID%rE7˖-[m۶m|3g|3E,2"#2"#2"""J۶m۶mْ$Iȑ#GM6m۶m&Itҥ%G8a2L a2L $i2L0I $I`r0I&$I&`L&IL&`r o6xom6xmm6x۶۷o߾}۷o߾}۷o߾}۷o߾}۷o߾}۷o߾}7o޼y͛7o޼y͛7o޼yVϟX h(,`  hE޾}}۾}۶}mӷo۶}۾}۷۷o۷o۷om߶ۓ}۶-Yn[wu֭[nݺuۺuۺm[[nݺumuۺumݺ5iҤI5I4I)RH"E)RH$&$&$&MaҤ0&0i a$&d$ɉnhC8@4|*4 $  L![+9ޖ )M o0J4L'J#A$% yjRܬA]Of'eΒ]2GV@nˑJm~K' U}Ac0 o՘ T!+?cC!Mwoistit3Tmb<߮?Z3TҿJg,MNg츈ؐgl -X7Uz! w=cOgp۴ò|W|:ξ;6@@XdO*hڭMn"؀$*yX3$VZxr OcmJ?c `R|x)31@/DBUd$*/I2gj|ty)Ɔ (5[G3v0ܫK36ɸWKg]$X>JMD'$D3Rl6QnI36thzghzNJ!. >c/CMcH) eB 'Fg "qxhMgl5g\۞ɈCIXF]Z}~"Lg,ʾL:dglMKfIgl0Ab8ѭN`?$r/Q_{ƺ=f~ߢR36OkH. y?g 7/ %@j?c-9t~nd|Ʈa~.}B ڂ]mm4L3v 'Mv O3/0N((98{1`oQ?cwDQS\[SFl0&x`&g}M,9ͤ1@SZ t)Mh_S$vY I CR*g*E 4UbU0Ta*lS*SUUUCSX=9\zn4R KXٲ*i _M OrROZH,dHV씀:aN6^XS)m_jۥ֏4PVKm ʹ/4I}nOK4*'4O8i*dL骍1xTE&\Mt!NYTNW*;CV\qA(7ۧ}m&O Б ^R> (t?:yi<̦͔! n:ۙރ?+5$^:$[Inp7xgG^N )פD#DҀNZp>gSNրK)۴gZd%44[|ʘ?j|O$FһGS^Z=zj ʱtԱ+j*d(*اUvlB܃*R➂\j6*T82)v+u+̫R)*󩊩`O@ҦB:\LE܊z jTg 8mfV(RWWlS-V6B}i$|T9 WT磤ԭt\G[LA\ *WQ VS]nJabzS)3ԁڄ3{ X3K&zd;]u /^El}E] jg md)(aVWSSUQ5VCWb6[e^u%J}+)pRQ9v0Ƙ.$Iळ\%`D,$$CN.ZkJOQtPS)V!vB/ŝj*0J 4o9$p~,ζ8ə&A+g"Ȝ?_Py@t&'CUg"q04v"U#u;U+)ˠί S]*B­E5̂L04gvˉoQ)R%RzIGe>TjR`TpVQQM}SFVRN%N{Juz꿊646Tf+`a)+SV4Sn$C)R]GG*Er܁IoJӻ=RW.Cm 7JS#e10i %6Үz~160Uf)(+Щʩ)T1Hyh'I#r~o(QvRcռ'H򋇉O?LPjBR |%]UKuNTQSe)9WJ6W'Itр>0g#II)#_'GGJ 'NDd]}qIbzNa긬r"+WrΪ\QSeѩ,JP䒲j*ӕU=a<7~`*x@¤LDgISK]*\& JǪwJ ݘy){uX"̋V R{U ۞@ ] ifH TLMj9IUU-tL(2'18%KevI(/:MVJl'"pO%wm%ڒVŸ ECHrQZTl_W2ܓ-lK+_R+S.U..EsdOŅfzc[caZX@.PN IZ|6`6cH DzQJLhYtNDf-Z1]=#AHDH:Itj]PʤuC~Qk۸跙`;~Eo<@qSuq#!$5&d"XPk*H~ Ĵ;~4Nݤ~rׁVH6pVAoUsԋ]-1FVqԳ<:^)sQjn| V0em\I{w*_rza~+Cac)ez2h)Z6`iV8VB-*yF~Dɪi%t(f1Q_D{շSo7b4o!O* fB2*IJv9TRYo>T%J78.\rC5iY v%N商dZ6#]( =Z=E=y멳/@*Q?kTnsKBSS<*)V{ɈueZ6Iu%E~Xc^68rQҟ(}) y2r;98tHEMevB&?l JFK|GK $SJ2U}5[Rd?c$hD"5)5$gXUD5E[VUD3vYEUUUUU[UUUUU"z͸ZRdQJJmݶm6omժʤ(BR`  ``p@`#Hg슈lnDĶ-"""""„ &L &L &L0a%"%3ۓv"[RdHm۶m۶3d-yDDDfKZd{fKZd;IMKJk[-|}-|·/[N'"^6ڶm۶۶ZRD&""?hg:әԮ]vڵkn۶m۶m۶$I$I$IRDvK̷-)#1RCߎ /˿/f1_L-f3f6ٳm{={1m۶m۶mAAdA$EDDDH-"&3vKNdnI- 9?c'- xxxxxxxxx;<<L3s֫FB`~0*9CN/欦ci*:VEUιlRT~Ro*@HE}M Eje veNїmK%ɋu]QU.ڤ::Ol@kAja߁(m$ ZчWT9XgM{#}aPRhHK fd:HOv+f;H762*Z2*!rY6\V_?QQ*|cCT b~.ʁ.ToIn*4a1T`ĘYJI ܸf$$RR0`V_&ՀQ~ȳzv W犺Y!‚.1֫2s,ā&czh4 BHžRˏuS9EMg*8tR I&Px׌VFVҿ))-T#pgE",ŰLCp.n84ذ,-, nJ=qI_%+)'a ,B5̗*~3J4_{Mp@RZf:wJNY~J`*FlEbHc}M%CjªVbL(ǥ{P^Q3", )>, χ>NN[;IYI.p9 e2 @W*rY #$n3 n*BZ09dV>{ť}PH\ p+4 7r6"41r吾q @8:E< o4м@"+%/4:vs ڿ nE$*8\yD[#ҩP \d@.#u>ErqP+@:b&$q!]:It:U`6h|ϡfq'AV6}U???u)?MCp6d'kag @yIalyÚ{Ca߂&1,qpǩ&ﻗ\Sb-/MVamV(eᎲtRPRA, _T75 "vܭP K*b -5!=싙)լQBME ڎƩo uMJMZYn =Vr<MG@rz| Mk6V;Ej Ȗ@;͞bL@H$-VSKzbA8ix*u b9_ll 5J XWKOsg cb,:%K"1+;jXlSpzbe Xz "DKN%z hT 5ecM jzqK{g֎YcԹF]+Xvќ67wúG~z=o E.,hI~u|MkG}nX i Ƶϝ݌sŽ̙7{RNw.lY4fAA7L ', 9dQH,|"d/B!ăEK@3 Y!"e(B_#8 bȪYq&qYcE˔ lFq&@0S#+.FСF6Bl̑=Y<=^H%US@\H6dS68eKXW/ɪ/(Y @耒ET0VdA,,>Y%x |,ɢ<8&D5Y2dMr{L$  A3}Dc}D%} Axz]cu Q s=({A>6OU)~g]a hi_BtO{8`_L|Q+ @8s ?F1uN!5ic8FqmèoBI} 0t$vphP/AJ5ZsU5M::_Rz-%ر)Tf aÍRA gq2k[$*S{>nþ ?v}.[A?T$Vr2P_8B*Ri|RJTU&btz=gU̠j=Y]Yk~lW՗aB ![sG<降J,H%MD3ikR#t,sB /}{  ]a,>ƚ8d]ogHnJ4*.STw%|S΁+"UF^A!ۑX\"*K#EI.4Pf}-u Y-䢀ͤ\4W/5lDaK9'?7 Dp\J_-:axgBKE 8#:P*Zܧr)j:+5Z{L }99~G̉?j}LVf9'` `1M֬&6~ *U{_ [uBW='qK L(Xhg@b54XJ`!<"䄀UuU}6dѪ$u7_.Pէ\%;Ba:³xsbSLGLz؛dupj W2>EBe*nX!=eލxd늻vU _Ԍ<54v'@5/%I$LG]=^eP so(|ʓB`JVeCB͓Ix/&"6bTΧlʌ9qf,۰MC,p_wJTZL"+3zqR/"gEL4)eUQ"D4" qD}aƃ>2aC6Z}AIJe2/,; 'RB]` -Ίjvei:!B}>Or`b,)f6s]b0WpuW[%rpV,xeEpKi,*Ynvzd*F+}?pIzQ=k{7߆a͊AS(en+Ϝ31dTnöNV"">Wo-EPR䔔lIRɹ4ʫݓ]uH^u# l$ax^igaW(ğ%'SEh%"'/Je٢)w׽,y :(jBmH92O][a0AjbŽ jTU_Qۧ$Qp-i $r'dl%$fitlȵtpCVؐPE 1&yMņ81lrY(V  9xˆو B6*A:le!f5ĥtg.̆gg- XF̾5&fζkA-HאE)Ypb(z7$j,[Cj+tƒ VRk*̨9r%ma\rAg9~؅j8nGb5?Ga~RYjX]pSQEeCH59jGʝ8϶EV➼Y& qD2A^t;a@ϷF6 Q{l֐;ߵtWN5XFLc:ŶəL+֐h3&` ?FT5s0zbؓ$)_  [A͢V=rL J2@=n]|u0-%=+= kEx L ח<-Z_% 5]Ȣ?OA+H1UO~L h@,+#aR@t2sׅ(|K[i}FoD)rpr+⾋)ǝ[KeNY΄ "ڿWwD|XMYWӭ5e.qa([0f䐦zǯL_67 O0| D n?ڑFy Khۄ;b$|)@d3ivNiB*Ɛ\hp?2.\l3\ㄅpڝB22@A<&\>.$Gz+ ݲח% !n#HTi:|UWou:XeA#ݳHp- YQ(@Ge.xM<ڂ MNK Ѿ|뿾z D(*ӄPE4-I3ۗE3C[%/-yɛۛɛɛɓD#ӌL/oSU\1q@0BA A ApA@E(@m۶mChI$I$rff33yffMunݢ[tn-?|_UDmə-X38 IACa00, %AIH@@ (  `@J+{27,g@;J ~vv%u8ӟpE,y[`|ΈLyR>zm`8kW&+,Lr@O?UQK&5>;\U}Ky=eKXNv >1œ;uYe~hrJQO``k;۽x:Y[ASWuhT:Nmm $Qʝݲa,tj=>Y;kڑ 2%mQI l䱊K7'b+E|t5N:ws,*Hۍhj*ݭ4£ӧN (,Q| r/z,ɺ\b<KXG,SNQ]8yH֠~B5wFOX=KUS%$Р\p7h1. Iv#g{|O臵NL$:D'Ǫ%#fWLT]b Urq kW)g5JJTBOnky-d=ftk/2tRDE$eJ퐟^(5@b:|A0Gg.2j|Ge 3$ ,DF;b̩ۜ`h-.dɓFjK9*Bqbbls -C(])ZVEcK4mJeN 9zfnu9ںiHM`!Xchp w3\pcb02bͱh UH: -/͹TO̊͡{gu\z\w_`ii*VY^6V0P"u̻(ۖXSUT_C :yagVզ:BUER5jV # )q`u%+jPSfn1bە6H8ct*ıTguSv0s-2Ԗ7KB{6VUWo)[ iWOw+`"}>*"٨x,* ?%<>jtl$nfV ^_QVԹ?fn Gn8RZ]) 9'g`9|K")"` \aEvZqE PL~4uK/.{VcoI.@bcKA 7J}ȃ^@y lOu]ky*+ԥ~OQhu/`Qᤖȳм)}smy љUBVJQx'6FŸ''OZ&M}]^JVRhʯǍm*u1V(0QrUВ)˳rG`_q#rثdV>)ri\^ðPT0*'-fH optW?HO.?H.ŋlmCG 0nKMgb5oK<,8ΰykgGFWvky^ʾ|^X[a a^M ^N/0L_jZ^eRr-/hT 桪m|*?/Q"br8}oK a vqd":1 ;'W";33333fc1FQcADjGkFh1DZc15UUUŪbUUĎꪭ29*ADDETDDEDX"!"MmԒvFk^[cfĽ]T LY;cδ33L=[OSڻ_zw  PXXXXhU Bl@Xh` CB jUD d!p@w0HxHCBx@ ,aABWXh@$G@<,X@: "$"$("4$hp PЀ@a 4$DH0$ dEH.BR !iGJ!R"H!R3"Ha'"E~??߿}g}K_җooommm~̏1?yyy|;w~!gr!!!CrH!9$!eHR,țɛɛɂ,Ȃ,Ȃ,ȂcrLctZW& 11X` s0ppp0@p@`P0Ms8nrqwl>[̫am-NkMEpڔ_&N1MQ)umEKi ]tMO{sђ[̛BPz^wF 5/U=sfS;EKȕr?K#;fp$bLP1^`Tyi?HVя\L kяD QX+Ki*\e֟~ENʈelx6aaıl2̀dY{Fxc`Ga .&5^ʶ!3X.map2*y#LF`Q. y!3ZL Jqz"2L5liJŴYtmahwU>cȦCe* &5Ķ#3}m -Kr%Ce 6 2)Xe6})f@kX"S؝ #qFUUu'+^f .s*_cފ|&2b3-04[^a8u3V:3Ògmn^j Q5x{j&61Rɯ?nGuF -昙6ŌgyS}yfѩl fvŮlF6^J*͘,ĢgϤo[}ɏUYg׼۞е xl&*Cflw7eaY+$gìcgKVl:3Ƕ);QW[meĆӲڙvOf{TA|'[VD_m̊T}TTϞ,Mg^_m92L8RA>vݝWs/[4xwalMI'J?Of0%.53<<dyG *F n_g]z`TCC[;LZ˦w8HlύSnȷHӮʽae0wܐѺ-/mՌIi+OFVdR;Ǽ S~LIȾT `|Wh E74;jXw &.r\2{D g( 9"ɠ&B(2:2H <*jxW)ZHC]{ xJ8u,]$OC fΧ14HZ&XzDwCj8/q lcdS俑-}cM$3CP[ɄO0k7a 37j7DZ2E ^@`j`ʪSbhcztcd! c2I=)P;9f$4HZ6XzpI^vz{cD"Ww3.E7=|s 54驡.N3l8-rE0gI$}Gvw@vc5;2{rwmENCLnpz$'х)L0$ 3p?ő0 )=}.หX&w(L q3/-aLP S0;al>Sad%$(7<6ܮ]6: wFљ$~ Ȃoe_$^o >towdOSf *C7`Rd0?-7ocFl[0&E'N!;zBqm#qVoܐk]YĀmc5sd{b{Vo- SXԐG7` VԔ`*ȈNۣÄqRCycNAvs?HS-uCw\Cg"RqּLw ;,ÙVϐ ԁ|7m: ypIQx!u4v[]R4#8QW^ E|.s9t"AW##~p_ % C3<syGBCe[ !ܱ[DK'ך5zmoD;|n]k23Loa'FY0#띿*yf r.EԢa頊YnO%bPX% ~ӭg4n<aȞ1 ;RhT`K!;@PÙ۫KV ^, D%6Cl>b3!5 wito:5%z%Ѳ R dmcVA6+omFAq+)CСmqSnVw]`2tdPqvScO?-/s94 `hV+]Bg"R3i?i*tfW$*~P%, 6"5w: C}#0Djkaics~kڴ#҉LgJOBqÊtN8D wLlhLT0ˁ_ԅ<h b4$0 R)>owUMtl3jT/yi˜0\F/ E7My3_Ȧ"zFTS;H3k)_uմQNZ]1CDPHp|c@]5j9] BFig^3W7iQ_xRg}L >@ÿj [FO.vfҺ"˻ϳx+ewi7 3t3] 5Eפn\/_ rg*"nlM| 7^0}G!ɳakT)83 c449'ckZKiujv#L)\Y]j e.acwKfINt|SW&(^֦B dդANmGmn 8J=A2& 2)Gz]_,8#W~swruX"26vF zvytMr#׎+ ߎ1y(Ϥw :aGeI GuĘ}N~]S FhhpMbէƳl thL]S,۹>$e*V~y2ڣ e74QFn j.כsQY9#EDz&,AV7Ac󦾙'R|&%:L[1r9KSvۂD^XDŐ6uXL>p7P5ap/ZfmnVYL"[[v8fZwSA-Y 4_)VӨ|"ƥAz~ 6X<*:4kT_di=AG^s>ށ{.\ .1Gy Tx `m%:ūDigAP)&$< CVh+ mB6۠m6h۴M۴Mhmm&hmڶm۶mۖrZN!9$ ICҐ4$ ICΐ3 Q2De!"CDf 23df̌33ffS,)))eSʦM)%!2 !Bx%M!Q'߿믿//_~_~G܈q#nm 6 ­p+ p#7p#mpmnsmmMp7MpJ[i+m6FHi#mDF6 mC 3lQ` аaİ@L  Hxа`hX8@!/"/x"';'g,~__OXog}g}Sԧ?O__O>LUBRP⬪zUUUUPQ ("T(H@fZUmۢgd*2~ՒTSS1UUUUU5FUUUUUUUUUUUE5U$U*̪f\֘G"($ ƣAp ab&X00ABƒ}Lc$8 Fa@B`H CA0 @  @ ! " h&T֔'_CK\ߛ+ t~eAfiER% MgJXőC$'߾,˿ $P .V@|Ol58ᚢ)jrx ٸ0Mu2Zふξ=ˆ?; Kwk׫UIUr#_Imk]JGZv)$I rAV&4?+L6SmRlL.L^p.JeɧQxhGAڼ}|l ,ԓZ u9f?3%.d>b9 JAr :aʜQ'ۣ]51;JcBUZÂmSQ,ܽ.<7%"IGgDH>Z~j?0_Y Qp0cFYL M %hgETq 𔪝^G‹"2ܿi5젵O|HK_'Nߘ:ұsgTE.qy)[hGĉn^9xNsk*YV8\G 609~x=Ď"G<A8H xw8 xQ2b&fN>3+rC\{L n+*ޝdapi\U1!<Y]r< imdv;[?3^w,fx ObFllZCـ}9yJlޛŠ1z1GČȵ>*fD.Q1C]To'YӻӶgyx1s#gv1&ZCNæ8@5ӵ.fzW;Lri0+RUϻwEk'fv-jKΦMso&;v0F&dNλ DEVpwDY=KKTkw܃}3"ʨ13ki[d״GHSL*zèg[1aEl ͈=H9"Bb2[’eױmh2:0}LTi#KO?O؏{ <$,?vrn=Қ$t2y2e*Ȭ5$jՙfT13y-4;:yʥoʑwx"a=I+$O)+H~tM!&RIƥDT=!y56o K48+2R$鉃IL1k),__JCgB ArGfj2}Zpƈ_}+t~.+P]:!]: j& ®kH\x 53EfNJB3=X#~b1?Ka\";ij>%*:[ =}ܡ-FApA&9H;sai>$3EI ^„:!n{5ߒ1EqbCTZ.Nl*MBpϡ)^ٽk/O al EFtj=Wޞ)^07X\ǥ)JU4bݗ]s]BIJ"#qDLEP4)!] quD͂0YƢ-ٙ2Yl dJi lȎkZ}d+QE Dsc?.H'jVX`9a&VuJ-) q' WtR e{HjFhm{i#܄~e$?+N)U5B3ю|M{ lDؾKpkDjc@f5͒6Z", #I=I4K0yo0iLL,QאfT _jInҹYb&%醚%;I5Yvh1$p͒z YMze^C4d"bIjKi֜Nj&jc4NtI$<^05טĥ&kG45I~y$^<0K3}ޜNjO&;._  v%TCi^͘&(*UO{&΋fj&IYLtp{:^05+LLfk'IӱY|hg:0+K3}/NLjOv\g(X 쎗fHה뼒Ǐ\҈Ǭ+Y$œ +\ԕ[4}&~y9!LJqwz09]+Mjk <ũLtK$t`5]W%LkW 4=cS|{$^t,a*K3^.)jO & S\U¤}HaJSsV<1=/L&eyϋSI\xT_k03=s SȔid"8'МNL4I)t`Rk:0ť^%LNO\{4tm{gsۍ(cE #LsyIif:30RM_THXqX{RoךkLG #IX$is5==t!>kW›z%~'Bnsz2&umC#$Mر$$w#kԵ>?%enK%yI-$!i+?r);KoϏ$nc IY΍tQw[>~ wɑx2?*;ImF )#}~ݻ:c\φ|g=e?O, h-Y5CEFd, (Zk=V͐Ba\"|9R]'~RtəҿA+768N~_tEĹoN 碢'Νy'_ Qo89h#ssf߀S9aOEENdsf`] Z)3X6,#Xt׈2K gYs ¿ v (OV 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kk͇Q;:#=B"BN:0fGw|]MH?(E?9 aͲҩB̈́m ;H4R',2egBE)'z^Dohx4:A☠&"iC/Bh$(AQ!M&ZIA"t\:A Ab Qt>WR4dPغaB3(JI 4"8|xP0P(`idBZWaq#ֆN2a4](t RE PR:RWQTEm۶m۶m۶m۶m۶m۶m۶mۖ>ؽe5v/(#|{=sk^MF\cb2e5v/kSSjN 8Jh&&^242 4Vk(_lob=.^|K`|Eڗ4K' I_ޅ ;-TE 鉞DH;Gbjhm7^N DaG|N2e{= t"B(F l〵3MXX y1. 2v`\٠d>Pj!7CSĩF e;Iї~9j#BzZr܌" -˲,˲,˲,˲,˲,˲,˲,@1v/Ks g"|n=GܖߓlIs2{ϱm۶m۶m۶m۶ӝ @2 ma0b W\1W0B (;.q(2AD^K: T>Ev.EH4mLX@Pbly5ED֘=+hZI$ D,L3jm&,\c0i2P$AQq"dϪ1MLLPDhl9d$lMQͼTHV: EŗC`@q%H"= EEEf ;'~9@;Y4zHdNXC +`yHL-ȼtNŸ4<|#&=tD$3@@H(jJP a`0BP0 B  @ PyK&EH)k@N'@ۗ\c71)CFې?j\A@EԱed7b-iՀr b.$=N|N:y   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_id236I 5W/ xHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yz$0$il?PXUۈ(󚴴d]KAAEid(,_fZeZf&e\fef/!"r'"""ٝYJvwcw7vW3fXhꪬʪ,JTUEUUTUZDEDdR$E"e$DDDE͌͘ dzQLghFԖҥZeA!VͲLBXL   P-(YCA (Q$`jHPL0C``p@ H0`i&0X80"PpH`@$`H  T"/"`f(B BB H(PP A1"!BáQ$̌h2VFwe/C~ G!"Cd !2fDQM!QBTĻ SD333߹ijJ URēTeRl3ͼEro+绛߽fo2&ef"df'Bf&BUYURQ#B*""ED(-F$"$#flrəil%13Glm{o!!!=8+ˏ,yyrZ}c׿}[ַ_Wԧ>O}Oӟooߗ/}??cllyly[:SƙVgȬ3L:Τ3LqFgqF;bG;L6d4K4K4C *U2dTɨQeW%j꫒AtFdF$H ",+*)HL Ҍ32hFƌfTU=˙)x6U24#rÂ`pjjjVjZVMjڤ6MjZEjZQ{GQkFQkEmQ[D-Q;юjڡvCm-ԖR;S;S;BhZVjsڜ6isڜiqZioڛioZ֦imZikښiiZiiڙw?˼˼̏g?>$. Q#X@ D"| :  H L3&:O ą S 2z?Eфc?xu6?SMk Zt;M~ \t8#_EH3oHs&:|TsO˔>jkl)LT(w&p̞~ɥR;ӵBRTy+Y O %2{Q^S, H1T;K:/ +SG 'UdJ?{$,BNPF,e@cXh,}!^`T {lubRe0e[48>.h{,`v* g)3G6A.%27x,4@;ƙgE|pa^A,~vKa?œ"g1X `9zpݤ|bcY<R pPd^1! a` :68bgX 6&E}!"\c5,4u`d|\2 yYlcg*;:`EpMe` q`="cw,4zPAг 1Md>CAŐYe.18Ж)1Oga k%Tx{6N ;lsR)y[yW0̎x!VYch]}[3,u%Z}8k%kGŭfZ19 'rF:\r@"."E*'3md% ܃ƲUcB8-|*X!9킀t9duХnŒDD{%HK |Tc l~&4tKrM13x L4aL/F%_XFӸf\\#o}Zp MD~!ħ8 x .+~ɖ&AV,'p{ag6# &mwujx!Gn%w >.jZ3Pn)lƬm 2 ڀm%FRL`٠!};v $S=FimD 3 " , pVa|#_NY[ ,+=%< Q82 6.EZ w&#5C*^\R& E3کF^+蓕Fig⇜ry,S{#G? P,c$ј> {v`]K%GMPţz (“Z֎]+H>,$8aU7 @WU%Cjg*9 ЇhRh\ |-Tb;Z]*[T n$a=?N!0\@tAx!a>D#%Ȱy`l´*B]I條<3ݮ DPUU Y)JC TZ_êDaȾVx%2qЃWǠ} !O4~&U`αb Uo7]P3e|L8Mή4 c=:JqY@mZDʚjA~1\Nw24ސ#gu*)әMq o4`(VBJSי~`ʑ{@Ƣ^m^>QJ.Һ=ō13/8!{T.yMAZ ~z,]2D[[[]QG)2N}MjZYQN 2D_4"k g3QpDƼN|fľ/w׌:beڝQ2몙+D}^ӥh>)r3V3']NnRN%*fCuULqE#b~]NE9},AP"hF` %DP @  `%$'DZh!xe߹'j$ 4d4A~vx:_g2S ̲ X;C\< }%y^ k'm=PZ^Vhy=:b:t[EtcGyWjk d3rV!RߴLg; #("@F"A( Jp $H!0 " .$# K@A0!@FD$#JPDB "A (A@J` $@!8 H F$Z$ " K0AC@F4@$#@%@B "  A(A&8@Jp $H!hA@ DDX$ # AA%hC# A"PGF @&h %!!I L`"<  *#DG @&N 2  !x$ N@,8L" #Fp"h LN $ Ujb.VӢ ?3Q53xUC.٤QELä%1^hVoPS GU؉OւN&Yv\OgUoc_4j|ѤACxpl2$RzkĸKͷN: )\R &C .}9N&9wy۷i{z1`!-{ 6#l= ;N6eͥp;XW0>c%!KB*%/VsI 1dZݠZN&$u3hk?dOGr3IrSF 5KQ۪1Y4д({Enɹ`HZuh%iylqN΁.Gܺ-myqc-l,u `m Wn;PA-"1A Pki%O@v# DDre(73676(7q0,#Ĵgoth`N},3M=g &Q( bdA9̲k:h0K( ێ5%J͕R}ME<XpfL3~oFܜG ]LY )C *ļTe=gQ:9%pjd/ɢE1 ` ȨqIkBAH1aACb rPC!B!!B!Ah_bD(ʐfeD}hAvG]`Vqfʐ:,Eb{3rEǷEuP)aFtQ%&Pv/. qGJX*~`X{MXI^{YKʯF7DQ9P+bKrz=UCrnTi۔mT"c`vT`Ae@M֮8j*$7 ˧ݮe&A2 KߣsM*#R)uf<0d=S}*̪Cc}defT|zeN&7?8)9櫔MwWRZֈ{%43u j ,{Ĝ{l`>(4l놦4bp>11 [KkĘK0|#1BgK"fSa,C,~򘇰iEٌ>a!| E>:`La|`l2T]Fw8l bŢ#&er=eSR1$aϢ"5~xs i'jw9`Y5}o3Dd{a"6*1' @[,-})6RkAɵqNVUKuX{ ?xLlqe0WݒCYˀeKŇ=4b|) ( ]=ذ-0w'ÿNhYQQ=a*0|!ckiO:- >~BU>QE;`CQtd9k_pTU}(ܲF~ A##06A!:X3@/.VK@MpƄA e my _/. L^F*BJ|*uUIAH񖆰R ŚDEJ!=뚣nl ^)>0~r`-ΙK%3)ʸ)#T kiI.A`WPvV\1 ff 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1tVZn'o6a-s}+=^7$%WfW-@;?WϏDA1tOl'h]Y` Gre8JD8ipH HDD(D$njzMsң8(" RKXZ,*aҢeby$"9EI$Raye"< !M(L$< ~8 Jjh *EC=7rqjD T  !)@BAA!H(H!@A!B}ta`, Y|Ebl%.1ocb]0bQ\P0,X+X܏!bb9..bd|.0b F.T0X Fǐb0X#a Xab Yl#`b˸r=-Fsw]ƕC.P0z F0夏1pb1]߱v2bO17F.EyC.Ũr]TSb1]T!ab\\0tF1Pr X` cbQF}Ca e!1Q-0a aTQ09F0HFuX #aq9f,Qm0=,EuC,Zwl0JQ **8pET2HLVD&2"P,7CQEɠ"I(!fB3 U$:dEK3 (?yAE3DPtwEDgRQht&yg"P,t+zNπ"uDj(ʛ!ά_2QQ Q$fEO3T'*ER2PwaE\dI& gb3T,G&U4:ʀ"D (:ÊHEg@ QLCcP,,:bYԞ!fdQ[F,5ޢK I]YQ"Ӌ_dr,zHt_0X>Yd2"9 ؃)\6H.EHScd)Q8id:Іok93>N6CcU*0YR0sX`jbvx¦YVno⹘Bc~ w-W6m4ՁKb@^xM]|>p.i! bu+{(N7*ZY";vm? 4j\uRGw}z"ٽӀ:|s\/(` HÍ C1|Ӱ H> v WŁ2ģdZc|42Ɗ_D@$'6%0b$0¡H1drQEeb{EVBXBp:Vmߍt"zvi倞'ZK saJymCo?U!`v̿3n<+"<9=pY~zRj|seׂ*]Wΐ}65oohYPT#]inWInLf3+OT"06dHEje6_04W"䞙%'!҂-hAcc[l[좋.袋.袋.h&h&h&}{{=c=b-b-3yB& Bh(Id1a`0l$gϞ={¨OcA#$@ $ BpG !A! (qpQBiE <[,j(O98=E&Fxs ᰢt$^,Ȫ{oq\䏨Ӌ#eŽTnX8b=NXi`&|XF!q"c98a^4N['-ڋ4"c98a^`[ c*<3^YJjg])|5V QByU4ZT]Vr%o-i*oU91ZdE&A->1XĴb"&-'W-1#OL-~biQtxʸr"#qzƕCݘM1Y l;ʸrdb.f-&bZlb`E&1YlML-~bXhE"f-*bZldqIL?1-vbb&&,bbi@/1YĴSE,"b"ECLc03 L?1-fbb&&,bbi@/1YĴSE,"b"ECL 1[dbsOL-1-jbb&F1Y,lH<N~zwQQ~0Hw8"ݓSe2v;y Ŵot ܎cvBЉpuY_L:eoR @FIw)w9eVwF4DXԖś $'.r..lƫoFTeCkB 䟥ݖ5xBRY{|PeNl8lB mhW۲ .eH/oX d.H7@k{ 0mFAڀf7ѝRm_5/Qo-Ou"BT}k)/L)S,< A/o-15[\4myĜN|pQ)+reZZ\J@oFٖ ! }ҜD7r86-]Jsn9'Dװa&[Tdj ,eM^,jʿe[ B737܁J8Yg_$XoJeD!-njV]oniзL;v>LJaP5wH1I%Zn LTona2зae0Dk>=qB>hn`uHم &վ5'd08\g<^MS~ࠣfi|C\XggBuˣ8~:Hgs]h xmePY04,۬6PQQ\ k QYY2绳^ )'\4 @zX 2˔ON.Q{mbr˯](8DM7o_jm*$G4btUzFm.] .@[oxbx9|^VM8 w+L<EDkN^ognH,b̼rUMM̸i$m pwDK;N2oXB, ÂWyG{l]K,LhMR6!wrhBmuŗ!L7LXZ#JFC4D8%|Q;4ҽ~/D&W"bT?% 7Ǝ"@ERzL5)OoDT7iKg6yǔ9nRHKjCuݖVq+ްI6oa| }J}lf@wvމ buav: -懞L4#Kͱ N-yl"$Y o¯^x>>,>#FuCe'7@Q!B@-Zyzou#A1mƹ,|5sЀ1_h*V43UaY81mg& &~ G+A9L@:__\ӷ48> aHkEVi7WwaJHЃq [zMgvPfQP`<|k?)L)2, >#imm25;9d͛ atd 1H/I`qK dA1d!mJH_YvY ɼej.Ju{S2o N|<% b&҈_>boA" 7H.S=XCȊ3okk5]5ke)ى+`~zM(Z3yJc~:2JJ*=|vA#r? Du꺆HWmD"ZпrxnnY4W΢!;wF]G2D4 ՎrP3&'?,c}G8DJUTS} R8<|O Mcݓ<K;TY!R-`"8%{q_ YߴPy(d)<"V~p$,gOIԒ|."r͕SC=\9iRqsl!q\eh/(cDxECtD'+ju( yCcǜQixnhjMX&VuDSòULK3A Ada p(`@ `  a  CqAX rHp]I^5İ_ 1%SKGՕ$1E+/FZJN's !d;7(8qqE;pHx0I:w O (#`DsN?%X0\fbYPDtDC>9ZC5(~l$ڿ: xn1s(W q]r!@q-d6AO'j"92(?]rԺٲBե!i] g?ζAVh,܉ 16i^xGNȺIBQ2 4P Ma(h Frx7?w|5^z3C\-(kG uS#nJ L9l MQg?BGy͇YpZ_Gp3ܻ+ OZ9~ \4"̋qбή/WK*rt˞1hn9)n ,oɼRc(δhJ^ !!vጾ$Ed6J ި`K385pQgWplnE'?Bd/;r" 7 ;r̈D a=5cȗ\|g}i}?U`#|ygd'ZEk[fHL--kH\εҙ}ą׼H8N@qTL9EaY0[0*9eCIy 䞾U^I.Mǂk̥3G#~eL]Vt(j ىvNXiM`$rYȦ4p$2w˪H$Z.ב$(?n[o` IRfPLdVπֱHE pի d$rɝH*X g4UOz#jk Z*}7XVTpv;PpUOG\Gq}y8kˑ؊iuش9.qGC:RQ+lذ62d[rPRZT=`HNn F-3oNwRg\Fq۔:i<<;׃:@,o t$,1Ʊp/`|x<0^L'_(m%v$;%ͽ_4J>JHT(@uTȑkC҉bpr4c|o(-whJ"DH"ۨDFhoώbY,P84%73psdf\i8̄0 l ֠?K&0 UTvbyp&J=j 5.nO_O 64\{WF 恡/5Sm?F"]988[De4\I6:.2Y;_!pPXƗU OÁS9SC!ᆃ&LZ;u(:q:Gýi-q[Ԕ>xu'|Aiwi\ҔAr\,- { #GYSsgK ia.<Oqկɪ2:=5?zjuez'YgvzH Tdfƥ;l m/@ҲSϺ1FfhK9f3PO0ᄀs~LpaNw-,hpX螬ɀrwîwYrII{_@aUY$b 뙾!70$-~ $}  یSZ5[&( \r'D 0l<~YX Ga{sϪn %LL^eZy/V9L~PD\*9|-(pq E oZ&(_*kR̮;VyCE Uo۷Xo \,ŸUݿ{՛@aWeȩā[IDrUE0⯫rݨ߅%D;H#zxt"o1q;T S9 T"oSn5NYÞB*СƧ*[[_LXS!r.z$+tf3SLlp33fc8c1e2fc8c37ea121539f4d139d4a2f46425846471e6616f7726ee6f7c4484f2c5ad2c2f77c52 61821a842a958a016e9d5f60f90d2a4ad88e0a588d13948e-56cb-4176-b686-3ca9128553f7