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  K K -$\ ]% HOL-ODE-Examples:threads=4elapsed=588.040cpu=1620.620gc=8.104factor=2.767zXZִF! 5 ]ŗXf[&}k%F߀lsy:ԨB.ACv)jኞ&)=DQ OKju/ 1pmE[ߩ$_V)}r4؀8xn1$Da"iKR-d2P&^GFVU{vJ4jo42! sMkQBh.-G}j𵷥/,)1\֮Y[L@r,W_K;9DmѰL}#dWB7:z2D^A1D%qf0%/X%R :!zݱI۸ XCϰ6Bԫt13.a1x)U+@3]J5n - HOL-ODE-Examples  fMR~+Z{.e@35((>Jș ird+[E*. Sq`^ү)LO c{bdqfİrJv-aW]r K <^G(TqL+Oσ?0ߧpcL$2.ﺵ"RrUÐ\cu6m|i$Aƌ&5Ӳ)+=QHo6a7ʜ ~zo~3,'B7Ol1(h)]rd$2/_EG{or(zb+4D0fBk>3 &]R:w6`gړBjn-㐅 D/z") .Q'u47rdk{ iY[3{1BƜ0FG]kpgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+M׈K&λihDCDFJ͏H`|/+'<?A_Dtr{"} ??9w`I[_*U>hu=9gYZ7zXZִF! {]ŗXi%Go=f:^#,Dʹ9d6S-|Oij73xĕᄪh 9"6.o)J,#d2}5Zh\]mpɻ,ڧ?k[ ̏Bs%!su`-#FIA)8rh.}l~O衝z1 zMo&2.]Y;sG[S`}ν|Z3)J&)ɆvdIF!jAJ*ioi𩏟#yw}:TnD;T`Xh|B $K#X9kM:(RGQ߁&#fWb"@z_ɬ0zvh1b:)GM1)eM5@>qC8!h}CpZ#t .;n`U׮\sZRҪK ~8eAn h2v$VeK'DŖv D+I+ ^'U#{v%ʄ3woV8U0g ? _r 0Sn$Z2yɌCIb66=x3Б@Ռx<T=HIdm+\t5Mrh2_!E" b-T2.9`u~,y#5#QA$mCt|V ZVHB& w6`|u6S|@8#1=k~( ;nT<כb޵H":R\284k"ެo\&Zj 2N:ШlSSx-%œgTOSm&o2v0>5[oIJ^(7ʺP rƨ=o.ap븨f!~Q'$mܙh~lI eDYtfXVwqV|dN;D|*'Ur4c%qe様'CJ{JnR T@~cDjp f-ZFá&MY7yChQ ל=GDb%I!W9FC]z~kH Aq2Tl: 2T]AwYM^ȄX>ZI *롇_@SC)ʴ-xi2G%jhbԅHr!|;S+F<\n  p6x$BE+- k ENK߲F5BQ}t>޷$!<J,"h;H\9iSy/{pM.P:c3?9XccL) np.R\] ,*'~Q-+A,O>} 7kkuY ]RN6V{ #m彁ySjda.|n/BIh,D)HWW =*Sd#;uU@zJCT1ZO@3/8KO>Nᗣ LԘ=p?iU 5USyxو(`g?}ca~^]VٲwR7INǺ+viV{u4>$dQ$*/%7wI !xuEr"8jDQ {8Dyt$\r{WqJQ *4(b#2++7U|vq i7@sY0{g'sg8aa|JD|_[6JiMto/8j!<kWNx3`;,bY+Al?||ҕSUsR%v$vAwkUgAĿ7 > %a$wKX I9;Y;[Va)K =dyu3v |W۴q愥MyJbg 3P W'g+Yq<BwlKW6rAy; >H]~`y lbB9xCe/i.7Vn #D8jM V\?-cviY!,\)tpX_t;!;c_w>.rYwfHĶ{3mƜO[Cc}J[$T :2BS~R.f~Ou?p@*8A"& 9X̔_*_x/e52 HJK B[<G638O sw[3Idz]+p j%Kt,eyeiB޺aieHM7x8ٻ {0Ƌ%x5BEPY.bCp|T O8hĜ_Fl܏r,i=4. #B@HpJVP;܀p19ʈq*㇟VF?SpDYrM9(ܞ x@MCgY^2l{`/wA8kوtrgVkc cFP$c,C8 ż$f'B L#gXݙ$1G:oŸ=OQ rϞu]ړS! l5P|ֿ-cLqRaRZ!%]FF 묛zFSL)rũ$iN/C0Iw^-$#d=Ks- C{nڭ드ޫ1Cŵ<]V1 ѣtjz4!?FRo`BI;qbaX-'7DhC"r:q*sX a,dlHY&`[HM_@B4r1Daڭ$=aa'x`}eDd/hm8Pq&%R/bgX؋\-P!zj1V=R^h0?h+ n8CO[@d{# e7zP6C,FtZ}C(Dʻ  44syw*Lu-#͙sĩ`bj+*~`%peIS4b9h ]Σ_ Kұ-&#NTL qZ!A_ v%/L~ujn )uu6 Ф߬@MGuUADԳ;a.f b&7XVh̚9$Le&4/uDuUlD˒ CM!#~4L vcyqeZ>{2c~S9Zm#SS48}>Bsq4I"GЬ.M~ SD)/lϩWFHoADb8` b ~YoRꯎ&)萪ugÔtƖH BJ\xz!_yi, Tޅ2WR bQo|!(!NC>>x C(y Z6 sЋ(mZc#R( pixXLxҖg{alr4 %{ UDg A |TRc?/ E.2!I[M3Uy. NoJ?$ :pM[  Nrtw!;I-7|pN1|.qZ7ZS\f)]hy=!<vnQ<й˰ LVRus5Ou_llw{~=j(NPszì먾륨Aց('ԩ_#BilB储hI:r~\_' O ~rU*u\eXiQ/c-!$nHyNBv3L+1Z[c0D{s`ӚJO L6&+> CVf D)*wR?B JE&:`CO}et.ښǓm>kWB#~,ԑT|fҳҐfh]o an}­trÊǿJ0,2|.@lj^MS3M>۾Y ތy~$$qm!7H_)NvaY />2wnʹp [d[IIjY3U'9'_%Y8&*Bժ~!Ȍ"yisw+ [õC@½ 6fkjrpDycV?4^u~s6y;נ y٣2)o#X)`#j*V .c]2u46q f6^hb^6ԺPJVodS۔,C̚+Uk'+i: Znׂo`CjhcWbeB|xy y`۷2R֋I| H&xYn6UU1#;617kzqKEϯ*ѠA+PSNdɣz?*|#3Jg>ÂMi^5nW,֭p 8<7ztj0\JPikLyhBDyJ/KE*e{?Z­V^+-obYf=#ǟRKM'h{:x(>~P*۱f /I!?,'RB d l D09$Cq+=S9JtIGI;ua! |sZ~N!aa42ma]!^DzjIQi%n1r${!{.As >WKpoXMoUX~:fl} ܢQS d:C'Sرje&heЯ⫦MB}Б׆ڳbRI(NƛbVT!YaXගB6.,?Vl>0xNS_@(: ^)E96e/t}%oy IHG=l;+nRxH:&wt3byY,Tӟ $>_xu6o-|Q"PV#8a?\Z$# Kǁ0X%ei_ҷx?['Q bRPQ̙M2dh+sXs|~bՊJݒ1! 8]pfmB[^?GN2y\O=h ]H?s6seS2",O@\o<\ptvSLQ5<ݍ^>1AehZZ =!jVԝԼEpő/53Y 箚pAm͠d{hLkR*YR#շ2֢8q\KΝ$KEmkaXpY!SsD\iKٰL()+S#*&a A?^{SYshۀva@2e?xGy->^uXa~e]Yr:LhZT[/A @P`)=0_I'dz4h0/ E_|>;&$a`@7=ۦDx> u;i%'lyV8:>y :䟽xN 4fm$96 ? B䩁'p#o/[M $A}V-XfCVI@XU!7RŐ-q->cw6-'~uR!R11K 'GC{x_x!^;,)sz0*MSs{7{:|D lқ7};L8c1 w5!gĸq'zP!禩qW1L*A~^[p oRp$==4Qyӏ9tܹV:1vƏch+ߗSgy ^>! vpՊv+j|k]`V2@›w"qs;-jc % &<@i,ZUKPj&Hjm*7m0#k>,urrnTk b{ CkܭaD.Dd㭵Қl'-猡8?JdD_cқ)k?ÛFI~J;?mdIB0q$UuR?q-F~ѰWb\PEn9*$U՞;g?JE+q`86' cx4.,{|N#}117er 'Bh'@v픬уQ~cÂd ae1~B㢻ˈxKt$vi5 ~00ii-;ȴO6[z! UB?Ľ9 !LҔ4T`c|OR|n}\gJ@olcl&J="$iEE&`?<^%-BLJ$0\|xٶk ^ *noq*y0_tZi6VcDc.=U[وbڂݤW qatqؑ]OWqFpLRN8{:_T$E5žIXBT: lN \CX \ ED*δ93|f oU-'Vq]Xy ]a@ &MW uIVkM;i۩MM׉X OdoOWPnR"ޝ`d_3;r/ԩšuģB)]B ?5/)t3:߽(Sgtd;'60ɻ<$Y=LK?lXb0p ϙe `B_-q0 ;s=yCi{!c~eNyqYv0`EʤE9h0+af˗ >1 .HHH}ZQSbbZ# JbpP۬w`eyCP> zN7f&'>gCJ X`O@ ^|SO=i$' %yc-Va43eԫ(fsv+cawgyٱ}v.<'+a:7M`gϞg 7Lo!ŽAi7|lRB_?5Pw}:SJ}UzO3Gj"$Tnx f0! *:B߮-i">_7P8VidlEQWgkZր'*>%tm#K&[י=(X* B y?Vulaۿ ;Ly,ydlVBV5LA|S$rtb})$FOǬ6#t:k bDaQ}&@jJ9I>_A-600 (@h@/{Swapq -ѿQc&eޠX,1dV +/'vRWϼ  fSc"Pn 'tb0qT_vJ>eVYz,PZM(0M&.nNDe1T򞜠2a_8 ou⛴@eA_Jq)~WZ867[Թ2 ctatwkݕ1q(+cG -܀1ᙂ=1zn$΍BѳD:ǚl`  {8H ͂w 71x\L 9J+]u:'.*RSs:FT)j -}YR9vCRqL *;kİYm}*R[Y!dO{ʋ, hZc$Nk>Jn kw2Za5 U^?0{ ٱ\Vy}yZɛfDDƲyj~<"(HloS_' F3F߂x/ @ * %.}\%PBMm`xݐBN= OsÆϾ';Y]Epp(Ц]ENXѬJjkv' g?'v1r')O\6sWհkUik?ve! k l+8Q#U-qsI'-'E ܈z7sRqkDOl73 SB˓*<|NU1N)Mo$e'4ܯ$#^zs o3x[^u{ Qp&nT}.9ZquD̟#C*=粕$J*g(‰&&^:Xܡ pEfupq^)X&8ڧHdmv?:F@Z {g 3m_([Ojl[pMHa~F Dܔ^d|Tۣ[H g)~[J)jĬd m+^1=!&ZtD:5(9#jyWʤ1Hנ:=OFAs.o#i.~ ؍x"Zsڭڅ0*%(V-bhEׇdպ< v'<˨BݧFvл^Gi@tjށ#kz04f3(v۝f[f#l~g5E6g# yj쇺֢ܥN-$ Uj뗪Ū{O KlxQ[ (S;wKƹ&L6;:|(`gYi7s٪/3`DoK/D,eSa^bMC8ϵzl.EfQs<ey19pv)1-+U|֐G+v<_[6`Vh8ujX* q$36-?gyZ'!X(Q Y0"FEibN=Ϋ9W*%I'S9u:bVll&|7;Z\9lCF/cB]yUy9$O"GNlO=xE2Xva?xИK@bqR׮G-\1aF%b᪘I%,@6Ii]~bN)zui. Ǥ@uT,pE+gGT񊄫#$1U yRE:fM3@bPuҳ$QGϕ܀ r%{ ^La2|ysry ;z' `vZeAbdrdH*8I^ !yQ8D17Bt:vg{\BH+8"g`:Уj.`YSa{7߫OƐ^$m'#NVK'F<TJ3UHQ⃓*lҿ/ x.ϘZ[>۫ Mx,Ģ="ar; mw M# b3ٳ:1l==]Yg$FťLǧsq 4WgL^ e(1" L6w"c0^TN@ Ű=r@ODv4p+EC4;AAh7ح07ƨI4Ed$P7*3?g>wԱd/&T\ZWC~B%,q{Kat?2P[E,~ԕSŅr^u郔T#Va SOilRj}PIP 9sp]!?tgJ óÚ֞KhJ'B`tNA 滛jbܴxÙ_܌l˶k>e. hfy(FњPq:'S2k$E$ p v"]'.4;9)`)]g;?n\NY`,_F =%/\=uxЊueKaqU/3N59x+нeƖBF4!%@g~Ag .Č@45^n d7 6ALiFoEƀ$ eEfsoD !#$hOS31froi[;>vT =Ԫ\X8:C}r3.d X`jc9=p{laxU>kzI鬒=m6i'ŭQՖ՚1M%'O͘- 2Z#?xvVEȝ6sAg~mLF(}\Vmwg.^F98JE=ekOkK\2% I@W2L? ۄG\tg)68j+5ibzݛH}(N +_4ka%qL\Qc?z&1-vJ9F (3;xpxpT>{cO޴H8KÒfUXr%OKS $}r],9~M;I29(j*C6eg<&1Ta1ëm3qG23BP*RWЇ:>,Vӯ "iLǘOq&(5AkRӒf:&Ldr qyfRUF{1#keoc+=x23uyh+]|Y/"浪MP/cP8 Eu\KB#35NbWzo *A"͏u2Zp](Bgӕf)B0#Cw :}̜R.+=zK_ fe96{C,2aϗiv}2gmBY9slI|(b=An} kg} VR?oP{j"4.@nG%ap'NrYwZ}H;ⵌa, Q7Nč@Y®_%d@*=SO'J4ZrS5mh|hfiTtȍ]Kbpը&l+ڤql<$%aʒ*7:\ģ!;@kcgAR5 <Q e4ѳ8cFZ!U-Am\GoAdʂ8zL(]]2 iXb-mFW/UEY!AC8|SdL=k|^ry9;_NJOo5ž(ZJd$/ꧯI,gª^ Z芉[b78LS׆7 7(B{&N2u2I50|IV\OމQ B9.WbbtF\I "pD1@(>[)Ѯ_Edߢ+ZFyCX!>h68qWѴ,/R:Un^,R;ٲ :> p8SL7 J\K2$yFX眽bg`1kǎ(Zi0Mg=DILfL;P C)ґٙ&/6v$!/1wW%h_@PX@f_OlPNLV6jS0 H: l!%J:bOc VkxE˔769ˋ=kbW)+2UFEvyihEXEӊ`Չ糕bg?O(tܲ4.b(&Nv {q삋К,2Չ2byw=E#9s~0t`,)0vJU^=+(H ơp~!$#2DFrkGP;aAW F;;11ϵC9 hObZ<$d.5TPntA켓땿[#J9?a+Kú!DXFEԓ!IQWTZd9a ?r\ٜ8$t݇Z]µSKF2Ԟ|dǛOD4HʔR :2@FT(rJn^!xVS.uz*%COTn-G]..Kb4rXA j} +borPNd6wHnK_biT~9@`'H Jo.mۼW-%>,7gzaޤVm% TށvC9K"00,S1UPz&+`v,[@[Bg+b0 "h]Rr Ø$V? ~|ɧ/ q0>MwN%\m}Lj/VgN;&TAܾO&L^Vcхۋ7%Lx 1J[<bV`8By ď'̰[z5(x~6%E|$Ԫy WF)opfn:F 8:4Tn)not0JX3Nj:ɩVčxcb~p¹a%";22 M>Lo<~E^1ѓ-Ue_&W97U|]li^ŁT/PTkUéʎFNq}< `pȿ|_c:Oޟ}ad۵,p3C$YZSS1#"x ,6qBtK,*ZeTPkgAS ˊ.ZΑqv -ܘ+_/FI}p\nJsP{ǃe{< ET7h(%?J".ZC;))stz]dA+((%f52SͬU| ,@`;=ЙG I՗dKsdw͓1@ .}(٫E_yɰa`[̙>V£/;/ǖ/v x_㄃l'8AG]Vvβ^TʎՕk۸״ʓ7ֲ ) Җ^8iIg66-lN]M;lM"+$HCkoST lXs<ΖxZ\ b&J62UUJ=ugTyb9YєԞv0#ܯnnd V!*j_Qل[ ӂfې#N]PVrIC%kY*2/؀Pz+I i6;;,SnT?Rsΐ6 >F^iٶ2;n]<E?zDnșpcjٳXl}$Z)`~ă(0^ûJ:{FT} 7#BJ~J6I&%[[Yu'=8 霮^!o9u #Y}`;l| 0nE!QjFaYǽfy2]QD:u %2ڇJcۇ+TDZJjA6G/wIVQg4_6ºr9;HȻ)>*d{}>l8|x .k<5y+R/5.Shؘ54+q)hMK˦.T3{{ ;:y3jƸѤX~0m8:#@#|(m]2]ʚ#I5Y&90u504z½ە^]Էn:Sgsdys+,`42fѢP՚r )_#OLZOH? sto?|hlYsB i~<3?NV鈒dPC0Kd|ޟwi:c <(Ø&lڨиc#,c0bxT+ 5f.47qP@N' /mmD ,:(ZcN !q+JfY*J%ki{Ҷ}"3fYӚZe1XEg^nBB /bRP iFJN3ɕS[qkzNܴYz*}岤":sld淭\P}dJ9[C‰ m>>YiHN5eO NҚY0`^kGB77k0PAC۝3Fs/ `:ɱ>%J'uMh-{Q@G+=@&sjcV!] ODv!6=t4mRKYXٳS!r !L1}2X{V׶z9 iY3KGMptڽNȿien0:|g]@ sxa-G$ն[DoBjcοӪ؎mdq'MքCKT0d8rw4>KE$?{AYJkHTj>J섂nמˏu^ jJw Y Zrqa`!;a?;g.Nu?:r cuP`ϐ-fQ}5n9ߘkjDnH$h J$F ǽVsbd_WDPSwDbr{'[Ix ;TTѣ_P]ֱ>fqͧg6೴gNɷ\+VS%Y9'K2u_elw@TL-xQˊ\qѝ/ m(}'aM޿Vy!j/ [s#M^ǁ4fq6,Sj Ѧ`R;b4@0*d3"jv{ sۙؽ7 uj-~i%R=> H<' ID/4dKN2 h'!GY=v%uN r6V Ǝ7a&t*(~سwprwp)aŋ)7?$_2;ٛwz{:/d!jc]|qh ܙz~ a 2j; /[bf`̴>=#RCƇ_><-"{ݍf"K 70;J]j~5Wm|*8%5"-H. m}7bj?g Sq09{; QCݢ'] (Z{WZs΋m=-KJ4:Un#^P^RrJA2N6-\b/=\v/gZ'qXe]0,3%^6ܢ^9LP+U\ad/{,Kr~5pIro^OrcR/B$\"-)ZAEYmŀzcߋ?ciw{jͼ9J 2dJ\qwp)kxZ;N+=h&ٹC_!Go__nv29]:+Dk)f6y w=q%ޡc] ( X2t؟o :/Hgnd:9@"@m0~wpaڑyNə2ygu/jGC]=vZݼVM˺;M~s9߉Q +ֵO.kUރ9YMz"WxH̨~]ؗO7wZb{񉦩BMc[ -M0NB}́9N~@Wmc^SulOIDd$\yexik0pk%B Lꆙ3le׀CϭpFSȫ[M K[M3Bj9Z $ЫlhOlJyfiϕA{0e/E|,y`ŮdW'0Ɣ^31V1WbJ>2}\?}, O7ЊU<Bi!4e%Xt<P~MaNs]`Ԥe2#o7my^NaJ+ΡٰG2Dw/T;4wc#)f&Ɂ8fS?مK )O~\={ IH"<ĚD3 ?sb~$JUSxο5 1 n=b0-}+:D`7H!4++V®e7 _}"*.9I4^쭎&>~}d.φb 6I؛WG5 80,4,6M'Gja9}JCp1uoj1]1PR&qM?GN:&눘C}ˁ;4tt )`]NىQO<[ٕxT,Be^C`8P$k`NS=1GHb*GʽԐlحôn<"<ϻPyТo W2fy`:F*d9ƪ6wVٖd&k3v)r=nUgv(yVw"5f%s/Z9 ?1-RmΖKL;"98Y=AgbtQP^Q#$>M<,r,D&%<3BZНQI57"ui56|@/I&KPxJZR ֲ4ptQ!]bĚ F<28%IOfeZ PO5!p^*_V'$&8H@vRNG=A1kX'lpzq3ެòY/2`SZDEpM@A<%A|6sTY@34@v@r{4+ L)6a!Ք^z-߾20a5:ԍjS655pU"12Gɻ4ވGepZDL~' Ja#%.Wi[@8QX&;'訇 /w%7`KT,`&)ʮeqw" gJ.,=aB(%4 jfW;P@Oz+UD[]v#"|1C%Cʡ;D+ǺK؉iLí@u3 `J4L*[%-60:H_Pķ1Ҭ}m [eâ'3 J=f)\Wd U;N:2IseMO4tw{+9"LyS2S l˃e/].uMb)Up8ՊuՓgfwRb}nhQd`WD>*-\0YU3H0o\:лqF.KԠr8n+%r6 ,(v(2ur1o :pSs%vIl9_66]G: 5a|jͿY99. ,]Y> Lj\PV<D@-,™^KXmYRR3:Tfkbw- ֱ'H`m[rx䴗%Cg!B3n؅65Q6"o/X@ؕ~R0)f a$jlʦzX څ8cɞ{ :iR4 8 )K,zzzr*ŗT:R8ud|0;ɘa2>.jrիp!XLÌ!G¥щa{6ܴd 6Z3:O3`}}ÕݸcW H~b՘ȸ#AB$ w3|!>R\8>F艟F˚g()_ӻE1{=1#9S]E՝k̗,Qp^dH&4V:`׽$RSr l@ (@vLScm!Cm޼joY(Wk3"Ʌ $ p}^ݧlV)Lm:чtT;r}^h2L abS3e Bq9wJ- PtcUr+7~mY|N񱛐EaEO"'uur~'r/(O,o(G0!̹H[`ۅZ}ABo?}A#b5K >l!efՊ8Pֶ/d qi[͸>o û:oɑR|sҰBd߃L8?dmHPṫu4IWuqqV tqdYà _-Z5q&ʅ3ǥ\5-mItj Mh; O[A #Abe=jx3#?Ԅe6$FRN^[nZJ}`v"=i20xsfmFq S噌{nwb,DԖ82VN_*I`:rqO٠Ь I!js;G_Xŵ n" 2VbqHY }3ś+ƼGhDِs'@Ȣ'y#k`݁igl$d@*Fȩ2);m~ bzT3~.T$.7X;;xkΥ%6WY$eÞxxua2[uwR\|.wI#'X@ԋf".scEB~+zHChz;Cu 0̗nkcĄFg[tP-?+Dl#qϱKN"#P2YJ,If9v>BW2IP>ci&WT}]<2trfyYs)D@hj %RF5)Y_Tj2Xas1:[X} f,&|׽vQ2c|B-,JK7c@?Xy.ݗR=(ɇ8rzPl7ͼ>׭R1B~p|#%8DݐDFu}*8OԹc"@ޝNyCPϓC{Q(['`h3H~^]G-#MIoT>Q3MG veߐr̺_`"SYON5д>}2!E 4x z*!rRsY`),,.C;l`UC &B_CG`tfXD f1+1$s^ʑ2V.9FC7 $pWőē%g qu? sJzZEEur5T3F+b{.t*SZ #'BQoM\ZF[[-?CXkW$kE;Eʨkp`)cz䬗i(ҧnbl. D젖3 .䣃,w9pO6q[Qi$Z f@(6k(qd 9vQ[s톭PN$ (B⚿/H4qkW.+DJ#@| /o[gu#jd{V{*{N?=@]HlS1 s njN<0Z j\Nxs+Kߚu;(Y\.Gl;lƂ8Kb0OQ"I?f8 1N:2}z(tܿ[v'3Ck(/bnOL0w*S^YDfNLғVG#(6¿NغEa1̓i~OpKlGЂڈwϘ&$ wU)"h,j܃JK߮ .q_LeuF5+Ѝvfq BgʬEVMǽΖ"(Uьx#3tR>";Y*#cuw>P!Lr+`=׆G'L!¶TԺ!چ1Ktãa+T#߻F!=,gW,&2z_ >̙#wʥ]k!K!i+'Ng'}v~3C_$fI?qYw?\=^t6TyFX`9@;TLKi,}ZnPjY%!k>(Rq&[Tq}ow|nͰw'-hُL FٙjWO6*1txq(ﰊnnN#r:lSrVu{CP먔тW+_(j ,e7("89q̯ZNw>תDt7Ĕie8{I(EM"p|C2TȒoEt/{Sg6ƒF_?z>j̈& kGauqh]RWW Tfsv`űϘ=ŕmn>za+3GirR'l9GؙGaP) T4^ $:,MS?)t$fL#?~ʈM