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%4L ]/]HOL-Analysis:threads=6elapsed=316.422cpu=1671.260gc=116.292factor=5.287zXZִF! TT]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*k렻YSbL'<f#k /NVq >lEwφL\ZPƺ0 *pi3LKoV3?3)Z 'D|n{m&/$h?i~+)ao@zlAoH ֪@'SAfv=l#6 C<0* Nڶ!\(L 2{%y:ή  AýʨghɱZ*JU;ȚEgts["0ԏ2՝c&܂: k`(|?7&1``g`tk' G.:D]ЅBMMlAmb1 !ųKcnBQz adR]}- 1fà 3wa Ϋ Z%H٣@FxDהɇǺuB||Vyz\ḃ#Z}:8{%& :=Chٸ 'SA\`}uFM"lٮ2!lO-g~N@`<.Yy CIU//^`԰ Js$鿲{'`J禳l6T̊)7#Hs- x)wt\r:`|9G+wcʬwTdcfK8UV+W"P!`LZ#A6TQ_OHu>4[G ]+X}.$,uhXp$1gƯyqz M-us| 67)9l44&}"k xsˊ@)Camg4a!F#hZcuKeԑ1W"q7vn&,)'7/7$F\&aBN d )&: =^FU01]nЖje\=XJ㶑~}).]+Ѭ3~2ئx [\=1*'%1U&+CA-Pz&D6zBZ>]TǸ alHk[ZV̳ў8n$w |&L%T.gNH園S\~/c2*V"a #9㉍ |CQ3o_~ =hJo4>Gef3;϶ ĠU em5gՠ]Rb Ii斅֠iHْM$|>qڔ)WiZm+Γ027K hLjՋo8)T=+o[kY*]'anydg]sEanioҺs&hjt{ޏͲih8 9`,7}3xk0DZRb^.Їc|`LPyZ ҲD$)O3>M#!$Q$K#W: iNZRP؇@޵ fa$MʶҷumjB/X;R/ڥ@ IZ"%;(Ser$],JhqƩN]޲,b٥-a-*N$:67m6/z9d)c^E!, @,mv!hqXIvG',rsOo8IՐW=.J57A%)3T4XmIij6:o3!Dl~k(:lRFN"`ࣿ^-M6`=I;^>QmΘoi\g"/\|0 /-%i Q)c:1]nPG]n!|Ymh2E1ѵB~IB[p ª('5@MtPFQh:JU 5>ϋB!Mo^܅d[| PFv鍚hfc~,/_>ac||Rp].մG{\ǚC\gѦT+Gtɍ^hL]u4vQu0 ȥ 4ui閭^U*r"< G!x;2Vbx&GFH'xwȕK\N|N_: @E2 ӡ)3g.A 7\{' AԏP6)sm7v(Ge^b9ط?)X-៘K>1myIϻi&N~nZ%\A]߼+ ou0S({dffnARg(V3rL>pzjP< ųID\rY HMK 02>Jt\1t$^A!fn8\TW@9u u3: 尧ŏ QC*vLIqO@Q.j?%QR*F!qP_&1 &5@Drz ƍBgi <蓫pk5a)+ڟj8/WwI5Ҵyiz`4ĮuY^\ jt5F}X.b dGzw"U/jN|YsL"/~q)ݳr4\UQPS^ꏶ(7`U8TX2fwN gkr2]q=zT{QLQq#,F"dO?_7z[vX=R‚pq_B*bzMD+R `K-Rͩ[-SJ!Xȏݤ]LKZa.jB]b m..-wCS#. [wdxDGOQU>Exhoo;*z3 ecKA3֮JVR r+S I:7x:_=;,ק0ܜ>4t;{T $fνŰbVߺq'a7Id2Zi_VFT/;DW}ƽ631_4,D+ 2qöܴPEfUzYt_K PvngE7BϦWasU iZZq٘H9( 魸)2'yom`s#! k꒭Sԑo{J jTo/Z.b C6s۩#4oHr dlO'N-e)u{ j *I۠)a 3@}lGQ +=`D·^w?f~8|, uT/ $LWA`6cK^ؠhTbeX%3V@!2G Hrz?N'2)^ %$*udZ(n{+=ܾ:/OB^KY!؈ػdk}A,${ opp 3/g/X?0eYTb?FTR(#T?+善ҁ& Sy[|ȗ3+.Jgwth!⡾x Rq$#sw&N05o@;i.GþbOg)0MRn tm L#0Ĭn{"ՍdلTT,W_+Yo\GmѾaq<0LicX亂FvobVo*Rxs(uO2dТ ހTEOG2M^]buwM5D!C3*}#ɼ+6^`qe`}m|:_I̭1;lqr"Z {-2z4MZca5^z42quŪ\!;pY3`_.`._~r0RnˏOP}?vý 5cYzV`JHߔȤUWY$Wp#u!Ӊ& DZ짇tys% +kYhtP%Z,R񗈽)sPY +-8V*.١AmR٫isYsip赦.hnuZFzaBa A]kdaHS,OeE{ɵ|/]"K'%bʙReB@^MA\tLtf8`r> wb6b.A5w~l/ʨTWm9[&™ί#j#I5NcZNcIca׵;ֲ8oAK?<OpF]i"GRYCXg҉^.kRuAHKFZ`{qM֚IMP0d'>! DW˴)S@Cc7ܼCD+\)|=G>!Գ$~; r%nvѠQ=k%,xɨƇ3 ɶ:\?wSGED:r~%#DUVqCH*e|F}|ao=nͬz|nFdwՅ%(cʢe1U6?~>g K|aJcDy 9TaHr=\gDz`CnthED lyE$ޙ} *m!t]{lAÇky5gEO 6H\1(t@ʈoǴ$'mGM(8ITDֹ_tt/l2.RAϙF`_3貍U$b7 P1S!Q< ڮW&uRP*r{kuUiK细we_6OBŦQ'Wq*?3E[ӈcvH>ɶFZjSJq~M2ILDq}.F0:MBh '%F^;{aHDB㭣h!jc9)qsD\7C/FȐSS>7sYr*-]p,'H:iY {lGUɧ]^а%E{?d@k4i7Zcq?oךD5.迌fA`b?KJWP<%ya3ԭ` LQ7tw% BuSAQ My8//5T-Ĕ~@?AW0 ,zsisY~0go D× >D}zgOaJn`Ǒ5t'M2铔@ b!\{N[tAՆ$),{zv*)gV\3!WG}-J7kC8^fhSZf+b/5 k#c3!, h0X.ّ;Jy>XP0Oxt{O$yZ,AJ;H'>ҶW?r\r׹$D`ڠt*Dx to؜om>9Qw^0hN1*o>%Qb(Ϲ(q{g\ӍQ!4zFoM1gN#s[0wFaЀ\ |אҢWR5-A;ý[~~AK*.P:xWg(UV(E8d)9g`$bFatSO-~*_vC+@Or_3}m"2qڵuYr4v78;&$b}aLNj{cEf:5)`v')3.P?(Rk䎟Ycwr"6@p/4$ws¥SXB Ia}do}и7RIc2}($]/!Qp&Y3v7%#ۂSrM] /% A {qN>Ky_D-<<篤W0Tkx*:lϫL$! g:X!b(aC.ъJajvo3Q] P R]wxv!W:Vo,f#25Z,Ŀ|(BXO(7Pk.'EIH)=gBl#noH^`E)ȵT=Uwgƒ.T߾6Uy Ty`'epJ;j$+ <"qoaRJl**ǂ'b A,H%GnD}1#m 7#?5l :9'oz9D(q/)W1ti<մZWX*9NJB\xxwMSX ;ş>Ӣ@y(}G!첬m e_>-,>w>y;B$!i.ؾ"-,yrAn}]OaF03zLFU2L+'e-9YQPV=iOBrj3Xl=.r28-tXN%+xY/r5>4Ww.KQ9Tޚj:YA?҄"Wmd¸F[ѣ ) ,~{F5FwhkpNz=7]al|ШAsz(In Rҕ61IZc/Xe$xcWH_*KN=ym !XT5;$=Ar(498/x}(*F9m9wa#[r?N"6 -I\C$ ҊQv`PEgaQ1֜RX^~8H>r0RA[֮U]vȳr"Qk(9!}}8߇Fb$zeRT- yK 9.u IN2 D8 4zsbetR?mwHd]+S͆Ɏ"{LdW z:QdFԅo񄺍ڸM]ϛHs"%F`ŵ..MkQA՝e]9|-,Cb0keVRZRYzLwk8X; K5q\̔Ei׈y'Q,ˎ 9zy1x P& lQh&/r[Đ:MMA*-HIcXo`S JWBJzO$u68BD\lci|L Db g!׳ˤT纅\=-潼Z'2>ڐ\o*M1k1viZ=آel bde{GNl𵪌IB:PtQUFW^o$.@ Dn~)%?jYZp1mF_1yxxj,L .1IJhQ}* ITxV!|J/82;p P2+M\~歹t@ժcnR*8->Q9rKfj5.{[''ETQ^79=la5SJ;f›.M&oە\ph*0Apۃ;L듅+K~mŨmGym~E?εJ1EeՃBY|}S,;Jr+d_hH>@7U:fĜ_푋n%a0O| Lh+腍[Zdgg$V@ƨ 56N~> DS:Sake!UKfi0eD JrU2{PrH3sY{9\JyHubp:pZ`AMs8V ;J> _~ej8ڻK6])Ao"QJ v FG'J1Bq g"f8Uοi|b}v=R4^cXk/oh .ܕ& 22qPpWCbN + v ?tS/qkkB?iЕ #vQ4/>CPH頠3o_A ZT7؛S"XhG$M8`@i\^ߠ ZS$Ƈc"Ĵ/#a"A0h3ȒgeAJ*A]J$fȗ`{8D9^t;Y5 PGouU>;}P0PGvxS+ܦMKZ #aP ; gM,QcuhkEז~[i'Y$jq '<,(^-<,ZT9㞱M7B軍-?(>%IM EQ\&d%;*>smc ^G*YU"~ދNSӅLVTN,eq[@,4d"y\! !&: ML@T$~*#WX4˾0U5#`I?K)CE-낧ETbDr, v7y%i+/wlV(hq2AqknN"N2Vݪ!)p_A\>qxl'`٘8tt {- ĶHx-noblJl؉(Lk/c)])s%?f=ew{]54 J;,[gD9p fHiٽ:'&Dx=Hכ@eY"3/zVgCZbSރ!z>=3V/NZX4s_ϕyˤN1YԶs36Wߜ'ᘢH׵bl C)|PYm/~pJٝLU |VcJզ>3M]L- >\|F.!>pIw'?z-G\NH2M!7[{|J ,2Nn_␻Ŏ1GN=*.0P0l2")exc*f w3ߎnhGUқt^qI=! R5D. x#R[B^&m-x t2#xB+ށŠUWGU<>ޛ!<[ ='uu > :N |Qq )HG@[s@/\~jeJyK*iqYG4_)z݁ <U6qg+Uo DZcJP%dO)Au yçNe:Ruobh" CEPM]S"lBQrZjLƢb748AnCR_>:Q2DbE+s};MJdXdM)/q=>8@_q\s,D$bʬW2@q#WqX+,pǭ*{= \MfqloVH)k)(+1dGq 0=sX:/H㡆_ /\,m#rtI^.FVK!WeH,Ah[ us31zˣs}*3%dnd@ Ng| oKg[>o}}CH²N:no,XQGc,PNG-/7LX22sCs՛~PQp$ddaw'}O (hH(roA;7b}X(]' }Aya7x6fML= @Ú01(fySV]/ΔW~ӧ9FBbfCt%5`'*ĀX/ (Rvڧ xRi=t=ȈKc}VpE8]1T'I]F v4BushKBHOϩXMck 6')8d-{G~>v%C#zqGq;ğji(|Z:MБe aUrɘsjE[bθvnNT2ېpR]-mR d;nT5XyNe%(J pd%Ɔ DF .MÑ;2";!í?%v 2Z6B|&khcn V- 1+>_C%pѯ1t]& !Xe|T3ВNo6GVqa+rz'7'(!~V 3a`R?1:nm?HWaY !g՝d#Ǥضg2nY8Q}Vv &%,v7h؂ K{&ةMAI4?lɘjs lu+x(yJzx>u- <+.Ns)&X92BƗ|o("] Ae,c1?<}d==(BQyHm7K?Bҙ"VJTgP6'dgoqԷ=~Cnnr?y^NܡJ(x!S~DiAkeLժNnHcکê>3tVpdIL lAZ ],h ñf 7KMo Gg$S vspˀQ Ш%Ts=[$xO!F6ۧooՒQFv(uݾ}v+:f ށ|ǡWXyi>oE.p]P=ҋkv0ݬHܠe1s lvk]0&a.Ku*LfpP;&Бa`k%F+,zXW|+@ QJea}G8DG.8#0[G4TqLD\&h_H#k@= 3־>FmMhx9DKudkr{=Qcqd6id=јa9j4rV:p_?fb-tʙxBwDW(bAgaD<übn4J7gQl>vco캁 Rk턴詄)@**)2>qۊ3r^@rj]V/y !+;H*%-坏WeS֍#uMm7l3ïVǶYpW]I MK4SDž+6xUPwɄYI"d/CH]7mx~!,0Q\HP o`Ntj֝'eAdKT'ʱ Jc#} OhS'8#B/L^I l2$:` g~%ԏMŸnIK<_ kgᖸzĐxYWzJ@߀+*QUDd$muk;b]#Zƙ(u&5lB Lg1C5ڠrD;frLT fph?{a,g(T20v4x7"^gm'&YRH_jP9g3+g5͋=@i]F\[_<.\5:gݦ6w * e We1,ڧ.|a3JيT 1ƔKJ%xjqcMNفZqN^1nη[1 r*]'7#?=s{ o U6y5פ'R-/\]8Kr~ =.ڥzrJ0"S"p!>v2ސzB!aM*P }|Ár}TWR&' lS:;Y Zi!nڃU==1(ᚧz((j o͆vM -n&U.6B 3^ ,]]^XNIK:Yɗ.k5G+%$|hE@;*0.pfS0~8V/ z8HFgu"*S6ˢ_7,uiX8+.)7`3'PKCnE}D4H{הvZK\^ (S\iZ%vy8d>8oYCίB%Bȼ9FråQW;t`Ai 7/_G)KX@* LmVмFG =/*NG-t<ؐ[DJ¤s7Hk˟]; bjIr@Og]X)92h+|f `(nfA}/dʬ]${+FyQd ?|5K~uOq՞f8Xa3D^}$ GT'T$LHbCL7>3q@x7h/$16Fto;`sI 3׋k3QOQ۱%z?"$2"+酜jJq+ٹ-}C԰֐qǽC+^}f{JX85$d-0 X07/ ::4mZ6ص2pz>ְ&vX:w > ػ]<F9xa9ZO^@j=xϧm@3ؙţ`tb싃Wc`ˌ3-]Fy\ڗO~İ [I8YzC&#~L 4cFt貑f՚d20j&4f!o^1 QyriAz7AtѦ$+ĸ f\.#jϦ5 @{a`-*mO, btm ?0;q4 R>v0:ރFIPi>twNpN6; Gv|!bצ Cx07!#>v7Ds)^?8l0ءvN91v<8Z{3ոDU)1\v?vLp ^7v(;ier$u1|5EH` C~QӢJװ-ɑHmx7Gm8B{ˊ n'+kKҴo1Sq y0ͪakljv4C>Hk~F8"nVh,MZ& e@;cC`7/DGb!̢woնEv(`ʨ+̌.XD|Nc[T7Lx5g=%W*@~ +Me2E5=bQE ;fy‰#&}N:ٚU|zҧyX xLcTÖfShuOTtSq?U1YOu"/Y )c c̞KW+YWc@r6,gجqo:ڏLwyd57NO7Jt1(PlQ\gThpSW'Bؠ^':?=aZ"4e|c;khtVy+Q*6mzLy3/K hv=# lW{ \v9*ѨZe@C۞K-Uyh0R0X7}_(`wyI&q$nͯJ_ӓ&Z6tKR76 kw)loa$<(M-d?R:0 (lQAdK8t{$zDVQX4ڐ_[87u#q8@\\5K3z[;K V'̸R戥U!Y@|XNK~n%+qZ<㲞3MΖf2R3w{iA:$sD-)fvlWa`{ɓ3yCv0v&]$ڻx…c]53 34펕+Q 5Q) dϩq%y?qa)ݞ\0l9fNvp\EoD8>xƘ^{F+xiGsoPI-qh?K'c6+sڀ  "fsn:S% i SC ]seor%2ti[tVD&֪k\T%B9PQݎ}]0ա8nYw ڔSZ\wѶ,[Bۨ%Rky&BiE|[bדBv's @wiPܛkrer3М ~0jH&C#u4X`,l^tkLSrxM?ݕ<o(gV`9hWSOLf;,}DIVdi}8;̴ 4,̮Q+xUOoƾ 31{U1t?cUCىRY-xxBEMWCth9lC&=i :Gl*>R$^pAʜt ϱ|dȮЧvVaQ6D!~5=yr4!T-~T.|FdCn8Kph k*Cy"^O<7_FM̚\>Εط0UZ^_,Xx/$py30*\Qo]GJ.%up1/&8;k(^I,tHşɽ~/l t_IdֺEg^:X&g2@?(w SY IiS6a_1͹ĝv0-SNl㱛qym6krK,0‚=<%/~Yxӎ!C?N1+#7?I-]Л!^Tt>>Sة1!GgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ӚAߍfp)~&H44!~[bMwpϼ}R9-6oˀD_Fbdm.2ާy$hr՛=FoP& 2{nfVnY/䜴9M,\۷zUմn__ܥK)Ӱƣ&3$Qh=V7QgT ŸQMnjvTRmڜ\rH3#':AI$8w ߠX:~M3E)s}LKܒIߨK{s|L?=]tJVnXH$3(QQ<9&$ul)_KX=[oS]@.hfK?sH0!V:]PAH7}+|  m}YoLXZDM^nb#ص`1DƩRrߑ$%Xt1-Y}s?#/:qʥʪCR^ނ ?Wg)W_Pz7UQMXUL@Iބ HfL*Hon Px7 pr}-6{J}oxto\`46fQv$8Fzq}C=мP뜫 lJ&`MV,i[ϠZ=PaUٳb g1SUl]C9Z[wHF7r5iQi!0)sq _D?!*cA馏nپ~ƦaԽ{G>t.ڠ YƂqfhVI!:yӏ}&9(Ez85+ N˥~M=." )$p9^Qc^a0ڿ=IF HV4IOjaho5`#PCgȐCC>\ޤxg$esK^/_}־s."P1E?2b2[{Lr> Mq1fA7uh2{-Lp|jlB ԗ r 2َ#wW?GP5󚸄G76*-`VvB8Ui`%{b&e 'r#L ) 5 \bO 2_lF4܄;kSQ~s?F#_;:3w-[3T<4ՙ]kUL-a(AƷ׹S5D]5ĩC |fct؞5)]M^u̵ tDN:w Ѝd Z~ߏЛ>l# <&ӟۄBkV4\v!ΊD/#wojl]2R=E)tvY&ZΔhkuRӆ~t 33+>)S`d׼6'Iz^/z(֗,e4$z<2cq¿F4oܱPT7idTUXyD2C_h|1"o"|^mk^uFIEq#9 s}R/{$8W:D`0CQ*Ũ|uP,"l@TU*©;AT_<;5ZY5 F֙U.gkJ.Pi%/ " x/o{|(#xjm~;[0 a+<,p֒t7R\F /iFj Mqio1?6xxEʳ'\\:.4p.CքQ^XSD{֟Hu3ɳGT(^z7A(q.T1Xν;gӯf`4.E*n痈1LRKҫ!mcu)@X-gӎEC3Lfͫ<ȣS/s mwHz!i9p[^eU"UI5-ޠ܎c k?<^ loUb4}6cyeӦ>1+ba磂u#7o5M \X]2PG.__~wKUtQ!K *Z /wFWԒ+mdeep;Au0(,`)GBx tff!#Ε9>> ,FaC*e $єT Лl4|;VLnlt(1ՙ :4 )9?$`hrcBL)b oGeŭcAZt /z$P=$HSSq|OX֝Y{؂~AbUVq?_2;"y).}bdF5@s,<-hs2,&ּGi ='rȕzg`B›^m=]\1ED[oJ~Zjɂ}s@Q e^QKR(M޷o>-Y(i ~Di[IwE$2Or)QkhE^:Ekh'⿚?0ͼ,byQ?<2eW6B80Zu~\5޻@ ch"kAּV, c_K4 nd wK;Ƕbɓl7ዋvBHL,~i3KζkfShlB*8f5:o rkR_V1́dfC^r!ֈ&Ƈ~EY拠߁|aZ<`À,gee=w4=J xyAPѐg?u>i7i6HG\Dӂr('E u4TGג8xsDt^_=>ؿD%kb>k0u|L벤Z_ˎ } rpDSVFpAbH-ǥd[Z(86r՛c2r^5{KWH$FIjyOTjO7K/] 7@$d&oa,)WØ՘EvK) rEz4Q|^rF(H۶loI:i9β)gv6\ɫ&gX1^=z'dZGn< 1T'k>$B b2 f3)Ҙ={p.xl&NJ;) Hv#f*α7_nǸesw *,JՓ-U,,[RstْZUDzSΙ6NB<5}?'b56f\{.zg齞?L,`ޭro>-c_*tb˨̄ r?&1ԗGlvazа2[ Љ{iJxm:t/%DMx}Q!Csí1\5fҨ;;Yx?]Pmimk<4o ?ȶ^O侈]~GՌ34q[fj>Th^hٹHr bl'y-ބAh9[LF֚90T`P 쥹q0/k61.y*֪W:Q$ET`zƋ&$>1Z Ҫ]AJ?Xp` YʕaڽIk^58<[Fc*eZG0I@0K3BSzf-{3[B<j6-/L2_\q[?3 0%8ʞ 悏jL7{UJWW"EyQ,'?ϔN66ad;DטLN%xן wj!M8 MJ 57ʅТ~0g)tɴiƱ]Cg|t/Ufզrif%ƐI|mIx0LfkGwUF>6d(ujNYo 5;;mud{%~S+uRTUx<ᱠgTҝ|-4EЯCp<ٸ-Wrc3](t;{&`1-G좒!]rLL{+F `<+Ή"Rl'Y[7L;r+"[̯ !E #*M2ZFnLjm.5[`my=lȳ~ bB;?+5QRk&4/M$SO=aP>~9 s~#ы&? pM!LL&q92Wu΃C{J{K&ݜ Gq:.,}|7NAncsYputW׵*-+lVLD+$(> +;Zso_m@Ă"Xkd9J'r6<4"qǯq:-~OzBl/ =Z1֋QwËi[jx_kRI uoБPy d1sd4~>*:J((-: n_eSYI,2bZ 4FC$Ä[_!-!̇y}_sI(?O$k+Rn߿O)eT+Ο [VZޠ HΨ@d)EK}׆E4 h[K5VI%ڳQ3LqCdيmDZ;eCZ#iy7T5*Bb~'j|SN<i $p6j-;*(h+.;_\uWF|UeJ;.":^]*w#Ad*/aX?Bjq:<0>mMp|_Jq99O~l^4\s4>R9[OٱvrQ78Gi7|ii|KBu!}?pkg#iWRvq'{)ӯ!JCl5ElKR~f`#xyJavaUYy^w7՗û' lS{Byy*{ |6VL6jQALon8uW! 0+K}Uë!Bf}}K!Kg6=F-p2#-¼TuxTz ,J\?3ΘVtDRu^{%Mb9'^O*NOZ"{0[N ߇ܧu]|'esn|w0ȴ3FzC'`570,<ןgDQA8LPt7hz?rx3,ܦҌ!,gIŜ0@]I"{u0c_cA(JiN}8ϾhZpk?{JM yiA!\ ˦:vBܮE`.‡G67L֫@V='ejLFf,C:#2"T6K,܄1wŞu1j9fډVΠ k!>4W"^nౝ-ȇ S5@/ %)?H:S3LѲJsᇧ`P @' r~JGS6+wN@+z=gS _MLf>ʉ8FXmO#U*X$ʵzqPbw5vEBD&yUIll9.z@{[0u|\ -S {*PӧEOvO|V0b:ɁA6͖Y*YI!Lg |`d_/ⶻԚaָKڹ zvE(+ߧ̏q,JRˀJ4CEۙy@HaQUܺڤ\Su7qOl:7J iv lD/6dGs`V8v,]"O!KZF 2 :)6ds$eXe,yk`\BCO#$7:9\AQ ʒBwE5m*(v/a;2\Q0 Oc^ޝN+> p$pcV@HF)tzErKܳ/ޅǸM>]15ej0#w"`En$yIpDڷP_9%7Z%meSX sƳƎ@v۪*@tьA=VQwzoNӍ,?JkkWq w=387t^XU9kWW2Df2ь$J!Unb 0}8!@h!)EʸF`nt Ծ9@] (6/^8Y1o{֫!SR^c z]&J]-FZbi3kʒ 3 rN;ߠu$B Ӈ] K' ˹#LU6ܭ:l5I$z4gUO}'PQ,PJcCL ]ԋ/Cn}ᄆѰ(~o^4rEA/]!'9e5Qns8(2#V ^:Mb~Τg^vUJWPEU~Wx qDtXQbwbK(iH'|%|#!8t4S2BAiփI3Ғ&&Oo57 #!eY.p4"WS˂VǡwVbʖ26Gq7OEIhO.QSZ(¼әaQp^+ v DևmN4 B/lZښ#X4Vؽb~xAZfLWQPQ@xB!yzTGJS~]@NqĘQa5Z&k+kepșõ199\KӭLB`'A8JKuB\fA_FT>])\)YO+[P jEZ7FI*UU-]a0sC0{$ԪUNB{X\S@X d&eǙѧʙ*юAhsVHje_=`w/V<2^C2(u~$:G7/}*%Q w^`kbպ-Ԋ:Zcg}Թi/,۶40pbVhזJqrs_a29R|gp$Rok>YGԵns_|P.]ũ%@LDCpX-ۭKm:FLpǷŹ6-jWY#mDEPʁQzUZ RYTof|jh[WsXn|;kٗ`zf&ۄ{>:bJޣv9 P줜?Zҳсu^V#_/b_3nZ5(6 8W}@QKxL9; r:%MIlJMb"ۓ 1)j-1=IIˬ[]%"BiGUApro>6#KucϘ$֝GWN_!}Tomi9T=.귻\,/ly$@G-dtǥ)x-#:Obu-ϴ޳*Ǻ/ez:ж,R}"WMu .SMDoߋ^a~pɹ*nC~W>`ClY*)|Y2Qfy:1wXizNK_ͼQVS >QI0l$?l2W28XGsⶍHZ$PCSC䙩xmtJ{ lsAaX8_bZ?u` njRÿz$a֛"h$_ diKXswjvb(*O$<#d$|8Dk+a-7S(Vf"x8 @4#`o$0iP&u]k3S}v#6᩵Zy4&# UחNZ㯹a[X,q^S *PkpU2t] H!'OXxOLD[!p$~zrBiK~8b?X)C"v *3ж" &$""]{2 9zoRxBRzhOOuN-M $U ^c` LUV*&2|pnʝ]L8Ti{̴;|:Ʃ.os];vIIQLrI\D8nŠӤg]q=8~DpgQg0@`\?ZSQ7@\ib|c_[H=%SvYddx IפJ@+2Glg\8Ei-%@ۨKиY`@n Tm9 Ɓ))Gr7` Y`HF82SBV]zI  jį+U\ɔ?:8h ozحǼ9l GX]fSm)Z%"=i!pݱ:L"dZa;t 9.qLAODtTh7C)L.97ɜf@rlj/qP5̯H#Іs K Wj27tG'SMƒ1{)`]={dp{/Gy& zX6u0*Z*vSNv#Dϊ6HvD“0ZL x \yi$lKRigiѶCX" xΫ^WջzҺ W;wL,խBAMҞZ  [梓j  sKg 047dgƌ~13o4 cFLQaZGe l@4>J_PH/sr;K%$W8i6/r3q,&+LZbSs/MoyLyIzđB l*clyR8Z`}&$0WFk@R ' ߩmd ! ;lIp/L2@E0݋]KԢH1j"T\o7(9X˧/XmƘjKB7TU a'Л90q i9N5 N0YojsYT%y ZagJГbO/IoSl*Af%($XO6cSd hC1SBH2w-%#NVț MZrK =і9C°"A-|qJ`Cm qFf<[k}xa|ˈ (xѭg[.lM m.{$+2kKEJkGri%M^4dEпqR@4E, 9צN1ۦPޜ4¦N@MbG_/28M|cF;*܍;~Al H<`a16p6nBų.(_sP7Dh,8S$on3;\H>% :aC3yKsOU v`1d7I+ w (3k#Cp M@!n%( 6G?r\".YZUsdZyS>~!^h=RWr䫶>ApbIJxpGc}1/:8YG2)Vɷr<1ZQ1 hRƎEaMlB*@) _d+nڠArJZ\nycj͘aSywC>yRmXxxZ`gh9 XM\3^s8a8Q^OZQ2%z/Gذ>,c"\2A b{#:hSӷ}X_1l3rESvy 6؍#e[d`L0_m1<+.'cV;ڙQMvsLS#6lŀd(墝u~ oxg1,Fz:aӱdĒX)nnwT[>U*@<4mؗ9k o#0NI2sV і> Cq 햻RAXEhllZ{rts$M':V[VH~ev"vUzNa؏U#gUr̀_JzZ.acloaXdPБNuhDғӖ½@~ɳv3{)_OjqޅJڱ1':tT ?!CMc@w=Ivv8Q?Fa<5=e¶t۝i1>]X ,wA^u>V-e)+̘m(M~UuHm#͡btS `PϠ7Pd*\rޝFLdB8_2O/HGtJz{%@I խo\ٻ!wS^d\'5? T8W,e~m@ (bbn1v7XU*P\OR!``L2K2Քne&B[7>yRjƺ~=ba%+•OΞi(F,+'Bq`BVC n%n+ BkؑRW;eA|4hO2d+bKj]oÕGCQi9YDf[m9!/|f1/hH3~$B|N;OZ\~&}wH)Ҭ\ѱ2[V&gP!VwG15.XFۢk@Vϭl#CoE) l_٣`"Z6!pH,R+v55(A8% 8UiN4&2KiyKv΃1r2)#ސ=LXOmh""ҰU9hӃn#gR98 a"B>rޯ\k۽?}"#}crdV"it@ ƂJDf5y L?kzHcY_MDI_\b൛8Xt,a<S}wyۉ;˜iz-UƄn<<`='oRKq/[]G%[3֣ 48ngZgc N,µB!ڃ47 Xs@%~ dSbV,eG5_O@݁ƴU8*&_"rǰ5 =䡍D~10E/Iu^UnKLڀj1 HN>T >D W1̨ PsH P!oZ?ycE{Ds6-opҒ58HU Xe6b4@vpU; تC93ݓxۣ=rӏE5\a@9E8-'EE{3!ivi-_}4#};& 4ZÇ|lSvg뫤1q@ϒ] p7jU9E Q*UN9( D 󬭢̌x 0t <|bmjB P}ޜoWDoeO^Qc`.{9-P&KEs(_3o82 OܭP9Ddo>>܂FDc )7 ǵZM^[y CߑQ{~m?( * !Bؘ {|}-YyF0pӼ~э9<ĝ\6"l4ZK_|J6&`OG,_?A{BijM.MYt0<yx)Py !/6W챿MNY`3 PO"kOS`]<ˮ[LP@/V[{h(܀i  1[4Ǜ'Tl`tCZ>8`]>~ L d2~bb=|jP\Ov)l*clE#S1d8 }BH~wg@pc5pSpܙO9/7+*ɑff;8LR?<6_ܐ߂v%QNMOZkA^O= ,2OnQQNSKꮷr}1Ca?>ĪVudA>t *^(aZ slzW6}/$"J#qS<:\JP?տj2}m*bL_F#LF9Wϝ&74yu~3,=9Uql73S&8G.?BF~#4Ie 4+=섄=.#;{fe&8UPey"\*C*["uQJåiaISY @_88S]ah+<Mɠq:-'0vvezqgOGNzSU/˕'3N14gۓϘLx?uUղ_"e' ilIʅUxm%xwb gvzcj>m^,$cʆ jb^%GDX< /׏[#]AV{6( $]"+r?Rm+Gpr8 6lԐxe!%ϝ~ok.mOt_^a"8@*_S†ɘ*S U)&˟I]wkmy~lo62Sԡ C2TϪ,*| /ZUv5:RY[H%[9#$&>S7QZMqC1L{OoCu\#eA'7m섐虢z㸸VG feۏBPlDt\As! tKe7K:݋SdP6~g(@ׅ9r'8B 9'7!a; xkfVeR !NSUѢF}&e)QzfQRI>U whCEu-w6~( JXv0;~$gVR3o72`P\nחNX,- UKwֈ#T˿X޻Ćnn6ľ2i]NGq2ьRLSYxe4Ʌ1k7ɻ/ح- Íq>>LUڝlAsG\/ZkԚɠ+ס-n$ ZH3r ɑ/Wn)2)=|x[+{cL_a LHEC_@XB8o]'254V6נf6X,Q2c;27V[z.>InjK]gܢ([S(f_$f c&s/o=vԽY]ҍdMK @ĚЦ7rP&R֞r}N"15wa,džu0t̺]C`#A+xDz- jc 9+?_n􈶵XB0JۤP9) dXg g4+YD atvCLR(q+3kUZ x4x@VB.vhh;]r?׈+u] R~jgD_AƓ]Iv}8}׵.B"f,xy{u01s]ٙmldr+zk"Y2۽zb{M?VbgHd/jmf)V;ukhgODq$+~0nt{[S`?NwT8ɂ3va`SSޣu4 Jjz jbZbpeݴpW vuox7m|0G]k3GJ[Dud+-?teo @}1sK- AN冕fhJ>4A+MH5g"{VIDn:Stb8E&pbhyY'<.4+Y1iNq"?is(_$ɲ25QXyX2Ƿ=RǡL~UGQ,;Nt(͗& e^Ivy%sq+u':p99 (+\Mh .n wU_!)N集?r9\$pn@8Q| ApEYw$1.!q>iKMA3Wy>Gb\'rE:;1a]>#[P? A ᳁eEd)H-uj[h/=ȍ;^ռ=᭮,^h`K -4*譪I~45iW:6))f#0BQS!E(ٸzHt4opr;$˖cӳ*סЦX9KMOS8W?$; zmfM{fRl˥sE4tntK))irӤ7a,埱k9G9dnveθSC\$9w9!4ﻯWloڗ\ ID(-d0ksX1 ,M7Zs}N'L*]ݧ;nZĺή|jWh*4꾵E219g(~@ 7Ԅ!7zʴP UDFNepK Qk RLKY fw r?06lj'}A%B\"wpN]V2٨, ,yT[C$B& :|6l=*^%!ˇ@fRS5\ Ax_ @=CdnއѢp"%,60odUSsr0HpZ[QvM1)'lq-ezH 島Ux,^ 6mYNZm+ 8X?g^W?N&[@ɰ|PԴ^ݵ^J/Go>Z jEOYȏn*R4C$>۫tJkz>3&XQLv5]׳Oql]00& ,a)<UX7hƫM, 7[Hm{:!g [ *vۮNȾG( +XCeNV;od՟[Z#*4 A<# rHm$kTQ=݋aQ=~ e!/$0OU֠%[9#{LV1w^m}Nip芀A+- pt{ڜ+3}ͪ3f:՞Ձ0B& XFUքA GY,WCF9 {De˂0c?ȻCΏՄ0 Dװ9/MAN>;g@` l8%wO}IP?@+ "U|,y5lX N+^0|אLe3vEF8G["9x` ^Yb{H:;S*,.9X3tAYARS+X4NKGh$O7E(ꞗ}X2 T]|\\?؟kt눑x[^$Ҿpw> N]TeNK0jĎR Fz*zٓħ | !!&+ :d[MCΐʧ0ڬ!v#&q{N7 4ܨJk)>fje)$7lpL%t7BV2;wnt3ILCEt^e~jcR6CYƿTX"{.oIh 2?IF1( x 3%[ybP~1Z(Pl\[AoJɬ-- -Z|fLBr~x=uN"9 !F}9hz BNMͩKfm ;J^|W#F?# Z`wq %%-> :3>0 kR(Ǐ&~ IsA4%YA|ny eU؃|-B* ?|WrՑ*~ש0W(R2pHeaoSds:Q֚N#9 5se厄$@3&W1ÊU/_sμ.C1+{Nٯ (E̔Pssv[6"X[\5k\Xq1!Vɯ㥝]W~QX|5b fo@7y%ގi|a8+T6Z@[1Ye8f#"  ⒏uMP bC 7ETgz>Byc`D B;xzK|.}RY3S:p+8DTy=SpmtF;`6:rF kv$}”>vB4(gtVD٪šf+1l Ab_)C[wub2UI맱G0K ~uk%$vPuњYu}ex\[楽'FH{🨘$SVNH85۰uo&Cy2n"bBAD;q*-V ބ«5^e@r)fjEA0[ɞo }Iʁ^sLAə;ĺZ5}]6\%J•Y7"lTmݿe3s3gPbf6nCҮ8B0OT Ym dǔXV=8T=eR~ H[ce~aX_tW<|?7od@$n{ˠT O֌?E`z>Z( q\XކV3`,t^n劇$̼9291HF3sEBO T!1lR :2FxD2 h hH3*.6eHzU/c+(MyDH` rſ͏\#tt ~]5c#oP/Wp8ivHA݉yҴvdjҏR˄JC4hq+/ۺqDnWuQn?KK.dԉQ}:dÙyN5^$Saw?!jz3 Yx` ƒo{Cl {6o "(a{ zY"=HffG`v=B3yp\ uMU^"@" TyaZ+.L"&4XIyO*5Z6տ:Y(o.P*id l5O9*_j2c-|1&O1ύy.4X~piLp{bQAn,0fJ7t?&ѓ8'W\k|ҧ`hCab vPs@*xX v{0m*ѹގ<^Wn5ޕ1q"CE"PZ(!"(Q9*gf#(y'Y@s҂R[jW.N8'KGOR{.Qߓ29S[hH'uzg\%pUƥGeY!-Rk蚼;'"v )cIJ(KwAӸv~H4__5ӗޘZ` NG-jӫ}^ס oCqlۭno:+L~N8m!5eV$MGE[eBl8θl^zrc|(Zc}Y-8;5"ŧi7;'4MoQe#f#w~ogzm4A0[Ze&K;|vID|v-1=JX,TMkQ`kd_7sz0N1 T}F u62 3M=Glx3|duEӍ)E'JFM>k-Ա6HdssңYR`_.ZV} @R@]d5@a&GaP>lHלpJydY =NS @|L?u{-ӽ+Ѫqr#õΞ9o, uKꙉP}`wR .h8Mt@ٳfF!ڲƌߑgv50?rgvN^uQge,HݍBOu+!@ b#W7۴MefVǦS]K 6ӑܦpj2.TuwԞq$ǼކJmWGgs|ޓba pU^Ų/4"o{pXmZw (vK5 Uep c. 3jfIgd+h!_[)X{Z1)A"X.摀X-D.mh黍.H"!" 2[;HGM:v2V~ :PdVobs0Ihi{pⱡr1{4ܮ;ʨR5u0~s'̮BzBbhROSLfq08]-P's{xޚjvca8*Z3\xX,ƮlxO/&Al+-Cޑ>eM\}b!CYƔ SNS 5&;s㪜>]KJ$XhTG:s8;qt%h%f;J{ʋ9s]ogYZ3b2532ac0d65484f93a72b017854bb6230fc3d488a6a1967a85148d05149fc8f258f22e5ae5ca538 5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8c8c85aa3dfbec63e95f14f49f14d4d33af8c7701