SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   P5 4 ; HOL-Nominal-Examples:threads=6elapsed=382.389cpu=1421.428gc=124.188factor=3.727zXZִF! >]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NQM!5|cAZvV/: 5oH3/T곤` |nT1)"rySk׋*s\{ONs7gu*ǁ^iD@jz-7F)x,b2 %SUQ z<Jv  RtIl;WaehDC`gC.z(dP? `Iky^C|0}628Ѽ7UmpVKMyҚ-؈Ɵw*޴T }$0j?em#@2ĕfcc5s!QծFz }'x!yT3t!,em8'ypT JlV BNm*LA<ͅqBj/H&\ S25*`j AlK8kPF9]1ܧ$+W/ E!xvHE yH~dNZl<ϱqtlGgIL ;Cxw)!yQ p]ӚF|v5ZjkX6w!c, `^)_.Zn4؉^1.ٶ :Y/'?#j-aWw--FLJSez3ykmK1v8cr7( 9WizQͧwj*+|%VS7Nla'Uv+Կ*awKF@avs`QPgb:ڴ VXoxesNҵ[΃, 0p>2X#Q{XfR=h?(>/[V\s ˟FAey]D"ߦs9VJ\6WWg)E1?{,HԺZ@#ic{j;z}j<+S"9d )κՊ jfN;LҔV'SHX|dP_tfa9f=΂8̺.p8W@Թ$I[DB$y/8:Mt΄1pj5޻Y+IxƗBJjeDDYԴ l(C>bL϶gUEلcWEp_Q-Ic:WR&GpnVО1j7˄iQ /RL,-5FB89|b݆ ~9qƈN̻jPL~nks;7b6,bO6=2~q}u!,~)08~)?@a7(AzO2l%`-Lc|+wE4|P|K)o\.l<%wM]Cպu,dgB9OJRfc~ٸP=bc㧎!|ߕ&04ɞqH:RbVdz/kB1jT DӺiRUpr@ue' Y)sh} s{ډ@ ºJſzr@SYr14QMNy c/ݖfhdM,1AhMpwLh Jw"h#r=ba)xӕBKnQ K@pwSOvگ]u[Qi$Cjij}ePu5(}tЎ=JVm?}1bစx˹&Z-:+GIf 6TÑ֫ \.gD ="GZEwZ5sGFrk3 a&]/#if um4[[L!T#.j?}uUAݾy:k%f0AӳȻ8uJ IZpu}gp~Ϯ SY v." OęJu%BX#E\Uu{>ٯy|O^@"2S7[Ѻqo#힔iF`"L W49CRɴdbk Y6VF,m e=w*# EC$4iOO4w_Xh%n IѴ靫|ONH5%O:%pHUdkl{KJpok1[(#cs'&)9V=fNc J#TY̔9A1KXd!P39"96 ɏoCWܚdlvF>x-'O";):V`uuBݹb*b2.W]شS3ݮ_k:hIU19jEE5DVOҘ򕌹~eWZuQhJE7kˁy.(u6}5 { $wr,d؝ z8'B#={_ixQH::W9Hxֱ'kxXS}t IdFRMaTa@عXjwn>ړ/!%I0=K2rfǖ%+Ig Ju$%޹,p pC5'Xm,k쉤o.a)S}V+%G䁛84ůojMO)J҄Rl=Jl3qbpTЁDO^W>*Z!x [oC!uڜf) KIؓ+Ʈ@ jG£c@/yctT*ZO:7ߪY4o`3H0S`7>]?>۱RkW Jfr R 翻-_a4V;I5FWr\ݞ1.ccF?-;gꟜp^2p%D0029VAnT8d7 ~ڼۢ?Jez\x,hVbS/V Y= 8b9U`=ͦ('wgLfCD^]0ҋR;1ewMjOkZ%^o_x/>}+%3*bGP̟FJ>(h+i[ qzk14jxUA >D  15hIFVK fR!2N~Q'(򒦺p"cmӥ꧿3Wnta߶]x6.XY/6_mMkN?UHDbFiA\`F@ 3 E6,dV(„1e/0\8?[- \gׯ]R#>K=I}k7hjyõa_0tD2DiւJ7X ̆c!>_4)V*-f-oίe>9(l*A- "F2+<ǞEG6d؎Xt~Q֤#I,MANy3O攥} >y/)5B4)Fk~mP{zPEѯFZ+o,l&vP.5)% a1GVws{%j5io%QҮv H. Ft]ЯW ˍģNq:ȘQ-6[ //;>cjܹRJp՗t@ϫנe_eG݊uԐXIGkVe=A9>柷wOF4CܜaEXhG@Vr> 1}%z_ϺxG.z&MBQ!+/ՠ|ٕejЊ~o(tV:mz9%ܰ,Kd$ qMtgKL`D ^Q9h{d:vi#jK5ͦW]:i^'/N0&&{ (QE⻞9BxaQ`p"9I^S/8Y!4~10;>'EgQt |[g`kO@ETYS(iq|oI&W*EȈ$_G;;V9+԰=b_.Fc`vT f6ѺY,5]JCx^qOמAZI6+؇hT.Ձz:> 3΢skj hښ Tk =U}mj:-Ӧo6LqN ~Η՝*G7 ȹƔGGׂ Y2;fgSν-BWs 8}񓙔g<(2fY2;5QWjkb NRl>e1M 5fG`7]I:ksSN)e04 e4 :HWeajO tg1foP,˸Nx3pE?%`հ(ˉQMj]zpE:sљErb --{ŌnH|mDx1Go N)8m@>y;ܣ+VMãa3R#^7bz{Ɲ.Y}i+EGaqx!Q`m(2#]1A|.뗃v7o*'>W3aYL;DŽXx5un>`ewK\Mn^+xcR[D:ޟZ{6$@j&(|X|c+ XQW|np`|&AfPBy=lTb[!_Ѹ> ˒)9䕵ePe="Rא!ά{)|/+v y!% ߕZ05;xo&x DKW#,`!?֤ԺWkrz !j.z1$;RkiZPpP+Žt~`p?0]r@PL'gT:~I`5Rǝs~FowC9u (G跙x4Gȋ<"o}J|)dzb 6y}s<b?~Eȹ"'*}^ّ՛O臁{J/rm-LqȤB>wIZuLlm][)h+<@VgYZ7zXZִF! YS]ŗXi%|qoߛt"6%hgza!|p.`p fA]ʺ)V'>x ٟnz=~U*rݜD1aS]޷"5jI%U Azj܈n:;d>b`n\i֟%EmfрLKbm91xMBo͈'Whm˝p PNW,E  ?"_cib0pv ?酕y޷CGF(%ypjY_VRKUY(X:ЬA)R[gPB4A% { 0piQDu?y4g}'tBQZ)RJz^qp30R#o8́{~r3<[PSf$o-?{)6 z-qA>? _=뼆2;P-'Vo%.<-<߅;*ũeJin9>G-Aouq"Wj˹8&G3ZxQ;ڛb~T:S# ~9gC&cfz/2\T{sS{mD[g? ?@)ZY5ںiE0Nm\V%Z_;v7iH-l%4n'إd%po6U ]R1iJ{AcR7  qf?,VʚyX.&hw0V9MHzY`Ch~_h-a{1X$xIRն8j*7 qGvE A?dp@eǯG(72E5QN%)LVS'bB xvk` V;tV u}F|t\$v:xi HZ0NjQ|{A)Sl̇ICpG݀¼YFhy;mJA̙{ [gbMRH"RsN7P.PR1H6o87fhfB1^мq0T} SÈS !)AB1{+y7\5%%V.iuP闐qV6#4oDa|8sR߻c'LN,.[H>M@iS$_=5)nA a8|C~sJyNI>)d84 <#(}wdۮ<23Z\(x0nN=[9 ?XAdP+w %D9oQ73>Y JBPGP:#y`*9W+5ʝTX^Wdč(B03V>9Q >4Ǡ`PٔGq*b&lXNyW0}KW lx#Nfo[\!O.!Дڊ| (i[`|;"BC/6uhV/Lj^_Iq Z|얮d*l )S8?kX7Q/;vW'H,J7E橐g :c!7#Pme@^* JƟ}G|W,ٶvN+]sOV(.uXӦ~L5L5.O1eq ab(͝?.pg%RPĎA{PSC]FZW]̧ ~0al_e+vh_cTDf{eE>m3qPqП9^Ӥy_%X/aM1bKOm@\)|*uWu\A3qcg#eEΩ xW A䐢FzM%1L@ʜAYirO:q'4{V$a7NO{sݿ#{CPVe!r4x4Qv0*k~{zۃ_w9^+ҳHΣzs۰`rM SCRp*虤)Ĺq#-_݁Ӌg،(iAFP`xja j<$~Gses>=Ƌ+/(.h'lBZcG #ԛ%;]D5KŢ)ionkDǀŰv S43ŒwfAʚ,ǭZ'z4#` (XNvƟO@n%STX;ȣ_S~<hk{ǽe LhFކMCy=)a߷ӠrҜR)%15?Zyi+UI/p+Q`U&Zq81klNrRVh_NuvDdle.P P @YvɨvQ]9HI['284& )`NN#LN`,۱t>Kk)*PFkH`/Tcae/ 0 ?!XLɔDi/9 O.\0 ݠR# Q(Yn$򗟈 #x R!^˞9 Dgp]v]1bTrkg&T@Xul)ȳяݞ"Y1G=k@l&D?,<9!NBS(x&(OLY~L2@:KmM9d(`tոQ뻑Z !׏Zwu2o4>`li~c~/we)_sl1N:](VG'M>V3 2efPXzAKZ+CV*cqEZ}wEmI@GiT]&IiV e,Poi!!oc#:*gPПɆb v]xȖv۫c]*®y] B>^wN1'QSr͟7wLxitl~XP mQ9 >a ΫڏQlPplqRi g]dI8Ms[6nK@\ANbk(U{z"r E s*F!KT 3T6R2cJA۝ACߘ7*//˅/:hF;#1 Iºx)P{](aJAmgg(civAC 5mh=ƃ P/#o:8A=TTF P%[s 2WGԇ&H) {WEA Ѕ^?-cW؟L+1126ICQC)=[lJ`BUO-ز)rujY4kHQgIx¢o1.H_7ZnP/0yplSΗ ah%"lnF maf1lD7o v_Ku\HfbHe[c`dlm}z1IZ\}s d  ,e1lkSSO[3.TZM=t>T͊(6f1TkOn$;~Wu7O6}Q ,T5௫a&f$ B vev➫)+{!}h%OfH:W$@ Z8~ RYqQ^3粌dc0WR&1:hv@[V\-Đh!ѓ&Ry(gP"MȮǸy?|GK{K# # ]P(%2iV0PQ]#ڜ8VZ&Ƞ[Êl ԯȡ T;#uoPI[$x|z~!vGMLG;/wNJv7V֊lG>meVҒ9G%~;8)40BL3Sږ $9gj i}3Zߺ{)sU>SOɺNtFsc嬉 T@J~ Z#4ZrH˩U2810l~AO1|ZaUzsZ"V/qƦ_~" js\^$=[e> _ބ >nm iWU^CkXZ]h)c8 O+GB:ҥCe0b_3Z`fِ=I09'rk7V*0E,(P\ (v7$UzT]&&SmoBG[a2/ @1%d@A/çf-ARkb|CR ĭE8#2qdⰅt'=86E@Ru\=rwW墎;&p$:8WeO#LU:ml5<$;@#Fd`#~ڐ$7GɈmfe>WTg/Ԑњ:vR5?E}GJ!K*L F$gƈ'zrVgF d^.}Qw[g-%L0時J>GUX0L$w[H<m!njtApS =旻kĆrh<{si75q0, L7 ~k_3nyӓf1BeC?r"(bO!8dz \1Gk!>L_Kf%M7"_Ψ+z4d._aATЅT#o@P{1&G~w[o`\{gEO?oxagQ}eQJk9-$67v+9uywi9OIN9[톣sϮN`@1+TFV@80pg|XZ Ҍe>ڈ*?p,z⺙+ôJ\w;(/[uH53؉Q$F)JL9wA@ʪT(* #𿅷캸Rݓ1o3Rz=ݶx[K»ͯ!a71@f)<"j+tXC!w!# 1Ƽ,ne1^q~*N?p%{,E 8M;q5>3KLty6!jR\:W׫AA^L!J&[}M?_^6bi@UX V9>.7cs%׍{5?{~;_f)KMlnDSX#I7-&ƔVLdh1N=œlK خF&x&2y&jWT!x]ȁ?QB"}ѯ۹S.^᯵KfbIQSu%PKxd}Q|$˛# +5M U.m xU CjPpDN#61 gyvo HlFC$WkX=jk࿞a_3]d@l>S-K*I0P]{=wOm 5Ým&bRjBlT֠#e]uÌ&:FJ,C>l#aThy7oeOzg)R򝥫0!Lf,9.:j_e&aѡ9t2%='օH` 6HV[S'7Y8aݢy5%3 "g5z }pc~A(Bp,Y^KeMON.J&jZw rM*bt$<PE$Y5S*0(P2Yc==?zRWrK?QPiƪPg8d4ڬb٩mU9}=MCr ,uCofE= k*.< ecb!j'CiZ_&!c2zm:ֻ@9'D8̱ӻ+7dve,T\S,lgn k!%ŌOMX lJ!z+;aFpG!^A5~.* pəU'%AAeg[Qh.kdVQP4ʼnS:ZI3!V&-̨KeG4W)Vѹ Tsk{FM,%(ݢd*qk$ٯ,oRm`ayؚTeе䋍Z7Ȳ^7_9\MaTF=RphO]6AuZ6Nsl ƀx>ޑƙteqnfbI#~8Kգ149-M \mu*ѯ j8?A{hbTzjV>ӕoc+~"F55pgj'5tǟ-[QpqWBN.~[_u#tP)%F'AJ*y7@T$e:1ZUA*za/g2M?G%m`hO[!wmCƳpW٢DY轊q@ܑyJb!Sa!t%3-]Ӣ82t&ݺ:Q*3Z9ؐO(bO~o҄vT};8"NG *+P; c \&păLۙ }*H"Ry (A`XXݪ4OC~}4N 9gl-x*;eM$A&&8yp4WRnB3㿦~r7\<6Cg|t MzTM@ϓAϋf O6G:!)?\SN^A{"DOP?`~ٍPe2pp~L✭g3)ޝ⼃R )(ύWhd9 VKxb59 Y j+eAZ!)CZ9L#zpZ» s7o>E$Lc7kgǫ/4m6s/ede5mӧq%t!ų:c N'}*/;zģl.T EA柣x@7U\$ <5|~Fˎ[\7zpn$i}K@lq! 0 GK%r'_cpw_@gƫ6,3^Xzdj߬PaתxI6c‰,Wve7pR7Zed\VOy+H鵝"1+HԼOO.fD " L?mQh >tRu-.bS{Z.胤pLo:.\F#VKEP]Hj;*|LA=T"[b[-*kX/>%Prl JZ:`enIZ[ C{]Y'.>@Ц|8= .XEUyK]x}ۜ$vC?TZ!삪M .w̿H|`]oGWbSg_F;;p* 11. u?}ҶDSHO22ϋ %k2КTR2|u!BhtV8ū}_9NMo8w/R &2*v(=X@o bkla\GmĠ $S+8WIӡWKpmoQwx@ˏcx$ G$ #i8S D#;(S4|8@JnVGF)X0/o ֟d^7LeXrmx{w.dfnTX6H>ݢ~Ȑ7KEk\E>%(&a,7Au'N82eMr7߫ܭ%E'*n<ƪXw0l$8!N{{"atDUnj?=4,e 5}jg7C~ ͒Hxl`oS>C@1nC 0@*҅(׵G,F(CccM~F(]Ѭbݝo7 n[jR^a%ehB$",};To'@޳`\#hX@@C#UR$FFH[6O*U2 =ߘӜ?-xB'r[2bYI4 3?`ZD⹣]knK3X.dl3^ĠEU=524ŎMK'j)iEÜ4%@pF`~B( 26=WOET)N|q^fHr{ZH6SWZόLeC0FQQK%`} bOs1} bz3 GD"4?ty ~; ~7j9AZoJh 5$aD{za"*' dOÇ_0& 2LPD40*+SO(^t/‹a 6vIPp"id[$'n%Bk%@Xߢ+AG%ͬ?UBmтr-R;WFdӈX <4, {$R!j~I, ֖>HEΨj1l` | 2Es?ŭ}Hf,?gjԽ_*!R׭w4UBa+ww,jLB} d Ni <–B`WrTɺ1oQw-۪Hu ]]k\҃B_Z(%k'ܕ] :y>? {7Ǎ a҉TT 3iuW~K=sU1o9BRLahQ4t,ByrbT0ؐN"T2n9Θ7̀g^K H7u'(H1^EIbF>5-BbPב) H{#<σgʨ-V':=IXwϨ٧9X7li1?4O D^Wt0N7EJa N),/K&!i#2[Hjr`A=5w-G+UMCzdc6VNd08.jS\j7ho~p)nywW]4 NJx-tTu&\){J_6wF̩K#cm>YANUj`Vxvk#<:،եFfkG񥋁xɔ%5 lcmO(Gcy/Hjq( :eH - m1eOOG‚ Ծrgh'QZc|Xd}Db5IDeτ:09[WjAjmc#nrPg)Kd0+fƀ|R  g`3K6aH^moAGNr̊6 TH|e*nP~L /^-DcT %x 9'$,dYtu_;S]wCuWGupuQJβZb%l&: 4`dl̅fkK-{;]N79ǿظpthɛ"]#z0Y,6bۡy _Z3r{..)\ ( Vsm}N`:' rJt S:-dyF { k:aagAHjF,kITs&MX>AsC.ޫi)FxmZBirt8 7\$Nr9;zB+_M2x@!X /~\B!۹:gC-Cs=,Ԙc%`ɫGTi a[$ud)r3-[ia j»EKW#Li m_rRSNOV&-^;Fʿv@@OhUw撐ByGjnhVX_yVd Ȕ4rrWX+`yŌ6ޒ<=3x*A]e) x,5G`@7,ub*%,S'o6WcDž'N쟓G9o5`2_zQW4^)4H)>.c줚3S>S R/LSa%܆6p]sG)0>"S3/jC6 ʦ!uk)l5o4u{q/NɈ/6sPf韘~h `rn$2˾42W82ރn_?jUH1(WYcOXo OWY/ ֓/ JLsywAΏ||̚0V$+;`Uw Ħ2y h%  ^w aPv>+qh9X M*6$yO;Ȏ!M~|ibUb$Zrę] n0}2Q{< Bbza2Q(I-wD7c+,ՀW67T .3C=EF&]p2V\~nЩ6 r5Z9׬hϔ+sصSNaf^ UX=Q`=Yh 1;2}Q_neړi$,Ю֮(nu1}9y;3|ʙJj.f~@(}5'zd;*7ZQ-ߖdPB6LOĶڄm |îBCǦ2үLQB}wMs#-.Jx"<{ 8uF5&lC*ڿ3Vhd+%&%\۴e?rR:5rQ; $5HtR{53 d pc.x!<LD+M>[ pGݪZlAP9mΡ1␎QZ{?ZuK˝ jiC%MV :>6,u+AUf3VN^eKQ%+"QVUeKdTy8L{'S"M ,K^r8v{Z`mhy>CdX H~;T%W;}Z*3?!pZwBuytf@On9[l灸/;xLGɠt "0ӒgxsŶK0t&[b[*L T 磝\KQ+~~@K\3Iuk#,ͤ73k7zoN;8ZVZ_  %"}EvWx@v7sNM#"|ە qvf;[ ӈ. #%>:[LQJ &|p|ǷNbh7n~1paZuJpccHimyUM7cpY;Vun!8*^..j7J*DXUɻY=`D4q,xfr$ݧU4;4?DX&kbQ~ -*ӼAG,X~{;Þ Da"DQK =3CNIBB8171 tO v5ѸL^]w~ko0Jճ BȈVay1n ]mK赗ܲywDBQ}t=OL;@bA KƅTspaZE],΃o%C su֡j48ݯ',w:Mb{}$%)ƍAZ؁[ߘA9n B2J.{2٩-.C j/WdqfOdsȐ1@d`Yl2n&k_dSCE_Qܸ7+!o£~ mKLǿ.kḻ~~GCuB|]VM!o?3ޜ5A~W~BfUq-np;CrᝄэJhhđx8dm!FtW2fˆ%lCٙD%Z"IN(QZ'Tj2~jWLDdqW0H@F1yYh3b*JNѪ-+/ȥ FHeȲ-te#W ʳcAW.3rbF #4K ,xdv\=Áq؟xY.=z#k|5Yp$7-3(ORl @jvxj19ݑ+ K[ ;22Jc!b |Arf2)=`Ԯ3:Zx PN GPӢp2-z5E8z͒%05(t!˟Dz+NBz3fx6KjO#'qpRyx>K勠Cv_$݁SぽLQ~$Dʢ-z~pt `ϵy0'$Mt$Zfi=kQ1W[i -Hm{U*[b2e )RRWpԣ)dKtQBQ2H%4ej}(\m @{; ~鲝h[MҴF,D;VXqBԍ8}Xq'cu$5P tk=90{B /lR,`.q.qN(&*9%.Z5hw%@[ ^ϋpTLur ,lNSD@%QsrpUn=Ǧmdn`TJHz#QvZDOv?Ps\!<ʭiu>S>n|R٦r\:0C{krp Eũգ_)H`a]CCPvo03B񍈫l5[fX-QM(h$2|OT$ǧ9?&fۏDؤ\+ r^L:cs):GT@lH'QeO8iI xL$`)vٸ n(:KBI<ۥG=˵E!WA,ɔb8|8 ŨboUR^P |w'(w05KϪ2EE I^9r֤B* t(qd-]Dk`7x1~O`OwlPg{0KZ3zb!th u֖m-}&`}.Fh@7.p{ >PJ)D`0 ~t*d9\; ].Ū:ꕿ {N0Mfr6]2tOxűnM XLb)9gHHs"S$ZY8WRg2DX{-F"fh7{dV(=yT qO`:W|6&8xtZKizhuLM<}DD/o<{8ii@k1 R^K@Ұ ՔF ZV/#{," q8kЏP Ji^CZ5͐$Ma/FN+:X)t/0H-. P) 5=-gREiHH{דEg&UwBUqA 0gޣq79 7NMFi!1Mox $]cNTsGs'AdE2-.({ u1;ܣTДHu?hrƜlg;Qf!WcL 4ǦB3%nIvxAru(q Xj #e6bqOEQ{hCgqJ#^W?PXe@["Pl4ِV7SfdMVsluH\N !7;+ d ﳏ{G|qm8i[T@m$bi,{Y͇^ =5"&]2-Vʥ{81PR`_[FܺuM F/]<8lBC`. x&rA톴ʅB']MUP_XuΌ_ m|dۭ¶CE!U@-]ye#O 'f޹UD:mPM5%*.W[X؁PG?oG0,nm߳NҟoمR[MZ|m ;+G*^8XZULySicͶ3. t6] 0jxZW?,wnC?0-Q9zҶ* ػtVy>_ZOk WE3&h`F*lTkIe%f6<^VB+ ܶ;M0D9qISTNbF2Hxmap ~dmj1?YbǤ{|Й2z]E8m6Xuᙈ(`E&@ X=Y~ž ,eHo4%7@8f~LjaK$i͐7 &T|a- y[nsPcuޡn/Pu9 1"-cXp6"Sf I_Y XA RꗔS.s+m0~Q9P>)+f^l+ĩno%7FJf\X;: GUiYuAثHJvȞ=Rȩ 4SUdNd6&[ؓ:QiL-DE dX^tN7)nrʳL(J{P&}ggNCM®R+Ơ =Gz f<^F.Iez0 uzkGMcYZ'(d;9%!VN8m)v@Mm&~5)fM[)QiܾWu|ov1L]{iK9/Ǝ_M--. x߅Ga-\T}+nƬ;uh"cs3ДKby{|_BE U]4_X෩V:o3SR,6ntL9< pNgN8х0`qbF+'=Y_[ª;' U?< #)2g?FB_\;Ug*"]ޣ0 lA:_ ܆hL"AY#5f9#bCazYMRp9<~76mL3oPz[J-SBHn٦%aiΊ,u-MDqmQgkǔB(^jN=)I5e>MI< d ^#N&;,QVnKurX_F{]%VaN\ W{me\bF}f|90##f'U לDT2 :dclzD?TV_E&Xx~ )L2߅cW;\Ć*p A[nL eEi#GHT)@ʉfbS[~S\sX`}ͣQagaSx Ibtx%FogڽqƅmmШFIߦ> جT̆؁4r}3$(!."J咽ע8VT c]kG7 >4wb^zkLK;Q z#]oMW4f{^EO0wbXIRP0"~xAwkPD :feΙ D|.TAB{Ko`+N&~tx$) Niz SE&hD˾Jo*0'JK>ReU.D  LxNo˱gr۠.?2:=)nbXl,wFr7 Plϲ|(EEOvq:MY?"IעjG5\5.^UKݪMh\,HRk@|j#:̕QG '65ݤ=fvNydQβY.~ [6|SSU~ 3,9?o{i_Gs$bعseX2hpMfzceOa錸fLiHzs˳kGbՕ (e`{zn{YE23lr ]l_BA;n} 4刼)W i6Kj|)7RU.}-bHFgO=smd kOim@#\rzp @O̢]<EsH`h) ]`Hs ^ENMmvr ~,'qݨ<+gGK?9ffCuYMS]^ʢ^z]/2@nTP;7ZvBJHp]{3o.\ˋ.s\K. ¾m 3±Yju<àf SLaCG,_an?[XĸA*,ؓ \+\~6 ڑ^8 pip.ۣ M7.]rԊKkiSyj_|,d$)ɸWˡTCP2P6@^fMVKT=s>So4ZRkDLggYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52547ba218a63d9a5add4008d0575f5892a603d9884 4904f3daeaacfbc5142ed8b1672828ef09f3ea11 1ee4f1daaad5f5770cad05d24cb43e148e385ea0