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 9= $D ] HOL-Quickcheck_Benchmark:threads=6elapsed=315.743cpu=1533.168gc=136.740factor=4.867zXZִF! =]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*KH~Щ N}ߐsazHRmh<D q3wMɅ՘*4AKOJ[͌񐙕D;̑C'Y."HH!*|,F!.w+~v0k'w){!0vCy+ p&-33?.-Ee6:vP U?|T%сӸ(% )1cJ̻U+QCRʏ]~kvۉ={e䞂P0gYZ7zXZִF! 檓sZ]ŗXi%E\xT:oj-w\j%2zo1$0AmB:=hLNJB 7 oi =c\i E I^|;u>^ִܳ2v3ɻ&#No0nSj6T&]h{FB9\ Br;%3qKXSX4nJcBjBgHĚV^ϼ㿧sh{xp*a>aMz#ͧTN-*Ź z 2p,NyǦސt:£GB$|'H&+a/BU̖p t񔁶#gP 07H3+h Y|<#d Zf( x:K2 $=B@U 1~4b6Q.䱑$-|Gf.e4x_H r{OI iPJT+=Re- pԦJR }_3O <\2>0W _4聮 6]F+zkI<#2^?} J9'D r?.[M&΅xF o&OMn&gé\ Ǩ+r\|f>T^di00  kBޑ.y/;)ڈH4*s kW18ˋ5`C䐊 kC_pIG{(!¤fS4,A,C7M0u{' V?fւ5G! &ⷞQq ůaٮJW?C'?`c{MI'` "Qov,09Dwcn<i@bƖ&0[cU(1ݩШCE=6 eS_rJ$bϾ0 @8N+YӮfj(9&ly8,@W-@3> U(B^%Ju@}#^tTt*Pch܎ȴf~NFO0(X. >ES>皳?w #ձ%NoO7mѬ0yΫq4=qP:̢ |>P;:S3战 A>Q3)NO|Y[h7πd}{u)K.+v?c=%#K)RT~)tȨeڅxVON T˟fϢ{b $@6f3. #"t#ulΐ^?dW7 %]Z}ǝ{UrGKidgf?0-+IEW_B*r}Bn<+CR.-1L\u 6KQʪmC|q{I۷mN|\FK.8ѽok`XQ:b}v;&Ss_xm<9{IC Q4+\dZ"[on] 4 ]O) /s#NEOWsO3yJ5+Ueԁh}GkSt9s538j1HHn\WN1e~6Lh d*|pReqbE wO#6QWHÀVTh?$~T1ؽ$<͢uH<1yA{DXΞYN%"3}^S36esvd쿥.|a~:i>:dv,9w>ݞVXx3l)PJ\5zLgrt'Ø0_1oȆns,Rr7A0HãR 5q!{LBlɩ- ˔,5GIbI9zdp. E+ܠ$2$;|JZ|<(eMP-<-DkYEj,j;q77]22,l䒦9hC}p7.8~ŵ-`+\ 7[=׎+V>XYk /qFHoR:WgXɃpv[P2V)IsRYg.ю#8!|<9 X6QF"1ZW uzym/{X%8?M=18cErGP".< /ѳ޴Im7ӱ@??2K8ݧ6 1nt8;Ddh[k1FS|!P88;c/G_Jʾ}rvv.| \SaeƩBcC@m2Q T(hכMmf~p16.!NUbޜdR,A1 0`>jQ i>,4ި%Ph*! ϳ<< 7 .b|gFl/l9FwEysstRw|~%RT(ꭧILؾe$N>_Z0߽0Gݚ& 1L6ճDwvJ5cNqV&1*nR]wd!Ƃ|;[{Cב'[DcIq*=DӤ[zC řU$|PbES?zK'#{SrH)Kv1cQxRz&ceR([w~&&*Q_)vzcD;M3OWӢ΋2&ihy q[/'rG48=9q+2<2E/~AKQRTXCop2EѪX=1GaWڡNmCW=~vl:)໣%g-2^**yռ¡J,~{.,u\okя])(_(pBl]qt)x#^t$84$a_U8+@i uH#7so+0فW imﺠD1=4NU/Gx=oe('㞌;Ic4ޣ}T\aҼAa_(*RHvB}#^|bxT]0F ']^5t!SoL_vMXgjy~ ]G[0i,Kks賖E[u`n>_aI>o~㊅>_ UC7 yW(Xd>Jii_5IaJ2NLJܶ;0c"lGc&S?K;nH=ǿ'_$?d]rJ-ozH* jmYZHr!-9F Wu/v{ |y@~2 FDzߨ#ᶉ%/yݝxGݕF$Mr#&æw:]O~588a,k*!,qJ:*DžkWrIiK{`M!`:l(Ű磀o v'iHQ^ԄաFݥ5qT 6㗀F)c ;MD472IFP-LQ>YiQkgUje1ƍQ^E/BwFYM0Ě#Y'ˣjP{zITUb"Iγ2^-E y%M_$9[Wdʒi,l!'4\ XTA)3@Dκpz] 7x3N^6{܈bGv֮: 1k$?&x?š HZ r__*B; X )ÿ́r :){mŗa6jB¶k~`\U])N)T|݉պ[nM6$}ו5'ަ>^xE~ҋ-6—Y+|Q ͯ4ʍ%/SAY)EU%G h__A[wk=JK婢T\J5 oubW-Ò -Ԫ8; *aryhCus؜*X?ը_:gGTXܖE{ehD=3ySSaX=e/h"Ë:KnO`-q F=5BvTd6MLjfH!l핥&ƺ[`2P|T ȏ1V6. !q|̮l)6f`>rrF)HZ]Nq L¸O @jHŠ2cyzZ};BkBpV^.% kRuX{s<Ǵcv#tv,. nd',%8EյDyz\9]bE(ƨkD}Iܫ"H-J)Jdg瘂Xm[}5ѵP5JLfdK h9յFxJ̵I4OG Sz8I,]e{[ʚG*%ޘBT*"#ܴF!M) gҡN#yguGSљ.-]L?Kaȇ ެy4oU.? u][\$hÏTOո"E(;n>߁ 59Z?-J.LֱXIs9*vkW7`@dxdC=V%LWPVm_oic!k3K1vE I>h;T3ޏT2a@e^ߢ\l}?1y'vD̞_ 0gsbn.ŝ0 .cԙ3@E倁^*k 'Gt"L!,(`{Jhh"GI*BI~6](^noU^9z$pLS5"_-"u+4nP5 "ۦdeRC}$ev x?}zjUə5.d,P8:9gVgMdVqXVVg#SX\8xCdH-iqs~c/8d%r@eumMBs4u+I^3qfp [fKKYEə; 16GپG"]Nj'p261~v#x̻$Rgp-jg>7ݷN1n" Q"J}G%6L!SmK}Ȟvļ+*oUq@2aII:_o3"P< ށRL'VU Uu̸wR3](և*3q=f s?R9:n!Wm52[I-dJOթ}eF"J`O} qF  P &d.3p6O&T1큷KX,YEyΘ]&o׿eH S2Q\-y@&u{Uxr wJ$4KՃXFݔT[~~޲-();Z֏&RGNuAM~TQx@2$<;*1WaYaiJO_\T *TcZo<Ɵ̀R7[O%|wV`uSމt'v}g,ݚŸ9( \!{3/=[La?#ah#9HȄeo?̗@TaKuSDmQfoM@NHהx]P#2xGא1sg'!ЧuN>cj&&<%='_~b^>[] ǤOq@q:EX !Ul"犹}rԹǣVSȠQFtv޻'̔x.Wi A雁x8h߆1UڕvT¿ tjNMՙ6'2/2_jR#Sefoģlh~W94^ODX6t7PcBRRTO~V0ĐJo*aܶWЍx^,(3 3CuL2= +F0Q A @juo }&@$d_΂Fʲ<13L\2R,BBwd#ŊjZ3T՘qP 9>IUоxp>״c;$-Qƿ|'< |g&:g0N_>Mf#Ki.Z Ls"8rR%Lx9d^k:gp k5F tGs֧>toK aX-ʕ/Ypi s]SRD]${nm GxO$V gQVQ_Һj1m]QϢZFOU%Legv߮jQEL|>2*8a) Q.YL8x63ȉy4Oal[qo"u9K;1sfeː(ُvP~Vҗay|6˲k1 tmD92sA} Flzںt´P|g=n-˘@l=>OU=`¦_ g E/w]_$fZ15t5Ue?uQBbfI $*}oズY8p~nV\J5B6cODi +C-yHv@ӓ? k%Sq-v΢'k,!%rWʷ ŚH"(2Ȥw,ooЊ\Sl -鿋iDQOY31+ fRK񅶸qvyLu;ԫ1r (XKr$CФ]J\>Tl6oԚWmBXnC: "<w/ 6dyoU3^_ $*++!##7M"4Oזoݾ37Wꌕ|IKNK{":vNS(jT=qw,z4=𰨐/A(Ut_*$g\g.b!WyB%67c€K "Bo Hfyާfu̚fQ?QX+@^ +*l|#i9vPݲqR뭄x‡xdpZEVRL08Ny:D37C4w5y˔r͊C#bҢRT-E L}A3\>b۩򐡇1ȉI!Tk׶SZ y]؇b4=a(Wn'P|Ǻ s"KZ*)jy6EEԙ~L-$]M˓\_6RI:Y;;( `H)Axx& ڼ-WNߎ2J'3E#'br%m_wWs,04jصN5ᔮ}{^cl?fU.#~hE' Kx"ڷAₚӪ0tWҀK6O_&TɆ0Nv@d}f=G(ў1m?08,ߡ=;ֈG|3pjC 䊢ڳ(YT.4O'+I**+xrp۪iQ )yuj Ăԓh3s";vZwAC=!*Um5M8!LֺLgaQBi%Ѹۗ4:7쒾ʤ;ҐHSA9YI@°uNHFV(f)o0@!)F󽘇r_=A[s$:}0l~p0w/ypDPy]#>3SyyOb8 XDI L̬Ms[E]!Kf"4FN^+C"(bE?]ئ`G|J@j_(iya6Lg*g@Hg:!3 OŶqaSQ#UjG%UKQ 26nv5B&i{`EakC!FլwUK\LJw/ oA:PdZѢКxi֏3zm{"N bbZQ< Ђ:4[L8(O={M)ӭDT֥dz/W LT1M̜ՊeB\onȕlaLks/T>rVt(Gl4b}`ijcx;?[p`)haMe T(ٮU 1@Ƹg5G:Yh`aM e7BE@L&Պ LT5϶[ai efReeBvn>G]I˩5Ʀ=Ɔ۴ƀ7'GQ?Ϯ^VFITc*EhHC+6:l#Ujhiڥk7 }$VRWڏo8> JnlE/qș_ٙx?O$m?Gs 7r|򕝐]5[w'uKXbL@҆=łu3lP%:hANK -O3R1/?yrƃT^Gqd$A`)ۨR6ciQ?&\\>;qL6g۔elYb̃Y =8hPJ6s\OgQ[{tjB0Mk%&z^@7VNTl{u&qtlݭ]z'p̬r{<=WS9$} uYFF!LFPeA(e`my'&Hl!ˊll3<ѯE)y+BLiļWaNE~؊ړ o?rL)0y̅&j`]MHJ&gMwE-}p.4Y#~*B(wPNfGᅵjèJueW}k7me;i0&,Z"]fܧ ~'<8AqfGǒЙc5\Mr KPI!8Kڂ% Xnۧ. ,m.?ڍjDV } Q },h#s9vJ*Y|5 wgWVvvX4mǔ lgoyPP K>pF:=yԖxNG:qtጭm@ m6r̖`z^nwO#?6oA] rEjzfD I:o雴r^*dd=bE%z(&%\tBڪ'1gR9ٯtlU43<҂5\SfnJi aH"~z,keE \ h= xܠ Gfy qp2 HD L5e`x  vfCV7wv6{jGJ;d`R4й(er9h6JH$ַGGeQhj71_7s=g3Rp6r ൷efWf)732 kuG4.a % ѯaq`[Fgh, mRK'j+sz_PO!)Cc⌒J`LﺊςG~¦Uxu&W$JLi`X 3We"%xQixI;lӜC#*e;E5Z\ E_ 3UR[#~kBr@T&J3'cw@EҀV(+*^ufW%jrqYl #UMLgGCz1C&O&\ȜS%cbJ"BA[7 rv*&ٛO"{VZdP׊:g_m@Ynڀ<̯g$"{k,vn _NSYVx:cT^mHE {ƌ_}ami8Bi j[TArqe#1H-xY^(PMgh,UW?[KŴ@-  PA[4Uk{G|\uuG*NAuOTVpeCte\*H"ae$G9VetF*ZnuGbQv=a -S54Ȁ~DES^{iWť:Dp],ޥhpޤVXsn6EC.=W1P"@! ! Vp jg02lCI$2!%zy3 d8Jj`T\*_}Zww8Ł~}8iJݮ %̜!`aa?2֊wTiVbc>kCj= sz}JA!MpM S{ %W#gb!K|=+!aN #@j8dƳ썬Ͻar;2sL$ۋoJ C.?%R+ob"rǙșz-.$Y]V&ny!:&챾[aO"oS9B7"[U fx#Q1g/  R#=Mc9h$ec !<|!d@uN`Q;{ǥ A GG!!LA7Sm]Lm3a,Lv;hLek~|Q,0E&"Cuk_> H=_蓥6ER\wpg ru`& KBܾ|#nv`N#fw–"|ÛS(䍒/t&bôKy4šjͩ} m JfˎI G..6P.'4Z].b ƠabC.0Ih'9B %.2ה>U.zZ9ԑZk-"[ MR@]Ǐ[c@⮯s$7I(s~K%茧oDc;ݿaլӯ6{V59DaTa$ΰ13 nM/FV̚ڭE6q8Xs9i`gri 3-HRzs?E/Jd'ԑK@*0$.l"E)Js>R-yH}l:.8TRX{_`o.3#8 rVFHٗ&NC5w [^{ + n8mȻLY9sSZ{h5T/{Z=j}!T٥֌ÌMI!q0''5%!]7}lj邆SX6qY" Tw}&5]1ѻQp@ǽnV}AJ ߖaiJCOpT\p%?' c`QPQbkrDt;dqMd'&-uZb8~nPuhc)m_y^gӂE%WxRӊ-IWG^GԤ%sPK7`̈:e #8;E 6foJ~?"12敛 X!N?yi?;w`Ӽaw .; cieRW'6i| vP"R|hdleV )७Fޜi⾽ +9h!6(@\35]|x X\qD"c'y0;,dr) L\5L`VYFZyNFtJ&ShGgL ra+:Ŷ [ד^Tك=ԃ^rDIgGU&Զ7S&\3x'"`Oln;HUzuGոe+u%gx|5uF^@p<>?{A)ьZ@3ii-AtSɞx3r lju&ŸpXqC~i{Tؖ\ZF1Qrލ톷- $/?p0V'lDci 4WKg|jLś2W0HUnj2C+ϟ >R@} Djkutm $mFAc>m_,= َ"਻jP(B* FnHi锈Q|Usao.[mmҔ%Ho:3c& c:7R[.tRy=Slꑡ);gF#Ʈ՚VcxP#Y2.5L2\Ժ?C^16kdz;RЩ8C؃m[8@Ҭ W؞l#2¿C=:Ia [ܛؿIOh$:;9W%A椦~ߖDСq-f~ӿ*IjXR0X"!Ajte h?yA4O?y$4WZ*³WH7]R~S*!bN[x1nL)޶Tq16qVRCԾS.;Jr|Bje0|S]X#frxQxJOMQάy Q6ᐩp[/>kH8Z K# 3K.F3IX/k4 :O6JrsѳDËL{- JxU}IHӏ,ѶD7e"f~0$(ְ8OEd-zbד2 9ޘ~*wa2K 8Rm VWf1,bŏi3 fg3iJWOb }6K3ߜVH?0/m-*b\*PABi)N !#Y?mAi2r]cTDj~ۺ`_'8#HfTW;ʈA6H+@t6j2ǔtQT5`G-ˢxjUGSsj*#._\nB[s;,*s%eʉ_t ^.`x v$ОwYicc ѣdWU> %a1GuB_R?s]p\P3sJ鴷0>9K'?}{e˳b "-QyvoQzH9~tOј OO J^gM I WY蚨{X$/4oDbB 5SMsf`{F`gFaV'_nڰuj^<VY>}+[\^!Ĩ_V"+lw:BŒYyx@hndω*6ɷJ$Qԇ8w"K.ǭK+AܗƝ}JT_LgSrwܨvS0`kK-\LvHSL;0>(uSc5je3YR*,Lw᳒|Nw,(DZϋ@ q'dp}2`t,) \YjwhvŨȟ/]ؕ\)E+?w ]a&qK.|0Cj95ZO FAx 1>Y*߳/7Z0ݡ n8X P"$gpxl<‘^4Z{;EJ.n瘮jp%M*GLBǼz_ XJicT@k=Ȁj!|mG2޹rj^,tFkЖe/ŀ߬_dD.cd߇T@Lj]/P ;=tj 7KH/Qv8{Ɇ9+szCxiQ[ pRX &DZ- YK {\P\ہY_MT'Yk |P{3t >V {6@*k/iZ2 \2OOLݽuNʹ.CӻPbK/>+cULJK3X6mcl!M\VgpK<(cHsmw jE-w-Vn`1|OVd8IX5QvenfLnP:n{`?*ػI ^*N7xoBB .'#J:ZG& }IQC3P|y33gw QeoBbR|*j$R@R#9u{E{ c znڛӶ2}|TBbeJv5Zy+ 1tU d4n7U_}rq.pI܋dKj6U l H5bQuă $Ql0xNU5lErMZYf+E# 橱ZL[! T+E]m{4VžF0~;)m% Dݪ`xڼVZ\š/n:tZD76.H|_qJgwDУn^*% + Zc˓*L*D~u/pźEyAFw!*y # X7T$>1¿q{R>GǼ@3Uq&{-lAGDu TG+jp0^mF%.4:(}@u(4ZQ#O&ONRгi\cvy{?ND?/|&fj<0;nVM:f{ߣsbwHŒf*`.ﭥ ǹK1mΔVEE` #mD Gp?l[7-Lȱ݁Bg*7TmbO{fi脼2 YQmS38O \QQ *a[& 7G-bN-\mƓ 'C:κ#AM慜gYٸG:Cq( %_0RrQH'ZvaT]60|V%|2A-\hhM2;.jD@,!c_[:{f8A]+bsԭ{㮲8M'sa 8 v0 ꉷ[l@X@QIy%AgD0hqXI)ﻲj=@_bf2tFoJ$9m%Q0 <'cϲdpt:y/R:H$oOSN>[  0㲅FfK~< -CBM1 (kW)4F}T^w导0f񷤊QOS;(mKQ P9wy9n??nhTz|uU r.A"# 173VW BK^n0lotpʴ^>7|Ogl=a\CGǨ^t p譿d#A\'1k}L'2k)wm|}~qra_H֑@󢵎Y!Qz+;"2"Yݵ"@rUx́r-1wkmS-_dBJI q̲ Z[X4-TV,!u@gs!-H Q $pڿ ^QRfݢ3n`=3w| p&ۺ,U <BP5ok騀 0ѭN1]}z"[/י'Tfuc5w(I |)Z˧^QK S#\O؃'h^PB`yDg?5>NOFKL0&g=SWgxVBQ>`a.8u7iG?3wHJS#eB#4^Ӄ~{G?& ˜`b!Ԕ1QJU)D(#K\&`s#vj:G Tcn锟ݝQ(F-h`E}l gcc)wA.3&J,4r%.1* %\W5b ~T QUNO Vmi_b?kyVyȶ1YNJgVvxvEʰmڸyfd+ oOE~괓'hr Py&#ԤhfpWt6ye`yhZ菮K@6v oJ2fsC rJ9y*sVr 1ﭣC$Qz4W>b3#dR["˨4ϒ$'5 ;3g2^VvQ ?>DIM!3EeƒBaf̏V, wG0ě#>1+lcN(5,h.t^Îm(H"4 '-`3,1*")RH-9^LKIIݢ=y$HRZFV!7INo>*Zy`E M}h*K,@No|젟z|1{8:w1?L/a@L$9GpYpP8P-7BV$OBZT9e3J.z`^:ݳS!]yyiHO.G+q<Ȓ J{]N~}MrSYۿ#\r^Vfw iQTy/fek^l !E0"o6aZOʜ3ml{ʼmɑ-,v~|S W֝ w跔hAdYL@D=Aės>!6 SՅ8ݣGYSdq^C  nPGߦ(tn_o#Kf3Q~7 <7&XtߟEtɬʤrÝ_2f 9)ojN ,$29v%duȉ;;/Rgǀ)'<7X ;KjCʇnC+%sʋk'pݓ ĒPӏlWEWXLy_GL X\Ƅ.#/%:TEѥWI0NǼ@Չ~(3/ Z.'q37HI m< lɠoRIqr 3˕ FqkʒCzJp0? mq3+{ؼ6xv _;PN'Oq1`M8v$XgһwŕV]IǖU`]d#laIYBioV׊D+Ӳ۹9g]; _ ï ; UQ{Ie̦h0~g)e$%4 'p+܁m1O}˚ōv:Ob?Z-(LA Űi|Q?6Ln`hlmMf:8Wșv9NK̡֖-$8-{l*pV#3̀aS7'0mex 0t^HzS#2$ia 3IAl&wo@&' pՌIfH* t uv"yA.HkQʮf#_HyL\,zXX7I){[)I@{D",JSWuBiCH5ifm@+Y=9PnxoPT+pD:qS;{1–K[*TwUW''K{ʼnV YCr?COFN taLAE᤻1莆LP^u%sn\Zh4gAvdx昫z8y?z۹ϜJ gh?iwb,Q|2"bUi߼dN ~‚݈i@w5cELdޅ=zө9mHCZ_5$ @WR*M}N&JqAaZnrmvDTũ$9uwhC=Pe# RHžjüK8[_" RA_,ÁБˑňZ dɶ"05U5$&" } r>0 YHu,M $uǁu%%m"Sl9@"3p=rf!LoVuk% *#U~ryƜ ɥLqZ9kC{QTR^ihZ3Vp vmf^0FMgʑPS\= Z>oAMȣ L5׏p&bGŊ]fg";U3١z|W4Tu%Cxx9CO9Qjha<~*P𐍗2>QiJ)ȪskLC_N5m/"mrΠ7 N>!M@kÄK|~8<p'y`crYNQi (zPu9_<‡-OYHLfp2C,P:y,;!=8fK Ew}~]=~^p Q1y.',뺓`^jM6L?^< Bh+i Cњ4S+yc&J &>>M vͼK$_QowVz~w9 KK:˚lC>i;}=v[HS;ZKy'-k4;ŭ#H 8HMA%|pΪ!q׳n^A;Йh GX%0[N/jXП;S[tqh*c͍ GeBYO}C$ UW W @M] Ҧ{219]'_y׻{KtT^^"'I>&0<[!̴y 0XQc3?bQV:B咊Qq LzkS`'$o}n&̒#W\{ˁEJ8߂.v_2YC̰TegBf[? >j-Yid8R{ %4?~ȶvf5!-7ٱ c۪9;8S}(+}ٮ(AU4>K]S7U؀  "cCI-Iu٪|IKK\:Z3=mOvn$"XT\#M5ܞv_\r '?2dk , 1V ~ucw76j҃!4Rn՟UK{|Jy@ .8z y"I!WLm$5BQQ n RMТ6”O z|0bca.VY+_-MD#o8xV?`rR/wMA@(FVs/⣏@ka}sMEkKl4\4ȣDYtwq~~G, B\c*.$$_QlaQEVY?a1km} A~ QuyհGׂMF+.ϝW }Z? 6K)͂ϊCҨ6JH|߷cɵzo5b){AۭI|zf87?&wZs T@8xϺwG;m,@bXo>"\* Ch2Pf`9ç7lyux eK1 i ="GEArƐַQ0ӎ%3&oC~otUT=0qmQH{8 x,U5Uۼo[l$2gMTk3̏$4*tKHh,B77\%w@0ښaB=,$jݵRRR&k(XSsCf(vM#qȲӑZ,^7+LuP/j'$>Vb082d5He w'4/Y-M+H}vGˋ2Քud[T!Nm4 ζ3mwZp/U,)KOnجӊ+@ ^Uh.iز|@@nmXoX5FP(Nf5X?a:j[tvIoxIVѰ[9"U#Ou"<1rہ=`t@T>Ps3} `|2+qfT31SAdd;D?G-@3=?I%?KrWC5 _L()X^ϣgYZ4d899f180ebd6c00ecbb6d34ab21c004fcdb835981d1fd0a308fd45942f10777df17e6592fb6726b 920b8c66b9a56779b68aa076c35dc6ab8473e7c3 edd8237c18782b23a2e0f97a65b065bba757041e