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 55<5ztFn ]/ UHOL-Record_Benchmark:threads=6elapsed=145.389cpu=244.310gc=20.926(/ ]9Dc?MdVaS}P @6P%!q@^aْ4FKϓ s9MM]qcJuXnhj=*((/ _Ks}wQ 61@C:}a:IM|(0$[[,)4- R0rJn;"d>(/MB0 Pm ??bMQ "{g)zyO^(C+nbh$$C&UxrB 2J#T Itwzw * Ǹ9ƅJc²t+DIidBxEbWؑ_%wׄ7!Ya߰ ]J#5V 6TUe2a'ed2;ͪ넦e!;"DFR u 9C~D*i>ĔR⑳RňCX q} iXdʼ7:gQZ5"]hdjoQ81guJV)^+.#K?zd NQyi{'mu3UJ$8 }~DisYg># M2"TODN3D8¨v&c}mlo75ucc=bF:BfD6hgtdVȈK1cgSM\,[%ؔ|kfvʟ../ߌxlAMKx+ʘi*9dg߷9RĈfT7\&|舊Bxա;ӏ3|3pLi&ofejM3 "[Gd/R*C'u%gL>q>9iGd[c#+ H3V4 ċMT4k:GJ"{kt+eTBϦ w:U4ĜTNR)I ¢CTy+o$%[$D̩G?oNfq-xeGg57rHD~jnHB(v -2 OI>%ò%˲Ak Feg ^g^íּ2:#}],O71j;oI~MjH[ 2lE0fmy W }cE-k$.' :ȗoLj٫PK[%ĶMp mj͔8>NPy ;QN˨'x-'h13* Z ?׾nKr u"}w.Z.: oT$ ɡ=V `鴟Z-AxXKQE щjbriwL]<|\J_|.O\ƜF&AXI:}r 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#!fyZ F y?u#`'x˚8_-V%]TSuoQSNU+„ T'%1rpIQ&UVKg _2U|Ѯ;?fQ0WJkI2U֡w@̷} wb5/LU{hw|"b:JƨJwLfLe /^_ I?X` spb[>笙X+FɽvB,AAg,Ӂ/^gLkzwiBv@ޘ,#e(,SW;]  .v;30? Үw@a ŠU|`PzSqY |;߫y?+3Xӌ?Zpwt"֊rpp5U/Nzp%XV~v4Єũdv+`MgZY-N%;No*f8  H "ʥ$7ೈb) 2*PJr ( "ʥ$7ૈR) 2 >Tm hb+~>ǎ~Wq#'y~n~x~n~x~n~x~n~x~n~x~n~x~n~x~n~x~n~x~n~x~n~xge~-K(4'K(>_J=ȐZ2)wh9 > ʥ'ೈR) 2xQZrAEKAnWRdYDxQ(E9AEKAnwRdQDxQ,AEKINwRdQD|Q.%AEKAnWRdUDxQ.%A_EJYngRdYD(-e " 7ૈr) 2,X r ( " 7(R#`v1qX Ƽ@;Ҿ L(QtOKQtOKQtO; SЏ OkGt#az#0w 0 J>|z~>{xzn?MQTA|F147|Mfm:2p̣ Ҭ42ɸcj<ᆆx6ח_ˌ!o2Vsٍ'3fiKyO&bq;4p : omV:]zIxXͱn5Pdž<ׇHӌ.Po4 9ٌ')f4YI|e|&p3úq8%cx,we9O=cɸ`-6ư)+g,;Y/|x?&+@|&Piɼ~+S Aue XӊGa-nh tfʗ%~@(#t@4 \=Y7 / J.ʗM%z/#1Y ]We~|!v7_a0I?!t"I^/n' EiY(+== 8|#b˲}\Pjt!GH@O @>5QT-k+Y}4F9(EA(5\jY Y.fGDFP@c*JP^rTʡ3 24A @C(-jPP8tZQh,CE j#KJ9tFY2hh@#%PA  J\8tBרDh<j' :tF} 1h 4h@;J#QA[DרƢ1 hG1oQEm"TtΤi6Mt4-ӊ4:l ҅Ic*5du).iܦbM"p35h:C-Q?ACJ4Q~TF QD9`J4)ȟ@R  D"(O(pćDrY0zV<~h PH ّC=QA[`QKEH" A/ъGo:myHV~'آ6? y^֝Z)~U%z՜)Xz&UExUy(Z=-PA  Jt4R6&ϼSnzMonܛ>{gl¦Ւh@!QA- B.kTiLH3h+#K;t_M1hiӠJMheGi*HtX4RAK9%L'T]Qm'|f/֭mb>TxS=8=}k9#%検i=ATkI W9UE⼓u`P'U^a/YXĎNCsAykUr4L$ISsʫEG13;J2; IkIQuaʈXV8:PV0E>E)!eh%AS%|XƹFF-bL5/`P"oUܨïZHVLN#r8tY'`)6T/ȸ= (04t}1U9eQNO({'2- -HA,^*Dli^|lV!`Cч(lwNU'fJG rT{z܀>: ZF *a?q JsA&G&0CkaSUE$ui,&rc%ڢbr}H|A.߽D' *DYlRhjb/w>6C,ځɍczԃXkBesE#s9ؤXn@uF5廖(A 9Q7T:V0ˍ@ fE;(}Hrv/#heAR ȣퟹTO=AS،45WT O\vi0)iȊϰysEL *;y?C- .:Z2>jLA%,\"p:67gn[g5WMvܹw!`;«_TOtõ&DRjWL3[]jA@, _"x:t''pIp. EE8ο=nD5kwTR0iqƬ Q iຘKm5 V U{3(`-*a}Y+&*RAP.MT~i9k j&+[Ӈ0PV@P@ ! @ 7wFh uWD ='7ƝYU{ QrG!I b`FPohI9~ BocqﶗY+K╺ۓX(ojVJ@ Gui镺^ԥ<8f  ; 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? GFEH88]]X]ݑլffffªª"D%""jNE-V[3C3[gfff&!,&"%R?]cK%)X1E֐"'|s!;+3#23DLl*J *̪ʪd"eo)o[:k;bm L4331G8#9R$'"Qx~QD  ܁1B  ‚J@ BX@!DࠀBs,"4hpp@!! ,(@X!   @@xp8H‚CqdGƑqyFgyFfiFfdYFedIFd$IF5FY#1r#1R#H1Rȍȍȍ  v; 0]xfqfffa03`veVe֪ CU0T UTuhJtD6D4D""I[Ғa6 mHkaW+Wk& 5c0̰ffk& 5SQ3(FDȜHDx"g"e"ax0<돾,Cd JR0R%a0D" 0DQ8q$# "f"f"f"fb-fTRU*JUHUHUHUHUHMd1vjnngKQ#ٕ\sbȤ$##2ϊȜgEe<2ﬨ6ar0` c1ec 1?cɘ_EE?E7b'b_"FDH$:#H#H:#{d=G9r#9R#H9R#?#?# $ߧ~~ӟ?K_ҥ%K,Y2(7 ox!mH!k!iHvivLg:әP'!CrH!c2!cHSfi+#ەC4)ڕ4R9RWb.9I5q/CdF7frDC%Zr,6|1Q'*v"ZN̫9%&f+MbfZΞьɣ9ѹs==l.S'5c*0fL^י{33I5s&Ws2Օl%'$WNN@$mȊ]ԸbG!%"W6ZwYːyǒcwI=@<*UKάMi4Et)2i'MW8Znц; r5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*Jh% &i̧@ I%%x!!;@@y(0<"91s3f3f3e3mb?~KB );)B ) B;B)D)#U}8ZCCQO_?[?CFcPnzwMəڪIk{0dkfΤff!/IR<4.%֌CHccXww3wwg1cfvf&uffWM]U5W\Uvm{mˮgD$-"! HƜ+933q3s_q@B$Qa!!@ a jN`< X`   'xH8,X  !P$( (!HPࠀ  (8` ?|??<9ys<9y˼˼ )Cʐ2 )Cʐ2 )Cr 9ArGyGyGy6i6i6i6i6i6i5Y5Y5Y5YY5Y5Nvd';Nv4I4I4I4I4I4I4939393939393OccH1FC11x R<R|wNI]wûݼ#̈́flf%U6lFUU(W\5FU-vF;}v֎G###xD <#<#<#4"H#҈4"H#҈4"H#҈,"5F(U:FͨGq׻ڵu_y밞ՌʨFd4FHFYQjH\:i:ӹKF]衧I =tC!Ր:$ !qH21&BPe~YhW,)r VDfDHyPPBLAyyyyyyw|;wyyyyyy#!wfU<D#F ѫD  H`‚  H`Р@j  4<(`Hj&qW\TSL9 nmh_Z2j0F~7mp 7CLf3J[9H="N'[rZCCKI*kTtD%k`3BG&>_*[ RYoFVn\_Meތ@щO?fd&ݩ,M7#46/2X܌XO_nHHSOmFN`_* L ;RYkF._Me8"~hGVuZZPUsʢoJGH LL=ڙ⥜3]Ŧ\9JӉbR5V}j; *!ǃ)h:PtӟI}y];I~hg*JMԢO򋸩 3#%2/eΌ,Ąۣ/A=ғ\DrgZ!.R/{ȥ8Fʼgi>HO柯 [mUUݭJ1(W=,WAVh9 BTUj/*nPQXCV짢^u1* RfVХKJ(FkmHѹrETQ RiWR :rmoT՚lUpR&RPJB]jSvE*IE*ZHyrDŪHQVW۾}B!N=uw]vXZԄ4(V&% *nmS8Tvo^_Pqed[`I[y6JF0nWȢx p`n5.Kug30HdMD)͘fc,S?1DTdd16=uّdr. gmA[̼a ->˲Xq`L-d65gR6KPTeT$ű%R,2ŶJL S*Jlɪ+^,RlKdQ$ǰyr6ʳѳ*,`ͦ ^: /lJR:T*CN2y 6dUl`Y]Ng &eٻJ8V A͢$;ADFaXfáL/V'|:1lK3eXɞ:&*i-XIIFfk-iX~a=x&b³Fҭqbh:Kώ؀baZ4ʂl~r6mպnZ))l- +RSXĴ0&20StFr*LCf{ 11eXb|vEY 15$,ht2=ŧTt+6dY0dcRD3+ςH6àY6JggM>[r;VOOlYXlWX򖆰VCn7!M, #Ծlj 9Z4ػOyP²F%+N5jD;B'n :aE~a Y׍Mbᙯ-g AQNlzZ}cíQpqkAfMuM"J-P9\ibźɈeL--QR{c-<%sh=ݍDD2Z[6̑)b gL--QB[^-8%sߨ3Z[AG9 ӢžuFWr?=b, FltBvӖRKT]ٗo(  @ ?LO3ZvZfr"UCn 禞D/bUq8r/+]tڭq<97fU>JtWq:::T#=:7g]){YjsFBCɼ? _/]4pnF z~|nƝcREs 轳y3~WVMi'gvOJu O}HhDۼ7;aw 9xDN2e^56:{0[!3"f$2O=&i4?nqx6L6.Y?mB+bV51S1`h-^DH&{%af*44DQX0lۃ6kڼ6k׵uIm(ՔS Q,FBXC@t-Ȣ !,0Ca;gHLTJfE{?Sj;>>ֶ  )T]|qB_\ )exk"K"  Ch21 8 !B!"d*\(jG^ǚ5̡=ڒ0trfouֹcDh:Բ2)r;;>YMqQ7Ai|" Vپ ,3 D?"o Ҷs{+ԆH~\4<ɽ/దnV+ՙE.v639Cb[!Mio>tm)ȏQCXL#%!2k=tz ∼cA(*36 {}EJ wBG9ĆBI -iL0 m 6/"H`Cρ::*#ic5g*Wi}"x.J vT ˸ ;UXAvP˼xU20$u7 & 5y (U@/V#_2T̫Pas juj0ה0` A' NfbگKr̃ &e-uT0n-:\fy ČQ 1.chOlzaĬb`~1)ƨ !HNfxbXm3Tģ{ h~ábS9**,Pר#.)1" '5#bZr@W fr0\]M rɓ@NbX:9}e_=Y 38WuM.ikGLtty&) +=1r3hʬ6k3kJ^KF|}C+T6m=@UlW.YVM`p zÁ^Ww6 ZMy2D! |El3_ jˇVS&w<@dU HATdSbfN:hM3M.с`yy5:aਜ਼xJ 'ñnݱF S6r>uU~NC]^Bi]T=< 41Ώ)Pyo:8N5]UDU(#Ļ~q=DI&# ?2jTDYxk2btaO*Z2EԾ)9g:py?(A3JNv DŽGʯmQ Jh0lKjL hv/p-ݧR}uw1T#Ṡ yaZڼLyM&A>t56oyKW=Y,2b͝oC >I԰J3{R۝a&I{$af$;*MN  gfugLa(lMe'YYgk6 PX7ͱcL@J\,Z:3Pf/"fzT)d52n}z&kT{cl% ,b x;XZ2}# 3ŝ:u{0RĪ։ANqs_ ‰=Ț"mz[W!+˖-DlɅՌvvbKw ́u72ԧ/zwy[kja9 #`؉v_W&R73 J?G7fS:Ժ|&@z1o0h23n-q:g 9]O*}(ܼ&MQXi!FgT˝2 9)4].$JSIvJg"!i44HG͑Ѻ$(\(z,ؚmza/%ZK"Rg9/=acSz]-1%//"n@t?XQ%ʿÝ1>#hf5 sę`ɝE'wUXݖet"D-d͗LE@I#\.1)@ u~Bb8k$}ٷ@yo s)I:q~~MrMz)5Q^%u}6 Pl$1%wPy%o'l %.v{E_~i߁!)l3Evh)h=>ܜ!zC޸:-ǰ,Z$)v8]C,v!ETE% gFJ пEZfW&5t͞w{꿢B>UP4 s X;R`;%[ |n6E>ͽ pJps>Cn4quC,BaYڵ܍ q.ƃ8ӎ17s_UZlهEFUPEa BL` +v\i yU/h1(rJ9 ";XA35Co|g)J$\|or iuW/Ca]9t?GRt!eRRjA1V wXy`WER*]82Tc/cAqG4|NDP¿Qޥk_;pkH%c:%0|hygdmPR"y.i[';\to)tD`w bǹ3KQvębTF]QR+ERb됋"L{4J)WLCvn9 V_-$xNY Ei վc!(S*7dķ 柑(ڴCI5ziK= to:t` Z\GKAh;il;Km23PĐ\]%c B3iTC{|ފ I5 %"x_ 8XtJ,*(pfEߥw҆r7wA7 L 6nSFB6mn`Qv9 6Y}UQQYhPK)b ٶ n A gaOq[pxBrFD7;WG>o\!b7<^Cw)}iK}‚qoѻ؛I;hG;A1nߜQZ1.y뙴(!7[V=`S# 6=[p\ma6P\Wʭ17VZ ń,wwI AICf% r~C5r!2!KOuh࿝TWMntFNyDe\o:'Mgַ[oM 6P\[ctN--jBN'?Z}EmPWtr<3%Oz7)׫n lnܜN\݂SfLQ1]9Ls":d "|-szrҋ40^V{9f.Z )r:ø.I&j0Ψ*`eR?ס\dj |F s5tGä5 qgO3G뛩oMlkʦ ~Yz?Cp@S${E|Q[ ?0THFw:sPpT9GI$ {27RdM|:mFu+G;5{h: 5[pX|5ft?W[ \3e mH@MtN yaOˡ_>!M2n옯 ,J<1C6qPWկ~O}Sԟӟoۗ/}K?я~}g}߿_%_%_$O$O$O#ϗʮʮʮl-E C!pH8$L S”0FQjKm-6Mjڄ6MhAhAhAhAhAh㏇jjjJTDB$DB$DB31313 g8Ù۶mVDDDDDJDJD("("(b"&b"&b"J,YB )|>{{{{qQUb"Q2 *"*"*"*"*"jj64J3"Q2-H*Q܊PD!D1s+B%D1s+B%aj*[UUB"!(H`$Ipf̙93p3lV[mVK-Ȉ<"iD#ѐ2 I$I$L+A~8\E4SHDD$|>|>|>|>|>?Ću~@"P 0C (- ix?@}2 fmx FǪ}&:c#!M@E53pwi<0{*''3X<{ 8b1ValF/q#*OHq!67;j+ qS턨.#_m0e̸xEW6)w],5t6c z?=؅9 9 D޶w0MTn^ھ' uE:ͧgEO`w7J,T\ I3`Y@ROlPdx2/θ!y";QJLȻc_LCd?T3ba7G>y#wQuNFSZl{HǫW\zzH}*Mhn^x@$:zE lsP?(D\60jFbB>hA rQHxJ]E;ؼnoY y*Z`pM9VTcJ(s 娧c4H v; |szP "N,K.xUVdNhE:'D3Q! 44ȵtq=b#i ) * Nǖ M:L$HN1[9[ti(Q,iKP, L7O3ơUDOI݉prW(DnRr("pUQCF0hL%{VJ2QY5e 8pQ0VEઔ1OXE" WYueTjʨ^9ʕ`BU)G cJWLEAҹʨ"FsՔQ*r+XRF2 WǜJcY+\3ՕQR")jx*WF U2d9*^ WJg+EΪSFʁ4 {.ja]#6ՔW6s+yV/SVLc+^UT :*$xV$_)*Ϭ^R1YL+_y*VLjg4934pVJK}Zq2ʝҒJjf?Oe:$-%ߎW-+AP"C!ԡ*SC,*SET[hSNաD"oAU<)WY S54T=f){)h./qPHVecDu4(y|J~%bՔgSʱ/AʡGeh*?S$ѥhmH#tK-&-],L<1 ?-tId̒>-r1K4Iu,}cZ tOYaRB>fD#^eRO Po«b9`F%ᢎ I,-U U^)"*+jpJ$9]TUHw)}G\*jnu2bJ8irJ-é@)V_+E*K5I;Y@pVQ}KSVݱS~WERmPH!SU2w9N鎪HbLRCNAc ( 2'.t}c7gȰ񔲱<mrl:m8lS\nhC%Y4­ O Aֳ3@7͹x Om|QMnJ`3>235 B;7P Թɯi̼^`gu^ݦjbs>bf:ksS= "uKڷ x + OV|OγՌOun)w 4F73YĚ+lqOܗ͉IB/\Sq33d/ɲ+>C zqdbkb{ [lZ;Iky Ut%)ET~e֋13u:D.G/Ӕ/,7%?x7U_eE8AfQQ~qxFB8GYub"Ŗ~Sd,EEi<*$8õx Eh )lJHfKhJpJOJ )!))c)MNK ߒݟxa.lgErfr3#s9ӪJ5MduڔOrLuLM~v 3*ɹel:%okV SD>3PA撙4KB;i \Wd\0|ڧrnS61s1=1B]jeR>ІrT=B r]xR+%re?ˉ%K)4K -tJl~2%I9h'W|i` # c^iޒ~)o;g¼9?f%U+7Kzg?{*@=TnmUr[E ȅ_odrVaJV.5~Xgl ׳;6h 7 mɚ X)Gd5~,ڼXBP,7E|r+ڌ,`Ur~ZNq#Hqxgg!VO/Aɼ M484tѦ B¿٘ɾOE*S6p7d\hWfy~ 7gk*S>SsD['~E\3 E|hs(7H ~Rw lzc| $[ܔR!9$B EFCjH !)Y,vB&HH!DA MB7yMi6a&M뚬I&j&j$MI$h4 0mCoOhqK" &q Zr\8ΜŐbWb6B@@3!}ce!ٿ(Du j%NB_ܓ=AB Cy1b f!é55凅r`i4U5Za8 j;}<_AuLVʩ} e0[o>lOU3ozJ 6tq%[{c$ܧNB1gwE)=JYQc}卵2JSTylE g-MH02 NQRQQ g+'=YmIn`IXPK8EI2o$/oB4X&Qf#1;F>KJCN4+!,OxmB:?I]Ԑӡ?r1Kix\o!# |:)bfx_f `2i y?oeF%""i5}"~v}b;d٠eCq冾JC+F a'Ԃ<ʃN2:`:#S?t^Sqi>W>pyd203573֬ŃDJ'~#9TIftt=+hnͳcgcR^*> #ȗo,@}޴< A4vRr'\2ZU{q'oR2u@W7Bug/fm %^Tq-ĢhqH *DV` ,RUpNawt%@WX ;N!G)]Q 8V`)R gU, Bwht;@GU VGT] 8niu gU.08 Bwh; `B)Q 9;BSq s+nVt8J t$ڥbRøaFH/@K.~7Nߠ6szaZQEk?ѽvyb' Fxg*BAًyj_\잁B `5UK py )4Hc&#sھ8Th6!s#+4kF#sںWBzdxVrmZrzzyym|9|l9|EEj٫<˴<3$$i3gZ*3KM$(aM!3)ǔBk"ʉyiiF.YO<yS$*M)!|{f0y3W4܌nm6\HL9EjM 5> =i1 \iքQ4XH\$EHЦ qTH>S՘F[٥<=Tq̠D~>uKL/3>yH,MΓwBgP\&GOqSJHK˼e<)}֗e8h>ƔU8Yo%L"s+THpO"<5e޲23]m`Hy!\-3ykO&1Re:,Nf*+`MEaAg2dL/]2ߖcdATR2#4JIAyLf)0E2YH&H*=2bDC/^ ME! %$%&-6d~Z ꃼ#JI"VBpEJb^b *\/ϗy+>}!F*2yUO_ PrE#uJagw lT+s5DxȚ̊:flt Mn?wF~ :h :tƭBm)̶ZBCziU!M2%!z(h-+ i~}:vLZs=e^IIiS3)e%RaF}"ه͉GT{Y+8A %IHaS0R3J,71Ȇ%ZԄG{HaJQՁʹ dK@:vj_:\;H c뺭$\HH tͯ&t$e0I_UpJjg $r&<}PtG,YGII)$@L5%R =/37!P>"J\c`= QT*ה0Mho+&V"pB AI6W^)^"Ai&:<ToYHfsC.\d?^p͌ &?T"j߂I w$J9橻/t`7lU=MWZ:?)ANJ@L#4xSfn ORM~a||ͧ\ЫKQF41qPtb:P{o>ғ̔\sM+2vLJW;RP*b)س@nD(PalEN4Id} !d Hrڡ{T骽`d'BH2Umc5Xé |/GR@ IQLFH% <~?Vڈ04Q< L M2% *3bZ"gv"H++d %"29M<"aGJ+&i :tdojA&`xU]<4);4 s&I9&@|d̈+EKD"yY>ERI Ym{FjX'ɿa-P~Mp !%mfAf"b"$_9+8'Jpa1P 3bDXPoc?b½2n'O"*'G_-Ԇ㷣L҂:ԯqق0В5@ 1m⻶@Mm&ǖ" X3mU$+Z3I,\qlԮ'{_x;x,i0OpL!y6[iE;L^"WQg3kz2I}!E{Dhg_9H^Wih%D<8)F6(+D% ͢JSjQ`=W-F*#F#}fʖTP7K:uA4b*K;J+$CAV ^$(Y3.0K{r+1h 6=`_j~MC2QYkJ:1dLȚrRތ,U2I7B"9??+_%+QsÓIj7JıSti #$=_^E5Sl62#R]EI%a+kE*qI5ItTC$kS;E5P%SH)vLL 8T'&p%5HMX;UUy2jƯQQL 7bFC Pi/ 53i(4g<42i84(G9 ?>t|4Ty&MX 4Ӽi k@1M u0|4ؑE-,{5czV#ʡy(U`xP >CQx &QW8tJV"3I;Waswy&QSGJK*F M=6cA2IۃkuKv&4rT"[)u/N >W71ISz hߩ[Vռ5H2Iw҃<&zlqĖCAk$!I#7F3Ad6[%,Bv̸$ǏH_%&iM㵵k۶m۶mI$I$Ir۶m۶m$I$I$i43333333#"""""""""X"۶m$I$I$ifffffffffFDDDDDDDH`DDDDDDDd+FIfDA6iF$oP lڵkVH٦m6H䶴E7r 8#h6h6h[$ɒ%K,I7nܶm۶m6I$IiFI$yfT)rrBChmIM rڶm۶mn@ɒ%Kvm[ps 1CA0s@A0p@%%r9 %kV+jQAS'@-}F5I;ԕ7lգy*v&zi&լUoZ1[UmTG彌_O]=Y $Y\ u.5_x,WesY3{_RĜ(ϒIy_zbv"{jhD󬠮yj@S<ك:9cSsMRt:;VD½,Jg5#%B 9:w϶n9M6ab底4#!!ZV2B8A1RTi-HHq gz|cQ9pضAN,I}E?6i8~wblD-6$AVmEP!#MTQfWnfG}o RCxI.`E1,u_PoiG95@> (O2AN/hr׸'/f)}!?1MOM u!ZATR~/>Ox hKkUف\ZfSS~k~˞82LI7W।z2M\Ҩg=mzzI%D-zfBOAOSgy~ _XUcSJ^=Z2:YdSTϾU-GxG]enc b Vb42O|"jbY2TNK;"Iݜɢ!tȴ0GMQ'1qkZW@2h3:!VLDЉ&eLɪBe9jZKz$*Z H$>.vcBIU|p$<ӮJ\H1!;u #J*nuZǨ6 w?9rJv# !#'FP$Ie?LLEZNkQ n臊,ץ L2j{Ddyxq}Is)Jd&WO狏C޶ٸ:ExھBe c~KVr #P9׋(Qms\.+E3B'tf3y׉.7 4r'Vrm+^Z5% \r 0ޭҿTz/L`uMq*cĽ o]]4f&&oU S^L$tLVg*&^UtcmeolJe<#Ո/Tհh*~DZ#ݶ̺g+r s{2㮌SWVڮݸUTy\l(U|_j"CɕW3ERahثsB2DWú\_>MǨNx>%f߱8 F!\7MN9Ut՘>gHT6:%p˧~kUV yM՟>*dMz:2b`Dfk W; H厼>Q/L1_\+Q\8*nx) n襤6M9pMy %y gg~`yNmk%nV<%$6V>]iat$y5q0TÖ(}hZLa0a$9ESsU c%ɇ?e0o`= DT@?POB ԯڕW9Fj45b6忋Jm`L65=ԎP1tH,PG> vyR"  e=IQJCc&7b$伜a* P$3l3^UvXtFT3W3i pGS9ϰ*^uI=@~H5S,"OW&;M&l\%DOljB]Z`'2Hu)-3{G'%bWsol|?1mqnPfIH"wnN@ݸ>8 9ƶ%Уj/LpeNYHR:hc))+)lY2 1 _PRyYgHCَ:7+[l躚٬O31mtx͠%kƖ["Ֆm;$Q94ˣZUVbȸ95sZRvhqN1N## }Dp}H2c6CmɷeEU^j;yC^?Bf57!: .H@a63FC)ʌ{ NFp ?uτ]nՔ=uWV3K:/VfjYn)8kp! ϾL4lD4Xn~mOzR6o7_Hr!SDeYFq_b6;vT>Cb&f3k/jh"=/SBJHU[fWkTvR("k!I띘ͧ3)z|/Hb6Ch\TNvv&+ _AR{zGUx Jեq{Ã\n"1](fHS~b6s ͼR& <WjNtZވAzblI#j'a K*@ض[۱j{K~2ADDDDDDD3333333333m۶m۶퇒<|bC[jD3kGHTʹWQL;F"V3ҒM@ 0 0Hp@m""""""""""""""""""BD34C3433333333i۶m[lٲe{;9999rȑ#߶mj6!"UUDDDDDDDDDD3333333333m۶m۶mK$I$IЧm۶m۶MDDDDDDxHDDDDDDDDP":ixhC7)CHDDLI>m%mЍD><4Ѵ>mCj"i7*)I&RD4iT5M[H߶m۶m[n۶m۶m۶m۶m۶m۸m۶m۶m۶m۶mm۶m۶m۶m۶m۶m۶m۶m۶m۶mC,(  HXp $$xA]@aBhF[2JQ2JF(IF(%dQ2JQ2JF(%dd%9,˲,Y,Ydɒ%ɒ%K$K,%K%K,Ydɒdɒ%K,Y$%K,YdI,YdIdɒdɒ$I$Id==M~3H1PK dX  @`C״ '&&ɠ,R`_TMB&> e ixtz3a2n\bQ-vaTPZr,԰34}; Oxs\0]BME}d\Bï(G*??nJWa@%LO8 7k2[+0=X-o" i۔LzF9:l (VM*2 5%& ҺL^x?}ROw1)Ԥ>~'. WNHaH~rt&, W2"lLXRsK'I$f2^i9>Rpe(HXCvh3vp'#$pIg&f}3\glYm݉D,,_nAJQG)ә,stœ[v 4^ERyԏg?c=^VVB`?)!84K vZ6Z{zr´Eiy d̴!AА?I8B!$ 9)JN`glye98D;%J%\QOb2N+ R4E:߭IF"] \9,BUE]xYhY耸 kh!|U,Waw**<}jBUTAT҉y8LeR@Wm 袗q `р•I *X%SzI*Om Upb_ZݤꨐW];e˻GPreʓ*rP`(HI**7CM (#D%_񛋷2~PD3^n6 <^%uCH'P~x@_Y<,RrEzfY[-L2KBa (Ͽ.Ozԅ&g](=$$i~d '~YS.{rfEΤ=9x݇M!ZNJ'azp{8ns`s_%:cKiyonQ\ Jl ң [68=Im`Z+y409`z'l͈a xKe%Y#)cҼ0XR+RHB߯a.r5|aDow\Pg"%X+Ծ!%/hh7: eo  vPcS&i?2Uc6 &2czSR,2";MBDZ5BIZ&cF-D)9ktFZLkCQgۜQ#*ܖC27iT#[Eb0alcg|{nݑ~񫀤h $syQ]4'ϼARN31R:RxF<IN3EYF<A:\@)1q+ՓSe;03 rܬs|U[O$y3* XI.4 F4dIzݶ{!)',atЧ$]Lfԓ9`J3SHql,?ª.UD%*+c=CE5,BΓp$:3w&&ϩ?TCcʩȣG-CޑHܹ`Q^Tm{-+=.ׯS9r&1X[IY%A)ѩN]F4|MJd R4/M|$Eda韖'æ^GX&c,EiB^ {)"ڳTJ$IK,U!B=΄+O=Ѡ!A4h^OÐ赝Z[8ҫ՝rFo9 uCvکѱfpYmqEsFd;EeRH.9_CzSSΚqRVL-}MKDR!)ncNtk_>T^OC%tQ}t>0'է)p9/Un7R=㠠J^'q!Y2[giEŴv^r<{D8~+!+b\咿JFBNYY UXak:H# @.g 룐ޔ^}.)@!qIFaXQ=(( Wb 0z pL\ .B`a""K[\VOd6$?%B8T ҳZ;ђRʝv"/v0hZrTʹ&fZ9!D#h-ry !GDDDDDDDD*CU!B!B!fX; Pnl,! (`@X4VMKn$InD#"f6ۤVVH!$$I!rmM6YdEYdE`LKn!"iKn"OqV3|Z#F4SQgڒ[EUD46?Z5gZ"MZFLKd%۲%I~u]+җV};{{y;ZuDUѪhU*Z:(AgJT39h{К rH"$H"I6h6ڦ]5"#2"#2"""шF4"σTʹ*VUU3ӒȌhffflv0UӶm۶BB$?"iIn"q0U=s;h%|DLL&QE4ӒS"2Cضm۶%im۶ShZn"m>>}}ݍ^H JAr(L4 \T\L$ 8P@s39vӋH"CյU,eqɡ0X ܯb ُ \=4B@ݺ,1 &;ƉpfR@ G]VxqgZ ";}֫T/ ] GA2խ\dWC~m:d%KC=m@c-aa|-GyBT(g)bx*vs+_JE꠰m6ĺ vX1:0]M˜2iAVDp+&/F I4Wnص_u#s=n&/Ň U3{r/Wbn5%:_Q_ОO]x|pS7U(Yˤv}Cpe%lY( B%P8%6n%[/ $OLv%JE<9j`*oDƃΊ?6];&Fpv ӽ] OfU2(^#)*/0Ut~u*:WߊUՕ>>G(LԻV:K =kQ; (n ޝK7KP| I{xj(%3 sM)` DcB7&,&J z?0u,#h``b!R]'X ;b1&0>%L^P(zՎپ0 $C[ yR&Gj#"6&CLibUu@DjsfŷR ƮVwd=}0tssZȵg6)&BMFP>;(=)H'RuTF:xr *- lrCt4%L֌iSFB J' AAYz:Uq<'"Slж |6`.&Y3*(4KjRݙ!B]Ȁj/.-i.o'-e7 uG6T;yr3'ĉɴ_nJrAJ>'y+ nX9$}UƋ5TœF„UՀ $T2ӉVq!D FmQKD,IX>MU|M,]f*e ѺWbip#/C^2g_OEzyKUUU␮U 4& d'{3+Ǖ܄HCX@@ \:h4ejQ^'A\ECLF)=&6{O|uyX8-U{[LZYMEck6jiu8&::4g8/jO*]hY-j@u̬f<u—quR( ::pO<1Z/n I;ZHZAR3&_)~}MÑShBddSksemS˽wGIc4۱nnBW}mnb5l:U+^픸RsF 0ר) q_ě\5Ta${k ^ݥ\s"QQJg`H"a1p"aճXNÀ.Fhc@:=GLK5^ ruᆄvjb^thހzBP!J#(ya{aʾ= *lŚn=_]nWj0I ^MDU޹{ӳZfׂ+GD A4g*:ê{D|4*L*0ѝI^fgpjK)QE#V ^j=Q$ASTagJkHktJ*9C 0dUZaUfmQp 9q_J[N8ԻkV*qU@'{1vX_[~DwJ;% lg>w)KWSĤR%0Ĕt_ yKPn"w!2gG1vd אW@'PVQ-qk4S\g JiWENSQ)noHP?%/]6'e`lh_4[w{[@ٻj]*$dO1&deJu lD.Ky)k`/ryTep _/.!"q^/4wvNbDU&ZYt3D .-zF :C#X6Xj_ǒ>0/7aH(06W;ShRUhUQ3ĭhDPݾ;_RQ/RSq:w?\>]p,lsЮlJs=CiX[E"?QwB,3J I'LIȹ,,TEnVI՞/`^Ԡ雌XI>b|(!B|fl'@ D5{X1Z(~r>JAAG`@C*7#tV ȥ 1b|:^}O `[ mS8n$o~X*.r+-GJAL3:5 t,V,v[?m_rvV̇ ܪRY0qNx%FmؐFx~HJb}  &$XWܸlT.̎s1wx?Mc٘y9{^Is/I8t0mAۑ{ū0SċhpK 3 hy$퐺W$\CMN 2-]Ⱦ1q_L*`c fy,_¶_B3\RAhosC/$\P%W)&}LME" mOvii۶mۋ\Dz\"y4i׮sMjI0ѓY ۞/ea;-A}KTL|춖H l&Asݐu a%K=33'T3u;)ױ)?w@W; ;ˆK}}툊sUN1+uPcQjMOLl;TMU%敖.j45/%+Ǥf\aUdDVUk+`qq?!RHWyUALh/%\^ gh^U~UVx鍫of+Dha†Uy_UMXeT\so5S6Lxj&$8U:JZ5"=AiYr*8۶t"0[`&3P훏-/帶zUs-Vɸ<2Z>VH().GFoUm,/1*NEU}6 ̨2e5Sev v%MZWs(w>MAPߜqQ昖.n9pzd9|c4!.xP7"+3=YlEױ *% XO^fZcjUx gn L{YsL˙l!*%7 ]e;Ԯ QAXjʙ. 8r2_?t/#?eNGoAzؑ>/ masG}y~P%ѷNd.*1dHtq@kܞx"3r_x8/P!R:lD'K|(Z߮G\RV֞%%+fO)#yk+ EukQM}Z۔G)<~_1.2j08/J'N@ [y  _aB`)]ZJ A} H+3Q0V(RX^k:zښvDK?6fre[S7k&UN_o;ZG'vy'5#j t-Qh_p ݦ5 W{u.7+rZBNmyޤ3ˬ,!1&|x) Ŕu(%?x찫nT <|n QuyA]ǴcQH=ZF,jZ8k75*dW.ќ>Ѷ;j} Rb]^1#?H`>ěg<و<[y5py䝫||i)W^NJ Qjx`%GB;>&5w[GQ*adFM Zj#! R|"?]VN6MM{Gzz*tEه+IVGd c< b|8YM|\ڋrT!]\| 4,F`j6SPbn0Mos\ҹ[ MFb$C&E4ł^+t@ =+W3v)y%8mjwlnij?KCR.+0t5hd3s:A/i!eJSU:P[7E 򶑷mm#oyE.v]m"oyD&6=!oy{'o}'o-m!o y[B6ymymK.y풷K.ymI&y;ξgDlmHEQ 5!X`0s0pp0@p@`P0@P~hiP PI ,Z?V2g(ވ,3Z"Ci[pܜ+G}̽|s'`yOo>Kmr͋$[G6hY- X ,ZGI\{#*#0i_ԍ:U6b ?G/=4չc֌Cyiˆ9g&Ώ2$G6C8W_p? W3fW#<5"j%ue,Bxd忊"TRz*D\J>|rBM\;IA[6S})@U"*)s+TMTB$"+qgTPrsjf):b1#UUjX jST/9`*ӕ:* J6!*aՑ5ji*mJ9J'xj0 J“ *z(Jl 5;T g^f[Q\AOY.j?AM1!S .^Iq>Yy]K1*/U]d2-"4Ï0^`&ˋL:.2YeZq8ìgYG4 |Yf3xMʈue\OV%d 3@0]fP#&Y Ɛ< 7ɄfuRX6L 9ɿΠ1,l*! љq=zbqK6Uc5ScCLb&sx&GzL8[i5 a1#Yk~*#ac"יm:{Ca2 lTV*$Gė%Lf&z#3Y*ӏAdhd%\XJR+rIjET*-J(:F z+8RҼr\¯X82r77Y;,!V-XӾ-S+cujb^KVZ,KgޥgM޸?/̜u|_1XVwEς^ ~\-{EJ{y- lj^/Sk):vg#gK p}Q7z<Ͼ\y%u[F=^FiUc+uB:^lbvQݬqW֝~犴gŷk[_A6[er]-\k*kv+]uϞUq哱bmgYYxV4Wq?MUX"jKUU#E?;Ԭ"բ~ Ȭ.gqoȟP6|bO|+iVnYZdlg1l7Ts,R}fp>FgY?ٻU[xdQ ˏĞg $D;Qɩl(M6h&6*vVUϱGl`'>l{6\p2Yt50{ֿU/@^,'Ƒg4蜊#?y^N, τ*O,)(D {H]%\՜i 5s{KdA+/~O#TfDlIg u`)9 yTvHs޸6ނhD` sY p4D X}TqŮGXuƉ^2jS'jEJιa<֪?SIlb=: 9W /[ "}6WQ,Ҭhкy29`XYu0LC𨰆?ahQ!|q8O[I5$;V#|M="EU:OfѽŨ[n.>|wB2ţ)/MSOQj(*61(eS gx& 1ׯb<\G @Dd|ݿ̴Gq1 4'!p޾cI%.B^6sL`/oOWo_2}ڽ _K PX ]RWbmh*I)X vǩARHP0 x`dF5ԝgvF Su3^_?wߴpRC$}Gqȡ.@ǐ ,&4SSK̷SaYš Wd$&>IޖB#XJYc57X w󐴆f jb,&#)wp\,GxyI5r3doB!B4tf爧SVEElu>0lʝ Dk ~* sw7'H7̍5l!O|:ႉ4CCcC | 6Dc=(~^Fbނai үpNB("yƬd&gxjjIi*?u"0cK)m6.5Eb`yj`j@JRLع!_vi@)%K90\ ڣP{4VzSJSCC`nYC#1kb 68[}A2Ռ^ L'79CVSEl 갷=8\=( ?^8~Ѯ+~ jz2)*1&\ِTd@+ &.܍6v"5lg` & &mny8PM /(A`ǁNnLC9HAvk Xr`y8qycġ!*8d[yi36Uj!ı*EH} _z~leMy9qý_N,͹S;0S4zfaTiPjwăbtn}9V}I~)6L(L-y_*&m|C*{?laդc<"+'L]6wKDn~4zn^ tBag'Ԡ+tA|E:>/ ǿXyͨD <3 n 4C /dP@fCqM=,,NXYh=ukL_@@~הlJ fi'_j}tt,[/"e?QBYf nuC3^bxݥk|jȗ{~l607I#c^ ~@*a2Mczճ) uj{ʭ?ځ]C:Aa쟔Gx֚bgprg^C*h7ό3AmW1kF+HK.m|*藾{~d` 8n t3UF Ơ;' ~@:A2nb𫞛aځҋt,bTex21gΛĉ_~)4P̈&(*fd@/?R#pכ{k\r/ mФgc N nH:[a2nBi[fՅv`Π֬0S|I_t@:XKB.n6]4Ō:4|Wg΅30U$m }t?ȑv \dMk7o $C .VՋrz$Y$%Zڻ.QVY, 9[Më,Bnq&koBλi.{/PʨB;>s.}T "/fI 7|>[x2=MӉPBS']8[Vrz$y,Jՙf N]"Kϋ/6tb] &8ׄw]t ۍ+4[`@ en6l͝ᲇ%Sh&@ف 1/҉b۶)b+2eu=W%sIr})6;ϣOeq~״ kAkybI C^٪NG(wK>ͺ<]P[}ZOOӟ/}K_߿>>_~7z7z7z~A0cU4NXуݝ+hLI{Oǫk lƨ33G7'ztsrss-/_]Bq@`A€!BAhp C2,@8 0 -p!QaaiԐ `'is0LQB`@ cA0 A  @@ " 'tP!*Xc7: ,DJv&PҼ+pMu4yؽW9l$ 8w'/?Ҳ:9 ف lq)P[Rn{N3E֟3m9.-F'x@ɔ: RXwyIZߙ9aXEp{uoUH4:+Sje#60W)=&IJ<0A^*$rвoXm.]^UI)gcue2VҪBY7o*VW\Ǩy76|B(U|+Tgf(X^ςi4_b/!Vqh볳KFV3u>]|Z f?&#$Yn!)O_N'8qU@@(v93rt3ݠ6#Fnh@`<2#S*N'D)=Abh i)?44Bl)hZ* OAkb}ON 泥EτG,!YƉL0~v(R 84|D3N '"XhƉ#Q݋83LBM&COB.fAo#$,gEq I т9ѲJtvI]ŁT0{2r!‹dD޿邅kq"'sqFY똥Չ)Ro 6A āsf%NJY׃AO+WHS?a O${4Uzw1M- Q )l{'=y F;9?$1Cg1 PN&{ }JbF\}b3pͲAv{6̬=;iU{oGìڻR|@P擽5vu421#]f0^gBޣ'ŌF{Q3\JXÉY_Ī} fY!17}3,#H̔gz'n s^xv9asqgyS5kM{tMݸ'~Jᖊ;>qivۙ+`>金9OZCZbV{%H4UPogr)޹1 j %&h/ @pKӍ- $tڞl(a;W?pBhjEL$63J1EçҘ俟&fzMSsi4H#Bp¡h!!-MћM݅ӠBY5p\UOЈD m.CUȞ6CXX֢ƛEFxҼ4u`0jW֞3/5Q&>S5;W$).))`hfH}#XXgwP?CGZTqMeh=&wv#kp7,Ub|BjavPh,]: @~ܳgSePϹ>ִs(7IRGzZ+d&*7jlexO [LJ"#ҙufJ'ڒWTYfg)D#vz9{f'hG!y]^!^Su~!ojm0*[!7a3 '6&.wY#-G(T=C7KQy݂q9F 6E1egg1Z-$/dF)1&KA'@tx fKa{4jXĔ쪯7͔שMCa<`_av@ǧ:w[r;@S##SK=2GwK#E'n~7 r{IJz)t%T˒%Re]IaŮdWe,=+aB\dٕܼ{snY\B6f&9iWZ13mћYWLUOӽ3'Hagbzeڢob5神9fN\8z(δG״3V=x&fq-3+siEY{];sB9T['W-&+\ӎitwrKnF˞Y :.1VD8nJqCZfGt^ݔ2Zh dJDi+J44W"Z^"~yRەpEiz6u%mFQ-YMxQFiҒ!ӓoWX+lӕtZ2w%M(-t% {g9kh )'Yp..Q/ٴe x3P4@5騙uϣ{'N(jiiδEofj^Q3V=MΜpN#fQiּfz];qGM [';u#\ӊ[bVݝBfNy49?@XeJL]RZWuk gk?Sf8_8`Z#iީ7e(7+{S{#s    5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/ku:d(*А:'YIC_6^? )ֈؽv7eK..T"aٮk;\Zw<  $ZItiZ[UJE$H(("4x{̇㺻 &F91/4 4#ԄEƬ((3+$ASBh$YE"!MEPϼIFL GBU*EiPTDLTquVe5,22P($eXPjdfXe1%9-T3ɇ (PhT:@)*I0C)gN2P)a8dfT (E2(J$Q΢m۶m۶m۶m۶m۶m۶mێ^1ڲ{k"|-^-ڲ{mϵeb>ז>ז>זUNUNUB;ߝ-z<841IML&)EcCֽV{7wι/o-ܳuZs+~-$Dg5QaQ؞۸v.((IPm"$QEUІUhŒ"4Դ( -2Zh<ph] f8P*#фUeEЄ I`mF} K9#R38T<#2ҌfIVSYhD ZkRf0 0 0 0 0 0 0 00dwB cu{\]?wo۶m۶m۶m۶m۶m;U2fƂ: bT…kZB\@>"Dgu^LTT;hȘe!Q$)rcʜe J$$ąH"ydEEÄE[ll"I ~cJ䣡`*5MDY5$.#k3QN|x;;4 Z&p!Ae n\ܘW\tJP kp(0a P*r|(:c|3VsD$S@@@ (jJ@CX p(B` 0B$ 0CyK!ˊ6j.-Yx 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_id236z 5W/ ZHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yj$@$iw7RjBHqT'L;#ua9H>lmUM4il؝u8ww)w3jf*#̦fmUUm[U%jVשׁ*쌈F+cHDD"Ù1+gl293 ia*4ڟL3R^R"mH   ւBH c( \B DDEHqP0?(#ÂB  B`P$l@!! H! ($P ĂH C@"4 `Xh`@D    "@2D"Cd̈ 1&2|`.@] \A 򶔓"'OIoK~mo{coRmM':Υi/~iLc۶m;ffƢ3ܜ͙YϬWUN\UWuD#2lƈFTfhCxόgfjU,"T۩E-EH('iG τf""!]8Ba'?IIξ3333333333*W^*kJ$:#qD2HxD#29"7S7#cFƌȘ1#g-ke2^+H3A e)")C4}V)2yF @(4hBm۶mkj۶mBm۶m۶mm۶-ڶm[Rm۶mP۶m{j۶m[P۶m۞m۶&Bm۶m["Զmےm۶P۶m[j۶m[P۶m+"Ԏm;ޒ89NO$IqNI;i'uruNI:I'$srN99'{'{'{'y'y'yRNI9)'夜ɛ&orId/x QC@=F  8  (@dv)K7 Z ?ɛf!Ұ =S7Kr&m!˨c S)5=ݬԃ!AO\W`Є*&Rzq~kzh.~,E5GEIy_e!so!Ky߳'UMNRWa3W=&<;RsG3i_)_IJBvgA?M=!<M:E8zR-a&Rؚ31d_`o?̥ Nw%U8/sK'2]hf~ggPfz.*̿SQ5*$hz$U\|BE* [RyeaVv*>AWa v]"tņb”ÊUS)+sd˺zW}jci(;fUTTEI5u/*M %VϤU_BYk*Qt2lW]}'ŮdFVNJNbOIa-OE5U?U.Ь"80IU$E%R4;T3MT+R4;%wP'1[u+UW;R95kP'"q>5TJqU*&C 4iʕJոw u5E䱣Fc Etd?X j"T,)_±k`|?XTG46#g1pL/h:p i% YYeXbG@e&g"c`z0YN,ֆ3Se܇W`gq@:ESZ٬l:,v.*n噙A͆cb8Y4lU9lUD6E6k~6=K+GdXd-~Wg??اy~|Zg:7[B*Ɗ&Yg`gg,,l|v k_Eՙv͖P`J]ّ NTL n $&4'囝AQ,e? ]2MY CZfFxZR‚!-/=\xF?sKoVNH!F#.TD2)lb54,j؇Xe8 F v9aK*Ut:ٝW@"s^ ʔT`|Ølɬ]9LW`]|ʊ5疪``@xt{2b퉛CbIx}%TTg' hG/+1#C4`d?ܥؓ0fˌBf4 Fl $ʢqdw-inqGƭ)uk00sQD,gW訄֕@ǵ{ߒdAx g`!3lD/f=))ERFJ$|L@o&yLk2TJJHy0A, 9M-Dad"V"itMP*H,O_F{G@*W!+E 3H! ,D+A+Ȱȸ04kg<փda<,`4;*QSp-%81jAwV>qWA;*kԖ2mzAiF~<0c &di>iNd+c$̷ ō&ڝ~{p6OEMKv27_\B оSB'7*/EX`yүw1M&zj쯄x5{>ؒ$\~Rw)qQ,^0ј&;mdji(g)HM|qBTLۈԘ$:!ՈpZ~rZqDDҀwX-?WJ経{dn؄d(G8 ֿ弽^ҌˬB`}]2 qݬ ֥k?`7K]} AYmwɇ3j(D 2U+28ruh~h5_f-/7:{eiBM#명s(uUYp2ғynNu9ma/*vyreõ%.s#q%F\$O@C@H@ "0#`M@JM@ D4A@"A6 ƄF4 B+deG-ΓqloJ8KX;Jo?>댵H2lO}vGPD“r!@R3Ca}m$`<^xK'<UGȑ4`^ @0 h%F'L@  0($(J $D`H *  h'@J#D  0( hJ DLH* 'J@'D ( ( hL`HD@ *4 #@J@GL@ ( #0$L HPL@4 #@LKD@ (A0%0 D`HPH4 4#'L@KL@ 05ȩHP`I` x @%"`P#HJ""PI@P h O@0P@P"0A$ F`)`&EJJ@@  x (A$  kO}qjb by)*j̼tWY2d,gѨW%/ ]72a!*44 B8D)+?<4T6U8 =eg'EA  `HDze͊nyKCF$IUQ.3JBAJ) ACb r`C!b!D@!y_bDweζ2C,>rꗁ) laDAYx'ga<#';%> b(Ve5.pGJXJ,\f0= |^ _9`t&,W3RATES{4~%b8Z`dw;^`&.Vh2−UH,ܿ<;RWdځI /o~6 VjOX ECv[su^@)Y١I%UG|=F&7?<歔=wWR'$+kDB4dwgæS$̳};a{9SHPc-q,7W*kĘJPrbQkƝ8ș_qMV~11f#_^Y_c5coD ЈA,FXt Pňo] wř")I3'Ġ+Ĭ!Sdb"6(1QÄjƠۉ[)e~A4"k,JbY;dʖ}0`ˆ+o$+g0$>&Xtw/y֎QĂɽ)C5P]=GyO (_$K Z94j1*J沏?(˗G5d @uD wSmr^1n&%]v IuAgE4\:~#N1+6 'k2 BZRC萃PUF&Dy(VB̒rٹ=bKMѴ,\D}Qtv[O~011W,KbA@/6B"#Àpx7o$c UHswdhdM2 66R, nzL+5֙7 2,"v(臌]OY}|VGǀ(h$E3Ȧ:|/ $z4+‘L{o"Xj]2a}yau.jw$#V`inT ^)`S TglB9`MT?1 9)ʸXz?@bg4:,< 22K 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1X mp'6mj_3EҖ L 㛆<Vk"̤@0 l 5 Y}!j4i gݣ*zꛚ׫o:1hD$IJ* ")De @bAaA(PAA1X"lъ.ƨbpQ^T;WR,ٜ 1;1km͸w|eѨ1(F~[F0;>hf4-# 2;f2hxHFC?ӌd4wd!F~TFMheѿcь׌f4w2(MF  d9&ՎыaxXVL/" "1mɸr"0RL.;+G/":Ģkʸr"0`QL-kEWab 1Hf/6&äE1/]+z"(& 3bM1X,^D%颾c"Z$)FӋcТD1]w^$C$bcz} Z(ыch]vL/AtQ-0S%Ai"q6+-S{E1H0X;ӋEczq؎)˨"dB1?H(_f)7ӊET}2RVD 8e{gX&7sK;jd6QXڙ'*f'V#͘MTo$v扊lz3&3OŤOFf՛1rebe3W,(;++3E8bdVQXXUTw)&3qȬj3^02STόWvU+c9Eedbi3XX)*&c+3sEXf^Q12XWTw)VVfʝqȬr3^2S,LfU_'.ËccaH>In#~`H ьe".r;.Ҥ4 &3EeÌE1X1K[0͘>F:N/1}c9QO+E3Y0X#95>FծO1hVow@bʡO{r{HuX1:FkrI{>rd͎Vp`I=+HP DRSP^xO|m#,iԸD4(97ܣH)tu/ f)mgYD\G'anX|kѰ`V;&w!\k5,[ TeO?$Sp4\i&Ln,^%pć$Lg +7 [Z4Qd o8p!%a Kb'D8ĭ` Bn6ҼS±&S0SzS9ʈ:dYmEdEXficf"G_IL?m&ӹn'3|<< n2Y?oXS帢Ct<;xTm| Zď @fdNabK<~'ԂI̍0!C ,2nk!R`{27[{3`>dξA}x UE|]2`Kܦ;}:T+E+tcW%?μI\_#OAyNVb́ERAY)/9}Slr' `=Pnx|0o5Qr;\4k)0tCg MuRNOV9#%7\pοʺI+cNmi&Q2; gQK\)*;n[N4Ll~"hJr n0kPKب_U(.2OK`uSgPnV-rZH2 ("{{E-ZhѢE-:蠃bI&M4iңG=zѣG=뺮뺮+nӦM6mtҥKwҥK.]tiҤI& u1N- cJ!dS 19ǘQ !cZa"0 sZsHӧO> A#"I` $A`$'(?9=$w "CH[ENOFW~"ULHh2 j>AHE P$lf?-F=$&pp'-r0{"aǩ.qQ 'M)"f]7dP,2# }3FmK#Z` +N&T\t%{2UO8YFW N_jUsU{¿tH^gUUQ:e}@~Z37,0X`lQiQL7- $[Xy1ؓqEv0Z`8E !cό+G.1Z{g\9l" Fmc+G/-`hE4-`Z`lq٢S%-`hQE 4-f0Z`nq٢E'-`hE  -f0[`nqi'-`hEL-f0[`hi#-`hтEL-f0-`xi'-``hтEe0-`xiQ'-n0`jтEEg0-`8iC]MZ3-R}q 3$D)Lߜo8[IrVs\雭]ZΏiZ,|:8GR: r󰙓RKh*3vWDIw7kPsܸkYQp暳<`h< @nʤ5iZ L *ZH㞓٧%L@ؔMao/0Q;o)ilJBVc;g7E[mX#.S{n0İL'GSkP_[0Ĝ^pPNN%A68Z I'rpy&8SKG2v$ cNw˔`8xr=8|Nz˾v#cuD]%[ih13#A+3vSط mAތn9ǛXֿFMI N2 [uqrjS)*7dnˑTk8c~պ: kzOU;AL|PȭuddD 5'kv4ZDž_=Fje?./պ|e 'aOJߊQ  7Z~Alho$Y ĥa Kf׆V\v[GxB$kg8L.j ~Ӛrݴ"hy  v!y)1ا D-'`h+#df5S)nxq zCs<hvpe z^&9Q=!TWgJ&]Ly9J߼L"q(1ɨ, '\͖1ۨPcdHl1E ڔMpyɉȁP@6/l.'qJjI.P&=hv=%. hAM6q饶{ŕ|=h&>ĩy,m'566/9pV=߶;oG^I&p*|p w}s=8UnMPOh|U x*ς>OM#-BL?Pp4{7o#7+;8nUv:Z (h_.R ƫ 5dH9@Ѿ(k67Q# 8ka׎E[rHވ2 Vp<@MexT+4Q|QUZ  Ts#c_-^Sӓ-o!Sg,ߓ~GS\`%촗_@&<;]zpmmoX'ӱ6s}~oBt \ Orq`puto ACJ ^6I0eDh[]98`ʔ [t( K`h# ??di(qQ9´ qnjhqTVK@5 8=_k .A%$E:c̤%.&/-kz3HeIhv0nԃJYd)}K8ja[9>dgds >$M/3`ypXRE^[,;! /M*0"bL&26HymI- Wp]wv?iy '6q+W%ȑ L!!Hp6TrpY(l& =m,e2Vng pLGz(a?G(oBZ8?PȪFDۍ  M{FxObg0tcjt#e5 q4uMY֚V2 !`mJpH8g+`3H:rP5cgр-Ѷ|$7űUƅvT*DijgfnJO&h|sQU%mnTO6%. )'d ]H&Gn;k:m|BΙOrXA' AGǩ%ϱD†7_GZ;l2 bшm[5{VXe05`Cpm t6@mP+ ˕ٝnCF+1č4@sI f+P* 1l'K:젏]WK-ch1bfEIQY789nSxcfض,,vRJZ6n6"qwqhC;N}=֊}.1q j>}wfmD!y4By KzC )<*U :n|%8FT L"E_3tSzai"L%6 zg9x/צkȉg[?UЀ^I57輏9sDI9md}9uAVG`RwDϊ<[=V,_[,Uz4~+ c;rצM:>6|p3B7w2<2mo=,wUi1-_@E5<)l>qCyx 1ܤ@bs0[QH:67\"s;$Bj?EKvJaƵyA[HMWl|_jj0bG5{M6avެJNp4DX"5^m]_crz&3?B\dڻS'@bV׮,q9 )ER1e\LblR.ځ"D.*\2L+^1>ar. >UVc7GfaڏlζsSn ZuBЗ G- =6.:g`H~}NU'HKmo!n ǀ!ȏRw2sI.*W;{ T؋e)f1/e//-:.)S1ޕw\#]^X4/8jz$ RZT$1]9G)se,oV9aCp@\i%͐7 }LjNRfն۞x!bWIX+mŸӰx69].OTYW\*aڥ̤?D0ܞ>vIU6u=s喒<0.NٟCn ^{ͷEܶN!AV߬2Qsy%iۼz%pHLRp "i?o@~+:k6,ɀ LPs:\`p|VP3H"$y@6GHW}KdVrQ_D8a3!k2+{NSI&p\I$w'$&UG GD'Y};\ K>]';3Nnzuҏxs'GGJ?WzI|iNOrUzёKj蔨[u aE#B"F$Z1N-TKYzFicBio+Y5 IW֝H-uwE:HWgخ' ~,t7nyB83Wye $Y] _|i(Ud6T%-uQZ)gNZHLRt5%"1":eYw3!"_#M䬒gΦ(57S+/NKE;DV:tT=v"lGj;tW FJ]~&bהP8s>rWizsj*C(IwKf1>!4cjvZ3晞_*K;>!S/_Mt-¼He1B쨣x\73P0$, Mda h8 @( !@ A(g0?Z3wjs[C9N54'k>˜O7 gI}CېItȑVOHrA31W]:XG$䄵pF'QImISL{M=Srf%1iǘ\%A=PJ٨ȖEL ̍׬ui"gvr z}T'ieܝr8=1 Lh&Aʝ1;G`#uz "<.s.\k~O; Jߊ[= ߏrP`rREW-Mj "LU0ОÙ!{dxUE6`3E V즕g>eFjqfzsC^5;'y,*Y ^ 7#DD|y!aI}͇lX;{sdۈm\"sf &mnMBKK-!9"nr%Ļi9vAmh()] 1qrB GT/ ,t٫zo9؂5pH$Pm*~~Y;T.ɝgr6.Rcw [JA(U*{ƧK#Pqpf#r`h B0q,Fژ%Q^^;x?qa3ȉ)8|媸GM4+hBZd[G!tHnGӋ2ϧ1ћ K&0Fr h_zXnǩ8G(i~=l M 30ж![P`g[_¥Qlb.XJ]ҷn0-A+0ogٹ8J}7Msm\0@~=Oiph`5!}4gx,15 Q",ed-Pjj82RmF~ʻ k x$bn❦}NW*F(&$/N"$H2jNħ㈦~ͥ)eo5 [$ʼKce.a0a1 i]*%LعPɥ2.\03)05SpAIJO1S̤35Hv*Fug%Yob愝e=lPF6DxuT+3 #6MR/k u: GK|u8Cbd_փy\ '%㈿0`KI߉5xAT\a 4TSّEZLۺn̫a{{s{1zj3m9ǁ`k`71L8p`fz ):.4H.F:q$'+ j#E'qVxng!z.buE`t; i+WMX}[)䭻E!k ~c^C_@,ED,0Gu s. 1ضw(7[=MԜM/FV24| WD^@IX*Be5`QIqNH/v\Lye KF M?8|2o&bJP`> )j+/iF"-u+qD섚n%$:}4(ԗqG62dO7%i$C4-rͭ dP-Z\xm雎߽PX=ºd.$@'Bp+-~ ,x4Tsp=$sX9ʰpKL=0aJeg:.; ,N FMe~$nJ2@>:9_iܡ_pAOp\AęLDFhq.Or)?cTF▼ 8<ԩӱvbu,%u- 'L^5(iMlZV]W .Ԇ`nU6J rCfB\>T vb@Niu>PUB塀L:q@VWT ]-ӮEІcYqunbF8m"lko]L$)8MaOe-:­YO`rW& O͖A%ș,kꄣG 5zxhJl8*sWHV 8A~5 ?q­GVQN&vuIrvJovC eF[oѤp4HvasaM8ѼT7gqλvé.o2)Z.$fUV\ʹ9ؿW=wbWkl@!pCtL6/DY΁6B@{R.er@?o2 $ PF\=nѥU$Rip7;o=;Idw @'D ƣPIK.A vF\27 e8q+.Z6:Q.9f/ov;+7M n',T&C1KnSy,ntq 2Sr+;OPMJRt\ճv'1o\umxҼ$+nWB$" uB߉27˨?Wst qDYxt,=oÂMN⼂s\,}CΔ)UΚP=`HlNDž5>aa7vTop$\g4S2o Pex^LŌ7(hmݮL5mD1 A)֘\YeNv<ba뭜oV8c[!MQ!?:++:~ܘpYzr~>ET@͓j]zaI3V.C^ceWX^<|iʗȲ\g1[9"*ԍ"6 7?XYW}w5,'?ٳTc;T#zX\x>Np|5)+ ?QsXpMD59 ڤʑVNNT XU>ٴ:Q`QnWz>WYΜL8P ^yjZMYޮ%\W' *Ҭ{wm- ;FHrIljl7*d d!)FK+S$z}vQl]X t'դvqNz Hb \όZ+Csv+XR8u#+vJ(/ "\IM&ewe%"*3a31ed912df9dc20bf5061a62211394076b95b39db6ac33a175addfe695edbae18cd2583281bee6b6 d54b2acc9dae828b9e04868d1aaac6710f70e08b2553cda5-9c75-4936-b4f8-030f2325d71d