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 `5zHFb ]/ UHOL-Record_Benchmark:threads=6elapsed=145.352cpu=239.326gc=20.251(/`pG_J4˻˖gK~-FVL%Ż:|f C|AZQӸȄ'|Qa*{%\nlu6:hMvTꆦ9c(/ _Ks,|mb~vw1 }[:&1Px̡֡0 CіP0r|^w"d>(/BJ, Pm ??bMQ \ig)|zRCrujbLH/Cv*w'!4]]B .q拈NeBRbҝ$6A#2q)kj6?Z-rĬO^x[nqDN7cCO&$5&ԑ[zi2jluHSAH6SXB: e#gz>$2E^^W זoXL%{uĘz-ӓ\֦CS"Vh[CxT˒9ٸ%NBHihJ{bFW㪲4x!s%dEedD[ ckVF̴ZK&ZWRw`*bnj9d?b璷.:{&H[>h3!tBv)<V7scQwExG jjn|Ⱬ1fsב0і]g*{'ʪ#~5!rR;c3*.Ԩ&~1N42Eanj>ӧn:f%Tիd9mJYDU]uR4$TT'.l 2*,_ѯ' eL7#溛NF׬vS^[DMO c(I)\ ${L~ZEB!g[U Cvjdѥ9[f.}qG kU1x{׉JVh٦!MBKc3g(GII(GeBNM-4:', 3$/.G_336+ljQ]:Ң"$U$kV=|6 <$|)QWc>bүB1nEEywC ! yre*}陏V?kl迉r†GtoM.rtRɤ {n% dӑmr3R3>YQQN|w*UzvƒlT>vEgo\NV kZQTeyI{'UX9V|o-Z4s+LAPgԔ,z]ADf7'ݟJ%LwRSމ-GE1_sd\&Ba@P f(ʁ0( ``H BA! ! 0,r?k[w~@cn3|o?i9Q?ds_- f${@&Ҙ59nˑxN2p#][{s HO*3X6x߽1oس޲aZ>;m MvBی4G׵˜7OJmtteE\4 {vU728 J;2 ֐ hirbͭWze%n?! 4Nu*eR ,F9iyk)u `Xjjymhlr& +#Sc[Duz0nVa3@CAlJK<đ ^-Vɬ5|~@|Y큼քo~bfL9 _t:'mhqo' bvUsQhˈUԿ2t<SOˏO`n7Y%g@R=- `h7}_Sj:ȱ Fև,9FR҃XAX"U\eXUo ō׋ ŒCOS˹aP^@N^U-Ѕߤ$-' 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~0 *h@ c@ Dl ;1&DwfhBPcTU QBQE ;1an遆t Cq b!Œ{* Qb~5џ/H.}Nb+%O"xDɧK6E'7;h0쾋ld[`mjn6@;7CBC_EVz(:xZ#ņ>򂚿q>D/k%sg3.$^'=1ے9K˶V4Pq.A Ӹ /&o+4nk6VB 'K<ӓJURb٭ZSM1ns=e͕=᧼je,w<%D&,z,#rpoA ٳo)מl8wCn,ȔL*O{!k&CuQ:=< t|0s@*oNRuRD ԤYrlŵpj!vS3A TDZ)/|v+\7=ݚ@=&K>?Ȧ^x  ; 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 G !GO5W' 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 |Mgdk:#\ T5W' 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(  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=]0v3`i0h4Of PTB{S0pw<'6 JP`fAIXB!Hi?o|7~_5w &a ,(eY  Ғ,CxXD$ !`YH["tNkֶ-BdVhU[AѶFtt^t9zѦ:ӊH㍺"'= UD@'7[PV IA/W?0Cڕ SEvY(PƗf(X>Z!$~}hI@gTXdNW2iڳB BJӭ=4;qt3G t$RjVLhCב;!t*@zw&n@)_Qjr9~ .eO̬>|=P4%xΣ#vc;COjj$؟ت WupDW4dWIK5\ЃeA$Ϧ\t?JpqP]腢BeWUШ%TUQP'Wڀ R|NP5Xn߇|'y)8DsK9JEE&\:D-.<\T(w`Q7 (8L 肸rOZ:ARDpP)ь58I)@=Y?9h 1pQQ0bR$ON 7wrP2X@LC=@<,D A ?VF3yxA&͚\`0VH0uHM}p݆63SR&G(#00#Bʼn\ҠA+#Srr/4l |sJ"*p 2`"cȭVw$BԚ )#9olhʇ]agq\ Hф`Z~ ͜#f5@gsZFn6ZK]Y3NkصRv]|9}$?d\rcCutׇMI-уL3;* cbE!O80k&)C8$dtKYDžnd&:hUh;蘜Zhqҳ 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^{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>ᩚ*** &hڶm۶j,H"$Ȓ%Kv3 g8Ù 8#8"""k6hnݺQKR"(L‚MTITITIUTEUTQM4DMDDDԶm۶mV[dDI$D,Y3 g8Ùzn&UDԒE"I WQKRf&!B\ED-IY$WQ* "!Z&DL! iV[mTRK-Idɒ%K$Idp33333333#32#3"""!"!""DDE,bXD!>LJ"j" m!EP==========================}~~~~~~|> u~@"@M! ','?~v ZcB@rE>nS8@Gv/Yxt 3} +s(q4nD, B7Lr yپ< jx5U`9e7 Wzá)0u<R/T$|H9y k 7_[E^BVK/`3CP$D8B'Q<,Ex@rb ɘv|Bxf骞(F97 }i.סj IZ>œ,1_DLUArApp ^]6{ F1WUѫXZCk!R"!mHҎ$j@MrA(-HVsH|"VT`⅟/HaON )ղuR>qăq*3JK?`Z3o?sUsBI'pC;Ru$~4"d? D ꡡӠE?9vф֦,]Ǥ?FByI􇿃SZJGEWHRI#D |1C{jW)(.Jн"a]eSTFXԽ`]`V*G= Sz*[ zԃQyʩNuU`J*)G}4 W(Y Q uՇQ=5G9Uq*i<0WL( U rՃQ<5wW9ޥ`a)<0WMS[vԣ|ʨ?W8Υ`Ja+~SFywYשVrSʨGźέ0`+G=WVwݨx*qd=%*VsJQJf^GݛU,r|j:ξ3^K44E`ܲ%.{ϖ;9)IOU])_&_ :bUQW>PWɭd(bQsTj](`OYm꿧`:*$JSMi UwqUK*`_Y5ߣ`o)&if~n0a!z&uFAgۯcCq)3bϰXjDt[I-(؞껣puo+4[y" Tޅ Eo If[Fh'79 Z,~M-j6EWКUoP+^kU 5䫌.jy #U=_R:9O&ӇviTvxw.fs9ѐV ĕE-ԊN*WM:ՖRmjQS4}ݪNupWK [(SDgN֨d c(5 )VaQ~m2bkTE.]rRWu*aZJ_E' Cc/u :Ԫ_g"oѯFJIb,9{QU=jկ^6VU!%OM-*L. iԑCdT"NL:'Fs}Ỏ;Ǿ3su'='jL7r5tiqئ8aI#97~]ؽ^?U,f|e>:!bSs1=( |'Mdbf)3MWj? ?_fL ygW}Mo-: hg&zF1e7sNDDmb0>s3^vŜTiwul:S~$%#yBg32ד39V3YZՄtnf"S':=k 5K˂歬'0%)^_"bgXޖKoJnWH  2 Wer[ҙu딢G]BO2dkzBzNFVi{>4+05o忏uοsr} ]tgd^PRP&!]͟Yl\N(/S^UV)ۄ[.G/Xg)zԢ$ikL_' 5Jn֋БKoSJ>Q= r=݅b%KQsŅmAWrl:S| Μ'nWs6Q*顟K΄mDϡu8@6#d@Mq|C@Pr>figNv>չ`3ԉϚM,| 'p6u.rw}Z}IihoqLrEtr{bM5CQq}^tgodPRP&!]?Yl\PTy&>v"RT/r!-]2Y3Ya6 <$1Re+{~I/E| ڕaIhGGn$/_#KtIʻ{k+ݿʓ7IJ a^]F'_3[CؚEђf$!*-Y?3kcѯ\\⩦ߌQ\>:J/n(K؝aD4 +L(L3cej.}k/b3Ϗ-uRKMjjmx欘Z:ݻ*$6ws=b=cTbܚ%ՊfAlܧbFfa)"J,b $[ LJRjĐ(MIS#BQ$cD[}_ƣѿۤMm6MwMɚ4"4B hD#jIH4II$h۷'31cL<4&LʤL0!2!2!1٘ɘ&I`F!H"JJD)Lߎh7'Xu A iӦM6mڴ툈m۶m۶%I$I$m۶mLn!B!іB#Z[k/B-!l@@x/]tI"W?s;om;pݨݖm˶ev:4iҤɘqL[-۾pȡpBh4֌QTTRJ͈j$kV$I*U$UTTR%I\I5JM*UDII34MO߶m;M &`#ьp[ &LȄqے%/;mm ܶ4ͅB!HٚdIJ&Iȟ??$}'yܶ}!,m!,i$)>)I$I$ OÃp>g;ve˖Ѳe˶m۶mI$I$@m۶m۶m !B!B!I$)HA RPVgߎh-5B*bmYٚ5k֬(O|s 02 `DE@020 &cKȄawSu',H1b6 $dФ)>U#5܄ 3{$)=Q%l0/d~N$9:}Nd]֣T.)Ԟvڜ ,N1?K(P;ȪtA ԞicS0GΠiN2N?3@F[59s(E y "5D WΞ1Uk2Ѧ3&|'Ҷ_lcn5r !rÌfrv^ ٖfQ @1,|`{$(` V | ))4mJ=h hɧI],tL~wUh?RN3~3^E TzKZcH331OB'EFϵs\ '7y`lFk%Jmש,o+lh%?Jt E$OmFTE)f*I*,TuOE[Kj,Hj#0+BI[p Ϥ0Hvψ31Bw2ޏg${<%(ުbpe\$׌Z>@Ú %^H'%*{ZiȩTiC2fme=a|ŕXf0Q48r>ij|]JQ6eƖquP Z_$9At=CAkVMCR((9ϧbgU |~+h4.9 %-B22OPM n許iFٓ0O0ڻNVȡ1O&dlJŖ$TgA*sž5IFdJ#[a"TŸ@S)ѻgd}ŠuƱ(ծlHe(&9?h¸g87"Q"UPyqkAqwQqA^ogzhܹ}Ľ"Pe ⽲%yeݹye#ޢtG7e;W2 Js${ujB)Z7Hk*J!3WVB{r9&)2OLN<ê+~eCrZT1vVUp%ǭ4r<>078<mvQKs*ʺu _%mЩ49Jfx4nm@mi)%m[5-E3ufjѦЋO3y3pg-u@Us_L 4>])HMUm2`mk)ΆVk$B!S 6SPP$no# x[|I'10'[483KRT9afM9Wii@bU=]_M,6ʪvT3:ڊ"8.Sx5Ӷ i5diYo8>/2G)^ GY*WjeJX~hZe U)T*=hN)S(Ja#g8ؠ"VQmPU Μ;>MF9y&n?#Z2Hl^ ʡR),[THA=[r$ȖLIW9wzi(@cPmǹRdƬ =a£jո6ЊL\\K5#6.6|Tg4TGكSަ,@iz5%+Rq"{.< WU3h@c.@J,mZ`$:S{Oz# s#yl[EZ:D PSHChx-9$F!Gvtb\KE $3=~hb lb$ O1htՆZ}~WʟiV%EW}Db ]N bJYvK"˿{*%H!B_hdz'!@Vi#h#)Ti m&B\X2gAˡd=Z!'*6mE>.B ڻt%tR)x)nkho)>hh>A1j2'&g; 'h%4a e5 NsՏ8$)wt;MPN'Yʽ~DcF~q].oݕZOIZt4FIZr6`5Q tcC{UtubVPוm3(Igc}8TjAh|m f`4I~&@P#n=;O5;X-4$-:0 p4OCm.;~V{LL#ObYB|GjnakJZ&iԅ`CW%l2I{MXi/f$ wSlx2Jb>$0C-;Lw1(Pߦ`ʢ &h1>xiL&V}2ijhZ*e!J)aH&}?T+݃quu2I W5RHh F&i?*q^0= fi5I,ns$6 x:t |~ zm^6}XB "kSj~(2B y;5hhZ8&9h,H܈~> pv]*i:4MJiNӰNÃipin6M;ŎbEc߶h` }?Yh WN >3>~~jLb\33$m 4 i44Gnq2RNB޺gG`I"ESw<~'n#4pet!4X$d> " 1+o=/oU֧Xe(a]LMטiW&ixqFRl.(wf\Y-%!.0Igi{->;Q̎(hp;S:^jXt '+zw}33S,r#F0I$I$O;-鍒"ZӒ()"-@P$I$IG$o~x#IܶmoۤIҤi4IEDD,]'IInuקo#Lu۶m#I:I$9 ߿m6m_ӟ~!m[$I$Iܶm۶m6I$I$IpDDd%J$B!BݒS$ضm۱m۶[nݺu֭[&M&MI&yy޼y,Ydɒ%Kҥ+$Iܶm7JHNKz$!촤7JHNKz$!촤7J 8FI`@ɓ߯_l۶m۶}!y{ɓ'OBr'Cr$I$I$I~%M$I$I$[ $I$I$I$I[# ۶ڶmv۶m۶mے$I$Im۶m۶i0 M I]DD H$  ]қ,%E$ 80?m۶mo߾u֭[mK,Y$Ido CQ$ b#A &FH* pBtK)(YfꪔTaOTbXRJ:YM*^zN K˖(ݪ_U&M7g-bvWR_%3|L-IAvcQІP 43q'79njcZFS(4zʪN1SLUbK)`c^E#U} )X-$TR Ʌ&?R%-,(]~*Y+2JʶVde%el+)JZVR*,+)kUf[IYVR̶֪Um%emS/ 1wFREkY+Vˍ VQ&8VVrY. ¹VreeMVNn[g+cY^_+}}Qe_TٗjzEP)F#vU\VYuVVY͵Y~XN@77dd;rį+`ʮ+ 5=ڍ4Q2L AcUֺ) E3UOId0IJI3 gBn+òxe<hGӣۀN#_c$MY$ii#;g eJFT 7+ $*hBsoNQ? ׏BG~|R%#KJѩD|ê6x"?9:U;X}aħr^x0}Z^<Լyy(}z^F<(˧98McTġBwal,=6j@)EL U(`%RPq)p8UBK̎G"S0S-R-WA-Uw}񀱹J|']Cb)WZʇa.( XLє'σ7wlʲ2|0Offτ)S1E:di6?>x1MՄ+3&kh7Һ`L+ μdENaq:64-H)SAܳq`xbqϴCN1i,* ՘?i*qMU00Ye$&{տHĿHVayteMJ妇[R3(d&e`UF<o*Hh[*7_ ,jD2G`&kUC;R5Z?Oh[),w\)Č2Yˢ!]H.7 (LW٤2d'q`'kL0HZ=dq ڠY!L^nP8C1rjEPƠ*E4B=##BUHnǜbu^1.V#Tr[@ڽVb$3h.wR^ ʌGe⡚:*.Sꤣz6`# >U4g%x絬J&unW*4j*{"N DIj@݁LzV#6&Uc2NhSM>j.lGUޡ*NTH>?ioE  2|e5[4! 6 FE= P%RʈPy?*8XtE)l>IG$q\֚e1bS]WkGBq8՚1/ 碔")ьoR@6R>E1!xFJ3gZX(%213goB޿%MhB(Rb6OgnP0f jJs`B/M҉qgGEMB#"e6jkGG=orVwq)K{/A^vpT.tT?-jg7yӡS7M 3%ISPi}em"9Ċ _UrڋA@1Ԕwmho7=q+Fi* fưG24lvjh"4S¢6j^bg5A PΦ/%wb {V*>ʟU$()Pt ?{p2ZCOPw] jGPh`BM 2!5r[skV$K#fK[njn0v :;M*`s"89!pc]3mfY댐&$L]hT{jO'q`@RiAo>T$Z< l* %#mN?f XhB?pd?]2-!Ȃn4vOkʫKV v?z8oϛ]RRB^SdN"ПrJ_1J_9RT##U=>ޞW&B"q~4• ۭ\*篪75LwWiWwֻ+ѻU]ͼ+MUFޕr&or~UzW3oejW<#w9흶+%Xfx2'+L)W$[W4R\.xֲXT嘀TN@+ljR*vY9B*zzE+TuD"~ gC3X&ʉ(!ACSzWJ=X4@ Ц',D 'lag"b{Ķ*}&B8BZۓl"+Cir%Gy3J䩴lB"\Qvngl>S׊ɩVi"B"$A=g* nCHCT nSU ##,%I9MP-dA DOgM\CP?B|5)`O"si%Kgl(Wޞ\\IX]p&ѷҥFخPY~3pRk&z05'D{5+~lF3Y>|ƒgl8Q3Rqz‰:R=0S8EjijHglW3"sIk .AL)a¦^fL]% L\NT' qKs%",m)_#&XSWÄ;М]Fpz$ϡ/*mcCA Hg, UԤgl3UiR L=6gPS؋XAG^?'؍f'9uwX"X՝Su}tZnáyc*~.bZ0Ǵ"RS'4/@wW*97 NN,ZQ.9RI0?KN^dSQi ͬv^dC<) L"X f ^"74u c aoF>` 0V<a_QaaQ@zd #t{S@a۹ΔHIieWCvTC v ʨh傠0bݑҟg|U\ޫS0 PY*`W])<%LXv?Bh+=$c4{Г:J+u(%r6d  Pb*  iw*,H@ /$PZI*@#IR1e*P2F<\+5R1V)>4d3L8o%JRp%BHqkU!Aj_33*o9ǐihfj*{JH }f5}MLEyi9DELf~a3s~Uo %vLۺYeT?9xuiLo6hI ޭHsNRy~>}N lV/Ֆs _sjӓaE=V)\pwMh̛ϙ0 XAP!B:F =諕D ϐ|* ED8PcjQP)-6H] $u %5M =VsR1H\ęR/HDS-HD5!oIqEr])[!98U^EτPK)h>ph0OU0%+FǛ$B!*MCpiq:<QǓt4J([*)i,ܩ?g5ńtL?'K MDΆwPƓ{[#D zySeQHLBL|Ũ A`tS.`TǭADz#D[!Tc!eFQ(ǒ&jb-'k3&w%( 4<=Ek:"ֹ_6S1MSy:jř6DmFDLzZ)^/Æ=$&ɳ'scIUg8< b)xhj9ń"ȣ[cGnSh]dj 8Ƀ,SV-IܦCU[SS;L"duឌ,)5])ʐuBj!= O?墯lU;TD_~յ+EP$sQULeB*1To/WU9W SWד'Og'=& b>x[e"HTzSv4,w#7qeFG@)7a2"fLw6)WyӉ]_ HcSZp霩20m'+Z=37-Q JF S7C%SE~YV3}wBo1m|f>iDSD_O.UKr+/4ݘ %B5ԞD%IL̼D uIw/r'p*8wS L4uX/)hs0NH^#| 37- heH9Y|x0 VDU=ن hV`j8c8T֫>M0ud_Ո U&? ;LMS"򔪛W&Sh٣Σ8V5N0aʸKÿ!45]4mU4%M yek+y5"ݲɇшOZOԈL-𧫩j n jD%%ϩrm"X,N'#tXІm HIFW$zQZJCsW.4քN,GW(hE)%eX`J }PiYf)5 rf)|?s3ALO4 ҳZ;ђ+"eܹ"ƙnI1nIlRv{RdZ$Ev[Rd"Bf~%E6@ ]Q 3vKJ!"vKJ"B !B!B!!B34""BD!I$I$I$IR !ki!10  pS,Y:pā#|MOK?󿶴&Eo۶m۶۶mۙ.)bۓ"[%o&-H @ضٮuݒٶu{HMv["[=Y٤vF~Ɋl_oK#\R%#KZ3ݒݖ$I,g~%7֮mնjն-I"I4iR&MC$DDDB$DB$››o޼8$I$ + l;n6 ڃh ڃA !$r!gDFDdDFdDDFDdff۶o߾I$Io&|`8l66gf$u/I娴~G/H JA$t "h\`L, (T @@B`e_Vߒ3 =_li-C9jipАԻi0('UA*Zi)*vGFS ۟S<p7UR XҜr=\E㧳M/-YX:CQ}|w1T; mt.%l0ا:|*we#xuCh@Ll[%G,2LsFnU B&IՃ0?t?b#$x 8 Jʔsx2NPCm ~Ƈ=n11{zԸB_D0؇ɞKUlJ|&Bu bsfYE&JzcaC%089+5hi$F_*J] } |) @ tjf$T|?ȦC&*dNSP -VS0J)m6_R4J-X6U0vJw ߾+=L FN2 @%>$T}8=2@m Ǯ瘠j%N=f*@QY3aL.} V\߿\h Ϲk|!@TQ I  1C8Zt?ϓp-u̫'?lOE(Qdd[|-S ͉e%b/|sg+2̎K94?m %>$ yAZztf+ݳn[Z3 :~׎;~3PI &)Cd9R)TktMb`WMETh=.Qz\nH[P)Ο59 0[\Avid ?RQ%R񇂿dykGnYuCW}zs(e`fnMY+麟 9~ϓyb\|t5Hg|b|cт[ۯaƘ8=QP&>4Yc %\?0 v~Y?m ](S!T?ols`Qb}}ioN3L?ew@*~ҏE~V:W–`] @(n}@Ygw^I`'+Y~,HcQ | ι쿠(N g3Y]~f.O+b.=.dv׏#4eߝL}3Ҕ]?n6;JWކpxl:xϠ8fǝt м szhGNpp-6_]e6։A#u x~io}s(8kIw56i}u#f ~>taC>`rubM 1O8+Vج\BT'ʠ?e}ZpQPݯT(ep<HwR[tuANtb׳a y޾+b`gۋ+PVD4aByvxSUx"Iũ (?UCU[@ =Lݾ[e>. _\,`{ DyPC zҕkI2E}r1{eG &SS +Ϩخ~g ҟuǾjmTR,_(\~@@6p8 Oɓ^#cioIyM i8 BegOud L˯[r:~V㹤9ĪR#hc<o?'p1ɵ7|Rj8SYD1ŦA *r*w}i-zy`$VV3g{;A'?2:0 @-n4YQ!aZA_VkVI"#(ޤ̻%X6ZE6WY5h$0 ' !bZ˿2YsW <.e7о*A=ZӠJ*HdISJ4]܋޳IA@ia-FXb,;pqVƞ! Zd_{ְ\8c0:8^닚jfLl84EYԴE/G|tIP0țѢA~nFnFD{KưrQ7PaЌP1Tp#ZE ^(mszDhMh =fӚ#f83@x\<ر˸S ݕ/]].E Y8sT']ˀe }@.cqq\p- Irt)hGjXXji(+ɴָm叹;_RM`c SǛ,$RBŅ+LsUo1i~DŒclx 6+~oH StOíW.I-Pq`Tl6m,n̋6B?Հ~UzNȾS#=}a ~hndY7݌.]4,QVvfOQN]Q@,׀fug! k&w'JloYkWs2'A <#'5Iu;kcmޠ^q4*="+}l6c|=r.R0N'ߣݩ#&|C1A*E]dM,9o䵰e\Xg ^wqeʋP3+@Xj^bՈq)xه'K26TY<ʘ|4B J YRJX~_>D${ Ȣ/X'cʐ5*eqCd)3,SȈ-Y./|C2L ?@9~ËBHbVN/'T} fPHHpYS3lnWm'5a&A 9ih.8P[f4EcO1A64VYLVJx ec/=o#86Rاעd[b"$S]HS(Gu#RČaW܇}P+X(N͂"a P`PsÌ(@,~dKVTYJJ:U۸]Nf/Rv4žQz+*ar~Mp'k3v6VO)&xjyI3я" YkhW6Y!\("Yyiȷ)`Pz0 `V~}ܪTsNȚcUa<ĈJ;OX(٘'~KGt%y 4[~+d2Ó0{T;Q>[1NU%-DGJb0UEqWק_+8J.zt <*rڵB1ʩ2q  ǭ l(p |-CwV(|3r6i MVgmUF| \4q2T *"=D1x7!4mZkipӃu)+qnL"`H )\߇=< . }{ 1mK9ۊf:N<\99Z/>i.N-0IƀV(k+^qLPEĠc짚]|L("ռɂHbq=Z\p{g@4xogwPicyDRƞDiO&u>G8cj{q nƺwp{Հ+쳪Cς!~ qNz<<`nI~,y1wg>WX?,.l n.<9D7`y TT}QRh?oE@$` ewb5;;3v:Eӎ)r~:5LwcBEs {Wv6^.5Q'tTՓ΍%9}ZjM%W)&}GEG4K ĝJ:ݩBg|OQ + Ɲb :9׶~Qmd>Q1. ]i8FSy_ZQFzZuM?P)r(ΰu)ĩ0ZCY۩p2\ꤏdCq/_{Q\[N5/I*AۖzeaY%w!Bs Fwu}W7T%-Fm2bofϪ-Kڬ=0l;*ft#`x$,E$N //ӁO_l;#MY#%Cʼ_3"4'4@N.1t,M,B%?E ΩL$A T Iprd%8,wVt :j*SU2VWO bC*>=U3i: ϰ *:(PO3JSOΌIiuPуg+pĚ-,4Ѡ [nlO5 KcDyjIi 2P9U)K#n rgi"s^6fFg Ley):cBspE4yۆi=R\29<YV蕙#7ЄpPU(!nKv#*֛C\sټ~*lQIJQi:G.(F5G{jzIZ4Ys, ÂcXjX)-6bS&2F-&'/k p]5b#uKmz:thiuaA'Hgrfh9wlѦ-D>T^bfRR_z.=vBZ}HZ-uaWu NN93]RCv{Ɓu;Kᣄ(aƒQF˂*H Zقy0U%͋rBd uƕdm(W<O q[`8ZUF]BWof>𓂥Z ?dW^Id5+9d\,]~eZ,/9YQwy\P &&O|`媳cY]qR<ЉQ_Ǯ<RtyX7ƪۡ*5 ^]Ca\3P!Ӫ+uI/.ruJrʆ_FxϵNY]OSrE8~;bB 9jO۟vyy>&/ylWI\[\X8-Um%?rbh2'iYc._\n=qXQ>bcqҶG_-&" Ipk}Jձbf? "ײۅ^)q`t)>+0&%y P4uu6R I|K,T.Kl e(W)8(+[=Ԛ X3ioj3%""%!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.L3h函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%R@ PmIsL x!3Ul[;i4$dBVr!)B BRH I!BH!$)̬6jWUqո111}>Fǘfh&d"H&dooy[֦u±EJ!V>///o6o6o5/_s p 9C!iH!i!;dr!gr!eHR!eȇ|ȇ|ȇCrHI!ŐbH1҄4!MH҄4!K,!Kr9$!IH ,ȂT@bX P  0`a",8 аpBK.]t顇ڮ =='=IOz zA/o}[կ~???O}Sԧ~~ӟ?K_җ߿= qWK8K8)J ;K8֝qn̸qt G3npBt4]k֪Q"kwfUcU;rfU9ĉ;qę;qĉqt7s7w#'"6?,44<`q(8Pp$8,<0`$,@@~'i$< B g>@ABp@ A0 @  @ a B@N0Vd湹5<i Ws@Rx&. [7JvkY/uҼW0r;b, $\[)q5sT @eU*q X5g8IoKc٩ "dg7V:+ g=\p!q Ui# +rE}X.x_e`Nr8TA6HB8\DL\ sfl.R^fʠӜ53eb4)chF Ap緍j\)kk |ى#$!LwYezԣQ91GƼn3l'̗z~Fݛh$ӹ;rq2Ot+r`@21;DЍ&sf6m-92 g.PUfG9e 6s0& <[R|g;ҵB1NW0O¿X)*k> κ5O RzX"<0}ܐchYo!<&& A$X>ϧ㇆)3TH7o\p\ *8oUfTnu{mGlc .rb/fVF,1)'O綪XRen?ԝcce~NBSヺjz&Uh9$? zW$@gx͞Z%+Rq7תqjcw aXN'0@ .L)vK*8&9K3+݋ŶYKQtdB'>0/|`;P-yp팡Y'{ך`R 7 zwt&Q)codќ$BH7btt {yoXgIlfZ3h;ΟI1b2m#c7}NI]>l!ĥM5fx2_sꆰ7 R]pj8ES8YzSWɅ2m@BW$([C5 HJ Jŋd@ RsG2K* uƬR -T1@}')zZ@" 5A; [^<濴 u;+YQd0e/ ".j83x^t!=P=&+Ҁ.SI0 4ѻrN|>}8MerBbh-G?5SG}#뵔i "V˗E -[ Wlj&!".ݎp/Ii;C6/ȅعPv DьxX3Z},XJmWdS(L'[S>@^`w6>JT_l}9\#ԇx#ĽUK/{`% 7^ &+@4>@Ӝ2/,UYZ֞š!r afԪ ;dMu d+ S^ v"mWXglp$fu{S[qc]1%~Zp: 3)joTL=a3/`o4{\ĝMzW`i0t¼ݺ[B5;% 6%fYbEZ&B3$G̑|VP^x3cgl(A'VMʜu=FB#&6B ?b (>y| k}2xHix?ܱnNܗds3o>^3/ .aOkqs~p~ }%X\=.J/&l@]I_,gO]I)$R4L%035Kj I 1kOoS ?LgRȁ@ 80R)T@s qDHAHEd)YārF*r 98H" o"2́ā,@ 9#9HŻ$oOͿOF8sHyZR)y%Ndl%?v,:;3M~.!yEq:gJjh]49O6bQO~qr͸N|2߳N"6Ј8wJj suAgwE8ΙϥS Ơ|EE?'M%9ی8>=:ElWJVNb9%)w|NZ~3X֔9ڏT7e(7bnw U|Z 5W# (HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kvZc *А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%9h484e OF4aa6TkŸx&LXH< GJ-fh*8܈By')"_TQcﴖ/\(в,˲,˲,˲,˲,˲,˲,˲,cwcI!{r\{=|9d|_0۶m۶m۶m۶m۶ӝ J'--,u7q3ܖjqbၲ>"Ddc{1R&%cZGX>M[!`1[ **sQaMK#qq"Yq@M Äk@E]|=413Cw:-:]˒aZE52Rm" Z 0_uǕ#=0sy#$H(srl5KD58>D$݂̫Y:h<~3V=sjD$#@@H (rJP a`0` 0 B  @ PyKQfE 1=p0k|ұ"-+ @K?)(eH oڈb4F՘U %*:tnH 6He)hC%G#d$c 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*6SXb1ΛV61L ? $uR_9?yga{0øpr:bgg@ ufOY0 @'q{],˔_$+c`'qdXUgtvP$Is@Hike2@4 Fadyjn [^Oku=0R{OŮ +Wg uA}o!٢ ;BD aʽAwZ{׋p#zON!A}Wn`D"O.S|!")E> ֧ظ޼)/.(JU KrC ?LJ y=߫޳2B %|^]&|z3@;L5ypiRXBtɱUz 6{ބY:#+*6 j!+m 1, -.Tя ֚ˏ 6hH>%V<;"[U%X @1AJfy??%ax9O7o3_lSutr՞ј>hR5X[eKCK& r5k` " ^xj 85r[zS@b񇊝aD%Cal҃4jw}]y_k=4 n1mrm* NXqAT=RD,#H KMpI@O 0lL%0$&(W<JHP . %0AX 'Ё#N`"` `\p_*aK˜MkYM'v D[@_t/Sd(_SWey{@dO A&c#`Z6qmK{cbK0 E(OdkWsX Y)V|vd%˕6x1<2j=}'Yi CnEfC ee5Rr=!2n~PFC1 rGd{%{R3`e3:Sg QX1&Pj-N=jgˀ F K8<&L{7aI -};,_Kl4)¹7ʒ2ǏyA2KE߽N,S QZW/[wq1!}bt?u;ndk,xdWiB- }.T:ϐ!T䃷WXQ4&̭-11ӿD{b q d,"jqwD?^c{ep%T #~5yTO7~^ibQ;`H4ͧ^B {zb\rܼhc˹jsݩCy!oQUh"BYά*ke~,Ȳ/&t*vK`aadKNs%6L&gs'n)Y@ (SO/6T` B61l؏e&b .lU>U> 1!(/8Admɓ|;a CF"FdlC ufG/ zXQ6.;XXyk( pO K\Z= "5Z`kۏ@#\ SiBr'sZu/EXrK~HR%,@XKK A?IAHc+ cc 5W' $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1,W:mh'o6a-s}+=^7$wfW-@;;(Me#0"pPD4;KҀx$Ĉh.J4( &<HCL8Gr&"Bx&"YFhw ~3O3֬gr-ʙs֬ڇ< sXŁC ϛ <xom}ݾwn}ݾwnmmݶvnmmommm߾۾movݮun]vݮunmd#F6ld#^{^{^{^[mmնVET"MH!CҐ<:J#,T(ѢŃƨYHDDR "D1Dt @BAaA AaA !ዥtq18.Ec_ 9F1u/ Sb1|/|QX>CEc(p ],>1p..Łcb1_8FŐctQ/ C1|/;~ƕgPcf1Zθr}0f1Xl3`~0X߱d\9>8F/:0n11Zlsa0F-qab{[ S-0jQ?[L dj2&QFa1 as"c*>ǘ F09D1y0N!aaS9=0QcfQd XfEc|~U<EEgDѡSof)6&Q$EgJ1StP+>Gڝa8iȰ"3b3HL)B,$cEΔ3I2aJYF$bl/Ŀ73{iF1\3I T S-"@0v.clPOidEPR $WAŀϺ(N|nQ${"ڲ0`(#zd._XhQC7~&SGLM♂Y̿(qx"l2|}䳂kt$ 3]?Xoa1;G_geq`aLz*E1-WF4\pW &9xEܐ˖L9 2abĄT-tvN,ՌaY*uj*,uRu3Օ0Kk-V+#i1\f/9-p<[?`l%8= ·v8I8/F*_vVVXOg0@ůka(Irn m?sr]i/V#Ҽ 9EZծ %CIϱ٤GPAV_1,v*SK,J Ai^̡ 1't2,[x1V$tB8f+iPkzFvlV=Ftf۽Ն'`mqS-$"c'ym'ϰj_CN cD-<<@9Y PphG+$d8|# j+6cW55&g5Q  t:Nt:Ngƙ ;^z^''}{={={;;OQ LTBTc=SA)UBlT FAPb1¨OcA# )@ $(B(@F!@E8`B]EZTэX tn.K d8XzkR9'wPTQb5,E(j3+"mˮb*uF^Gɑˢn:r-E aHqEHxoHQluEUR#]ƉEH'8eZ4NZ7ad9uyqqEX]fQ-B`#-&Jx (`rC$etU^bP+:WUU_X5%GyKWUa+Je`PPP+3{-^baED -^b`E"&E{ǣ+,1XbfEEKL#1,>b(;d\9`wq";UL1X4=W-caqED E-.1d""E/1Yİ"#"YDbxd"f,BbX|dEcK,"1YbȈ%f,1YD`%&cED -ZbaEF E-.1d""E/1Yİ"#"YDbxd"f,BbX|dEcK,"1Y(CD}ZΫMA=TZV6䄐[N3tzI7xmu aQ}b.M˚qHArv0|,`;ȷe{Tg6eh'} e#͝_]/}Z\Y'Q➖y߯`2f7lSqU 8H-\s8IR A3*ch!L1?weOF@=riY2z{6-?p#0[ܾ05΃Fl;&`ުSߧk79|"8@ϭ[˪-@jlߺξ8W~?:K@h*"/!z\;DNl9P Ε|7[_Ŗ̀Z{[6v8ږ5j@|vAd@~6jmYKqwN-8o2۳PFӲGߠʠ+/\#)K6;>,jgW7=vvqSôj=g@ҟZp,l,yCwW*>u V)A.r["n5ىIhߕ,ʖUJi8MADCu;8Q.y ܳf1\666 6^UE-;\۲΅Y\Nol:[}hrvp@k뱸z[,^zq$#X}o 4oKOTXKWYܖ*$q-sII Y"qkGBbh=}'Н6aeսɀ]\%`{.m B[o#e~@h{R2" ԑZ盕[)].bE]oPfzQ{SG#eU܈;bCm'xj0?;r'rZŸ/x~k8+m+7^sZصvYE΃ (\˖&b ,pqr291 zf[s5ҀM-\GDC #_jңS4 R C_fu;A 4|§wk$2\W/׌+ M:')j#,ٵzMFRysU"GXwY5}Z<5($͂UhmB俵ςuhaEϥ[#!(3[q^6tnºMr<4;yn1ǀf%2IE2p[fa)Etkoa!vsFMYL7,oJ_zq47*ghS 8E8B8Ws`lXa.$$,|Ψ4_Ql5ͮUv7mvk &a>h,$}6iG(bEG{::w)'ka(6򶉸O$\T3xl,0n{E d^SR=IdD‹CBAvpՇ8R|1'kTD?B4 8秾sbRS'Okyֵc 5az _2nբM&5C? m0Kukf;&pAS퇊ҹԠuM^k ̖fD׀qB&f¶n+_[h, pR]9sQt_1Mʙ>[GՍ\g5,rN"$gC~$ G{dU,a=-Ƕv=9ҡ#yVg{$~rmFj 8-+ٱ +ZHw( [x h5Z@ ҀtvrQ\2Bҳ>96ᅰE5Uy"(Gz vf| 7hL 6+<=jͩMO(tsL7xnzylWj=(B@<0F4wNS irn\7m?C/lPCPز\*\-FG\n%R1*V߸P)?: F2%4"~F)Bm{2EGt =ޫ4TSFD+jݨ' L ; x&.:-o}XZ>tv˵"<¼̈Zڻf\^J΀MNzv .#(EWQy@R} X(džHѝi*NeI&ӭw]q LS&:\͚*0e'X>ˈVxt&o(n}Xt9܎A_ #m wfzŸj#j6Iz|Q~ض*FPo`Ҏƕ>km ]װf?p곸leSTd&tu*xeSbIșet'GZC^.Lޕ-X Zd?*xS=ĹeH;9b ( bp'lrVp@R[`;#PO5&r:[nU!|Z 5hSl/čmcG3az6vNj/̔ '>X)/E0R-1,|`_!q܊H1* hڨv$6YV@^&e2v Ba,gɼX4kϢig(^sMctM*9\Qu/4 ٬B4} /C&tz6:VI*$+Es!^0`\ծHNz_!yⴋzEz":21x8BnSJ"%ÕR PXsA=47IyfwY]r\e+sr $ϵS44#XoY:a}0ķ_.]\z '} ~s{l%i[ŇBŧ&Q^߾?{Jǁ/+qi *}S@+zHf4#xy+h1<#N [EpO ]~F '%QRV=&{{}!X4)/1 &k-hl+W\%QW.^^\26݂j ]#d>%/悪_x(,2$/?OÝkfgWTc<dg7S8;˴N^ZdOR܉G3\[r*߭&u좐["[+a+֑Y!WB!,=7T*94ƛIr3\k_pZT jhgAVuT&;VVHQUW(Ϊ+dDy T"G\f 120Uܠͫt| bӅ@u"6FMC =4DZ.X@{ %PJxyf#ytVZ&O/R7 Jr1ΨeL9b2}_N<v `JPje@.A/ ZP0 TƆ¾@ҁ x0AA`( bA((B}Ya]7* .k ҟ`[^ I@ܩ'u}4oۋ }h. ײbr1I2,*(90-AyJ#VhHhCV " _9L!c:ְh6RT$y@JGܗiSm)&|ګ)$w%&RTnf!딊m,̏+fo3ֺ40?1>#;TL6 ɬpCb0ܷNn(װB %+vN` f@ ppsa4qΝ2vFnT~%T$ GF3/&rWXQ!=9`^j{5T_Fa;7FGuܝft0}(:kzEjUy.$'ʜ.,ꭸry!wC^!0HefQLD__P\_OGeghlLňAC!g*`$6C&zǣա´F ɝ2R>n׍.Ŝ@d4'v%]O(I#?8AR q!E+@@`ʜ"aT3 ۦW;IUi)@Y)<ɕMcȞ=?dJB,._Ιqrj<rD&s9{rv(of(+\+0u<׼ TpVmTK9v "4)KӐ6U7<84=a9߼Βhog"g۞޵I ) ʟZ-'9v ‘Ӊo^4x)EJK*p'؎tɤA $'O&)XT%4 ԄHkGb'¢nQӷ1W5"hluiLwCӚE+ :7όbi_ uSM֩U8SOyrPzm@Å'kJV84XQcd^Q$ L3.4"pŶ+#~ snU ,ȶ5W9㰱#tg/<-f,tsd"9j4چ:4QՋkLsM7KlRycKocRMXVnrZ_^tiژ~ҙ8qRDrĹQl[RF,pR,e+Ù.1 ől=[bpQSǮbt2ta`LDW5m`)on%gxldtk G6KCI0ޮʟpZba `Owk2Âm9! hDje!EH2Ӡe]Hqwq@u@٤0թMY[j+^> dm!ru(q.- 1<& UH47 Ӡٵ:>@V:mTY^.™ Q'2n=xRe$j5C;m4ʎ" ües@ITe|)ViEȳ|e ?H<=tkwu]}'.7aO1obGܼioÀI\ۮGuO2 7~MM҂#u&44,.']hw@I޾=J=2/p ׫B.XF}WF?JoM܉ȗcq(>QܚYw2~;dϗJs?|ǂW a6@M7t7'ҭȖW8bzLtTܩZ`-M@ѣ njal9©1cʗR;A6Qak#;:[7kEEђ2P-[iOj-,[DMEi\ lFU|o'6nZAWz~J*Ph8μ kgj9SV"%PQP;{Ip1/N H+$zX咙80d~n=:h198b416ee6b29ad211e441790f71e8968804d93f8ad5a9031d6debdb25f6a2d28327df038ef77817 042a873bc4c2d063090ad7ae9e8eaa3e07053193537ec0e6-2f64-41ae-939f-b16ffb46fe2e