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 ##51\t eI]Jordan_Normal_Form:threads=2elapsed=347.285cpu=577.920gc=14.280factor=1.667zXZִF! I|Eh]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@Ocr`;ؘN%e(¸Hѷj1.wr/fo*JCl| ޵?u )#zdZ ~M)UɄE .1IChJq9/-2Sɸ=6(1j՟B)t<4sg"> 7lS(sVd+#4(07 44ip?7Ix>tAkáBy9[ЋcKG!,p6v~je Ovn|?'{%x1xn oeutLZOTFz3 Ѧy;wU^f/ҍ:hL {c5?a: Z#{vU~YǦ]U1wy\hq0ѷsoI$]KO@QIv&CO=+cyʨ pʗ4vw>Ky0)LxVȕ,l?"00>?>F;^& 1ք ־_d 5X]W(Q^?7Pή| .:yn-aZK#55f bm܄TYYcimjw=7􎂍'@,> AP Copsu R`aZ .q8鵦4b|'H,Yߥ~XPQv_r/x)ɢ`{>Ͽ@:J} OQcP]!~O^|cS jTO7 SQ.ubNld2pEu5J_G#HT5^lp0mL'B;J]qFi;Rq"6kk2ڂ|sMفma ` mNo7 5T:Жb^D:yPͅ_[mQ;{Ɔ?_ȭ;omF ;z1OT%R@, v#kӎV0|s`tMH6tSyg vBy8v I8?96,H!M6l}dP=_>Njs}K uox6W5L~J'h[`6T;ɞZklB'!|w>0BR{u1t%0`OHonLnZ pL|Q~H~ 'Zq,}VZ#Qk'?`ڄ{`r҆VUm4J@,Z.[9l;7sFJT! ]{Ze6_K~ 1f se;C"$[ߵ~Mz1 <4o(J\Q7qm{=cO)](0'YȤo>^zZwLoEqa^;2@n=GK";!eE`((fksUtsCn͜o}VPWݒ݀3rg% f„Bs2k3k7Zc+f^o(-͈7]B]Y { QHoȉb5 |r/3Zj`Pe Sp?Nz1ijP 6]kBwFjN':v)a1 F#YEd *ލ/MSnBd;D^-kJ#ⶱ~' *Ԡ*8gbDUߗkƦoK=c:`3k`_/f6,cLUռw x*gBt;*@QiA"D ryb1<@C@a[c# AzA"C >f/գ6%]ԗkV5:k9Z09ͽkv&UK.  b#϶lz1@FK&]Sp'_޲CuJ|<ܬ2 \_v nY&Yrg2iB'O`aYx^nVh?+ǹTf٪03.r}4m:;ըuk1p.撶pf}]V\0_m,Zo~ސF:ػVOk -E OSc,y;vwViEXﶪ& zcd9j֝8mv"yGxAngD%%X:07S?uq>W;ѭ 2 a[#\" w|)_b ȝŢ3U;ہ\Ø_ x(#=X] @ U}ڢT~ҳ>?]wYWv2`۟WPvkcai+iBxޕ"ȥ(d"Rjv1A&"b-j$u|ژ3 *'nOB,}ݙ% ̨_cMKaI "w؊Qu;jg.{h#QvƕΎj A1<7Di㦐v=ϙ^8bnB<ߎx6:: R$eZnc*%faF+ڵrFECo#Ix! nC>7ٵ*lRLB~ג|!N|jF*+ BG8:B]`',Ï"hCb=T9I5H=@fR@:NA+<]#Z$ j:? D̰ +/@ !gyMUxcP1c')w^:/RQȹ?@;ht Oڎw AzDtՔff%@MwK7NM HIc (KlSIO@z]5=P6Y)%*5t؄\-"[{%Hrr%ͧ:_R)Z}l^t8nXo?Spten*m7ؑȆ&,ghٙ5 ]y,Bf$CU_SgA.`= n?U$dq2k ;hyKaH P7d1cK-V]XTڱ:Mc2wwePQGy_Unn{^"c5&N櫁0?yrWծ" 3WAԡ9EQe8n-˅H:iYw-G<ˈ[ +_ $80]͛ >;elXE1?GO܇BǗ~=-94L)s#7{A_/R6OS GBo[G- +<X蓼wA鿴A !j8`P OX珜LD¡-t|u(]Tr0{BA 1 Jordan_Normal_FormTЏZSƧ.w|v ך`Ԏrf D©tOxc&PIUmj6i1/Gw^fjy_vS AJ` 0-Pݤ0,RA=B:,bȲhy]Nlo?sҗيKSܰ,Qԁ+j:i݄}VQ%(8=)k/Zd7.y&BNA=5瞶Tg*rM4@qtȉV?_+3i8@!!(8E 2c,nFKK2!(a#_L!&eP,\VU;DDe&zOy㑃Ԇ=WsĘI}3u3+Q2,0S:f&&3Ci?C'4jQu∢ԿJaup::JYNz?UĖBJŝИt/H$?)y>a119C;#cDmƲjvoK!:6w.g!~gdXR.. /I|yk#A27VϨrtRe᠙6l6&06g-V55OabVwl|,oq\ BE6_(*2ߨbmiZ4.g[Fh8٭OaȞ.F~1,.^K0bӼ!LuE&%™qFZ-݋Ҍ"5y >R72_eNJ%m${YxD|8E^e`I#.3׽\ˬh[Hf6=6!:ּʠQQ4? ,+uU*e@l4q1%Bh}1mVa8ٲ-.,ތPa^GV//)ȴ\HY%j ݇ ]ji7. F0!%1 ][/zWjHZh#q ;HRigH~OG~Xho'6M6dtV9=wqʜ0d6NO `i8+ЦڲԦ%ƿ)dy MO;ִS䆮knה҂n=Գw8,z'&O7 Ť<ʎգ_ ? = ^0[ip :sf\W3ifGaG&wiUY^药ð}F_œ)Qe%э?JzH9>g3DY !\(As05O\|e{۶ st.ӗ X%kkS1 DŽ&Sn,RDaf+o fm<ӕfkD[H u0y`N="!6d^ܬAj'QIm-k 2F|c;/S\Ys}*tbs y&)3$M 'Z51Đtvp N*|:]A>ޝ רC8۶.B^TT% %JZ,Æ϶MQJe#N'x0KV7ϩtu_{Ԇy]'^2Y4T; x`7I?v WL] q_ф2 +6_GN_&Dd˯3ELĄ)ƛF݁$Zfi-5a`I];D- wsVt͆d9W]3 h2ɛ=27/bdYrCdmj2p %W͇F\xٵ(:S}}Ʈ|{+ =ʻVNstkrwM34R;@j1~vE=^OY78/ x b-iW|ΏHGJ}$[pV*v0&Υ|T$|:Kށh^4H8FѾ~ Ȋ|6?یBވarO~@Zm}<OP(᭠ĢqT>qY+K`dOD?ߥ|acđG1zgޡXJ-A0DvYG8kNIBV又סfIZY?GIjj&rB'hu^4CF:>Oլ|WE6V)$((,m JԟjGd38?*@'%)^'ps]*I#hv,<$~P$P'f~2ߨOv\Â2)d=rQ&|˹yZeBQCȴeZ[Ԏ? RN/-$J``tC>[U3~If.v7Fj%. q3gO1)<2/놆|FnÒ+ONZ_eO:WvͰ]k`_EKgJTƢfr(:P; $9K:gCbW hC\x5~/H`xyy.|%JZȍ#halH,Ԁp6 ؎$F>mr#]_4mj ?]@+2r4:k?̐SnzJ5\e&N!%Vx'Du&hҼGO_ FAsNÔK$tF:(/fVZ=-!hZ7NE&aUo\.MbWي"y ~LX!/ r:RNنĪZjQ䈂;/3E-m2V^j$)w8ZT=WV[(r/+$֮@cRԈ\Js^?_.#[(Yg܇L| U50D'<dž]1B:V_31"Mh]4c|Y!+͉'u!{HGK_VYvx&4yumu0U?aߎ) ~5zt9O--fΙF JjXj^[/-(L7sH'4}>|,2X}icR?HεT`d3 ֕PKK1t٧n"В0S)NK+NJ[Fn4H1BDxNuѸ Ѝkç},<hDS>ƛ٣r[l.+q"(@]櫏ARsYCא7R5oF$@;1zcoza;;|vp&u7Fe-Bʃ^C)a\ 0WM5%&ż2t=<y`ѼiG6y<?QGɃM3/&Z8MOc5_+""pX}pw Gd3t8C0e0]PYyXKEW>@}KV{3~ TU:<'_Ovx x΃zã-Ih %zÜ& w4SJn1σ2~E; sC.xh(3oLͭg nBJ,CR+8:++xy kZkq>_N = 1r#hzYxBGQWĺCZ?!:_ys%yW,,Vg=x/D53|KlB nZS4?{ysớ Jv3տAqkԭ*mS z=  tgc60xYdL/U:|,[Zs~Rj8hֲǝ)׻Ր"ح9\0zr8[eg3NkDDA #-pi;@.:R#?K\œYf"//F.H3ZW/I,^d2rwLK1, +ç}맙h?;HMEPc!LPf( 6|kZhsH[6'ÓЎP)L4՞6n/Lr67Sc’FNV\@^?r,I 4Q@2+|QjnD2mRb֙3CpPyXj`j-\T!H+7nޮ ;_%Σ(;5tWmN 2nېtBlTDsٸ“'k YAD#9`Mȱ8HR-u/]f)@ Mas&^$H͊T$Q|T\İy-M. I14Kkh*lĠ/_6[ſ 1Jyz.(˷)-d]y-[Mӟ:Q8IG_B1KZes} #ФkESξ#֕77 a`t&gvpb?"r6-W= W5./fS^4[>EϘZ@6u6Ż־NUà~Y1ٻk1*r,3&v9l'/:ckiXG9j:eH OzYRؓ /f/W-q%-Lx,م)(G| -.T4x?Scu2F($_৖@W-Wkmr I<:w'.%, YG7+hah9wUJF s p ~0vO̳pG r-x@{:3͔Q83Ӽ汫mv'udA/,2;JI6<#l<]I/Q CGf1y?r vƓw1pC~wȝGϤ˭BrQ8(_C?s.)yMUq/(6!Y&Uԯ݅hEE@KꥣX;GNy=DAǖ :waV*z٩59fROOΎ$hWG uef>>aXO;&n)~_0K0TPh.p7wc:2o ߈ĺ1^{P3alxzv)6!r%g7 j9nWVGwhbg= wLdD#C=M0a6ʻމNj;bm5Wݧ N4&Uf`Z&*Ci:8*b[brx4ϟKeO np1A#w!fu{VG~  KͻVNq$yLD?y{6ŖC5$q,9%?Yi1YnY'nC-eΰO1}K30-!=oɑb J/V˚cƍd PlP:seb"Ө+EUT1gJbZ6Ͻ%X7C:y٪؀æ-\D+.Ge[PK1XƁ`l$>gtnkO@PGa0՘OkYW(YK}ex m {Tؤ\+y\92s { 57Xz 76m{L3-u[: ]ۢˆx5+سE`vp"Yz89_&_-T$+a} {VQ(@ 3{RA',Cs{Z+BoДڠot Vܘdiv/,z~;mܟ&"F1iax7{ǣgȇBPTeHY\\MЌ3ʦQ{0apPvn/Ӧ /{[tU͕^Z$]v%@i8yi`MJQ^[| \-$6{}}"М 8^Zkg]ݮ2b|.T`ǜ!8oLsH3hu1q>Z@'&j+Ķ@:_.sEo+NɔBGCXˉGwMo.uѷ9VBVKJVDa@ͽn 2m5Že~p7F3njkѾr-UqϝCj +Bp)J .pY `,Km2 #%9NbCxda$g!~%JqCTw:MBWӒv byOR(nP]6y Lbptf !ْ [#{$iTce"GڴRwA}5?J Y$;ٍ2>IL@5%t kb©*~;@{& AtoMB5m<@/8aB ?Lޭ'm|'njm:$轗! oڎ~Ei'@vfbϑz͟>Iȍ8~ t{TF-NO7MՁGnϰc9Ce6^)־AxDHJ44uG94cxŬeD҃vݨ@ n^sY#>rBO 0<´d bg;Wг(eHMV+!k2%i ajR#1!w%+?Y!MAyVJDOfF(,wY.G:Iyao}]$e_>D%laT)214>3L(<{\* *[U¨>e7U|)a䵌ңLO`^tPd^ :UiZ(]< = G nS|а B)B% v:wʯ`+,PsJ⿮,7?4v"ɒM"lP}1F]ĬaN]Z *iƹ95ދ᜖+5], | Y.H@v׉Wo`4F(p_ |/͟ !b#x\*BhpO%=Wjrܕ(AF[j+K=7X #2wXb!l%8P K~kfk &Cq߁)9[Doi\)TKWηDlum#({O|bAS(XY.8:?SHK?1K_Sɼnb~ѺJ˥k !zP#$2- 9X}J8R3RVSPilKtH£H6,ifJluŻnxQ7"75nz^T(dyF87ķát%09F۰#sS:Tf~bA~e*\||dk.v\*PBy\7p c;709y4`Zwk$gK>ieje4AOޙp,>}4jnãEí@m-)0Hո6Ci*v(4(9Rw8y^Yd%*-&Xo 3 ,.7ZJC9xgـ:Ot}gpŬpRMWŤdb@#ݮ~RF]Xp 8,bzI/>CFî#7z[A%CZQ|,WW<p.:j\x,Dj.98$PZg`хdGa|;HjPo=/][>Fy&U6WKMX!dM='Zۄ,~\ yFnon:P=û*ŕTra%YQ)= Em~Ufdx)=u꯴x C1m4nMQK$nH[vxObK֎ ~EYM WXtv)%o%2Lrm߾ǔ)=9^f3Br4q)WeٻªylAK+.ߛ2"1D?WRWh;(J?CX]oDEdv`޵1Kl6&D{%gt8Ը{ XoB"#Z1x15ZQoa-b>&t ΤDg޻4M:щQlQ$Ⱥ7[7>jUVw0yŤi6]L۶$O;ה,+H PҕݶwW$| X۔4d_KMZ-4(ekuѝ'yMHj\+CdW[9VwМb5g^ @TpTޭ$0i~E\W+0P[/UyDy0aҖѪ*Z߻_F,IHl^cN(X[H9 Eߵ? =58Hebʋ$!,\Gx@$\{FeJyTxTŴ$*nvu¹:OsmŪT;f?:$~?@ibf1R_$T -r5Z"Rgepk;NMKߑ?Mɮ%`KGc-I\\䏣[vJzFr ?Tlr v0L<P\S]v/'nkʥ=p9* ieu,_\k Kgp&|02UIc˃wXRYC- Ȱ5O6W;HT#2*F`/fЙZ t|WWgJN{.6+Nk>أq!>Kehi/Wp´ü;Fٛ N1(fxr LX m} Mh8PJ0F$cAy-Gu0J 0d쒟B̴͇G:<Җ%ҵ&[j-`|Nm,'=g`kKap A{*Po$1nWc`LT-&i,EQQ,tYQ359 p榯%0 {s& ,e-z(?y;/>>k}YXXeF%g=>PLJ( Њq[`@!Y9zL ET1z$!s?-%esvu้@$svAoD!ˆ^.nDMaP럮ZٱΩ5kMp=4>cAf&(x"]yZf,i]RS\'ڒ|z)\F_ܺr>-(@K7L9$\<kZc}j*EO c?k+ A^cTy4j+6-@PlT߉_/"jĞ⋌8$3&L|;S\}ns+lr k1>Ic VYD` B1 Uc 2TylYx6T>b:l[uwYMv\o"GbL֩3P.kO(cPy;S?=–$$U%<ƒvn!U;yP=$}u1Fx@ f+9'a7 ͨU4{.=HHfdp|&!iŠ_-àyf6F82͎O_􎖁4DE>u%@& 0i\/,nٚs_/Ne*=~\]5>E%EdaO͎wAn?PǕv "[L5v߀H xt[1Y% k9?(xI_"]ǘ;[pX»j~E CՀ|;gF+eSVqHzUt9⮑ I†Ofjhr͍Mo )HpMרq$M1 !b`Eow|xBD5-k/1Z/ KbRBku^2;/\jZ頡hB[C*pt\M V 8&.kCo>7utj؜Gm>qEOcr+ᆜ=.Gfaէ(n.v~F݂kiI E7h򚶧 ݉^(\ՐٗaHf34Ւ\oxUhC3nǚ$,CMDU,|Kb2b x\sǀ9{R_np<*.S4O)[[NAUP.a\ۅ8{kXmhl4\F@s<tGj<*74,#03S@]X~1HɅX=7}Hi<^5xܙlM ؙ9{@q߮g8Ux#QK$4q!G'@J=3wJb\EsawE!!s7Rq=&{.bp2oP6ՉY'١U}!%'f 9-AG3p(~klj ٘nSD-N%BxӚzW]/]Dd7m4L(K ij#%O{ sUY0k5?P gX( r(OFW#J6$HK~gzm2X~Sa(=S@/5ƾMM?i CF_EK =. `DV,'VJOS|Z.4<8$byqĈƨHm4`zPP<~6{ dxl(_7l[Jߜ x"6ۏ ._W*%1F^iKEx{ޟFbsK(6lʮmMJe+ &;q%.KĬ$Ӄ S*q[ً5ܷ| \GE0l"P&.K͡0:ҫLUHfʦ^l6t ܺHG#/m61[Ui#%.ֲ9T3k-b쇝j3? kad6cp)~'WI'JU΄TVl7pmTLQ2x7IWYQV>B"qC.,2ږҲ4Xp6N<0O*%FNз{2&$3U ny&  DՃGQN%HcO elgwoRi4g E8 z{_Oj}(rؓ5@Wtjfq:rh.ŎQcHoHp2LO~S鴰ʮE1/3ʦuyc⤦W7M51AE|1 DzDYs1wP>#Ѱ}೿)/U8Vmjy7Z֙ԸykWwFAEuۃWafFQݸP Qa!Io]>Fv6{S~<@xsPح/%={ _fB a.. S6YuӶoYbm6YapbCjWoV+K #BgEnLJ%}"< ~u(:W<;#›^KHL.u2f9K![A# ~ a\%v}53vn8R}!P$5n a}SHnw,dgXWF"Hq1)'O-l"(˼0ͺKWqO M1XzҾe6pk\X]wXlp36K_N[дp97ܩ>e?-De 7|5?5`ۘۈe$X@BLJgo R-0eYZt/fO1bGKH^J(HmHխΤJM^ QwHh(}?i&x4>!e3)asK̨ NRDis%:cQ*.d`t DG FLX\OJ:qIrZ .gw4E6juZdN]t;?^Y~M夲]4χ-AȷTŴ8=5^z(]g_I_t"*{Eb0Z%& P @]DeHO7Xw g Zva$m;*?ΧjMƪV^:{\K;Cy}:g@@S:x ߟK @p%WzEݾ"A#mL 擪b떶eA!Hƣ=в؜իn8L`aT#[+,2͘ ewJ[/Y;2!i4&C;z$ D (S-k8w5n9M+j q28h?DɷG|Y'bLG4FgO,}[k/ʼHzVhd]W)՚m`3o{];^pٸ9p5F?Zȥ%yOyQZP'ߛ_*WEIwVZE(DA61yxg,r{*SVO7\L;52Wx൲R1rdH5NB+A oR3H\ؕXF/YeAEy;Ľ6T?}|O$qv ̺QHZNb!Х1oSx{v/f7-I|DZ^N>Q']pb2u^rǘz{?C,6شwL3ȹY6€+eOi: Xo:df;&X|Zk?P'ihnkhuy}'\9 ӀmCqBDҢl#yUPPď͚Ҍ~{ͥ1刨2}Cv'YV'z4bzg"lc˘te٬sQq~ǁ|yp.6L$ !*XתC8%/l% A Uۿأ CK]vZ{^ dNVlm=J?oڬj aPL:TP5 ~ 졖/NKu3Nॹ7 MLzc@OUf ?IJ~jbUMuWCQehI#5A\Gb<etv&3GpojI[słSp;I W^.[ +6 3<̘1%Mḟ] W:MwSo~c ~z# 9^͛tC1G6M W"q S@%r)Ԅ[.[Z;nA ;|S1;w ѣ3>1yD29MM$AݘSy3p ۘ{܏/V wPi~zH :/0YNAՈWU2qH2k-3A=Vܒ[@z[||rw4T ;[Yxy4e:V! ,;1"ȟuEg랶wش)4"{ǘ'5gB ]"޳m; ]hl"MT(TC~;!1Vm5,~ n}k jn#05)бINE @*iuvKw{,}:!}R։* y㕤e.,_KUm/|pGNzOX*_Q #9*7de?DF:/^T:YMe TJ0Ah8jP1"_:7 ;q/䷚Q!z@dmz%|f}(|hl7y7J!M 12{!Wȗ.*wtfS%++d‚,vX!$#vz۸V|V垢Pl`I͸į殏>N_71Xd&3VXUWRh&DÁvA2[nj@*$e"sAzQk+&? 'z ;BOe.JD1uI?@*IroCXGh>^Ϲa/ua~c"4\BelDg) G8 G=HmQ-n|tg-Q:l%]/KWT/̵9WcIT]2 bBpX? <EٖS2U͚:ADw lpr^nP@ġ_$kȩOw_ F_s\A֗C(C*B#A_^W+|TPp$>zG3Yy T5Uk0zV .D߿oF)*NZ~&EQJǙ.'Apᗪv;Oپ(ectR{+YbےՒ0_]Gp-r$UK>fyH|:ܞI pv v_PQAA /gd ea:>`9iזI$;Ni c\`:V.j @] z0B٨&ƙ]A2DN5#A@Vt4F.Ͷjrٟ,jppBĠ0^ Iω*sFZB#moKN[v4-PZ˂)P;.q+ͷẼjku5Ġn @< S j$uE2~A@hFu$Mv .R04X@IOPzH\+|$xLNK}-Ej߶qӒa`_PU`8PiT(tcԸdyXog5O}h"1 My.E2&y&U2jH(cQ$ 8'C _@՝ .uEKqP~TE8z0~F@ 9F- xPqR{:Pϭ;/rUgh6l ]޸d&3p6UY7`fyښRBvoQ ɵ86@w0Wɛ eRg0(o壔lxH80i@8WgLa) kלCvB&}Ud@K.Jh9AtHrֆM\UD^4%@LC&:\}rR7H<F`1R'~5BMu0;}k-G~^2\,_>n|{@[A+hM9}/(gTe%޳,Զj#+|g)l;D&or?dm)zۚYbus*OXa s tE zUq$DӺ o`L70Ư a9y34 (|/aivo[ ^-`ĹRŻY@cyHG]B>cx(`WZfӚ/ta=y?H#| .GՄ]3eSܓ2ac[t!ɝp t?r  ElɱnN(CbrK1#:QӉYӸ}Mj[ O";l'戗xd/07r}X[u'TR‡'uv$(min32O!,$+!dqUtp0eo\&ݝ$h@ҤL^#Q9~z6!IJ#jpLjqJ,>?K-y apW/t!;[$$_t8QlWEGiDɝpJ9IڇCbB0b~UHMA ^t E3H2dN/.A&e9#VJ8lv \QQ| ߵnVQFqOfaRE'xGFdӬYJ mrq>ìQR;õr;*S)˟eL^9Jt3#=:ޜv21Sp+5-tF>5Դv"`^3 N WdDApJD]EB{|A95j'-_Zǔ4ґ Xs>Bz#2j 1+[@ޔtV[\.khUj_pQs2`F'.g{I+}!47D(3w3=2'wƕ|GU^\}Oc|zI] ޫ* Uοۉ=W$(ށA ~q'\ 9w?9}J%j٫PNq^qniZxz$:b&KXd_m5' pw%S 3l"fMP\D{ h >$M;=?-[DK ⯀'AQg1ЭjPl4*7%oo`# 󜏞+X m=ߞ`c_)\Mrtjh";Mn~`Oy-Lu%rb\ s1M6S~0ύ%,)OofsۇN%2~\V9%g+y0`VC؈7`تФ#?ԪpA0͹pN4qy#aF܇V`?iߞ6fX +g>[D@uzKTQ5\d=Qf~.D!_)ni3*o'khym[:Y<X*ݢLW`؋yD3kT853k| w[drT`keB\I ,Y[ bvE^fg傒a_*vejޞsh;"zuλgY2=Xu匬ŅKjb<`lYj'JSr$m7k A׬?%'>roVsy,.5`CE1 "rBZxge\kn 5s9~YP,wb$Kh~Aui# e a `pVAc3Bm1p%c-7%hP*Z}de0Eci_F9#f2W V`q=PL1RSDŽTKQHIБ2бo88Kk^.TzWAȇ$35W=r5 %?QU,rW+=B_%oE/;t*ðPҼ#lBaBKe\Do֚YVY-m=u6 b \B9@0Pv󿂱\6*2EDWY)'$hX‹HfN3JsLenMD$2uRgPˡ4$Y/ݢxV8~ n;,S%$NMRߜFYu_tªxD<`fIFkeU|:531PXHAz g,.^Rgv!,-gr%`-Cji/"nϫr>d4/3y݃p*2SMφA^kT{I :o歵jz[!_œ;S)Usn>sA=VF*>ZX Y~;谌.*̚Y0f>H-u#Fíd^ڜj3LPNPN!tt7׏j7ڶ]Rj;R.SJW! d괘?zo'kE :ĚbNB!bFaS`K,٩ Hmsy+hX&ZUU(PW@ڶj4R6;3ܑGʊ2i".`"Hg6:"8\kO?&ѵCYH:5]a^MSDOxJy~@xogؤ=ͪb|wBӔ!ZW\̫lAK%SJw{"G-FֹPZ9\#s>Lګb;v„;)5n*:fQx H(@ qk xc5<f4T>͍$ gOa!.i,ž#H\QON*)ׄx?ł`FbŸ<[ګ<=QOWX Rwш"(D۩m)+zmS D*^ :H4QЉRw G wpsV~T~mB'E%+%jv",y{X0@N bd4b@Z[#x#]-\)ʓs'!V~~מ*{$SZcjv=Y_-YtHgᎮ}8q3SK;tDηr:np[0襵^R1徧S f[?e$: ,][NsLkIvRZu4żQ*+]1aKPfuG&|ĶDHdUEhnK,TܻQԯt#;T%`,wf0yT=Y qH21bRWALv<>$p_%gp줫+u.'ԻWâL:u+:fop0^ pXTHO t[fTCH{$ m֓',QxJ]0G9W&렷!OKtFQk+/BC3Z^ZLwׁvzzS@HFݲ?^a0u_CjYՄ$Hߔގ(Zsyƈ۬q-"%71.@+2A˸."dB\Fq>:贩]r p'u3@ފ M0PCa5Lk~mnFf$p6ԝx,jQ-ۍGb9-a4{ La!^$ 2rT%sB* lN;?8k1&!Z!hwfgEeٵ=o[kCF%Rhףׂh6XG콩><]_ ɶo# "ޡLtr.3><'WQ_J %M`_Yv/N]RMaiC ֝2f#Pv^лK2uoH%aړo5ãb0B8pgr,Fu!}`Q}#o|}b4WcAcܵpg<ܒPړ)b9n3Lp&.zTg]w/vE%ɟh抁^'^0cEǯP f{fUk\+aZ*{YCǛT:{72zqd %-`.j筪Џ?1\fpIKQt]0и︆/Xݠ2y+Y H4ҺU; 8Ѩݓ|*k+Y#5g h̡W+J?$4,gmes/¦vٽ7H ( Vkeq V3t31߈$t5r^4w'e-ѻ(PC !?صz+4N:wK^<KJKOY _0PSTzF؃JC~~;HL`6}j}h^B9>\5:}2unAخ`9KUx'%| YjSyrI/Dv|={iuu V3 &K0. uc/~{܉tJVGiM3p*5H+>y -Sm 4mTޜ v#xξfZm>}1'fS;O /qSK$ i<#?SJńueE"D\{.O3gOƷ}"g=;htP %~UfaQCS/kG֒5qoj,+ W&j];#3 R򏬤I<9l!VH-}˴"_DiI>d; #$ASo"_mu 8f&^rQsPS%Xh!ܞH`E+75b۶zVw#9|(h؛SlKk19.,`\=LԨ+!ZA$5IN.w=c TD BCy$cC=s)"ca)60" DX㜎 ֋i?o3۴mD\ikǑ3LP: R7s͹ew,2s.3~ϝrT* F q.0kb5zyf< s=)Ld. ϘJ~ISnFX&Sb,:H2' N Y1 8>Kdߝ*~+ts8WlX Q'-E6Livim6w'fh]l xSLT4?ֱkVݽlk-%1O%/8:8<PM9/*wg\<28˷ql(Ӫp- pu_E֝!nT=bbN[M84hG1h?q3J4o^xСyطgb`-Z~H+*_{ d$k/3c޸m0N3:bӘĴe(h y$"d=xFl)a&4MSych7UWCWYG\>9TIFpS+y$r`藮9t*-A l㗁-,HMQ,zdu2Һ"gaj#M7⏍({ wfjW%,Oc kib_MT6wv9]P葆Dqn8\~̈́~HױgYZ00a5e4a4cce8b311d4e17989d3caa87af5b575b7 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 22525a336f9ecce97cdb568b44379f0491541a87 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 50b8e9f10960a26a58eb1de57d9af006d4dd71ee 54c38db887812a39b1b518723fd4468f9395eed5 59cb2b9364f29cdc52ba3398a114323af4d59f9d 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 754868a97fb8ecb4bd5624245676b23ddd584c4a 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a5dea19b38006556a5c07ba4f7ca5d0f425984cc a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 ba398d78d1126570b0707ee67b307e8a46f2f0a6 bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 e19d16b4954f8dbef5d0c35a34efa37f9c16cf4e e458cdde5cbb51f0489e40722af7c9ff04391a63 e6eaed053698879e00e1e012935a36dfb142a39d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7 a6499e6c2907c8581564d0315519d1dba68c8d25 e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e19f803144a5ac4a21d65f587369ff48ab1705200