SQLite format 3@  . BBh77otableisabelle_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  z zZ5$4 ]S HOL-Nominal-Examples:threads=2elapsed=553.117cpu=1019.276gc=130.384factor=1.847zXZִF! ᕠ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[Fd -$:: 9fkG^5C Wu[&6 Q?y]8F y"qhׄ d?Jpg\yvup1dd)B۔mhfU%J VF;ak< TtLc4z&I_ U黪 ,@/mn.8Nj3cG&=%-l<}ISur8ȬMzI  Pׯ\&7fuN KƎ[TLC$JnޛFw2OYķӫꥏgf{b÷oe#+, .H1]0 yeS.xnѨjV[qU\W񱘝 J8{ց94ΕN#0BXϺ كL?~813 0 VfBIlXO76OƔFAľ(lKtTq:\[R;Gy0\sA 3A7i⭮>>;McZ~9+3sfo:S)`Ev _w r]X239OkmK|DJ_,[~lo8o1r:L2b5v{&V=ҟ>: ܔp:;}m⿪|*cXw0Q#9t-ҫIdxlú\$ @Z1q)i˲/nR dP f*)p`$`p ^J@ĬF#W1-@f*+'S'%@Z̲6t8b>\6q6#¢<ؔ;&B1,RZϔ~J/aa}[ѧz3Uwt|t>p7^ּ=;U QZ3xOOnr )MnyDc&9B1EFGiz8tcwƙU2Qd4aBox-;BnJO7zeƑqK 1C|bB< TPӍ)Xa%k.,v>Qr @抉OzR2Dk рP'=]7 R9OЏ񭵥)L>!HoVs%9r`RlJecwb js!Ӣ{lVYP("boK=U6K=|Qc> x9/A>)=je0j\ċ')pXtK7Uw&Xn熔TQ| v  =C1ﻡ7hᯗE[kQIp̩hwVv``?o/E,= 3Om}|-kLSЌnIq -%XJWaaĞ5LD8~-J^PS n P pRF2mNLSTkrʍhal ^B ݹ]-SDsBblR \t%xDE)&ŭk$'vyf>'3~A2/"a)xJfH(-|鐍~;JmOBi"PORp3|R8շ(K[cqVYѬ6eeˏ3jȢ B} ݷRH?|Rzg_ƓO*%:b)߹Wg澨V񵬯{GUZ0j矓t%Ӌ܋A&-pv7a 8NI:+eM?7F6xS#{Ht. 8ƤA+_nVo; PP>q6xaB;}[gi (V@CP]L"nPss3gm7VfV:| t~i@ zm+叧kvdub%-r&F7JZ}tZ{L`Uk4ce`I]RAzP <`;eS3mj dKp3[7h|B"A5]*>ctlc8K;?&}*7<9,xP)JS G&xڕI=7gL۳n(\T)>;+44AUcϤQDT-]V ik@ *^i ztUtOJ ko뿜mQoFwP9$(1sG9sp+A %Ϧ7(m}japȾYȊ4Z%|^'y!ni\}}GI.6OZXf%S'ŷ h-zE<Lj_\Pg^145Yӄ,V$5ɤK<1?/SqQ3Rl'c1Yg%xυf|@)EGloy?^Tj -!sJکW%"TA;eˎZ(J-mז׮ƻQ'[;Z q$qDE>v`rѕ+Ntf1VfA3ۛbpf5T2: ~ǑX V!O% ϋ*wRxDPS "AM4N ]%dGu85`o끢6.ȩ2JUZ5Y4oOZBS0:X7I!dsRChU솫fL+6ne  ŠLW9r$G h X8 @8-6h8uy^Ho 4x=GTro ]F:UlzQ6+'>8vANmܠQy gusSkHY=Z_H{^pʄ}w}#_x0_߁PՁ15ΙTܲg62aɻlp"m^؈{U CѺ#&D_x[\7UހƔ툑l~]9{j2锴=ͽ!$N^xʇ\G&_s Kj%)ӥ,ȟ1a!3cڇ NZ\ƉLCquu# \A0z~,)2$ڷtH cj-lƟ2gH&#HteU`.d"[8Dsk)4 ar~q YGG}̵H~I^; RsUf6HW4H;@$XZ^%ð酪#"tŽlqW=6Ъk>U sJwLS0ʅ'<0P 9kFN:-ںwceuԩuL ζ!-pY&f4nW - &{F͇ 4H5t+bGTr)';/5\ږmUDJ8V+_"4ϻCb{$98M+Ά.XN⭗D*4mG⡟vbu͍O1V Y1r[w L*p? m" pI/.wY5QauZ^Й]ltÂy \ nZיܰQ6Z]5"8˷;e7#W{G 6w1yFD$sƠYrR^$bvp9 TDR 酄3c%8>jA ')_oornAͤD087G(l<F6إ?MSjǷ3: O9~Rt3>I !mvq#$hR_HֈA" ?H˹LPY.gE*4gA~02Iii`h#Ѫ0g|h>! xE;m4= Ej]?nkjh!;jM!.1%hZi75[ H2f %*цwO2[ƜBl&[GP>0°#$TSʰ  GῘES頕"hhxH6RĜ7>;;XX=, '8M=}?%71 25=acCo~d$ԡ91gYZ7zXZִF! b ]ŗXiɟ1ʹ l93攀Lx3 \Tog/|yLc *kHe:Hܤm_j~I;9}S<Y#;t41SoDm=,L~igUQ.̎}ٝ\"{9ꐦ$:Ri}fHesPKW `=?̺i19P:uI:hkАSM#I ޑ2rܧ(ERc[3/|Pұ0`}6]Zkix%-x}9*βTzucե&~FNZ=@:ű7& ɔm"hNpCyN)c8y-Yw]AX|/փJh_Ӗ)3*?;VK2<~Y¼tPlꅈ^s(g~t}d  eh5 ;{7GH~p%h]VNjvzaU#5l̊X< 0Irݴ UB" gYZ7zXZִF! #t]ŗXi%;P ׂءi&\ 3 )BIi!l0%OBcH=rΓMB炮OpLlis!c,s o 9c2{7' K 32#1esYU& 9<"羷Cd/Ϩ4cJa6HNdSO(4r1mLpHRO<&(Q>Y2bG؍9Ug픊!F 5~^y)'3'$bR~rqN=Zډ$ vY1lhD\Y4h;MUH0HKbg֨S~80Q\s*p ֦ }/6*['fX# 6hQZ򮯯@*5 -EG\T\Z~L4WSHL6\ƵJB!g(sÑGi㐂աkO^Ԇx>-0~:i&֗÷*.ŸNliQџgwؼ;nbܐ@uڜt6}[ ;=ц}@:'uU^%\rM<+14ABc; YfZ=5w-j5/ UHNVc X^`C8,[O1y]Sͫz5~#E~q-sR;Pqkܤʒ*?KI9TCVpFć5:yWK5/__oX!ǝA)Ñeګ!Ĭ>-aZdFIKB|m e )KmY1;,'SKzE X̑xc&" =oZgsFYE! ܳS(F6>tſy䰛_rzan/`Ir$R8K<3E#'ǏhUzܳ[p3nfwR۠`3xQr v?̩4o@dvß\sN$!gtKBK0dBZ#4*/hZ:8`IulR&iOx"E=|N?*xzK鱁Q"ZOfd*H\i[xI[3j=h; 6Ե]6joɃN?= v!ёա"I}m' 63givBtY"l|Ӯ˼kD %p*N;ᇀ]aĘu$R[RjnNQES4/']1C2H_+ :z ƬȳoswQ8$FM]Ȓ9 X hF zf`|7)fv(^%M .R,TM65}: 0!YKtdTwBjI;Y_͌)ׅ:dbmmnX[^*&*ǂK\PԽpe19v?7M-4& 5[.^{ĢJT)l5B gQBrƚR*;#z21D":+ ZZg=?fβPY꓄>%4!"Yuϑ1^,}Bb3d碂uu!6ټY -@1D#Jgw`lsmk06Ʀ4N8T*3ElfPɚHjX[)Ѝ­pW-l?Wk_SSMPCԺp |0fuy2 7, @y2[gV §Ў%6"͇!mvr3k -P!f-qQJqTvD^ƱS. $+7krd~pяZPw-'Au|5DM`/,Λ*o!UKM F DM%iX:??{XWwߪ8 qq.p`vJps:#=LMqk"ݝ8KX[Q `M4m\.3bgRd`<OLZAso;$|zȢ[0 ؚw3p>읠5#ImAɬS ڤ6b0}hO0ZewoŢc UlwhXa7uN>0QxfDAϾHQgěwn"DU~ Fzѥq?hW_c/3W~]6tUe 7x>t`Si2߮:0^tDG [#v/Ӻ>m%3XZr3IUALm1Jk3 r1n 4!B=&(TNq}EXxVL+ /]rQ^EYXjFk2^ .uCքp6s RL}mLĨԔo5Ej楨!#gސO!ˋڳTO)P&^d@͆3\SQO-?IbBэoCgyh;S=/-L('R&Zeɉl2D=2ǷOSM9P*A 3RQ ^@)B?IA H8F'4:9mOso/nj[MU+{5dbV/$ Rq@qɛC 7ؠ,hWoyӳ5qJ;? fp3`I.㴷v/HN1)<Т u@@Kkԉ(&3} lľ_> |.C"3HH̓je^i:o49/mŎ5z>Ńv -YFa>)*z 4:|9R<^̲;@J80Z*sh5-}sS< )WJ7)۹JMjx0K!$Ϣ';-]h (܈^!ܪqa@V5Gz,U1;3Ik~N9_0MTV_Tu*Hn#nlOq= s|R @\Հ!(`F?CY]^,/*5[fx.pe@nz&)ˇ29&>B7 >\ɂK*9AUsTȒY({v)oJ6^M٩=g뒧w~I[uǮ ɞA9|IMi/N%Mt('V*]r~I&E_#O7w=WP'sLd[r5!o^jS4[r; oڕ1skg՞ϨIÂetj9ԋN${ ,j m2=A>p-:ԍ[Jju'NQМқB!6dlRUtȑyVOTR|!ؙX 6(IE8.2țѾWstK:ꤧz7|h1+u8\g(dWc,C5BJgz=`f '3MgkUd ȞD\PӖ;\O/Pg6b UnZ)~}JSEގk7#/Wj!*\s9 ZӔ|Ys mǍTpin+ZϻLo/袬Bv}>.j kd 翨$/>UwVjmb?k(oJ+"Sq?s7doMJ-١KQ8lHϊ[*HiUp88ڹV-4%BI[1YiWC4\Vi l^ Rn]w.7\뙑Xͩk9yA 7fħL("f^ͱXL>:w+_HΟȔeAQZ[dJ'wp[2zԡ;/mDhQ]>}wξ*Cؒ;^=]dS3u6KZaE5DZ;k 9%ك /~|g}9=6mý,(!N堣"dN}`d^`;:q""MT妳r^wόcJ@i؃V|#.,#xmP3t1>gEc1 \fXH5ٚ*?v+2B~A,)b|~?u+Ǎvyv,o{^@p?A]v/~/- FئdpskmgIyppDۖߟ2{[ ^}R *뻻QYdS aRBb!o=PegUذ6d-G(Eu<>ar5}}[m[ C &^\/{꟠˴հw+'bQyVh $BFm-?k?\!5GOUY/[ȥlp5o9@k(1$x,Oy}T&&TؔzȻũ~i sz4^3I=tQgܦt6$&|ŇR7_" ԣA?,l?P&ˤ$]PI}{$e*צH|Jnc9O%]:>jqY3j ? .'SLWOիbZGg䄁|TLŹ1)Y9ذtB%>w0>Q2?`_@{X-xvzs{N 5-Sk^/=> F3K6ѯHZ ioU'ay`u`D Ŀ-j:)@Ff>ܓeY}+ Lo$yWl6@3 .z#jr_7;r|h}j[ܘƘT%b `{  ^k-ߺQ!K03 sK)eW3܍ ]k{Whnea1k ~Y#p`ߖ G 1&X^ 4o6\2A/F9Z5THf~k<׺;yePpمJ:ufIik]##?Ʃ~Jagp}"~MNb&A[zmU:R/ (<5ZVmLw<?_4\ܑ碵T8rb^UgJ2:g0<ѯ*1Vc>Puk+7IS3u1w'AOEY5uƏIs~O}TOP->"`B20z{lA{5tg|ҁc#QQq>?<6d0b2TUԳFLayS# + i[C,u &eY+Cw=$ *pw;a c'$~c@\) Um`?5ͯ5i+&C@&BV!V?Ծ3vf>lp/=4K Ǻ(gaK9-U긣!R >hamkfק8<)5VxU~(8]vm.u_2!M|S6N]fT}sd]J 7uvʡyhHpZTe|dW=CU{"/L7WP~ cϢ5,Մ 6$z6yX{V"[7@ 砥0\^u`g$UIB6]*RLxHǨuIGkê\GPvs0m{(VQxPy)BRbp|jC^ջ ]./YSQd ;Y*"Sŧ-@R2SU+eދR1(Ҍaك7AܦbPe HqrMڟbD)txQƯȗ;$٢zjߔ|N('1UZ8 `b4',ټÙb;>q`Sgd6y8@\# 3|# U5h\v߁G ޲՞l7摄\[\TFlT"[oE:j('C4!츪/M82PɻPD+ɫ#5YŰONF`F+$(':\I(N=]^隑ܯrg?~rގU5dcC˖kQ \ 2dk|&켓(!M:dke+@VZeCnAKK%!Woo<Nm!kZ޹xBp VleK DlEyIӄ &FkY\aY_OÁ"3xp !"~Km&^g9m /Q>"WGS::m#Z|dKjG-w{CP7'S z?n?%R/!EMw(O lYmc@gNNlJ%wC ˆ+M"L5DH֐2 a)d[e`thHa~4IGH^dwCi)H/*ʭ8n1$rYX=(O[/U@Y],BH,wx .>E YMHAtz tƢr&ݶioN>RQsඈ3nlF;|X+A@^w|݀╞k_/Cz`?] S8z;G Z\@`1>˯̼s1+y-G>$Hx'Wu1 ΔUw;}PZÃ\9s!΀~1PzFz7gޏNgB@™S3; TUcfy˘,دC +zrBnWP;DsNsՁ|4[yauaH>) 0k0F>,ana87x9@ޚbH QCq$y/C]cs`ol[Л`#$xWcf͕])#G\.{C\fe1(#L;,Jgiq \`9.cӷ|u0.1A [rVbZnKX9Ińw<TUc/#smPho'ĜQ<6$3L_S{LV[w_] 9`6/̥x5"}^~Ġr7㞉x{Ua(wZɘgL\ՙ, ȏ+ĉ]7)'{opd.sZ;AY8T8Y.JE['b+_D"+ y'†*^?fm۵g\Ӫ|a0+݌r]8|3ư 5/U.)?xwHC^-u7v7[DĤ_?{ap^Zs/R&6[tlR/:f33cZbl цk)^NOܞvt>Zܑ g<'-k!^ʈC {A:LU#Hb#82{#rtƫVnj**aӋ}NVX YhE2gkg 9Y𫚿.+Ve~c n''bĴtt{~J9$7;g5q]7=9 g9DŽn8{nѸATkp!d[y+;\!< S\>{>/$wS0M̕iVi/`6㉆|՝}mgyk) 椼Ү 1[9JC C|ua S۶ 3}moPKW;AqḫYR5d1^Y0:h=-TE'ޯ:+ Tp"a""Ͷ&Ql Wa/~M3_޹_*fEDT ~YȞ%(jS}}3=d e7(ou43 s\+0-^ aUo_ޥ o 2fQ:DeJ_ېWQr%|  SJl] "QR$w t."DT""뛀%IIO_1&S}8q=48P #aq|B(&>M(!(: :1ءjBtux.MC.8g"6N'f+6h]j]yMS} f8݆LP2)7ɬeXjVNQT!.˵|9V['X{CܟcoͤQb,)Z [w2VCMg!fE+lA}wv%^Av?z`oI )NSygrÑsTצS$E wTJlf1C>hx\ C~I؄^L(&B OV-/ c<|<BflNޥ6EpFZfl&:7":GBt1jz9߱.}=3Xq=ӺOE/9 `JfDfsg®ڃ&pytdU<.@{N٠.< eL,2%K? 56A 4oO=~(*44oI>-;@B0|ւH8SS|PLi*k9UUm$GGƊ\ne +3o2jϾ >Q|%iYMqܞgC-/Aw62%ۻݹ|\TJY, Sl{΋6mhiq90la2[ӊ?B{1QYD;Mz`GH2 o~0"~uOi{v""/k` }rKIdLX +c55l7c+a*Ujہq`zFpP} r&=Zw'jQe3k,D%H֞Bƻƿ-W{mBUI Ȗ#O?8%S j,AЮrVo6Nqm Dr@O -۳H+;&rG>N一(98Z`kk7JfEweoJ=5\؛ׂ\/?ܻM0geE(u^ni.у#0aI"ʒµK/qlowށ5#;)zfhhMy\4yE8W\bkK<6I#s:$ƍ%YAO%`kL@uHS M"u IFj,Jx\϶% UA ry[wB[ TڂcʼS3 a=a uVZl?+VLԛwեI¤)qK/3;>R"j8ۿ@&tSǧ)4]?3/ƊH`R5,Ί1+Ϙå!e)ǑW%r=%eKP}4 ;=dƧU_"ƞ\i/cmAv[ta& 璬Kh{cDݭ:ǣy#7eùlRA=jޣ 53K}5B;=5*n)wF@6_ϕjyy;r_"տ8 >BA[N hi8!* NaUQ)g<#fRSMIoFK?么u]!H* Hy"d<&ݝ1tK$\ruQO-g>[7bFϸ:v۾]q,wqϻ@r]%@G$`t@e~A1MV zᒼ 9ʙaM<. v l-Ή /hŜt~~# ꅪmqn<&|vH|.q`n:fͿ9Ib2]F" n_2n B=tX$c3w;ܴ!RB$ GL3C&gcofm̄LҴ>>p!m)xK\Q9$16t~(V" 4ldFd+V;QH`I"mltT2pEǵW]8eWVqqZ"#y7_W<Qed åpNK&_aS='7;W+!.?sP芬H5ׅ!$&fxyvz8'|o|7R )w])Hpg4fV GLU35eYVF<̪>:ptI?Q~_KҾXHQ)Pw0f\Ps_d JW&BcB;W=BmtFRn-ȂOBv$~' & 5>nkl%>k%[k$p]Ts`TƿV@"@wz'Is>N ^z[);;9”J$9_D߁+l PxaQd1"B G]'9݇ipWI1\಼؁C4hNTbVHg7pcid\b쉸!?Dd٨x;S1{pFW u۫Ҩ%e7Rĭma9طTs;V ̃wza5ؒOBJm ż>J 溡]gk_3n4'ݢGLړ V~*ƵmAbm}Fi>ZM0OI%#a>Ҩ=OX|4 M[.zԋXDưOA!B#7Eֳ[R;V,8MTҗ[ILW zh]n?=rp8s(ᚊ[5$zj; h%>R Zu&feo@8*%"o24tD3ꤸ e&qYTxs}g/1bY)JE *5_C+Vx1 I |tw9ڜ_^4Ce{"f{N,o^jY21&׷|:M~Iuseϑ[$h(?Eca `x~G ;"?1CNŭ9 \3p S|+P#jl"lI/)apY_r_hIBwJ6;k(wHp;J4\IU斅 scvd p#aXEl^M1Go17z1|7ӣE2ၘ;48l¢&lsge.\6!ʃ{,JZslai P|JmN-h!NWo[dI j0#w 2RRh~'UW7HÀQUa)EU{]J1)1 Pս1g4f5SwU\:g q9h:Ix ɘ n~WO]ˎn쒈hS:blYYYkJ^b׳ ա:S"ud__p3\nAƏtXh(P"g,xBQ^`S)*su uAb;0'!91P4hjt[fj4 @p7cK=ՑY(N6k5G9 [#@_H'X-P YG’no<8B2{EqiNlPԿ}q71,5eL[:Ej ·A$wmx=K| >2J6؀yd_+[X+eJar0>"H #wxPWN> y\[ 6ӇϤ!WIQ-ƛD<+:+M{VN }W1CyC6 Tk 6XMo ǿI녡DҔO0=6wЦ$oS2uuڤA+݇3{A_?NypBoj9YZ*Ēh {.<'zƕh${T3 &/s7w g摠 OMy ΐsBsu#uK 0K=V{H28*h %Ԗ1ΕrOyRߖ/O Z뇥x _ R)TkXspxbzzzd$VqwԓPl `FWIܢk$-!ou:2R',g.naTx*n?V*d˙5- wKEJŸ5rr[k/֗&${\228. Vy ǼpVf_'cv ZPH(yLAs>`*!O Q.5%ї"ե( P:pI( ɟ/#BW~}GcٌWòHAp2lVa[?2*b%yF)7<̗gn,C(hVA_=i>Or0)rnFfa2@ k Q_ͅŊ[Yt=R9 vTb66F'2مuXۧrє⪭8[ԉxUQݟVEGM._+LxcA6L+(݃whu K*m:|-y80 ¤ ;p'mieT]>XX0Fټzg>ӻQϧ(| sN!YvlkNFQQqc֕ EWz\RON4 s;$[fe މNA<աzƆ3MHrPmۊh{IA"gGj$t3]T]:z>4/–Pg_n!FRPXRj7dxalh`h{?铹+z}}q%d[= Өjk`ݬ e-~rp-1X󽺈n*Dt`#WR%пs8.cl\fJDB?Q[ IGv{Uv+81㶱+orDlg,գTUL4aL¬=SX,'ʙ)EfVdvp'gh$&RHjš):'P˼~/Dv>JvBi?h])xœ9vqiyr{JUxQ%GiJ qA^A_7e8J0bI!X^?>|a,(X.&zytw ,}Fs6_m!v78 LD3I텝֡5|5\Iț3c,Qa-A;J%B/ȹ knJ(J3deAXbk4 Z g cXa K`la͜]A 'ĸK~*sXbN%n$x\uk Rn0͆S397\$^㸫14(NOĩ)fjVESw'*jyg|:7_T4kk4(3 wSlJ$ Γ.V$!sh5}_W[أЁe4f#Q??Km0b w,!yuq: 6{PO*㚫$rkgEԉ,ʛ =o0<0I{+cJ ?ETuњ-bIM`ʃ\WE亪)7`M99 >w %-֏"w2 ZB ɥ֖@$V؎B ':@i9 =I{͎uﲒHb13-Baߐڻ@BTJz0ʄ(^bM([lRƟ_oC~O85o\FrWWI@}D׀6Z&IdWHū`.Kִ'/l<N9SZ\ $8ǽBE,<˧D./ED m/k y0+34#˅ myIF58+8KBz;v\B;AE7G^%"D̯i8ܽK"j8g5MkW8>A Wcҝ#.=B0J??gl+6ohI,1VgS⮦W ˳1kk)Xml 13l|yET;B|Nn˃n~Yokr]g@AASMNQxn~2ٵ̱6]J^lgƖPT5xVX sQk(wB}p"Kv \6ʽҮNƿr2\[S,鉜:!4/5`xϒA0I+4u<6(hrWP.u67 φ -XHC :,Fޭ\&Pt&Hj/۫t߃_i )#e.^}lXN$1]?kjM+XqgD&6m*oHҋGs NO?pmiyVz?!d=zOBސ.g`NoyÖBM7 puڸaߙϞseOHw5`]f e4Qm#u yMh< ԘA ATMx1:r} !Wy׍"1K;9ᮁkZ713mKPӆ+KʲJWH?z:z^RPx@2[49&lx,$2'l;kM}sY(UqC\Xp s yvv8ʒU؛́S^s&4O$f6A$c24H^о厫$?qN XQ̔Y]kC+2my6ܫ_R^SUJ]f?&6k/ q0sbBx"+ lb2K3}ykZAK#Pm/iwmwj4z#0&k3ƪM2QUK%#EG<"(" ҟ^ؘ:!ufIp XB~+(ˤ Po҆3\}`qkt?]UFMF\aO݃Q[-ca ;!硄 Sp a'?nui5%%QIVI4INw^|Ilg$9AdYb3@T5_1ke=};q:'=,AF xG;=NB+1AX9j"=# $} 9>ɷ1)B7'O_!IʍE4a4h&_l!i?4goAV)ƿ o:.Mau1"$vQ,ovK Sxs5vXJy°y⚥HJ'K?X ٓ@Y)BP&U«jğgCd8ƑA:]˿R3i !п;F[ <9VF]B|{^D112 n?!DR QGvgo}(vLyqon-d1^j$,a>ػQ?//듫:`=2(6foÒ _rJ{qap"Ԉ  F RI!ﱤRj:[Baďx4O  h=ˌ^LA:r7`]L K Dkn9#Pz_%UAzwT$XgYZ7443de31eb715ab34a27b941f967db132b8a841e4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05 7de5d82fa3d44f31e36accefb515de2967bada64