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  tM D ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=236.743cpu=800.196gc=54.932factor=3.387zXZִF! #]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W>Gq/NATޅIBIRuC/Y |1:7KR]Ή;H& cm[b| ~L87(nT|# # 3A6@7<+ҏdR4Fm4A%'Z*Ok ",Df..g,Lo{ z~J} ㏻nvFޭ5=Rjߢ0BˮXD ?蜬>!>+^Rc*qGI:21(؝bSFޡg@e:PR%*Oodya−;UiOl10DGaeJ sG2(X!F(щDŽC3UK">_0X(5 N4h $]1lkŃ_iD7~rޜ Zpyp}zf*>t^CjvG䁓z#f9}v|rFj= @S"j|˾콯 tnO>; !"Bqz `䭴˪7+.,kǍPBX8$5ynyqO G޹Gi&voaH̒ #=5ѡߩ@%~h>y(f@Q' ]f#4we;Y\xh8pW|xFԝ'BsQD4:0+x<~B)V̘@[9Spd0E1L.)Y}tt*GZ")ŀB/@e.ޞ$zg%[:{Z/o^ b (@vNȵ*s\T UUE,=$S,hx0 ) OS=h$ 5k_; z#jw~d%5( `3$,ÃmH./Q4FAL ()|W q|J$,X;Ӌ  Ӫv±: MT3-ߚZ㬎\*z R=ܘªE;.uiN25{kb-uI8&=/A:uu<}ZoƏצtzEᡩkԗ;7j?|<Ya5_q`OIqXY`B,iCO^Nr N# *Cw5 C l g֑:my4QԊ\(':oCy@C*㸢K`!E,.si'~s%-h\Y6ox;|=|b %ZJEG39uiwlPToU$g8G]~rO1.K/rXbex| IfώH2A'irUip=Pr%$qEFhq-J85-B~l>c -;<2Vj;ZiXhVqg!Un.Ay`IL3d9xwnRj ۔cbI"DQ#N%Qՙwl۶='Lc\v @c-I*Gcf3,yƣU4>F|)@ o<:7w->?+sY$a^K7^.!%%B)>լɒse8^4YWa*!2E[tCfLE! (ց~c<"?mNib2dw}*Q`y;W,r^8CCYnF$ှjX}Հ01 j kn6 Z̽rVP{@CceC\j׺ȜΔ`>9&c%M֟m෸/ f}Eb\@]WC 84Ao2 !n;2HhO0Z&=sQ EƩuVNtH2@EL}yg %۾^`#l{K$m8'L*Q] +]P% Du2H6 ۂ_ KV7~2:~zJWk $X-.\ɯ;5fjZ7şWi}EHҦ6J|8$:mQ;Sٿ!= _j<@yH;N+9ǛX2.m@yn^bFCFKgY HN1+VJ,WaZ szqC8c(;hFs Qb:@MJa-Tnq11IC@Ix ˼+GY ʓsi܈iTbv+t+A*ο!AG $ ䷫ΰG5OX;H`1TUp0M:$6< 7'(=g%"y 98˙ɽ񃆈"" @ NJATǓBr]K" bj10p`t_BKCO-bkB[H*S(x"gFg s$+xX<<^}v#q&>i'a!dM s̝ r/s[v[.. <~lKURѰ$^?#% mhq~8l7"HI^B{u'D*.E8عogT-aϤO@JQC"2s{;+/Wk1<.lWSFGwLJבC15@t0ns .ȷy VuFLz's7v>gO(]U$^Rl8NmE68Be]&6Ոǚ1C[|׏USNe<f\|KBMaO5#Hn_5*a?"FR3pQcxqDf؁Ku)zR4)}  _y8W$EJ,K~0&9CPZw{kegΛ7y>)8{*cQ}AǂZ8xh>x9½`5{\(^mW[4sT$5E+MϨ5cUt)1C❦[4dt`D'87}aM:0_DPc _UL0Zܫr)JBG%\R$o1_Њ,˔ Wda&aV/b5-3^>T%7Y@b|-<\UrQL:},m5f%"giGx ;Ak˺.͎8Dz1NjL7s@KnYB+EMldB:L_ w+RbDtuX]g\YxdE`Q2te׍LFh`F2bִ6VU8Ȭ&QR6T+i(^V;5 Ľ-VaKsv[KpD͞tn.L/ċUOofV ]z0BcBED:x_ݨ`Z/pG2`'I9${z^y~1:WO6Wae ZdGL(W;r*9L+ H˨ ڠ |MǷj8E`ZHp I,̺(+R[S|`?]O)T/)gE"_%C-iv Th{҃"POo?;-4׳9kJo;J"ݴOܫU38 \ 6qր=s}>UF"99gOxK# i〒TG:7ahqtIZ~`#Хp~IOD2އ|=jn-FnCjMF^29!>۰ #]Ob7'-kYA QAu〄Fg;/WpŘU]jAg{#5g۵o+pE%FpZDϴx>8oV߁J섏?lh T0ҁwED-[|%s?K4(Ǝ˂Rr9dT /X0 no`|j"/)4p]~ǒ?wPܟLUV#E}4uf*m d">k ~;hGmaLf6G6c[Ǹ$I8WRr^Z;/܆e[ 7Edj16 X,u7Uipxm#MqP x|A3i[s/!U\7և;”bX\&a,Ԙ93X-/fL&@}LJZY]iY" ;msD,aV9wyH)ЩU/0uu2?)y;&ϗT)"I tqD"[.cm>yTb25&g#_C=Xf"x[_ 3'0} yʝc=(%&9L+-jӟǡ#Jg>(yѷ},?+kyFc59ӗ8FT;nRQ0!/#,BHsR"@+$Լǵ5Vؘ1ivԱf6a‘d2:7gרV*Tjwxώڞ SUOB0ywۤ2NazwG 'f`ΦMŇ,m~GXNS{Mmx|?!Yf׀2Z{1FpQѼGb˾-& |7rd1]LL7yh鞚X5Vv %^JMz,֊Ɖm"ʲ(]P$!l9ׄTEEhyaKOop>LʦPٿ-#v#XD.wdxEa`H~ T^2ig4br37{ZѺB&"6Cs7ϊT(_d9)Q؇z%(UG9p_t)nA$c!&V1Iͅ)Q"c_,1@5{W:[3nUFPYX> )40^؍ Pw/DԳ,Ksqr %d"{5ϊQ9)Ұ`K0cY.%;.N#y^DlQ评gLtg*KBp>Qb;RLD_#|![\58 ~!>3c^ ;˜X  b1>^yiMHPkˎ&@a5i% n8H/fUN5@2b};9x~FZAC]$X &v ld1BOW?w#WgTr:cH&oWq W8,D,o*/J˿È >}6o /s?&tek;,ƱcL@2Z|(@}WR8tOdվ=Xw64iy0-K1Qq}F/³wjП o>IUp־P)6KZ)agWdd󚟜oQ?/qcߦ+Ϙv}#AsPTݕbL/H}]"צ\_4ހ zKAJ8wԁXfΨW5Yj CaIRlL 3AUxk6ImPdh);]/Ф/0䗎i"(Mش÷ɀeQ-Y}D |Da߁ jh:V$ŷ K OI*q5=G-y=O 뤈{QoeG܊Ed<&P&jF@2MPv"T|mX ˘v)oG`צ lֹ{{nkk=p&<*?\wRlcy&2Nϝ܁81y6ޘLSEUێe= ƌO!osas 7؅_9\kGQ Ryy&qڏ1.zcKz:Q_fBIþ{ۊw]ZJj(RɥXV(Tck /V,0mXov €t "|ۑPP_{j &5 ?)2C2۽%H@K* 7 'cpk  +1L}hHuUrB9 9ڿt9kLL'5n|\V$X)3Oy6'RށյOfaR>ԩx0W569)0hπ~N:];X.p }mwh}R )7X35s#>eλL,̵ ݪb[-H9Ua-˨ÛHpJ腱gYZ7zXZִF! %]ŗXiɟ1J2oeTʹ̰KKZ H1B<3R9h5[.sݑ3[_쾱23m3r*5L;~bO0ͼ}f;fTX<\7Q/vYH["cvh{;?Ok0&)"~Eq_fG9ڍ&}6i8'ςK]*66s@~-(?  ӭdN qod8k縍 6-ޒh[^Rr~ wa!Ѐy*c1P\bFҠT )\"K|QfD,~\WK?Eܧ)t,7NeT ǒ g ŏ|<}L;@?o޳C[k)^Vm4|6tM=ɧ * !Xퟑ#3K]ZCg{{s >5Vd IztAkGNZ8bz"h:M |$A{H0e>cOV{>S峙!z.KGj$F*C{@lD[_5^V*i =1A4KXlCU?q.8np7{zJļFS|KȗWnpZ;< zuh_J8[JK7ZN% i=^Գ+=' vC[hL**BM^#%.^Tq;'_W)eQ`ԤTޘ զξj饉LyN}pH喁^o,VvTz3o Hkn7 , LJPZta(۱־]u<,TweEy,+Tt/r 8Sȑ+j2]s}v OJv1\0 Sn:9iUЁT YP n7\jgQvi59Ft:oTK#/ +a q%L#T.6-TI c|N ʓC5JtzRAZrJGύ+zunAxTƋpm2s/+V39!CwtjȀS; jLA%t_v$JZCq'!K#O2K 5*lT Y*0UtV1و|?J?)SⱩS0M'yXjq $Psc|ջ1Bgr*Z\LKi>ѿZmOog_I~ `N1FpTEOK6b3+6JDzB0T05\o!pH~NsvVq]'"[vX=06Ol4]a((6+*4ul:I]jHcسQp+bCɅpZ !K8jw 3W|?ߋL# A SXEww){XLWҫ] e]uV`Ž\I(@c 6QM$9gYZ7zXZִF! I}]ŗXi%G:b&;f1H6ȡD%]&8az)=t!kaU6eiRzzВc3N7>#Ӣ#'O(J|oU%& ""KO.Е!!0½g\FP'I2=I~28|x)zBd f- dP ޾pbMҙ>O-1Yʻ /M]S# qpIxlz<-*St;G1L%:`z);~Ssٜ @3 44~} )ȯ)i0Bf'^렑AT$ #v Hӄ. 9Ctnm/̠Sėbz WⓔU#x7ʃp2e,\V 78]A~깞"!> ?wknv)x*):T|eK-v~4%3JS#%cae$2 |`diƒ9kLLRQ~ >Y*b^`2а`96ԗʑFWc4qlm Vpo?uZ!!NФqg}e8 U/e&Wf)`5 GgR_Mq 5piK^z^nX2R6N[> =plZ l5',NS\7IG# 3Ե\v)_׷ڧ^̰y)/e"L`=&wQ5[~y"٬#xzǒlWmjLe%2 դSzrD _:H`3>Viw )OǸ\JAɈNW(no*B/q1^Q|VVUSofŏ!\5Uz,k!CfAFS~gzzD}=p!xcK8ڗju:-}I57eg:Hc̙A9JɊ(!+`63ք6;y]eZ X(›VFZ-8љLʖi5 M6- > 6Ėq3P\A5\K֖Gc kbJe\¯UQo㯶AИ@nVO 4f,AxN*Po0˛IRR!N˻>4j-Abzv4o6y2JmϾG§1fMӄ z퀫  >ykŵ Ҕ6.G4ak:yؼ6/S hl>Kv{a\Mtuّ&V7RQ7d!PuP y!ILnbS0zR)e Fꚰ1_DsY PyзHif" Pu扩|גČWt~C%yoJd\ }:{E|}Hm)C\WdVC,$ ͔~Ҁ* ?'4rrA&BYd1-|<ŗɑ?=E^{26Oc;l] 'T2&Dp["pHX 4@ ^OL ?fk֩iq#oخB4<^S0G8(eځWCy:t P> d1G8ņ8[NV,ͱT$dVV9M8Љ4t^"ƑJ+}5[?DmЄWѢn=~ s>[Z7wy (/;KJpA#?sHYu~W As_6j4:~} +niRѶԲQYS GA,U{ːCs9|m;]; n^A{\E#ɯ>9ac%2B3 O_e"#u3U{ћ牾W[ D{#H O_b5,7XJ ,yPX31$uLca5CH tZGVZtm|ݕ>_d's1@d5[o.FbX'6=E''t:>tP#rtͥnTԏjb0 ӄ%m"t4pA[PFmNu_"o19N٥Ⱦt,TƷٚ4j&N{":m7%siUa &:A`Q-')lwTLZf {>##9S! ϱ\Op=I~Ac/UY ra *靑¸pT>ܯ,4A#ۉ9 n\F1æCϬpє ZrZƪ=WMaRPc)bcJ,-!l䡲r6DX9eQT'&| ІSA9ZQ٭:lyw[&};ݩS& hs{{Rňؖ C?ի׏1I?B2ݓ9_sKrH! ]}_yKxG2*L؊&xcO8+]{;^dt 10:y(Њb{|ExzcTtP8_6r5㫙NaolS677:;G&X+v 0}K3J@"ހ,M[S҆dJ"[={ҝYr ;6Y*O$\=_25(^3p!K=^?ꆿ?qn!Bk~V/J\,F>$,ƅC0=@${ۿ#{noPi,fTX&w7XN/~@{hN%O&h曝xS7FGOe?]L}Ƈç`"Wn> !nCRD>ԻgR֭gA{^JI@=Myj3!ltU5# #DZTE3RA=J;[j|啒2=Og0ۮQ^ Bk|8QT8+Z1öֳdRM SPIe[@ǁd=*z{h>Ou#Q60\0$,_.tk?7Sy[ 팬1ש!py9&zB mX W-?wNq(0;Ow}a, =GLMZ=6nx hҦءNS#{#B4Cvq*29x?;y u;Joښ P۪]ei۔LWtG j9>?^*Ghtގ芫 ˄邩\c/wC}{qvR/p;PH #5#@ ɳԃ"L2˓}%Y/ dQBs'L@|/:ǧ />YՌ>S3e$yuFm$AgDHV’Q:oV(->7O{L[]7ןMO +, $ e}bY,hc0-PG|U_m fA8j=/7ZKB& `yka*}5TבHHHz6RRMͰ) ]|`[Mjd6_7FtGF3bX-#3 SJ/}l!Y8\cxGY5*жQ"WvoߣGs22C>_6*R\(bW{eG@]H1@I!"YNNկ=GԸU`ז1)z)2ΔUd1՘ Nҝ:9R58Χ`>[,X^jV9$~)eoh~*9uawq8 3QPe2Kdu4EkR4@ ̪{cU#{?}TP.w(S"h"fu0{XO\gaaB["j#{ ?z-g=2㲂g^Rib+ Z%SqWDŽ\t,J>U*Q3ʗȀ C.4+巎'"-EgվTyw:4"s]vO,|F\5P}`ʺ_ G(k0P{Nτş*dȩ(G>EJ EXP[O!HR:7tPn:N+v_ AT ɣI[S﷭e )\L+'Dzij}.XxŦ74tM` a^r?E(IrnmP\EV.ȞqnѠ׻BeV lfrHQ^dm: SB[T#v혒B^;y2ߝuQ@’ӻFPGwǶ}rnkBvqR[+ )bБ_:4 ^|79K7[nn#nfzH6=-"MX@EYJ]ͬWې;Hyam-UN,#85Ꭸo_ӆKJ4?biu _ZGDQ.dB*~v?PtIzhʿjtE}%0H4O!Q Bԇ! a+!g +{siw\ :J-pb"&iK (&&/o6f՞dmV}0(ϼU| 3ίM`o䟮i0ʽWkn׻F컲ҌL{W⸁w Wv>ZѨ{aqRa>^?JYSdWp9٧qeB6lC(&!#x7me̗ E8?%(_u.$k^.as$/7,U ~+ ^oJDn* Nʿhv.ĤoC 6}@B2c&i jUy$Xݵ7/͔fr50 7)~!lv\zYҼFzמr3Z7a[ dS.XNuρh*V _*DŽ[Fg`2RN؋n J{q"a Ʒ T)qKu,kIJ u9#鼰#Vc۪H;f:Mګ<hUd\5ϽoSˌcaz(3D˲[ D\5};Q\M46N93G[Rw?0~)9hǞcg d_Jbрb>-Z׹M>BVajO!(+q),p;IY[I;kFuLݩ.pELwrt^+6֏BZ!X*ǩf楴3#AaVW!}4b~.76IZS;O]*?ڰmVT'BQET13Kb! .UW3#/;Li,ԟ7F 6h08I9K1A :(OlN#d4K@?[6n(heH|9Uc1M&sH`_jD/9\piꐻ cLB )xuAkD3Z~^gR-Y͵_@F߯Hd%aL"Xh([,LwzE P 9(DȎBbOւ1/U[67T66:M҈qcWG%%lYSXe{ `IVΫtȅ+i @5Y#sAVh2.+:(K0!0|AO×mR\:bRgm-~|qqD`D`Q ݏ&c aũW#m,_"=vp VS ,lgÒO{ 7`j # h":JxXEBwHS|=+wi@q `sDÇԶ :+q"W);L+jZ@!"Vzl+MjEVBfx>XP|p OՆ[ 4o)X*uS*mHLYY C2YªЊpc&Bp .'YTb͝5@@U `s6eSfm- ?Yz$ywu~ֺ'T[Zc/q@>sl4}^}%Ԧg @HΫM.t/q^JS^Um*!T' x@k>hJj9%~Y6d *Æz'4E4yo۲B lzI͚aY  f )3B0*%-5fDdv\_HFƵL`0Ҷ3w%6G5e]f&z EjcX8ok!~Sr[qcƟgCULت>4S ۡsd Byur`gMe㢘wv$^n #X83*,QZ H.Mj[+=yb ][hUo!xL6aƆ$tz[+0ZYUTi(#64/"Z+oca#K,W/KRpO~)0\0U~[ɢ+HOd*Y58Ӑtי]/C .fbO:t$Z؂;t&Ă2Qޘcc'ő㤢cl;um<7o``ǻ)Lf^,1 ^! Ec5x؞QE:G2[)YW?ʉ\MƛTx3\-4U[z0PW_] PFz6'mP& R] Q6Ò}E39|B؂v|G\R z))H)jy[& ú9X/Zf`WA'FfɄZkOϡP֌nYTqx]g3#^^n1boDxŐO-A-T#1Bb`~pVvS:h0Y AA\MU`@F6ӊcbNE1)(Q-]꧖ ?076QS)uG.}}:Nȱc%8݊RJ2`PMS?SSl#/7 OkQib¬gpۗ~n!j!3aWR-n?K&}QOf^k:L3ԫȂ%})2U&]1:´EB#ð2-—0.g'ٍ.9lX,&y4*َ]b #牁{qG+?7Jz@E dR7L/4C6DVVnP6`00L[E%GOzӾpwSZ)bX׊UK)b 5m2pV}"*=3͛H0&4^fp㴅!&U|0ZXVd!K[8zt[kD7f^bNFZr =S$f5g:ERٞm 30e7 EFWh[B(u{aK '1 $C;Iszܥg}SZVy :&x4 ȠBKäν~mT[Ϩ 6 Fأ60* ϖXŋ1gu3B,#P\^,:n %_~ g_ICiD\5"1$kSʳ9e  ٲ!KC_n# f+ژ tˈlM=ClCuOL ج7l땬׮Nrꢏ:nvq^AF?"Efꚾа|_^DL_a: n.s]p?!?7F>F>s#oO~1*Uȿ]t>x4N,=N( &AY_70?%60Qy%d4/g^ECp=4bxĈ !b=_+pǽ 48^OEb- on} kFyH)G_Jק0Hп8302!?MN|f! \+__@Y]Z15ĎCiO"D[浮/K`(yGӵ on&ɴEWWBg㟇h)82Q"Yj B/cKɏmń?lw V*t{-Sh ',hMY0JVє}p%O*ix8!АkҢpeW^VSqMy*,J{yDnu2j9Lu[AM0 O+v MIa5)cFlIvŒK➕-:_rim*0mr{#+2~g&j'7e4c#Avf$^RX!w,T*PiEq7gȣJFi7\;Ԯ=z?pеX7q} rwyd}+Y ΁sF*kI kAB9CdR'M8=x_k-KE_!56"d`e8J!I.n?r/VkYũs{f=pv9M$41o]y)MdB=KoJ*-=֤ug=kmu t&ma} ˝j8ݷ_;>z6M;ӆXHNJyrS58[sWpG/1~Jm#?p04=dXr": I񿡅g-g܀aW*\U~E!W&DA,s0H<\X7q1HFՕ1'#Ӱ oŔ$n p9"m閆dw]ui꒵6/or'cנ$7'ѣx8!%=*d:|PCZe]uAWHeE.Olr!.C_~k*_b%X<ǥeI#i){#j}]6ioK!H P;:,BcDd >K9b K4 >E)h<>,;W˧iˮ%i`r5Laj^ X\/|4 [m8:xSDӪu7<6)b[S?fX.%팵PAv|;{y`ӂŒt;h5oBt-s'\79xeCD_> 4M5i\aj(G{nہ%TkvORӇGY tMBa߶#Lm0e䰴K#QavPB&׋E0کF2,u^34ͯSw#SeFp![QcxMi7)JS23MG0LXC]2œl~ⅯD⇫ʌ u >{oO_B{Ms.y㖺 < 8:lϚb ?=_Y: c=qݬNvG LlhE &^а#/I|j$" z"JjSw{L)$$֭4l>Wdi9ڦ~K3SW"j<5(T,2\"F(nC@n/UtV\萕f 61:clXH?[K3 :ˎNR#z UN0!sjƸ]?Djf`7gͲ Rq3[BQ˸TuF&;+-Q?Jوq`c1 ܏Jc<"rr? *_[zKwv81)Uqi\* O}۴+Ik[nտ2gVN*B=N$ɿPqtDrߑ䐢kN]a~hLOCµH|g|ݧ::g{ gio =oY2Sf^Z 槔fjU [y]2{CJ$}NMX[Gq(5v#YP%oX(n 1Tq*N ӕjbZ辽=3f>bZRQrw]TER?|Wv;fa+ow/s8u)6/]xoOɪwMDLc\ 82kpp+3*+Fτ[5sAORoԮA&3bx+lD<."q>rԡ¯;EEo͹DB-U7|6bX|WgHc[Frk57ޮpAYwѣ~iƖtY@9wS`"5T A2$Hv4Mx`칉s2Q69/sT#G,GsN+ޫȻ|)'R&~Z--s$hSYU5L$=8$&S:߷"kQ}D2d(XRLϲn@DQw1HK\W0_u ]6S݂*k,{2bT֛\\SuO,;`қ%le[Os^7,,͍QwGhfJi$> ߊp gqwe{L,t2aMpĨ b*(Yg簗"~ y=˻]5L.r@PQ=^SKn%F! ~ Z m^!aL*L}!Ef>cIt`)gpgqRX:vq1`ruF̉#xepVu ^l'eCXf"1=ykT8QJR G͙7ޡg[kNS-A @Q1^_?oE^Wo5YNR'<$*\QjEi桩h+߲X ®!WV*c'r}i L ^=e=uiYuIڰOh]*9wϿbƌNCPfKZP&Ki5eoɂdnW UU2௅c%&`hrY|I -^q s4H 3_N2!䊔ol;c$96Erqc 24)gd!sF1atiSW+0CצaU2V)HdӺ$ -M}CMhAia6af`zd¤ Cow L˝TB$ DPLkʔЧu>rAQ7'qn!c6So`C=9ybV$qoLsm"!gw3*.m0cnees`}&[ciA~ju)DޡC3f.)KLFR[Wdox4ƒI" 57w[έ'lO" Zߎsv1DdίP޽X6[[j೨YOy!{m⟎QҽC&Mb4ύ^ jfa(k _5EuW8e"ĠuZu}1=E$&W&zq [E^*TsֈINWv>"+\4?UJL HLx1\L6ɚ3Br5lu:*EBG_#Q"͜`#_ nh rϚ0ۿ{57aI3bZ9 \4M<9S+.5wɦs'++YNzg9"}Qťc#*#빗Mkoeq0K "?!ӖU٠`|⬀w+[hmGM $&#LB$M!yg=R!RΎ*Ob)u*d3VGM h$s Sp*O g(>g30Z߮v/o$0۔h<R`Lwߣg|E&GE1\%-^jJ=3yO.ɂ5M0JB(b.7tLquD" mrpѼ#c`E[$~c3оhs4DXM׭ħ./m'lt4: i#zxjJM3w!=Tj>X&:'|83_F~1?dNT--rȴ|,s(̓ݐw/g5`;,}bϓJ!ՆDK IPjb? I%gYZefa80e649ebdc94a4cc76a2c79b1b688326d8c2f4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857