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 @|\, ]S]Slicing:threads=4elapsed=329.772cpu=1104.672gc=13.600factor=3.357zXZִF! w]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+k֭Eggg4CU=l}a4gWYꌥٙA&`)dYXMߠS;zC~R`g0.)~Tm#›z1Ab>Fh4 nCQdXh=# )TmG>9}QS;S~ӳWho' 𦁧㸑 Ҫ%Nt6 Jgu*N e'I~V@uq"fCE=Km g:S]?&V~Lgl4:.xe|gV+nG2-<”=̢M?AJ]q(`w|~E8^~@P3Kwsױ* 6Hc=Se [s}dSAP*c<~gWWR0=[Z?z*8: +~q`)w%L[@o}5siֲku3CUISv;t^<;?e}#D7suZNI ;#O5%s4_85$D _N=Nz7&RRž5v00gzCB'.ƱIɬut4q[J8/b_Cɏq=&mU8E T 6|ᵼ&(?6 =.Rp{Z~.EAB5h:YkU RO ^ѐPZt vr5w1F5˴GєB#栓V B0= !V-amG%϶$d @^LtK8Τ++Xah(ej˗= 4>d㙥Bg$mnDGʶX׋mKxv(V!pP٥b(Y<&YߕAg/% bϓ:ޛ>bTӣ㛰)_rFr2HV } Yh%beܐd<.Z'w/boMZ'[qs`}~ιܪ}Dj<+'cjs<.؏JaUF Sj Ol>{솰n4M"}WjLO4!3xA *kkǭAƞmxWf={NrP KB}/ &f4!̓M-ZֳLq%ީ_K1_—.UQ8+"^LG$YGкVf|><` vN.;nDy]&AgwC>?=-lHAaf]uX4 $x[J;jZz!Fx__O`4ԃWfaM?~CO`/CC%eEE˻GITo]#P+_Y:O*]hTF1}ez3s[6ٕ@Y4   Slicing  A1TЮيI_́0iV ׌@I@Kp^>1p%?Ƚeŕ$HYpqܚke G"cqDߞpp߃DbBzs^"usIO ^wYbM dcn?F4 ɊJ8Tr#*:jցmB32H i[~&|*BbsZ_Xvf"E{hcyчVr|aƠ4pt>f:@ C(q1kސ,Oop$)iu\pͲzP\#~zav"SV]SxfM2Gw섨W=ۘI<3Tfd,88 ^ᵰ]^C5ՀSJ}"5LK4fI+f3=%DH} <ȴ3FmP3E5!RםEع'CEFQwTGze chƝNl͟,ԗ֦%r#Z(te馡9ĉ30nMu25{;;7@> yKwh3ZDpLfӳma(ʳ*­/yLJG?K?ox#PFjC vgM{I`yOe; z? tBڢ1V{z\6UM!d3q0YkȲFveRdQJjSC3REAR D$٣*8jsQI(jBRD0 ھ]Hz_xOgL|˴qziJ\8q'^}]0e/Ni<ِQ~xoF*@E#=שׁiM&zM(CǕ|٥%AWU7%aj̮]vq&(ԍp*%AE@tKBDO,3l7Sq_WvY L*o`b qlyZ="`@T~].cNgIm^H+Bhn&B[4ŶK4v9\ w?||hR@˭:)m!]*:(|+ËH..Kr1?IfMΎh97( sեǾW i,s^!lUfώ!1u^ߤk-="VQ|G]%O[;m:3fmh_w^i*B L̷\K_XȠ c O0g.JvMQ}r% eJ:} ר+ğߴPͮ}[/ bs*cbgPi_xg'C4!Lrn׻kuEJ6:S;:NX΍&] S{J=D]'PJW'2C kVr6;Xx\J[JB X2J JLe A.\(ՙً/~*SONTt2` u `yn{66,> ^6^O|`Z|I\纞F>;8ړo\܊+o2#aKnBdJ3ύuQq̒: מf͉|͌v5g;ˬ.s<$?ɬ5ph24w KĤw)Tp8*15P%#Z[vsJ$< BDM0og4΢"%gs!o'<\`ҡOKB^O\$<`ws}4ּ ibnqԑ[Z.ei2'&?~dzV[̉e;{yjJaXs}c;JL6߳H]njv1M~8J.nu+$W>ZcYTJD|1^JdD _-/SWzR IO񂚥+r`om G р`MBJt+lx!7˱] B %gfm*$I:!'h{{gṡr✇kmVBX]uJy easfzݏYy> R5L8^`2Qs-Y 8'YF#EQE[PbHycMă*Y8/M:ii$DwXhF+T,PA?蘀r&  1Ԕ$mo `(48*Y%A|I$A$V sQik*ѳ߻z2pƜ01RDkU.>̾K>ȫ $fr?"8yz wAD UEGBajqd TN_I5Ѓ(L| `|&.㈑~J奵x)~K`ޣY%Av-Usiw0ɝ69FZ@6_2c vSuZr^ZMc3 "䶗@x˨z lIfxy 'HE?e[ !Szkʤ#^{SEQ$q6}+y)ӦahRq܁AȲ1P \Nsȭ"}5FMPp=U\@5,.g+K 7E[Ih%͵""N CY@R 4 {Z/GOG0k9 zfTzQvaϢR?!SafCPC!OAJո;2T_4]1n@mS}F\Gv]v ǖPm}cBJP ay"iaFtc C /}:03zU}{YjdloGC"ظ ׽}[j;Z _Vyr",gs Zqb;#ȥ€P^"D;?+Ti,瘿)!B#mo})6hπ!~Q|Jhsݨ٪s+UgYZ7zXZִF! u]ŗXiɟ쀸6馀YTg<q*1@N8׹1cܱнY*չYy+y\ C J'{9W?00eV8eZin Cs? LAXueP q0ǞV;Ș(a랁MC7xe2LiIТ0fwDŽ}Nd⫓'gMog {92rl!5ל,0?ڝ[=SͣK}O`0 |ÓM>JNq3̌p@s]:frE=zD B71MS$. ͇htttoAM)?ez;Fȥ@ (_YkF̠]NB)#l-J=3@&)lݏlXx(4$i zr \+hlT=X(7IlBt|`Jwp\Uס'Sđ=.09#؅o+L/p[ C=)U5Ţ4./ԥPPq 'ېHs5!VbuN~$*/Touz%2|}l=Zݯӄ$ZUqfs骹GwDQe\A%"G\LqU Yd{f h /#|s5g%(#`w(I,ۋә{XڻFz-L, .;|E@9<9g)#=I7O$Єl DPjă=ViZBxBOU钏ķm$?}\ KZjJXbl@ &buέPQ]?8h¨?hg/I򮠆jH_n祊+VU^)+uU!ߩLu@#cc0@/BC1 ʘ㍕%F3@<{WEsmvF՛?-+0h.#0' rKJXgB Bpֹ 2pҩb?gr@~3OT:@$-FEL< 5hF">T-vTu6VR\IPpnc=ڕԧ=cA[t琻̗6[>hՕB[3~uYG ZWzgcK(b /vKMumD?ʿytLh%,xi{TǑtn~=7t;44JqyZ @^ |i_k˙pin&N1[z3y_ 8aJ dҊQcTȃ"@j:HJgNcݟVB_uxJܫ僆/< GMJT:`L%^^FsObc- +th@G{҅v}A]?g>Eٺ2 pNvT~"_al D_#}h55H'N~+~Z?9נ"Cyȧ/tRŽ\:UIkNQ>ieU{hÐZgnv%h 3)eYR7)o_gPlNbM`PH=DυZeUou VV(R~lR٤ r}ÞcV.6,iQ;Cj9jvwoWǩO?K[hM#qYtH 5ΣBJ 69+TeTg.IO{3SY6agu|@ Ryo. :*lO9ʃH |XsNF/UԾ-,b IP~xʭ;m1rl C90i.6s7)P^4Z0kH5w'b(8 /w]S^CIKQ!\[e٫;H+׈ 6ؔ[Pr-Gq:tl5U|NY"jAr* M:$G^O>(5I5yiAd؛#J9F4i|avA~+YHK(v>h7˜L3ΜH:f=RzEmZϫ𐜼hBYo4)xu"54VWCNk|&3qLihfW9;SaOYa](cGDrGr޷8θf]awyg:}C ÷{î]d7%^ZnME&涡e;Gc[c {*wB-QnHVwVւ20 z o~Z |:@x[-< I{kCvvedp0[ڷE-Q:YsLGMp$\BiABPn:. CLޟ$1TA͂Vz>U%Y2x0:S|2F-SÓw_(^QX٣_֟'uaZ id-:9jM:c_* i(X44٘VlwJdzBt  ޫE5>̞4^NA.>XY-afx5`gg<5ROKAֽ*E"[=$* ȯЎA*Y?. \Iz6+VQ!J?M9e>ͧNS%2~((5\^Yftt2rn&gG\y͠Q'-7?dk4XCOٴZ4"3,!Y^TuLK6%[ `]<6ep M>YRR^YEZ ۷r4YҳT$ p"r)kG:1./aI<ɒk_ I [/b|wUln|kMVmI9ʬ8&t'TF xw/.D(rIbD%k=S&6zMa^0MD2x0ĚAzQ4:=3 mE|i@ =-^P6ՄLLe4^k@zv쾹%Nj9/ ٍ1삾K^!(jVbT[,)NJܞ3y12H(0R^1z*H;h|bsQTT <+uM0eN ?+']*) p%`"ټj  xgg yzT2" ?Ia"Ȏ%YB){hRO.(űuz6A2&UB\5 tɞU >L&=RV&!e[TlkRјj/,'@քmOq̑ۋ;*.N?Qƾ:RC~ʬҕF3Nt]>W~Nmz0ߛzin+$g\]%|'gFuQ&DeT=`,,to" yMq4qb/eH;:Z!8t뚪=2)|PjNx!NOT9bR*^0:L7NP5;ww9o75ՕY Hx /!R e(eHһ|V"@JWx2ΖUnŘYN%|e!Ds{vH{iҝ )} `^z[馏vXG;a_z%Ri>_&xs=P >rr1za:' {pxb:ؔa5 V1Y<B/6 >we=ie5#ނGx ~dBk.un6CJ+1Ќ ԽB`*{|.l0r1; ~BXN3+r BWh(wr<nn,{!}™= mT6VkJ(N0Hٯ.*d߀/aK?Ùv`R?ظv/ /̩S u^(eML1'd}K9. )e4 ۽Ѓaw(TMzRF'X-U;f̞j]_/,-Z2ʑY+=L"%ɸ!ee(y$3(eII<<4V~[&Hg1.x YwjqM&[JmgڨIOYthRŮp5E f-(|n_L>A@v#Φ{t>scȖgiڻ֦h 4ژ7B|}28"^7 6ŶR׼_ /ðE 8ʖhqBu`Ǹ X|Pf(TR_0\?3YI2=:QU9aPmEW)D0Cq}*ּTH{_}jnXP%7\}o3JPUZi\&I?AU 3Pc jԕ`fIf|o|Z5 >O9]Xv[藿g$5$6 I"t C BYu\_knz{flM] w{r/-.i CFW ܱQB3 KOw`V;t1{7E1p/^ne֒I?؞VppF!L=1p0yJgAथzkцeDX jvMʛ^=B,wj<7.>' [h}nZQ󸂩FE4"qk6 'N0\r!qȔ1XY?ȡhЩD3=Pi OV|hGϖ?1M!@'] (kf5Kg k X~R%@S߲Fo [Raxnf}gfB:mN ]0  b1E2-ݤbsއɠ /:ueR !R1͑B֮Sfg*q +HfZ?Wg%rzh1,_ǩ*x0syTxsB&we˭[GVb//MLCݧ3n/YbK:~ڦ悦BA_@*LcW maMN&~6]ySGY䒒&8$EM{Ҿr):=s"LB?kٛ_!=ZAw3GQ$d>#b}B lҧIq_SBU]d)w†+r{㱂onO"3ΰv+m>,9L*8FrsNsݗ2#PTUf5ʉQVSBJ,MGOzqo*F퐀^#5xz BLZqU@g'pheZڟPGM 3&avSY纜CB8\: |)R`CxNhR:ؠq%wt I{1[}P)_y]0| SeeᨣVIqU"  I0gtȽ JlgTD\%>yя^ "#~DS$iVzH[ͥܕsro1ȑV!o|Q.?Te:e}Vv3tV[V-{Q9֝_󕟻 %[Q }|}Bd?bٙ&6יהEB ¬=S+qαA&x#泚OqJ>U.Fԋ.Hu)ⷷݦ)+%lHLu\ U8gXf_j b[/g@[E@Nb RZȱW?|b=0!]: tW$OWGfl28v@ u><_R"2zfƖ\ogw:I 3HA mqF3-}%xІ2xtl )iG=={r 4Pr&_ Aosh3b۷8l/þ\lTPI YUӞU\fi 3&Lp\9_!p_n"<:/8e8h)a=tA[{86IyO H_it}れOhxu"Z0Ē.=A"j 8e48_0.=wqiV+6Q0u$BCz|^@ lf|l}OtMI qT[*;`:~Tp~DCVLnBE܋0_r{%~,-ijLap!.{Kc09:3LI: {ỉX9_,C،6Ψ7S"Q2""ݣQ8fՁ1ȩs/ v:f0h]`V?;' {嚃3}tD.죒EW{0f@Ib\LUvMT"1-y\B.T'gEɭzDgd\O0Dl\XUWȐ9XdW;8Ș%u5~uP:H>qGRXpCt;z9waC%9N#Q4X$5ཥshG& lB1~`)f!  pqprж!/s2˧qoj30N{o?#y,U3vC5̅b:x*g . 2 ;'skkP?y#9Dq7_CCUf QMw!Ln 3$%/aBɞh)[/>(IE*|[yXGx%#IEZbe=OHb4 g_򏉶_`0C!M >Ie"{WĚ@ (X]cp^MYSx5Ы?`:i5d}``[SDm'L#ؠ+ɢWfy3p}:ᬰւCaNBF+P84yv#ToH6㌎jiW6+arOqj,'m) ⪼D +a,=rU/Vd˚MR=˷:ROޢv{Ήhqw'A\KdyI#G<>tQf܆O~*Ջ+ʙ,L,WMMe/hDw!#U1)Fh3[Q'k7KTOwBga|>fs2-!^ .tQJ12=g' (Y.;Ґedg&)+3O&iGP)[85 \%"6htSbN%yuIArȫ7hSE\c3T[(KJWAVi&^`M֪?W%HO[>llOc$DŔ (Fȅ6-oż,S4&=ЭDmNմxO@wD9R">Ś#ށ#aiw`m88gd˛i5N a^E?#E)dV|}H]Ζf4v:G߿-4\֟QTFw?}/0EM,$A,kuzk3.&MMX$0l7"kO?`yVM*![̤9AVpY'(lY\8qWv<{J$W;؀V0;cyqݜJ'Ri+c&mL$LUgmd]"s#U)P@*Cp{vZ8` ?.8ɁQ/|rזycs@vOvꁝn:2f RPK7kCS1~D),< {6< DI:0rWLda:mr:Щd'uĢhsRW_BZxY2݉u/sw[Cwn`=54qvFCn~%ŎF{HxǹL|ܱ$2h[AW̑-{/Ynm1XYR^ZlKLAv^]J4p鐼T:HwDyh\8l~SRM>ظKFOOo%)[gP+2= ϻ霻nq"7e^s+Sډ1DDM#SâȿVٴ,6\V^8kS.sd=.Qqf..^EU~, oiHz~-ඕvtb f2aZsa }b]1B 4ZwQk3̚Dziծ%5=3.k*3Ih, /*܆9k}؇)CIB0Z6}a|/e]2~6-Cdj`cB7%6#bWôUHczu NoLs[ä#F7= e=/ߡm\ Wp!+nOHl?mF.ӻqw]WoEaNe,S+6(^zp[aS+.F9Lvþ~sal- JX.) 9v&&n6:%֨T١\\s4.BbӾ2I(G^恺YK(G\~wW;.W5 =S'3y2R'~\wJD~ӷD xӦ = R ^ Ƴo9.IS7+xJ1/`9@0+t'Fў}u$8#آ7ܚ\qyJCP"lO5|>2(YrP{/O( f8 2!P&Ojxsb= ?-#S.GvB{styHTg 8qX޽ ̴%ٯ~m}KI1iV"⛪ŁBXU@:2s\z̶-Wy0n `_L &~Vfxzܣh jce+D|2?u:ֶ/a9)ONo>veЬAX878,zf4* ނ'﶑l~eVwsocG~|4]Kb'AZres]NJB3}jv#(]ew(?Jܧ[z2 9kᒐN!ӛd@zzm>OOH,%x8 bybFQ%luڻw6?4g$3?CT!$~crl0Cn~,g Im0ix,SSQ]t.Xp;8 nq^V^ޛUM F06jA`ι5fUAVwhVƺx> @ؠ3IdɑٌR|&ougfzr 7 v=k!^'aT^횵Em53,%xpд(cp& L Bd DO\7_&Մx`u$j ZNg[Fl l1^#WK[,EG}5/ zoڸ5:Yl^x(& ~6sHEClPG4=QTSשzp̗>uKQk˲G3m'hP?;<0s6%VMtԱyJ&r3,,,I}gaӗ$K-am6c2bg?k*8VBqW wڕn7Q7~Ot>Kc}iZA-*]k DχIaWX(F hG:?#V&YF܊l߷d/5p*#M?"kQ D]Dz-q6)z(}c}Moͣ?|P#̌'x/O0t;mxgh3d/qUAX9҇ ɘ%u_1o:Veu/yx-4OC#HP;fT iCtDQ75wg%;P/`# 4q5j'~0_ !m5X `t9-WkIMp^d͍ʣ(xHp[lz ?B#:3➊&uD^4> GM8 X_8 %[[_~R/YWITM^ׇ=&!J.I~RzvF-IemWxRǓ!X Y g@ գYM\.bE\L]8e rϰT&qHx|t-4:Alt2A&+]7Sѐ;r>!t* .YVm@:%5h"1ĜqO}orV)5E˽ϛ=M+͔ڱ8ra*KtE&NLF +ϔA{WE=Jf3sa.gKWE1])HY2n Sm2i"Jn))ƟΠ.LT-Aw:N]2v} vO?gFGrc9/ev`9)XRksт({K zVTft0&`NH^{hjzڽBY,b$~ SyTO盋zS31Tv',V3G-[hWVy̸_0LhQmU ,/]/mcFj> EZ ʕD+pQ׾'? uÅ>,[؇MJ ؑ?*9qNMr+7:f\`._*$DžSE|:vJ$Ik( x"x߲jΥi)^LaTBQ+Uzzt|VՕMG!+.!Mj@h4 #(xiSO%Ԭ!ݏ3Ԋ8Z`Y5rG)ҟ6lj>okgBtoye<'pl4JLBp;M*uHp:uuyʲPhY^\j 2/F%z45 \9&,#TaQ<^K%8\hƓ,oQÝ~Ă;[\I\۷8^ƍ^gqkǁFxn9YpH&^!gʡèE |N Ⱥ^J :zzpcCHtjnхj &+YbP2WEwwTZkvǥ^ nmê?=B|>d| d R00!WsfyRvX:8+k`hhI>Y#Z }qoI$P !؛_:بg l#tɂr*_؇eZUYޝ,Tqp=3IJΆ?1%_ϖkHn>ֲo+[uv#]> zn}z]̾}:Ȗ+'.ց6z(!eUKޥIGP἖;qYUG|2аŪl=8P2sQSM9HYWMvBV;3tm]K+ i"v|z5_``>`*@t'[7ƶ "Gs`LdWZAWiM /aUUCU7LJV $G@Զ(1S V~MNbtÒ޹y(_jbERPvTL%=O|#(^|STaϽ׃5[#?Xf 젷}:lN='rY˻@M .-#Ж܄V@RJJ"NnՈM?D)a490h" à儏(1?{U)Gs_N xSdVnʜ=m0͋]6K!hNf UAD0+GD>Eg"f@%J%^J2||FV>7pxS#،5^GvwygJI(M JLѵF}im^U}ʰs R^89smj0L4?4 ` 7+\;̹ѡD!ǞXHqzD6-2꤮FVfrBqu/~R!QFuE Qɍ ,2 ֛ev:u /*&EKG]9`%pƧj]K{Ppkvkj}J*?'S4X`5^+욯ckɬ}^%juz^=L4vIu2)<)Eފc&IݷX(WF0;:] HlLHij)Ƃx$ϤQ+bo 6K^iCДWI,[ӯs S` ox9P'9dx] #g> 9j:(碛-ggij븿HDzTP/^#ɚ)@6gD0,=",!|rEѤϜPAмz$w+J ˀPJ'mxX_` mUEA-if?]BMP(#ى RP:*bt r9HɈa\19/JDq97YDٍrBVSݑ-}l+tK L D3x!IvP VQZD̶YG dPg~uSЬMJKK*Q;X6H.$!7|cߜ7β@{%vh/?6>ij>ʶ靠굹#+եB ܪ] h}i*9OHU}ylO䦰q\S͛e4N<2*yS, }hL+ ea_$@$7MDd{<-j,^a{wdciI뻓7&'1n{sAE\-- *̡6VK*t 2v˰Le *(>.rKOVjqwlR G"D{4uO.G{qS=P9`Q ax֫Y+$Fe^+Gө9f6 0{C^'TٳZVCC0J>k:&xa-ؿ XReƁg [ A9.,ly#|*"Wߛ@眔%Drb*>3 _VD98p8;7(m <=ަC8X 6(#;j9uʀRC,fcf8z*I:T!ҷY9GHlD%qmN-@0,y}]t\?h %g QD"R-J*J-DG?|̀qm._ &r02!E^|>_8 oLJiq:@kz 7c( wADMȵ3(OHtfc‚ ($=a )c09v%k‰h=dU60$m03 ~# N(1 n%4<*WĪ*˶HF5T(MTt'bOx'wt ̐*:mOz{MGBXo-tVӝ]DZ 6 ,XO/%RK1>^z?Tk6{](,B-\ ˠL`$Z6=7>V(_Ct؈q.:7tӞV{SvԘ5μbe~QG)-"1^u&+գ-5ƶJ2ṢUx~g '?#nQhYwO;|a(p `=*XGM{1ge\B:l9lcE {Qp @_G,"Q2~M7}qde2ɚZIxNf2 IwϾbֲ cXpo = J$2 RZj V%[a4-Ě; +;r3Nrѭqhs޽G*\;tl€ 'bE9q#BiEu9! :>IlH2oXMT*SM`sOhʟh+,siMrRok ~ؘ'n7>ԑJ蔬[- ;zn^ɮls["j NS3d[S&U! JWtHݯ^Ff?Dث6T^{t!?@.8"a2. mO>tA!FFۉ3Xp %%u}2P䟲s!{OZAu|4tCHCC6ŹaɊif2w{@fqPRE'{2M7kM`UյdT9gBe xN oE jz˷VJ'.2ȁK.˲?8k0Py&xdcN~m48/와 lu:L0㐥:1W|#Kwޓ0[\-sWNEMN#2w$!wvY /44[auԿ;1CV%{<y =?w61ķx=) ֘CلF:㟚2T}z5/l i%/=<" >萳JII)t;2}x..Pԃ5M;9];vEIsF5gps79 4m\oNvX Ӂ* ,Z)O0 PPvV/ jR{|:˸C?DEt(2%ECՌm. Ltg31jn %xO8V]Ev#w.GVe7Х8!,*An8Si8]N`J]Y 7g'"^,Yхv.߹q|)3g Q˰:'5tu_%Ήt؋%1;Ϫ񖯴Qd2_ ^Hq*w\G 4_# . ")#tY98 vx3D$\f.`#Mk.yg\uUj >A\v3M>E Wq8I+1Z'bG$0GA :μ83Db{ N0bKW^/W0 ѡ}€aDФ`#6;vi_Z1ذa^k*/N1Oo~Wsc?'\zQcRf7p`n;q\8Q/]zlIb>Ԓ6yJ~ =y\M*Ybucips*P@%|IR+nѫ+3_ʝ"sS؞e3P Fڠ:[cF;S\{ yz *yn玗idݣ/T Ɠ\jDD=𺯷1MQ'.pJfᖕQq cM~cn;1ҵ6bmrDﴌA`5e,YǏXϪc~ 9?");~s, M4ƅr# wOڿYxnbq;n%U(IW۴Y+Mۏ ꡝ$tr:&\W5D~](տ6M&e8Zd;%7 9T,@Ny+c} q3 Ogpí_pIq{vm+ haLOUL3-`=>D/O47@s(xcT@vH>5k -@z7,h"=֫_s0bzGThW3m_ }OIԂd>rFo8\ ɷc*/9Q!EM.,1ԵE Y}*bAuۈp|.K&"O_M7>ֆrVUKtPq~#yܢR)7$ )A䘲/@t.T/>ݤ ʠ 3^fm'7=>P~1\et+#ȕ 6w 4h:xҶ},@X6ӎmgYZ3c1a1bc1f5803776d29edd50895b4a145cf279201795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be 4f6e5de344b971b910aba95f08cfd0cb2e1828f86336a205def8448af36b9bbc8f0ee80531a79014