SQLite format 3@ ).K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  upT| ] ]Pure:threads=1elapsed=2.103cpu=2.187gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭ`Oc1g{LX]7zVDF4F8xYq(p e[nPF0Y4G∯@ygYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wq/6SEK ~*@xOPS5AkrY8i I%]hѯ,D Uc-%3,wDr㶱gYZ7zXZִF! '7]ŗXi%k! H?cA~Zo9WN5߅~'rE&WlP(֋ϵHġs6-Ie@Ka0rzXᓌWzcITwQ vt$Zgg<6mqyy%iVm2 3&,ИG^7i~n{"CD3%-lQE aT?}##v}=Ce\F#(IcLSR 9hZǡݚHM{~S@>.!t/2L5r3g)iQ%З^uYZ&\Ӥ#P#K,ٻU∓1BO2:' ;E85C@5$?C\Ry['}J"j9^,Rqei,hl+C@=)568ZYcwo: CϷA5WQ vJ: P4WvܼU+F29/Y($g? ՜ /3+3csaːIa9lMحj\GHc4]'\n7$AXp`=;CrwpM{QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?'y&urqki b Q B 3 % {zVM4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ E>. l$''PurePure.SessionsPIDE/messages{"'#PurePure.SessionsPIDE/markupz!'!PurePure.SessionsPIDE/filesy''-PurePure.SessionsPIDE/document_idx#%'PureML_BootstrapPIDE/messagesw!%#PureML_BootstrapPIDE/markupv %!PureML_BootstrapPIDE/filesu&%-PureML_BootstrapPIDE/document_idt#PurePurePIDE/markups%PurePurePIDE/markup2r%PurePurePIDE/markup1q!PurePurePIDE/filesp-PurePurePIDE/document_ido%')PurePure.Sessionsdocument/latexn%')PurePure.Sessionstheory/parentsm$%)PureML_Bootstrapdocument/latexl$%)PureML_Bootstraptheory/parentsk)PurePuredocument/latexj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/43942g%PurePureproofs/43938f%PurePureproofs/43934e%PurePureproofs/43930d%PurePureproofs/43926c%PurePureproofs/43922b%PurePureproofs/43918a%PurePureproofs/43914`%PurePureproofs/43910_%PurePureproofs/43906^%PurePureproofs/43902]%PurePureproofs/43898\%PurePureproofs/43894[%PurePureproofs/43890Z%PurePureproofs/43886Y%PurePureproofs/43882X%PurePureproofs/43878W%PurePureproofs/43874V%PurePureproofs/43870U%PurePureproofs/43866T%PurePureproofs/43862S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43676N%PurePureproofs/43642M%PurePureproofs/43638L%PurePureproofs/43636K%PurePureproofs/43632J%PurePureproofs/43628I%PurePureproofs/43620H%PurePureproofs/43602G%PurePureproofs/43598F%PurePureproofs/43536E%PurePureproofs/43532D%PurePureproofs/43530C%PurePureproofs/43526B%PurePureproofs/43522A%PurePureproofs/43514@%PurePureproofs/43510?%PurePureproofs/43504>%PurePureproofs/43492=%PurePureproofs/43488<%PurePureproofs/43482;%PurePureproofs/43478:%PurePureproofs/434729%PurePureproofs/434168%PurePureproofs/434127%PurePureproofs/434106%PurePureproofs/434065%PurePureproofs/434024%PurePureproofs/433983%PurePureproofs/433822%PurePureproofs/433781%PurePureproofs/433700%PurePureproofs/43286/%PurePureproofs/43282.%PurePureproofs/43280-%PurePureproofs/43230,%PurePureproofs/43226+%PurePureproofs/43224*%PurePureproofs/43170)%PurePureproofs/43166(%PurePureproofs/43132'%PurePureproofs/43128&%PurePureproofs/43126%%PurePureproofs/43124$%PurePureproofs/43076#%PurePureproofs/43072"%PurePureproofs/43038!%PurePureproofs/43034 %PurePureproofs/43032%PurePureproofs/43030%PurePureproofs/43028!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/431267zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]y_ґ_1cU|BDL`6쿹gYZH$% dPurePureproofs/431247zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430767zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞EloM? Z"}lWgYZh"% $PurePureproofs/430727zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wF pA_9쯽wuf.Q;0gYZ4!% ! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/433987zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433827zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{Ą9<ieWAAyw$gYZ1% PurePureproofs/433787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433707zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$AΌBz=j $+z{@!X SgYZ8-% DPurePureproofs/432807zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i9Pȷ=~tW>As m坱gYZH*% dPurePureproofs/432247zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWw:x1o1Q(4\~ķV mtqhۄ/xkNV^02V |~* gYZt)% ƶ1bXⶕs_|u2)%Ɯd`x2N]gYZx&% DPurePureproofs/431287zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&t9઼9ziA *5|MgYZ  # fc1* B% PurePureproofs/435267zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰs/{,w:Hĝ5Wpa5;V۾6^U]  HagYZA% \PurePureproofs/435227zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPTI,eI|BJ agYZ(@% $PurePureproofs/435147zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%_Dʃx>C("cwhwY \gYZ?% dPurePureproofs/435107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט7zJc=:rRǍ'9m j;8gYZ$>% PurePureproofs/435047zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/434927zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|K5T:W 0X4d *qױgYZ<% TPurePureproofs/434887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+a4׌K/nA=gYZ$;% PurePureproofs/434827zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/434787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+k,gYZ7% |PurePureproofs/434127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<!fߨ]16@!u= .2gYZl6% ,PurePureproofs/434107zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^XWdRBz[p&Aґ;l (EP|+1o&geN /g8gYZL5% lPurePureproofs/434067zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lMɆ+ I7 {1xqDvKr*t -HgYZ4% PurePureproofs/434027zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /H)*IQ' dPurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E4.`S4]NwaUDaΣ;K-Ѫ _ʠMA0-P"a9w3>6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6ʗN!hu67d  xgYZLK% lPurePureproofs/436367zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&DJ1V|տ@q~y,4!EdPû{.)vmK_ )m# ÚgYZJ% |PurePureproofs/436327zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛwUr8|+8 C2!wS^Xh M ±gYZ\I% PurePureproofs/436287zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zh~?W8{q:@a#x ?igYZlF% ,PurePureproofs/435987zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435367zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoD$U`~=gLvZjĶgYZlD% ,PurePureproofs/435327zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^L߶؃;hE)]' BgYZDC% \PurePureproofs/435307zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zMi#v{@GÚ A#P90I- OH=ĎgYZ  8 E8aatb% ƶ1bXⶕs_|^D-eAd5 >?qy_DW]gYZH`% dPurePureproofs/439147zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Et4yYW-zu`R(4lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439027zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/438987zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/438947zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/438907zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438827zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438787zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438747zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438707zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438667zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438627zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZER' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   , MS0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZwh# DPurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN!@}%Vw5am *s/ PGMF ݶ4O&yP>P|qh ׬5`M$ݟ`NݳP<n O \_v(&P>3vK[a5Kocv^ڼ; 2\/&4b2Tns*E.Ǒ!<.q?RSE2{D$D,e)q4H{ t?6{UF0};)U,!aKXhfp:xR)Mx~]!UOxY 2SLZUxl%J1|8Qya9rhɂ:k$EAk2&՞ftW| p&jM*-I/ 1.X%WE2S }I`O\'m |:k0O}oV` %v%6 oL_+3C/|W/”)h`QC=#'CD0D-\m (+2/q>^=q*o'-{຅+L㦿9f׶ϿB9^Ok_?5jwi x ]$*:*pxܛ8ɩa{e*XaCaMW<}x}nIz{i:%CޮxYe̦چI3a؀ދ87KTBTDQ;Ih?A|St:pE28cXV~#Jd&!>N_ʢ{#عǨӧY44BQ$̢z5B[ᦷ>->Mla ԣ+ S[D#f3^j ;Sw੠a;("끳AI}pv  !-!;;R6I1oՌj2|biPlT MA8 !Ih3@O/C ZQڗS>W>-Zy˴(Wx^kM?= yL>_>1PEIPXΗ0D,ҍD\zJC`9KvXw o6be;znSH~cZ֠l!&?g gsEOjF}'8Qrij| RY+A9kV4\TxKGS`iygYZ\g% PurePureproofs/439427zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo)af_ONtHjĶgYZ|e% LPurePureproofs/439347zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g8ҟHٸ2[-|,gYZtd% 9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA ~#)v?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ;fA7'L?C ϸ_p~1m3 PuYn&^B1VzvɄ iD6!,W>|=cdF-讲az$v񁆫%5f\.re*r76]dBRQWI9*(#ZDƮ Q nWp5 u/N? l" cI_r|L\ڽjgjYs&S6-[J]ppוF?ȆQsWn{X;@+,# /uk 39kD?I-VߛzDa* _N"Zqh~t졁+sxS.M^TlŤHa# sc;%קfZkXS_p,"4o9SH("=ҼM8FefZԡ?# \E`e*Z]=m3Ip Sh#V_(s~H 3SNdBBFCwA=]mjrBbDK},b!#u߳N6jX8qgn>}'lB.eHPAFQV,i0gZVH>Vj~_< ɷnkh|Kz-\.pI5hc(h e"E9(hf{ DDžpw8V0ýl IM3L8<3Vm fЋ9Գj!Fr; 94 +cLwg,-^,\:8iUOsۢoW^nX?^LkmVO.0Umq-pHei@$a|4ڞ=q,DYeGӎ\#JKR|ƫQ&&e$;!fl 2r[ljBZP)qO!Q-$]NUX~V'J>Ʀc+ZJe4ת 8`>57呯Kㄿɀfhi)i³muq!bDElbO@B`$ n| 8%ESX.[Zޗɻxd=ʽV׳ F^2nS5=Eڍ1:]V Ov*'v${KR S 6⾧cѠ?ĨVRh7*^y=!'voȣĚBPba$%9qGW05Ae1e?׾k4*3ә$L)[ b9Q[aAs`7S {7 ޴ү~ Kw|)xud6t/PHԸ傍5:̷O~C OE %wrmD,LWsjpy '(=mE )#gkEWzn.F6>jXK9m2k5Ꞁծ& J`m(e/nS17]ujFRHyc ]o ΀R);m4aЋ"-QQaTU,5' yȏK VJ-:v6N &Hu}/*8y j ]@d >M59F`I~SU\~eQY4HS 2:QŪ~lU.y5QO&a˴DTDn*"]ߋ~K+@s}^KiInr[fmp_z/&zV\QOyFGtAJJPo*mJy }o엃 X-xk^.4s A(v*حW&ǭ6^ \ђ!MBg$-~ʊ϶d鶫, +qMKd&SVrJrDTOWZ HEOG*3@jV8O_g{z{h] I6J=l1.:@zd.>&;eqE4rA6E#+06p|Ȟ@Bfy|ړOa%֨8f5n R˛sdy)-%oS_7ww0JrJ5Zh7#F@%ÊH7=p٩pPr/& 6BѡJ`A>}"dpdң=]ٵ6HN ` 0_"4GBC *wJӚ!IV3_--x9]չe,IV8y,ncQ&"qvd*v,aHWQ^v2j2 {vB`u TR=o.;'yU܉]@ooBM=Ĝ01/kՑ`$;G44t^k$O^'VcǗFzV Gc@ٖ D]*$4 (-6_UoՠASɁdh #bL>|XU1"rvr9p>ec {8D K=7tjEP#4E[N,UٰO"R˪?,Y>< 2tl]fbe݀8T&Gu0hbSM\NQR?a!"ez,YP:w?CThJ:EYm#yE]L䓤;V$V,{ ƊŜ&̭k7Eb&Ջ DFS9%iBze+=ĩ>8"Q}[Л#/S}.>*:10aY߂LԸІ0YcI`[iu0"g64MY5yj׬ؚm(2TXQ)ma &)z7k95cpLQiF"Yo݁wqDZ5W,աW<> oz`SB5'd/{vpaxaW@b.~T z.nv?fޑMYԣ NYc>8"w}{ˑs5{6 9)H]&aWT:),le"\8#Tuұc=uoxxSe{<2Q!zhapZc2׍;&pN8#gz ?hnp;OpO2,k t+E^R.~@?WwXjdw$--Ee/.zd;@X_g>vJĿ@( h=}CUUedXg - ē[b8! "G+-UuPقmB%?.Ōt5s =.6 uS}W=9HZYě ")JrrIs/FݠhL9kb<qGg7&n;;fєd;mJ1ehh/#(7/.B7KUR6V LA=+g2rށ2~(Jl0!xGC"M?{df~pl޽[a0wJ F#!?!2fWc#}4 ܚxZxe|ho돥H `_}KGGa<3dK6% s=m%Ϩ=l1;QT[w9/7?-OjX[iE[>hO"V7)`]nu|>Qa4)NgU?2,tTF>v &af()y<80kQBV;hM |ߕ@OH/O%=E|9ZTPcwt FJ7"W+exb&u=Sͤ(dO-NU uGic&8jΐzU7Gvj38o6j5<Urp1`k3)fZXtJe(7C}vjeRJ 6%?HMﵘ_k֧>1-}pEXᣫP7N,'|5uX!?r^|QE`hIܹnV<"oiƟT}*4t5-!ؓ1'@Y:>u~X2V5vݚUUvat/!]xqW} ȫ:{o0dlL];khS!A8ćŚƑo,g(aq ~?&6v Q}S1uTnKߘoD?I#: .dSa?t[1UITrGG GS\S} f҉8]$/ekx g sh[pkx,7`D{:r .s.(n%|5ݟm 8\|i*XI:0fU+kn/}"K]wuNK7j8υ6GҨWӢ7CI,Ŧ9~ӑ9Q^:gv!#k*L3 hBH؄?pcz=I#8;E4"7 AsyljFntEMpϗaT R4kNJY <9w+_\ ɽ2&LP(Yއw.9Vv -XMUp)|\`sM%Gv/SmV=mgh:{Egݸ\4LL{֟ùb qewQoT|)>v{_f^xjd֯^tD; ?`{3P #vDr48V H77hc=t2-,ڮ/E f'~jh-u2F?=U|_XH/^x4ȼt-,"t^a3INM"< &r!~&ŭ@QϽ:uREX!哒@!3ېhl#.e( )wa9ezPƏ4v `oD﷡^JoGV^;$E~yΞ9\"fa*n*z5 yhL8m%:@QW'csv7H.,4zIHJh88}Vg2+v?vgqjAr%0j~HTY_|,8י57PgSBO6O=Yz| ~ K A-d1zBin\}p6K(c"4:G]Vl15q8T^LyOnxf~I$Q^e_ٺC>edpB( Lq 3)4SXRa59Xwdd.U,9%&X+瓏T(FRUȅ Uy&v2ƈO0kT6ʤj;:kK\N(sq\ǖB㽬}@)ns߯lXŻLub5T,!2{ez6ڻg$-1#>ɅYOUG-&^ .Yj4Z>r<M >k5IPKșilRxO]9|iٽk7h1}dj+WϨwrXcln ٠# uIuADls!| LzjŊB'k ; ^-nKov{=a¹DrWJ?0NE_TA?/ꋄBVEUaQ뵬-GӒA\RމG [d(׊$ C;K`*Noj|b6l_)e=$܌Xg%X_|BE ua#ZCf7_]gwf撩Ă:p-1EKV;#e_fw UX>= jXyET(ݑ96DPM̰CӗUr˛>;CP (IГJ» -ae)=iU^b:1/x?fE2Lso%⛖0\ 91;qP#HQ kd P#N)"RuIVm` rD&3m j%Ql)Tο=ZfT-9\h'Weֻq$UBOh#]K 5a:d~$xOt>8:`$b2=Ie|5ARFkZ*+ؓ~1cQʮNW8kzPIP SE' p-Z%Brϧak#.FU%ȁa~!?ܽ!Bsbi$;쫐SX )N33r3Qr)D;L)9pĩ C\^Uul$Ma*x |aPD{ŽlFШoF*)6vB`H:bP;)/_QTO|b{+/+׿ɶԏ@۰ZW_,M/Ձ́I\CL y wTr')j5%9GMJs*Z83{)4ea%00YXR o$e!5K]{i=\/"2 {(N.(81};t;j+tZE{, ,C*&9"3 >tlt"}ww3(9Ěҗy,v0bo01GZ ς)8{^%3=W;C𞔕I xvw6<|q:_ (Hcjb;ԣ`;]:I;É<Ok+6YP*Щ1%<"" K3+7_OkTHcDú+c-Tߋp[G ]uQ=FF_;m}܃m/xì>#BQS~i#Ymsh~Cd־68Ú|jKd?Myq}_2~qokUO-Qfvn:߲w`}𴚙AВʉ1|086Vybt}6&&Aq|vRJ_p#*4݃:ԞT@vjHs0W|`w30H3k m2D1LGLv=ҺQ_S:BƋ+Us۠m1N=vOia A_|Mblu8Kϙuoks[ +?bU0 w#a+ .0\d u>Ʋc!-v9ՃrҶW hUsTm4_UWq 'ҾKr1UM:/K9 g|M[% M"ȪŜ]na47رpW7RӐ4w12/rQe`őHӁI1FWy$AM9VZƷO98D|?De)2;H-p˂_/~C-Ͻma|[-ݙCHěDǯy$ j5l6Ǩ5cXї[O=Xj{ޞ]Q2(6uFۺ~(969-9P3'iפyf~Ft鐬=LVD~{ىiql 30;;o +k ̊T~jLnE;z(K_',JCJojN 1ßh5rZ @7tZ! _ǣNuB'WKt|p?Ɛ d9z餉HjE%nCCW,zA𼇡*ƛ3_ЌEȲ? 5IGf^n7}$ /}޳]4X$l'h} jɱ3 I!Chdt`2'foUx`PRB>A^&&TZȺ~D0LqLm^)??{5t-<'uqY"DKC(ӝI1M0QI+. ҄C<#m63)h)۫ >G:= ʘu"VZ.y<' 8 n mt"V[ e"6mFN~4(%1K\syxx2J*c`+iDHߝ -3;HLi4A8 i(/_lLt ҞYrK*uI=buytu(2OsZH*sߵ5745kL/ѴcdiOV˹,ϝv7Zցbg}kc"t} >U'/``%^~ӒfD0DFpVMl@ڡ0 4ɆQE - %ȥqAv(g6e Ii1ihR=bM_%{=b9XB/=޴TSH}D0}?d=1^wz!)w0FCnZ$b 8t~6\K,9CsÂv1cNiKI(f ק/`aGD> P6&>W \rYe{SFftGW:'//s~iG\~fYץ#cvd4ƩV]U :Gдo( (,WX kEB"WoFߐ,ǰCbq4*z'XxTW$-l e>f؍+ ]BSm8PWt-BJ8 v42kDԦvB#hbv]$=^S`OD51d=2MoO_D +.]9e"?ӈS8fg0MF l[2d{ϙcYݰ5tŞ^/sH}~aY(D̡CNZaWkjt9PS׮ :ي8T+n)aO0s=Hi敓;w<^abi4H,rcQIc6*MPfCi(ART&u G;/7_l;w<5WϚPÔ*qy%B `uS|$.D.ўItJYynAŠI1lTJd]'иZld]XW*C? AFMdr9;r><>͝ J8?Ƽ[ZQTCZz{ډrn^>&O޺+.;1]*dd cjV}ƹ|~uO ۚV+rEz{@iZFՋ>L2 JCt5{M"n$;k7NDZ~j/aiˈj60iY8j⼆D#zgf7_`TbzYT;m qCQ3:M[CuKi0fBsr}T[x- *|椣UI} ?EVnэ,{T(% Е+I5~.#D3& `P|ʢSH}P'6%9!L- ' ӎC7~JI9.!΀ǓHk Kzg!X^AE2U$E% c4aT @ "qi /iDrz(npط*Wb|˅芝W&Mw"/KZ xES=֜]O~8Ɏ"^^{)r {w<_@ݸn<w >mZsq c*z i D]@bxA]6f fa+f(޻HjtKASs)&Z7Cy"oMP MfW[ݚrB93 yr5 ӨEj)|tjRrp'5_ax5XRDra$5m\Gpan2Rz\F")4  Jera]EL4I_e4:m?E:4.h#?7Gj5yJ"ٿGi&A4ZLXeNر< {b&5ub܅anc H?&=uEtI8JCp|n_o$D]{sWmroI %2CKKAAYHIL6᳂DZ@$e6LclS3u4& _W"P]HI@zv٫+#|O?B=  UmVyvAh--d_ɞ27_⋰m3 }P"z;0GFNMS]g"3B=k|1FG xO*D^ C#F E {c0+}H\ WKߖ xyDUo8WI!iFH9`Z2.rXqE X7}πs:܁;]S‰OI Bh_aT0CV+oy:rK/u\$yZ %{_\]uc^)<bL';AcA\\'9tf4# 9L`LotE'JM$ I&m^fcp? \-B(u,!kb]̅(Ǻ;Zհdؓ #Qw&n!WljT#4gtWT$LJ2{%xھf3,_vdžNc/$gZ/ ].G7|K|4Wf7t).)vyqQ,.e$ 7WI0ۍ/!k,=[bW^uZ񃂎SH] { mv*3}ڃ1lK-9.kvHC5UgnB6u9r-E :Weyoy{FGXd Mӡ(atQ1DL߉!.%gj˘% VWtY3ls=qkyXaؤxw dN_(A~%Ipml?Yɓ 1Ѧ78ϑE񗎎lO2.B07[vW@t·5=,҉XqΙ#j6C,y/w>l"jg*cXS'7OkTM W $ b͙㬓[gܢ 3isTSV>\^GTĂv$ ['d̦]lTs\sb*)ݽ4*#z}/;h{`9V y |˛ 0<2{>݋y q990Gtydwř \˧j7/ :@VJ֕zHaE9HJ46揤T1|!VlM;z75MGix| KpƟeaչA>N-;Hr*pbAec#98n]({5jpn60IŽ}YʇO!k bݠsƕ"3āL9 V~ !cYƝiUozp܊1 )^9\!%?,|22 Mnq4-set̔aX;ڊ!,8<72Tvpbr0[8E`& k ;Yf.\ӟub鼣]gߨQfSpG{[J5 /)+^6jbâ6׹=_e,UaY?$kb*.8C|ɔҼℚb\2 uxOѫr\/KzBL+E 4]Nяk<븘rhbU,N^b:Ӏ^(( kT4Ŕ-||VHtBq6**r$:qN_Џ2=O'wsݣKzꤼsFI5b6K~5LʛWbzu׿ w:7Mmfj3?&G&eu1 _wkH%&[͆׫Uj3f6|b9Ҕcϳ(O1!uyo{PU)ѫ#,М^c3=uSm]$K"8Ɲ 5 b&C7;~ټV&ʨ!k"Yk 97?}eaڮEw,d5k%~~d;_[j[^ˊuClE7ru˖m*8cw:b pI!1#i_7˝gFBj;8VhN_᜛-& ]{W" RӍڅ;?USwIcx.N}ȊU867Ĥ@J_E?5m#c^o$0iڿ[U2;7=z|4S2bOG!ma;bɳ(D,q§'OG`AHu s}"?\ա$M;z[Ӵg6xgr.-䃍I@~N sڜ2%`oa6plb3͗/8g7~ 5@SP f&D}+^M, `'WQ9_<w Ao!L'4U O#Qnٞ,-;%%fqײ؂߮Uď4fW~PiEbFlFsV2l{KH}wZIsͶ$ztGǹ/og-vCީ"H vm}Fj4|*"-0HD=d#ߖ=B>ZF¥i[RͧAզ'0ŗK}{ޕ Skf(_'fϑ燲mZߟvz銬|?Fjhx#J(V'}gYXnOu q5uU=qz {O txBUD񕋸#$DH!덴j-N~flHOO{)dIDKs+߄#sp &M[qEz0M}m~ L;QMI{ڊ Yz$ЯT娀DrXA?uP i.ȃ*ҿ\ 4eQ\Mͤq 櫦k,Fj*)?K!h ҄F#?]ԲB"W|3CeD̘ ,2oF$Ly^"];jiN nYwAG8ܽ& V -2l~(v!@h;*ǧ1g_LHn$J!4Of0#&馰n@'ަ{ Y3Z˫)p:ǐNHPz!>e(@k;gY9kCGS"j>B)CҢ>~\KWݲ:(uk1717 @OË_/_"n (;Y$9(-DϥѲ@# ru;P0Εȁzd>} >T c@6ܨɡ& DIX[:H&N%M'GC "\e: joƷX+` gb}e,UbA1搸xUv9i-v(I s%_j=rjQX}W0Ӫ%t re4=j0{ϊY⃚ p'E&q }kBz5tQC|,Fu>?9yӎTFgƮ*$hD ۺq;\>7{ tnzo=j^ a×4wOҝ$oײi;ZCIJ}BVIk KV:3*E-z $f3K|q8ԲTvDV}$?DFG$Mڬ137_5Kh[ܮ+vz;# pC s)ruuYM&4|-xiN̿2{ NհKps5Dg #SR6bṉAo\ȹ#ϋ;|Sh+Y$ ˹gv,ma}`x]|{3WzTӸpKx%䙾j$/ER, B -c^4dkB=6iا*D-J>Vmw>7_gm(v+\t6Pe ǤךkRLi"8*77ѴʣvLv2E~3hU]v$Nq lݭ [66fWb v}lXk(QKCx/ ǂ;JLCle^+O|Jg # G} Oq (m+=&(nV[uz#:["CzthQR2wo/ u|Z6iYA1 b|ueTXBφ0&,JJ 0=d !jhpw 'v0$PmIs209Ү :pNPܟEU!oËcGn;=_hx/Y _fE!=cAFs^ykcߓߚHmb%\'Pv=/#\9f.9]e9Y,d̡ڼUE h#,t%ucsz$. k@k Yw'|ϋcVK;*RJި]5åZ$68f =59톽?Te;ۙdvz}'>r46D:ګ|6=(CeAYȋs篥ݯXdOxܓxgr%V*$OZg{?>7(P[8B%M^ ~#zcmE5kGlrΫʁ+Ypm[!cÌ*b6Ơѷ kw;B}׹:"s( a/ܧЏX<4D=eKi[h>>aM[IFT7ʮ d+ӓ@G&"hl)d8Go,Nݍ<25$:FqULsfG9+ƣdLsW@0ds Ēq79/'ݦy޿{eگ{vI7ŴIT0ѡd@gJɴ>]j CY0xUg&$6{e t^ҙaRdia< ^]c Ly7a#9| N qUa*%*pUPgYZ BmB)k%)PureML_Bootstraptheory/parentsPuresj ) 4PurePuredocument/latex7zXZִF! $m]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱 K O #RKq% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWp!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML o-PurePurePIDE/document_id2Sn') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZ*m')PurePure.Sessionstheory/parentsPure.l%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;.%JNX/,~MTYkSO7U~\"@xtHPomO[έ:"%I~v1vȽL@CI%7C{d{)S.4Z:U)o_5 ֨%su+dށi*cZS3v遦9reNCw-N9Y]o̟s #ᓦev٢Ʈᾰ\|Oࣳ#Vk `{EmRGZGrדx}B|:_a?˿D(M1\ Vy#ʫw@DηzҳjND3РѶ"n˳㌶\xu+҆RdisQ@$&$-Nyu'>BZ *P a(z)>NP!T uF$+ꇷW-IJ>B͎U۸*!9RxX(,szFnY LvV@tfJ,$"}ZNn;+uET cZi$%UUH|=iCK(TXoq7jAXCrQQ_P wcZUMPDe#$X,RaftX#ؔE?M$d4 my$?`M+ OqRfI%ԔԘ!cQxث kڪGW85B hoe$Pq *x7nzahωe1CxLƇ%$5 r%pN)d$Se-_gEC?8gYZw5<#Rf2]10'Gm]uWy>/ ]*QH"ב0X8TaXFg+!ztvzquv~/!Jeh~oM[6ܭ@Q>JWFU?U RJ$Il:QAI_'w(`*]5t]A)8$A>wrdC鞢( ~WJu>0ao }!| e//W0$ay=Pܤ$p 6k;9]Α~| Q*䌋^*M"|w'}lX\ZV=xI\6w*'i˲TvElN^@zVRxݮ<iC+gUtDuWݢKL3;sYI#m*>z;W  @FWekzP2ͧJ(5tz>Co) }9xZ7(k]dk/8X'Zmz  O0i}=1l\.ՂA]S)&˖!Ky G4w-N'< ]5 z;NYBd${h,P5AQ1WTSu%V8uה̽n?7䴓?3HMٿþQ 0iז |7l+v-ML2lkm0S7e[)J2Zw-O:҉덚 )[TgJ($GVaD\K,T+@D%q A3QI#eQo՞=ln(q8{ f B/wܪ1Y1Fy>bHxp + .h!!><{#Xb(61SbHQ\9%Qy.  꼳B}NH)I ( w 1|Ei|nx[᬴ 3f:G^'Zkg S 1T`5=}LJYz&N$^;A7L# Q n|VRG}/~KjӶ-iDBgNYǻs K;3 Gӻ4W^# 9yIWSeQZFAesuR_p!F&\DuSSRkcc$9n7 dI M.a a<$ճ֢GIgb5`h`1bQDx)a3@ t(C08ql,IQf1:}򔛰o4iw_(lwV=(PW;}=1 dѱHALU3fn}` 2r떛IJR -Z4T5(-M~\=_QMmJT ( 4r.M9Gj'K²8`0ǐmy 6ޮ{yȰ?$( $Cl0Sitv En-w MjP 62T5@<+]*·MY&@( =Z.h9\Ti(~ U=4txlK,Xc!q^=:XB rҠYV q-ul,P%fu>UH_L3|ݦ{v /m.YG}CS^XA$NjBU@(]љP:*=vZoܕ\~2hjvmΑݖsDB-("'Ro(6) 8EpH(A (syyZX!6p/ñOo{Fr5 @IRks՗^k(93o(EmR+Yr@y rio\M(owNELœXh뮶>0`ϿD?+ٴث'xB(kw?+ӟ=D=ݡBǼ*S)JI?h7"|yuw9>9ܼKZ_ZI .lOb*T8˧0?YKS e}d&gZ ʇWXszf)O@Zdy\ړ;}l"P#ڜ0E\cpt6 xh_}ѽ ϩWdjBc+dco;9 `L5.Z]6 Fee<؃#I O!vr%(lZ7 q8E˸30Fw4lͲ-`79 jY Eޢ*xemr<$w,5^8EŔ!_I,I~ ΋;hp5( AHt9Zgsj]\(#oMN Án˥񗹶?JNœ˦Nb'L0s LJ'ƧwXű78VkA S7-ͬ֠<Mƍg=X~G?̂_n K*GaL.ȎCS-_OӈDE[*٩%)U=3FRDtAL-6CFS,Hr/{1ĆY!;*=Zy$}{}TXdNt̩HH!*kN.g@b ѫYL >܀e^%J@D ~ОNX \A15[Q2Dg9*>j?F=k0 m92GTrHh{zѢ@%aBf;}BYX֋."Ƞ& Z\׋3VzS ֒Xߍ2 %d6dOl g.\I/+ByQڊZ?1m/Q) zoLE7RҦGQ4 Z,e| 5'Q#US gXPğp&[s4)}U\!bFh4LP<q$VI:Qz[+)#vóOw g-֘U~IEQ `wZUi2G4n;M@s'%5"=TNp?yABQ3yfA'}ד8yd$F$Vdc4LKzu! $*$Q{x12,qx9̒@ eYdbs&DbIyW;ZO`[µ4AlmBtZUv!3 N[ɵαeDZڗҼ1s(*Co@Tڗr0 +fWDOת ]zrQgKm75[ Q{"vy$ u؄[;=RsOW~W1$o1I N/+/ \(01NA?FKRIrbV̓bR[5XJ"5wwMJL-gr+CH_8&J(p[j2Q&;[-FИq'f5O5)fw'ܟeVm k`IW)&l/ɷ)Dvşf`9,3s[wK t"MAi˳jϞ@sLR.}^ZR- BLS{^;m 5"R)jƤJ/pyG#># 2&2h;`ѕP/ܽ~ 0$Ite4-.Is7VV}=f sH-ɫ(>Cq%t CI|a{50 % ge @0WAϫ'm&ֿʲ~DB*1ڝ'bæ\sw{ q*=A0Q^AJʖ!Ɂ#v2C*X6<.3p27?Y|#Cڡ#X]Y}1?L`_m) 'zYrޔ+83m"d4-xH V H0s6Pԁ? mEV/HbHw6k đI3߫pg\QkEԌ$Ҩ:V)$` %]L}beBV@O{}I4)P<|s Cz)Bڜ7( LUGH5sr+֕#Dj[0H CS!WVkܕ)'/QiW:I_+Ez4՚f+3ߍ ޱ")V֥PnNylN%4?5H-4֘B&កôW7Tb#xtjF]a !,r VSW[^Tk{R΁vb-y99Dd oIo1:H).S_Hl)bbyMh`fi䂖]7y5f:]l=t/ &Gz뷰\eftGɵ^Zwf*W::Uf&bSB k`W-8:Q*9<%,'/bMЅǺg/XLXI*Ip!^aX肐M>> 6Dz(q)Ed%+^K"|zzYv`OzLPJM@BmbU ҄PW(JJŜC;3ʟe7m{xT r8 hRi&iVN@'??oVESpl;a~3!r莀QnTlԴ6aG#4=@9-N8/ν =TI!weZshSꔜ+p:5ym'lg7mPua\lu@HYwۯKgþX5'j2Fc09t?~=t-[\Q¤&Sn]z9[y!񅉮_叝}*Scy8|,7.(L%s0vb.ԮrS@}BAꫡ}$$@I78 bI,~w~آ]2=WQ_u%,e7kG-|_bly0VġڹQ?׸U!/:7[x;zj).Cha ,~G[=ئAHojlC |ͥS(潴Vs$K9TG^-&LJS &΢+oLeR/F >9]!_g]=#Zx%(lH BJE3.bcxb aĻD@Qb~)ٓAu|3w;B ba%hD?]˹B_q`DaN:'.'qE*J0,:B>,owGG򖒣kʸrA_[ocjrE6p(=#L"x࢐z?d"FP: BqS*a)%/QxB FXS) )'icX !!UdTZ_#R(mQV,utQнdm2GߖXl5 )3V:>wQt6Lg ?ueM9~ʮN| btE5fo3OC>$A G$Y ~UM6l=fn}W;A3Q$V˰0U45ʭH{F ViIN aV?7**K, m G?IMB7~2V%08v 25Ǖ3z>3j(%8MF b[E7nxmO(g6xj!WMu"lIuN {%PKg!:1 Ϗ33gsUGkҁW9/B. {˴0zAK*타8PhB(`)v hV;gz-ƭ0r:)Ț=p/ގ(c0+)LOv%- :i"Ѣ<_uu4pFG !!-Sm F\1s.Ң7ӱxu-QKYE o@5Zz(V D˄ ED7kcEc:'aӎ-L?P/o].ԉ*\c2+(.LSc5~Ƕ} BAFޤf}ReѫIiR얓o{9Ի&{CϪ`s7_(р}Q8K*\./nNz j@&Zom'`Sd i ]VAقM} cs,G)6b0-d!!6WA0J&Wn 0ij 17ajdjA^M{},@p|&%''z,~<7\Rgv"2Uld6hJ1c?^<{X%?z@VhCz)Jzqp[aRn D%75QKRF)6&0[j5,`jț HWp9{1IEØύ{E햷G=ΌHf'YCto P"t UX7uрFZ}Z{Rb.4OEא@G!'Hxȼ2@#gzf WUiQܴ/|E٫jjw/ľ/(\ I-q%U(MI$~$mVI18E当c &"ơB4+@kj#FµiBBtAb7?K$$y 8B= ?v R1zcvkRp+NQlt3Xtܑ oi:C ۦ\m-͢E5p>\PYf#g)`Rw3^޻Fb_+zjlX3)K"c`Y|L~֊VZӻ|T27K$޴Z)rM]VnX ?dQ Z{zyYc5,ta-ê׆Sl`:K!|Y:_fқ"w.fHj03-D#Hx׾?,PƒjE٤Nw$82,zhńB7wCj,z[ ԗ'`~WYY LG A"053@ݸb3#W&0Φi7-@yښ:~6C'1~ ,˕*szr봐-OeTW~oi gnʹ?AV+|+.>ǒw-t[ LsbN@pizGnFp%N$登=LFBLӵL019K4*M?Z]we,ʾ sdZ>ř]4W--H:}j/EKHu#(tow%;i<2&56V`,<#,ݛ7 ldbQS\Z7/'[Hqц!F܆; MW 1EgOE/BFOT ,,xiR:Qݸrc_OXFg)*ΎVf@&©.Qsu*tԡYyr[fq*7H)~3Ux,I[sOAj@QQ@n2j1sr>wXEo'3.Qhǒ\XS5ϐ?+Kr.0B,`v:92ؖђY3?z pH8djrG.;|Bl1w:(1*@<Z=G=4=eajp^irV%!θL0vrjCYH]iCt3h<G>4A+eKaEU_ՕRpY1~vǠz<8~/mod(&<=L|VO9t;Tah(=+u;R7hڳ>p}n~)nuvœJ6| YýFM9vVTgz3[оhM$WẁA<&dJG>{Y4tLHĒKP,MrN0zoƳr+6Mw fI&gW8WtW@V!|a1XK:Zar4p@RaIM$+:^52~c҂ȜO| 0t9pxߒe.tCLuR556L ooh8J Tp43|f(In oz}侎w}]j#>+ܮ-ԵDa sCCEp~.4L_ȳ8lzGj%d"CRZ. =JR B̒fvg3Idڗj+"]jA)4wtR0gJ\S܇~l7Ŭy/Ty8B/zxh&CIA(gNyVD `ԧq% aΎXd(Z IQs0tV-̲ncQν @o/rJukFD,"A"ڈ$t¥o>@~d3xt֬ J _104 qS{ͥNV.W?MZ[?9f!=|]P)Kh-ytu甪KbSk4K +I\&- :'^`Zl ehkf ^ǻC)/7j27mFW:ĤIJ / ɥQ;v :X8xhj~KWLE7hڭbj/dQZK]W{n*+ĝcx|C4HKzpbѼ:ywg[؉_$2xdX,MmK*Ug>܊"-~g,SzrWEmM5Q}W|7eK̦v%iָt̛:žo҆1 kK+#R,oz%@xC=lvFsݙkؘ9VaG nm)P49B _r:,gWQ\)O+"=h,* 7VeQ0q>e6sKsL RRhP8:1TҌޔwOBoG[U 6noOf.ƓJxAڂ‡I7MԏtcV:%XuFרF, _Θt+;5;qAYͣku>K(nd_SC9)IjwP0 F`?{>҄ [THTwgN/ڋ|xDG?$D9F{wacAZO" T/}<$](6@0ߥ:-g„#8aN˒>O\NQpv20fjiV O`޵ Yrk]`gkX.g5,.QDw-IFb4UIr<ybik˵js]⛛M yFwv lI*P!(pQu02f5Siᡲ(7 Ax{_iɮ<3$7dr팃S&4 Iq1+ &-e+a*5A@G5**ė,sd%C'ŸMBCĐsiu[f&4n0tr[߲t\o }^h3F"#ݴM@Z3 J jbCT*=cfjp>0DzwZιUY8X|ٌ°`_ЋY;Hehގ:9k1S$jCJdT|7~x>1a+W&|e:qe0Brk&F)KErHbI@2s#^;j &{oat,kl[R3ɴn-~F?P,?BLWᖵ|Lfr: ҉Ze󣱖<{1vkc/O0/5~:4؁&[bwpoQ9~jJԏsZqNb=NV꾣`+Wn6&GRGyLӐsC-lR\#^i_+#<g.J&Ո@tvilOYrӪp"i~K ߌuesXTq0_,E`GW7%mv"g╼Rr~[MOG?c&J-(Zo5Yt?26܈+DzSqh p=0$[l; f܋nNO&gʔNv%FuƓ~6_ E$P'͎kL{qV k<+9{afҘ  1 *8l<KC '/x4)0>YxSxqVVWzn*-yoّF2 m$S?H'30#(&v>MJ9 WxugU_i@*$3Хk-KnI%ђ'™2dh 8@FwTv`}Dr8PDžO؂@zsbK8s᭩>Èu khN ];rvW6py` ۓZ 1.Ɯ(7b|Z#&iw%C~":c:R_lTxK$?ZA)*.0AX"XB Ī9cNXMB'єgzD[vGUaY m S+r)8xv.|#='!^5\q|.5r⨗)2w*z9 O{+|4c"v>5IC6<&C*aNTwE>iGv=&1 U=B/.jal?-Px:y;ߓh4,ˈau޶ z*վ& upYelC3gX; )u5/T(uWxU)n}N=>R"wUa"1acS[|JX%߸OV:>r!X HSU ˇv?!^GsS]<@tZ=O}m\hZ &.F@z5"YX寊BCh7A :1f{@Ebc8֢3G(*:v[z  "1 rp͇Z;byc+z8!n0 nЯE26fg7 ĭd ~ M%;^tT?TKJhXWGf`|$iNVOë)!uP&Qp,@zTXImVwPB=nhj +ͱkM;$b .?lr%hihz.im(޹4x5AÞ o3&gЄjvxِ7 l.#& hKRU~GkkWW՚ג!K>N`Ax yPp}GX'iChܫa)?#g\iY=&csJ"}HyГww{OחB/GlNI]OuGV|Ķ9ܦ3D\Z lFJe6ݴ?ͥH u*yS'$A;(t̿5dލxi}%-Z\l4(fsmU#_͎o*27-%zZirHiݾ.^\]W\HcLh|~YrW-ʆ1<_lEK+Wn(x ^"wמGXS#RJjh?], ܳԣS*UzkQԴV@KHH\i汱{i} {f ~>Weq5flB,[PAUi7u:dzh59g~1,&@8xO\>=|C}5yõX=q_cYql6gMi6jħ*}޵4JJA4yׇUS/D#l[%(nXxt;}%SI,-_FkG*[AQ#ޮe{\8n֜(O`1}?8 fF:F4SnZAY hIrwԻC {1O csHS|f _"QF !;<8ҺU緫hԤ .Abtj3ma44b;qK?aa ,:PvطoXu`  rO|wGbY5ƒiW΍re k3cQ,َG<)x'LJ#>5KS$ϕf[o e\Tuɺ\)jwM?OلPkz*bԯ_tLT8&`}2ƾ=\IE($ Ȥ-JX(0:/TsilOT)_~d_b礒_dO:ԟ84mJz\'2C^xkOMVB+:K|ؘ1s#ga-;' ]Xwnjh-osFP_srl,oOhGROxhܻ lv` Jd[fxLڽ(q-$!|cx[7T-A@L(U zy3Se }r2Ȣ: :=A%LB&bיԠVd6ntU2k}8-j^ɠ[43I^c4L'ԎYG{|04|FHe$}Xj[ROd!)ytOD{Ac^HTy)W9.-E;#rRŽ S1%ls'( p&Cn\ثpdt*ت9pB▬٭FfmӮj}ɝ##SR~q퀵vꪥ>T(̸1>r-W5]FRK-^ y1潼FGĊ]~6q={7Qi|S<(u*`~!Y8(nn.^ݔ".U7\@2R_acֱfoMW֚zh? h|Ļ)GvuŸ&NӠ2؞|>=:URzSTB [I}tK۩jr+NKhlM6:ZZ6<Et\0+N+`%Obf]ZtBJl  L3kEg\"eZԩ gcEѹ(ChL9[Mmi3uUޛKi6*ģD0+4_q@v!APRK3m;ϕKDV~ %S`›U]ߠv Ou`=HȒ0!Q)>[Ty^af#!%ZqEM޽aTN%<x>J Jcد;J7:2n$K@k)qCr55ʑ'$v 4m1DI!fb L u,C b[K;t%IL@d4!~%m)㬢R dHԮ* F=4oZ O<W]EaͺCI4o4a=Qm$&n?b*lLJP7u?`UFzJrl*OXeYہ?OpW/{s$\=ɝ]B+oz4U?L~u_DBwV0mлV,68f$kXc:ZSQ ϗ { 6{7ET#լ_莻fYa}ŬB M6e>p8/Nj[# V82"'j Z/ZtWK!_ҿwoAzƵ_;B M+ \@LT~x~ׁ-3( uka+Ya&E YJ`ؖG%hOIh9Fr{pFm-Ercchdlsۀ 7PB /mbRhKwMyV>j3;FVK@8q C2p&럺R+}h : *Ǥ:QWǵPp^ܭ>0V5\ݭ I<".y2F%+7;gIJ!vq ;oψÚ<Ă8DƋ}~=??LLPG82A'ުxNgQ:)!=#;.#j5> L `ɰ*3|Y:^MF=X&9y}#UxPn3k ap}׷\*Uz#[EVV0 j.VgԲUO 'M&$Bfmt Bֶ5 FDj-lʛ7v'U5=AE02ZL &OE &jYڄ+5+S4ֱWхuD.>j %RvR6V|Nb<{%"`m^vZw'hdQ|Qp XnԬAcf2DzVZ us((ILHKɂGYaTVnۥzZc<7(uȞ,QzD%d%R'hRMc5X-q2z)ixm^p6AK~PU2Fv`mu>bBw¼#1|4ܛY$VqB) 5Di>Y֌"n-/"祢.)me!wtXLE7{cv nIK =Poʀ'v?q+HNVc-UV/ˎr%jl΁fۿ zWBB\J%I)3kI(ybsB +B-r6pɦ;C]e}K x̝J:e8[3r7lF[BfztK,?}E;'?]-TlTuԛ|]؟0haCTjE I]s PS|~ |2QΘONc;؈仧/s* Vgfls}PFͼ5LNd<::V8ª9^X-' -nR# &xy 'PsĕLqѹ7+)O`<))p4# m56bfY]6 5g['ϭu)[hhMLpbȸ'nL+z`d9X!lw`{+fuqv ~(H`2I\XrޢX3 `k*4K}Ą *NI/9 H#c%F׼r$mA[6-hnZ׌K#c+-3!]Ү~fW\̢}ɇ-Su5_cEk"E"a2f+vsqIRkͨD ސ\gֽ2CbUTue˵[S0J]zݧɁ&^Ʋ Β,O"P-10~?4ct)ׁ k|5bܝn7AWGr6d1 Sa1L[lPZ#E:*|_wi8=͉4Ou<]o?"f,5(}'V2ԦI;2i8|tt1f@A %:9mߢ̞@J&SG˿sqir1 L m"WPnD&lجE1D$!ፏ{H Dk2ZrWOc*>ITz;T9KvET3(L5-aF`O苺o킚&{0xBwPx4^`~Cs[j>k*#=GZ#UY0 ĦK 6 Dw7AŀRnxVǾ~=ԹNسbg|o\ב8&ؖvqnrE e5U Wcu"vfE<~`t%d6˹PDc{߹Wdӻ)ؑ~;l;;]ą#MW)f\Kb[I~By5ʛ$E1FXE\c~Rp;8?*GZ)[K%6磂G76ECx6 ·UO-G_/T\%!QӸO**ٹG,#xs&*QH<+ $t}D舸7n0Q/g#ɿy̱ ,uj^&̍G28?[G 9 V:4{n|b,;_FՋ1~X=r\A$fm!t >ޢ,CBz{rSڱQ##E഑!]Wn_0 E6X'UIާD(?zj~0ASe>(C6_%{ԝU`-b6>m֩0vAΞ PʫIW&9>KVNl9B6=/Du̙~Wcٺ#lǔ F}>a"^0n*޷&fAah%֌h=;wٚ@N:/aۡ6~pLG~I2]j}^҉F:wPԺ!0_]C:IJ& =0Yt6[wbHK'xL7zf/0%c(ǃYVS7ҝYȸƜbSx{R%OERVT9h򔔆jdP?6{!Q#k J') ô߷sdDL{x0>p:]O ~0T=2L"z%]K:b8Xg;#rIڟ$4%śRL C 0XI{o+B5ζ[~cgMdrgIp4u(y3Aa`@縺7Ik?Rs_c!@Gބ7Wث@9lY*x' ޿3CehU i7[\In^lӦe<.YB2IO1]:RqP77gϠzlbEă܆xP#\m3C[R N e[.*۹& =V56Qe @PpK3M n]˒¿wAwu!.TKTbD_/{qt($큷ΟGFy[Aۯa~a9;>MǾlVZs9pO <87mK9?/&Pv$o3e"=҆zc_q*$ H',@ŷW_[5i:@O9:Dv=fw+%/![{O``Y)|~]sj ´%F*ݝ݂h%nF16A7ظ;fحXЌ< b#Cp65!X3-O퀋Jkw;2ovI gdTS&G~N;~x2Nj\MЫuҗ\")tlNp?dRwVZ!AIJ)O @r6$%T^W)S;ж_"\LEJ3WmO5p30pu?#bZ7WL`[[0}s}>hoibFHi%s2ٮaeJ$_\23K1o+"3q/1risC^Mql; ăZoGG4jn.3)ybuUՠBM?doG'݉{m"ad°zVc:\ZjIңI@ȾvWvp_JI>eH"D/z@eeNOԱ̖Bɛ2f`W9Z{8wA6cQ,Ԁ^5`8V\.Ex)1A -MWvx?&rіJ =#2pcA=xIm3R$`UkX֘%[z,6RSq'5TԦe\CL2V<뱘 SԮKut);ĕ瓫J MH\G&XͣOy iwԕɅĤQOIdlm0TrrǼGߨx01rn/RJWt`i׺2mk."wڼ ;iQv}&p> 8l?Atg0ew~"~mm'b7#-=$UM: D qLN-"8*a$Yo#ćQ E1A+; B^ _2N c0i6^'=\Hs*vnc$0lӉZ?m4@ݰ}275!RN" 'eu\b2X_9ޞ0EӦNHf63/(zڔ5ѡ-m fuzc=Yb  Q<b6z(.lii&~|6X8$m8 /foNYĴJ L-O'Eyz $=g[=P&`9IC6wOm~vZIm,Uz&VXC:y1Syvc=m#"s)w  cuE:!~ZяVe~L).jQZpT&/O|viι u=a|cL2Z [=VX6@EqIzgR3ci5GZy-tQ/aUܮ2"Vzj @VL`( 4 zN塓ąd>{g5b՛9_;֧Yc* ; oBg$-ѳƮ2~=N6qç*NFdLne/+OvQX q(z1%#EF┿AFG ?8;t˭#.nrOCcblݙvNvkxOlJ :$.#N:2xa/*Dpcƃ4H 냛GVLp LEN|ChrY][xs<IR8{8K=7 oT_p xGۿ/(ti^T0oB(2m/|qЎS lٳ-#e%(&Fd c?{:Ws2 *n~0Ex+O) 9W/1^޻Z/ŭMRfX|&E~# K&Bkj B6E-wtcI\5qVLPh5\^^VRȉ6R a˟(dzse`99w* ݝT)T Y= I6p[4b-n1}hi].YcWWJ tKduC9\yv+ho~@&}B'{/u@ .uyK0.uzjnWIv$') a>R)X1f(_]G~ ?j۶=ʛ,fQ*7phYeC9=G8BKhOqDn&ǎ:$"b,Z&̶An<'U6EIn0sr~zgG=6J ZG90,g,=0ǷEH?US;/= eGEff h b+ꥧ Mpiݦ 4]OC͕oI B Φnw^?gگ*⃕Z\=j8O֮'"w!ȻkOO [rS7D bO)wu8 ң \ V_Ž)dw0@Os'FN7kj_2 ]M-nMᤇY(:+Z1eҕOs2Fb5g=ѺRw^69 $YިӽdF{Uo5.TG AuS"+ΪXikY^ 8@Ӂ:ғ:J<:PIW:y`m_H>QjzXCm<Ǟu<G:ɜSD3d&r<`vvW~jYt=ʏ\$T1R4oYl<ќkI8 N8q:+zop= }@-v*T|hcvH LBC{m#U'%S$[K,`I\j([:c 3c(aBqW8.*2Mߓ o%Ns`4緒[v%-Br҃}}לnDF%i ?fA=Q\WQjb0)[z &Ğ7ahumA>OA= M g|K\$:(f׬CN|`a}%Y^_,:'qp./^,yC7O˭d}9""[JY6f ޒzJ ˅OAQl?2(=@vB6gskF/<4K wG[Wro&db&QC>2}̲HbpCl|qva`W$l>f:ޝ+?aWs(WƸiO3 ˽hRP0̛D+[6 /5=D@%To^4c&+A-Dldk[OJ{lCfӯ֌F'[:'X}`/A3ooaZ#=Q *CB!ZQ5`|mB.;$I2,=;_'=t⌂IeƨaIڠ Tَ+"~c!cqf13\o(K\ΎAQ6ff|<(oV$;uֿbQbS#xܢ>.x(Ӎ?^/(V\¶Uˌ3.,M]g߄XfvFB6XImIMo.9;}t&s,&Yy\չWt=}۲tY[@?M 1PF4c}`7jo /L$K)5Y<>ix8HF gnY$\lY&39s"aaxYYeChE{E(ye ;,JֈdѺ*''[]'t5(4]3)&ͧI'lE~d񴑤|8x +jk8 >cө47A? @9n ]i_ fuٯ1H>/EHXj>=RN\_Ge|fͷ@(%%& I&DYy .R۩-'@MƢW=M6%F?4D%q@w]<>ц5tR sP;~ S?Or.tز meF`G{Y%fJ-XrUZ2me7pW^Ʒ/m ]FcCGBDip&mSN2HVy40QȿYO`RpMFU)<]LaPa0Pj<,ƫ#Ca`h,a@&E4MK3 m9}U?h؛hayVՠz:26 tZ.nLxs~xC_߸qӼGib 9 ~oosfCCIP/KAzd{6\Ԡ<nsњ EzԀWWch;rd UG a2]!-=?Ǧ̨gB4#d0}VchIukׅ XU֪~ٷЕqb8% 7Cws6CDiM1 2+xb֙ @l#f^wr _83y^0f|. FNW y_jz3;ʒ'a= Ӌij6| 篼_jт>Kx^m7Y(?ŕ@ bi'Wɤ'#Wp{Fx+zo?S.GNeeRjc&YUj}1vyj( .F&;QҖQP2?Gk(Y%h۝YQ}?_In{o@)20Na( h^eH%3ʃA4&zHHFi#]C{DmwrBsZyz(E%ls $zxyj1/2ɯDvhQVQ}^dO-F. IՂpٝp[kaz~s\er ?JZ. rPW5 2FX=tY2#> GH8 lJ{0>SeڕMw`zN~Yh ]@[ʼpZ̥'3\\ >9UNf˂aӨ|!|5_ŝLD4d}s0[ 𞴣xI O D9RڍЮYC0[)8V# 61eЈ ַٜ+GYE8XhԪq:~ 5.lS-&&=YAo%FLk`'] ې xLt'5u#nLPzJT6fۀvHk6P&mjb7:KQӐP.߂hj]jH':Ch!|$Ilv (@ B#4Fd4ˌ@A4xltD}qe4M@zO7񹕯]8-GD_a ?o҅+֋G$ZHG]QG_cvWvLS(C]U_QqDF]+R:ZG| ;{R8 CzmW/γUBHNc~A7˟{clcsubmH1u.>RET<_inYdi~x#>|) "Uԅ?Dr/(}jwCXƓkܥQתVtfxSCMzZ-0?gp<ⓢQI ~v{ZBe][R #[ TV$n~P쬷 ƇQLdG{>QaPք+γ,zZ7Ȱf&uxhW xӭP._=4d:\U[ :q# ز8 ZЧ]ցBFT Η8S̿ !F1ښ5m,}$ݬn=hY t#+~\ LOL+B38_`ɵ2:MDmԲժdcELK}"P(lѿ(:"^I l-2ؐF OS7PXRC8m%a3(5zɮ!1ƟRC+c lrfi MwL :ə9Frc,&0`/R:6HG^lӑ\W??UJd L"@ |=^M/aI B^ UDr,(}RAG Kfcd(&_ t<00!. J Smt9Hq=0C]Oh]B$u@*vbfL0-r9.J^tU_|*m$tghX` B3~تf"Ҷ+\ƋyjL1`TY2*Y)7,9R)JXȞz]O|Btsƥ՟3+k[Yex:+2UEȸyOL`Z_- ޺I%~˛xٔʾ =VV)bfoȆQ6xx_w*5_}P+-U J7{YS ixM- kSYР$taqY9=rJ.^$V R'pUN Ҵ ׸.JXk~uоi&gyiDnJT9_-Q짮ђ1K8Z{"taOJ۹UFmA}ic/TIQ-(>st^DY1]k`Sjy"'^TbM`Dԫ/<hzU!$>G!WFM! 57`Xqc7Y'Z+_h9d]F&*S=TE(9Qb*$n-KĎ7 E ԅhʌtTR 1ٳVu~RŊR M*$ |&%w$ h? !? -ίBAeN옉ɻ0E6Y:cXBǧAl^\4HAx8 ]Z*wC:~AHi ?\דg]m#Hz9X%벮=D7-NPkCQ[m.hMY}s[fNk|dҲ6c?jˠ‰˃ 5ɰ ŭƝ»^wBཷ^#`00][ 6 6pOjoVZܝ*G8=jidDpJUP/؄E$;z=xQ8#k+O`;v+Gΰ`k>"[$uVjgiD^p@YhB`%bSdҲj<=wcbqd7 ³Kyg))Kt'eEwjqVħ䭠I``ZAMiO ȱ qvnFNثh~~ֻgʃ6 W\ӒF4_\Q{O8-ˬWǾ:F}|0d< UED=g|?ΌqA7i`-;8]C)>5]*xDkAC׮we!%mDW7RY\~|m^hsJ<~j+H}:`"%3%!V0|18pz.wc7I@k6 ]n~̬1I X]VF- B !_׈ل'YlUd67:\h!fPۣ ",iVJ% >5;r f;&Knᕁx&n-yѸƥI` Z}E~əLn>_kdöh4+W偘A lƺ4&-_hJm 'է rgB-)F.aK lޯ%G_)!C|}uX&ϗض\Mu uF/ʵn )U8n mӴ\Dp|Mp5Ȫ/]3~+ CA&Dzls_hTQ8;~@hU(މf'ruya39}-A?/G-ob,;,U |…]">zy;0{P9L+J/BبQ^2p1xGՊ}_+A55D!N!OjNF*]$vYY\q=x sfVleMa(R~8bo֋ӿ/FSQ- Ϻ5t6"ǿEᚫ6WUYUz Y=Аb(r%+6yoJ4[e$ 0?V8Ihl)pMx>%BpO'F†ߐ#Y8  GdM.— ?8T^8-+]+6sRH7)&-wjfmj[vtt>!vUD?s/jgƸL]ap܋D~Ho2av Id6N]@ǞL5&OZՖ ZY #R{y`MQ|P˜cڻ->blMs ȯo֑jeo:YF溈+ %:n X_ˉa/^XEHWg3,&5aZ,IԤ m9G&/ߨB8̚njn7u 0 ,dqYm~c_j(!+zpBwb1wr V>BrFEi!à].X/,b6֟|d=BhemKBf ᯁ(-UQ_=cF5Єc8>("cOIJzw@52z&MA4>(to2:ї YdĪ8S Jo p_"΋Z̸X4yP}vŔh@ڱhPWƭ [Vxe2s1_ /WpDzQۮMx $,s i4R@X m9}9kA**RDU{?N]GA^o+{y.5晰XCݭ#{ЧgMT)SC]CVo3yʉ['k,ADs흰:zYFg퐴/׺?/Y&ۑPlf2 '@6.4̝V[$J*BX ~;ʎѴga-lJ) =5wwS7sLvr#HQ_T"8:&je31 ?A\q\ 2 w(!&BUta~*Rֹ}~,w#_(k7׿_8XN |/W͕n#a L5 #j ,o $'nq aq̄2"l "-oR-OF o{ I!se֏]; Hؑf Մȃy_.%+4rdlX<͉ݭNJxI-CR 'pkI{a8co. iPD{Em qTLեX'(fm$lIL%/H2zh9%X~4ᑃY0(0Y =Hx;_ YK =bҥ4o4!%'ǧRP"jtu!~h܍i<IB9,rI& (O4Ca8煡Ab4반Ip$v1x٥n=Uh(f HZtn/辴!Dž %;mNeBU/7WwMrpm]|l8z{^}Nw-t^;/QFrOJEm8 z (2WpI7 0>A47e fsȡ٭.,52\<+z[Yҿ$RxKqm>FrXS&Z)s2].Pq* Lg5uCzf6[)T}Hx} %qx/RAXBna3o?Կ4ɲGw#GWX^ ݯ5VNJ)H;pSL&L`[~=RVᄔ^H5-7WER9%&edwWe{޴ď젬Uŀ=D3v} ?h4I9NBKvFMn0oAdtӹKхe() ~hF'9؊zjԋr ^K87d:OdJ6bOKtrR/FMj HS>|y6:fA8tXqgN6i{Dz%7,R\0`-Syq<{zrEi- /`0m7.Z̼`k_זCp:Or=&r'Tl,"xo(1u^ y'I7b hS]|AG ѮSTf(zogیC.8Yˎtv0JsX,(L1=ESa %"k<9  s;&Ϡf,Pd &Ia?odJ]nP#RC^ZpMSKMoq7 W W'[YVOR'}VqHF uBv 5d]dmsO!v)OWcpt:iC23ַШ//գ9}l*=qq\Wt7X?j5h9{->7BOz+:3l٩YCǶTKIʊ ".jY0~p pҚ=_t h Kn$D] @KAew]}Ɋd V$UhL}CQ@ *,Ăi򾤻}>b,p??:jW7%Q"d[=pSw;|YzlN't ;`Gs"ȥ@-\=Q˄c׹_Mkx9><n,Ql8%%(,Lєge( 琱<)lxըչ0ð:ֻP:"Kvo]/Yq=k@ 5^W %@5U:h 2y.KQ~LߗVt8 W e(DF M+r dP9?)Xk}1 CChv*Vl4[\Mږ^ vt5(y^JL^>}` ę/Ãu:jF`jbXh^Bs/*g[]HIV'05QQ"'J,8W$_ pGuPg*vf @Nu}s q݉nc$5g^$N_#⪑}3yjOfжWO2hsV`B X^L]bRaH tDPiŒTOOnd onvWJlT2Խ/So愜;N BD =I8}PT VrW{] 20 I`(c-ש7,+2j*0-u&7|&k0C`8BN]K 91=l"_&(58X:7EL(Z5l\ub.Ȼ>r'Lf Iţ)ة̯ )M&I|?C~_~yWH7. mYƤqy7gW9ǩΚlTėm36AO 'C(^m8,-LadOtUtsXL6؊Y[ $⭖9 k:Dg~ sdG(XeѸZ&4ms\ 縃z!&zn;,c$- c3rbJVaH(؛iy4.3q;{g"X θ:׳O%x2&!ТGP:Ps63]Y,>i128 XNW1iL@qjZ Ka6.Zi}uV9A:>ҿN')[Holi4iF@?Lm`7i贸 sf% K^TMeIwbYܥcbm:Vm^+&JnL)URS ֡Ȧ5rYk R ^m:]$h] ZB4.*@Нk{w _UXױd9-$,U<[^˳)AbF՞.[Pusq V&ְk/~>tJgl9tBA@KܧGI-\^hvOo:%Σ-AZ1Y%=͓]N@J TG n6d"g&E)Du?=**f&-96=H$1wߑ:>n&_};+'Àkh4$KTUQac3TO@7=FgTtׯ6uL˥oaOAR; LNc9t:'p>Qf> TH{ն?= X?V?%]KVeoI P,&-A㬷CSHfQ_Dag4s񙟙HcY&[nQއMK #^d+^}WD`%M/ykɉLE<QdO:؝WYP¬{bx*[/y dun`t  a|ԒyMNJaW%ɼ:oFL|_}M xɷ~ꑕh,5M }S˴pʢ֜zĨ[ҜRY'sҊrTxD[9jOGc_mU[!,Rr~/a^41g1 nLB u`nR1qO ]\G-]C38o)Hݟ1%BΞg mVi=!'b [h\jaÚ<NY(;35@V7>~"\UVi6Ͽj@>JnOF`SxG _$ < s,yz]S;3^XY-F6oc(.'>ԫ?oZ't=lxd? [͂*{v@UH ٿҝ+|ȿq8߄8/G=FjZ5,a9=RG5lD(yw 6zD O[@*8>LD!{ŖfTzJ24ɹt5Ѭ{9!ז7u5OJ¾P|0!-*tGvxtiEIhT:7CE* kEdb7N7Ds1\ ֏2O}w1әkv_.a5m$?սA̕ ;k~ H9vRJ6 ++w36E:;=~'8HmC_qO/"@  qC<<6CͲ"'[ML2tN @PN|Ņ T{R%UWVld1WIұtϬ+6ol\v++])4xdkk0>rX mٹ*$wT3p3[E"5:K)i<GBps=`Q]HOnkH UE3yyZNkڐ" !py$c(j |7IʿH"A6V\[Xͼ)!4eE3QncEѐC;7x:|Xw5lDUcɀQ}Z& 0[U` 7eij -037)9ہbnxlkhtai27Vy1C<ތM& MLkF|/r ͛ o\bkK0?Ln_xVd˃M{娘:4hZejaXN[MW"yߠ}e33K׏"H<U58f.{ANFV;5CH̜76pޒ6|$ # ދN{NDGY9$_T"1<.Ż{nsS|h>@{w\4 QC`EƱ^֢)y3r~bw q.Q3.CD)ťf +߀08n-&˒U5U}QcWSA{g|F XeU,EbwSs^6\B;~6)Ǐݨ<2 et*\eZv%Fx.=x0V`л{**jŎQp56^Ei䅰^GgzJTKJ9EՀsSG,jMeփ]hhA M7C(ߪӲ([5A0- \PqԠ|]x"uꟐ)ŶGqdf/܌ NHWi80@*Ul'B{#QQ(cK"1 2eHdrb:gҟTK9֏ lOJě{ӏK[ Uˈ)fAP,`F#\[P\q[rDuf/EMC;=ߌ@2L2Nl< $ձ+U> W,0=@&AU'unAcޱsąt !s({$t!6fz-7C}ogME5=*X>?T*ްuFS BygȖ"~vڽJTeH3#2]["Z)j]m \EZ BUAݟ?~qw%ZѰнo/{|yi`ލjh`bviDiڌ}PRX[b:}{u%7m_E'doQ0˯r>#dQ( ͠6mzzOX+~' 'Nã9 m;f[*OVU`ŨBbW;kx2FD +5jkE2@9fT9OXVˎ]Ÿʎdw_).εCr7ݽ$X?`iA|y+ݪ">|uf, # &G =25&@e@cl0B6_WV5HxWVFDf)`]ӂFu_ 7&sy'?̏WZjN+ώ8KI,_Obqͷn"4!ia6U? $*x`<|:]#z Ϧ\$MϚrasOEv1B+U/w;gw6[ wfgV 8*U,6JHϾL _U!=.KM(oٶfa9LF,Nt [h*=ݺ&s tTz]|k ֿqtOVfU{,(L#Nm^ ϒ>xvS}QVxԏ*_:b&*Ƥs@sҎMr\JR1kt/ogФރH vblPk8uYt{3R0&y~ӻWu-m^6E,G!d1>搝V\E\~5 'T 2* ~ur9*+7a); Yd^TO D/TTJ(ݔ?`مzejKRbšjD2` *$m TLEAR:y)⅊ω3g*_CMK@_J &܇;.g`ԗtgi Ӑ6c+,#*.'(N? W܌z|a5hdu =$K:Yһ]2뚈ZYj]}ݦ/542KksEn=4&t=c0\r-%_$gr!kEZ3uc<.=}uJR7qEoYgK[*Tvtqü_.Tl6` Xxj{";/4w`#8ܴKJMpb1QJ8}n3=x8c}.Mob<6E0Mrhza;5yօg쪃]_mEΧMK歩6چ45|J^_vXZ ;~t:u[XW3,cLp۽w#a'tYD-`%YQBg.j6*+z]r-ŶtV4鍧qx3ؘb2H&BɢVp |`mehG/߅l~ qZ@׊^\(Tah<sNy!>v֏SXתuF%l(j'ZJʱ"Wu\AL9ށPc:lPNr]Ez|xiOr /1- s(2pġD^2S'SåMRL, ?`}em,Em),KoK ~)&Qyrpb+'2aD% b:K))bFjnGy ]족op:ވoa7XfAJڷ@tf %ވō_McPHx+źgt_|[囓!ـ٬4AsjfPKA `_m4 GK ^,K+ Ncqzc( zZ8a6JK l%uHbu$=||v34JX/ c| EI]݃h|ztD^x}~KHSxy;U#b=V/!uW16RWhTB1gfXLِTEQ余ּ!+%o@:iwl J75; :uݠeLPUYX@*`:S9Mw/f]@{]-7rjxMg-Յ?~YZl.jډ4ԲaJ5ͬ.66Qp^D2nGT*@#ξJؾШ QzAb3EA x6ZWQa/a =J0A3׵?FA Zh!lӖTȌiٸpR‘Y|-\q'1pK*[L` eOeH\啐˦Łc 3{ Bv no*4ո76-% ̋3 JGv(aKGA4XࢤuӦww < CԖV 9Yz)lhus;v>,[/X`/d!&p㉔ċh>#Js \i9!^^=39Gj>sZq4O2}q-O^#odp#OH@#ޛMT 1p =w*!/@3`n$RcYԆד شȿo%+ W ^GLX]qz֮ԉi׼?CoH,n;&#X G>X`5P4>D> "M31kO(^*Ou;5^/6l($vܟb x۾(Cin]J6c\Zbl32Wpַnǧ^Dة5t]ЀyPrlrP)IP!w`"{ :T=)AVG3nMFKRB kD\OځQحaΤ6_> XhC\WR$`wt5QL&;8f28(dMB:mJM ݁[W80XF "zT.?!cL0c~œ:"8맽lybj O]a9Sgzxu^e 6 0+8M]KT%C`!Nj dB" bPv@keʓ 9kR'8EM{#2 @앺ul@̧\;;DA >G,s W.3 G(,3 N$ž7ViwKuGØɇ~KLLtIJf_ξp sɛ\HCW3rwk]}'6#  SkE16j㕭ysJO jiԁɇQ̮1弚rLSUKҜc+ _$:"x뎹BIK{T RI )_mxIi 9ާ`1~Tt0230:ZI)y*De1˸@jݙw'03@;qE<>)$uNk7 MKSs@hy+a,=0hd#M *Xӓzjb:r1с\1QSԮ-WFR;!nK#RhHs Nd "vC-p,65>sThNK~BG{ UlIrNWkTʚHś5^WE S7X]k>9 +꼺>]ڌ"].d8&uZɸb&-fpMc83L 5M,ѫaor)WhgdYr?HdχL+b_Je7,sjq}¨rc])VśЂֈo.V 0uΐȼk݉N`R (1svs'@2y<"_Ag Zߚ1B삚I<1=@ز8+4ݗM!8DqX I^NI )ҩf3Y/#Hܱ )m~ZZH#TsxItUW,5Ԋ a\84`SmOy=62JR&t.܁ zXӯBҜhwB(t e5Rn&>=Q}_61)SŔ3f'5*M.IR w ?۔L2)e4%"c_KbAnƖFKDb89wX;=;俔+`_޾5bXq}``oi_9p;U`6h-g\ #Y2iNLBXߒGSG7KQQZx*lvc4lnoIN񭕮tIjb\]!C@p\Ȓd8tT$KwGe9M/StR!$0o˧VSѕAW*,XyԈ~pb #OS .\ϕzZنό Z$ʼnpc&wI0  ht)v3: /<ٌ^^ϠNK~ n/'a8 zKh#Pʁr:T]_DG6US<5'~T>sk6cOB)ct5מ*n?)_C*HxMYrpGt&s GfsQl*V^`tښQQa~U| Y%M2# HNb?kqv*3_L2EzNok# [Fi<]u{_j>aFY@ޤ}f36Mz!9[:O>JS`#nACOa"y| jlb.X %-"V:B`ǢOm)M\emq P_J@Ud$\n!Bt bG6u3Gm|h3:J5Tjaς걩 Y ,AꅖN1Ƥ!"I` ZG>e[fI\V!}_y|~afAr;RܣB&m=gc@PPƙ$~~pHR\inQ +Uԝ,bʔjEG|])']TemE :C;]+9`WsN 87oHqܥ3{UmPDw0JfD$5gG8>"/זm;0YZ d d|u%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(t%-PureML_BootstrapPIDE/document_id44s # 7e]UX6i 6XC{]Ԫƾ J ZrcP(#Ѓw?ב%"!l\nƈ;TJdm|y;>O4/y1%3np=9"mEwJ"&^NH7*8/68$<$v8z)(=@-N"k fJNEi:mʾz?^|Htk]DC0XQ"l2<MU eNPa qZ[lzpfZ|\K@ ܱ4e-nx7_ZXoL4ˑJA/HL[— kl ט 0LlR!ټQ`lx/.7АN$8+JqWBŌCeɟ2מGwэ$4eqN\kπš&@uБ.[58d6p*f[ gj'W9GZjg)ߏyznO9K4wo=8%FsޓL' ޟQ*3b:bHR>Te`J"wg[0aC sN+ԩ[fn8ٸlDJ5p@Bk`E]D4+ȋW /N'2!P-.|^KjuPYYo9ft|BUsAS>n_,3_WUk2gBзK) ؙql] |_ RJ "poRȗc~HG!HX97 *Jqom \aY0}2,_N޲0S/6F7910VaO/_} rgv]b֛~Q^DDaSڊ~Gi9|L8^ml~RҖOT+Qʰ(T 0mxz߃_XOHd(!‰mugK/eA&jWk-b66ʿ΁-kҳ *Sxy? jԊ&ԺLJhٷQ6ZnNPpOv aȄ%1q+'e(W=e¼&jAtr3jO2iȘh[dZxo l}Qj j5벻|Nc 7}op>ZONm)c?TsY*ߓ(AZP9.:a4X|FY:SmUIs/ۮir/lwФS㤄Uj^?CR@V.t\BZ46+ehFJW (ՌDvMXlC.,K`M"Z" y@+QZƿzw#h;3yk[:B{I-4H\F qnsȹio7bԎjK2lXI )fEecsVգ"Ha :2]2IM25x) ޟAIBJ9"rGk1̮k р)D,TDd`Y>Le++Ѱ:<Mq <{0)ww{;`38%rHd |cB8̃h}ڽ@Hɳ_e5ViX6^QXh 0~+bsxGஎ|[uo"NS6KwI>Ј;^+.] PU"Fϑ}|V N}ʼn紤 K f|߸Ýk.'T,\!TpԵ"*˚3­l>\ҕ&Z) UEiP=xQc@幙2OQ}#*#u|L\Jı2*o {G!jcJt J_5]r;`᭰hoiUT{rk'eI|iˋYG>|vNˠ^ָ|´j*8cR;z^*#OIŐg]{˵ᐾ* iSB rhe@hzEOQ{ptB?b7ϒ--rKg?8UIBT:bk}@:WP\ݗlfdgYZ2 OA5(5BS]>W]-P6n|;Fǖ1 e_V{M5IIr%_:j1蒮A5-SPg։(29sto6ozJka4N }h(0p[2}(Y}+b+utdl#IOmͿ]"e䋛p 1 jsߌ1 b|VrlfտaP|| +3Mvc s`ϼ zPk#ٙB6C/G@ڿ'oՎ%~1L Fk}zޱt1eR\YIp ;|Qw'LLbL"ONIؿϢ /Xt~/gL\?aE`Vh9EyEU:G(BzR.MnXS9<-. S!+fcؕHQb9-rS]Ab9D.WZÔ!78< rk\ ?gd#2^Ǟ[_B-MmHA-UY(? 6Ot"Zф|an6nzDK9/ý] u y9L֞i&ku(QV'9XJdy 6.xQ)Ü~ .I$O[v1oE*:7/bW*LIz */A {#~@ `؏Tvv:t虞 .Q9Z;-%G pRkqѽ_[ Hj(C%"&4L6::.m쌡k,OI :kLmk$͠=xɨ{E|]`kF7˞b %6q;vX b"}sn ;WGd0ƢO%Q.Hl#$NSXO^l%T5,iQ2]/'@>FmbxAuhkbxhU. ;z~&+l+ŀ m=Y.wF̴I> 7Au9Ve fg+t̎)[H*7;H E$Fd x'Af;JA4㼞֩$14ګԲŘ/H56 }פJe\a*0\}/"}DfDOՆ'eP4fhDLlU8 u 6!uW'|A-Ziڐq ]VpyI,o1ԙ%1_btn&NἬ$#6XIꈞ(yEV M>P0U,^|8}]q1ڝں]P?]vE\=1HDvgI7j9+.UJ@u93 0 42/ڑԪH} jԟxsEh U5-TܧDJm ͵lBR. w5luF!~{-h= {@ _ \^eY+"5CU*#ma}TA Kx#) btYeh 4+4C/D!*FON&'17O_(h,乌g kx>hw˻vf>rnhЄYkVrTCafjF!omQh*I3\f!YG>h'sk0xxڹpߪ^k0悗 6zRCԹ&! j6'xӄJX;4LMo"D2Jh@!q]?^Y:_׫HbGbh0qxM}Ɲ7Jbx&[x.:('CA/FHM:k5<.1SZ."_㐧?]cni:Yn*)zQ~,B>?cЪfeډڀأ*iUSRF[0{R{CD3!0g5ukYDZh=fRK4o&\kۑ]}:XQipZY1c7n7O}O^2s{1 Ec&JF8ДP|+\Ҝ@_{UDh"KU Dг,7#CKl ePa?ħ B#U77Ƞfde}8툉>[צf l*Q!^yUbS2]G"%`'R%Mny=Ffׂ귋$81hA_}}mS\nѳ 纄k&Efy%*SJmijlIʑ :vU_ :׀5OpS؄.:ߨGZbMBU]#s//[ֲi͉ όW""<Ȯ韻:J^ F]BJ-^=Ѱ$3N}SRj)↸5Ф@ 6 3Mz4n JS!/j?8)Kӂ zŘF_#[>TNj$'T1HЕ/Ofh&nއHy- wfy˾DOq po<`qaSCz.} cO@&ѹ0ƶ݄:T<6VƓ}v`j4f[,CH \i>I6a%o}f!/vYH` 9+!ܪ1շsĸWۗZYU ]{45 Q, %Nw#,Z!y]Jc,qk2)Qxo.-(K_0s 诤:kUr8S~d1%N?l>'=fyGo.[AX` V,GMO/bb<|/ =lwMSxr2Gp,5W' a&biɧݻ޲}O:0騍Ai$'}/quf?7\mΕ>΁TW|GQ#`iI, >?+~{a.I\d$."3,-EzbUYD#&~%mQ͉AD{^)@ι"+h𝘕s$3Tr)vws=/C2mt]F浺5Ȓl}n4:V[(ԓg9`bTcx UBU5RNA:{U(]xJ48bBe)HgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zId㥚xos:!~x>㉺Q z*Oŗh@H%€u S쩰V jGzljlk5S7aEmwC.y_R,wN<tZi1b˨LNgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ+R+Q\Q~gnn`&XW*hSJ.aKX=m8 ߽88\} {.C7h`[b!H>3_-dE>ޓ*od9nC,=.—HM! T$*TUVhtS ,L[I8\Illx/]>cz hh ǿi})@~0:k¥&jړDıd(Jg{'CQNߤaXZve$+X)/ 8Sڃ}I_yT9E1]/MY|7KeVl~lqyPR7ġŅx%=!HNzW ^ɜ:h=dsLۦ֯}"bWntD [SJZ8<^{ q`bj)/+,VL5=濆]]av}ɇԺ[{5Hiykck>#J0wJΞ֎o*v~])Dh &Mhm( Q\x.`t >yxe0}TR%OΗSf BSpϑBtƧi?]LA6\ϲ?Ͷ%w@/K5yA"f|gYZ