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 $5z$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.575cpu=213.415gc=18.6507zXZִF! R{]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k%|Olgpa#z.ۄTlr8p,ml #%wDŽN', 3ɱgYZ7zXZִF! ^N]ŗXiɟ1_sB2 ( |Kln/h.z¬q ~PNotGiϫ,UVԤOsj_cz@D}YZ7zXZִF! F]ŗXi%Jqu' ށsUgr 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"@3Tg+*i0K_?&YGOa2ggYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ 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 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"@3Tg+*i0K_?&YGOa2ggYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain ^5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=ujT!2ds#sh~ϏO=9p|^.I 4EzJ{{ 'N^̊™7GrH`5@GZi1?/בb4 Y2ƻ37~LE$%=At8[ *j.b݀ʺDhIZȠ y"No-ϟL?ϝG}}uSL1cA;L6R.byfoSR[Y!V' >^΁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*mFm!{'%W9N W1; >kXJ췅" vLDI|sr%P+[-qk<ylnb563Y!Fas!11U\n12j7F`'{`.?JVVp>SR|RC+Ybi;̐3x{]t8 _T8~5t>‹yכ8]2m"n!$g.-շr1ABt'ڣW,hDi^woQ:W"͒ɂ]'vJ(x@<$zsY׉7)^ވͼ$ށ 0+rb>ϲUꀣi|yhj)k(K:9!<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\E{hBevh4i06l-ZYf|Emof $VpR7{rlt6، @ë,P|&ByHr` ܪCڋ$ , ls񆬥snmH5Xcȍ=>|{6xB˸vْ`ۖ!N=TcS3tqBi&)+5nw)VzC4V*!J?OC!'3L=C-kt9Fis' 扺bpi :]5 ycrxW*"mPu^fA2H;Դ2{L: ] D FŴ KZR3c?"wǼn]{x1uGXpQC >tvQEgز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 Nȍ!͠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*K\Մq#9eн3`YC:0 n$R%:էbp1.?GM*{Cn!JOe 4LTi-ș `dn+K kmv;S$$ǴwLs3;߲hÖF'#G袧-Õ $2\㪃pwKY݁=Gzo(N|I 8Fc0t167\~R$364*S\$2 {ئAؗhKZ%~Z%%)蚦OM/lxm4"p<-%QP9# ]|K" OΊaF+q3*[  ls4ESbx;ij" se ڹv_(U)n u9[*ڀ̷JdqH ݆$:yH -=(^~D0ۂSȃ6]rc/CS5Lgx@Z@ |‚hqTCɧc7.Bdj o'68LmE5G5Wȝ*z%1MNm.3{8~1Duj.VlZZWr <<%n'!8V׆#/ 2ɩxB䗾eN1:z7}X\nO9:]yƂD) SDbœgkw̴R&9?iSR%&3M?I"O-J=jdydsyVrvdG\x-ZFFeo8=bGO a]˷؅Ɉ80%vrZњju5R86FJ/Ҥ!˟ zCc՜n+<[J"\)lL 24~E[Rݓ{ {BoE%OVk870:T&%FZ-E P0G^`_L21fQŰ b<*v# d6"Z#;kQ̜̄##5Gݨ!%Sv{@Hu E@2u!lqYkU5R[F #oj8J>aƫR^LI7C}e^>b|W&;I0ٔ ݋$ k7x<|'L'7Rm*d8/dո[;}+5ItA n 6Efjf5c?r-9Lww]brSuC"L` nFxdɌ#qE䟹C 6mlC银Y[2vw;nu*Ь0s"tim!+Abx\:{e$VdFOnYTEm1𞜚:ؚA*/v5D]bCu{>\LPcNYӎ@#CGOZN"䆳gtq72Ҁbru1 ݪEqr 1#Mi^DZ(X'2Ub ,"&a'!2籆9g0lgԏe;nC;ƖYv/!bzjEa?O@Jb@S1MbsXzt;|u GcUr~JK`\FHRXGrE&5JDMϕ E!aB?e1 o]UgjQD:0h@AF+]+-:k}܀\(3:9қ4+Q/:EN|C[HudA7b[+yJp^%mI g E(ovϣ0iUo7}^(>1 9fh QjLQO~•8wHťɚj5 XaEwa"0 ..,ÝǶ2s=X]LkHkU'R?n&Hҙa89so#PI)9z2ŎD㷆C[moOmyڐ u.f쓜h>Q5҈/71P!1rk=-s'ݼbHap6eʼnP$(%b֎6 2W*Pxi9)XFS;I@^]|FӶūn}0K[Hi#W4=m D#em0%_C5JSO^}mr::zN,앋w ィ-XtZ (G w=' M,D^h>䫣ns8N{W =V$Ȭ`P92ӲpE%jj,<![-i-thH+FE H\J+ j@'z2N 14l^^eUg>xntXG^3GS55@#T`GÎZ-)K83])0Wp)!B-w?KKf>X.dVVY*6}s*u+ϼ-~O? .׊'唹pjtq rA Bz=}4I>ZlRuR9OPOQ] &$mvR&\\Z0@i]+DFpVBfP-z {]r(OqK( i6+1Ԃpv͆/"-"_/3"eDȿҌeUIۤW|$2*.sTݤ uٟɽ >f5 y캚 F!h=XH]OKJnS99XPTÈI$n/n;Vk2ׅg5Du就8B.DpY <ږɄGTG{2d %%ȵ+?cZ8A4iGFHY mRjy=&F_x@ѯ)CglmZT{ўw,04/E\=o9Se4b8jX<`^DMc55_v-!^-Ѫ'_stg-^Y`_2 aQ T%^P#uȄe:G?q%$ODWJ_؁ͬco! W,W]dد[%C[3,utρ@64%&}Jv:~3d<;WU/LuǃȧOm≆@+WRF{Owl5 jsOK.Elt M\>brvDxĬn5J=Uf8 4% r<3-Z3q*k}f|Z=E5qHb@1'hl!v.璇#,LRwM#!yk{R9VYS;%=աypzlƻc w"m2™r veڙ[4~9ogŕz /ۉSɢߊA3bAwn3G%kfHӴ;"ѥOY2L@Ӎ4@T } U$PH'hfXľCo)- YFFh njt@W6Dq#VEskHe&Hĸw#!uunU; N|Y?,9qK>Gcn6 71!g~L5#@qɐ$!C<-ge-UZܜONSpϬ0;5Qj 1AhC# 3dNpz( HF]X\]pl:xo46Z2R D޵v"Li@}ᒻIkHv^SI;V}2P;JW%K& N)uly\(N8:[ [i4^1NKʳL M/3U~~|JVe<-J5o>A$2g6Jƕ\<5FT7RnWee /`7;c}7/Åstl ]LBhi+K K;>wXX{I,M*ᏃǞ/2N Ǟi*5jj6Z?_JZ, ce22s̍ v~XVG&!lv(7<[L{;F6X' _UM} OEOY\3di6b4*m%vKSiC&YS^ɺr]Dt^&J*AO>\3-#KNYc3#L!;cAΌ;%m/JO)(S{qmD ^+t珞7$7jXֲ{ {$&YMm((мkB:pxzQ¼)Eο۞]yoJ`V>׊I!BvIhZev"bgh4tFbNɫ4&;Uas}OsTUfʐ]n|h5\ӨfGuVe+|s"9/{̜SK0ʜ6NS,DkWtb5%z?UB ړx|@  ZvSi EEB nq98.Y-HAfչ~"r<TC7=vZ~<H*e6)/c)8 _41zՍq(P(;$;/E^plRzU\"@jٳ0PJ$A4m >` ;qAۿZaF^"GKTR)[/H;<{/_ 3EIvLSꤞfOl5_ad3dygB&(2•q]'4ZW!dw[B S" E*WE:M>W4kۼ ߫|x&_9ur xn8SQWM/'[Ȍu@Mx7B@Cf% S{&]-MS.t0Sb5F+tQҞ c`ܟzƖJ^J)X O 0oK,8aY$NU+H9Һ Gaj45$fbC2YP@=4s24ൟ[k;IG!o.d2I}bmTTgM(kCͅfSCΦCKBgYn*{NU(rj_$y3oOGMy/d=} ٦=fl؄ r,r,4lOLOgl[FS0 X0HY)#˜4n4؋'X~hS8_+[p@}xi>U/g*-Ū"-{o 4ߧ@S)(2#Ed+8\T RY?;O꾱f.=]J#Ҭ8jRhC\ rh,q=wwWRV%ERhzjƱe8t{r&Fe9"/<˱{pcºvrzd]ތ~b]"u[j{8l$+ (EuY&.j.җE% us^x,QNǗ OԿhUz_N^4!wEJkp#6{S9cihĹjwl1,UC,(f@ d:m?JQc9 9T'ec)РHF8& ~8v uk67]S*ng"BPVTT|h3MʚXfN'@%[/QWX膽Gy> Ǫf;? e/xR=91zƛqIa{ΓܚT}h; PdI,v:DiQ|׾9>ٴ  ̄Vtr$^Gc`hy:H44qcVʨ& @֙mD^bXzq!_:-a` ?]jMQ ܌Alh?'[AL?F []^ JчGIRv\.]ɟ"TfE,ƚU"sqk͘Gg6#VHd!XRԧrp*ݕ}`\ ם&mn>ђsA}ؘ)7@2$Z%YhmQ#st=\4%;e%ʱ{aq\~س ߜL%qrǡ+̖꫚jmS<\S6:!ĭjXLbdYFbnbtS1éy\eS)c 09KǴ-4#ÔR6:lmt7 lm*FЊrDnC7M0#IWjsuXJ "Z^Vnq+0fDTP} OpY˹FZhMڣxЁ?-*v-P-( Ƅ.94W-kiqXҿ䮘n\A`ce MT$*0߬ 켻Wj1xVfV:Jڂ XErAQN-#1VڙH2YZ귲KN\(rODB@0ˇ ]F\j:򒮰G̮veYjOih׫E~uT̲)+AJt և'Yߋ}uu.C֘ވj`b{Mo% n"u kMr?zB_ySB~hzOj? ^jpR<$~XXǮ3pARЋ@AM,& G1޶:rT`˜ۭ6>0g,y,_[Kjp&~݁K|_g7`C-ME0pA=,r烇*MKy#5Gyk<٦H@jnm5O \e͞%7}%m~x` YADlQ,BЖwfmjʶpz35eDWTv?^ o2gx>BI 풩~)]G"]O81DVwz|x?4VKŠZv@?V|O*WIT|Ij}@kMB"O,ݒ3w[=#&oM3_쪲iYvؙ43Mm)"q1B_cy vijHԼK-b ">˼5 q hAѩX|Xn-銡*7pR:Y^j(:_yi+׷3oBr?;eZ(X2 QM|ڸ`WFijܔ9;ݓ:_Oi]7 xa~>'6-0E\QF>ax9~wКirm^SVZvZ#bA2TXFeu;oƽuDfBg/=uJRo{"f1ϥK1"^%:u#3@m*TuP+Y|haj!I -8hQÔ$a9tzy<"46cAΎ%M Sd_t;z{UșZ 5~TJOX@P D4 VK0XE 9H> E>bw֟2O\LX|,2K<7)`1ItT1#$+Į7*NMrv/1=0<:B\*ld>.xocjeaId<-L9)ӑX) ӥa wzreo!kߢE/Iv3­<Ø e⺔`{>#{a1MLFN~l+kŖl45k3 u%: ̕<^6F_֞&pN_?a;;4|,,%;Xm~gM]+H\vY=G8Svsؽ,my:T.vR٠g{#6=ҁS{jt1q'ļIzkk>F=<5y'5^}D7PKt̓"Ěfh]J #-Dv|Y)GR5ѓ($-mX}ԺǛ+dF>kBo^l:UGl?(G9|C] I<ߘ&h*7D װ 7PLQi @mkֳU2x{cKrIhu+I,gt*j'XM'~/ C28"iә7 sMu ́י- 1⺝ xe>st ߟ<ڽ}hz{I*' gxF:9呼j(cH!>m@,-7w<Tܯ 䐹5 D &kѯ{/2*KZzZ9)--b%ĀFblX_ ~􄲼PYayNjȶlBgUqj\$bĢd-緽 ]V | F VRn%J3(i:\̓Zxh&$ˆ+ks; &랯G;d4tW6Dhb!ޔ(.m& uR#{IJ tn8ttxdX1j{srԸC'$$1EvH_Ui9xR-!"l =Wىx2[ ,mq5KZBe ed7b:{16tMBnQ̨_WFNI)e/.* -2N:$@roL4ZR 96]Q u-y=gn#Eb%ܝ9c{pڶϷylW)+.A'Qيn{"B YL\C#SQO[zu2je=#ơ)7%(-0e8'j'~DL?;{t{,jI-[\HĪ xaY/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'ˤ#yݚ|bAf&,8p= S/>ԣOAVW:TSpZgȣj\vLBPBu)p&1Ns6yǁ 옏w߲4fH/tuxvwy)tvFXns!iSYr ޾T3IJbh{ځ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  zUڭcc=aJɩM{k&DȱEa >QlTiύ=/V &5VST)EK@ ܣ_Qbd)ϜhI5grNZ X"MUE: ~a*7|/h 1q=CԱWYP7 شXA:u{mjkF̴@~aD>K`"Jui\5o{&}{Y7K=ϲ`QGFʜXoBd"2qK!\Jvui ]lƌqn]y-Jқo .a|T,dq GavطrK sbiꦎF5p宷1HU=5Jޑ8(ٟn<56턋GeKr| њF0OQG8\nvtG+C*j[ N5Ät0/(CH [[քuGʙ{h@LyLx₪XõTW!^8k&ykLПt|5ps0X 5A,)Ya,6cD9dd("^rS|0LoinqP;HnA9v/Mz,D:bca -FkDz _`ll] Prbh4,? +yx(逾ӝ͈j<'/m 5kKs0(ѣ^{4f0wEG T9G n[bQ9V;)1GUI1>`U6'ī8kA2@ xDZǻkMH˅,M#%-m^ R)e͵-O+?z8>V7=V\N3d%)>1KgJڃ:+zA7a埔>n Hlb a酁V:yL{] 3,X*#z%vbsڌͨ(c!E} ^bP"dk$m7Mv|6Mz_GQh4rM6Ǔ/I6B$:ϖRGݍfLij1Τ%~zN#!$Z>EODU k u91% Ϫ!W~>dOn<^p`se0=$rxai1Gw!Hl5?KEph1_@d o27oAՠI/&B ]r  :&e7a$l2Iz2&_H/-Rq=-n85lqBQ +;B/.M N3v#ryBFՓd d9{ ZMx+`rObA,vtO#M@;>Ӌ:V @X;X}>ͻajp'|}"X-21Eyeͷg;O,!ڵVë69)jUj%Z:)sai 0!>Ym4:+\o֭vZ'~D(@Tm$G l {I 0(5 ibjgYZ R 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E~]ˠ)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_id236N5W/ 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@7Ә/DeU74}>-XN#\gY ^+Bɇ[H!zvKCX`4{pџaFkp&$-Gt Gb}TQAs xV\p[Z0%k],N,;XAdHrn& [oߢ.gǥkK ,*TJ]3 t7QϒH*>;S"̱KʾFn?E#DYIbqlIpwcl %9zuPͨZ}0_&;㲿3.1i(4*.K9w151+}){؏h$b'Bv+:vX %BNRU7ӝl35^7%1v0s>HJlo!Mz7Fֶu޾sj zu?rI zgL1-!Nn[EtM)Vi?/eګ %}<ښ\ 퍞6A^*b2ve ⊽zf{_LW0Z@lH bcl >a RVk[s".Q,<sЅ{F%ٳxM9pEKf8:7&g*FF /6oJL@I+jQh8{z|3p<%-#H4҄lbLnqK "KF MU}e*Q`!DUs}ưb-a"3l.U7K[nu-.hB.ln%i_C#n{e0JT"uc$]j@Vjxt"_/Eݻ/@"E*@=wx0SgW_ XzZV93CkThcKˁk?Y>3\֒\pf!QZx:GrVchË'j]擅a v84Bީ(}yf;3t#Q**J%he;p-dag:x7iFGYq~ݫ0EԄ">b!>ss 1rݴ_D~CNN\`Ba4XJC#8Jz=eZA*JZ6`KC2f{oA~{Y}uňʬr;6|3I +pc*xr&‰ 9uZ vs؆=\HObix_J;l!׵1@@'IS)k#TYG3c.j2>\u9b$5bQp%ց}\IaG0#Qds"@OmPؾnl>.AzG,L"Q ͇}«>+"nS(Vg=U$"f&z̢fKf-U6{P*U.2\ZDJ/y70K-Z(/ xEOmu3YsL%0VZp(K zj%.o\*`_jP='r,yLvH^lq'VydcIӂ/% C zD. !i ߀0HZ&uR2ͤL {%^QfJKcX†d,fa+лgn /'?j LlNE+i"]rNUl. (>7bJCIET{,!;+w5P@!򲂫!c@i%p= ;% 긿t[G  Vy;t1nWN[t!+~^^覒t-j~t\[M޳2eeEڃˠ]OCK+h7Z._ EWx9F ltؒ49[u7-[!~ zހҗ$k{V3ŗϪb/gQ8X$"lq9<9.x'8' "gYZ r 5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=cj@A Uy˪ݩR u3j[:gVSYD/Z`\UlUC"M:>2ש'Cha;CTXONv1/}<ʡ#(@_5WG+׿ۚĔx)Hu?EW`$>Oǰ D(.y]Yfn,Tn;FPuiܲBT%0-}x"Tt,#kıy.JlWb,GVhR3n#+Dg8S `@vHDs- NϘo=$%hŅ]1 N=J: +l`r}qаec-Y鿑V'?:ah=.? Aw*n?Ն*呻)_kN9>a%-^LLߋ.Uo*,Q.8 T[w&Ic_$/nܠ+ciNٞ&x7z9혲y S1hШjSiWu (?b:Dx*/_ ^b4JoF2k6\ܽ0)ޕ) uJ0[SwZoiN># ^TcMGw{@5X Zd+%^R6%|;<;DEAlT( /gDFf;76"#7SdxRr[cS8a7z z s4"u_9p ˜ &(w-{jp.g2/@L3MZ`y')Dn1ا4߾/ڌ6T9Ƈx]ve+]Pˁǯ|-LP`'m4A<8Ni^&8f~l}z u>7cEt!:ȧ̅+m37yGuq#kx?A-\F]>J=-BZ$?JKob@oItR%"`DzWebu/{2`ktxr;o8~zGQ'+BKwX&N#ga,6MDd]efAn"I5DP͚e985~-#·vپtVV;LZiB'ߒu0ׄ+ܐUTi<\#U5oD-hAvm$9COH{̜7ëNH ,YțTRDm#ٻLP;Ns0bL ƦA#B% h]GENI ʼnxA'x@mḍGn91}_[$A%U4 "%SMflWX4@ߨ?+߲u3,лSՏĿWZezS9LP^~J*EC*_EOC!gKL+G1s5EBAUOޔk9^$װB ΢GB$>LV9h$:ԅXOR,O[yagYZA"}ɽ7GhĖ9_/G 3?X(0,0ujֹy'6~n?aÞ0>WG*?t/8s@}qC+]%+P:Qi[URtzpJ Xyuu^cc3Ț̘oO~WW3,nb5rU83ƮXڈ*"mkakqgv3)À[I0Vib љZ & 5t=곬o%d5vW-b.ʻc 1q )jnK"PXn~oT`\^ߴ#ǃ AX ;%0)%f\ߢq;%+}`4MOl2D0|^Oh]n겕-D Y|rrĻ4iҺr04?ZI)nhpT¿|J[v?s2JZw!xa\zzǎ=JN (Hn3 Gumفw,0Т{*CWh (qzdˉ˾ 70aмpZ E%w&Qq*jď^" OEl++N?1YM;*0f=b>*$Eh*Z ,cy֠g)d`}9p!xRz +fSi`h)=UMx ۹rORp'.RiJS˳N^*_ͽYh&N9&XJ.zvPHu8;~v\-D|9fQ\Ȣ4^s[JV~a8D$ "ēMƚ׆UWx_y5HgVYi\jp+eA/|`~t .ifT[{ˁ2Q{:L&[!v&د"cqs h@sd6*mr$7R選-OKr"ލ͌?J{wÜބ.pLX9Cʷus|:6&u&#+S!Ń}u5^3Z)#?Y_5Z]6J\^)[3/pp\ Ds?|,RnPib%/DPBҁYZPXgRoǕ 6J 6Cx-Zڻ1sq/]&depY6y S('pP篲AH̊K#+Lw=OHf{<r17 ]}XfW~7Lńn<6L"B{&ەSF2Ř^r @?ISyQwA g4?"}m t>/ ޫeAsNoc_W"^Ck\]ޫ:T~&=Yf^7txZ[97Z{?{UcTL3TidJs5,՞|#P/du"TXZHRD@=RG=oYa\l3 PvV,ZD.V8cWjnrH;zHzM4>.2#+`dA!`5`2o`'SUt,WE{z h/E]rLE2/"UnnNT7F/Ӄ)g-} =hnhS|R uZzWBYI'ʛDT?|(W ,הn+a3mrtrWN͞,G HuTáD#"WSi|^bmd9'.xu;%HI ʹ;(93қLMuŸ<#\\m8Cpk"^#?_\||"Pqt UCO].cAd_jjfwꦋ/ثθK!w3T0Al`≾N<ixt@yh~Z2sE "cC5/ކcy=j5Y§"Edwu= nI9Y܁8뱃:}+ mW^UM^H=W^gc`Y[Є,#/gk,6js}?׽^" $ZONb刡.cO6'oLjѷ!4TUgk*bRuhyh#Fa+*3%$I}3 JPQQI3n呓_| Y۪ \P^C-hT&;_ҥ qjjl#<&:1Q3HVͦrF ͒bЂ?"@<yξg1uu@i Ed>ghX[D me\/g;=q_d6Fh@+>F|1WҘ e6nr/IM^惺0q80,[jN_=;[MYCe<|=Ŕ68i274_/^61IpNe-&l^ ?S5QX!CɌ̿ n,$! KuV> Xq#vV3R&>U4 n=B@ =M>*ܗ9ΈҎNskjqd`K 8nlڷg1MzM0vPlMDv4q^&^D.zC`*O}˰2I#W KFꕎ1A*{̣ _>smupo6͂Rn.RB \ lGnvB -xQ펐%TybQ†y+̺]%kR(X҉O_pQ0-c 7YrJ@*K]'.w5#de[:=\cW/7Nnh9-3PA!d&*_aIWA;ḩ<1Mc?!~GݳIu o-& bAԋ!׈P=ͮ)b,ytZpL=\X$1v_XSK#P@A ,c Y 8*W)*}P,8CR˒i [G {fvMHdg~M)B}Sr7 1(wreAb&HGhM.!#2V|AV;hڿr1תͼ6|q֭R~b\-\OъiFpSh.,4kZrmHcˬcR$svb*.xI.bFjzۿ]MIvn~hW4dve?'E^y]$Q2)Cpr5_K?K7.;e·>k}iz)*>Rfm0lb<əORW" 7Qq=mu}zƒ.]d~|htOc2.#y+H(.=Ԫ/zVe6 $$NQԬҸT=[4'P_l FjC RlX/X⫔?#\xC@CaD嵕hyI0YLGUe1xBjD} ( wbc@k8Hr~ :۲世!-RZ;Uj;g^`"e)%iW[*h\!1҄Ud+ǘ2!o'Yb༶F"D%VSbe ŽA^r{tIGY튮w4yȔ \ ]h6LT߅153ZGr|jK+g kT,,M+?@'9jD\4E;10-FYIVSy}xTU53[-mfw56Dn}? V%f b;q~~YI Mu9" cne!>gEV=1Hf55>d桬ݘjj9Y2 RpzsZ!7~ܢ#nE81l%dg L/+q+Gma`'H7aL.t @ڇ& F /ϾDzmk[H˲{#8jLG 6V㽞Zh3wi|#щ]< gYZc6190a918dafe15f599d550f8b06d08e7619d728b2ce47e9fa30fa4e703e105006b480f3acd5f4d0 6b78c4edbeaa2893201fb3c136469bc43befa02a