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  7,T ]/ MSO_Regex_Equivalence:threads=4elapsed=548.665cpu=1709.224gc=33.900factor=3.127zXZִF! C]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jneI o}3)33v q(_0u8Չ&qcӝ_^\ x i.N"(XJt:~ۭ ͐ej" 4k92xY՗wU$0@k*AҨú">FǺ):o XHt}TKD=] .jm*vGaQ! p뒔Z6bO( 9Wn%/1鬖`Iz/X޸IN9ϐmP%qHm6PiOa2)!6Oei=R^2z>p ~=@GDEouH6ZuvȲuFnȮ9*`J*C sg1/CFXnlɲdtf5nYErj$}lDBgiSg h ~wsT J"V x @D==Y lCS/R=(*)O{ 5&!{UhevpVݥX="%HYܪqc^F t5zf{^Mz xv'ʉ/.M@r1l:-o *y>fQYiS[K8N28$0{-۬]r^R׿Y_͑XFgxЌ_9yoY+O0uĢ1p8Y+>PdDW>}Һ .V <̿GM}hj$ȧ=]v-#G>{ X"Y{am8|R1tY1٥ `(%P8>ӕd&Jk.4nI|L$=7+#H$g* syBt.;۠7_0Ǯb&Hkx=8ۚҷu쏑Ix/4U|6n :}ZN wwNN |CFy6$(gH32WQ IQ-28!AD:ľ7J]D!r.-?PG50^@$kHOO8dTdoI^haDE #Fi2 87L2SS@嶂a|ؔr:in,O)&)Աӌ .8Y;f({9yžpjE9|3%^ky%GbY7)1o>m<^p$(%J,4?D`tKfyzR'*_[~ZL]!~TP;7t/e6t6{N|Q/&j0^r^l|i3 lf?~o!e;bΛ>U7, ܯqm( {f!$h­,0Aj`bFLO7wb13dqgrVI55ϢWwILjiٝp7bGjN;sRFDб[ W2%&\pu>I剎94/be2Tc$KYv7hHzh-9|vI쁎#Ԣ,}56+zܔq?a>Anj-=KAօ0wpA xdP,IreBa=TiXs\0j*whۃK-<-d0 Uӵ{O@f^h)"\1V3(ٻ"5 bNp;콃n6'N~k)="6N)b 2$k~)&IF^iJS tnvL2 31vQDsᚁL@M铌 6lEf5T\iZN5a9OklZ>#_Ӥ{8K+`n&VLN] |5`nuYNE:dMZ*oKkbѡ0)mč+wNg ]6fbϲ} LKIF>$\ K7cVBkP44]Ssl[+JV UZ佃{ d. (],3uCGR1!1u7E/ YQhoa( [ɟu&Ҏ0V Xd9H߰""s^lZdH?WSzЀ DnsWd8jH"|--Asڼ#!Q ;Rzvc?3rH̤%BkzGgu#^p;]7;Yj-Dʌ:~q7DwT{r-c~|=d!<'OZ[Y} o%kZ~nTu H79D ~bnd,'DnvA͛[FSG-M' DI!aH衭MT|xzoM`a(d2gŬ~7;*^ލO$9xuӖj|$vbns|JzsϾs$*`i> U "Cde\uhPSJs9/G@a65ى#=XYJ{x!A#Ɔ>i(եd%QUbKlj%ns ծQ%cJiUdv}?[A kk6rK@`\p*\1jzL;a5[%MG{!g;_A~.ixc&E5~3Ŏ3LYxp|48Ctt8mi7FhCtة./ɪvi4̚K8O==nڡBZÍAWq]C'5g`!FD5.)dcX`(1&BЊLi_JXUlr= j `= dٝI[ZnbR1 *TQ'T.n[hZgZ`$؛?e`v+?ť@W5ɻпM@$z&B8;R7l瓍bui>M2܄` (F`S" _C΃nڹ ߣP l[NcЯh`z_w/ΉZ tNtpnIfy>cP$qXLE۾I @Z:9ɏrUdLGA!1~1꣉xeR,>Ī r@b]nn{>pg;KvE7:@0:i½{T`#exan>wl ,|McE$Pbyv.m0u]b9k)֯>0b5AiLcuQ;h75V`u]a-'KIKTF&Hл,jSGV0)TG8A`'G2GjY0WsAU9O ǽ%\p$ə -/D$FF?pLK!@uO1+|N)._~r'`*ˌb&skQn4Ȥ33L.h6)/3(F!yƱ!FU$`S4Mϕr׽LGN/#b|! gꥬ}4f4'U]pm`yy֔@鍪)D_3WZWi>5V) I;}]v7k^GJ&r{.mPsܗkM]Mfe4ҹJ\z*EM8Eԍ1fR/YK|ҡHj#+S|UDxPD}5[D/ J^dKr1k$6(&AtgYZ7zXZִF! **d]ŗXi%Bq/"'|JE1^JU!8qhl2͑dEËQH˜A,fu}+zm !O䣓K3|P0z; i$I6 8<75~\&ŗ`[D{O ّPP"mXEXȈ۸Ws 8`z~-¢ "]9P'Y"1cD[^iq^wEi(jġ&jnQţbԄ6BHC¶Z (K+ޢov\O׵p1n{YN`_MzhCl\ik:lA0{+.eӳי׹ Ah>4SK Ȉ4_ iD@-:w7jZ74,u;4WI0 )i^fGܳdV%Pg{`[\٢\k E̮ɲFQd5L^#p?uz)\E*m,))s55Nf_0&L>'98 con&Q'S"Qb#q+i=3Ю/`a ZE b,CNUc'O#Bݚ߀qX5pg=JQŰwU`[rg#mWKM H,aҖJZT.IM R]1ݎkp;hO%*}TMv~*{Ss[K#g\l8a\v*xΞ5Su\Mb̀o9+_џ9dFZ/ڷooX/FGǖQHpWOxa%Α^-`[F3 Z=|:7#eF7)$aZ\يmG1 A65%aV`.Oo&F0"#8%J{W d< t$*yRW ^ Qg"o"ڛѧ2sG@fX쩫߽e!8]1; ӵ[UT#MI q3{ >}? T^(Â-[ozYc&k#BZNB0q ;UC:`|Ԫ o H_qaYn`  _C5ZBN%&䒂ou 6Wxνu2Ckh]#^\" I ;_[h"}_\ [ԧ1v]v q n1woҧebEC TGk!u#j-Z9 EUH@v9%g ,Cpn֚öPD=}E Dہ Mf!.΁^/u0^7j1|fM7jޮ_"YF+E&?4RF")!6XQLzJ)&,)%RTD^I^,7jsb'o0-KM(*#8D Tsq ~+K|xc6q](U `!7h*vck `˃+07yu!M\GXGsBJh+Y o1H qY'=W\j_JkzvUih N jZm6ɧ_~cu?j;yW:7_z>1O̧5ydR0W4c,tqMdj*B=CQ^GFxYH_,JZ32 C7}?R VX% FOjt^ɁucxKtՁ AwLO_] ݛ[ 5=3o.UƓ Qբ5xZ2 a#m"qU7'Tr&c'~Yx/;ÙTEZG7 t;5 7[5XA3Mq] 袤Ngc DP] G5eD^4.,\{R)ճgSk3vrpm)T AFRQ#n*^klZc/-ܵB}i [RE E4Mk"NHk$[=| `)fH`1;C{SE>x2VQSME;~TgR%b @)zVVK@OJ]}shL +cGUMA(a:M [AN]q6AAWWYDco_UJO=ݖ;NRT̀0īR-c{JJIIMv?諫`({peM4;B``Q^.ܵI}?YɪF@f3lX_atW/*Wt2j3ev/?4NI3CJ-/-gDI_Ab:|NSRKL" ~W%ۄ>o0U|͖Nm^&?/XR5ry CVv0a3K.~V=uY3 /M.Oⴸ|峂ւ\Oi>l!a,Sj5MϪj :te!m#jm"%G: &C.#Oǭת@~J?Nأ=;\&%7Qb$ FpD5dWtjmCyo|Wz7'>xL3LcAUDEZ1URaB3U,@AѴ!W(?ٯsQ gU^~վiBa(&0kaX uShQf F9[ mʇԯ.u]pg_+H -sr'RYksκ||J6!ؒa22-'Wsxn=]a_+d !ljJm WMw3Ys3gY$Du8Զ,mv釺#WB#w[5SSAÉxW  xəbV{GTZ U5ͬLs\(LΕ5[(䕰ĿҬۺ,OB|>=a"0 qӤܽ Y',n0q^aqQ))7x$XW!?JŠy"P. M{ 8f S }dS# Ӂ? aod h(=F ~I/? qvQ*1a\Hy#Lþc? ]S+R,ՙyj+f60ċ 9 &<"/uDDf6s~%k߽= owQۨHc8‰rgIoZ]̓M ohF܎}}TX&C@MQO(~"Nȷ.[ikbc 0 ,t ZAdmHwkV 3*|}UiY´[8VlB+PN@nԏ_ BëlyKm q[=DGZUXN0^aG9kfݓJ͋eYD^'?ReC w@}rK9i(EaCi>(um@AniiqH@|:ƪS@Jtͮ]p7dDfORC@E0Vg2RKZz}" 72T@ܑHekO*? -GLz= ǹU m;=g"f=_xyxrf=v>>=/_RYL{ ޢ&UW$`[@9]Ub-'1~S6bPa,/ BR,G.kêqr6Wc.$t)v/ZoݫB^9"ڇS4lb+sg?i_싚9͈ &>+?M 0:`68~ƢfA`1!VzāiM'", EK Zݴm1Oз0y݉,zKJ' KxȞCA yj~=]nBfА޸iR E>#9OR6pA4JQ/upfz4Lue(Ѯ<>NMTqm>@;0Jv5CB'M7|o\TϽL-hA&UDa:ZJq1;$gkwj#M`T+Kq *`jFk<`})pku`'IGӜAdtX_zddF ဧl6Hw1`eFG~%?A9 fEI`sj;FK~8!DG՛l.pq;)t~|^c+Y>W5B3n2ldjJIP B닊*-ڒ :9A[fU 7tCZkNR 5 r&ݙBq($<tECkmcTMvY1moAE׌{֫l– ტ|cSzs!yӞ4: yw*dH*Zk"g/OI)CdQIQ fc#Atug UJ [:+h⬬? hYy'z!@0Y})*̺@]ncA r'~{֩2A@T6OGa380^怣WIͭKg w%`U`:"M!*/E%j o KQy<9 ,B`?w5VO><.g#kME;Cc]ߔ;:ƭӿ2`uj7d|#3XpFq>}(]3;MT: o[ 9훾jT 6_~ @Ɛ E \ldUmLDs;?ȊYTcEձņid]F؍~v`VצFT xT6^'Lt9;N9820aN/ef6EM/S ]ˠjAZ6e{˛B"c (SmA?UdfhpLJ(4Pp |!v;&,t7Ƹb0Q73dG&iH߉ NkGZuS1|2)"[Zq nqrdeyfa }!$Ԁ[CZ_y[B̙z3ƢW葉KjSzxsXPy&z̷jO5BY2ſA t2f]P_4 wdcӮ5L}s{<-|i.FKn"1;B)W*B]/Jˇ֦̇™!IRG1ͷ ůZ#$ PbjΚ~;¸ " XWNIN6C'Q}ɱg O3y tŵH]HJÏkn4?aMӋIo ˇKx*#j= j}FZq@dBdjr+_HI.L^, RVkF%uE!ϭ̕<, iE.vOM+ؤ+;ZOA"tKxCj+@%Y/asSE"[A [`ʏvפaWvm5#jT]LjmpF0ɪp?:ggmBz\uRcHQ1]0yjq>^6Em#qCm0H@[l|KNuzX1>N0^< DBiͺTl%NݜDCR1$G>ƟuNԉiz6"'P`l@7 r)d,+JFU.Kt$ȹSƯQ Fx&"#VL iL/!k!j @Ppll$G7 O8ćjAJ-B{ݰ{eb6XS綑3'H H)p U3Lp`ڟ$#B".~'e6E$-"mt$bĠH^JSVQ6/"3mTŔ 2N]:C@w?l\lpPOPeYz]ےPlL@g3\\$SFВFQKd_ԟ38P_ۃŤ'e@Y{9g3c/]@ZH;PmuP*j%V@^Amhp \.XLGdS?n@~y$ %3HȈp}jI+}ʒYPߗ>>NG 'DjA 'v.j yjw%Bx )}) 0JsH1 E(t$?:oa`hoB_)EQ/;-ϖT'=־hoΓ?O>aּ4Ȋwu.ȟbFS':K NXK@RhHCr؛طWga9̮R U@BLM HN}5^g= ?dR{>LinB7*;rnoUN/ңzM:•sG~pD<&%)vrvmnU<3oͬQ[R \3L}R*7b3δԷ);KB PW%!f;{_!Q(aTD:y#;4^=RC:X{^MdF 5y U0 P}acImqPV8(>0AENâUԼzS\a#J 4`αa "EcTB_!%=>U(ѴeyAlЊVxo [XVH \~D2~sw8 gZ|$5 Oi]7OLav`bW]p-A܈Ɯ+O'i).fhbo*cɺTci YD妱q;L:fZWK36͒?揲knч Is$*}. & ^|Ebj8t>jckg$/*f,5khico敼!MF tWjc%$RZHEQ~4=\# E>"+ySrSPxpk q;ƾ%X{P"Thoβ*LpJJc}v7Z:D1jKKDk\ic} o}dPa!D2RȪհRtGh 4һ:l]U.UsS `E$ƾsyMXR}'K+wz#7Kj}(M\\J篧k3܃F7M׃ߡKY00NGH #x1qkؤO6|i_՛4+VÇP3/4qϺ TS9#˥@+CDǭG8@ط0&(ڥ򅅐ڞg(Tq[mAvXy>m iPW侭~1qÕ^\$K8-B ?K`cy-鳝g]E]˭n=1P:!W :E:Sf f5T [X9t%i;G ȦmRT=.RK+"5tMb G/3Ȟݾu)mlu[B*"IUQx~Z YߜGFNF" \)Z]E=  Y+ hNYIuNPV9 _rG ];KJyt IpN+/4mKpA)v =dơ&PQfԳ9;?-V՟[>nM4⸿LtLkd k=?N 2Xβv .FӚ;$Y xb(mjJ':js)=>^**N bHaMНc3$^τww&zKC\oM9Tx@UN_BȜ5n3"$[&8ԁ8z9s:_D?gׄ5Jz﹊ 4H5^c/C5>e p(\sl3!GXteu9j>ӞJM" 5"bjO}` [ӎr$\yۖѲ)R|ixk 6D4b.PJp1#6P,?@X-nnx:URrQJ=T ]Y\}L 7k}.7d@C KRa`rX0>O00'GB3aPlP b \e0eLۚ*yw}ɇ4ɑc 6UD^5kIZ~߆uli9e~ ۼظ V7N%Hh,˪:-n9aOe{ فsZ%TmSL4TjoH.qϿ] $_VslMb1vt~[3u[ U.$OB|թ,p4AtٷaE6] 7V'?2߯2%æ.getH?b{0FoX@( _F^D<6^ͽg+4j1kVݱ~/.e-jz^ f SۋooCŠ7`hk۴+zBi6 N7{UNӛ-^p3- Oدe(#hZ'E1| yY;NpK;a8-`VX l(XG`@:,&%vD'5?'=ʶzD&Adp ,&0Ǔ]ŕ~]Ft0!8NQ]CVR_6$Ov زnDВ=* 裼 4OGbLjd&k@XŸn4:q7-/bp)0t lzQ֤m {V/]d[w=j ȋF z,ZM`@/վZo.͸Sܛ,]Rrs:y /CNETCpL-8f*t~o/ Nwa<K:O/m\4n2!iDr(ՙ@.`i>Ki,LﳇGELٝ5JjQo\!osR;1WHx&z7fZZ = ew≰!ک)&JU*y+V [ NI cV\jI9Vm`Jux Q3ٜ,9q,*a}cڃNĮO ͑X|cWWAB%s jC >$IQ66ܟayK >A/|b 5et CVt?HRS~|:$0HRJ`*^Zebd qZg/˃96\"s7gB|F}n.#qIS\vv"Xkx?$C?> pv{ ^{J# AsPÌBda~e l bZ&O$D'd1&vR2)am7zVI-CޒInøUd`= UΊ}JW:#gie ,,IXӦ_3#05%˻_\`TM{Yjg|*XuB-'6LRe #hey=0,zj ig=f7ɉW r[Ʊ}v].A`&ݙL}eA&UFNv5!4cf?$Űw4/7vHYGpYfɅ 牞TI_J[r[!:_lDʐ0Se[TW^9^?9* =" M50*1AiMVcdLrgCM=o-L$(Azva?\b '` _JN 8NW/7%c;Q|!Vç{FC+v;_x,507~s\SncUm!3<:/;Z\\LYn[5w,ON2^,cGt?IPIsKQd`'W[۷D$d2IZω\t[(mY"#{-U9 _|ǣ<{=~l ;:4_@lGt) D"_Ip!oDG4 xxU! yFHB|\*\eYP>J>3; ,ƾ;ogAȸ(|EvE':XJ S9KwHJ6EoAn\|#piB9슺~W︰0b+C'%FnVJxeHF5t`B-prpHSt5 7`S˟T!K lk᷆'?z}õ='=S@7?_JfA躆11! X̽2+jA7t > ٩&CnĺHG>}b:X*XgĎ[\y/-]Gph儴]4C KEn&,a˽3 6`-Ud&՜2'K9bMfhLS$5n#0 P:"η>tGSFJB?2m1|rr՗[{>AVCψDs&y!m;KYoJyg* v쾯CH H@Mz.~MI_7w)o%͛m>n1p LKȔN(V| c7#61֓UJb5ɠu$3 >3 2BhCPs FE{ }ezhg|P-l%ʳ# %0yѧ3$ Eiu l"րC  æU>[;/=+LNL_q~슪 hHN"L5jmI+`? b)Hzq>rCoO;RsğoF XDrK4QgyRX{Uw ,ZN hP8cV3q]ڛtN!ab 3~ ;^~[?V*ψyY7V59`mgv u|,Glj"EbW Mm XL&"Dڀg#GI~QE=AwѯAXذK>`o]d"q3t`"2v&sq^ eYӞɤμ"Y+U T {uwZJ!F,9;C}Ƴ \OVV*#sul 4b{\ص}.u\t$$RGȇ'7paZr#k+Y◒*+#YQ7#v`ݤ}cD0ޭ~( @8w>"/[+>T A22aj( :|VrLU{jS}U$`z*f+r?;3y2aU,DaToՔ!:77*8bA(7 E=zH!Y\dW W9#9K5wo7xtdT~x55J 9dXilS2A O>EBLuBoםx d'N\6H |ƙB6PpA%0(8dA\S)U-n+-tvVmfk.s>S( ^҂`zO-:ow[4}Mԥ+/k0jpFW5k7` C$*rI[k\JgѥaqEh?fu30OҶppbkdzg貅q1`Z0L$tyM-UZdj;;y/l8@w`Ұjh>Ut3Z9:ğ^( =l(j46_Aԕ[(z4175.̨,VtuZ:4R?oʪ G )?_4̀&G S|F#2QQTf=qtV ,>z CWYQmyr,xuKw^u%G*\Y%45~`K/vSdS)K*#4ȑBG Ҡ)iqa-UqFV}vbRC[ wQ ز篒"p>R4w )Z6k@X M@ jv- X4 /Յ998+[¹(O Y[3a)^pdNEX"j+Nt&ו³Tx8AeWg Y9D[C(\O 5'UuNzNjԫ?hV^Y]jLt;j,Da-$syrT@"Yf06T)!+Gٺ]LB}y(t* w$ s4gS~49 ʪupzFXMV;:xrh#6@^ՌweF8#Kb'&Dc>9k+qf]Rlh< QJd:MR؝etK58o=&CksRE@iw%(#s0Kʎ2 E]{?'*BWEQH뺹/#NȌgHծkNgzl` )cVC,>q4cW_a ~2X/lLUWp1f荥3ܥ%N4-$zOGE=&=wKS}/9eʖ(ͮ0t.g݂iX Io7'' J|`̴v/Ne9~lg#ۭZ=w[]r5e4Ch>}P|~^iQo|D]z5ـ?ţӤt6PE:HOvG[Cғ\125U)嬪N,adJIGEydUUlHr e7 8D%QjPF>}CmJ|UU2=$aaYn/" -3hz, ΁6Y\W޽ ZѨ$tdȏZo/i~ Ծ5bZͯ[&_MqǶ*09gn}qa/Εꯜ4@c27#7]Q8 Ϗ%!F'2.mpM$Tl^u͋Yl]هj94J@ |Onv`uL.uk\ELRӠʹ|Xe6)qr2*O%,T *˭1.nd] ;HՋZ@VAE~(u9j4pi Ǟ* uL ms8B'^j&ÁE :zE_2 ~ƶAO*ZB`lW! vqmY)Q[r '<U\PD :813+%EAC=jxz5ٔ/b@teZUvAn5vA)Z;TyuZIQ+&YL:IJ|Y-jtѬMM':\ X_,=?I#bVж!x*ؾEE}\t#\{hQN}+a"փsw0 /,1 E00y'0m'<*n"!}L[ٱ8Ux_.ޙARęLk0 ^hZ*xzk6V\dOp. e ÛoEó3Mn S=[!Tb~a4 5sAaqf_AGW>WFrG{6umD\3UFfJV0Njq:v򣘃nIێy "4>9l|} 3x洮&CК~lD㍷LJZRΔ_$ ;׷4ǪMk rOq<9SVTp42#CSOm|\a띋vmXy#`X.H~ Avؿ~HyAU^Gxm9 {2љv}7UՒ6,zB^g1ws@rZfO6*M8 =t#AGկ`~z~Ћݚwqٵ]fc-Aڳ'<N^Y758m,G C_*2~SVU4/gQ 9Y߈3Ԁg0i9co8z't)7Cj^tE0a~۸$ FVp$*3\xjBAB1O27d :^ J>I&QNy⛟/nOy݅rlD ;FPtևxL!ŇzFThZrҠ7pձp}W<嚉]ڬ?6s+HČh$u MxH kN& r/EQCĮy4.R7yH]w/d9XgkH*;Wէ^OHTPqq(Kg8,88g[:4|f_pEMSPЏQ:A/ivʜ+7qqsLOQ{.Qqə |fhH"8c{!BH}, %vuqZ4Je"kq 2Y2(i<;`ѻ6\Sl1~Ox!^CK‡MSgNX!> 6S0u(X} +~К݆M+W޽B]ƟOgj/R_ch $cP{M sEҔ9{Sɪ*ᮬ$Lw:H88'r_JnpȞ(akM"[YXt4D:"+-F-%o\?du6ԏ1B0mIPJgz-B8}; H(S.j99,7eD\;=PBx,=^Z/^ԗ:;8$1'C`#4$N䛘` ]KPR¼B6Ť9T7oܕ 4js?S!ykm2WEX!iB.AChizPz\mO?\$Mc^1/ Y}Wݼo%sTi}]w}idNB1 =rnc.܈B~8cTH=ɒh{R[ֺ}ʖ0rN`#HeRdqC FQ<@#sQQA"hXqfd#wQ2SQKDVYX#DHKR%%c^6~y@3]paW(W㞶A]ٜfE7{`OAYY9I0~ӲکN*>8)C{АGSlr5Sg-?s'GE($ p*78`үv]p*x eadh }Q^kF.Ś~.t~N/Aͥi n5 ݩ7ڡP΂譠L]y ǦNe3}DfXuTa>7=hYY3!qL=>qNp6MByE_.P=8^V=*DwqSdW^|_f0mSWd+X9&˘D8xio 8΍28Uɨ'L?` v~*V/^ԇ Fu=_Goe)mKtU(1N?R$0j)6Nvxt5ϣL%֡49,5HHZPx}6e_yo4]^CclUl8/IX? {j/\K7Z 4Igo%-wF)c`:q0ia0<ͣJo>#!J+Iآ:|7G7F$u1',uER0o~ :'Bm6(G?K8as:~/)Jd+J(a֦)&y mkd0Q35P&ջx2q$x W$ ezuk@*Pb[sx7l6w,ƵJ I RP0H#B+E0%RֲMg]Z0[樣"S ,Yz}3d})%vڑ:ĵdn|? 5rD!K%MQˆvLtg4>i }/^@Ȟ=hD07mMRᄡ'kc.I@YfybNX2F]b6 BCGwyzU#aC%Hx50j\HC/-DB2oɁ; ,} dyX;vHQ뇂WKp ߍݐ c%('URXFz(' 0rڋAN'QwsWseaa2d7 |'a[TAY}) jQ8&*3tZZL:ADHFdRK3IjDoj|ݴfhG;rtc"sCT4HO|.^66 FO Tw~۹N6r :oj?؟Z̲2ϮZww=dNKPta lov !T "c4uӔ+5Yw_=Zk^(tSWA"ꀓRӄgu@xw3Gb/NDAWň)qCmm2?J@eE]M7VnOMuޚyB 1sMPSɼ'I`e#U'K(3V;vE TE35=mPfuuR)'3eьi:*/M lw @YWo'j)WK?|mG eb4%t_h& "BjXF <ዶbp*j \7#|-X I]~p)}ﯢk Pw'>׳;_ݙ6(F} 퍿8rDŽQn: we {40"R!2)N=`^.q}|ސMRFkc3zI˜&w)ŧ11-C?6{ddöyv̚]=mDNFNg2x±ş?E3",5%gyq{|A _6`*o5+?n9')vHv%: >̯"[[rD?!L(}s:sY;GTgEG?N]Pơx&<GL.YTY&K;W`}\'گ.EBj/٦?"̫z(0v ĺ34Ab{ͥ9?Zy-S&TFhY.*̲̤ߝeOc} Up[v ny"0 7;hђ*1VZ(qvnF*80nq&ͻb{Z[aEA&#O5FoV&nkȣ뛃D|X%;zTwZ|n|y1ȁ}:s0YJtgۜha1ܖ,vd "ݑ _"4Ċé0{ݴ6nElB U=ld9\4ဏQ@+A4 oN-gItκ$ q*lZTA}3X5}TQ/ɴ"`)8Sɪ%YD'DNl߅ mIl ZZf?$1)z!P|eH-=ށ[Ѕ[VR:;"b'2I?'iʫ~b _?q_Gb%UqN l/.H{99;黭Zq d{kLn\n戧 uv'4F'4OC4 r:H;<{_n^ l}nEY#L&S,SMvyUx6sWQq(`kQnkU|l0aoJJ5,:^5|zˈ͂} %fF3׆(mURrx)"c>^qx\*fw]w7^>$Ɖ˹Oro[Xp I\~U E<6@>LpQ޵ xPL.;Y'"*;1 ͍WL 7$0B€;@qF&ywW3I%q=\א:QH{3*^7~;~T%YIʣm/?'3+%!E43D\3+{ɚ 1CR9 `GDUP{Nً{b?[̌2LԣZ#^: P5G) ]]`&eӟLhl7%\`m<,oӷ h17tHht6+-ΛduP&:M!RI){=6D`t{mĥTSj i%e9:0f7-if@ #֏U2"De_џE=ow?qɸfLF9-KOH5*>v@Ue!xv_x |} T&D^RL52+|ıae7LYv>X:zX'xZIu K>qTC^k]oz4u^:<>S:;a[VLZeE5'NN>1V;:Njgs?N[ u9H Ƙ$ ϾhHSțܥM<#mO5%Ƃ|{KY}h]F:rH8(Kj` >Z ^ۈO@Z(`9pNVlk*[? ʹAŧqN 0%r=J轗\a /}$vG0T$_nFY!kx킲 ݑ?"bDl 庞QcX_Nj L(nWLBYV%U6n5GC#CQv|-TMgp4\}vٺޯtp3,cϷUPߚ.G$=JԼM~0ۚ`@l`(I,Û9{͡Sbbvdž|{w zdܸ$%s$rYL|}긶wmnHz>MGh `,icsўR͹0 G8l4@9.AYmcE"TXZ &V)as:_zn Zs n=/3UOQB7_G0v)j#VvӠ \wjC9GOSF dLI=tuƭHlfN70{38o=; -(;0,KIANQe P܆Hc^3Tq.ЈP /HHd6K u١s+r-53FS*v_3 뼉t~%! 1\D)Bh[LjP(=b^ %;<68yhIAL\Cs5@aJ}}^+"mYga-_K1# (EONZQk`q0 鈹> @{#@D_Ivf'nexMiOB(u{<-ek Ŧ&<X3Rb3` 9P9}/tƳ<_0yߊM%5u?Nɬo:jvKe@铈XfQtc|Ir5A.;fHw<ـƷniI*( i<4o'Q^}mZJokqڛ8{G)%y}"5Z'j{=λ۝5KBofiWkG4Y۫Z֊UR6~Q8$4/:E$ڴ4bB \Ps:aZ\7w[ڡ#?/X҆~ ( Um̷Lv:m$`QQ^LE,lU7XUiʌ6?ˑXj)m~Ft'{>xXyf=>sY;*~sՊTa圇댧LD@m_P^|jJRՀ'ƏBU,"lž9Ip껇7 *wҍؤ`@jj㬠B ;~0˔zw@(H\Xth{p%X1&L4O7 DfFX*KK[v)L ţ/ Ed-.@]'x"gE^]$:7цO:hنG3F} L_F`}@c꫄O-~~CCtIb:Ԋ_Ʌ'|yZQJ|Gҳ5zRsx8?qB4 !0zY)D ?R%Cx#@+1بLx#5jjNZߟ]EFƘx];Vq%s5!m'%>q7T%&!KBGRmυI{.3 E׭xF\*@DQ8Rͥۄj>GB3uv u]V=3=<8YY1X[8JA?*$-:mrkG1ured#9sffHvRۈnoӷ+/F^AajwO+R' xv1f(٠gE_eC} : KXL?L Y!VYbXbD'#O)>G?jO13GAv\n>-W{U2ڥ[Wl;bzp|& :qX,'Y"׊GCu>uU<}ax BkRuW,o4sNW78j:Qhu _Kh;׺瞋]Y`M3eKrWx/4HUXxC@9O,AP;"ed&ZYi7a:YmР6kKI} @kH1OFNCY}ւ6IT8ezGTIYoTBU]bĩ@p>xt*RLAtHA9T]T(DGFZ)$lQ|U{ʽȥRSRI' B|1?EH1SzޙbFayg|3 7w颃 m;׈"HIRda{P, łM}@F2誆Qu$y2_Cm zBL$:D][>)'i"bOpi|QLVA)UM k=-->2d5wSЁz&RB/M.1-]4?)CP-ɍ΃#4+&[mZmJB8;-m# 3*X %fѣ-d, <Þn^>hs1T3W'Ɉ T8Z,?^TC9VgM9<4t{Z[eUY,sw+8q'u Q2x!2dP}Od/L1wx`洷{W~,pMb.@[}{-w,~Z;V/lƔN qCV ^]mF}Cɾ.us)B 4X}![RHUFsJ7dܜ=Fm64].S!FN#jgJ =B3g.UF`δOoZ>["] O֤̰h, @\ц";a~Fh!sbU~?j[@o'ݫM!Z-J=$3;* c8ŸxQ{#q緯`<Uss!P?pUU5y:2{u&/6x*TXzTQi2&[gkF 1G4䶽-fKHNƫV#"2҉W6jf A Q G3z*7~, ᬙf dJ>hM Uaj ;tQ"jVlsWly.ǵn{Z='gafrĎ_&y<݋ fE\O1q`'#vw8t]d~-evH=7ԔQ3E&iz G+v6\aLKW÷U#X'ZDfd|r|CF}x#֩y( wE/@qȯZv^`_ 'i`A[CS MVޚMF"e(&Yg=i1\y;EdvzPt ɫ% NF~T9`XN]^N'grfK.k@RfP}2 fK,Tߌ\dOD8/j8 0Y}1"rV~pV6$i&$7=6T{]spao0Äk~gc}祜rL"" k08(v?aƝN 8{ԑBCŌ$+J Nr-Rqe&vhy{Y"9x05_s߄l^=dDPщʘB؅1KVs s z*K"#}|t\!O~.CDt$qXf;D;ªQor%goFj 忸Վ͉ )Jàf[kVewgZz@m2l[ KI4@9쉪aBa˳j=Yi4L- A??Do[Yv^wo¨ٱ?b  ZśxycZ9lQ \/2DNk'`lgaUB1kșHj~yzFRۛbyyՔԶh+[(H:qLˇv`lNQ#ҰPkzbA~V\"474IC -i/if tJ`܈yj7 5|PK9vBa@D_faKzH. Hd3y\hDj c-@] aLh; Smrτ,@ ]y~I==SLfmS%e qނfE j# +{qhF2b=PRŽKOZ7 hrlmO&~**~($@{[_Z<E6.gaG`޴w5RDtQ\1|9װËw FCl j"#T4S>+XӎA{tQyȵް`"_tAm:ah!)@xH-Jhj 2;$>e礆aRJ*-)ObРC0Xc:U>cfI]j&M_;K*R^FT`$ԟEm3x"x1N R۸.Vs@$?}5 !OH,dFhSogvglU)P5&^dTGcw?ҡʕ+EΓH j/` Nk݂/esEŴ\8mT1!_ O%C`o]8xu.mk*;4l;͸hv9_HR08=pn;Ƕ͘#OLmpi7G=a)D ڰL;cfU0K\tA6c @sy&KX." QM cv#ڛiǤ"0F;6cp._ַ9nZdihK'G E|qJ6#I Q|?v 9 H)v<{ܹM'BH_o*ƤM@Gqj.ϖ b-Vv-U2My=&9v{dWYT|Mi^Õ@K+"@*mh{u 8ID́#&& (o~.{XpTt[hVD6+-7އO25QsY pbo$YESdݲ~j*Io!l ~x1dzÂcBc#25,H3#v;C^[ʭޙڗke\ 'ifuQegDҩI[> ؈Qٶy\K^dv9ӗ7J%^ B%ĩHyc5X@'JB`>>357l%Y8)9QiȳĖ_pǷ[i٪{ !Pj4,m#W5L+>*: }X3J˚ia^h\m`2y&piYU`Ġ(c$,Xౙ>ONM`ϟj;OvhDVb4cޠuJ#\\Kz.a8gcw~}xx#t`ZXԒ! ydVFkx0b/4e/[O(8m}^F&aTuA9+aMWNR,ztb lkcH$ :e3#?уX'f^ a;ʰ4^R ) v@le-"pPmQQ(E$i|dDf?v+ B&hl 7K7oD@D)<3hg69k&%KAz0A&8!nI`p 4:F0?pF?_@Vb2um}`ne6_kkeDF} ί%Zٱa10w^jiZ)_'9@K< [- %1 CY6w'RsE4e\%qN*q4Azl;,L}3KPIL _ՉiD?xaM 9kM#,:g֭Ⱦ< ?Bɔ`Vu$jU$n( 4!qyǴរIAnT gΘ6Gze0' GYGJϻysPzJ,(vuI*|Ɨv:3liYqb(Az~+$#z7q-.$9=ow#'gqTrا,apO <, @aPM Z\JiPw~װ˿k Iǎp@*C6v]ǻn,MR)9c)Ppu*7 I8J0~5i6/ϤQ"\u9 r]^tPaIZə.tc}bP1eB oG!$z٢dli^)@XH !1a8*}tUucpt^GAbErph7eeo1^Gk+b3qS167fuׅweJ:)5f&3^?=췛.K_ikC]ZCF _$[/Ջ/8k7ⓞ|ћxS $G2?}'PN[::)uWe@Bja]#"v9\ݑR` 2xmHt '&Yżw@41g&91U̅ &I@E62A[v\԰g#t}.E`%ּ#$S]>,7r )R>yMՉjwRmaو2i~+1|oeĻ4;$\:\Jdؕ |,SQ\#QH#`WW"o.EҾE~9CNpM;v-qr*N@qSOC"# njqޛrGWgֳP"&Zv :^lzA{:ܠ Nԛ~-i,aff̿طWEōalBHf.&qy^Nz9Xwa$yYMgSC1Apv8l ӫϡ. t3(P{4?CRtJF"ess.C ƿ)iYs8}"PW5lp;hҤgߤfOHn4%vv;ύ|Eyr?|s׻n[r6gaf P0\+ͺ7"jdlC@WJ+.cvtd|)k>@wW)Bl{8„ݔ9jө<,g-4ժnAwF8l'Aw,}A;n7&@z\6~UgYT[o.37=_v$>K벚5M˂ qCrir7>5)9ÃZK#>AaFQCƀ-GN 93'XdrO+tMsxqxOi4!SHjvy!(p"cDVʽ'l/ FrgV2 %D=*O<׍qF.ST]k^,Qg__ K:`:PpIo+dq*[h&ؼ# Cl6x5{ ѭJeTliYa1[ \wR#˥#CuN.@~g[#C4[ |d;iشs 6)xzTLg:[/V(:|8PdAFjPm\23Xl Pm !Si,lNdbo7N-,9YkEh4}ߧ+ :73nHv#6Z.uA]dvr|jRoR 8-B?4M³}?zbM,w}}n'~h'((82$TW} hgyqwRNgL5 ՝=.zC ܖQ?W~ Jۥ2=wttYM߮8'C+iӿKreL< +beK޳lL՚pMZ6އt?&6ʵT3Un8K!o\ٵAy#~i&To f/#'[5$)B3~KgGj@Y'#Wh} IofLa6%%7Կ GwLb `j, A 9H A?p }:0gYZe98933119c6b093fccd3422e5b6fdb5e6a2d210676b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1