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 {{v5zpBj ]/ UHOL-Record_Benchmark:threads=6elapsed=144.674cpu=239.754gc=15.171(/ M9wVp}@y2M }ϠRIQj#,d_87p+9bE2Z[nMr6qcJuXnhj=*((/ _DKs+.8;20u65} n:TJ6=s`e JDB +YAT{"d>(/6T Pm ??bMQ JI[f)zvRg#Od2(bBwʲzbhBPQrBDmnl5H+IV f &bV^"xk5v/lRV^gUdMsUVw$Ҫ!bFM9|ݗSlфnjGb:B:$%ϤL!+=HtgfΆԡ!EꬼiMdMC?bRg/$f̦քTR[rtJ¹G&G=]w'ibԨ?BPr&h0AB7@d$D! pa4<@&0D N@ ,80@ 8!"4(N X< "8x`h 844L`` D!<@ <4`&D0m-\2=.JO"RL2Z{w3ӺLS#9S+t)ⅉ^e.ɨU@2qI%f<:"^ˎ3]Պ'|wTD66Sb-a"M \=hrfWT[2b)KM.Ǝ:-8!{/[kZ Ԩ33_&/pz&T2)k˲h5xRuFce5GNQErcףI 31;8S/NN>tpE6'U7'PLcA U .!$N2ub>cΫf^_b">U8A)%D'6Zͮ[ I{IO4to''MV IZ]%+rAOCG_\TNNTee&t9-PX2x!cq GJ*ɞ0ҲąHFItfNmX%\{Ȕ># vq29x>J欑Ut5>CeVz(WY_xmą~uc2;*6NJcl>7tf1Q $ڡ Jj\S!6wҎ cW]Yv̌|;>xe4sUe,h >d4Y;8ub71I\7 ϳbB3x=~7^ rߚpYFS!*J؎[2++}Z?z6tĊ_MK[[Z&Ξ)CUޕ%KDub$[)k3/励©*F +p[k[הqəVtkk)ׄfɋ(gH)ڢ,y^ X{ĵ{1NSi E)#p Kb&4F75 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ٚcq Er]?R 1nt%Pg0#@ 0#8A&$0@ |ɆQsۣXp@nC^3znʓ:%Ⱥ6ԏ~p8zfNU{S ݢqc.Z>hA5H5H=ނkD9LmTNO*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#!f4m]a9 "WU44cbK|۱8JZx<e2kR)lai TV~űh_y-OO ^ɴ.#X/y i9ǗX:ҷŲE ĖsKNW8 ɖ~D&`QN>!UUo|&S_|U nt+N}hƛFy[9{åU$HXʹ)w\*:"\Nu3˅)@)bc]{.֥W8~lױH'ڡtڵEuں1%wr!Iߥ,V;$w_$4tcovhmҊb%AfvO;rn ( lGiv;_SF=|:ꉓt WSYy WDo@2,Ы CrdY̩r\ʑ @LP~ө1j1K1dUPAFHdUNLHJ{9Wd\ }d0u%@ CV7v/b:5dt[6RyqdHxrHA.V$!i-8 /xefI.OdxbH&_{I!B/F #g d臜2KLR|!TAƗk!3wAY>fNQ.HM2c2MLRunC*0n O,T bjtO:& 2MߌdMQX7AODќkw*8:?T_ dX> |gLt%`徚w橜[p9)C:»d{.3vx6A[IGqy4ġqEn`]\B{ޱ nւ+J:?p.蘆rŔ i6"%W\erڷ!WZ#n24~ κedazX|p]}Zt/c / KAn_aF4@- nߊ+Myت'bѪ'jj,sʗ{WKƅVaya}ᄥvdUx^2վ 0|{R >NuK`MaڇNhpiii0M)%x$ĺ#O#j03sNxc 3d <͙\m F|nXctSN7̷ۍnv3ڨ&܂wZkZkH_#iaCWK^)V7_d7lm x |1H*nA6_sG$$iwD%B|߭߂MքLR/^@0>dy-Q$&}o[G`ҕ1"Le}nEAd**SpY"<:UB A,4"Q1ȓh YěF  E!$ta"~e6@$D]fPNV"`T 2@F,"ODm<4fn + `v M{DI,O"e54s I$K{u2Q `$ 0UZ+ILH.DRLH4BKBP'MeB*$2 b"b l3D^t4"^&"r)NVK\@:fjM# `T M9@XF,O"m44sk +P0薎l8@ B*W-Vm %0`hTN:L@H@!.'f:3eE+PEyhV X"ICaTȦDK&V(SLR:w,tr $͡ J9`_Pּb9$;kgD9cAs-6H3&^Y9dF*H DBq)'K/%)DIC2P$.KS)W %IEphF:T"bHtыIi4 ![$4B'Q& H_$aZC'I|"&Yn5'wQUzRA%=+5Riq b:/3K7;Oj;U处*$|7yRٮ''kRɰp1JBVdkP>)[yıFĔ'+]u>&=aH('j3*!: B4[dD֍S|ӓ%X*Sj>5t9+R"Hi %i@-'7In>`{ߌ8@7޳G"X0_ ]JL ҫ D!.%D0.q3> ʩOWK >R_$Y9`>& E8sŀP >|MPNu,ETl4~Aw/VJ&VfF JzAx&#͕p<x7 ʩOWK#*9&P]HךXNsqV6/iNcS.y;g)ȣR$UG#*"jmbraDh bcr3ҟ#]W]Mu]|;8?r716A3`0/,5Қ;U0|(X 84zͅBdBY l&E6ptR.`È3j aD*"&)!Rè1=8S$QY/`Rb7 p4N{H0 ݷnWaD[$ףdW8 9AҚ9Ut]bN?#k{@Prhm{\c@l'V:sX{pu C$"`W:%|Ng H +[kf&o=w! *{.u`Xǥ ,B&r\JPE4mE,Ր$n](B'ol  ; 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ٚcq Er]?R 1nt%Pg0#@ 0#8A&$0@ |ɆQsۣXp@nC^3znʓ:%Ⱥ6ԏ~p8zfNU{S ݢqc.Z>hA5H5H=ނkD9LmTNCʐG 4 VB!AT XbAQ6HN $kIIeQgRznvUYE虚1[$}^ ~.}K$BLRdƉ,dnm׶זvmkfEffF53)̦UE::`c1F1(dD$F#"#"1"ofj633fT$,")"Y((8x0-",j@H(PfXxH  X$ D  Ń $(8P``ECB!B8,0(A" ", GyGyGydɒ%K,Ydɒ%KZI+i%VJZI+i%~_Wկ~_ѧ>O}Sԧ>OOӟ?Oӟ>>g}g߿߿/}K_җ/}K_kW;uܸun<^rrm ڳVY+vX;%khff&fvf5222UEU5U5UŪZecc1cccO>O>9yyy嗗_^^^~yyy嗗_~//KK/?}$4,,Ŝ2< 80  `P00@yNLubMLZv% 9q aX/Z:jje &(IJEOte5UQuEf*iI2Yѿ])!4ʼe|:u5?x,`m$zׂ!{i]ܗЎOFƫ.ܼ* mt,m MmG,d×^`i jM1Ot).YޜE54+yuu7)бAvyqT ,J S/mHpd. Mj^'=$*#وNbJi/)YŒϥ)!3qFrn+fgiS1zĸ\%6D9SrB~փ5{y骘BsG<2hG0Aif'Z>؋c2>YdR5{ٻf] dn5a5X mV16;$ͲdӅy݁e*dw ;&3 la1OE"{ [C22YNasvLcvT&S[s6NT)DEɭ'FJ>R ''I%%Ƅ=iNZf['kb7|M-,<@1 , Jx5q'>ܸ DCꍐI.+ϼ|#tuDX :!Jo [Q:ga5s#ӫHY$TDE65u"nAK݅0wʷUwF :;571t.հ!t6uKP)AX_LxQ'sĚ$C]$|?,sl*h5TrUr^-elnAvjW.qs6]rǨD !==sR )vR%j2!sͭ;TAMfK9V .UΘ uu zNӞt H~!^:1e-nT{-<j!.1 nk"u)iEfmb1+Tʁ}_`R΃tq f==zN̪ 7G90JA<|3,% {9 * BVb,lpO w`EԪPjڋ`AU(qjFՉ|O}Sɺ4bnaUbH*<~_@'s~9p+U#fkd\aa&ho}" ),;na "f|er=}~AZ!cr+ͅSCt*OUO"gf_@`l)Y)'p z?g;n}IlMjN"Q-Y 0Xb% "|u0!](N>DH1VxGFܵ,FU`y$s^%xH QڌK]`ְb9}dg!Ok_S1(Aš ևIu HL \; "ߊ #>q seCZԮvJxCZܕmU}_FcPy #Py={FaEK:.pQ=U Ma]%ElΫy@mk$JG> Z)ܟ%V>/Ws\e8Ւn]F?WUK lIr{W_-&&/Oy8LhuڼJM=t&L#8lh]dޕh!F=9y=u%tt6ɲӿE.)c,;_$_R~)" wewu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodO 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ % &i̇Z? ՊBfbj`H   T9u@¡x@@ (  !AP44  aaA @PA1bBƒ"P [6^oevz+CdTd !2DƌيD(h xPH8(n,pP eAmTUQE??S_}V#W~K)?GY˴LL$D$ H'$Bwwwwv7Vյhn1=(#c22hUUuUW5YuUUhh'z"Rd"I"͕jfjNgR_|l^{mkUVj[.Bү"B R4S*D#ʬ̬̬̤ hG;ڤEjZEjڣ=jZ֨5jZ֨-jڢ-jZ%jZvjڡvککک-ԖR[jZVjڜ6isڜ6iqZvH<靴NJeȔiY)c2k5W)Q D2e @AAA{{YǬc1ɘɘɘɘTTeUVeUVɨQuXUX%h$$#A$hG$llFƌ32jFƌ3I3Ho2~zy/g2- w_2^.+ #Zռ3"/Ҋ$$ "s?s}{r/r/rii?>;˾˾~<ٓ=ٓ؏؏oo}k_^^^>>>c=c___[[W}W}U[VT-UKRTT;NST;^^^mmmJRT;юvbZX@t 51>X```!a!Aa ` 0M8qey*m-Q5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/atjt!@ 9wAWAx.q[՝!MR:v F'10b"!b"## a (P(%KfB$)I[ww3w's'cf3<333jUUC>C>$Cr2!c2GG~///}K_җ艞H""!r"H!R"fl6Ur\%WUrW}OeoϿOOO?_1/żbZLi1+fŬbVlƜI1)&ŤbʜsbJL٘Sbtc1ɘdL2&ɈɈɈɈɈɈ;#;H;Ҏ#:$#{d$IGґt$9GΑs9GΑr)GʑrG~G~G~$wǻ,tFv.: 3$1N!%$ $@QP(00(@`084ʦC$WzE.uS%6׮+vZ]Iئb }d6xw%g\<]227eՕൔeˍ_Wj"hۈ=%yUG+9XuY" b 2%,aOd hsƩ%h:f%.ݼamdq&a\,! 1ȁfn({%bV9!r\¹~͒ d',qi\,=K`៺fYĄ(Sok62g*xRos.j82=XH8q 4KPr-kY"` rMoWr].KkKp\bB0jš%nmV)߸h`"K,n:87KD9e ḤsMl7Klql%8%s@DTw gh_?E->J%ōE!Yj0 s\Rs%Vy%L% ;M0w3 t#iHu'|E/UYɧI)^.q \B]I\#l2v%- <Я+I(嶳D-]^@RJbRr+IT D!"S!mu%e}ޕh"&yW"T»JDrnJ$6V1hWHQU] J#<t%P]qqJn"Ҫ[2H+ d,%Fd'v%-\q;UVqOڪ(ED̶ʨoj֝OTUyz }vfExkZ*ӳG_4%nN:/MY~3J&#L52Ͱ}bEK2=+,rz}023֘`3#>4/ҹnfSb`F’])[Il0#ca¾?*l*Fl`&=ފg YI{aU#<crP{S,dx<)Cք6>m$kb[[LB5OcuK-&!ɚ槱%dMl`X{kIH&6in$$Y4Vb l~[bom1 I6?-$kb[[LB5OcuK-&!ɚ槱%d?d]BXRquܔƭbC-M0crQʨg}h6d4j&`Ӳfp=f]}0v  BV͘YV8#~;_~jԻ.ksi[]5-o\m|Zߖz{ |6>oKـ5`ܘTY2U>bX5j-_cYom?a X~vM`%]<[rKH 0t,{֟ft, oB"yvƪgTm6fIWIl5[g׷YzbNb U/6Q0Wld"kQ_gۘ+?dz*#ggqvZ>+&`?wƱ0?ʯ'\T۸ S)'\ n̺-Tq¶@-$'/qsQ>"aRm{=0BAN7 &f^GsxnQ<Iu'=y-r)1~V/γ}4l" ێV@6d0uf:.q*Oɝzv_ڐJ0Ozx7#GױmM&^y[`qI՘r`)9K3:VA)PND=\)C]#-&H Söp>PL ޾x[HƦ7\?(k 9ȍHw%P,7L!6 C3%uPodp[Ig@`6lEpnBg*Ti5`R0!l;COuA쫸-`0,<{>1fƲDk{Un{jTaDHt; EEIvbȪ{x=}CbLU} "Ei>Tn+  w VK@}&IPBFvT:H}YUC6Y.A\"v˿`&5bOO^,$|"N' UO87n)QT[SoȻ=_5YQ@!ԜLtQh{b cuen \Ì\~'"!BbٷKp o0s(_8IrJGщ f#D>zWr6C!CCUa%]Ca[]9ò~~FoVʮДe8ʆ( CՌL4*ha{4 \]~(\C0oCH˴5jn)% o;B-2k0; N~#Ɣrvy:<8 ˤ AUdb,X$̇*6rts&u 㼎|feW$F# Wa}0Cj._3@`C).һ |8[t/ 6w-$n|WYTzվC* S+.?7ZS)ڥa6{ɵOd, tIԆmdtL2@2p3Sv/AS6҉/C!܇rw `c{P=kĞ$b 8~Bb7Pg5Y=i|Y1|ŽQPΩj:l]BsU=ײKU$0GYuXC9>JIp2k׹h ~W_#NT۲R2b6n.s VfmfbJ++)57:h:M+s:Њ v!5@,1=!Zfv11c4 Yrׁ 'KW]{sRpnGĸ'A +J:>bL8UrS.LFoW1bE6ƵS;4%yQE)Ռ~9b N0;U I5{ $h$8X88P믟~駟_~?Ok~Oi~/e?~~~voDZq8v;n7w1w;bbbbbbbbbbnĵk|>۶m۶m۶mK$I$,"**"!"!@Q D<3̈T"HEC` !TBP!Tl&la [ƖHf(B!Hbk۶m۶m۶-I$I,",jjJHHQ D(=3PBaKTM4C A-$-R5 E()UPBcDJD3"ƖHh"<X H 8H @vi!kjH 9CTTTTLLU0UaT=DCφhC!PLLLg:әpDJDJDHDDHdD#H"!B!򓗟dRB4#-YE4S"!P !я~~~~~~~|>|>|>|>|>Ԧt"@ 2D!@ p%,OV@ B:NunPfFr.>,xP~&DsfH rrP1 rsR,?3k7JR%W nX,#ոQH7ÉcQ҇S>" N,OGi -i #V?o>阇n+cn0[bDK v+:]S3nO#j^u&BOPOԮ(QT2J:2(}zL R`Ezi0zD@5D$@ G}j|i=L?3 }B03۱|r9{T" o087$ssΞ|7\F0NHT0! .iD0ZTYp=-zL[ǹ0QV-xҐ 8U^A\8+R-:)p8vsJ[_$YGrCN^9ȼ)E廬|TTUwW'[FA 6@u\E;Cs߁ tHZb*IHp"S{,@dsW")҉g1 PN ZJ K.E;dJwiN"OBg&4P;P\mFO9JVvVYU𔔩R|V^a1ꚧ ѩjWsQm(]S$T/*ڪQ:մ+Neq 2 P;e ^uwR*wS,lC1}*V"qzU探U]pO!s Sm*LOWY:.vtՙ0GLmB$;#7e8 :I%(7B/R; eU]8UPL Hu)FહjmѩiW*SȜDS,+N;P]*I:eQ *X=%Qʛ(Hz䨉Odw Gwy6|3deodxBZTfC[JP p+ uS]FUWi,%BjxW9TNn^@ ^ST O XA%?ѵjwUoC`eqrRFN48j(++(i2 0ZD g\fȨ J졒KU[FK+;iP*Tb\KCUjRJUJ+L+׊mTBJVzʵ*VJBUwUP9{^FU_6uyUU UvrQZ/g vTZetoЦ*ode*J(J9AKrxZ+[)nKžMf!OJNPEuVNaEmvA%E,GUMjԭBmOV%(+Me y;l{&poSĪj4Q5BN:R1S5(5bQLΤ(ڇ2'|]{qd2<-{Oڍ6=iKX_Ih̅~\fti\Mi`=S`5SA{ j (OAuJHOŤ)\O%җgܿdỤmiP68;rZI#eJA)9+ b\)%g 1RrHR FJʂ)sV bdY)#%geA8+Q2.QhdS~hC hv )L6U6SW9Ve[ *%,+Pp@MURVʅK6;Q],0`:s~7Kؒ~.cB.hNeI'WY|"g@Zy8#@PdlK#? P}dr3W\0w:Gw+DSjOm)5O6OsT)5t'6OsT ,Rt'mO9T R'm9yvC8iyD 擶ͧCUiD ]ɽl+K|:_q^:F,y#+JA,9+q$s F1RrVĦLf씰ӹ$ZN4 "mD3Gܵ`7v df@Nؔ,2S%3S6.*>QB}TlKm:@K:ki)L+rUt88\A]eUsG-,՗8EJm9|Ada[y|萇yؐy))|a18cFzl*zpK9EkpNwbL\g9ub5/E?+gi^Fvk Yyd8OդZ'}󌹬v5 >p ^0Ѧ9y n#MۄLc6[j=Ѓʾx y9=œ e r6]g #eM&yqDRH!mzGd$#HFHiQGu3q)Fi#m6Fia„FEiDD$H"Y$T"Qd'Dl(tKXXKbI,%[EdF)τݒ,3333333""""""""""m۶mm۶m۶mI$I2H$#D얌&3"vKFl 2bfD얜*uSMTR7unACn]."""""""*C7nCv6[,C#t-B"t[ʅ.t BMRC[ҷ[nwmnuۺݶm۶m[DDD]Ķn۶Iz]nܸqϗo}93WW[m۶m۶mھjٶlI$I$I2$F0"|v$#]#=#?#mm۶-Ydɒ%K,I6h nݺum+cb`;ڑ ̈,b;{k׶m۶mے$I$9r3FxmɉFq ɈόnK2?/2֭2/}s Da` @ CC@@b@\#9=krZhrndE0+Ks &2r%Tɣ }P97OFO_#Ψ{ȝD_+c"t&5CcaS>NE4Cn6JMA<ͨ{9uy1s Ij8sx(%CJ!.[0_ݹgJx<&:d=,aNH=pvUt-X2"f+ٳi D.u,^+؃ؕp x ټ8;csv` `Jѫ­sqƍÙmi=㞫@jOMU(E!Jgs}6.X23fSkO6i0'A1IJpIYdړ>b(:`XrVx7,ܧ{Fy %1ئfc_$|`t<)-+hF6꬝E*sy5;ߦf4(,, 8A@gUaRx7DmwU `ghv5hi2U{F2M+'Dc*Ddڙ;9:ABwKƒPIH]ʭe2^3LMGa*]M:H+VcF#󬱱MU&W ظsO(IR4g+MgSfܰ Iɣ&tWlCeSF}@zBBMhuLFu<'4qLN^"eR+yz3;Tg$PzTo Ϥ˸U'ZBa%'! I-<"L=dy#35kBW; 3/eӿhhԺ< ުS:Ć]Mɱ佯њ2]_ܘi k^5J=<ڢTΰ`ͧm;Z2l: EIT;$ǞP3='r3R,m3 \`zq7XtJ{fS\Zd!$t{41wU"3e󞢓Mxk( :Ghz0!H& #/#!qh"31WDcbum.t^'Ͷ%vr:Ӻ.7nޮV' J35ah{kⶃ8foC<S$;RT6|В^d^U]pi_9fE$l@zGQۄ"xh .U@ZTPK(H_ Ed_=Z9ȉݿ'jz6fI47/6H?C8_%tvo# $Ac<%R(LIӨSd5w*dN_Rzo|. $@1hZ}7*Nt;4C@4ADJbj2 }jݝD&=ORqX`Z\]mACRwJёCc$0q& wҢO-jpAC|^hvG MЉd l.AEK[&J(G^t"><yaY|&yqI|,><,b uOAvr]0]autڥ%K0v GT"tit.rOۯI?$l-Pct_'tsq+H\,Ǻ$ѳW #J_^ 157T,/JcOR2&(DsI6wz ),;E5B٦и了 O zTjIEFR IǓv*HT|I[Z!q1qsEJ%\u3L&5.bQЛBJCz~dp5B@JKi qrKifO@$HjMbg|Ui?$ɱT[E-*CRv[ZP)Bi$g(hFyLܩ(7(ȎjUviCC|:gx*[#y@zy2iµ7<{p{j6W\5ό*6IoٞM$mT 4ш,el^R@LppOGtH6 “&1;l*l+ (Im. @  ,Z=7FQ.=nC]F 6Q Th6e\%-&Z`_!5INJ u669) j68(8ZPt@ CR1U6)e(G4hH67(1ljlYێMкdl:+HD bc"(юݭ@i1F1@Ȳ:`/x7O~>\y;?E($g:5oIC{UQ^׌i Vh+p堪![܈AHo.-܄kv$5PRqQ[c14P@5fbhW5}&ݬ1P$Ifi Hhh8 5 |t4i8,&a*h%4 @b4zӎazP$V %9"g5{l1yhTH+īwGg}.d>;kfmQ9=ixz7rM/ 0ԉxixTcm} /gb%-Wې(8;cub#slrjy$:%FDZ 't+zwݒrKe*33&{GPZr3o! %71JD( mgl~~~~yffffrfml`l&I$Io7lqo`1m 67lk׶k׮mۖ$I$I$93333a l۶m۶mۀ3Lg:pfmٶm۶B!B!$ AB   B )B I}>??XD!jg$߶m۶m۶$I$I$933332m۶m۶-BB!BHRJ%JHHl ADAD"vI$$nBI>&g@~%I?>>>>>>?V|m۶m۶-I$I$I4 X?""""""jFKmٲe˖C9CHXl a""6mڶmEePDDDDd iTL$IDDDDZ3I VVmUU+RH$)IjfFhF3mm۶i۶MBP!(BA!'t_  CQ {AQPp  @'$,]ê7?O~4籨J4?Q:\'R:YRc(]`%U5LqqZjP⎒%߭(ϳ6a)PUٖrWdŕ9L2w xC$0G'0{aj&}B_YĨ(DZU2m^RG fެ=KU$p)q+Ynp6GQ!Yl@e#mT1zʑJkuS#65ͩl$BP)>5KQ2cnA@»'Ɍo#ʠ@5>š' GV$UQ;q+5s*H͐+bXN6vzU]A9Y5)Hpn0kQךzO-ՐRyB:jxrDqF\wt`@1!ե졓́jGquzfk5^MY\ćcpuf|PAe63'!A`c2D!)>>t_ȟnrGt7 9KI  5I$1f 5@} Ox LS{5"l0YuJQof?DpW2 e.NS-}4fUۈ*JɅɪd ηD`3%URݑ'JJ7"u5ND0eL?ujЬc' +L%$~cd_BLHIb_Iƫ!c [GaB ϲK-B,#ʊ)BPׄ5G}s :\x6ffrj)po XPS2&*iV[CCkz5V!ѩ`4@#ȍT15f[BEQ7}HSihG8; tnF/jRFHTz1H Uw#MB$ՉYEV,Djv`DU&$ D d@B;C*H #euY9284ёU4^:b{r]VUn˂^j.IK0z)SS}as)U7VHn]J0G6+)B/iE2xQeM'Le2&Mj1X dܮ03hPf)9E#xE8%z. LyG3{)(_L/yɫ4,YcKPV<ޫ2^lW%h0*ƻTij-:J0_+` VgQpYt½bq҈.ZJ X>+:u#xj>Rԥ6$^CǤ'xc,Se`3R-Qw3jEFbʼGՕ…)_duK1RTT RJ0ONq.ƣ #_?DՍBeոr sخ+jɸٴR?ZsCHl;Tt}aL"<%=% Yrn)? 5ĻD6́yj٤gEUlBK0te%W^Xyo,>iX-zx$ y<lxR2LmJ'a)&?+0Lh8ڗo#<mxJIzoY'!X,M\ׅQBz ~#YeL{FL~eV!,qv ?![0ȗnq ;Quc&(-nl[r-`U\™+cF^G?] >*cE]I}13l> *%HԾJ oGf>P7Q}& ϖXk/Д) Ffm2gCP_Qc}fʋi*l9` gx!O8ʩFJ͍**$VA3mi47C6HDYJ!@v PhMHG.n!YDq4: 492+ӇE $m "vY.R!l.Fd}zH5:{4-ꍪ Qa2䠕PY<sͫ71OSΦUc\s-pJHw-ZnSUL3i)pɾHf.OxҞg?l}p pM* 4{D3$"BUB!QT6hffffffF""""""""""p CT%DΈЋACɌ"O*[Db͈I! AUŌ! 0``AP@8DDDDDDDDDD3333333333"""""""'%Mm[l[l3L$f&**"!!!"!"!gygqgD&2HH6l6l&DqGaFaqUDEġB6BD7fCDՈ6c'5!U!3"+mUUUb۶m! !R뺮뺮뺮몪m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m[l[l[l[l[l[l[l[l[X@(@ SZ)\E]d"@ cw|ںZ:8t? ]>5Y3tQ|lPPWˠʡ::4_Gu G*FFGv>U}L}%Ly5*j0j0TpTbTraWPWPWPWPWTʡ_z_j_ VO GuGU jھZڼZ|}Ly jU8U8T18j0vrfΫf+aTWPݯQQQOţj_Cu_5Ci_-Cm*j JZ}5*UU{{Jj8TU9TU1TU300rWŨW(WèէQݧQ6[C5_%Cu_%Su^)C~~=U=5Z}5 JjjU8UU9TbTaajSSWPWPWˡʡ6v_ Cu Gվ*F՞*FG~~UU} y y5 *U10jpTpTpTbeePWPWPWTWP__J_jO vOV jjjRPGHMrjq/%Jji;elZ7\CIOUq?TqnTgofOxqp5WMs-ظ&Eb@WkYl@PBbK#!4L#FjJjjR*y*yUܪrU]jr]jzUU}UU{UT{j*>z$GxRs,.ékH$Ȑ`-Rf0EAuB+7:2f4 S rEr֦.l;őN5 UJ0NjGU=9SG&rPd+6ک IdLZm̴A@sM9`=% iGh4b4q13:i2U+u4F[~:Zf}#)z_= d](QQgKSE2A ;TEE0`N3- Ҽ".|4Xly07 0i֪PƩDWD_K=1Y{.H EJ `3%Y"QV.%]iy|K:eįR!,-ɤPP2)SB.Ht𔉭Ǖ#Y5S$Py!xyJ$2I@+> @ I&#%hI4,s!K=PE{elW<<=.?pd8M_2ԥ=gT5TbC.V~b?W= s*]+nQU$! {zTQ;l"2ARz~*)gW)*/= 7!5* =8>?r3َZYt+A+ $BK鍛JtE5y]Lg7NSt 0+V)R;z 53y:g:q[3Gd >mRf7սpWQ+_L]UWdP1IT5٬Cwyp6!7rlD5E!~(6=R~h'fH @~aWCکSC'!cqEP=\ ]*Wj ,5gS0̢0Ky] N +%vүER9kBDv=J2H༆l[KNBЄ Jc;Fxpɷot*S kpר$."ltT dSU.ḙ?%y]F 6ȴ5Qgk 1%:tA yY nL@}H_$&}Xq $^uaY0!xkoW!R%ʙLX(BW+ [l,(2ji߯~5ʅU%%vQh!h,C6Qڸ|0,CK;IX<òK$SmTd<6CI Sm\B2=C뻝>PI VDf#'IT"`jRPjD+ЪC* F\fB4f;ݬT 'fZlXФ3Z VM=bO)%_ ֆ\)df`zJ|*c:4k7 H|uܝ9M ҳZ;m)2U{%gD")!jm…%R۶|C̈DlOԒ3"GgDZrJ$*"j)CUU[UUUUUUUUuPUUUuUD-rF$jB8PQ' AuZ܄xWU3$X @X@`3"x@< H< xpDDDDDDDDD"$"""шFD4ݺu۶m6n|>gD"6~CԒ3#}D-9#1HB!P!HԒ @DQh mB@2DDI$D HD$DDDDDDD4"ݺumm? gDy@Hsj۶mu֭k1k׶m F/H JAr(J 8̸X0 `0 !h,@]H !K_Fސ{Upy=a;'WJqڐY?tRǺI|%{%-[I >pDb\e|y$ma>HuiIAk2Yʬ$_H`L1a@D!aՙ );dYFZ3)K!Q.wBmJ Uު8RIMW)ޘ*$M,)ӂUbMfJJK*6aCrvg2|nDeAf$D&:Dz%&'@6 ,p^ P | "H,6_SP CR" Dن:P ($<yV]k'ut ]lҽ"u4jK,DÕ_T("x1@x @ب &z8GeW Bs&F.!(2Vw&]I^7?ݗue#1sot9&FW$C v\[iZbdx֯E>3eM2ٮŧǶK ɋZ,Cxq5DI ]Κu|u4KŁk4U+) "?RDX$"ܼc;j[H D!?*fԗ4„[͘YKH_Uo/c}"[Q\nD4k kW ϊK4FcI(k2tKNCiݗ,6o DI [ .}<7@ց _Ѕ ˞? .$S%bc@gl\bQeD$ (Vx!p'5dlAˡK#6M>KL9.x_Y}|Q@ Nw q'x pK% KX%n $}+&/ѹhYX%m՘ M/AKl(i0{ ϛ'wKY./} 1hQvE/K(v=%°L] p8`"{y18S 9mƤ LLVOĂ% &bN L{ud01Â0£A=H&4k01|e/6fDVe,I2&ҲAl&Kqk_w2{6 +(&M]Y"r`~]@omx~} )U}>|om{}}R*>:y.ڵU#3 h }KT1aBC`%p JQrˮ r|Zhڔ ~5Mgh\YF Xſ\D(nzJZ= R!}~JMx-Y`b3/c^+pp#ge_ov9^-؊.XXB2[ 6>"YA ]2t7VX$0uW;aW&ȡaF#HKCHzsI@ ?C[2%Pj6A EPgrTgGE^ EgPp8mZ{'1i"(CI(-bh/O(n=ߕ}d3Y[‽RIOw'zC͚@'h'1y/7-J:5F,{X=!3g 3h}Tb O:X̫ꈛ5Swkm9U&*k0 |sb?RSJ`蘓'P ID fI/1@1#VCfeƕo9נg:ك]߂ggQI Yglq$[Y`IGugDƧ"l ApM@ I¬y:4$%~CP IvOSl-uaLȨhS?Sa/DXpnV{Y%.|ۏ+Th<2]\yW  iS#|ϥ \~I(_JLDL2RGFhQ`[u 2Nefмz4_|Vl$U0gOP<]l }!Xދv_`E?!AJtu@݃~:ZETZqzX(YL]^5h=@>*1/YKc+vu+ o8gg{~5*uOy}Tf]wi˿'TeRϏ,Iz_,aʺƲJ & Yzjd=d]4 ˃JY5īu@Gu)wRG^2a);P7.֟$­?F7(֝Uucp'caCy-zi1A_.BAW BP`}/f_VW4 {:_8W$cNX嫳oͫO]g¼Dh]]~|)x.Ց'{J )tw o5p^\SQN> W' $o峅 zlmuq'\ ,a>bgW HymYxAAo6f0<\TQ>!gᅫ*;Kh!g0 %$]H`)o xW2-CdOo}V<)eS6=ʯ-G rOܲЕ aolS>Ucu&LZ5"0a?)\mQenj"X3,La֪`WU1]E5NqEb};sp*K jw{?1;*&A8̤+NtVQ3^~acۙQ}K =($ 3 L`r $}e98ʵb,KN_Uņw[~uvC+@i:jaU:lk ~]2dHٚEPsC){u[llxq-n|Q:QnQx6W-6XӜ%űX8Wb ɤ` 9O*Ͼ ")Vci*B珿b_V}3E\w.DCbXУb:L >~ˡ\7 { _\Vk|ł8@1~o*9'E&<5l JM3G6m=(&d>lwc 41^$:2tMM4@?+)s.fb*A>Z삥jw^Ԕ#YW1| <ψ"f+JFk)  PV9od;AB_GXrl8K!:ƀtB1 3 4T3\2L+ft0k36<; $Yr)(f 6ıi3r'S3J4-fa A!n+VpN5 t 9@B\C+bYNk:r8CW1[CW$S *pm fl\5=s7iɁ 7#Y2=NǴЧ,MIs} ]jXuΖ 31MYiG YK2NT n5 t*g[0Qok;<8'5mR ƚj>JXU@$׻'QN_K}\ƥ\@2SQ b!jL{Hң{*q*΍"c0B0n>~ c.YWrxM[aN9oNX +.Spoѥ mRM6m'GDýpp!g4Go 7xwg-yeM|'OQS׈OHwXIhߗJ党4rhΦic/w;9Lytg(5TB7qu:#pEͳGs[R ?O ay G?$#OW__mȻqdX`7Qji(9. tUg@Ҏ H 8X_݉}>p|WLHCԩ2E!P&O ʩ$G&^ zҥQQQ۶mݶm۶-I$@ Ф2BQ [&߰+)vbN]ɜ8b=yJ=7=Ͽ>x8'3*NkycC?uOMVp vE8s~gLS, Nb©/uMA+ָ(q-S{cRlJi @ZrHg1&9Uzɸw=.䙓'FCijڥS|7Y;amw;5rsY =IOLZ4IXS1V^W &Qm7Rw7RnedJo1RL~d<.P{+Y[T$P$UWR%/r $^tt! exdǬghNea)eDRL@cOfS9yUSJMsW]&ß:V\F?>U&;ëVlmS練K]zֆlW:v^ɃkV#~&t-3Q5֠ⷼFk{3nOw=/+̬PzRW(r[;C"@!H3+k 샮TV%8Ijpyl )#,X$`jo1 XjWXCvyTRj?FSN6'IO}pQq&]I^w 3~dvJe&ITHdۏ9dRʵ wpaT]؏gSe  J3cHfQu.tƅ.A\UKB(`}Z]g8NmVX&) NT?=k <`]nz~L8_sWB˾zq]Ԭ~;V};WKժC9DER ջBwh(񚼐R=%L^D8zԇ:46+PL[u߇5IG]RSzf^N<}_rXD7qz)='|-5}?MJ(ylf YL}1Y>7IzMz}_"8{ZyA%X-!ɺąVA+_KTo\DBB'g& QK"?Z`W z r'-+/G?uz8ZAU:wm}A1ԀZ"껃"Q&XF]Fn>^Dutʹ W, /RT25>[=2 LNd(],fm(TOS20RuwŇz.WIZJPFlG{^?e\BJ\:5a_rʓx5tA1}L>/#.m䑲|j^B/ıY=ՋW i/>igYj)%m3I$T|O宂{r1T$amRbzw]/$QO]-V #tW|QAxD Dk9 2?WL!I^z ,\)ug,j]w`) #bj.NXbʵ7UwmEq&)F)E(px>7A''p,쓼 {.s$ooTp2L^8SOh\b:7B`&UJ$V\4jÚT-sW$aw ]T=~FWpU1R̰MF_8樹 r.X-RF D#^dMH&)qÆwf"$)yIΪa9nK, ?m(WݡX9\Oi]4p'0Wg;X?V7\p \ Tˊ6, Ou}{Q=JNۥ_ƽUbZo7lТkF}%NrwvxQ줣`: Fʳz;3W@c |W_CQC񦆎Xibzť$G".0S4)ο񳝧R(N#* -1B>i)[P7O{:.˧ se87\V1dölNH*6/ ".x.81ޢ=7J"yGbL;R)Y4 v\vN7OPM2 ~pFn#l1X~t/+|0 L0f6—7X0| 2?8 `ШiwT y⍗M!I6 ʅo IШa?dIWbT60|  k6 zhlcZɓD>!=Lwr>&_et 5Op|C)و_pnIa kV~!VpwO&ރM|a?Q~ $ )N'1 R!EF#pJPk6зWEMCjYVV;K;.PEJ5ԇz".3So.>᠃1vK]aijH}M9WacM0Q!_M-۷楖`! Y2B7tj*yRĊ$+@%y@MrLCYx#y~x>#{hJ[7z090lLbAR&c߁Sā8sl M('Sg_[yW'0"a.Slot!;RԦzP\`fڻN+LDI)WI0Zr~LYf$a(=!#5|m0 ?[@L?îR-W@"D!L_ H>l:ucgֽ߰B(P)65ABQ(sp0PCWPpdO|O^&4̕-dn45Y(]a[kِ}OȹP$11oL$ry!B9A nE- 1Mc59i^vِ7OP[-r  c{4C 5~`"XӼ\ 5Xc Nsp˫yTxਆ;,7xh&d+2|#"ނ]X%}3 5 (B07W ͧHj)jTFu uQ܎3q\K̕LS聹YOD`~2/؄{CB (cA&tmY"TLHsq/nH}Z[IbAG>(H?,uw%: n?mD:#יyɷO7c\jmYG]}0yK=ˎ8+)ϟ5wJ0ht ?xB Lā *JVLr\RNtP{5ꄞĻd+a>d%:y\*U9g#6b[ҜvG3J'fyơ3җ\Юr3Y(@%e"|a7#zayh|cAz)ll(@4x*jly%40bMȩֱ)x~Üj±x 4[qҽq58F/]MD/2];)^h22.`C~J; `OE4!= 08X2{ j7an42TSN;p39?iiG\ьKh7q$ds3Rk`'eRëaM|4yl|cAzll(@4p*z N8Aēh݄5hdoSL8Ou!f0S3NOZ==#՚֮oH"wr5R]ϯ݅hF g}! r|?KG OJIFؒiM|2{ 022DWM)w;piF8ҽ?DG\|Ѥ9Ȣs'g"6֡#@0_}`9GV1s_l n&0hK`_'Ac)݄7XOJo h0nMo̷Mjּ\]|?I z1hv4>' ?tZ%A4n3{O3M|[2|8ًwz5~Y-k y34b2ldY?f̦DMa  #p{z2uKX=dnN+CșhEj[ixe2]4d6)q2*07:ä;hg\0zH7c`i s]#mokK?NSCҙ6/KLGd/Nw&8Lm`]fT) >pJ Cp^F5~2C;Ӣ chG \ zn6fgp:Aɉ>xKMA)+%J'֫D\Wk3)\aM3EрC-bI/ҋ=2p.t&/oQ{Ά5Nw+]Hq'F,| Q$ ͞zuY;}KfE1pHOG_6p%8F:E8i?__@ M=U 9*R< PmIsL x!3Ųwk 0P~TJRI*I%$eh58%EIQR%EIQ򒗼%/ٖmٖmVJۚլf5YUYUYUYUYUYYYYY0aD36#lF،a3fV46XaEb3`k?!OOO/_;M4&d̒Y2Kf,$dLI2I#s2!s2L!S2e.sI)8@$E&[%[%IZI+i%dUJV  @ РiD B2,04(@B "8<!=$ȅ;a".:>"po XWTT!&&oR3Iiu@Z]'Er*uߘlLp5đ"ݵBt^}7̈́'īcdj!' N5Npr7Cl AnWU)gN7Gx> vx08N PSM>.i ]ʖrĬHrЧ*VhߠXү^b1[xx^Qh*'9a|7?B׸ć?:jlǞȨE4H_s9q;0u;[˪-g֖yFdsxy,x:Fݧfd;~t@huCı<֖\j֫TOwr=zt.]\Owr=zuͻI![܏_i.K왑q2cmok]IRj|-2[o9#G}̗K+YrߏdłP$k]?] I/5+.;?{+Lt%7:2l{ۻH"6ew\2?N]Ibw] a)~Qn9μyg]_e]ɲjX}{[5K8stY~KD0l)]ÍUEVª 5H/R#?HI=/͒$\"l4^]jiL{g,see`M`\Ҍ vr={R&y+;.ysm_W߮`䶎KID$XO.Qld/,K% ,T2PɁJ.\ds\6,l_gh8QWv*K2_>~(엏_>~(엏_>~XX=!_}-/屒Kd%mJˏ%){dhV@U|%?ܹĎi͏eW-fnүw%s4ɵݮ$oM0濼G“TI] E室"?Y3+!HܼܕJNn^JJ-'7/w%Rd䮄"}rrWR*:y+)ܼܕZNn^JJ-5R]ID室"xrrWRj;y+)OLJ ]I$"?4+!HܼܕJNn^JJ-'7/w%Rd䮄"}rrWR*:y+)ܼܕZNn^JJ-5R]ID室"xrӃ۪\#FIK]ID楮_PW_ٕp;nR,t%iܙEgg>sRWrvŭ9>9"KY9 JV3J=hǗݜV F,s&̼ϙܹDO!rzDeʼn$cfЇ7*"p=uu&TMjd>ד}'\Os=zd>ד}'\7%4뗓)c-:^+#d*}=ݹECO_dY{ETs4Gu0K?ulS_纳}g6m;wls:SZHέm#7|NԜЕtvjIe'O/_>|VY峾|>?W>|VYg/_>|VYg/_>|VYg/K9앑l95EII% K7J G G 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_id236Q 5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y̻$@$iw7RjBHqT'DdL2#ua9Vwwt~w9333뙙Iy㙑əٙ]UYUUU^U*[ƈƈjDD,h4MĈV:^_\=eӵl{ֱ|E(e[ʶ mb33nKJ6QM3󙩙fĦ4TN/SbIR=CP[1Vf    ZP(ZC6ADXH`%Ԑ8N0"P$8(Ѓb;8,(0`s  E""p ,aAQ$H,X@2AAxA!BÁaPXhp$@((`pA`Ѐ( 422H Ri$%͒2DE"Cd qg3cΐölRHFFY$Y4t$O"P8#baLSHB;ёd&3o~_~O>$d6o6o6o6=p<p<.....iRLI1)&Gy Oh#m6BaFXsWsWs's1}>f3c1TTTTTu:UNUC!q8D"""""_e_o2Me2l e˰l332fd|Fƌ~F>cnɭvM+ *ό$wbE2eÂ`p`jVj[mmղZVjYT+JRT+GQ;ڣ֨5jZ֨5jڢ-jZ%jZv=ԎԚZSkjڡvjڡԖR;RKjI-% BP+ {{oﭽz[om[zKo-ۿɟIII99'䜜=ٓ=ٓ=ٓ<9/%֨U QH@ W=0X`pЀ!@H`X@H0HPPX@ (0 @j`"xG o[õ4c.灢C0yhf)$B &&Z 2<.Yo^^43J>Uyiu(36nGyV`d\cQpZaI~fQ] 2SPY,(&CM3j9-< l/.?7Gw1{,V;pOweI!,\Bgˎdź^@C$`s\RZLN6a +}cb::lVV;rùǒJcefe:r،Zl]M=Kj;# eC(g1X;<)W6F2+"de&6wNyV2lP,9me*SȬ}f"!s~Fj%9+(,g1 i6 rFE:#%uFL`pгm3L3Ȍ T&:lLchf8-g*3LhFz6a6pBδ,g4R3ЌblbcC 4iAf3 z-2AdXgg e eL3ɀh^&$f`F˙e aьX`g?*#%Q?B*Ke﹐Rps*\ ,S!;?!jp?\~OD(S!UeTHEj)3R^ .{υD˜S!gVH@XLX P @@̿X  @@AB1zb`bb2ub`w bnde ԉ $  H '-0H(&S'vG(P,f_,.H@  Dc6dBb2=bd4 bjzj2ɔg؏WhU_F"лd[3Z{,=붆kRrŴ0Z0,tL%*}`[X4]:KU5qPƵ2}d4]4~ fk2ezI$Hյ몪=;#45֢S$F61ZٕY#,*ٚlB$Q-(̬y$P,SUS8ahИJL2 MYRX!a,P,\IЛ-gdDhcUje:vٌn\7[R282rv l#\Hp?`hθPAp#wPWѾnM;If>M^4߿^!* F'_1͍1GyL*\y\#dKć̏8tV +$Ab2xwZ{FF[v 蟰 f-f( W6r)RbVBf-LX^qU艤XFlȭ>YT_A/Cvz6BTU4) Wj0ɓѬ CJH Y[bᗚX4̫빞8Qh8={`PR5H%t1H%`-ȟ1?.e}(C11Ą(= C0l=?(ꏁa%XC`@d GWwrUT!OcJ-v3h]^Eb%ԥ2<3 b'd>ށ"/[FJ m($O:A3Gjv#ʼnV^fCKg*_ڏGt0Й2:MY`~̊F@^l1Vk' nD֎?=݀cfIq K&8j<Q`t꒑ alm4v]".LTo6WK0eZe$ _&i鬵)]jՊ;G^JAX7fX}Je9zBey܈ gȰ[Y;2\W{x蛮ߞ.BW9fyZ =ua\Wbg'P6 Vnqi*F(`'0HK@-A@A&`BN ` $(p yBFEy,{@R QwX z#0t02BTeٟvR;RjA 5z֑6 @%Qw|Dm%\ېFO@'m)&xI+cؘJAUoXTxbBMD`w@`AH&P"0  %xH"H ,DA@N "$`% F @ (AT'@0O $hKDM`"A(@&PDp %%pH"  .'@@O A A$`JPF ` TP'@P  H`KE (@LD` $%%xHF  Z &A@  AHJ@F <PT' F x$ & I $H%h%"0"xH `d$$%HA('@pN *B A<$ %h@H&@P L\ pA&8%0A0AGLDp ` A'HH`c'8#k5ۿ3A8% TdAZMZ@ e `LLCgи\Y1"az=kaƃ X(]c˝j]e<4o%G #5 8 AkkF|--=,HYPZ|'@ q.3BAH1 Qrǁ`C!B!!B!9h_2J2HGk]#R+@W^z<`3 ZtzdzB= -pCS E|W(MZ߸`6DfKT}[hl7@`< DOyea ΃/(Y`* z(@@X<oS6a%?m}yw?I6xd#B#a>O>%-F}ڵI"[˩~ pqOAӆ!pPEhyzhƤ 0.Lm*8zC.k2F?/#J<ٻhDBB2tՙ:݂j`I{r@@i>:w 4N5bU,H a Kѩ5Hb%èIn0Chu*l*JY'~h3[ru`P{%DtSO0fqG'B@]rl c1҅ź& VX|I*&iѫ8w)n!`D?WJk&f/Ӟq&{ G!Ä@ 0jmVzTyՁܪ 5W# pHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kvc*А:'YIC_6^? )ֈؽv7eK.,T"a}従ș|uM@¡D WcUTD?(b"B?"k|:PjbYQ3aAʨA)HCL3BMXdL"iJ,Jm۶m۶m۶m۶m۶m۶k#|-^/ڲ{k"|-F\[v/smٽsmٽsm]T[%;p`1T |͌Ljf2I)bzkF1z 6X~A۵m-\uh"wkFܰ(mlm\؅ 3B-r1AThITEU0gVJ 3HPӢ(t]x0)"4H4aAE@Q*+4ab@&@ rG9)fp1yGdR&2d/kE#ZZ~q5Ț1 0 0 0 0 0 0 0 @13_fW:n}~!s9۶m۶m۶m۶m۶m۶jěg ub Bµp-\ qJ hT(TUfx]UBGȘ Q$)ZeNٲcsV"I$ .4ODBƾ9] madJ6$AQ1gQUUPDhd[ͱ2fL(*2+!0QL2A EEUG *+}2<7}l锠(P` A("AUl1}0S&cD$3@@H(bJCPa`0P 0 B  @ PyKhP"E %0*{-;*ZH!M+lCQHQ@ly 7X< .x5XB^@L <<A 5W' rHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1WJn'6m;j_3$ݛ"TU-MC@ 󧔝bLA1A(_QԼꊌBq8@sR|D\YD4<$1 IbhH48ip )2:YIHIIqL$D 0RjB`8Q M0I hſiDQ0qRc 00hB$&8Mz,$AfQQ#Ahp$$DG48$NÅ a h&-nk<Ɂ,΍0E)^6 #I"E,&", u@AIIb6f#1qQx.>b"\ sb11X<.br1y\bő(>FƤbr|L.9}a$dSgacHhŜq_L83ØXci3bXR\8S*6ъ+d⎙BQTAR,)[h2bX( S)Vdj ZnjP\@( +H 2b cF(. SkQ gH2ZV1S( #+(Ņ3b BV)Kd*ł3RqV\!S+  2bAV!{db 2JQL S+֐ъ;fdDpTl!Wh3b 2 XqF*ъ+dj3BqQ\AR8#7Ԋ2bLQcUԠfV[Y faby^]<&Ŕ1_Fb4ų01 ^kbؘ F0ތz0}6 YL 3a1%獆-_ xCX34Stn6'ʒ 28yi1KJAbb3!/Sf dl& q$Qװ4]su_>(I0*QQ- $Hb•FN <4B=*i)ʗE%'V,EfNt\p1$I<ҰZX״ Q0XGMMU5@Rv,KeS\J C_EePV<a~g`,"<J69b8FVb.C3UA}Zmj)2n|ĉ('n@+ Qke1F;I#~5(# {?d eui+R@zp9+_o1 K>9qFK5wA呍N;=B,S)hNe%\%~*ͭ`7[\<P˷e[Uۄ׾#~5"rG oKTaќ(~(,cʣHv84Y& 2RH27O;ghvEdjǏ"^_P&,>o݉t_d%($: W 1g11 NF҄K6CkTwyޮL_838R@ "ڠS{<şUŘ;Gi;po6`S/B bsBe(xPfa2'1d5JY/ ֈqbΈaLd=4Hܥؼ)1RB7A A!*RUJzx tEo f04"i]%&$ gΙsyE]tE]tE]tь!{ٳgϞ={ٳ[l[l[l&lc=c={= 6iH@xF R! R! C` " dM6d Ũ/Q I A0!@A +  !Jx89Y p\d8ƵnQ+]ӓ6x|b~#HhA3>uf!c3ڀ)_p Ub).ٵJ+AT޻H^{\6Ǥ5:?'Z^hة\MŭlR"%|0WHfEW4H{M>g 'yiւ 4CW䵵LY[qb "-15~؛@2[Zp|˞ `ڏ[?i [ SWk0XvM:LkQ SI?LI)]!j5㻒BAB/} zk$X;P.׏p5M Cs[Hlا aP Nl[k]`M2 _gZWh`Y/.=2ڸ榳Zĺ R:: lb1*8O ԶV }\_zq'u`J*5+3m-YCY+V[tdAܪhׄ2;Ss PP\t!ۈv1άoGj奶 6ׯeM$7 ytj&}np=nGC#Zk!v 9QCMy1|51}ʼn\9w'xWj GY/>~핐- v<W g(P dccHE0&s{[Ә AخQϠ^L/=ɵ(~ =ߺ'KTX ^3vK}b1UiHwH̗QK{~;Q4cvdH+DZꉑMN=i|#׺MN欵=hm_˕F+FsWkTwLYLy~Fy%61AS !wv۷ z_lnbZ׊|rCۣ8Q?Z5#^S0vAd B+f Y%.~<'!S4M~mKȄl!ڢZSl65X+a|q7v式#!,Bo]#sC|lyT}D#K`1WhcށiM7Tb}5dr% fAjwVF[ fF}k#XeF6Ce{PM-PlHBp,lUF?]D No͔MtTL|,#B>$jcB,[tVdaS !NtIٶ JI#d+45 6(WOέO5(ا8˯{jXBK(+JIjUaLnю c;iUM4a5k=h'c[QaDŽҙ:l(z^'l?.ApN y3 _j&0}s#lxPjJLK/9sHmv3j9VO Sɀ5*.]38+i[ < ^m']͒ yBR$7JPؔXE\BTcq9uV\M;3ߌ"@]_cfzm\ᡲkH Rإdk"b̃tuEg\<,V)|r/]_(c[̇tlfu2˸~HsOװ$ H6&m|AG1#iS[ \ѬkXi$^8۽yJ\m[XRgXlX+l94 ?S6>9MoF'NSŀpOV5` `rL$kܣgKu=EQl'Jjh\^ku7h=喙+:➿ # R6';_|+L[j`vAbpEr!|>9.jQ˺$Tܳ! {q EFѣȭpٵR#"j9 ȧR6)vZ>h^ei n+^6|ܒ-N̍-mbm-|ڡ6m"k +M׃~MqF1 Qĵ:Wmҟ&]:KYW.pۊ JTb@k-NQ{ņLAR t 0^Wd=Y772nA`kQUZIDl*SkS|ӂL@ݕ˔R Jac `.[XXE\=Iy6PcX1,s0H弤Ouu^Ttx 6]EUӯi0дvRN'p HV0(H5&b;EΠZFټYJj@ujg_C }]6ӤOk!뵃Xl:gפ,CL$m.YgtP^ PZmU OkA ʕ e5]#lp0x6.1* iLhOqVdʀp\T,&瓫 ȕ*)ib fz12^gPq|P~c}?ʧdŴ6hsqxhyp{| *{$0=+K;ÓL}xFp8Džq?gS~ҮGoO^$J#\(pːSxB=S(C#$< v;ByxxSVN1d2S*ٍ+;S*dgXӨ>WXZΈvCFrؙcG{&^4kQ٤ꪻ*\s6ƆϮf-CreQ笈s*,VhiCZאV:ًƫYUQQ6bStP7^uw6bCdT{QQ](u_n ۣOIGӇŜSZtfҚlMs:E "焧2'}ayw$2H oY@j]Ʊ+P܏WNZRXΫ0άz%KZf{=e|uS(V:]Ģն~}]­pF PXܒ_kDQ4qufV鍏BuFR R"~HHZ)6 )WZ .)Hw 'gAyp|6#ˆ8MM߻ 9hqjbv+k-JZꍰTrvEиzqAD 07:{Q7RSw=+n%i netV(b$/diۚ=Y&{X;gIߨ8cDS㜻6',+ 5_UŅ΁cRd6>kN1S4 \1m567 :2oC+m>|b'u,̊ܶѣSH e3,|֣S1ZvW9HG_o#z)!q+kX 4 _t"n ksu<F$}r=.)pQ15`omVܓʢՑPmck- LBiJcӖڻ/)fM670"Ӵb.@.)d d[14Wqmµ $դ{is afwqxoHr'\+S c;5tX!u΍}F G!N2{F&,q2 ml^pzcE#)`{,0C􈔙q[ߩ((u3^l I&7D\:v\Ǜ䠤;D$][y4~ 6tDpӎ{)_hԱ ]w2VY.t2 q:(1L_. %m 2Ik/pk!B-CyaG/ce'l"i ˘C@k#craC# (%."ɡHA7oǤɒM9V, :x^2>C"&Oʠ-cݻ2O+ 37:hIhum]}/\Є/c.*WXm:^`=\PRJDMT[(cq _k6SbR" L)c.f$Ylz *R`+̾ ]i8,D*ir@n3p@ϋ- ݈bӹ8񞅨bƵ' Tkf#7Ȩdjo_%kfl[x%3 i? Mō{vƌ#ԾfbkڜDإGv&—kϭD yU)c QDz \*V1Uc>pa<2[I1hѲz/̽&t~8s-#"֍C1S|v5/1w35hs8ø{6'NPX]@"%<ѫ4,c..=MnV[qRNúX"u]!mb}ր\l3cϑ]mj/xk| dǓ;fNa.4,;XV2 ڲnM] aqՕ0iIsb tq8y-5}Dl8m4CcF[BJR{Rel/>]o oe~h E[I),[|xQ0}^7ڮ!7m"̊Txx06u ;kbb1/x vk'e/z-GŢz(dc嘂Jy_گele^[rҡ׎++[<-:A;~\T2mʂ'b ,<*SүȆ*޾T ˰&8