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  G G*5z\$ ]/ UHOL-Record_Benchmark:threads=6elapsed=146.981cpu=238.729gc=19.2837zXZִF! g]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)C Y`؏By]Z ckgCmgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙ JY9-E\Ɂ?4G;@Y(.u'l_}YZ7zXZִF! J :]ŗXi%O~DlNkK~*O:242T pjiMV>X(f+m)Nƾ/nr/4Cю R:Y/~r+'5NFүkmCڪRhw]@v E8~b!clР?RΚm."'Y~Ǵ);ovDAbɅVA:{J5p]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j-5W% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#SV~|3Ca -矫h\zwQ i{Z9i_=ˇnϿ@;2OBBa||&Ll}q9~$0 $^ {hgעOSX$BNf{2ȍ\GuH{61yT>DI)n#[>r&Zgf͇8t_C'$6 f-  ŷ/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j-5W% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#SV~|3Ca -矫h\zwQ i{Z9i_=ˇnϿ@;2OBBa||&Ll}q9~$0 $^ {hgעOSX$BNf{2ȍ\GuH{61yT>DI)n#[>r&Zgf͇8t_C'$6 f-  ŷdS`f%u_s$_] X-,iʯzj>3#If'VUZ>ՊX 8r8G0„mn5fQ>k ël 9ioQݱ,/?1O#wLyj۹Bx :* z/eQБ]9%V&BQAC⻩ S9Tցn@dD\\<0Y1Wm|y^2ZK;y!Z53hjji#xi5-ȻMw{դouuF;Io8T]\ĭ;pY%i ^"Tl,A e;M0}z}P.Б2aS D.~~|eL%S5p6݀U,v׍ bdM&}x >Z=I-̔rfQ =*fwO=)<>~Б!šd)1~1[+zcEt VpubMb1lk=C\Iξ4jS.gպ8vL8"`tEەYi8|@NǕi.r,z|GF;TG2YIeT3cDPx_>5vՍ3Q+ V'fcJ|{ 7㷋#^5(̍D[_o`t_Lݒz#uM%h;_2 ѬbT5w] M\)I(JrRL ~,SzQq lpw qqAK=_xg6)Ol ^6%l2+@យ+h}}"|lʐ%-WbҮxX'ӹ*,+_\FDu\m~pkqۣ$Lwb@Դcrs=ݱUe HqJƻe `{l%Ad1^C-_%T2* N[93h]}邏CHӠkw܊uEN"HpԎt,s~Vw) NZ%DڕaிV/l0ފ{qSv{0>Crd/T!?~OWDh΍xy(:-'9} [jyٜwO{WM0p_ɲQKh ˌWQ8ÙsF% Y$f/#'9xht⼯;M BtLrOjY9y#|݃1njJ3^k H8 {d 8 #\&0)!k9i1X;tzP(n21UC`6j-zDvsY%Kj T>\!51c @_tк,WpJ/ n2p]V Z]@F"8Qjڤ~[,.~@!S1G-!?[7ni'T8]G;>Q =#7,XHmܖ0>=&RB?s.7fB<"TSh{3 ;>O^aХ8d NM(3W_ە:oḨOs'[)+G 4n[<սHٻzP,șBLרjM~k1( no\>rF凜mma!MB")1d;/JATvcVXi2kz4߫w!ҝh {[ MOc̉[:{*baJ7.dkIvy wHi$_Et[n*Ayln% =6Aә`rύCbD@T/ls*)gYZ%*H|d](^sbHlvk`L ƱeJŞwmf6]YRZLNq.KvI #ۃ=,pejP| ԛ LCq,a &fZ2,bٸ ! QzЁKGbo&- 6 ' F„xFk|X,\G ]{sDk_wNr$vvO?/(LжE>m!#Fg2Bxg%=ZOÎjt~굕> A.\>P:$"v$nG|ui#(C̻U?8.C5WoEQcAU叔+Ri.`߱!V \;Lz//˛urBTR=ެo<[I xh;$)/4j9(m]^G%G]r{9ΗU}A[9h jZdmʖ3G2Cʤۛ<۰A5l*.`PYS?Rcŋ9i;4v?uu +8/XVk c9?lu}EvP+#͛>gLq(b{ `~K[5S!t//I'f*Ioyj`3GAxortܞ=%~U _c:qثOo )U#" N[BBޟ3eWcDM,(aqa붞/wEߞv'jSq2!xꓟV4Nm xCV53p``S>{R呿eviJ(*i %›~.`ր]Uv4$?3#a#E\6C L1u)aGv)߯ hV7a-&kD9vޡ-ڞa_1ni\H*%9#zy>fjpy}Ah.j* z2@JYrFlID՞?tO*J1,cq=V8gzџDpgQݹi3d!cfE%>tQC͏ΌcmҨ1W9Zp|.)r(X^-&iD ݊L,%pz9M٠Y²$51D0fx,o@Nxw{tH94TFzp\tG4ZzJtoVi;.ɆBR'l"q.35}&`t7&g>Lpb$;DPm0c#bhL)eb&\Ggnݾ04$ /p(I,i;7oS_GT<-괕w&'Cd#sx98'u)]^@ENfb-b/hBHiM#ky1QRkb"GBZ0F )HI㟹pAd "k/{ sY>*8 'QMvOu4B'``.\F tZp#c B^FNlߒb7v^&CS{%|Ǐٛ谳Q5T"J/i ߆Pb;0`T .CK;-iTs@iiWڂ&QsU kN&%nBEٺ?$,"Zh~lPVn{ߋ+ߜuNXsm?O;?#y"} "Ԫs}.5K1ŏu h>'X ȾvJ#~4I_qLLPz [.KY."lKBt_N`xRL>O";$ó?ȴ-E)1!I~A `墤uvK r[B}wdh&Y;]Nr"-"<6]*,t鮴ynaglyCBk)Re5`L%^h#28D< @$ޝl/F"GF;h ݓ!<+XAljAY(WovP眅^0v:&Mjo\%6W _ J%vs&BLEjܻH.D.%L)3ijJ1Yof,~E%7:}ΨE ; |W75O;4Q!Z5u5B:.q  M6S+Y)V C l`?1$KEI4qA)oyM [C+_?ֺWFKҕ#e:aѣԵ:>tt+JO t|ϴB~KW.dB.f!ܟ_w(%tS̰)}Bz ]"Gogc1=L[0dBAމrT}c ϻjQONs| 0#r<.-6fpVNJFT6ǍW0ʝLW},L)8P4/Us6wᣰe1=ɠ/f%vBv8*ݹI#bOSsG{.!uPj#ǹA+ص%b{H'{ ۘ|R]qHi`QN󪻡ߋj73aejbox?Ly\ @@.A.$YyF3٩,V:V=L9*zf"ٌbeFqAVㄛM?#m '^8 5Yޱ7P qϜtnj /[z=Ȣ>@DVbRXiUü:mpb$]V"[\,'D&psH@lܡ}ͺr8\ A (kUn !dʼnغ,|9i? u%|E y(T>I"U`v %7C!g-<K94ܫ Zd8,Êdɑ!M}\Q~?˾y-\!>X[l\ZkҡR)rFݥ-zGO-C*_ʸ lU5kwfU)nߗIh;&8 qi ӿU沀:fϏ&st|ԗpZs;hOgy{X3kg`.>^9j\"~*Jy &lU9HrG/" tcgYZ    u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method1 5W# THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! Q$]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2Eȿ\$[T_T#MJJĠ7{eL7ς̂>SԻV3fJ9?0-tAx*<얥Nm5'g!)[lo3Oº$m%A6_gTlVѮ+fJѹM]lw+KS^4-h~H5f7<ł+piUtN5Ï&p$dD!*8x .5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! a ]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C27@@I-.E׋'ɫ?=VTJQDW6E jZ>Mp?eWqVF*䶔#mN,>D:)S0>'k4k!*O/.jEް7KznRTJm].0L{IO- Y"\ *䔜~L5ۅ.9|zq#; k뚼 z[;xެf"m ɦWye ۴¼-`uH#'{BJ6;-6*9ʹ<ϭS`Vg b,:C$:f S(:%h+xxjIÁ498$l#c^QtnYֆ ꌑj`exB̜ƅr'7d%ܡyO ٗ{2CqBe m@ fnn3ӏoC{[Mf5ܬ72: {bUȏ W&0cS&k jDJ1=N'Ob5JVFx+&@0xhM5vlBkW͔bA.f.vJw͟p'I-7 ,髈 gإQ4kw?wtnDMX 'Rr0+l㮴hSAƺK_ҕ67bR܀@B\t%~//:ڜ 5z@>pbpjF(9C*zQO@ t[WWoT_H`1('`210t #.Ht}\٘R4anȸ"ClL}ւji,1nc7k,^ʙbNoGTӵ趖lGUK/ x^s|u5Gx&`%Q!B{o;Dd%.4c~Pk2+;?&;U0Eq&x[z HKř;a= [CpW\,(8TGdX!xǤ!ށOOԉ oWt#r%IV̻|2煳 vme,r93CGɯφ5zfd0`s O,.י)Fp@\so3TAf"憎^p'Kg[ (rbaD <^1XB_%EU"PYcKtzmWL>'G,Ģ[^g݈ӄ}RHk\ fhb`]J }a!E&mryL!t׶ k„=Ϥg3e=J6WP/ \-`V(Ι{s~BꍣBZah0Yjze;*-!5%̮'".C* e~[[# n{cĐZ#4/(%ۂX{cA4jDM/YD6g -!0A `sY+SRį xgqq (wۘF&ܽm%MP̿A' o1pN]UǺ^R 5)̀@YK7JG[~Erz+CW#oCc3?q}wuS^KJHcM!|$P{p+}o۱Fܳ pZ4rXmUl "Riw$ dI2np)T6WtWН x_[2i4S&eQډsF!~ T%\C`4$xrCɞ͐Sq25mm2AIkIfY}2)xVpR~dzE 6$W2\,R/%uv)Q+Ӛ͆a f|ً'>P{uS`l0$_w^ ڈ]cbZζvg~N,}v~ ݄("K PPcCz|2A˨EV$QKƜ*\GifEKruI=U )b7pr!.0 yEc1OĀA|YGiEBOǗ'-'J]n/x\5 "ozFW`vd.P+HQ{#yXt_*HnR>n%eŐ<jXø4zqNuk䦾/xpBK}h;aI^q7Rre37M=>䗹>ڨz1ZY3 Ze ڈ?Gd{SeܔqfE-&$C~O]\`PN;q1̊3$X2V1ww<ɠIL1_ I7VsJ<$>_<|o`6 U+[zHb7/ÇBuʕnRH| fC.|FvJ,:R#>/%Lb']2((4ब0 !;AAa T%D8 FK7/-/mݠ6^CPC19&'vo Ps*ٴ=Xؽāz>hYykU C9qwdli d65?4c3fwQʇL9Bp :Gʝ,(,O(ȅ)&EH?¾?Qږ =R]>o~*z:I' ն+)@.9l14*K,d ͖o$ϯtGf,Ź5_%v~R<<)LQΌ3+?dy.8-I̠80t@sZ&]o)X)r[:Rɾ(ltۇZT =O؀+ vsr * `똂ʶuҗ49yNg6I{Pe ў_3+]>V@GfھDC^IyeXs|i l9VG2TEu?ξ@!(U.cz-;0g"9iLҭul+}Ahrbr՟!(P4)fU?122sW{2CaJ Wb(eG (Ԡ^-wgVV5guPՎЇٶzB(dʈVPv?s E[Д)}ilP)Z~D`[m7.1掫q*2} zýq&NSoN i N}ݘoŠ&hҶ=# WhY}""X7jutѧ,k?ĺkɨra.Q/,"|1K*v1w oduᢛ<"7G -SEH:2f2`Mۭ0Zj-LWiJI{ f{7d7V:b{ Wxgoû.+6=BBgL V*bߍ}c| ?yNiov^jK(w_&1jD$F=ظުTW.M]v]U&,%uh$+Ȏw|?'rԂp6QӚܘ,}_+1GjeaQ (mC+sa8W YR +yk ޵!JYhN׍+EM@zA|?@&j)9;'m7DH/S*`fUh3r`ƶB8Yw4_E$b^[IM?Pac hhd0#o#{i^N|\ ?Z2Lo[MgPTR_ %1VҿRnh3D (RXqVsF)gB߫bѵ́KxSW3?t7)`Tn;g.CDEդuOk>M. lTHYT{  W_$f;8@M7^wcg.I84ci邲?NSϏԗ wcF V9iĴCe~ K1=|`>QS NԠqyl&~&>fD>!;. Us͚徝 >Nt_Ú_|# (/ٿ_xT?Qgd6C?z/-|D l -K(fؒ?b:tJvVf"fGY'2dΏ*A|iR *ZzICsb>L&\5>P@9/N6D]ț+}XJBeYxo\kqP%=1M&<(w}g%K^PߑEQE.HѻU#DW{<ZV0W9w~>,mp 'HͥÂ;\<ʬ&ncBl}o+I?N4di Ԩ V83-$jw'<eᧀXVq;ٰ^<̀Կâ "vˏi0bvMM[i1wVb0Gg= N3>_Xm(Ţg3IρH,![lܓ-ǣ+cTx5WP)2.x 9y-E(fEYP/y-1#gLQ  \Rn!W[;ukbVWBt`wls1.T hK&dM#1yN][>blv&Yd|Kkwg(a`ڽw-%dG-37خYL^y=zT ~;Q$K{WS2\(7AR,{^yJ=Vq(!x_+*hLRJgpD6["Qz:9hM q$37׊G#!Юb1˓M&,.^6vK;E)63+z@1ג_/)>G7G… <Uڄ=`C hL3X4;ŽJHr^ cձKڲx( ~R2PoYZ4ANL桳5A6f*RcDV{+0|.eCwa'qR@P]G1`=:R "(L.5,~]^?eimK DU![38Y6}bO hP*eMCP\ QBdJM 7&V:r-'u8!X6 X1b}`ѭ*jR"Y(QǶ@6 ?!ce}C]]~EVV)s߷GHB_`}DE 0h)!~R-Qֻxo LYs_x'OqЄ3Ec=ۦF"? v}e0-S9墨Tc4{I ˸ib٬<8_j>d77H(`( B"Ev>ZL8c?-W-)@u Wo4#_MӘ|Fƿ֫ hjd0cߢv,.]>kHҩ+L]g~ğe8Ri'V3WK蚄Xp:nU7c7c) hfY3>"hƐ_2{V+ZdJ8g-D{To{C h4S5UNAv`wyŚަ_9a7-l6U=RT:B7:[ Gn^7ӄa U+0'MrVz+>M=SpXa_kz;6!ñji&OARŽ0zw'a]e~-^-ݡS!-Ѓyu_S!r;Uv/'05ұ_ 7u 8%Ѣ bLft]s\ Yeߦx+2߽eY.N0a'"kh9g S y !}@7៲M`4ݝ!L@ӨnȒMYQc[ŧbqls+b+#!a@KgjBqy&wZN 8vfӅkJe1*D2"p(hufJ&8]{n3^:+,+3o͕pI WS`UMV"˨_;;b]X^E5>P΢z:?omx=UYLP]ܙh܉H'`^Ă /igP|F,g hkqjei@fp9㞿%KzAyqKH9 |[6#~sbҚ)z5i9+?vj>JBӏ29u"L#we`N'eZwAii1r=Cč靘 },;L]Kܭ_^)tΊqJ΃ e=rě 7*T#+^txPcoU:Qȸ#WZMvެ@|oa|x`1xpi,c\5v3uQdLjdQ}[1QM4 nTpDtX/(cn"kO183W\Z9' ;Ȕ<SIOl|FnOu69ZXh xZw|Zqs 7bXDnMwҰs [ /B3Oos]R~ W>!ص"3S"qRo [tu뢽aAZG^:2!HiNNK?)B4>7/?@&\I#Q*6*oG NBX*+w:3[;0P ߊJ|tr7Xdi Ks_^Ԋtt-%2V-̣yA;5c ^>ҷ;]tZDv%5]t/n3vyU6̌+NHFłw3#TIl^+lEneMSdX-nx/k(/8,\v@opmFݘ@njv'!?ST$ǖ@w$'goHʕ Ћ4];f+( WlPz33ѭ+Y򃑎*yDqnlT15Zf.RĢ7o89캇>ҍ}91y뤞]YgѰrL?~tyb(_)B ,~Id} %I!y92e<9,1I TC ը<;d= S} svBPխ\p"R̐u)C)p]:<c.:_FTAL%F/>Qr&BhttTs6gȤ8uQap m )iw)~C{d^ض QcPM8&om x8pjk-Z6ח ? М@S;M6їOͺiQh^^Z..@K d{ ևwZn"ę): |q6b̻p<\NQAk6 ST}X"C4O0WhN{GH4\ݏŅ U14$@3Apa~ FBCVݗI](/(Ժqkp뚦ng^jvD!㺶| 9{/1-,kXXEV6vkkL\;EDzw\ld 53C05 F=k9ukz}ꚤ 6=T B t,(@bC/H{4{%] _ D֔J8Àkٺ*j2v5uRvrfL>n:3 \JM %n/Q}d _DςBlj?DBQSJn.h?,ꗈMu>?)SwaH/Vћ*4>= c\9n~JdFB}є_(fu>QR=C @y_Wk](K[9j]"OIJU%A%)eujM+jvBH1U\Nk[.L ZB)xLrCeC[*:3{,ja0)`U{-FqsveO7Y gOO 2㽾&d)t :$ ORegpJAnIfE7pFٕ1?[bin[QAP/f"Jm.lI<'s+ZN* E/Y=]Ag, zi:QpGGUGrDg./~2[V>~CdN%ՠbՆF]I'0; cj,wr͸``W//,fnFE7ճ3멈*"@A}:nY Pqși<,vO3c&FC{llz@MB=PQԃmui%ϒYcW5 +ku@E6=GM>sOMY(m䢹co#3 RHK>$ԩcn R`2:a.@pHѴt2 :6H䉞0CAkU{ m6^76Jk$ T5>i7 '-JVk! ~U2GW(@lv99wuo{gr"{:TJs %5(Ahs΍ĆKӇ*j$n|Fc;tP pE\ĆCjHII`B9e"!*`^^3GBOR AhSBu($q<$9 ]A@f"OJփ } %8 g,L* Xmhn)rxER]LAk`#Kw4UV`N{?_'sťwA3<5(獯#fH.B?-bswoE CJ8MsE溵ؗ4RY[w40H0ݛU$7^7q:Ģ$c~b/9هhD [[0&NhFfX B@ Zo( E(}W)8=1-&#UceeÔc~n@ 9Y'RNpAՔtl$32cSzmƵ1#>~RAFht2Y)}'.<Ǯ2Ȩ oG(8tgݹ12Ud$htim3U ~i3o\la6;NX@ ?~.-\PLSP3J 1FHJ-=V۠C:ґ+>{#NY_S؈3;NiT//r'ϼI0K&q` ٰfjv~'%R%kOצgwGHy3z LR`+{_ayfp/ u ڽ)avx%V/#2Ҩ7S(ii k(VRҢ«u \ NF(OROJGךG}ѻ ] #YE瑍#u-6;#p8ۛ,,JeI6أt:IuϜ%cZQ ^Վ+P=gA6SJ9>L{t6w: Ry@z:|!VqL2%(l d(8pp /#n GF!dIQc$ouBzD5P$ycpr%Zs d5e#-S.\!@cʢܩocۘT C+ ըT fD*aXZ@w.Wp/MTA9@tLsbBۨT {^ڗZ >WU'."_Zm tb kWFC qVGPP@b4u"5?tS?u[$^/@4;)?JFBu ͞&d R:fnտNduTu1T$7g^q{Rհ#C3f5»[a=98>ڋ{4?R%쨣]`%b٭&(| d8 0ݿ]bk0F$ 8yt&4:Q,% 9O0)t1]/NY:$ؙn n5vP\FZaChd KR gj1CD?#k-tgik J@pKb2?m:4V‡ qu(l$}ha :{тEQ l4ݭ'W;U:%%JI .B l)yjpˏ/\ k{{f|wD{TaK6fUԺ#n,M J[ 4tpaڛ]Э|a=7! [O7k%GtO|*N  OT;YSl֬ Z2le~J !egr썉_ E-?5`%Vw|SIh=`35ԛ<NcS򝌸 "U/4qȷ(}JDUO[҇MG}}&X|;d;$b #kZm':=~awY%Ysxb=tsޒ52M[mJ-#$5ـCq|3 #\=L܌#]6 ^ӒneͱTۓExB@η{Vһ;<(Xi%k6" XV3xEf_W}hWPZ8%=qsdePD1ҮʹnwM߮T.A65b|MVe[(6d LbND`f,}%z e4H A*]LV@ϬH&d^?'6zBsh<;nse"1 Jm8脳LW X鴢D Ƈ{}|iI Nλ׃Ų*fWE- ]rs[,홥+cR̞HP1x_@}k } y%Z?bFaMΉ#rf2r E)VrF/i"e|ՇxF*v]ZY,!]J{B`4}'㐸+q`;2X̾ XupY}xIn𑀞 6, [M>1Ai1WדQ+5ZˣО C,;p75Ia(u%m ~cG?@Z Rv#"I@>;1KD.?Q9f\8su/xLusZX"4\zH&epzvy-7+:KK*@(nGt` 0Ԏ|l{U,?˚{c6|b}(w>_"[ |Q2T94MBYvIdS"bpӸ3֢t]2ÈI<}Ɨ\N{Oa HWaR]Yx8k?ȵIZ |5Bp§KJT%"oJOgńF+ VWJnfd+(JcZ~Y/3dX k\\Sj((H*H@׮0a[x9wL)M m b.*@> -]SG_eyHUD3'#kfA-fYE*HK3yYd)]\m?d-'OݞqEkbtZw2cu&zkI1ͲtٌPVO4hke&sɁ\8ZGb't8(%  ;ŎbyRx%|M'G.hgldڟ̈́aPb>>𰟶NIےzyF#$U  _;,||lΟYyę[ \s28sE5%WD]>4!7|Ba^'$ifMܙ|d޻z0qW5C5㽀{SHhPp ~VpR~|ѪM9 Ţr06 0!G8-Y_k&z\mC@׷z熜0l1ۯV}gA,mRme+UӺ9ͯ$+Ǩ:H.5gј XI/@iUrɘE^a88,>(^v|*zPbIϿ2?eIiH7=iPVOl” $%,@45ancրu5dx=+pj;H;#wӦSW!t12ZE6{ʞ6MN6#a$Os4~lڀ.P{= SiLʫ" nL~_+Luêe4]>tإw4D0R۷ %q@I6pJ'3ZW42$Sx823gmk" cBpyV%j'7?WCc.f)y,XhwZU]3oǵ;,#Prf  æiǐѓ&^tuPpֹNjccb6 FxYJg=ԿN1qq˙ۄk|(۩>XT(o FiT:&?ϸYp&[Gv!t-٠/T+L™ R=#`ȗكOy'qmoF(1H۬ z9.,=6*p*=8awYxv F lrc:C5A2 Xawen(H{ xluJ]l79rM\tJTf'*P<רd}{uޙT cy "KI9I\;ptS3m7F]I7^=tW%H znR=F]Hrfo` t~з_1*´2wx%HƩN>+7?9 -END+7@jf~Hb weJhn5 Aۿb_3y)8Ʌdd)UCۚYU.B]n &Ȩ%`nwc4̝ۢS8(r*OO8n K4F$VїV^wno6ߦP 7^38MN)wzKq2mfQ9 Bf$*xzI'RYp)$w镠K1*س[A-f V DZU)P"Է(L }k*=YJ`p1m˶%~%h< 8&s0No }q.A$h6s4Fׇ_ ٭pEXa.CɊe~t3g h9]KŞ ޯ^EhZߢ" ><}ϓ$rD 7 ^$P q&!DRb~s~: d2LG>y!0I[$h.PT\1*H^QWyٜ$oy~r}8;o ?y!o Njx{NvTk,yjc# -KsaC]:i -o$oЇAArM8?X&3 }6crdڱ}!BdM)x;fm@g+2h#Oo,,Ƽ'+ans#%:r_ߑ~†\NȂ>؍xbr+ܔH<.{$C 3S&/|,~F:K?3ntI5Ɓ&R'@6l[A y7y݄>σ' ǯ@-U[O~{9џ3eJk.-^fԨL=q-t1ܵ^Aquxi꿄e+e{XH=|d:և`o8~ҼҿTһhw&6rT&$eM`[B ?஥1amzsk0BxzWsK=^aRbz&nf"ES*vs,2F nR Y{&IQ%|@咆?VSmehOT9 DGxtK [פ%F3Ī˶ŋM-Š-:`@;[ 3ɦ>R]M<~2G[]px9::cr@%o$mb:' !JT1w yW`?xc &h.#"f9'UT \D ƸtCqvQ0 +v9Դ^afK$?WseTh&`r 6ӣuE؝ m;^ϜQ `Zg}:e\cܛuŨ?% p5+G-݆&Dd*.$b0y xr|3r Z& jyũ:@ |ŏL y{&azKc NT1iri v9ale9?uJd->_ZrY'$KxԈ^#?փW.Go}HѬƽコ0M"; ؉Xmş PJՠma]⧏R) qLKZF=VgeĦ_q-G΋c+jh6_̓A'a{PșCݧ&k f3,}()98F{Rpx*P0mXNR؃~5 T:&ݐZWsieҮ+uegJKi.8}={d U!hcR!fzv7y޷LJuگg Q$ bBw#`[.I sM)Xܑ_l$'0O'6N{^s`ģxj@;e%ֳ3)pgYZ\a>=Дy#/jI:\σw6lYT ۹aHO0iV-(&I2Awa+{*ԉO FG^zDM#Cبpi8eI[t`׺%Q_ꠙcuK3o)⃫eCHaא]S/E04əh]a{r(P[q@`#I#hf%ѥS>Bb/xxĉ3ԗ6E_p.3cˌ3+"}"y o(ZƪVhuW}]?A>#9vu{%t0 E=t`CjV_m " ,:2 7aZjF"DlshRF8ѡǨON 7\BS8K(5wƇ$qoq*$XϘ9MG)G ˍ =sͥF{B#Uhkjf(AٷIU?qjoS!/ ;qI9J92suty)yPO*.ܺ{E1 .FX(g"0}eԶ$P%U5 I üȈJY[h ٳF3 iړdgtpί CaYe񘁍Gו0X\ +k/ehw+:?o˞(#stij빉 -fʰƗRz׳P_ ,G)#!ohgDtseY Irv"->̎Vxa!6.ЦEϝ~ ZNDcr÷MZFW=o}CjTM9V)02v\A~ ʰ4ai'RZ&4#ZH!ċ@8=7xm T@ R"uPJɆ 1jfV\cywd4c582GD$٦])jՌkH=D8 7J&;-ry[L8ѵ ZWsaxIΠ+A*|\(LHzT#|ţ"ݽĿp;پ8btz@~'ZY dh 0c[:KdûAEĞKfce:Y8bn4f5H: m,)]1(xQb9V2oWo.ԭ=;TKs`Wij{&Yi d6wc,O7up)G @+p}O=}M|Jz#fr|0bx" L|JD:,#wIfF8wf}?)y_c{46{ey(HavyAH_M1[֯/iim~w >1+ =Qa`7UL2a_;K RTU0hz͖)hy5cFk Xʧl;ja!Zmk,'>b&:::m8IS80I$!ˤS>sm(s$P$NsJ;]4G.t Y8hհP:Ms$+]="IQSXyKg6= zqf E8۞/'"Vٖy= 5^mz) A`_y4^`ڍ hoV/5K^\CP#oZdP"uDl(+Gi6MzcQNG'F7 q]k߁j;v?ZDS~D!{ %x1 pOȂ0}v5ZuJ UdWWTPӼM륶(œ"לy{@5dxh\=g/`y@1q~If|K*fCho]vltcArgIR.¶YE s ֏NDu必ݖN>qrc\N,@`O|_| uٮnZQK$lZPFCH-ik#1+pX3 p XRD''1̽1y; Qqݡ6I̸-nNg;ml({?7s2{ECUY|lzVFАtĂfzi/Ƞ\oi7fX Ӡ pi3+COQ[܎ZԧޔC =^ΓѿʎkC6 <} ȘUg'ƂU3BX-ur/%"a,l5 =auץ5&yY?)-ݾpe 5&fݾ^X6 du}vi֥) | C?gb;J\UDwG)%8 ^pAx NO" X,e$e$(/_UITQĉEnvA!$s.'zu.Jdz2\ǖ uCC"Na̢hsWfQ^Ĵ-΁0p~vz1F(b0-#O+ NE3h5L UG|-Ep싻axsl{!S,ێ_VD!ͯ{\aݍ~g[L;_ڂE{JȴV'_,L ]4M: } ڭñ#uLSҧ7@I'|/4@ЋSc%W烪]O0C{I5B髏N`-y3UaJ] Oo TSt{SpI6 7gYZ V/V 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_id236F5W/ tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! Y 3]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2zd*s5Nڃ;Gt @i)jwqx@4Rx~CVѡt^2 ĸ9i#bڃx ~Y$sa;ꖨ8pפؖ#HBBW^bsI`?>;I@ {I:z%?gYD0:~|8ԏD)?kyo IcFŌB&%H8oOH) &6}9db\?psqڋ=D>v_dT6|WSϸ[KɃR8lB:j{F79;Yb G0C `x6E UTNX&^'c'KP lHCF!bRO褾d޼yzLѱZ]ݜOʞA a_N/g?t2zpޘLܓJā|1_#BEtR}I$J2VoZzV"ʫ^8Lt;̌XV&IOyOs w^3Lr[C˃Dʚuhz ' vZ:C#3M緣@lQMN* Uyy1osNgD%W`',GJrvZ#/ JM&"3ajD} p6 :c3 3wܷ" E [iv_Q i/PB"yT*G@Xyy[! (fˣk"|F4TPEROSrׅD%ax?f?$2@"-Wlp2% +GD\QpQG ~BCNmBI 7)dM[1 |w|VbYX⿹H:]G$@i@Tqzh|= ̰tSyP,wχED>b&n pEXfI-oDC M[8V>64*2wYpgjH.,AvVYRذl*E!ty2j,E? z rYFi-A B$71rNRDbOD#Ba _@NǛpje6Ka2k^MjДAxeח˄KmWdFk;J̎+CAg/?C6[Հ][(Z*OV9H{8ePe?1KP+X`lQӪ?"}uRT۟}0ҧ9J%:QɊ9UU&M(3atUsHI3@B=P(^ $rFbOq4 |:.To^oN' `QSG ̿jO6Ea<߬jkp$0!}xRuVWO j76`) ӮqJ ˻u)Ľ5h 9*uc h[ t*!:T%UNZ+* Q+`tLfi9FQ:FC3!Km5(90q5SQLo#D2GD#l=^oJ&MKgPK8K7j Ex:+`A4[t^ᇠ3LK:Hb(F{`4Mu.-u,+Z)FNK7 QS g R5ee#G˅NJcJd[c\ gi[k KO𰝓.쫫7r O?Ӥ(y=O5%^ظ^Q@9e dH3:u8؏; YgyDJ2u.pENJvv8CzXxyc_:Mg S%f,{2%Dԕmw $)Dv-U܄&CMu80/T/sA.*iĦ%Ul@5oeӮ 55H 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! j<]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]orKuU :;kcЪd!40w6cC YTow݈Yw菥xlz}NMRb!.^, FRG^>~GV9=wm*.I,[:)H +DF!nE ;knp~NB z߅gx\܌leqЏ CHQ}/͓`?}4 ]V&-c[[l(P6EU  ]pG{=RNz: ?Ћ$񁜔^dNљZK'{9?cclE oz\cpvǴ5#udu4{ɤ  T>Z$fN xWt3!р2vNMucB?Y j=U5 z5z#v{ϭsP*atӮ ]nEl>,&2$;V(̯@9h_xXN lP g)Xsl1ds,R,wn P#FؿH5:>'qƯLB2bM2A 7C<_1E {IR5g|nO$y'/=F`e%8t<%YrcP^.1 '-/9,'H"Sxў~#ZFXq5amXA x o{y RYMsw_Fհ"V\i͈9b}cYbtε;iW%5쾔n&_2Mb*NaJg?}0^h(fML!۩M+!5KKܬFX#jYR=oS MmGR${·$Wϭs&/Tިth(CxuNIGLMXnB,'ѶYD5jpčCnpًQ {R#5n^f 錙rJJ7ZjY"F)y"2SGq/Dmkt^7vӅ6Ou#I- Vѣ ]qWo ?R[5y90Xi{$|DZpw|(vA8 ů]\/O9Cʒ(2<./꣮]&Kŭ[ 7P$yY$~Xϙq~/AVfO~#.TH6\(sHp((o ܟ^[ Z `j%j=I7 N -84eealG-Z1;+⏠rg~;49|b^REx025r8E Te8ٻlZ;)8VUE9f"@EXt~gPïU Euǩ2Px.guG,۩)/촌~i+MK1OX!{ pw1kY2|1"IĂ'CN,o9~{}>aWأ HxÌ*7K:&oU&,z˞K cT4BFއDn $8\YطϬU3X_tAfsH:%Ǩ9FLȈn)ԴXVسd3' .l cnrue#9zOf_,ӏ:cZLq0`EZkqX [S@bUC@L?Ҁ* /<JhӢ&{(`*H7m+s Xs#犤jCx ZEYw̖Ov|!Kuˌ9" EҨm&>j,eDb`YVwndW mx!Ϧ>A.1W;'|]:#+Va.Fȋ@#,H18_oh􂹹D^1Z3rgufkT5 i6S{_IG萏"_'C5|trsӳ:#&\E&^.GW >]`ă@'G vl]кfBbeR] ?s>Rii6Ӝ_̸80;΀W`(qe28!1 ܜ,v )G=o1N22 05F$hجڤCCoY Aqޛ n܃l!~~]aAZ *AIPR"ᄌa5椮#LqrSxmIdvkfpZs09[oo 8A8)s&:ZR, gE]ҍ>(zeVn=[n)p?,5Wy.j4fi-L55:%M=M קf 007InM7]Ë01VȈ>h]- mE8 wC1 cQ7|27k[Y^J׆UXA[hc>>PT]ɝR81/xc3hsߕ&gjd@.hp] Qcox+B;:?iӢA܊MD5K 3(s}8?(8200 F:qT R@65l@{#UD3[!4P C@OX8ru脍5>׌ sTqjnN^:g FSzjРLajva/)PP!l$KL_L EF0 pP {@̯N%6wb~h(UT ߅^QF|#&m@eRX&?8l59ǝC7϶دh`nF(i{k^j|2^G,",*}ey5KO%ߊ EG4̥5u VPRX@9o/8i^p"Pz] a0[V&/f ^9EyZ`dI-G[L>!L?ѭoI⥐Hg N9bŧkR>|܈uaDpmuk[ہz߷& HgYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 1 k]Άxʆ5.f-9 rq=cbɕFY'&ώ7g k W>r |pr竴 qC6pSg$?!H[S~|-QD'+Ҕ< Foe|ʭ>$:lWƋrrrƟ_|5o}(Wy\K QW }$M(,k6_WcCk =o`R(b ii.p-zǯ|6.*ho[{X*Gn6f.(usؽVv(ccĠW/S_ (EQ&(, :mM ϴ9!, .Cdv3E޼FWH*jSS1gͧj:T+`*gaU]E;邮q/Y93,cB.[vĵ|O>6x&Xd. X+g)'d1 ⱆ6j`!A(Mdm)0P.ĝ*pzVEA k7m 'nƬ0T|nTĞŗe,'U!aYR KuMg# ==hxKqC0jӛi`gM"_5$ѕʎƏ'L14nNmtn8sgBkl$ |MїaC ;c5dA /SD H5EdmAI>n&&O+7/K8z7Ge(YA2\#pIPWҹ ;8 k M٠ sivO8 r &£ ӥ}Yx&܏ keTKgF)m9cwx{Љ%D[%0J\6]7p~^R $@B]1&Fru*a܂F5́j@ |JʻUW)u=ifh,_:xA ˋ+qטDɮB{}| )Ա}@b_p~ ] m2JJ5U_d:$oA;j`I ^"`o^W5m l̲rwSf\)ٗY$A뒫RL,G"|vj>ml`S 1_m8'{HS $ $%"pɻ]ZY}R3!xw5S._2w5J]+q|V́ʝ+"ȠfƋ$?w?!Md6T 3E*qu5(+w/8ugD}AyNX[֟5Sus_yV`E`;OjҘShF f*u}rzLdUFQ~N*c0fg%a߼CdwQe@:ռeM7`8?3NXLjc[?qmĚrJ\:M}HBLf .A|ˬd{ҎoXQy2c0L+@X<? TflLA7&-1Q/7٬)`qw 9H?W[6x!MWCNdR^%?I")M~ta*^&uʞh CQ1&vqz'Hi{}&V89[9(TO.Z}nUl ^5Fi3VS 40&-brri+8(;'OUo{煫.#$L$|2 e O,u~9U k[(04(vu#*ϡ%\(=~1LzQ1X8-iIOxvOkoK}Ee)=*[iյ$|#7)tixԎI^KxY/m@.\,yͧn}:<H[8F<6AVh v}%oLvсf>(*?g'fA@}a@f_{ssEd7740xE 3\ȦgYZa_:r U&29!v[;ӭkq ^ѲNr\ |' kg5fShUaHCM5yekn^!?1v&΄ʡI뫐LfVS<)|\?T*'6J}  >g7R/"&2D'h"T2X9et TAA3hbEȤi]X›ťtBⓞN)˷Z+[( Gzvh9۸T? k:M1Q6~Vq6JjT]_A؁N:XQvᾺ1ZތbIKqu݌t(<$vdLeid,T?[oeXq-C痈0O[^4aaKg _ї+w)X)١TY—@d|<n9M 8%ú^ta!;vhP꣚Z J=^Xљv0HC_6/VXvTWq?_ps<@ um#iO&OQUh9 d0Y.˘mug/&}$f# ,I}RÄmxfXyhfE[2}31/D&ɑqh DڛM GyVe!Wfz`4dk},$ iJ4Q:4 ?&>fc)jsEM & ,Rpzגc'A1?Cm}Jԁ㖀(5=1HiA^/ {3cs׬Yw_^ uk̛KU%ѱcG$yǦ΃~O#e*{tCyYxj4E%u W2普s^T =Ui%zOxH2ah+Va:qgL2܌ЫDLNe7"aX1~-;DĠ,R=Z.s;d]-L6S R^oh|u_;D/*MR6 OSLJ_8C  )mg&Z>^ h>e*Sw}¼sM1;gV7)[ rDfEHŶF/r?X'Ⱦ~*&UIqsjL'O%eT5AFoU2=s=hV̜b]߹D_>`v@8ǫ[8I%L1U_/,,~IVt92n݈T|bL z{4?0фbtYMDpHK]v+ (y%_/: S(D<޺cL 0u^uCQgZlg6!w!q8n':m0 ַTOs'2O?rrT]эN`P F֞S/-?~v$ыY [Lu~G4,+hcxU`:sVRV&18Gd̊:}xH1^r^Kn5s=.BX4NvkAL0[m v/0/lѯJ0y>߶,]1| :w@iDFqFl/p Y&h1Ǎ@zR8'R15ƽȤ#jxp] (N%lx[(/eOA%cI@!BD.eZQ5˟8(0Gz$p(=d↖Y2}G/L |/5^:V`! Vw'WߒOC2̂zuJjgk~ꤳ2M,85ǚF`O ,C9u|ݐuOmj`a3_~iӂ)֞y)p5JMST]s.\d\ HpRL|4H֮ڕ \reM@pΡ9W;çmMş4/ar*SDx`ӵ=L#=C:8e/'y@[t\`N\]AO/zC=PvtF׮jAFo_ڕmfI1ppp AQ͕:7eyj?2{\xP#v" V.`Yt3Hdy؊ɱ"Q-ğ%8"ܦ ]Y1%k96 uszhfB৵+45_Q3FB,s6!UJED).GFU|0aH*R< o'FK?C&yJ BM>g-:2SEϚ`7D 1u2MEL(ֿ 9؜Y㉲..D!a PEC#L'bF۪+7yLÂ2gb&x&li(v ~RLժ?I|7x%tvo$N/TcY%bv!&s4\t.]Aޯ h^d4h`U yIUw9tCr/ ]M'i |6E 6Y3̯ۑ?ωAi$$?ߨ92Rx^bdpPdv?B%"(H{kC8@ͽPQ쮆%"`g-seG 7x &fibEOf8VT~*fLh9qW(JycTa݆, w{I+IPHM|Q8NQ- ԐjNSԨ>/4˨s f&>(hO OO9QL:/F/|?ax=&#Ś_:pǧ]UVl ("1 8%M UUS uBka~P/;rtGDlV+oj'O?v@^Y~N=ZBxT$ +{̦u?[K&#ҵFx|l[k)JJuֻBuvRFM+ǒDJݰV{\ m oIvG=^<'9`r凪Sbv8PQNi&MoݶCI7PVs1&? C{ Q# [@*.ݷ -"Bbx -33W CS u;bn0F`%͖yeܫQ/ԡͰl%o<ȖffpxOBA 3J^׷e+AS:[{EYgFA%6,u\=Oc g%q0g7Ws&4ʖehC-/GV*H>IJw9yQn ]j!Vi &{nL'75#'H ܢ6@)MsIM N"z`RZET7dFoqSe:z`P+4O&604N%w\D?o=:CruSyS\[7:k+ GZ(a!AIla92%L#, _`,iZziTSЦW}(k+ #Z)| Gڟ.sՆ";gh;VM)5T}auK%BA_ޢyu| 2«i]XqI }^O֖=L٭4)7y@1ѯ8QmfmIyd<44ON8c8*?u N[M }~V |w¯5B8ON"k\|z;n;8pH/O5p 4 N >OuS-GE0'A'F_hr`tmĔlWzPA9SpV❵Ayf fm9@[]-s$iٍenWxo[%]+Tp,#،&"x(f˶TQ &itb\,kX[bM.kLMWwFX#wgvY!а7ZƘ7#Jq)6(cSHΒfDaƚj"?1_M.zH=>< )dfR? גjv;ݏM˘Z";0U<01Ap%UԆTID2~l ॖ-98WW~T0yEh ;f]ʙøV#ߤ"PF}}`I4E޸YFEr%f<\;#;vkl{ @| Ahq {ז;NR`BOPTy̔t= ík ­WaHIU%o}'ce̖rH;3@wMʢG ɴn厑zJ+1^^\w_` H#nBbT'pPo)#x~FwsYԂ, bčZ>-{Z, {Dp7H0Sel+0)›6.EYÂt,IVi"@}V5ۋ$60N[r\ʷAwAVŒNf3ف>>qhEj0NV幌ȦU'a4yBsF-6-Ҕ醭 j{^tnq#6Tn` C-֯sjݺO:`+p1;hP͊ӑ='%Y|GsF/ f#~qP{{>d57fm`'l @=G X{*w+tG &*\W>!:Bf8j{c.Jbcz2 m n%N=ˋ;`*w9'ͥ~v{d9ܮx7w@t0?2oIy*lcH//>am~2TDxjAlI*a')Nۮ']}z̈Ln{Q}xD7]>MK(}<)96ɹPr1 B;4UIȖ*kuSHe :2C8P|싇$vEFR+ohfIxA_',Ӻx[؄Ǵ@'.]G-~xK- T NPR؟R5c %NqmGg*#-AdĜri[2?KKk" Kv0# }@ە hIgYZd6a9ef52cd12387269c3ca44f54b890a51fc40ac94e2b66d00b77875014d997ac2abf11a8e903784 18be5846271af03e56b22434e2d70261152d12271a3539a6-1357-46a4-ac9f-2782569ed300