SQLite format 3@  .0:  B --?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  R!t\L ]]]HOL-Proofs:threads=4elapsed=361.093cpu=570.328gc=67.008factor=1.587zXZִF! 3]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ifޅ0Q1ʡ1 _UEtn͔^B^bltD׶ +-OcJ\| 70(dz3B׽892: g\hhZuJr{!A"LmJvtuKI9m{Ĺ2xنUUҌSi0'JHڿbb 6` 9 ϪNڌ\KveGVW&UhtV0@ s@ݩtSX3OkY\QuƸӏ{\1wI~Q"_+d =k$EW6gZhB*Z_>k.NXg L۰33 h ơQ:ܡD`؎c8pyO1@ɠX[  ! HOL-Proofs  =@z9gfG"C]c Etɤ"lcnN!3e9C`bP nu?J@+JpBu|m5y1F/p1M?ژ];ޅNFHAd)5k\f[e?}g~oea~(3ؤφAY $cϫD'EJ= wR'dW`jɿL{],È&,_jlv>S}20tKH)ڲnÜDQ5o: lgTj>y^@Gg#12fbMs&M_ӶahѠ>(ƾH= _uW[qKʱ☯C?{*j%=@ Ecg.4ft }  (U g/r10h.Ҫ>’kj~?M`Qr5r,bس6nn>-V6Hwb>&]4kBبŷirc' D-G{l dز7pOhY@]*i{ǓO,F>M:5eJ9L vMzsVBg*/(cL%uH &C7(aWYo(w7㯆n3TE-f@tnh ddoMp: eUIZo#]cRE-:yoڔ&ɺ3Jkcz1MBR6C0MJE^(ʌ~)l,6L%(>mw G/USBxxkWэӸ <&%%pY5x&9]m&ĪV䒶QeyH1̄#a[/(y=Z' QT,'z,wS x F"g'N84]q]s+#}Ly ^"!vvw 6PF&ԥ̴W}8]k5 t;tZst pHDu^pvڈ<ߔMи;2xr[ep!mI'BH­Wa߹2l V%&-={ZW<|PWkc8XX_`.ǚbcH x+ 0ٞZIwZB&L 5+1b*c|$PxD:G"XkI[?)#Q 0D~ll{6xCAggqڠsIKu Ӆ14-Ṑ1r+]h_-Otǿ|g+  6ډD>O?'zf/SSL Nn+Nn|JH W ?18n:B]u$FMB;i jb]>^)xy=$@?$_3eF7geypdk`&+;~(Àa+#03>xר|.;qqf.{̐~>D3;xXx W"W:D;4,`x,@.~CtOADl wCYi{ngY DZ35ĚCs"`L̘s/9$)nv^'wV=@<:.M9(BJL6cW΅2R9tsךrJm\vsD[$v<q6|\Z%}Yg1:dقgn dkr"\uÕ5 Fb/ 'G' fRָpCK~ؖ>Cv:fLө*K%HwvÀ/ҥ˳zu1Д3mH{61Z+Y:0* Ye@s@w@4te:ha~C=\Y:ӷ[>2; gvX~Tְ Do Vi\rΝQ8#Y Ѻկ_8S6\h|(PʬzӃ\V(wHЃ$I2bsvPYJ$Ls\7t{zx6#d͏S-xDtW:u`{)]1oB8u˝B(6^ҪޏXb7+_m2Ap"wo~<,IwEq}dPzRHc;`aZ}bY=r-K(Ӫk^\=#ں/ tٜB96!ؗuݵ;n1ϰ_*\O,MO\vO;0zd1/qD-:sm  [$+[n4b]x4;܃ӰoNh_m?6^:mcF8e ug䚞{PIAe^Rlϱ'w\kH jtȴ\f`~c9c3B-O%lEyNl|L y2\ocddb/0*]CfO!;N׹$pnR_ok>%!)e襁[݈Cqȍ9)2HPQ<4aLC()b"{~ jgO$|]U?! ' 9 Oʴo"v}~?^;֙|dpHI 8C=(W-/l )9}foj'b .bCz/ 8rKk> z2J^= Z9 2;Uqg?a2SjrU낈Mq) s-]:&j Q|@4܇/'0hq.,u&C221ءvt5p8'4Y\xW Y#ScƂp"d@4:~E;|jBeC?i^1 qV2X9nȒY8%l5M)?@'W羢+=9Pһ}tqlV2Gwku$r5;?r)QOrfg@|2 ~  5ޒ`E՚ a忙R2 \שG\xYNfg׏M L'%rCV=C\TKQùq:+1ODc\эC.S{9~ZAt"~@oZMáPuѾ5" .1[Vl?NxP. ۣK`wդPy ~1BI txYgNݶ*oYf`B=;6,[e|)$d_v%+=3{3C%W*@. ad$ HTefp2 7S SeRG,Qp@$#Rt^)0'}ÄBD0j[,?/p~k+gxC>ͧ2=~ɕX3cc%ŊV[iX QWʇg}q:2j)ae"@U3H/FDa@³#s7z"1x[t:tjuNєN|f{f$0kO 9#TA`7[jG,ӈ L\O.ьǒtz?_-@ c ߨ32,}@02'[ZK~S'MR?``Lrlog%x=qĉIE#hH|zn ;cRlK)3:]?E4VBY A64n3mљLܾUFU&œwhւelOQW+1`0I/jG5y{";A o.'/4oʑʈRNc-b3΂Kz;VehXa^g&BT';(%q$ȍl JR`G8zmF)y؍# wY*_P;u_ ۴z<i#<&_7bHᏘp88EL틴\ll>PA2vGĺetAJfd2ߧgYZ7zXZִF! Q]ŗXiɟ29aoʼz[%U>EM!!an.emgS(I$5\-NI>ZLeȋ9ؽT"]&"B@qGoo;MQn ϑYj/ E(fVc88ˉJoo !S;;V:bЄ %&.NkdNҶܤrEt6=|u_ k#f$rYMy Ncd$&{w7 hqVkQU1$ɿaDGYH hWu"%ڜ%\p^Y+p*b zCc;MB[Fji-?\Iȑ]ԋ糭-nƣneΧ9-̓NB€:*p>N{K\^ nm#[j& `ϥ2g{5ԅLN[E[{ji)GͲaCnX<3-qϼqa5⼿ܣv-3Mvnh)kSJ@^ߗz!|&5@skO_:!j*py>\CGE!dp̉.N\86k(W0N2tȶlOw h>TD |zΜ=:KlViD+@pี;..L< Bct:J3yAŨH3- $~2%*_w\m}|| 帤ؕ}}BJO2Zjq,(f.& lPtDw8n 淪w({7BgaUR_-wrd6li:-VΞ7ڜu sŎ\%[:\C0YXC^j#0[({tj  2uo!Q$κuk90C% xA՜.v0.vaG2ߕomsf@j~S&@ K\KvDέv<1mELp?Ypvbx?066ho rņqsWOT^Sf[=9F%MaռւJS/ŐYi':9qT<\>9U9,'VZqڦDž}fsv^Sw908qwN-#TH^ƪg` VQ ϑhj@ILYJw$6!0gMR@p5BSGþ: 4I==|Z'OW^4NbQNZְ~6G=h-K1Sh9 B@_}Esf{$C/~ 2< gYZ7zXZִF! 5P]ŗXi%EbbPsw>pmsFK1R,M?/+0{ЌC 5Ex8X4\QFQ7ƣ!Cf߉hyLلuNӈe ?BRz Cgm3deʽdhOb')P+5z %b:ĸp҃a/>1oC{H˱?o_7j0YNEecE51 r@Bk=eM ygx׮bTєt~ /jcɔXA{,%bo:g/Ppz$bp`|/jon\]po}gdmVS Pw3t@Uh;6T;BB!νmQ՜ӽB)*'I.X1ƚj ӥyދmUN$1 |`HiLW;DZ)G$: 5TaDr$+M[;SR!`",K2d e$v"s+E7IϾ iN6ۘ[2 tSZ"Awx .ތ)Ҩ\ ]LTYGN UPS%s|\TZr6ڃi[a*A<<[Hh^p2&@Z 6M!9#-c@D1@u%Ϋ5]ɝ@݌<=# g>dRKYGѼsvl׮#BxD`veM.snfxN@fOo]V > z4h 2)=bP$i2z+D"/,aD kfƒCoq ofN{Hb|5z'l$ߛ ygm<: DY#ȸ.y%?+t kWQ9%`G8&s e<$cv.%<"a:~=|3B^ lڋv*'d- O)ڮ[|> )Z+*^G>xN)_Rjbn{խz53v@YʸċRXKYțj2rBB<mcVꁑ{7vI7)vwІu)f5J_˲ *ыaGsث^4,9J[ÂY`):ſUܰ524^f'<2Aef[r ;±tGv9ٞ !ƷYNGeߤZp  o ThbEIWLsuR$EowaF3$"\d$_9s4]XdB˙:e+ވK`TQAr(x?*%uq{^  9XB^o5hn!tw\-oU3 azlY٢71P*ڑ/?om?;Ywۖ(hSUXPg՗JY(&~#@ WQsf_ۈo'g/kGM/Be꼒Kfa썃'ݫ nlddWp@.!F&8d Mtv ?0i7y_SY'΢)?NqJ>O6_™;I޸&%$J7|Ս>b3O"et vf,)ON@ z]hXfwgp}{BrtF=(ǐ8 uΠuVkIrIW8⊉p$cp~pfJ|Oahh631ΔEoyYF赤i!m HYC~oTL"h約s#U" eh~'l1$n w_ʶF /m\lh#O纉'fnJ-F |ZG \$L|usA.tb;ʑ$qAUF$zkӟqJȅh#\x \KcxM> \}30ʨ5<ӵqxp0V͟:Uo1VURɃ=A5 : fDhے']r0sW J-SS D GգfZtaY,* W.C@ԒʚyP_4)1ؕ=+Tv#ҳԨo?yʱ4Վϑ csUyYe!vk]l=4u _V)}I*Xd` [d3F23--{g&UIg:΢RR S)9=EPOϬb9m4ټnJRG̡[vWLbn^.cæ4`~)[w4& n0.$p.w8n`ʏ#魇R]cq`Mgl,N XEśӨzg`SǀJn=Z78:hg-hU-YPyeA>+3 @ 3Nm5=;%w*>'φ-9$hzpsr V U>ABJ~1Xc+!I‰v JSA0З}3=\Dϵ5*"6ͳ2Ɛg$ZJ'I,1V(]qAey|K׆z}'?n:y uPK;qV"#,­Ė5^eG]P(QRλL612K+9nq,jPX8˜h;d xG D|B%i 'Ï)i\'hJZi˩\CV II n&VųߐFB]07Hxl.: ӸV{g(PbTpO7 0iIYg{&S5Owq+w&`ULBY˦o~TЗE3Z-eskOS 1dB*DN\he Wޓ uxMAI+X(WV MԩTc^Ŷ?VnWCrWYR3 -_'i'Q:nvrۮק W\ᵛ񐏽X#*F:K2(R OKw( @iIn8Zr{N3zC$H(~ᐖBާ}wQKF2!}|hzlhm߅[vд!2mՒQT*:pPTmGa~()>0 `<RBTG.uVK'D;B^7/K J2Za$Ul"\ת~kv a&Erg /)tƑ&|gXq썁8/'4;C_ xt! dƏ]?{Ko4kK 6aVorfB` e]O7!U30l#_J&(یpDMsyc2[tX_ń{8!Gw vf݇G[Ήa 5j)^yŒʯӆ:LWQdZJtA81-^OAف!' 7S9Q=T?$fQJm~ (8ړ Iw(3K`EwWhyo2- :CRp ^RT3!UWe+9X,(yT&PޕdzQX\ {@Y7g'?{$r:x, Wb ZEL8"I|udAK WHV,![9G`d@Kal`}ÅX"Wg$o2~ƌ\${hcsPw5R!7mN ^aSV q =W4}[?))JM9I?ɼ}?,X T RD p`iX57؊S+-@ ahV2@.JP#zOJWz&h$V/{b;Ko4Y0|U%z*|E %HiFV4քϭJ{}PQcm;>Ǫw.Ӝ[7)fMQC:(#>.=,c?7dk}-X.%<&3,PʼnF~'-c%Ɵ;[o'|[.&dA34\ID)[ʮRe1c e%iP9= -[E6Ɖ,Kn഑I:ގ# ڡr+~ "Kż/pd8۽py@o Б4} Ll UG`{3drSALYh}G;݈2D^Je.z1ZƾOgE^Pe7ъrdh_Ĝ̍RdK9$Wauw9q ~xyEؕfH0Z6%/N٦Z ԫqe02o ]$ [Tu\;8;mBf9Ai~r۹sN((G_ F3QA\<ùRUx]:kװe~1wr@| O"Oɍ?L3d!u0/2O{2鳷v#JVdOSyv*6Zzos$lSdג#Kv9M%V_a/FHD,jTLxuN34.DD !,vv BnXBE}fA{:Mٯ''{k~#V(!UM^Nɯw8eO~9Y[,-XǫB~?n9 VO,rnh[FҤd?& Y  谛$g>@sfoXG2"`]¶ Ww5Kڕ$5_$ nK,IRCbI/H,PJCxB"' w޿AvMq&0Y7{Zџ1jn̦h.""08+3T~:FSkc W0 \7C[`Ă 0us+gp|pKo8h\P&9 -eFʓSc/\n}Y1hʼ*GRl!"/aOC7w+'f~#F;E惡c7[nHH3l`ͨoyq5T9f޾5Z某-ߴ Ch.};S2:$Uzl95O()y78E:XNj q7a|dG/U'?@x'*r _^T(mY DkgCעcu&ODX:lC!L99b ) GvngL=}Uѥ}&0t塢$h1sԞ, b 3pS&e@%>Vn Upm:H.(W6ѿ=zB "piaVX7EUP@; 9Z/fZM w S8~!̇hŠMѥ{| )K=Oh[gh)CB/}C_x>}GP1[>SyKK1~Eڭ:J=Jb$e5}KJu`q yu0L!_lQs"}ՂRlm"1~GpM} bms|8L}_ٮdj@lW}I4)烩%dJªi(T#6xLk})P_ GeL +:H crR[W<@굲QHə5Y9k^ Ɵn:tm_ޔt9O"] >u%bl-hWE]VKI1@.ōҽ*b4qǐa.XL&&+z_Ŀ(oTO+2|VzF bXO2쯀ېaQۇb#ce䖈qv)aG Y6uKh]gpeO{%qQ 4Cےcӈ^T9:b ;~jΊ>~;Be.L`c|$|F.X'gzd%az7,%ZiPbm = !OY{HhhZ4A}Pv Llp_O_`E&jj~[6U# ڙ>־\UZDӀ?'#N x`P #OlԱW떘0Z(!q?4ܜͤ4VomNs7 h޳G*)X`Qgk k&xԝ0boV9 =Q0XZA*׮rJc6Q5dZ[k,;>ȍhO4*tWoK՗#J6W>ur/! CBj X'mQ7CKZD-/~Sq * d{p  {.×WiS\\>G+P?ze 㶆ѺIgDX~E|5-׻ƼDJQ_g2%p4y_L{ w4VC@|LgIda52qW}'j٧>VΧ=%YR@ ֡f°Qe/2bdd+THQlIgxg?2w.$4(9V+~}ae$aY]NYLVkU"o@c\F+(d^{o< Ndd_H۫oFfN=_mpK|K;> rU^ZeZ$, ۶º@M7](ob6+AQp7m 'PG*RkT\ -Ɠ1c* ڳ}a,91&ƥA=oʷt@29WtՍuV.<,Oܰ/Cl~T *$\J}qH,E)GgdLn\;MbڨVI(~zFQHkeO]x5qrʦWg% VGGx 8bBf|Ci{Sn7dIRsYm>ي꣯RY]cn>**%ħBsmY1iA';&цj襦\tdej3(]'5 9S-\fƌj^\`ba\68fqmAW#Cx\͟„5ZU+M!|IRMSA{#vw~7($/(?ܱKp 50L,b#GE~bLW7Gokh{9^1_9g4EYf^AN4}mk5xU觼hҦ9C6URPl I!xdJlN-* 3pHnd\a8nRl9Y:;?Ys}'GhZx_ =@Ƶ܂ ]Kn(14G>:r>p܄`8ֈ7<,#ioHUcyJl `#=.%TXTǮ o8M5NFzRjzrp3x Xp[_Ìru<\h:F {2Pf0~rcO`7koB@-oȍv50-$1GWȧ ‰=0KqFN:.b 59ށ7Ht%=g*6%!U"` D lO8Yq#"prɧ[Wr[/zx=M)OV5f7LMx>cԌ]711|RсprXw)_(-EwIEjQ Ӝ3uWG,CWx+'7 \OOf2/zpb濵񍙍 &h|Aa.pca@ ~VZ_EIحm5+[j N|G>"uz_Lh!xb,tqhrc].tC]KVVFdWhOf\p̒jdupt`%M(Y7Ɣ;ytim{=FJdS*ڙuڰ {@r44KSxG c%0ţgݚ>ةTh$qMT1>mEQvkBWXDѧYM 3j@%3Ǜ+&Q{Q,tZxA"ްy&J@V|ٗSlQF1C)"<Ì_{FcAhpO9-r !K<_A Gmmx'۰5l^rV=@ۥ7Ϗ$6uS۱; V Ce2yr/{fZԷ,ڮ&>--ʠ+g23%}f:bL*TLS9+pӪ5Zg^Wk>y hJdjR^fXI=¼&/Ea\Tp71V`m 8 }]nMKb%Pևh벚Yjw/\3~[UYscSA(Ѝή-#9NtQr 0&[?`NTmS. *Bo+F}dw . vnn$Fy6=]J˛94'D\lғʤz]CT^D ԒB[XyGhٻoRg[6/Q7WKHg†,x3!JGӗ>T*"sE| ۝;7iUmzEے%recv[F #6^=H2րcg >\tVt/t,(f(o,V\Ji, U(Σ]4_BQo40:C fĎ?ZkO-!-=* ?b_ٝG=@|cMLNѿ&/'[pnUI}bhqkka׎ /~`u}M?| >6뎌kS=y6?:O^3F[V¿'֜؏ Q1`]1IZS<^ƔvYΊ{ԯ Ԏ)f5IގZ9R-hjV[H!!Pw%VòuNcwpykJK w%f ah@f+JOjPB@;U!L4?{Ǚ+sczP@ƘmaQh0c ,q?w0`Uw(3%h/;!nX~Abiy/y)LqhJO+wg2t-vM3( mwoٓ`"戈ڇv(8yg- &SZpG8 ʙZ$KY22Sÿ?/ƊKOsfexJ>^.m+ż'8N¿F!&I2-v-'ku'|w5(ڏ KetzZt ^^3RGvI T4$۴o7*N][@!Y]adVޔA p}V$ap:0KveHKyC#y,mg#f iDr/̘6Q}p͑q;Ÿ>4' 91jpx`^4!`@ hbțYCF-% vnCfUqkxA5 IIVAfgto32>ǐҼ "- ghpzD7K95y) 彩â|WݏR8ː͟G>7Օ!>ެ_|WAk~jVNjL '؄Ů>WAub'"+(ٗ .rP\O \┽"L~KXs-mM^!!:ODlX,fK!jtx롒uIJ<35X]GT?xvhw_՞~U>0?0Ml44G'+ͪ͢/b|e5_'s?vyc?:KΓ.s҅T3^?LR̉/8F0 3ni^6LR./ ^0gq׶Ne҉m HN}Ē &WJyVǩ@o ])rchT^oP̥ɡ_Qus\sL,ޮO5X g2kt.EfY&];1M^Қw|]y_]\-MBfU?Bѵv(*VwRU04߸Pv#} bw!Au٨:7˻ .1J%FhHS^tw ZbY6/͊*C7 pT̹eLYe$ɮ%E3U% ( {!57+Gz B\ЖK׼Qpx0#E tAv\+"L3O2QibS4Kh!ǦRD)Bs27HǑwjoDog ;`޶YlMg0KlQWn6D]L](73x= tX)m}_&74!¸~=:2|(3۸N^;Wl:+%^0\Wăm,^?íٹص_Fd?HIג\9(G(rkR{7N ,7a>ںq_rҌ2)/w8 *R~g B* ą\ݟLu.BO:eBќYnZo">rE#8;<#<@2><#( m~}P#WA$Rե@]wv~%٥{^2ӱwi1] _V-LJCiNЇ@qr#ܙ#A+FM7L2#Êx7۠֔ca4]TV|aU8Q0Ľ3KQ5P zӘ,@7'/SDYǨiX IhYZ9̛I~JZUL.ܘFw*r}1v+_Ɍ|%/?fbG -]gG!'dytP7@]ϜA*.ંIֹ79:*q7`*mjHB3yuԏDE$#tulʁ&w .+폌y2fNR%Py 1. H"_7tvDy. oh^ckO54NqB9UHuT.> >|O?11>pFx\ݹUN70g$gFbduóK[p#u~Tp):ULs>ô9xUʬVY1Zp?l0kxK?;>jU^ȧ9hab0:uPe-g&zBU{W>ѹi)VmԄ͂N4m|`6(gqj(2|/X*\NjaWZg}\-D*!h.D18Tm/F ɡh6*e b;%exB;̲b${i$d4}-oc% Z~@iH_GlȝŒp6JߺJ7-:SL;wb=9z#'RLJX?l^柉(IEܰdz 9]ݰG]uYJPf&_.ejYކy[@r:75d$*=@P'ڽjl%y. ^]`2NE`6f&ֲ[ [X)&3BXld)0kTZ1]P5@Q8 D+g hN ^Ai6^jk\bz:H[IO`$d @IkBq3B E7ӌğ}"h EFb`8앬:ȧ@=n9׳dmt -Cw$ %aB}޵VE,:m*Id 4*,Oc&8P0*o "N۰sȗX"B8~:ZJQ$4A|*?bK8J/O^}2+Az2}tg?Qa3H#c*~Dd`x-o,ֶy6@_ӜYx?pk2|=_A3#V1cFˍviG1ۘپ" bΟ/xz@Oe+t|xk{F` 4=lhbE<97u`][3yԌd@nkOP!73h?7gv][Nr -Y=kNQ' DZ?قNu?tOļH7-ǜTI_q\&\tיC h@I}%ڠ܋]涂(a qPrQ_I=dLL@d ?sڒn,WZrcI,3vc(-  =-,Q$b t8놰;R%|8?1p;jHQa|-/byC-m@nթ MwnyGD=Ren>w?a}:vm{;+y`hiS<ܵaQFД3(o՗S;&z1͗։%sR'q,<;xX@x6VpooUŵ-_e 'clto"biUJ݈G''ҏ:5 $Gx8`#}wKT5o~e?xGV t >jpb1hSYzO+z89|Aq*fof ;LSdp%=5wSA/"fD#Y=̄J\{[ jeyGGה__qÅmhez}$~Ի0vL@ 1#6ܳ Ex Xa[-/2> ߮|Þbvty 5NDY+09iVd5r,=qz!pd-8~4X;n_y|^HIDR^ؼqs5EG%sqU xxa6)aQ!${A%`JYzB;y0ꂋͰj⋣GOU`Q.oZɐ>[j33ƦtL*&rE"D@Io-a@F>qtJl3ϛmN`3P"ZG"6 (/A$_8k4"aֈA!|Exud,K5;ȂJLG.]hw8!;n,)WV;iP4܋4_O. 9HIɻH.  4\f>|#xB9z䋴A2ko1%>Q}gkXsa}/Ř$2'\(!O)HBQ2a&냆H<;&{^%*>찈9Hkl5#Mv|~*>wVşa$@6%܁GW6xm..}hGj/K@F"D@J$V$6]J bԗ~ɣ0861Ռ%wpƚQ ?%_hbeڜ~|t3v\ݠ3 ^SE}\Y]F1f סvWbƾ^iAv@4#v#ƘkW."+1 Gw80䁵NB=|AޟLQkC"fa<߬{nvOv>/ |vI=E(o);Ŗ`m$.HM{I 2 v$y +2hBQdVʑv=Q>\fb` rYY,;6,Y0 b1tk*h܎8DQ~U?QB}Iߛq4El39ݻ>d64RK7uCuB#mm@C 5@gYZ1c55314ba7208215ee4290d8448833e7018b93c087d722a51b70602a06e4a7b7d793ad6a8bd08e87564630411d0f8ac766589ce0960a4d710937ffdb