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 D$\ ]S]CakeML:threads=4elapsed=378.236cpu=1119.328gc=109.436factor=2.967zXZִF! S]ŗXf[&Cݬ[mpsv:.$CL_IqL=|VQk62i[ Xށ?V>MpzD3asv|UM<~u ]C N+~'G|>SI+bW34U4R07DA^B)1op@u,wL8ztL_}ACb6j|s8/Uy`~QjlX,B+*`Rk@$\\O^hʨ2//Ɵֈ#Oi׸[۔M;jyurVxӘi4d{٤ס q1΀-0[h9}CbT|ۜĂ>V57GڼۨĹY΢_IYhQ&F]f)9t]+6,-H^ZC9Zu]fA/r:#[6h68΍ȹxnȑ$'b:p}PB(VYςfdf? &:Lň383}jmI:FGZԣ^S㵸C*[(# Ya6/ Xx 1[Qd?iJ:KQ>xhi@JxKVe0Nz[&*b@C#Nʳ7,iq{JR3'IZ$qnJh`!4Dijחů&|\ɶJO gn¢m{Ob3i VΧYcb'd'h |*}ubAkG6O$jL[G$8QD&x:)Mޭ7T* ܵ_CjlBߎv.LX&Uh pyVthHF_nzg Ao&ogE ={f!c\8$a>LMDe,"<4O1.ɕgGKHb>IG\lI\+H// Q5`q++GJ@K/uaٴZY~k؀y43Q,'8`=' :W#̝/կIP/},L{i TfVF2Ofl=4?Xeْqz +rst-,vU,cBaR'Qy|V8|dϒ@xUqVZOD絸/: )YPzL'RƘ[v.CIT4 fх[$](Wd@ksnZY)Wu !CT`TovhuDžmB+E~D۰Ύ FGJEqójx[XD*cA~*xX(ڃ JAG!{v䙃Xx]_-ՉeD 5OYaopϧ?$UF|E0\PSԷr~:T6 uɑ4[ā5qYiͧC&d?iR*nDyx<A$L*AnFձ&)հ5@Hݼ<58Y#UZ"DRSj*YdJ8#iƏDgH(*AF..ƈ5\7Z r&ޖ4!Bgez{6Bsp5Vr-(nY{>!?zp   CakeML  _s䲲(4pX7f)"!o:%3Ǐ9`d# Y-[x}yZ{/#N.s}]w^vMqwH|U*{)V8Ǜ}%I#<֙+ Չ*@Sƍ-Fetߠ6pƄaE"d8ӢVxYQ5_)0Gr^Mפ]u]!OOlmzy+UD8?o껸mySe_-`y _"9/~)Ԃg=>p:$(wG#JN{Bnz WqfS (LLH`V_^8s)؇~1[SMv1%aI(o-]CㅰII(*wT͹w QfrzO0,zu`uGU.#. 1¸2o%o(iiTSY|8'[s>(jBCrw@4't  Wc~w4VQ^GT@ M`yTgXCKPs-R{$LemoD#S1ޮNm8`:} ">x@A^vys4_Ix80gaO7u5B#9^'"SDb)J5-7`+Z5(,@웓 )RCR$p.\lУ26~ _A#:FUWCXy3vgC8__ >h$e!6>VIKN |Dj##|aQl4ZK]rեiu'ibeʍ lSSI80D{#4p xߴukCӦnRa_tKZ,ørC0q]jquAGdzqi4-Ϟ`(\s)'D V*,A.or!9k"XZk 8Xų1̈ȱ\ܣB.^,7 N㙐gH*ګ j)S`DLDt'zJ~)V8Kw_}08(;Ƅšnfi\UFH@GdGoC,8 tg`< 9g~2]R1~psgYZ7zXZִF! ]ŗXiɟy3 >u{b|ߏ@@?Ήs!A iJTą *"ЌMtk^5\®*ÒPz8~[#2C>D'-/ )/8j0qπm?qDZDQ4O,cPK frdo8uC{ e<5a5ܗujcCj'zd ^ONd UIdh_Zj#INyf0B9"sʞ=E3xGOs*;NkuÎbVG @qmA{=2~VFV'csbbpcbη3@PR tД eʭ&vo%e>rC} &dSV@9D, >XT`=7ְb# 7EWf1NxqgK 17\]_jD omhUMg @ݹNt ojFFS>د>6_YWa0ݝNxq7aM)F3ӀuD b}Tפ >l"~=%< 5rX,gXjerqX&}wJ-K$^!J#dC-@9ʥyTٓr&4%e4^.[ 7,6ImWLN|i sCboh`98) u?W @-9Q ½ӕ==n#rJ_e}Ss>z`T3])Hmk-=7oUQb %먃WE,޵E"d?{k:n"D)`A'AvZwE !Ѯ?Q~[|qm2ۖQ 8v-;i%\wׂP  }xK6Hx.!}oz2AΆnZyOavoB&͵wAֽsBm5:mM qn3@A2;ր2 \ڍ6Qm<2gE'l0MDB1qfB:AGXVbNfDuLEIR?-c?5N2;Zt3LA?T&?Rlm,{UkE\vNȘl?C% 6R?|ʬD 2е)"p'Ab<0j/!` _>Y`|/TV U d'(UsD" Yq1)?J!H:n5X%1, raÌb+)("AZ0^ -jAgYZ7zXZִF! m]ŗXi%Gfͦ-KDsݜՊKnj%yEiV*Ab386ǻbV!=,ѝoV` WE?9gT^W[(0nI5+4sRZ;Piӻ/Cvj8e87E{:iofZrSa|I{VN-KL @Pp;bx cZmSɈSSG/ ?O|knQάNg{YǏ֍_!gJ dV2t$T{Anas6mh4Ƶb}_SŽaF{|b@{K( g Zgb-,|ht?ư3S.m؃H6O5e|dx%ҋ;Eqk M%9g`d>N("ϸ}0 @`VY9T'yZ3pqf]yyn%?w(dRi8>˘-eޏ#RI"]smFDVؼ0WI`k# oO>S3PӺ>/_!&Me E}8XިnDoH} 0JƼvt/{q#k t߆ Zp64C( ܡ^85'OEBg#F2d*YL_z!5lyiM1q;!*pݓx6̉nH$"}10 JY ,J%iQ!BKsF2 ?)qu^ 8\` lh^]{5|%| w|/ QXmX2[ H ϤBޤa2W3 \LJ5), ~q L ) Qf`õ@O|slji)ANddX*S2\p3`x4ipiRx_&]!Ĉ>hzGl ?뚶Iْ #,ht\7zՖVُˆpWUJc*L?9+yqRf+$1y̭~ W]ЅYXÿw6<$!|f3'JIrrNA|>%f%8Z]oAdkgz Uܗt yvlVezzPG+xsыcF +64iŶٿ%iluV(fuT#*װ2(x B[Nru. t~Ԅm:Q ]0.as@&b4lG ે?[dNϔ\0$W<-D#X|g2F 3LU %7XҶJ4.wh (MOAf"Ayq_@ϻ'B|`TFŜl`]m BGRbe&HA#ҨUR=2EAJ9/Lp;DuM 9 Ш&۴iTŁX`̋(h .,D$C+HZ; AE>w7d/Y6MMӜf2Aɿ/do wLNQ[ c ;σ.)C ܡ :N/Z:҄EAkQ yGh|)= z2t~CSIO0SaEƂNY ֗6:jz|Zv̶eqvL,=sS? `f_><8|pKx. Nɲ85L5ΌWiJ =ykkah+~_c o}$R.:&ֽEz ͳY Ew޴&,鐕*a@mvq9ߏ23Oܿ<*D7r23TN35~fbUn$d; WRBcdAQ Pcn)uEg?˔)O" ;}Fޮ<+2aSicCt2XC9$A~rpsNh  Qj0L3ܵU.rM 2: GKKs %j5A}uuP908f_4oE0)c71.\~uQZU+5)U nc'8!UƲORO4u __.$yoyHl7EkGe~WI<Mʌ=w&ꇂqpGEre3 <``7;G#7 $$`{T6ZYژG 6>dlCޫ͉jJ`G=Kb9u)^j9.vRtʼ-`UGF5KR39e_sI!^kCI™w3yB : ~g;G `4BIΜdN Q6ڴm*4jbk1Z gx\3*ƒ5rWJ0$PaJpίSXO D}d#p܂|Lji(g.n̻]bf )VN g`SKA'KpN'ֽ0*@v\d$I~=i{hn$65ɦ ~D4݂cn[b%-mhhf]qY!E͕N]а(?'^o'F Vt)X[S^7^] _v&7*l‚;I0fI"پYxYPWJ'`AbϢ7L:-ZoACBgxz14%4#tH`V宕cbKh"8qYc2NfBa/74'HY,=lŗ7u<>_gɁ ) "g?OŒ[@P!. sۺCo qnu3i\ 9ULx.t,p`O 띀A)i1 +x4r5E A~"<.&;W X_ pl9 }^·Ї֝ßH(*/R:[=jPEQp8+d++`3B`Q^}CmN!\eƍh}(.VhXkyԔTz#2pWhD+uy-k5A˔ 3pFFr2O` 88yfT yHL`LǙLfMzF4S}̤~ )S]~T >t+aFi  -08Zrlhan63LV'm$-B" j9x,G5+͝S -:IL LIW}5K׹W EKZWReC.eeg0G)$t7t_O Od `p皖ď%Y S$Tv G&BTg^dh C<}ѭ9y= UgSJHnJ=_ֱXmƥpj_:E+V)}Dm0E5n3ϑxOCO\~V:v&d-; goe^682lRc ޼Wo,Ȅ'+(6Cӧy?RM)Ѓ t9C4 =VXtՋD ^?y^`R8WeF,-퀿ÕyRVVZCjdZ?fڂP.QV}Nʛ#w͛@H2 \G/bo+Ew6o/="m'|ßsJt9}0mr*5wN R~ќ&EK.BΠʃ~`"7O ~e(,K^}55V܎*Pm J'o $u %B3T֕ޠ8fte}HC1X}KwO|^dDT z5*kSwqR"sUۖdi>g5ΩC\T'@Nu 5Tb ܹ\61D\y7)8kh=dYn<<4w(?)gz%T|'Hm~+Ѡɡ #|vltIQS}6kō8,βz2xrFlD[Faz:}6HV*o J:9k> mn.ا§DjQ܏Zuq*2Exh/o JGy!9Ĭ}U,{GvHʅYYxpv yddݻiArOhӺm)&\*泎y.pNjв=[u LsF3'~E y`ݚAN{ mH>D18`D*ij F|܍wt S!_5 A_Xw̭ҸSsm@&aئ%Wnl0}݁21(E*zfxILTk:)1l5E$uFVF $q:\n>i>YLUtѣg4珼o!R_->.L密B;o@pztj13[-7?MB-a Ŝ m1h,)q#CDSNS8JEd=ty d 6Zƕڅ3%. şN0piv D+5<>&kؽڃf(v?o)e&# ̰dJ-jOZgY4PN~7 P8wά~yzF@as"{:ZԖ])/#!EsrݘyzzKk /r"EX}6h0g | Hv.bHjm15 T]Foe=}}W!Jb#+RV4H-m o*+fW-ېV͕dNƫ6P`4 ؁p q ۥo TGI6vxQeRbd&1XWy*ocZVMYbM kW|:C8Q.Cq>`@?=rF<\;u("!ݩl*AP].UF‚ց'C!_Jڸў(sLB`f|k=Z S JWY|r8޲cG*%<Ѝxg {[NW)qxo믬DG2(K7"GXv$<Y eH;b}/cpFk+ٓQ1&eK==j'dݙxBaAFQٜ􍮿,Y%@BuXn$ (4H4H|d#LB

)Vj&pSb[ e&{nx2oV@f~3tGڀCLQ\af3xP-=(oz9fvI6.D1* E Mg 4LK&%"hz҂661|D:g۫s]L5ɇ^f#8:ԡ:7V RElfSvP sWp#?}%>4r1x;} ϣ7]rH!Bؿd(@ͯfF3>+mCի*?4!m)pD0[#'?%:h`[2"9- ǍOm."fJHK(ϲ3XY]Z:ڼOlD '7:_98M#2uVl%u|][:[h Yg֐Ƿ /]wi;ڣkBAMS'O1't c~ FT7ZV|9 0Om`C". mHF5f¾D}bLEmdka"VpL0R]0m2YqU{$uXF20 fD8nyYr’\'Ct,d4&`cSafp:;ΨTchפ95E?Aa9f"D@0ÈOZlkXzif(=b٩5QވI0Q?Hg_&>*m{ >}c* 25? fw_B}};x4$~ _'/6JNHLJFw&ڣLB$:=|؄o"Ҹƥ GdrJpucm6CmLԈa6~'KQ-&V:ŏ#!MM(:i3MJ;|Ĩu#%+ E+ P槨C>kò- &^/ {G͒؄mC+PDSt?һxaځoΛ@&5">djM[`N["S *%@qb‹϶*.|uNŦf5*s{U,F~յG9 y^eN?Wj}8M>[KtD^#^e`,ĐG{vwC/XsN$1COTʶ<Z0mnqܳDsS@h#w WУ 0PBx߇$+ *¼}5^-:!z.lPʥMk4Y5hО`ϖcs+WttQ$\pjk9p%-w(}GuQP[8=C22%eQ)IJ#O?ҿمǹÞHpFӲS韪ůn`UYػO(: SBWor|aޡ /^{Mt>I:Ӛ{sY@?(րӲJsEV~kD?o Q3{!>na`SUk:xzE~م0]iz%/5]XF}Xw +n񦜼TUN^hWJ2(UџJWw)z[>. Ao E "ðc'g]3v侫lʻEhi&_fUOol$CGo8uLX:0!2\l1`f3SA. .riwT8yLl)%8!S>8z9٣iiZ-x[-A`%~T1`xf-+Gی^A&w=IfY|HZ|=3 )WS;IUY'9~: L*U9ȹqhIVj..Tl$V81O't+;94Ua9,ZmĮ\caD}s8Q5ٓ@ɸ88zJwe )́i*Jd'D&R6c.щy n@Uk8Aa+nך[.2#O!{q%2 WJzC=Z1Svh8c0%u*׭^N{D S*U=1S/~4N F+lNouGly',fMf]-f벝B}0ȭk- 6?2-8qZeEaÝ\xCTM>1 nBH#cn&dsN]LZ0Zݟ3" +i_> tf[٦xո@|K8煲%4HSz#oj3=k 3cFKBsC>4tȫ2V^Te*7p~9X J~*Ȭv9.(V"A;]`|p+BFΞ:dKq1}`dVE]Io $(ph Fpӓ3VDkL$dB$= B6qp}y\`ihmjgR;yRKPr7VT:\bN4+|Yo_lh>9=ʼn”*cHʚ9VJZR6B]COf^Dh o2[cV7dK{p(uSlnH`D%ik@UyzbX‹0-]-KnD)ICd5mH#hȄ[ D)'쇯:pC=TNj;0|1BxȞmyEI:z:c+zW[Pɵ`J=t":Įa`1G)5l叵Gy/*U=9>m;FeȬF=5S>gIr.~ G Gq1J~No&rEXO"ލX͎/9ЌaGT+M2;2ESje1lp~4AcRxH[K (A*C`iw8K1x*ȤMM?`Td1`RmXy>܄iX_m5Z 4͛:ؠڐbzG%[RvTӷ.Pދ8x&czC`:8j0.HFxLϙ5wQ۴vi#YOOA&UN3ߣkyuunPg .lo3E>*?+a,t쳸g$쾘jPfq61Yu4%]ܑeFu!sSe( # 0D1nX&:ttIrw`/`yfz咝dh's- `=> .ǬP)G YO""uUe$]cSXo/xg>#bdIȇ%{LRD*0 QGϝuR ɤ<\`Փ(ޭޝ*V9#hvi{jYFOft@hȔ:']: DƒB9A{kwI4#~O釗A8^I.I&YdƦfc-,<ߠ`+xLZZ:5JeRI"׉5^ۖ`Gh5LYżUTKkvMiz4/Xgm^[8_#|znOa!Q)ض6ם~Z~96MLsBQ f6S73Z n]Ƌ:ү%[[j>r >8bq[[B+vߛr3^kIb ".j$\*cS#ZYtas(cLg rPłpj P.kޣ'7Ơx;%! 5'l.5SG492ꛥ5G!kyv{ Y6nQ!++ w f P:qilxȁRY1M^^v7fT壮Ɵ\`@>۬_4eWP!`v#u64u5q0(Ywǘ8AOBCJҿN3MoOo C)Fz26nI0ܲ-J]]BPh!><ؙRGfHu :Q iC VY* |- ߳8{+d p5rϱ摁 vçƲ?PNZ ߒIa5还 E-(D |MB9QP>Qӻ!K:]Ses„Se$F;w;$JWQNq>[}Ⱥ+~ڪL /ƩrFd0ݡs<i4<S _F7?< wzf -^T,UJamP$QʒA]vzgQO!;5ZCa}-~#YI_[ihp>(FS=zsSq'UEap:€H(DG#yN2[+ӏ3vE"ff6I0c=zοEgz\yN6s-ͱšӃ|f-lB5+;-"B_GI4$=ƊCD{!CDsB%6fjJԮsWA?F*LЪ~Z8%࡯^u*>"j$=i0@Yc%?m`5FmZ9sϾG4S\ ݍd#H5l72nCU{#]L|Ŀ{؄B>|!|F&1 JJ[diZ5̹[e#D"-\+2 *%LH![k㮳ussߤ˜67cu=p|S&4i ￰ibB=I_03ڛ170l,Ж2w-+ﶭeD!ڬi6 Tҍ~gsʛhYq[:EQ!2 ߤ~H 7dpEͷzq.B*)%F e1+//mba2YPp;+#: |)%tLDe3ۥS<݁RŔ}a\mIVsJZDŘ7\qzu'Ho%NcYGpӸ ߔoU]!kςJv"O6Ĝ2+JKc |%r>bO۞ٷ~QiI>Sg <Ɩ3㱠r"k5%s %Y2k Kl0Go]@v06GP\0qŀXv+^U|R=HuB-MK͒ϒ{z6`wsd(b-aacfhV _PIJ̍ϖ/;HT/j>AhZ$/UOC0q׺;|b>LIMy5 GzaPiwRRfA!tGq z4˔K/H1_BJ x[XԈTA'6cbgPHNQ`Lzlւ8^!j a-Ԡ?߆Y%܋O< u2r|BS wnk˞E,Ԕ싘х3}Wm]fc3/q߭Nd\q$7Kl so@Rn:VpSqʎLf626RGړRuėarދ8nXY&.#E%hV5 OV+&QvD^PLXg{ :#f[h"^u):l=܏V74+N%=ƏH{HZIXWV8QGk}Kvļa-aLi.=q[6>jo,ds;vH$I]o+"qR;[;ɿ i/,מ^޷ڵLނBO vtEQ;p4ÏRCQ_5 1\#0>fM1kGw0q.jEdhSzר{Jec7)=y6?rл\Id3swGà蝼Zy|yq\5d# <q"5R؋`gx Dzgdۨ߯}^ϙ#K-,EVx i RL` CTۈ/oBΆ s  _ #.8Z[gɖF$Lx8g#C' Y߽& X:H3=JnYn_?٧TUYS݂Cu Er-I_\Vʔ{TT11L !KADLj9snq "Mz!^XIry/:wdC~k!u?ww{b@zx0VQwF%Wͣ8q@` mf6> \**ZP?rt78a蘇m<ڝ۬O!h] Ä"m1sPt+>& 4g28}Y:u.z(]ƩH!5DAolIk<;KlٽbB)yyG&_22]#z m|y=R6X+H J` `x'[ ?ɿڷ[=7Glm6p&ֶ35Yܼv,2 X*vӘ^<MdZ؝lrg0qZy;#aIbzkhA6)b$#1b/h*e }c%Mj~E*-L+V+s8{K~IVrUJ#Մ"X;8{շoa.m4DB7J,J|jm47g.+[|E ۗ> |*mC+60אp;zTYK;Cپ~uֽ M!+;%%87xEƗ4vr^G5T ̢JA.E:dE Gs2-kX1b]eD[$MQ#Tn` D8B{s5eYtz')j`@^e8J~א207R5QM؁3J(Ozwgଝ.Lf@ s9Vk uJ28G[%aTU{>4Q:+lu:2+tCnsLMFXЗgOt4&^?!B(|k"G GBQ%?Om㥩<7UiTa||R!,e\򬰩!gХzU L%+̪2qiC]7A2]FP3A!3D_5Foa21[uHJ:5K$Սgұ6J)09ڽ:N7$T(jjxp_TsEE yaD4 $68Wv*yަ B"'{,b%g.̮7j,i Sc6N8#V#AuV 5kŀD}XKKN6t4uم6߁1"H:fo)!_*z7SG]?ƃr6$zƒCèVԑ\,xQN3Db${?^A0p8BPg*G,ۖ\攲zݕ$@0j\]C!Uyۺo|Ao#/ *ˠy د܋-~Wl#pA $c;"]z+5i^ #2Sv|@ZѵE~f.#7Ã^_ݷ nS).k ھ_ƪjڧϺE N:*TO$%!f[d Bsd1}e 9mQ8Eݮddk8nsơ"YG꾶6ap? qP+N,`_pH6O_6ߌ:9iF)90B _p0\΋/j1 P4.);[tq<7@C,UͿ ]j|qfx>`@[EVhDqdޟ *#H yP,4Ey;Zu n/ Ye!/+ k߸C*uDMShcO#Z3V'ϙJrw19ek[ 0򰖦^^(>-J1=# |]YRm!A Skn֍+lBM1PDG)+h_| l x.#̥l< M,-Bk8yƌx$4SnyJ"L=_3Z-;Be'r%|R8?-/;Ed SNˆ0KLSOFE㏞ #ʿ-#0uzj*a]gW3Yu.gBt*~)[!2 (pXSawV6@\ PDn /Ddl+_%~kmI#0ZHbizGP*Y 4Mj_Y>H49`ZD.u4m`cT\DI4t0׾l3tYNԾa#yCt%6)(Q/;/++;ׇ?YD]>;kFXo8`Ӧ/kܫ øc 10 /k{_Mܦ:Q' ~($ #$Z'} 蝻tQڼq2ӊI jE|J }CdUf|_s$'faeqzQwJ[5zӭ{|aȔl %=Eqaa2ceNc3SߧKK^]4꾾K9n pV xSTx캗nBOvңMq ,Ȓ-gHqdQ\ib\#]n~ARAv"~ (F/儭ק3_ 2j^|_6NKfB穎c)(4eǥ8?Ư߹Z3j{Éu-?/Y8}b<O~̋|>. tr˦f޲f701|ّS'l뾇*0RHd!oίUDmuL!gb d2^ dߠsh,G^+~utc9扇vz-B#K}q(8Am) Bؑ9`{%|@"97ECMrKa @h˷Y#Pr'OR3pPQ)P QDh#` SO{'TT,&%e*c۲xALa࿕ڋ+^QRPeOqSP^|ֹwm)եi_ 1q~W ٯ+@~E+bӞMʺ$7-47dJ aѸBLg֓YpC61BMVkžlȗNdzLE4Tt}T{Ncerwh#+S4>EǣBNשl(l45@֎;7XuIը]q\DpdIJ!':2ƋL,2α >' (SpÐcg'fj&ݰv >y !PoƳ| z\ͼi02 vƥt@uZcAðko0֠/cbg°N\>!u"Q6q_"'tB\zb,hK' ]+ I۠IE 5k+Balh]$*R3Tr?5(D(c;z8kp?T؀c:qrs cukȆ?I?Π/1E1:>Lq2,t?!5~0j>yD>(q33.2Cx?uаf|ݐc-K%*35=䒻fee!6oꮯ_`8KF%Gi\Fϒ)nUGg z1[,Sb=m#'C "@oħ~HVʲH:!I\ $NëD}Q.;sUo)^m#ɵ/Ԕùy;-vp96IҪ2|d` [90,FpCxr8؇#^/X7[`[_s%u" @ͨ~^gs?cu6<C~LG %1VشH)Z{K.)P22j5ӽUN{QG@X)M *D}wt89K\ ZZ \P"P#wGfkΣ!]R:#E9t*Vi-&1p2$rf+sdl"C$sQ Cȇ'DRi;5?Ɔy|7l!n@T좂L eaLo£P{-FQErDi)JQNa F2]3l A~=Is\󙗿/iE )×M 6bO-9( 1b$l(yîX!{24DhLاU~X O*'~y:D^LEfj+mٓ>j}7}4>NlVtj?kTp~+D`҂2إX«0 &-Mr'bcԺ8B=Y! Ð [݃XJx087TYyjӵ-Ò]):yn1AHp3s^g rңEaTHdynnY* (e+s2ۜfX kk_WUV֤`.K#(TiM0ǫ;Je7K#_(c 3zfE( 79kqU$b$&5sɋv?SJ(Pqxm3gVLY4ݨ"7H/IV,|+{7w!mDߎ4 ^3Os|SֲdN6N< ЏUG"+Z@6v2:+}ւѵJQ+g0C,m נ< ?vC>1\==6_9 !\S]: "bܲX7J=pҗC04ʼnٝpQvO\o 7VdۣZ޲ C;'vY,PL"<. Z9u7Q)St\LU6"}&Zb<]00Ӝ[W܈ȹı K7PhFS,|s=^  IQ)nf뤵Y`8Y†)Pf%6~ w >!r)Cʖl_N?XAx Iftu !c$0gmb܈ڜy迡OV5'jr/z>K\XFM T&`uy |hU]iX'2_8 /& xԥ"Q8G+ dL4%E:=n{vr9C`{" sTGX\@, cǠ"'ecFWtQl.)r=P' `oiRVGcMo,ę kg5 $K:z><2IE ,\Z3oPZlZb|[r9 Z vZQRIl{-Ƌމ_lPF8]:Oa"nȸ oX.DH˻ Rœ~m|wg !גt~ս+1s*+""bʈ(9 &Lo'*C] A3[kb-,)'/Pd=MG0;N $Ÿ^d~"\w 'c_\¢N;]4ʑq (߽3a.k٣tk--ЕhA QZǶO55Yssf+ϼ8s3+j Z<ԑ0 A@qt@LJHŮt:7v$`2'%N>Z9d$Ps|0Y?CluD}6Dx^`m k0̇2 GyPfU~֦LW@ GsЍC{e\ץ<ľG&n'E'Q|*N\PQx!u^3 U fEQQմ`Ot;.VbtTrE-5) DkkK05x*dʓ42=}㹝"~P+qg6\,2E'oHR вB[Dv"Ϟ/<:xO bO`|80[`aL~>RB`n& 2lc]0o*:jG6@Zض¤#/D{BR} rR9Xl/|ݬ+vR .p7Z0O;D]V `Caa(Dڄe5}T5x]B[yFUЭ jypy(mz/V[Z_`莫5Ӷ8 z?o A#he%F~CL93%Sꣷmr'y[:߬Dtt[""_ wHDJO;)c2Oӎ{=9wW,ɳu_J6M&K-7C3go+ewTKFXki:E-gGQhr AZEֵ0̃A:hzXRO(;;P-LҥI2۳m\05S)&SϨ3.Z<ʏ5ɟs<8 9*(ߺ|/XS6#ٴrxKzhD}"^ %;c;)}A*n;gipH|{mEPfh r-]y$-qSLx)εpUe}i[1il9߼p(X̰6έ.vS=p4&HsapUi[ =g6q42 <7GsҫH;4gm[4 .VG)HG"gC=!#-@sJG?I}́~9اdoH!!-nwak AwaGe(4ږGE)?T,\zF^L8ʇH5zlbQG)zwYyۄ5?529]:zg\zW7n 66\B] HV2H6hJMj Na:ǐ5 }W?Wԩ2@M$C\PY!d/љB8@%.q Z.T ;sۯ'lV#΋ AC-9wES<_zwPH$CBRͭ0,)֘ 6=SgYZ7910650a87ae443de8701fb97dd20b691f9b4fd01795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 8824da5da94930ddfce667ac17b527f6850d0fa6 34f71536c8d7c5748bcec16348083bdc2f1855d3f9b7b98ec48ef48b49a0f7e3191b2cb530347641