SQLite format 3@ .S`  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 5z4Fr ]/ UHOL-Record_Benchmark:threads=6elapsed=141.695cpu=233.936gc=20.279(/`3UBpG_J4[B2˻M4B%VI,F\nu_̱} H+jk TO#/w le(aiNX(/ _`M֢ٟ]!lQWjp@}phxR?]F=48$KZ MPC78 +%G"d>(/r+| Pm ??bMQ JI[f)xru<]!u*)Uǰ0e/'%[j*xTM3]R/b;:UaR"ͭ)"娚X~輌mjkW.FҝKn)do4"dz0HDfz_Af r.&tˈzwwɜ'eVHʌrwGsEk4%e#?ώRm8oj*9és N@dH 04`B!p@eG#! 48H`xа 8p 0! Dhp X`FF?0<8,<80 9a|ќM$7 aEo GlZ8uTfcDjZc[is(S> 25~1K> h9㉎O\fG_c鹈85gW*3:NěpwC qdd*ZȌͤ[XF^33~2}ƙiDsJfβ150<9֩BcJ¬C\G|UeOhIkes+_m/-z_ʻ,bR<{rUսk&y~?fG4eu!odfw#$Ii'gCu1W{y]6CD^r1+HXš#u2B-GZferGԎ5AOc*UQv^1Ѯ\r~Z1R)?"^cN~%cp/]nq|1򱇕W/)sn n.J|nXw][k=m=ݝR/ƩcXqJLʌ\7.W+ף2;^Ϯ\|n~ɒai6$]PztHzL#a9HOH}Bdyng1]/<"]ZQZ%u @`P &0@K0$@P80@@A1 [N}5&s%4]+[u vd62@/Mʳvun@ʐ2Z ©]%.sCOx2KGЮtvm78MŢ@{`[yuo0meY"\_n _6ݲf Le,v"[m83 )0WVA %w#LP[W+˰p(k+z,ߐ+r|DA *X542:}"$ 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 =j:mi*~vY|2Q-iR7&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 ``` `*4yQ-bXSukRԫb=:&?pnjF*l Sqe<ǜ/EU,XChl-|ie=]TVwa .|~LԹr5GR`p/WMo Wox #z%{7¿/KK]K+j_De}-^/U/a2 "կ}+9[GY|?BATdiVF)o_ [Rt 6e_b ? . rz%L) 2*T. + {!#dp]RAׅEt}!uEdx/]u W B 6P2/(ƒ `uJdp^h^WAExὐw 2._)B ׂ B":ྐ2:Aׅ+EhyZdx]^]DRWABUG0P 2 ?uoyW2}~|VԪMɽ̋M^.՛%*//vJ#ro_/ 门~;ɗ9WļHWLK}_*[)_e_UŪ_>_KRWox p/cLYAj ' 2 iifY}4p,?Z,X~,p%k ~/aȧ5,,md>oY*֘~(ʳjx"^MJ[y b Ub豏`5k;Ux(/fiRN72䋹}ګǼVz1_u7:cTدij Y{Zդbmj8QasӇ^ =k*fmpY9M>F~1n*k54)!Ъ^͢:𧜒7QL|3t-87!}h FJGCW%H-6/3B>|M6 -sf]XDelJ|3WH]/e#=M{>I< `{Du(BVHkTF V_C巵gam#|0eug71z!":b##; izA|r(EYoQD,ʵ(+( t(T[E"i䒢_vHQ ȂFl 8Pv];dԢ5HϢTB!=h%A QkE{4&zI&u;@' vhAWueњD h V*ZQHz)Sgר_ـ$(iYJ i^ 7ң. (E MeNE5 ݣvIthDUQۡPhC 5ҨG4znGStQF ʠ][V$:hB%h Q':iTP@0ң!]rԕAehE#,ڥhF1yԣn @҂^:4ʣFMZfo"^"&:rɣ0}; %7h ahSSOuvez4RIҫK3>5uRCO:}[uiŧf2eٴ3ihҪQF$:jhJ jw-o( ҍt|[ n!g ېzUiBGY2*Nt֠,,WQO_7V(ҐOZ u3E 22蛏=$QlJoYQ>rsQ\wP:T'?uh$YG(62ҦY(EqQ@uP*,j %L4PIt顖ϗZ2|,Dec ŰAW鏼I9qynr>}XJ'= J7AG)D%)MV"4Da/0ot),DœTwh6ZѵG2,N f埒WIq/'JaX?FD[PJhgIBISړP,דB|F}DawaoDM( (2b+ BnOZ?S4t!m'Y<82vV)0'iYgДk-f0"ιSh& bUTSܜL>R0`[45]=U=& j^yX)(o{Ǘ{ =&JԲ6tNP Vx枲K@Gd[A-;u 9oK| [4`ϝrp( TH$3bbinx;]c=epOUaɶZv@s&n3J [t53RpUGf[M-; ps^&n28J @[i5Ǘ{ =6jj9U2tɇ>P Lo=5$X6l'sk\~y"j0C){(z_ @n}vjPwGL2| 'Z5taj L2,\ H\9t'Ogq `D+ LY-CܶIv6+]EН\VIpU~<դ3(x%1mF SM  9ѯ*z0xunBw.{YMiҴ 슐3vuaS>Gۭak?7km*Ԏɾ^MelkAFRYɿ/vOªlFEr~u0P@ A Ɇ@ 6c q !wg6Fф(l\Qb* BX! Q1qg6F <Cq b!Œ{* Qb >5џ/H2?-iy3P5^mEV:[(p|Uebc_B8O x"lxcWʹ&/S>9xOAd=籆?+2?%aBµhKBZjKD`d1T:^MTe]%D,Ng@/UOtʎ[ `׆<%D&.~<#|pqoA~K m~JŷkO6~ݻaj!e%QMJɧsȱڿjP]NuO(N^未H4HɀSH =6PC\WN%.& 8C05:NQӗu-5@~ˬpPBx&;  ; 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 =j:mi*~vY|2Q-iR7&U}S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain S &SH5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/a<!@ 9wAWAx.q[՝ M$VEQ27vC1D 1D CQps ( m꧟`0 X;{wѶ-ՖM̌fUUXUXUͪʪBDDQimflDDHD$"$d "ɉ4~02?y-&"ؘ,JwwQ(mv.mKZ32cٌH3fU?Oӟ/}K_>߿я~???׾ٛٛٛ}ٗ}ťHwAw1=w1m-iGڥ=1Vؒf1u3bb07(lªbUUUU}U*kUhJ@Q D[]Qfba&jhh&j&D:%RS"3%)Db1!!dIPd d ]$]\+)%cUêaհJX%V UdID$$Dh]3ap&3w3v3t3r3HH+R"WLd;ZYENRENyyvČRB3! 0 !??9Ld<OƓd<O^L^L^L^L^L6&dc1i19LZLZLZLVLVLI$c1ɘdL1yLdddddyGޑwyGd=GڑviGڑvdYGdYGґt$IGґÑs9GΑs)r//=y{$d,EHyyyQdEFQdyDGyDY"K,H#҈4"",""H"$"!r"H!R"H!R$HȉH#AdD7 yCސ7 !;dl6ls5\s5L34<3<2,̙3gΜ9???ϩ??|ʕ+W6dMKKIII~G~G~E^E^E^)OyS//!!]yWl[cklm-ŶhVfD3ьhF4 ͆.h(GS $8a`(00(@@0@fĜ-ins49CKs*mr&gy.s<ӥY/-bΐf49JJL4JJT4ݕJL4ݕJ4ݕt1J4ݕt1JiՕ|1JiݕD1ԙJiݕl1ԝJuiՕ\1ԙٕiՕ\1ԝٕUiՕ8i1ԕٕr1*iݕ8Y1ԓٕr1iݕLካiI;FF@Z0Jav%Q4JԾ@yt%Q4J̶@yt%Q4JԮ@iJY4J̮@iJY4J]q-k%sn^QJ0kZT21#b53 |Mgd O5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*$(% &i̧@ I%%P$@@y#(Cyg gnfO/ϗB !RRH!I!$0BH!RH!RdOH!BB=DHO>O>$'9INr$'9INLʤLʤLʤLʤLʤLGyGyGyFiFiFi 9H 9Hw3㸓N 3*3)̦̤0cIa&evff6hAcA4Fi1Ƙ !4U]UVUUԪjZuX"HJtDF4h Q  Qhiʴ^k[z-ْSrJN)9%䔜SrJN)yK^򒗼%/yK^dIdIdIɝɝݝIϤfa2)&nRډݍqc\q7q2ʬlUl.c A4JchL4uXhkZؒMԘ)L=!ɦ1D8(Ebm8Bޙ!R%DڌD3?3?3???<9ys<9y˼/2/2/2/2/2oooo?3o@aUD1Q#"@ N Ĕ ,<8@P0 B" n@B8 H$0PXxhPxZ AC !!᠀Aba hii////'z'z'z'z'z'z/}K_җ/}K_O?O?O?OOzғ'=IOzғB/B/^^^_{YeYeYeYeYeYeYeYe*Y%dUJV*Y%$TJRI*I%$TJdKdKdKdKdKdOԇACc $LY (xH1( k:#\2^foeW"%ߥtFWz$fgĤ\tFWrz$fwD\dFW$dWĤDfW2]%z Ze531#4 sIp%^>| pJ3)=hLq&s;)Şv$jNqu'9Zӗ;Ɍ)ݞ6d4pvv&9םLN?4T+ܕHOhg]kmyg˯]y1OՋMHGjbGf8G\W>%4ᗍx4ZMWʔW>2+S=ؕGVFxdNW>72+Sʨ${ }T_ݔIwI϶ZҞ^PSZ%4ϳ,,W&3Vg[EF]qT>[5Wx+˫k NziYz=XNRgg[ʊy/ͱT}OS f3E9pucjV擶~3wzdOŢo r=tRf&dM$a u|hF"* eFԟyTuU~QͳD_>Sȵ@rv]" $2Q413P'SrkkXpa9xi$=֒X\{%Y쥁XKbKsfc-w^Z%7J-x^wX.*\vUX7UjT nPrݩVbݠVS*ĺARuZUuZNJ-םjU! jZ;ժB*\wUEjIY iVí`$؟f$LVa{5&دf2$UL'SnI_3ikqI#3mIUdi#1icJӢc9{+Yr~!ؾb ,~-؏b:HL4!^eJNv4)/ʹ ~5Mn4JN枪ѐ_҄լd?^҅ӬdG$լdwՐ쮲R%Sd7f׬`&b%׬d&f$Ѭ`*ٿf5Q`&ٝf5W`?4*٭f$wdt}?t߬)Hc&c,<~,:bHXJ9[2 rJxp2RIfgV2dx@~,rQLVg.~:ȳf6+~mfH3+g:jf۴eMٝbYg`zFxtket,Xc)NаJ%gJ601Ƕf_M. i,b:[be-Rְ_Y[7y0+bm >nc), ,TiYg'l1,K1ن- ?K;L&5K!fonugd]J5KեHw t&aL,~'V2"V]i+V4:Qy}Xjibs[=1I)̶`' ,z"HD۴bhE ~^XDP*X=ޱ\"1!S W -œ1_*Vԍy.'ph -w)Y40`--/;CeDPJ><.M-/$ftcU0U\?`qcIquMIK+3p0|(Xn,%=K~AYxz(cQp3fI!k!;A#iS,@--*)nɜZ4D@69畧"T grtTLVӍ{] /E!m65?~*.㺂euZo+6W;!wNgVqk96m+x/~NfVe\VN˱mS7s%\x'C(ChYk9[wBnd z4 i#j-w;9WEBfյ\ QUwz:ďYחէv.cK5Sѣ 16b9)#l^lY;npl rMӬݰwU[񆞊Jņ+!'3rO%5?Bl¶mrQ=%0T3`h-^51^ (4! @,i,EaYa $uoo+=z,mh[[D(@cea@F>$ QjI ODi0M(1>B]۶)fzVk` ۣ =G-ES SB3V)Bxg( jMb CPPcs  H!!B!"T.\ǚ@7u|*̥FS-mt )7{o5tvƔe8+M.P kkLrc*Ђ!J{MNIG2Y*FiRM Q6=T0U`Eua|iҎkCIBIf:GTJt6 MwɏttQ@Fj ~[ 򩂨DRIe]VTB=9DfBP꿚U9AxJb><$N XT^DM(EuDђװ'5d^uJe_>,dl?_@->N6 ;{g: n:\݅ lD tTN%:SU"T3>X5)s\圍>X}(u< dQz %{u+gg0oF!˸ppxL͟IEvmIheCڼi/ds2^'z><خ 6ahgסǼ) yYP3*S^gRg6UfA<̫La{x`!kSyS}4 ME_.E7/bK[2PR=Z꾏݌]~) N*O;;*=eK@\p= \$A BYxvG%G5D1|x50+S]Ag1ƢKT c9%=P{:{fQܦP=vԞJG~R15IU GhtK)˿"3N VEwװ@235Nt4|ZEɤ9[s鮻RNUrWVr'hidK]ʀ(&0Qݡְ@{A}U`oFBFx-Jwv$d Q"5F(BЙ  ])px9*z Ik섺 jHCqoweCnؐkBͯ".JP 5݅DsQC[ -$gυgi(**0} ,`N܈oU0סM3^ޅ;spo>CCYmn!ذwX\fmeWnUvJGw_P!Iё1_ۇ(rG:o'\xCٛBB1|1!*ypDc-Bf WnHBQd ÷dŽ5!h-vS~GGQEB`.KaS>x 34m8ޔ]QV!O)/s_XpaE.A<+V^2 Gx5D{\h̿Bre7$0G.z-[yN؝J[vw5.xhjS"uzR&Ӡb-J)%4o 0IA%xI f7F 6޳s(b2d\E3@~{-Fb &obTSIx&W0+&q|cw@ml":'@'&mCR9wHPXUQ;d5Hƙ\ԯ B`\K0Eۺaa %,"+i\b7j'To+ki!a[Ksx&\ y:'֭5mC@[ͻh(6@hp;|:ܽrj~t?Q..ҟ5]wm sZ{Ț5 7jT/uw"w>^@YȾj:}a(eu%H%Tyռ|U,mtפpG 7"b:~'%ӥ)+ZMZsf{*F3sy]ktzh}:d) }ՔoݰGJvz-e#KSD[+RM"N{JSaAy1fĸAMX2K}5i Tj2wSd)u񍺉gkɵlXšO'os, oW%ుs%}{y=rm{siQfy bhH oVߟ' 5OljbaS$5|1"K׮PRߨxL,Ok y) [,_>v@\;l\[ ֢tNMeW!PK4]2WL , ̋:;2dJrk fեOMX, BCl~U%˵OWyM6 =ITk`J8]7M x`*1$YmԦzyG,<6~$jsf?Yv%8Ch0}s}sQktbxy:e)"}fj1)j :nCq:9m}ɝx16M@o3X$R?-c_dp:t;FDi[ ԮHRW$ &K۝,ݒ-n`"1`z]: 0|q&@vAߊ[g&vuT/ vIOKnX;KcXθN yjChm*6Y>߿_///y'y'y|+_yyyy<)OyS~cY~=ٓ=AvdAv]W+a0E"LS&jSMFQkM&AI$hZ-b11f abXE"M4DMDDD4333333S35S3VK-RKN;"#RT"`#A$I____[mFm6laD46H aR%UQUQUQ*VD$h&hfffffffjfZjivDF"HEHn$UD46D EWL9WL9UD46D *VUjFH41((((fjffjhfbڶm۶mE*R I$I$I$I>*"i"$]ED3mC$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~4u~@"@ !0 &,'?4?RY| WkTӏx6#M;q=?U#OsB4ikџv}]f&;3ߝ?=dM.J]p^yxKa'g("abvHvq7rj7cT Qܛ87͜Ƅuh[rHkO&M+tcX6F3Ty}P%&n̯K?O)Ppx21 >sK}Νl7fN4Et~ԎB$?c$tqI|ķ6 IO;oak e )=zT"{pos|O݅w# ]6NLI޳nzsEsy/2L v @Ӷ5 @ӻK@'C'F—sCᐻ qu8 W;5t|i|9=B+$M톐5Y^(p 'Tø˥8\Gw[!#ZtJ^;ᛊcTϲYap,4rQh` FUNU^/,.yQ%+JE*bLد"E{E)P0ȴ1\e3ZO U}v uU^xSj<%(mOUZᕱlo+jO]9ܣt”n_zUSUVuCYm+28*d~%bV_|Q5ZU^Xj=%*m_Z㕱l)jO9t*Ӕn_zUS.5uSYm+j*dv%cU]O|QuZb^Muj}%i*-_x╵S,)bOYq3PQN甎OIW^_)pU&jl*Y{S+"wd{PK q㵘MH-JƳӱL?Pf|TB1]{f6*bS }{eU\UImԌWMerwh{j) Suykڲդ ej_jQT}穊L5IwiW;XEmlwm9{R6qH!HȔҥNVF [+ڼZq*}JªھTm5*y MwGhs!c~4HPGsGJPB38󡩸_Fh)C.4%W*,9 P,04 *uUӨEWK պWMתfZQr,T變f29CHAiMitڝS)DZtY/O >liK1bi+fhVlUVkʩT*j+ZtʳʔqFɻRr\s`M _^n.dR)Qk"VA^KVU^WEF3]FURQa %ZYt*]֋JzL$jd(IUr8I̓Z-z*P˫#*f.jf($ E7|+YE_땾)RL0U*jK*ĤsbghfoȜ-v=vM<ɗڪڠ9=aKyO 6 =NJҟ$HE,ɇ?[ 34N˜罹O3lgM|ffdgLf4s 6CW3d;G33C8Ň%:CW34c53:#1  XvfjhhvFrfL3 %3Hn/,ϛ4KrB-UiXO,(!.)%2[B*,h&E̖bOъV,to(8)S"%r#gdDI3 j2OkS9{R!cX&3̔A#B5)46 QK3K'pa'sTuA ʢrJ9Eh E2 :K EeSEt ] 2yJT @dRȅVËs2 ߫$ύD<b r6ݻ""g w޼ͶdR+Q4m͛7y7K`KR,M5UgD1TRI*D#""+}JTXX+UTUJJJR*J B4PDI( %JA)(9X0ҥK%K2˲ ݖH 9Cp33333333""""""""""ٲgd߶۶mn۶m۶nܤo&ҌDv+fψDblA"L3!&|ͷEG<?ۼy۶ozކ7<|o7ކb!bq8 ܸq㶠qqmѶ7nܸmm6V:}֤I&K,Y$In_fo_w}"6)={fffffsfFDDDDd$IRDDDDDDD۶m۶mmmvڵ#G9r$m۶k-#QH%J(633p;[íKaқQR=#CviDߞVHfC ah HC@8dӴN/%Rk7;m[ɡjE~ ӏNqBqo7O kk0:kWKa63)/;W,ڼxvd6P j & o4ٔ}JMܡ]bM11im59HdEni-”vY ݙ dlgK2,Jk5HHUu$xc^p;lK6ηWvmX6Yԝy@l,ؘ֝.U@IUJ|vRI1+f3#v\;J#= pq Ix4:o)}tЙ+P7S."Dl^QT#bh+M@pS<)Fv4!ORfGݾ*az5 4 |ep>6f6dNOؙrzܫқ]}JLHAk|2ԚA'g3dzmoq3`DKS$o;B9(׃Si{`P)~S& RФbU60dG}jNEP$Q xzYU">h ( ޣEw'd uYPO DVk~G ե\Qݡfdm ^n*r痠Dn&sC_?1f*Qr&[@7ϞZ 9;hhw-D쾫c8_Q4WJ!9 8QEꫠ$f/ ] 3DY A'kMrT{`FՄ~1'(mk% nN㪑~BKnsJ軐TۨuP)-1& WS +wU05oF(&:L#ޛWwBO'Ev4i 6 )%ס셄ԭp-^Rehqr*FI6I6x]$9C>T 5ldXNK;RaVZ1k NQwy%/ԂDG/-\KNRDyL46TM.]f&ZT6Ao\uS ^BػhirόZ~ P9SR fktNAt<㿛u4cUpJ" n:6oRYh%ͯi7I1 Ab PDr}Ϥay=%YB[ԱNGƀe ɈLp *MEZ t $(8by~$== )tm0|,đ՛jmI8K8U%53!+@aTTSLT^r>hS^F<]ӌF4`F{~{Ϥncq*9`mUP03ncTsSaPt ZQUmA :}ST`9*#?UgUU2h/JqR8[o-ZaXk|ڊZXoՊ'/xF@M"֦Vk*[k6Z&mۂLV>Jvzi;X)uϜ4ޏJqXBWD0t }L6$PDP+#; aOj}g0B6(|ئpdyV])h.C@"<),Y-[=!͊|qJ ;Q)HgKMZR:Szz ä31$^<|zҳNT;;]zЕE3*8ig ZHoQS^\+s:j:5ciIf)h̬d&=3^͑̄13@O|I4pU$i HjBiYZG~_}TZZ3NIsd%5N =$6{BK\FUO&ߎȡP<(,2͖' :-.36qX>; \DԒ/V9 FPnZ[ITȴ`(BR*ۛKȇSԙU,*hf=h%?RIqiEzPNMĺ@aQc Pk/'!8"+ ./Bָh|\lh qFoPW;ڍ(-x3+Қ:-xC :^AC*MpiSӢ@6h|,FP!^R6,$F41*F)@M`kNSD=A\Ԝ-5JMEMQBLՈAoS'=ψQt#7I׿M8(.>]~ˑjۤ(4"ָlZ+iʦjBhˆ jf$]3Izf$'86U#ɩt7)kz2sJ陡Hie;2?WpDn ƨ@s58?Q[5r,&ڐ8IAB"p!M'<\41Ā:M ˃C KUٔ*i|ܟ^^.pӵj)p N퓪Ce"k* ~WͻHlrEfa3SINq&JuM7V]J1Q5\\4lnT)˛$mOWQ;AtK2t$&RPU')Z 5@M<=`ۦ| Z*W=֍S:U@YQ6:2 f*ŧC*L*cw〼Fo(NE:6o^Ε}H4StGp|+ 'Izy',c[ֺ<$Jy$M@!ji9=>2>w%8L~VMʀT\$}m\Wzf$%v,И O0-('?^deҮeV׈EkXDCX (DӠ(mnU i$mQ0ȪhU"UT$-ԍYKU&]Bҷ3 *cԎi2I3u6v*?d%mĮR1=5L>7RNs;GD j4\&i <ÄdOL! xt搣m*C+M㻪 :9L~xWnFK>I+BtvlfkW$y}K>LwK&&W>g:q\* ͺx zH78ZQ ^t&c|~M9v 6UMUQ4>6΀lmbꢀ6bi=dV4<6pxKئ5lcXzmP65n5ڰam(@AWM1pq&@44juoӁ\/^T95_O@=Zjڔl QRk렴FQc U 5DMP>j 5 VQP8e4}9%z7F= X8ӴiF9M(N"iln+iiBUhi"ӄ E1M,LCM4.͕&jiX FJ4( u 8&]K͊!B'L -CPH~Z9;i['kZLSWjkUwӤ)LcHN m >y: s~04E_9'hC-̓Jsk浏ĩ*PX }nx)M~4ծ&´>іė!pd2:N=I>Ì9~=S6Qp9Fy= S %thjrnqYfڒ !"WYUUѪ*""Q4L8hF#n4Fz)e(E$TB)"r(~~:WZBC)BJTRCffffffB#B#B#ѶmXיHdh!Bj kו$m۶m۶MDDDDDDV#"""""""jZV""""""""""i۶m۶%I!IrȒm޶mDDDDJDDDdDDVu%r ۶ߪm%r"&iKn[; /P|>9s [|>UkNhie:H*7jȊ7%i~# uff)m"߲m7iD-m6-I6h-gNn۶jUUDDDDDDDDDD3333333333m۶m۶mK$I$VQgZ"# 1A8k 0!J{S&Tm RCj{W]<3Ŋ 7 fuwUc{wcJ]]GxURlmjj(]p Jor<%;3eJ {ʨSj+ r%G@zn僕'Y*U<z]%O4k,K^s %y{A{n%Al,Lʰ'Q7*\ 9|چ'qU1*f(Ξ60TfPT<2RuEց6އ<#Y{R6_nn:~r:0rɾNLŭΨ`6U2 Pűlx E5) fDPMNƑW|X ̹3{ϊD%8*4w4Z]FSb3``^P Im)%\ҩ@o?!gwHlRVWqhb ϶R*$\đ5B>eu , ĭR7gk sG?f( |LEmlָdM~c$2JdF [qqu r&սw1hFUbͦ']38p7.G֣-fC5)hC) 1Ęf ? !$-đt@K srzOÐM@0'KTVRI=B́?8C-0c}<\J=̾iҹeCb!Xsj4'gE41,hQܫZQޱ0̌-hl.9hR &fA#g֎MӣV޽$,R+-aK]!әu<,A ;{j7#̓a`3'Q f8F##D2L`F\P'1`!| \5ԟU"/`WʅlN I 4hiZ i9v084S|b$Z8id溵NRX™H'WxSLI|RIAOɁ\v/RX'A% c񿆚>'6q˜PQû;& x&%I˜d$,iPr!ԅ$DJp-4B3}NMg #1o(@ɠN| `I,K&;`̃~Es2@Er%Wʸ%h@~D>T$P|{긾v}j\0Q:@f$WMoUA]TNޖ`dbD0٪*źȡJXG%& RR. 6?Zuy1!uHRq(W9\*cjƝf)iD"b)H衤Rb_&<~)뢆A1q.tSڪK[MY[S>25E(jEclU: ():uЎFVYZJW2䴫QL5-dCU=M0ECU~Jrтxg`|blYh<cjX9,|`.ܫa(q;!Y(1m CpYQ!ƫaQ +BcR(Z3!0XH/ {0WZ$%x =<ET_R/TÖZG(z;cGpreWVmD"(Wv~r[y-ʯ_ 0q ,oHۢ0bMWҗAKհMJA4_R>QιF8/c1|6^;{Iuq-Kǫa.LS39UJBzUî,Q WQdgvκԒzNHV#g) -J{b,Hڮ>㣥<4\Y Krvt,*crG:ilEf S1w I+&2FvƹlU[k'r$ź|(zXd}U;P%}̭pD[ΩdĦZI:Jd8|9Fw.ד VuBGI5˫ͱ]yx⸍|R7,(v &SK39iXLIMtŪoao|Je:(_HPN 4Re%lKl 84UkNW(&;I N 3;;$[VܪtH$h~ \]aQQR`7ՄP,0,I)Nݦ$F A&#8Aɨ}V!1Q#aOR+B1P r2Wm&(bj(zRZ•´Dlp+'vZA0Î' ~X\'ol<4TvGN6PO-ZUn:(r Tr)W#5GDu rD | A Fd;΄'V&:,DQ$L:b))B L?EZ:'+XTƟY60Yjݸږ΂1ă#{FƨUokWJN5A¶m6DR>/<=ٛ">cf3mA;9aCKzy.xa ^ڤgJuqoܜ5fsaKT[EB<󐥶P2lև%=;ЪKY |3gٜv4{Z%PN.?JOhAԓRA~r,b3YUO=>lFz 5]0{1[e? 3Aտt0)"Xe%&BfGDaM"dnQH!e S}Z1L|"֫D=H\DȻ VgM# ]WM:$DȌ+\GZX`dX}b RDH#9U>c\>B`d(C&'Bނ \MHW0M˽$ҝqM!TظGI =†n%k<3rA!»Kg{%ߵ}JGZfDR:B>2P_n\$;&BЮ"$x11 =`+{?<}!.Bl)ၽD iA! `/DӥܐKQ/1uN"tqvRd"/ŝg>&o%y q$"d IgD7&BvEda$%lK!|!q_sb)f 7QkCь=c{ i"Ėr1tp8uL0t^"?c}ġRB !t6ɱSA A:jJK ōZt3dYEId4-JMʃdi*l'R鑲X^*K se1=c\d#V,OX\'JK`iJ]u Rfc )E mR-+O%UZ#[A2}|Ǝq G<J}%-JF6'E~6R ǩd 7O;LPdz])Oό9%I3H,K-`z)v 7mҚORpuNx5hL;g@)m>.©hX5'yԘouSLA19h OIjJٳx Xx'DU3xXcUvjVJdnRpԔrpz*= ޣiRz D 2E0*#VLa[ UQϗ*IRpPh*cK!hLL6TÞ*a$l-Farb%P֊v(hYJ4bB[+/ڬmexKuj┇FPܮ6ՏJP5-Q=l&ɪ'ydQ.BqT8[_kGRZ;rBo%F }Kn+^r](wܢQϖ+P0UYךqc(gAqULf $[@Ab$GVd79)Z dS2BwQ/a SaPsSTiz[T< ZUr]32ȩl32"Cz#hH47MbU7Vꀌ\ j(Bդ 1ŮRYfjzH(ABkT V6Z毪Ƣd[KQ(^"bprM*u_2^#9PYeIܪ8k)͛ZCy<ZRiu>E<U%4XVUx&S{9y*봯k 蓕D?*MR5x6i2%xh_7JlTTC.>./&Yu Q6+k[T ꮭo&)U[8d*Cɬ0_Mx&^!o3P\۪^WUSB *jpCM?KoP{DLuG~q"V3UhSP)m~Bh(̓Tr|hVi*z?J*;$wdg𙰽 t@6]aCγI vFP%*!(u YÐm jM=[I&N`"+2kj=[zNF!FVM) -̬`dX-3*$:$ e-mq*`GH`5U J sGX)EWY<ꔃc:BK]H۱7r|$+T5 {bE+Ij=Xy܍bKHe1и6q*u H$*bH/[-!ѻ 攘ʃ-+n@;Bv wzM5-逩u؈"20ͪqުAVt~JPY5VM UA/ɨA4ԙOKoܮ~oKŰ؉ܰArnZXMš8MUyduրᝎjp`:;۱᝛6Vlv " Q#o;YKvTܻRB>\&E0u82hHYvx!FHfNU:p? EDAP%RE1 ѡOR-΅jaAj(*Y@5˒Gӫ4A%DϸFj=Sϔܓ7Or*3}/yJ!}i;7:8oh!/Eգmd@VbvmO';t(3bRD)6SLS9t|<8S8=/'a:oϳH,狍ȞTBKFM^GY[G>)"/.:خ~ypyVnӪGpq6ixE-lTct;5B_ɀTR+UB)ߎ$_TR_;T)/|)Ufqz79sjS3ѣ]K9)gK͑Ȫ|MI6+XJbE!+YJbE!+YJbE!+YJbE!'Uۑ ZR$;9K DLm%T*^B6a򴔆x1UL<Ϻ'޼.zJ◪E8UCH~"ipUQHVm',~w]ݿNPSԨX]UynL%UT5fg7C F t%HTnMeU=VIcM㙎Δ=.=BMhf~UrBiceJEjYSTt!RkaϫÊ2*PUoePe0|jJ9 '-)WvM x֌"GL[CV͈WܚUD3aD~"n*[YE4#v-Ygvd]ĵfdќwwwwUwwwwwwwZ;rfF䋸d ̅TB]80 rJۊ*TP*UkfdU͈GjCVE4#њUeD3HHϽ53h[3ҪJ$R71vȪ"1j͌*7 $B"$~?YEd0 2ޚU ~?J۶ffffY5IřiiFeL)Z#Hd ؚE3%2ĈH/J۶R l͊"lkFVx$YUUUU(2YE4"fdUHDȪ@"TDD#lȫZo*Z    "A`P-3ľ$1:<` GX QDr$  D0X H)'8&108szg)hn K۾:  }jQz4m*.x+,_sjsE)n2wC`8%x`.bpV~qJd@Ycruh>餏 S [|ܤ`QȬTJp^"|eY-wweC0=j: ʁjι]{a#=x:=1'*x_*|p]Iֶ8Tʅϒ\x%W 8KEu eRee_MFa# eƔɚl.x5DU׼)-$oWީ"]i2rwTlYJ3B;c*&YѝOJ35&r{E@ PxqBV+@ I,KQxOP WT:%@ݰD$@Bo dC:(xEtT}+ 7U}p2A(aj &# ^d  V YC;Jda%@pO1PD z | 54("c2[>@8`FMݮIeBW;J45* Rahx!l aa?(T @?LA} -Ma |bx$*s9yU.S(y89%mYVluZp$|ރX+gws>Deg0?Og€cʽ?3LDvPP]JCק3K5\vc,?5*Qt,ϪdC{1eUJg6CjE8~C5'v:wz9?8 '$>>~H39WvM'"7$8dlF=Us^~ŪAUDљo|x6Xv8'apATS; tRAY+.BIrFh疹Ru*:8R; Jrw~ule"hLI?@\y(\5gVO캠=uɠ0G6U~ا˸rryf6*e=t$yG?Q  |D?Y;_HfIe)\ّ@?ӧ )m"Lxw~@s)G/r~&c k~wcL l4?lI[5)Ryb@ř܎҈J H~YEm0WD$2>~䇛3~`8Oӆsٔ GnT3 i,%~{dEi |->b4o ː} },2O:DCt8y+t>x2O=i؇~hO k>-cH rlG->ALktVӟgax>LdeYV@6J_/J1a+͑@P EmP-^(L=Px <"d gPVӗ=jmHAAM>>kbx:ց{(q?mjsE\l; kJ\@BpG"^MP֊"F4HOy'BYsp^tioOuEB@[Mjiv0Vd'qU-Ą8SI—Ze'ܯzzIZ:`Y1ol%Im(o)$!n $ Muόy V 0f(NJN3'xGaIl+jm&R䤣BD=!P&=^ŸzNk̙"-^ "q/-qRiUc< N5S@,yw@CESsՅVѝ> 'l^k?0@QŰ֔s@6dY`tJ4FjPI%F2S0~Sܳ+xXp[o'wm=f[q-],5:t _PiM\:cy'0.j$\9br/wmmZJT}ganb^ϭs.쵬jvF3 A=/@U<~\Rm䄆hOb#'AǓ$'Ixowr}N=ې$|r6l>\zZOI*]Ԥ7?r^@?RD!PSv.U@ hjAV:q6+{pIՇ+$l kiI,m^ 6=Vҫm]\{qctfvZd rrf4?{r3 =G\^fhko#Ad4*Kn3M(: ⴜ\CйAHxنѱyH:_e_ `DE eoC_1K+ǐ_ pKfp:1a)Vo}<`VssXVq'H0 0H 3_!q+fî KV7T~vAbs0BZvU"z,R2 |TCje,!N{񈊨<Ъw`q&U t&aTD7X 9;!Ay\F4[ R Lu: ,iXp4GBx Zr5~m;8Sˣe( 2fۨ32h݈7b)*2*PgFA.pǐWsJwF]W] ky= RRVڭ@^p<_ũI.U0 ͑w*/!ֱR'W<\SIYUT ҥ VGe2O+a/=ZO+ x?>͡yT!(ceR JEQ1ZI2 H=A;|D7JxPN)Nja >14e>kVbf;FȬf{1=v_._ؓ/AiiBL13Kt 1_a.cK. [ HN"Z+dj)M/d'աd ;h8TFSV+|Ԍ~vG:UܫFK8|5xnR~lo%oIhBʴ^TRW X=&y;V܀ȼdblH~=U!Q>qf{Y}4Z:M h  vu s_bnV}ʪj>ϔ6v7+ ƴh+V9Яf<`D~zuWY/lP M{ɣRAt*a+ JSRCϨ~ Q[K'x/@>|V*xL]TlGXAƉ!A#Trnȯ湬Ȳ0Qe&Iw9 #-}.9$zxA%e:'bWcK0wM5"&E uY8Dm(V4Rr@(i6o+6 j@]~בr/bw:OAeA>[ `xUwNgkCAVܓr@FV5h:[ARS"Cu~5;=.WUnB"lwPO:35Df>̩刵WG)( N(R8s'>W})c,F 2eŴ(dL:%E-4j9zppxJ@H Ţ] kE f2[Q6pI Kf4hX9[!S6 Z ax"u(>Ipy+rQcyF0a'Z "CmSm kYa{}H= 3tA^[[MDZVP3Q\z3@4! CPWK ^"H߽V@<υ;[ܞ˻m fltq">&+=2ij_+%ډ:’'!Lh>ܵkՍ+JnkzǭiBq$TE x۫dJm&ţh%KkVp]?^0S+JO` rZ 6+ެ Cn3}&j'cQ&q !41L1(cC9iH.ha%jؐK-f6DG&fg lHwfJ W$,#fאH0S#=1?{sP,D+,fDkUFXӮ!npjG$at\Czg1\CaF1ݭ!z5tVO'֐NCC50>YW 锊{cӪ;jc-1ȒS-[rƚ&ԐX9gϠaʨN5*a;jHO&>OBhxVB%q;A;;0$\!*bdz! DtטUe<ΙE<&rm띃X@&/kU}j9%M^[(/܊@$ H@+Ȇ@+A£G|4ꁑB8Mj[+KIXNṦ1rL$+@I;x IBYǠw>YՌ$5bp.9`=FE>!{Dp"CaUĎ_VȏT76`grz5ܽ O3N%ڻӈOgY|DZmo+9<ƠwqN*,ISr?ȭVotּ}} ޙ *;_bP"dq(3O9M(F@1[kLEV@ݿnF]HciNmnq 9.3Mggٝc,HeA> \8ewg.^$_{ڜ%m v6gplүRAUnJK? qT94obO}(xRskch,Û+7L=QKӆҮZZa;@4vPNKzH MpW}Qc+^5!d&ݲ@B¥uώ5*~JW@ :jLq8eɤԽ:9TjA~p-y.V.kTB'jNɌf9܈"[R%W)v3LLIDl d ___mvFmm۶m{'O'Iy۶͛7o$IJnR3"?I۳m޴ٶ-mm RHIIiӶiӦMڴm۶i"PyD@[͈DldÄ#n&M3A%-In $E$I$)$I$I^$~E{r[PAQ g833QL4mڦmڴMi6mۿ@`8!BB!!,Bm>[;h۷۶u+{F$ےDP$–Fvd\݅3SHCHJAQ$Պ00(eQ$A @ #e ?&D cT[ &4Γ4k"޻kF=@eQ?M^JLoqD|F%06< $|7.ZL8DRPje :akqT_no`׻KE/W^<3{ شk0항]4Ziwuf@DuUr>Yn6z igvϤdXk) NgWKPV[HX!$4eBL* Nʃ~I*(J4>sM5nG[i1,H5SB*xt*(J/9)?@ ;^ץ.渒)q)UPWgѬARg`ꟙyZ01pUJ{.]5=+L#frivlP f n=ѷ)EK!f8FgZYaZ5?sJI `0 Q d߾%pHqJt1W Ơ/Jd8:fSo%g A՘@W3 `ڔLX^\רKԄ@m5;Y@PK Gb3դ<m5 ɛDBR<.F( 8SBs\ <5)0)҅T.~2V:a3aҿ%*YY'OY"\BXlo 93Voyi=my-.k/']d+垶Y+蛩>ݸ8+$2UQU6 ^]I0:] NCQ4KU@M|KF%Z +`Y-')` P~ *,T5W3NS(O&gO,!e./X:W jyxP@g̢Ǘk-i1n;mT}NWߨ:hCM¢^"qyY] OtJnlu#JEdM]ݍyEbFK?JCٔj<|SȱxUS*΂FņFDzxxܗt_*8+JdmdY]A?X%܉$?ʹF-o)х(Tj?-U $Ybŭ$8tZ1Rވ-1)zVf+d"% |p[Qw+M%RDLP=bm"15Ku548/,ZdEOJ.>JP;xKo!J +ع+ dPf=-E,[$T %B;R\['p=cg$ܔY& ߧ0\9-ʼMx exfQDDk$*|l{AoyVi)SPE)PBXqyd IB$~CRpUXK`O+)0>ʈ©I^U"ߜPBWMVeF^mL]d$(KVMYWi5L)|h=TmePW{7SϾзoh% NPJk5w}1cP>?GVbh˫p P bO}_]^8>" 1IrfYoڥ73ioj3%""%!VH&mK&glmmjmKc332i+Vm=;ɹg59~Ӎ|s"[ڻvhG;ڵv]kֵum][ֵt-]Kҵt-];εs\;ʵr\+ʵr^k{mZ^ky[{֞gY{֞fYk֚fmY;X*Vu,/9~?c~;;;;;;;۝vg3jf5Y͌fF3ѪhUWUzիFD#☩1!1 ȍGpppppplJe&-.TݲO6͗WZ9r;*!!EHlDH-4nklm6[fkgYXXXXXXX{666......&&&&&&fmY۬].ke6YM&kݾwnmmvݮunmM6ݦs{n=綼V[[[۾۾۾[ct%@CGs 51X` ``a!!a ` 0M:`%}!m>['lm-Nk Eop٤_#.zϞ(ő&3h-3ETfMYP2hLt+*ZTd1u&?5Gcb&Gv9SX?x #&d~d'89LG. bN3J! k֮ *\r2<>UNkkIX-ȴA_봖ˆDj*ʠZȴ_i"  I:E/hKDe@eRe}5{ePXm\屬_uU5{ɠXmA_,Έ>猭%DeƲ'rDX-h,mmJkFźNyX-X̭Pa,rkgm[Id&c]]=~użl2:x6Mn0F Yrɹ`-dҰlo5\`3u쫭,R5e۷Yl&cc/߲b&_gcn؀̄ETg_YL"crǚ+x!l$&\&Ncgoߒ@f^'cKրMo-[bNv>S;"Y~y, fj26{2{eXd jٺV LBd3h-)5ϳݵdlp1rɎZL$kP#ۿƖa3ل$"fOealBh8uf7n!q Ќw#PW9quQ.#$gw, g%5J:e}MgHb:lzӒ@V8 de̦%r3ڝ\?#hj^n$V浧ݶYd(KוkݺR=._k܋bhzY}Y+6BZY8Pvfvc6 fTU3 a`8.L3T,Ҟe5 vɘ+6;gZ\"wFB >ҳ 3 3ҝ,雍%R?S&c얪Mfxln^Xd]ZPgoYrSk*Iͺ 7Q]%Rj{"Y` DݵNkh Ͼ&gk 'E:aۆ"`pRQĞXKR`_m R`MmBU EL L'֢e(\lXEVۉ)UV:zt_KªӇ@t_D(ּ"^_g7ȥNYR_ I;wT1_ub#u99T^5&pǰ:P,q6Ir9gQF**81E{򦃢*ӿy.mCTZQ8#qV#0*ŀMօ8AA0^V61L h函iJ6`a [lS'[lh IͷVD,Y*&U4zMMqzZŗr vb-_ƮZA4|Na 1伩?;ˍ+a2/#⻼\l-6.XLz V*Bbw^\в[^ ŞZs忀Yem_ȸJn ;q0>?5b"2Y9,|\ ?MJUusEf7;Z,`좪={ZK0&=K1, T˳o&öEkÊr)Uhm놐qLrh<f*!\6n0uox6D\`ZXȚ5+ŊYnϳgEJR 2{9V _lzzг;-T (߳u Şmd)}v7x?1%~bJFW:(Mj$d#u0=OlLj{Η(˃[fpoNJrƗZzb38̰ Lg%oe F9KiM,cx nWG '<f X"|6bNo6>*h?bI"sfTM E3Ǧ@͘Xu*uq"=| ٖ $28Cr"t!#{y. .1qn̈́YXr~ō0> `|7~ifpG'I$!:c*L]ր!E͉P;쐉H'˦/FʵS *jBt[!5G{ŒlROQTX5q^5=D(1pxQ4w5|)ehqYh  X׶WxEOEfނ6\\f j|0 >2S MhǓ @"@Rck^*E)zKX >k12t3c kwp 3Dx ο * R`6X!߄?D>EМ5Dx ޿ *k7$l|;~9yy -rYa3-Xu"H#(L3\Bʍ6%o6 uIf $:a)}peD#U̪_fLߌ1a=YOf'hސ,5á`[wkǾCȏ!k$o˜2%>~f-R}" MuqCP"`s+R9eZ"8^*E2 Xte{tWU5'r5Ә u7tAkhj.FpMj藜ξԌ!-0P*j>`B1G {E (:/T4|B#+ԶIWK2- yp}U '$-SC+5kؙ,W, '3"4$L`yoH=Kܸ@0ѭW҈!u!)Y9V2J&6} uz㥅qX2TփʼHhFP4W-WTJߕ,?ua\Yswrl#X  b Xv7$q09(187{8#*/!HCw")Bb熾[H*}зЦ0Z!4[?EDz`%@me zwzΠDtUᚮon+)C/q)x'atVGTEƣP ή =1`+ቂjϙ|ƴ[0" ؼ^2%.!lСXꑷ6qDjO*xR}>ӵ_b7yk:jKLqLoEBe׎6"ZӖ`Ak\#3@f· U횠i $3AkW } C ٤Gay w2[d"Ef7A#5^MA;@gVxh/3Eŀ?zӲ#.G,E/NE5 q&?tB/Ð9u<@P\foa%oCrHI:G2Mi~@n>8F*RQ] 4gץ3Ac|"Ӧjw1n 3.lM_M'}d;@W:Ū_H=/=a^d}LFt7AEfm g, 'sL;.A<Ef̮(.<ʒkU(&Cw?$Bސ ld^H'?prNEm%VըG !} grJG7A#IcHV_JSKag)\V¹2Eڬۯ-RPObq;acUZϿ@[ o)ٞp4ftwb ]AZ7_*BյYHw'<L7=wz{Z/8՘M6VVB媅yT5Q̓zR, PmIsL xiffMBvR"33 $dBVr!)B BRH I!BH!$)ll66QQQQQQAAAWUtUUW^5WD3L4D2L$D2ѷoy[fu±Q:*c(*QT>///o6o6oc^~cX!kH!iHCv!;d!gr!eHR!eH!!!9$CbH1R )4!MH҄4!M!r9B!K$!IH f4<0 lL,4,8C0 PH@tҥK.=CcBOO?=IOzғ^ zA/o}[Wկ~O}Sooӟ?}K_җ߿0Jzw'rw|ݝT}QHL ZGozk:FJdlюuDGqfwݝ8qݝ8qݸ:99/ޡrBܝ:x` BBC'X@@ 5(xpP`PJbXa,` ,{%i$< : g>@ABp@ A0 @  @  Cnh$)kN` uGD2ECnU&aq~0t 9 9$t}0zB޻G>Cn'Nq4Yo<̽Ao",NQ$wt8M{tܩH 1]IAV T OV \TڱH`2 !kVz-"RH'FϣXƘoUR2_O@e@< ϣH1QUI 4A'Ǜ8&`겙#aSФQ_*G:0N=B;w(,1[BN<3$rTzn 1k/z<5n^B2ޝ3a^oE'v<Č *ڈEB̊ Vѯ@0ȶspbOz:>3m^bSN !WZB1CNx:@l,a1Ua9p!PdjqN D`Z% Z-۩Mڌ{KRyλU4$Np0z/Uwhz- ѝd)lj ddj)G.kzE)mjU/R\[u3 q&V=UP~/łMcjV[ҰiS5W/ p'vg芙No zB "7_I t)6#sFaHx#N pݵY9Q7oU?ZT&@CoIuҊ>UݵV2S%YNo,8hi h6JԠzI㜢'ɔg$5ϕĹFR8>WJ3JsF\#\)}Hkd+ss9#q}>g$5ϕĹFR8>WJ3JsF\#\)}Hkd+ss9#q}>g$5ϕĹFR8>WJ3JsF\#\)}Hkd+$jSXv.?i. łUzG+a,ԕLf5+EƿSrWW/;)67 7ۦƻyrx7/ܘ[nsmSݼpcnmjn-Mw嶩n^165 7ۦƻyrx7/ܘ[n\:yTln7/\-ͭ 岹޼pa\6ޛ.̖{…rܲK鎤9"55ј'2Zs^,'\)}Hkd+ss9#q%}򧿥iΙ%Nz$^4$%e:{1Y^G2}=f_iB\#TU%ohK[m=1.{fy|,T3n+w s}:03RSBK/ ۙ9W>{Ivn#O~ R r7rAKОMLٺyd,;3+~]#yE1aѝJ(L?.@syrf8L8enDu'jfr?gNA=̹0EhS3tYx4Pe i/s3A?7'xM&7cn*܉XB?PR[Fq_E31ؚ9JUir#̐?*I3 4` 4H 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/k,vc*АF'cl?"vo$IHҲ%9*d'5C{vB u.c;GzfE$:t`̎DZmFGA)Eϗ9:Y7b\:U za'԰PFEL((D ϕB'hBTdR$MuŔ\HR^;E5(*"P+8(@䒎K'9@ :J.VJTQʑÑ [7LhE)>FSRG  ,Ph\KBJؽd5v/&#|{]F\c;;v'3/xZ+F_242 4Z"n+k}b[=F_;ZŠX:IvnPu|M:Zk/^lHULy$& v{͡Wx"Qm*)JYj%d JX{42EQ'#A kgJQb\<&,$ dq mu JI#r34zLLnD!@QƼD wZ˗R?fQhYeYeYeYeYeYeYeYyq13dr{,cO>'s=,g߶m۶m۶m۶m۶mo8ɠ tB_w^f-W$@и "K%ez B1 P#d,BR J[-CT#kE4-$ƉH"`no&Ǚ56 E&Ew-B44 EkXt1.KJ"N̆iHj%@PT|?W(PTPT4m捐sr wd v˱A,(P` X@(=t 2ffTKc~#VsjD$C@@H (rJPa`(`aAAyKZ}J`=h2ųCLwE ixhhޛI˖0وZhp`,\DOss*@ !3o ]ͱaM  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/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y,$@$iw7RjBHqT'L;#ua9^ ':4c$#2۶m}wgwvgwwU,zwӻkZ3kX3̤ܛfWUWeUVUu5%ˆ"W'$"%/>NDnfdnFfL63c2)Z$όu3z*o-[y(r}boK}K( @ @P@f (Q$$Ր8(`؊C `p@ H0`4 "`S   h8@ XA Q$EP$,p@ ⠠P<Рp`(D@,48B 08HP hHph@ V2Z5Z[4rh$i #e)adHF !2D"cFd :0xhЁ(Lm,$>o+^|&o)oۺn{v۲[WjOjR^E?ۤm޶ml}:;xFh̬hUVu"XUUUFH쯟hlh36EFE5i͔dJm=4"ɖCC$H $ B ”rRN~>lͶlg;f.s\*WUrd"H&d8&cxXa=CzH.ťR\˗/O<#}>Gޑw;Nh' vB;a_2~9{Ξ9gݻxw;w'w'w'g&g&gvf7VeU٪JF]^\ 32"D2dZF$c4s4#cFƌ 1#cfffX+64ƞ"H"ƦJdF*lXPY08h@%ْlI$[텭 'lMؚ5akքm %lKؖ-aK–`;#lG؎a;؎a;؊a+Vߎ~~~{omﭽ۶z[o-޶vN99N9ٓ=ٓ=ٓ<ɓ<ɓ<ɓrרnvm Q=EU4`  ?P͒~1tKAg%:&,p(nUy)!Cngˬ[[/(4V򗻢UYa{AcӽO "&Z'USD Za43g HYTg!i͕ݚ@鳒?Npɬq2c8fA7uM'ĝo]B~hȏΣ¬(,z?΃gNGj0RP,/C]Ȥ9ZoKc]u^DڡήX`ŵ䄶"(orNJ81--3b[څXj mEBgQ$-h\Yv3-,&-[]Bʋh of$' YLP+`QZBXM[?̳@{gsЖ՞ثPxր,3v.E/'^^abC3b+ȫ< W*cW rQ\_{tϜUd?gX=K &R?1KcQUa꦳4,gٱT"+PHz >V+oSl&crq:RPfc0,(PAM̸ac?XB,e3uXT; jV5uQ7ʞ`̳33RX Kl{L0lSec3δ>FcgM=y1vW/0*t׶;zu؋+k̥N;rq,[n誆+*WJj|U]2[BNЁBiLif:yα˧mK6, *L S0va79wH姡,xP(ͩC*6SXb1y0po$KU`odX'3,JFP>0n_71~nFe`듁|J94g1`=@=qtŭ!%>z$,23 gIƔJ8ϓe!HΰDJO..e=3c&䟖#+/MsAIyf܆{ZW!+~.ZFVfJD|b8_t\>-Y YG8Nkrn7gvWdHn"!4< cRB ңE!󧪰QQ Ãm%< JAOCP{ 2ޤ\ީ d;)$B%䴂 &f:@;xOt1,(B[V.{•\-쀽IQ"MVĶ sRb|1-0(.h o}$è7%%`sZÆzw}]y_kmm1,n]<0or !sU.>`Vp,SϸlbɪTD%ݥHt^!dʹ֑ =X b\ FbNС,`ELrG\wňK%G9@FN` 0&t'`#X LP 1H<|B#'<:3=v@"-pBWvعsNUvt˨=ņd'`>-O` @ 0X;T YP;-rONM -|hL=)UaX;dKU#ȁvbTbwT*#A&Hp%@F 4x'A%8@ L D0AD(AO"G0L! <*&Hp%NPD x'A%8`@ L F@ 0D,'"F0L 8* &H`%O D @ z'%8d  L FP 0@,'p"F L8*H`%O0JD ` Eų}T<+F?n Y0.2pu;THstB6#yq;-^I9s_`!*wEfbYs~JMjڭX)dTPuĹd Pq@[y XE :.[G6KX9W{e`@p˥#EsE1BPki%O@v# dwolfwB8:9|BE}Ӏ &!&1ޭ^[?fPl,HcoSێ[LB,4l>>gַY@ܩ.V =:W\'xfnsWXpUɉԌPps3jjGThhNqhF6@вgQ:9$`t[Z"% J*T;q2JkBAH1' @0()8B!B!BC<W2PtweG{4hN$@q>2B_rpxmϤxF谲է:%,׈*45qQ?ohUq7>RB?`kٌEObEq4g PkBH7\.GN3䷚TܧlXMã`)ܖuH[CGeu7#+;DӸTp߇\dʿI-c~qGJ }w APyڙ:qv5Ppm@>5^dN!\h8^/DfF_˶b]p0YlasT*Hjh_~@g66 Wx'BxXʕ?!Q_ +8AAb4.sڪ"7bD`@oMo io0'Q^+L31+L{ňndWW!U_OXGlf,"h!] }52_D%u5n*jc~ 0)گ%  pvAj -P7`2̧rr6 r@Q`nV{\X{,a{7BIlκ?4Uk%R8jd H&u4SyƎ*ẆjOO/$ ue3nD4!1B4SbS߈ =:66ҒtM 8KAQ"(n\ ˔PAb?|rfa!,.[Й ؗ=|PcTd0^?,Jž[O/ 6ρE؏4w'ʤPNDz` (GQM!d(%qfr03`8' P1%HADլ7?@Q 9!m A#/06 +㩌KEA% &8Vc†>JR8Kpy@JČ09.B.{ R&RW+:s BJ4P$:We>~6a=40U!kB ּ0w[|X6wd\"DY^ ゚".ln w 5W' ^HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1[zj\'o6a-s}+=}HdwLYrD6*8@" brF UC[`$HrܰQƕL@"ipH IDD(L${(Ca<ϓ">0K"<{١?zj^"f? - !=U\;?o09 ˣ8ph`=|:_z(UaM4 @ooo߾۾۾۶o۾un]vݮun]ld#F6ld#{^{^{^{mնVj[BH-RE4Q"EHJC(PD6wwSW7ss7oo6z"UTUTDES45V,-E(os45/301,-<bE$"IJ* ")XPBBaAGA!D0H7 [=fS>EKƕË抙EcE8EQ1Ⱈ!/ZLeh1}A_T[$ >Eɢ0z@/ b1fQ_ s/_bc⬘x;L_ՅQƣ0㵘˅錳`.1 2#{ m#3ӌgan1a1 k13O\cAe,;ًbŏ0Q0^*,S;1XLBRSL8R*Vj&Q\Uo5+*SyW):U0,"mQ0 ('#}Q^084G4lzq3րŇ<"0Q(qǶ.n[\<D^lw1elCW6YGklvوK(B4, w2Pu/'娒l:ZA9fSB:BlIh?"TNڃq z#I  =V Q'DF7Ԛp\Q)TN)/+jodYl6K_D-}#7FŁ8nzq;a`suŵli7Q5t7_M,FOlŋ-:Y5IY5_? ?0>ǿrA&_'_-a_I^hڤěY*- &vvR0N=:C#g$x]:GmGHW!_k'!L37FX=& ;'C֍`>EzIRIbvQc'T1t6CܝIa!b+pW>g0XZ.A Pc5*}?. x[B ' pvPՒXP0Biiblp2RmREؼx (%7究"`Qe  31g˓2ORPa Kd2kB8jax3d+g>RO͓z+c7hٖe%I53>f%؆?]1x;l(&8hPiF%&Q˥ۤa.hwa:77:6xn}ݾwn}ݶvnmmݶvno_???m ///~GGG Eofoom~om~_e!_XAXcQhcZ1.yE5ƢbqǼc.R;Vq(EN,3ŁɢaQ`شwqpawqxX4`Z1.&ϸr1-J1,jLFEi(0Y Z<-LEbh`h0-:0, LFEi(0Y ->-LEbh`h0-, LFEi(0Y ->-L{DZEŏ٢h`X,f Eâd1`x0[4 Ń٢h`X,fEâd1`x0[4 Ń٢h`X,fbâd1`x0[4 ŀŃ٢h`X,fӢâd1`x0[4 ŀ٢h`X.$%'0[TMKpm7w4JH p:arI@>Cz;Y7@8LӺo'ܐ& g.L)hP [+q9~ &ճ/H] Y$[PZyjuUF qAg q3Mq73gsO #|0RT.,N7Ai\Dmbk-_i @ƀ|S6֭ք{3˽l `3ygÆ[y[G$g HgنE*`y&zm^JCc$@ 8ETJߢoī)oaYESMf5 . U?M.4LL 7o&hS@H{ -wٙgvNW8-OP2 ؠM=Bd84z~3P*.trA|E~ (xI&Ȇ@/<>J-B@m$^aɖڛ%{)յIp㐭8u ޸3ugw~1\[p BNhvG .:ՃS)Ԏ&u |- ߺhTJhd|e %x{ij: &aGZ@NJF $Lo9fqB$7p(R|sDSڿ7DRavFj Str#/1}mp #. +O$(% 1Xv$/Ybߦr# h9#|5'5v dA @SFTF]&,ݘCWyu\*D[Ҵ%`m6va",o-peUOZ-}}nr66gUfQJ)&<>Clߐp@3!wnl6oY ."C^U/g0g|qjũz7̼O)' FyS8(gQ$R5;5Hw*%##írhw85+ODn mĪ!MeF %;h˹1m<J#6ގ&HAZPʜ ;W&en!ˢۼ raRmiCƙ^*t`~T!ېAXcǠ čN6՛A' /z}DwF | NЛS۬@90ɻ7>Ouc foFԆk/xq3$4sw6v.h@Ma FxL`H@MZG2Ap677?+MDQ2q'<񹫊x]MG>o{qEb¢X@*dN䶜Ho4Loܦ>-.q&6|D҃:Y0]Hzok{M5h+aLDAPƭzU %|[۱͊ Y%dE?mL>gj}K^ٙdM&.bXգ'.Ԇ;`&7^_|x 9t5[W+#6)t\4 uӫlQ]ǰd(epӴ@zJ`YBfp>?fQ ޵|-I6]hg\ HL k#Æ'Pv9`ۅhm"2]'rf6N~lX$5ӋXvYsӒЦ]xzޥ7< B`őwNj]fY6* ?k^ЮG&!bܓC22#%0ֺѶ-y)1dښŴXXY&=sYFܽ5C@q.)PPυ)!壤`~JZl428TpªTK#L|'9+#"4ƙ)*(̶|ᵠIY;3kP؜#u ,N$kJD*a[38 L E&3ϔ7s۝=?1pKĴP}q$wx̪V/{2Жz40ۑhj-8 肭򩺵J0." v"Vii61`Ha{/*7j;mPH\Uȧ/E>n>ܮEqo5&k''8g@0tpr\폷}H$.GF) n%_N14_]&5][RЬWf5Q(fFҠ-=A!0B̄@d֩cjG[v0^퉶ꁹヱˉ}>?$\A>.2+.'X$1X un;dtIdqIJǦ˖u`Q*Nmzi=nb(ud1B!5&]6('?n[ǵȰbk&\ L ۉ@πEKn0oP-p;)rϓ(W`WWۤT 4(WU!}: Vt.xZc;D* % *jcz6"EQ3I6|@c1+XamQ)[KaaQa4RJ.φӐ{W0O)F!_X;P=o= 1H| jF'x(%>ӱ1޲yj~`kOKqVQƹm%W4v̆ڗ3N' ^2(zHMV:9 @}g9~8ı7 ׮9(b6_y>AmmcIZ}L:`;C lBV=/Hw;GzP%MȊE}.RZ! DML( pAvvw$ssBQ&,SO|kA¡*Hf~5!u ޯ U՝TV6]y?/;Y3=u-g6ߑ}d7!c(d3Zm8XѸ*;aҳgh+QZJIF7|;yb!RFLt^bΞ)Bb͐̋erf%iҺRɐ' c/*{qK5eg[,[^te8gͣ" Q DB%,{iH!!m8d4 !/Ҽ5IH$͌4Q--:l.M&j6*FǔThgfXMEGh *oBbvUQfaHdTuwf24Eݔ/= #E\:Wq>9):"}5 DGF>"%(HdyT=3@h YH >A $BaPB@a aqy8+liŭ2hrr'̤ѻ|z$s¶Pq8?5'Pi6ܵ @!0 /N ޢ5$$,gc{mZq˰c{؜nl, ?mÖZJ7vya$#UˀF0/wÚJkR͏ ㎱~˳=g-rH&'r'Yr '勶6c3 OUW|OH"nR v?ՑFGEr2ԭ?xҤErsWơo+| }/.{ '"-ꖄq=hA768_(h%gzP"tU93+0*1kbUHŦكYJ `A',a -\7]9KM e5XL(޷r]VB. DxМo͸c#ȶbcV2Kk! 8a50)l89 \|g k؃4ʰ3s5j`ADT!X oAtFzsqI}Ba;4bza@e903Ls@UCHjG73 C2cTsJEƃ*7$rK1ԎEV&18oGc#@S/#^"._5q[̹.;a 7*!FX_s -( dG< 4Z׶M%O:Ɖ%텢  iҽs\Q4'yBl&Oo&gm3p^}֓ذrT5Ochh MSiȯ^Ị8,XVr=2$ϤrF}{N(bYE.kS bM:c(nJA;D@2rp9iHe8("SHPfy7 z>^)-hy[n,7QBp>y%J+\fJ‘~~.&a'^NX*fRA$3?ʊ,*$0 :jly}`3 ^(&z8I8یIb hq]ev*Q5L|2sL! Cָ\= xR'bXh3Qa\rg?#9Q,M":BQC@Z >]sf?쳆SWE2e1&N tnS Ӳ+ubn|Zva2}$T< |Auִ3 Z-D M|˧đ}B}]g‘8 Ċi{ݴ4rnMvZQ's=-@؄-hOW}]z!;N[(O JM;d6]F+ /`y+Zr"^@eq7sgwNk2ȿ~r⛍tfD@X>r=,8)l;[ Y=2 &2l?:epo?*3aQ͜_ejA#oM?1@b@FK(W qqT `]lDCt[L>ofk+@뿈hzYf LoUSa qu.Tic˿ TI=,Y xG $z@B)n;;E~M}3'BxDGkK\;'T6XP̐%ި@F^2ydݕ%.[I^./][f?riCW|WĘc&S)>z+.h~GB3C\pfU8٣GI]T82[n[ [+ěs*=֯MЉI#*ko 6n1[ۯo/6[ec,(?9Nll|`L8AR 5A_Qk::PyF~Mý~J6`Q6.qmNX`8 Vyg@)V^e XnBA޼Ϙ23Ϋ198b416ee6b29ad211e441790f71e8968804d93f99aa1dee31dfa0d453b64e417ce1ae8b896c3602 2d57dd9f95ebb02243d5cf26c23b4f5f995f70e220740df9-38aa-4d7b-a16b-d3207701a5a5