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  h hpl\\ ] ]Pure:threads=1elapsed=1.345cpu=1.413gc=0.0007zXZִF! n]ŗXiɟHVҭٽD8뿰tAƧCE)yiTIU1(py^t]q8;pΊmZ@ 0{7UB9Cv[GA~49칦8Z,~_40쁧P` pJ5HDu,aezOgJo0A/575<)d Ճb6)n z^I-qU0;x/San!x yUFo-.R!äƘKsKM б`yQy¼ŢĐqOo2h@[hZ&rJa(+-DJp\AM}5~i8-8HknYwknbے/ :C)C a9.68>d'*dgYZ9765e4eae87fd48e9354b525e360c7574dd759f800257e3a0e8c31ed9cd42bba4b978a107ebfb35c  Pure )9R! |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?'w&spoji a P B 3 % y/dI *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[yW4$''PurePure.SessionsPIDE/messagesy"'#PurePure.SessionsPIDE/markupx!'!PurePure.SessionsPIDE/filesw''-PurePure.SessionsPIDE/document_idv#%'PureML_BootstrapPIDE/messagesu!%#PureML_BootstrapPIDE/markupt %!PureML_BootstrapPIDE/filess&%-PureML_BootstrapPIDE/document_idr#PurePurePIDE/markupq%PurePurePIDE/markup2p%PurePurePIDE/markup1o!PurePurePIDE/filesn-PurePurePIDE/document_idm%')PurePure.Sessionsdocument/latexl$%)PureML_Bootstrapdocument/latexk)PurePuredocument/latexj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43848f%PurePureproofs/43844e%PurePureproofs/43840d%PurePureproofs/43836c%PurePureproofs/43832b%PurePureproofs/43828a%PurePureproofs/43824`%PurePureproofs/43820_%PurePureproofs/43816^%PurePureproofs/43812]%PurePureproofs/43808\%PurePureproofs/43804[%PurePureproofs/43800Z%PurePureproofs/43796Y%PurePureproofs/43792X%PurePureproofs/43788W%PurePureproofs/43784V%PurePureproofs/43780U%PurePureproofs/43776T%PurePureproofs/43772S%PurePureproofs/43768R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43584N%PurePureproofs/43550M%PurePureproofs/43546L%PurePureproofs/43544K%PurePureproofs/43540J%PurePureproofs/43536I%PurePureproofs/43528H%PurePureproofs/43510G%PurePureproofs/43506F%PurePureproofs/43444E%PurePureproofs/43440D%PurePureproofs/43438C%PurePureproofs/43434B%PurePureproofs/43430A%PurePureproofs/43422@%PurePureproofs/43418?%PurePureproofs/43412>%PurePureproofs/43400=%PurePureproofs/43396<%PurePureproofs/43390;%PurePureproofs/43386:%PurePureproofs/433809%PurePureproofs/433248%PurePureproofs/433207%PurePureproofs/433186%PurePureproofs/433145%PurePureproofs/433104%PurePureproofs/433063%PurePureproofs/432902%PurePureproofs/432861%PurePureproofs/432780%PurePureproofs/43194/%PurePureproofs/43190.%PurePureproofs/43188-%PurePureproofs/43138,%PurePureproofs/43134+%PurePureproofs/43132*%PurePureproofs/43078)%PurePureproofs/43074(%PurePureproofs/43040'%PurePureproofs/43036&%PurePureproofs/43034%%PurePureproofs/43032$%PurePureproofs/42984#%PurePureproofs/42980"%PurePureproofs/42946!%PurePureproofs/42942 %PurePureproofs/42940%PurePureproofs/42938%PurePureproofs/42936!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/430347zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]ٓOwaa=ձ&r5{쿹gYZH$% dPurePureproofs/430327zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/429847zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝Vaf9te+XNѱgYZh"% $PurePureproofs/429807zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wzYőYХ,IM X X)"ؾ&e@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 N"   mN3% PurePureproofs/433067zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/432907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ w2`f«#:rPe so\Q 3agYZ1% PurePureproofs/432867zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/432787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A͇RA9zLX{xsf}`{mֈ SgYZ8-% DPurePureproofs/431887zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i R+=gt_vHyc VgYZH*% dPurePureproofs/431327zXZִ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_|!Hܲ0Jv9>JHt]gYZx&% DPurePureproofs/430367zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&؍`zr "1Q]9 ~MfCgYZ  #  jc1* B% PurePureproofs/434347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰe*Ct#MY,).PC 0gYZA% \PurePureproofs/434307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP~z}ӕd`  q agYZ(@% $PurePureproofs/434227zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%F3ǎHtahwY \gYZ?% dPurePureproofs/434187zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט2isR&dǰ_b'OۜDt j;8gYZ$>% PurePureproofs/434127zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/434007zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|J ` ̈́Q+ 3O(7lN85uDt2(Sd/&^+ KO/g8gYZL5% lPurePureproofs/433147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lMa)CŲ3+AT.B\)>+Zi'LTj6L`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|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6y@5Z#ܫÀnA@$ gYZLK% lPurePureproofs/435447zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&> ʂzb]7Pʙ~L>"PH5\f?{.l8@ÚgYZJ% |PurePureproofs/435407zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛo.G vsTi9[R&1 g0 gYZ\I% PurePureproofs/435367zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z}x/sM nċj04aq ?igYZlF% ,PurePureproofs/435067zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/434447zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoX~U6 bEqjĶgYZlD% ,PurePureproofs/434407zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^[ l[(+{<_ BgYZDC% \PurePureproofs/434387zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zM){X7 !1Ԗ`OB*#gI+ᆙ(ӞNVS | gYZ  8 E8aata% ƶ1bXⶕs_|c-T9i=]~qqA" 3NgYZH_% dPurePureproofs/438207zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝Va}ehf̓p>U|2lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/438087zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/438047zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/438007zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/437967zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/437927zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/437887zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/437847zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/437807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/437767zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/437727zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/437687zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \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   ( IWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZog# 4PurePuretheory/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##T4 yYB7IҮu C`hU}-DVpӧr#0Ϲ½Uf1 ]qwC͌%VKe-{?[`0h=;!Ƌ2hgمHU Q;J{ 2ɚM6^HUGr^fDg2K\" '3a%|v㊢9rŻͽpzk<3 nl%VՓ{vrCAAҥ1Ҏ%nmuV1P|+06(Q>Po$!/uƨwCiﬢT!dUY6}:$YHɭ;SmZ#OI3/i!x(;* ()"k͆!"ؐTr@ * #hO4n/>'!D #jCI;{x@?L4 Z~8WW0ڦ{daO{=l(F~)5y*J[C.4Mi* ܽqTyS&;otN2h͓y n\Xi?J^Kp"xͨJߋ4%t߆6dj 17, llѵ7{_iP$(O-O8=ҏ+eP<\,IXmkcV̫r- [ =ˑ۷ח| ueTXڭha*PN3hqkq !Je,(q[ 3+'aJ >:U }IaVBY̐KYtD;̠gg4gI0(N2>PÝZ[$j 5έz/]"z~dWqB+E_%5qM+>Q_\ֺ dZo}aV9a`W%RBDBA[ѻU#ʜmٯB2c~"Oo%NH3 0fCl/#6gs+ O#|kKlR;.^] .'ܓr&iDJfY݈6<9詰4V4) zWn6R!f+u0-'a/5VRggYZ\f% PurePureproofs/438487zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoX`ViR׀ i$>jĶgYZ|d% LPurePureproofs/438407zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g'8z]P?6Cf\4,gYZtc% 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:% ef9HSeHؓB6m ~ M8*Xn> 8l nΦ?x@/q%n7- Jt69+D#ԧvpQ 0@ZU'<@}s,RbrcҊc͏>HZ`PÒ. L?Ky滲 r*I7k^݋i;|_`{lRm Tb{~N 2><23ϛ %1vrK3Ö-E4䀹+2'!g?p3.$gO|Jr%EDJa'-;$oSOV0р<6{%&]iIA /< ><'na#R lKi/rDAhٌʵSv!M|dԐ;aO1/2#q+Ec@gg2&Z>ǼV ͝>*:`0MLR# ޴ԁ@u.6ez@MFe<ɋ{\;A18\|6|"e '$Z0SǼH?C2ANX} n|zF5΄#]4"JKg䁓8ÎUG۹$b2)Dn?޿^q7qF ]P_5ړ/Qy0׆x`ΰ똒mUsҷ.N)d;}[#@^.7#D~$]wZp=!lN>£jֲ)5 }AȄ;U,[NYT8ob6O?(M',u{ 4K8ǵ*nFy~-pИ#kY^ * pQ2MYy1l(0(v)uZBshqq2.D4"XS![FjW™/KncyEv&A^]}a*<v_O/J^^]80|CXa4-TI&P1GYK@ݙ_=XߧZEĄWYp$]o|'G7 L],&U9d1na uՍ\a*ImB@Ϋԛ3PQWƚl5Q ؓCdKI OUXw0!CFI  CcJDΈ(]+ ?|Ыl/g2b)OJQE'#3'nvSv7ZTqG!9 Dj{ F9~ k ;AV[2.TC<]#uE+,]> =,8J#Ü9-DZT-Pm9V4jOϥQj?skr͈Zw/zD|S6׉rbY:tf) ^OL)*iYZv'sf¯DOA.@Xs%{ę$bHbu/kp=ݺ;~S!j rդ!{mit|x{\G:. h8OG//)& '.g?U˛&;K~K(|~SsZQW%{TS(>/lR&gk -`BdsL 9yŭ,ux+XZ#3hXNck@hv!ܔ8cG9Z s9CS0ߦ`;3_Pɹ ۃ/  Ng,{ha^WoIOd.j H:ЯX )5LRC]O~hkemmmSM9e]t$ h]iۙ2513}|pTWZI!at{55הؾ ,2#o>&D6,Pã>z8h|"ڦEN &ц$Җ !MXz\pOd16Ty9%w(oJ"cڮ6?)l&.iKs'"gTԻfCbYԟ7]RaU-vf9p)Wo@zYO ϫj9ypujՃMt0[xh$|""3XU;7VYEp[{ufcQw2_샛mjCMY:ē # t< ̶'>!8f~zYKz5yh"jd}!rN7s@΋!dLs y]`C:mҠJC՘B Ya=h a97 [8`PK#ԡJyG>&$ռ[MrR zW+sNAw@YP +jb]xJUXo|t4{ɯ)h)Go;9Z{DL0sPJ9l U6hQ40(7jYR =Uh0pH4ak {s8]Ϻsc C$ׂOU^@Ӌiw8-xnX /.l 쪌SK '%ܨi. n:u[2$浲7oIȵT55b0$Rápp 0N=^яA=B4F3vD{(uz㩷SolJewcDT'b/QS3u2/t8R [wevf pYa`Y04[*o?RXͻyKyR*WDOREP1Oٜ|χ8=i8L jh8?L\ˑDEރPY,\PXv&)i}ɒdPЖ ;G/F"7'_aJ(Z"1~3)HȔpl\3 r*j2T#ͨQ_F1lݠRv˼jcvQ⥞$n 5o;/4UJ񈰪(juie?i[Qp[/2iR)l)gDzx/1;Y7#zik Vk"󃅴]gZ7"1՚(ICiƴB 2`FX.)/ey|6jQ׿J_ ir&<)|QWBYήMĉ1Dдdaw{Mmki %lOBd& 4ƚ yZ.uשc&&!J!g t/f/3I /t҄.͊8=o m\hxR'>@GDz3[gmצ?'X1uAs-sMȶe]EߧtqiP #+F^}KG&Ub`(SӮU裘!3н ߢ 1?$$|p~L.(hdIyࠂ4s&H÷#VRLujA|Z8) |;ViPc.ZNZs3DZ kJs<e+d5\Zzh>mf Ez wSmf iBqt~Qxb5N6 Pn|RsdQ48kBAꪘ*Gc3|R˰vѡ>?{N2S6d?% %GŜI$;ۆv-VI^p>E'R D- ; w,);ٮֻK t&§2 JR (}p%'nz Z!tQ|AyD"}ch#: uJ>2I2%uMګYH 13?"aK5MgE 9[#ϯ\/@Nz{/G;}g8theΦr]:#kxp]D>X׼h'7674ϯsLV tUP2 3\* ~[IuXxMԕEJ+knU-bsp~\}gf&dNvt-P' JP|vtM:V/gX1 E/C2P wgЪUl{ ߘy6H6K5 gmZPgQ*0 ꉑ"r</#Ob{" 3Vr=y|wO5LW X TnxKovYylC/͙Gzc^[$ncdܗiP-Q}kIm" IgͲv y O$3OTe)=0,TMQ' -O8A"qC4C!ጏdoCR: h3q$ٝ=kit;WtSkϖEs5gUJ]Uﭱ~Γ*M8[4pm:q7mwrvRu\ꡣͥ /w& 3^9+7c=B74e89?oݰ`+Xlhhe_b J=#Bf0] sn#"\˿ECHcN4S}5;/\pIsh0%:R-2$^xR)+9ehJ:E u{~K < ;P.lnhF45>s& $8qO9 (YS+<(GaS8WO8'*:I||bPR懒WmcUhX#V6$A'Ф|T6r/Xr\*e8jGUBV, "TQOgEmK*wh!"WȄh^Yf(`SW+ݶ+(2`4`^3APŞ61INT B> ~:j0IIJ'UN!_ZgԿ{l=jJo ƆԺ0v@qo,k%paUiNhwia m~{1yjk_'wn!Jl_仂7+0PnF HRRzn= ?*C´CU:H?'fBuY|D x&H8Q&͝|2>2$ceK7 jZ55| ['3h%Zm?'N+"㰼+ O-vx=T϶g$tpuˉn]H󚡢ܞY.u#?qDqi5ibX_2x^ Xe$|Kgace&S^K>,A$3bI`D~uQ _cb_:@|%8ArGI@D1|H7cqwLlPb;Ω475Q(DS8A%wiA NU´3+ etN=烶7`5Z-EVY(LoG7n^.<8Kd `EՍBX#_z~D-͢5pdNl!V NΜ%dN2>Ge'GO_c`iOv><QR`*aD½gïS̳QG9QmH 0=ꌈ Wt(9yE~h`]wdc^ݏB=ʞ Hn%lӳ1sZfKRnjú&Tn1N;I=17L^dZ¬ %WQd nh2Ӧȃ}6ȪQ ,EE$82\|@yQ)K`Pr )7&2lZ^VaCi"ČQw.AxJq>}?\ff{-?pV ̉ˮv*k^R&IDzS,Y4 -. $zHҽ*nW?צ ~/A2.Kٸ%~ʳ\_J%!& TπDXc!GʃLfYN" GY("ycl]69e(keavIR-l=ih8 b׃`-Og3E vd־wI ohs7K **#r/ŷ ec(τS*F~$t4{ɍGK\ .u '$;Z~:|GMp/J¯_8<#dktg"VHi<3@Pj&mi:Ó D*-s-nxQr)3˫eGH>iBdN~y.#f_p$BJnCV:F6MEZi 0˧ۿ@8l|mY;†3o5SZSxAeӺ@fʽrDǰF ZGו&Vk~UAuB/>!ز7Ge-o"T0}\eaT1R%zqy3L)-{EgZ쒈*(b/SkS2<@WOy 0a03ݿP %1` <m{7pcӄD` [90{L1 CXW;6),ۉ!>yn/x3O&yݩ8co! J6@/J7[Q}`)?I-(KL!H%khtM㙀&4W*tĨ`0I3&}c}[Љ٣|^&RuJ!62:iO<.t }ZtFl|yg~[+9*|(Yg }용g^ulY~ H}5p"H9ѝR1[I$kថ%J Mv*6uQ)Z--s.6qO!&-c+yNt8L)mEQ^Hn$l^[i>I؋ƚ@bF3but9 M(X)n!8#T@w _Uern-&f.sHQ: <0wfJ ∡p_[P)!`E]ކٳGeZDnTBveB0;<*]NZgET0 cg <{?oO%(ү]p+~Γm`]{\[_I¹~m dJԠ\)dR cCN/Z"6r)?.~MhK[`!?/>˩kcSr??Q/b}p08_3[ɾa\>ΤJt.j EjEz6#g 29:D[>%#r$b(>I ~[EK| H|^kTa1n1742uLv'^Ds'ض}1_:]:Hڬd ؂&(}ٻX\{Or0J0 =丌ϵ[A| GQy& U>h٣FN fj9˦j6d=6| s]b*Ӌ\?CjͧwU CdKhAnd7fBEԲ= ]s$:jx0h4fn? RL*zտCOxap._Ѳ\S@ _sGCiPk=6B+7A RS|Io*bZ"Ĕr]tv3yEE+i>}$t%7 +˴Bss8*8&2Ao^D~ ~9rlڥfa3&9pi(zvB[[`FɆ^bˋ#LNoQli h1PS$мoᇔ*Gʷ_m>JNE?i쨯G]%sUj&R.KtM|/PkfQX6AaQ~ѬMU#u<95}]C8y6Zrr)pl6ݪUHv8yOwɈU?ʗœvWN[pex?{iZ4JN/DZ,'~2%!y Zy0A,f;HHp dr wעYf8>RB!3J8<?*lG?QnM5hTW$266Q`U:IuO5xB 9֏iw褐у2JpQ5vV<_ANkj&"ѻhGGA4NhwG>sH'a']*OQ*T\icy n(0a6'4?.e\ڇ^/;dY_H;+ ohzvK^OۘK5䧐0ɱ+*TIԟJT` #n)W-z?7iK~b(/Wj >m8SؖI3hyE,YQFaw'VgqJ \'Yc K<=t|F @,EN3Ti F(e*#񗆳4bϷBBb ?xq4<ݩ<׶%vFBRrZnyL.\̛T fH F̒Q wdx 7iK/ߝO-Qwn8$ͱuM>NC1 T *=I>vuy;0 ~ `-:U|Јv}`o)i A_# y5#ӒCGׂ F*Smܧ3,v59mG0nN/u @3d=IRGB6C@"7]CR³rojKH6TjVMԄVySKZ)lZh쓐@/-(jVиnZm[[/路GRBuf,xLiHhAooWYr}0}f-0ZaeeEkJ7hTnv"/~Q[ShNrzEMe)9$<|vI4pwRYl 6_307@eY#Z[[m0[ڤs{+OBHP9}P4' ݩq K:Ď\]m\I4^ܓXIKO uS@c)W0P ?{$#1q%Jx84U:(BC#2 ӗolSHl!$}?Ɛ^`I?1I*m8.6uRݩvjze+Ƭ; ]!:qiOXe;S]dNnàÄ\чiNZ,[r.F/Y8ˏn(EیLGy+ m,@`MU틹xsbl"KHuIJ8j&QS,k'UW@] w>jng7AYj+FNjL1-%B%~~ѮxmΙLB!}dEP𕆉 *>N?0PamV i+ݫϲFZGȨMd>V!F za|hud4E#/0QPXv=D4oC(3vVˋ|Wz+ue+ URX#ǖdL$ws mYAw@y; c8UB@-n~WK輨ƿgKJ9º02[mnaRFNy7caVN+O!"qfoPrI3ےR<-wkSXyB&x^֨]-]3kw]ً+ո!7f6}ԯ^ 8"JR"+g&@RcެmS>XGN4RsnˊN"O'BlS`v=Y]a_ƸZ'6I-τj\s?W מV@xXLoQ='E AYGp7@X^]!ҥQsx@r@es&3!?Kܼ[]{NЛҁns3IG2ȣ[x#H2fi?%okPL(=i4qԄ\az7I< ^8CT7]yo#~8q]KtE-ᓑS+HIJ>\wۯBQEmFҭ|"b<m[cHV(5B ^@nqCͽEP.ԙ'4RŔ?m} vT\mz=Hi@%3%GyTJ?5~p-cIpjE6P"A+ ~ !k:2HmȆ!M>x)8J#@GT:;U_z7({<q%bzD\y܈NuRۉqfT:RLI\DiI|.xGfDfx۹٥o!Ʉ$/ؓw[n Bؐü@vAz#y('E3SSgH3!n: CGۍvz;cog,:'mѺ&r1AJ{rT$:oKU~b&ͯ[(7r9NBA`o}ƨ;,,rX&Sm_pX:.-44[9M@-ƳrCBHBXABmv!)M͓͸rWq㋇A3Y-PBNXOc3ډ@ AHb[ J3<w ĢRCٌYW!2l툖NL܉gi"7;\ 8HҘIi[Yb؇jƎH5?% b(U| jIhZs%1B lxEn;f87H璨bZ } j )oj7N6%!ڨ1ylvGjO3gbSIQ5eŁkHEqA(vZbo旡|7~̊* #NC['lq`ʉd?'IWe|v@øqnwLi¹#_~#OU3(=(g=!`N~~KNn|M  Dlxb%WczkEWg" f:,Sv!B O.цgYFD ifhWWsklX6D_ &9PjOzK,Й!x`'xu˜F[`3Yl$ ʼnTz2 Nˤ^uD6M{azjRX o03\STHef*F| x }-@-WX8;TH:u*fedRʅEK"c_<3)?ӍkWu m INs2ݛ5vp`g7EQ)D>WC{"UFKHA16/M[f9Q3=0h[+d3ㆬN[Q"'pӠ8,^0[Zm㩑VΧW{jEKZz'xoc5H|uvӒ ?{2WlاN=u!kȅ)$vI PwzH _#@MO0 5T ZP( ʗT-HgLJTnTz{¢:]xY+ "h:'J%螅w41&N\u@!<Ç MbzL^eɍ؂_ʊDy0^\!A`) N}OS!Z;\2 Sxt#d5fmWa ׆EOd(Ij+jv-&6 c3fؠt'ɮcy|Az>U!rm-ք3i:?WvDOOa?wb؄GF3C~R$vbxث9^AxuϕA C"OO & q MOnoԷ{S ={_jGa*9tۆ”fb\lκ*M:fFxO jjcĕOeU_ckKFFFjB*≂뷠Z}{6. :hy+A !C’(>}XcV>^/${f1 #)/kd !o,P-dyMRj VHaX {fdԲ"f'Gn@y;WILd }.|m8 # #Bxˠ fK~āH/aT8^58wCu9cݘ7<4aE- Ĕ#~# aGBv4iڹ5@_?vj{̫xwa@V73ŕ5 ɮ踿.T|(O`cH3c_Q)LbI@.UP_+p>e4z e(ncubUWNV%0Hh3-E'ɷnca6&/;ڡ5[ީSfa'_9a '~;w_0~_M }Tu$,o'(?o ɡ2lSCiܔ RO}KTmSڤ>D02w1SN0ا4Vތi4\ɃqF [T1άA4hJobeZn_{c ,xq3 }ҀPSB=} 1ܟ8}ŷ~[hm;!0̞w{-y)D{׉Ǚ k>d? ) QRKEn~Yd' Nn6I!c?"Y?$J~d0`s`7d⏭__P<^leڝ XP֩ A7tA ) +$2ؼU2}zT,VDwYJW4ǿBΪ=㛫Qre f뼪B wY~ˈ[bc56br)j݋(R$BuˆRwIz2Q~|^,UU%7T[ tӀ_dnp̵44d{UȔL>Xh'x`0Kr -LxP;2flagn,j:3d ߍc J;[7R:!ƻ5aw^(l/Ws1|Ne ulLp 9!I$HO3Q]`0f) =MżZ%;uUTDYjgYZ mmsj ) 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?$䰱 w O~wo% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWn!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML m-PurePurePIDE/document_id2Sl') 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.k%) 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Ҟ)\b3nNx*<64qSgPJd`v2NA`]=7Q2gu`C^g MmՅ$. 5 SBE07wC{L:)mǗJJ dQHNLzH O 菉qP@G~T=cM\;KHhʰ+緂v,lFdzÎ*3ogC w`Y5}B Le UVБ/kM(n#5 àtE̙o SIITt)r& (J=;Ⱥ#pQr~ɣ3HuյsV{((QAM/Z?f5̾'yS-16~cub raɖ`/>ڠiu4ݚ6vMP8%6@D)G HqL8щ퉬ԑ|˟.}s+g'4p\1(;)dw/24Eτ^."/HJW(? $&:0+C ߾gܞu%`Sᮈe& FA_4$I-$X9[|8nWThl gS%<ֹ0"42E%>Ҕl/SUX174Bqj!k@tx'ZZu8'ț!:@7f% 0݅HgFʦ 5?WH @;ᆔf98z՗>@rChHꮗYQv$dæG&&VyXvHz(\z+gwZHE:%gYZE(E{O܎7ېE4RMN/f`]l#crx  ce1!ZDIǥ3s\<}ׇm}FQ-Z#vİe{LF><,tGݛ mi9,p04-I[r(_oaQћփ/Rx) pUKLɃhvFw4WNl&:qn)(PN+J25J-=C,)x@0I0\5ޠk}%Z000 ć!_ǡe-D(0.ȼJ , GɵTw N<'b1 E:!bГ] v#&r @xS%>ʾvh՘Izb^}?Y @ bgI;@ %R] 3)%8V+)pAMLuX!ԤH&RJ }@4R*3)&v Z]\.S{9imnOKΔE~J7ԁ7I6qa_Cn2BTzkoT A6@I&Dvօ,h%㜉lB]Szު[D|lO(Dj+1!s-#ttܧSegdw] Tߗ~Owbؔ\4=nվm;gYs3!tŇJ.l') ? 7Μk1SQy[078*0%}]/ o-TiR #QnKecp`{CIƂNiYDaYJ;ч k'W+DU +_-aX=r\v8-t1It6ڹAz* $0 :F kTk(Z^ ـK+Ugb8إz v_Vf<:,7h0p }tސvUetyl!6aw EKm9mO4e)C, ƏjTϦGNXr .|?X@24j)c]`b"yGIv@«WvSPkɫ +(ͱ,B\j(8.r9 p#BI_ ~V=20]7 es. raήq֩}G.f[^uœon{bǮΞJJ5kU5 b*ĭ&B'u &])'"Z*BvØUW1Tjaۆ˥, (قQ98P٤0E|[R23knX+nDS}q븩(}{FeZ,輸d?H5:M$o_qr]TY] `XFցs q',tU{j-utbC `H#$*mR+/SZB}K3=&ޖ''>?p>2z/@t2g/3m $JRo^% ߛU@db9hNB-:$|`) o =5'o{{м2pkD@c, nYԪ /-(0cKdn2wݽq`H_-qg93A >3z] 2aSipݮֺ*ڵ0[OEs3Ԟ92:";Ї˳5\`B:Y{%*"va/˜!#Qcx<*S6`(;ʉb *yvd$j!c*\R#{٫!Kx<\1PHRlA-".73.Ulch;r:9BTr6W{] S졪Ne: ;:?3yBk*eaLI^θ` Lsd0dƗHu:0YRp3YZjPoj H_O|medyLa3347 =@^ 0C_LWS.owzV(-s&9uM̓S\ '՝L!xڃw\KMLfmx( 4w":Py3w (. /AwZM2MՊ>*qʟhS升~YJkڅq{~iLO)FjOk,B:! \7Xc6JM`4e"0vp kjwp𺾔{[L/gYqY az +ѕN 8}Up=n}!ct:l2#)wzQO8ϲ.UZ3F P_џ] `trEN+Ȕp\.lSp`]2SOp/~Xk̃1@,s@`*K3;筂P}%ԝ,g.#9X?a4W -2튌2<,qxh8ewsXV g4MP1Cu/t&KUKUl2耬XӃUHb/Zc3?B\MBkۭ[~ 7,l e~}o,)TGL*],ުٺ\\&x%Ɂ0h{>P~WX-{)%8o&*J(/`, D0Ǧul-;<íGs^}Ƞ}W@f&uU^]+C]Aл},C ص93⟄s޿|fbh@`:pP웢޿O=ojzF{=g^t8??3iCE{#V}<؃bMwE;W`qua5dw՜wnBUv,3" b+Gx4QtJҫy8;s~NDEVnL$oMֱ.3N'lwj!Z'*]zui+#qe(y_.34(~5" b;_/+D(X<*!_0K5L4ъjN fbiCoaڎ-Yb@HG3rkeE1oW En}{)Q~{'kiR~qjPY "uNS4+ߋrKڅƆ̫pS_0fP@nF,O 2aNoYÉD (<^ҋ^Lbc{'䃆 v?.BMw }Er6$i͗J?#6{uz~IJv|L1G~G7PIJ◅l6z!AGvBb6nu˶҇f3& -Z׃LrI2ju*3+O+ ȏg!ބN0SNܾ09su]mڻ@/g\t!E%d{3B*g 2^ )zG0Q&‌<2^­)m`7͔?HObB-"\CH Wx[{L,ZG >+:NFBn$k _C)6vU0CaaP3]qzplV1ԅ6C ]:pk'DÜK?7 xs2xxQGҟyI1^.D"5z@w(1_.iQ8ع pKϓ f?oUb[Sw18hEdZ٘#a01T;:7ԝ^:8o7}\OޢmHrPI4dc}b6L_ZMDאָ3R"m+e'X&4 &)8xA`v|DQu2>X`+rCImy"n cQw}\wŀB˴axt9xh<ı~nű up.0N˙_BLiq0K!}&j4[PXw4x9\p13ʤrn7d:yx6k.' NEՕ0Pd^d`<uqO~@m(a]o;ghȜVGqZ.G+ͺXJüzUSdW:n  )JfUDy GZvpe5mAn4X֔(Y-q66`H][PVL[~v6Gj̚/Z')zWX!3LW^M$&tn#pwQCB87tGMXE5 &=NGja񕵏[]$lsyE0 μyOl*ֹP^6[ב0i?kzT%Ez?+ELWR3#*i z oBmP9s|]G7? GdGKFFw=j;CղZ@ZEFKԨNIşKm7#tfnnzLlQ'b>ȺI O)tjnʭ^P޼Y,3ؘ8fr2>U8(0#>ЭtBAm1>+ +ۖcIFMf_鯛p[R_\% ';1yBX;p$\u=s<,Xs)K@W5z9?S<<:,6Y@@Nv{y|(9˿tR+s) ~-g㪤=W:]A.1G^9FPyN3'<:=Ļ\@# 5HSKavdHSz斁 (eR"w-~bRlg!xne$.(S̚ᝌDtj|%rhinImO̯uS`oeUϓ [;<slZ9c):Fo}ʤ.m;&)cd^7nD信\AC1 )BU˒Y9#[@w6zJ22W<b'86&>7T)9D⬡ 8'[nŒa/OUI'B~ FMn Ca /ZzuM{zS `NՀFďq=d{[{ >YS 0iX m9mhƁ.Iw~-v(2ZtvwsyRinenA+գ TqKʍ[WeI 7жfl;5 1TLeXVl}W$3Cake?$'ZS/ V 1A4c%t'hMCtE1V0Kf;RD9i'+>_N(:@/?8|܇38"˾x9ě__{W8ƺDL2]Ly~/ԓ~#˜uwx9^)2]~R eQ,Qhj<{M8%/.H@_3kBדeb%ޡ4򮫱|GXK&njE+9KB".\W2HMWsv\4 .0@zP3Bgt#D)qށvvUJCwJ`6^M$FeEu[LP@.H B o&] `HTBY5(`lL`b~6H!̽*ۅ0"p> zG&%emOM[p9džzgb..,.H,.C<D {j58c-11zA9mʈ}$ث#B)em6_gtMhT $Nwr9QȌC[+*WÀ[JD6 gסc`|\T:`sT"򗁇Xx.h+n aH/Sr!8 szVD[$y{CW,/f4MRp^pCH;-k>Rs:zsZx)"5u&c_^".+mf U&^唉H /71PoaW'_ExR(JHzpAw͑ LZXoW\U4׵X[p9OL^)ee{)"? ݀jcSK_g4ȃhzT14ûl1\HY;Wo3Z 27IW*!^jPb}W/PRjWbb1> Et)t6b%Vv"=3\ܧ֧*vU6X7}4CC[E_oXKK@R1@sj=Z]w_\BDw#L @XuBx L90LZYg v< l6X%2i+m5-3Lu-m$C<$yP.G(0VA"tK*35figZȆ5B/ytl}eֆq${Įxrtuam(c(o>S$jb!S* `y0]qp*oV3rz)::7 z+!"Lͮ-hZ2T3dzI&."ʼnV>cBƊ.؍#? `kӵPA&" ̾ӝ6!5w$C$ Iuƾp 0h9(RnSſ@\4En4?? WҌϠx_jo{6N` V[ Fr5ܺ+ 9@ `TDuF%Onpɭ!\d@0&aFC TG[xE4Zv*%#HԮp,WYW-6 <Mm!M,|.ʹbNMoQ (VhPm@,=c |RbSrВ'RQy&?袗X%gTR7l0]Ky7oRanjqẑEEhIߵ =`%; jA8Eۺ5UmrŨaex5ہ;{}#HA 4*bКOCF)Oo>3}k\X]YS #&+-'|SA.#-d5}pͤ}:쾗-biO^Mb= ;S4[klqz uL^h DH Rx`.89"MdTe :[c]6j枡1cN*1: 8\~,@[%oØCl##b`πQCGH:MG3( u ^ΟTU_d@'Q!_.izz_etLP@DŽ^ ˹9(x̉>< |!= [@jCG8@ I LK𐥡Tw9td9+2F)ĴuML0_9^!t! .&ۯha;8 /uRg˩#朌 /֗y˱/ t"/}5E-,BF ꊥy/<թ)ܭ} ylvH#-{c{i="0t4UMx;˺]Ѱ*tsƳWz N‘N )G  X"EXH"-Ep8̗ޜ _]mR2堂dQy)v/]U%`0`2BQG5aܻpez0kEm|6)\&Qd8͜Ș jy#+RC&я"U\#g+ldr{ n#?+n+KU0V}P`3{ouzrpWue@#'`#%SD̎a9eb,y=ͼb9HK=ϖ PGCXK8QeKfqФ_a[&cͳk7]T p쨤$knoR|U.j _IPPmJ'ѳna``T 7|L6aIs(\'v։=y"rw(m*2\1B.*[hgE:R&@FjΠ: f?x.R'7CyM~DX~GfwGv@wV}$>I< Z8_&b{A ގDJyAIWAD8FJ gOKx Jћߢ?j Iv[М=7hrVCC "pj\b'j |x_JBR>j!gGW{%-J$.|H%sUH '1M|kO^S?*ڐ#ZULޝPRStgyNՂo\go0"N$5Hgؾh%ul1 10{ÌT )U pYXe;4ȏly3SJX5[jcOS>gw/{&%Q6u'|,Bјi1MU6nhJkR)Ԁ-C1(xZZGU8c>>thi<8pG=0⥨Wqkd:T3k}; g~ub%VC71q^FjIO.Ĭ-Z§ݴde#-6UM4U[/ =4(6 AA)D*J=h?IfB@<cZR%_=-$6+fWqAWVG'k@U]0w؁S^nCz7[͖ඥC?Ta5^l@1mx}ySP_(t N! s; @ i:Y#y4A ei[4Sg]Ge*xC7[Q=Ks\-ZY,hr LbuCoRyn/"\֟P3 7ebA0@$V9A~EA€BxH+MLƎh ]/dı0s(( I!o+J]/2W}GkpֱuF=d]q1爻%&Ѡb7ƕQ*l̟*^O-p՘m/o.k𠜀Ɩ0DtFeqK^?x O5E7|LsDݽ b2.^&<]WǓjzG \!`ф2[91'JJ1Q5AoWe5]@aGCb`?=Cn{چO6o8eW(o-j=% n g3 ~K.D2&_ &,Yr]} L=2 ?I)NoH<:I<ߣPTLþnkHĪ'3?|<#ՇG I3TGyÍuS@9U;KfAX-8M/N- @4[Pau!ul6ozJM_!7MiOx(3u'n} 9g[cj6¸|ɔD5x؈];atI?j6ϵ)HïpbQQ>n,-e~hn~ چ5\(Ϥ!Qq_6rlq} !b!J% D0aÃ܅o)cnj&=W_ m-A'­c"qwKd˼ɼO lɬ].jv?V&Γmװ jam\bNP AzV=ej#~p#/sj!ke +`}cCG^}>+w˗0{`m-XcZ1H',-`89i'96HkF;Z[0jKbR:߯c<%grt;M. ,1&`_&A݇EV U4 'xM KG}*Tb!j'XGQ(L|RDn *ׁTZ[T~QɨpJ,p!e}NؤSԃ ;M=oy9މ"ITu; \ lgU^g1/ B4v008L+fk ʃwrzLe5W >-:Yu8_b2ه%F%Hpdzv4?z'I?&[RCN9'nhy<.R3stUkFTtx4Z&PQuAFpNF2 2.bW1E+'dN%ak7,1rWxaSU>K{6*:)O&W< ?emB4&3E_^(>Xq=!ot$qU# y?^L׺@T[KEe[q{d3^rd,W^ &4eWn:H'fY}P޺#l @?>>AE<+r_\Exbi}]?|hυ^]?WS l+Z ƒ+p, #^k*vV9tQ6~w,g%vC.ï5vs LלΞ|h4v]&زIeΛ؆Dzx+PK[qݡ4? dɸh@+;\Gۊ՘ְN=ŞTO${bUՐo #@K_I/^RfYޒstZUk(u}{ 5ds%-u_J:nX}lТh{=ZT")p )`{25hS Zꈎ@I~H/Z(~=_`,,OU7N =cI1.oNuzc~ן/U+>e}-5yxHz,N̫avOUڭuic+Jٺo*aRsPp4']Xk/ia2՛M9hw(n&]\A6]z̿um&g@6v"q6r0\D\_B,-˺(Nt*% \ M$dhZN I'ܧo}Jp'#=~"NoT͸ln^X7J#u6'g:frC}nA޸"գ8A,}g}Yյ&u[1?`|'G7 d=$û~r"V=- 3a<<2M@ u\{& g^@5]Pj Xn+|?s2s+Hxu"DMhAa7盫8 VV5̼ߕNnx^#w)UW  b٘ hT!L7jBHڴņ 2_Ozg߻Wi3搿#w9-@zou~҃UT "-zA}6K3ņӌìqD4-"˙ t)yk#5~H{3X*[ UX 3vkohG 'J|pmn]\A[1?f{duFo&c.q!zh%٧|L<o;N!.YD+?L)*/-<^31bvμof)W]ߛ ⴎBܣ6ŠУGg3pU ˄%Yͫ4woH,nE?sAϒ 6pfL!R; PXPFۮuBT nQhC{kDF3f8Wt8E -ꬦkG1\{!6m^! -<̲Үb2C#eE:riBV X>&;N'$J_'2&h@+Q0BwE? ^s|e'~m%8)ySӼҌE qzMld46)RZ}tioi59+} yp+`458.SkH}y+!gyא]1nsѯ@ .)q`G܁,XÍU; ^<̮C ?¼*1bx^ŒqS&Sk̳~biv1\qXeCQ$3XS4O=lI Yp >HknKt}=1HS%Df|ѧ64f&"l9|៤ATҌ -gKå a8NJaUq۸ ̤ r#45Fz۠L-qĭ *00^e@EYUU`9SY=$w*$NxZצ .L:~;/~c꒻d\Uf"83o\]}eq#\  <դUBnS%02~DE`H_J+oXa!.NPQY+<_ m.&RtUN%!S.Q7YQer[ 'IƗVhZC/bqILwAqS;$A7Qgh=8XMXΓgzL=q= st@)OLrH%7W"X%#ڮ6A<,'3(MۓJ0婌/e8]v~,Kbpk]"\\¤P)8aCv bbm m,~wYCæ(b>e>GC8_Ue\ʷ/k?"k*o,NXֺ:Ivg$ Sw_YV_ :hu#2 cjd:|.aX]`tnBy Z _[?V*Ge6ۭMcTSz2 r$-q4Yµ|V>WZdU#n^D-OebP`,fJRV_2KbwZ?a.D}cbg)@TIWfgԣ)1l/3p1hCe2R˖C 0=^% HFH$PX C:-~wp9%8H0j4'@Դy. w9H)[tsGwUVLeѺilc'q2:?d8։8䃓7jgA3XrPТӯg'@|k#CݭA{q~{bf&a$Lq1m}FY 7`#^-L ":eGq-!@s B q\`-\ߩ])( 0Fp 1 x-Id|O|G!fe%qT`u܆skz!}p}dvܤ3p*}XwU}lIYj6-PY-IpbGUD0ǿ0/%0,{gQ,[n6׊A]lW@l4#)[ewCҚb'w D*} Y:3F{L HX sLi5q#i< Vvtư1SE<b]Sp c'Ͼ9&?9w[I%„s;QJ*Cӏs:@DL08ŒLzԂ8ZYz u?E8Ƽ4GW-'M@ԎjO#.DȊa)  1,'QA#\f@*qEsܻ]Sg/ѰQ[`ڍ^AէK% Mˇ4<"*錘6Hi_717_uǹnю+2ÂoVRV= Ur?}~?}j/mZ߫̕?9NBwzeS,^Q3vM |lmĹ?&uLJ254 \BSt m5 ;C3cR.땸+gLj 0~#mbqW^Ӆ=luMԡ\SLZ"8;\d*~`GLQ1QqvAўR&.04S["[ExXG0]wMOYGZYcM%5 d<r]k̓I6M'+^oW.XIbmE\ ek=28CO^&V-I 4\ogNx XBjyʄE*#ߚ݌y! zpoRs!KI)BB/YeU}jC&'*IO^#+KXCrq:a67EfG;A: _ZZk_{}հA̺@wH{˗N ^X*qH&_fLam,S a.k:Zr>ۊ>( =oh2;r.?̜*A Ά)ch.դ3(1mcVķ{s w, t/nc,xy m#V\le@Ro<crMZ_ *c=aM7~ɺ0-vE\ىJicMy`vF8ZuݛMKW- ntt!Y @*+Ix80Vu 4o*O 69X3K +goEةWn=KS5U-iZ+EY[18ڪ+s4茣TL"Ly]rpx"fAA+]bE!@߹Ż񽟵,11evq֏Sr@'q?s:nly6D3B.vԈϕ37asP3["j+v3_:>)C"V.kHe<.ܷ&jm.]ӄ &DCwї1ᒔ-LG:w7˨/ya' h'~Aq@]J-D q;O$`<\W@ /({JwyLY4?Rsj("xЈ؈C4̥51ngv6=k:]F E^#e0LMZNEXwnAMS1S+vl4QSJudqԼ+ژDIpi{$ A˜ov_òj/BDaRSqȻ}$SC k ‰u 5&p̔C>Cxt%WQ> rɴ;KL3#8K8S +v4,3ulIۇz!@k|OcLJ&\)3lY0zK @<ؾ"2LVѻDH41u9&z19E2祽aTt^ߟU;A R=#{ԑKcFT`?NҲ٥x> '$K p?|Q9!ix`zZȑx]@krg8 M0 _\EY/r L MaK`lR-m;I{*b^uk}GDx6̀NW}#Ҟ8>>MAXry,`p!Q{v@UnZ]AfmNB8A3GNt͕)N~ [%ԡ+? 6醏59 waS2龂n8Q< aJ6mhad&G済0# nN3BvP?CDÙ|,ySEf/h>-C$\1y֘@p'#io}NcJ!X2y7TRLR^~{eKO ],]|=Xt%֘ɥ=u9Z!hNpZVNȷDd:>QT$"IkdQ_6ܤoQ(OxzGM!TnR*!) @jg$js~=^Im2^}2O$wH&FX!9)y SpV⾖fnd z@.?ÈU2IvO$B1[R Z t)2MfA)596cd[w~Ie_S&m>{~?)u7 ya'm5«ڽ??TfAm2H`b".`U:b MӀt5jZ0YY&-|B8LD%9I6̌b`e CIޟ"_|Ӹ2+*BV,mW":+^Pc'ql`W|yL͡s_ý]f|5`Kj@iZDe?+=[<Frv ÝceMj0Bk, CʲhTaZ}kEu @G+Wrom !26A /6:F_G7࣢5BͩL[oHX}p= (bT?xT:(='U?5/v΁4fsAsHC VAl9:׾%LlnR}3ۊ~l\NuĎ`>ZHG1-xdDFM&1}JB9f]W4fДOqiБ~5wv4{K-~NGiR/^,5>r>䮽BX7`aɐ񼜈S o<}Lv)yn3!2cFPeBϼyrLy /i̖gOIgwD!* @UL$vr괜ۢkk7($E` @wo]#]s IPEЄA (̍x!mg%*߼J^@wg ؛B ~~k`['_ƽJG'42?\ AV-k7}E9pN#vp7eI9*M(`%"B"Щ`jHw,U9ـ$P¡ѹ"Ս zބ`>(6)뽹CN9uMcYPB?2K&,)oQSLAoBj`=çGaoq Fiޯ?cwBPަ*7l7@,!LmXy3A\՜-/R)5#+p/A‗d;cǥ_nҾ_hҦ;cξvN캼~Q2S%R[NgjC6=Toõg,ߧ{%=J<dCp9޻.w8VR".DӀD5^nfs.N>Ԡ0܇B+!ZVLq;O c튱c'k=3;YM79t!*Caf3ղ:0)VhS-@l>S3J]=|BꞙpYr w_&D ACpEݡ;?d N-7+ĹMҫp.娢XD1Zf ؐZ+z}qY$)\nuXkX? XyvGnX)ie7?Q&i|Ed Ä3"Ѳ9)80PozWbϹ߾3L`|V!^q6,GĜSO1j6ba7g ֏LB x}u.DmL'lAk סD㎏r'5g BcHՀQ @˦h]} (Է_-;1e^ϔðXx"-K߸}c4 S)<^ qpr+eSPvA9Ή*j ̴#Em:MQnNT\-m1 y'ѐ[BP#5.RSG}V7`[OٝlGkijAX\88[W|$๧肆nuZm%]]jX և@Mݮi JWo&ϭ'ji`ݤ1UJ$8-!MVzz{u CPO 6 'g3zC(w$'rhN6(V@@JQ䫊{©`"c JhFC̚f>W̨=n6s czW bpiڅFBsbaw^眸֞^KlyfgCm5%U%aS)kL"2Ӌyo0cWFEhF/ŀ0,f;-Q;i 7c4~sP)ZB5qQA[Kvu1 '.PnYuiE.[IqʁV^.SyGI:E]|X^s${ PM (m]R%lKȝ/<"nt-Ujgwׂ<ņ+ryl?|ӈ{A Igs}K2nQ6ٽ@=|w9I"!e$bTIf tI26bP|.1qPTv)[^:bRS]2W"ަPP9 H[\e&܅ (Y,¥GWMwT!@xJ^*ӏ@dj~nHǴ9 3;vt ]thXR)5{,@^DD<^Gedjme009s#ķנ#2F}oW/7rK- 3G$'>6OWӰ쎔׿Atۤ%p% *VOS̪U.^P%&oVܺz k-!FIv \RzeWC,27&M&'KX35Ǿ-f0 0E#4I)2_ Ei .7(AJj\0ĺ.  [Aa}>"xiBCYz=J;*gmKk%S^Wm'²:TIEiao0Ql,t[(mdOs|8b-3DbX"p%AS p&b{lxUN A\5}"U]rvJ9%l4hQ @.8& '^O-2khz7T! P0xMvcE3ꦅLS{jD+݋-]ri8\xѰz{t2+>Pn;^eC0g RwcCCf+>4F$5RrUR})U4)"~+! \``Ӹ8;ےg}Ǩt7O'nrD6`IP\ey0jO#Ggap&!4n,']j a#rH/9P+b2K-)jq/]3T^(s3 u)R~jP9wn~OD:*ueyĄ8ٝ'm[qr|hy. r 2`!zy V+~:.qg|%a'}9*id "ɦpJՐaIBL(-my+Dx ymH+quGDqb!0IlIm2 >xo6{Z7)GM +oH?zCL=b(6xon s5"'yχʕBܿCRQGƢPk#7Rn~׽ =Z_mHG @z$%LBg| -u>*{b$ +'ۅfPK`tqi'FtR}jOikZ]Ns62z-`j!|lGL_MڻofJ"+;@Hm6tI$l&},QnM 0^`J6-,9w H fA^ 2n + F,d,WA^2UN?EVf gג-P4r[!{Cu4p;˘ŘO53 s蔿u˟cc BX^4{2:jv?Ii1Y2,<M&iYeQgxcf%PP6!3^i]F`i)tH*ԝKn[|ԧFr0Ah2l-&t;GPo?벡ת,(o1"P6)L6N4?ԴLؑ~@råȽ'ۉ<$YtHʊo2y!N0fV ]du^a iq_] f8U"H}k$!@rХZ!?|:lUԭ/œ#P+q:;5t0A$ĮHLTJPìN;vG⚨圠DŽVyQOIf87^5 Po^ݕ("3هbW+40C0;zn4շ; %qztct K8חnGMUP Ė"= ܣ5G5oSPRXKgN<ԀJ|x/C ‘H{uک M2絠5ΰ 0҈T1DO'>>n0J$Tϻ /[*6wUt?2˯Ry6?k"صA9U3{,? IL|mԶT?"O@2La-ݬD?d[^ SNkww&p1mr;F&X:`6РkkRIhX0LomQ;H-@-*úe]kbUm-"G58L|S0Yę>8ccUc/2:T>0-m,XFh:,jTg9LB+ϟ%dOl=T!gAԪt UV8uɫ0YPT>FEdzMbq=g"$vt 4r26dj.r7u޶!N%=W $0.!2)OI6XM ir%QPvH8wXM-aݼr(ЅsV qDi4ɺ%JH J, F,5+&nP t7 N2I*lU xQAuvڶ8;M@Ti?C΍q߹PMu%I&͂؊F@pvsD<{iK*rA\eDu\l!NGQïG@%L? CyRRص+6bM@jyG~JKmca7u?yWxnwZAE GyZY3_p2V:, |7yY}W ZbNc}GPrY ҧ%723kJ 0w@\;I8YJ_|/z6#+Ԇxq9Y7Zs߱ ZTwו]jcd3Zr] Ajg悔Vp:?~pMD·a DV0VZ[$*U!פ#lVB/ l&0! Gz8K> -W!+ԾtoIbVPUʬf&pպT>_m񙛯jO%IvonjnY);2g?a!˛I%wuY%Y# L$2}ùPe1*OBKxy؈S2<+D,st'M+ЇDtZ&N #rcFCΏʐ/HaP!@+jh`߁oVq, ' v>'& Xm>FWV@pT[cFx)t <,z+"]k܈>ؘ< `S*'](@.Dw#P[l[CXvgX8V` Ў`?OVEc~A, {Qza\S#ALB 5o-88|9bK w\.g !KjgA;2AjwFݾExsF<ȝ,8$@}+O8\/a$|;Ύ`63L^3Qցt&[mQ ylpT>^[l^a|Ψ"O@jbYOQ3/8Ȳ>}&z _%#.1P=d^/㈟¨jytAKPoHN?֜bW)SE̲c,#mT*kp} ZfJ`i񹡭>r+҃'+!_X0{oIMBKD Ǟ\adc( %'o?3J&bgy eEH kgp\tB vemD!6 zvvXB9I1쬿 1u aY5EϾ@uT;dD>/Hn@vdcCT}=*'ǧQuq[Tem_yvUDT ]NORm]ܧu"p J[zG&RWNY2,uHjq0 +cvkG<嘊^t:U<3O-Ei&JهoX~:ހ:ײ,HWJ?1-hZ" t^ ZdWÜ$3 yDm[Yhr.bOX}u9(%Վ0 \ dIh C`YRnjAn֬7:A<V";8|eLr[ 8q{-[^䗦Ow>Β)ЮN3X j TM$ }YքD݌ěy07FY ɍC:2aNCԠkw_@X3]<,/K΄B@e'R ,vV i'sSM$&Ϯ jh4<ƜU2+J< ?ZHWod`q<:U ^b1+3G:?* PKa1qՂ7V&DP )uˆ @v A!gס#?āCaq>XBxlϧR.<rk1 1?A A9SHxͺ|{B7 ;otZ\Ss}hfl:L^F2k'<* ={qxžb-LkͻϜ9^W+rUOM?4Xۜ*_D護a'VNO29kȴs*iYbAGϷCrM`fFuĈjGT&MM;~ʼnӡ pX*CnȻH0WXI1SklAk jəaۚ*,)O%oiw*лXX16Ս=H6:?ih 2us"2Ҥvu`Š}}8󚤳Ev>Fni4KC>.s*b"*4i: [ ϑ$Cwi/ޜTN*9We y?T/Y {\sOAV1ͺn[wd)^U;_gK8NJ&Rג}<p=Aاz 5&UiTv'DC̀s[PS%ιf8Ԭ_tPPEuCPnďp<%ѹXx`,@ i\_yNp\Xw$J99q -hcSdqi&cv/?ƁSX HDhNBRu1\=\}6͆rZ 3ns7SKWzvζo[@dg( L3^Cka#Q@@D 79r!Uϱ%QUzcvuC?eu%Ku!u38 7"h\]Ar3OwEz+8V5p`/dRKصkdj fy.4Sƙ{hCCg^@Rr2J .о>hF/ ql鈘;=pWÝtep:KR^*g)  'HŁj'gOb󰡿;{z#f(+2i9{XՀFjQHb9U ? n.}t:l:Ri=9+Y+ LYP|ӌ: 2ɾ<_h;y&b)vTȇ'k\/)^ab^oDTZLUG̬*-3$u:t a>5QzK#^&" .;5`xGk7O(ޟh3͐ER3N5un-&`"5vln?xXGL)ہ?jC ` fk1)O!܋e&f5ذ#q;*u{}1UPח"vs]:0e LTiyHO y@O0؈M*ثb[IoQg4a>k|/DkkdT QuպRH#;ꡬ4ὖ724ȁp_"p1ٙ-{Gwh&"hsKy2C }f_'0pjm^g U&)WeLV tz 5OaX1٫|%ZW#M(K~ZRbʆAFhܧ9ZεӞMB9OО\ϧYpyIf09*ng y{`?j.?}lFUjQ{R,_g'9t3/ج@a|pƮ@ P̕ߡYzJ#v<ƾ[?HRjz;CĻă 3 +#0jw+p;b&`qxo]78l^oً0W'( @i݂r5;@9_Euyd)'1k! PB,L'ǧ J8 K ,$ 6 b5 7lRQ.PE|nZю4"ڞ!/|a".hӘ γe&-}hySa[7+QUѢG}툆bE4M' Wx@Fi~QD76㓵w*dMI>$sπf~پxš+"ԃ͆f= gu<4=΀ 4,ݯ/5t$=UGEpm `6B]vrɅg%5T^UԦxUJ{jV! qVSzLJͣo7~~:}nO}*|hKz1] 9P+&U^* aZw5%B Ծ \|(nsNrb4v┪OR&xM0-RIf.tڲOJfZd-(Gs׼dIY7mM7\d?J) !y<}ya&-w`k ̤&vgv]f]|ާvXHj괱9&CBlѨAW7Ju*%RDBiai ,q/)Vʡok@jX}L; Ju~"@p0a.h ٓ#0(QP W/zF7HAŴt8x|l:U-j8_(ph!WL%KQ-  X恸;.*kP'շt*+UHN>0ݿu,bTm%.;wrEmX$/v)wyɎQ֞&#wG&+/웲2V2Nԯ;]G;ƀ4ޢi( _AEWblɰ;7C2 BEgH}M罥9bv'wbD?L e"WR<`˂ã5HԹMV+[D/u <zv =]_XF8t6aE&I3{#SgShY%LWA9u>P Fd@.bqb sMCM>Iaɤ9WzC /c;PCJVB)D@&IÔK8o8@-f)*bVMjy9%)~Ef`nKA0t F+Z1M7jy_p!&׍",LVHÌ]RXq4L;:E`m, \::ݹw[ɿͥ$Iab{3Ɂ5z(XM Eب [G&O3ńg1ƒZ(X1AہTttudT(g7C?adY?dv-W |2!zcԳ#T}r.txޗ Y<b򕋆S/6J^g5½BqsY c#bHTL 9dCDvUHkjFq:^|+@kz:ذ MN]>"J0wh"[RiiU #IJGHZy!bl4Dž?Nݮ3r^<9+oHQeNSm6j? XCd/pPce2+N?@NӻVK1TI,C xn_%Da׬KlzH貎gBZw50!\p>=)Q+&" hrԃHK4O^_6qISӉiRbKn7(jE<ƨb\Zô SKFsUw_T3~iקޒi[;/1N .AP%" 8183Cw3 p8)/bz1v~׬ cթlkr VU 3>8`@n1 澿nVT(rK@P`BH^:덩כ\<)?)4aW_sFLԂxCrKzjwrI|euPwW$ɑpHS3#)gy5VaBI<#'_W|c]ҪfIBK~ojVYCribqJd>L/ T5Wb-D Gz4!?|"J n%8\&+?OVit/N 1?WI1O.&)9˦ w:_E6yr(r;h=6Z6yI搰(#̭E#Te>+A=/B8HEK*B%=$թ(d3oDd1v2RbWC`j頃ٰߊT\ckŸ!Y{='}SKT#bIJJKMq&YJa{$#MWhR}=r[7u/oN̫Ϻ"]MؕU)odctcHQu`6̟EVvjE$aEUɝelXcd^YF}Ģq]l<{qvk/|f[Z,1t?'L$"n|dfS )Ϭ|P"\%VGe~cJBV9qd}$] B*gӀbW/@ݠx`bo(3G\ c~ .2RF!4^Ecٳ!t1޵n#8`|T2#ha'iy-vgIa!z9ʧn?w'02w+»L7᧊sk_j|s0צHBB9B9{27xnNԃ@n2ڳ6@`(bW&DP\EVb7ɒi$#n6zQ3m "څz^Yd4o q8eLf"7$> YT0s e+|He w%왎Vw ]M΀P8^6:UhBL;XCJYe t0Gl!+k3twf!3vlYeRdt42>cϕψ0>(N9ӣ%&Ӡ{] \ Me7cQv?XnգފPַ.<7sozIt ߱ZWf0`OUА)6P& vfhcٳqz֛` `-7+ j{=Mƴk^9ƆhVPg+lW -b\~=Ii _y 6w V\mJI cٜY[u~-2`}#sJkTkvm#](D]3r[n %(KS,`*_dHB_wu$41 PSsM>َ}o :h.D0nw0ʿ&6Mc[^EOmq[vG8dmл G'x`#`bML ,u?e̜oIUgTq j R;K@鷎7) @|C3۲k7{|ZA vb\[ll=YGw0'K=zEUTu\,{w6! Ӝu>օ9֑!/rBW{f)UI'gxqb番&ē Q. гJш?nK%(}'PWLou.Jdt hND3ZV펳zhD-G-cx ;TpP7!9i: \G cՠɑ@UszL$F"Jl;~@ϻ$e5 2>2ixw3N%2 R 2]׼N)ZYصG ˉFHr:BLJHr M0HDA>I~IIatZse5D#ib"ȫ[cAXaZȎEn& :dM$?'1(KR.xr }쨅!RM(QcP"B[4m1xc5GG D 3I EyNxZ]8Gt_ҶGtWQkf|lE*y.q!Ʈ7рΧ:ɲP+0ftoSoIJcQRl$& >|!1*[Ә)3-IO?Bm{A_lo4CE_p#,߄EB64KSLeʕENzkjp4.-ɘ$ҥF,ŞmA!z=xt0~Yg7j3 J5 Mr?d;}me7[J #<]IDZ@CTQ °~ӝ@qi38ʮ1\DYn 3FU.qJ4 ){bb\hZeMz:S0+6)ԛshw6/eb2PF)!$,b%M}_ɨ*oyv=6wjh pzRbM 8gE+ݽk'6JaJ %S=:sb@昖5DlcVo'$@ r=$Bq|'ݳencHvYbl'tRM3?Į6M\[} @`d]bsza񴮜B8jSi)$}>@#@F`yt vٵښmLjDO692+ǂHo֩0J ʭI,|C ڮԲӡ= kZt Q(+dzgA8lFШH%FXc*3*3` h]P%'xy9ԅCF;(M.Y(,{ Z솤aijgm]M&8cNFfijᯮa Oܙ@gy-6/\ڮ\L d-JBY1 C(y$oFS'\DoRH$O.'31U5aG-]0$>rdj~4I edآ)}WLgH`syrR4{_`c'..f-˽N2>*{1Ɖjkˣh%DDz4GYW֓ܿ7AquFt)b8OcCr/JT7[Yǁ9m4/XG*QZOj5$Cn!څ_|dǬso=~Y4g~@_EҬcZy*8Pf8>Կ;9ǸVR7ܜ2ޑùױboJ\[)}a8` >j4<_[$TZF˜ropyY42dHO1d`'.{&۬ŗOE{3G0߻*nۅ%G^#Nͽ1Mu_Ϻ?}^8&uhM@|y KGk3~㛔zQ9/9( _PIPwք &%"Y==Q5^Dt>/ 8ZÇ4<Ƅu$ y*P'G~ؤҟ7ŭ[zta"S>VBM,{X1M9<CcyNw}x~z!t݈ȱ;o&Z oLjE"c̈́WAaG;EqjϼÕ?w%qlҨ:*Qn> R0nU M7@AOi-=b߅<270smo6O_Gwk1<Ƥ$F _48g8OK_HKkS\oCy,O E+R0,osoJæڋ)*=r}4m~5Ƌ^ c8ykcNmODia ,2\|E> όW JSX# </O_LZ#^c8u4BE}\JB^6%xUtws͊/tV^^Gb- c<Ylz[a710i |@w;;] YqhaUE:yVe).GqAW eS<0b#'khb2ՏΎN[}F/lfƯ rMvi6*"[b-T YamcwCt^[um4ٔi[@W U=v9!= -'* $޲#VmRmSU2 _(}^KܝM ~ycNf ÆT|/@f 쾮NP^ԁ]$ٌla|DN bē_Y"Lfu*爳)LCVU!K?x6_i*_=#]EtXR/ao&SqoQ[ՔDza/bJ]sח= B!Ke'krz.X0us}a|rE$*S_v^ %)ޅI7bZ'ə ͐Zŗ\#*sHhBip^M#5|'P 0}N-|Uiٙ͢딺:0裪 S(pe8rZN\ Oy##7ʗR'Y$CP{ l~X #JjD _f*:Ǿ6S܋Axkr^AraG:'64> lw4sJճo\4B="1)Ax' vc7[lh9 /4_[OkvpiVN[ZB$H+I;,a2`r5Hv^k] })3ɐ=mӥijay(qrwQjfqX5.H5-|4SYD"Ws",#΅7zIt ̋#OELrtd 5Eэ@I2m (c ,f%A@LBÿs(\&kvZZ'2vTﲽmB4l;# S^]"ΐLv\73ht3Ł[0A- eWBz eH8L+ڇ,2nMybn7qALW %Z9e>7>(Ŝ8ҳ آփPUntZG" e^b5Vɺ6f§cx ẂA3IcjHA>w-( VJ_cg W쀒=ћ!~ h<32SZc55D",jcyۧ-q{0樁ױȔ|wSW% A$w![[,|54όF#X1ƢQ,+ 54l$JsxbFaGJmaKBf]֍2~C>f䃀xX t>]ͫL8:;Ő,U w+,W3 ?LIulkTD 1вc 鋽{@iǢV7)EdOPO oR@Ujh9W`[tzTFJ?Le^\&\UAPVvk#BGw#L̙ 8YA_Q_n+`%d7n#ԏHx(ih8Vxz}6 <C[u\w mUٵ}[.ۀ *H[Sàꍙ'+:(U5q4wBᡞmRY$!]%h+"[钍S){_dޛc$ 4UtN,&@CDi`\Zyy`k Y,3GSBhF2nI兤`Z<~ax}<ݘt6/k^ƣ+{X+," ~XG_K*dS%xV߼xg%WxO&dhHSps[nv!$x$ցIʿ,˧e2G.y# M‰KsAr&08Un2xhj]jLFziIg}-8X2(ƒo4m m;CBWQ. Jâ١xuV`S?"Ta7̂_&*XOH)#e=Pb|>i.E6)D'%X7K';>|s51;q0R:iHG1ߔ|%xaa>%"Dh>1.7 mJaD7[?N_l۔G#(Jm@+ ;|EV{_Yek'Ѱ׋Ɨ ~P= _5kXU3IÏX4WqjhXý̖C_8 _S!\6]F-?6FtV<ʇeL8靽N ~}|rcC鋼cE+%8˅u$90 n$Myѓ>ҭ+6 = (tD*@XpѻMLˀ0-l<[t$ w[`p^Dmf>}2ǥF80TSߐb2Q=DEV 4ߤԸEc:AYPHɄCNeO#fIrqC1.Zy_ %6`%2ظY: ’Ԇ /I;`X e@bcy[m %@wcJne=jXzCϒb=ߗ[: ϩ9P \~ˍw/Mgml/d| O4M:&T(ݒ%wƲBn/Zil]]ϲB檊W 1xmB9mb*3%?} T) SjnY=P6>ۖ[xxhќ\"8o)ɹ["n0MH$p`P>.:UtzyʅIX H?7u{_qiXLoPt-pnZIyp CV,ZP,2̾T-VQu_6P RS&Y9VبIs3(=Eeį`ix2wr+ ggzƩ}GMf7lu4UOfv}NW9W#Eo̱͚Bu:ōdɇ!j@ :mcF3ui;ƘE˜ta~ [Z/}ƀhc`73;ظγ'筝UN("e2 pqӓ\ rK%na 3Xav)f㕳&ˈd;KV Z"@5)xs#V+0hW2 =ULj vV>RzHFǜcX-Ws>hT@bF¨7|?v'A3u>G9j?L^X]dCGx1# 3:(٩̚/BugxoQK/ y#ؚ$M}Q̅wD8y?*E Ø= a)ް#Vú˝zK_9-nG Yu;Ӣm#\4 *-.7aNl8&mo֦I{M-i+  !G`&i-Q#ʀocܬFpa;ߢӘX\[K^[?)N# ^t`xYd&}۹ZCAcx]&*@DL.6WӵMKIZfaMҌ.OL߽w$69,9\J̅_북b' k"\1@ iJ~2zy}^ɷN ."1a}h-AđEV>P S'wmf26_"bq%:z.N:eԧOL;Q\ &W-$D.]%F-QFF=jWʔ(WN^ ʜ]+`6a$ "8Z g6IW$]j}o ؝T z̽8Xǽ="=P؅JpOx;X7$\&Ɔ7Oגr@PVL|^۸'$:J@b(DFEڴق[Nۈj0g)OIL|2sr̘qqj߾RxHmfm kuwF"g*͏ZX8tA6DOX6 sr!Av,2ș+522,!6b1߇5~|Ϫ,EUdgp\]i<񡩗J36"='B9"[g.%!ꚀE` LLvBE1^?U*JW@26CX #>~H@ oA#0PV:>ɩ^BSQ_ !7Ly܅-O/)&hf<V24wAXŰQ0C⏤^m(>_Qn"챠;Dy<&qخUTw`Umvm3mG C`QoZeV ɭ }^CF=sC T'"nj=SxKRL:鼧:._p՗`wb,lؙAy΂ k|sVf8|>]-ֱ[g .IEuKl$&KgZ{NTI,- Qrcmm [H6p#F$@ cߜ,?Fw)o$T|2ζd{K; Rgb];%'wAºM,mFCƴP]r}V[ XxB7tc9]tIœRFd]Vs5P\2z4jK@g ibkV<1mw@)wC5v/!ڙ?$|͕E@Q bEAՙtU L䜫8Á:bUXto:Ҿ S>*=P'i;'~2#] y=tj{N ˪R6=ze{kf!ZM ԨiS> z%OK^m; eBEU#G uр28N+ 㼿y!b9J}}0=PUqocnMb2g?br'k걇ʨ)'B`EtrЕPl n-uG~u݊Os/Lw@ڶ:ÜڼuFEedi܃V=1%j0@ TК3 h0|zoM@ +W:ΗN&{b68 d 6M,P߱R5(#X3xziespc# TvvIE|)-\}G}mЅ\E5O0J, fA=<99͹zlw*q8?DaU ϜW;xAiU(Z2k;¤VnWX#&1zKqK${DPhAgfZ3 v*.ŠnʞW57wI!s[ t-l%߃@5P#Gq >8 ϭR|y FtW$eȉUda[&C@&flW5-DA޽pŤvzK ~>k]xaBƓ 4{dVzi'q]P C-{˙~X)?v^nl8uЦ, t@\!< I?~)[}T4AQōE3}B{ ę߱ӘaJ jA-@Ș뭧Z H8`{mħr ߷ ZW / mo"@jt*FOrKMkz=^e'p7E 5-ԆYͷcx /'G_b8JC6=a0"Ž Wwsohj~Lpx\+yrw.%ᦝ*xߕNX9*?ҁ(nUL&jd)m_ .[EؿgdūdpT?HufyQ26`GJ()[m#|=Ly ʬPv4Vdf]@ ]0 o:<y<-kC`{3`imB͇ws-A+*c{Kk07NIpa@N`B _*1(&152mv'0[-nP<g2Wd@nɱ4ۆio@I1Ki cB˅;S ! l{,D+0(zǩJX텰'\&HJlDBKQBoyy2=g Z89+l #*D#..ͬ F} Do1&ӰR݉ŌQeu%]ToD "7;4sqX'!Q7 )t[{|7əSZ_qzÏ)R6i瓅.kMKCO E3" 7&Ms^LO%6TyA]veq es *݂̭ZO lTYU (WCW-7#d;@Lxty(:os[ 2Vk\ϕ幀@h} YI(J׹ykVZ[ɧ!lv'! ջsud0CB~7.**,h*YoM>'3-=uNhS&7"$Wu(c5x莚Obk5, 'ݸ}eߛOfWj LX |^?$g@:w]r)Fj w^jd8O &t\͆KjR,]Ԕk"U}bj{|UJ, xH522^%vjf,rToiȽ30P9l>ټ 8lwsP:UcXV x%esȇ/Jq9>w|>, -fOiɜD>0aA@I38-c CUvlHħL-zIm+. pŠNGVSjB}I\FdN6IR{uf”]$l쀈!Gu!!|yAM x~ťF=j#0pEwW ȝ,:"E pE%_7c8C`}Tպ|j|*)>ŤЏ./<ӟu+.]L8VnWEɽ0̦D!I}@8ܷsT3W@6\ČT\sIڊ7eݧB' [զR-]y}V؃XO^{_!+)_+"ڳO=j432x2;pLz臩|'7'7WڒuLiXhmkz۾ P.V wҎ0l=ZxWM~pib6 6IYp2#He(DBBᦦnhI+ŘWn:['N=A_S)fPeychҲ(`c ϩFhL@t4ɰR2ןX3 c܂ݎ=Ol*̗o8rx1εQ 0?<ju/ヸ5Z3=ώ-b[d$KKZʳ*Hj6J/RkprhNk7ʟFWRjyV\M&$7>d>YMF8H^!kJu]^S6EqψP=T\e!+Ԅ2Cei}rE|S9A8S ?H'͠`=Z ((^k:OQhMxn"-`l@,=xlBtVu%2q9 ~J m'ȊU [O?g"vˎV\CH\ɨdŤȁ;0YZ tt|s%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4$q # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O]#-}NA?Oа́6Vc9g'?[nK;?@{>߇Q>E%.}il-=0ŝ`frK*{Cph3P]'eg9}X:64)v}uSL\&Ҷ_P\f(f>6ǺoS7e:yv k+;K$Wzk▹V<8o9wEye {sI3<]r T~DKQ߉5~S:ɔ}g}TƅWIG^8#I/2dA3z^⎾]͐PT.ͥ6V1-7 n;7 6W3EI췼ǸB4z}:#&O^UNrv]9uQU6S"[J9pUUO͔glVYq>؇Vn#چRȵ #$'0]6)*,]mA&l܉~q'_V/լ]KW/y J<-/EaњVXq{XNWCͬ63EwAZ]RCe3v<=IUHr6톴/Jש.5q#2`Yjg967DKeeEXq,&*EC/m}@hscHpzr `#/==%ZԐ^ـ5R >gvD9dŭ9h=/ǏTJNkX†:''ZA}![u4k/uO|3Baˎ@<|ߐg-X)I& {ЛZk";?V;7-ܬV ܘ;*pkRɖAҋV]Ƒbt-K39 H琯篣OwV8!Men/Y)^qWD9v[{&0[ d7p~}i|hw0}/bz?T,WrurX+'ؐ9ӕL3–5;p&SF앐hwnkUWl*C~:=~}h-ߺ77+{/݋F_&Y &:w'!.6}* (OK#G[(ŅI{'F#}*6iAQT; Ue?c>6:5LDkc*%5>,0ߐ@UwhWHb>&4?Wx/5NU V I{o\\r!"4 .u kxÂ_΂,MO2&bzgdH(U i孼U'J& D%lEQ蔀#b>6z𘸄`L}S-vt+M; Xy<;L`iw5k4qG5gsr&oS8"Xeu(F_nϝ> 8# A9y[T\!0`oJÀW(nf󹹤o(P9Jw >ir]l^v=h庺O;i[H4%Y?7a@U ת1Z6@}cjq_o&>X%ͫ:ҢEN1[C:T=U3oW -ƏX"^Ψ,`UU >*G=ŻF8=IB:4H4{;eL=QscF!~k jd<ؑ(Fa$bLHgE'Cոj0<)TXsٝ0/B&Wt'9mEwd H>pr3M*ޞѧv[:(WSuuN~+Xj#1MҬ__7_ ́8އ: jk)ܩcrrFտR8)-)oQv$\١f.q`! {΁%sA7"&Ivo Uh4vcfnۭZa;#mXd+iܵ"$(#( qFPp D ߚDܚ'@O4a\߭`X;s8),)ik^܀-iPŨʜ@,9HqMXp.pC& .V"לc# 8B10~Q-W2V'm VҶ`ns@[ w+jHY,Mym^xo+A?QxM aZSϚ-C_y?5~x5"K+jn  !V;m8NzitK|2 o^֨^Q?RxuSrE>|~loogt ]czLMRP mtH9B{*-xr?rcK뭫jk:"Sڵ֋|ijZb)R`+07޾!?2kΓA:Xʳ8TM:،ylP$|v <7\X w\ m\FEKn{jyxn- _Arي(pZ ` 2(}Vh1 =/͒( سdEK+1G䎓2_M33%g+M*fh+Dz(V֘+\ 32D>yrJ]],oHx09߻n O X㰴o/a^[9~<'z|  3zfj.' mI{/G 7 *e7>\U/h. %]vB߽cDd'F*3;Rkn\m-;`R<гܗdP82M N,V: x-1ھދuV+Ok9DG 0,l|lrYB-efLOZuU tgTo¡{tw&w0(e%?ݗz$xgYZ$$ 4e-?&n9У*Q±= ) ?%|ݾ4bj$^EbvA݂ch-"g 2ZE¥Q$m7TA+ 7ڝW'p\P~@PcMNyBq2o CK'ZVx[dPvU9ޘ #AR TZ,['`FѡމzQ_վǖX$h_6pUY$ ug:*mȰ UщiߥMg32vSY8_!C r~;0iXQaohN.EgcUUlvcz=jd>@r#yOܺ /2,Z۾yGCyEVm(w?,1@ǖ2n|K8ci8QQtrzëtӓt+o՛*ݱCROF͟ l/ٜWr:.+F.6[~D4isz? DWi+wDL;S\^EVLTZVۊT:Vm5~y:fR%2nZig >~o.9S>ӥފQcdH+öEcs݂y 8R[Xl}ۄ&*@smfS;~V%n;j@7*.^VA%$'Y0upDkmgN{jU= 0v(`Qlj]oʴnnXtUg{ߑj5ȬG-e* j4q5вCg_dkw GpF :X(7MY KhyoVs9cx:i$ p޶ņ.>t.[+Wf 6PLP/4cc iJ:a\ZPzO:2ٲۛ.HPҺ3v??:-k/0ڿqsr/;"f\Ţ`l71v>Dw~究sc_@K>b5wґ7jqGwsjQatg1CDLhCf?7.D0ʪ#`QͿQC1Op"SQJdT;.:߇țn4|%"]:_xWqJ@sHVփHzPt;qvSO%.d1q>yQ熋5E8et$؍uwM`eG23LB?\$UR|rӽ}f:7IYoCwSNsG] o%*,VKwiGΞ^o4h1uCGFT~mBC:8V0ir4}%$Wȫ΍;!TtrS눷\=i~ffcaVMkW 0`a5=?]8c;K*O S-/k\L>Aq2[ΕK۽ |7ъk+iѵ"+=>/$bf<$ũo>HCۣ (TCM{Y㮂,|rU).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zImg@|0 &XT܍X)XKϺCqH|hq{)d5z2'E [qRcvMiWv9Ն/䃳1(Y#fY1di&diNg> ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂuK`1YhP164B}׳׌j[bGmu?Vʢ yai,ֳͰEGPu$z;!