SQLite format 3@ .S`  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info t5z$, ]/ HOL-Record_Benchmark:threads=6elapsed=137.737cpu=213.354gc=18.6767zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'9{9RYed!`IRvNԔ)^D}vY:LLKWidZsxx/As9gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬ dl:"߸fiH#8$(za9L}l_}YZ7zXZִF! ]ŗXi%0ޖxh 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 j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'wц=ݬ"+|quWhtԃ6-: 8A46Ha>1ەbKAk+]Q.MiN-^ -RP^,;H-V<;^i"Nu]%"Zרǣyh8ڝ ^ȬDHTmN=x b":F-͗DUR!YҼ bnkRT2eѠRBωzҷ zNtv"@3T)չyR</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% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'wц=ݬ"+|quWhtԃ6-: 8A46Ha>1ەbKAk+]Q.MiN-^ -RP^,;H-V<;^i"Nu]%"Zרǣyh8ڝ ^ȬDHTmN=x b":F-͗DUR!YҼ bnkRT2eѠRBωzҷ zNtv"@3T)չyR<^΁r wwVO8_ bgg0{B[ {V3*L7Gvi5=tpjj4GـM~\VV8Š ,cT}y-؉|wFh5y9!}RF4u u=J&d PzB Z&$6Рgj_LrA:/^TeJ q] RdCHo!L cM#]Tw~KYSn{Z)aj|f,<R%Zã#]h$81t-2h$L=qKhaFVgI]mA#jF3oPgsOq5c L܂qw9%b V &^ _`~Nc¿h\ ! 2!IfX7~_a6 6oA%0Lw)& :Jՙ!3z*WUOVN] $v{epț -`.k~y)0Zw9Shdu;Ԝ-deQэ"=lXtYS6VYJSy L.C?NAʨC\ʱDO͟s݈wÏ;7 ]{x{)#Н@/Ym=4Z 4/ˆ-`!`=8ɏVtZIkw(9,@ _gI:W%FAy^tO V4+U=g"^9LxI硴z/IJ@ٶU2HgrEO5s~SȢ\dJ.d@7 p` 3 ɥn@pQڧJƷMeE6sCMC؁=-Y0y[**pKriP7rhVfi3 ݺ q&])!v=V<B Iwi(.N?50&1Ѳ!&TSo8%{e0sR|n[k5/}Ow'=i+q͹*R:WJ6;lFY\`. şdpZ\adRX ;hj!9%5oqD* \F Yg| CѦё%"ؗ8Gbd)-jx%%{%, G(V2oFe}2'$xۈ&YJFʽu'UcW@pjTpj] $O %(ml౎}=p„- ,W06WI7O#+/.$@RO?^etIEEoTehYHzXZٰ-Ǿ袨+0r9r|+{ܠ@ .O֥vM tK )ex^UQݤ5J[(}5tQxNj$,p4]KDSsd?ŏ^ ݘMkb-ܯaC12ǚCy#;Dt c ~H,mÇ 7\w֐!@%ɫiαDΚ˱@)5;W-X <$FN})ǫȌ (Dzܞ^e(`% TA<%^6o8=q]Ph4Afe4~<+]F͵H1*[sWlҦ]Y EL;;71HM~2>b _ I|Y~zHelS }^Ǡ{0d1~1 @;mp_$2[ `\\dkl{?T%Vy4=W6ӎTtu~H"*ݴ5/@a0 g7-+M/b.cl*ԠIZ;A'e~Cjnð&Xy*!) wһ\k2[fb#JH8+6(Q& AAja1]p)^B~E%8 mHC^S7ŨB  ~8L#|HzJ㜾h~p ;SSc ;&)&t2_wBSwl`g])mQj~he(&%xjilHl SDXTB@!&zё_3KW_|1֟5ƻ_'ʮp%/1-n𰭢]z`l So14r֚m:;T[;KΐSW7T"ax! I:]4Ǭ)rܖqN ^Y^?#ds,F`G Q'~.w{yl EE*m[X>b\A 03aܔoq=XS罔@g؝q]G1Gޢ ( %"JKM.pnmP]o&2ADJvf5ey,thw +{f$lJW#J?A⨞џCN1 cL' \!֠os`0-F}>8Gc{̈U @lXzaU_1I "7K}{gf+!>Jƪ_$eOVe|N,HJ~yLujե%ˬa*,rnTh2,5s0{.n2G9B7'AmCIŸn%/>3s)w:Zi*tj?~Z(&B`ñgYZH 1\q//^݊|\5 ;h:b?~oIDT;nT@KyqH53 5}¦g]@Pu5bj,i$cO+E>I2]XAВåY JŽ[c \xalQFK{J ?tv/#.[11-BiJ =3T힬,/xx QrҤ4`M>M1o4tGQA/:V[u#}JsFaw+pI6о_ăT݅r_t/Jwkl[!B)Y+xJ*7Q[K θ'`e O}iO3~PeYu23ÇJɿǵ4=H2"ߊV$}ΤmgoW-ՆW p*YYyD]\v; O0z#Rh!%DXqZמ+n{LB{~O𬚣t$dBW㭕;/M%GޠŠn7YjPr"vQ[1ﱲy'{S('0)SR ͳ &$x~8cX<lvQBA}Z+碘*̋/~ARĠ}yPU C_;;)d"}Ĺ$;uN"!TL9(yvgw%[#_ V ׀Ff ۓF4w8 M]5BoF}`iQ%+bWpb0v1ᛩ>6ړ5οrS7!\Q-'fA4">SlŹ~ {IAˆTn\mj"uYddK񧘝&K 8/5Ȭ̾o .1Ł ]M_l$vji+ú]tOw`Fiv]d}_R~h5`ǎ\YM[=/;|d8&CnpK' $5B:SBFz7iB[h !B8z) xRzp 翡]0b"M#,Ց&WW"}PiL]i#B"x;|˞fFW cbk>mOC.eR?'+9-q4xv&34AM|'ƭd*,BIs t ]Snmd~a{/Y[;헶}jSgmrLC Cu$4 p_wjPZ_? K pst;BT@$ɗOukQ]Q=5ΡZq"".בiEQUra "-'rp]1dWh'ꉊSq8XIC1?4r Hfv XYGqɌ ,m"dvwCb+|mJ,߁ifca"[\G{*%Cqja s ZroBe$S|Tgƴ[8>DO*Dg|- /UD΋꟝?8) ,ja͘A(%3dS6V}tlPOS?tKrpmPYqԆk77FoiS\OjU9n#VYTܘ$մ +_JTL'Crls|΅sV ourЭx%6cqtCuEDEl<Z̢A@@0>Eӷֆe-*i+rF(G\%]BٹtDdw\Hv&~ Yjᅴ3rTvT +q3Afx`=޼Հmf: X,ݥ@[r/A~Pp!WR BN o sRW}#Q7s+sc;yţp|pU+dLF 36τTkC/5%YµOpej5do!ϛה9iJ10T W\P՞dga 9w#f+|0s@@7 n2]?XqV@ _9|*" i27>M>E \lڶ*OIH.dx)GK$$I:'_j/hdgf6H.:NSw1Nϟ$V*G~P:(tYfǖX2'<U8Ь1JλBs@Vvħ5$<ߔ 3ɯK6nڜN͜LdTqنs [06%{Ph} BxZZxU4/ɮ:sB",]}ldRųI "XB+ R9zxD~xaG[nsߏ+OuwKdokLH~(,n醰+d:蹤}@!%8XqgN䇓k dP` U]QZ9 /.@.Oe67tZM~|y=:1&"=)3<e%^?>N܇-A81,淚oUS:2uIBA]&JIɺb#_9u:! © X4FRtWoiMW9=+&QN ЗvRؐ TeI7j[:xYЀpg-BH>:ba7*R=wml F? (cTĤRE@A /#k̮K2RlLw_G4MК&!{u T_-O\ žh5rhzl1JBѤC<Yb3D@j=Fl0] I$ r)&׫쩮H~::$7zw9"S5D-d2$U6-:U?c+  ?ƍ 4!hzLSU5\Eh̃3'5Xȃw󊙄1;Kc4y ΃K g;3M[x~3xzZ< +KڊS)i&+@\"gKbs^>Zr6Y YUmuѪķZ\e8wڸIJ3Tnm?oHg)db^eAGSn 6ANhxE8&!Z4#PfX&KvVh1eg!:Fiߕta~Rz/2vk}DnP,\cpN-US[o;P x >8{H†J3|(tgj(qP=qӗ]O^Hd.RqEs@IOX !rLD!2FdLk WnرOF96Sԃ@C|C˅rAZYRCo_UƳzn\4lRHĶj%CnґWȟ??S1^-E" Q傸mA,8loIBLaD? 0/8l;x6BC{O5Ì~tHӢ*&q;q}/h"1¼w%~x|Nˉp)EϠڂkXj9N}`3 /FHQ)Ƀ"XA^MDnp.z^_`-=Ya-X+2d1_ɂ8]x,B0=R^`l4Rd1Xh S4ޡf=tMބ2!3

_E ]?9_!C@}MU}wT?G@!.=[VЂ ODr^<^22NᓶeJD. ۔}*b>O ±/я32!izrir;O#ܰcckgۨJ$@'rfV^S%CL&PNnm/K ʭ[@GiA"a+Z24q*C{ChG^"ߺV~8S ̥~]o*:qp(^e&tv<LNHj4'ܞʲ[lI5ֳnn#UQqôRZH3Iµ3t/~ӎ3dZ`;rfKDSj}c VkXfjʇ2ydC>v31T%+T'o"iYt>+zhi"69VCU`yʂB2(5fwrg_m,Kd,`6g}M,RTZ@KLUv&uo@LtZ%X\[w$͐{5gA܉fOM9xAxZ*I=n FsSqЇ 9`"ՁM45fjȁ)/ۭOMV'.|oUiuNm+Y TQ!0 B+?Hd b8#*eg03:TUWCwXe/`bp"Q+@Ia@F֭,yM,S܋]DSmhd~nNa K9군$X9vr,AnϿ!^#3BhQ:)" s`nEu].*G9&P6aiR9CnCa"}eFJ=:- M:1_Zp.+8/4UL+<ۯ@Ft tlJlG{_GvQ [C4?/"՗ fГnZhe)$VEo[%,< j3|}7r6dLv|;} p(a2eY~Q{FUM XO[Ss=V(EcKOLb l,0\cx7h7F%fdA@Y'2ks"I7Mu˱Կ?/ Wl^ 8. ~5W>r+ϗa+ߙ0mxåKT\+pn^>?P ([r?3QXQwlb3vؽ:FgoFd ] oRDΤ2% pC\g4Ra։9W`%QܸKUXVo|ϟRԥףF_z|< ~ѫPcA ,w{hW˗ɟ+"| #uD7c($tِ*?ij$]Eha8FhJk5#g!7~ڜȒ{7 [akH* hziޯVePfkcsPQ4?>X&&%3 I9'/d!]p7$@c4;&5F4Zp&O~̆ T?2YaX&\UORjMsjC ۤP!Lg/MgP^W-7nM-taccMrCadt%F PRd=W-I/47jڴAml@kES;նG@IsS8l#DmwD̖W'Ҳ)qU+voW\j籊5Ք7Ƀrm.:5ïya1Nv+os4X 6UUn@>"kD\= mOmcBtw ԁHYhA3 ߳  ;Έ8lزiҪL% 0{UBv!ꐳ2CDj}ݖ4`Fzy;t/ N< x1#:21 tx^ l]sY"uNo[_cg?g.ʃ^HUcӮdꢭՁLr=L8`!8g[}@R=H3d8.ˢr˶#0[VO̝U  ٪ҒwElt6L nTS*m빢>'ˤ#yݚ|bAf&,8p= S/>ԣOAVW:TSpZgȣj\vLBPBu)p&1Ns6yǁ 옏w߲4fH/tuxvwy)tvFXns!iSYrNȍ!͠x㘧 Uc& IpG(4®CO @*j@ OoBbe Nզ" ϙ2VzI|4t0Q1_9|ָDÊGTf `D" K2Nutf(2UֻxGbIUb-m]݊ UFd!ߵyCsxQy.iQĊ,Xu3ʏ¡%Щl6_$cicސsa85ֿ%x 2+("FH`0rU5$_Ⱥ49gzL)}S̴3|]tkixoSVfQLL'EnA85w *TS?"7x\K RE,OѻSWЭ6=QH{+x`/ ]I=ڝ Ax}9xD_a|{:GQPW|t#T^aHJ؅Q=]BImzkvaD鍼uYu&<" QL/_zlpq&SWcJ߬N#评83ٱ[uB( p>םfX o5Π~%Ea#h7P|Lo;k~~@PɌܧo`s!r@\~qW|.T :-/y1hPoW&lƺ_ڭB-:P{(ژKpq ܉ FhTbrh^4krtaπt8洹-`diKP%lB ږ!kGאWTV5aV'[`^A<cɈ *n`!@M:~i:2m*Z_fV-68[N]G'cCU%PE0Z_WyjW<BrJ3)В :j*B!mb R)aT[x +rEPڻ968X5*v%SE bգoV}P(݈d>2F 7!|sh&}W>*k捐Kj>|h.!|,Bq~p{@7Koz肋h[c;yowIcz+:$_p(YdRsЖHEŽHTR>'EO<#?%ro,`an3s`\x}ۅAX?6Ybx`xR)??;!_ӑ_,xaY2mJEq[u*/\ޥ TiaFˆ˲25FEƭL*:twz zg}۴b jJwjQ!7E+8S:xcI`lk3g^&œT %Ļ`ڵ2{ە`j`= XA_Z[K2H6g ¾W:uf>kkp+«T-J~85>}43sHD1W"ڬy/nK08AP۞k]a -|'6AP'],SLK&2HZ櫨SF1>9)FXՈ"#0"C`PڅF =Ӛ; Cqu[Nm,UжMv;@5; ЭA:o}̃QO?n!>6,ylD"aͨ6n N ' GJyX.6J~p 6foF$du Ɠ B*LM2BRRxsevbP'22gS-01\+cۢh!0AxzpAkvT׎UnAY*|s +\=)>>M/ -[Ֆ 򉁮rQigM dof͏YTe7 ]Js 8PxM\EUzƵe$6xLڕ'Lo24Y>q!HA>3t??S;qcHEb3ĸ: kxjp\mbKrIpa〛=N**qx1uhNEKzd}V2[{ Y+*]QO PEI뱷;И7iduV[W;Fh3O? RLFiK1<+,e/i\i? .t"bs:>seHUF %*bP[Je&: =Q'剱*B=ԵoJh Py 2tk R~y%`@@aaѾiPl>m3q2 ~x7Q IŠAܶkofb)25q7-T]{x^0Y1Ә)B0j*)V`P@ L"{7NU?ˡ^T-/| NOn (#*'8DVJD(EiOƆS^?;Ip+製X;bF72۸J<+av'^7_)iMX?P>>Y($`\"XtvL$Uu@c:D n)?Rz\ae]%fNRV7xBIZ^Fi=)+ӑŝ#Z~M早/!UZ= 8tF5m$jcl5#YrˆK2k.m#Ý" $%Z963O21EށI[m 6:D6p.4X;ɯ)X"RmKPTCU8 E5I-1lltF`{_,.,0=W,չ ]l'7=c[)ha+Z.  IW?x1ҰvLkgGs)N0H]exɶF)T 8^sKpzueY^MC. =ôȃM|}/ qto:MI745=٭Lf: ḙp̨Kv#+T aq_+P{fc}.gM+b}E?`&yhq̀T\Q~_͆%( !xԅW_'\>M =A ShtkNARuGЬ` mY Cz84a=r$0p9h&oUkPEvT=x?xS/b|Uk|KDUS.;r̀șgj=7};IXY;e ܶ۫u{a`FN<l7QtGN9f e4wM(E?M=r!{)xGX74Vx>DV"e!&m.G[Gx2jq3í yaD 9.r~c*"ʉb_dq %)@8]:*RB~ƙE'^ky<ʔ>`k.]N=r<<Ӷ8,6B^aVAEĮ%VzB.n-Ƚu[<:_)ΞDӽ5P?ʜKi|w@pRָj8*hJ,1uAJ[*9<=F FAQ L勝ߗS>~Y老r[[B'?sCJ^=FUCGƗOF u(Ua$q &zz \K@EMVݍCf1^EGnD1վNueg(#0ao4Dhn!,Ҿ@8^Z~!prhl&iahS2ˏM(] )5wmݰVmq6 @נ 6ޣ<$JwD^^5΅,0ȟFR8xmQUoRp#WUf-{!q?mXخfՅ .PQtŕj#Q%iՆ",Mm4  ! 咂?ۻ4L33`|؛jk/=Ka5zپvO Я?ky=q&R0(̚\H aB VDd&x{6f%Ҧ5^$c[ͭT BۡS( @<|`e f|KR3֖=j0amoźҮRm90TU` c a4A@ca5]`Od ;t"xN@?[)SY'vLKT$a%`H @~E[4耓}@qr.'2*|~ aHb5m ՈT'e1{A5~/ ,;D /WZTNٿ4 i%L\zD Nj A 568 ,XG [m x8*YRksJu/g7b'8>YA'@jKrxSl rFXqXTE<1M=*="oPLe]qHnMߧ`ʋ9׈ٹ/ɨ.CFF)D3(B!}o,!0ꕿ<=,/~wcġ*!tZ+y`-B"XwxklX4 ]-ǐI뷺?6VÍ x2<Yqñu_Tl.UGߩq3ᩔ}8ASTkc}* K/wD8O]p[l~8v8s}m@a+u{;Jv<Rqy"V, ۅBx|D|)_gr=ɡ=*eM,e8Rg;!G41.?`+D{hy~ӵT AŖI6~k+8sp r]NttBETjxst2n[w4Qߓm $^;9ZNqm );jz(+;l\A39s {].qS'WĥJd_'ޢ9MqvAC*`ItET)WСO+:@>ϲ+f0 N R[>p8L;Kԕ $6]b2r,[JdP={Ow\Z?jiWEqulr||*CK]ï\"q)j?cT2x(GG4*#HvĮq lFxpϧ eG _L0&EE/9^Zs䋘F;D ,/őd̵m'@6X ȍS3FW0Ґ5oP` P JR$k1udJ"A'R3IXpAj4襏sے@r#$]>05HY5?x{%6bH>QgcRv@*;8xٷR0*(lj,^WK̊38aQ 2]1SsI¨2^Rq{^Z0t Ssn82Ds֗3#"tYF })۾zmu B!m+7vz`~ /p8fthpt܍q.;h~5X=[N@1ū'{)fe:-!g,CA<Hijhk}-A98q0=y' w]f/O?%2ݨ6\cnuiAɯ0,Q i?Hu.=979n*5BMSű۽Ҥnc}[ˏU@D&}B~==d+Wz7Ġwnڑu y]\-W> G{6C4z w}<f7_~&q ^ X藖YS{CI5P g%P7icIH',A"J72njRᘯa:A@Pڵ_.Fhۛgb$1d}LQ;jߣ ,xo}=agt+P"iMRC?ĴoOBP mS!s<r`hL, ;B%5/kTίB׶t<ŭ˫4|%IX~mVA .%vj^ݵp+&[::cqԷ5F[ S;gL}[7i;cK&J;;ffeV:ZrϾB)_""@V|Ⱥgv\]AOaEn"\蹪Ζt5(ge#9kn*~e陃LsCݎ6/AiB˜4Z]j5AY[KS')h89S24,:sF!]邊 W8;oϹs3D*. u!$ wIO0O"aY酀]F87Ub\ Fc?b(_ d`SPKܬ& bj#0q`HSM.mD)Vs8v*6iਨZpdU,IIHh/%s+3c{bY Lx8]aTޮ?C}4LL]ǽ5U[ĥ ܟ ʞz':6_cݗ5[0]HduFKA@+.xg4݃'G$7Ǡ5Y|V?~y P"ڙH@sLdHbw< d!:e9yoi)A塯$ 6`E8I y9j.:D@C>%9Uj\ Y %g]QHVpg1p&bA5.`du~2GUʄ;b^dљ{=R%Ix?(w2؀? @:d9"~qVXOU/l/r -nq6~H]"O h{nm$T9$a8V5 *^E~zhY a@ve?sN\&<u_=q̩Ю LD w֎O단@=1FT =Ӽ}TpJZ~#3Djj XB æV BW Ka9T.sMb) ;[G$oy(X%$s|hfꏓefZ% !?$huW2n}WwbÀ-.ɵwWeSr`g9| x^.'r"Ѡ3JRl^9اg@3ꫲNnvYI@8VkRRN_*}>턙ׁUȯλC!@ݤm? k7{t#dʂ3@@f '*/8fKGX>sV?Y+nӏR >m=dN?atɳk ٦.ΔvZ|9IDH/#_hsN8>uW΄#uW^G$V*L̃ u Y9ϓߑ$D?5Q 3* ϓAli4|ELSIHAn̎鰷3>V| j\{hiOSߪIa.put@2+R4nӓQ"V,s0!$#տUO~]g44|b)F.1M\^g.wkleKr0/a!PrL}Av qE=6$H!Q'!^.iN P3$@s]zWãZY Ec9`'3zV8Ur S E[0 uYjimPH@Շ+)f7$R``r.'Jn^d9K˰G`ˮⰑgGĦx) 9f_UR=v XysUTSRj ䷶W_۶L4śMmk&3hV΄p&!!1?1>BJ.e0U:uqJPi_ϕm3=LwY2=+YC jK@^TmzsYu'|pquW>(ns2L k "/NeW@y@JiBঀH_4_~\}+|jTT]f?)9x6$r%OˬjrSudu}ˆs@TEl%V QbK?qgx 6jB yѡK_˃^M0?@L|#odm?jXx9񋄓&!ș.4v^{3GMPo~:W( d.۶ւhnh;c8% ,OZq1Ny1S9́i4,kuM-  ]cwIw3GOeW HirZfj/ R̆ᯃnjn&>5/MMAƬq 9 4 xk,J`(?¬tĮ9:,U?Ѣ(x}#klwژu$ +Iyd\ɛNDoc@cu5-mrojL8$ ֜rʥ xŘ9˕G% %͑l#$pdw!p7>bqQM< `e~P%2 GsٟB*44L7ls$'leN4fC jNC܋zewfq٦rg]Ӥ{4A ܑ,pd F@tH&,.3_(#mk?Nigy~:f苾Bߝ}V!nԙ(Iv;>#tv] j jJ{x`tNUMW/ RT7^c-0Şr&@ )FswI»<)4`ØhNdб gY &՚QBLCL>Y &y3j̸F!\| Rpu;}B[58t[Fg!vQX.ۍYSUrDx̋5C1Z[h,TuXw{~O{r!d5oŏRnLQBY*y⮵$6=wLwp`ܕ9)EQeLe@\ Q9>/غ+DlG0{\M|*dީqlJE?SVXVCi / Qr"U Hƒ&OaW}Qa7=#t;3K _:|bva DXhӈYԛoxI2{o%eh޳<'? *2 O zF%ߗї[ IlY19|z"hT_5 ^;< bd0Lo2* ~ xi4\;JQQ-s-3 l֙4# |jNa"MW*?.n_~[\󀯖 d̙m2{Ƴ_ jϔ>V>4f@pޠ2=) .>_q Zv(݆ *8JP)G4\&QTmڸH.ź+@e5p;PdPLpɫΘ_wlX>Ӕ׷-Je =\IV V?aTqA_F y}fMӢD}ƐkZ8t*/ROi*%MYbXf E _S%=.1Fۊɾ60\+ hU*E;f)L)2V oTz9^^V]nQ_Tv{0:p0˄T1={+YcK=i|D[GInFd-Wvkp=Yŗf٘9(:Ƚ[B@N q+1C$Lyy8'N T=oNgYJ{Qx%Y`7OArU{D!?z W-ؤ5Y!@!Kn[%j*uւ IyI˼ὒn _FQmmeW oXCDaF&(;H9'9ū(8T2%PWGz673vhyy IYnfe]]/1[@5ZBm Q*`xd|kŵ2Ӊ'ŠӴܻKNCHW[/= / g8/aCEP5?S A\*"TMfm9>w1y|]pPb\ }]_)ʋтB]nLdZ55v/{E4ʌB'4ڤ dxA͚$4)\::4/neLJ`*=vV}3 7mZS}(Z$A5'[.Rha=Wt)ǩ}ar=Ei\'7!" At)xw <- BCR_UcbۏwT~#DUNqMD ']sRQŰIq#6]f\R/|P\Ge'l > Iϖ9橮Z,%p| 0=j' nz_>Lv:]ncc3eEg"Mm(slw>o)ņLUg|s"YWԃ Yy7ڡnjTQWq֤6<"Y\nFj|:F;>YǦQ`oP~suڱcuRtd4[b- ̱[!Òh-~TzkAE=eM_Ƿf ^A\J#/1A%"S}2!,զ5RX05W*Shŕ 񆡽Tg pkPX%KtR;<#@!Դn!><"A Y{ktue絮A9nTwAiڥhcs*6s $ǟaa|].vukN4HN0?{JNI'ww( bD#.bޱgYZJbh{ځj|ӋN6nr: Q:^;/TE_V!OE8u‰ Sxz##4|^E` HWR| qJޡq8 ~bPJ?" I'gV0T} Yv-X(a[uE Bʽɷ&$}l0 !Fo{-]N}"ĠrCI kQ3 C Mԅ B8Z$! S(7o&ȸՅ :fnjZ^ޅud){/Bxa[C#N9X-ra8pS4pn; 4d ~Ľ@Βf鎭`A/f&ޙXhw4iIwe[yjAHҲTLl&<̴aBɇc7lӒ=E yL߳ | <4" %=~ YLc^#" ٱa13Bh'"<9VT}jgjIOC.ݞpPռ:I޳` B 25 ^"K:Õtr{P/)7ܢiAP?0fbFKWn+LRJԓV*!0 ZЀ4+w`2$ ٔP Q</*d;;q:շ1e<hA>n'Wהqe-TK( >Fա/GE9׵vqeV<}2@59y|cn{dCބ%&o!Qk rL>RIˣ$u:2 X aUl#u!fM\Lb< kƶVW,H?^̍5nԋ&l\̨h늧 D$#G,٘pl<6Ř'ȬP: PJ k  zX)j-`K?]r5ZHS}b G#m&}Dd#WSWnO&]t=c$+ O/Z]+d/EF c>[|xj ރf4eW9eo׋SrH\.k~>{x[qAG_]D7x*8/~hǑ53ř`kEC\ѰHpG.6ye^P0{,#=AMĭPFxqӸxS:BGHY(1AkS n=jT$~c\cOc>,&-Kkk)~s_/g5!Пq {cw[c8bJB 0U_YiJ=)2l϶sa`̵|M߶'|xEqй(3s1-% WHC]fԲvD4n-FpXjb 3\\8O-~9ZOVɹV/:܊MFXpC8)k0ƒ({~Q Pv,̈{!&# 1T!p\QպEm$LZ?)`K]$PvOxR':PwjZw"6 0e2Xv:Tmp(S" `֮p$*F yW;egsۍ%j%zS^*K5Y;l2^yr{s؆t C_)!nJ X G[n5BW?xpct H6zIDznq)6(⦜1Q\U(dC)d;̠ϟɤ9jdMCq$N  R""\?!7Աl>)彌 g~`4hm$ZƵ-`2rՇ~* j۾ '5e5^ٻPֵWP*ujڈbjOkIT=2(e`8pmB-ә-n Jc{cÎFyO%n^kugUyG *ObMJ>.gZ _QdShM b0Q]ğ9,lR 饩$YKѭ22#$ =J@96L6Pj>AGI՛^ Sq͏;ww\fRvpMY\ 7^,%g&S֝KwC$^9)R(hͰB_ =m9h@a*Z^#|N.uk)$ 駈8zDD͏8E>ܐ\4ԡDm'JS\Rb\t|,7QQ, gFI{vPcS4(T~0^gh5 1gYZ J 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ev]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oC^@&O;۩ K& lzr7B)B1/R 2VG_\?LI 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_id236V5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8u$gTL96?MR瘺 } av`^%8!Ԙ.COɜsw2IhS&6n ba9ev_4l5|'pFQq,c{0|HjOuG/F+VQuD˗qU<p|6w5E,.4dh'EdC2*d~ 9Lx_o>w\[GaѴmEbѪfk4`ru˵y+qRc8}—~Ld[ΟIhPE`e-!^ȋG@}fih aGq`io.$a~N*. #ԏF*Q B4={Cy7+ M>(rYWno>uw0/c)\Z%;hRmfcFe20`dj(]Mʻ :+L,s+9@u䫌)e4k23 9:z<3ܰ|hv3Ѯ_P$n]w ru!]gS_sj4*Kl st{ NGj%bo%U\-+Oen⤅o/? =8F w ڳf\(-mfe-w!P*9Ahb?Pri)Z V 19^ G΋t+!9o΀koֺ;i&|+/pQwr #UQWIJ@q?kkoAJx}9XKd_ SR50G`3giID#d7lWz wzdSSL ˔.H :i?}exӀ6K8Wׄ!Žņ%_Q3>p6GݼyruW\:A8P4t^y?~QEψ4KI\fZWُ$]ҝy*ŝ #W"jy2v~.'⤖гc/d'r6g~@5D8P"쟺m65COSU_#7pO2}>BnDڶj)eMTx2P sٴ ;sj, CŬBfSi4 [^.h!laH.is=fXŠ!H*dt(3oJSNS! ^Ջ_}p؞ -sXjILVl+ȢW#kq|ӎ yxZvRqFSi ]Ƹ ?>/d@/5S5V߄^cϰAcfz(N K<^9Z%#:W2ه}#tC%-bª0׈JN7\1&<9)xS;IT',Y2NsEfD)NOaeQ7A6^~d³5 ˼%MyD_6`2n*7WD*}GYep2)ZQApSX8{'v<,xCM۲Kז1iKNp>M8&/I%+SP?Ч-:t_x\L&KwlԔJߨS\g_'+hmu\+oZDilGn-R;Uj?󼍕isҰ9ǺQi ?w+68!ƣO/.Fm+;fOA_+d[ȓ22ʤnr4@?7޾T3I@7Ә/DeU74}>-XN#\gY ^+Bɇ[H!zvKCX`4{pџaFkp&$-Gt Gb}TQAs xV\>e@u0Xzo1qigQ'4'wI&zvr xdn#WK_N=wSud@ ]Uj5J<_*0&H+L7q0y/up̾P{XGc5_'%IjW1:P*0/t5G(9 An`F@l~DHM84䒂M#^DŸ P3D޸S:G=/ݯޡ.LXzH&/-gL~iR_>Y?X?;;C xP-Ow=ֈ2|>ܳqY8hv|G=Ne1(mBӉJ81m^B vUHډLClE3Mfq\ :b˘ǵuu@讃g@=CͯՔQ$MHnZN$+BoHzTP䒿ޟo|XLfmZ~:@>_`_i./kN'e_`ŽB3䒫wYkFeR @Cw‚ |:A?][ CLd7,՞K0{2ev@\$k6Z:૫7ҧ!xl"ErLߪH&B*lw,T`lT $DBX >6A,0{oS{D›;=)ȞP".]$#w؂lGZ_VWg3fjdOAVzI4ryX6AuP,ҟ(Mu>,@zփN4ؾK쩵>3YSfBBmP+ykd" 0 -o^:? XzF_|x8O_@q-jY}b&sWZu#UqPw n[=Q#j.;=Ct(w CyzFWM.H4#@%mK.i zR?lxȽ:湉nTPHZ[r# #B ?م8yY@V6UM.$%EˀBMĂK&M𖕎d"=$EKs/jRF9ExMqSU&<~J뾼Fhhw\r k^l\NKh-{OeE\'睙BQzقৱmq %0L_)E;?DЇ٘rk*qv7L~e SM-W&_3^9N[/bLFZ&&q?iSk#*],tJYՓ[@qG XNN)JL=,,F+8zXXvâ=8AbuӹJZwx.| ڬ,g?XZav UHyD'/"LR,>*)ڟB;V#]r0hJk `,{&)D5\ boVtn'|թv8N [IՅ#1B;nZܣVQ/NQ,bT' COܭ@" )*Oe!%VQ3O.I"y3cA*glϧ2ש'Cha;CTXONv1/}<ʡ#(@ bXp 4wkqL@D _o97*zKZuU!E"fQ ?|~ ꫰7)twrܐqL?/e`)Fj"X%sFHueBBpIdcAinCkdѝTpeVƌPߋ ]e'1PЫ az,wds)c\EAz#>*?hfEq(dC͟H](AGѥbsh육?vx;N]x/ɢ@ ꯽$ȌJבPA/PB uUkgDsTlP[;>Drp)ďNY CE+7ԌpWpd5|zSvnovs"qL /:hqv@xD±`zK0Q_~E?͵~2_rM /\^A `DjOc0wwB 5h"yc|5랢01 hlZأ~ &BR |yE<#KP}PKbX 1fM5㵟чX'Z(@iM,-BIt[_ :Av`zTFW33UsmYGПw8eW-5B# O  +Δ~k+4FF޷A7{9/3es-֥.\3 չzLʍz]>v__R 6jxwP3`~x3! k`/oyht1S*?‹mKXd^3sz%ٵLD!-{YxΆ9ڂm'HЏN$[-{w5ÊpSN2+'w1đzji5,]vOPAT>->ˊr2vx-g%%AT4%ҫ,½@I]REM/]1

