SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  X%|L ]/]HOL-Analysis:threads=6elapsed=302.121cpu=1459.772gc=58.568factor=4.837zXZִF! pH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF MPkK oq׀$ mD@l7eHϺdu[j'S&HL+ Ŭy[nVfᐃ~'.Xج&fD Q&"' hpξȔܑ{ i䕢X_[p }lߖa[Ë[Eb6Ab- Y2DC7AeaqWA&; *-;[x@iojFA5(ΠK' % HOL-Analysis  wgx_ҾdMiPԌu7EPtLLsB:S5ǣACZAP䍄D=[^mDKD5d^SE7dk 29g ^b{al5[AkGDwy279]iZ wv| Vp[9|=/&ba`Fn t g;-2$\n(.Ugd.#F5ҵbZ_1ά;V PxXצTta;n~+^D(V7jR=;[󝇒JVڶݻ&wSFGBn-5fO|ۧ]|q+HMiML;{Tjc+#Z#1{:4Eʄԅ.ӥHVF">B<&Q ?R唰#)%fi\xwrETbM=EpA!s+OZ̺tl,L 9Pctv``B=o\YeIU2ga|ۊħVv$vMב4ݤFR30L8T~a9oqW -RFő_)_]{QA3Nt~2 MBJ |?/ 19ze[I$T|2m./yRESC5FӠ4l ɼNq6M`qe'qgڪq*eƈ _}Q4*=4YXLI@|. wF\Vje@aNĴpw kdQPFLRE\:n=fSgwZ7:4D;'A+_z,6cn~ECb1}7s~ټ{ЮVb6I#xŘ3T[D)B^mDPZF7Dji!Ơ^8/+G=w T/Bo1]\<Ҷ,LJ&P_ K#Er{?eJoK[ðH&),x\iN7{E @N$%c vŎy7Q z ᪶sthqR:Z's- ξ2d!18͉"z~. xwi=|NYrW$Mgn"dh<:i&>XJMū\%&n\bi;I&zD~қ qͿ6j03YaZ/\Ϣ|e 9N۴] 1&" +_Mb )F&/MWW5D.R,(I-4/y ~}'U{"R6=\솨c;\Lw_kz-P+"{Twg]y1uM[22q[r g'ʹWJZ995 5F z"Ԟռ2NwD|[5#oBG*^{3,釋6q+\+Cj=D*AC\quQQ7F$YkكDhXA[gVdhUn f, I cY1m~S4b_*1[5.I[8+2;b!$ۨ} w;64?e[=aO6 bJ4_  {TCֲ,풺FX4p4%#E o:YKENvʼnN$|OHdM+),xz'o14VYXgbfpގ7c݀,ؤvrg MBaY:Կ][[*f;է\]bm&D|@nLqOH3{ G|&)6 " uR]x;1Z)fZsŁVq\|շuC1TFy(&?cE@š( L{#S? Ts$faPyvTDXby{崂sHTp'A@&&[^\W)uߏqfėQf550t$ѳE`VdK`DZ| }5Cq@VNo[P]i3h59gjaOw85Wv!&SsӞݮ#LjoWqF:z[},⤉! 4p] 7;N${h!!jH >쉩},c O]|ٟs GP@R}t"VAfusY+KyxܒA;NTxT`px@ ӎL\F;3pϝCqpZe_7.)AK)YՋUU*J˴OO (Twn,)"^AоQ'Cݐʦ 8`)Yz B(C0iaANYnN`Y(bX6 DICQ̷I2&)}XaYjM% 3ipCWlpZѐ)jQP1zWG*ۇN2IQ XnwKl j\Yϲ$x<,EN HQ+آtz4eJm%Jɋ%=ǔ˷iWrh N=P"7f6Nԛ.` Ga Q7S[aUMGL;_oK7Q\0;|I6?B}zdG3^{Uګr;zUnQCu3!`$`YoV᫮5>Ҳ :@lUc@j)Y*e Qjz:_"Bc SIux@:d = KC-;BPvlْq͏n#Cv}؏bAOcu +6բ !łwajlZq(DLe fJ7cS;ӕ7;$&F89׹km3,ګSd^QB~NNokA ^esGEx{k;guUGf<ˢamȣn/#?z[uU/WJ 4B} 7I;[Kci9zx* Hvz%y)`M|yFv o8˦Sִ|Di qGy6:-+_'s#aGn%O]u=LŸ1 4A,ZM&(V%BMBKV6+XR[! }cbts$GAIx.eT ƣrt-siv)@E]鲼2AZ\5o3x, T1&]DZ:|e&7%0Կd1B_k.x<ϥj`=:zs!/4ygAl:Y<Ѐv?8FB\ճ%DBEER@.D `uj&1$0k*EsQw rf,G4֛5eYVKCTI ƨBBX&&0+Uetm8ϓ ~ueQ.|վ)i:'𺢳BKTzSmmE*HE؞I*BSۆ4a^I t =3گr7T!ܽކ jMa]wB=Mſr't4oWwOl:m7Fe@kg o%w IRMg)|܉齕p*Y]$ny=!1}f}̻ޙJWtk)9lR@#6yYF H$X?x.U_08ogS!%ZEoIuQ֜/ TiSoCT;RIɘ-ӡ^b'W/U "uG,Hjzޞ)c-!A̗€Ojd`f7 s-+4Lx6G~/)1oYRgJ~4m&fpvĝHBFkLQ9.,FO PAvcl5os56vҽ p"͐Ԛi(!zSpwrpDBJ4Ne{;ŋ} "$D͔B?s?DC9~(L?Rs }<3v?*xfO.l$2Uk [l+4R%+SM4a+3(-EO$+1 B"w$QY)i1f%vWX*9o39k׫;y0Uآ1I6:fr#ѧ^﫛^(a47uO[={Ң*&%+/K35UE׵;Rf ~yIJPv森É;2ʙJٌ x_ڵa?=r7Jswk d] 5* ]`6%BhZypiRy㇨Q 0eL82W0"TNblHs(6ms4ձ:O K dɆ[ɛ|A֡{/2McԣS;r7lk=+ m)*^SU LI%KŪ,~4{G-miDf^w;AHLj|fe*ٵu/B1[=$RHxn+|ƃpR Ia=hAVwF:@uO-6-*ȱE$_P]Gܛ@U0oJ[sJܽiDn;:BnHaq<&wʐ>E3gk%c+UlI M*=BO.PG}"je0і_e */|Aͦ:|綐 (oIÅx@i%uh$EM- !ոhF W}":'j\&1DDձH| "rI]l| 50  TS #6I3}GNz75mGpJ.ZIerP0R o{;0:y> { Rp. (:W->g݅믗N [rdH !ʂ@Cq X= &gXSo'd:ht!]=cQj6ΚSKF} ȾD7֦8Ʌ5z:~tc ^nmDR?[dQlӯ g!}V}0KYhM&vd[\)ȓlwĭ ,Hx_)SipuqE`f!"ȵ |5aigBҬ6cJՍLڗg֩T7§wuv,$ @׌(ʂʼn"cW,lw!!m?wчqJ +u";YOPHi%"IN_X=Hܕ0F͡PN>.MQ>pu*}3_u.Sڏ=#p;y[wWd+5o}>i n{.O^픻Kyv{E?S!pl)3hV*>{. / 7&bJ)H:@wc- +Zj?W%(#eA{Rx~@`SN!oA&O@@j/ 6\heLJ3fehW&L9Jy&0GELrZ~L~И4NfKTTs{9Bǔդ}$JK :EֺÍIMf]Djo6eԘ#c j\DH)E}'ק W }*?Q-Zh0N+7н M+D:=Lcd_F:(jnΒi`Yl`޺WiKnv*r{\G[eȐ{FG蒄cQ[iAkE||Vd &x+%BAYG~!}x%MtJžO.]$z ^@=#%,H4mj2ɪ3OC,^ƿ_8qǩPB/=kz'UT: ,Aco/]A/?7C *H|BH +`fGg/:{LϙA*_`Gf{ǔlz ,COQ㓥oٹW.4&+;uz8'[Lzo!VC͞OoɵTS9{)3Uf1wPNI\s[ ˭wWBUn߱h+ ?ش GP1f2ufac yMjG('eTak8?zdx"cqq#Kmյ5Ge,(O p8| bMT 0 ~}BP D_P)mōBKP؀LQTa= _"fS0lV̆g2mqDHFz(#xIGɨ q s4{ ;;Eg V_j(ܒ,劊 t{pabػbKr ?{0Uہu?]L.rӫg]bZp .NÏRԏ^l.we+D2KEn˽=9PH_Qq{xwhz鏥DY^rB+%IWN y4pZa V29)`{ w@%.Nm/ʨ4Ye{0(Ӥ(+%Xց/R_0l$mjC0lNdAAJR:gݏxy k*k6!8!\ uAAޖVًABE`\Z |,ZDʺ{.yV/'具^Zsju9hqr ൻRY%X 'wc8\i:<8>33T=pT1.f=kӬ7OYRIGaz f >RL(qA'L&[4/TC ƖГZ5qE`bnD4C_VդlZP;3Q& Jq?(L 7oL>dܹ.u%n5iPz#a#`|oz?s`Lhp`։'_\K-0jbHr1iJ{buٴs>4!u,d?AQJ#9۰Bv,ޟM{" =\-D)3~FLVe ۘ''`uTFoMdB텄ݲ7&%|nHW'MQLnH.:| tUPW#IRx+A{Рޥ{\Y ]۶&Ɏ* XR"_~ߑWi yCuTupxcwοteKhI7O߁FV {Ȁ.0D)Qf?Db Y'R M.`µ ('Ft iTE[~{c&0!J daj0afxfMYa̡ E1KƺsSE,4lӐ]oܨAFk`?ЩG7BD%gшDLsz4ZN"vlB$F8@U0~L`6?P(MnZਾ|1tZ%y?ЮJQhd=/ b~V o ASZCR 1{7YT_)]9 멶Ke RySܢDLdp=Qu@sRtCRn+q(kK}frO@l@JMw:14&)MhEdX8<؜nlMsu'u Ld>Cle(*Zs)ךX>Yiǐ409x*A_!0 ў[Z>J67>zD8/Vc(k,d ;uX:ټ_LP9A~tp7gQ rtd`BjgK ϭ#o`T:R}.kDTOC(мu#lϷs)$E=EspNvRЦ\ FA Ptm"?-`t6h.Daw6~aT#d, ez=unE .7V)@YhIE$x&J$PS(jQoۀ*.!NQ8siGU8K+|`v(R3%k OGUTP<3HޗD5|I"qP}zYK= 9ůEݿ-+ASiy-zhU b\G3>)\F3sxaN V(^M=|W$sl C 껙gn2YSI&c]rA nԱʅNO 18)z@'loP@dYu Eʵ-ݫK'@,[rr(63΋rtq(]Jwc~Q$QĕD1[Zj(b"|y^b\}x]Klٮ{!GӬ*j_=hwROs<#~r2a70DMvK -Aq;7K>n[G*Q3m+}9/rH#ѾTA kI4|{CC74<|0l Ol(N~fúJF@tE%W+{ rVBG1# 4M - ]P) `tMwC_ϻ9!eϋ_4,t̏pg7%91a<}(p:[hvʘNhNgŔHfaPl)*hk.JJ aY:RlF ѱ~5j%}%!A Ok.?BUkÙsN#˛ NशŃa4`\Ju^F֯-a+ٱA-a9fY,^R}ӰWch&yݙ D rm6Mx7;jra'*T1)#L0{& Vz[ / K(>E=;hl-_@8uo~rf8 hH,?ѿd,Ex9Q?(# J`>~baHJ{} 5bgܟ!;;(N`X*)n;n^DӚ PUN͊(ħ93Z𷝬W~7ZkodVѴ+<:9G*Uwx E˻r7c?9(%υd,n _q6(X3qn2?*L&v[Ŗ1N=q]9*,!>{jF}Uwss4`w$a[8D@g=h)igUL|.^ R6CT#d s/䆖ߓPßϘ-s)73Gv1h؁+ 8C.na`Ԥj>`S׉cEI22xThP=ƏokMko~}0[H緊i9$Oqw!&6*Vt+#h YFův-ђ@ᅞ^]XA*E?+k!W'bݐfs&*)gA! "`q?K,%DWՁ_۶Hx|bA(VOƯw1oN1Nibt)K.vڵ6|AMI/&*Rk0x#/\9cE|':НzнrPMHtG$L@5F#t́/1bM.׀ ʖieӿs]YδD530za0%uYw8)'k*h,d'[7֨݁N>%۰ך@w]a}xpIbonUvyfho\Gȴ7d8,<@Jq3I@ % :I@R8;^{4&Y3g,B(e]'Lyhec-2XXlj7ԗ`d!@2f(i46 b}KeMx DsqZĿ_j5х|< EQ%[(J&G2:{~H!ł>2pFKݟ?5|f)]4Yb9 ! V@0xMU)EΡSؾ0v [SpӒ%;seaΏzg%H6fǯ;:J2D~&aqUYi0*]8!AˬhyQ+o))9K 0b 9sgp-NC5< 7Cg=Gr[Tt.DZȕ? {Jի^u;7 )DWoenAbq J >gh J5:gƠf9 Ow'Hϣfh >!ָwn+=M/;  @h~oBW}^>&aў2zVRrnt;i:9 q: K4>L2-|?.&'6":d 068 eEAkc5RcsȚQxSIxa?PKzҸկ?'bO m! ހ.ßfuJ"76̎P5SKK6C6|]e;ي$ \,dL$dPw@Щ oً>꼫޻n'XTZib)\k"obɞ5{ȐȻ\Eȍ߬g7q\gaòb[b ~,|xed:wF_xQN>]ݝo U#Hq=jPY)( B$2'\uut{5N+$A$uVp(tjQR|5$ֻ4vﮢ & -aXf:@j} s( lډ,S޻8v!QgNgL5<ًɱQ,΁&!vhGoF@&Y>Y4q6'y )'"yG=uHj=24ZF.a4>bfrT Wٓ\$֒;/ mDa6 L͟L[}%I/ZKf/P$ʨ<,uGrI( $IYDH4X!vMZ(^ȣQ`ۧo'h&E̚N| wQ)hӕN>CUļ)4ʘF0ibqyXدk gNz`fHTKrlSg4z H= X4߯>Kҋr@_pC( !ї+Qm|0!Y@Tm<^&ߓ2O̍(^m2P#ۋInhg`GTh;=)N1ap\~ɀm1Pi Τ͆ qQ`1r&xK1ښ=UzmZ"$v_%Cs(-dWG=i?TԑhG-L;j,v*.:X'),Se+I߾'~ UM`w IKHnD1}[ LrUL!3 X7҇dA?}+AG}Y daҌ#qSJ~cq$c魤 3 H}̱vw\J+vHeӅ聋eɶ^2xE5c^yͣwi#{$j,+uC8\lFzM 3_㭫FيYl 8)*[ >T6BǫEQ;nAzN, &mY-^ϝV۫qdeݺ;;-1M zBJ8/H9"\iQb2fqwEFIΡB|)VlfHAgK*$ۻ̊BӸ;a;"gԪ@ܼ)-"%i0!]98dKvwvQY6$:V 9ѼQʑS) iIHď,rŴr̈́q%<ȢYə_(|roMR(3Q@ڌI#Z9OV爼8qe% 'TN,}l>6Rr/vRru1hh80 ycFZugh 4}ܡO8Ry7 O]q"Wݿe/QLFa쑈s/^Ѓ?(e|^ #&ilFxV8_ RK++צg*ld6o54#ΛrEr@օHCo㕺]qLWR ψd_oӄ,Wtw![3eRgZk(%!&sC2U᨝ٞ98`1R@6}ژhj bnaW<ŎBZĘAڇҵTSem"GaΊS*άis0+c0\\1~3}w3&MGsVu+g(\H5)wqR,E~Y'k`tE*Ta~fc"(;hY፰W>6h5L$־@삪Hncu퐀dJ ET0|]'zv"lGetaCj D~JRz̿ 6Ix*F-م-qՄTK-ƨё rgYZ7zXZִF! "9]ŗXiɟ1˦r!cHkMeBd4.5 Iڤx[Ī!zRiU?,)fXsd*v(RfHHt08**4 ysؼj"yҗ*xDgj\>.Nsgl]j$:4[i)*Zg+ أ>abogf0J~2d#lh]٥=DAؕ<"HƉ851 ̪M!8{'3qS7<8 r3BWYp:J-b.hi|%D5Xea+s5'dWܪ:P3]\H'=a'a9w ? <~Crv3/VoFsF̕&_ݠP*,%}'j'ƪ 1u Q3vHF8Pam8M&thA6Q}Է=rఔ~"nlU S@-jt(iaP4ΦOeE5edMz@ swv&޿,$H%Wb2VI[1a6]JMгeДy% 8 ֪"+<4ƍ*[ v/֞srM֏-ӜdM[%iKf~P]{Nc ㌦ͫS484 uTąYkinwZ#bʝT3" y4^DY]K~HYCMPc "ÔӺ;WU ،[){vecAa&]IʠV[Ź"ER*ڢۍ*SR.gFCkٲ N0ڏTF_e^ҫ;Tk>|m> ^Q:(љq lku4D*SG[E='η294?91ٖ%|;Ŷiz7uDtv{HAy1ny /D_ )dNζQ vഘZ\ k^$8ix7#%x;B`o,\QB$y %j0,ΐ|1<3JCJ[t.6A U1g$ٳwz[ȐM|L̒vqҹo/E'A}WP/#X 5 CDIĖ]N ktfZqH@D@j™M]*qDV#G,yًkVRyz&Hl^:k#BΜR3~v%ޓ/EszN^/d ]Bw 9I%?Y.N޲tvE2bnGeg+X}ѝiY7?؀'IyN;}I5Gzߢ2;rpn:;B $h52ReӼS >>qyh|jB "40ǬBe$SuIZ ]9Ysw/;MNkr,Ljhl0M(_pn c OOYoz٠e2Jn=,cGU浮UP U~U0 _sXS<|vm҈ĚE4g<ç|zvHӃ\872ߊ=֯ʔ wa xYcozG_^֤C#x|Tg,*InA |@WvͰQ2>FNfp*yIF#{DfC!>4ӍvSXĪ\?Cw{Kwȗ~?Ekk  GS]nEkl`#N1ı&EL ݲPPɕ7*#i,B5P֓70#AFަ!9)kwCfEs. N _S.KH– `_C?o&NU\^%QD5FH (W")-~HpF[HMQ\aPQwmg1yQ":)M_lx_$Uu E[iR8'sXT UjDt~XDzeZ:f_~*7 VsA-Ak3 "wZ2:p'ֽBS(&Y g괜۬!oNuĄ̈I j"y7Jlz}3n~f~Xd.:쒄ޕDbg8ڦ?ZaqP6%b٭JHag`hqUAyb-<~O޵٫;%c  e}1sb`Ӟ79xwr+sQ|~ W_rF2_rJ)ɮAmr"D"ʿ*8By ê,tk~i?+P0yga11uz7&A3hbt=OF;;I̋a|3AaJ]1́6wD|HeꛒB*y!ߊD"Ji **#qF2&\aƗ1Co1ߵ@u]Ip("_Ma\;\i<:+H#C||+Hd5g9#teJWR > Fv_QYND|Ķ ~tP%GmWSs~0@ep8j]X͖̖#+at|j8wPTonPS–˲OQw6=*$IKV;Y],87/şTmm]o܇+Fa>`B+"G6hEP,}lȌCVK9(e.ޫ( $J+%:gv{h[>nt@v}LD-R@&6{[s7fUg>H]-BtqRJ,G5Q=BOS)hԪj8tV?%#)jT΅Jdv?A7';/xuO:u.l0Խ`zjVdzIi j2w1XTFcm}u=-wNiM}GRITukC~ ɻҁ HHYN%X,F0 BMbU =h_/cv\M'[3V.)BwغZotZuf9忚3ezt4.nx0=`\O,xk}S7)Mל1tE+ԤxLSP9\c*5ECM5oc"9gĭ"|diGFm@A䲥˸7n0 ՞H!v>Q]lvPkx XBB Fxv#}n%QUEkuYa}iB#8bK"i@AcYz*3@,GM%K\-ɤB}Soz_ϥ]Ϡz3Y_B;CaS|S-B#CHH78 T;7P_=;;&"iH?VlA"O7ry}SK L.4H=)eZ:Ơ.% bjR,i'w% KK۴H (u SrNdl)/ W;H4z`/q_zP ^a0 }5Y9H&(*(xcgLp}eL*%FP0&(3 Ffo/ pV ]}x>Sl#[2Kc8k#( &%oلxuS&rM>Q{fjGE|݈!vv9~]u/ ݆3S 38Zr_\֬_;lJ]y~7tQ6U"BH;qRr,,wH'ϨBxlEnx&&sk&Mcl#h\0&!yP(WRvgf/P @/' '6L91N"ST2 |J3q'G퓬~cH,qqJN=j:)DoZZku?*lc O6j-=hХg/BLfnsmIoW!b+4 Of#AASźN d*(zy<$ֺo a'v?}.D>@  p)w> CJ5V 3%e;n#>֦O~`C4?#8ZsJʤtdBYLntXvF{tx*F>7 dv4VkǗ*~exa+LzίɺHa0 e~C5䠒UE#kHq~~$E&M.e ?ĔhAbAoL%,B}RPu bx'e[B<KFE*kEJn&!!5jF2MHN*畟G'bP LELv-CGU %\҈@@gxaoꀢGzܜ΂96|%HOE;5V@@xzӵ%ɠ15݋kTʊ90\X= q} ˄ѫ7Z#^%I-iw#^$?eN>] ]*":s.J=g% U">7P3!\2">!C5j<V_9kʀeG< hRrd- Spч.Pbf=3ZX"kt[骗:FY3@" ,s hiLO8]ސׄr⭖VTӾIv=ڲdzZHu[2,SNHtM=m%,k%<ھZc oC5t5 O=ڻhiY$O;PԨU~;Y-T򔧷b6uB爽&Q+M֑zgw̄K ER {Чpx¸ P @'IDUB $i]g mPbOu'|j2JJiV'ig+3/,c!5eaJU^@(ʠl!GDZWN氲Ȏl> Y5ȡb)z߯y?{`VͯSOjxPIړo ״Wʭ(N aBGmKN?c2,c,3L[۔IN9K6/.V`WxG}:xHVW=bDovr+t.'װ(Qrِ?J|݅^oA!` 9xCDHRX1Yaijx,&G]??xvGXSZʴf"XQn&=UȋyP 5vIå`;L{JbbJd{ct LC7!k7\GJvjcW| +so#u UiKg_ _Oθ(D>Hl>HkNL#VVE]aXuNhezw7c5k,\K̀qH#R)hYKR*I_V*]9Vv0<с z#3`V?2U\_&HQM02#JUO]۬~uZ/1D1-RE؜_P_RG v23?o|]`Hg:)+DѤn)N/y9׏)<7TJ fT~(C gx kXpዸy9"rRq#&n|QxhH]ڹ+z >`N1vTڨh\!&R23K:^Qϊtm` $ |F[0|#e}b:`Rnr 0!1V5FRJ/ڀ$_7Mb>cM߿mbosQ?VL6p#2+͡nk%6l)(uSCFH{U6EυdwW-y %31L>ӒϿj:ubIʠ|n=26\l<'oaBBw]Om4ihj ^betIpj'9#ѧ1T؄vQRY8+}poo+$(9ߥSȳj{?%Uu1ُ13&aNpXQQ}_Gf>Mx^•wP>w->6A9!뭍1B+ϖKQ^˥Iu6UDmz c<5-hPY|'WIG­afdž&+|?YDXLn-OH7k1^6@v:=*H9W#0!7,I jI%a6&X; @ퟥ ,͡(ЇWg8\#}xEɵcԶLVe/:\ӁmҴB ?5q#p/v\]mE$k*l!Ė?v>k7Vhq}W LN,"g8ζ}P $,,pIҌFE]N!t_ J|/|KŢ2ݖX3fM@A2x2qRR+W73j:U&3˷:HmU9ʬF*9HbGn)ߺOˌ Vk]1Ku3/+ʓښn l%X H۾̋efݘԢU#WC5@d7f(%DIaR Ou]1,Nsujllp,?-R-9ٌlٳ{z~V݃#irGf=$LxN{=ĩNޙYΒ*gW_h~ 'Ol/$VXY~qgwC"E .|)^5U),-Ŝ# ;z x>\WT%3:-l01%]2QώʯZuG9;@W *`~q]; <L]_k4L˼9{":R %I{f1(:Xngx2SI5:4x7zz#23uĜX_f1GLJ ]SX~BX gp }~߁vgQ?]=72&=M,z[T:%? Lmqkg7gml[iXbsp GC&uƏbMW ¢#j֗G{n!txwQ^Q ڎp-`cb@rzaq.1mhou8HuЏ \.[ebpdF8!u4=J Hڰ8jB|AP=T8dtAXeo@雎qV-{ȎUo2'2{.J>DjOtPF DUMFT4+1+?BKx/lb=~ݐϷIz3 `p ?g3q ZH.Uuß9&+KgzrVCKey}gJB.tr}fӺ/GsG&i`kh6 aos)j['Je=W{xIIK ؝Q :s]}5c8d kg^-K/t}Vd zz1 }ͨ]X2~-(iOe?"+ҦkkEN0~1ǔS@L۠QՔo%5'X6pe (lF/ Sg7R6Ϭp̆roa]ߕl-7DK00h&47&ۧt! R;puk!ˎ5C&ufYcq&5<BtZ*ܑW|k\Xn`q,`.Gb@u3xz%EQN*#- ^*I{[T4*ܰs@.^j=vVèZX׊KҮ< ;5D5 *6}ZF E0<\?[ضCjYsFKg>ĺ7Qܳo{~f;I'мr+ Y ́3oD &q"VVKC)Qi|hvĊ'8џ@aY g'.Yrdp. p?bP9|%ݝk0.$g`U_,J⊟96_t5#3eam{+2qxI mc{ټI$| S y؉1=A1E* cX$hbCYlW __8 7_zMBЬ݉8cid`% ^70ܙ9 л/N )B3MxBO[ O ߗXa1ٙ*~65& "%wEc)L.Դ5*̲zkM$z:2kݭebE gU.@JRL.A04ya>gd!ERc,OKu'>Z8x%?mkdexR ~Mo )H3(@֐,>"͢a3 Gox=ațI;>c,] :WhH⊏woqI޿ky~(Rº34Xcz/f$wFRg\cL\D \I ήx>:jo,O(H+TW.yj 5¢R|  YPŖTem7n˭҃6p[Lie_{j➍Yu#0U\Yodm08jZkL/\rK]LTo)wde.41 +d7;JwAD L%WMɁ?% ]HS"4c—׎ql‡͏t_"x`ͦ+"[{,Ah\: rB 43G^ou.BRs񧼙,isvEҿ0juKJ{ޚM:IgSRcCIXu1:0U-uhPQ4TZO@I5m\}8K+Hhth)٫e˰8pڡT"oR7ؿ19~5l\nByZN!?2ڷܕ!5:9(=Tp6I 2H~ m~kM`U忘 ha@)E/œ6X0&Zuޥ5D%/ ة\o""m~TxȎFʑ9d] }dJM8WJS~^.*T16q0*dP*]nm;vXsȳe]Lڊ@[G*f"35('e,6:IL6OMh5¯sUE RD?*k/v BUh\y#Y=t  T-7˻Qј%iZI:D6/$6BWzC<؟S{%JyS6 V>@tE>'yQ7iXJ4"y܊ێ0͌[K1oXثn] >0x,ʜbkp~bb̧Q3bz^#(? !]M"xGXQ烂h 7(P{>BA8Bdr\HCxduu).gy!H6.RƽoO⢱ⲯ4+!;uڸ L=UAݎڝ a op7KcǏx5|!}2U8y:󹃶66KfW4=f؎\n~Hd j}Md{n^MoH}6qwGv@ VYH/Cӭ waA.Z7 p=e.M-fd9k@ 3+,‡,gO{0\-:/pItcEuڈ.k] UG_M T S|'MlO=T|EKoG4WQvbҏ Csc,N U# 7zYCJvXAMD^o87Hwر谉45j?PrX48 ԨlɒԄrOy1ŠylhMDxY suh3giv"0)?'B8­"*CN`!tCWez޴‡fQT:vYZ6Gڢ]9 !]T=]K7~4Y^'SH%=0P"-qwn^zJ` !S *k!*TbtZ&`׽ÛYK4bWf_M^fhMeETo9ΟB泓\#jއ/Fo=2"@CWgrw"bjBpW,sJb9Ӓ#Vvnw~]ϭȑ@<_ r)s8zhhN/ѳT%hhd_ D92;*bB%DDl5H!Ysy (0/a!H.z9BZ>HEjmRӶ _0+llf~8( "T'n?CR[6FA ]ؙP1L7uVs Y倂z\J *>|\ ?=C$vT5$|GVݼm{vX?𨋃!75(<%i a Bh-/kn(ekdy"Ft+@X'kH526չQƦJu;fFM8o5iGɲ%p^`ǏJ^y 3_^T^ї$IU)N݀;AEIzTj'vԇ{o,#+0.G>ߋT?`޿?T;n}l̹ ŌN$;MVBUUtvfvXT.Xc}sB9L5AU#޺ᬘ M_( -r{.%8#Ew*=Jvp_K3(ڗlh7t`KjcD?5鴘^2 n7)Ng\0}9V[ 4Q>DN-s.. ?a)ːGab/zq!@/إgB^ZZnNHL>ҬrL\AOU 3gHסiF%/N,W`n5t'?EW@q#kaL@]W{W38j<9JrA%RO__ l9S=$W 8/q.ZNe!"lNMiOϪcx(0 EA4@O~tqubSUȞ`=r*k?I ɢm^^~l}?+G3lF+ ah U/kQe:+ ;J$]BE0 !oYcׂF0Ot3Z$7j' kKzCp<^橥[dL+o\X9?(+uZgLC&[&kG~!0#!,3mn~zu]V#3|e>T+K$Ooʹ ez΋UβUx7ۂr-wc,YN(IhI@୕|7jcן\"ꊸhO)ʚpU Sooٮ7; =B.Ue@A#,׆W۱fȭp?uuߢ;  .Xi [&]^00n[G XIK\&R+BQ3 j)˂%XT)sr(Q^:1v h!p+v|NaswewtWJ$ t1 :ѣ;LDj4E͒RoɅY,tel-^ ##RjtvbS#ד/BYY\BbKO>|m:t62Q-h&0 wM,c+C%ն ^#4sfjKN2&z{'b"F"[F|q^/yG^_ ڕ~3A}obiks`iEhi ^u4ЇbAM b&g㲽5NeYrr?U}9A}w)¿Gtc1W ZKMeCNn~톉h]fI2FG6XenVf/e8)BPtH~vX:+JY5 Bޝ*DBX;xΜl2+:ve :ur2 ˼&B!:"MvAm׊m o`Q`2;y/IӖ6+X"c xAIpOg):\ᚳQsYZ` L LָE0/\2"nOl`JY+}rm|(ވ$^ߊl, =&)tJQ_BdbWͭt~ c͠Q!2 uԝAsBJ%DEh~m_|={|e!Ry6?l/ߥ4:*Q?\%HJu w>fv ?5`2|saHX,TKtC+y_-_Ŷ)Yr΃0EV`p/8VUgkIF,ZS 8T0NUoNuN!J{ M* _)FSkyaz0ӶSĠ/$ସy Y6BM`hMk=lu"1~FuS=o#k X$2)Ζ9 UL={ EUѴK莾sM\ 6"C~^Q}p 7ܟرWXYTH?Pl*D+9O8տ%'--]n굥+Y䰤 r+}!fO"FȺ!~RYpNAdjϬW$VF2"y߈ _S[n[ ](aTұ-DY)v& b<;8+l}TQGR$Hw{m<]21e=Kܖr/]ٛm^DDYJbj,6*I0tj}׆Mjd ڍˌX~T8xQ-իKp lnRU҃-=h/]{꬧#(9+&xiؙ)W-JF9Bs@{Z׬C Q;IydQveCa"{A`voJI*bŽ'ku:ZWS#eXVM<׾0OŏXX/V+|5Pr2Ǽv%Ygx)@u/mLe^ MMh!P>;XF$c9բkYWĈ-u5⁡/t FekڋkHZ g86R◲*L Ipexu] Aώɍ6P~+r|wSUd`r2F u4t|9HSXcaCw"9oqnX.:Ǭms0gf~$"#y85{\N?zR^?bp8L&v}TОuĔ %wy b9]rӔ:D~U}ՔU&vv2mK=Ik՟24]%nx,f)UJSr GR^P[Xhʼlfc'O)ҊL  .:/;w x+n=q *^rM%ޤQhcu#Bt@++>{8 h&:1oEFQ{hQDl|4:S(8߈%I_і|8<)3p׏ F_j"6]*R hfwc܉w_t2 VƛiD:ޯ؆`oOVtkuע|Ž&2 $v ݭL!tB3˅r7ޠ\ CŹasm\Ƀ}D+Pfr5߬6"Ѕ|nbAJ!:~HnQvк w+X y$;ƫnb <I6UIU6pǶq]޼3 4K=0t A@o}cSHLf2 *_Rhy[!_o OwCa´ )yP +AciFaY&CdJR=4QT pl62VߺЇ32(1޳X(,WUȤMU+o@9pZHѸ+ĕgV ?=Mc-c`vˌzn`SVǭVZBNP pw8+nRHRX+#k,o#X@Q{VMG"=ipFԡ:_[f2-?3R F^SJ+H;^EBeP9aj=bbH٘1 6"IbaS0{rp]$k>'5a(ml)Z,09pTʄc*2RٰGY|sI0}y{yM-ËQ/;la Kd!My=rpGG::zG;ABJNUtE=a[byA[ Q)vI6}N~ l <_X`'$%!UNu'|),4,&X*]N\X[ٶl  }:?Vo,/׈d$w8TfCSy{9G؉OY[Rad3 xdxmh7kwYr%؝)_҂ mED@n jWno ة;had{ p3!b"S+wZ;}Qo;l WgvݘQups.Z]E-7ZRc@Oy2_:.;+^Q/x:͂/Nn*>4i8R\Θ+hOTrl0S=%[~˘[X D}L\+y" [ 7"e(2iw$H6Th ]1QIx7z 9G\Z&!ՓfrYDdN99w/vѴMKD w8Ɯ|zyd5öAɼ8'01ENFyXM޺'ꋕ3p"P" W2=~RT,D}rS_k FzY;q麱(Yf:b2c䨏;vDzI.G X_]*kg)4D=@0lFN[-y2 ^9;ؤF3|UڿIvcOccnC|㜪Q5c58ݪMAm[8FpNkdPv6hWneo7Ƌ 1h_{z-ĕDmn(?ʃBn%2q׮}`_ib _M]zz\$zXwSkRnd#Pܦ$3W=?yvE)gLy(c*;8⯌HmB[F {nTx @h'_xfY?O")ǧȳ y..Ko;_;'5*RP-<}eJ f<Ր㡯gpOn=:ϕOfIn1 $ `ޠ Hw ;zpQYygfaC, g2=uTU7WNMf?ߍVU󯷥>X{ KRGkMvqrzTS!ez;:mmr~ pK.>ѣB\Z't㴝giK0TjLpψm1#6dT{FL0*ifi;] {9G~e{fRE5 y(EɤtZ6 6A/.*s^H+hE s/0kx(@Hy`mȸ_7.&bGN^sUUq8GKGϱw|9y13>ܧ/ W?i)NKk~nXUqF2FkJ\sApDۑ3#nqp@n{ *`9״VtLL֖>qAh~=J:Hd}`݌yKB^i7C(Ex ^5]TsAr~;RM 4o(`?Ż.S۾H'F*W䞅.<]@ q=.g4Bu\ܜWgG0e||䮞 E?HLOXpyJ1 *(亝ނ#憕ѩ?ʉBɉ}.])2 }nw,r 3&|i^㥈jjknoF|U<_WWV ܍A&&L0%AKJO9$-`LWkfFWXzŬZiDFyOPy+ YtmJ#QI7[1!e{m=;:reqfͮ/DOмHWb dY>jv Pį_PD̈Bp_ӏG}#g/IVi 80k(j[ʨdrJi1!βXZlݟIx$/֡tO|^45+GsGq iʳ Q61+봦/R zqNr:}6ѳ_0à͕ſI K.ˊPjZzi*<(NJs :-l׬I"pba*p,l;V~NVts9r^qX  \Up܆k ~P_>7끭3%KπX Yxd~/;,Oj!%xY͸-*.6DQdͨfw4-4 rs-!w]V^1 N8$i;ݗC" <6ʙsq¬Sa,ipAKz=OliMA-d&ޱιVkcSq0Hȓ/.Ư7!~H pN6&eo`H6$i$`֑Sf%=?5 *Wyt稨ݐ[dT/wo+똁`@ɪ:m;oȵfHng2$!^4ׂ9&IRWLjrM]NE«N.¹}e;ߟBuUͱ21qT&ueTػ'NB(w>X-OuxV$&ZE4̵,6͸cj)A)rTu$s|\P-UƦ)UNr18C_+c|:Aٻg&Ґ,"r\`z+i9Φfl|"MJo@&%':-s6AvY-BAA"B32t;>/>CW7Y@:R cpCI_w8cKVd#Ϫ']mR/Jo2Tj{*-P:mQz;zZ-|{pvUᠻ@3 KK4_JXk]FyeI4KhmrGzgіIS%e3`$җwxj4ƟK"p4 7 :&cDLD3SQ!w6]Fz[2[GcB.Y)3D5ƆӋv~G+x~[]~tM*'1n)/R:ՈtWd0Pb/j߱V/Qݦ8r10p:RWCWt3:2K%5O=oSg VvVnN= dXGH,bAݟYA.GS^t풑6L]UKБf5Si5X[$pG/D3C LBMEoZ~u #k燱Ֆ?s笁&x$BBydRiDЂ1tujyW ʒ,},.Wsv2_jҤ='C*, DYMJaWr7\cqO ;o< ʙ6IuiX]߀p9 J-4he|,6p>zxJ/,3N$#A$MسRLʋ~0B b&_ot=)8]״@ YԐ3 ` t+gMl0"$&ZaIoLg-W+6U g U62i"@E(xWY&/=5u| NI L5" r셄,d}[i 2%  =B; GoR$Ԩ)]Є3AѪpֱgYZeb5ab86ab8c551d93550c5b87dd3629eb9c7dee6d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 bec8f12658c329051cdd3196b3789cc67865eb91bd1006213eeb1a37d0a4f37f2695877c83119420