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   ;5|Dl ]S HOL-Nominal-Examples:threads=4elapsed=387.713cpu=1413.880gc=107.088factor=3.657zXZִF! ~"]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AϚwly obХn^HhG 2Y\ۀ@oٞVw4{}x|hCS-+-]&3=veH'ƈ6I^k,-(B F4.Azoe`4g#J+tYB T0̤ӯIlOmLTjQ4hq~40!K~$8@wZm56rf"KAR~*XdZɯmWFS"Y93#2*yzDӥ> f~_杣|'ţWeZ)U\9n}dMC\ɿce,ϷsbJn9c ]9S^77?pz-h&|#5rDGs/Oܗ{՞g1I6/~q?wd^CYRn$e3pE5˸בw 3΅+;1k)xSBR\aR[\E.o.ihT@->)*y : |&4ƖO@v5{5ihZ.6xv8u 8lj?Tۥ>LR]m/mȵ]j(B$*LJKP(A>?6.q0hPU fY\PGj*' EEm N.oáfY[iY< 'Yxb9-]%(nhot|Kǚ*Ăc ټbqM"8$piQ{,@P{Xȡ})FEz-Uf#'Oz]cf!=(ُIܼy“왇u|晃\Oa"#vl'3hWE->PBv-tb1fb_T2 o،˭,gq3 }/q>Q;#-Q >W΍UP` 'vli+9{G*iiv1GmX}h9t-]N EAXPik3"@:YSN;Qrڮkm&^ buhTmoe,^*CQ3E: u~GvGX_}\+>!~/,1? <@,=ɓPF'Tr=`$2|'pzȢ ZGձ}Oon q)_5nVT5 iM 'P$}dx )#!gu:{lܬ.ac)VsL^Fi*O44t@_\{!#-@:#?v0E*$\AjOʜՕ0vNٻ-AHs16B,BcAI3uifHt"Ϥjt>5h[@͑zLGd3Yz-X01=z!L0)QӥZj( "/K"UQրGƨzYa,X>i* (evBW0[-.I/vu3"""hϺ)6zW4 .g0>TȒv%EmUk,"og]]=;Uv&驠8m>bd{BĠ y)C#X[=TmVsQj LQ.6]Sv^t Ҷp&*\܂ǙB 5IBaW])mb媞m]/:H7N k{vfG>n%g,,EE^c80*ŧ [>6aY0+,A SfE7cM=RcZK"iW!X@,dJ}wJ1JⰕB`tl'DܒN4ܽZID/Uq8ϫwZZ;!+VCgmi:S`7Wp=nj*3Nfts1_Lfվes',#":m1@*=*,L5|o!v~v$DLZ-̌tYUؤg~fS ֵϗb\Q]Et3|DIɽJVH|*}pTP-@X6jOD`FQRݲfG6auӅgC[>~YK'|Ҟfuv-G34?N/ɫ̏]`AjƑ0/?P!]콃jBT؋.}^SUM FqbZy3 м~y_W:-TX4OB G+pq/눫FD P3a F/Ss,,p\~@b/ؙ8gzHLroF'H !1KxDy8TD<(;.[?;PgtbT=WKp[eDEM\$Ut|*+4i:Snz-ܼ քRU9/_g1$eM/VDJɠyO/̇Υ$ 2er:}kũ+XUߋ^]al{Cj3Y`7|/hO{twAnl65KמCZZO[?諓G+術)@n۞g],`{-׆`Rr,*eп]B^~}4̐ȣZΆ`4;'t19mBJIu0>️*bquZHlN!6-QK~ q# C-(4 "Ґ|;fm|}\Yt:Ѕ{LMѕP&1_t{ٲm G?wA4vKoc `dֿRd[|ۿsIebD<6 F߿՝|,[#_+Lr7l\*rqI;kppZ<0B9O 1< cng7=ג(ҌSDZ'֊$ x;3ģT#O d(A-/toA3\|UnJ=!,vݤ} D0u &s"Qqq^hw9s '傯ЕfU,iP8=HŃ8ġz L鶃bC|< *T } 5mlWZ؊sѬ.ï`'"i@"zW#$u"C~D̚Ŝ {H$?])@hzPb<zw&Y6c;S*r=VOtzɰQDU}Q9yy.|cgҖxUw`&sσj )jMylwyE._1߸5 'XnU!H.}"8qFDVAu ٟ-3"XJ01zA@:=ŽUS;B=^2zia'cNB]~V'Fn0O8>nT sI o2NTmu9J|N~ "+",ZM}si@ ϋ8sCJX껒}]0qRV*op*Hw\8UgU 4&R# -m*u_ S, &`?Wb> \!@bK?4/q8+L>:;9+4')}根PBX5ЏSaO]NYӐ@f¿ӯneq!(e}d^%dO7HEJAS*;@Aa[`APq${CL8(] !Lb7!'Ui\vp&m^1|s(Ҋc>;,2ܚ[j:,] W^¢kmh˩a ,fjn36D[vmX{dӯg dxh@j!4i2Rϊi3ܢ.04>ko*#[Z fܥLcr~V&@oҋ%^OvE,šWp9^@9W`ؤw>Y"ڱE΅8<#JcCLrI6j72Pt'~j,}BVPEմb]ocQXp|dg8^gg|u ~!m[ҋGR9S0v#i_~Жigt@>û MizFB"e2EZQ@20m2:oZ&_ 2Y 6sɎ5#6r@kcbpڱ| A.yi}ޘNJ|!ò$,䔍3'=q] b/y_:&W'_# ߻ifۚTp=AKVN|泠ce0eį^ \1lx1ǹͤpmI2W7d5QW`)[V 3&H0[+0` :y:.VV33HS<=pLAkuA.D`ֈ[JIqE>XNE8Gge@a8i ז-/yeAF睴lh#>;RΧ~-=+2@*I1z?)Op{dLW(K-w6{3л\ޕLG@+G;LI"a񹀭 B|O&^)o/4w//"(E쉓u,Yo }} CͶtAvri*Ńu0 !/sHy 0魻&qw˻ɫ Z>ZYaΙzf@8kr?+=!/m,΁(6r9TAV|9L_[oKK px ,R&{l|dR ThcbXC駦 Y(o)N>&&3"V5wH`1-fA,*]/j< 7 [RRHE߇%LRz8[OvSN1H|l<)bC5=l2|lz&F7X)R}PE[=Z4T"(e# ^yy/,G£_c 9{D FKdjGB>@acaHَ+:+.sꩣ;FyhgYZ7zXZִF! v]ŗXiɟ1 ʹ l93攀Lx3 aCráTG\˅d!IyYN+o~/?223tێ'*VG? Kg1,K$Vh5#UYoJF}7m>&h=d: ]n]g =mȸ #s7'dl`.$WYAGis&xjݸx+Pw[AlB:N1oE"Nk yE'IKl/a:V*;\itkom&zڥ}Uy8wbpjʲ ~>Օ_ *ns9Fϒ.p~QQeVHoFt)D`#nJvvvaigYZ7zXZִF! l]ŗXi%IW;2 v|DY" Wwt}*6Ao,r|R'a'=0!𓬉A/Ʃ'He`8ퟰNo)V}Ic`z;ġs'E$>0J5'i;Nʝ++#eZV6pu4r&?|/^grk&\S!+rsis!Z'nӬ틢':}KtC6i#HH|[4ؓ7Ϥe@[kmMZⅾ`P'Jx\ԫhW  Du1pwߛ{ԑ{ A`Dn_[[XFk V0i,|by\^N+@O>ѕN'vQ͒/#[2^Zb.]#lROGnm!\!'x;WkB zܰamNa=r+hkBL,$p h5};(2vN 0iimӭ9 և|$2ehDAGvnI*A8fKpɁ1qO Zisg;4N6@m4Wr K7j>fho#EHe|ul"=p8+tHUKꑼCdGy YPle>͞U(r@)&C:u/-saySZz ʆ[zl=9\Y͟ ^\h>64"V_M8&VV =InwpDp7gRn4tWhx@G٪tM_ʼ~:9;q[DO?>.~MbpGSk+bN,mfs>>&:H}5Y!Vp9W.^+%p8B(nBcSի Fa*cD]u#8`niz!w;$sFI,e52֧q}Qqd*T1mHhspCRЊ_؉P$&k1C G7VPQSX }LˣzM3&vG.LM2.2_{v**sdK/Q O r-  /Yٮ,3qh˛*@9RJ ^BߕrA 8ƦuQ[JuPcYX% +YUZW6~ 2q=!WLaYguM9r*;_D~$אZt~(=m(>7I4y=1+/Tv&\gDjƫ"̠.t *h*9َ(4F"n% JL{qhPs9_BL ^nr zg˯(Кq[)eRճm-R9dRv~ѵjY #;2Q zff6!U-9IG7SN!oa/e/'GgI "N;R@QZYI@x+CƑ6Co9!]zczC@Ĵ%]2"JQ7bݴ3 LY{,X:P$F7It/ʪ.ÚA9vlmG)ԸwE}j !M%D.GL!⌻#K}|ou5QRiL$2ǂGKD'ۂ9/g'D+ 6Y1>bc!~G*NXA˖z20ԺėĠ3B.e+3&ZZ3~Ƣs8ȝ+L QZbhRZFEv֮H!= F UѬh}XK8DXg_P&<ʄw%5.0F|{R[vVG"Cg$Z* F{+D0 tZ00@mOR8<܀5 VYٸ{59K :b+zt=a[̢ .p zfd@e.P•9OIeeW(ӌH*x_%GH0ٸ}L/8NF!ε#Vg{zwgvd;i#/hx` sh:A߀6%BXVu oХkC-[]kZ{[Ё&$LkZ סgl j%ӵ ^JN"uu#Z ^Jו>){ >,^4͉Bsz0E2*/bJ:W3C.z8[O^+v?Iץњ~oi_yf&֫mp]tžu57g8l9Wj΋>Jr BȖD{ڠnn@p 嵙b L6R׀-N݇LS{u@ε& ?0(>Ii)] ߨ.-μ]RK. :G]9h'ȯzm p5mZpMp620;a1:oؓr@-Sw*͋YȏӔcxET>Z~9BT]*!Eߤ;VN$ƧbgHnθN-3A[O;1|8LLL;| O 4YD[.ݚwӞxwbf:,~"yxzVKGa!(:, ;Zk ;md#}@Q;(eWFbcT>rd-xP CXC#?"dKa,( "w /&I.g |7SI܀ust<z\, 45 Q͎g%1īu>{-I8g۸rG]i M9-dkX&6{Ր-½^6,-ea*`HU1'j$z7B˔l ~.$gf̏9Zcd&J8Js􃛣ןN!q'INܽʷu'/}_ap$Rfxĝq]Þ+dssD;M$#2E;lL8$Q3~tl+VC  ̲'0ZVD(*}X)7ݝ\_&ryڤJuA!o0rNEnDVϾ~8@ e~z0i0tt7Ohll̒e"wybnya+ҍe&aw6o7xQCnbi+|3fGzlJՄ==]Ȥ O9ؗ߉:8WO=J_5'>H5'Mƞ.5F᥇^bI<'5lpzܻNDk9jfQ dS8יgkM.Zi?fZ:-9WpDCW҉#DZLC۲V@?-KE'JsJe% "}fG ّVc+堂19u7%VIˬP$[di魯IѬ TRn+Ɠj_xah / *jhyUFԕU5uvp*P U)y:"/> F2( -3M5@K 0=Z/W3+UGĨ%`]WApk潨D`*nBX&XD9"PeCZP"D7!ښTs¯u)G63IZ FAɞsl{8l7.+ݤP׍aKָ(6U.,^uۛu !s.-: /2gT P~S(rƟ=Ϸ+_JFnW cniaDRH&`Þ6¨?{_Cu7,"ewZBXEՕҫxFW=ZF6 g;Q)Yp{-ָ]ƲvDhc7B;_#"nkASH݋ꁇEeh[ o|K~  l؛Y1%n2eLGd&`tV8gs>VT1E 6M£%{%\$h;dK[Ooxe0t*e W_zޕKT^w6Țϣa2%&<)~()]mV:E1gby (mwb6 -a#37B~&pm5h , "pH=eCnp4Dʨ&(8W V`jڣUvٴQRVh=eܕ*vՉt;ObGܾNliӐuaev{~30}]߾ iKugrY$hmꅏܑfIB"vj4lf?o|@i!? !p.Ak2-?'Bz ^=e"}>zÛ! EE}q@*4+֚J`/T:V{X#A ש};hѺv;Pf";$45_O\ЕW7k`=F6C-נd.f"fu_.7S P9g'2)705)cy[w&7O8$= x|Y,B2{u@WL QtooMA4E}I2e~ޫ-ZDIG`#e[ ;XGLo&a5)do|z[rBj}s&lë]#`by5#D0N0)X"߈2xg}`bV!=Qt<_ߝ1Ƅ\Zۜcz{ 2Ʒ^gVyj838nKTF; XH \tSx]cO Axѽe2c~gz1A1rDRqΓ32R67lp8"s 2Q~'ފJ?Լ!C8>PmX(#U1.XH߉Pv V@UpղbAfL)+b$CP#V uݻѝe D)IO~&xHC3;V=d֚+ms#yɫ5ҍ=E.vq*9l: j,+Ae&0Fi[y!"=z;X ME ER' &ˑvj{j^W)@ $b&b IT{%Gk"xPjxߦkM34ԩ16^8].h0y9>hj2'buRT]T 11^n#%t!pqP5%qP9^: ?}O1]d@y"8pDj )GQ>?-YIl>!c.o 3yz0L;3zU\()!iΊ^ ˪nrpzŊlX?3A9|wxĜhAh*w{H( fAQ\^4^α,NLozddnaǪƚ{UN?[|L-YxOB>7.c=vN8V_F*^;;8R'ɨ Yy6=3=Lv$hJ(Ȃψ<%,ՙvOƅ̀W]$Q:4g~M?F,]\3pKA ϠJ@ʱ}tܐt\>L3%!Sz2ZXaƏntY/p =oU7{5EG|-ңߔ9;lVD6/6ZeBhh/6=l0Wqu]!?\M 5Ռam4Jm++㰁[XF@KaF$q>fi0OQ?^kRF,-B+7).{hY쬄d]As}k Z^Ɋ巀B'Rݡ "54E1QQ@!tK-\DY7|1}LH#`GnݺD5*o]QH'uYFX<<ㅬmOV6~ CLvN{`EUEvg: z=^EȶO2V~bVORZ~=t0rj♕+_ljL{r8OGjIw3mpR.jvxFe#% hh_ 1΍wǂtk'd+{$=2^Z}$@P8+p(u9~#,%8{i|; poliY_6AY 6Eƹ̦ypZ j _N1ZJir9&kqw?qA'dʤZ VVïЂmmmg*~<<.mA2EYI.~Z@494PRAќ<,lkc0!v26`.+3AY`z˲rG `V'@ $9 \*-3s&eFDr]`H%mE+t96>T!)x Gö(ˋ4>{8j/mɴQ{omإ8m y7ĜQTqD_C=WM4 Lky.=fF/0F}Vw#V|wliyH~w҈ QH74 }u/:΋!#]>~A@v1UeTIDom -enAQ7f&Sػ@Yo߱S2c=>T!aV"~qePLM͌6N7i'p awP+_$v}k} C#cV[+aNx̡5B[< #BK7LU|SÅNoCn` `ut U~{9uؿBN1)CshHxO*mzϹ\ }(r8i+o ,#BM(CJ2n(J!B1o05/OE7lA??ЦjPN)Ob W@If >_(d9=%9ٌNUT Hpm?23 i~̸)魭mM'x %h։'ӋINWSyPy=x|R{.a ͎|,m5$uYvVQϳe^y;r-I`Jk 0aÎa*3#kl@F='#؛眲 Sit7Y-O&|])ۃ?"4 l-_l@QS!w=uh!l?_YH1Frw]}߃|)%6NeئȍglY`I!ʅ#痒BjR$(Ќ23R- XHa>oFᅆ3RNONzݥT^hcJP|ŧ0޻+Y)W 4a$6ރܑE!M7mTbBcFqFn3n!,R7}t, cC.eRrw0w]7[2z i;Qv4#95FjG.3L@9AL$ w5ŸȜ`csU}6JMqDQH7ڴ֋iN$HR=h9zm-|&EoyCi^;Wyǃ v +:ĉ>8.4"nR(wvqXTa 6.=nDX)&5^?*NX^f+Iw<}. Vg?3kYgn[3^ nMJnaaG͏j#ٜn}{KuJb Q_w (N_Y|IS{u - ܠZM%pd@Pz~ݺ:lMo-P:ִ θrD DCю;vYTbnvܿyhPfl~R.EB)w59_!gHޜ1_WH-Ì!D| :`A&饊ߕieME̬y~ 8@KǨC&97$oFu {-.f`hZݖ%p>I0sV!qxOa-5-Nm;^pfKqf0K>O3W#U+mYm>Xja@E%vx7G $/wޮOd*c.QɈ("5?s͙nQ1U*woPO@}ydoWh WV`/+q [:ڡ(MDcȏ Zn7fifh@&kzN~{9o57M1U<(N ԋlN%LyYka X(|uxzdNdԀ*7h4ϋ+V& e7?~?025.[ $x'q7tՃ98rb/}wz4LA a?rN`¼Ńcwua7U T)"0aaJEPus:l.T|l@C!Ʒ&tӣ=Y pOSyFnF*3艣}PMCiX8+j^]:%Wp^_"QFMMt4v~D"|Ɖ^eF2?]~5S^ j"l%i*e4|puڑ[)R%CI,gJH@ފu]hF%+E N$MWl~X3H/E)Oj/ʧtjn4IZ .*_2l {fEzHfJ{T{҅at+/4 'K=<ݧ-]<l^Py)Aŧ{cUYw`.nXlmAI%U\]g볡i`{3 ybVNXK+Ǻֺ >`)kk Ύ BS iX>-b%Ag#RԮ<*3/[YxiEՓrW6cؔm$Ob6G5CpMgt l.\ k)xݚ 'l=nfO't %Ϻʹ>I%ƾ)4chjTD5C $txQvb ?uc֍f8CMa3Ck2CNT.t-HeKr+[FrI,SAE;eL#c_6qM[3"vۇL~FW\1bxQ#V_#9/`-\D+Oa|---uemg6LR MRU(Zdz|w}Y`wj}l.^`ҹч)Sd?yZX(e$VNÓ 5Xt3YEZ K3fXWC7ߕul(xCJsAZKp?NLa~ď0 聃]R& MC05O=eLK&PC0 Y6%1E Pc`_aGˢō1y iS*dG@-g,k:wFb   ɻɪτVxfG{]JJcx? d0I#XGO fD_NL2fC%]钁^6wcR?]-]V[=,ԋ l$D!dZz̬}Y}#*qԛppL)b_˘ap7\?V_'V]N^%B܀G1_.:A٨T@4PdZq^ѵnO  SMn;5>Wt(reXiSx˜x:q/\7O6_~ޯ"to@ ƫNNwDY| SeKp>|Mllr XQ4 4ghEGN:\MFdNI֤s'%y+̙kʙ־-G0PS>,P)CnBZN_yZ-BVG6z=_@ѤWa#eGz*ι.A.?pfm1BϪy=)Th_t^_Q~o$ x* pJ!tL{&:ZW FWܬcIfha3 r拨:F|"& !0D3byt{ɹ UFG\A‰|5wBЉnD[תT~?#Buv`SjS[`>.0`cNQ󓸛M꿘M„Gw?ިqF3l4c6B [F[(Pi`q95]_Hu--L#oa/̊ogd:<<2ds.īR ] /!D9ދ=rw푥^QH&4tM賏DKxxo=@܇t:#8vEC@iڧc%~'G/À8۠{eG% e#K$iW!CԨS)]vg”Hρ"6bnj55Fn8oD+Dbzld?8r;IФgb ;!a_OJFŻdD{q7VֳX^j0mF(ݪ&QP+O<WBxzq%4AZ(Y\yb%⻓:ĎWhe_yM$-!q/m @&y j^H?DZ_݉@|7眴qCGQ&h@zʭXUD%Z7(K5zù$seT~DytnJ\_md٩`Pħ h´2A0BwGuu4 =HsvjѝLOoW %a=8tSPI'r]Ia"RrG~ҾM=0H=#;2ÎoխɔPq6I|vק,3VE3(!΅W]R]Cґ$!/rTjm*~j=F9)ǟiIwc>@w2~eۣ>'gE4ZUhH0a9=ZRBlfIj# ^3)uR'0 `8@Q: (QFiA\PlϾqCuaQLB%lb>ƇRZڳnE8=Шx'[fD_h{E so4 Oz|Oa,3w0ːk.6 |-k888f$H"]V; ֡:B&EߒL8ú ]4e }K {#yEl,ɀ:2GlK0\.3KvgmMrN[M'8%E NWIzA R" 7d9[İeWк[֠pzƑx6Yk8DHypD_f_(K0l<P!eŅl\xpc#t |o^<ٴ2 n0W0A 4FI\ͥϪ\ck'H| \m,*Zyu/ Bs?Q:6/FI!o<)gLl%AWb-ÓJPTET@V.m9USDL ÖGfɗS\; vLߥ+ '> Voxo[8Ķ1"Ul]`:4fC,Nݜt]bkE̼ha)5 ^Ek)ּB+YK"$ԀF r;keP|@i(Yuߘv)qGk}lY>b~6# 2Ly$dS葫Zwv RCnRPF+~c]>y,bf,A^77H,'#$9PA5e*/'T5I+='4/!r}SEqkΰzD1 0  <'}@fsvfR Ia.'FOۤ;;=վ$0AkR13r|JµAn1ssv|$ ̴53Α4ub'ݫ]ovlX-AvyY`z_vһr15)Ez˳p t0BP; w-)[D6J3,DC ؝69XNJ&@f:>A7 {8Ńcu<|sgaKQ.@f<0ͨy&m $C )72vԍRݠu7fʐ5d[uXFQMZ ~h\w6q-'t=ɹ Fcnö'7jRcAeζeYg\? xLM Orf Ұ[HhBߚn}.TbyaL޷]m?5]\EfR# 1k7Nj[Po6hp-0|Svke% $hZJq{p?[ڝ!TE^f"I"Cqe8$65‚F :m3zѠ٥+ɰ|ġT|e$+ ſu.' `>;KCccc2}sp+-Hj d7Gw kb>q~lM7w 5QQ!>-X~*̗S?03%6V^~5c>&BIk*ʙ4.xvT1FZJ!hA&Lupaڿ lxp"Xwo{^v) 7!yu;-*yuK5ک5f¯v~, F)9+u,ls8>9jcY(vp8iJȾ2i3Ci˂KI 2i b¬ |8`0`}oUZ/i7ir'l9JC_ /qP @NIN8+MdPZi+-D%6D5LA;mS/raE Xvw%Pqu.VHje o~XgG$ī,áPdDhI鍅KlJ1 AIu4+G~gd 艗m-8ɣܳ?ys\z#!9 K 0w2 z!E:-s@W7qkIՁ|Xl jVR(`yq*׸ aԭ|qY`z[%=f+'Rᦒ7D:v /md#΍lFxgJg0 b&HQa !t/dB[3ҿǰ12c#AʘIP6>3U0x@0w#heXt׏,j=>iYpCfǾZ\(܅*DOwjL]|~iifB!ܗ* S']J^:ﶠzݪ7!T0S IXOзv7gs;0 (t}&)6[OJvq2 >i^fJpwKcDRY 2ŞXW5QOՖ.w<]'X5Sd׀nPbXăL(NSa|VbLeSyK=5^i+Lώ;8PG:97sDDm8-qU/dq ;@Uϓ:aL% @40&>f s~ EA@B+=yѯECNnJPI!4@3%hRH*tyvQRiƕL$]uXcQ\b?e[rt~FKlGqtvZ50w8opD! __j%^s0vmQd.B9@5(2::l-鈭ԓ?,52?μZ>y&>awmYwfǰFi˺)ѹ"7)_7hy/cֹu{Q(gMfo .*E/;+kYvH %ʆ%l;z Sׂ);g8P6`ֺ_;q l8>_?P*ђ}(EKNҾ桀mLM5?Sv/4Bϯxmo%VsU٧ZղL~)u5Tj[x9cE^fc43Lf&suSΝTx$h T͗Ӊr%]>JHN04P+Ug>,K ة!)JCb,w;)̂AV% ?jë&CJG oHڷv?I.&527'JÀ5q3qs crrZs\ñQר{U4sx"σ\oUJLX}7m6 :l ݢדF*"~ԫj쬸ktaF0֡˽H&JbR)-3)TSk4#@.x6 vڈ@[mm`TaQ=sӝökPriaX~="XV%o$D`n—=/Fё9b_$6XW-ec l[rVJ0!ɂ*rrOIFB|1kk6ǐtaZ_hux}SBKYiYяK%pi!y1i)J@7rGگW_ ; l-4倒 p! 3a!Sdj Rta~ De\fg>FΌyd`^LVYrP|x̧e{ٴ<ߪ4g yifGڨJͤO #$4Y9!_i;iKS* o3fn- rX [_a{X_a1ŹEg'M9FI4&4 iRq3JSk|<8w;zP1lh(bepY7ݬ)W611*0'a?TR﾿|1R\F 7ZX)D/VLw%.;SB^`-]1`%ǀSq/݄1s:q/]"2fqxl϶ SبS3zJ-G(kXw1ȋmkdݪ/[6ʚzL8ښALTt=QR)nط$QfG w6w4ړ]veD;yof;X6JC|ā@>qgaHf_*oz<ʮ sgoQރ`zKv:Q\$uRAw5ek?Ӻ8څyZIT~DM/Z48&s9 ^gY 촍ؙl0KahZ{X+aF1sW#p]9!4;.8#c*K^_n '\4F*N(k_Ȧor}Dkz{_DtRy+H~A{S*wr@ObQz;nTwH0v6kkX戈KFt&u`0M%,QTNT')52DxkQ;M>'a4iӖȹ8ޝ2;M 2_c{R^GDuXl.G $zPx/;m jY) Xpyb&WNPԥdrjC޿֝v ּSɚݏ bL E]A=C [|,]pޕ.#vU'\VD-4Մ#5mVG$peU ڦbr+-):dy4 A|=טX`V *8Q+b1G!X10&< hnB|vVAѸ9[*(/S2z1+8lg_z#'ExOYZh?J#N&k|$Obۥni~o;>} z"TfUSRGDS^F g*Úc/.#Cs,γ&O_42Mp#ls+NǨds*# jPPNO#"ſu] I d 7p+. a$/5h[Û4~DiQW0('N*3(jo&_.o-`Drx81 sV&KSԎ! \\J BS UDHb+GWdx#s;ekU?D;)A:Ҏ ӇX|XL(+KHܩT} _hΥ#n]Y FHI*єZb39}p:v$;ͪKx/X4CҰ1,tw`kJؘ~<LNb!N"] 2Q/5Ǒs!Ou'y7n1.W@j'"$_|5Cys}í-41ѩߛ1YVIԗURjBn BBkǤ]FA+s#ߢ!n$±B@`ڵBAɴ{֬,HV4aJ!]&ARct7:c?t} >L#O7ccaynfGYK5D*04s(b@?_fzo_kZ) 9Pvf^Q7˪ y4w( |`9Ҩr`~'9zur!%L^&dLG V@H1 1\+ Oq FGpaH)A:"d@hERPnŒlX;'hII!eƈ4\c9V )\A@`zǩ̓68 u"o{h3^SZ+HLއ/[Ÿ--Bh;,㔅D:^"޴Rh1P2}֑Kq4ởȓ⹏tm~8F|Uofomw;88Bk#He :3 UF86S(Fp5q ~+H?Sck&E\|lE& (+&z*0Bl&#fPψhmХpQ30S}bA7d 5*Q췒L*. c>١E|a;9h=}eHY8bІF>] &w"yV1!aN4_fJ(S@CkU7K],Q!֎t5] ('>`iKa;u'{&ǒiCI@ a%W>2K?ET$\&ӑE=a nM{vf(Hap 9O{r̆C=%RB/d0  i@BlCoQ,V9J5 C82='neSs_ý ɳ"8o ݅bsd`}uV`@#aeV2j^ Qg8d1z 裓ߊ|SO+v Y&Ϣs/Qx,%FUS' /$$L}ViK6}rjmNjh{|~rҵXp:w:->g+A߀Ki8aQ`>{-_]:04HT]=LT% Ē]qmlA5-{ feߊV6)/SIR ܶ`|~  T$ByS;2툕Iv]&MB! ^5eoa2P - {;h]cs FN&ZHH^l Tq9d)+j -4 jȄip,1),O_=yBP?):U/I^ۂŽDr&1CXztimF'PE W6wݢ\ ̹n*=9i5O\7i*x?N 1F/ .FD_y8>o5І{s/-{JKM2+!-poRܞ-3ϵY0BMަ qqypAM=*;SDRIxUeҙʌJ}cd]焐,4ydEaYi7$9nyRcI@5V/`I5Τ&µ! }U@:րpA#\ ˻c%ltDI@)>又LlRm~Aj:N:о&kY^51"h<15U B ^H9.n$>7+Ty RE\':C[:>뎎:-9={RB{;7-{VaPoDp~1elhVddAuM9~OjВFTmݶFV_iUIO}ref]ءdL&짛rZ[O[M"e5=ִ=Qhrf?jgO#UcG,hSf0.wq<`k;j{ZVhGbLyaadyXKqGAXA& QT2q#el(`}lEo ?mMyr3X)| /L3.]Xq<)iLÁc ?}X/a6[SyhsWꩾi6%OnO$+w-YT`";yʰ0tF_(H2Sf(`pIsxD5a G= V),mCR# ѢI/c1lz֐v-`wGa*stGfdz6iLCߟ<.YYL{ '! 璮K_jhAmĈ࢏#n,\lڭx|6$d r{< aLl]spq/i2`uB ,{Yr4zȝ.K?,B8L=W}DXv#`%&b vN zzXLg 39eE GGly]-L2UX9  $iFoƧv $}a笈i ѩKnqpbHEx(,+cWP *9H}'j&+&zϡudvnwy4lf|cds,alHo{*Y>#ARx%k@7c/\7Ƭua.>32k~}mxJN1Z2/fqb[bC6E(ϗ4#o[ǖhyXc7ih _,8`_t>"yG.hd>h>+I/3-',Uhþ:[mtn68}oH fg7*&(="Kswmnk0~>ZxÉK #%ѰOq~pi1S8idrb ( -e ~z=41 IVps͌,zzp. @b}l/l IgYZ68ce9a796bc26f073124306fdd66813f296d1ea85a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 eab33d3bd5d4e6d5a7608722a109490af2ae85c2