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 1-Tl ]% HOL-ODE-Examples:threads=4elapsed=571.325cpu=1656.440gc=8.452factor=2.907zXZִF! 7D]ŗXf[&}k%EXi] \s%v j6. [iQ>m̴o~Y ZLm;o^9D?Y}ɥڧdlCF@@ε"L5ҘOOp豛JK;|yȌ;ǻ㓱2K飳Q [ED㙧үu- ;L*qHycEQ:>׹C8. /1#}@C"g'z^ U3/m )cx=a6SAтfd1=U%iφ"罡qJ='aզ׋Ya !jjw^bg35ùZ9 U˟ ZA$`r!y 2M_<`Pc$d'L?;TAXq x,ax[jTwڧڪj!Ec@ K >A_[y<#UI]T"!O[Ug$' $IU ݿ@U/q@6,1Οv՝iӦT,Irr%WwvZLL+d{]a1vյ$ }von,~gYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+ |E(4"kx>yg?wyg"nbaD2nSS=vyAԑ$(=U:"D[u1JxzPލs$Q#.H#86NgYZ7zXZִF! cy.]ŗXi%Eb⬝,#]8SIg%RBFZX2upAvɏ] |cAa򙿷-jǍn]e/T] X #PdvѧƬ9=fz, Hz: 4ȍ 6QbI,H)Su4ɬ[Ц1 i{J H /15^rD2%U:D&s*Qo0с$׌nxk Vhg 沼Gg*cJ#QYB*alP&gYlץ̇AUX_1R=5RJVHgzH;C,ܯ HV8%iK}ID7S&=yBT'TPj=R9V1tbcƝ 2I_'tb9y7w67Ӧ{}[?t(ÌzK3'~Ed)U=A"LaҬd/7 Q)/q&B^i<sS9ˀ&ix#e&7!ͥzWc1X֟nRPr -4 #z[O-9d~ó>NX7 9&t=VòqNX}SV#% Is F"j-,qX@G7mLQ&f0К5 LPHG#oirL8QEW[jC SZHvOwQb! -s zڠf&ʣ]Z2*ÿ[)v8= @,*X\\١3,_듬,b ywbotp8o!]XR{w }DhvgLBoLUCKk}Sۃ@Q1N(v1bM >'so5 { zO;&cA,|qwm; MpѐG59{STdu1m pa~b4Μ{-(!և81-4ua?쎐_p@;ΡGKB:ޓ UW0mQ]{<:_,uMU=Qo8wTNi%SF"CU\hb~dD{ZVDX ])lvBVE"O{8Xu<2^Cɏ=4AU)?+pC0q5͋4q(U&pywt5s_uqA=Ey p|fPW s|4)]txmŵ`-Dknebxϩ2 %a ϔ>FggiպrAf3җJ݁fтO; 'xMA|ʓ<-w l9N\t^oOl2zOQL휣r" e8yeݨ~j>EZ|*'H5`1yp $i;c Q(_mbGX~p3\vhĶrnjE&$Em>9)&]V Ղf /&mɼ[dXT>Rţ;{bjlv|QZrm]zA叉txq|ԴJp*@®4?(ջK onqzr!g*rMǹ*~d-l~ܡl?6]k=3B5Qb`%d Dpz> PZQ)6?x۳7(pxatS8 > WH$7εzy@K%PRgr ]NuMOȐ8QH>gIZ;[\U8\rd׌YD|JsV {R?sFniS]u`EHfoST{Gf(rڥs'G밹!񔜟o7dKP aJ`\DW?ج7nn{!Bֆz2c!Xsb MX&n@AԎ~80̈mNȸB<*='NuClÛPܛʗҐnWY`#5/R|!- ^k̟ e`C$AOQЮ$H[#TKœѐM<`Vč!`?Ici@Wbgc53;c͵ks:@8AbÕͧGXh/ *"\q6A|R|[k28Mֳ~3٠`^`H%?3]9@1qkR)}fl9+~Xϡ&uE^\73eO՘'47O_i dਫ਼`gO9fRߙ;U9A:-;n>_j %g >} ' s9@g Jss20Iy(un~iNmu[jֺ-<R8VHeh]WpoEq0gl|34-Q#L7ƫ.pν(Th9C\ZayJPcauZŵX:ÆzD×_~œrGZPlҥd-8T7dM098Oj*sը1 ө pd[/1NOZ&DhSX`^3S/p~g=ZR=WQB 58있l19fUqA"" 7[iÒ'$e6I!,dz`+ȕâWJ*I\5B:<^REgs}`S4yPjӄZ*PG'GL\˺9moKt[IRT#\0N* !+ˏ]+3Q{zs^q{k;D4p݉hR.ND3WPBCÕ`a{hf<,ߐڠ<9[M/TVm(>7#1cכ;8 DגS??k̻A [/1%gyWhNs ۱=J@P+c{+KbY"($uc#W>Q-'BGDɲ-rOf4t&s)ƅb1ž b+Foe߱絼(#=L oך߿z`iJ Vkd7%?#Msu=cGv,ػ,/?~ 7h>XM,kOBZ&jG)Jph5Dg {~9Qk+WTfy3RsϢUD β)hMD3[HǯxZ0&`B }X34Q\>0HR}x͐fnv\|tCmsq7=8}%,RRr>R].{[kHpW=fVHk`ZR6j0{m]-j&jݽ('6I9SIW| ;ȿ닶ppS%Y6vb+@!0L^P]XfԹorW *bfUM0>l! L"@\y,ۍH5G-kZZ$iA8GhZPQ0Z~%vwБlޑ-(2sOϠl.z )Ac8iQ7no@ԿF(0ysEC^+\.0Wn{Df[7 яРSCgd"ycك o4Q^Aſs \Êy>MQI/U:[vSZɸ=Xtx㐿z>2idCJn̎s6 COG 4hLj*:x, TӤ'&\8ڕu%&8=cq>[zPkYeɳä) >wedԀd?#V(Ű8@>ms艘@y7Icm,NH!XFQuJi-alOd~6'kkoS'͞b1͠v#{_;/2w(*hgR"g:͖=(JfLy! ^xVJS`=g5yd3%O 4ڤ?j _5T)ێ|m[Ý.>!uyZbx( oLOØY 9XF|9zMpPr vkákdW)fk='$<~El%c-BR@~Wo"i47qn|6Le6R?6S{vlDN%M6 ==~Пc5;Ix%|?,yi2cbG9vzmRNT!Z3"䓽L6{F0 dy:Zwzl9 <o"e?e9F ‚ӵU8>Fc%;i&%PMVKjUIT<1\],_~)B+_,?EQJ& ŃgPn ߙWL"F<-j,o3;qy);q$OԬ4NA`3JHԉl˲ 8Y}6Բ_޽ݨC6V/>G}UCwʅ VFIʎ,7g W!ZOIGm Eg.MK?Sq:_F&`ba행-~_@P)"f@[;/~RRͧq3)^3Ch+Ѵ|) tyVžy'2'GJDOVp? 8ŗ/[&TBM 'QCwX4x8E';u$N5[IwZt/ҟmj-eyiKMALzv0Zy'ʑ%y%nm#T6oVs gKҝwIe>hYhd6u3jԊ.H/.ciό~E=t7+H(yL|{:Ƀ3o` x%nv -{d_~<5^cZVz1k/RG4]NUʦ|,f'Gc{t911Di\Q&X' ޖ1C)Jx6VHAmY.cCH֮l<챙Y30`T`!sS2#ӆȟ a "ҥ-:ęF2HFk15!UhV dD7DQ<׈L !fWu)".qcEx##8o{Qq([K7kW2(-bjVr9[j82^`YA_aWFs,(w0ngtO\yqPg_v|6H3j^ˎDO<Z>Usf;p:g*[X).EWZ׋/Z"ppr[x$Hsk["Oƺ~QmjޭYΙ(eĖ` H$GKM(BbhD[cXF@}^8٥ !Rh*ԩm0#͞'W u][L8| QjZW20 F귎@ iӈGnDGiDkeo2#Bas^ĸZYO:~1y[cq&™FO{s 5C'i1W*q\E}:;o708'M[uވ^ ){' zkMS<78{yٽ?#4op _j( ??cJ\"Cnn~o30 Cig0Ӹ`mDG>.`x ( b;rHJNoSv*R ,ssɊem0buz.ZL0uؽ?cOSCae9ӽqIgd5Odfbc66Uo/"J>`1[{p̜glcR^I7p:y.rMR ynr3*γ,$ m=8?i+|uocK2M UAafY6w'HԿwTKԃBɨzUp5Wws6pɝ]Z@v#mcp-lgdP47JIsX5-(M:2,Ph.M'c -b:׷VMtilԧНU$Q3 rNT㊀[0u\8\'937 +t#gDVs(0.WIL b 1v2w\RѮ4vqgJ浇`y\o@U.r4F? 8cx.hIlE5 *;0:8$d[){ZF\cncĠ3JI@yTP#hqAX<gY0@>tWt%ONIĞU|)Be;?S0XɘA*ܑOt+D=p,UZ-Wem],LPW*E'FAJ!X]ug(1;=~$??@v5]UP+?O{E;@47)W|JSdHn{L6YScϟOk`!C"(Iδ&N0i3þW6W|$zRp ,NtŠYJ\[).vh%Z)5JdZbUjbjZrJRO9Mtq(OJΎ59ô$VJi 7&U"u_gkޫ>CɟO h̰}F,aIiw޳6PvwYvmpCq-7/fCfB uZg0{gJbUGl"X3қ*?UsJ~ʸؤD1y2IT`V2N}\blʟ(H AN. 9LJ[k;YJ`3:CBAk2!TSK@i8bC;%wg0qw'LmJc,|_org 6aӧ7?7uc+Y\9=^E''t0 pQ7zgiP 6Wn֩R^3]]+&*3ƚvsݙѩmY  l}UD\ fwڬ#5ܥ;ϴ|^lgcI)rQ+kI_:;Zj;b>do4vᤂuW\ "N\F;'7yP"o@:&8([~GiHXQkDG'e9 ХieAɒwt@ 7%%M]G|04< >Y.#Piˎ_785:tm&EqݣHĀ,B󉫛)ꃵВ!utSgzĴ!++Xe aJ`f?g8{r?=S}U('M>boIդyڇञ]Y2b-\1|BѶ'73b'J n&);ߏ S̩(\&sᷘkx7s,`?z'H;j\Tȃ1 px$fp@ۓ%43Ari33Og>8C*(!!i=ykR`y)Uc `|oćWhfF~˪NQyiRWnXRŽ8%z݂Imq^ۡd3נ(N7,xG&^Y7w\yl$u[i 9^B_ G?(03z`ocS3$@56^(S=MKϮzAhl< 0mN @}2Zr S?=. ANf< )ɿU{\TlKr̼B)>zt'2F3N(RU  EId;G@A@FGT!pDR3Y̪y<@R*kP|Sfa :w*sz ^ |$h4.\O\}f 0إzKA(rӬmA`\~]͡ YN\ni`IJEʿ7 L(#6^;j5‰WZp} X`v (e&pžlo֊eW `&{$1s<}]4jhUOnrnɗv:⽙o8*OHuLUA=I. àA9Xhqg")7IiRn]58asr yoނlU{] pOBM{Si, FYM< ؿJ~ޠ\SV>V-bAD{ t~aЋS|Ã&ZqƲ5VIhuٴhK/`R1g0؛r3Qp?X010!=uCJx] 4ƌȧKqk+ZmO,pESWȍiO[wdԊ~kAFo^sb.kmNچ/6& ]U[$9cQSfXٶXT0Dy$Pa=؍M!F7)~Y9n뛂JM>e},AƄ0 Bųbr l)D;f&W LS\ISsxRds.H!-GGk ͢d׫oBi$-@O?x??Փ ]KHw?Jg#"ЙPJm/Tq5a @N–)k HW-@~vftTP+BJs>(HFAT9FS//h?]9di=|f5дRyhM>N "!b X3p҄wdz`Uye9 )=+!q7oss,ܾHb gc2/:w0 6^йDaHO{qmt8 ȷ'+VK[Nx0rp=Ȳ!|ƒN?ݶ@2\cE!>fGg~' +N&i%DvWe*fFqugOx۵c4Yy\}xtI{JKfyvW0QIև(i璉a(ng 14'{:b.+;K-b<xHTuN =$l&?*fi sBG`fV+`JT:)5 /:swq?R?Oߕ>9'rlmwĻKs7=oPLu1Ns>6!2QZ@xeM6yhk77S8ԩtWDg܎Br\9-xko̩E6)fC Pb=Fao/5PoܰhG2Qya>}RQ  9z:EBos$^c.~aŶP`T9TMu 7*1^3*ә^eak tCJ~$T$H͹?\RvLMQ0w_'ZE*~>M 8 ~%6s^虖${-R: <nzIS(nj ZnՕ W{~ƎRb& WkXY( j>d:[W e8G !%NOvB,+ A kyG۩H_ 2GtJc?]a9AU>p})茍fRfc.#Xj17Lmpô]ԊҸD9~(19ף|'~T b{Ϝ>:^s"ԭqPh§k1ζ ٌSTܳt@D2rtam.mN+QRBeJ*RaOpBj1h׀ 8IȤ1-Jpy,껜d!Jܼq0K wوD׎1*j)3ᯯw w.HEN|yYYx9]O =(.pN鑈-Sd]6vopk-snː䯘/6 [B#(ppN.@^fϿ}\91і6ҟ,U"acu j,.XOc!]KFB@IReeĴX/wU_WO=kV*| &\Iq̂{78G=zsy5Nh΁ 4MW܄me1g;y[>4)IkO>xtT˫A9[& f #l#,ئEGr #,;/>"`Z-@Cv,|gmZD;A/eLSlG^ݬ10߬HpQU#ˆ5r\r -[j5oUvBUFe A񮶏Vo-BW!sj^JVNS\9j mA(!^qWy͚pCP@'8ǥ< 90@ 5=gluup=KC4gcEGV/mB"]~z5*+FBVڸ2'Ks+L82g}PAIS4벐bQHɁeR`4 {3 >7nR'9jEYa0Q"Bn惵bHƋ14<82Yjo@JX5Pυ_g%@n+6zp|l Cr6ұyǞA*cϬw4(D5MP7 JO:1@vr'!2`>fEiso27Kɥ6u()Lg8$fJsBE\\*@Dam=Ck߉?F;q賎0!kNS}<&=Rl (_럯*Ő2 T.i4Ɗtұc6CN ,eAXe#dO.b9~BԦ_TjWӁN&:vl!<q.SyL8h(bR$#I ~L)?RptS;6h7r~=j=Z%Ѐ`I *։&Ո{޲G 'l᭕3Ӂ)LώYVT3ml`wli bxǽ\ XP{* ڻ(Z8t n9J;Ӥra?5\(օ3l6F.IOCLLPmX^0N#0h))B.Z0I]GcWۅ-e ,lOx#M, FL$z7⢬#b%Lv$/,Vd|UJ2, ꏓY, ݲ0xY:F12'hUni{OZ㱹[+7c\^tÝD s/j'~řOeԖ Z`7}84V زϛ4Wj͡Ҩu#Ƒj ZX=~|_ 䰠 co'ILv .)-؃BszSB *64GCQEhwqPzF/FhfL1^6$0թ fn).7&aPrEZ6#@?kp)M|TA:I%V(9,F#XG6 /Yk7t4qD&"rc064ݫ_ V]:@zӚc+M ɒAȯ^TI2D ,y 5EOloQjX<OZg|%gwubٱNA)1{Aʗ]tac=(-AV߰Ħ[#63^a]bxY|Ȗ[q)a|_Eh.Zpmc>&ZV$?Ks_n,}Ê{H մTz.?Pa/U61tw+Io!K@ǙBMcE*+V?u򫑓@+8a^pA\x7QN}(EsHPP䱍xESQ*]E2K]El:q=;qhT,f[ԣ8-B9vb4QJ*S 918)+E%T9o(P(P?Ԩލr*V=$4op?_c 3D٤7|戾Ǔ!I0WP6g!"G欲_2v7K.bwʣCU؁wxE`ăT{t൞!-Q]P n;`=̂qGȬӊ&}]DsLfu;+M;ЅN[gQ#{=LA|ќ@PkpWUnsë[8@ĭDվsBɴ!1[RyA3feo6!Tl66 ֠"z̐`MXyXrMHPFjFTVdK@wtpAL3,S!ṃD:ɚ3o#7 7%6Fc)obGL=Ռ@U.(U>OD= .%ƴ8ݗ3m:0|MSi, Pݗ@vaKuYa L*<3eq?B"%B<$jҸF6W1 ђ97 #?6 cXj;,:'xh 4$/ܾP46w/[ @A] şbƛgR鉥v=oCk`NAp5+gPE; {-RY` $M ax HN܅ƃ+'Ap,,ಫ^xC_=r]^6MK*ʐv|O4x+&(2yj̿%r$TgEg+:"=.qe@W~˕$ !ΉV7Gvx.fI g\>FPaP-b!r6{o)M}apÂO|1l<9D1gg]jG Rk .oD R2^2dCdLƏm(_j{.දaꐜk }dѤ-=4^q$n޶sf`M󿃜: 4j)rpgQH =5FTԪkpFJW=l| ith{@#Os/vueN)tWQOԐȲg+@ %/;/% !jx=Ө Q6WD$q}\PX5 3I6Y3j<ĵM(-KCVV󟌠YDbbԿ>!=aUDL|#9sLS1Xg <׸O8 *p.Dg?^Rx;GOX)(,"zsы"Bd,S9HVCPJ#`Ĉ_= #_7-soERjp@ } 'aQ.>lvI̸!EՆB9Moe/|ĽYHIGmül$6t# /Ţ>[9bOPRHRmT[: a!.Uq)Თg͌Czi}nkfGxՙeVīRG.bwnyGq 7c1>Ӯ\4X&iKuS4"΢rr`v@ ;+gɳHD-E[\Lky0`'p3&]w?@*ͱ3?c$xAc~q[E'tq4U0F76{Gj9+8^5k}~C?&i?MhgPɭ¶^oc*[yԁo JbT93f1b'_7ճ"J)%4ԃ{__﫞kL$!j[&E}_a: ,N\¹WNXӯ>9 Eh!).f#zB'v/լmfH% )*u&9 z(}mQ L͕h\n~W_h &{6Lޭrr%M@hS2LcN'z?U_6U'{օ'Y&Qi/гpIaiEw 5tl쪿`T DQ9gtrFGڪY'DJSs@6 Pn:-}g!ϡ Ne& |bu=ztyN XD(pFAl+g^$ɯ{2Ѷx#D E;9*T@$޼%`~-BOz^B N]T|.MEIwP.l{1o Z\d1&X&ҙ_d&(Uȥ%BI I~T,%_?NnO ބ.W6:&wXi lʛNuz{oh FZXkZV-֘sĘUYУuW=nD[HNK3raBXRYqʇ:'gcDF)Zڒtjz6jn &J|kJ5yÜqrfɂZn\(Ƹ]I-9E=AV N":Q_$vkJm(VӅ#wӣQ؝ ۮHMX3˝p!%7VQ`<7 ~g[F?).|g^l\q,5gվÐXڡ$4naMl2DNidO\t0 5b"V$38kV0>Uk<Nd;`@[nk&'6rZsmMu_. mQMdz.}c2tՏ18uUq<~4u):8﯆^ɞ_OqJfJ/*f|^K[f̃n퇪a>0#k]'ϑBϱ:h$gu{D.F‘:yI(1PN`@9/ | ^Y*.7컱1h43{ȼZҤmIBxq ~hB.Xe ħutu; 'yq +ntfG ]ͅHoe2q7mx!Z*P7lX8j`0ݬjGÈlňqvf _]d`:< xsNѴvMX8uկ1cZNr-oԵH^ic[4Ecݧ#E8X\];]yʡRZEv4s>f7-E"#G#79N~}Pž| VZ OYˎyEU d/GJp@2XxBgAJe` #@y J+2R6L ` & ,঩܄}+Ոե*̰&LG>dWl4{f&"K`O5h>,jT8nXQH Шi5FOlK "TtAV7Ru\ut08ͳB)_S+5eåHP)b)H .ncJ!gntmԕSd×"BG;uFk[C>Tk^^zN7á)Q_ՈN*GқjkQz:D;s6!Q&Q %85jߐ\4ff$Y~$771C%<'5vPnfIQ| 439K TGP!ArvgeOn 4nuôa Bx97V:/Θ)cO+sς-j f5Og-y/Q`RgWj{Ke?4G΍vKT;}t"u#tחua3zqMvc%bcND>z^lxqtoC A?)Lj˫cLPvuM~Jk<5`FPMYtQsZE+d݋'6PM}^Z ԤQ$'N-g(ϣ2]\4iiZ[.S]Boͼ@};|I4Ϥ@.jd$g%y ʛHۉpc}{7)ba9۶rQ22|o:%fu,"+$sƛ_t03^/`mel&}"RniXCMM/͹j=SaH5w1?|#o2Zpfx V&t2 z:E / Fe*M5^> pp@^M۝[ #yYYN~)~ yz+\C1G~nd5SʆWGO<}CF̕Jt|<]G Q46o LR5t$iM EH PRjtioļ;ZV@+0Mݎ-zPG7Mۏe Q#@}5Gc\^'Oe,r-MOdP[lR -3̘mg=ƥv7ڒ!#Hw W$y4zP"9Aovѩk'!\^Z<%)8ٱ!`"G@Y*ϋg o#. ᯋ bYSҫE:;6NݽeeY,5fF{OQvW'J~hYPucMm}2ȡ*u 8,XfZ1avw$vd#S8&i)ֳl e i -|~9=|bJ R)<#P*Sm0nO3dh5_TT0/Xvu勁#/fBS;@y5E%^"!*xl9;zEﺑy.d }Љ&muLmxcgG8҂NӨ4NV-XGFenWH^%a64ddE!ynWdi5D#^#^9mAD?_޽[4/*d"Zl 3\,$JhYN5ɐ0Ju@7%XDZH@# Wz6\ySXvӵʼnB2) n%`C_F^Y͏rf/\_ zfx,wy/WXIk^SLAj7 L d0bn#4Xz &Af7$G0![XAns,_Gyu ! Hin-o]nߎ} )z$Q5Syqj;n5)ހ毶n}\)ޤկ[B! %+XH{|<׫Pt:W|lo=Y1!Q{.PjD6?K,#1J^̺pTվ@v6$n^&S=0{ԕS33L] Wn '^^h^SN)BxOZ{~+Rmw"H ҹ~¦*06.(tk })$<JLle=pdI1+zJQH.KBl3#3mggOom(g"]/Zq)GkJn>^I@QFQ K 9$u$I؁@U7[Zs {*ܒxC+OtgL?wi-føclAYT>7x*,'.\@t:"ܨ*RŁ\zmx} %lOn!Zmh   S)B T2qTI;pUe4WN4L:6q<˂Td_no)HDM`ILf-[?rwXela=nNh>eð1σOUS.`G?㢍B<'0ᡆ:mΔcZMUv $̃H^4ud̹ % Y.)ă4p:аh0_  4?#;hnj;1;®Ad⾍1?<$㟊V3u ;'_5 ,Gsvcʌ;(%%#cwxYyS+&Ճok-fP  "e_0TYN5ixޚ !x̭ qs=o@eC()AeF.eGa'?>QmcE aowor*;wt~}C-۰7x.f3{Ec5<@xie3a ˾MֺljNW&mOY^G/oƥg㰸s-2P-#5AX]l:4GB:0~]yljt5ʐ^"@&"I?r /RM>ԺDbj'^*t8yfOwrqE\*:*D)*WOd46_jֽهn$HP]4,VÚ!3 Y`< /,ޒO1B8n.FI_E ^Ũ^N!7SĸBL%Sl@hKJGv-X mvuTix}Bs`9BdiQPV&nXOB< ڀɘ q?Kգd#fb\ub "=JZ} ),!Q Fs7uFrTmF Fd1%nYY"z1 =!5{`laױW),:tJw2Urs/wcja@xZEδGH`S6ȐS{D ѣ