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  5z$$t ]/ UHOL-Record_Benchmark:threads=6elapsed=147.968cpu=243.238gc=19.9667zXZִF! 2]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)vn5u$2&c /L$v^٢$y8vD^z06 7ymgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙ MdiK7AJ׺|`yԥ{KUl_}YZ7zXZִF! O q]ŗXi%5F|˭%l߱x"ǹ_^!#U3a 4> Αch\Xa@"-h%pȐ@Vე`:F.k|m|Vf RD wt wRJo Wr`H`PH:ybջ+ +A01*$^ӣYQJ*08oƒ/j)U%6( 7pj(JF Z5MRpOz[[yuagTM$һ*]ek-Rp"ЊBys{l艥z|b 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#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{UPfw0n߈) v&@P}?ʭr_8׫YmeGpud:L/,8E#TKEX,a-Ju&}xgYZ/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㳏ߥ[ō+S`oom22 !2}VjԻ"`UŠq[%ciY=GN  }8 %Xw6Ԝ(}Z~c5ƹJ&ߢB1$MI/gP {oiIsD" Tج%To:*Iɨ/l-i/:M<&7&=:}dKSI?d @hˏnMƇ8Zt<˰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>+@J,5e!!( Ĕ|cv6J*`ٳ3BTxy~W5y&7]yQ͙OxnD $ Z_:=/аU23ט?bȚ 1)V@FctDh戨|і0Me+PjTC!a{V%{GFz_bɞYKxɧoRR_4t0|IIVy ZuC cPJgng'+ZHy.jo5ݙ[p$f3--eðMIzql'k| \m٪=cB_D$o.Ww,Tk8֟)~E|O 1(M{`調FJ?(<ZYz921%v鵸ãVU9ixJH+R FJ8ɨ]Z7Q'Z1GY:#?-9RN}rBi)hsשD+ps<Ye<mI.?+ r/4 TDG"Ã~S6 b~'o8J~گٱPRq(vy c[$7[ ez 8b9jH%HDROy8XbuugnNuB@=dKDR5 :&( [ JjL<ͬ"x"QxiVT(;z)* Iժpx?Kv-unuy)"5wF@"2Ki;g;Z[wQ }P;Z)kGzP#u>(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~& g9LB{i2km Ai e*6t.r*|H%#QSsl60XAamR\PpZJn DykJas&2(dkrPja(̸sMu 3!D'K㷑VucLc3[)T 3q51Z͠}Ɲ!`Xš܏c;mt]q0[wk>shAۤSìf_D+_;--Byd@lHJ>ohzm&kЋ=VZAP\TWM!W8q07. ~('tQy-!j!R^^ sLhDZ%ꏶn ,@4 K*nvWƵ,0g6\oơj SAC3¿0y?ח40S[ Jn\R2'_vIl* K%, :z)ueś|rJs^<P_僎06cV{21@Zyeg ZWhԆhfLN6#'L$Kɝt$ͣm0yws}SB|##9A$N MGhBBB^O Vc$}]2>e qf !yVHTÀ[.yL$VUZXvҝUPhMG6\emx!X$c@1}0ffඅF(jyz0J zRjQ|> 6sbڥ ϣkМdy"}Y YC3Yf%I\l\U h/<+:r*, ,{:8G%bDM'l334nc ?wl#4٠P}it\m)-Ϋ?#įCOǺ}(3Q^̍>4488v +LY eA k[J+I  a—&8yC_ <5 p:5нU'6E~m QSmȯN_ަ_#68lz~ $oQ>eba}C|u¡K!{i6'JrH [rVzZ̳]' np&!{l 57hA-ż5!{9&8j_~v&@BKn,8h 4;*z}ٓ}$R2 ҘF{W"#"B0`U,n,tdГ-1K{  Y8P KWYwuCv4=]pS.Mm3LE *Y0]\Si:!e.?קˀ!a{GkZ0/|w=߳o] 3 ?ǩ& SWcFt }),EDv,w5۩~+qV-Cη7bLP+.]*fbc{-ꭕ j&j۹eT8,i{ 5:We@TQ[ؽ(k<~#<s 4AO2y@#Y"YhLA)䅣.瓨~Ir}_6լ7&EOg*S {Bͳ!мat-ʢ6)ΛnlgV+ƒN^ %t]2 6}n9a! kM\ٷ$-=\)(jWڝWs n@:_ @{k0>\S) }%` U g3pqܢ֋u$ɹJ|̰(|OazQ< ^{k' tMi;AmGwK[j- $7:_7K>J+V<2w ن՛\Hd< {m^(IiSg3f(>å{?_V9r^ާ t%y]\9 6XjW&4^bokcJn GB}鶖 &w]$ӍS6 aBV{MS"1_t~a_  I0AO`J'iE+P-R*N&S;[Q@tY?\fTe9>yV*WDZַDC.>eA?+"u4S.ŘTˈH+O\ 툛W k@upStlL3|j]ܾsq&WhTj}kq"Z]HWj<'_>."7oFChs&}pǖfjbT&'IVl/a(r];n-Kݲʥj="z$`Id2;дނƙR =D2׈hpŠb>]/ڲ C 5Les960Ϣt*R{rS=)&ӟ ~fg{//0lNXS~A`"7{JgxýY}*X-fۧX4@nőF$T f1e0S4ABn=m9~]G Yϙ (HP8h=B{B~AEKk"]sN]B8'߸%8}2th]U۾= 6O`.ſg4ZEɣC&!K;e@Y} =?KPNE-qZg rZ$³x}iL[,JM֤ A5.0]tLf,0ӟTzj;/GԏnnpT]+7빗RVQSM]qi8bkTąˋ<@BAk_K2ot>vd<1So3"'np:4;H|q+ pA_]QI\,ݛpVq;:"33.Է#+Oo}Ӭg`9o>kD g?˵?R.:U:(t")Kڛh@"lXHv6B=y{:@K݉:NUr2+D=Vkn[/,r{C(_4R:Z'W}_T]* ,# B wV`M7n龱[UWU@ȣU`9'6a=㱀)ˊH:fqZ3eMx(4`>W|W-P3aloy$QVݸrC-!I;:(I̟~?k[Fm oޛSS`!i#+26č-xƄ\kG-(:Mӵxg2U՟irm@^n/,&EɴY rKg.<۵Za(NBp@o#mGC!bas/F("&y1]$ڃvHl|WmL%("sU# Ĥ0!E/8!VCٟB@5Rhϲ7f *&U 8U2Tב| CQbZs0պ{<,OUE[^8] UG'C>k&zGeHun{OHxyĕFbjXlG,4>͚R~+oɕq#{°)pO9 ,׈snԦB NB6'Kv"#7 _Y: +Ձ ]-u t6guSޱ۲uH=)4r8+Mql?P 7r5=pmC.bIQhgI@{ה2f}'pK28f SmxƢO7 xe*C`J{+PApRX^n|ɌCINŰ2bg|z1Xd/^\X^5k;Zc%ݼ~l685/jӍk :-qx9{r(d @ &%6Z VA~Xt/hT9I }Q ܹpy6Zzo-6|$?-xA<z|$LA0s>K^tr'a@% ۦ\~xq\Ȕж&h}gݥ ?BɤlCYŪ2>gxyE^N [ bp+`*LNr"+N{,M~T>ᬉi|E&ޗ]ѭ5 2Yh=gPaXRvD}Mkj>JryrޮA>(쐴N&~f9}Pv-02 pCSu@Ж|C($l]I0jQI\,-lf#a[j(fJ\yZj0%ƫ : /6.uu`UB%`o^+))Z/j'(c Y[/rnvZxv'>q)|DWї|x##zMBb?GQ7'nz]ˊu.}ZCsѭC,Wǟ;e/dæAfKbn֦gIDqP%(8JQ?n@*|`B=հ@:~ K srFF" :Ksl?YH{eUM6Q̘%FWhBk_IRsU\˹,zK1%oaC%C򱢘"b6JfאաÓ'Cj ;Edg TݬHHU/RS<%ȯ9;p\i']or4f!ICdS!6.f\$dE]K`N wVj]*;OI2K6de% `>iG&v4RopE;~;nCϱ.-1amJ,ce8_5epnoVaaZbN]75 R"dC9I,~P8yEƨ+QМT(>t ]ٌf*Hzx `5S=N(| ε$1R+ ƑqdI4 TW=en\0cC85_pk% Zi& F53AoC 6,>pghSrǻ; _^bYYݽ d%̏%vvhqomN͚CyXl# p50.gOý%{K^4vIԱ$@>lsMFƻ`?U>Eĕ *@PPgK?K?޷no}.giÏOCxwQPz[5)Pf˕Q0hZUTuj [׌YDly?"͙#m(dä^l#Pev(cu`Å&#IUvzK *{$ M y>l!/0/Z/)wC (0 /dc%dbshitg0?dE<>|r۪9hv(\ZfdF$iKD{;!I6j|WA܀j O %#>C?Z6L`c~Z_Jde_~nc2U&}BVwaL ^л5Հ. x'O!;M鎍aGE~^ Q='5U[cHOi:ny͡hF>H-IEЦ~XĻcz6jCA qdTe}Lpgk-D[*2{>9 h s7.qH UXVޖg4qMzg㪁8y\C  cmPYܺ{4(S(4 {KR*eqkgXv5 Qc1$ʀRHmݤ/bBv[#?E @ m TVmY7ޞoH. wzt!;ƾeO:R֯ՆY3M6QY4[%в#ks1:˴H >D z5oCT?ma8&\d⿳noS8*VH)#n3o2*5{xϞA{'mDj%4?θruA{9_ 9|I^r+wtqė.09p1o/j{a# $ɳ!ܦ@qrVxt`A q9ZL{ ^[ltz34C7k?W͌^r[Ey_[r #d2`YjώP 5Ȟ~ %GuD$z0l ~)+B7;yIn+q3b\ ^wql ˓ rO䑚^~r()P|Bxghc[ ^ˡ6EbX>DbҒg:T9[S}n2Hf*n,pڽ>JƁ?(Ř%=Ҹ/חjT0{BrSڤOxTC+EVA{7hlOu?U-Z~aFV?zHM5 z Cd|Фe&m28LCR@P I m{wYD1WACf( zq Z=<|HڭL1pT섀8Lԛ,[1,CWً4;Jˆ-oA~Ǭq[w U.,=1t:IןoŚNeI'NۗQ eKU 96/ov3!xIOF^%*3,E=n91Y2ɐwkzW>]_CG3s+GdYdg4ߚ7 Qx@i А@ÄD?_vS+yaŲ1;C黍{6rVv[,$8(_O>c#oprofq%Z2+8ק@[v],@&Ȇ n [dOe<ĚtLIQRH[Vz{尥`-tDEVTVc:psz"8=Uq(&G^LiN_C-Ƥz5Q'{d(o?l_3D\%f[9WB|sfqvt\8 oO")lJT2wl']0{KB~9>PT_>3? q}i^MVP vhj[s|80`+=O7Ħ"&`A:]K Lmm1[oQٜI ,}bĉ_ ^i8Dd'u%ffCmxuĄ Ԯd|ZNؽa!U3j>,s;XzkJJs|XHZ[cv~D:\+^wqm,OH#@qq&Br:6-Fә@Uy(盛]QH!_5kED:KNDSGLCpLG8+X<9}\H[-=H}wOöP}PtQ$)X<ހ,gIjO1rԦIdvbdG-{wDt2v7N',H)]^:DE C3phB8d&ܬy1 2yKW<&ZpGx6V?[4/s_yKd;}YI`{1[WCd52`zh[^RTwWG76N%]ި2e`N5E^#%P|e"H{ij |DDiZ"2Ap[m!&G~e!ו_CASAe~a$g)d/dO4*h%Wk$߶k>9Nt~%OQ8\ᥰnGU\3MHTYA~Ym:ɑԾTjYbM o6g#pOM}\ڄpܾR Fĭllx TD-㣱xUiSD-Wg =|c^ Gs+oev#_$8qޭIIA"Q9tF_hFm)R$l "O\2^Q܊Z9тhkKQJגBdd1Mx\Sb!$_ml $!K*>GJ6we_V ϮA| ce OPl\ZҘqWȓ**w MZ\-jG4K)`]ilTG }&[Q8]aq[@۪Ozt%N@S5p8T1~נ&( }34mLp0)8H8J.U/"\Eq-KcD`v6 KC-u6CƨG[S#j#}a%1ӔRԝTqM+l02gnGӦ ݢIߋ庡D9<[j 튮W%/cc3^gYZňcyvZYԼ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}93ioT Z9< ; qL3c9F!~g֓o6y ѐ0uP1e /jK?M5C}N;X9o'O}gVύ~pnzo8A?{ƮB݈8T wKtfJbf,u?J9|$К(G.'y2nۓtvFR8uS:~t@V"9)ky@j_ͰC(4uc\i5$Ib L3X!ڧx +=] %v}?5nMڑͪfQCEzЮd FC[HݶͦnHz&nɬA؇pa7s,v߆#4S6-6܃>ZlDF;/Pm}?k=fT%rvA?I?N\4=l-˜gP zTBp$y}MƆN70lm;*fY˴TÜ]e䆜6ug3lWG'oW.qŝuz">/ L^|1([>h_<6det l ¤>#`E/ҝLľ8BOrI@v-pß ?D/DPGrv I;naEY XT )Nk7 /#-$RgFYUd#ʶd 1hpw TO_) 4_5jdzre銻oFhKpTM֓fuiÆ3V^myMyCCFb*>Qu:&Isk-FQZVB.JQ)]uqAeS 9o+M(C=oPB# ?YD]٧*_ۇ-&dNlWRw ܈W1UϺ:jz*-Kuýhß IPEVZ{B5/ZDzH w~ܟ6ku;vz8- "V%4e5裘VlHǎ7LE٘"7v1NxhѓWZ7x8A=ďp\4gEeT8[_(VN>߭(m1=]F fn3y \FC2@ d[\PxP کߡw|a76nRʺ˜zf顙^Z@p9I*Is_\*Ӽ V鉜`8HA4j+|H2Qq~ [0},묅͠3׺(ۡ5o$TxTdw\#m(KlKmb"g T}H GK[*4N]'yte0O;Ň!,.s7׾x\-]w41NlLX̸sj2Rv_TSN:uի KF6 ygYZ _  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(. !{d,pv-{4y< N=[X"Yk=Z(XݰrY 3Dc{B="BgX$`RznƓ_* |5|c:/ow 7y!~T۲L>">r˼ <+%8#%ne1wl tU<lVi(L2{$F-8VҠu%]4~|`*xTy@ֱ'v-\'׌f$#=zlkHVY r[O6 U[h;.E5cJRa >F⿥qrx qKzX 'jQ|]IgVw%(1vyu~SMVmtԁ$>p.oh^ՅTo3=g|o { R| r@}_V׉\,M',^~+Qv6w25L0ɶS.TwåSp4q `b2n$BW(D̊x_4=Ѽ㋠;IIg>U7v]GmeV™0?1g b^'=yԤio)HM qn8%8n[g4A+~G(/V{Wo-I;6m,kwٌ8Xv*ӻ3:<_^gq;hV[ϝG bt$}94So/Sa(U֎Eh\IܔWS7갌|!n#]&# " *sݞ^T!TmuR*RU'yXW8N<:YZ@GXPuX$1 q< w)%-ǃ);u)#gndp !*t;pEz7׸~ˍJqq^k=qՋ(N`{4$`d[r )cm ;:xsLZ| fJKTafF>d]\w^Lf6 jNMro-,R^PkɵH@c)~T(@iXYʖXWhz#egݎeE*) FtZbkD6?ҜǎnEМbbzH5 F' əH?X3b *Ѭ'ʽw?); TBRxG ސ#ՌGe49ͅ9pS/=4܆EylojSYFωϚ0]Z7Mp@2{?$k"mMTE T>aZYəMBX RTա|ҫaC(g,ӳ= 01-gZ>(t82b&G*t!1` T>E&B!17^8)|q(a%AXDN㘴Uex%6U 1zΎ|eͽ}Rv(МF-[WיY;c&aBG.@"ϴP'^7hk 0&ϼP#GH?80c +4Fh>՝ }KsWhXvO:/.rbedȽ8/{ig_ң}Z?*Pp?fGt|8DbR}Eg jX0ta߰y{:jxߐš%$J'1 u1eSJm j~fVSAo6%'Ki ӑJ>+@$؂&/ 7(y]5]֛X!os\Bn ܑf.⃅3n3$eoa#_=g!м+)A|;\2X('V=?w?jg3Q: ږPıX-嶬[uU'ej4 _mvz(؊dѣWCAP l:gYZ ''V 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 1 F]Άxʆ5.f-9 rq=d. r +NZS9|zS}ϠI} l7##V }.oW.a#9Ђ2 GVF15 <aZ`k\0YjujPc]?P11 =9^Qb4 xKl;#f7Gq[|GeuVjT&u|"+;<O7ZO`gߵLL7OW{L6K3#ɸqн1<uFOc8GfĆ~DnbTڱæEωEXt)Zmlz>v׾hѴ(Az>]C7+H7 ϊp? 0DΪ wvFCؔ  "[^6:K([I8ysX&)Y}g$ X z~GyXj u"S'0F$]L=9l߆rf|w)Hb5Ų2אH}oO)˖*.Q4it F?s[fdӫxG󮇙;hϯ z4~kB0tewIoc>`a3 n7|gs)fR. S -vTkL(\&ݼP6nLLFБ'nI}mŦKE6Bev&7MDiǞٱXf*)8Z|Ә sKi,LlZMb^:M̈[vO@>::]eIUGِ1k?fi>p҉#٫!X^Vޥ=J{-^~ ^YM*1íszZq{uIy-:f|)2VU*ߕ p;;9J@rڍ,:nLa y&Ͳu,0Fk`zSđ0Psl@BCu؍Di 1@͌yTlI(n6UPS<*բbhTM54*dZf^zEQY$7H՘ᴵcZ9e>~ډCl,M>Rkb3/\SM &"#*uC ̄io ${m?ձ*䦭q7X@ò 76'le~##Y %ndJx-0聖tR*RZ0ӫgUZZK-nooe{/R I!Ճ|ޖvf`#?ɣ~aԎftcw*xXk!h$Trkߗ&Owc͸qCʝ󑮦B˱'M#vrāӱZɞDS/}Xz^~4X£:B"cEˬOm >8 W5Kڗ]FQ˝:r=}>z6'.n`a}{^_Z9*,'vԆu-PJbw?Y&a+U$Yޅjtz^k}#.c rHxf/OHV9 ~5 'uo4!gn0IFBظB4~uتץc:G;N("SwHG']oBWzKW=C2~l.' 'C5"YLJo ,/f9qu8 hf|Y~Yar:};F&s|OzW%sˌ[24"_2d/uKZ˼Ān]=Eڗ߷/z]+xE&AY]r0ܭ8hJ13btQ]8:8( ڝEL2E0Ѻ3 ^`zIxWCTD͉1] ?GtuP"Z,]Y~6AFhx>#mT4J%RTTYxl;ЫY W YGc$]V\i J<y ` nR֬FpFWA"~S+ #K'8/Ժ]4JOiJ9;GDBoZ.bc8=nyr@BN{U@$vNJҢ8ϱœT=k?{6.V˭SbP{/4et8zy&=[-c]#^];"/3~ AqcEՔ5WŮ}kiٽt5{VmZ)Fd0 2 jñgYZɾb1;URARq koT{ 3ћFP%=w9OE}DחyکkZg3si`qbpng -1Y r׹bn;rp~l(Zb,jP/ҵixEh/N>u9Vj {ԜG@ Ur^ #{ f_yx!(~AGt?w.Tw̾xNRx> r(-``.۔} hi7Uܻ&#X!ɩ>Gf7cgXO!5^ezI H@Pi+ڂ1p)6  xvIy F bW+Bixݾ< GW.Iqno{3+0nD ZXN ~bIBq?v k췵>QT-«lZe*C.LߩV\ߌVn)|RNpIOG2ZGc DXN>$Ulɚ~v&hs|.2mSb\kI ӓgzfIy:\ 'Pk,מe̴]mdC2l:Kor6ӅMR9jf4퓂W7:uRIO+c3Z" YP>|D LvVfUQdf"^o?ZzXI/9@k]ȦWYuʘ${H?8B*c/ʇzi^0ws:5ceş]#c\Kʜq;^p y}cIWzP>/Ujwprrt2C'[-qM@wy4 zf0<`A ZKz6\/ BXdf'}1>RoX`G3ڏNaTA;@g=k؁1՜`$a$ ̐.OG 굕, 'O UZa>!萔&)Xz|{4JAY$$g ,ñ: ^G[AXLhI' M5UTEOw X" x^0.w36(uJ3Md|9]L>:څjrAˀ);8}א#2vd>*U 767SqbʟfaE-Ӹs 'RKAt죓c׏ӻX =_M.,3j)W@0k |p '_ãdnܨTr`. _OL?S[3\_zZWobR[:~.ۑZ_ʋX]͆QzBz{3Nx]dgE{}5@U.bX[v:'QFj:)(Vk&)3Mk1[ c;B+ ڰyAx z:9&J26Rm5\KWL)s2d\ mQ5 $ĻBk7%0l E)r$rw(0?eb|q_<PW.fW&Gi rn-e6?$,\ֿ-v;aj+ARc=ꡢC$H^=޷~5au *@ٶ\Bf=4SRV :tt(zܒ] @şVW|ț $@kʯ"%;5lV ^a9u\F҈K?|tbiM3_\DN (JbraSgN GS#M{.I0w:fl, #-w['.iCZ $Or5O44ƟպY(= FޫELS-Nf6rR"1?ᲁY#1ki5!Ҭ߱zG}e8Yfeӂ[[{~kMux*Trێߨo3yGS+7- %y@ջt P[D^{k}z4-U|l#xa(3W BM;v?Ró? o FViT|qa ; @&RZW9',OU8ajiz6u{A'MA2.En'cٛuhpVelO-ʹaG@eP>@H(ZR!+I?!n3yUKR.7)p /G9Wlـ8 =r`7ifk #>۵+wHfN'|˛LT>uo36g|BZ~@4@-T1UFJDeB[.o }1 _Iy8mf[k<7o5W\Vift!qSUoS,AJze v<K^@ *eh򾸋vw|b@S[F3} qbbCI&ݥ"m\kե| ={prۉR/thv? t<1snF&z#9{ZVFX26ӐJoO_L|dY.V rIRE`<-dQy©O.TNp^[A?Ηn b%6R 5:p[}`̣l}c\tn c` N0`vX=ws5WT xE~'Z.kM#zHL&{IĠɥSS'Fqg@&y\ w84؂XFUםS,toQ*=m(qs*زvE(/)r.kĖKaǏ<KOZyvExg.]Gt ai }%G#9Cl!lЂrXN^;ݦ$~bTQ$ k@P 4>4Z&-s= zH3h"yf{"zZ6H<&  ,:HP{#kCg".ݮLrZp6!AlYVn@q>f+!mq}R`1ɪH7i*SX,| BלiCJl _Ŗ<ӿ)ݶ { ni dpȭ*]d{X *eu׏п[t5 t[7GoNj3hnv3ov)q Q;8:)C{.C|Y6<po ZpO8Hڞlg$aDɵN.:xүYG~Z9M8ѭ%NO'pG'ZĤz鿂 \)qeCPdyK 22m].#IqN iӎ#4T r;cA\ fS 6/!8tb{FZ%A#:ш6"Ґz9E#1mhw/+Q:NhA[klZ3c]EH+ٕtįDqqUϩ5!.E5];tɖ[8$9X?L]lDݰ Lۖ}lNcSG ~i@* Վ+L\a{rj:6apz$3j")>c+ԗ!$;ݜMAb>:*ݻw1SD7hd ~i_ \aMI~= hO Ow;S]~2R)Gz‘!i1 _.>6b#Ν:J1<8MK7f?ҴwPOby-Hd+s+0{lH58.@o4 <71q &T(0j%ųnnP8kx34<sEdcJ0xXW?b2KS\ڝ\PM$ ~ ^_5zojyU^ | )q5z3%͋Xy|%,ָtV6{ ;  %-Je9Ǖ* i;rh[Sr.d'F";I?&6hvі|zEK6mJfajEPg6x_o|bf:!%&!sr*KoV)-bMm\)+Sv(m! !Ɉ$ Je~Y+$0,R@47F401MtO"{ek{B@TSG:="GOgD}dor-WqvS2jj e;)>nM^rtefw1-Y息_;#fh&q8z\**˥4\ѩcM}⹆US;eh U,C)ߍ)p_yx>+̘r9WKYBIsFNyRm/|90#݆sI#)Wr6p)fqBHtsC{ǃ Yz~#GISWYS&[22Z?5nORzY"isuAo3~5[Ny1X(R_҄%R;SaccQ 01я#&Kngʂ $B-906==dÉG*l hB4wX1+ؖ]KI%f.<:8M *rI(3VxRRR7ap}1nA JO4AV[&wLIwk蹆qa\p9~rh:8I$MsloeԞywH?1 l\vij3q:""n⍑̖-+8Cv}g:|.G>SjLKk,ErDL$1XD\dkC'l77(`0ٹM)S!0|@d4q_O{PO\}* ێA \gYZ0967c85d44525287a3834721cecb6c6a91f43a4fb2c9ee63d5fe16cd978c564d494a9c11f37d0e75 5e62c0cb0100aec33c186f91f5546684a9cc17b08143a092-c8ff-42d1-9df6-41fddba7630b