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 ]5zd$d ]/ UHOL-Record_Benchmark:threads=6elapsed=144.666cpu=232.440gc=15.2187zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)j,o5j0m]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#S w!A9Y|?D}dugfPokHE Uspx /AK׫+AsTXn!,q]cdfV֗KaFEK4zE}P2o)XÙlǵ;{ianٞ"IS6ٯ GüA\8g s!f49<ukS*qCO.hak j.,Yt?<ѼB3cv}P ?m"bƳ&i1ؕde_9)c`gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben     _ 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#S w!A9Y|?D}dugfPokHE Uspx /AK׫+AsTXn!,q]cdfV֗KaFEK4zE}P2o)XÙlǵ;{ianٞ"IS6ٯ GüA\8g s!f49<ukS*qCO.hak j.,Yt?<ѼB3cv}P ?m"bƳ&i1ؕde_9)c`gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! *]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 Äg'5Wm$)ݜgʌ_ 0y>s ysW^P=_)`PQ.vr^=y7d("pyvCza5PVC-RLQ)m;-[RޝwIhUf  cL5 z,Sݣ "+m"&!Lߦ"!XRUU?x~=ݎ ÜoWgeJs_(7wup'ds#Ntj+ۨCf¶%WOx9k. f# Ǣq8Ѿ)){dT8g2DqFؐVvZiqd\k1sTi [|/~3V5[U3TY?Q{XvL䢼w8`* Sx8 R 2;]@ssYrDڱ.WT"̾oՃ"rWDIpN`VymxPH1I*(Zghygr ^ɀ.r&tS]c@](p^=n` XhGwV&*I?qE("tu[pQd cAvݣ}oX4qɩUTsF>+7Hx`Qd --2NnwN\h B{Ό]Ӊ߬-Rby#Oa78J^G Un_(Al mڪG8ڌ IhihW'0FTV * Sg0ԙ$65# CL[]M*b_lfzzr)&UcKYZ>T~>5~z٧ϒpߧiLXh8JsSzA؂3IL`);lf/ab^k`LkYB+М| `;5^VuĞ,WR2 ^iFL4!,JHX{4Kk?m|<&[UUi _^Ktϛ+y)h!ͻAfq91Zg kf1MiUIEDf;S|aIbC.Pw8#a܎K*ّ9g _D,n_L2A?uA:ˋI Z@Hj<4F.Vʙhy:=g ]f8z2'JA&ϖ 7PqY\.MD-|"~/i"d9\,^p b5$y}i67z"h'v4dԆ+jpZܲPItʲfBv;YeLgv]ҫ׍nѻ#w6͓jMts^ʓSѠc"<L{5 4އ;T$<-4!e`1/pJIkKIPno*y=kZTNm#namFd& |*WxOjK˕&< cO7q<#VL>yRf q5R=#ɠ{4`2BHC)n eм[UPŋ1>n9YςB :YvhR0l_?4ӫCJ`NO*?H5/kRlg̢OD`P}/֩:8/=ηi.VwE.,+BC9B .yTŚm}$*H-viJ)|R[t4I'|z21|A}o+c:kf+0n+ Ǹ͏'Zn`*"{)h; -p-lN QKLj4J˭ƔsD _w?d Px N#Y'3N:m +O#sAñ?v]`3u wo+/ pӚoIf{\ݶ#E, -Ң*ɋk oEw0@u.څx t ;j?Ł5E 4[ 0H#'*FvkIF:Iס*(h]_sWm<2 GZ1O򮪶V+K~kQb:7K&Yyx|o^s? :@]^W$V?RTꄉˆ_KA8=Up, ݂+07HijJ5h 7^ k'MGİ9Y$"-3/XI97?uK$Bܔ na?تd f Uf;QhxFHRs(zcQ,1 \zb *[ƒbPZ<$At^zknXtlprrr2]v}rۖaL f/Ju) RqLU"B?FT,YeSb*0-;0{vkp$Y5 -AέmW.61! Ts* ̓,gpf奛+Yl)*=u.N i}.ogMGVR6) :%Z{UNݧ \P(nt QY~\`Mtu; b88CsHvelA ӞynBlS~Ã-授gS?M}gYZ/CiS @6 ($>Hl aM5#e ' Ͻ3UEBFAeh[-3Ssz? # Pg@$&H$AU(7X&2 t`s0P %(Bn- 1pa]1`EQ?0/EppvzʔiZCis'xG*.p$hYo5 04rviO[yAh]$^Ӕ"XOqp݌ҷJ&tS_=N~ w)n8Cg0$"|[r>ͽI.ݍ<Uh]EcJLa K=qk O, W?ĝWFDbٷ[xuE 9|@<ɤ(՟1;LVbSws5]fC:mNcuw&~딁P 4'fѪG0^BF Bz`}(6c|>uf/H^Ӻskm*|שfzK2H}!!,y7nSH9LL 㪰3#O#Em(DN=6A|1}['eհ ګoS?QJ]P鈾& TMi4SߦJ kUbz1)7'n[yv_&sX09#,=ČCsp%|g<r,@O*[ N.WTZWcĐ[ȺNUlɴW=o"ÈN'S<ΉyGJ\ B~ GWG\-^mcoqrC{yjG݌'\rԴ*=YzMRII{`w#ơ l:v<'zO=j byѷJ{oCx }S.&-H)!>w`׫|q|&>(]˩b.a;S{PkIp՚K.x"+0al [ V:jϤߏBPB[!@d4ƵX{)r uma ,u+ySuΩ%1 +4|˨, FZjȩ}Xk7UypJvq '"ZΞwŚ05v=gՉpx06tQw) \`BAElE e qWY~nhWx-\jW[iZP3ڷ>" 3Ļѳ+땎/:Jnاo]L%BTQ+z*i']C "qv> cnWEP,,vANVJf|FRT|IX՗)Y CX(BbA~ktAu(Y$! 8.B(]g & Z/xc#a;9%IOk5r `n2M9a)Ȥ)t9r%4lb;x3hQ%h4ͫ=-|=Wuڷ,S{}kȳxv+6&)sFăӗ/=}`_.sZlF_em |޶|r'_jߙXCN|7*~75͏+ _Iռ@]wPJv T-Ɯ{6$YM!@ j)C{3u]u)-Ig.cE}΅;u";u⤫N &.>rn?UJ n+mhv~/WSdоϟG*d%Mm9 -&(7C[7eIµ}[7@$lmyh"G t(&t׵-&UI_ pĉTXNPJ8F' .|!4^ LM2U}1`MKNI>xZ6ƢAb鑣r@ cK{.UR;?xjĒRh=[pm ӱѣZhww8prms|t20IϦȯcGmM-0V)J{]W#ĥy dɬI N/-J$HsS׉E}w= `x»pHY3F WƬͼ 5~Cl5Aй5{v'Qb<K1y 0 Y\mAzŌxf:8J/e%뫲$-^v%+*j<!vkH/6Kd*H]Ewbιb66Yp|]2kE Dv 2k S^K@QPD=Lk\;QTl(RvM0^l و Q?X/{T xm̿<,=]C^L+BJ #Hl)Z:cd,LC᫲puVOG&? f_\Љ6T`J)bK4 O;N. ("ٻNI.8ĵNx2PH/Զ 5-׬r -c5Us/8-Ƀ)"xZp#%>i] <[MӃ>kdS(`6;Sܚv_W@VOa@^!6n#41 [!;Z.vd G$z]Q"NFJ>*4dИ5 h>Í-t6V%a5>M}ӔucRw0`FӰsj6_=\ʍ9Hb6M(ōXXTN%Ų-ݱľNfoz*aDtSZ?`,T_ُ)T*Jg&I g^G}'Th+GW*ѳ{tb_x &%|g kkEAZ1\x R̔|Kvs˭l:mt-~xg==MNJW 2e6mYQJA}Ri5mkYȨtT_"NFD]@5s㳏ߥ[ōl DNlw ħ xVrԈE(-;I ve RO <.u3% elf=1" pkWgYZ   ; u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method9 5W# dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! R+]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C3,_i>+S`oom22 !2}VjԻ"`UŠq[%ciY=GN  t<˰h0z+*DrӅ1O$`zj:R_ūYjH2q٠bQy3/M+E_2A_JC!bnMe- K:g6UYL~X<$ om[IN]hJ}[5MH,@s@g٥\|j㩈 N]]5`<&O]q>Ef> &5W' }8 %Xw6Ԝ(}Z~c5ƹJ&ߢB1$MI/gP {oiIsD" Tج%To:*Iɨ/l-i/:M<&7&=:}dKSI?d @hˏnMƇ8Z(QK`Z$CzCuCŚr& \+OFc(=Bl [NRޡ' Q9&Nj?_K{S2UKYbTGK4c[1ݧyةu?B%#00+vG>Ҡޝ!%Y{OEzGa/܉x?Y6ՄP3jn$W!A4|Hn .azD~7AD7ِ*j$/TiUD5b2U@P֒:G ,Æ蚤O9Rkt]L>kigcGpv<-Q:I t-]Mpc!m-A.E8*WVoe']H$lsiir-%%oKmBaC=T;Os^f-~Dʉ}@OeUn{ap/=o ҍMɈ+ SNt[{ŽrB1->mm<\g:شT\7IYfxLoPO.@9yRqe}ҏ2D} &#VWT\P=HXj3 l)|X<A߅D*G.i0Awfe@{Բ{D6NwS2JP^/X.\w||},9|l8hC2$O 0d*o[@񀵿1\m*Ljm0F*6WkԊR4kK>'ty=mvؒ7>dU[-NGa+-Q=8hL BBNÌ^i&)LkH3eͻ .N~"jIT0Q?ø0O0ŸL&35yR>m/<ϙ)cK)-ir[t<cW9 .s69Ⅲү İ4,t=PsAX %-wc磲zV|m4OCu 1' cGy'S$Ni^Ej*نB+Ī3Q7׵L'S;Bo߀kMqϼFs-#na f 9qWբ7'-˿{/ .,o2A0A"LpX`{1/r/0[b+eNo/'H@:W֔+tX2|s8AIO]L(ʢ 'B:x>5{XŎjthwvM%·8i`n9P4q;HӕgNӦ֢z[\sHົk6Xg-Uo;n(}dYxmˁb pv3R"IMss_zW=xA;]-UIi9Vt \ER]9a\/BŘ#o^ޚ1`L\E-UB,=98aHr14T3INQڜAb^BcL:+/b?+0o8:svr9_$k;k[h>Ʋ' C_uPna>7>hL!$uߥ@x C>*ܴ| =tFs9En8rŻ܊t\>u W~KR9 x=,I==wL0KU{7EA0C&;_$84V5'&gsGI }!13kvܞI#ͧ@DߎmUr<>fAGgB X/Ky =>H QX+X%]`i۳D`_aG&iaԦ$;l *s7C^21]USKϸDv2w)HP(IPq hm dVnOTi|,MZzӢ6úSD9V!w@zK x ^#/f+0nt˫ h>^Ol@ gBaD|$P9c<3N$uMbepo@X!Z.}Lp,a*"y9٤vdOrMU–JI$Y}Zsz pI<@.픛䆯hhf) ct]č%Ux楕JޖȂG[xs`+{ca(RX =hd.)IF\.S'fw>>WG5N{pcQub+A1$yuToU*O&ɓJ(/u0 '=⛸J8ꎪYk-aI`!QMw *2yn֝R"2zd0.)z%~Yp^3 FV-g6!^̼ZE7/w+h?=ZIn!dzwFGeA4 . *?NpHodJܪyNm QQq)M6e l,qK2Tz'ֵ=gS ݀IO5 rpA?m.lL{@}GW1r:]=50S<8᝿ѕ ?1h8.y?rl=4C+遾A齰#tA0pc,oUa>HrT~TM VYE'[?^) !u!5TzˬiΓ"xbWB qJ&iFN0xI[O~& g9LweSjڢ6v $(3]ҧNkNMÖ6ƗH|ƥ!$@QaR r I Y g5lC")ߐ?cR(b,MfY?%$gx~Õsnʼtô|ɉ˨v3|_ iG҇ꇺv<$OEuw}Zt4"M3-sX"Ui6T-iYRW{Z{q8b#Ie?0t1e"QaV\JV75skWGM $NZߓ>GufÅѿɀY (&Z X`m3XZsg TPls''C)xxثbEZP#ί\8G D 1R?+gfD/!ҍ?<n0E6?Fz4j{]ƙ@׵W=S޷#P#rZ;wH!זHs;uQzz2{AY ~*h{,_;A2)HؕZ[N]9n[[a;eU5l~nP';N]^X.ʵ]"+ rJ ,x)_=F@"8(nGhu'"X-71%^IJ w#TX *uL"”Edļ#XH@) zA;b9vݥx; %@τ{c T;tTq' %b.@ .z Z3L\;!K4yjxnJR67'Æm]Zye-U #sܲZxepVPgVMta^TBq̌F_mIHpWKϙcLr0ѝeLDy:f3A`75UT $, \LY¨P?&"nR;=|@y*S^WbMKl+F+, ?~~kS ? ;\Z8I|f2`*Ϳ׾:K{ӴM{~vjU w.ZiFMZH u"jnf7FKCvY lA6iml$pͥ(WֆTInՂ| פA P^4t8;jK46"eg;)[4s*DFj"HMEf.HQȊk_ gWg;zTxUHId'Lƌ0İK{l^!s:5Anqg S-p҇emiEm% ̗J(]{z-< }R{}μg4TV#?/TrcpV[ܷqJ8Q'?jI3rz9ȟr9c?oId jq;^9A8"ŧ,"R I*XsJR'0% ?%+D)Dh;:o@N%g[[ RG0>z8_ VI|AVb4eqp+;@-5bHaȳPs4Ì{!oDA`3NFB'YX{Hq#>1ȫ {!!C57/RDAlIn})M܌wTa(?p1Y2NzܱJ<'w'@-΅ B;jwOTo]mӨpu}FrKXi2j@{=8C枤p׫ -U=L$Lbjd} ^z4e-:YRza@ѷ eFaBGeކ]j=5ʭk*Lƪ9@!:C(Vm<7"ްŔ(,@XfumYS %t'Hؕ_'O' r6h(:E*Usj dw+'U.Cr+M#y]6ȺwD2 $X$r=ӏ BZ|$.0J[UR œ*4ٍMp̖X%6;giM1EM(1~A_'/|85}}ɻ7ڢڝ f8u%Y.qwo iRj݇&6>WI9ƱUW&}GU23q&2X=ofBU`~,7/e7]kbd 2rkdODh玘ŪGS ]>G FzoACP[g MH>Q5@b c{i9"N6'gTQc]KB ~ Јl =6 4-I}/:o, t$"lzyܩjGH̞haI< WܝDḱj+I{.ؑ,&@\pz)v B: P$)XL'(֊܏d ~(9(.ܛ =+$+uӞfUAZ 'dLD.^iEWgjTg @M-hbd"-pϘDϹE'tg3ڐ4ts\Cki1.HYTWt}/m5RY:EMSnӞBoRd>Bkɇ %\T^0%c)jvB~I%!O=΋[gbcC&0ε -GZ%M>߆WTNi½@RIUMK'n8}*ىbZ|aBySsKFt7N7gOg-Pc8fsrGleL~ b|pu|g"zP.}JДU vvtZ'd! Pe ]g.mpqqZܽt2}VlZЮ?fP̕9岶$Cc[Ofy+~=~kJR`_x_&'C!.Yc6=<87C_η=w&qiCꦯwN%|Ona[lG(^~r?TrԷ-\N2V22O-4-&ω_MIQM, ^N{S@suURQiuָy/ I,;IJ;F9BX7{xGpZTlf@$T(_mb'Yg@[RkWp6& {¿ Ev}|n̍ZʘQ_)J E$-AG .:N<ݺ,j2owimHQfz5:r0yXrY.Ès `2ч]3:v))>Y++Jԛ`DG3G>BH: Df8ʲsr9YKq(ďL&h{ duM+t.zژbB7d0 ) iWmy}Hg`Vo,bUU7e ͼ0Lp1.(5g}[W`g",Է-m{0ϭU:r56"'IU}!ֈjh^tzcEP(VTzN87tͺ~49{DH7l"0y6``ӣܐtu:Q+AaC073r0.U۱]zu?uz1KFT $o;Sޥ!^ Ki'嬴A%Z@sB}`cpK)d5V6ddI/>Yjd]~I.nM*/vQ{Fn+bXMo^-]9mIaq~#VZp֓Ži&F:= @gw')1:*?p>CouCvv@CoQnБ k_}鵥I]:e2x[.%@Y6ߋbxug~vEm\B9ŏtP(8 t}a  )*h=ܑ 4kx償 yV`f*CZT)!}0Cóv45g+!O k/y fpA"dI)EZ=~&X„zorVO׽ Ԙ8#uz]SNtU oh:ʗ! _:.? 7'&ql=~TM24K(ۘ(2jH45r{%~JE.^t^~$^$w-?ih;80Z̸>*OU'\f {^.qu~3Ґݎ:/bI\;5 yNn0q>p9/t z$J!sEA/FzYDDvhZHreun9V@~^,٫0yec5AjRGkxgN:}VBk%ynKNn݉ueCLFSO a_XJZ6\^W AeNr|Gqӈ{qu79< M,w{XkmKGpCҫ ~3b(B/ҳNJdyp 8v"osKWM] եa ߬ <Zd& 'wWЩ` :u6gt${wnH![B;J3$*jhJv,荁D=Z B6yo;fÂL?@<&˃Mj[ilYPZBtKyLVE.Yϖa ml 4vC I׍=Tkjo M7#SSMa >G2{w %AH@i/Vm b6h @+>sXDnŁq\x\Ѓ5JR* "R[ʹP(1FDF}X#Èܠ%Cj"o7$nbl{va/8;iE8g[qJrЦmdynn{>^46ִIjO2#ނф7i~uKfb5OܝE/`0p5> ^iVɮq@Nթy2~"! /dy*OSQ+ u}m[b$'t͌4wbA`\q|2aފΈYqݳ&4d>);QT-]?"[HtP7V@kjmҖ6g0, zZҘdD"v)$.WQ? ;#l݂yDRĘ`p hXtT{qw0 [:HPbApq:ߚ6.d YJ3M= ZSm)rXQȾZCMUxc)eL /5|rE }Ki}mG7dq" l1<0e/J_`/rP jіsK(BAT  e$g)`ۧ#@ I,IdMLخD/Nі]zөRZ_16!٘x6DQG*ߖ)=B('wrTpqow[mܾ4E2K E\_U$P+h"PL!ZCEe{="ܸtQ>־ɽK&FOpKK'+S聙gvٔcsP@r98VcE{8 W]z*8Q,?`X$U MY!F;U1Wâ}kߦŮng>5a+GԁNW+`$A4ܗo,yFՙd4T" AVH)ᣦrXG}U-d q}J*inl6ͫA'{໇idub߻T<\? z[kL,7z%<.M2'@a&!pÍohI Dhlx#-bZVttMKZ:xy8X 1 #|u[-s>ֹq#7Siy7ي2X8!J xD:.cZ2s ,zVbgj7JvBi0`)Z+-sxy$q W1=5B*X09N f*wtXaAmYy'O޶X8zdz˱S`N*_DL)9, sOƔfs?}8E>=!!:"kBph63_o%`~- {og@Tl)ͻ;'3r  UdX` Q4+c1K!OC+kIG(}sv╷@hF2Cdq#e<+krJiNm-uxK"BFt]"(xzл0 ؆=>Okdu$T/K؋Wz H 8^x̜%=9`cxo#x(r0rv Z sXZmEȳybyE9 [z${Ms53=(&1 .Hh&^ޑ`xONPhQ !cIQ2I>GBwD3/)7h]Lcnm棋"^>VHSU-p~Bڌcr sL{}G#?` y5As 7S!f2 O_1`yy ;I(v1WPqMT8tA< o7wB$?=+YSɣ*XR]͒%k{JN73X6fs;>]7TpQXD5j"۹]I{x3[Qo7Fw7HnS9"Jy?pzTf[R#W!̱? ŵB2ӿA9hWqO_V#z?N8>bIoیGg@RS b0^Vݯˍ8 85tc:BNDY,`0 u#GK19@ l07VaUCJQ,0~JF vl AJWT! R+@:Or3̾B -@Q $xvy!!t~= f#ފa}O-[գ.TWgf,r>JHݾK4d(BH cz 1C0e~b~lcR:Lk,Ih\ s#ߥ]{Κ'9V?:LKQd47=Npr|̇R|PJ\6n$ D)/Ҹm!PDI7i#[mIқcR XtPвDG|!>9&MZ@5#fF <!φY+ R0+iuo$/G0V7Eia+ whL/xXPy$٧LUi%ӧ)<@u0d@RF+FnrвSc&Bŏm#Qo@б.tf*b1D ߽0=;^D__zAڠtIf.YrƷ3NYfo\]CSn!R#X0=@?.(w|~H"5_kWkfMMH6hC#A\Ó{<%&:2 ɰjusq)=5$9B_Fr k^pR:)~M:ޚRY4D<͞nYnߍJ@ymty9\r)isTKRE''O_K/)?σz؅ S,S. -mޜ5h*ڑxiR6/KųgWYz '`ǵ,]y9e*l{#pLЂd %m!T g6 Ui.eOqˢu mg?4GT-+recWR]i!I팰itR5Jτ oZҁcvԬw"KvTӦ~"Xt=``C"2u$%๾ی6źe;6cA րPl%w+o,WeH}ρD$o*@c)+.%uoCWD|"?k n0=ax(LXXxmgZ w0h?owfJv{5vښr`8mqTG'Tdzب'8Q5ET2;}{H|>dW-D\-@~>pYP"7"-9-F M}V?`:uS>*!GڛּKOwʳC^ҭxQ.6'p,sj]Gx*35]\[@jSᐳnaU㹠Nb.YQtߣP7PZ$<,fF FTK"^:]zZĬ"ǹj#6dxD[$%_ئ=|YWbL$M^9/E&UKF"&_H"6+*C]Uz0feE[aW/IG`\|Iтa6 yg+jSR: 6Or=˯eNL26{hbiť DJ -?bU*_EOI+-bj*f'McɮO &ڟԮӛyFiye*)3AmKY3?&~ wjEw ^y89{oV6p3C''Q1zxolU3\mB}k,T S$ {$k;K;lq:Qi是H?{5JS5y?njv,Gee{6M&>akZ_0Zrwƶ-wjvkK6:~s",d"Y9.nҮ ۠a.%QmJ{)!Tv7,A050TξE%`9kΜP y Y1S(3ѷ ~P+AnN7,_ѪR*~/v+C(NBLN!BĩfAvF$N% ftW;J6 qF߫1{|Ȏob٦-&!=̤W)yhԟ9'O7/\@͊K+Cnyxg;kdl~lM{vBK^EQRH:"H Fz8ВdђkM)/$\g_Yr"1N*g z]h.[ "qO.xgh}Y/TӟlG@qlQ0\㏵ʺнczn50ay-^>FFܱXCb=TwX1D@Gz5 ͼs_lQ=7E7x'557i^$&7/Oor4iuhƖK݈w}T#|J-w`t Y(bBrZ:@h} Cv᧚&,`4-ި#1!ɷS-%oxl*5}Bl]}OKS!FMPUtӫqC71n0"uNҵ ?OC%1}y)*HpT ÌSqJ$ z[+f gW9r.K%x1Wr$)BoOzBW]I{u 3xQw|j%> ዅ߱APJⓐGy2_۶:u 3 l6\+YM Fc$7Y "G'T:ξ0R;"c˔:r+$/[ۘ:`RezF5FM`.T)@i0*o*%rbaRr$Lplda)N]Н?! o\#͑ZtpI.oLGۗ7~ҭd70]-iCx rcoNTњ՗'FA8Up%yh% T`إCK}@~ZB^[v"e d6ΧÊsLbzoJԈIֹ ||2oFIitɉTZ(Yb13ٜx$I[oSؓ~H,|KB2nnm v@qw0U׌ T@vkBjIV=@Tm邁JzwJr")t/(q,+MEI3G1BOm6Ǥ3gYZcyvZYԼjfRG>i$ڊ4qarP^%ԏce2n_Z5.J^9@PDd,u,!Hx8eT H&i40 qʦ[Wz1šwAE y+MCv(%ʏ : DeܮWau4Oe$! %+${>43v؏3 }\#pರ-#ӂɰQ©FMz=K(?[p0E&\xT+g  1O5+e$7Of30?U.5[j͟`|s!L;SyJ0JHW>KK|.:Nf^H+ y;kF:LX]J.hu%(j0_J(G_>:M֏^=4抣!S7NuY]x:^( x*afF$&~Z-PB$x<3Eh*.|n[\8Mu:5.]M:͘-:ؼ;~{D})#+DPEeUu|(#` ִۺHVCK%2aZ$ zSݩ ,fDR/@QdL ItE v +{חcLJ}ypN}ywDB8be^wVv3FCc։ln0¿^V 5wyC"xya ˂[(UjbO_l}c%ϋ;eೃwSf$_cQʷv jA-?jijE߰(`k.k,!1`XԔ =ҸIPCc#r'eypZOlv߁gNZDQ*gNNd_]<չ5 AJ4(E(] >F( UTЌ0eɒ3Tb(")Ë8C['yMLlH:b1 H8A;jvPY~z>);ބDRAh .@  ĹZZH4Z&uỉX/ss)Tltg~J&);Ʊ诀6+ s*h 7UmWB̖]J#Yl$O$]kr{P>8?~+K;_C3EZ;M?0,p')A`eղj+< yUIHZWZ:TL rc]˦H PovWX9 j@'uYJ9U`LFs߾| nhJ(?Сr=58)l Xk ƈOZ5<\]W}93ioTtv!݋|@3o߫dT>Q/0& M7M=y25";} %E7[9/-a}6ct}B淋 w$m5wڡh+А雂[ o#m65lΕهsۙnAN:9@^R @1;f޿e"s0>{Ymʉ*S/;Z/IwX02aՠ"H؅2pPC%j1s>OCwչ 2yםS/ %ЩNfa脜BK3F$^{!e?71zLI$gnqW Jb^Z y.sjXv`p]@=FD>Y@īLmk`m ?0wz\\Pcb.Дi ٗ誢iRfK5:e^rj:CT۔<1"]'h?H#E,ZttO-6,tBc hMxC*H'AiR2r[IKn7~MhS}1oNpxVePw+}WȽD_jvbP(SY!ϲ)9{iX) wb-%)0fUWG2l*Edn9enX~l(928 ix̳A8 C̀M7U/ ~=}8Pi:NC-qCtDu9Z@JYس5mBPWNRZZu7 Q )ЕNMj9¹96 I 8O 1w e}ֶ,Y9yo>-$@1mXϬI&+W??+LePwh5<?v (h'Tr(p Q֞`\^9'rl;4|ڀ!(m"WpQ)_·(w3BUSk &+2%C%G->/GR=)p$Z:*ȐHo؃򢑀/3 w&6k$Eb.9ֆaQP铻܊l uY;T-x0Ӄ[8KNϨxSxuIXPf䊷c*@oڤZwy4JtiE7e+}D}v氰,^9)/{Mpy6~e&b6 o)gYZ [ 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_id2365W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! Y ]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C3,_iE8En *rWHW=X[Ly}U Uy#Jk+ReY~ƭD" ' gT Mmi39MʗLSpyж}?ED|p|65_ik=wxqiWW=1oi;L0j&%sQ~UPkCpm?Jì>ےsR0$kl[~us=&[?ysG! J`R"elJ&腪'HoYr;E8b#ZbcMA!6._嵟R9,2m%TkQ'9W1s3@4׀7I@E^SD(GϧRp݅& N /GkykyrXWD'u;c}aҬMEyI\Lk2^O PX):(v!;Wmq]s: h#n1gfu| @ dyi0~c}:;Taի_zL곍$IbeE%%6.,wkhu[ZI(:_&<6p5$FB|X x[i64R9i9wH1\`  °$riV`&E-#'}Iy5t,牜)D,lXuf?̈5ɳkSh93 ]ܭG0߬+4@I^ T`);}<*D։o6D^DWc4s wC-ŠПJxvsNt)fL ὞s]0@a)(Olٱ%J=Ɠstǎ E,~r1j|z!Qlڿ N\tAtr8Z O./i @HgXړ_QBk+ 65Q2;mvC~0,_oR1EbRtJ76VlbK\x ?~0YNCZXgRcEyߎi(ѹg_NPQ T1," nzIk/Z& W#z]i5l9Hzghm3O}",\ Rt|~1GE@Fǧ9gL(e#D&=O0 u?s"ҥ6/KihV]3讅O̥4U'G܉=~ U +uKa8ѕ.K d2lHM ܦuwiEpߺj\HAu{"yWYCb`4?a۵W1HOQ^i,>fKfSh5It#N=8ϴO7 LVCw/zKݐ5TSvy$l\ peseKwhrq|)H@+3VL]ꔷf~"$gU|%꛱]ݢ3EوL`lj ʦQ = xLH^Jcghض-񤮃=H~덉!!BoQx7% D(z;U$Qz F08dcg)[u) Ń!86uqܬE=|ʤJG#gn2h*f~`$W d 9%5HnhG*K|[跁O5ZMf;!@p!sBs˻D^K{ƹjiAZ?MVMرu]s‰}lj̀ EBƥ =,|F2 y5btPsg`l="ˁ(Ɋ2c) 20ַ(Μ v 5e2q}@;kF5q@m#cVs/ܔ, ,7W^1]Ձ|Yt!螁[V,_ߚAnp?ň II4 5W# \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! j&]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]orKuU *bЊm55Gk㓳_{T+"{1 KV~Ld$2BtV]b:  gV'}F)b7~AD@_=g`_@7B"(*@L wg,qz #ugeQ@,ڒF6b@ A"wQL`UۗOsG :u߯؎dIJ)SmBub+i$ֈ:gj5k"lOdh 0.v9\v7#i7v"/Zy~CŔ +3)=6>rB|!3z_#k8`z,_G9iqɗP|363-`L40Pjlt; qQchL[wq/Z[3GQ9Ij=圻Ee5H{s@IWNum1&w֕I{}bCm'; Bӹ_fg/;% `/'`TǙ7[y4l9rMjnq̧bdYdt YOn9 Cp5i4kZJVÚ*X*_˚i'*pkؗz &H9רGu33dhU܃.}?@\MZ"0J|&kF: $)=3ݓ Ca(8X'.o#1_{KS\t- + (uYя_V(. uDr%F wSM7zEJ$ 0GnbI괌RON-wn#yW9~ 5">kTO0swP?Tιk7P #j:Nf-=tuOS^ꨤ~h Kt /V8 u"h3wu)Aaܳd7 Auuh<1]~H6ݵ.Z6}5wCbG{ 95Qdp-mkz8^p 3 <A>:_ϓW\ O02&cy^Bx8 Ȭ5_wq'TgF.'ڪиޔY̐:UG薚´)he]&2Rn*b8~}G~ڬGX7 "ȌNP&߃.눀;u:0zrI_`q8Irkت?嶙5=TGSjinc]`K^y_r8êqA|uԛicBHcPU2P];n/43D;*rb_;ۀQGy8<6ruݺxgp& ƻMraDgₘm2rj]; v "qwZ`EeEph 1'GH3(A$CC+;0ؘQK EnuH*y/,DhuЋj* G<0n}M;"` :)Ƶj :;U X2v|=1Cp]%7{IEu76&f*[R'-uklz'R/@ԋ 3?K/eP7rhlwTe&nEh =ACtux!f31D6(lBޱ5@S`wA~_0J^x\1UW?EGcRgE"{u>TWI:ւCv~Ru?h܀yG|tD6gb$+e5c"߿؜Ҹ{lC!fs"9=0Z(l\)3[X؎wYlCʾ Ŋxh XPpkC͞юB Mäwz u%IPt3%do𐝈x2nF3a٫_g49!nUc˸.;R!n֬QCR-j餏W<[ HIՅߚ!5la q,e.\n[C`ͰGPq@aŒ%(=NttîSxq-38`jDF^zB8g2PJNJ+ PYD*1ɵ~)NƝsDWVI=uؾd]}wTуMVơRD!Tv%%[zҥr2_L&8{B#T]ʬ]0]_lwz[Gg,y i>*#K'~6_& z  Z )ΡP_%6NέOkGyOd޼pǝnyH=R$\l@B"܀w0歼ߛ&W"6JĂ,Ec#Q[#W73 Ȅt`4"Hpt6i>VRn@7A$m#e x3$9ZJ͊$~I^c-Ͽh+SސM^DP88/K-j\_`g??@luY-r2[n#)TÖԐSW uIoaLD aBB YU ҔȦkz#{YXI0d̄3PSqا`*B qh.aqaV<sԜ  l:gYZ j 5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 1 []Άxʆ5.f-9 rq=d. r +NZS9|zS}ϠI} l7##V }.oW.a#9Ђ2 GVF15 <aZ`k\0YjujPc]?P11 к\-dlL Ϗ\)eB}ps@*WfS.hPI?azߗ85S+g(f[u Zȡt؅M+9,hju?M nQR氹"reQ-a Ds?vRu4;oS}+ SMwkH 5뺣hJlC.I=jaKäGѽ*R(^Wg!PFږ>G O^ ~ryL JX Mo3X++QђBo3q4;_u`mFf‹(.SΓ~}E3- ^[C"f.BzibFvoRTdLymk󼐅]\e\f">Ȼ(B9z!6D]&84;66N*D^u+P[%ƅpj ѩ0͏-=J$ Wk-_yH -^AЋlbeX'bAOnin"}8paܜv_m\PAR ʲN\ABy-LJ ㊻WrڑM?!HDR bi9 bc,~0>R]xi'^PWbCH݇`|~3* 玿A0k|i(w 7(]7?1G /!kfgm(/N*&F-=n+c(c0Bv-OcCY_jYsc~:/7KʺF7#+WAr&a\{hS. QUCjV0^=s7>&n;&XZ7ov T Ijөr Gۻ}FdZ M2Vst?MH$S<q8F%X>1 i|^KMv}xp3\\Uv^Y(trT Վ0, gH3қ4Wh*#U뺣Bʚ*{[bSIO. jwU:8sʯ\&x3#JcoTwh1>-I OAflX1p_3qT.#EI1eq(߳X; m5X~I+NҸH*^^9 sF_Q@Wt:@Y;@迵Oz62#&٢$vsZq?R"^X-#I\6t&LV)(5jqYֳl 㤢Kh[zq ^v VIu}b1AXx455Udǣ͚%\Ͽ`1۴ƒRk?LUOSNAUw-lkFfbG>"~un@>Jig*{$8J@C/п)F=|Q(xE,N03o XbGZu+~\_ܜ[ਭⰒs603l%$slgմI/;Yq]kxB?nxLﶻY&,}BJCXT~2$وKuTD p$ _U>sNkPw}uCQxtpe0u-$Qm5Y]G+D72Tƣhu"z~gANsK)Y |0SmnFwqznO5  %t>} ~k* pԢLFq64rX+PZ\0e+-rӯpg|587`^x3M8ke` ?8e!0>-,԰1wlj8GJ!%&'O׸'[mb24 ?waOEr S ?\PpBHc2,Xp|uXgl?~$DaĠnz\RvUb8%i\9,\.Ҿ= c!KbX)w(`tªv.б V@|*vH BxgYZ1q)3*3KשS sɽW ,8eTN͕Rn#Nw/ ZTd%Γlgkٺ1{K@Ooƕ9 Zq2w+2k"JF=7J[q xlIPQ Lzۖ')/i%I󉑚oÏ^,M"9.;ͣp!lL#LWKĥfyWK nt",GBԔ]+2!.lTmB[0xe^,тT|҄yg%,E?S7?mE5g?si@,iJd0kΌ l'_-(5&/tۇ iRjP;;sP(YSyu(IVZ⁉KԷ bv 4CPCCQZ9P8̞8HEYӵ*_"b6ʖEwWj Rv7EZT#Ɵk`.cp"eֶUeJA}Kv<7b Q{o#3(G&x{[f;Q;m ۅU R;{5œ/}-9[:},\b[Q ר$.loqdKS_6glxYp+=D2.S|KWH0Hg=S) (2US_Jc41ԛ7qap,kN{fjPٗ` ##;t~ /4hJ E3e/7n&\|LSH yOEDaG'gVv`([Ȱ1 ;OIZxmCr)%n2]זF2kzb%čUO7P0|>ƅxX-.vV@XFMSCosPr\ njL ky1]12\k-m *3ꃊ(C?RZtlh.B-wAyڭ^ vBE/v% tg\8G!oyi P*Κ3fCMgk@qك8B냕tcX+Z=ґӲ1$^ZvTc NjyOU_G8 X6طEZC;0?76\fxسH맥f*B`{gfE[b5iV wi#0g ;L07q ΂W'v0貾=dYG''B=6dps{ytmY gA1Xfu'p2u-ފYXf_G̩Z֖V7Q OuLz)^zOwY:r_\: %x!6!FOA|Hj[$"oXav3J̈́ǚɃt[m~HRTҒLn& hU6Ȑb^?P\"3>k g-ev Kۡ [DVAIvN*]џo* z) 1`Š8 (ZfH,w ;$cE:̏\[of060lg=P?svQ7\s .{tFpgY>=9uuл("rWnez4:h;0D6RôJA4bXkI -/ 1Z|( vm Y(BÕ!$Od2G]$:p_L9S-Ը'vdE1xqpCyaHˢw/jl7kG_brjFx8lކ2ƌ"Df@f ouF$v\֭7wp7(ήی(=p~sPYﻻKS&s~M<2%HOKMM0 B!{/DZWPDi\"pda!'jНP)y_ET`B9Ic,05LNehok6mæiKg);pt(H65&A&o01.>dI*AlzM>k>0HkѲٳo1 84/iL _%+׵+#2(Xb01»4` C1'k?ӪE~~ng`J:9EW\}o6R̈́ߙhdM/(Zj˲ )K7^-2RXbL>5 mz I{fF} b(O } x:8Ό1!-n=x̦yZS󞖠O[ղY_zQ(1[\ 5&T9$N뫝IQZxa/(ߵTud9P,"jn%/ÂL`Cwl-TV5-7 tEzѩlRm+=ѲJnv`f~Qڭ]-C-d,H Ns=+rݮ_cLT96s_2y KZ%]+fa-i5Λٸ'"N7ll6Dk4`G ڍHө_9xNZ ;vgd=cFz! })Ն:X7IuQ3Zh]$ RT}[xtXXf#[RҲI93=juQ\Ԑ[E VOM`yki†Cb_̋ɝљK,r$LrءK㘲oUN4 h"\6Q9s׻yqbN$rzCQ̏x3߭@V/9eqx37'a`)28OV+ID)y{L)RgKغ&!ߕ+kR*ƼvMqv/$_])3gXSc D@%Tzja5+a)%VQ8HX{bkX*r{^: W, O}Z7ayH=0-RiP\<`.±V-<*:n`Цs{ol21{)|wlIGf+pb7"^xse>ÓD|"vMP~܉clgL zw !UCtqQ-{=)٠ǩ7w^X)Wpcu,N0P ðҋt _XMܙu@ pJُӦ#F-gh79d!o\fq? [^9Z{BEm{zR \) j bKY(4Y*ҋJZ)ZM2րsy9xm7Cog`Li&3"b ]伩[F*dggl띐rO>܎HYS=";?C,ZjryyTk'*Ҥ2RMr+Jjȉb=o%ѺCkaAaRhe^OȻ9E7?D& ,C>>7oB("5'pY9dS1u+B\ I%.3PJ>X<ul5sϯ0֫O4plCOj 5oy1[ >&6)Mk&Xl6rQ ^7THZOW6kjc]b9¹XN\@Hl{"w˓MNO$dQh8a#ȭ+o,qS^vmAb3,"!>#wH L^wӡ֑4^An ψj8B,/@A՝~\͐ʦtv̛мdNJr >?K(=dSwJĭ2 LςJ^-4$Xlm>)sC%1 0VRN]lgT lo=J"IZIBf9it{?-1ZeKAq'}[-'^!i|ML!uC>b!lnN&W#@TlOVl+i-*g{}DdiB 5'(Ã1`3¾\P~z 1Wx/p)!IWV\_(DC$+9Z_ܔsj$h5[Z>CӋW\B!Yȃ}6G:bbW TێR9'S38 N],CC yl|ILnaG?baP}d%p̡^3MbNk(|Clo^WA.ƅH3Gq (̑BNOemjS]&F5XDx[܍t1Ղ464ȉTJ4bo!&ih,~n\[`r㾶d2P뜳 >Y\2ʶ}Ց ՎBW=$emȆQTw Z?+ 0YM3ϵAȕ^ ҩ\L.(G8_I|TN,qѩQϿltW]3T\;wG׎Rd'K>vWxs5.ma 3873!ΠgO~oqcY0̚rg2t VⴼR/!aZ/Oհ7eƓ) հXyi_@wܞPe6˔]:!AD_`mًSFsmIs6?9xAڤ3_@B6@E"n%MyKHUdI@>t! I]%^U̔.5HU&pR)Whv=07<#_! !]G.yHN %n)ojLx´G *x^r%$hE|7j׸كQ+pNvgۆGjLq2wGUS_ cHEd ō=# v\a٫7!M:e Pa7oLM|V7l &7)x4[`fl:?p ƙ)&y/twTϤ6v8ɔ/w/`湀R-a5E\RzuO t׸"403/=#j a+"xq2 !ҎB;ߗkceNM4L})pCR׾>:'`1tU^e:,&`$[uRSB.ηھ [-ߝ}yt[UIj TG&y잤^f s`L-]SmDlM|6Ǫ* xuUBW/&`}h"3/JAfu[2<0z*BN>-%EqkH>FY4Pj`ci$z#I]cۊ&0Mձ:AW`l;(;g]+뮗v\jUc }L$tVsoSo扸ZAUNv P9z*bKtQy DKcmvZp&(k'X2ةĠOCe^!9P&64.x)g3xz89_k ?s?&]`kuR\\ʢ x'#7m8n ;]MǰwM+D^RfT+ywUe8eSaiೱkwU0j{)^tΛ^&GY6iDa7v+0/ ?jZR A Gh30T6̕ՙB`\'?G H4ŮQ'w4 ZeruYoԮQ]1Ua<+ P tdkhB;nr~ PdbZ52y(U ;Q_?X3V ˴(`(d$旷1_*e_lB> jGVgYZ0967c85d44525287a3834721cecb6c6a91f43a4f8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6 d114ea8585affa1ead63c6f741e34ff76a13097b9126f6dd-39bd-4b02-bde6-9779645e3604