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 <#dDL ]S]HRB-Slicing:threads=4elapsed=350.965cpu=1029.088gc=17.048factor=2.937zXZִF! EW]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQ ϧf&_O 3ɢqD7U-]cT{]\0<0惈ѠR65UKӉ9@3=iH+\[=-[!Y1K1{G_D*KvT{EUrEcNO}ǭ聵FE²̀ A&d9P qϴ۟S5jROg;~1֩abEA/d5zs"P`Y_|~fDyt # HRB-Slicing  ! ,iUkxC QNCS^X爞 b,0z1Ʀ k"uY$3TzTfsFa! 8i*k]Id՜(se`MGXؒط>~کK(=d iv"YUﰟ7\>,Lho.Oh 9 t*{ [oQSQ4+}ibV@?{NDU<:m޹9\[Z#7,w foЧ!8;n]`e9++Im) +4XD2;t=zMx6m@@ 74xp;k zOۮWPKpvPRdhb`K_OacG^rwݹ3TAhF*Ћ&La;eG{!kM<ܒ4D!(?~Y<fwe$T=3LŒ.a>8V Kz!mO5zVa"Ac?ZJyZSn j+ȘnNGoraO(Ma)jLKk5X6vI`Q/29+MMT^3< ڹBbKprg?|)/aQ@%QN?7ٶ'w@xt:-TOI59 }w+!LVӭȏ-> ?';kֆ -p/;vj'=p7>brR;UcBؐQ^jv/+[naK剡:{o n\K7M.|0ˢ]$ Ų z7-TF[|8*L!ag8zJp~<WjiKb{iamS| r0A;ގ @JɓT[㙧XQ w9dQ2JdNj z[#2LksSEav7+s en&vǔP+zzT]lۖWoqMᢶ`-Peq]+֗7S2؂1"M7)h=KQ$XKШYM9eg=Nj\WE r'E'UJh!QbU.a vU iuI8_/b}+|b>ՎVc *Cxޞ\K#cD HG'!f*%EEr3Ұ~fDnt%~^aO[rj>`3.b@}ԕeȮh?kKT/+߄Ew0F{NZbg2 WF'5w`ֻzkF\PK0Ֆ&w*`a +݇wS>N0=); w caؒl_^ag53},ݰk:5b?ɑ+W=7bi<94ς&(F: t`I];jHJwnmk${׭.noPyΖ`uR?zQ_/KajNjڨ5kWSY [kk;חf,b5sLaEid֛%.%Q۹>X)sT~yd*]8m]><ĵ:5.kFE/?O %9Mh#XFw!/"pV+hF׊8E|Ψ2z4%Q+ٟ˭o܌-\>;4)4A˼Usܑ*AU-g1u³}W#okZ[u8F7E+*8!R'0 AI 9J5\!}Z,Rwc" YV{)!K>5FBO}[PVj5XٴF&/~m] \+:T KT\̊yMHƭ]8BUX;souCdU{xb '_6л :9&s>W Xt3޶(lv)zzAÇ\Β5u5a4|R%h] g \U_zϚI<AZ)l# ovw^' Xx3oeno\k 243.ow3bp80S՝zt_6cU{]{Kp#Rzaʥ0E(bP+y4fqeHTj8U:F'R 2\X\%DyXL Gp$&gzo{s~-L鞚X>J5#Be/y2ܾ+*{AdEm&22Z* zD~(ٰ`+XBҖt35^YFʮCUJ>Ȫ17|܋m$m *j(uۭ!Ta󭑏ɆY7S\ZGxpHmU&pm߱'osi hPݿG@*2[ *:Wy9 *3%u> TjV.igSy 27(!Tӿpc<-v~v8mc;-q j]z2nZݻ?\IwixwLK3!I#,}'yH]9܀:<4IT-WJCHQ0EmC^ +"(CotXWG@$1Ne}~3>73y#CJAĘ y0{ FAvqy9Ibg`mOn|ֿif@AfQwvHv?x6 qyQj}+"zAE?wAEYs @yk0۽뇎W۵,f,Whp'YY|J{sEW-Aq>Wax7zxh}?_0_̧,7 Z^4~8[sٶpByFfXl⎣wx:XY1!bQocԦVZd^t6%a-Ik-~" }s^4Iqc!x?PlV'0Tw&F\3@61Hp, \Y/ƀBr 库xp>pgZE<@e HwNBEh }!;??rnu׺ϯy=dn6#1V,=Ӟ-=n%x֖88HJ\_~FGٿ#`9lo skؒ*#3J7 .$6zL/`"j~12Naoq#7 |Y[RqiSfG+ZFډ3KtF'l=P|Ib|q!tYa=$ v"é~x*lshz`Xb aJy+膧Jvá^P`۶lē-JR^\__l$A a]cz dKJ;x}c jPqV(U!8< |D!acU~[3uq#]ZCR & 4֓sFArvm7lY"tSKk)ϔMFUF:=EB Kr(BsTPaAL%=7tvn>#:hvWc? lg)X$yis C^Mt'%6pIve+wyQs-j"]?#DwA?EGC+i+**vѩT [F:lLx.jqSHac8#=_ vӬ,f|oL}@v;Fzk8^}@R7W$C^qS534[2r$Zq紉Lns!D-%L6H=i$_t/ ε]1sskM/`xĉu6v0TivdDg"!»da 1nw$T^ANG/Qr76wr֛1sEE{a;TaP}#/f2oHN.iRId`}ԫ|5$ u<蠡z̷j8SJ)qR׶GHRO"9BAMN/װP{ݡ: uKgaPmt\~  ~ODs1%d 8gsϦM*"΄Au%+TV3VVidxܪZQxh^-Z(:kMC~IUEfFL$ͬRU@ ِQQ-ͣ$j.J,ܑq@E*v޸9`)(eUռ.6"=ikuخ$h.I*a}/FlmwDc1!x0Y0Է|&<u~Ts<[F$^qA&g+؁{*zbq v*N^ E/E!ԑ-Nՠ;c gR&bibD7Nk4{Lƿ@t9ęHpOa# 5O)_g#` oq6؊FgYZ7zXZִF! ^[]ŗXiɟYyTv2tL:ݾmDž_bnY3r`o<^N2 $SY)jDh;}-9Հ!hr)X93Y}IhR<'kaB/+Uyx9mJ;Y/[>ZK6h_eG]lמ]E[ve84>PlP` :p c _ū.,#an'2TDؾ "E5~S.*t@*ٞo" 6!'xiI}Y4-T*o1\D/Ѝgcmz4Q$i~%1poh^J"NeQf J ^ "PQ}vpgfwIפsׅZ]\uW"qu#ɴœ@@W+'~{26;zV/Ȥh.\fI"ʓ=Ёd.,Cl7)D׻.kG%47#wYmg]?u ,of@ ΐt|+ng萾[Gl"V&Rm_gYZ7zXZִF! ,@b]]ŗXi%Brx=&HTxP#B`:7?J!,.|mGÓuo܎͑B hpʹ["N nnʽOy--rɈSř&'Np36-D{n=@.vibrŁf%l8;\%v] 7F!&H` :_S( [nY~ʱv6\/Bg{ul#r>)ncWn 0An3jf:sN o]0lW-ߒag5.m˲ 4A֜1d}7G^!fP{é+_ߟǻ7j&Q]iŞk0| Q 'Z\=ʹQ|@/>uQt y@!cJpk 427cy^1iWDӇi[BL|w8Nk t[ m{˱+{Dq=̈́z6?!4Ի7l3̀#v ~!Цo`IږhpNlҜ_mň3sԠ{"W)HB͌Ur [̴)q4%\$.a{FMA2i*>I\x6mR墙 剂+wapH/3vq P`/Rmx[\;r^8YJItv:Q1@lt~cc$o˾jo4*,0t覫 GT[R8wGbfmp~©t)n#KӒnU=zmvP򸜹;Ӑ<-WL BQyg}6F"(ٜK7iͤh*Óڭ*#|?꼕?6טU>zLͨf&U.i$$ԃ(S|CRIW`L0@q8nןy{| d/t ΖR- {[o7VboTST(/ GUYM4obh0 }ƫ"Ĝv["dDS鮂8TK\9C .7Ou&e?h:SstL[ԴEw a1x U'S70m0?[@kpY2)Ē¹A{N8(EPqB7TuʤY_}E[Vzݫ^O{C%Lr+<3F=W%g /4K@!U|OJ ̃O6䕕H>.yFsgs_pGd)+RZXڷ*rJRSJ'uMTY1+JECd>_#^aFZ.QVzqڟnA3?pA,ǐK JPжf, ÏOIRYY;Ek㶶X4]Q"niYCT0NU-1})&W}nwM< 8җV : a=)Eq1د'/~LJ9NT+Q0Y(k+&<;~쒇~,/uƎKNϧǜ$E>XV$j> E@$x27Se3ìrG A(?@۝ ?I XJ 6Uo2)$?j0+f_gG i ҨO0ieM2o-s JEږC˻`ϸ5$ƁBxkp'p'&x|A K`}|ZrPos_%ָ+1aW׾``` ,Yx:6T =wUHc Es m-֠KVD/OR}iSV=jV[˵.WoǘȰ'ϲ_7JԌ zu@~xuFvhtTF|v xN2f~0GOau6|/!vtȉ`ʝƮ3Yl[ *|?`:@:bP+j9O:k7GGM2'[=o*95{[1B)DW/$*aʠ>+wUSY?q~Jvb繗2NK%/&wh9.!Q]atU~ET;&uĪ$[7pNU_RnVd2C6y6"P"צհGkw7aU<*} lv+!zhCYpʠ&Ơ׈;M:؍B-Ǜ[y~51LAH"; eCI^Y鰐DX#Cm  #Mn~lwu#!0+@7{ %e)ꦓֱ4&BZ[e|Hsd_7+Q kvatX3HnhՃy noHƕћmip~i:o\pS=V.m& 3I Vtd{׍k` K 35qӖ147kBԌvԹjed_孃 !\բP ؄.gֈ"p>To|H1ty}ɚI奈S{P 3:'lEBI\3ٸ?7 JwxGynց͚jC~tо\gxMiF"%yx3oo:*xG脮ZadeP&ҭ9L+v0|{p"dUnȍ]e2 y$.Au# O8M^~e01^|at1o/`z&i`h4L;ʳdyaA=st4ŒO/Cv6=vqt޸7CnDrayrI<]͚kP/pܲ v0L8ҟ3:ؗ_Z48 \"z wsĭUCue١ vΪ )s+zfK̳}*ߑn|a&kQSoGOR`-:<.j_709"u?kPA1 Ckֱ…c< qd?3]PgO :daX2v5G0<ٻej<`-7'Z*h?FHA"CYS8%kmFE@Qڋ$N34+e@my.H3ǂ1H iQ~Y+6ӛLj vSga[~ _Ȇ~mX!+bt+*2/ [LJ'LLx0r3$\.KDD@VxCV X ŧ]ks7jDm T0ZH'R roOwj*ov_O6sQ݃m/K{'"\Ta30MYy(^l&EyCP*`Uq43S$wMWEsJ&V-gb5l o9PE78~˼($ ?#PG۝37+{rDq 8 -jlԻ/JUETir6Ÿ .D{1~NŦԀ0,Vg/etf*K &5]@AVYCa-X #8?Wytzv;pOu]bXָgTzG(^;PcI`ocY!&v68APN/4r⋢xJ HPdt9WZV2r+zB\*Yr6\*YFyrۋU TLs>KHzsk0wvEǶO]яn(K29"$i՛UCVR}r1CR59k8J_L'DU3#S  n=!fQPۺ?>XKbU7Hq7LEͷ0]K7B)ݵ|H0eYs:w o~Qf.%OD>;gtSVvl_IY L=]gsbRso_>5Ya? 08XBz-kPS]$OB0MQgS)P= (X8ޟs~ Ru^8и) Cwlve׏gly;Ѡ|%3q!'܎(6%B au蛗A9c`nE*&uHqDlMJsUq(Iȏ7T$pߖBH~FӸ%6m2u,stj ().ޭ(JR!.fǘ%?8F2uF??ɂj,ܜm&4u_yKs8$`exƒtIWKPAXۨ\R2cHn?ẍ/q֒nPF{{B~jx^<\/|[Oyf֑KBb3jtXlDgh+wo'!ph *;^ $FoG[hp(e{쭾裀fFmF$Jl=кQM R>MٝvՐK-Fu5GSA2`kf^yi|T2DO8.p8J0}pP_p&N{cΛU^(yJL)`>H2@|R$B+TjBh %yrZ3,n;-uD/$Oeh߭S?rP8f0f0-U߈m.&ϙ?7.x-`z*nyA#ޠ62XhI{Y`wHUqqZk$ qU@%qoM#֛eA^~N/Dž; InAhZPǴfkԸjֳx3 (-ƿ7$R1 >Y!:FzBiڙeoznu@gq#|GVz)`frXѴlp*]N 'zŋD]W$ȼ0Q?qSނ3D?tkJ5Jg>`~dl)ܞpw|W/%9iMj ع(/Eɫ2\Q+ .fz?^(%͸]`1^sTt+HvTmwUΰ;VI@`c0嫸O!B˜3dx^ܱ&ASŨ? '9o*wϳ+4&A92HzC4~cHRn)jgA64㱞O%eli\.$\;ﬢ~A4[@8(y__@-z+-V.aa*şSjUio6|`c<)ь/U3aJ;rE>_#8ʈ8)<~[SX`aQ)ƭ&"!"?+}=m HHBDEװuڀA7L~$]^%U9 5o #pM3%Aj/pz6 P.Sw?wtJy5pCqqzO6(b"F{7?)RS.rQ b7ҿѣVPs +, tQ [S̷żh ~TJ5BH-ĶzZ}s6/rְԘ E܂mj6|$ 8j:v0!li=n'* pגⶕӗ5?P CdtH7& n>Aj90ȲxT0qbiK܅l/wNYȜ:W7 Ժ,X.TP"*R7JQN (wOr z:C\?T9/Yخ\ft ̵CU,0ieZ|MeAf '{޺ ۪ +%.5xlU|p{1L"$j%宕Yozˀ|Է#7}&Ͱ5. ȼ?Ҵ#$ߞ#CH4ZK>?h#ysdXQDO[s'xu#z${M~ίQEJf|Sop.&qI8ځΦ|qUm -wb~p[,(|9 KiEkQhC+^:?yS[MX"OΒŀ&2!qiP\3TNsG`p2jk6S/h\jn;` }g¸\q VF^? pjku*!L6G3͐%l¿yNH3v,:fߒ1M# ~cp+ԹVɂ ]~[U]ϴgn(!L*NFNd۱~>#BJx5 l=.1ۈ XڝN(e!8d|W:!uq^=%^ĔMx+eG*&LV_kM`yC2,g&09y&|Z>|ߝ&r+w4eF8\T$ ?''+a#m߲͉;hfRH|`J5>a!ʤ6m8&!g.ѦY8zƍPG\)*ʂi4JyWh,rD{['*L3w 9..0dv"(tV c85R J ғ5NV:"D8zD,)|[QO+.Á wVʴy~s -~h3.`\7@LȭY=Uc3Xi 3TlTy͢'"z\fgp,H5s1 ;%2y+}gU g`ex(a3V>dЊO;ZsǯȄM8U6a(e55htOgZq੤ҪF Uګ7zקԽ 8A5}V !Z %GVpmeWp+GNu·|}`_,ˋzR!fw;!p' wz 1U%l眔t:lt_򚼡j0ۏLqY]:a$%Sȫl\L$w5pnfiVVXD)wa~.BFAU.Lő5Kwbs# IJI*R4*ZlsMv4*{,_(<`d1v3'Q9;4Y 0N"l]Q22Nt:*E27#+ѽQLS+𸬽`mz6[B%Fo6a=mC1ظ3u n `dZ#H}%xoAM7JBPt#4d9#H_Yrs7k1>#HN&ԬbMH*@07*T/%k][u{r}DɁV^{s10݆Ϛh̢ U<8E߄2"QyIe*~EtOr;DS""7uK V]}&+@6(,]ʃEГ]@o&F z #OwHЩt<~w@W>餟6@6׍Y>DJwR$%|lsU#9<+zսzN]7[4nf5,(Z! ?J)tUmA0GSQw~ -&/Twm| jqQbċIwe fc "rKFGJܣU9hyNmʊh8e@}MeZ0:8ؑ5J ;bPP߀<\w!X)sUs &SLRɣٱ r‚>k,L H=SE TsB{G\,1ONXӴjȡ$ rOxGљSZ1u%.rR 9#QC%|;,&2=I+]$o lgr$>ZQ$>. Lg0߇PX ]c?EG3^~rh=siB0w70 qu;WZ ^'`'n{H2whБ6举ÉyA(h}mEV~OkAcJAf ay%l w;2it?Avpڄ[eoՆ,6Z;pm?}V%*P9r\|Uz7Gh1O7I;6dS1+<05\j}+6Aw*h87l)D`~qUQk8:<3x؄h_"I5'}QI`御`~ûGix~+|ط,r,hBؚgy?yRn9$!;G!Y'SS:A1H( "tEp{\|nj>.9Jh8 &bۮ2]ߵӢUxnQo|Bhi+GH ;WGh)cWɈ|Gl|BO`d<8AZ Uo~a)'NXHQ v1?}C6|eq6%tdae,9!Y]F2&vqZgRfԏ5@شʔVߢԬ}4v@aIlv0Ȥr(4!钟>gdx]Un6gqx,I9L্5JWmsL{KA=x='++^- Y.˓Z,QAx~~VHy>Q{xi.p@[+&+y'~ 7B>O%LwGh2t%pjh\J>T֡GBޝ5`F(o+}hZs Юf&1jա2sj3 k  d]9'tl{X/dz1"3( Z8ݿ@z6}R5/g'y.n1r˔`Z+;3 [/d`@cY {r:,m̘ TqE $-BY+ĒYyad54-p|k[;Mo͹#X x}͈e5VufH[eqS1;Q3!uP< }J>7T./_ȇKǝ3_QcDS%\3>3Z <ZQ5UgoxZG.cjK5,_l寙㪷GJMm_Z9Eq]<ni-lᧁXQUzWfʀ53 ^{d^H\VjImǥ bD7~d7!U8겫02>~:b1uo\."B殡όM`%$ȉPƲqp/o4R1H >kVcdŜm: 2\$fgX OV)NTFuO{CmG^ήJz5w7sF񇦗Qsevq͂1XC@iuH &]$ U]qf zX=a2H&o v?KOp3EH}9@-+CD_?cʷq~7&{8Ҵ]$ъ%,ٯ2( [l% H$c<5>qcKT1-$j֊N^͍^C^YCuh==V=~B/0cX{i1YZ|zقTrEh/#Y7-*nnw!>~]Jcv:SԒLǑhAf#bTDͻZt'&Y1:rݿJ \sǰ6$C~qu iP}&I !D#-pTTQJ6¢=/,Jyp$Vje<j'd\ZAG)D9|޼Ut-Tu:"O^4q#)Pp2瞔oB#㾼y(\.(,Ad!"?ڍ6tֳw|z<*@ lCwx {2XaN#X'X+gb˻ -ne- ~󔟉ݭs_8ڵ٘2؏rkq C(K#C>no=jc ~_t_4 _(s"F-Ԓjg6= EG:e|*WqgP|OF8kH1FAk_+J}yB) z.vFy2z(j_uJjz=H;q0(̻uT==Q%%/e]?)`Ri%w$ŏmyŊ@4$6Kcؗ^0-\P r*VS)% peB~ Uδ~579q227VnE+0 Uʼn!JZ_(^=. J-9L.T88 BZŦJNfZ9gtz`}PNSU5+76.j- =AwrjQ5*҈U<+_Vw:l&3;AC^F&_?il#l8<|H 2i7_ MY:l.RJ|ۘ9k-ꞧP_'6FܤI6#$!F_ Kq9 ^>ѪVϧŞLfTTb&kîBTϼk儒JsEt\H赚\&nGi1++1rjdS͜1|=y4(IR֦;C;t%{[PJIhgzVtͬv0C "cu4.Ɗ3=%Vm'HxZH+YL_ު?\coWRj -A7utIB:͠f.3n>/%$Ys{C`LZ'ti܌\dUG($ש@߻oy⨛)5j=ۧXu5?| D!_fOЎ SxawH/`(^ m&mix]P+ ݁vsm QoLjqt D=* @Sipvm?DW,ydh0Lݢu( ̇Fź쎤!(AE5b 6"4Q($p@d/'0sy]lXV{$e2J<#:YwS{?b@1\oay¹G?9E5ӂ ?k#_a\C+ F:\Ot_ӵ"~Ovis#K qO  ;L1C$ٔb1!\ F6lIC6`Kl1?=$P3J X쎕k!J]Nz>+ qGDgG[PVmAn;'ɮ}|7| &L 0u3fp*P5BN罫wZ2f&`}d%DSd hF ,}t+K@&$72!FD]f7V$cqrhTj,7?aQӃpVEƊ[zjWuxGv INч`_ Hk1[v}d~҇!hBU3" gI7>2RioX8{cp z|дcX"?1'_iT xv-j#@&TKV`k8ˑĕ7Zպg, +~n-*g%#6oֈ]A@"X#8XsiA[شӓx>}H};-k@&4e/YXQ! @ى.qoH)bGǍO62щHwOiX}+M?W&^ GE=I x%X.Flղrλ-E"QNN]Eֱ¼_iH/[߿^tR{Ham0E]%yt e?k(̅&+SժעVI- G:iQ+7JImQf\G9/+9Y` ū1L"'NHW&q_3߲ta*p]GMw9c}5gȦ"SkJ >'nꙙ+lB= a6scfޔΐtMsK8X7UTbsEQSrt4a4c0Y$ΕhҠkEJ YTXXRp9L_5<4t:Rҕ⛯J7,:z8yj6I[Yrm$Bbs~s -qoxJPס+91_4㉼>~uRĴTG mk\B8!nIE7dt'.&U6+DΖ:ZWiJ]vH>_Mh:ưN8v ՛p)Q"1HHmd9p *ͭ-7['z1ƽEf^;3O3 hD#Ĵ&6kBBBWʧL_y[u \hiͶ*tFEIseM#>P~ {'ZaoP|ǍwͿNKe˧Xl]P̴l+ ߝw5<:s|L{EzJ`nuҦ>9͙SkHlx%OQH=RR(EcN DOa 1,G]!4Մ}ΔVĮfPypK @қ£ETwZY!Gi\=4&0YJ~hy-o؞LN8?UwS,-L[eg+U^ܘ^Q3)YIK*V'3 2DSS,e7v0y/B6蝤n(%B:-ܶ $u`rmK He|0r;,qnТXoBc`+$X4~g}t- 0d[khł 7m$HrOٌJBHB>s B!scK҉!'^T^7sOoR~U^5,gsʛIC=rxxvd%.ߑ-Y \iSL3֚_NBXbb9"x`U,CXRf$2Y\WēuQu̗*b46{kHʉ*D"Es_-WJ3\k7 E tw -~ P D ZokjtO'6dV)(NĨF W$fo}iͷ~hX+?ьF)30xֵwBRbB)$2K6OzAwAG&諯Ȏ4:hLB9ixG㜇GWYG$eݟE_\39}͟]M"^]c;iy!Ǹ,LfJ]ZcX_F@l~j*͇ ]mfvh~g ȲP?qX{ e-Zu N {/K|Gtl"OZ4^ta)}n%7:B2\P3|`f?.`̵>Rlj)9W|\Ԙm$h8AkP&9Cp(=ܑ6ʪ39/Uz=g2K>TD+U]YA 8M|4`H^Z&R7PỢG^-FaVN4:4r#GA-|[_Ɖ[zQWӵ1@x> xl(/t%I#&;[Q4zKjsnz bF~<[TzsQd@7u|CfO~ Z_Vmw-fu0БU/n|RPބo7;AMq1^F³9,PEWHΈq-p_^5_޾GEXn^"!iYyDgև7hf[-JH.g@YHD(N*ͣV䗊s'_z9BM3uV犸hvBwWbgɾeBH׳~ߚ*3Mï*d@xA AT7l00)(joH$]z%7{钋̓1aX2?n΍g؉ɂ\pE8f"[EnxM"rv:e)s_Fv) 5FfT#zLx1[oZBPRwZs~DwxT+qϿ‡D>D!3؋jH ęJp8;b=Eץg&lu0ϑ^́ZͅmǃMo?w('&CZ!F2eMD)M9'8KO8pUIAa ?OP?M2)hjpc'[,և1>٬`7b)?lGm #4ph42zv;7b/νEytBeXs_]tzo: ɂT' xSf~foy.Wn8]&pxi{bKR)^̡G'ڹ VZ @le PED=ǧٍ1l0c_ `PQM;~O{@*sZSp(~K c42a^;:<޴iSݜUmc`a-xIL3@GLmW\ӟɠiAG?q!&b_%MsJ 5"Wb\х{*i|oWG)<\0LwmT`cCgnwV` ^]='3e.&i,V)jyvbֵOzm}qr;ε,Udzqx/~0]o&zHnta3cأCn-m@Nu\IEEY?^Ӻ9UՌI:q‚Ϥx3b%HW$(;]aB'3^S_]')`Z³/d;p}D,}t5WpשG8C, Cʼ=tx*?j*eWwn:~ߊMq!EGlO e֔ چttSQ^5 0~$fQ4q{jR9H#ԍms9d3ۨ5y5`$! S«¾չrJ%PWc/! { }A1sն,꞉5_@0[2`$9ߓEj(t*6|m^bn=fS`CCnsUPU3ԿPbjDD? A T\v9 W"zE`z4:$9~{'Ǫ!W"\g^[[RV'~K 'S䞥b޷Z+ (abpZ3upM{N~>515SQo !]ǭpԶ%&áp0V]Yv+ڠqbjx`:'JR+ZԩF-,6ʼ#rm%%{'vF\l(j +3X߬POqm\nNVbz')~mZ`#GD%"!mE'> A #5hP`{[OBAjެ(TB W2lRj KHjU{>iۚYT1ڹ/`oMQM2gnEACMӋɮhQ_g\P2X E*'R~n\]KwmY F#RHw 8]]/VTn )߿[~qHx"* [(y [cvsJ MXDr!}3mY&>|=,Hu fңś#ZG^{Ֆ`ӽΣls]#*:J*QƩoL؋c{"M47i ]T>S}[s¶q͉IՌԠ.t3%XƳI`9UPeAcwi18F@iLy̫h+W?&UKSr1RHT V}s(nRmE# w=}(% w^}킙diP905%t@ 󑔰VG{ԙ=` Jx,6&4ai`ʻaXR;ṟ cZ (ܣsK/S$\kPpVne"p/1(xPF\tG&P4@Vnt]gA6Kwb~'j}-֙`S*y',RÆu'网 E]iiz=̊/$ S<,O=t|ǥX7p =j e"Bq%%z>)yL@LH2C{,xM"K,"W:l)1/c}`./#_~s5MGS/h@ fG x4,$ Eh Hͬ""jYhY;`Vt$Q!)i\C!V rI6L wOHT^J5Vl"p.nf;l )x'ViOy 3f.w<5Tx&~w ̞zBYՄܬWj<6٭`KFqu#Cµޢ[2ʇκB#Q{y7sJ|bZ(IJZG׿YIcO"ۜ~g9q;a8/Hoߪ!9vڤBH)g#r$0 _!άo&;ᣠNq18PM 7FVDia{+%5C! 2> ZFTGp,Ih~'>nPHM:TS`Z,sgU"p"Ƴ݁(|),EPBZ}/9p$Nφ@Od~S0=zOET`q>ńЫ`Dj^;St4HX!9F&o=O/ZTOBMTx\WEIPi/=~bMsan.b2.hr!@m ؆C';oه[L9Ggs/hn!\M{D W}5 q>@䁯" {XKbpk1U߇ ΋&HYKޅ؋sKkrJ,6G5*"|x\}iKz]rý۱JdGU&)'"Xi6hkoRyД٫sl,ǻm ݭV)mw#bn@Q_:Ă020j<{FA 7/-S{+ &gYZf11f36312c42a4e20a767601694fa3f6a126eaefddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 be92e2959c968b7f3d36b13ffb68545c9100d5190ebe756caaebb24ade20706964a52dcb958cc7b8