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  + +F5z$$t ]/ UHOL-Record_Benchmark:threads=6elapsed=146.502cpu=242.918gc=20.2337zXZִF! 2]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)T;H8a>k^e:$SckKb3=M뎎`vMMVc6F9gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘ټ% b|+<ſ:LBj&vFkgީ5JRl_}YZ7zXZִF! HV 3]ŗXi%SwDnT.wROlJaSL"F|2cA¼,EB1mb'X\B9#Xw5$͂JbZⴤ7;}AaS AX93r< &j~v;RIcZ(PX'Pma2H@` ZEUw# mfZ4`sJEQT@ڙ7EUEoN]rT+Y# 5 HOL-Record_BenchmarkC5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]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 j15W% THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#Sxa <"yMknp5( aE.VqiR]pr*F8~E_Rs<OOrNgUc>fEbjZ4հ}SWrдa[<aH͵)* QG!S??=EVJ_L`}ZWָn%-GOǔ-w N7}Gi&ݨѹծF´k<8plki/ԹEN1*pe륥hgX g6Q{N zRK)$-gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Recor      _ 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  U١Ԓ<6C75u$do,;II5>/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 j15W% THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#Sxa <"yMknp5( aE.VqiR]pr*F8~E_Rs<OOrNgUc>fEbjZ4հ}SWrдa[<aH͵)* QG!S??=EVJ_L`}ZWָn%-GOǔ-w N7}Gi&ݨѹծF´k<8plki/ԹEN1*pe륥hgX g6Q{N zRK)$-gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain Z5W' $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! *]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 Äg'5Wm$)ݜgʌ_ 0y>e m6|–FW5P!\rG1٩$ td'/8 F6WflުޘX8c2#}n0}>akNߩ#&ps pH\8`6d-JUa'gx%#m\A!iƒEJV |mFMXh~H5~OW~/ۋLž#o;+eo!gv>7 +@+ـO'q^XII{Oz!/d99 [u=i+ys3]Gb 5[3/ť pax PP=A}^ۜZ0X13QIJDUEP_(t{ x^:Rc]l7+P {p ֶ4:TEdBjZ8x1m<q TG?e s߬'L3,1hU٪w6|#RqD&蔕e7u,&|r4#MuW$IȺtкWa<~[2 G¾le<.Dy:q00O[m^U]6g"[ႜ'lBs4~JqJ$ ";V BQ]uw!촜#PY8 mnKx#nfeǩ;MK>@-?6[&|"o@0o?~Ccz\TqA 37[C>+ayJ,v^?jWM9BkfE/vlWO_?n1*%操5HDd6} ; 6csgV.ȿb3vj"ødin{@z-.uP{NLnbs >5fTً伐pw2Yx''ޖ~5!{=CҠTK_dhWD 2*As|_%z#| 5C/ Lfs׺`1߈qSlqbOkՇK248uE]l,Y.v &&)LH@ KW,J-,cki9lzqs2Tq ղCrA9,pp'nvw,b=`gcVSe ^@[r"A73ѷt`+:<+‡7]hE(/+#b#]J IhbmRbibmG+\Pɹ׼Tq %4RE#?PmQ22>?q1zȀ\hGMH4-84{~yۛ_yy/^7^۵{x!B>We3:AՇVm1JեWk{H̲8ӵ:^Ago|AcThUi`6/sA$rxԊ$r qHz{%?p޷n oJǽ&LO$2HbVVbX"`fsd1jMo7J_x֥G|8E+`'uw}zԓKAݼ'Ƞ2IUzMEK)l7U~Jlx$ GUq<8~yD0dXzq h-)(֢@P0#@ CmURSooc5 W5fQS'vP0U :=-6&Y)9Dٓ_cζd'c&mq^TT?zZq3`?4z湑?`t*}e" 1)}9ŃSL-h<屩B ,uFpfy"a~9m%nf! qS G* ^Sj ]?S&-x̝h`Io1:uohuy5~  qPml0@ [3hbYAdՑ_Mxw :rLi:=GɒwZdȇ06_W#}fD{S5?Ӳ$6y5T%} IDL&Pfo9et~Sd9Y_P`QP9-d aƁoߛ\Rg=S}ؑglw/O]p{=.C "Ld۹ACَ-ݮTWEOaV_w;ivE M<ĠMZbM[H; m|Q!ߑ\WC5Zk]h8 I2edur >PĒk:ujzibɴXxXAK%Wg2{HIpϠ^smB}g'Ǝ|Ã*bW;Jͽit-{baH.?s}3mϺtƵzkxH&ۍ`@V i8ė%y tdO8WmP+5R'~x+7b;>%oOE1Xh!g?UM WhM>ܧ I2KZ;NFl!$v?pZO}+uPB k l̍` W%1gYZ5ʃ %l‚^4` x@1}9E|:|#[_[t1\ׁhYT [vɘ!CT>U)/^H$ù\92SZ? >>fJ|э[jpr:jb? Ϳã(ڨ,+}=pWb4£QA^,vǴtq $msnsa/1|s g/+ n`qs i8O)A/E=Q_H*ӢG.@}f)B G2_-xĶd㣻M'CE/N8+&8xh6N񤆂0Qn :әFwPי~ |eE0߾W/],d1)LX-_޵Q+]Ѻq$Ky 'QCl v!5yځu`wvK#mwᣆ`Rl(6y|qivieܟ ms+_mk @=~B܏.g;vAq+2)l[$%)T.REV]͎vc%exz!@ yI֏s\.fye 6*M.R˺AQ!VtXP5qz[qW\@ذ6LEhz'+nyj`]5v(k/)n#=m*A<fh$[Tȥl43sIX,:'U#JBq'dy@LoKCT' YNQw9fN7e!q[pjuLak*f)Vwt<4~^jC3uῑ㚘>3j[./;n8Ym2E5,؛ TݑSTsLDk1nr>Ivi,';2oK@U Oxaw7VzzSyNesǍKCQq>|?27To’L%L`ٳTĎ[lC'Q,AS?gf<~}8!oKJ;'w8^[=dt!"f!qZF%K̻ g=urk!EIP) ňmQ@6(eyUWiT4OorcvR]tDOx kLҀJb>^1E٬tܑW:n*]jIK_PPtT5cG꡺lar3A1_ЏT4vιOzHwHcaxa$=</xy'@rtwcYP# ?o &i]W''d"fv@ojКO=bI!bnWZ8S'd=Y6l[hFzZ_)hd1CE%1mo-<vkNm/X)) ;t-Q&3Ac'^ p[' F-6y7XZ&V(dY+GR'/U ;D/cBKX9[ 8Qډ8 QK'ش/a aUg #@  ʧn;;@#^Po2H=D&,ȥ(Ou*;t/${KW|9Q 5]?;mSoOT)fHj<JE1`vs +"JjVz  Bg~MG3˅O1rj21XV]xd~p"7 rNjnʗz#>+r*J< 2&s"겸.;/D^ֹ? X-|YۜwPvδDvl]ҥ] NOT?%yM;Q-/ F`_/(WJ}'B  P4%8B]+oΪq?d@I6l yr>e9i3tϽNX0r\X-^9V,էt{݉J߻Up\Q9U4qJt<l0%qzg#GmA\һxvScyV+R_Q pNyI0>E=G`&V$`wLPG$ #(1/9@¨"I\ ="471f˽6Ce9J[ 1K9 T=TD+P`_){$o.C4RޞjZ/{_эE^^&w!_r8j)RvM1^"ܮ؆RuTt/ch|_P0mB/{]MKvN{6Xa]?vmi&ح5 :G[ќn QwFBŲƪRpFݗ|ܛ-cCncpB\t`!fa8D,Z'>D*?Za|Inw~f$rw .mV'-kx9'sL:q&$Blú5["DG,1/r_F$@^_m" J#hUH$ԳCm|_.\9rW4`5q"w6p ^qIdKinY Uq9T?4'Wl)J1?iKQ?[l2]@{Eَ`z:gHZ^&2t?XAļ^KjШw'=em^[ nq/EJĻ2U-4spTW}^ک :0i۩UQ)֢jG s9#oc&6srTM> j࿓Vhڜ7 GsTÖɚKR4L{ORX}nwG="u8(x ؄7hH)oi'_5[d(+\x%yYYW\Z|P+02'LXd{?$ZOA-pe_sXbbx=~~ j=K:#9z VI䏵~Cyop^EtUNUO>̻ĥX-tRU?. t`:{@ .Ij"ۍ54kU^X\@$l)z PxxԍOhCه;o3]s'cHO&@LiļɁiGTwz+!x"N/ޓO-FUd, p2Af $ލF:$b!6,p{}펱б(PzݾN=r0tCfsL#lh1/}SŭBlx 7Vvq~ l#W.̉$1:ûࡼV;+Ee}fp^i[ՅP>:*\jM A| mY`/zdZ3+Fzb~6hG/4O- T&PLn5kٺ2nR!H ) 8WD~he^;s ޙxTJ_ѷ 'aqԥTu `k n~I:l"ӆKS{5GNǨf>oI{~VGʆY;zUng] M s-Nm BCȌHif.4$< Zi'p;"8W}Eq٘f ʹ4Wڬ6j(5՝ke0߮^SRJkr5HXjhh⼶nO/#!O(#Sv V ,<ľl,q~DD`Jͤrܢ g۽z-;Z +z^`1fEB;8CA4UkC'*^s FiEqj\\]:{>w,ϤT0Ϡksyv 5q|@ǜC.5ޗ~$1iΈ[g*dK%Oup7-N+čxmB.w,I }W6{pUz"׼ŝaG2p=xu%g Ȱ sP,➦ SXÌ?5[(#T* UbQO5r:$=@ޯŷˆ}0>m LTbFк_*:^?)_mr| g62! JXGn_UUL#+ ZzmWsoUdh7!pG0=}-u=AR&.N޳rO?>bW0b!ŘY&.lo_2,FҺzFq?r֢Ax,)ZJawJ7eP܅tw-brśǏ+o08V˂TS+2mA F3#8PI`՝XŘ^~WτiUn_鷴:öB׵l촿E\ } gi, X/i #@=0mmNn I4@*Hs?o*%IϮ2zJ v5zӼ dCye|"7G%4iXSNtm `D\6TC܊Z<̩LN]binX"r:t=G?g)#ցJr,sKH}[:^K֕\IMgq[[]iĎrܣl5r=^` E׀Ϣ '=ewFMKCa:m*Q+)c 춮 U&K7. SM\q͒JNG>PoFLSgK/,lR^H =>luKTbr J b֒HU3!^:_1A* I"M9iY57hBw*GrUPUS}7ZEr[9"yb%\;yOkl%TAY. \=n7ܣ] &߽\pl Mz김No.sqX%{8< tҲ΁;CqqN;˹2hB+fb3Đ`_ |sok%UYT J %[!2>;N|86j0Bٷi.(Si|(9 cK_OJa]GHNhOL8^dhEc-7~t[B Η]*,bX(::Ҷ\6z:ʳk<">qW8Ms4O_}zWjX.znJhx.P154['>^qd)3GD F(D (V>LlPyM>MECv <9hV,SjX˫j[g::g3p"D2PC{-p("Sv͑dceLCUuߐ4CEzRV|=̷m7v:: <3ӳsAQ_skt4 F6AkWb"N b[S/C"ޯO [Aze@Ne5K4lSJW!6b`9*=9J+[x˸7V?w&DY-Z=ôu˿|dGP?iA{ڗ(S,9H/h#R9rٙz@ܵfȰT}3H3%A'R$[;Rҙa@.C<""o\/8s^ 'a~E^8Qa(k6[5ŏwJR|E|Ohtc5u/[MGpbfp˄:91Cd#pi~G^j A/N$sL;PY˂~R[.k9z}e̚/࣎վFib1ٷF*[B2KyO(!:a \i橉N{qެԏ#Lav#i6K͹ `_A9}C6"7ʌ rz1;ZD}Y|5HtxʏezN,NMQ!goL11Fhh-ߤV x,bH[we1}4Lh).:S Ufx- d^GFeS&FܯvǑB1_3<4%KlK{g%@*y1Ako30(E 8-!A ɡm]pJ;}qRs s z^( UrM pQU$phؿzj vV[mmC$j9DTq$'Vޖm=8O\o%KtWL#LS2]Ff!}>G(WL(Rx]G:oCklLaֹ苃(y#pLBjXڥ RjcU[oP̟:C  J75 hGh#c+OpnWX-:5.WF1-&?~I] ^襛ULrdf'I}ЦKѪϞ,Ev9 9ś@,HV ]_z/'r3_>EzLH.1ğF`P@H=&κz$Hz9 ! fK$kM 6ɱ"&˲Xh)"Wu4=6U꟏+P#룡-%oDu"|ol""I͹7ǪZ %8Ok3(MuBûTIO2sAa:& sx#!l.cc \/_`qVۂ4{1窶ERWg<4SdpMLlvZ'[u ]X66Ѝ|1B\Rm* 36ٿM"`&<9lߥv{ φ^o= b kYfƯVl=I \>ӤOCk[gVEUԳcaW8]]S)ҫeZOQ<$  +fSh::mB9@DɊ)8R 9}dI[רV=7qT~\ZWa43Q@d,9 ?*gJ1BgFɫM2 cG񷭼LW F/jn3-cLI֙IjN<(Q:Đ `b"TwJjңJ "*&\eF/;6]tE6wh|8YBzingmĥ!?Z19o0> /$1b}VDɹy;r8NK^fepH~%6>/Փ"[LvN ".3nb@_ @-iG<}/ 7E9%c8PDj~9MjQB'ʵ% +D8L!#QM"'ݸ;h~GԀ*vw[S&!ɝ ͠˩3' ֢Y`24^z[Б x]ِѠYfxK5 ./DW5y`˛T Gtx\W2lwK\/G_uBA25.P|y"HL1WІ=0jlWEs,{=F,;k)eî m="WpS[UB2_63rs2KdnW" StM0:`eΧ$ 9: h=FUjFOZv`(QƇ7VH|yATM0\`(WNW,Bt6)0Lb[Ri3XςI: V+1I Κѹj,Zbie(+M L8׀U\0$̻9Ke$!y#PeV!|E0Wy.9Ktv˙!q=ޥ+~LdZNhFISr smq0@n+]$(1#)AO%/A(dr/d}ý 7Ns6xT<(_kl iqʭ*{?Kw).cBE8niFM{doxﶢyqpő[aj$fkrm{ȗ@6~.+8!Mum\{0N7K )K=iZ2@o 1 r!*8;uϾ !ZA32?VD<ɲI{EҊ~-  Lb|'Qqᝆ͠Jt~o6h] / GC:t_$⭳ͳWq,IMs v ˀa/XP@o~bW HmI~W bȿ+sI?1^NSxe'$8tM (2;i7"Ll& 5Z=xQǕzM\ǃu`%ED_/*bA@d}ٷbtP`E(FzsUr$KWʍch]qBT4$-0ɞ=aRMbrxeG"P%8e&L0;|G)%1&Hg-zv@Q+"wVNZ( òש^%I  # *S6Bd0)ӷۿʹgܗ]c uw5FRgkUEv,ƋE ^~xVCԡ=cq:Q kkH:P)1^}4ZNl w@@é|,;+l=Ce&CC*>!%%"o?}dwU2C\l_<ńB/qZ?Q=h`tٻ%8=/p6GzUG_ʐmzDāj@C5D~\e=RuX9 f_SG;hh V( S_E#;}014+v=G{Ġa)mFJ"<(YVm!5 ;3PT3QX^-TTxS԰gBf8hB)2r))iXfpтm1,?%֜֗a5Vgw N#ʃPHmRoEDda~Q"f3j$fz;%Ŏ}TpMct<;H &>)p])ޔO$0H ẏ,$~' MY4H S&e7fX_Z7 $rBastՙ!(83dnb6GsaU(ns<2o 扱w_^Rl;[QE )5[$;΅л!1M?˗s%'Mo~.zd5=[qRj LZ&Ec0hPډL~ʾR/d; \r Vp&w!jr^DrDYO}%1>4Wlx33g)fR毨Xri(Y*7 &AՏMz>_R`i-+-%Ca6_j$B,7i0 \qg xqdGmտw!+xVFΚ1c҅wW84l;^MB=J<ׯP tT =|LyӜFWrjnې3k/(NZXIcwNtY7?.pi̲w`T%{<ӻKX3%B)+1M س&h {;#l$OL06=:w"8WtFT.[HiLSpcW;@ڙq4yoRݻ}"pQ@PмXjA#W׸+XDM9ĞM2U1`+E:;Z.3sl>c(ljt*R)wmP7YcoN^Q ErWDI /%Ҽ $3U*-Yĉ2)8ClgpFe(6Wå;'^l8#*T.WN)ĀjiO^k'Q=O"?Ǣ+ty6^U- ,/o6a>׭&x"VXoر~>ư _4 `Ÿ Ǣ'.4w __;F[Bwj.ar[ڐE{ghD5d=n!pbm"ˣ@'w  3\sx^y:Yoo7xs-$s g.ˬӿ.ϊtJkL-X6/*\U #fS-G:BKXTI>vA ڴ/Z#EtXg–AZVckw-X8Niu2vl9.@K z#Bn=f<͓"^7W~Iz3XЌ0B{ծe$zD tn+Wo>ls ^ 'N):pϑH0QMbfi9Ӽ41D*CEDx84#6Ăش.Z0 y: \F&`t [/˧ymЙ Ք>y˜G&ș;5qb@}b5[3&sKh9P΄=tl(*燚 c"@nD3A{8bx7ۣ"GZYQA$0[c48Aݥk̸Y=׹cVȰ 0:(xqYwR'U1h 0)ImLOӊȑR1߇; uxH"Z퉙ϑ P$d,LeM>vh5mQk%j^!s7g˩kL̈=PSTť\6)Oo)%zJBӵXs9_\k)^&J3囥q^ ) *(QEY~o@ cqM*ݨ="0 ?Q~Gz/ΝFi:ca30bq<1 /0-Y\DKzئG2q'S2YwXݰ4 Zt :?v"zن ^o{LGNm+{j8M8d=FQZu%3w!Că1!\aEA ^QT*OZ縗PC3vh]X!#>#IʹkJGo%`lD6oShDkBdUPTh.xrq"Ŧ)o`kT`OuKL*; i^,Ck NE x2klߎ!Ⱥ? կiZsamU=i?$?P(jc$>;FRwE ܮ}ZRAѢIDv-U8'cӋPreg+*RbAT"cK;p}C!vc^JI>j%4.KWϣ[㥖:}cR9 NXG`eȮ'ㅀA#6q +ATqss\ji% poiL f)D@Oc֖ܸˡdZ$@ȔxefnzvEqZ 8 pگxnfHa!a )&L Uᅭ}AUij5*R2B6#iE̹.u E3@p:jƲꐿK[  "`֜8a3\a\\ |FW9cBF4AUzG$vY'Z4T&z%n2;m'h'f-9RuXÂdtLiJ55oWp@!>AJ0k Z6az5zo *xm1Q0!tKjA-Pykł08eU9U+2 ߒ#bmT[76)i㋂ }:铋JxͽL]$!6UIDr-p8<ۏcOd'vTSxbDnhj1q O-`Zfm{K^>[/ڀFM9uLs |z:]/%KF L] װ¤tE1~Tߒ}OG3ɜ8ّWu rg CQ awε4oafސx@$4eUDI1sF+d:M05${@msNɃ$$e|F7n 2߇ܪ ]m.] `ۆ=P2ʲ;?T! prs,(Fkro],5x=;%c4W\ö~h$ƚ`n: wѫ]CcW/OWс$M bF26qv^YCE#HVm+$#`=;tMbw25 <- vQg6N; os~ޜDΗŠp7d[_YY-IDfx6zYS=uc.d@wedM|x}\|삼[n܌P3*5GhaVY9g '{fF*jvɚknC}3*ˁgYZ i 5W# DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! N]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2E"A o 6MH]pjFh'MEXQX]_qsdzB$@pȆN%ikJ kRtbUOiaj] %`nTQrf1fIѾ68RTl8Js_;r`p1ras _C#*4Gv+ڟ/MIiR((uЈg߰1Yo$w\y49x=5@})=fUu"{P6Zw1bXDx&4:4/!r %Epr2Jw~٠{c(ҚtY2-!K:L;a#Zũ:J%Z 1<.e ͓D~X0DNH[A7%,s^ 6Z)r֮C<)w4LuvH{Y#L֑kw'>ȗ'׌ *ҡfƱ86tOWP=;hIýƏ ᪓w#0\1|Bܘ:ˆP|Ura ]FQgQtE~b_E8Yuq7Dg7#l֘t6mDjQ*H "%hrqɾk1F?f#ƒHUD)bpfnqƹ !t"sI伖64p9 *^2ճciy%Kpѫ&/~P&}5bhJpBb, Jou[#9-~fwto5HD /[nWg91hqCSLH}bz(aw`3 3`TV:b;e 'RQoT%@4_:Z^8Y3/w$]/ЕޥV%+l9.\H%޿P 6bσ:5"@Dž[ lܧmxH8"aFFf7ƛ&rWEݷa3NշKvuDHf \;cP#Byeh{ԫB9JqLGy,RwtX*f96؝bIDTxBԆQKlݚN>6u.6VÙ8&x /\8#UG9y7eUT`r?".yZM2+\qHu]@;SZ\-c;ƅ<_FX+ߛh)c2#!Zn6q<4J=~3#=|.{l -@E8Q&g!iuܩu">)ڑ erȥK#@¥jdw332'0섽?b׸,>Ds6hi dY=J?dX{m⟾<2@~nKIY投Fxу/+<gXL&ʡ 9L5B˓1 Bz׉YqHxaێTeNIu;I8hC!H9Z3lc_K'M,%Y 0aNv$rX?Y#ުQvvhG[QIB-0FSTmISeC-kQ2!lq`R&u=lRum|lspt/'H#2ԙ;^qWjkLƾ)ӯJGNGtey)[VZ^W|վ[X3v;H _Ia S0z>Z#ޙiAB.-ٌej)m ŭm L"ΙBD0KsQnIh{ff3]1It^ HVLZg-"zMJ땑|?:^.sW1gc@585daM,~m,-0PKr`hYn~BԋQz,Mn Sm29hiп75YS1bE.Hu2 ؏4[@TϺ7v6f0*A;# e2F74&Tv#<n,q11&AnM/ #D\j?VMPN/ vSQWyڟFL3)W2%Fv̇R>ZRZ/V}N=H )3t+d1tZHrKzhUbu[[\?:!e]U$ñN )$"õ!Q0f)? Я-5IڶLD9l(0%G`,Niؠ+k5!Qʉ rg4~B[5I:iuiKIJ S"$]LĩWũ 5hug&LR1̵6)s/)6!~0XO^Zx_^]?R*ɱ &F#9ߪ#C} EWH'Q BUfO&ͫ2PҚu|UP[MͰ&*XC;>OvRkHVݸOEXj-7l6?GmbȁLY*S~$&%؅*^<\ym@.eо1d %.[3b b@2g{Ja9T{߽j*fp\E %_,hQș/ouvH8kIxSb/wxlxFX'zXS7J(1~)B=eIHBr#%ٴ+PxQ >F)ڛ5/U7n'\1E:ZIZ <ܮm%֧)2iQ*6/&c fT,zzKi%etgN$T\$MG-,'ek O^~:k{qy/fafWnQ `C+T~YҶQB3g9VM ]Vp+=1x=3E3 J .H$U*u.IH_\+Ǘ_ v} C? t4Qj MppKqeɵcI{ E//\p\}El`v  Dp(ODv H#r^Hb| r3+@-[Z JSD!M}T6۝N[4xשHo_ޫMFH!\%>-*^6GwOӈ_\1'NJ-ot/  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/fact7zXZִF! Y ]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2Y5WV3AB(MS{fd:[3Fa9 苎7;%'gV%;T𑸱Zyl[ϳ-Dz}=iG[l#3ʩ!pTxuDޝp)ꟑu]$LW&=o1 "a 0wxq&x :dԖ59)ؿ/ܪo c5uZUzR 0ESlcC]GLXH3rxAqcr&fa8O٥gF}$v?^ bIovn4 "f jĚqA Lqx6s^ ?!TVj>thGX&Dӛz;g,!ʱBI%6ͤ'3?L\6eixjF`b8(DOjp8w-J쀛m$!Dֽ)gE]R2j<12R_I,m bXYGZ [;HzEYs\Ti<( ) Bb$stB= @BlLP냇V|<:t8&ݳG*S:>N됨 ?6xIӤacuIT+sRZ=ndRO3g܃\?hJo}Jmo `șNůCss/zKU$&㡂_T 1.nI@W`}:)Jlк=dٯz@z&_^Jt|0IsB j3T;G4P.?.aDLhUtQ=GOg(]Ĺݼ7\C)U*,P;\袅ah@ԛެ53SvUyppe:Holr,ɈKHTWbj J.czZlmD3g_9=6-pd!/Uv46,c0"ԫfDj/`atjEeQow?zbYCV:7u ~y;dz'AKg]C@Z94a3qGyNB ֬A+7Q~W3G%f 4HEȝv:6u*d9slb /hKLQ]Μ&25Zf1} $ asn1{UKqt@HtS2{qElx%3LwVO6]@ᑺ61܈dgs?DG3P]-b"K+ Vy6B~6bP慦 RV=$6Oӕwxaz@ɹѺ6]FX¬U|ȈW_iG_2WS)Z>j'+lHܝrc <&Ua~)Mdz\lI3/}~4^|wt0M{_= ԷnY c0IAy& du(!͋ÄR 9c.iN"u ] Ֆ,)KxGFӝL$EHf|&: o-J3h,XWh>[Tv{f^j, a4_@ ԖwVt&#! rʇ6\G]><#Gm̑p6i'֭䰤0d'oW.IH㡝q.~r /G*JX&{Et]bbUƏju/ď2Sr:P%?3T6'#mɪ,D BSw[F ɐ6 "lɓ6cɚoЈ#9pk$(,mxO+7ZHOj1mֳYjOeaq8Z"ЄX1zO? &>k{HV-&ʘ?{3̎ /h)5b(#ghr ekpP{ 6_F#V|H_;*yLvaȟqMIΪ+?h=Ր D0w۬{ß/nn8´1QNuMn\w!~rt9يmo 87G}`#wS`#Wx汱 {&&u ;&|7ťVN} -$}QE v-y\"?_2 9 m}[U{*?ο+-z43=8c_AT{jM`̇cj`E~zqs3s/a4yMy lQ:GٓN#t\ǾdA4Lysc .'wyMDC}財]pnaJ@Ŋ{q#1 B*'kTYҪ!*+e!&ς*hhE->W'E#0Ph,ݍHl͢&w_Ew>J:f@޳Ekij'GW >-p ciᤁ0% F^c.o{z_lDTԯ?z`Zrk:?d-uMkya$'GSP)L9d0gW1v!aB5ev>BUt0-1aQnԳseⰽ-wM, ͫ?:DV:p$B>qrUh |%&^c;S2)LOvlSJKä/ izJ3?@q/(b4-ݐZ%q,Zv/Si'23Նף}ډ1Qu?bnY!\o>;r1eGN٧_9FNj z%)R oDIupS[( />Je[Wu\a\ɕXh +UafoɌpݡJtD9GJ(jّ/gWkiCN keN:ږ4'C:9vP\qzKȳa3PƗdZ4mwY~8AUm`*1rw+U8_>IQatW$}EV"ߩAzJ@ O1;ܔo/]dxW7sA@t*>|w^c0;+<ꍨ<Ϸny6CnGZ%6bqOk &Bd= s誧~Z4ɸUG/|7V"*K?!g5CǶFXPdp*/2Exď'ZfQ[*G7O6fǖ.zO6{<')B GVܧC&9vh#4( %XM䢷׽W49ٲvcHQ Տ I'gMm)Z"*OރӊvG lբ\f@BL=v9OVHS~c? ꝙ.Fv\BI\YgGC߭i)@[p̫߳)=u*+3"*FF(y6' ՞CǷMǑAEuR-tRTTpƺ4גJ9  n[W@&V qI Z2U̱Ajbs(apO +}{Cq7?^/d1T!(]orKuU `嫣4Fq$P(Fbpi!v Zj>jW= {\)-X*:<2?P\Wݲ .!a̢4sqyЫT .?9X/BQTFWxU|*tJ x ]b2ϔ4[D6N%a|:#oR?"QITgFk jȭ O!^ڐUq#j% ý]iaܞw=yPB[oS6)!%phVfy\L 'N+ggR<ԙLwm?!Cƕ*r A CHM3V(/Xl㛀7KG00y{;7إ>xH0/v z <COquBޛ\s19reu;f84| P"6>hWgaO;-KQk+7pC]nc)wOf v08m*-h7bpL`yM~9P!$bM.ݖG\cո+gD,|i1\\+薬t<3L=6877JW( AۜZˬ" ѿԦ2Gb}2}6W뛢Iw)nըdk~QɟT^ub7)t jgL!̺p|fX(18bcj|]U"F0S]9t Ŵanb6󶌐+*tNVTGN(cxb@ AJD'w9 u6p]o}B+Uoi<96/C8ޝDW[oT'ywr 5MC L<SJRۏzdN_-H漞@F(/ Jd3G;ڤFZ|EU6,2vՊuꁛQx4)u``5ú2x!^ȔMI h$[uW(y\;IM~dZYZ2*R )9K)ǁ|Ճ@+G,#ܼx}݈2X8u'P%DyM-z?boG^7Vח 1N4n|P97(j.$0'Ejd `,)zkݑN7eB> w@|A.vqd|Oˬ|ʂq Mq%S ELH$>O_]s/,"B'{#ҋEUf۲h9C]Go$ܴxb0CecfUVfЂ%t&m—/`#vOܺk1gD[5LBXQ$)`= ,%vD(~3\$eyǮ/HF/&ShaRz[%Q` z(V05`Yl{]FWr bW0 -wp)]~%ȼa.@SʊbRު X\nvΏnQ'5=t\Nѓxu{fTSKKBf2tgJb$+eR^u 0rX° Z?p=z*]%ܕ(*! ɓi N|*&?P?>u<,`icU/~2G[FkQ};'96jѱYuѩ^425K+_B_­_qC/nYw1;7F4XIRTl^dσpy |! BЃjM,Ŕ@ƿlSM<%(O)O($f R#C7fj@3Ji6>398 E/^$峈t(Uv6B{%Ѩ+NN:{O\9*W`KJO zF?B<;<-#Ɵ<{%Bͯo1holcz^E=7t=Wy?,lʊ|96J>`4E5i/Zᴐ&YJU UOjTSEL}8}Ba/'< ϔ4IۦTv' J~RX>BPr'0a}g2")duKRٖ$&ؿܰx1N=;~l;Ϻ~Ոq\ٹòWąIcJ,ZP&HŒ#!pC(0&+9k:b?[5 YFn8=% 2{WO ڏ .F3x? .nu'KsYIH5?f%2g(F1Wrq+\&ٰCѶX2]3}Y[`b{!@Ċ#ƶ煽(UJ@;%.>OD xMb%;jt,rAYS> h}doq(BѠVM°̈́ Kkwr p/,WBKa |pQ7b:+.Q;F YgYZ ''V 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 1 G]Άxʆ5.f-9 rq=convv TzCl PMC2$ ϒEJ)Gy< v,h uO:˰Ego41~Nl clIV*26ߘhE~̯J /YOPҒ.#CXB O͌}9»NqEXR]ëQ:< [_Zo*yb,3x*CV EV+! -jzH&5AGw)|Q;`;=wfibd҉p\ICsdS5 aoa:Xc9e /|}6$[8W =W}$ -TG>Mkԭ{3ԬTvѡ]ap))u4O'#Zh M$%:Saݟz5qٻDs$njxb"D% zbg3o7w9Ð JߨN.ƒ'=%3M&pRb 8**zYR Y /b^c6$6Aibb#:Uq%U*o;U,l1kDGfѳ}ߜ`$HՠIPw>I娆kHLUzDǐo2]{?cw݊j>I695ؑ/^%\?%Zѭ W/GfYDrI̘lbs&2Џ>gBi"n`+VTaƞ\(UCJ:B\H_R#3rWp/`6S{>TWe5A ^\<@5ܖ:Av]?lF%ή}X0>WeoXf4aЙF#CcQ$۩PcP,vNe {9`$rHeT\r)$5:gr hjR7&'jLW ,-.<鴴'J}[r?Ss fBϼ!ta7̑ .΀MxP+QFĕj*stIso틂ZUc/[lh+p=K'MSrw&.2.p4!L9),?!p!f<#^e8 rRPIʾy@C%PDm?j;Ln%aqy$GsAB:aqZv_D t  w3 }]w{<'+3A/رַpAI1L%AE`d 3$ՖfnayA{[Bh/"BJ#ҼY6exToM @\Î"ƎxlQ?d/~SXpw_ =U5PFF~lt_[XcvIIꕜ6>;Sn"=td$3Tgh#cBL`a3x2 A!Qf4M%u0ܕ02)("^b .>F^P+$e?),.e*" L9ʝ9`#n'PH Sɬ/Us.}h-\GE|܀ Y99yH' l= 5wHN|,*,_ [ ޯWLC 6`V#I̓s ⻬ 8}8mdR@NیKo/3HVodym:RJܻ-pd"')U4==ۉ,FB 8gYZ RW7C5Hse5m˾T ~K=A?uJċә5<󙛦dZ#Xw0`sB:O;0O{f~{oy: *k(TTj啟>@SiL =tZ98 2PHz~ho4ɷCKq 8A #b\, }2J g{O,6l4oh\.A^e=H];ӊonhdEr4seΏ fR\|7Ȑksz.:j4  wifw2(܏Tul]NQ `LI=;mLYX+h]ڗO0&70M P+0Zl잹XC5@j'TWg/Č4B/"sxt |AATO+=@H9h6EH E \ ĭi #Ȟ@Ws%2-M8~ckjŷbv2ŧ:h3IV(_yѺ t&Χf&n>yȒr334'Jjp)|P TǎYF_GuwX'ϽL"(>9/?Z(@H>UۄIdTHW#cC,&&_{vkW6jȅL%K>ss3$&_5 HT+5RW}x 2FWlG`ڨsTlrO4/;3Vy֓SBpx56>IOKǻ:XGФo/IqN~NM{wt~BTJӚl~}Q60y}xB(tU)>+\7 KpDr)xL mO 'eg>hdOyGY5[ILwWa+۠4A3p'gK"2f꤀&B6Q53mM=-uҗ5WY ׾,fZZS|GTpAA|XFϥlIBR"T|2H=wxa^~xv#T_^p;|g*>,(K3Z%LGejɹ V'w bq`TiRqIV16bZE%Rg|S*±*H]JBvR[M3 59@r}NЀ;VH^3m'`}$eg~X|0O^gBQd2|H|]gw/E "OE֧PTthi#0g7&t7 m@ricZ n[H |K"M2RJ f Иr.R<Ì.0t=Raȴ+cRTSZqKevw-sSOw`Aܞ]0¿ w0 XY7z"G& BPp!l@؛}lHUͽ.2UnZEw[`9`>pڦLʭpAQ#LtNP鯀E HKإp߇WfcT*ז!>K ⡀J飩[,m޸1a! iV;#]o]#:ˉڳJDUAtUxs093%Fk(շ-eJȆ2w2g?M{'K,w#'/QfeYs T?uUIԋ50B:Aʠ(qȈTZ(Z{gRY6 5ɵޝ+€7&U4ȊJW̴nd! *⊖v<5 @qCn4ɓ >h8p\} '$vJ,+j+~D)8}Ř`iGlj*2Μ uhUy2 u7_HbA|pr{FF<66P?LDZASu)ևM|N \hs dh& t;#Nze\lk eX7!ft y'.Ϟ\蝍vOiO{&fawaC-Vᡅhc9)ڣˊu}{ZPHfdϿ,a6=}V: )Rz CY+HºvYZ5Уjx6Tȶ$JSbU7)|h|!Bj84 *l#I}4pTH9T_g*o,8o LW*_9ʣ"@dP^zj}7 ,n"H4|(NbTS1]C_ZR: dƟir tj2QM5@QNP;>yNKuDGq+ߏ 00q'$$8=0a ܡ%IqK;<_DFWRAcܬŒu@0nKE7X;f&3P,dIQGb ",u*Ӗ2)Y`wu+aOܖ/ȓ,'CL3Sۖ + \Vu"ۛrD+yn߃b*ݰcæ8QI$sO߆Yp4ರp{x֎9}vaZ[v8gJ GMA6M o?8XJ|qS.ͣ_}X$ :ZqnKe3b/H*Lq y%( >^eP +n2z:S:8~2ŶA;3 6^sVR4H'; $|T8/b۹G L9~?d5C1j3|%ϭԥ'G\"z٥LCVt||as%'kީz;9jv<{{?c˯'B> iׯ: mmX(}֘=a@ G:*UuƷP~oV\G|gȔRE;NхA Sz 4PotʷǂUQ8*%+m;mBP!>}.j*Usrr{eW(wqvh 7(&אm+=D9WfݻGyUOMkkZP!&ׅ_дh ihLT~5UMN g~y_zkeE`N<嗷G~.N:I[/)CaS `Cy"߁qF`;e#O 7k2 *`m&[cV5-/?Lmo!0x][d%z\#-ker{\_do޿sVgy #v =Cxyd⮎ZZB{t]['w&0?ABߩ]xI2RdȂ|Cý$ѽ$)m99r4Vm}Qܾ*-]͎;a-&^!H##bp\l ;_zi 3Ūa-EA@ARȘjԮZ .CGj'0Ô\;8vwbG"`ϙԼJ v+6PD @1 /Vҭy0 D~.?0 \2݅B2^ƌ{ZN$_\( =㗻 F0NceM|1)+IPyħ)2 bHM6}JCؖw7;;@ ࠣPؑʛ\U{CۇDGIHg 6OxQ20:ɕM{Ӂ/ǭLOб]NRM)URPǸsksvjY&utvYiz݊y qqZS[#f~iAa <7vڥgbV-o664߿d1/!U` "a<~R"<(6qh=d╸Tu߼z,|GɍE ~4<H˹?q,.S~-R)}Ǝ:&]&}LzvИC“rMnCV8ig6C2|;HLJ5:m\d,T[^a^ރT*np#2 xV+m6ЬķPmB;ub/-vUh7)E9j@CDLկ6c"C%Wi'ݚ&DԜ|Y697q;hrWN`1NcIZRjF՛iZhNNiu w)jl!ԝxGړ|ZZ^v4VT1HpE=as‘K3ptzvz2fJI,tIE5OR=[b :)ʧ0R+wK!7Pw(ia9[ׇsSJE$"u+#Nď(/ǟ$!ևQO545y!ӫMQ>=}RTX lTAl7ErA-`/XK"I_\w鄳<+|ְ4sfV:NFY2d`Hs37i 4/WuuɎϙ:˛K <$+\A⹞rp<&؊eIxiUd<A`{KELCҚ~& k^FXe2(+p[D7Q#;VeԺK.X8L0Zd.C3ԆfK4G\Jc9_Цu bxӡe(džH4v & V/>L^DV8uohh @1K U{D7gCS%79H}S}:"X|" k ^y F7\(WD; [F_rIK :l/~ :WyBYZdUc*&%]/f΍:7H+xf1ab\fʿ㜸Z| R %'c=f`)!YxRwM3CAp Wg2Guj20QkPYa:Ԅ#h ';#ΦOe-zEeWo]먘fU|#""s[c$sݠ@%f6om{neGP!1Ia@|?EA;R8C2ZL)\\$ճEr{S^H2t:4%Xꇜ/a A%Ij"$O5U,u{rυ#QzEq% 6ߤzM#3ZO`ʼ{(0nUvJK/##Ϻb̰D (5<=&w YK;>rqCFNɜ,sӋGYn.`߈emFb?5 GD7y 07 1!Yr<A(h#m<4{HRLrTMKmC}p;]T* ҋ3Ĕqo5J=k[~8PͶ?4dX%k—1pw:D;G.I$uβAwiR+E]|T1|ro3Qڋ sy(~\6)c|Nd/)+^IK[SĆBQw~FˀW^~D3yJNc)]M6Q )'2czHC&->!ÒkΎH^qv1r(t㏣UcԂRfU_6WX2V3Y+2%,N}ՁEWZy9 &6IఔVT"[7{TBrB,9#40iKd/} 3Z<p[?$=5ҁ@--K̓M2.;uXOQ褬ԂS7,7_ϞD&~k!0c:.L%u>w:zbծUnqI;6ݜU^o,a%,M*r~D9*7•ME[f:L^]Dׯt &Ѣnj`6nX:_wR;EѩtDu ~67cHĈ<|m3!pcYSeG. ֆ)}A.{eY9{˰fx%Z I`1&S1*9ƺۅ{V+YRyOdAHr w 7ùV7*&ojPoNw#g)\ ^vq7jã`NEF}5#@f!%٢mKk+4fԤO^K \g+oN@א hg&gYZ848b48f1cde8ae44029f5d4c09b7505802672570ac41a4751495fa458bfd78a9d2fd9a8f8f097f32 eeb417e47f4f5a50d972f3ce18a01992c7556b8e64e59338-47db-46fc-8c08-4281e183dd38