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  pTL ] ]Pure:threads=1elapsed=2.003cpu=2.088gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDz`P=Zo4lOv %4Ix/VD h/=Q*1#b߷Ԋ-R,FrǓ]rb'D Z?.#q~ygYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqa{Iog-H])l[P̃Df)ʌz-{_D-{5i'jڇѬvkr㶱gYZ7zXZִF!  ]ŗXi%J_) kZfexvHr{Z9 G>R©{[br9u QQX/^OTVz^+(GJs#UZ x$E1vE*ۍ<5y'h5ܘO$drÖ ]qyHm4 H>AaH4-KףFR+9I KMu7f_/it<ȤEDbb G~͛+ B?th&EeuHysoi&grYW&dv`Mʸ2E@%NHf]cLukϪp {2m{}ho {^Df9DN*e@SM'PES#*.$ˉ:UmMWU]<62{kB{ȶ&Iop\Mat.!@ch&ԏ[IY|(LМmV1e6P?a ^݆x~iU[ W6 yzm\OߤztQ>j] { .<,/%OӮf> K=G%Q}FC~!cYn$P6~HXd[=\On?sXg]&*XEC<2͕InTz4#;\XsD|RYl{Xt/ eZnjSxvBZɠ?|;>¯gYZ6b03f1b3a3899456d0989ae9f89659d8621110ef52519c7bb622d0149ff1a65e75361161de1fde82  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?'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/43940g%PurePureproofs/43936f%PurePureproofs/43932e%PurePureproofs/43928d%PurePureproofs/43924c%PurePureproofs/43920b%PurePureproofs/43916a%PurePureproofs/43912`%PurePureproofs/43908_%PurePureproofs/43904^%PurePureproofs/43900]%PurePureproofs/43896\%PurePureproofs/43892[%PurePureproofs/43888Z%PurePureproofs/43884Y%PurePureproofs/43880X%PurePureproofs/43876W%PurePureproofs/43872V%PurePureproofs/43868U%PurePureproofs/43864T%PurePureproofs/43860S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43674N%PurePureproofs/43640M%PurePureproofs/43636L%PurePureproofs/43634K%PurePureproofs/43630J%PurePureproofs/43626I%PurePureproofs/43618H%PurePureproofs/43600G%PurePureproofs/43596F%PurePureproofs/43534E%PurePureproofs/43530D%PurePureproofs/43528C%PurePureproofs/43524B%PurePureproofs/43520A%PurePureproofs/43512@%PurePureproofs/43508?%PurePureproofs/43502>%PurePureproofs/43490=%PurePureproofs/43486<%PurePureproofs/43480;%PurePureproofs/43476:%PurePureproofs/434709%PurePureproofs/434148%PurePureproofs/434107%PurePureproofs/434086%PurePureproofs/434045%PurePureproofs/434004%PurePureproofs/433963%PurePureproofs/433802%PurePureproofs/433761%PurePureproofs/433680%PurePureproofs/43284/%PurePureproofs/43280.%PurePureproofs/43278-%PurePureproofs/43228,%PurePureproofs/43224+%PurePureproofs/43222*%PurePureproofs/43168)%PurePureproofs/43164(%PurePureproofs/43130'%PurePureproofs/43126&%PurePureproofs/43124%%PurePureproofs/43122$%PurePureproofs/43074#%PurePureproofs/43070"%PurePureproofs/43036!%PurePureproofs/43032 %PurePureproofs/43030%PurePureproofs/43028%PurePureproofs/43026!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 \ +|\q%% TPurePureproofs/431247zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]xQ6bF*L'km̫쿹gYZH$% dPurePureproofs/431227zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430747zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Ed*ZˊL'nǐp`NѱgYZh"% $PurePureproofs/430707zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wFX ;?aux=6ka0gYZ4!% ! 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/433967zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ӪealX!Ҧ(@eCzI)\0فxyJn3agYZ1% PurePureproofs/433767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433687zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A΋-AEi܇ݙI9 SgYZ8-% DPurePureproofs/432787zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1,:{F[E &@HgYZ+% |PurePureproofs/432247zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'i H\%gdeN VgYZH*% dPurePureproofs/432227zXZִ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_|p-CEf%z$+6S0]gYZx&% DPurePureproofs/431267zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&Ér8!P@t?R#z>wqfǢ&zFJٰs?.fMAӟK~U%o64_w9Z3HjS 0gYZA% \PurePureproofs/435207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPbQ kIs}I agYZ(@% $PurePureproofs/435127zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%_u=Xt]([{hwY \gYZ?% dPurePureproofs/435087zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט7Ω| #*h j;8gYZ$>% PurePureproofs/435027zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/434907zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|K1rġLlf>>t@O vqױgYZ<% TPurePureproofs/434867zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+~Ğ-ͮ&ȓT2=gYZ$;% PurePureproofs/434807zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/434767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+nD69EiTgYZL5% lPurePureproofs/434047zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM)QϊJۺ Iɉfq]]Uqb&-HgYZ4% PurePureproofs/434007zXZִ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ʍypQe`6$GH$ gYZLK% lPurePureproofs/436347zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&\_,?Np{ lv"p\pX^*0^LF")+fϬÚgYZJ% |PurePureproofs/436307zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛwNzX|"c$eq5洞ǽ6K^5 g0 gYZ\I% PurePureproofs/436267zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z?[ յ *0"ى_¦N  ?igYZlF% ,PurePureproofs/435967zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435347zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo=6m7zרjĶgYZlD% ,PurePureproofs/435307zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^LH 8M:$*% BgYZDC% \PurePureproofs/435287zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zMb #M5=X\]OoO^pő{W8)" Kgo)3gYZ  8 E8aatb% ƶ1bXⶕs_|lE5J?i9@Q?%? ]3NgYZH`% dPurePureproofs/439127zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E٘@MwsklWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439007zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/438967zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/438927zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/438887zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438807zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438767zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438727zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438687zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438647zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438607zXZִ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   ( IW0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZoh# 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ԫ .~SENnV#㐺ە$6W<ظ!Pm` $Pn9>G]|,+x-l\o~ 1;?kB bYO)' r~  a)UCZ9 |F]ʆS.9cع僒M k?ѳV2bUĶ=ophO/o% 'z:f 왐$ZL"9ZDO."|g^U?~81a r_]zծxZ ԣ`aC r1 EU5BA[1 t[0lj>CP~vh9K0£'0'%qXI(5`nI0 H.&NEEoDnVyS7 M7-v8 xU楑$S$6n< 3ZQ@9>cOGf^f _]Z #!+MK(jl&V(p?*Bm/9RI}V &8QZ4 -O3I^`~;o՟&xwGj> pn;Aǒ'=JW@=r媢a$A4_ń{g A}"Tl%=$F6$upr,ف\B5=ey'KG4eCKԫ&wv+iۆ04tլocRCJ`Ӫ!&Vަ>aJj(yIK@0Va()h ?큱-ڏÙ3r%L@~O# ʰ;& | >e! u_Ёy_7cMIyRi*(s+yZt|_sI=W~F7/b'NFyw!5[nUӠPs?6i H/ `) O`CCT/ "Ǧd(3=wBuU a#M'&j ;m$DѬP*;P8rUoǡ .e_p3J$WXjĶgYZ|e% LPurePureproofs/439327zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g80?g6'8W#W`n ,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:% 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 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?8gYZz=M("K8U{Gh LtTQ-^G鋏w\n)_c NЄ]vƱ^6fê{Nq},LNihKW@]1I_$H8 Ɛte\WEo cypsَc`9TZPqu,By_JZ.j>2Tu/>(&:%4t .$N E彗t@L"iRqȕ5תPBߟJ+ΜmV_0PW\Y(鱗0XNӄjK {뉎j5+a/휀w~ A5VEM'_DH`F-@uP;{ϺͦhNtWL(reȻo}Tur7AҜ8MG4[ `µKC9p$a+2%%C3a6#"0XQ|9ؒۚ8 K5i/ԏ/K G>eŁx?*qEnrК]7tiGև\ڑivpv^bgE]d@B!g,rdh:o.a.`匸bT(~hweӣF|/Z8h< e8vvaY~ns2KZVyjW2’ȸScTas!bhm /j S yLǞ"_!M3LDֶ)=L-5B~ʁ;UҮC- jtT;w܃R:c ^M)rX~r 7W!7wtd3tZS|$'\cB+-_nhA-h zg% - @] +aJXbf` vA 7nL› `IDj1S8I SQa5n C+ciYө (]xF1 ~!_'7l ÐU4}xЪwWTHDHun=)^WxN>^OB-;M1A>Oc1%o+m{HZ$O]hHT;[ ū x3h{yn,o0qFb n,tM? <yUo 9qeH[D #00֥"ֆm\^E&L4_8ۯܱ#|w".Sđ&1nj4[V DP+[ [Tmbgr&Zo˫@tT"~qJ^]xb CoñX%ҕ}.G!_ U1پ#SaLM6k*7U0} ?bMUƻgAǎ@q}OOU-QESLZ\q|]F-'ԐR9_yuKXyӁv]|r9܄iwv Ҡ}JG=2ύd/ p?G* _u;M. }u:<R|A_=õB|?/Dz2V}}WDY_H.ҠHiO~L̴A^EX5K|}9'4 ,0݅2ˀb '0eW-[[{h#>Viw9=2x~:pSjk} d|K:x?0v_BLv8eN:E `C1j٘{Z~lMY֔i5#S76DO܌$˒PؽVa̩> r/'3 >ݙJ1KߝX܇;أ;$k%oj ea&I #f&*r!T5l@_OfD}K{Vߴ&J{pF9}qKWpa4u~Ok8XC~ v׮՛n)-G ϟb\u O3Q4 D#Jz{PΞ;HyWYNtHPo[|7]f]Zm赑߁ڗwOd{:n^iA$ 7V\f@kI>ȸCqO'ÙZ$_o*iG X);L9|[ˉ\=u#;ŧZA2L}g yD  Z:$ N;)D ̃/= p'\FtFUl ڏ9HQZz1i2w!s`lң6g\(ɮ 2K1') =x+%"aAμnj{pqiKmvYO2zNawfԵ=o/Jl2TXQc5]Q7@at5eY)1 c>;"]܁c [\*85#R]OQ1iA}DnXY`&Ir,w^aߔR pS}ruQi װ\Nμxc3:?aoiE~te? fc? DF@BϯA@Ց`lDݺ&r0@̝/__eݠu #ǚMo<a>r(_Tb6 !BC_Ɩ2G7rvIbڶ'փ^;4sƘDJ.lI "44{iJRm*cV.rH9Hhz?\C&ܔqO cpYO[ ao6FU6:GZP7trjʔrz(ckFYd~aGCZj.c~ѻkNոs1{'Jlt&7Ֆ5]_qTUhݏt Kp?R/8aЧ[™.;%}h fto: J,C(6:Gwv%ޭQ𜫍p_L]q,1^RWh yk"+{q(  "GGIEi4>0CvY꜐DJLeAXlgE{!:XX:Ak.{ qWCU }i' XHwtT32c3i|p(:L\T>?>|s 4%z6Xi›.M$n谆 8ˡ֮Lu/&z ! `gLi+:M?MR`ͥX]]ܓo*!#MFx #L֦"9r"P?(zr$9~gac|:VʄeΕ ,ӓl}1$hure*g#5 {"JN褃Q~JeDJrFe;ex4Iw`oA`gw 4%2Lj0#4ޞ>Dw0*ȏ{ j7YYX0vp Ln΀og2O:E!*tkq<1[MI.Hj=CסMNZK).Y xs3] k-^V0GZ<S/@W},.b>WǬMZ>еo?dZsiNsd07*<>@mLئ6+5G\ubD$ SԜ Q%}!}Q/AiP5쁙׎ vVtw\? 9{߈0ys(DL: (׿3|G,W?1;4D6Uo+()圆v~y w4r}+ &fEͿ5or~dB9:P+=1Кshb}%\ SS꧊p]CoATD+8z 1ߌ;؞2_q}eŖ~W<'6.;SwDկC#ğS2IQWRL8_gl}+ 2I(57h Տ0{Gaz_:qqu0n{~]YVnS=8@¶6`Is'oq8-B t}yPl6݌Yώ4CxD`C~܆r<XZ4;cJ2b&@!Q DNJt>팾/n=wMKX]djL 齋wK`qpBF0_96!EϪ;VVr[^_ .OYZ#^/>?+֘B7̳CV0vۇG2AĖU؏|,QwA;Ij&[$ ڭ>"dW ty Us-?]= M=4]hd_/-b^ffމ pTXP` %{CfqmВ-E HΐFnhL&B]-@>V 4!YGsXAs'< R-d{ǾT+`Pj(U c3фK&K\<XUUxcj1> 6K:pM?ߺ@|uP>=#AFM:)F3nM 1fUVlmkV4h| kr 8D=b*kwLIi[3Q5X?:T/ 474]%փ }X7M6.Q.BCT"cebt$Fآ& <[V{d~d將vO"_؏"3B:(rfΘVػ`3LG|[b-at0TT7a.H{CT+SO-Yˀh|~Q.If %Zv&Tcݛ#j%4ogP4`NAP ֦İCKG\r=lͻ!g @ssFt9rC>ȳޕiRa:H,ɭTX:ry47OQc ~YaUŔNhL ! #ȉJ;2tT1bs\@AXL^1jk-7{I~#ˁEJal%T5ؓm5[QbUւ4ѥRNɘ $ce^:q߁l%CJ{Qk]c8$#),M, z llj/\[܈9$sӄkhFEtX]ᴘSR"OGr0ֵ r;Q @A|a[ U ?fDI2n ؈kOfe$JZPogҿ~ UԺA7llĞSI6x]rlGb95/[cmZd9țSdVKp/tVr F?P]6ID+8XQ8%`ޞIoi|U~QxyOCq݀ғ樋0PָLCѱ<OT.;QQ3w\ݞGe\L@^jHɨ*~>R:3$"_JWJ`Kuՙ93߮@"c^PdR%bzֲ}}:kpݱZL7ttU<ϩϵ*0N@ݡ-~8҈m #G 5Q?iol\Z =>)ErԎ NqbCӖMwvщJkb"~93y } Y])=Ԇ`϶$ 9KCWV°ۄ‚`ҬO(w_;@pdA6 [;98k\4pBR{9e:p E:} g%wx E7*8 ӡLn#^aӿҬ.k:Ӹz Ű5 c d@4 炛"m[lS%BwyNK͠G?T8êp1f&΃,ޏ?U錐cFqz "SKKrv&0Z~]r=Hvxe^1rMsLNON MϮ)PLþQi3wQwm "Oy!Ә{#'?7y g1o_䛻"gHBJo q P_wf=Vˈ[Y,n 'Ry7Emߩ#fNgdU)tߌBE(#E dp(աHAeoj|moP"@7 J4 &TyO~ṣJd3Qa/Yt7F^}dW`KfLCL&4nz33u([!ٻۋ_u!;RX^BaQ5mP ,<#9< 9c/,kJLN+k襅4SߤjC:[4u;F'&>Fl|Oz _} ꗠ Kǂxåk>ER$2f;lw}4yֲ}5~8=SS9&l̿1ۃ{*ZcLI#2%a[Х_Sz&M0W'`e Gw`j^`Xq.#h_Е/;׏4;.HKh  !GI^e P=}6#,XN >8UQCckAo0#?H {ٕsD3 #h\ [_Xk! > 3}-ZJS=2LQ$PL~׃l=%}6& STV\<D9Tѡu{\)GL -rڕ[OEA=f<1Rfr`Q⹆Jt vÆfT1yfeELWn-ê;q߼4yH (eGFQm=S Ȗ]bF- M=QSoݖwZ:vxr\ aQ/GqO08_$%h@Jn’NR.o[MBT"~'4'ѷM:ڎBѐ 0_WRU>>^x5\)b  4?J)rp$agC0k_`q0*r#2]Lxں}1#ɫ.:ZHELx.cGu6GVSBIPDPl gZrt"ߖ K_eϠk`7@_I$AQ) ZvQYR(P %ʪo"8}'AlƕCM z;T|~i5墾Uұ6G ؁);7 ;D4]5WʖO-r[&i.DđT%M ty{.ocw֨{/R^]02]d`%ptE"(:a@ENXc\)ik+=}-ᶃ'|k= $NmESP=ºM‰P^u۳2yJ8z6HM_D":OIol%B) }Ԏ1F/rL<}03J` 2ʅfC:wlڥУyTOu'L^_DE1^#'֡5m<^ [nUc# k_!ul&? {9}; 806 <#z5 L  c-:i($Lѩ?u[s_|(ցZI-:B'MHxߋO"^`rK; {ؖĈ{9g*|=U0SPTI@% 6{QX^z'!BȻ2ea1etLgԈZhy:xZL"RaifI\o!dc"0v \"`r#hTnL||F[_4ORM~@0%nc V;V̈KdO[2u/J,f6y/CQuV^e,6v9aTgBa ؐIB-NjhR=*(ڨەXes!w.;̬<׾FJ> 8x*q-Fh4f4οAtNG`w:s=6@(8#{wh΢v"'ɖ؋R_^hE*,Jh/&a`ũTq@|~q S(b##Dy`'5#rvU 9۲xu CI$*zylz v ĄBl,r/ʚt1C@G+!E =rvcTL3~7갚uX43Ltrv'Q>7^XAڹ%2+;Љcn{>]"$DCQQ^qֻ4*?x0o:|׶j}GZ{ZZ xG-ƗFcXP ělwlJi1 ,T%e d<ҢNf'sހ;b.oA҃cՆR)8/Q&/jxjK#Jv:@ rLPU0C|4geD[V<z`^֗~R9K$ybc1nO_N4MK6|/5D.N*7Q6! Ύ&1jCx%Op{BmQzgx ]S=XI/*YS9i2n!ppB3 $֤NkBecTga->U7C3 DH`G٨CceFK 8 deY6Rb/yJ?{Fcg =0C?X8>U,"@FBh6q\;Pl?r& 9=Rʧ>ƤV(];UsWx=@<HVQ$Bcҫ;1| hQhX=fAMfߗ(vC_"Og8 7MLtFg=…K\ZxZ[asYC1hܻ9n*Wf@3g58kdG.@AC0<ĥR5Bȣ 蠘v[yPWp)ʧhqF0_l9ޯx`gr\ w>xrva箰+3•X ]UҚ:_ދ#xs(Od,g%lD {^! cdHMP 0`HoVkY&K6޵"|myI`t !s_1~:n]ZbH=d߄.O%P'5̒  _ֿl췤@Ej/> HԀiSpKC}W8<&9uXn8-YcW|2G2B;z(?%%ۈV$ONFbg~ܶ XIvvY꽋ͪ0T3`»[MSIDp Z?vQ' |ˡκ{E7`$NLWplmJ!UH3E(kͪ.5*4*Y Lmc#aE=6TcqřZN2\->x,z?ҧV361%F:h|كӆ:.d5nd+xm`1[Gu ]k1gqqhܴ9<>o2~o3ydD"epzF Tz֗!?;?K{;-'xf9SfІ "k0{ļb^-9t 6\olfR"M{ O}b!zGCL&W4`(h"U8@"DPM;)4ix %e|%gWL$_7; f@7 25\x *5_1 UwyO >V͹2~Hl, +V>(22\U.}_CC:nqP3@3ilc&T @)}hM= IOvSI"V4|=t`w pAvkOx $!Z lR_$,Jc7 `N.L >\,:Z Gk,zr"p 5*G2٭gI,@z?Q51B4TV0"vVoB N2Vn֞cQ\)%Xƨcgt0oɢ֍Ciu~,> x&1+GPbm'ۊYDڹ)_$ƪIӻ,#">.(F1lp |]?(nM`ew:TͿc,r O%hUGb`U{*1;,jxkGxQizkyQĻ:{f?0MBȔZ=qc!۠|?V9I dڋUkĔH%rcs3By"i',S&}ݒ`25aL-APz8!­;KÚ:@w67&Fz ^]Ga9@ֹL`io_mnԉe~R1EL~T4cScU_anX3r zC5{=RY?ܝ%a"hS\1!2-;_8t]Pޙ*jNUƒҢrZ_kνw2Zih`T3_^:_?19 N >3U5nw 8h1B O",{ÿTN ye=x"pk+s(m|n̼ip<؆-.(O`:b^:oDىhWJZFgN6՝S_g#)C?eEֆ\b\\n<2Ea# B>Ȣ{xַ3FXC5N}>Ma@6=:3 V-$ߖS zzbY3 bÚ($T೜JeҕIGw?)?Oly]|tk߁.޳4Mgp{j/0!If]-Z?)nyoIU zaգOb:&L Vij4F?g_i:;Xwj'h&X`B$1¬J˵jB 6id]>%#?g~$bi/]`КVP1[xy2NK%&TPjYYzOJ1Oܿ8{k\bpQjcbx!"wc+S]DlMK{fw3#5( Y r^ϿOx?cJUMo vX zsbi#d e_> JWc:ʰm rMVNlcQ|f0_N! Uqے=5vnh;Ј"(mٍy8V+yQ5!.Ab+GaI1 =|rz4Y*\)S͑HA&?{63iK CvC:gJe_==$Xb7BbQaNҖvԑ. )9t zP7qI6⻒nFS5ϖbL>򷜍H3h N!wThzm3Ƥ= /¶_u J^JW<-bJ( F{ ]pSgg,̀ESm)cb[Iuk,H} a6J<ҴA>CjœlX ?M̱Ƈqx]T Qr@Iu_&3\UQ  <_{UcqgDמ,'YIVB.pmn험!a K1rʨ fVkE aNݍ3eDC$JgU)}hoLdRNjC@FL |eaaބ{׹Q~tN䊐v@!ɏbܡ‰C$IaGJ_%5=S6~&ENi$%UI$OAngm©yg#k>HkLRl &~L ;MoP7m tT6>iFtd%Ʋg"f#R8Q܏#{2k4g;wL+㔈 MC,@JE$~Mk*GHՔ.( { U"Me#D1)55@^ ^@Ӈ7yt:@Vw5Yvw^8g׋=˸zÑ+ߑ\6A 2הT<i«T~ƞ-T͚c`z[`W4%$!D7ITS(LiDu$:ճ}-_ }G$-6 zKyRRu~Z~0ȕZ/K|HLO(8:R[gV vKi\߭/rYս k>ckP[~d'Dr!FGWh{<26{Cw/n϶SS' ^τ{xm%Tj0Ԩ#D9̇҂#SH+9dꉒR5*4}d6w^pK5`qrX?$&̴J jgmEI"J1xςRr |Ⱥ[SI0{$P 8f3v-~I8j)Fܐ3?꾃_Z4ITj&sJƉ%z/d jYZT"^(Vp$Rg4LzR̹7pg/u cv/(y#4jٵ;@Vu78cb^:Z[Sa3)@Atujp\q>? ۗo5:8VWʦҍa;^PC 1%ʹⱣNѼ+ܛ 4KW 2ּN5_Q~~Y _:6s\/Z&{Ry"0$ZGݙS5D__o= #L&^- k H.iQo~*6nD;L,B 'q!}^˞PvEWLbfBf,*H^(ȿ-\ h&-\_43͕ƻ\hlwxPu-!eOse,)sYv-S^`퉂m<$DC2LskMl8yaJx9xTZ-N_ewLlceh0P(H EZS Cf ȅbDPQض7b<`[5q|&3ya4Ãf5C#j,jޤrZb9Vzm[Hp8Bo{7mZ, V`Q:d. %03y<"R#C<М6g-ှPbAd|)2MγӞd\ HuER0p293vkhbvMEedqܖ2#5~Q¤w~Q.}9!|8p`w'Fg=w9ܱa^p:CXuM!:~M=&/(ݣXwD(<0lATBns-.-*ۜ#V]n%W6>N'H(|K$Dx[e rneZfےC4cid ^yk*>Zk° yψ"Yon"M!s9]ۑ3Ҷ (5VlBU:-$CsՃ7KC4/ 4X9c|lJ)M%jxlfқGSBP~9E"2F2,e%oZTqZy$^U3 BŅ_ﴬMX[~s?Bnqq$ Gj/P8~,fm#*vsg^.F̈Xᦞ^P|1>d,R $I V**2gqweY! ?v½*$,Xߐ8k)seAqn ff .Xᛖsw' Z>cŶ;6KWXѿi2|#&6 Oݫp:)_h=M$g` nZ"/3=EP㿵%I}ha"k4H5ǻx/\HWy,\{NiG2HVS,TϬwq@Ŷ?|MDzݧLI]M{``5P|.KߧDȯF8)҄H-=YI8DYaꀨE~%a~T;q( 팭Z' %@0HJ=miG'ϲ)ԵL+2aY2+n8gY>* '~<cE|*U]b$&}Dz1}=ƥd:/!ɵ-NzwtJZpiaT' aA#'n_p;.tABNo8]2jF\s:-%]#p (pզPQbo .Z y.%}&ѕ:Gi!$Ưx/4w~>'s+ʳ7l(Qݨ\Rp6n#ݗׇ cyBSuѪTe֧8T%&7gj -|ҊѤ)3AO,SK);o3/;3:$1rn`tS6{ ]jKq\.>qcoʠu29L:;R 1^}u =NFt/MZ|^>ZMQUFd{G6Z Fu8?,\G>Wn C:ͼ㦗yQk.'NB+h9|Z6`f2O u9ym[/p|֭-.6Ζټ"EgD;>_Dm P ˔9bkb#=`b,Ѡ_u@_70s^'_{F _ Y}8rOzbN ub:mw-])>2kȰ '{T܄_fbLU!6<(>$(R.fHZ]j_q+AOs?<~aPo!mf9zfҬY_4Ek(KvUevW"2TRr[ޫ죐{}VN! ld]+Z!iF- 'QƠJ&D76sWb3 U" Kf>ރɉj' +_]9ZꁛXϱqz')I_wC' 9 tsd Aj[tp:!SE l|QGNmRF{1WϏ$nkh^<6&aRgJ\3-#Wzf\Hџt3!Jǒ՝ bls m= Xx+PǬr`&CN;_bd#n)VFE#To~Η72)0k5i싆a?b~p nFpz3Cj"he׌oL=%wRA!{lA(/UYU콐vK]MQX^Z|ø83)CeR} A- SlVO<.lc;Zo6běȃ"г1/-HsG֋혧E_RªQCM?[?L='%^fs4T.b&L=&^xHIiۡ Aځ ц' lW-+p=)JQj'2P(5mp#RF@.ptVԜl?k_;3"7s#4@Yˤh ݼ`q]_߱8|3hrݸ_jY}h.•2t6&kN_>_9M*Ӽ)(^W59ij̸/#_z_]Q@ dOw=#7˿ $<2 fzط:m s 8DwKYS~#EN|^۽zVXCf AH:J1?l *ňPf8bh^ jDe(J_ ;0GzeLi1i(ק(b3ǗOsC`bfrnӟL,N0Tėp;ˈ i5b|[HAŜcIWv^[u(ܳ1x志w_'o[kϛw*ieH0f*!bC t\*v^ߧ/rzq[Q?Eo99%sz5.%#VAՕ57nQ ZI#5@U.MzR Pyu&R<1ls(VOGRY~@d}ز2||&OJBvG@#^7$ߧ$*2yX˭P+WCuluoUtgI_*bݝZdyˡq{؈֘ye HΕ= KTnZ΀wB eAC< l>-tx˛_ Z*cȳԷ}jG.!{wrth|F5否mPV!˺Fp-Qh|Jz[}znT\[(VK<,sE /6=b[Tk.[;/4 ! CtuVG5yV-ws+FTVK|EwMY-"%94ژׁV!T6X.8upRf7Rͺ[ "Ⴚ|51!9HӤϨ7E_ 3Eho*46hd"gua܌YHФ(:-dl)b#]?'x<{ϙK҉ AaZss}wv፜!v-C&L6dUCj&6^IRސPj@D=!7A3˅!r FsmbeQ%znL1#GZcyp>!;3hEpYY]ŵ6&bbQWo\ .hnNs]5CͰ:c>OZz7'WU\ xy+=굒"OWlvnFIZZ%T^`Q3 d =Ŭii:^uh\MDALU"xxc$flõ({љ-,vUix8V̅6\DbJ9Vsk+vCm! ŅU$2QzJ7ϻbhc!8VБ AFڻswEGۉh\C3c%ivdݤY}edI$?^&Jr[\ŎT!?=vVr WXJhrNBa8i-)Xe(O |tR 7]SnӤwǙU4 r _- a;/zș`iΛ5/ {țm1Ck<D;>].&oʇ]r"?%(/sI DfJ6g9ryNȌٚ3rο'%%T*Ѭ" +WЌԷlfWq{Q-J ƀQ.Q2E:P?b&M' #sPbt{R Xf./S/5_+ c:‰Ԇ*P#P)&)t⼗f=~{؆}/s>&^A8ȵ5¿ث?6ªҚYȓO^gK"[ջ&Ǐ|I%\v2~[&mtKUk纎ۘkJ`{tѴ}4Eӌ|CmXo 8(% $dJ~4\J=:˽ԯqCjCr'VzƷuiA\`iK= w3f >a·!6` e z+v(&'74J E"VRsq3SQz#26 3uڹdS0m.Xy۲Y"E񁂗i[{XiBG}1v9duN87I]a8VTKki +g] *!WBĵH&\#rفx!%vB>QNEUw 2T1IZ?/6"uY_tob/\sI.h?]Zs敏Ř)g'5ZLJٮ>f޷nZ#* KA??qKW聊()gW0\vfrw*.&.~JmJR_$A4"SP].OS柟7 P\LI<ᓅBk0exþ;:mru ]vyztႉNU7 B /A"JGiz NzX#[4[i$ mhԔ$ p64{Q9޴ p# "Y pݶG#+ـJnVq<6SʼvPAV+i[>X9rarHFFvqmnDwJ }94VA,>xYD_ѩGYs&׾ʯn&xR DZauo|lp4kg 31 -5[Yp[2Zs,'ߥ+oSH `D6H$jh<1 nvRsO5~n@K+Kq57+9N[;rS8SOȚەQl6K< %뫨4UԦox1YST I@lh)+:.q{ .,7qΤK16 ƺr8oG,~-u0J}'x;a+.CQGZVJ 8/g{6ajO=)o!9mjoyĈTNX*޵mL[q΂y_];6_!ڪnMkŖNd` M;ѣȝK1+}qa?-&&rZ"҅tᑽdQݝ;]HakCVS17W&qk(&Q@nLl<}zL?B*2~SLQ%PdU_`V<(E#mn!WqϣgYaWGLf;gyaEsnBe I:>oO<ʟJ̚f1AӤ:3 iK,< ⿀on\U*Nl)p斧MNТ}5ՋLg; *`rKN,ih\BAXo[?qGZp(ڭu@V)8ķWmŕQR5v8g0;[j(I([L}\693 3Eb@!G%̾݀}LQoAZ]Ad(D䄺.2V&̦H á]WLKf9TA*&7n#b$⾺$\M2!9H.(orNc%Dm=4#JӊǘtR0>UӮZԯ6?V0BO:!LtoLo*SP: ]ea8n]l Ap(2Jն9Nj 6=?o$lEZrbx잳_zwrsJSRusj$K; Jۆ[sz^|0s;LFRCɉ91*:@_alrER5Jq?Iݫc.H?F2E﹍wN26{~K=!:Eqjci@>7m ^Pƈ1#B3wkFLen֏Aj(re"@a g|kNi^d) 'AB[оh([p !xNt]&2u' }`$4V4PQ\b,O Kt jݒВnՕZ6!ӔUpx*L =K}pxڗ\<28V܊I :X4BTZwP} $uɗ={/=pK5D,:kPF])derOAe.B2 Y g0Ͳ0HgcRODQRaMGWrQf!W@6@P9p;jU{IJnyo?ʐ-W(6$?=53k h'-gMQqiq)!I{As/޽3\*S;2!헔.+qtlf1.ȉ[aO4X fmUJ`ҫu?X)WZbNSn:CQ;MƜ_ }./J15#pk[f¿"-S8^ =ÄY3D6xI{ԝ }S PPij1XE>k cX`[:ת6d)x}dR2sV:>ݡsluoΈ@ǥ& ydꕤ5q4 ƼexvhzWWa^KtCۿ_ОH"b= 5чTg(]wS[kNQ_j2f(²˛3/D}w?Ef^5׋͏;Ly(_`! (^x@okK6fɃD?ПSc<'܃9vB4yZcJ R>*b}R9#BlȞFm{2i˅XRnz`8ӄmL䵾MgY^>=`K%M, Bi#$D"O 葁L8)MGy9x0xNh֢g+ $D={`Q:P=A"~_F e82d*v[ؕgvAu5LZ&N L )'W++0 1vGvPx3z}*8$P0y8B\K}Fe PȏҒO֪o (9zj]h5$[FŢ?]l:63 vye)Kpb7pQe6H~:z.|ǔ#gd?wU(5MpQ./C)O5%nAbjK{Iv3AVK NVGwxR%xx3G NHֺ7n5XgyF+U6̪MN\6< * z nbFVKAa5QR^V»P 3.S#Ȉ}?3}gv?L:RhmOmY4"wV^\\zx<1W5"l>GyiaB/"LXjQx#VH\ZpC[Yz$P97}9a UL%?C<=Bbw #q1ϤOJ3ijFtp΀YOmc}]d~.qtkw13@;Aa7s,H'/-5bYvN)>FKSO5&^B[gvˀ0X]f2/8frJ )v M2 @D= Ru>ԇ6b'.uV[U <'"Zư󅄢*6 ``96afJzmCEqw&9^ 3i9}ݹ!evI&82K{7;*M8y#ycscڮ3c-amL hE7zy"uةDFVjp^s"/k2 οj O\Rnh p[hӣ cLA]D7wޛD70&N=pq`TKvRF3uAL`/&,bsD>S1 00&/K1OTe$"X񒃧TϷ,hp礈<ȋG 1-ՇsjTzqVZR{K"[z4>䏟&>PU$:AA!^!hg꽷h%$=;Wl^1RJ^R+\ $RQ>8~ MG8ߏCtL_:ec0K'D3 kà-#|F`X6__{C9U1plђK8iɟpg픊لA[L jTzfnv$6P`kǀJ)`u4y踳;iD%E !NQoA$ L)'joc:{TK#Lwΰt &{$c pľl4ק,\wצȥP *@T۔Jn)C *CHI!}2Lra^tkREl'myAL\ۗX,L& oZES=W :>ڊ*yorző6w ItɦګuqOoK5oRA/z*T=Ĕ9p3EDVPr`СH}vYa{TSZ ]ݦ% rRV`y"ūL~W"Ԟk(7;8(9cݘOܷ_A}AAWk7aSoوk\S׊9Y G`cvaE;d{48)D @FnBp<'ʚ У_3XoztʪhmҸ Pc,j_;* 0v \IBʭ)Bkh!1,VFا*ER۔DZ3Q#\)?\BAlwmx.5q?ZalE{}: àg1b0׬}1oh zQ{Ik9f! Nڥp t= ZY96ىs "۵%!G)Lbyxhs sN|C"3iNi:$KI=hUXǻv='D[J}سhJH݀ dr|g6@Wt(x.}2Az!P`˜3 5 F+fݽ|N۩Z4a;)ip@ ˜bRivI!r #w([UDɡS#꾗 O~A8*R&Hl{8b` EI!l_(W)sN40cr&l8C^^*-80z"N8S|i >~۠mY1Q;IB%]5 ة(pipr[:;B+k _V0YT3nWNۥy 2XF1ՖkJ>pFx ?.cp2f]KS)cݟ5Kjj1֟[VuLy|0@pŌGz*Sa)foWwt1V0*H4hI6NйV'SOo,KȩaV!+I r0I#r۱nwi7,p)q@?,D }nMmu%r>l^M0 <*Z -Ϋ9Vj!$&z@$+OXyGV(4,k*TcѢ֪`7D`Wzc͊iMm^7~5ry N++uK<5" *ATSڗr6Ѿq?fq֛*=5{3cJC3梩/>{%s lINc`&}QCGQ+i M6O>.濣!o' 6F=2>;1$_ $WЧ?/L1o#_(\B7m77 `=о`Au.ŬTmy65/?p,Q/Qs[nc4_@{|˞`b6 lbfxm$AYY@-h'ď, װe$:JinQ>|էKП{)XrNKC6hHORcr1ܠrNVsp4o2_eF(:տ}L\6`]l U_"JL g|o*%Xj+GJA6;LCӷ*/ z>UH̳(zD/`7ǞDj2G/>H>⨫;[ d`d:5r߭Y@ Ar3X!ވ <[eY1v؂LpE^PTqK̍MW;T4,_ɰ9n஧ A>4Ȳ@9J9X+!G5Fɣ ֦)uFRpn #0u0y\7"2l `}/IFx|33{F,lZ7%=,2'S |d\n1p njk\ThfRZ"(߸s?Z,g-׹A)o&s<*寐8+d0{H%ەmuFNew*‡tE yNAXTR K|♐n4捞 Aah6Rk/X=]lJLNO? Γ"GjŮ?m\ɕ*rD׌g.>S[|bL{R&5z-ʽ͛EnjQ.Yu !DGgWTw{/Z?ԕq Gxm-uLKc]n 3Y`&l&3Ym٪ڇxdd@Cse*ž,ZSe 5nFϖݳ#Twb:bc ݐЬtO<[ȧ>b7=LJ5j;ɖܘbq( p[3iź$ w(̾: ̯}= i-VȲ}6}I Cw9h>"#'{Pu9INg[$3\#7GSoCG n_L7 ,tC+- 7@P</4Ȁ JoqXu5C-GWȎ0g~7IG"` bi$ApC?K S-XgBO 4 g?ް7amqAErJcÇqv1 z4NԕV \m *("?W.O\dZ*G"w:Cv_HNfv>B]DU@e}`7|չg)u o^aADʏb2bԋ{Ydp^oJ ;UW+7[98} (^ L |#ܯtVA=M;H{Ǖ2]5U毴(h׈$YSbڅ)Zr,'$swٶ^Čc-ᘘ6oeuO P()d=C.@7'4r^ "-5h 8>FK8PDGiOe8uv^Ü+ZRh2<1zXKNrgM2.Q(0V"~ycgYe:\7IwyOMJ̄49'Ą{ ҿP}ިIo*'$:yp{S!JcG*&ro`3n@e֯%ұAe~S_q2PcSOWb5 $|Q2Q c%g*q6!"j*z#aK!e;_ ;=ho?(Cz"[r2XZjPhH{zg@J68]M"ġl~6T|a M޲Sz %V#BtngI37"C`$$J]7"UwB._6'vg~c[2WB5.LL!gQ gѽ#`{,Q<"3a|Yn_F` b`beZ'm|I)uهJs(nr!4dQy MO zwx2SS{Xqb˘`9$ǀDvbK3c_rd'Qo6cm,R4sr|9dR~3H i /+עK)ŐBTތ*>"0K_h59P# !L"Q?cXlǤ_#F5Б(=?3| gFG Fb$r:tÝ|۴5j2"AvtC%O<"<&Zlib N]ŌenjͰ'USge6Bl9Ѻn(Y޾\H/|DS򧀒ErD>AqDI('"pL\!)i π<5a,嚺[ '4mmZwdr_ %Fd3vj2(b2hX Q!) $EGw;B#7I-zىt̂wi \$z=/ڧ/f&; 0󅳍TM$,9W,xi7ܭ&h*˙;#2r{ر[D޵̅ [ o>y [3e }i9$+聠w.Λ᪈s p*&X`3R)sDrG|pVV=ش7HO=$5([i|g{0z-5o2Y 7ǁ4Aښ ocIH"[.Stij! Uj'Pi(q6ǓУ  +5@(+N,ຖ+!eeߐUG7Q/ 1 &e唗U9]5] oB'Fïu;;Y-.xBWЮ511s tAgWEëzձrrS#6#bd]v_2ӟUJ/_P `ğ׉%qssMEvPSAkW Iщ8k΁ ֮mjS$t;C6w,@=K+-IL@ #w>9 $jJBC?Gd7 Il'dè@HyR}@xsA (WZ iU S?4?(5nM QR*T֜μEDZzmiz4- X0Qْ=%%W&"K]&lOUA nmym6]N=+\\-R\ԋB^G%4^46Be@Uh㋐_ .S}}5}$)׼!ڀzb^BO!Ű `f =#x9OMF&(UGILP( FX,^4AI53HN%MeQA>6tP8urH]jhdrAZ-ԫ<24a0u!PQ${>cpꧫb"lhyUN7 1hF~G:R:9O=PbӳŚjN,ƆTą޺-FHPR=bp:@IԒ\+h&_G|UoWrG+-TpT=9^ ̨Š`n:_{VɵjR1]SpO1Gj=@q̆?Q=fpRA}9(\a¼H2 $/bB1 Cnzx‰{VK#?G`h5?ik"֒dx$P#Ȃ5{~69ϸT't/>܉7ݗ5H+Un^3h|ȡ {p".}v0u :j;Ϛ4R21B$r6Z@9JS%$y|o#Cj1x ;%_ QQJ*NXB F*f'w| 3pN8']| W\FȘRI#T䧃oEcWvQT} 3kHA>$P6җR^_3E[; ;oݸ(m띡W;إBݾ]̲5q Ƃە(dj=#%Slge,;Aۦ dy/<]Tx6uXvo;ܒP^]8Z4MOdvibR_ ~ͥsyyߠNjJ^rh׏ a|ZG}6I{DeޛTXANأ_3vXy*nH}n[iq1˰*Jƛȑ.S^dtMUvod-_GDg)t+~oїfqqP)$"x:[`D/;>PCIsA*` l.Xdicu)K WqtaU/HZ?K "KpY2$?(̰𷘹t&g0mK"4L8s$36wTrASK֘ԯӤahvd= E:۳ Lq<>/'LTYLR)+qksJb-怠SZ!٦DUƏN~=Ѐrs-Vq Nj5f6tnFΑbܑUBLjKʿI|T^uX f>rfBЇ) "W.ʬ(.g8AQtnV,X< AldJ4;Db<_M "Ҵ=8!4ɚ $H9`}[i˘Ap@`m=X7!sr妔~ Lːg}~\@aR` [: VխKP*=tӪqa3tr `+^g tLPy7H]G"9nB1{c O &D]9U@MKOr[0aƟW(%jBҐ&Q)nRMzgd|3C=r:t/cy\hƕyczGާq8sLx3{&? Wsgr%LzKƳ'ga-Y-Jz2哯`o ?ߩ^z}y TaH[ uӇe3|צ/f03υ,&@N 8#=:nB2Z]3O3̦^(2F?|gG#[sTy;BK=tݮ4"əQMڂeN5$440H391;ٲ#B\ ;GNcᗐba>DN& pL_=3wK TW,ۤL":P'NeBp>OϦ} DZ^=,2)*yw躩V5{&t*JTB-| (Kt ! "u+ *`9:H;}b,q:Aw%w%sX,gߨ@Y@/5= fUX߇#M0XtSΨ"-ҹ IA]Hۢ{Xv'/{(RV۾>t'H}h֫b?e}^Iؒ|~rQtRpC&謯H 'q-i1MLņ@T̒6}INꮔq`"ld; Q,e;HTi Gd3|EuWE K|D=yʍb%HiUeL^HG ; OKcѫ c"Ւ;k"p !5I*ww/ζf#B=a#mWVIdaW4&DȞ],]9',z[8)SvE>֣W|G݋<齍cYWA]3—R'Mcҧ"W@cbz?ǡ1uH;Yr\-b4%UDJPxZr %0#r 8&On,2Tm6B=Ӂ*"9ϢǥWL5]NXm{~*VEx'QpiI؈^O6ǟ[;Q_Ak6RF9ٟU*Mon9tF%q9MldBb5?4#s{s5DmgQ3:VgIS-fisZ"b_(vS7N$v|Lp1c=YK){R^{}$Zn~ 2-(V6UU͘EѺ^(YYKG(7wR S؋xWԝ)}L(%lE> =GH˭t*~%oHgrp @1F#( ƤT?vx}4KMnxp3(;/U]mn.Ngf\^N/~_Ig$}[^3cCR?#gcRR7]c<3Qo uQXeD`fI iPQCy3C@RB@gu()O=4o:"ŭv q釅@)1C~|%`EAZ@43"K E# +xgɭ}MPuTJ%<[}lJby(e{Z{w:Y5V-ԠdS)iR?CjN&V6 Qv$=[⿓-ՠa**](mԗzzg0 ;%0 ÝL3\uo O.!{C1#3fe;Bn+GşnC2 8n͜-d7g䃞;ӂ:isa^@9h5UXE{i5m3Ee׈)j>Agvij(/l-_@͊5k܆R.S~*/BߪŸS[ƥoER|dJ{1t.F{NW@t:g4*`'jSKיԬY1Zl|rh(t6Olv xI~@ռ-5䔨_{y[1FMg.7tN q`pZEYOʪ%  G?ktO BZ%$™U@ߴ w'#+JQ%k͟4H;0J%ML[%ûY\O;X'DXL8v_ $/Z U?`cކǟ< k輈7j1VVl1P+ vx 8+:evRv(nݚ”t;meH.p#;3M*Q]m'bYK.2 "* ox?^&ފLrٚSH$h3B~iL&Ky@mǭ*c DC&ٝyLJ-€.YΩJV}"~+ڂ]4waT> mH2=+Ph#rWt)G{nps` dk7fX ϼ(>- "H1FcXO~|6] :*+P }*POÌ|0d_ ssdZ<gҫ_cP^Fx`aQnm n}ʮlh J7E^ʮ^TЮM)^#Y@qG\WFfӉK;{HwPiJkl<:kn&tXzeM/V +f“餏Ӆ>EOo;8bq jgPfv3#a[d'(j .:YIEOFΜn\`lJw D b,@z?-R3En8Q`aYF GWG;)RuD)hi2gil{7uq䞅qSJω-xNTL]D%5JZ8kسR&=I{x a&(oO'|3Tj&6->)`AC̮sr:rQC/v%luzn$פᘁ,թsV$ħeq P2#juÝb!OgXd򖩳L4bǝLvWЃ؛j1km`?3XWPi3 Qhe UfWr]YFEOߡX\o2XNfi`E~RgY^VS%:֯$UzXkə=6|& WAQ) *NmzYg+Py -2էRF* bvOJhL WM5οVF+"2K#©ª7㫎dŽo-ġ^\ظkFBO|KNߡ`>G? \ x^LS3 ]c0ߓM4񑅎9h fT;G<Փ%F YL)ȸ@AN7gdo2C@J$ AX@Kvvs~@uҾy^52rKؾ0__Ouw7nm+@RaRlOP#c嘻J8fdv yykΚ-G(xNSR^ IkȑVxUT°kޢKWr!UB0%+~>ȩbJ+RfFo_E>܀tco;jh8 ѳ;cEJ7DI R/#/0Zm,?BdyIhaJ;>B냀B|"iʐCPd+.MEz*\K5WF;ֱ\VOZж µY!i$eeCL~L:5O-s}p ]L|ʘVB%0wgGŃ0zIdn"v*+ , }v>5%PmSg0i `@t`2mR i./ARr̻C;aH -f9q)uc6Ƽ9a>Q5#AƎ?&58ܙ( =@9hiq1 ТXQOZiTA9ss!1PF׺Lк=m`VBتc6!|Q.:u*]زyp^r=AtA$,KxK`衸{E:"mb;RjX;vk?t'¿O, ;n)CxNO9yڡTwk%~ПYY%d6>yL‹.s5˛< XR=̳!ˑ5w3F`<9eF8# ?v|.9@B P |3~x^x?CptZnBq-{ =NNɦp2>:fxN\<.³4q#ľ{>sǮR sTj)` A);_Dʘd4k^\b] WcB`)vBⳅ-|_޳vF\>c7TX잍C}gY&@MJ^}ǯ`vG݊ .do&+$ dL7-b+G;تyn %\Э 6cLE'ف5cJ1Q3c>^&GRoA92"?;11˹=tuy/*:[zVFKɌRo>@%&ј$*uүEHpS/_!ƭ ~gV̱TA_3y3X} s<1#>|99˨KE4~4 Q b}kڒXe,/Ĝ8M++yfjbnM_ϱ>n~:l:(9W0A5 Q4=+|0ΣtUϣJ\oL)%mmʇĀ meH(_1Y6<$@tnHƶxd- `cn*]Ov<8 ~aΤG QDf&b_ˢOao5ڔϯJnP$/{(L  T*n۶I[$}+3Tb\mZ&-`G 0쫦,Mhڄn*ig uKzu`'S^Q`TnP@Gdz`PEoB[IT[DQDʭs,/e"̙vŲA +Q]d!`jDF ^H|wNSލ5EfVCFMKVf[xCįm+ۆnKzeJam!jn1Xv{mc>mLsh.@a+WXMN z:$:iktEsI?ޣyۈMqH,z@,%+-ؓzºM2[M-suW>-N?E.w~C1`l~O&ymYMȶ~C" }"*ug)6Uٚ2N$X6P n;Yq(+ݚ^O2N/i9p`? 36پv ie4xVhq=e[qnv(+RL_9@NC ߽p'=v}[˃ 5G ;HiLyK4NJOJυ%lOjy&FLкBPoy]\T0JS>ޫ_>ya?PѨhO]ez LryD*p,C!y" 荳 >7h|/ma dOBn_8>m3 E4NT_3z/.wt'}4g֝:y@{:ݖ;ƁwSjU&GD¶س_:QN9~nYD4jA21&x أF+QVR1([׵9&2ͮ R/}] DTS3H-A<  x0U#8n 6E j638r47| ) dB WoXAjT /Q%IJ.MOW:j7,P#|p:!l{˘<b&1(g|fzVmO>WVe߲/(GϢ횛,W}^vͯەWUIzzv1!egJ]MX^]* zҌ5|/Qw23ˌɴ ,c|69vNl@ |f_pp$aXf9݉5Peq,Vս hy:~]׈DBtZL%:2Lkrw]lTN7E ez81P󾰇;qh]z6BY۾ır<478GR_To '\!\wA?!mIkl,[q18~ z2?ǘYA =>|l$蝍/f`SԜ̅~ f:F,@jN!~CL9/pGT/h*`gG#kfw;Dq+~55}(?g)>jL=z`ԭZj6[͉"G5zk!-[J>[ӥ*[rtG3eX[$V @mAR~ʞjY79:7*)&=Nc.w5ӑ8h%xo |iˮ 6K¥ɋ͋{45ELd Z?57eG24QC/O_lge,̫/eC2s)&Ac2'NEE>SB#h=Cv!:wl֬{.<ԏsq>[1./d$\h;Ѷ=LqٷDwr4qGm>Jh.0ei: 58@ vP7jEeos {QDk!u-Y'_ܽ–F<1=;57xw"ʑWk.xfhf{:=z"dKg^ԇBYvŝ= ۯ#ξ𤞤?&Mi)\?Eq5ZvG8<꺑'r#I@_+z bŬ8ovlR{vƥpA*.|arrJvFşse(nfZspBP ^k׊ST:N*WP~G4c`z_x#V;~bs }'G1|ȖFv5dpm3juoy> P Un9Tg-~y]$˗?;K魽gMXZ?BABX/ki' N~( F8ߢ FɜY-g޳'ܦI2%=cn`[ IM~T!c4? gj-b5N¶r߇BMؿFq1lkhkk~bO,m`4>ܐaf$Y-ä|aT9T`l4h.IkƼ O=^uiiT_Hـ0{كԁlwX3asqB߆"8;XSJ-i1.1ƴ`iY9+`Tv1#ۿ;s"o҃Qւ }dBBeWhB 5<̋)1 FӁoݔmzK7X!dz%-d=LEvQ1USH27bR&Kg'f?~D=-#6:ysLH_Iɂ 48  CB"DWTYT2B'ie6ZyP$+\:jnZ H*߲~{@ˤd^N9ǿwk*U%;촑epKqå@O j In\-N9%P]BPw:hIԳB-ƛO1 }Ƚ&t=:@T`17S*/Z+KfQ #ƭ&G塚$e$`3~Enq's恿OҎJ|D Ei[crJ0V[ܑō:J+ f,$Qbo%;=!/t̪ N1)41u|DN7dw"XƖ20l6".:Ӱ5BS<87r%!J:C zJUn}(1su/¼.~1=Laϑb,Rymd^kG:#I3ǟ ifr ;C'_duԇh_S|;imprֲpqh47u$tu}k-XvVӚ"&:67ԋOЇL#Qָu(o10ߠ!3ZMW:}|军}@JZӗ[ 8G_SBKm27$-|diAQqjGS @ roQ]nФ-4Sk+=2kA!Jc)'jQMz15p_w94]Wɻ1ȹTQǛ5 8k/aR  "= w7kdn.A8Sh=id6XJYnR0/-3 o*:HmBAbIWDk_x9lqOW%&g jc+xtYJȾe%Rځf 9OQ?x nWFE-.@xyRq=<頞쨫Ɔ fQI(8lhDLGBo22;(ј?j_$9?ضGS+f-Ar,\]hӍ}; jvvh^`'In2L|^j#~-= 銢Pd. Ҳқ sORx54b1E\#_bTZg%]x>Cy$2~GR03@ o=;@S%v NN*d]*dK>i6,(g:H͹r1nV8y{ ٤D]&4dud,.Է= n)>%`xr!ׅ|mФЏƣ0_Ep~UDyMbg+ օ 5a ]e+dkpC8|.~Uw'GTG&PPrcJϰTYF\2l:r\ 0C\lq>SaXzH=ke[" S1#?xqwc>E6;nxYemxxS+)]+o /d^P}D +7=v` pV^䊄Z(C+{1ߪqٰw7QHh;Au)[]p<pKփN(~>F%CѾ<4"”|yi{e`o™I:wB>/PEsuך%#7Q/b7…*]Tq[ ՌƘHO\W4-{$ Dj7Jeְ9u|ǽQwOTyHOVc_qPèE'k뚇-M҉ӏKgM$@jOX"ty9C}1xs^G蠟br'< dF"ry.'| ɵ.rG+SW~=S]H;*3`5T2xWd" `/L8x v4CI1k`hڻmLo`I5^j8Gߪ&3qo0$!#`NEIY=Ixv>OD2.3j<@ݼe l͠0zC,: KǦ C x9yX&G쫼92v nǹY| /_u(_9|nMY?7 +Lޖ[§'{6(#x֡'Bm ay+oiME])'?ӯ)RM_@DC:uʢJWDjb akը71Ԕm-[ ŤY;0YZ PP|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_id4Hs # dPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OpWkI"yq[r$>K.l5u6He$#޴]$ 9jfaxq">g^}>bK5،cE b[xoQ`#i9$S'xQ^x.:xtϴ`[T@DdRCQeqO1M+I[tXGQNF:Yg()<@KRK-QK3ˤ*>ՙ@wG: u4D/7($p暈o)6Y\`þ8 !C!,&PEC紜ؾ9- p;VM)1*Eq}5`a+ Հd}-ĕ8&;J$[ Û½$5›ΐ6d#A xzYWV"EKM'1 Q7 ܶ=iJdf[3Oz>BxX=$C*´M4]{})p IرwS!'ņZ;BtJcDKby3zSU'r/1& s^`5R 3r0"UKZUB=h~A=ɵڧI'?( x]ϗ+ܬT"C+wF2uNk@BT;q:CN_J /k'a\  ll!#sT_>B\>؊Yɱ>2L'|SͫdeaKe2vUL5GMH22v?v/Fި]qۉp?Jl&={ۚ9y/,ӺaB#3cglZ8oh\7rpJs$ &:y'!Q!\PzҀ8ct7 Ϙ1y=0Ou>e&jrt^i_+(u}t+d 1!?O\uPoƝ"yT]MʴpQiE4Tj>BQES:/ :pmmR)9EV2ho*. o_<ʐR ,|!beOXL +RVwtlib8#̵6J>#4{el,G;YQt8?& JDZy#zhq>T`3Qϵ㊊cU*.1a#B璧]۽ y ?UhfƳޞ^V8PaMiXJw>ݲMW<@:_@Q/ 9Z! m$TDsZ9 #@Q0{X,)} "_ 5I4-leH'f >,} [|T7.毞zG1A$~ *ߗ.)E¤\c=1 GL0 s%PxCSݖKө3kJ56-~,`HIq0H,xlÜ?G>I4C%8pdD.f}/5҉/a# vk0B]ˊ6D$iO4djtYyd`rV>/㳸>}QtEÆmBw#6Ey癕 ={W(! )T h=jl HEqXBwS(6c{vk_LϞhNu"`g@-&0V=QBd(kv%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzHbxj'+%jVHcZ*o'Sib&+ ](c&>Y˝u5}e'4q(w[8o$B8E[3,i$E;F9Q~-H]p$p|Rcہ@ JhuY!+IކE`*xӕ/^RunE 0ۺ40$~\sIgAř5\Y3ih t^ɡ:?IMglP 6Y箶2jP:Iئjsd !W N׆mԧ8h჊87f >`]9č @(~eS-6~.`(ٟ<äY͆1<7y$>Xݻt1 s3^ w ny=Ci&euBGs#tE2臝#ak9⁅HS/6/!qD" ,yc-9:-M{X[0SOI7å0@f~m*L}xi̓oBp "Ц 1nMl !͍>䟶"/A]s]QEHƜa_$Fi$oy0%Ĩ$wS)!RnpZlx')5>iƠ(ŋXI>&c jTZ.+pO"U2]}zRV|h4p@,S拚} AUI&n[)}ԼB%᣸TIMtp 4m{@i%f 8R@5CuS՝@ܷӖTq  J@Sf1oGp}=9 $4CwS o> (i$q.QEC^b9un_2QΡ2Wk"ZWleaǕ>䚒]aMlaaV-8-!@IζIS-Ѯ։+ͪhKmL&g x2z0#r])$Կ7ǻo]p"vG[Lo/2\_09_T4ŠLbmלi7cUŪB40Df1=t HD^@x5z !=awwq-i ƼVpSir6& bJ{zkKWW`eXYd?'+Eܡm1sPQh:~k Z6)jm,m)N J$~ߥYfL. (q<_ҙђY<&zϙ&Z9U8)yimi`Gj+7.:uNAb ʭ i m}".YT׳Jo P| %Dw_q J  nhK%RTx{֯//$5|pz!̛t$e!6Ώ/ErvaŶ  ?yMKC'm9Aхė߹׼FA3>El!apIU:;ZS(N iB!$fZ^g$$܏(LT;p nF3>j-9 Q#c劷+uZ8LU(gHGGa:읻NHG3<7Jv"/Y-ta;~";678n[0Ί~ə&6aN;)O6KCޖ\j%((Kߚ0O+_Z8v g߄iZ x $BKpey9.%W BD8t9b/ mhN,(p&!?]AҎo^E> ttY @clshN7lvвrש9FN_y8֤C_}x6ÞDoCt=-OzAIN'8ǒ)r3s/[HnՉ$iX)@)tg@2'F`i&b}lz߼Ӿr!XC)!Hp]'g`z*32UL0AiO/Q<{\n[E0TNmC8$K$|t mNUTL!'[B$Z|.gpXh>G:3YםWCp@Жɀ&}]kjbRojW~Q1 *Ǻٝ0h+|5֐mGPȟ>#8qXZ,)O\>ߊ4U!<N1t_%g{/Ay_#:!P^Y)sC,c |El8Dx, 2~U*"ۜ꾵la2i*INafS~ vSKv<f6Hd0اX{m.|6ï={'jA[+[y㞺?aDCKw]$f:~Q,)/n4TXwIKպ3$T8IjOةxJŨCG]GY?WQ/R*sG+8:ev5\8b~[, i{h)gf87e7"{gT:9yY`ҍDh+pWU)Q"8*󎀺Oz ;i3ń]?✌&nG]#4~ob\?~t{ȣuZ 70,ʶ8"bs?ƔE2љ∴&=d󹖉|J]؈iGQ Ve= LZ-CfH),rGB_K(`9㗯`[1 ~3V&!ڌ§Lio\={Sz!k\09dGs p_alNޯ3F\$Ϡktm<[ S1.,XAM n\l넴3>kҗVH-(fW֛*{m\>W1E!AhynG>~=/3w`x|ۧI ZG:%L;k<m׽8 /(r'U(s!;Q/x7@h9QWt9#ȑVo$ +9SuCn, xApw=zT fw.bq} Lt%0 8[ջ!Uc!g?J8㋞Xڏ:ԋZ2Jic; ,Jsx%F}x>1"ktIaje{WরTՀ"ͭ~»SycFj/mi=swо6dS+[53NUlx9H@]3'?%O2{ QCHL@ddߝ3%ݙ~.y oxiqG<@j@<_*Bt$ҖSス&|{%VrI 䫭tCDCݶ+\mR;PKcW`iָl ,W*ĚVQq [(ɗ5{BOSH/hJIyhC 벬١M)MRtJ^\712{OYoIb=?:wV@9cJ,2krX79 3ߞ*i3Mq[摇(USkAU t h8NZ +G{8Ab"7f*ۨ=Uo\jkoDi,pa{2:g󅙶`!v;jo$7?[$Eh"1*Tj` D)S]mL G$H "^4`+.偊A0UBm.T}iܐ%F9 J_!{ #/{e*Sm F!廣7cY틀W&vU!, f33vٮ\n/^u)(7Qe)kMVl]5vKc qa8 sOC:vh9ڼ0ԺEp7[խ)HgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zIbhF13L]cf;1ۣ F-}GWB6xVzrfDuܫE?b,A2PuCr8N!4G+pU-Z)N`];Y+\2YtesC> ȱgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂߠV `( t(^ wV:J0[it*C v\!JJu0гn̖ZlE޾{-?ι6ʮ+˅Y;SᰐOBF< q%E0}#Tֽp?d4Ir7 d`#[Ue3,\>sr` w3y0PL 1SbV(?·@X)~\ϧ c" Tlh'c)b"e8yMںtO6oثb-Y{=nl_w!7= UPԁf@Zky[[Â*ְ @ic_GP1 P{rQLɨ"Sp o}D) ߹~Fp(5"v*u[`j-,fuEaw1s+U4[ ˡs"㬃tl*h2x}-a v߄a`C5/Đs参ҳ*І7|>XfszbDl_%1טL5B &Zٟ]XO6-Y:|;o1H0.# l*8"+J-i1Y_Br}8/h{G]_s]xg4>6N[xI}4g9IδYKt;J-tx.EĶ2<=& YcewaPyn-,M 4g9b `^" αgYZ