$V+g\.Ó6]8j2&԰>+'K[ƞ%n`HCX^rnU6-3.h_^#&e@ /BSPpoYb!A?M]È~4IlLdf"?ۜGx(7Ѩm`O=׏ر{m#˹I00lMFSO"5PDnloW@4O^NFUk/AH){5IөʋxjI+ndHbK8äM؅4]yA^>M %*zvV{gQbrF2y;3 7,9pE[:~;4"-`ednު6e.{TB ?RʾO=.2y~~77 $dzy&u;3:o{!:yVcXɳj>Xe)$O GҾF5^NW`h?x! oQYg:ZGO#YAfioo[,aYn2HD]kZ͔C^AʸYϿ_ @4==8(zk(ڍm6bI['yv-rjVIeo=c2Pdך(LlNCΘؑ %L7qw0;4Sz+&C_wd|8:unͬn軻f:7G+ $xlsR8ĥS)Zǹgx*2]37,9O7|`_]Zۥ^QpϼqBBM!t#܁~RHVFҕ:X`ہ)vF<[sA x6DQ.MN_%B4Ժ(w%C#tFㄆBK /JPNFJR D$ +D ,r&D~D^O S7 y6r^ w_\K(FVԗ`Nj88'Wwy&g|}؉Y2qLr ;0}kǡ P[!؊ny!~YMX6`#}D62f1Ϛ( szi+vAQ/\1}zGnܥq0lӢɏԶKUQ&'̊kn8f?HJ|Fe֠#Gd'WrOC^WjDsM)EYs&w8v!iY-rMAHҴi+cvґ&m:w;Y"Lћtxv;CɫأZ!BGtd10Uـl}L-S1R3}4x%w{چ˼߿P t2f}Hǔ8ܱgYZkv.Mkފ7|I!r B"%*k¾e9A*Z({~9im շ> Bo ‘\ҾT5$>^k 8Ts f/Kw ;#K yԢ|H?"kRT0PsBfH+Dl0|xXŪB<νx"v|zᒯo)H-ͯ%XU I؎ ,an@@q9- |.äm!=,xN\A`NJF|eY\< r,s`+C|;.x5DIH &q $2Mb怼u>ܼZ B8+q*aR2#{jPe}x=د w|Us1!gj9c4RYbf& S 6aG"r}RjNe7Apeuy.e={}Df#YЉ3Q? Q t>ar CBe1q|c[Syd@J QAl2_Gi `:`FDQk.n= ME f͏tKo)AwK  aP|ӎwCS7 fɥ,[9W;P4#3-TKZw}'iCh(_-hד&7]\h#hآ5-.:hIh iKRq*x3"mKV+|42oꆅ&М(&48{J!OHŴzD|>yi D˧>G_y-EC)E) ߨߎʐ-j&:CCE.P3c$<ׂiZY8 mȂ #wAYVU-?\ G;bvs $ <5? 96h,756 W8VAA%ʌAÕ!D2N^m&2Wgܣfzٶ\L2UV@6ezdY*`(G)ŎNw #b0]`d(Wl'zR _RI?y,Y oJ:0ܒ{%v.j\sG|WR(eѡN(^gl4]>G`"_MQ)6}4 E\f:Td'm]Ka AS+M_C2__aEũ6;`-<^TsR?&miFcowR8\ Nڮf.E8Ң捹0R~ʵ.㛹~4!0L^Yp;Q?0@OL*vfyͯmL| >'ڃ63$4;mz"e>:MlWGj] ra%Iِ%д"\ wyh4/wdq0Y<,mLt))>ӌo]N9H=Wlj}+` ~r64irzɭTȎەv <>9dwwzDRd?e htP#-b;/M I_/Ã:Q?ҾpAW"l;zΊ!B`5N[OړGdU'кeUP]6VHLMy)ʵtkOPMQ udU J~80W` evn[SR%7c``rФaQiSTT(?@vRctS%fn/8;wWwȻ\Qq *١)jhD礢!\cV'QsU+fh<]q>Qw4\שI[֙p0\X.d1W,Ĕd6jcFQY1Һw-ĕ;s*6σR*DavprH41E/esHoNʥu'VX`B ;(wZ]*HSC%BFffU5LqYa/ggJ0L{12,\Z<ت͉dLi`t!-O| ^eϔмBZA?cҧR{%R!gE( YG 2 ,G nz|<|>0nv1vdm<{1amZg:2P.m)RV>m űB&j]Rh z'gd&7=9Zb #~ՖYY5x~1^hrP7 |6 {a#L_wN N4a#|+"f\/ƾݖ]$a9Ag!ye1b@ϴ[u;w/ (rqk v=o„`Z i)렗2 =kK~|;^y3 ¥X#%&3B yy"^kVP]IGhK$ez ]zB7> cnybƔ ޝ*Uؔ qYFR#~qOF zީD(s ?%XDOآJxi*nKbRtjwxz1ݨ3} 8,+dv<3d2"CT{c^Jb$΢0xT8daz_Oj@078s<P#cU/AFBlS7 ܾ=L$nK33F"$v,M~Q/WM]fS%#Bs ๯4QFm-!ܰ8f!noo,aF Q1f*#qn( J)e_Yg;aG_w\l%ʹ_+('B,;:}7ʫ&9b{mxM|?PkNউ9xmO,.įVcӗ+/+&MobmxDܼ=!tsj)EGC׏hT7W=$4͓6^KC<"E ڣM<8ob>EOIܠG]F{c.[<"bC 943\wg {Q*p) {ZKaW V#t$'u+IgHS5\;qa{M EΤkH 1RձpB_B^hF{ lj7&愴k!+vLpU񹪿$X)P `C8׍i=HwX0:=7Us"\"nR8%fsʷ&Ӊ2-6 샆;EhBmPQe'#kE\WP J.T)=fC,1/$eb+Mj 6}+* %/PVwzk~OR@U[71!'!p9/hýQlcny*zPN'H;FnF,4 (; ?Pƥ`$`jO_~CS|[TcXGN-XJ nGli $QJ?_trגܽ=I!`6׮g+ކӋ]ВU͙v woP8Z$7f?I7Z4rdQʡ[Ee%@#^(gȈ? jojw G|Qb_J\ k0ߦkI_PQDV {U-:E*nf@:@s{aȢu4ѼHV4/]k9_&fǂPƸ;-ȿ8"hH Amv$3Sߓru7}'YH}G!rgys \{=y>Pr w%G''N`9z;)U;3jl{YW>(s2qiNYy։\ ӧu횠eea/TFa(̝q4DswF>C@ t> 3Dr2T=&rdXuQ s>y$`ҥ5 KlJz/`sIC}Ix1#쥌kdwOc8uc\vųN |.ೋ"EfybuUU[(=J{XHZLa8FCScY)% 7w')0`u[læuք\XK_eYm;:O'Zr_ s)McׅHM""폺{;6Ӽ\gxL " AVt'78I&+.mڔQbYD e~viTE[h /`!G\AwO`0wlr/{ iD7E84͌1_սͬf^pAr1yɟg>I{P"X2>3BiV \V UHXTaw@]RH(D]NkH'quXtǟc;NO#txU\`6EbP `sJ*)/(/GFn77e>'A\01 ~7$|PG2{C2,lc!h9~˩!\V:<;ӋA!sNZ`Rqj x QbY.$/=,sP"l@,'58Xke4ˌ>5 w ]~kĴqmszV[ԢqBd[RDx;h߾ɊLdPQT !UOƐ늴0xnd-<^-ϳr@7 Q][(OSvoA#T+gy{~RaS87ş̦ SHhgHAn"/vj(fo2qA*1UY ҳYPuo,Y\~5 pZ4ʼnFWSӵL0UXBf\Y`ȧk.'B,{U5!1rb!)uNl`.ͬ.a On{/ɈdN&o"K}r_Qx)sJPօnirO 9Ko-1J\nL^;b7a]:w"@o͗na9ˆS"l#S5}RH#qtm^EFU[F<:MY(j\YwA]ѤDSٓMc?Mqa7$`j)kԽV ڴLM bBn]\ŗw8 >GPiB?=#* P[N_|r@&h8 0OpOp[ɩ|k6GE,渷@"V8_xv,͒>2kßX|&KJM1p9=YT7/I?tX]ŻU EW +YSBب,tJSJCpՉnV* `T +w~aŦ(L7ek3U7i3 Hr1\t향0= , 艛4l*ujQqP9AW.E#SLFy;sa"bEI^~%ѶmC"]W0{= .ۮ}'Q) O^i'VEIvzG %m;.ة4r0Y0^0exLwZRB:WNb9l9(@ɂ^MF@w2ֿچ0e"<]ںC_zr8l+"ޭ彪Pk/ߋ.e!|iŁ|ņٵy}*ђT)@T -3F0)6B7+Usqߙ<0SPayB|}G76#"TӏZ&w=~]7NMI ^`b,#o: UWD\MBqS!/~>7@%1!x %-t.%w DPf '.COv) BRpycÛF? R~v^~D j}|~\ L[2ѿ6SC~ȤyYya{@crA^3ْ9@ww?(T:00.|`+YPf[$}O&F{TMs(qGyMXަ{/Dq|mZh0:9'>˻g2M,xWL:0bq[fFK5ɰ_o{ # lYl!@ԵI)16n}> 5ks4x˞Lj+æ-E$dV<4^ȆT9bi[]+x@$BA=P~Kz_D5&2Y@Z#&xd2;bٽ$,k3lv aV7zr%ZbcyD +KJ5DKf;,{'8/I;Sghse o&r\``]b< tU,gYZc6190a918dafe15f599d550f8b06d08e7619d7283eb74d6a5359503e0055a59b42ece26aa296f5b9 dd999f1a178b1375fe14ff16880213d79d49a3b7