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  Ip\ ] ]Pure:threads=1elapsed=2.179cpu=2.264gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDFկJx-TA SԺ]^Ko;o!ʎ2DdpyCǁ,IyMd`MlLdg:wA>\@W*ygYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wr $Mc t1@vs:+pKieD6DgquC2WeW rOĵRDCZnc5c 0?Y$Cw3 3 juȀ/4=/msy=~$s1J'AURRNJ/(6. g.I$o92,z N0㓈~шʎ,= f>88!Ɯq7[&@= j.H_iSE tprQ,ޜh"KiGY%Zs2G{zF4qVhK3=95Jf5~ΠЭ&@uʵ^x Nq0:uH-45槕/o蔶l +KsZiIh$Q$N;iZ8&oVގ/`>2ԧxYjɄ|8[qH":TǠgP=)!޳w{מdT9I2gYZb5486a894a2435edae67461a37c1ce95691f965e8c69b9efee18f61099e59a5c1105f587a7f8c9a0  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;('|yxqnk b Q B 3 % }Y 3P7X *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ Eu>1o%''PurePure.SessionsPIDE/messages#'#PurePure.SessionsPIDE/markup"'!PurePure.SessionsPIDE/files''-PurePure.SessionsPIDE/document_id#%'PureML_BootstrapPIDE/messages~!%#PureML_BootstrapPIDE/markup} %!PureML_BootstrapPIDE/files|&%-PureML_BootstrapPIDE/document_id{#PurePurePIDE/markupz%PurePurePIDE/markup2y%PurePurePIDE/markup1x!PurePurePIDE/filesw-PurePurePIDE/document_idv%')PurePure.Sessionsdocument/latexu)'1PurePure.Sessionstheory/other_kindst%')PurePure.Sessionstheory/parentss$%)PureML_Bootstrapdocument/latexr(%1PureML_Bootstraptheory/other_kindsq$%)PureML_Bootstraptheory/parentsp)PurePuredocument/latexo!3PurePuretheory/other/methodn$9PurePuretheory/other/attributem/PurePuretheory/other/factl!3PurePuretheory/other/oraclek 1PurePuretheory/other_kindsj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/44162g%PurePureproofs/44158f%PurePureproofs/44154e%PurePureproofs/44150d%PurePureproofs/44146c%PurePureproofs/44142b%PurePureproofs/44138a%PurePureproofs/44134`%PurePureproofs/44130_%PurePureproofs/44126^%PurePureproofs/44122]%PurePureproofs/44118\%PurePureproofs/44114[%PurePureproofs/44110Z%PurePureproofs/44106Y%PurePureproofs/44102X%PurePureproofs/44098W%PurePureproofs/44094V%PurePureproofs/44090U%PurePureproofs/44086T%PurePureproofs/44082S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43896N%PurePureproofs/43862M%PurePureproofs/43858L%PurePureproofs/43856K%PurePureproofs/43852J%PurePureproofs/43848I%PurePureproofs/43840H%PurePureproofs/43822G%PurePureproofs/43818F%PurePureproofs/43756E%PurePureproofs/43752D%PurePureproofs/43750C%PurePureproofs/43746B%PurePureproofs/43742A%PurePureproofs/43734@%PurePureproofs/43730?%PurePureproofs/43724>%PurePureproofs/43712=%PurePureproofs/43708<%PurePureproofs/43702;%PurePureproofs/43698:%PurePureproofs/436929%PurePureproofs/436368%PurePureproofs/436327%PurePureproofs/436306%PurePureproofs/436265%PurePureproofs/436224%PurePureproofs/436183%PurePureproofs/436022%PurePureproofs/435981%PurePureproofs/435900%PurePureproofs/43506/%PurePureproofs/43502.%PurePureproofs/43500-%PurePureproofs/43450,%PurePureproofs/43446+%PurePureproofs/43444*%PurePureproofs/43390)%PurePureproofs/43386(%PurePureproofs/43352'%PurePureproofs/43348&%PurePureproofs/43346%%PurePureproofs/43344$%PurePureproofs/43296#%PurePureproofs/43292"%PurePureproofs/43258!%PurePureproofs/43254 %PurePureproofs/43252%PurePureproofs/43250%PurePureproofs/43248!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/433467zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0^݄HޏU;Rn?쿹gYZH$% dPurePureproofs/433447zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/432967zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞FI ]Px;6!ŹlWgYZh"% $PurePureproofs/432927zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w:xAP0TL":S[1 . 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 V"   uV3% PurePureproofs/436187zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZD2% \PurePureproofs/436027zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR~s9^n3kqf;׾.Sw83gYZ1% PurePureproofs/435987zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/435907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$AVD="F?880MPg SgYZ8-% DPurePureproofs/435007zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i^ݬ E:fAV_4 m坱gYZH*% dPurePureproofs/434447zXZִ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_|BDM ;TMrX"5]gYZx&% DPurePureproofs/433487zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&܀[ p`T'ܧv.$gYZ   '   jg5. B% PurePureproofs/437467zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ s3CLZzG%܁#Fjd HagYZA% \PurePureproofs/437427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP(͈%obA:/W`0: agYZ(@% $PurePureproofs/437347zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%6MQY<"rP\'Z)hwY \gYZ?% dPurePureproofs/437307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטШ&;~@=+:Jۂ~vf: j;8gYZ$>% PurePureproofs/437247zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/437127zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|N{#TzG^mg^ǞZW'QgYZ<% TPurePureproofs/437087zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*_i@m45R]EJ,OLs/q =gYZ$;% PurePureproofs/437027zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/436987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+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-D"xHGc gYZpL% 4PurePureproofs/438587zXZִF! e]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGO ѭ@(O;Np*p2>%M6ʹ0 Me4r:@B  xgYZLK% lPurePureproofs/438567zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&ԓQ&Ə)}G鱙?t cJ^&!O>l:u{ (^teaFތÚgYZJ% |PurePureproofs/438527zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛт90lpF7k<Ց/; ±gYZ\I% PurePureproofs/438487zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zQLp}:5EK7;8Xk ?igYZlF% ,PurePureproofs/438187zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/437567zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo%KP!Ӧo<8@2b.vjĶgYZlD% ,PurePureproofs/437527zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^ ozEvQݛ[D BgYZDC% \PurePureproofs/437507zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zrA޽_g oGS=;@ƶ1bXⶕs_|#Xfcn˓?nC$!:8N~d]gYZH`% dPurePureproofs/441347zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞FI+ I?Xi p-/*FQd+lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/441227zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/441187zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/441147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/441107zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/441067zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/441027zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/440987zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/440947zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/440907zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/440867zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/440827zXZִ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   , MW^`k3PurePuretheory/other/oracleentityname=Pure.skip_proofxname=skip_proofserial=834Dj1RPurePuretheory/other_kindsoracle fact bundle attribute method0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsh# ~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ԫ .~SENk3w+`1p:zgγJ% XyT%Y!+Ue/Eҗw0wMoMX8 E"Rpe?u}Y)EC0H,iYEL8“z;01bn_jFyN6z.@W T;Zbӭ;s/K ()C14Uhwʾݥ9Ou254*AsΌ~D̾ȿ:2)m ѵHEJπ vI|%eEY9Q)xԴ'f)PY:g8y!Z-?qܵl7hVL.@j^AяRx `5?PK_K͗ !|I v赂md5=Oc cJlL >wV_v]`ĸxgW*bpcnJ}f CQj.O= uF=2qqW1w4YāF=:(Z`}+hߖ֪ ׶k7,8^I?pJ1sW`f&]0YD,Jw'vY4V=p^X\SQpmrUg+yÿӹpNNNeM#W(ڑb7?5F]+%j xz]0[>*|ieZ?Z׵kC=pJK^KC.&H"u x\`o ";m$DѬP*;P8rUo8)XK~P8>6-jĶgYZ|e% LPurePureproofs/441547zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g`2#m U҄M4,gYZtd% |ҀiڹN4#RmZ,pNi %mOf3/jX<*o1Vyg @pV } VP{CcH/.+p9QE 5}<\.VG$u ?)]y5:ٙd/ꪎ F1 :Y> Ӡk`ₛ/X >Q_%umZ3­#x U")nzMkT=sX,# lO:3%Zt1nefC~U< lYeE4z>CZ^#_g6>.2d f \D K&+ cK>:VF<$"7DgYZ"m9 PurePuretheory/other/attribute7zXZִF! ;]a0{rg+5\>7yc3®vnݞƺM)fd1Q)҄K%k:*K W>rJV0m{vjQ7#LmAvIbP ɣU~5q_jV [QǭoQ$H9vwteyX>!ӟhoWWOB ;2فg¸ bOYIvvN;ArܩFF.fj1ͨXY$C$0Ҳz˿ZqEln*m܆* ɤ`2"5l ,fIdw3 @us;qx/CFƵXf7Q3am8" qψaf_TӖǪ!Q._}@` Vv`@j?lAdiKeCȿ) DaBza-fN I nPA/$,CXqۅg7u0MFٌvY.iӧ71,9Zpj\5( _,AQ\].DM1EpE,MvYvPL&RSCR]6(ӐRrMp=Wu^mgߩWQfUyp"@(TxAHdG)@ M(VW{*IW^updVDo@^e<qʄg۾#U]OF\@grq~bg{a񱶩A3_UhrP9SA'l)R]g 'SO.XS`3ck 5vg 1j*yS *B.sO[ay}4CͩsR(4Hgsx`1bFnMb8V6po(!2p398ۑ@ :BKhR~-C2|ſ g/(-2z)R2RG!^5wb1'l'j TE~fa+$HmDM_0QHKhNYlqD)L(ɢ$svkS%Zi9Aή,g~W{AWN&n~_1m #!&ES=mb֌T18LgYZ9J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱`( hDYS(E6nn1A{9!Qͅen)H_~n*0qM*<I]UփONd,8@40E+w#ȟCJ5+rD }!DwџZ.A $ˎ}-^yr9}x e =l bc|C.py9p-땇f*V&I=4vkC"xe g9ē>;;|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 !+QT̆9Dn>v Qt5}xO|P( 1r͎W&?(rZ7*YXt͆9.A5u[ZX! d׈S4rjů4=W˷pPws M=>hL(*KxG.p׉E>ycհT%:B]v !sNfTz; V r٘5~¼uŦ*jb^[A W^ p|aܿbvKcŷ9"K#mo#fwC'X)@TA̸-< gd}7W)!8=fDf!3@ɉ<c#+w O(`1 QI0_ vƷ4G5L|i35!{%TǵixϪȀ?&rl{hk:·(h2:]#izTctA~RYjWrM".]^R0FUYXˠlںHa\v&lWvt8\!P`k8(foH,15 JӊÓ[Il{}lG":ϴ v9o8'̋} W}spq܈5joJ}OǣӦN@qPq-2xpi΄]lDPn(Gc-X"ۧߺA,1.10wnyּ=PA֔O(.#"tcSb {vWà9ű?(j>зͰ.\@,O ޻O2 5`ww=Iy(m迥rOx'_|l2H IY*J׳:jaԤLT< {Qe ̗Mg2k@zdJD*USyF&CW`W5X\AฦzL[e\yAˎIi7s8B [75p"5~z|ϘJ7?Hi(4ȱ($ie32F&սfұƻfQmb"ݸ.롱?6`p)HzjAsqкW#,¦xBnj,SrI#&|ǤsCO2CHId)ep+n]Fnv<:m >U1 u)иr2 :g Wn*YzT`L*"Du*҈/`q, s=/#mq'bzN~81͂HO=20nk B>$s=4VE{3\HQGwVy~z DKo?*4Z5}yo"c/4$M<=fNow jȚ/̋]N]#OS9+Gcd ELv(סYتg<#[tr˓sI~ lӰI1G/f}7|G9FGPwΜ9~&.l vHZ#Pcn^+$J,{Daos;{9m8!OWR>J-HR==[ѿS jǵjSyҐYdz jr㍈Ivgћ"H}9P윙޺X"ߵtˆ3MA&dIZ_ UdYui/SܹZޛ"+*ˬc :2ك,WԠuoziRsI;0yG=J}W2F#26QZ?pCqiT>4EC \k`]&ءpn 56h KT߿$*=U,#º^Fp3M5Sr/k~<)2K`GOjJJLw ˙qPXolݭL"Р8FBp |1l!U{Ui\ N]tNnjDlo~|1+)՛\lJnkMY_ R;aN\WxvB/i= l>bfwԂ\Jdӷ*aL˾"2!*#N ]> nVG'Wϡb B@0*],WXb>Yl-1Mau'1 +jv8NP !g z!mF{,fxa|VCM2Y O+ =iٸ"W(dDx f)0lqL|<Xұ]PRgZ^Ws;΋ɾ ?ʬG"D6 {"<|h!ޅPUzM]hU!r@ .oSۀC}AL\ģ\q+Mo.r*DdS"a7g467ʹȄy,?^ӃF; ~|/ƃh~Õ9C:e0\U/TFV %le' ?XawkknSR9~OMv=*BILkxeVģq&GNDkdBcSl1{>%M'h-l~0FZ R콪U(YcIԁɁ稴k^&mfCqbyft\NF/9$L 3l\^`]J==49Px=lHbldr:ZJڄ* XV!&2M˯|iD~z-<4[9B5QD)]w3 |Km 3[mM@XB88+-v"a+++ҳW(jf_'pURƒT3$wg>RH SafწNLw%OP#RK$h(#XLG(r/-w~۪jkI]|XF@=*Q}AD56mg .011iqGV,@ Tp;c&ԅ֙aʆ'w=[5xWr3w24;0pТ ͗6V4.HMNâˑHuƐ䱗KKɎ)`Uje|%LJ3+OK >r\ [b%S$\ΎBS [!~5؟w1HDQ *QhЯy=:2T(nhD) [u};3\A8ֳfϱ.R4w+n9b"yШzүG*g7'ؓSN{]W- t} ׆w+1F GؚW5FdM("S>ii┦Dٲ 0~-8SHo6CGXTƲAQ%2kS﹨a# Dc* px h,AatOA<Ї$֛F!UA2qZ~{8Pi}3AթAIق.2bK+i!H1^tKw{ 5 ^? RCwʍ0O=*E彏28XnJm\Bpf/xәC.krlgV!9'l;&p>ɈZʧ 8*ky&(0r^5&J|/tOȏD^p)0$N_4:RjlG;Z0V, ,tZJnX5ppJ#}H:O]q]`AaeOr NdٮKOC "ZbDӃ8Ktf4d+N@]:rEMkpl۟ъJ~3oESMZ,G$17\-BY[|I;DZo(uNet@L:fu<6x+2R#" doCjEn} 1Tvv&0z7ޟ17K[f N ;-\QkY쿜ȥ3Jӑ /ZQkFc4q%*LD Du'n/br#ۧGkC Fj+ vu~gaCd*@Oz+)'}kQƦ]5shFVT2ս Lq;tm҇^$asZ ;_(> L1}PW%Fa~O]c6 r6eP=fI .&i;yB(> ;Q3̼PlA ~xJqz0T*_r!;F @݋~À!6mҬ>ܔCAp\o6#I8 qC9$ IxʻB<u=`6[щu cn=B0pSB>ʃRZ &RZsӰ/BŸAq%*Ǩm?{{P[9ejm@1(my Pf)(g hG-.Gz->FPN BGfM$Kثƻ8].X+9\ n%WmljV2!'yZ6д!GlBivbCeV\Ǽ-q ZXzNI+-BMfЖU7JJ A@NNsQ*vP*ʘ"uH@K!fbqԠ;mGRtOG vTgšPTr ŦM:AB3rrPn~u WQg-fu&i=4Pq3.hų#'J;h ^c.y%c Nmː)| a}/o☟^t|ٚ&ePy*+<0 \7I%dwH g'YvK;'M\Ǭ9=[XF~uZ.]8ɒ`@ ~^Z^8J9zVn A*Ifn^S.G\gnx-qQXBb7hV%аW{`~0 ϴ!I;$Bɂ fb~ʲJ~4~ĉ;[)IH Dh k qL="Z5Rr6K q#y>z<Ī-J4#Y]!͊M<̐S}513ɯiT'}86Ӯ"cJķf#+K_PMg\[E^mI`6xjbl<|vl ˾}n8Zͤt:"o7TEO9؞]#D\O&li:ݿ qMfc`f^@(lfX wT ضd_e;;]5pfuƱg`zw%-壥7HH>+  \A ~]7%m-wљW3qgĴ:,pY,qSƊ3ZhC0hH:d"4yjt۽2f!TzúY^"bΗkÖLH6lN-@ȔM0Y&,KMzT6A >UF, o>'c :b0ȧZ:hR^#-!a]>_}BU{w@<ˠb\ehX?e .Ą;šTk2Eb|feڴAHg=I&J.(?)٬Kz( }k%:UޖNpì{Y1КKtLIˆԘ5&a{?\w#$~96!(K1-:^ooe5u@DU M):IL72Qd|A ί')K5ȸ+ֻ5]{oʎ$.rmm:۷]Hosڧ irS|iIz!>-]IkòuB}'-ηj96듡fsL`2eES0) qkY;U\*uYF}qJ*Ȗ ѣ J`Qi$H9@{NGzt.? Mh9Ty:2՗&)$# 1 ;,ƷG&KTټ&$4cY'P|sHIm2ywa,O eHJ6EkT{x7;xUyL4ړc+u.i,˞#qBE[MLAU,UyExS.` `t˱Mr.kWrzRPS%K/grBќc Le5)`mg>?^?B _1G1mjj,q+¼xLǣ4 t ߁=¯84a ki?t-4et˂ߊ؈\(ڭ7eÝߍ`UAsVY8-W8ƯBEhN|T ny=' Vq8 ꍝQشU{ti"(U@i.8p%h %¹s7N\{%t1lgLc_o9isƵ7p-+E ,R3rE s'8ǹ`R(ϙ +Âs7'Oۄbr.|9I_s5SpneC] 㽇 n_mZ9ehPFpƔ鰕`mz}Epktk 膥EEK7ϫ[smp%c)\11XJn6/]ڄ/!-f2R΁Z7|]kv.(gK"Vpҍh0c94QA2єۍCF֛ K+lZ#!BG vjs=x1ol%7݉(ilL=4-Y$26|ʂ}Ŕ.8B2 Jf~!/0߇1é;~4 8wTg<-z`O#6ZܿK/v뱌g^'[AlxEf C|V-t%3M@u\C$~Ҿ٨8){Hپ~_&ѽ'#9]7GK$$4o5:6Ke6hDq*4̫/h ]tb*m`}&rsDJtnJ)+_̀$0&B6%&@j9 |xuкCcGl }\)UjϏ{TlCԓA7FUdǥ7ũ#Nr 6})^ӯPu9.QɍWMū?z}(jlI Y 1M., pSs-ʹ6lZ!m(4JT\YSFPJm4,ӍpH62[A8:m[>$} _dACurCah2(^AA42sz7~pS zNWj(YZ>ebd$ :"e\6*/d?/w/B;d:1i[ғ{ϜM,#&a[wd*مz {Ӻ;%( <\x ^LܿgiBy PyNgoJ55k M7!6LuK]E٢dz]GN b(@x<>ݱСDf5;.vxayד]k9 14 OMBEk)$qZ`Y6I S6-rࠧMŖO\9Pբ]cD.I \w\~^Y %Ie'ocx]9Rb4DϓWWYg+'/v2=dl1^% [oJ.]Jw[qpu^)Aï 8A/Sdjee#DM߿i$n5XIޚ~&Zu1 @={B;71z gxa,KtY{STs="K 8M fR1N"UR;!h7(` r"I2P/\C.,gG]y4 hf jZήwn) w6WL_82sAir?F:Ķ?6 իAEYoWI9~ٴ ȳ8V۷w*h#7G- R]1üu9+%sKT,]X m|^} 8$~7vᓁv_i3 Y25S_Ne;PfH4-O%ݸ5c/F7ymGxMeD.HP>gTМKPyLTO3Wުi2-vyTJAG miC]WZ)jTA }s7[zh}G Ub~%ds0KCB,u^㷵BҎ=i`٨"Q}R[u>e_]:N]*ߕ_K踄=ҋ2_;*m=M z 6&|߁yh)R'dY0ϋl)+kH`ɩ5+ .mK2pd#̝s) Ge,PݫqwY7n,.v`!3'Qx七 X*+.?6ءe*cng7ӲL-?Z%DC-|VధfSp[wt+5ɣLUHhӎ2?TOB͋% &rJ4FP=K#r+0򖓅*K;. "cs فmp u$:Zaں_(?A4M4 ,I՝-D-Xפ*Z !U`@g I[uJ}*k}-XV-0d01-@8 9)??=1qJLYɨKl]qPDdr.5ebLVHUc>YszIX'N#kk[[sg=o} Zu@\ KOanW4 ?9XqoՅ&ƈN>4B*E_GHM9OK8WⅦ]S A!ϯVc*4hPre/9]-&}V ]+}|@79yǵՉ:pRIkMSu|W.]hgğݡڅe<{cF ;@]C'#e!T(f+ /YuNhjXaIQ,݈A,@*[aq>}|#I2 FS& \ڴZErwzz ^4k5G>{cڄ i`ӧWVSX/67zxaDԷr2մ ~폗?^ά /" 6 ?]H?fdxdڄ*6Čpx>BD>x5@̣a,<yuUTO*H`o` M8?y+fuQ{ & scNaBr+ˉz;}r`O/_//L@HpIFK>X\,=Q?i:!ᱦv,h]@f9zpÜХtUFRC~:VC?/_ȊM8 4Eq4/PL WU5X5O)7 `K"n6Eo+^烡lqk0@)`yrtAU[ztDf("? {?=27núM^HD5"ŗяmm >]ʘ bienmL,:H^Z1rdP3mI6u;V6\4p lSR]4l T4=omʂҔԜ$ .Dr=sMZ2n{ݰ\eHU8&.odQY妔i-\ȯ̫sb_[[C|q-ajh6ĽJU#d5b@{!%ǴdKPtVx1!41r'8$:Eeò!GDncHu˾;WD(-P]iE[tnRܳ4fWuرm&ʦt^ٺsS,AꤴZU]T^R *bovR۵E-k(k*ˬ!H4ߜ^OԒ?5Db e8UVYk'ҙa x~d M ]R D is6p%:#4o.{b}#Ш-{ GiV(nxTpFuR<9ܿ!0uРfdsP*x9%W9+| 2L> ͳ#݆xڇ?SY ]b z&Ų^BG32_z4 -NW[5 YZEg nQOB :ehlhԡ~?0O o3gDC=izR%E9g %( :8 Vuv茽?lI`GbgbV{[dẓ~(1D)#6_QWly;"xe4sb/+2zPEqBJ?i4_Uz:xrJ/Ҙ%?NX |G3_kϭ&ȥ}_{'揇t"t8fF"Ij QM2c. 2R,-̤APguTb f_gqWn\dm+WY3 Sʑ{50v~Q]1AKqܯ-P[i_W+u2ׂĻ{ P#s*ֲqX20ZṁH[gdؿL41\lӉ]ʓN1.NScȥ0hH{jK4-NAMdVP&!/j!?Lu#=ƚ+8:ѪpE;E*3ٽKgTg-X9#R, >rgVOwWX^L >75ur3STcۮ-b, lc=F~i<ą!D.] FxJ]yN>@*nSi~ɱRğyEI~@p(59?HsX%{Z0E0ӳnL?.EwW%׸z U`@\1uxṡx|udbR2e gƀ#T3D^k-Sr[Omg+>LtʧP*?{iUـ;# ig`ca?skIǖ鏥˖,Q<&4t]۷/M]L(>I:H#cdHt|9qPu晼Z?A>B5 x"Tξ34is^YS8D@.&*h@N4u'NS|^]j,N Fgo^ee5YW @?hʺ(>8r1)OǶq]|KI~G̊O85=b& #*D{lj,r]OO-v ITY騚׌#]y;|3nBo¥,yXѵ m ᅩnp QhFΥPGJ-^ܥx+Fȁk!ᬓ]R]"9NW) .{RnK~fղ" X *n*"1v)?:u36&nr[{nư֍; ^6rd 7.#]6֠\-Ff=弁AWj/yA[ơcQу<謒w uS47-Fnzv URl̀.@b~x :ԇ&!3NҴ1XK>ƣϋL7c+d= hӖuwO_eT叢^h @ k\(RCWr}J;81v079Xuf_(^*Lx>U7@Y >~ A))9H!}!&@Y7 _yex΄b8shtW*"{2Pw>VqRl.(vqA+L†w*zf@e >ΓK:. 1Z Zؽ9st K<ӯ_HBv4 1?pLoX<3tc}ҭ>DZ#JUm}E8K<:Xs\wrK(txi_(PE~<˄a_.GgK1כbGe?߮ m7醋W#sߞ/:OޔୢۂufKA Kee7cdžjgnqoF ^LAݧBpt6 'ύ+ t~SޡTWz;np?nDLl^ i{_IY?_+Qm ȋQ: @t"r( 1YVRA F`:VuQvؾs@%) 1>؛!ƶ, egєAH3ec-pjY`jJF#K*'go͞QV:T6uzbL@+c pŘPGx.`ߑ78= &܆8>wH@p4ѯ~ oT}iW}8|3iu;< Nx"?G^S:5PoY%əw[ոdgE.`C8dʵXReơ 6IKe~W}Ջn cnjD4_Lps`S+NVІ)쌃HvTOL`2^)"_dWrp?  .mPݟɈ"Pc Z0=5MalIn]%/R\.A3ݕ fE6lc0{N;cׂ:Hq.vd~cӨoӥY1纭hMGm4BP^ m`j>ə]{=+1sT%~/wz`J"Z$ b?N?5шnXPc'ս:bfک #Xߩlo'V/iHqXHJ &%_ZQЪ Bb+nZ.˗5C)[3Jԃnl,'㺏JI7$q1*4I`gxXpf^㿡!HdwciIhoUŏAÒy]l**xHy(Zƅb;7l‰, [igH;Sq C1P$xhˆ~mڄUfIʕ]Z?јiHX/#o$ ;~MvjIwv+א 'Mr*f0dXj:W!P5x 3 +c!6M0%>mYff֫т Vo 6R.lV=*nELk풐R'Қh@z\)HHhLň W[\iCe^F3,-kaw5j\/,\ŵ.P`B߫Aȇ"a8d9"=Xc:#^ٱ0E:ל0|LcUZ[lf؏78W۳U[CL+XT0> pʥ&[6ܨhu->/u|ݳzJ]D TksD)&Vcցp Xlxme4Pk W[BP*zAYsy`0isC֡5 55ߋwe6̑t-vyFC)fOUnM1l3j5J[k8ƞj2qUP (\- Z3Xбr2Ad\T3ܲ_4[Kq*ktS$ibΎdׄ#$ Z[I(=xK3ȉEͼȹT}:d 02ksN7.]uSiW>/a{ Ey:T.O|Q25 L^Oh!>qx8W.JU=5E%&PccS9aJi-u+ P|Mu:)t9+0|ˬ-G҃BTQ5|"6[&)j\=vAڹܡFߢhrNMmOۦwP7V7GR6T9a]#/Y ^ڰ7 Hahw:m\Kr>+l[*w7"sF51O_{7c_eTrDDTq95%zsp"x%@Z,P^1M`_y C'Ngl dMl851 ]+iXJa_5YP 640Y IӒ^0cXkF(:z-={R}U>֍ڛFoS% 7۰Ј c|saG2L)'Gz+OZ|ss:R8qbhr/gaMӾfʓO cAD.u;󯀲q[`xls2X-ˈov>:rum$|Km0r:`:78F'=OSq_8zӐ#rpʞ3O#!bJmb|Www=͟^R\cGk0Zuu?ݣ$ZJ|u|[P~ӱAB4;F!Dm%ma4]$o;Ei,GPЁ+yM3w%6%P:E6z8֙hjӧmx%/TѧU8nnGId]q0*|QnXam'){}JWmNn+ӈi Z)"a[YJ9ɮ\?9ܞ"K ‚ EMn?+ʞFTƤn&Oȇ3$Jg8RhY9-t93a l7ѓَ&XBHUZ@I I@y[w1!OyЅ9UBnSP-zTY+|L[R{x}ΰV,_cis>Qv%VѡKnL= SShҭ6 )׷img5efiڪ^!o\\[q2v2aōlS?qG7 siGQ R6YpfDg&$ 35; }(3'%J3j~H*V`tp&2"ߩ,ip:)% 0ܕ$kJ$|0ӰrkwD~%#k7caqwRG҇'.gHկLb#7c %&Mh}Ղ7^2!WBTtWkXQ)HaY >T2\:@11$kL3y.8Le`o NEتwn:L۴-8c?$Tl  N"8k"D!J$M]Tcm(T4e8JHo{9>@[@PSlMEzYg ܔ/eVr'8mT 󘌏B> 7? (LKFâKhMۧo\VW ;"t!܄v9AFHxvY)J ~% Md1Jo{ [rSɆl@ G %yFЧZº (dǑ692O,FLC6bϣ IrD08pJ4{G\'gBΑ!ޮ$/ $2atܱgYZ Lq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method)p%)PureML_Bootstraptheory/parentsPureOo ) lPurePuredocument/latex7zXZִF! lp]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:fXQbqlKQ69  O # ~\x% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWw!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML v-PurePurePIDE/document_id2Su') 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бgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPure.r%) 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`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<`\phD2KLc?R8֫.Iצ0oP։t^e -X%(75.YW@iDc'Þsǿa `NӌdJ_Wk|g,Cb1Y}#_+c;1{G $ ,Ѯda Ŏ"@-F3Z'Y{u+2Mg`a#'w>O2hԶЪFY,nd<YڲHjJ(. G/u4'ۢo]Z#\oߨP<󐅩PMRRN_ oB]D,,J^ξF&\\%Μ@*'"uOr(itY\argw$sc*R޻o)枉Zm\ o3W1%fdES(8?xV6~uv"#̃j;i:-bځX;(G 3g_l~T\.f-6}(%bg`N"0?3ܸ`zv%l3>81YĵeQqRd9Xtz_2EMI`3 yˊ>W`X4'k-3 q 硆ad$BfZր0,vFC񠆶]JieZE;3xl)ĔSpR:{t0"eT8'QҡpGH*Fx}+s % bHw>Dg19CBn? g" 2?i 8b(*hЀ5?}R-څTL;wh҄GǸ2NFڑd^[_ex`ɑ$Bt"/TG27aWSɏˈ[ -K ~ɏz9a-qthV@"6ޑ4Ft gRz1#BUD!Rݡ{Z-[ד}yC˩cpł@̏|VA\`I 3,3?GtY) 8<*j(>Ѩ+WIQ_J+R(ø*֤]e>C̞~ AӟglG$UZ8LT=\suH(ե,,G^r*1 u?il˜[}o@/j*ԯ &Zxw iPFFQEy-֝&rx!e-0%_M|gA"hLCŘ"J,4ɵ c͈q3 .sv]w5`>,QP3(O9A' B=@V8U27RЦ0ҢD!R)i;‡BiiAb|K Xc1)z.D8A9ż9 _ErqIte `K+*bVjV`(;b6vL Fdtev\D9Jer0rxܧqpgB`eAu R;V3\U*z|l T6kf)GTo+b3'%WrN'ŗRa%' B>BcޏRJ/(0R7Ki1˸ŸǷ_gA\HZN0v;+cOy 2R\Yb`-bg]-=*)Oh/ڂ3"= yb,eLu-}b37UeX]5'Yaq~'K'[V3#w\0`bwRI5mp~V%]ȫt<|Fg3ȿIZ0Jē/-'+-9,Te">[ orWx<8wbF<53{oQD 7EsHk’L6 R<+ml|'`% 1"Y!xk堶e_>Reet>O2ڣ{х Br_tv3a R{B.6ˌI qս^Pp5(<B5]܆SJkcd]糵NՅW:`hvb6yFRg"D.#K`^Oh~,㲉-  $ A 1<+rMހR+p/lΊ<`0YM|4jڭMQm`䛺'9sE1:-"r=:n''{6^388jI֐2: 3c;b5q[̞# L3VSrVZr5|IZuϫl$k~|iӰ'c@0s sЌDz ^>RZ«Vj /V:;]S*b2~.y?CDU Ȇ)vv!㌛Tm~IkȣUcrc4_;f9o~hz-ZAI j`B3F} xث$j~s[ft_:e >A]Quȋ M[pN࿛k :h9>|kͫ}:a-/WȎR&(Z| QЗ/fnO9FDϑ샼^;80| ē@ 4U ۱ir!L2K(R{6\l =GP&t?DǼa =EoFN76]mmN$p 9~v_hK ˎHd?-Barh?k5C95ŒocLEh(w:K2KꙂ>.>{#K' AAt#T#=[PTa4 ] '`2"WfeM\bfF,=>x kly;j3p^V<2 Oa(w i a[MoM+-aX }YV r #6+ϖL774b/2y2guulE]pJ[ b7Z=nAI&L2]m|x$.oV5 ]"uw̺I,pKT6h\:_Nen-xs<)\MG1va Lj]+;Z_'vKG(^gfbY.(@2|,Dƫ5@6_. d- wݻ5Z[ayŎ;"?\Dmxg >i,ǫ"ǟ\Lo"(UGۉ1чKCM&)A9} 7Uxgv8A=iv; Ǽq7F,O4N?<_T`K+Y:m=B{ ˀCɝezcpspfk\weug> T׉⫮шyˬ<8;=ٵ&Hrd M` Y_X[>%`%/@`#J8V0ȯ/d nVvf92΄H<:z=KG٦^z6TԚ$#vZxg{ߣLpLEq v-,6}L9Yn敐d8$O9$ǎ1 Mq{ #paePʺܦ)ְlw WID`>?ۇ6c.xEt!Nݧ&ٞkBM%1JB޷JWޛ`#9ǫ0FJANC% #CpT61:sxh+]b#Be]6ՐAO[ գe v2+x\1ʖ'ُq| t i:b+9Bzے7_P5f8:baf=ĢR/GnB'D=pwY)b6JM ]->do!,GSbqJYێs$ 9<$vNwzWfkg8ct2ݓ B^D)DOaQ6Hs@# {*t0@x{N ScR{W9+)wἚ(vNx@^ zVs1?Χ_N5'+gg'/+1@ӹJ$7!}?;e }o#ӃiV 6h+š`7&#q# a6L_/:{IBqFEt.$mhh~ule]*]^J jD ݞ|2{1cR?X$<Ւ?i 3*C ?Gn-9JBiDK Jy>BzOT@@w!uMҟNN1H|AِiتسV5zM@s Y %G"[:& xw >fx?ר)3*I^>ye? >^֧K0w+ 0Rbn5DC.>t SÏ-g!ia {,M[-@!b)GmgbH:EN@Ijԣ*j4UK\G. TVE)c(>=ݟeX{euACFa&a1]o _pĤ=7;4y`qT 8vU-:3?/ | ڄ`yE n헣\e(j!E:Ƚp;Xio ktM۬/|id,Bu8<15M/1igr*$a@HӨœ? gO H?˜Un\v˟XT]fr.'Dr+c-e E ;H7yEyxe'3uW_JG29k8U՛  ƛ:ܿ! FYZ 4 rƇ0s7FxЊW)6c~.v<.f),mA(E?ki;J^Ҩ@~}Z{D~bxpsgrv3 *-g&xSHkdhc0`٢gq-r.a`1kĸ^+8}'TVgTc*$Få#ƻSd@hS\;s_h.#2%'`S.gӘ&=dZdMg{d@}j פ!0ha(Wm.a&Ϙ+i.-h˕_1=vRk\Ϟa2{)qQ=I~X,䬇,,ow\9ۆ!Eh JKf{jȰr57nVp,G4^N${3)},j+>VM]1W=( z ϶n:i9 D"߬ C V]qϻ䖞':Wjl,j=eR"% ԡuּ;紀aɾ7YNb'DPe[hgcUϛ:_M:#P I ԄTH@ٔU ,\ CeY_!_2mL]l8+0vI S3@]!m͕,+mפz🃎D*8q|&Jv7l-Wn /!DgDWq(՗YdA]aC^^ЀEΨ4]ל=twa29b(?ЦN.$O1<7߉o g/Vh|Y(2BxVۧ*">A^NMq@ֵ nC;_3U0$ov"UV w+R0$:Ov}uYmBInՐ fWdXԦMj{bu ɦ\/WHc#Pd4eVb)r^=%7öd qٿD7Ŷ#)tDJ{,3?%L˙"y/e@ Àu!:NRXB;f00b59 {AS]j kh Y1 &ՁV{ Ph#kgN!AmFd%P"Fߟޗ ,AN|P 4Hdwy ߞst7%25f&ڂȤKE1)%TAx3;Ou9y~SI8#}<V;vyY$ƴ81L|7ta=öGsh,l4}sɛ]t)W]JD B]͸"UB L66KH:༱+рv|2o"ل%ƕJ'(t3iCqAb:Uwkh}Q~k9mRƒv޿ԹSjvuԿǂCh5!H3PQGFkL¹!#$a"Hv{ǾK9-9Om[GJPgHOJnPhpyA 㼩,9Dj +"r;_0;,V$)vA ȓ@gCEjDU q>Jt8,SD}X$פYq=Q'ֱ'';΂@[L[3ScVgj:_q%a \>ƭ-SWax7]aUC>`#%=ا3!ěj[o&XGuWWqɠbvUGr;"goZCsjfKn'VnsbM᱗Orזr8$Kzc{c*u27;*^噆I;5KZ~9o?L.,56}9/sA̟_*E_5pvUN,o|]LA5W\#0PqV"EGqnC0Z<]b5u-P'hԻ6#`oR?Ql $aXEkj\ `4|ަer ߮F9s/.`sY9KEEs}T8aGGbY][ِnO,6ٿfM:0{.oq`VDgp*_\w!{SGLGR۠y>5ʃ?U6_tf1.F?KڔEdj/T dtYXc>% plB?4R-:  K{"4V*MU2 $X6*كZQ mXdt'+(;(>`tn!Ey$(],9.r+A%#/sѿ\qGjv=a=Pꉻ=ڿMYY\lpOAugk|D=eC P] mc};ޑj5ep1)Oľ3en1" ^Q71qBh} {SHhvhb9""^U\B.G3j<$dx$v-0\- Dw;SjmM8نmLH!2cos)l~zKӆJ5m NθPbw "y򯰙 K)ٯ=n큙[_FcZa^7>%rcݔ R2YI}e3Quir@xP@p&q1O}C"])Po3O#!adj3Va||E bl^aEz4aT6q Vֿgn#rW:KfvZ:,NϱxazV96xy|!ut*A` zb2'&e:I{ޠZQg++- M+ qJ"sتb$lj&{ٚĥ] 4,b a'HW-5kͦ(1JYv}H|-q9̧P\84|X]!z⍝j K8YXح+ps>cY7mDЌ_t"N(yDe*W@\L?;@*AG-DC& my1vs^8e(j!nnЈD5IXN˳O7"D gfb# eidϋv5mIu+$Es,|Ku_o,d8|xLf̂iWaS1'c^hTEG>Vq oQ9+yv}*h^~r uUgq>T- Qb^P0˴aӫM2q O }@Z`$G,<۳-toPKXڢu y Q R2~t1Է(  sZڽ]"a ӕץQzU?~`g1ւxqgMN { cNO[MTiFA.aQ@:z}g6 G="+}pv2L & N\HSx/?"hT:xT9$""JW=#evʯ6=^+GpQf%t+(Z䵮^زo@CM]ZIin Ua-0Yrܣ;Z䮺Y^`‚pՔ`f)iwwONja鱵\pJpyVf}V?@6}=25ڸF.oΤXNcƄFpބp(٤%kHjx Lʎ.P3}ZG nL{-x~ ! 3_ pNXkM &"\߮zNQ^k׫"@>qSd*9+]g&2RVkx*4l\٤59:ɀ(fJqߛ+}QzaUR7(ustvJb%5c,v8v_ -Xت˛)os0TZ$szNMh6u~s}qf0n~I 1i Q-A7`'kt ݠw`2a.1\ mlN;;iNOt]v],U|eRJ曢&-[m ARYO [rHQaK [mUw)rl b: D (=DQgo;Cx3p[8CQ$KJ6NLTa,=~P r"2K nDNW?_>dH8 ')ޮ&@I4*n.BZ|H?n9I,6xӰF|t0k ͂΅(W D;Jxyw; dFHEܘ$R?"d' `k!Q_;nL}k;dⓏ}n5v^:pd<G[CUv.f2i5W$ݩ!S5XT'On`YC *ګM٤ʯl`*u&op.*I$VݺMGly.>s[1WHYUJ~G@Y%.Rs% {FfۃLb3 7+j6k)rgw_ϕ+Y>!W "+?ނux,(>H@MBό83 Tpf|ۦWmO:؈o񘼸厈Ur.CYҫS׳7Kb0|9N2Kd2Z:]U0go#I,jJvq2<A4=/ jYO)bY_BܯM/.{Vsp IEpu(4_ȏ4_]f 2aXidgHaŒyZ:5`rSY.,- /~Qt.Gc1$mޔ'(?f#IB~ȑ}aB\ڤeXv[=v ^bc #d4 ZE 2. (+T1FYLE!wf@2k}1LIeU1)_D<QQ~Y`muNXVntzB4eo4C(6ӆPt-xڴQ;QȀwsoxh]*?OAz߈~P:Lj+0T zn^{K+9z ^/rXGm0 ;BO ";0# ٹ<7U@`%V#̐7LNEC<`X_N HGb;.]7*z>H ;Gf4~@屶 Qw+" x=] R"("Fn"KRɜ[Am5X'(D ?Q;.].J4](˓9_coB1|+oh\&_2$4Mc)+lMAfpUi yNՌ'mTvՑZlV #yDVHy`Ȼk$bh00wT0o^p}q\6za>}6Lȹ~o ez<< +HD29~FZWy9T)n^qifw6u fr-y޻),QUMlJ,dZ!7V0ApQZ]HTpVsy& Q&A92ǻ_/&=hynXRL*_l!&(2C(D%5 ܛrSrNueqrV6O=cikʰLhbշ2-.G'tWD`ti$W@ČO̐vݺ6zN)E Miav;O?͸"q]oz =_:") ]Jjs {d <\ -LDhuJ1c[;'"_.qs.߁bL@9mp惜PRlue?b[JX_ݣ?4_ 6_y~p/[9 r`{%5ԉgGY9&ޞ0dR\,HN^rW 9-rr3)~T̠yC"BA/E8C.:SPV D^~s9{k֨S{/ ;%V R GQF M)JhJ6$Dp$_,?c0\QJooeF5SdasTNW2Jn7*STYRu1qR?u}$3On6fGY&lc'mS=3{:7 X(5k?ngv:Dn`u .@{p\iZw1rqJvXy3(f uvxDnzg'0~}"}FPUfu6|}{X-Rthr 3x KiB  c`j9KÃWC Q~(Mm jszDzBv5XA{3nUVA ,0ieRy:M &ǩ>8BhFO]7ky+[# S L)PDG+rzb;6ڠ%jMOPcŗF8eTyxnUPaPkxCH%r%?w"6>7y&$}Ǟ`:qPʎyDQf9pvںVa|ӄ{ gk{Lby? m m̊aiN5cMztACwHB@g܇1٫(mM`wᆎ{hp4E^ꖔD EtHWN]OՕ6s"!J_nxcu{ٗϹU$!% b%[q2BbM@/#rz;|$&|'@̦OFGR4ۨ dSQ<(jvY7M$R32 PwV$3t+ĕqgc\鎨@=ŇaHgU{-= fWefc0{lj$ LI_)Q6X$p o'a M;: (WUmo82U OOLYO-X%†9)}$cN#8-߮ \l~ю%9 rVu1@0(^4H=$/M\-7$ Qq$f| .nuks&] ^Džy!=^s17@F=T^>5Yul0}4l^ жb&a+SVS95AAo_ $DI/k#]_I(kZf26Iىve!7KQ`fͰ8rB;0i/qޫ 1Niht9QJ2 ~R!6jDb{.?9JLHĉOEDfZoFA8#/}`^Oz?' HO}- 7 .l~\[cQkxt.Q rCT910>_P:VAs5U&S-tBElT^DdZ8v-?[Kh#R-CW1$x:\&츥3# }b/r[lW4JAFW(u7xk8j!ZӰ m%r [RkLބaL \투R ThzEpjlId]:O7iroWy;X{'Ӿ|5 I;+"m9ޠPG$^N㴏P|^]PPeuN_)W/]r/7A{:&!cQ>eP u*KD3b1C3ۣfLX'j?=~ -ڐKࢬO*St)tcƋ?&#Ojh1ݫ$'b|>50$!F7qW$2fQ]!ru茬.MU 8 Pꥩ>cjM c* snC.f_E&(8gIakt"* ѧF-/1x;[Vxw!mZ?3A4==E>6+ utt +ȿ'VʹRy;JTJ;.5wy "1pw\Smyݴt) %u-` \$0xHgAFz|ކ$m_9RSJjߕxETs̡S(/S)^b A3_q¥W,x*%h[RŠ/~nZ\{}%ʡ,˦Պj1\ԩZrTŌw9׺HGY Z "Ng 9JC! ഇ=|43iEK 96Xr+伲pV- |dRm*'ƼN}x*>PI0£6 IH,m&16[_X4l]hү.8gRC%>r?k,[f(13T~cAqA2x&W% *Bdve^jI S^iei g<*]|@&w[>ٿ+x}4sM>J6JZ@9Q-OHeC[Q@Yr@beΦ"D=0x dm S8MR` Qf6T92b3`o)w ݣ7ǪĹ*{ 1OMc5E37чOBZf voW満L<2&mALchf!SԄvVp~:eZrY| bReDw͇*vQ9fؿsžLx{@kxfyC1w{2v~@AeQz3laR Bu\U,x:RC:w0oiJmYFO_Tk(B+GS؛WbonM?M1B"[*VJi(iyܜa8 CYy+'{&p$k:BM1!V`dI+#B^$o݀U.^L_mSSEI#lAM9䨉ޓD؉Tm9Q[@`at0LʗDqڿT,c$7 9Of&6[B&9G8;j"%<5eFbŬGCﭗ cR|Pӳzauu I9b%AFǙU9˻'bfs(\ Do4`J~b*D0V Z!@Ts jF) |ڧ^qYK$龛ٓxD >k uy*/>M,=8c‰ht7B#O𳓷[ῷBvF $]r~҃IyU! ' "8yѪ*^lkbCB_L9F~,&v`۹/wZҺ!D^4hMlF!{+めt|ցiHvp(bݨ98d&dm7 3u)ޤcF/1..쉎c~e!*5jG4uRoF97aiȮDH:!AEҺ?!JCC}G\~kF2aLIYkѰO~7߶HIx4 k,*C򵞿:gQc` 4A`65#*JNLJ3/vkZay{'7uIcui3P=-ë@ $m޴-PQZ:PaTy@"+_ K.RB mw0U\鷶ÅoēS^(#D{SdtlJvli~d9rPIFąc[|^LiGsj:> ?+`3%K:_ 9zp⹣?965]A/إOՌ5k\d+ːF;zܭX0>N4oT9HEe#@Sk07LMz*,F<*TEG@+YB+/ Gu5^=̋.v6}1B?2a!ů8͆D4M+#pKj .n?e8?O,l5fH7~TR1A(:FuN ^+ݍDoɗϥv`hfOX7-P+چD֯dCPhA:^XS:9?גׁ.03օ2!sa!.824bKM$XL 3 n<Y8)V\I 6y@P\&:96NUd `36я xĝ%="P]0+w @k6j$՞D97g_"As*O.th'D'2s`.f39cM̪)%'$pMEU(ak2=N]I < R ٸHLxTtX'ŀ&Sd|W,iBqqyHPN-!]>{1#9մŸK(Ӳ|`WW]ps0 1qC/"#2$㢊)Ahm5`.[Ǘ{Cb!KM]A^2b:zOKJ⃲?;¶ A}F%eSXA/g5 mVs8*2F-3;pdfIUoO$a>3&rm,uԵqՆhw>ec'[gmŷj9DŽ@KhGZJ=_+kSz {<4>=:C'}olMX=$#^#LIm oiDm3$>pLQi$xNl{PN6ZN3N&HfT돶Y{ As{`ҟ^hg.Jyzѐ3|/@f:R 4*4l cw&Sye7OTքOS;5&ڼ' [3_X(\[/;`U7p1DOӀo.ٌK*bs+=2)+-POjALzlq 9)x*ҨbBA!iʎݽWW=2OF@j4񁸉N]YUXf @~ތlӿRHkRbTaK-9fn5s'M8m۴xêRmߧg+mGUÐbo;tC0֮jJHߣRū;{w \5?cP)b0+lsLؤ =*{5*ͪTнXK@O/YO$gbQQFdᭆsQ&Mjxé؈Sݤ&vOγFܨd8~ M{UV7LJ:ĝiɮ+ytD?P˓B7wcx/J3;[y1a{66* @^:l!=M/2U$Z_jpt܇xJhWAwu)Dmv 8t(r}-ދ B]'oKe0-2! }N{LRwo9mj1+ea^XhD:Q("H/ Ձil{Cǀ ŦOCp>j~lVxoOQCYPP/=Ej e[~TWIj|͹QpLuUlD9LN)#UQ'BNY̅):(/3 h48£P$H1.eJBɃt}!"$V #3At42{cII MZ=Dfm&N9⪁wY(gX*Tjם}8wz ҊI0Do|Y_Y#< Ťz hsGFLkbo,QqH<"5j긯PoCm;zf'>&9RWQ_i}\櫥}:DOM:TGn!DK G@\MYU~:b&sdȊܤ A.#Ƥ>XINĶ;H?"t!)h{:E%dk8"fSƢutS܂Ev‹E,sW9KWڔctcHmb׮{֗mt[#^5!29L@w-X– $:is3|Iq+=h4FgF^wgvpcdS;1" vid.jko9o椋d2IT9\:ͪ^KƎ.@Ϡ yuAӷH["I!k?A0cK?xxk(dg^K8>+mZ`-CQɟG_t̽X]fӮ?y bAYי TDy+ ճ3 [>[/"6 vh^_btr_7T𵊄,X\+U5N=jmBjBćSY50QR]'Xb@e*p%(Y(muѷ+>}8D 4${bo>ä óפG_֑Wk\%;!Q:s;Y3`-t5._>^5&!K'd_ eTANH+6fA耏vȌ"-0[s@ñ[O"˩3;=״אeNsKع2тFIzuM~KBH1\MR ۬es.kGV)E9=/-lX%HO^q}iy$gvT;Z v^3)Xp7SRa;41y|>$}vG򻰀sgr_>n.h)I |CqY}|~3)JXC18fR:h[Zp>L ,M%Hb{ca\2l?rAHS:&?5D8wj ^EaTXA=#],z ]vNFLHpn4̭SvL $'Ӡ$e~ݚ^9`l@- 8cvpA@V)}DS׫}mcXM "J%Xnw:r$LƀFoO \6c{_s״9*ηfҒ_/GsahF-X0GT0jar7I2&okU' \#V"eP|&W"ؚ3w&TF v9o]H^yQ8viXw+:?ìKZM}'pȔzyXI?5 R]M)y^El)B؇7jHzӓꙛ `3VuIׇ\ޑI6UrصfJ6q@`.ciǶQh:&@"3/ýre 6^7a^[@SS)YTQ1de}!IXuo$~RV%#TEh skT״Z=%όgRв$yeWFRy062O v#Ql?&1 G?q'S22+K23cL^EZv뢾oY *SB9g|rE*&qT]Ġb\F;go=PSD 3//% !ΜpI"+uO`{vQZ\Zk'*Ua&|6E*1 Σ…z 8.{s/d}k*^IK+DFa}E{wKM.f:1tOsR_'p(@x1s)CJ>;.6Ⱦɷ9Pܻ~ٔq5'ezŊml<1 E7 ҃ar ~X#9A=e|~Tnܐ[zsM(|ᶙcYLpDѾ+1tL\Zw%ҪjV:B㻨B"gX&3tH.]QZ {YvOīq}6/ [V-ۛAN &}ދ8db(eц:f_;y KH< R%|}j VM3ȉv=rm) ,/Nuct -= /V+[H,/yYnb {ߌp/=&S H2{ӔlݝϵCF4@&[u~+Ɏ|Kifl}UhRRW=u->3X?)zxOqu[L QO)R~>&.i: ID!?<7{7ra}\vPZ4{gz!Ua4E]Kvw8YBHuq{l@J`+yX?-zmq{V4OA+ջƼh(ޒ1S?!qR-k2-.I(T'j80뺍5أʻZOY'7;0FEbs[ /(dƎog#K˾T.V W]:D+vuŮgg e?t|8in0f]X%4HKV<u2 qmGdG\RTָ^j ]RGY^-˥% JF=/S1~;tLJ+ NqӥGUFah$[^:ON(rΥI u[jgeNyrid8C`i| pmy1Xh}*oݺWt ܮU[Xd'_!w_-,Q./kܗR$t`i+0PRv@ %31p z`I?g E6^:%:* _0m0H!Ӭ^fB81*21\gmȀӋ@ ,N!LGV>ק\1bByF&M_RfJ><@H{%! y1_fm#aMƯ&k&ߞų 2T(9bfx[!! @//#9ˆ)<y!I8RI+Kۚ̈g2sПKӨI Ճ|>}mR?fJؒn٤Gk2KI^:&`nf~SsV5[Xvy 4Q%+< [<SɭY'ytl0m7:VGЗT+r& t笕kY7eCUt<J)}@~h,WEQ8]>̕<Nx{Ükr Lx;(Q45mz#i mw{֭mI9J9$E̾ƝpJ%kCP; S+,9ϕ34^OvYьҙ(1B%+qpIϔn-vXhz fTtଚrzO}G딇 [(8NsH*F& de]S|l-l\CGv"G'!Pùp1(\Vc\ .}VׁFʂՂSm\$9~QzIBӣk&q\:lm|I]WpoYR{;{2l?/Jv.Z~ s@eb'ݪIꝩҝ:-OwT όu a18Q\WvLGo@q3-6ǹ}ڈZk X$s=L+%XZ0?nIV%]' *X:Uj~X=E"S"wVp Ó>0}~r0w{T gGJ}v3`_@BbϜb:`/{ioI ~Wq5{k"7 g\{Lőw,Kiৌ U7̙gfR#8q}U0wEwuk|z8% O uogKO'?Gjtu55^܅bIj |mէ.9{#MH_$rFXs̀ ?LrϞð֨ ik.}Xջ(,_Go9+r{/xmOQ9ORg49csMDJ}^r@rzin*vR 9_pfx-P9 cn?@ݴ fo@-k$ `:u>/jg*:sbůxiєHS!X` `o3Oղ.yKV!^=pU;_8}ps-m:P /#3sTCiN +3;A5`k>=+h 9 8 +kB 2G.>h88DmOa+O)-W6K#z EN#\DrV@bl7kg+v3%!;J_a^X@Q~!psaF-6Dw#OPKL!}elke~Yߓl-=%'R}.SԃMNZְ=t2]7ňPö|*,pD+$|yaV1>pS?Mwo o׊蛽b݋lg^Q=:E -?< ꃀ ippQ[ǰ#Vdø?;BIލÈjC"5(4#<"GsS렸h&<VUsQ-񉗐A22PYnC>lX 9+^5.GNLd/ yrwh$8NEQ?(m'%"fWĎ8@9pCrQ=ᦠ{GMEDtp'naj.LPKQ*I 7 ?l43sX~whHCFN j;ja=2Swc8D4KPǧPA 3Y#N$vKç#Y X9.OkEmLWы A^ EIx :GB$qv>|6ڇnNg%ɜ4|@ *gY[A 3COt)) ~5 ["h 3GbhG-ڬ n`^y{nK6? &Q7B |[t@0elrt#M5{.mCMjQm@yJRX2Sf&]EO\es+B.)M326,XB48oV͙Zbp|tr@^yJD'i47v~p@lDx /@fddӚK^H&t1F@~ P㛆ì~:ZZuq3=e0SWozcsC;'և 0%Q0;9iO(7$|.J) a\(| e<{hœ: qMAdSo"yqnG| Y!%3u߁;#.wϋ(.Kl,jcqU`Q`XDo$ `@4$f ;2ײ!b|Gڥ_P5ѧdC,j" .6V'9/\ۗ7G(x>p h_˛8o8 s'D9b8Ltnߐ}/6=s TFV:VAz I!Px\*EҪ g }-# R%l}!flc*]@.@yňlq_;Q{e:߃ @xw%)^o#fD ܚZ"tv Jl@F"S|H,qft5U/մk|xP*oYQH ~RDj -F!oLw:$9W)C5JaifM;Ft#Bٹ)[yվ_A\j4A5# |-2k [7/gJR~uҁKteJ<oYǩFzty3fnuG-]xp"̒3}w5Ay7`?fb6u$' ib$|#f$ :;r4*JÏkk#,];uX'AZbkygpH,Y+Hy4aOb&{T~1qP>BWbS+r,ĉ#g ofDZ[ƃy nG>uH}b(ǬQҰak{v7>m94_cyt^ZN8ɦ1/؛{ƃM&'5C|Z_m KPt!u?&VGw_=`x$ g(2iKC"+ARHidXRBhQ-\}'`Qe=n0_n@n3 @|<( Ai=$z^72MmV􅏚*sPٯu͵P? |Fth܂huiip/[gFX8ihHYFUib'\o?9),C(,$+TK?{iK"Oa=m=U6D=ok^mAph ;%S[F VY!B me]_>2HX$ڛ#X8OP} >`@^*3-̠ q FQ4^(y9 $*omCK9n=Ik Y9Z | 'Vr~3hK#CXER ܌fCz~@u|Jx(^bY(b6!CǓu%.Vo͋ǭs7U]QJb eo~PzqjkOM 8]oAM8G+nhNZJP:>4a{'.w}}b :V#ArpYr|r8,}°wJQu5n" H Yk'K+(Vw܃pKKRp;AFqcZǦ=#-z}v)!F*@m&8 SH0K~Pu˜-T;/2vB{Wb-e3CbݖJ@q~M3B JX iB"@)9='ϑimh&dy]ͺWlKvZYF FXݣ. 8P+YŒNuGs@gSs4{`|[ JISZaJܣw BĿ@v8t(@כ"xBx[yxVd6ssZ7WiIp)lݭD\XH.tj`4_ܗK7 đm9,h@ZE[530hOW\O G=֔~{g3`fmckAM5S)@r I$ljɽ9t-̽F%Ʀ+B ?uNkC~UUW /I %4TE5W96 $+ ĄTFf$Mkz˂ن1lԊ"HV@t.)-Mw< *l0Ac)ʤi}J||ّ(d qG0D|H\@p:ԒEg/s^ sMl %C;1yIyX_Wt w<9X+iU^jTG{F?܂[qnS= sgdX]' S?jmʶjOM%$U 7oKgw(kVP@!`vN{R[5S3Ӈ+Zqԇ`Hiv;qFZeE9|F*0" pQ./u+aXri|*ɨQ s :;@)ruWyb h",8qe*%gY KZ_q' `v<k*΁2Tp9s;I‚_1~[2n4YB/x!7 ^T+p/-&oW{t?-x~ V\(|pIq>%2jbTSp_[ /v"W<0.Y!>zO H5$@ݶ+K@mCG+؛:n <# &@g6xd+Rɷ"|R; >_8Yc۷'R~vGKF!>0JLw ĕAVg<"C(\xM(s&MS Q*:,#݁C͔1`0Hj hnjޚ(WvEO/y)汣l8mC'Kxŝ j =P"*l[ l[.)&ꊯ!*ߋ},Ԇ("F(Nj5dn7@lk 0:h;Һk3"b#^}gU!`~Sv#e`;4TU TE(fs B_q-/v>^JHGfp|k6^t2zi[oWcs︺q_}*dnѨBD$iAW .T{' &P?eMן]Dz,P_ŠV#9w|ZDC-zCoEB#ikKOGZ3/͎멾gUhh;):wm[o(HR~ƒ7Жu8_LRlΑ@ȷP$}~d*tpsƽ\nuL.Fv-aQLxܗt/ R@. q*i -ȡtE{ݐB~,&}0ĕ<'5JyK:[jat+Z$?gVÃ\}g( mm04Zן*V3@W5*ItQPxC̎IID?GrG qcQxS/@F<^ReߖCQρ &| w(ghc~,OSѼӀ`C} mA.D)+D9e0#=_Ibn35juÔ܌RXH:SI2#U<%:Z AJ ~{-($UJ!qTHWWK%[)UO3=> _CaAe{3錋4z` ]+:a@, D/ Hf)ֻ)[ؖr`a%U̗~m1QGhW=s=yQ{gnn +>p7cffv6G!X YD@?LFe VU=`вo[zI$ 6ke"VXh:U3-e%ګ9^KqVm~9YSA64^Y5DLxbLZEt*ZH *ӹ=x5QU/'v{߮nDޡ甴Oxap[0LȃߐMi7VGQDэ@-.|U&gDw<{TFcbRoJHUЛd{_k6^&Vg-Yʲ`)TMKvnH|Hڱ +97Bg U"iqIwk2(X b]ym~vD'Ņ;P>&CgF&CЮAN[,1(sMԁӶ$ h|搚RfX@eh Inqcw46?I)U {bzoQVJ>E5@Ġ\t& ڙd  )M:c)vMtz8jjLz&,N8o)q'y߉aCڲTÑ^"C}ߵ9s)T]L-$~W²nl MOp>$^liC⠑K,Z4CXJM=qxŊ<K Pqg}4Q98h>ˇMS. /!>3Lh Ф84qVYArL>G ֕Q`Qcm::H+3`un=d`_Bx ۆ∿ha1#[7 e܀ge 􈘸XnĈ ?NhKrx8fG3RҜwJ.Bﯘ0Y含zY6k8W&)Ua[9j5єca@CPJɈXqoT'mWl*E D;Jz<jϹxrUj=63,ihc"Ò esPdV 9NN/kB|-־ wA1nn=za{xtm:'cA7U%swj[ 8tF tJ2D(6R̀,B@V='nϓ,%^UӰOⅼ[yٻNW&+GL⬁GxzqÓ2T*ǴnXVf' 2[MҀd22R \N~mSG(,iJ|1Ҙ{3Lz :xpi~j**7))Tar9[B' 6/^MGЭ65Lzɀ%CSI #8#=q m"Xrz ,{!*h`i,K?nm$JQoO@(8 kh„)JCo |[vpVڟ7pY&%d,P/`/)fXA^~@Lvb/J%48DyWiنHRр1XlY-f`pSP%TE(8_E9VS-U1n*c`ٙoG׊W9,trt[=jJE|L&u=~8µ3U/"<oj‹8y`AjHyE?ػlן/Vuqzb*#*,vr]N9iw 0S`MFKpgkҮ\+ޤ*!6 f l,^uzS⒔A+% ՙϻZTÏ}7xaӠq0w|> ϊ'0n:dTB̌yƯ[ \1L(me6ʨګFcgQmy+Fv$, U{I\:Nexu% ՊU+d~>LNJ§'⯈6YzS('9 -짛( e; +':;m*m_pg/贆$\d j\›U%rΧD7N[b{gG)#&4eXhUN!i{cSY>",U sEv1`·8jUZoJJ k\m l oMn/Om^\m '=k٣'= mHe!P_{Yc(Ss8j ˤ`LC*T( 4Iaf CBw PYMnpV𔃢BU=P)w<, vߎ2f/*Zu" Z&fy ߰RvW]ܡMV ŭ7:;2ۓ(LzF([ lΡ- l8zx +Bi1WKH2RyNO qM%(E,|VdV ʵRJ"sP;`kr:,41b2dχ?#!9L>o_V D ;f5nuc+z reԏZZ;;kE%Y|!u%SD; `zEo4SjWc*'A"!p Amtsc ST6 ȉa7%|3sͭ"R]@m[TqLJ0r*j# m-+ ݉:]51#WM]1Iq5GA\aHۨpƭ.sw}NgZ|+6; 9zMv1o.iJƉ>t o{6{h"O]^qƘ騢O,1yɦRKOoϻaΗfMZ=@-cN=k-4lҼ9+,L07A[ߙUt7*6[R<9xQaP7p5lԩJ'!*a!B(@/3pv5`+Gb[ m'M}~B->npYOZtL9q0 9"QXAo,I[[lxNĺ&ɸjzV4'?ɑ֫5;p䱈IsxϕcWDz螯5o& M4b&(v՗6 I@~p{Z?_ 4o[+&kY[G]K#Ծ\)" %>Suyat -Wvdm{x?)u9oP$3EhFP` {lTԯs@|MFfMCOv.w^a4vcmWH~&l7tI~j%0h y<!L:n^HSO׀Ȟ"^.W~GDn)V}#dTp |xօcpp~`zlfTUܚna˃?2[,AjR1$x\0}@:N%wձ]S6*3S eyl@[pU lܷ~B 6kx}xݖ|0-eY+{yRh7i)^"1WVr5.f+,&Z%KQC֣wxD7?o>N- v 2 ig՟7lIN7ʟ4&i [|ؼ`O~xmz7{ʜ0/GܺM [)N*sU}D )ٸè\\P $el:9=m2?YO&DAXdVp*Y|.y=;$,JO 籚`L ^v_?,w|{Bhj>$$TMMf-ė\ +Y޸ejfsNpGGBeZ%oɯq|;SkYþo.9Ÿr5"6} LeO=ٍڒ t3CTA)/-v?>XglC"?ҧ_̬JE K7 J*?>,,jW?p볮jZlSo3%)kE/2HUޒ=@AdI /8{kHtw$EƂopq(rdiKbQ\Ly]M1SO'F {8vt+{T` k++14(;;F`jC!yt(Y`^sfD#ȾxoY4pl"TPDbOGkˆL==ksZs.\e,{] OaSi3+ n:Օjq7m+~ 2C\*Pv/H:xeWfNAi(XdJJH=>wr|7<{L<-$Y)1 8iɵmغjYaÅkq 6 [iLKT0ATk` >}Bco}R/q_W `ߢj ;{.=)X9F:[L3($tU Z(7lƑ9pT[Ĥޯ6VMU٧pg!t%^2iԯW N,F`Ѷ?jE{| bX~]An3H ŚJ0`*MՑS`[ ޴="9QT[D^S2M!#WX' }{pp{㺂I7s&Va"= ơgPIdt_Ts4,RlvBjlaEz|<2HaClj-kS^.SAOAąlԥQm$"qIЕp~+j[k!oؼ ݞfA`47$2>A~6G-E e5%z'vSȐlN%P.`T䒟AQab*xlRU  Q04S),nX]_J0Wi`a6̥6'׀&[UZҩْa]P.p"^$ɧ7Y $0^g]o(W:MY <ק$oU|% ,.R Mi<=B(P|֚$$zLé}<DO3o] B8u,)2l?Y/?)ZǠ(wfnͬ rȣ4xU6m a@igx%*<۱AW쿇A]~"Ni]߻}wT w+;Ka^>…3#Xff3q X6}ʯD#DI;`1}b/ R~gT aήᙵw(}PǬuxWA_7yX"MRtMf}a Okv (q;[SE>/-6 Ht ÛyCPBVJߕΰ3q%;+GWh'kL@>zx\ JiS.vg~N,1cҚsźr {eop=Ůg<"~jseOS!g[@c:Q z,޼m  #ߧe)֓AbwC<6{D#TXwLgF&y9:-S}H'zo 5Hy?_G{"\vt&МX^.>F.[~rSNjwʤ~I!C,[dۼUǘFpg-[O=DBT6DE'%%(HB2v#C{9|Xz4 > M{lo}0*9cf9WBr 9JS*QF#‘'amp^.gF@Hh:n]7bW eSyX_YDPue7 %4 ېU)]LʫKX=9 k%sy5 Lfy#ccTe{/NwsTHtR(l8U9DE#Ive J\}QG3phډ鑎=_.M8`llP67ÆvG펑OebD*]c>ڬeM/臈U0ҹ\7fFo@2n/6}NޖGP h3pSC%Zz4UWU5}CёxX,-KvD.М tD2:Eu>J{p7d SZ NSa"J6~'utrݜmf&+[ L#x4S+_O{7gNݓ"huI2l=Krԑ tڠ4Py@:qxu2BuE cu+ ֊VҌFIoD9$K6؝-/`\_%8qe C~`0s!i4,-/j\|$—$PŲ .R{ 8R6ȋ?sCF3փ= LJ*SV'54k9y6z+;6yNLbB Cסmr)cHg?K9Au(KV3)(U.RmHҳ)ۯ{o l=#u9af(yJqAUZ45\:c}ShiY$9,`pp|X]pr\eLlгAVΧnzwZtZѷ,'7v6-P(M\sF4yJ X>%?y5*!bE:qp0Ư9'!{U=Ӝ| O7ƈdQػxz-/Kuc_Kߔ5Cwx֬7/[Y.%[Yps^H%|~87;~:n!q"6"IW|U4>$vsjwPɐtj{ dT-~q'l:wrA3 {C(1ƚ4ȷp9, Yϴè#F?X8(|b 22}N$LAL>tP5CP)E4D9;2ؾ8:^T^X>SES9`o1g5Ğl$ܱ?XHfM&f0^OQV)a74&mJBGo`4j?X&G0 mZgl|[sJ0u-jsSot fukժXMʙImW\4SS;.YUvIԐΕeru`S p-Gz0L[JZקV켲 {l z!:n&Rq~hHȫlV([=.{{oL.d9F,ݔu34~`,ȼ ޲^hZkF|-RbѲ{];=j o;Aĸj/860qT`ׂM]S+%A!%kWC^l{^}f[%kcd`aiyK9>jv~)˷%3g/.B3mQo'6Dfvn.n"Kzz=ۿwX6 "(z$G5wqLx_x4_TGṕ \24 'Zi*B'EcXUTp~8RoMvrlV)ɟg#طyҰ?|zv(|&Bm_戔I ϼ WUn=^ϯuo:ktNV*QTXxA Gf,!8F3kGTjyF*p #2 t=2U~f|v GÅZ== lhQy~*MsDڪFǙ>xW0'qXY;4JKJѠMf'HK/Wo`Yфa1h@6IjfոfM0_ԏf)y`IOx(@ǁ~VߧЪՖ)7t Q&2;xWO<,oSp'b]TQF#}ivψV@6a3H$>ȈJ3A~z me鏓 ]ʥQBXWÏlPغg#>TX}~FEAaɒՅ=ӭ2gi;0YZ X X||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4@z # TPurePurePIDE/markup7zXZִF! 䤞]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OUW,6E0R&F, p!ْ A;jAcc #+gTj~Ԏ;6LiD{*SShj JzF W *^"L?FUU3'an%D -JƼ4뒏1VL~Ff6L4z!f0:&HG_qM[sz2XUUw_ԍnf>mKH&J iɄNՇ#nAQx@"z]<%Jr}D6e7l#s y2CZ@c0ޓp_KYq1*n!\V*! :R&(TfBAJ 3#C%9p|35cۜb,6$BWDŖ,oK җp'1% աY5P]NvlXR.lX2_Lުۄ *ց/ӑQhز.aĸ3ũ#lQ-N=Zu`XS V! )#Hvy}1Sus]HƮt_Bv)E+Tw@WleEY1FHF}VR3߳ƱU&1`T˯[\7LS/W~B oIop@Va2j|i2nI0 Vaoku}vի1+0SH銋3/wEeR;n&:@VĚLqدzKϱO/\mDS 'sǟ!hT$=Y}n5+rbgd^صYtt=?`W"pz(m[ˆ0Ƞ`K?{;$=gQHȡ~0#[89XlLx Gz k$C rbfzs𜴫T%J4ȺPt/j< rYg>(W I_b{AUc5,xWb*PMV>@e^P?yVLa =k(R4Jdz>= V7 $rgNy u+|αk|Nn5)T'@G_M[A=\6Aoo&,R`۳ je_R18c\wmA.Zc+*>\j_qT^jgAR^y[H=w*fS$tD敤9[}hQ~NYIo(`m){~j?`bbXժ:$ XkvaSqX%H  ":'!mq ^}+)~ \ŀ: \w}(1Lhb^u-‚ڏ`i8~t0S57,u7 ?kH֯T WTkYG41,3#(&sc@ر fl7f h2( 2yݳhfLʫa5gIUk|q{7} 4{tދ7G]1֢>N'qΦ9]3.Eq=)PEnN3WA^0`*vR> ƬF#; m<m I3E@j"@#Mq"+SPc{"=Wbl 6+N`{U97O=ѕd532% I\4Ĵ.DŽj{;֌RȮOՌvqmB r'ޠD߼ԭ0 5Gap?ςJ; P40Xy:[5rmmtHΘ'2c͒ݗ3 u9 zDCw!dD`ز ͷ_$|T\{ >2 ԋkд?lm9JWyjl /d86CmiA;qP48(Mj~ ޡԯ}gcm'3Ҧ >1s]ȈV XHz?"^\.T!SE.I0@1`k}${SABNџno@{ 0Λq,-8*ʥbrmXN?J|Pc jN/[4flR[` ]])}a Ŷ31$w{Z@g~S]`8#-=gC_Mz1Ub0\4x鴆zv=8H"-_.M{q ӥ5 =[\|ƣ6͕"cM}`O,C$aM`8ߓu̖pVZ55qR8(})ir)c˺D7OSW7%8A)P {_=k!ɵ̇eY^cL|$+QI QV0&8_9zw̢{v y/~Mf%Hz="Y`T4.= trOS?!&:w:2#[=a!>ob%,  <35cʠY;&[/-R|ydcG-ggdH^@~r}Ca_![ehwJ!nߏ͸GSJlISĀ9eS/bG"v,j05KF;^@s<_~\ [xo'EOEfV-,}Qvv;ϟɟA704y59!ٱS1y7EoUnSN1# ޷R2V )Y`ЉBwu!ҋ gO!o^rf̐!}0\ RveFS`ЭN7ێE"SDiYxy-WH,ՂJZx-B+*3D6u>LX:`o9oI%Ooa{cV -Tbޘ" =d(1PUj2835:UEay\BYLAoRM;U/8*|6!t-G`4_lٞ{| cE^3.kU'6ޘ(D(o yWKwCTP !VTaBΆљ(w?uOY+˞R(S耙$9[(ɶLu~u)v"0ᴪtte\j]}1B!RvKAY(4PŇj2Rh>KCwuQv<8ke犻@NT&:mv[:tP 3O3O$\MAG|mZC.ك|5ΡCP|Rv↙Fehs&P9'(3d5p@QrTsJ@vFpXE+'/U[갓&EK#^LXd'^9>o#DifKEElk2^3<۸i95Lwa}I)|`VhJd;1Ž] R(=po,%G(V>3R 9ςSEi#mb 73BNf,AqTbk4lAzudvd}wZ틋{Rpȹ[d()Ƣ[ Ks݀I V\=FfW7; x(靴-Ŋ<m? ~Ah%û.ͥw`jYQ5q!'*  ЙW"LbZDGFax/.Z0 Iu&(f"YyI;w;0~aaPF]&tI5D؛- fb2>ك%sWsbԥvnni~KzJR1 M(u< ؿaUȦ$gޝ:V v 't쪿п 6ʧ/&ip"DֆO_"9UW2F}0DEX;Kv +[ٹ'/+Jdj46٠_9"D 8m gjNރh;k~]uFx4Zqo_kIa]B_\q v-u-c2&Ui񲧬 ^0$I-5Ѭ)끺=ڒϢTA ; '֌њ):Dpv3ς"֙M],F͎wa`i_C(QL~ $.$3wٍ5sKԱ5>a[ՐEuDo>H,zxI/W)@.'9[p{ըYq#9iݥ"4?msX*wxg}`<ĞT믞^d/FY 3 >z%Ez8::qV,+9Yj"ۙ} U h =BwwOq/}S)؀*"\2p &]j@L> *5LT'i]oiQCm yV`"`hCeԋJ䜓6*μzwrmpNo+Z쑁u/ wVF4(xฟ> $4 9YZfƛ_^*W޻+H.Kֿ5= (s57ưPBwT#Ed.*+I=W%#ޒj BNTD;zKtC%A!O RG `SzKŖ (D;J΃IF62j)Tg6^c]jDڭ٤ jZ@a$mOmx_*n1Nѭ3Ƞ>4Hd8ҌmB*%m Xg-| S6EWej@ K|"2(ےH(+?ҞRM\ e߱'Z`oW Oޞnk6s m&֩zjX,aT `./wޏeqQw# (lZ'?\ߖmT9mnQKm 龚R (V4QQ&|&(kʑ* ~`fmee5GN 5cd=7ǥ:Q%&1<ؓ񐝩V8SȘ l“y%(PUДhwAXMU797Yb<{tʗ!N>KlC&*',Dd5MtpMo?6Ć3#0U\i#,$L?]0LAh*Y++2? xr ;З$EuQ>ZQxmW.=">]/gdP鳛R syfH 9s #\ҟ[l.軻󝍖z=a%=y^Do̥rifg FEsآSxAdfL.gOVf`8{U ,f*÷1[M=-UPY _ smNK-Vb8BuHZR)iZ:k*E|yM+g6]ʡF:^Rڳgb~^G]T).ܐgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI"KV.D=e D.a+1p<:PNgQ~`)WpQd(Xz Uq&]ѦU$8a߲[2Cg T~W)!x¾UpU3׊LNgYZX'# tPurePure.SessionsPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ;a Ū%=4\'jqwh׋gp—"k]P y6qgڳE-|HjŸY>);ԡ8S輻bL5X5xx߀+Iv ՁS&eUv =v'/;aqZ 3(Em|Ɗ>[^ 1LGb0a=TC2nߋЫVUXҵ \(~LLNcm^H'Ҡ[$DG6@}, <1^ ;Z9v;_JK]cKo5s0-5 \lŠ3+y)_T{ J/].!蕬Έja(NKH*%]F@{cRDž+@χ, tRww. u l[ 7w*i,CD~k 12ؗr˨pR2r?+{LVϴؚ3b;6BSśY|g gi[kK uO*kh=W"g^gYZ