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.271cpu=213.460gc=18.6097zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k${÷]ؖJ xe1-IB/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zF=G<1$×i-"0Quh$.;-Gl_}YZ7zXZִF! ]ŗXi%$aH+$MQpSI7 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$(]]ӼCaU/pySj &;^? 2F#hP4 њTqtS IHޮ4ч+=y4\4!򏦕IISwt-ćCEX0?K7y{Ւe FZK'%[>lhS>Ճ贽әzI ʦ4]|M v6-ɧ \9M0c"Ċp'gj 1fb0N^R ̂ӌG=Ĝا<of;_صeoI9خ2ɖt,42ggYZR5W)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$(]]ӼCaU/pySj &;^? 2F#hP4 њTqtS IHޮ4ч+=y4\4!򏦕IISwt-ćCEX0?K7y{Ւe FZK'%[>lhS>Ճ贽әzI ʦ4]|M v6-ɧ \9M0c"Ċp'gj 1fb0N^R ̂ӌG=Ĝا<of;_صeoI9خ2ɖt,42ggYZR5W)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=m|l>07Nt㚉֫^M3şڎizƱ)駟#FZ{]CK @Ħ %+l Ȳd**RΥ5];:JgCtj@↌l ;S{Ų[i`ݗ8 ydno}Ot&CWJɎ9'GBk96yncp+9825EL+"{)9UȋIpY ^/:5W OJ'Ȝ Bɐy[' |PQ7 =#g<Ӳ?h&'ҥTC]\ w$4:l:S}?Gh@2B ,Muh,䨠Am *L-c΢mfDBt2GGȶu %!vn@KGBR>^Q# AlIՁgos5P1Oi݀XJ.9ͳe7a 3'*ySܬ1K:ֶ|]i` A4&}ۺ|09jXIC؆gg.TMɔ܋/N+yz䫦\c$K@~9Rti |e|k,0;9((7L bη]wr31(oQ`pRacö jvC!mVKHIa"jF=x1Jafvm5RfIVƯ^^msq0P& hm!K?%yK#VVFEDZQ@.B/9/PMDEB>zifqȆlaV3j9^F`)!d#Il8(-i'ෞ <`$SLsq|;o m1u{DdvЧ r @öyrltt FNB,@a4QNp%,# xz*cs/Pa ZqKչރ`cL.Pq"F!l*Pr9Y%9鋩n(EN &wB[ݾm^\̨ +>,-$ * X3DV[}5NpT<,tMbAn_{ڶ nѸOZy4vӚ7d/y_clL*Vgͯ`nߝ܈%u{ӿՊJ= 9t9_il-̅$)EZ.,`;F1ubGW'Lӧ`RY,_zH6+tJF)JD6RuVGѼg pn~%PLLy-p%l'vE*dǐ?AKC%=6D/VLK΅ٿ{qoǹdh/c@YY S(X#HaH@L\YY޴}\kN "}ǜqYĮ3"NAF̋WiCvX>m0O23{ؼsBkA8dsKD9xxIfqS-^ŕYxmu|bAl~vIӎGShF} !1Mgsa904>kmY1!=D! jʲnd3$^0څrtvga&"@>&6*%'xT!R0=7OQ{<;΃k)]ͮFtz- brFyQ2P HZ)&tE6J#,%XT@`p yOu@55w[LvC&;}LT A[ +rm8*|mLwRTu[(%,0a`$&")5lhO9 ,弝.Ar3Dk1Az=*[i,-}&Aj;mRYRHrK\[BYDhLQBiRקzh_E̓E=1s7=z/ѺŖ_SByxɥw)3GAXn`*A/@]FjjMA_Ex @A*J'~w*YI R'0HA1Seܽc\ |$o2ݻ9=R0ɫP\~cLzzeXga3jrvZs"McγZy:2E8&矻/)}O]d8]EK|4e~N윪Pס)9*eAwVmY,K+GSJy`KL޷s hsa][Hirټ+<7n}j ^ah5"wݓ; qN)Y|+pҩ?cCKt( PYޞz2uɌO^gA0Fj3:'9heu}GrRJ,|B{;>-䙮iKr1IhJf)Zw>YKjGi"_) PB˪^ 5 Q"hL I_Qt`ؿyzNdK]9uAw+έr~"<Ԛ\O/=N"cuђJ2gB /\' 5aZuE2q |,Z䤨xW7oCR{BZNhxuZF$K}dݓ F:isڿ1z*_g nvb@VOBm\q6p80#iA\B $ %R?;,p Mq1K)J}xWW#R;xn 6P%e +qCD1xV2411;߭1b-eЄ!w( vcKaPE%%徠Ec<`e$LdmJ4gYZl%^ ICnmI`}:DŽ;@p<[kZhʻt9$B⨍Ǝh>N(ܗ+T4|( QUCB$j/Iw#2xƊDBge<5DE>BcT΁w;y?]!x,Y2 ϓ|o9=Et}C@3+ڕXW7svF8~٣L&\|uc7"F.@ IuuO*8ҥo)φUpÅg?5yvTa}HpB%0^k2K'n)yo'4vVp<  "61|ĘAO*W~b_9%Ҥ(tQEFg<fiwQ}9qy /T(5AD-CCXLyZX唂򴐀ʼ3yUhDcC|u to賈 K"kUaPĆ:8`F\TéB1<°Qox#+SGM$N=׹_ JQKˡXeQR+9 99y*)ok)<~#LJ8vC{~D.{RT,ӃU<kXG]p_/18 OS V(% # e]bӘ!S0rwx*U+ƃ šu@&xq '6$?>ri=Nbڿ/vѲ==dA[RF#qI1.ŽBhylϗ b5 q17Qk|Mh@i@{YU?V y\'(?SR[éhl0IQf*I+5@Y+f)^+q' -%E*QxY~ӻ*ͣ#n5T&13 /C Jw;= ֳK"S;48 &.ˡKZXAZK񐍃zTҨR0`>hSg.(4.hpO)s$g\^솳 N6P>(|&kl:א9ӸT({D_!7b<8$(m.6Aa&ڻ7Ⴞ y"ɟޝoIRwYZQ4f axx&UXd%H1Zbh/i\饈V/ Բ1T~rkcqи' ; o8" 9{'p%B3}yka`Մ:5lkiݟ :XT7#iU$N6?Vy$h\rn[ Jt^u!_Mi{2NNc϶rQRjrݒ;^SK ȉ~ Vs%[(xOx-j:fѺy1ڪҎjKE@0UnZEPFg @ݒB7o>hRQ_cDME xAc FQy/ !ML{Vd0HivI?N@<"6WƽPܱOp QSy]#j´)Lry"N^o|g~XY1Vd~K]1;*ʌ!Q_gWj[7'L)"*2բ S"OzKhS*S\Ok0:7#.\.|cCwNO HxdH\QXE"0Ƚߟ8pc o164 \S߻^mb'41 L9IVP|d[,橞rKSsKwnej Yⷿ2U=8uqPf#gk%oq`Om%fD5b-XtǪ3EsK|"eSNJɻZ6ܮD"~*Y["br9dB˲ǰAX(8xm +2JVB>E˓[|!C@b[ 58W@~A9Rߑ;Tp 72|DxMg(?$aiiE$#b=IJ UHad{ ̞ɥUl \W \ri$J='C,Qxq3)ҁ+(.Q7[) -^*DaM-{z b^9voi'nh=@{Z C)qgY|h!bݔrp*:Q=ȗk @rZQa%?2X^T7LsgvC,Æ qjި P¢_a WOZzEkـ_Thxۣ}̒󎋛:9HP*v-Tf]%( :5ڹWfBMU9-*Hwvyr}Qd%]3G_в&1 f/7dA\ 0=YKY ^^wX3s`p#HAG ;{ş=/~Aә-a2n=Ͽ-U56TG2f=O-est?=7=7SHknw2%%sD%)pom>JBqV8Q*!7d%le^x.*ؼ~o  3g*_;e{w+ 2D8BYHLT6vp#ڍШZ$ӱgMV}7B\z$|;6X&:Ec$mZ zW5p9uBE/a6غDY#A ¯Y̜%!%$Wfs:(792g5s֥ o |/*oad<)m()7ԁS>,Zf|6YlcƜOQz=v_8bkbZ&$}:j&w R۩ڡm.bÓFIh0`I.LI;,[yۈ6 g*(E#B\P;vU2Dzo20 }ՖKbU-TRUXP}tuiWX.jrUsbY 7F֛tIF AFwۘ"8Vo.qBr|wM|mH؂>Nat m߯>IJb%.x._EGLAJ_݆+N+<8! ǃ>ۊʑF3Ӂ $Ӗ+gbœONj cjPg-w+}r,*SPxʫP09gV*<<یnSQL$fmnXZ}VBoݗ7w}#X ?j+vE9ök)(W@S'"nLk/dݵA~Lm z%*bKSɵ[h O̡͙I k ۄOڤj+adC휙]M}V'j\he0D!dfZ vj]4/>wZ/Sl>ˈ!z[[˶uUDLi&rEPЈ Pws${f'\郊'B6be๵;D3ZbUA%*PRxBO6,Ĭ n*9뻺dfP:>nLfQS}2zeDk;gf8},64ˠRy}~ aӀ1/6oV!Zַމt]=讙PL$v !h'+ [TCA߃UGFC&5Uyd_{@gdnϾWٷY!$tI+W6I6p&׆eL 9@DʠS_Pl* 9&clN!`OP*mڵx`PY/;fK=k,]Go\WS(o0Amٍa΢ыm5+nISƒsPNX]2llKq@[FXz1#Nŭ zHR|v~y;tzoӉ޳$#UC^QEaY_Ct{/'fquKf$#K+)htQ`ܦT]W*ӦzpgU7$MZdY',+X\w gG, yhgqiaW7+>I\ֻa $z8'-kM !%2K. )#ׁPk1h%uF6A[=Bs7V;*fJhHA$hk &Qzzqw>c}>1RXҡ&pl6ia[r)f;AEnq'xjZϰn&m_{3Z$|)d{̝XOoP"Z9T>lV [ ħ눒Yb׍,F ?ܰVبj;RR"b*z4cyF+Z[;70 K+e87T4{H9ȑRֆGJ}\)srӭG|"nP{(bj|O cZijٯ0GFb{#3Wg:E;[;ˉ@e?Ǖ!BU)"$O?I f$K;%nDͨKP.b*V{zœ%yVn :/Q |؊ P57Ii)'u.{FhaG?FD`:Rd,',):Z:ig*;۪(-1GP׺cD9l ĿM Y_4.RFJ3uجD!ΟUtI?k'<>7ΰIsmsq1[ns]i$J+i?bZH)Ī9s76Lx$VY5[C #E~[Il}'(ʢ)tk$FI;(vŮ׺gB&Az ٣8ukfUq4e/+cFx{4`JpƁ(Ng%ܧ*IWr? ӷ`mVN!WRzg_rV3NF/( ڙyG~kU#FWqWZ Lj];+f[3=}VONx q^;qUqy71sI{9um)"·B<_4ya*QU_$B ޥ~]] EHof?A 8k\VAYւl!*Mّl8 ð[Tl.~s-nCxe$]Zܙ0̔(JYwGHd8vr߯kz#5TW9mu `-y=?˼ݍk~o;=&jEZ! 4Jx;gWbUZxTI=Aϝ`o:<>-y_/9[!+v4̅**.yGs)hL|#w"4I`‚yW.lOQP,WQ]#o$XmF~H z 8~RF;'qկJ IẢaŎ֤]ջ5\.uNNWQR9E-ď3}'+o尡-J\x>r<.phKҴm)~!Ib듽 OVkUׄtDS:2,p z]Q Td2^SHvפkW*"ZrX1MLNI(ɒA B8C灣~X@:ڿfXE4Veۗ QIP(sH'v*}y$6gӨ-FILK Jpk۰uhfKiP`0Lb}; Y䇏NExKFFO\x[IMQ"fkojiN˪->ivo:в+JL|p'q8/obSV}́ʢ5<+vs-VTrAt;ݱm%AH4ؽzW$τ1R]L#b}"ˊTxWM1:y))'}T;E)침}!}`W#v΅vb+#:-v1(|@0atet7UC'!c/c+OLK"oꎑnTȼXhNOV2re[VF;/v%gbjj^s yլ(>Cz lMj%ʳb&<աc!9#쎱v|>Jf/r/-xB/WHNlΖܮDNLg&X"yR\T ;4hn4:uǜ.Z5T@*?'pJUł,!Y5Mf9D!k Hl vLDwУvMy㦵s/dT+ Y-PM(!j1Ցf\`(@#{p)IxJВnLF"r Y,\I4' }A}spTBB3Q-0Dh\Slx+ixh+JCZ2 G.ܕ!g> S$iu(]f/\8sʠݑ3aTV[E ҙ˫E;^j_<2 Qr;↥S 9y*Ѥ*ߪn3a"RL(w%"4& y^Dyyn>,{(6,_Mp«ҵP !o*B|3'q@=}ә59Ga\7+\Eb(%q~dD՜/X̃Rܙ} 䐩$~y30bOh;K'zn%Q$HrK|iϡ8&"XJVWЪ_凣$! Z̷X=#@GYT yG1jFAɯm0~d+u^ˍЭSP,i%h$:n130Qn./_S㫩unDGn2@ &Ngʎ _4CE1gĠ$\* ˎ#`#K#"'|];אY\N/@EjaQxj.t HtiZf<7si9*]xK#z^>}ڄ.U9>'{ o݋N-3Z4t AMEQjWJUm(_^:աR"@E+ue,/Jʉ{{28C Լ[3oL?ZF͐9eu]DF_(R3 3A:n ? Czz1ቕypK,' JKaniS&M!Z&tDXQJUz[`*,7ׂ:l|t|=egR^^CBbVp+LN]=W!L*_]o܁UbDpqF'x(uthaXQU0K< b/B ÐqX#>Ef].*0=dy2#Ciơe +Y#ьvL$i 080HW>O>kM\#?z$,d)L±f6.6d2'GcNũPNp8W*⹆{YW f|dCɱ ^<,إuY7\E;L-nu>ZAROX=0 ?'r?xz8m;wVd؋0*pOipM&l蚜 :?63w?Lv*7*g/s5x]?]hgM\ctA}*ng9HFW?'/ik(SN_t@E_. w"?U=.332l?b&n _d ] v.+`= S:Ͳ)M+;fÐgD^WhU mEn1QL=үybf'il=0*h̓ ՙ?wI0oA'lb7SݾnzѠV3\坅#.9?-,hG+$sy5L,@ST~=eDÑ|RSjP db&V؟Xe*cw8_.P4IGX  9GaY" 1jY"{|z2XV(b moWG$pۜzGzɀ\zV:B;=m!8W+H*w&+@tW{'tEI +'Z&͐c^xp(%ĕk s遷" eR%.t6KjÆ$iJx8FHd7?8øssk3'j\Y00կt6 -v/G EeZ?y-O+kRy1%Ŀ2tD s^ IG`rǰ N7X5Zlr!<? Z&blE65h@pv$9P6 ylH3ywʁY?-F`dfTQ5˽ɓڰzb~Qo!Ř weıͅgUD8< 2ց@WP#5 [M<P]PcW0Dǭ?QRz?@HaG|0o}/[%3eƔuN̎uilV02kR mBX-YuS, 1+?:\j䱞jYE/W@e3W}<۟Oٝ`KXF\Ѡ l6ߤ'kݕi az_O .~x` F=>Fu$'iSHwC9h)s2#Ѣ Rk&GV\ 9AC"4H“ܚU-&G 3P/ΧOR`#ֹi:>|0! \k #Ȯw gԒ}MuP:ː(‚ ^,dz Vt a.ϸAګ}Z*땖`>vW% i{+ǣu ¨&r=S?Ǭ׾V)XF&s$mhguu̳ZdAsԉ~ 3+^k,xNߝ1WRn+3MIsr@o9xf#ۼIK9ARFFJ@ 7A&)OPx:ă{kd *SRՈϧG>n}dT5x'ܽWRmֶT cG?~{ɂoiR`vYVmnZ!+IBsSA ai0w@͂e=|¾يop]A5fΩ =:(( D*"u]R}K$1 z;D*9`Nf,B41㱓}•,6b7sc2˃HȬ H !L+gznOpsKr*ۨ;rI#8>4% T/kj꣛8hJhЭ*͠zbQ)-TEG;-YP!8 8*_ZY8#:9=J"qV8g!@P/g$t'\(Ƀ0:,fCf6e/Lt(38&f̅%R.t;Pb)<}'TBT7vw ?}&'{^n{w^OЭ3J͌yCaΒ ȿf~L:]Uu*0uGܠ-t }9"t GR(Qˠ!\wHv[<5y%5 }ŽFiܭE; IӅlgR l Hm9{`#(!mDa*\G3f)q:A ;{a:݅', L>ֻ \ ze18뜐ګ3h2$)xta}K2)BcVfGUcHa68&e%6Vg }, Qȱt"++3p u4=g&R. 8щ3: OA Acݵ8qe А&US)6pAzbx,T@{aO?~ha-Sh7X*6Toj>-ձ\J2'ƛMt\󨇁0/\R1mu+f^)8͑-swW n' To_]~]5h"'@Rh#ePPȰ'9Ew3.~Íl 8ZQ[sĆ`8&4/Jx/Ar?$3YxCM<&qޤmb L_pj8d9:}$BZ_B[Zpa'Z,[W9ͱH,Ve%J*'۬n`\ vR#d#…䍈)o_~Yن J۬M󕌴rFokE>SM0pݹbvB=2`+_9Gu'.1?eK  <[nNr{C usZ#IEEj1bNdUx߷N&[ˊoӶ NLkΒ 4H"?^<3mlYȵmxB U8TLsd+!gQyWDž! mMvUL7d3zY1s[˻Y,\\~,]&.ҙnv+xq+CBW+AՅg y(WaeE ?M7q\R.tRM8e/e{oC?8LJ燭܊bm$M?'bl5ȋ^G΂fnQxʁj۪bHV^[/ 6aN NqHľN&p;8H须zgqU 0:5h@ucphOO..@}.)Dq6Ts9:Zy0=͏@b&%mbu1ht4\X-[e;PC([&e%ƽbܳ.-<+b?MJ0vu#53dK)igu7\zVMDB͢:TqYjZ5*>x>.NZ ^+X"ʰI`&ƅ9?%w),v[l׶lsXW69O&4ҨIwa1U7ezQKo~kGYv[,7q^q-0IVunhytI"f[ඎb"&|JD`æ6v^԰Y`TJ-;X (ndJ+,8{hWe.5"2D9Lk0kB.o]]%n[|9frX_u`)K+hB{awn+K60N  P-l[|UpF(=_?0Yuw ɬsGDѝ#Lj]jjvۄa:+i!Pa8e\ LRY 'x" { W™vKk. {'mU(wT@蒠P!!4e'Aۣtڟͫ5C k>hf:O*Q KKj QXdh`Zpu䎫'{$TxU(3uua&] 0Zg{o~l]k4vW.:φP]DsP`:g3'=9WQqHeI;r\F@dEVe2"}@⢗p?g)C-uMt@l%7H^sf2BHG;QR, c* vW3p6ĺYɞS3&$ٌvRe ͽh,"(R5 ewNeZB֢j4eH|~P 6Ksdm01L.χy;xw6f|f0O.aR<[s9D^gjR~=.W{ ꤜE.>pg1S>͹߶Ǽ)V~M_1F"D],[y_sT@6`1ϑpu ?ѫszK Ik@TFxEH=I"ai"U `%G"l!~b[(U~R O ҷc:vj^C #+${?Tg eYF?O.@#=kzO8HM 6(fh sdN|{E&f{s h+l7}K(D{q[OI 0Γz34MlxfADڤ#kdxj<`d1[d#0}"y2 d#HbJ Ltlۦ3ALmg[g9ۍ-Ysp6]ut5>R3)D$l ͖eKG[cFNvtLܬS0M{oR`~Q Y( ,kbY`s|-IdUjB{=/\fDlߝ&hF*ф1\ mF}xXOuܺB'12$(Lf6Q֐F|cc 6K?u9m,5f7#d[\;{q>?,T$m25wx,{k,0gqH,j>Hs8zϝ_(8|)&}}OH,udx]#ֱgYZ cu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w%<+kM$=QNbJe6-]Ud&Z\K*UM ̽qtT&셈]B.ZiӫܺӈSM$,Xm{RlDhF`@`z}NuMV(ViE>664j~XL\Ϧt]XL/&.aRzKwԜ. JwTJs(SDN|`OnAP9va_yͺ/A93𖎖 VH2AS_"[N zyD:#?g]tMxYmVxٴTkͻ>ڌJAu%z Z0Y|nX~+>"hJ0 OGΗ-^QW'X4+(%+V\+Ew\j!o#ΐEY}Qp(V xK!mW=u+{{(+. 5r_߮Xl;-檳BF} Оh7J<=w5>}߮.H6O#ej4,Ow`%JE'j—3Xgݕ`|P!mI07wDœI]9 g^-_$K')ȸ5~cByQh/yy=+ln{m7V5 F^*YN w;w9]xIKmp8D܈9e`P_N5Iݒ&{{`e!vlcc{Lƺ8{U̹62|GRwftN⃎`xX-xnzy ̄uA3{[W 1S[jc+"QKlG|A*7Y㪯ԶHWC_s)$Ń9viV)t O`ҴgrJڈ[ÄLEbİqׯ6ԉT5i oYBZD>7=+MGqV Jӝ}o楊.Ͽn cz zwj4&h225ZuJpF_[;<4 (7M ־fE2ܙWKo s#gsTM9Š;uJњk'Zu$=.J+*UBXe zm-R?,_I3i|?7D]p^ rXf 6SEF%9lM+4H?zEbJy"u]+W7mn') Bf,7ֶJ$Bif-''Gk&a|dP\x5؛>஀vEƐpq"e0^mwnjhd%0+^g#DM,Kj]o>4 S zT{0dd{B!!hȝZ;f_z.aCіjAf•7RlA'=KW9,!sӴ֛@O4AA>4Ft g=;ևAzV@8 0EI9VDf֣1qB2C ,SE%E-*`~Caҗ1Yd nO\&yHn#D5qJI mR? lFmS*( zaqcR݈֓(f76oB.cYK9Ued VtoC<+ z8\-47Y>(Btj{|2OS]!Uc L'O &2W}n?-d*4M5&5Z .t)]B?굺8M[Tr(&w,)O2x]:|0Zk*) {/DQUB`J+%.#M\MxF_-?vnuXBn!9p͜%M>X̨Gl@4HUI~οn;?qcӒLB Іت\ \CqzV%YE\GЖ#R`Ѣ$VXJ9<3Yt/byS.A^l8wGeyǼ,]qYTRQz1J;uAΐr}}U1@_ûmIάS7̟Pf!WH'.ҷOJYSs 7F[a,s԰}idmϸ׳ OSF^}l*Re h޴uP.Rˉ%G-y5S,nb@O\gq?Q~ths,2ɳaoz#uuA7\ŷɟǚWS-`đJiJLr_4ze2:i@4#ݟnO6 a@\O-'/ fF.ZDzSIq+Q\eRݧ"\ 3rׇעh^[ԃC=2OE5Vt,IeaC?Y'KSf0b2ufh Mke$cQԿ>c\Z!o_ce/DzI-rA !qL!C*X*aVGc։;נZӀy+Gḽ5~> *+J Xēs ,屢,Y?چkdpڲH2er[=iAXڱ6Q1>WfQϘ/u uj==#[*.pi+4b_[qJ!:])Al'W0Ά=ID`A^+Q&lSz=\_lZ'kpfl;eJ`y_lҕS"8:Qte cU?iR 甙^}%ˈM7l:(Cx)2Z1uyхj$$= s5~AZAŇ{nu RKf}|PO Ц+Q}zHb Z&Ď5{5YU9.qjc筽3ro_~J@/!kG>+xkUT?<!m(OZ]k_kRG/6VDz ~ Q0ק:_Ɵ[ǀ$o)!:7),"Y9Us}GòHVN WGrXuxR6'7Tx3T!,Tj >](^1؈T?NAI2e+$2hR)}蛝2$fdwM!kǗFKn晱Yz5mZn`~1 :뤚/_ [E~qR2ЃEx&=>4*Ҷp vX`YL<zGHhJxKn4{g1m` O@hr&y`,E~QE^oa {{Zm]cS gG^= w=g =~6,NEZyĈ+i|}S.Q\$w1 XW#>CEA'!=V>_T}wAk E!PTcȰB< UeVMOIJ8|dP֐Tm""K7͒| ,?x 0C*R?;e\#pn H AӅcWx]ё;CA>:w8/|?.i;7PhhE9of3i|g8V(HӴjۉq7a$%e dЅz0&3/Vs(8rDIqezhzGkXX͓Esib% 4MMnR9{sV?_M0B$xmc/u1'Ѡ-f$4I*`9~vf'6ጻ'Z 2) {|Uj4g yͼUgo;a&k6͕Z)OY-y{XNumOyx\"+~/Ic ܽxB ܔ"<\2зN9t{К/v.amRtXne2 >"\I?cpPuZ܆"zM[CTHzP%7Wy =K3s'lBV^9.|D1^ fbis"bAK_8֢ u tP/T-/-y.^ wW/J(Nu7G}Zyx2pmPj4y.rBcU qmhՊRE Rށqʩi\vYkqk Yv D!TB3?l$k3`gbjr8z NpG#~ÚI+(n*@]Ɉ B gD$'Eҹ~2jaXOp˦~}_rFT,f- 5!v˴:}#?@S=UrgmzwNvKdQ!t1H"y5=CdjoBZGz=#$Iirx1}Dᦽca^dgCwJ}8=t H[Rn^}}1o[`d*ϰc@r3?X|y6K'=v kL7RCu(-1Oޙ(Q$ӎZ5 O SgYZ bp 5W# THOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ed]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o5W/ dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w%AnY1J\̕g}2#SuGN4݀ _Qy6 .] vV;#ҁt}G]dfqa#] Nۘ-.E^*H*r?/IB|:$ BR 鹚9u=@A:wWqAUJl}SJB/5%R <燎)j)HSɝ-F~|@!}-JQ8܄˂g|0JPJjdQFFh/klF\\d|FK hbM< Riv_幻 }榈OHtY-I荭7]hڟ5nJ7jd'krpaHV}bTr4lZ!ϨhG02E74f:-Ԫi(j'2x9yie=x}P 0"drwR(ԣ.(s\($h^{+=3|:/P{L}?G 捦9:#<6j~NR[hBWK7Fhf?}[ dEeю~]W1Qxܟ(,Y}'.n:qmStn.䏝KkC$hoԃ@v$^+p@mM[PG! MÁX]d>8YøsFRlK%7VbA3*B^[u-5YQd7.Fפqiot1vN&wpKaBƟ^&=5S VM-博ڑJ6xoNܡ:JPfՑ\-1!p1yxʂD/nx9C+ã# 5Ԟ\i? M@?x7XHx٪lAL*< [ JlֽRN<^b%:R9F+QaB*K C$1pvroo]Utk+'{b 9gjM*{ &xD\J5 J-ac$;ëh_QTkT[,jZiB84%tX4=څ&wgSd\f$6 mZ^ l"h 9#· h-a`P9TL8hfNd?QVB8=6쇻GZ7_Kv]C0u_^TjHs_J&?梏pE֫XiYM6i+ ،ɪΡn+]"n#iҗ})}b !쉳F%^")!A0ӂs˜G/BhP.{Fz+<-z4rr.ܔ|3)S({wt:J;%>2M9zo@ z;R ->?EL}ҷwY@L lg~N!1]K.4(\uG& e6 /X"ĺy/Ky DVaE?1l i;+F'lLR<|=bg!" #~C<#iGe%]7-ouV,zJ@\UޜիXH6Z:$E7| "y9X3xh;ŚqnHQeH(LMYyqU@KwX=Ef-rZǻ;[{Y/!|7,R&Cbp.uo 5 v-aT?h^x]58nɯJC#8GAћSuew֔~V}G5F9)weWĔ WSR eZwY̞\XAb0o! Rg Ƌ8ţ8Kt4WG(,QpHBώ=WM۝0</LGp4'3l+&<}6N/f~X77k\cCYx߯3]sן[l_bK iՂOS^pMH͜][&@ÉBݣWLK𢡄}`ZRiBEG#M{+ ;a"3[,6P|i60LUog3,cq@3" kMeOp{=Oꑱ{*!l,I{GYs[d O~\ *F}1Qћu&4""a X*}Plȇlx"׳O4P"VkVG9tt`1i3X{"%E? ,rڅc|P2 V7[+~\Ԣ8$"*  UVNW\ϥ1iAᅡ-桩%! CO$X_I;tZ)>g -k/Xc Bl%K OKjA `u¾oOKm{4-L}^M;Py 9+nƉrP&3֗φRO_UCx@(}Fl</[DfƩc0mN,T Nc28NPIy[5Ǡ zXUűCipPx+e+y4uQu|^*$/0;]ۓwQ,NΖ pSm JW3` PJ[,Nv{V Jb걉x6В kWOw~_Yx&)WQC{Q#oQE*|&)|) Yt|=Cg|K]p1 uvXw\@;X7ƌoq:u㭭,@/{: Yf9c@e<ct]@tN<$B׷.a鿀ɶժ!.p ^?O^ѰUw>yݳ=ub'f=v`cB!;q%P07oYBJ !5HI^|; M\LP&8]}(ܣ^k"0K!GX¾C=*Sgn&stjlq"6)!w2TwImLe/Km= WjIލZoLf-Lp_]-ai <ߺRWe0$p8vkΔoz̻>MSLGѐ.r3Q6UlzsWj<{Ai`n5[/wajcWIZX򰽯8pr$ AN,q@/{:Yy.LJhXkAm`LM^ ^m r@g,_Ԭ]#OsOo1yNTv&Pa9) RX"#<1J#s촉`I{4ZeҀ&L6Pcn-<vvZ,Q⇚Ҵ,}y<|aBG(DG6*!mb|I&4xwM]0_e^"aMKGm95%!4TvPRvqޚ( 4D,Е@mݽjL O2.KQ5%26ޡ7. k3Ϋ:G\i( gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  k]Άxʆ5.f-9 rq=b䃚Iy4Kϋ2M;U͂c<["NT@pp1*Km!N@_ks;xP#o=4P'(HRtgKAeцC w!ZONz$[iEr{"ik Yf"֝+h1תE(X[^aд_lbؽspJKЉ5F7!Y)>I,nCN2ԔŃYw!4=/C$3%lYc;Á-E;: 'LfOl 3iIwj+K`bu6AiV|۔r G'q-,ѫr^@K#71d;m$ J>~ٹ7خ!n\}:q^`:MGmvCᎥ֪L/+8hP)0}JMDhLy 4|X,`/ .<`-۲RY8P^ 43.s!gA'3.Xi)]k4mq0êNAGFGi:Db1[lM"6 @ݨJRy]Wl4h,rn: ׆QC7j`p~+Qi\6٨+A7Қ"$ۈ-[́]VG`,..` Q-F`I)E6rv ]˜v%v19ΤBuf]shc4zǟODx8PO!zp^A{ ΙEX1h?,q]142L xyYUKHY Y3TY[4pg A1rk[oc1S%ng&T[+ @?^Px8gţT&Fwn~ BKq]Y*m]D$kXi:{pQP 9W)ܷ cM=휺1|hK/n4CV(4#ΊQ< "XesSIY% \q,>F8 SC^~aL_[Bt9 9/EEdA&:w`pF?%bQhVwL MjDw+sb'y-#[6ybA͋e2W~Xnڅء2cɌ 6:R}M?<5,$r#t]%!B`C\N ٫չ[hwkу61Z f!dXlW 5z}~0Fm$Tz!\qd!=dqj/< QԖ?  y?upEGD*KKed-ȵ-dAe<abkkl 4Uh龶(o9?mm;ao2OQoI8/NpV""uXFEJ ~+:!Ѓ9ʾ9a)&F~66н.({LkZ$OQolR4LSF$2̖8%a6E)TX#eF@"xcTd9}x| _٠EKێ "vy@rknGZ[[tSp.F) NY&Noqo}>Zl.` L6Ɯ̡÷[ Ϡ6.2SUUlxQ!K%+:_Qloxȧʐ6ZYv(;@*ple{~Ab6v#_f1nay:ahD+zoFCZrVw-I&|ҳX@3ZnZ [`JuP\QAF&Ņ:ގMHu$] eh .\038wmbJLy^9y 3:J*DoͯL\ 6X/4 Z4. л"cۃگ{F4]v6}RؘHf =5p'L)Y3 8g@=} ՝{7P/b3(ܳ'Ac8CKg' NB#Qk`ۗG̡Ǫ[媲j3SoNk]6p}o?;55,=}s #| %pqv yzn/c"D2>WYA؛]+AS9W9J:_ N$JpPzDK;*eʛяRRQ2J [ MӪ| =7rxI6x^~gyDl=!Gk#O\0rj xi†GRJlø`A2ן I% &|ElnJI fln}nB.BC޻:W 9s'wDLWGĠmdw47;x6;+,ZՎk5-E/Ok8~AK ` ZX ?:ʁ8T11GI{/DŽtDM͡/?<JֱC? /cQH?Vh(ǣiIq)gG1%m՗US9WZm޸.ZX˺-R%.OB8r: -5W`sm"z7E[+'Ơ3\oi+xԪJATEND:4=_!o7cŝ'@J4@P>XN%N3RF|+^dRSܭg&/O]t2tL`IT/LsRSf] wFUa]ȧz"p-Qlp(ewyrgQ|}bmkxo:Tt4nCZQo8\P \kՌEKKeEs&߄M Ps%!=nRE`DݵHg66bdO2)Ag7 ǡ|g6Š^HR$Z坶L4CWk5Y@xRnНb)cS<ƸX-YDA8wfW<%A~vzRcciwz}mt !!XvyUKQw<~]VKTa.5=4WwJI9e: ǮDB|i9ԔMF88/< ъtUWc\]vh}I 4/G:VbXN9nvt>2bpF;\:~Eo s$- 7-#HNI,k0\^4$uy:`PZ֖%|q'9@TEM'Wc3|\ʩho%a'7J-Uj98j8d+9 8y( d){QSTJYok fv9.b1C($)% W{;_5&ɞw`yeq<3 yݝ}x>c\X_9v~Z? ?:ԏ8-S 5ʧoq^I`e HUO-DVj~jw)[4ܹCF 9o B֒J=>A2K>m簇@4dk7A`Q@85+c&%0j*vࣈ˖& Fi t9EG tqTÐQtwP֐i@9 fR| ^V԰s-Œf]z?I-%p pkoߧ !y፼+xJ1QҍBʯ~x[cpæptt9^9*EAUx 8S@U:?19δD[RL/Mt8*;b>f.2{$b .`dx1ALi UIĺ߯?XWbr N6[8H#~,DU8n40zOnu|4YU?4w6#)6TX+؜{쌳!ob"s.?DYR)F2&*ŝY\BQSq0V^b/ 4$m*Eta߂+|S4|\ s_Yl#pYݮ_ȓ%ԙo#t?rC["*?HR,} <jY),"4 Rwpګ{ExHbtE> J7;6 ',UJfRQ7R\s#sv2joy1Z:x mW-$21ЇE Ѻ@KVwB$K^%-XyS9u8?!KҴ+ b6kY!$npc?dvEA+|{*hW`r=4U|pG"2'ٜ5jX]ai4\Ǫf0cs%p70ҝ_k>iU2pϾyFn  wwSN }W=){׬1? !Dyȝ _$V[՗&mٕ[Za ;3;șrq[Mn;dAhiP`Xol~5 Vyj$xjN)q<+_d^7}RwZ8FR5۠/|mrbᎦ7}=RTޭ55sC=X״an ZgJ6(F[K'Tj0#&4.q+';Jix<K3fW[pNQv] RtuuKhN7gTAORFSlw~ fNbaVw4Y:mLEWt|:tٲ,7=mAtqšl^@R4*L7#Läh&&G06KZo49G-yQ> ݭ `CFvQKP V E}{.(*E9vT-!ȉ;Ԩ|z!h.+]oq X OP)۰b&$ڙTNvlJ&\"3e8} tc[V>*Ҟkd? 6nP2%vd2+p=rnk8{nT/gIUv?S ԓ3ra)_o:ϧڔu'NrZ2FAE~0T[ܷSm1 G(xݪM~~!\[P<;=,非r"uX?[ AiTo!+\݄% R)塒#Lr|qf0Ĺf#c/C2E5`a;"̯sk ggM 譞_B'AGĝ{5Cxŗ́PX C;R AGJhr?_yp^|SÚ -7LKy?l\.smV=Gk`/91k*U[|_+v,,-zJ<.f f_fE2=k_ڊe)Dڝ?`'""*X+Lw8|uə8r% M4MI0xKny!9]ePO;5Suls(*BqD7GBojA䭍uܱ8ˬNQb$_mC>D]]O!yYxsRp^Y֦Lć8'fng\QSXE >Jz\C.${75J`I| +('abcU]^;D VB`qﶁ^&2\|ޚGt/P7+"o5ĥ}juG` ^i>uf7R`[_fڬ6?3}H_Fb=E~aG?R.z QAt"';(ٱ9t-G<܌DACVvwhxlUs>J}TڎOZi8x$HE|QK$1OŽSWl,-mi|3@O.ʉOS nn v%w4VFy/=W2 ZhU&]<|eJ?b8!^I+QCfR_'eȀxCl3kx1/D,Ͷ ,&|$Kv#\b&AY^p6$bU<,:+p%ff˾q`O*B}VՒߏBt8,{}bm}4a -XSB0ڼu+8TfmZNm}4`1 u8¯XUC^"-U,Kg͋G wjQ&05]tB 7np P-=/VdzԐYuzeGWRHb9վi&x%4vT:KA+X+ƻN4m#+ Ë6Ⱦ)@~)" [A3"0OKz Z5uI:Qd"=E'R'05!x<GO 9J'E4|U7FqW٬bKL*N|R@#1WZ$EsLZZQZ;Hu7T=L <`ܯ׋|X#Sg /H7s;͡ gYZ8db74c6c0ea79438cab449fdd2cd8ee110309ee56cddc4affe5c2168acd960501c3b8e0a87b46c52 836e6c5126283467c7477ad029076bcafced66f8