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  ; ;65zd$ ]/ UHOL-Record_Benchmark:threads=6elapsed=145.706cpu=237.881gc=18.5677zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe){t#ܕ0`X/%>َ9rr˜6v@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘ټu0mZ"xw :gh0 5l_}YZ7zXZִF! @< D]ŗXi%5j,eUF]Q`vÅIoVU"854a<٦ V1P]~R ~T>o)(7aBh2RhUKV>,+2o1#i$52`:CɃ0n3P`v_B j2!N }o&aʽV@7}MMSq2nGrk C`Q ǍDDRd [){H}|9t:J`ҟc5>F~rK^ 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 R5W' 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{UN6`,#XRLZv*3,:'b|zB]^U ;( 92nx v0@w"dub髾iK;Ru&Ǫ3-'.a;!egYZ/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㳏ߥ[ō}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~& g9LweSjڢ6v $(3]ҧNkNMÖ6ƗH|ƥ!$@QaR r I Y gQpe[R.Rq5q`|/gFT X._I#,%BVPv50ICݍIdS&<[h}LbD%nr{=N4 măRvD"DqNw-8dθO)7IxE*܆Ղr pQPw(k>]q}<&O+j28aE)UbACL\ DsJzo yH I`` =ʄX=OqG(x| /Y^^me-??s0Л3^ uo(21lgQId3h,*8)K?F5jkBlJ"_X3μh0Sgu>\@;≼umA @"b ogxc_8k{[qU="s@bʴ)_w K B&c7(4SuMZ+@/ֱֿ4 ?X{^ Y!?nydd>F`RybO ~WcGP07[;0;BhK뼷+Ӄ9q*=(*.?06BS7$vI$jp#9|ݤaNcαt&mgع׺8%&_|klmp eZ MH62}#txS} '8%~&Z%WWzʔ<(aI knLY.8@Uyv-R =RLGWJdFU ,| 3" D}E&ҨDn :j&[V"yj'eQW0B3,iNf5Y^3X5[Vofl*DEIn' u9gpQAKqEL^= ٮ=jRm8sA2yT'Dm,dKl6lZ ){"=Re-GӱOb)Qm Bj#y8 wt|8hvՂo ɌL{Y; ~#Ӛy6Jz8鞷#sN@V) sUł7΄Ĝ ,"kr^NDMg89 }rx&IrP}28gBX_dtRWňS­;G84TuxlSjA1ɔ߻,"jkTe GkgZu<7hcLuwTvDT@K vOe9P<7Iѳڅ̶2΋Tix[*c"ފ(愥̢+,(}K$$bhGU~/A# .ԧz(< Ͼ EgRrzĔOI^BZL1L|\$'}N{ D5C>l ҿʺ`m<G2g)$y=klt#gEI׌h^!y4S%jk7v*^k䤚IuB_uiX9o\^p=T# _.|bL Vٸ'7H"ܣpeQ;c 2HMNvk1MFD^KM9e1*6 9qBO`XKlջ&aq S7(ps9Ӄ4|QY{ 2DF&E3SLזdGO }@)*Z28q[[Q3U6j%d&"G4I74CRFd꼍]h}'ɮ\Q.6>1i6CT*R'I|s+ ܏u *𲃓_c~3fUb˸aN\2M'P( ձ#c5+h !=a0K} wKZ+}Dc4A};pnjӞWo'ÐND@Zx_.vpkQati5$tz*E׷B} &.%𹜵r\@-RA klY>]l{.Sd `a;ڵ7账{;=_ᨖGlT) |F0.p[֐zF㥵 `xxOq+c%kyd̦3SDice#01^J[A<-c`f[Wz!D0-,RќhHVaŵ 8Aua 3RQqΪ vqJa`hss,Ɓ9y mC0Ĵ{[^)jJ #JEviQ^Gp! C #Hw_F!*a+EVtXk;+Xlw (PE [q>ZU/gOmywG1Gݚ)Dϭ-7|N`vz-#k,ALҜaIk4rf̢޲JR^ nB_xڢƂ'*4wa$$}TL v; ;*˄tFl1+RvPe]Eh`}l8v)D |bXhI.dO՞WSYOAr9G џ@޾YyMg7qgcbВ՟w:4/?݋/W|t?,b fߓsĝqL5ØTsng9:/Y+ g*]35 ;+⺮RFaRR|aMX^JҦNOu2ԓ2)' FA#mox547(8 :DID"iiH({}2eI<%g;.Gif8 S븻~5K)Royt4*D”smǼ!{]pLXbI^EZl`=tJ2 ݝoߙ1|S}eL ͝EdWbeM6i׷GfSg~a^mPvw(Ћ)g mP*ur,mA_,oTzlUi"YUPi@M_7|H0iLB5zHG) {8@Ww̟߰[PT '멃*9F58)6@s0ƱџV0gBp UN)EzfkEh1ֱ&w%[e"oRC?nsNq| NG1%j8bG8*0Q~N HgT“"J8zZ@q<#%縬5 %fUZVǘ6D2E[8S C9xNJQux9rЧuY8\ ѓ@$m@HH=$|Rѭ}jQ$rn*mk橡!4D6ݍS7!)n3dp`#%p2?9p(I(eM-yԭ-yDKtKA, ȵ~͠X]aiCU@Y+mg/s 70e^f?usŧΚH)<J? al_RjO a&1 vT *AxזFx Vtً8M?lK! ŬTݫ?nc?6 8V9G;#,DՇE8 -Q"Zs6UUmv?9@(KfAQ*)ac?o($أ}WOh ` E]ت".Sj{tʺhb#oȹ3͗,fz= \j *K2%tIA0]Ozx&"Zp Q(5@pAVT2v5 ܤv'IRBسiӉԹZ=Ab擬y I'씛f`yʐ_*Tυ{.T`4kD'ØΩ3CDQoEւ$ktGb 0>n"3hPS=_jYmxxCoRxfH\3Wd5UӮrvKi@ET\z 1D,9IR8oܤ<;g$NJ^՞u}[4NLߊwݮ}#'_\4\- YbɿJÁAYw h XDRD>ű'< 9sk^ȋаC0bCB`G':"!Ak}4b7^]pVM}3 ?.x.Ϡ0y'"?[ ,-  EDJH]xo6Ѳፐe1n.6Xn]sD7^HdîVy5]n9yyٺp*OutG-[QSF]PC:;(k/]u3zkO;d4pC:XVh15J{!'Y%"x0fxjtYvu-Hy}VVMseٍ\No Icu% Q^yOR~@@S¸cUDtFs8do3uzI)bQ"!.8w*.ժL:9ȍVF B)VڋYMmv3O+qnԸqV6D_Fy]u VEZL=>WO(7_nج 罁łhir?);3??c5u+dloy*S~W55Oe}0y V+p8/>iX"WBGly[HvrJ W,):?F4)tS"xf?WSCk:0/QvT8r|o PG=p<% _2W~^Yb( ɥvkoZА*#.B}x-NYiE}A0_q±_>'XUl˘ngjߡAolW?0ȾIF^-%<{IbvwtzjG>e-n4ћ[Wʄp~M 2r|&D#1= VfϽ3W TQ%A۝iKgJ8&̽brIq.kL,K2q\1SHU%1$g'vm-CC'_ 3a8H5;DHpa`K:iJCu.[競wYZUKz1Pf}kYֺI5A=D|MqfJh]X)O3 W1Z B|+ܜg\AV8b/}f[W$H_GMU5;a?Bb ʅaH w2q빖 a@4V }!?0erRmJ]@]ĬXs=#}9&Ep٣ ݫRL Pe;#`\CRlx#5/H2m*(6O|#s3[̔p1fb_nؘon JfwUʣQҵhs=WKvuV@<A_ȞwUIWnO_pu XI,';ǫuʳ-HidR"\-RWF /.N󠑐eW ˠ+3Vдe.ց; vFGT^60NX& tUWלg\S1k8O9ypV#8+k2iٶLu\sL*ZRU6PYqlK4&6Vj#+< k=\Lb'&.ݺg2z+#eqMpqEs8+'(Dj>Tײҿ9m4|ʴ7Yl8jm,ifCƏ|?FD6J:@($axw1[>@`k%27.ejLQ*ުǓ2Ք3>ſ3fM2drGRi8fcidQy=W0UFǦZ6f-ˤeNMB.}T&Kז *Mm$bZа/}p߿ޞPJqh \t:^":aҫdR'zR fJ1,lށ4$A;}D`a. {-VUp;xLqG ~ 뇙pٔ}ѢU4%B4Rݠ5p, %~F"l K.Kg0Ab{2T̸r+E6(&tW7f //e2t^}3H ۊI'#TZmHڃ]V-PA`ћxM|OƧgfq-D7uvD4/aA/dm7>ɛz&MzQ(_d~ zjBk-CKh43g$e|]5Dqb& аtOrP3B"ߨ3@>v Apb:%&@f V\D(ưV_$BN%vJh\*8 P/YoONEnq*ё6AhsOe\T6&M`<{y3 D־#c8$LĚ"X⪞FpaݦC5ƜzK.VΊhu0^!HN!𐜥A/%brN_ j| 5Nbv##Jc+~ ,P.aݨWW7{ gj}ސ&=d##x`>9$ &d,ER b̥+-GqHPy%my`]UT "rZ+.S_0?5ϥQtGn\i7nN^:9Z0eREvwCod( (V!^$w ({YBNӠVEy @ :@^H~vl)}5ZSCcrF{CM3BejcBmW$!٫^;{($xWT #.2`JX+.PDDRS/{{@_27?F{ǔHE\(!jk(]!cU^wз: d 1:?+2_y"\[ֲ3pbϐ:ҢD&ֲd[ ׮D 8/2y]sYȯzիVtebJ\i/ӄ&>x(wrj+:ml/~HM(pg3)̰L8v2j쵢/|/(diUWP3/yOדiURLe''d/{{N')HdMP֟@<R߅u16BH鞒T(!7Y5%%6[F_{LDi_8O]9kY=v Ezt^;`($Pf~ff2n n@K."#=e2/'/C #5qT8F6}c[kYROk&x(U(_iã*{R1O Zeͦܔ=Tb tud'$)l*e8[R QQ">p`׉fX**6d!p@P@n;[UuJmSxYvȕn@&g}1):6L4TpD)OWβna9*n Sص^)EM6rGm^Qw7<'#&)ᘊ[DK,omؼ/7-(&7q,IS 1XwjwC#:괁ORJΎFL W$o s/3j'43J,<#Ԍcp[[rUCNpFKգ=MJJN;J \ls)^MgS&S w"OTIiLˌ 0*P5,,Mrs_irF+C=1F1(>ܔN8r]HRʮprcגq{;ߢL̇ 6´.eo5 7;OǂjfLnPHcouF2ӿ̈jP1#2l/rSՍξ\un+E4_b5 i# tݟF9Ps`9ђnT P0"752F~GwD/Jڰ,X7MGMVb?l{M[H Z{NC^50ZjW Bv(!Up '0W5)r)UA~:;ma^]lSqD\6E.SA'+>E"yDrH z# l4UlKOHN_OHLV@K1q6gK+䠘jv4Dje1f ~HNZe`)7YG$V$[w$Cˏ'ݹМNlqY~"(|/>qvgj5z-i|oC#*up+ j@'TWiYSFACXÙX%8ψZoǴ]A -u?s" , ӕ=2ݔr PZa)&7tRDEp]SJt\+R4¸uBE9~fR7NdoʺF^'í߹KJB qfG4I(i|gg wR^*\8}`a2@I^+9%`>VdpB* #K۴2JކTtﺃ/!2cMaj@ 6AQUYEewbNQ ,k|z2Kyx&5nN.4r m>]1#l(7)ÒVeeM& TXƱyw!; p$5'mXB)=7Jt~~oNpS !ū:U7bDB0 E vK| d(7>W!z7h>'bhkB ^b})yr1G~bOJJZz[>N$3$BL]l ⬑@8\^WpjA eA&Yњ=<;ȟ=fMS_ zIG#sJx؟8lQ*Hбp.dӲL(99ր<0ai$ڊ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}93ioTw AMey% 9-1 iB\WjL;UOf~4זh_մW);: (4#~sTl`kDtNc]hm:7HFX{ZNۅwR'+Fѓ$uGՇvTZW(ɬDzU#%ζX)|s8U CIy{\ U A$(,; 猊]z<'Lxz0 "CсgGNa Bm"96y= C89&C}U$.mQ}u}2g5$ D$g(X*Zz"bcBDV*;.) }j0bqbAyU$O0$CR:;hs 癧+) ay;c8]Oꅉ@qTZ,.q,CҚ(yW+ 3%K<ᤩV: H12D@.{i%vz'iFY~xyWޖ٭-$]5~qk&JjܵYH:xYx·(a{+RcGY[ G|"X 2B2XiM^ ݱ֘_h=yt;>@w#\!֢qˎM4d/XB9H)taGf8E{ !/L)R͠=T:ɲ- wtM-[ %0W+QD/K N r ֯TKNn:^`ySL{ꫲFEǁ#'b/,}cIb7sO4Z-ba5c~vqU4sSEI6g,@4`v#9J uxbU_5 Pl+Qƿ bZ:T]huшtRUpJd?ajL u]jaiqx&>L=h;miO1֪gFk7{!zIoOP/je* &f4C>fΕ!5M!iͭ Y.8_u'O:ȝ3 56 q ?| :߲쾔iYSg; H*M.vL.+/ƤLyqlr ?{ܦZ&M ɗHo^N.БsDsnQOU0Kl(; V "5_pV"b *u(6 &gYZ c 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 AA< 5W# lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! j0]ˠ)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-{4w~>mVoCj;_@xQYTP\')L05McjcK $zoQ#'c AyO!LVhz罅Q*-IlQpVF'xR_5IMH1W/5 ΤQPmXB&Œ-g}fd #?QGY׏zGC,a 2ðxwL׍ۃ%~x+ʊ[p2k?lԶPҦ-L/uH^0*>D%Xb؏QnrJ 1:~>>"yV~^)q;u6"P)SR݀+G=[#Iu¤ ٞ:t~oZܮ BD.퉯KY HVf,jciB9>' K(Y+xebP\$PJs4uA`ǐދ3UR& J>F c)ѕi B!k{Q>A$nUFöd`]aׁ2p~@T}UȮA ^)A.cr4x!?o[d''2d\ʅA7;u)`s@Ov5Y*d'$j.8r ھhْ$!* v-p6zn]Z5-(FrTW(a+;F?ԫP1o|m "Ie6ƉQ@< Z L"hl{籶Y;ke)蒳@" fF?*|čJzxkZZg_yT^mKZ"Ag;fb>M,,hTQBҤm̐b9e(WIVD˺g|wJ"CLhӲ P1B3>hڠ~so}=Л˙tW>i  !yNfH=6aJ.tZl $бMR|a@xrk9 PpNݬ{c Ϳ}oS`ONe0z58.`] N:R@ݝI$2!~Jv+ӂcCyOKaϭQy8apU4KJ[bβ\A鞲a7uT@߬p(܋16kcT@EqwN| 9IL]kw]L[ ^MsFXþ4#zYq"ͮw?ݮ//]=RIK1#4qtרPF$uVsttɔ!_jM2k(I7H6׬u`e۬ğU#P_؂gbg ~ poɡ7XNQaG4|X(LytBtT> SO3DBÑ: p*f&|I@%+(lZq';֡]ng۸4=يh];*ӗTQB䢈̆g&H& &(p3WmtU16bED9&j|5e"חx_R#6=dP*y{8 5q d usW=WzC/eQn ϜZziբ_ 1_o!z_i'HH[~5wzݗKD5-lէDZzp~ gYZ ^ 5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 1 N]Άxʆ5.f-9 rq=d. r +NZS9|zS}ϠI} l7##V }.oW.a#9Ђ2 GVF15 <aZ`k\0YjujPc]?P11 й=2^߸,܏ w;a*EK}P2GHWi*8Jp}:Ħt ]vqz+Mv6v 4#=D4V[OBؠ}16wz1̤Vn3᎟U/@_b': ;c?+&ꕘ%3vUF8C?mBŠUۖDlD ~BH = }U#Q/dZv֜FՈյ^9;OeW$iPxX345`a=h;^x6|1^Ԕ^~g[kFUрd(G (3\=b3f'tbˬdtYcIqwzK~綂bkeT_@@3`'\T#vB3s`Y0 +Ѻ yKfEQiym'lMm过kˤةx,_N']V2 q'm]>f\9$dnKfAs{Y2$2P]OD\* >o[qoSNh -8| ML lN~{ Wv-RUM><_ͫL hxs((-uB>yT!MJ$3zUݚdSxr=30KHslȜm }.7M"i E"o xt{YK` A7V] :p {m-BqM9 է')L)Ƹ,e ?4=1eg%"z9l/#L U3L[Ѣ$E1_Y}sRwb:shr]ePVRQ*u?iJsIM%vPNg==r9hʯ Zǔh5xIΰ6*\@~ʹCкby([\{&Ʀ>=X<1w}M6\%WNs/NwиE5 'I^bT!}sdSħXm~Eb}fZb<8=¶p IU)]lN?C d}[C:p+d#5#YHNK|˴Q& $AĒPʽT-U1L5l@73.?q藄V{_n%\n/r  :ܫ][iW|Pelb5э~^GaWR_Y)b,?!hqBR J*P,zf!: >׮=QF\GpP(=eO) bbx)t Mpڮx᳈}6 7ҎZ:ܶVC=A-xQMF1/nHCTZ qBnTSyUS'USK85R:D/ Ֆ@z(q󨹏,Xk&Xg)J20WX${X`4lNJ!# 'u=<HoM478HQ٬lXUN$P'4.6cwW2Yg\+ؖI_hĊä*D^]Um )#芧W&;BCq*25nd||s0&Te$ ic|$7kD7.RM @pVFR8^͚˸K<>hF~C[z};^ٹ0ц,a$Xpuj*]\ nQriT:0Vj l/ietrЂ i/gYZhjm'FS@|j ;}gIs&[!H44rt<-' |Epv gGqۛWg+fQ}炴lOno1+hYq0xd;p đpCCsP Iw#ۙWn9P iUeS@4[Ox=ghr$ $d( xE&z?`~ӕr,ݸx+\@q' 2/8bş5w]T{+}@Tv_i^hB%/ xܗ8jgGϷ0יp:i铳䊁*`YjA)ქ T:@dj :7li߽Kp; ir Rn'M1_w 0 dMLA%c{a4nEIi0ׄ:Ǝ,UR1sT\)n|m[T*]fGs(ϝl{Z ,HpL:bk?r=eӱ'ִVp up||F9?.Pիz5H%0sQs'qW#l sAhc#&[f{:msM)a9UԗPiT6t 3p32;z8 vc8]}DP3jBȷ#OaaQo GWFU\OFm[y[G[2bsfrvu0 SJ:ڣYʷuqLYӳ/RbWmX?)PUX[EB.SgTB%u\YG~f玁b͹, `5^tXp^1Te, e]B'^V0ӫ1CijF t_ Bbc,g~BAU9WËe_ 4lrhQh,R߉?.f-& 2-Rch`^--bبi )So,~Qp ب+Z9^Mnh% .?'.:ܤΑ܁* *,+`&\z%!th?Ue;l1cU]qJC!CšĦkkJ;id$c]vLKM{QE7 zшv3M6Cf-n"m"CE޽5G%ܑihQsvl Pfpr/8Bџ(l$&!`X[mQ˪äV|X{*Fӗ*Z; Xrwf ;R% JB œ٥bKt}` h>ѫUP5(///Y-̅ ,BŠ#5UL~{Ɏ_tb "28ؼlq0֥uYur0D17Yڦu%g&|[S|KM=l *# 2_"O@kh,(jU7ez2іM!Hߪ9TĦv;=*27`R& ?/@ F 'x`#prxAn7!q$@Ĉ">?5r#EϪx wPF 1 M)vو:8>X ԠN8{V"CC ((QV]hn1/VE}& {Vg.96b8F·C뀄8˪aBݟh"e/ Qi(}u7!TU5X:}~NY>w@Pٓ8^,:\0c'w Ĉ-LFBd/ѻ9ڠHu`21;HtpIGg2B~"1ί,oh k[D<`)/ E'Ã3aX{4Ҍ僋}MZٶvۏ³K/FA5*AORF 9Uֆ'`-<ڏ5 ,[ŗye^+tKb+A+&]|Uh4nf&uvO.(q,׽l9/[1ta 7wO +%R";TvU%o;eއgϹ:::n(fsN*"g{ +Ւmjg4DvYmp].L xҕ)ǣE 5:V"4NtXH0[%z@DYH<2ZsyU<;%=v{cl&%D2P , X;8'%" W/b;mk7߮^0O/u៫|VLNּ6vCyP-F[lr+؎?O3p~wC(+2SN$0:ƓU& l< "O'GNbh' iٚ7!\48Rrg*`$|i{Sv470̲#s?Fl.R]LаXh:X2H f qS[ң HDwѣ^f=4 rGlkÿGw [ɯm@sU u}b; ^q%#kԄc;~ +BjPL옕x̴akwT~P:DB6)Ir4y4m㾮=o{(.02 74`~Ē_Vtp{"6=wD9>)>V:&.dVy+3_>:;ovlvBUoiUsvQ l_Z3_ k<@|=i9ofPlbԻݮSRUߺNJh,W\1,0 ḥl|6<oWd'ҀlIe@u;2 *[@.M6k@.׷256'&8Ci5$be+zX)@k*$X˘k_H/|Qm~}NgM H j<_C8uQU(T[:`Q 1vdX$MN3J{o Fi~|`'g /{ vEdNNPJ|Y[M-ʛw9u8/ ۏϢHa昊t!@-!mAxCQ7^6lр_B"NGV>3~Rwh? KdܫfBh0Ԯ,[/D 9Uc" q(@ 7#EU]\n{2zof?is6T;;s>;ǂښ ŒI; , B_<4n }JW?QâMB/0~#u5T"z^U Cf$7bQcz7Hީvfl4xvT!ҳ1UU?“Vgc01?b,;AR=. dSؓ.+QQZ" mΖw*7{+)r?2 Tm`/3q"3S0/f?9CsR5m\>3 0x`SلjNvVMIѩ6=t`lm mHܕFue^ wbRG7G{[Q kjp+|P@-_[y;HeZ0| 1RJ]="ANQ(!㯅ځ #w@PCyzCp ygB㮮~,mC5|ߵ< eY=#|GOB T~Jo>HG3. o 퇙q{X1v_;,N$)ZmĂ 5&](~cX& :۟='Ǐiw ^$0ehU]q5UQ؀Ú,bX"l rV#ybI*%ʡq:SVV[(^.}Z ]U+ i:>lHN( kePM`14WC֮:7Vv܃kM61[Eg+“nm-TmIhzhRkÄ:{zPQ8N ̋QtF{#%i]"X~!3=f0Ec<cqi5Y@|maH䜌-nCN)ze%5}9"ξrqR/)z"tЋKÐ)`aԶ@Nh{_.2:(RY OTs(f"Y~0U1H%bOJ偫}fĎgD?$Jίtc`rY,IPƇ$/%q'麗߃mK\3rw;)tfl-ژ.xu{i-L0R&*@&& uNnTS<;V@( ArqEFAS G'l-oPB/1)zB SuT6a{؃ :/5\LXVHV<:'X0*AOsp\brr;U6Ҟ:+B@79?γfLf1pA!Oy(Q3.Iz=`1zG't.t2IOJ5"[5U*ZykwcԱ۾2 g3Bכ<4QFB3X ږ(wԘٜqݞw@ da6gYZ0967c85d44525287a3834721cecb6c6a91f43a4f16995642ff9d6d081fe3569bf6578b599bfc50b5 e2f00078e9a5e8bef38f416fe533f4c0bd843120425567a4-1624-4a03-8ecc-4a1e5e50bf70