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 ...3<$\ ]/ HOL-Data_Structures:threads=4elapsed=370.852cpu=1330.516gc=58.952factor=3.597zXZִF! R]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bbr67TV}O^uhx`xp9X+vrR/qz-kj˕l^ lu+{8k鵧Io_{VhףWQo 3aQ| FKuEZzW {)\)..$ =U=t9a~DKj*ؕ->FˢB ]} K6؃y~UM{Ml.@Bw4cX%Ԡ(WQ=OkӤh`#mO`yN gM}%І6džRu"+vڇ{v2'7Ȟ4=\{7P~/b68V&)$K|9tU?&gI˿`;3ckf-}EG.&:'p"igt㒳{;ӗc|Pe|rvgrI<ɒ4`NׄOH.H7QpZtq`OqX DxX0y"RA4֍U{.q! 1ῳS:̐ |} L18 8KTóTZhȍE WWAa-kG(̈?n&y޺P4= J<焵>'<7L+f+bb9fnl2)\<^ =əKY\,6* "AAA8;,??W-p Vq9b6T9п҄ڿzvEFdo_VKrr{6tndcL P臙?ݗ"9m[alԹVxHs/XWh;eQ5%>_wpD:֬Bm6}JÇ*(EAj#X:F?)'w)!jR O,O-lltL/Y)SNmBD;=g*FU౴لd!_³>4m#$|eEߴp j"[]1Odrfeꩧ> #ĂB8f hѺRa@M=(vLw2_kWH1ъ`L˯V1=Œ|jGtH]ם)B3^%F# OM ױiVRJdOG]2nLjrEg,sGk[b>EkG+:4u Ԏل Z'X‰6,uBX ē $y9)6|n0<z9}\v(/LMʡ&"C.v':W) &x?v`\5T1ce3{\N;0 >F0cSŁ͉S,\~^}14S|HUUXy%bn?ʺZ2 6ӧ%AE~Z(+f3iJWCyUPCf/'ThB{N$]'XɄKZiq@܅]_n)ƅi,ߩdٟr ,\Rz| OpKO=1=ŪVZ-eݖNᖽħ˂`UWLͱaaWHNk!-2zv=鿻;pfZ:E"P_3S#3m'ZT[Xt)ĊfH]JY\3ӌ5N. P%3l7,J$Bk}L+y[-,{a;ՊIBqĥjKІ0 >p:!VW2ע1yoӭO:44IZ;/[Yr{ հ+iAdQ٧\Vq\hsY[kK KXBX&/ W=~II~2@*.kX\F* 7D\VXM2^G 9.&>L~[#N$rqbz߿$ +-%w<>ZC٘ pr(>;l\vh8 9&qĎrrH0R_QyZ~Rk[O JNظLhKȁ|wf^.a(dE-`~6|7CUV/HB 41X:d~43Mcstt8)G-0l.$YSb|.]_Sj)gQ$=,6eX/#*)O|‚A>@C/U 4Ҕ^l5C7B(E6CNMٴ$ưa׏*lRgQ4R6YeiNM6AX0}a LY_trx!q~ ͌n_9ޢlNpwJXzhE[7{q{H` {I2j |[T0$?MjNfœUI2h>9P9gA^ "=`懦'79vW,9>n8?ۏ鰏>%܁"xXÄHIB "ԭtaZIO.j BgLm[S+R1wBn x;n7)қpbeCC0v#" ۩y)ʅht F)AhD=ͻ#fwbFiÍ q@X`2[0L@`*ݑFx)+ņ|2rŏ܊C{n}E4*S #B“sS-qXo},˄6ocՔAЅèl&[Bultu-7?r"o 7ap;z Pv@1p |ՋIS;Lf$)u5ńqB=[&r%Yj/$J'TEkMcD 'p2Xn\{wg&^):ʏ0 Ko')EVd ?u=Lq iY vjUc,.Onԛ(_!;LD2:]@,T@TkJ ?)DHJ2> L!rI040iTW vҨ`Sh Sez&zK*h^$D V"ΩϠc2?|BûP>yVqN9+MJ&EWzƭ+Hc~ \DG wvП~@aIMUM~&/+kZTlz\˺>XT2ȑHkt`95`f_5K "461 IqU_ˉ_Izs IҜva~I Θ%rNQwmܱU "^( VW%(ŽP_=  d^b F4w B|"Cfr8TlЃ%܃ں|0N FCUw`&MZ[R**Cb)d0Ky<+lت/VBPp\J(&n5#Wx7V$JAfgTyId?-_K< ܙۃd}?6|ȠQ*K&#K`]c0/i0}B+"GW@حNLBa*0T'4AgYZ7zXZִF! I]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(T)C9G$}h&g;PPiT_w2Ue' B3Wgq[9`_:cg\Ѡ_zP5)/3/H+. F;|q@o"6Z=c~V'XaVw*=gS; %=f&|wBѬ߂ f-sztkwRXʈjcnWYp?U46(&9V䬸v֓9#re6qa &^%o&v@/ku0;(.h:,7J5&FV_D8Ҹ+@V~KM޸@ܺsmP~ ,AwcT2 ~rt?8ơ~E#Qtꊩrlo@j!+iNgp|o,C>҆7 XY172gesČ;p%d=S?dv)%jL-:BdN@A $2 RբL*L#vCбMF'[/PZ7)fz.K"]Tm1)'“Xy|$~o2|M|F1<u<=6fϾE/!X@h?>z61zl1Nm?٭,z⾯V{WMf_5^G4 wЋNȊmE)tvfj&1UDҘ< =2&4YXؔ1> {,ئ6@)iÔNC_^gՖ1@ͦyj/iы2(O>dm{H$AyUВPB~/r/EKKL^ygT/js+q5dqbڄ6~ `Umkn4nӼ. U\teEW{#QOх:Ynॶim;p{a2>(6MՉN`ۥ >wN=<&g٥\ w[ʝϊMXl>swz50,S0ڻ;AX[ܰ %Rw;YT}k* 4g(I'u,Y=ؗp4:P^ӞP0guPG5u~) SA BpsAxb)v7AgÔ|[a;q2 aM*|b{$l:N7Ej cN8tqԿ[߅ PH IxqNB@Z̓o8`2 ~ o*u V:(M:~=IoN+!|Bup`b6׽\pmĕUsQzGtn*דo rȝ-ϮÅW_gѺm}BI^Z%o%!xZKHv=JĦGj_sk!Vk])"ۚnJ r5m8(ꥱD 5N#WP@]Oi+_R`g6验;y)j^iRfA|Eq$ x.dGCN1_7DS1Bc i|1H=IS@Ev8OzJj2rStvO<ږcdv"hپ6LA!΍vrW ARHFM[֥(ן3awy7{_t.r)I1PoX1Sũ BsK{Ѱ ,Q}MUcc"W {q!"9 U* oFoz@^v-sH`܌X.!~v抍 =Nk|izCL9y[ezK/i<䲍7J`D♃L_ #qkA{ 3"sIVeZbmIkzC +? S۴{ fp|zS<s&l9G x>RܛӚC*Ѹ5{e%PWLe@r\XKYCSQhoX)&u=͘V7ČOV]n4Nא!6㛊(^i/1U;;NCA&[d%5dXxFKs\㊨Q`:16 f8o+[yYp}o0y a)tvÛ.!3ļK3 O,익wPP@%%ߛԅ:x;9[}AXΒDնe}2/6Je= ]PBy.<NZE1UO<\Q0ص^QIp舫cc_V,<ihK%JPl|v]vhbERˀA|TnVmsڕm.a$t.iJBhiM;KjJЁBZD_Z|ϐ.DIJUӼ[}12 pnlT:=B\/J/= =pw'eW{x=zM3yy!f%b ih17wOe]Ma78$v& 30 U>뼦1,z3 ӪR<e;e!Sśj>JDc.`C7תKݲU*F^DZf\M:"P)N#҇s>;Í]47b$TbQdIgֺmڠEmLkPJrPuUh="nbY|>f F}S}0J܏hUzc-Z@'#bYxn18pV̛`.ZáAd`Lz5֡gc$N#XFFGt1Y7:QQ'CN&EaGrΫԜ(IX;@mqGX$p$iPwAr<#Z&:ri=]KPTmw2?v#an.6&V-pO:[l[:@e񝲗8]|˨? /T%SOM?j _x)ycJN^h6 4U 8'qXBP#I1ƪ+D=^eԊ + !T01z.0Cms,̏'z(“ǚêΗx8-cV^ :B35`{+0\72j(d8!X=#L`}fB(F7sicGOx?>& 癣a $pFFie Ķʦ[ ?~KS'G0)wHy_ӵ`v#Mg. %5QcGqF D܁K- ;#Hn"dJ5°L%U n)9T>U \a 0-Λ_4 'B1+Z{ݲ8pCSnjֶn:֛"I0*+!_ % ~g3|$N՜USM` +~.*v!מn;rBtj5Iu-.sc tm[LF d' p!$KJ~خ+shkibc2K,YoC T7ǔ:yV-X2A| ޙOQ&pk/֕LkJ(IUܔ61z]-a`NI,v*\lOikk5)8LE:j4 9>͏ǀ&wF~Ī.e|IYl lH#grMؔ{B=Js! . ]ߺ!V gɢ$hNA]9,rMh%-ʑuP%mD7k,IUn#Tn!"iM(1Tޥd^BO(CV;Ss6B+h-fu)Ba1@NFʵ k^Ng6s0%Jz!QK5;#PD {/POEl bG_ߦʫc v%3RɗEC@LxXW/)zD1?s"C )=X F@5$m>2yg ovE3jbGzJ;4#HLYNjQV9U JԂr~4}fh?ctm$(_?zu}Y;',w/1~ؠ/"3 Uq"y#u{jd?쇰tv6IN.?v{>o=J*+U5W\spD_{07֯[H3G-RN'5yƉE&b2P@ fG.OXir؀#LГV$=KMѤ2}ͅu#u' I\69Y_'8rC&<D A:p}"V/(QaU(>rfEϬpn~;>VK.7gVr/F &J(ٲ4QMpcCM%h#2%"Yd"4SuʆNd5IӢ2 겏CVA `nt?{ M_ 5o;1NGu_ z"!,4~ l92F՝L1f(,AKR[<= W*ga=9R3p_EJӌw 3 OC9ۅYNm)Z/YW<e̞Q&fu<% bm?&J>o1eaԦU үKFw ئ)Kd ?~NH9Ho!1zLU9w( ʸATs?tbeu$`҄>*W W^~Ч|:ר54Z:Fd2~x˰0@Rۊ;6RYun%WǓ2aDhk: ɪ!ZJP5!у?Jb=X8K.'""8h-'0\jsSGC_ET3At-Sak۫R%ɒT2x٢*2":QoOXh_l (n 9ߦ)QX{}@(vނ7U[ۅU!B-VEr%TDHx@[ fhAV`+ k#䲙/PF_~[``fn!sPqho m*$QQ6MEda$O`r̸m ,Ï$ũ"`TMhaJf\Fpnw,Rr vK345K ^'V^*JZo>iӥتﰱng;3>s˶T:LS ~x(wbc[# 4?Z%RgD:8wsV6;=bՌ' } ,5 `זīZto҆d:l=K4m({Ux$GPׁbs$o'ncws=^Y*Z1~]b[3-KhbZ_`gox Z@ELX/8t.lgm|~Ym@q3ٱT.@E =-!( Wru~X]dTH6ak*qtfuڎ90ϐ .«qffP: [T8otZOMTYt%^=xP"6wqp 7:ܷi:! puw&m@$~6NnƇ"q+C֏HaLk~@Oqs2*F*Ih!cQưB[6eZ'sPfȸփc;B/}ISYt׈\=O8^N{y <{i Ʌ;״ʾǯRoZ6:o8NXe>|ɬ5D ykؗ@ RM *;ܫ#!1$>.X%tFbLRD 57iȄvhG C|\Iܝ]PlGRq% L<m| %\x+!hVGJ/6d5%'g;ھ"&(=HDpo&)#Ü£{cœ3Ґn{WܩUe%1МA˖`v,>RO ]gQmpThyd _ev#xg;x+E+07o5 MA! uMBLO'Y>{ˆծ̽UOǖ ApdZde%Sӣ;k$h[_20v98F?,X2,:y[2\|0LZ@*F\UVt|AT_mkcَd!4TQ81k* ̩Fo3Ll7 朳\PTOD.PXeR1B6ș~yf$B)m-Z x+x5G+9@,$$$)a 4_ L :Ry ,A35xx^oL':ކj"aaqIC!>cFcjlnR"=~u RqdN,[x x|0~ 6륄DLT=aCqMbZj6BM$/ T}LD!T:E \pG1G-W gIk~=-9uSתUJ(c^W%鹩^?xezaI;jf7he_FSx9̜3qٱ׃ךhv9h>o#1_{@]VI6y0(:K lT-?=:f TDG=YN8וmzH-#wpjvel w|LŜV,eU:l#6;OrgyEַ#_!,uIi!r_BkUN>jWCt iN BA?H>Xcs2Ƒ&'T}Q%%T8c$!T 6:3!x ﵴtچxPkq!ߎ )u<{LJ ,aXX?W+pPV8Р6Gΰ/KO^3*ސχ2锵B^m4ੋP,Δ&;GS0ɖnЬGp#>_5zKb.&UI~ᱸш="; )k; ߘ6+gcW(P3@N 2PUTIrDU]C+DA Ⱦ}k_Y[iOqI:AS2/^q22+| ZT49),guۈ5Bn1 dNTN#Rx~&l}s*kן<7go߁@572^(2p], U;~FywU7ƁfH3.x3X$C?ŵ$p&2Ҍ𡏹8'g-UiwCr-/ D:sI=*b:>nǂ MUۙS^PmbR9\i^3)-IfjLuRfPM?j2L0Ho9?OrZ mj:lG &̔́ɅxWmzL^T-pyrվLUݛd7{DZ^%f\T݉) S=3C)l xvsU 3  BT_'xZeM͆0%ե60{`rqg太{lfJW@ Gֵ#dH:^2,ܩ特 +̪oj:QU,+6 2 qP%z ZI)9WHZYE+veo+ O9ZiTWS4$Lhxh<˯Bl_ 5COW cX0Jz\\wU׶TYV;i(L*+d?CwTD!b $ڲPAO9{ͭ'DPcHCjF|E"*(hT6ʹSeO`]|܆a?Z<ãPOl-h iqjB"{ DKtVB>>I >7r*ylra¦}Mi"5Ry7lEl*SMMjJeTNN CΥ2gF*xdB?sIKD Ǫq87b}kgof$6+˓M/Mڇ۽!Xmל#-xmɵ (=`~p)f,>#˿W1!Vݮ~'& 0kf0julɰ樒m%;A0`wydQ#hח)^\d$Q@qhbp?k$ŠV+\$ԛNb6uE M~qHTx ;}~ Hz7= r/ a~UJI0ٸ}'s~Og?4"*/3(rlkMGb!7#$0J; 5J 򝁻e&,ʴ?&. gYlPʳ\ سUuWAw{ OdeX(:z(3; WpO3L<-2U2O$괶z΃Mܷ-Nn{?TDcy NRehڪNWY^3Uf ;21;+@Pza8[f܅\@Eq#@,JImO=H]/sW1Sfpkj8E˧:3f0g}1MUZ: 'Rn0 QM]fŶ3ǥ. dD|Bꌼ;== ~S44Vu rWJN s'ɣ8`ǮJ*P$O'%w@_?iSAz2w/~ƻ`)D'vItw3tkO/h F!Unݷf$x m1>ט@4bł8&{>iN5ȶ;EYX:;<~!Zw4uK(Q^qisjSk ` 7,@,D/\wr !lUBÉ8/Rx1\n:tQ$JAS"O,6ȟؽ?JpfvOF3p5AW߃EOsuiwUJ@RbRXr)Rԛ_̣f*sK~V8NtKKS9dV _ LA ;SimYݲ?TkqZs9v̯9@ U"҆SVB.NW athW3s3P4ʲ+[@~Nd_;h]:kc2Ϩw{ө d^~yU[/m!4ҾMNn qP_LwV4r+3X_׾GWyx#AmgqjOm7LpXL5xl JjZK\W6&-*ʣ#q;O3fWsϤu,-|I[KlL@FMk6: xh"lփH ? ;\B{\>6ȘV-<*5E(=2og2X0w Hu-b y VךrH §1SZ"u9tF-`| ^]Іi{~f~uπc1[ ηaRf*wpJ~ەXbr"vqGVs{FFw\a=@.n 1, 4^[O!jIRxQ!wnwk@ys7{z^;*_5ACEvsH0-kS_aSP!d;Yڼ^I1ug:G2'qX-Ig\'_)9պz( F/ H@"2MqK(!kNۉ9tsʪELD-CvQnY|tUEF2C~ŬB1 UQp:snɓֶ{Pu;CCb]Whbs m۵ CdfqbPzP`y1\#Hx_|L3+0ڍy^wrowA@8C[ Z*:kV0ZVu8K"z7pϳґ^%D o#F O,3`Au x-CpJH}'|ѿ^:J}BMp̈́8R лų**6bdl+!i6ԽT+BtVO4)^J~4檾=KJ0FFm.Pd}ȣT2uJ1 :yɿ-?Ofݰ"r#>q"IʻtW@A=3VrUO9w,\AzsbM7=DKg{ݕ)H&$IF={Uؒk݃s\t`}0hY*>=]bSi*kQ"m:4[įX#F< [8{ M{eNCQVc}rRtaZb+sv[MFۦ_eqEe.'^*73=J!Nq _ў-BjdP/9>,ϒev;PF+ / 5 ` 7lmNY3.| DYd*3B2p> >*=O&:;zo]=~y:?'0R{vܲ]>Ğ}N", C~;+~a/nDd33mB [6Fdɷ^KVq`%kE/NG[D:kC ґ83o1,R3p?B"2/P􌯚'Z~D퀞0yOа!/Mc}@bNT@Cv"X[dB$C5173vȎ0+U/#X]kW\*H5Oҁ4BkPF5j$٢4= 8dk.@]_Q[IZ;%g.*di1Ā,έ 9Svir*$g7h 5)-: k5ݟpHy&@|v{Gߔm ٲT boHsj}q[̞ P$SZlj"VQ%IdۥXHꐾEqye pJ_rG֢Lt)r-8x[DceSHa[Yŀ5ūzv4*de[W S%#U?a `OkD)pH) kwa=5*Q;4E\pGx4"ۀ&=DY4MB¢4 Io0B KQX񤁗^@ b[)kB@gԗ.'\X;OP:Gnh=xƳxh}e'6cQy'#L716щIg+kK*i'-c-bПQS֠ $ JIZ f_Q̡#`5G{P0SS|*R2S6J$v*IϥTQe=+kbsQQjV| 9|f ]VwS_9 Az7M1kiquF7U* 9~⫖=s y8zgq6E&b|ݪ~oB׋+e9,XL&ra,o(C>|GeKu^&(&dM vc&t ݹP6Sø~zKo d+P`x0`k)31[g>rLL)Qa>=qtӤ{cb& 4Dg&ޱ`X??b?3+ nPkɏv펠)7Q߯7XI񵂐 t$XHr%UH%_A[Hט:F? +)>G*3A#3&!T>6ɲjy5-Ie- >ZazQLR4̏g~k`N%FVUHv&'*ŜD8>kEɳ+]}!/ \.o~DD&ahc~"N3-8 Vp߀= 91y;߁ IL𽤄.ӫv2l~[\Hm&>5;|oiee`qZO«*o3U|JaB)܆g8j4cQYxԛ܄dBJÝnTw* f^gqw-'ae\c~9m3Q0٤V|`Y (:a Q8{6,V8W]ⶕFŖwQYD0nwE퍅1H9Tm r|H:nE1>?P5 i#T݄ՖC=ncOˣ۵w å>*z恙Vjpl ܀2{͑ drG_Y/+_D3 c29)gȍ>}J5fHֻpYN(hԮG\ӡyj|w[Y%lho}u hȪvj1ٶJ_*(@+)X핐/gA)Q`s;xIκF6,:c ;KO0k~CyC\y:mq{(c^7J8yBCbËU2n*˔(2bii(1o/q"# t<;5yI9=6@a}%3kudt&RWz~ÑijxrXRrTUM'5R+F`+Cѽqv[ގP|MC:!Y_ |~#QY{a^QZҔbFx`r+'>LP$۶S0O׀WSf?ш42=Ђ$M 1 @UDtLXө+b KF/+=)oCMd~o βΠڌ)(Srǂ50ىN@5qsҚ(y7cd#U;0`uL6-TSd?$SB!*~"Fp&#WLˮ0OkG Τ-gw?Uι!= z̐BDrmTK <]fRmGY]<õ-REB-/2mp_ࢷNE%xSL~:uSC^K@,4* oLkJPCZ "?Y-q/5ikN.-W_m4&cVijrtq4V"t8 Jhަ)q0kAJǃ9{&wJ|Hk ߛqŐeOol~L{yIC*͹U9IfJP?DwM/8`EvAJ$')v_r!\f#Mj| 쁯$ӌTI˚3~ ]R~y)Əb(IgS,ʯ{hcXn l@+%ub |~I\T;͖%:.ź KJ&6*qNăa|ޱV܄T#D`D3@Ѣ > 6mwN'q̌6Jg 9Nwn%n?H͋:cD3@*i^$F4&XV皜X}.+ld][i>Y*=E Vn J*62'ݓI=\[,]Vs %/fk=TB0cŜjwlpO}vxӍ̒g3/d6Ԥ7j>^W"` GcKߣ/,%l\LGVAQA6ZX t袵MIHv$4yic\rgFWr/\bbCUb% q(fve.RvaWl\dG<78'tW-q@ \jNx˄~BiCi*TYN_jbcj[ ]`9 [ʿ5Y;,j!6l+q K/47"8ub#^dJ~Q*2) eWdR܌B>òzjק&+aa2ZQw J(V_]FF1BrRp*wD/w(Îu#oD>dIY煛t^xgPc\B͗.|B{YtkєK2M:C&ˬߵhqp &)e$OT \slFhou4֒LŕDӊpkrWd<@’Oa`9QמD0>h>$M@9)z_hK )UxfxQܓ{A VhҮ?{FuDis#a|LRϓǤ$H[zĎH]qM&Q.RP"'4:fFd#a:|.ʻ,ë }(X;Hܓf$E%q;E\YWxÀ\n]w$q,KL{%k:^KH^Ao(Ŵb˞{mg 13XltJ ڄP"h]O"k$9 z^vҝc.dH!}):ki+Zb.2Իo->.Sv3-]':b( }.GG`QQ~ i1 ;*f?"֤tMi\˽^Q 3Puh>b ?4Hi_"RyEQΪЯD#<{ۀuu$_Z:%^܈-4̗{[ߡ$2Z}g--Revבz=ޱp`I x,)CY)5MwS'e\6Pp:Fa)$s)иM)^1AߚTMg~rB,$ rNE}Q 9]˕x XEB7wۉt@M0'r<}3͠3l(ZMLa 2{zavW綇l#0CB=TSeYOC63^'@;==zbN(Ǜȱ.t6?8C}r̛964c6Y䮺P?x^HVn\ g湷s(fKY *-TẀhWMWcT@6XEdtT  ߝQm`sn>Dz'EK}P \? \aXէc0C `g۠~y& Sqֽ9*Pk8e1N_ 8 tGxѪ7􎊓M ޣZpR~w`=/HroBW&Wc2s,9-`eUsA19RFGj/)Zj߄e2oLs{ [R9ëUW,|EL>ʺJ %W:ɀ/͘V8=vL|C7љؖJSWɶƴg/iaq71>7 ωSh!#|7qC;K} -RCl*LJ%J6jAw z)ZRkyIXТb :q_a_jHUvO&_< Vݗ=Ub҉1[>AyH]E͇>CVDZwJ);EYe_扼}FALK>~A{ JߟqWk Peܢ?&VxuEKI'8%d0J|l|9̣Ȇ;U7++SKH$ᧆ?_0$1з5[_VtC`KD}gJQ=tɻ0ťݷ膶E8¤]fg|+ Vq^]Gܭ@)˸~_G{02&.G(gs)rI@NL pj%V`p w ^{E0,Mw8K8f o_9*2N"9ACQ^yz/%"S49.oնO5bn3T9dhf*]E.tx &4D)k!fg-c;&.64[mkL'ه]2_KzMၼ/s܃Qe!pn/q,7&O9dB#GHߎgPh'M+Onwo)o1)vb7{5q(Ş;g-}Ywf75+t2JxSQжK5+1lC2@C}| }Vz?ܚXX`M]_2Z ,z ndm*oS8M8)v}Γb-3)pӯxc,dGIAQOi= ַbWS);<+<H +2#&ԛA 2ع#|/I[=a !zw!tGΝBծ]9jfU{x&ݨ5z$$y+Γ9gF`oG\ Xo"T' #h9-ZZCiXQZt"7#EjEqp38;s Fbq\Ӣj-m8֕mN|rq%rPG\;*<ӂ@hMNjقcdiͿ.28MȜmhKwsy鼡댦X76a,奠 &Ks(+ʦ~ҥXROѩA=A+\|˅F6'>"=9\}MfTL*\RU6:ۢBnQ {wjs,w o 8[%|w=2@ ybg^\Eyq?o-b#}bHM'r/ٵC[1u.݅I:.REu]n#:"gJ?^ l[5GmTbm|V!r=*ڳ˔(Fiݪ\wK<}d0ʰen);5_cx3ȖGd,b nxXT]/߿cRNy{ na_'4"5VHb?ܾ^Oi!h!))nQJ)Sqƌ6/<; QK8`o9-&YAyxe W8(5y@e ځ Rg]O0BM7$03}8iH#zDsf/' ^#sZPRULwhJ|߷? i84 7{tEa:A/gWzFwbyy?r xPzvSSX&2S YML]o6G<\W,P<l ~SJS,qtX{V)úySAHNMn֞]2n 839|Y'^=:y;fK;灢ĊT; ܴ%EdgOE-*#J^vb* ƃ,v`N1JUs|b_`giwPWfM3OU|'k̲]@d7y/nr%P'ǘu^sSAb<]9b(n=9ų<XB9W 2JE^zrhH;OюGj:/Ug>vu/j-75w6ӓa02#A86LEX<.* NP=0ל%,ۡz+Sef|uoi_#]MM5GYޝ&UkzXsz];JЀ\ZeAQldwigZ_ 앸'eQ}j(GN7#3 ;Cғ7+Vh2T9)t.Zy]o9 5J}%#s~BO- Gmj?o. ':o-/9Jw|_?;m>W& '3Ώt4tFz`d/E[͞Q8OH¢}Nω]Qi];Ui"P/L9 !I@]ꊇV7bireM]P;QLX hX0IkVTfc_^ZahE%-n(V6=c?g!T<\t4̕{xF ԙFj_Ħ<} IةJmM*+}8t {e.\e];1%X"i$Ei4V.}MڲDşx,hD)|_% "|gYZb02f14e5a73e469f60d02f9e8c5ca10aa7f4b9be87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591