SQLite format 3@  .;  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 00()4| ]% CakeML_Codegen:threads=4elapsed=365.187cpu=1110.976gc=54.840factor=3.047zXZִF! 9]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kP6"]blT].}K{PsA(FntϒOv?RI${9Oi\1+gP#5`Bu;Pf3C"arojR1jF8܈WpWzv`:կ4LΒd+w'xJJ' ,ͅdA,7D 8̾ 3c|e7L~]ZesjgB=`dY@;dU_.u-8 O5A66`:˰^I:[%]yG.W!EtҐ.Ƕ vvOvߔSvya =X.>˧ic=6A}4]K^ FW7DU'`\;46$6}ޡ`1{ ~Q4@1lg鉥"D"ѪK]m;Z#_ ,]?)vlpB|LF~=qH Adn6~OhRsr-t\p K[ErU|뮢3ўFN}/S JV [Veзֆ-;G]c^@:}"r(v*"]c Ǎ$J()7ЮcaSfQݿe%vQR[p~,{;04%6GE\ a0$ο-0.JDžaҾ[Dq+G+R/w״N_jӜ-B6}HN߅: ^^uFYTMOO٩屺 %g_ /B!&b@THb3G'Zՙ߶]d.:P|1'[X&VeͼldM"\[4f;,]lMH&$<,#݊]+t k0+#dZn_ IЗDܰ;Hժ6gLs [۽1Ċw@w/Loŵ%d,UAd/Y Co=?!loj! .nF'q  Q >؆Oe4ԏKI6lDnup`eS:hYƔ] M7:zj Ζ'_?=V ef"Hx{˜" G Rfg#(K?~RR[؆W}眮K1%v#dR3 46a;T$xQ}8o`_LxFjT?8J,@Y!L'!j&.34KB_ՅPQ 3qI(tw}obPXdUZK9f (ipaݲn a5^qo:O@Ŷdf2!ds &Xkkkg/@{?v*'4,"핪J,5GB=;v׏k;)!A17(t^WBV~l'i!^rn >dRZੌl71kUv(|+ qs2324FNάÊ>WFpNo,e9ŔkY/sd5>sդ)-՘kg9>֊/vӋ\&O$%b0 r%+/Yf:g_ BF4-5շ'՛h3KDL7gKJ?22֞bת+l2OCf׀ftD|4InNSyU-H]ew-aiyw_ IR(*5f6*xLex=y|z4vIf0u_QM%cJ>Q$E$cr @=Rʵz[ |ggAk1ӻh*Fnq= 36>bDrٍ$#J2/ϋk9C3t>DC7n)nM#0~>g@LH;/ ]вG!*'] ?J,ln8WRoo@]3J@v]}#]e2NsͼjX\ ?{P qaz \{6}7GʎwY {<1S,Nclr 񘹗1pqK˻~Nz,&*SA83/t±b<%#nh  07OWSQgp|<.U=>,ћ}GMF7Ml#Ϳb}|ƛZCE϶ȺL*p1FbϼZ)P'Wls>~M07~Bi4p;g cHcN;+>^)hlϾ9˨.qA^XRb~ۺܝ``I<;4zc:ƝFLn{tBla$v2(ODd6礸-mvzmTԝ٣\!N+=ы)T]Sh1%{㚘O{1TQi-o+|子Ŷ^'Px# yD㠈 _=\[*0}Scsus\\-T( j(,-%ސ~r$4x{~򓭎=(k:;Q1yPG\*ЦH "vGO\YL5](z8/Σ_o͏$o~@OƉAF9`9u@ [)$v8Sg5ih\LE*.ݹĖ7Qy'y5]| 9mpgeJNv'c/r:ڴ.1ܓ=-BB Fg*`T]5(:#g界Y%rw~H =Xj{@>b {!u A7l922r+JX^R9fwIOw]3#Tg62X[U~VipG|lM٫HK K7AEhjfZxt= IQv~HN?E`|`(ެے<J|oʇh^hGxQ92%\3Ų?$`z)DBYsteFE\ 8bZJ%C(S}Cý>}u!$7]ˢ yhWa-k˱˗"&/Ů>CZ(] ?ouA%% 5[R"d"k˫p{fQbw饎rf*պ*Rf_3v{3j&-)l_=q Ri/Eh;l\&yeQ=d:aQ-k߬^?=8IiɊ y+9=W?i cqp"Mǎ[28aZ{ <x]e-m?F7#-º̣\X+ 9'oi|&ߨID̬^k00v~n8BSY.fA! ͪRw[_sV w QI4ЦKe0In[[2FZpXo { #1j%Y>O 1?rMPjikJ9JYk"?G]28#r.TwvS89 C!.r\l;ZufPa)&hQ8NHPf.*֮O(=!C=BB8#51jW`:5 f-Q>;lC@vDM @h?b/?.y)z:kئ#^Ȳb}^}b_QJ6¨fycKE "᳎">Jv&BSEȑMa^JwP g$83rl o6ΡtĘm$ ԟݮzbQSL2ŀ[a{47&ӚPߓ"lpwùj}vN XQl+oRK*fpEyoK--e8`9m9D@e ?fC4 n5,ӿA&uÁvNs nh/>q0Ŏ$]-oDb2/JoTr _~ l;,Ff~[jԏ#?hEOhRge6 C LP'qdݝ < a'߯Xe=i@Zoy li:qM{0FyYmhn 9av母\2R̶Z9!Ȑ/R׎#HZvGyɚz4k \) {X`"Lsi]V7ǫJ) kT@k>I\ Jdܶ|N<6U+Y?A=9?R|n-2,L.XZ,;}+,vr2cayԾiHuZH0 8oZ~(xLL5lHMn8#|RDMR.T v5\|g5JeK83 gwJ)>MO߻OP"C0D 6ȸ,CPJPڣ:R0G2mn _ٸ?Kf֡a523ȋn<$Qҹ R A!-ӣ;" eH4:6ܩwpU7|7P8z5!]xeiT疦9=odL}7DooOFQ(6|uiz: `  ?e`ȓ)%TO%G!Q`pF T%z;ޙ\(fTSfS5]rk>TEYVh3aF^h0^4Uyb3'enx2KtrFJ?!IfHr`GʵGEC1~Z:053AL#@}ҊRVT$)"(q- /n7 s힩sNX h8pd7,fW CZ92S8IxԵ3& ǣS&4jx6A)B-BӌlF*ѧ]+eU[#/-Tw鬇F3Q G.Id'HDLXguw}xQD:wbdHҳ;H1ҟ)al `oQ%&s4.lߖ!?3cw!=C86胜C=dW)PˉevLGŝ[ԹC,gA딲'=_4E@m"OB|lu̻M+#}ƆzYD ;k2gYZ7zXZִF! k]ŗXi%IMR䡿?<իOCy rkmU(rv+s NgڗҮwQL%^>|R5BXȤz0'N^F t KPFZl7TQ򕜴VM(r{S'"ӹ^>-5b?ŵpt|A+7Jԑt3N{Oh$Ka ሐid-ݴ lDv4Y|;PE~Y4;#T0\!QN=b!eITO T:@\Uf'38mӕPaKjw"CBT5!`""`+?8HISBp@v1YS{bsEO}?4y #qH.M흮P-8ނg{0mKx>qSdrw&zNo!^ԔP&Z/1ךMW}Z:wNآx\<09m2_pU}P#Oǒۡ/"3wg=dvU^SŻئ`KΠkp&$Ċ77DVaF^OG|Y 3_&[{KAMb|e4?_ЎAذuNJ"Ƴuu#HIės| '. )UiZp0Wc8d_xV 3FR )Yҝz4Gm@ZS3ٙh56߳sK2z+?ĕpCbMʍ"?ṼxiMe_0!WyM!Mk^ՄpȳTsCOGuϋ|v򻙠3O1LF0J "@LlA[tA QK,Xjku'Upȵ_GM!dB@mdrƷ6^'\~Bf(X;i 5يJ]!d茽=fE;FSj~S4\ۧ̿w$Fsӝ@~Am3;K oN[ج_VU0 J1D5<CLa~_F@D2wAήw!Ci _։0]cBbap^W|X jmA|BeA7)ɵ͗|r|n-{@Pn~WrÝW#0;~~㞆y[nQu>,avzt}<ЇRYzz D MeBM1=Hٙ^7$ӡ DŔx= րe4֓KJjR(Մ>Mr}=>9v~ cCCfD,}jh1dÆJ$CqFx*gCaGV1$n`(ء2QO墌QhcgA謴V3@G7nگ3;^gZsEW!A(҉kV{xiX-eCEvm=leЦރ[`y-@E2!|C :G\r'sC"m1Sa,7 t,M[WETpsfF ͅI?`DQ~Dp+CHԗ} z"A ɃqL=^OT_'!c7MImO=> NuGpV:}|5p\ߡCzEW!_j 3QtZAX2ANˉ_:K)EYZ ssQZ-25V})3|D^ЎnQLn0E`}k>LaeRn=npݤ"*h5h~9e*Ԅ| (6S U3JqlMLvJ%XK NGREwC#D9%lR}NU²&u:P䌁}&KU9.4 MRL| ĺ'3,7,imu@zWy{ {lඎ^Қye<@eDɼ}G;]"(zL:Z%jnO=^3oxxiǚHՕʐIaizB>Τc$@k gX&jn;~:#^Q1M6q ‚!P1떪ǂkKUZ4A*@q smTq쟌bDpH*BCc}{fjK?+4O{#ўR#wʁfbPW)H5@-L{/މ̌/^WwUB-nL4*7?z>{S.c}J@=p~ !Iif#Z-#jp6)  ՝d1jN4qr6g^ֽgW>cDG2Q$cc]k:QੇT!a\6Qe5UGh:4jT9O dfv *d3-ԻbY$;EEศ<+X /Kx~iFeqkf8u)ݣ~T^ Pt]%;4l.榹@Y¿H2:lz*3n0OE9V!^ jI zEY+IW\a:oTL# J̋P9C9؂ jlNyLwI WBTu瑯=w3H|F0 3y1~]>OHŽ~B_0T~=P~vnL0r|6ћ6+ or<+&g(UpO쾘{Lkjӧ##1.M^޸¾"@;l?+Cyhc1U~>~@5{LLsWt}M!bK;+`a޵̔DŽSo"$9YÒNȺֳu)  v8沥h{Ԇ=D5h<#hd4 o[j2eP.l(1={ ݆q(rĦP7;jh]=aB-mYJ`t:. ;kGF?}Xvh.kJE>"U:0{471YUsg9eMs[ĩ>N m66qґݭq煤&IOi2"k"~ދ M `urzPTf"jЇ%>^M ";n^G"&:ԁۋ2xKV{< j;;`>o%; VHIizv0e2nrJ"i,,H&O(ܠT:,[P]됂w$4dkj2 ֟7r x&};Npu.DnL]53~CwF3-TުNKW,~UzH\~]j@O 4;v=*UA1}nMs|6F(hӺDXT]@NإLk !t/Eb#äYV=G̜dтWS1ϢaӀT6&L{p\-Yzo\{E[#gvt_$SH5t.J]ԕ{r[bwj^_tiI 6ݙ!XP*719K rɢi/NZDm8l *>b8n]Smz,#+."sxW:_&{PW]v-:EqyBe?!!O5 d`/J$9%l*JA} 8CG&semicWfȋ*q*]Rsp %-ϫ޷!+x/A$[Hz̖8u.ʿM30?84EkunmS*܃FL݌;{6Q k >9pw\o-!3`lfΜE 4[oH @V4?@pͪI Z ts|?e |:\4>!p\?jȺa5Ip jJǻzŝ}x:+cde0S:#oV$*B2iiEЅȵ8>GA;wNšf?[RU3)N.P &M{m۹~cM L\e|^-;$ ?ăLw 2U4<0]ApSR>u :4zw8c^i=WZj9J龞eS\]K/f~C: l}e^t]MX-fk6Iх?fꍒIMh oDlUf 'lrAvwa1Po#Cc5Qe ZS^zgK[ yr@c-?,Mx} $Y!Pmoˆ.b5{G}$/fH]*(uh;iWA"UDŻ#o]*9,};h{xF;m jEEbZ+cYT~?{[7aƏc n՝բJDTwo2- AEG^`f 9J Vn!pCr[_2`xjtĕGu+[5֔iV3wEn3ygdgx6Jtȥ5L+7uTQIO\)?avPfVܝba5B~ +Zz1ThNfֶSQJPtxNИc99мym/ߐeMw#9u4YStwAqcCQѬwTu}jY V;|3YnLOHt  3jQ@%EiS$\3˵4>H'ߩ9N-ѷ9%|tHdBE çD$ToyÛp:,RokXHR,'&~A#FJ>.7?C:IZE) ~da{"OU P~ȹ)#,2% %gw{DbWH}عF Hٟ`㕻NmqƩau/oZL!Ĕx9#A@0ׂ/^f|!k`0P=&XY\&- ` NmC~{e8i# ;%_*Q n{+ u ]3/Ս+(T ="5@g4= =k&nQ:X]Qn[zkN`|XjȔY67bN!qh_na2hD:~-n7,X,r|HjyռOKDgJM"7*%Xd/| ,kfp).=@ xS_io6ٲ9T( '0FHg#7/W87  ȕ 5E&+"vE] $y=WcWi@{"ܛHget9aԁrp- S)T(-ie-D; #`Kl-ϤɛNŔr }5k9wN ~8?!du{Bmcn2C1w"shI?٫ĽŅ\L ;07Du=%;/+6A\N: BE5[\'u1bR~7V?S mOU|)S3H9CK̓apAlicr"vۿ Pd=F=RZ%m/1=OG{+w=Y;b !mp#?+ Wѓ)'H v]Yvّ{-Tr1zR9WzwڥUd2L:Z=Di./:(2 Q>j"@4IHwQQ,CiȍNqM*pݍD$VLAȉI0\]i +l+JiLwZG󾍽e핰Xm]𕶶rL$_TmYQ0Qvs _U[>voXsWs0a~ԵCMLXT3֣9++RII͙̼UMXx?IpTgk66& yǜ3mGkNcQ$ѓ A.Tֆs4ӆGKq@v!BD{+IS@us0G-}XґEɨ֐n:>%Ai(<e8fbfva ryo˶LT3nDAIXm|Jz:c$/ ECP><.(|.B2ȭH(hR XOʈ;H3D }'u(˄V_HZӲzuḄ;$L,^1]kH3 Nô5zihւwAY<2K]IJ(Xܜ' <αE -Ggwp9PLeپ?1);i҇Wb9OxJ^ y̌U{!nl5:{SU z̘c`]D$u 8D4egc2u{KI;: ?!s;TÚ:2;m񞞞N/g=P!W*T;? O)*N {>fE͜}Cu;>`Q4.-9v`#FRW=a**H$ yo&r`\UI>Lf].1S c(>Vb.d5! 1|Vjk4a=F_P¸CM׿V NcJbۼ*34D+B <6 <rȬAe}NJ)朚LNנJ[b]?Xv (餣9A|+C==ۍΒ|ySU3gN{J%h`)m9"´=RY 7?;J7p>Q!QQS.#TuC8dQ:!m$y)-V`.)4S'>'MrRna/ j11t(8la&1u w+xn :U3&QM )柶Z DXjcƺc;45*^uTjx%SmLEg$p u@wE(Ɲy{M[lLj)qb{Mn4vc0P ^ Z\&a m\:"tVfTpx7G.U[C5˵E1ƕ Wlep,)%g ^\@ $epc +V &MRd}=I׉(n]YSqkA >t{og3+#RyorsC'(F}Z5yBV4upźʙ酚 ~ʽdUD}օ`t;Vw I˺,_ Mvm@dN\:Ս0`$жw$`X_}HKgJI`cq@P`?SГ(Lae+ҴͯG_䫒2IN*VYSAgeH]|ȔZ8drA'k+ _҉˷0F^,t%A'/*h*ۺWwȀː3s>$X4.V-7':`x51@2Mc-#VߨLtKѠ]6Y^s()ccq{a? ]W#BHJ GE#Ϩ0Ym㜴ʗ>_0W wiW}Hy ϜWl6aj$F&pm_B>meUr׼TpQz1bVJh-n&2aNp~.4 !*l|~Ro9djGندD_dAZ]' K!#;dK N5f|H3Z*EuTBHVr\"tږ$U"aNxRg ɷ# p7015‡( ĵs&+2ɭ|}-=I ̬x3B\z,FDw΂ʼn<Spͱx!:'pLSrDa}1C 6Il~zqP4o)ZNNu;Z%{ U<$y*B;p@2ܠC^bA #NZ嬹VDxeP^&1"ecL0DYMz\Ӹ)Ж[7.ݞc"B?^Nĺ&;FKAH syzMFԞ# qN%X3yӳԔz r.he%AG:!m:QCz 1$nj8GyBN~Xߙ|6M۟ >ܸ%2r.4 .+LA8,8\n o}:b{=niڅR5҆Uon='{i6Y3+g*-":ډOM6U ̱% 񂿗k庅uk=ɱHmطHpGM F]s=εq"P ¨9I\iܕ0: xha'\=qm§P]O`P2gϰTz.W$4.T9SUOwZAE3#7F_jHmV-הf V>#v!UF4 T +p08Em.:1fQA,<Ͳc*t6]IW<+$Qkld2뻰($}94 cmFDI~'0{r/%Zb_ƞΧę2koϘ}ՆX+O@p\}ss0 cSNtF;~!T Z_q03AZ\5U$u8ʇ,,GZ{yɒrƵx`ޡKz\%<%k3#lLO*XV]ީ@w([T$v!)t\019=ܺr8 R` -q[ aoDU9^ʙVj]>>0D׈˙~~Б!ʊӚ7kޒf!\+h"&Ɠ`a蛖+JiN*ף}qȔ_@A!N?HՅ]6؍ ]=%O7wZ}t̀~oi/4O 1VJUWa_4\I%IpuKca3ѿ-#q^[ݙ)ﴯu&h)SV2 C 936 @?לGd3`:12s{^*ôoFդIDۅ4YR)bJ;,fjXRުGGP1%GPdjv|.p Rpwk&j.3gh쫡+'択lo@ YBAhD~*SAA-5 .a㸪3cL (& c碽+S綺&OPN34pɝǖQ6m:akK?X &o5ρ9?ZZ53ֺ`ƬΉP<ׇ(37KFv9]sLҸ?0nqi( Ywiв!%M9S,DAL؎mOu5[#0bpMl{Xu‚;* С]šu+mo4F>bu{z*BzkހnRTʁb2LJm3IzuO`ɸ?E(m!mu5=@ ڠsgШ ,KK^e{H9MmYutp0SNB$$w>BGk;̫pǽlDMF#V a j:Ϧ6,r輂Jg\ 7\mx[uۮJF%j;2PIf;Hm!!'m˂_]JۧU ;&WDZC߇'4D~"KJXZ U R5 4tM XC̥ٸPVEbRڣE< %6љjKwXȨ &]|exco%WAQaؔۤQ0PD8&rGAfTmdE9l;YtM5-Xܕ^_=[BOJm@ %V=tB=%L+>^#Gvf@  NmH錰+*]L+kk-t((1?-(tԤ6f,+4wdHŭA$ʧj'hb5oxRi`(/A) !ȴz2!qHR(a1&(sYPjl\L!r_=0ٶ+IK/9!=P1aa*$k ή, 6Bx Y?[ ,ʤ,>=@6E'B_̌xn|tQV,]搥*e]7%tt{zR|/3P` cmBy:^QkH N{ƃY~8O2F7( 'tx+Η=ͺyE#ugDK;R*t)5*C_1o~YfՊp3ʂ}甦ʢϭ 1k`ap#1ۼ(pJZbw"GYݘa6 Ot+iy^LJK(˩/||.FqePS]υ:=$:,c Œy{joSs:%|b 3E céȷ>EOXEJS9A%]EYj3.AS:6& Ճh< f_n&gE`[a|-o j1hu뮐pu3M5\^FzeofݧΝ*}"^J'ﭗղBaSEJv\{l<&]frO - +Uv>>FbҙH1&[Z}Fjml68+ itiVPc-8!RwW۞7HC蔲H ^oE4S :ЗWҠdi'1&h6Ws)vf8.ʘ>|r.IW6+=9ez#,mJ&3ʃ <ĂR$I~pZ;B40;OɢAJsa uLA.0[ &D:.G,z5"ۮ* vI&/n̼yx7l86~aiEܕ4bֱj,a:o Br8|Odhqpj-w [4H;M[E#y% mb' x 2?>DB'{eO XHJ'4?einnu1v_eiDEg,m`$z"cE8R/$ϸ$_0]gK ދ98QXaNbА@ArŭnrKon6\(Zwȷ 3Y悉šzI5CoQ>p"'i$kzd+k|ɢT.2o 9I;#Huݭx|ƃխיCRT5m!,"Nsŗ&4UW\< )obި~5o(,c-1QPxu1'Y\X08e6Ҟ5V 緿[ֳ.:#? SS/Wަf}֬WGtzX,އb "m-1;1f Wtn}ri!V8Ӽ٢|?q0PYV;nyz"s-$4n=wRə0xp̭Q]wn8_`(:Jh l,A$ ?Q=YWTlޠXo{6j;Tޢ05xdSWʽ氫\ǡ"V h#*^!{dmvFF$? sw~|wßZg>O2$GFVɎdT3EQiXnlw؏ͮYLCe# B"U%p`a&iMK H@U =VٰYkC+&F2-T&6n/nW̌4zx{,wˆf4{hce vYZc)B/BGs{9_{3 Ou8ցQJHmΟt) pNb+l '7AԞ\v2`j7~ޣ9A e!)5X\@Q4Ied3dynC$$%;xmVꏜ| T&*o6Q7Z@$ld[~[:2_zIɏd!%%1xzAW$2:!GEnrV_xj:yQ&xt·J/!8 !2h~S!j!ApYӐz8+xo7Hsֹe?@^S=(k&e`Awy]mм@3,nQ ҆:rYAH+ ?~1O|A~hzmKhM{Bo__t7-ءͷ%YITpT8Z:Py2B+ˣH^蝹֑@cvF Ĉ'' 5 # V5E~cяf+xU~yk0*¾Il M׍`l&Hۘ%:2"ɎȜG 6†dsY-8觇 [gI-!Y(~F 3i[q3V3iSbB촦XUz7v5ABЎߡns(?I&qWjR Jw>B;;ߵC'uwqm[ o?rb,y-? ܽeQafdvN0Xۃѻ~1e嚩-38عIYM)8B.ڡuy_~iܙH.@lꭿH"v+'݁~cQtLF^YzEЛ,'}s] \Ei`oka&' 6Do_f"ʔE_>7#"eyyhs2JȲuKXG⴩ꃢijcU D(Π VdQ%zZ@x'Jƿ6b[bTh 0dT b@~" \.LO5nYk/F9ѝx{f*;2-3]/ %BXXm'$]:Y$#WZ3pޗJsbe]RS$ A)]y:컀 H's}Di NzVsmq{?cVE4HYe&X`xn, E=;ڃd֩3dX_ ҍYtF_fwM qUNhKn9g($]H5fx'=u5Xy[iLK[E߰ iƈiz0lol_{ՎE]CMp&;>}hJ[`ؔ'$!/?"}`9%L3fWְn#sn@Hws[KВ}MEkک$e6P_'dzJ@$̯+;x2$u:`}* tOKԥ)\U.E,^] T+->k_ g{L qQ <Ә$p`C†wܗ (,kO^Gv5,Ӳ_^y6 s0,%TrvDd^d#ϩfp{NU\ ׻rmź4}0]k.%Zqbv[>5AH~R#LdK~ .G3dT0ah:|R|ΣP{2sg6ʊNm@̞8EMXoXQgͿv){Ш+ʕ CÛou"B,g&:9g9vޜ|8z9b'F#,a԰%J7xJyQ2TLoO` :Łϊi!3,B$Ppˮo82lxHI-PK*8c|_ܟR`xq ;O᪶a+uSZ~qGUGmo)[BSrwŵ[sXZ&3똰|sixB37~J+LӧNA3EI>z?S_ ;<#wC>و.Dp5Ab0-QG85/s6um%wkT J2gGד@DwỊ[H8_ZA K-]k?;=9q{8ZIBǸK8+G Aaj#O4T*yt1.3,>/t0W!4r'@?0;\#c̃b M="`ȑ- HҨyF 暖YR+HA=yAoVƓW'|\ZDWj" 3O_OI ]|e`khyB8Ycxr$ܿB [kAڏ~}[^Gb j,l58-|emi%$^f`iyެ%& \Tp(c2emO,WDMJCBq༪"6)koV lvzpN8L%Y[K ,6WU[8Uyq[ǯUYV6]wY`Ԯ)5c~dCe '#I.n8(^k_xmGፘENe+/ .)L֚<d0HY1a#T׷*nVȑy"Nq79I=TE0 S2冎O1e?>O(F,juOzQCq ֖Vwa$1E_z\J)9"[ 1) y:ꈮ"=pCcEB7[־wN"n"aq.  m}b!,XWtk">ߙ5'*O`q9uex|C##O$]z&4EizKc5:h'NQ|m)sHTBͻ*#sy#bOJr8zajuɪ M:=  v[ ^v{dƽOS?C9#/oW|D]Vd&9Κ 3I//mOǣŃ^# a3SկH$n#^:ԗQ͝fJKJeg8;+T$DJs eFR V{ZtCdž޶ h'd%v\E(EC闣G:zOM$evQ653 tt85ַ-(HptF7z0zs#?c-lf2 Lء˥Bthh)Fֵs#>D/}Ju9rg!P&N9%OR/X4QY]su\,uonuvp yGٝ}IZWW| flR+&'Q[ bs nӱX Fp6+ CJ,Mo` K.ımGb˂su 0Gro8sgY#qc c:=cHv$ҘaC $3.T@E.ŗ"$sFZ`3ȴNzVc5 |}+OMZ)P oVIPeo|Ǝ-JA0M i`Qe)=XG:k|[x饨8% ~ ){X[g_(̻(9Rr)vz x{Hm!|1eRlÞ_AJ @qqe.B”K\h Wng2(k\d!=[ ϔɗg J:wUJGsBII#YǞAN8g,VJKyV!rƚc8<#厶1ޛ_ gvUgQy޺a!"gc1zJ:!8)LI]vhG^FurBWJsn]@m]Ɉym|_Xkޏ!3ͳg~ AF]U?!IMkD"[᷑V[#x,C # KuhX{s)>**Xa:cO?9̕9f5R5m̀!XLZDd MrΈN`]>Q|{?yc6@FZj"z5#)TL/Pڌh$OAs@iy #xH3ߪER -+Ɓ+.?l{ZB=Ri༛ϜC:so]j{r3 Hv坹:_w :*/q*%VBX_zCִIoʿiPa!QN,)t(3-6pa v\&poQF?|3Y1QIumNKͰ_)UY?aѺT[ <2$?cKnϔA杦e:3YM!ܝ "x$da=̢M\[_F§LM"SV`4!(<+Lٵfۨ.w;Z 5\(=~V̨9%^ZyMp=fZ0gp&{tgHCYma[_;b} }X nUr+UDIt e6n▽4Q%ca+P (EYk QP;CH;f/o¥gR,_a ,p4,ά3(^>7C;~sne lgi j{8]?50 ϶NiRUM&><3؅Z<~*xjn> P^? _de犺`Fn 2[3jrnmC>]Z<c~>>5fP c" EͦGp U}[,!q^"<)z@} jY80|إvs%4r)."є`^U܁EfHI;Ub1gG¯,7A,zl3v?ğVMBr?jz6lևOxw32ˣVbN Fo|4Lk8@|: ۭ!tޟvjPn;`ew&I oĒ Í|ccKQۦӧ6HBM'@Ř@ޏ^\bu_aئ6!O Bc,qU{s5S2W@bv}hr Jb%U>w; `7G&zK잴w,(C`ϳ0r]IWPFt]=\ZZQ4&0Krqv 2Trעly۹(˞!xshBCUVo ֶH _Qv0,`v嵊g ! 0SZҒp9IꔤS.D&;'_eWnz@?-V8MM%_Z7N>PnOfnT*\u@LDT 'q\}znȬOYDҞw,FH}gȄmb x/#FUozA!c3ɓJ9N4P1F9[IZ=t Q?W߳-3pIN8Ō(EÖz{dd6-H ڽq6IJO:4Jm UtKo4ߔ4FZ.z7'$Tm-/[/Dǰ@*zlWl+ >ڥ&{{8-ptAmPc 6o]1͎-c5IsK!Q@FκLX5pMYXMt*i@ +ɧYgO nxdϚQ%]SCUWjQ,QP+<4{$ 5P1^DUM~sp+/남U5oq3@+e*KV `W#a_:*+7QpB(D ؼ<Ox` *Uھpjݠ [EeS-˔XAQLK)leNrj/L,?ΞE,l$5π=`e]ajmD[VjRdHg#Șfq2#% άAfGCrx'(Aħ.f  rxf's.|iOsl1r5"7x}ڸ?ff̡[9QBF;((E[smAshWY4gF?ljciSkZ%W$ #[K~b}ة7IOV ["HbT3̼D_Zkq t7Lᅴ1p8F÷ǿ+"΀#6p23*\ZP8TI )r¥)~U=pf܎(S8i?kMkJ^Z2&N!gI 0_a(_Uk-T=h3:1mR<1ڲW>&|N&ŀT4ɺ0!K !dztbfLRV,!tRTG*D0+FG('4lRJ~ljx*|w0X :npBf8&\լhw'0kNgjA2!̗6 uA  gYZ10c25d934f6cf3493e54fd792bcf4c879aa6ccf65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 04b59700013ef186ed3c70cf0cf1c7af8fd574ba 47e8366f6003806c1aef807692bd25ba5ec56ff8