SQLite format 3@ *.S`  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  plTL ] ]Pure:threads=1elapsed=1.470cpu=1.522gc=0.0007zXZִF! o]ŗXiɟHVҭٽDN/zPzmDױVA!7,#l1Iyx dSmw9IR<[gYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqT#݅ԅTZdJ 9=UYt x/kYEMOoT=)q‘Edy*<8͞(eEr9wE-&^ eʣDBόiѻe _R #2I\R/{-~]ɮOM'Rڡmsej3|KgM ~i|=,v8R?.Չ@UGiE'P_gJ)3LWAn, QCq:ZlKM1J2r~wp $rxC+;٧^]G2?ߝ!+*$OEm=4E{l^;-\9 2L^>w؅I b ~gQOmKI  8=K&yS?FzS(ͱXss!b]z}ɧ.87 gYZfc07abfecc6e3e253e4ed34082a884eb25f857782249b0d89886ff8214405b7965757b42916ea82c  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/45196g%PurePureproofs/45192f%PurePureproofs/45188e%PurePureproofs/45184d%PurePureproofs/45180c%PurePureproofs/45176b%PurePureproofs/45172a%PurePureproofs/45168`%PurePureproofs/45164_%PurePureproofs/45160^%PurePureproofs/45156]%PurePureproofs/45152\%PurePureproofs/45148[%PurePureproofs/45144Z%PurePureproofs/45140Y%PurePureproofs/45136X%PurePureproofs/45132W%PurePureproofs/45128V%PurePureproofs/45124U%PurePureproofs/45120T%PurePureproofs/45116S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44932N%PurePureproofs/44898M%PurePureproofs/44894L%PurePureproofs/44892K%PurePureproofs/44888J%PurePureproofs/44884I%PurePureproofs/44876H%PurePureproofs/44858G%PurePureproofs/44854F%PurePureproofs/44792E%PurePureproofs/44788D%PurePureproofs/44786C%PurePureproofs/44782B%PurePureproofs/44778A%PurePureproofs/44770@%PurePureproofs/44766?%PurePureproofs/44760>%PurePureproofs/44748=%PurePureproofs/44744<%PurePureproofs/44738;%PurePureproofs/44734:%PurePureproofs/447289%PurePureproofs/446728%PurePureproofs/446687%PurePureproofs/446666%PurePureproofs/446625%PurePureproofs/446584%PurePureproofs/446483%PurePureproofs/446262%PurePureproofs/446221%PurePureproofs/446140%PurePureproofs/44530/%PurePureproofs/44526.%PurePureproofs/44524-%PurePureproofs/44470,%PurePureproofs/44466+%PurePureproofs/44464*%PurePureproofs/44372)%PurePureproofs/44368(%PurePureproofs/44334'%PurePureproofs/44330&%PurePureproofs/44328%%PurePureproofs/44326$%PurePureproofs/44278#%PurePureproofs/44274"%PurePureproofs/44240!%PurePureproofs/44236 %PurePureproofs/44234%PurePureproofs/44232%PurePureproofs/44230!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/443287zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0SdvHPET1쿹gYZH$% dPurePureproofs/443267zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/442787zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟=D9{Z%j0yW&SlWgYZh"% $PurePureproofs/442747zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x iTSJuܑg}i˒_/0gYZ4!% \2SϧLrWj$?c%n|gYZ % PurePureproofs/442327zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/442307zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! 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/446487zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/446267zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSi 6ek=Ŵcpt^0'0Sd$gYZ1% PurePureproofs/446227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/446147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aɲ[iFEhR/*1;ޢdՕ ND(gYZ8-% DPurePureproofs/445247zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V13 .Gwcrjv{e gYZ+% tPurePureproofs/444667zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF*rv, Ւ'4/ #aeogYZH*% dPurePureproofs/444647zXZִ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_ f-v-rl;lr@P!-}3NgYZx&% DPurePureproofs/443307zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I(fjCfˍ1ЪN`WQgYZ   '   jc5. B% PurePureproofs/447827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ\, j|B|u% SilXb5 0gYZA% \PurePureproofs/447787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPSԸKp3n&<o ٪gYZ(@% $PurePureproofs/447707zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%W@ ﹹGy4n4#[g.>hwY \gYZ?% dPurePureproofs/447667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטogEV_ܲYF  I*gYZ$>% PurePureproofs/447607zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/447487zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}`OmƃxhnVnd9̒⇦yOtsP,DgYZ<% TPurePureproofs/447447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*~]WF<gUҿ=gYZ$;% PurePureproofs/447387zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/447347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+^<\BD  ,R 3>o0jױj4i?,"`K-}aKzTgYZL5% lPurePureproofs/446627zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`l\wI}iMS+A>G":h\kgYZ4% PurePureproofs/446587zXZִ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 q!:L xgYZLK% lPurePureproofs/448927zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&VSe)WX׭䣚GrC ; ,Ό~fn@>O?5T- ɎÚgYZJ% |PurePureproofs/448887zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛJ$5!z tڙI 4-z6 g0 gYZ\I% PurePureproofs/448847zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z-aT?ZrEޔY ?igYZlF% ,PurePureproofs/448547zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/447927zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUon4DԀGEA'ّ@u JjĶgYZlD% ,PurePureproofs/447887zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^o?}oY^ѣݸ BgYZDC% \PurePureproofs/447867zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z\j3i^4S!'fdW ٦l vn%ld,us)3gYZ  8 E8aatb% ƶ1bXⶕs_ Lhf:`} +H]i]gYZH`% dPurePureproofs/451687zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟=D;n4>IN$ҕHUlWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/451567zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/451527zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/451487zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/451447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/451407zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/451367zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/451327zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/451287zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/451247zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/451207zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/451167zXZִ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   , M_f`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/gYZkh# ,PurePuretheory/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$kP-xۯu*x(1n\/1YjhQxթϫ/-򱫍4(!Ѱ=#^amvn~,hQ++AA"i3Ry(ȗL鹿o>}3nb MP>@ߴ-hukR}S%)\+ X35ꄐaWwa xZMp 5v~_"$o!o?| 8]$>j}֊Rk^?5Ӽ\F Q@# lk{9Utd @̺ol#WP'F&zmqeE|Xm5x&4N,M Kp.59k遃?[=]buI@#kVDJs,Ϊj ;@DNe .gYZ\g% PurePureproofs/451967zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUonR]xZ$c]"jĶgYZ|e% LPurePureproofs/451887zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(yQX Ü>w,'29},gYZtd% fB4r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OjT\ Љf;$l\qD` SLՌ^0 FdMa/ɻ1&Ŏn ^p{tr͔) bQ#ĩ\>qd[`gYZ*m9 PurePuretheory/other/attribute7zXZִF! B]a0{rg+5\>7yc3®vnݞ,u:aUnqu$^F. $id$@F$d\!;6l(Ef ֓x KĻʫoByjVR7&_3#˯-M{4csrKZm>v\ig_s/$W Dtniꁖ !`QL Ogi2X6Ag8,Svc;8&2{ Y`v5H׍3L9kX:ɟ.K8W<`UƼԌSk9+']Mi8"ܮX`Y `VWz[FS!F@~,2?/>I=Q]ρ̆/C 'ѪiAIJġ=|9>e8l,Zԏݘ}i/&.vW;Rj/(\]ju6X)a%B&ի ma?v{w].' ]3 jK #8PE :wP.0f!0k~C>4 "o0 .U8[a|GdJs4ϟw=>Ŗ^˰d߇0O,XK24J q5\qn2 yz | :[d$neKhTj8_?Da0#Pg%F,͍R-](]%,0 ^:*yzYY~WɊ.dX]y])F4=d4 IǢ? >IE|=xKﲮ oi,YVdz~t ݡ-$P(!2p398ۑzzKTVckl4S ܥ'jY1X1 98> `S>mHnV&;uY(EZPAG;Ʈ)1dYF~ʾc~UMP ^զ8?!NJKM@S6G ޔ< )>V uKc(H>0lp8~j~ > ,P gYZ:ۡ/.;k";X[K NW AYqa>˛ Z.UGw(6\.:w#䷫[ps× D*4nOf|}q$IQRPZmL(nY8P ̐W2{kr_M=`nA#5@%Yh+P3Y/oز~\yW$Iְo}7@)pd qa/v\ ϵF~aK/@7C}MƜR1jd܏ou.NGA l uXfLA/p^ zk&ƹTOdl"źsV<v6J3?46SN˄ӺVi'Eemj&7rAem[ Y._-qk[݈K[uiłw;,Y\Z&r)aH06? xjMw;P?`=!0 DYBK{=d)QVĕ{*ڙNukb SS*63;ttH˯yHa$3N ɁhE<5=1\=9f lADȞ;4]jpV̕ᢵo"kL%m7 W̬ʄѸqLwީwકZKF 4^#{d;t8<7x͖*]M\EjU?3 ⎴4ې*5k_֏;/.FSUz1ђ#-H`rI1=9 e۲VsNPG [~53L&GWΐTjآYf*@Ԅ^iO+Յʮe?Š~/hA[[Iւy@X46V T @Wk[n535R'xM,FǁAf{hjA-Iyy ˌQm众_L"=NfRyyF[dXfb9/uuR Bs[\E2t$fPֳ(pg܀; ?sVdX,Lam3ɅgW/T0( 6'No.ھKT"'Fi'TRH1= #Y|"U(lA.Fuң uӱ[[ϲЦ@=G w~,3/9;Q[$X# D$S>K֪A|ع3tqX)4#+`OLؑ}\ޕMcNQvEA9%ܿN,#e:I"uT>+t%fX(j\y)GEw+k6uR`'b!MMg%܌"~akXس`FcK19fuuw[?rA_OHZi`,D}puhV1%5Sz"=Y rK텗Nc7&'b9KKqv%x=μOޚ&cTћy_мo=mlH+x$ˎl(MUƿl2 KF/[ Yv ޮ[54FLgT#M$"vZ\BcfyU.:A}+Nw替{YMICXzo. =Zi')hr( 4XBHve\YEf)htvQ_Za.w i?[03`Dm|师dŲ2κ+nX HE&*'41Z=mY>˻&>3S[G*& Ilp"o^ycW=Bc__ps茼{5b"Dj8, RW:ަx~H}s}iV'GI}_ ^ sa\GQ,o vP PzD«ϺH\0<MA1UR}1<ʑ1Dͺ?Ə!5LvH8+*x_'u~%:nA~m=;J)fk]x8&$_I_|YVcG*#1r|^`.MR~w~*lc`)tʩ7TZyɈz6bqb؀f6NX2De5mI_$ʲwHOC!ÞH$j,-iajҖޅJp&W-[|ٺm cdBI0=@׺c!JsD@ ɥԮdnZEn6դcX3a7 s}F/}+c@:娨D>}Մiy-.[p8m6ط j-ΗdXTxuXZ̳f~g)̻iZ(/tQν>A1>Ȩz8zOGjr喖ii&H)r(ǽk&YP"GRٝg)7ܖCڑN0""°qKvT9ίrq#߭S ΍KrvNbŠt!Ae rT|I]ZM̽g׋%!-&"6QХ .܂VA\h>?hl; Ҽ@?K!9'=j]ǜf=ˑ1je8FZ5C/5 '~tjh0L`21BuSG+UaKю8EB]DeۺKύ36 7"5i%}ntsAW&oF8MU%a; aɟkeD+x6Jr'˴lAtݚ:|KL=1na$ϬRW\6Q4;;!.Ѹ" XZI6?CVSFhv>ƕFвp߅mJ'UgFg?[ҵk'jJj$xL΋0rZj~ ԓu:}۩pſ엝:Y /`/) d6LzCr 7𿞊m IqUOx\IY+FJmve8`.&hŬ.zD7+- !T4@.1+I !_Hu -.(|4J}ML $"HY{tYὫfEj, UCFk1K.zos̔Ϳ'=bJ,<a_z+"wmbB(0aUM!);c݋@n;FS XB6d@j+Zx1TVs]b.i{|/U,Lڷ ̎fFĊy>5bv)E9$SB_ [oB3b7F$?cƠ7A89jےN 67| n%(k(JX^2ԫ %!a9Iw6+^}]1 !5rFGG?PO=xCv+/N&N>oW JbB@D1_4BdňUHcܨ-hUvݽ/.o54`|Y]]]ЌpMD-Q߹Rn%)(a|OƸi$jʼ`crД9ꀈ+\ hlV;&، X3 8 |9۪yKE6f"5j!G0sOCL=mܬ0ip8b l/cbȲ)s5ƫUNOeX:򒛹?$ H[#uMrvd^͜3zFXeEl)\)Oj*wd 1pe c - 3b(?l ;EAZ: ZGsШkQqOrBV#*'xlx_;XYAdkfG \hr,P{^Xt U٬&CSTZ$Byf;r},MQ)SdI=*ReϷ!1Vpt52.SɊWCmKqtFzaЏᬏ':b"ˊ&v'y-?S;tHc@$lTW߮+r}lUO:ԭedr/F Wf/F_ qsiv\Ih*x,@=gc^|>)Y;]V(`,K[:+NHe 5ڟ^%a1Yi4-PM7fwjVxBCFL `еP9__-XVd(@Du4Ŋ4V4^ oQ#[ӆUH\. \eb IMyTZGZLK(VD w&&x?g  Z'B-&fJM)7Eƿ6T W@ mpD `\ j)49S] xZzK)W^ l/GP,[xPl܅̧hN|JvzW\]s:P ƭr˲U؎FP4s5sl`yyXh@/tAq43h϶(cB}$_q,"w13zv%S.eD:D?m K_O-)*noT1ܳ~ 2Ap!v#+>Kɩz0q5cPMՅ" dvC>|MSӅDQM{bwVpk/ F2 :5W X7+v4!$1`IaDJH@wwe7I`ի d Dgv]{vFmش2R4LS'6QFq}VqMuO)+"yU, N0ݦx0}g|Js +ܝH2RƑZ4Է*#荰+nTnW2,?h# vw1=h&HfE7.͉7]PxR.Xݗ՜DzsҮhnOd9M0^B*{XTBs>Ӊs@%MdKѭAv^F]z"G,o&?c)?7`7"T2`?(@wٍv/E\Zܤ+K@{uw!Rׁ_mDi(#SOI?]M=`Ld_:(YX}:%scP1`ţ?T׸.NŢqZ7|_/ J1/4Pjt.9)m~؁9,chfm'zAFZtIhS{$EC&ZGNΤ QA|Uz-uH@bUw'k{ar7AOB7m#et!Pb XO%͆īc=-dv+Q.'~v-U1 ,29Hfoz ўys6L6g֨|X-8!ZjL7%಑e*yJX@ >=FivWͮ,2cx\`VKO[f!"S#2뿍/=-:sHkTG~[DƟ`xweKV:Q Įɍ݄SƣP]h(˨<˗)4%zEa*+נW+<l3,&lW T ӊ>y$Wv4٣}( &i:^nI؆&`Γ.G^'s+ =t,}6CѺ-+\ȃzW@u(DxC'—_^-rM$ fBe4d9Sݕmݰ8 >J$v^\bp~.Y͒,vvu:`} O.4vd "RW<ܳv3*v)"eSwh®TX*2V,t Ex55 &q-YWb t YUl~,w O2 ß&?7 lktc~)d1,V$jrDثʶPD;v ^=+"½Xwzh\WEjDCN,5r$2pg~fU #*IiDŽWgxcbXWv'9*Ρ"v?ܖ'&Ӛ~L 8;nd/0C) I$vFg$nX/ =Y0}51 %O *̽?@0(e[^E8tᠽo];8F)ArDQI1bf'JWx3$ .U)ƗskĤ]jLW .Q?]3RKytR섶MsA%ղ.7v+;ө+INp<^ꗀr MmDŽc?!HO zR}= c)t ,f6E>omKsDމ>Llʑ9,d}4TCfi9y%5iQfvSMMhp.!a ?DIY(WÓ2JvU> FK7L}Nvܗo㟛gExkysh`z!cb\IߥJ|Wf3y?tOO} "'ɝ<g7^~$ܹ`[ OPixNXxjrAi?9՛+ /Ą%!$)" %&5HVy܌7z'A>8c Al%fDxQO6uH6}Ym\۪4E&yȺ+r4+U㥾i h^[ty@WkVWqTyfhM:suӨǺ^ C><~IwS2R!pfI!u4|_OZKlCrIշhJw$~&\R:ϲH+5!`=^]TװRDQ:& ?oKaȍ˼-]B)ݸlˍa}*Zk:Pa^RµQ;EzRMSmӭK=]A:sn z)Ƹr7vSMj==_XV[AEL5 )!GY :(mߕx kQ#7?8/k9,۰TUuE]]FD>> 84ͦà@Jߛ03NWVK+CL>!.DDBL58j $8.ahpegfw@,2wK5xKN8ƢNzR^G"ڀY"C:Z(PUd PőL4p@<;yZk}}-fR3&|=|YnaH3V~ogKd@abW V\MQ:9 /T%"(FXaBOn^]hpz5eo[ρ?_98_6viFZKjġ^%dɅ0pXPcpzKy-Kft#4C=ooTGiܓ՗ِ$A)FҠYB΅&>pODCq͂u>,OcBC3^5z&xP5j^i L}g[ZG*saWéEݶlH>+n c)cWRL;ֶBBoT yzWjδ m[1ךu4l0(\͏e.GP sԢ3!g>XwЖxkRAAm@SwH8[w;r%0U 9K8#RmDf(~ $ekʲK.&Md,#Qo r`Xuh#QU`ALnT.[bŁR|NT IWOC#>U>떆?^bI ?+73~ l s#.A0NXxL'mttIv|`l\:t? kiU_ U+CsN[#" d||p(O }D>,* Re["%?'s2UI^nW-mUǨLj+1~z$֢Թƕi&=5CInEO$Xlj{UV1m*rv>dג Qs!*V&vᣰ~.@I 7d|D'HD$쯀#cNȽj$os`x[ֺ6Jo5~zٙNR3)tm=t#/g}`K .{=iV |< çܱu%TsoI7լ_w{$^չuWբp.+$Y!!l>WT#*yI?m 6GlW0Hdh-f@sSEҶ_1\J Ơb*B㯎=L!E쀮ڱuB$l@CϤ^LiAY á \$^`uC;Մ,xBA |Q鳊L2u.J2 %I ˖G1U((.:106 LelQ*Gp?K$/Bx}U?ZUe瞬} dEx"~:-en/oʀ-1M%"y" V%P8:yT&׷Yuŀmoϝ$YN9]TwfS5K347ػP(s&Dо36f*e$;6Uf쩜X3e1E`桹o6grl\]}7FŔcѴLVG#X2=It:ngh<<7>&?ZYό΃5i`?J41 H hXI;TL*7 Q3B#hJ%LVi[|9M -U1^R#+ڟR6cNhʀ"?aihaFߔE}vD,#<5R RN )6'G4Yqs/: @liM6E XWȸ7ҥ^U;RS #L>uGrWv@I49ާM|sae0HK2nU#:k9#>8m|w޶enMŁɾ]nQ {6Bh"i /kaU6MJ7㣡qmEsd:$Ei@<3?ȋqT‹.kdL0-Lif礋LNq*=mT' r`(zy 0ϒ`e8Pr 0Fi|Rv*78mesQM s\#.FYۏa&PzK%μ[`Wٚ%g^u[v/Ɨl%f}yD6<fOG%_yp,%FҢ`j{ {fšB&)sIj2o)Ԡk:pdRE",BKx ,!̻p#(#9G% ֓NrwfjAl>t,*DKuD:χ@طI[f '?ElC/>Pl,QعX@G^V4 ׿~:Ϟ)8FHзg!IY6~TWf䛥Zn16 FŊ*]#I5f7nR]S}r'(++#+I+4Y IݱC}5?_@}+6֒fµs'f$IKʾ  C{Bm,i|PsnTEŵ:Cg<ҳ~@;,_j'B1UX0{#*3lY#vgJ3naoa$5y,7j7)պ( *USٽ|;.ogU.JQ^mdЯOdL Jtļ}l^7ŀ-UQԱ_M2ho\磚AON/V93aފSr$KC! tyW:eNq_C2:X@nR\S>Va䌰xfkDYK:.~/h;֌xw(>w4$e}:bK,L1rYm幭>),lgh"ln@B}`rK]*uiĭC"$SOŘhڴWޭEМquKXmPE4f^"!T"^%!D.0k K&f RR¶WcwhGϰ$ GbIdܢ,ID\%\UՑ_7y5N>U5JLR}ېrbD.QC.3b̗Rz*VqI/Jp/l54Y'aXaQq*G KihȰvQ%o>hx${l;ޤ?oK^rȎ2rj>-L9ETGS*=\ob@|xdfGpsVo>HJrG@0m){EIZ_sMTΚ!IKҼJ%{9*h, h+[b(gw()t5UA֑їVxU"=N2GuDYAU\(NJn lhȺPݥ ۱RQ6W<3H *}& Y{o햍#߂5 WrHNJ+ WXNRI쒽R^7ry VF8|x'KJ=ϝ<{!_31  _ GQ$';EaT1|_F|^T] p`O:.tdvI{)-R5$<]+ǁZ2͘vⱋDiʝY/*'[T\8򊵳C!م:c!Iv$J}7ժ1S2ffӔ]졔+9q*dd'H/Qj+_ErD=).𫩶"J'ȋ~ E%UNesNUԜT1}03{&rV'ӇiY 'jFP~:/M10lhg?eGQd!) Gw()n䥪yT, bK.bЃ>$.5lS@BS~kT~!N~EnC]$G*siŘW#S, LY8, x7i;ɯ)q_~>4DT'G%@XCbZ wdc]sMlFS}͘B^/v:%^i胕_r/BsF^֙hQw[ȶ}{1VI}W읢zV5e) zaxܽsI*˧D8k,b=XJwlf0gEZ.aN};VIC.#?GC'j DŽѨ—-$ZLL_"*1Mn&.~Oǵ܍,,އ_Bߑ]׎']~̚e ȩ-ep%ŔǢ]n7RTwh-u8~kXDC7l7Eas3$ y^AFshI<5YYL-eq>*$UTR\P& CrQ}Y@j(`kK6ݔxn::N Њ|`&>{~_T*?.OG3L uMp/AVkіQ7t˽ y߭*r B)ӷ̊'a_Qéj( Ь,3r&6eU֣7ޯ$:{l90=+?(>^ 0ׇdI3.Ÿ XYB˅W[כd:[,v'Cc* bqQm.._ XüZtt9bu3:X8Mۯ6|nY7%c&|ddU5Cs#~$ctهK;Lo>f*Cm%3GKĴk>xhLzJKPT+)VKeRe8@aV#W2M[#xW`BKX䷣;1Jq@u2 @G6O*FGu wlLx09ʓB53|UqW'HM+v18D+xv?e8JK6o2Ld>uT3d(Mifu`NX =F( +JCR(B8;N\a"?mBaaz9`|poŎj0 ZI Ց$w͇2w>[FxA&4ulWΏjDI@-q]*"\lZT﯍v7 @-[L/3Pڑu(-. ~ts_@7:^Bք:LĒ-S5SB_rd뭘A;RQsJmG!'լ;VQ3~cXoWHV@/M:sƂ^{O:Q15)Y(S@ut$|*@\b4%L~$NG$=ʋCSEwX!Rf*mDo41;ƣGrcigACsVw#-/ID˞1)~4@ एm+ـ+ QO`n:EÏDy^?~m}OGΏj!2(5MPˀ~v>\i/S* @J]ks#[BY -@:]knBW:8o1#EI_^&-c.p&rJe4tʬ MUECXM&hl'CD̐9] #*r07gLu'?{Umh/%FS<<"=sbAD 4ϙ,+_T8:".~ǺMYj|+6?O鵙|>WTt4ÞۍmRZо#q1!.]a3j^jKaH\6B> 4(?إ(5dݭ`-+>%D#_s&}kŞHzN7 ]\<C_eվmti(`!u@/F%;~sZIUCw c&Q-fl7 -2bjxgdXp*S:YU :,V'b 2Oto<&c~Gkۭ|דg#jq:ŀu@ ؔҹr-8Å`5_c[9?ׯXj.E k:.kxbHXzLGѥOd3sP>S$ljĎK71 1qylUMwb^~b~X9W{CzlZ W ȼGs /iRi8BOOMҐpnd͑v]d` F-PՂ c'J9݋B̧U>H`W\ٮPq@K C,.: \PrgT*"f͕q_[ޞwJg{"1y^xlc@jK3`\ODkd jB, X,B,'VBۄasx)?ތraOEV|[t\RIoE\ɩbA{e+Uޗ M=8huzx8J&cvS\Kτ]3\#Y{S"6T9\(KeVIJ&сC1k:1H/lG,pfl/P|LW 2V6M %w+#'맏ꠛ7m1lȻfvok`!cٽT9yHEɟb⬼bzީ0EA@2iѓoOQjL-}ryֳ{]7~^>_dˉ|'-M-0 ]; _,N0ݠꙦ2s tu6>#w.aBﬦ's/5XM1r^C6`xB .e/Hm+߉xY8'`hSgk>_R*`Н '@5XYfjBBxR 320#.'%Ej!ـSX{g *|PE,YUְttWV"O$n'd2^;7ดk@E=Pm$ =(LMzs/w!(a? AbzlJ_޵Гae{,[>b ]\isy[3:=Jk%8L}~?)&_ajJN!ob[n [0wB 5*eO"3ȿUx,|Z7TGHɸL %1Y qm[=J')h/j2u6tu t駆c .y5A9<0\yYUYr`J`GI{fzk \?L.mɺ"~Xdzdh$9bBPNh \eNbgϯ/ϊȈ<?%?bhs^d?deS%/=^wlr`ŞߦSaR@6CyN}E Keđk\nqE_ńţE \6c@HO37 `W޲db(̲-)5|_dz;1pmi8>)."CKY8A~B/}5O b 䭴ϖp^DiެbЇ*8@O*H% {HpTM̋B[xțɢ WKy iu{ӿբ ^# u3[-3ླྀԽpDBq}+y%\];2s)( sjx <1{]‡1%1a!'*]pD=aO1}8Zs !-Г9ĸ1DHH' )4k-mϫ#yQ З yuNKؤu=}PVh]τaܪ,sd`mxϫ}hSr34)H?M}|e 0NWxe!~`Gɮ{x-G~vNL*j-J}UkxP,Rͬ©d% ?}|I&vԜsyM3'T܆ =/po.KEe`㪖9&FA*#20B:0{ox~:!*cަ{x18j;ct՛Ŏ0DBuo\tj}OB|p1f I]#TKpmE3؟vJaq/>]y$hg,^Sr}1P 4V9mFGE7y}qs-Txb ʣR W4)@. 1PO{c5P[rbO8&D;JٕߩĻs,Z /@Z!TdDMeX! ZF*muag0;;u%$g ߋ-Ȁϼ|a lvQT5pRѫ1{F;@{ My{ǙwAٗq-)0.]Pʏi&#/U({ȷ7/ uòf AV$q@.> Ϧ pq2EI.\MpkoWS8m6W铇8@p!sѓq6zS\LFu3k7`]U". vZ0%b;W29l&ӥƒ,,OVWbI֟0%Y:vGŜcnt"9zS/ј4|o3/[]#sY#%{N1WzrOj+|1y~AԲ*_9i0; 'KjEZm䙘zrm4Hjz3%FN zXiU%Lxen heEbPiU0I;`rަ ip<+pR!򧩦\}U烊릹A+Z+hUb-͟js ]vS/^v2MpqOgd%ݚ7BRdNJ{Pft^Ck <^贋ȇ44iիC2ɥ3q"4s33gNe$`tI~vDQaL~Z;u!"nRexx͘!HqRQC?Lj_6U;0Db>`M+#h$rcBr8qs?Xϥ&I"4?C3,{gKܥHX@8W*lt eSHn $dK΢UTI)jE{xC\.zA]M=+O&)$.D\ߩ 9ò&Vؼ.f&B3&x@L\g#5AM Z@\n/Qc4b,0Ls6E6'-ӕ8nPַt(Qgv:9i{d?~S_ŪnpnrMC#1G'%ߧ){A6]pc"p%\ -{ѭېYYq<"?b< 2洹}/{}1w5TAPPs5oB+'_p+b{yS$g,JͥhoЖ-OTU_`t 3 t2B}Ƕ?4a0&K×t^,jqBP$tɬN$)"q|cO#Tbij#  :~uc]@ Pm_M%؃l覦.BxpіWXn{kTfe@-_D:3Klن@AC=0 ߱0jr(;fR5YY{Rl3Kj <ιD๊,qyl~E52Ǹ7b ,>Żb}4@L PLP"6>/mK/Ƹ?37P*$Je$fogrV҉B]ёپZN5=w<1'䬹S%pMhA#VuE8C:.m3E16T"U<d'lYkL3;q˒A|Dv1P9'C;@K(jm _a1pψ OK"Lq+poka%, hC ϋwtm͠są)`w0]ws$o} R{NW5SJ)6:7R,f{ssY3Rk|B%,-tgYZ ILq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method*p%)PureML_Bootstraptheory/parentsPure o ) |PurePuredocument/latex7zXZִF! .k5]A-MՋhvG"uIBm5N9؍klsR/Pp[Xa $40V:ZQGȀxdOddVԃ4R]&Ȥ3SImۦ52t%Tj,p">Y慢zpyb cn:to5vCg.f-绞lߕGdC:,S#i#@k10'LIMSecqMhY.S5ަw#+3\\Tٜr4p~^$Ev®&h"EyHfէu/#7J Ux v|TƁ"L1h2&哼ka"+ ¥pFt8Qj_ue<;/}jL[. ĸ['ED$DZ7z'#㣢]b?^ a3{/2'f֜,0_ܴtuP Rh&K >s3pUUo7J!F' ͆5{^KFD)oM&_ڷC/&èW *DCTcpgkHr+GOwKq' dB% `c yfVC~/pj c \[X"SԗxKpcJ:[0&Ct͕f}royM-d ^dMuɳ[݃c(s܁m$o9$`!J)?|R'=uŃ2y㰩](6*h>ٌ~XHs~@(c jl<ThK,P=\Čw@~{b^o~WCJl_D^)Cw7wWŲ(-n}H¤9^1S@?3lVC8kukq &?#iZѲaHQߐ\P!^q+)QWS}!<pC*9IpNIʎ$D>mdgɜB#rtf!RʌCEaH/cH~H⁍{n_R&NvYb咲r?^O)ww}3qsxDgF_t/f\X<1./\ Qk -\m,ٓ࿃  z׷i 7aFL*)7cZ}Ϡ?';dzkcܾJK SJ5HBgye0-Sqr^i1DCgx:272u-xށ6;<$^pӽa5L*1\2jRq[8/2`SmmTB,]#z H _O>ߚbb!~fràYd 2@XY% s5_7p<EXߴuD5a%ӡ@3/t-lOJ_bpr}8 vGj{dP -(qp&γilk4{kp!e$pzɆ\8h*5Pc p%7,g l/9=,f3q ;o"% g3' eA4T@(Bނ_ -(IBi}4O`!3[]^8+W26G= Iq}j#mIVyѰ3SNr~ǨМs;/5gBtK ZU" m{Z *kva"SL&/Tanª#^P @x1z8ʰR#Q^^40JF͓;E^V-@ܫ:DuPN @1>"z\Eek5s{ԧ .R=u=5nl ց;rR5dC"U܂u3`yi,@&mj:S[r }p=F0FX6%YTG0GNe&Џ Ԇ'˕r޲ٌy} (ϐ٨ wiSfCH@J5g|/s ![D#ShCԮ҈: 郫,^K&N|vj:8럄aK.UfA↉a~um:]D R-7V^-afh΢'1Y&c.+bt[:x"-/ba!I}%2~807hFo+XAĝ5Pg*$o*uׁaaOe8#^U aVŞZ?4aCf][1K!nT#") +#@+S/!y9LCsōzcrC?(2: Pf4f{ *L@E}e08yIzq7RˍCct_ Zk@b.{ݙ26^Bt(YJd W;^d%"zJRgombkJyD؎?vLaa]?z2z9}-s3 -u4bRSv˅m1e0qi E zk9?VLKZsh[{ @*to@X.Mr[L1c(VijWw 0!#&svk?w*n۱e8،TtWƴ^zgeNޱP4W[-UNn _o@ Lu=”* 3m%a"hY'bV#"5~,ԬD$u-kOT;GBVPX0W :irTH2I!%i|fZ'rO_h]v3D˙8n_[gYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method+s')PurePure.Sessionstheory/parentsPure r%) LPureML_Bootstrapdocument/latex7zXZִF! $]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā ȡIJPBLLKć}Gx4ф ռB'$EbfN zRX"d\7J-> EWZM_Ӧ є$U»|”' ncy'.xq?|'=lN>,,> Q'VN"/pKsHw0yRn`8=dnm-XՑ_}6:b+,i.q'4--VYtח;F̶a7m \87V`BnSrҗ{5r=f]\dXF=#>2kV]'{&_-Z'1N< ̠ `z11v/1$d+*LG"Êy] 7Eܝn>ߍʜM]DTo0NUɓ#5f-o:b!5AeX\',NIgmv!\u?&e}O>/պ:C˖e8 ]'ϸ=]7OiuDUb4o+ Y&" *سUX<ӘAGnX{/Иql9+v)M1lH ON}QFc^6+3Eyқ"G u-NƎNY;2E,\!-!zdn~}DP7תxPTB7bմhFqczy"3BPRΨm$ A_xRՓ$O^ n7xPef[Bv)ctbԙL"IR&waI?۞UP3[s[ig>(9(fV_%gIU;˧'&9d9.yi8&Dd\l3FG͕#ltZI"Uչב|mm?_k0n#~k8<\3O_\Ti:#"_qԂwovX3. <(R`k,ٲ52heUOb9(+o5AacʍWu_nd)*"x O-"* GMD{sReZI2RdyL XVY U(JuZ2YODysܰLh/+KwK7Ik4@ I^gYZ ]] y% PurePurePIDE/markup27zXZִF! # B] !M젗OFM'rq%7eE)4adZ zr6|[&LJij}o&h)SZxI~ƙ&_+[*ߓ U3 ɓ>4QIyj3`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/  SrpP# YRy݂R.ѱ3Z8G=cú:l R֩‰}WAwв5n)e`_=s1Enk64x x?puW^eY3XcݧAk(^#^1 vhL0| v͋ZIHJpP/A!LSxXqӾ&_wě؞{(|f_`ks`1E'<}D97ڛxәuծk;hѲUI 5ӹgH.퓗=k ԩo(tnS w11xYbnr?1{]_  oĖzlLH-Sq@8W8q<6s:HPsel6zjK P4˥/"qpt[ũΒd}D2VV law6mtdԅRd ٘Wom&,f*| LMBDf%5֤pfvVXL3tbG B`~ N$c_BZJت3BX \3󹩁&d}/vY &/oF. j2̗0Z.)QHߜ-5;" g?VF먾T. T_0j^1h1LH P͹D1m0wEGԁ\h&ʱYy^3z>t_t`8bkM֝N2v=bɤbsZSKw2YѰ%)S LLThqQ kW->%Fh;Q2 RvV3Q=)_]Ρ<[Z]"taNtm"d" "7eɬ3_?ń54jo۸8FYz9܀ 1=Ƞ>kXE*>x_9[% r6{{3]/:!yhR"hEG gYZЭ V;}[ r}Y!l(ToQr+yj ?4sK̮pXM෨UEу~Ҷv ,!!3f`xhnlqm: 7*Ya([w8ͅ -#" y%Ӻ *KP"1(/L意*wtK;6dK8#\;q5F9m KC2< hy?x-ۑ_Ao%c(qySI8a]>hf] F l~A="Vf#0A%|JHʃm-`x\.,EM@Qc@'lL9:7AWX U;^Ñk6Sˠ*bV^2sYY)u2eg:@ePNA8lI++rL2ZD[=3͎-$MqqL.E[(ݨ_Y&6A õvLGlC}yx%Ӓ:ÒohОc*T?/t!2̴vhf`*{,gWx)/,3Tf, ?Nbf74ޫ%ļ2^\@ҷr@D8ʼn? x6@2FluY@ݹ;]%+ b1y2-H?-J_va- 8FܜYbAKl(\sёA }4ճnTK[GC3|6 ⾊qn~0`ӺN0SE .ghsSgVh-5ZYwX60N(O/F؉q)o@L>z3">.߯r!8.xkBv4]6D9Ǡqnlxaz[ԯ[!Y96ቮR`Xd[ IgPwLT14bk k9av)V@/XT33q_kB6LDHcMKc ܟFJͼ)ǮtHXb1|٫۠7s};cuwBxϿN@%NgO[\=B'^c C \ˬ4k /1O(k@3r!ILӽO/S9DwԬN OB.xpY@OʷOM&3~ֻ}eqcΒpf-ylg5M8҇}]hgpo{悳x^7`ۙMo4/%'Eǹ>5B* %/qRyKPiG,wS3L?3=}5"ۓH#fa0D*ȓn"/Rs/]k%NAz&[p ɎQ}wLA7j<9^GD 8&zڍh#.fM>C{G\9EŞ4eY,ެ@0@.9 hSh])c[s"`Y=MK ;Lk˞M)VT$`FX׮%DoRM-?>;=2#PBY\8UE&/$ӣ qh]BS[RLG .Yq5< n}Tohٰ;lx~p[[W"b$nа&0][yH"?785H34[^N`N%kg6@P*kʨu_Тهp[e> ,u6ئt~0Ķ1o,)at.n8@ N#2GUFCPDc+9IJ.!IF 8du'Qud,!l< vV{?CaZϊ;\ĩʥEL¥?r\TiՒyHc(G?ElKDf &WÿS{TAM=YT̮@p` gMEx׌`:3ș֒<Ŗ" *[sdM*Dٳ-G$1ƃl+ŴSN+I9N ʂ*0Z%!W;"!T2O$uYf58عTa);o!ah"2'-hQ%%DŽձYi|ZMx]v8g"vB`^|4vjiBn8M}Dq \FE^&& yC)A%ßIkJCM{շDSPl/r#LB0jL"yuc}6)4'p&#v2;[_>қ,X.fqg>PCq#m?xkҾa8>#[vKfFg<ˇukIٞk4=kA^ΐvq&f>\5d3u Kjc Ԟ*k`6afL)iO:z>Sy[ziA3icG)bfrHAbHAf{40ZFD+rlϔhVvlJ.ݽ7FBoЩ58<$DQXqEuN^/)~.fjV$m*|UҥzNlZ#E`o@Tmqd$e F.\܎ E%wB2">1Tuy%WܘN(JZ#Rw DpIphM#a U0Iɀ:s^Ԝz%@S" ^@Zd c&| Kh>1yNG6V, b95wuM4 [ u|OP7hm[KۍIΰkP)dfg^Ĵ"gb#5U9p'e)N ?nƌh/[BVM mUƑ?Z2~=ֳ?f=d pm'qc׫bGe"#>9?0o" ٢MRfq¿f9োm+|I- &h`MKާJp3A1G"Tu`93/myi-%$a,ͬڂ/dCy k[7pɞfjeErd۞(icgeǍljlᚴ20,IY?Gɳ!6ܫ?g#x+Ѥ/ D!5B\UZҁJl(d_Ag k\84ln*  ޾u@ِ`Wcؼz'stzR9{gwvlWo Usg)(p3mgR]YƮ}`-wxމ[aSh*zf] d>a9cF T*/Ly&YXtg_!A3 ٯ$kkѴK^v9"8b @_XP1keG זfi>& H4 (OX!YKɢ_63VsphI߷Q͍AȺ`VP&thzLBv!eSe7ny#|H}p2V[QC@ QGoH3ΚC5:*֔6zuɂo~DS;k:qBS fDw{h.oY,품7=9qXg<¯apoS{HŃ؃[Z{^!>ц/А="A|TS(j@t!kN^\׵j9ACl^`7=^E4C: 7dMBlV:ڌ/ ?إ̴-+ Y|S>xz'\H(>t8z^u_ͪG @[(й ϵp>ȏ8s%C)^%? k4$87VaY EāZh`{ٚ1-7j֯ A*nSFC!afP. ޗn\DC}L"GMGȴՀp .<ɛC+z5t^g]6O ?B=D,t=JLc{Qxק@ߒĠ!᧵g+5RDҝCkwCkyZ۞6-㽕NIN J ~ RӁI$PAPŬ3a ,.r'~C_zl[пS޺wM-}HNT#$MhdvT*,ZsPG>ǻu(mĥ "TY`8^pyb :MY_Ip5`as Z 8=Er;€g Ǭ"ɾ?Ԋb"<ك]{ĸBZ2y}E| _ՆuX^k*f>&(jiR!7V)mk$Z ĽXuC3DzQ "|ֱn-yU [N.0lj8S62^̞uN}$xdc$oiE[Ėє?y7HQo I儰:jʁ;:Jh0 #>;5a~,xu>mF?&8@ '"756귢|N$ԐfBDVܳtXeYvE4;u;+QGOm6g*ҋ;Nӝxk? wd 3׮l7}w]wO#8F‡VsK>:h'-m8vK >?/Mb\&EL+7)/,fWVQ<7 "FbC\l b,*+uXؾqHm)V?ސp6I[ A"-MYԉ6ӌLXP 4I-5P*#;3|ĚvZ.nTZU2J֬v }ȅd4I@'uMwF~P' -ӱٖ{ٶH?E.}o:G"@="5P}8 ̦u]60VTcd{s3UNjyeFedvCÄxӑ} lf }J͑ Hcfwu,5hjbH~LLbvY~9S'X~h'XCb ؕg?!_M0"eUk! 1n6%Go*:5{4!=0ϊݜ"V%!=xWm9ZnߔJ>%]-[⒓(!#:.&-ƻ5Uܸ4r<7\Wn$ٮa{"c 1G"~aoRS{ 8l|JޘDxswк;%0Sq-F9ab9JG,U.@w(ӿ/YuoNG*Zsx/eyե,_%X!_UYZr勨E!n-`k{zMtjcpzNBLپNKZ1&VJH?Ӥμ A$lG1T[+h}dYϊⳘrr2+-:AinҟJ$WR>-"Aɗuz"T_w0|F}zF\- /7pߵAB"LAz&ҪNȌUVNND2 An\q/B:A>T T,@{Ȁq[p6|Fˢg4xSZZۍC-W,e+* ,RdCQ?e`hw0Hc q?1FC@ wP&b%Fw1ˆ,9oM>YkfrJ0ܝ#;lr.;GG~@ #.֕+fhWtzfٚ~9vRٍjC/I岴$tvyLKOPf GjJ}jx.*/zMŋt ,%v7e V0r}+NMu_bg7X<}er.wA .34?TӦtmykxjjx%!:Dauw]9a s ? |/HVvT_Z'Z|-ba1wvoII6a0: 'Y{IG`ȑfk)!Ԍu,h4P&MF;XXnRyB(]ĢR@VJV) Ba(ɋ$;r3r֙ `iIKBmX6dމ| N7Q;z޶Kе)JN7)E^yO^ d=oͯqgӏO6o{uׂTrGBE=L"k{U^ i/u O.\Pz e4Z rV'2F c9ayd}lG*OG;o_@So ]SێjU{jœOU3JlC}J6/d;[9M6-R4{{VX]]zXn=p}QOg8Au"iy?? 7xM]ȗW> F1ęm?MDL1ׇWU$XM:đ+Xuom!U](5(?υ%FȔbI\ΈMIW79Fxa2$?K S5.ʵƣ`=8hX5|ζCf4XLs{KS"`řwitz(5aR smB}FvY:pSn<82.?֚HB=M#A46m0Ц{@r^H3Bkq(-z޷9k4-OLO9W%]Ga I-ghGiQ)|ϊf['Ɍ i:+.cjc:n_ӏ/# C77ME^k)Dok8vvJG_(V0a,I-+³E- -ۺ";Խ۴nItZ "r߇J˻3y򚬀0/YƛZ<>TˉcJM "ߢp+\G@ o+ ب= q:}tSM}7D3yT— k[=s-$7 Ivp+ V<7~߇ Uʉb,ilS2FV9@ ۤ =zfMyZeX,^SkFXa)vp]&K3҂Sa#MduM> bB9$oBh$f9~YeeAaOAaNT4c+>渎$Vu_'3eS~Oex*msmg $$9(#;aJB;-"Eb\L+Mdȣ莢:h< CìW i]OΐH)5YNBfEyWUddo\ $ 8;N[_^jNc}8cJ2ԺHb{"d[% zޭx>[onMxM{Y "~W %x8%p'&}}#F+v9D y.`#C]"~ȗ.ѺK5'PFW0#[I_9ZQ_R4 x5-I=@)[*̜i#)K]T>o%XxX"9IR `.3@i'Opj{; wrٗ9__UiBugGV2DhO!.꣕=I  e_Vy}:B!$)3ѫ5 |%7'$\.X@k4𬭄&yU'N,&z2Ԝ'"-^cx -&ABɹɅk$f 4~p8v ~ Mj٨/dZy.㩥W>B:jZz03SΑ*rNŻFBJlAE%?A=#T|]}5z(¨\ lxU,qazO0 7f|d}U4/;H8]-R]|n(Q>wg @V,u*D~.&l{Uq%R-T_SؠW|5(Dja 2t:φjyJqq-8eTK\)T*^#]@F%ٲ bk&WqyҎf 8'+ri}TĆ] xo#,KN) =R#Ϯ$7nb2b^ 5eTm9색0ma%M&  yoo\Hb?jvZiBק E4:C(ؘo0G:IZ}k u?IpkCL,P"l$3RwIhRMÃ5NӞ|nUܝbz߃L ϴg/4ܕrQ]ttdfǎ8d9 ^f)yu&Ho9k֥"XF{D"J,[_Ê(^>hܗd"(Hfa#{!#'7=!by L/J^A+c4 &]y) yq@I1ц)ʮThw$D[Zkj#:=%[b` p /E@V߾_ٕeP!<&~p9AynM\jݯ$Dֽn: hOJ_4I9-ܽ:@]zF(џٙM_bg*>17OZ6IĘvimz: &ƅe!\YPNN*퀡rOA.DK1wpYF%v+m' GF1ʭUd% Sy;Y/x/VCn߼S4Uʞ&6٣<*S̘t2^;LO}4I򰢬ZSZi2ި)0& M[B^s&&A) W^;_op'l#4>\wūPߍ _4( /+V"ɸ[ ŊK2$}=H.dP#J.l:%o ef | 8hGgTd*p*-n샐 eՂ#-}r#|S@}0E=O>Jȕy~39m 8nhsZQtlV0"23!9Z6}l6-`C^tuanL=L٥oy >3ӈWJ"m̞1:}oL88NTpG?8K@ʶO=aE)@5FڤF BE%J7~f qjqY2.ng{W@wiټK: @gKh qQarfߙ7G4 tM;0֮_zH:a7Bʬ!k{|ZH=RruZZk>A=/vtOy\cl(CO\i6vJi}[𫖦ˀu2>U[J H:_K*ouEԏkcج#iY M^͐w&Q`$#\J#SZTh:':7e"UƵܤ$2?vyK]pZ_\ٺZߌO %yԥf:O/rQ+54}w,_%%bƊT5C aOK$HH 5E|18?.#lR KY/2B_]T dcс{a` JI ]7Hk+Wdxw ObÓ sqfX>9#5+qLNNA࡛?AUNtulFAsT-xP̕?բcU:1k?=Ef~I58z\e2aMnjPɰgmÄC0qmJukEZWU˃ Rtй=^ gnX0[NvMx\eơ>ϫOMqzd&o1U9NKBO R!1%&GGH]iPixfW"7Y=wʛ^TO051*D 5;Ww _|;NVH !͛;&S?(@$x!JVDhfB54:"\r8,U8Q-xFW v+΀?&O?`ɵ@ȏTqY*<ҫS/)# @9aJEِkD;s1r~ ~3fuϱ]s1 W^)46q'C5ƵmN`z@ ׽>3Tr`Z'Bd1Kr L>e-TGq1IkVQ`7D'xzNvTMm!՞ijp28h5sveω0dدc+"cCPgVspGg; k[mx"T$GR+cgpMmtnTuu cK+~HN lk9DD7@QLਗ਼vl^d4}Uz ),7՜N*#aMZۓZUqjQxN@Pqv8n =TYy4խ]WXL;g 4W}€{x=Â82]rp]Ëysh=Kb$ANg?+֟{flfȐWul%gO ,&;ed@_zip{k07 J.+8W8/%.S7JbUi(sKpfNCFZrSG͜Mr $ωnEˡ)aS^k#+0.ԝn肢iEFш4ґ)y۾~ԶM$+?ΐTLש5uj42Mw?hg_@Vo.7:9 K j/M Ct(ʄb OjB$ G>hjD\ʼMA@FWcʁ:`~ dP{P{;0?JnG A[,BÐl/fAkD7Ci]ҷ0D}F9tl[C}ٹnȈ6sZa~{:1#BZ[.d~ y.C/7WSV'&%ӂWK'~lwE] Χx1T`~o | 2i,]Ҙ~0*\Z[ԈWAA;|Gw^%{\.%Tq>ZnG-`X! Qm'/IdeUl)͡Ln%ywJ hB u;doicqBac,\"IzKDk֏u9}}ٖ*on,y#>WJgI~|w:kHj$ x3 4,(t5;7ϏP .(6cNi';J{sL#t* ə[½sa\l>ֶUBhUiZCvɣt(8ȁ7q캿LAHm}Oi\YKXzr_ :JGuQ複e4$PBFeK(g)4>i7xM,hGE`K* u똩n@ÍV8 4Zl‹HG9 4) Y(F pJdH5%3W ۨduE_>X)'McD$݊f" Xa-]MkS|'7+JjCxB.qlTAsU 90_soM/a,iJ(`#e@dT$q pr 2zWMsg H}C oXN w %$9 %ќSưPiFf-Ex밞j\[o|NʑL匸OO(k>XZn,1\sA~;hd07I-K~^s 9=]I=i [w zNTC25 6zC*DosUpG]Ytڟ**xk# N :Լ - 1Tr tлu iQ5/M)5 +G<3ixE5:*#"Gw©QĂ~ d@ۙ@$RVCv72<],l^4.9$u0DYZyWVыYk%kr jm0Bѳl뀕ɤvmҜx?Lpn)f'Bee!jDq=@\ ٓ!IJp Ύ36}Jbp6=o3Hzi.vڭa:}U#[]FhWKHdOe)tX Ӆx/ \y2V³B7G59@!! 1Z[ʥRWeէ$TeWސkv+O[dULooz} j"_>=o\/r{>cw o" tNΨv+VㄿXq|W-b:$ț{bRTͺ@0 AU =yxt X@RuQeSB0_!vwaDOj>dq0WpM*bַB/"ҥ8o^79>xxKQ ֑({>ycT[*I𚊲D{<_klcXD2L̆-GV gIJIZx+3f}gE`E No_TOλXV;S2pk3YJUJɰ-Pveu5jmEF'環Vޑ/U4:Y`}]N"apN>Ae3vcuuDuӹ6\XMTDZ9Y(;5#ުy[?f .Hw.*`O4ٴBYL{=h٦V{@W@6#odž_2dIdJcWC{ec9[ ~^ . sD.!UYa*[ԉ`<#hl*3r2mc{ I5R.XZD,?ٔesWVgJ~䯷{grӆ;ʯPhm!};4* .}\jǩddS//f(U4iL0:ĒjmʚIVH[8]oCcU}^$H-g1blÚw5HTԫbwfjz. /gl/ C|U/G9Ei8Kx7;ﱻʶ#B/U!ȃ1c扲ㄠ#'6sZ] ۓZ@;?PrY\VԚ\Ԫ_5椴k!Ni<=;QM8'~2!6[5(aNm= O-,H XP|h!yٽrس=#˫;5l5Eh=cg/y 6lV=D\ߤNCE`bpA>`C=՘p8`\\qVBtojP?"`h# L'*鎯YO/hmyTAZ`k I\L=oC<񱾓_Ӳ 8CvhBB'f.r wz#7wȨSm=393Aut׃q4vɜFGlӉևw}%9܁rȘ'Hyh+j?%Ic8@ӣ*ɌΧ~V|M@Tesn"l"Jqԅswb ƙ#OW{gy-_ \2kM\X呧+ @2tN^&+ {D+ٸo_d&@Py[LKm~گ{`q{AWr廽< w7SʤF.r{t0aS QMqU qAkZ;)dH+թqKI ǚPR?yMKmli R(X61R\w3&+6R%5a$w^m0Pf'ϸ8F0 .MԵx/WݮUOX?V#&4l~&_Cg/ McS>JzPeWN  t(7t/S5|=ʅ\`"N_帳slQ!h=N<1cnGufD,MǨSA7?L^H &6{W5DsӣttI%bl{Iv& XWFǃEsyG1Ч0]o7`P,Q P~Wp2c`@Mz!&9]Mp+=tYIsН'BlDd c=RͲR? 5OvO9^;SmUVx_׍A+L;$EԵs[n,\V[xQchJUGRaW} 1лʤtPies."fW} ^ABpϢ2Fxzݩ/RvWW ?it/'ͭ~c3 nE~q(dcB?s7 ^MK]InkȂn7']EKr[`[Ie얢쭟>uٷ}yP_TNK@ΕA|b}DG.EDXM)TZë"w8:L8گ-*cP|Ð :l@G#4N+myP!p'dtɯ~A}^W Tr3wFzש:`322b"!/*]%[[jԊ4t\@si>8&>g:cx_/̬C|^eer e~| e"ז-)3 gpȵ&U9џ{Xz~ {^- (/((I(gO9f[ɶ;31qYqxQ[Z]>9 aI<dkO.iRR` G"j I*XSBY 8l 3af|X]CH:VJhz 3a.Z]TQ\u Q'a)\vwd6 b4K3Ms ?vPz򎿁 @<%񱅸mD ybSubi|>$MY ~^xvOI*cԢnUh$,4o(7(YG Ϊ؛qn ֐89  j[Q7#ObX&ID x#%_hK+HTƟУO^MyǭA~ uƏ"}2/  ?냘x&}rY51An)&{e(R4ȼRo噳4LƕpEw~aPwGܭ.$T 1g}]2pFsJSM.98}g5@Kt JhVsG=kwXD'N8+]A ~}3X>\4WT/zRtgX0+&g5%>I|춂8("/kr^3뿃D٥u߇uW_gXhnG92M-WiZ45vko=eU!J3abC(TJTvW:ح :{s"-:#Ln }5 }7TyJچ_In uYp,Wl϶ /q[W#YE5<p`}* ,)p>ƻ1 &«ʓz0Krnq.ߓA`5ݽ\ ?n6\uKd)6&L܎Z oι'wPkI!=5lfQq=4|@`ys݄m>}-O4ڒKR`42}TjB341 ɖ^a#WQ답[^đBv٥O=bܑC 7,xki"B'R}z@j{I'dr"v@&;tB& SҴRv5$rE3tF䘮p,8Xw rd񜌱DBM 56_jgsR[:D9?BPQ &R_ՍVɊTU0#1S;]&w'fEIҟrwOP\p-aqya~Fq Jޭxp 9?jWĵ(/2.Lk*Gpi[ ^ʒ;mj<9(]O\~pTŀ 8֞WnEj!ד籙LK/\& 0Fa#IZ|Pq|ZQR_&LqLE){ {|H025UjD~gK1^'w|}\8ٲi!9r-dLN &{WpΞ{;J?-_2O[KKĐj1WmqpU}㘙VIA{+9'R O9'R0cxRIqMݨVxab3&[E_ē`f>g2TeX&v|Qgr`%1g$~E2'1k:MF C)eE^6lL~ixLѷf.x@dFD ϯP ރnid4 &Y41\NjaPL%E>mб~ʺ)ӓF0Y𖚰[o\R^9Xf!ͳMU.i}NrcǏ281hBG1Zσ(.c9~rlZb*Hv7g0~u؏_if߿ ] }-BL6j (Yiu\L}$kB lNK;-`R8f{0e5MMʉ40jѢ+6l]S~ZۼO>c\1tl01[2l~ %sݥJ-iuF EBRGUշq$u)ELONzm8} ]E?450;tvcD܋?p1疵u_{7o?7>\l5x{JgU(U[+qɺףDy*CKUY(؝ƛ`?thSHBN:*<:8JM@v 7]9M5*Tcͺ1Ƚ\zh$7Q6[(Fc{/Z,<£! 8)K?"*A=N+6fT"C^nm̳@=avv3cԟb߇31O|3gn@/\u(+>J=]]nK)˖6տI‡6s+JhstV`CGʃ->0K s es?|#^Hޑmo!L^U)9-sUdv@㌢HG3;/I0)B Os?]_",fv@#"A:`$ggH;#P 9|᯷"Zg\<ى6CpydYՒӘ:),iOWgOhN$FoG\fGCҘt[JoGK{.L ++G &*'-}zgAѳ]T,ܠ<"_Kp ԲᡣˆVPU/cv43˶9(en!_ Flnu\S|rWE=# (^U`]uv} 3n ۭVC,?fQyP~ˈz0܊:w=c$.?d_A6^C#Tx[GTNe"zz n'NI,B'Ǯq QP57q͉/ӭ$}x-YCmY>N&x jfWٴL6|+y~htgS+4PN\m:\8 Q\r|MND p.ja4 #g0/#Cjr/ʨ|hIt k.16f Ҩmp/Z!?n-z@6T-1Z{M'M+&z6XH[pM"R=_Ctm8n#9<@(d8WpK/.f3;a2METolHr!z<Ѡ c,xq|E~?[)C \JF:vYr 3V[NMuk$}\[eUޚ>/PStPܒh6rZ=4Pb:4F+ ҆GeuHo:Sţ ől((U՗ʐB=iM)|wX7 CId]gw:/|[ "i(}g.XNCPCұ` HT%KK![=$V8U,>Y來(17U:þ;¹o354KH]+K]bl| X lh5~>ۂ|*:;*~ZT ogZ)h .!!|Yk̠MMv6v 2&nDVk)L}隴h7flD op#k=_/)y.UJi,+[VE5xL`%οw wO b.i_oBHlC5`XV0ꚠv!p~_CٲVk1LN1n݋JWϬIb &HR0v?-镙t6_a{7{D{bPHOGf`*1hS%P^ 26/e~z|.DT +IV@鿵R$e3B *5.vƕLݚ=3dGUK Y`D4t6(Hn~^TpcX.,+ӕ??B#XW[\=*Ny ?;Y^tL& #\)okxPgsFLG| w*^dI/pGSn-(3nf' uV+Xў,֏n2f7UmqMyP?GsFmUʨQ#p0[*ᗁVkHIY#&wlfspfi~ɌϨNUD[aB s?0Lzq#^6Ƃj.$MaG5']X+X7^q IZ(9b;6WU7ז 9<+󣴃lv="}/[X NRT6!k.B2:jXiΝseF $Z>.XӐ=t?JʌbujAD%S6䐸6P!.0¬4Ҫ2MKB,TMo@^\iDl}:}E`#=סoŌt\ҏsz\Oג4;"kc$3"`.f6s |zM0^1cc/OfSuC< C1_DK!e, e1s7!m%1Mh 0@QX+t n]uJsYN\p(]JopИ^7 fլ%M0J,Vb7'0QPɖ T ZJ-Zm f{M".7U-n vS.YGȟN*GM>=E ݜ,+T{LFdza7ol'6& 9 :}ل;kzmL mO} dvZIGFA q$|SHG[b~ b+*tbtO O8Oh ʹvFXiy2ZrB ^aŖDEyҧGieőA.f Jm{?APS ܪצPl0T@,-tQd=K Fw}zp XBhswFPy!zx>?kKgb_bNpj]lW =Zteb#:x p??֕)(ng yKK8(eTCC9/i6G!pf84؁02 #9k%åDŽ K*{Bx0MC܍(׶ͮ.?t5踒yTKBMخ`΂*jw Uub7/.hK6aT`S? ћJЮ5i:]5S] 3ȥ̎ ģ* RT7 T0Q(PüΖ5@OCC%d >H#="cNB~پPIGŻNvF4[{8t0Um^e&d%t  dsb ܤ{$qc:S ֩1=lS߿2=vr>p(o WTLj1Jc=gtH2n`u6כ5ѿ7.1΢5jjY ̽HX!/7|oDP-2C8Fy|j447s,>$r;ķ#̧1ͺ2yJ$p[0ŝ~(0lf0Ľ\4Ut)jGxy)BR?7ddijA,o,ks G 88E+ ,FQ* Rm ckB8v}( Tws1@8yqjj(ϤlSדxE vjd8sx55=㬞Av7oi/)7(Q:WG䵫u6ӏtnGQQg[2YQUe>)B)8Q.E4W5~ $Oe#xrRߔҡm>ok3h.e'G绢yv0ʺ*7\J$n Ghh&*^x m\O_D)2^#1#̊}QEr&! @ iOOưOW4;%Q JHP˧ĺz/~q #aJәNJ/X=d![t5?b ZwעH@_(_ "^n^&Ӵfb!T I6Xr.-={UhևQu(5 gEh8)=p˿J R4,b6F%9f\61Lqm,$/̢snfâ`aymJ0,tƏ!B)=ػoё/!./av %G$yOpkp2յq@K5ԃnߗ8ӌn\ ~:ZQ&CY2!m'9wA+{ =3Tp}nzV>Z\-vAnR\m{r ed2[qeYP%w,A:2bNT}9 G(.t1PG|q5-uC?©Rq´nG`kn/گPnn"0X쫣r] 5SKBeq*& I6*䤛 O86<]jh. N|A3,}W#8bxa>tZ,\5׌wRJ4|pxp3q벊GRjO9_N i 3* 5BexMY+wz ̋ P@b;ܼLe~`xXXD͜JuiyT1K> ;PxA,>5ȠN#>"O)ӓG8s&CY A#6*S|(eX] u"]l. SdS;o0f8^ &z=Y_+j|ag\|˞4BuTevH` 2IN8{1 Y|9fق8V}Kݲ Fo ^?hj` ïpy8DqצR?529`uKMӯܿj8!;룹YDM' &N3/ܥ#pĞ_(֒5*FZJU {ZuNkL\FJ ^oA@UG6h RPr".R[I=^A) %.20hgY{M2֦[= ĺzdyE(]Y !( ^{ab,i$yT7V0^c|0)Ph v[E@p(DRp] Z[,\a BcyCqE4Fe(΁'WvhnX$poz& Mj3Ԡr0B(FX ⶰ lo>jijQ %DKծWiX;!ŰcfԬٓQ4C$AŇyvTc|x"m=BdXAN-FILVQmmqF&e6|r6pY`Qnc"k|BYtf7E׍gYߞ4ܚc:|[P楜a汈Ei uH8#A%)p [q@boV/TS$:hy 8sdFm4 MGק`{"? >vxU |Jqw.dfOvPcm e }B޴b\p)yjRv4>6ǘyR!d^bbH[,̔/uOg6lkT_ Q)w%XRdR]h G`fkstB7"%WDJ;A¢y eBPMNԵvOk@*#3^o\MfS#N҈Kwa͏פNdYy_8' rw_p kx<-5UbY9':gn'+Rm9Մ'zS(jfδ$KqDȵ3tZZχSsY|XZkϜ7C@Fk=f9CKb-\4(pUM2(Ƅ [')c(zb)Jčv~NzS=ʱ6HUGh/AW[P0`?)p[Xt(ԯp\3b1RwaBC}0>a 5ٟso-r`w(3"A*'YRZ'4\F٦&3iʊ4<\ٳW` 'tɀؙD fར+x8-'W|*cDV `fy  ܁!kp܊E p0FbP V&bꎏCSp*YïNp؋\zfa [@A:]1$G:(F q#Չ E+='s_5rH3s.'I0V ϏDkъJڣFPOʉCk6fE)v#sOs&?uDGom/rߥk7dop/g L[v&Cށ?^OC#Ǎ >!Cmb=rr FSu#D籶vw.^ -c!Cs8j (HJeX%(J("{>A14^K#,, a.?Ч}qJ#{c65_HByS%)~18|p|i./| bs0C8r92ӷDov!ŁK8g0n/6Đ\U̹joD4HWُ8u\DǠu*%8z8Bĸ SpiZ/Ⱏ9r }%R@8uR?03Ntw#n#6}qEx>%0c3 [B[asмuPy!h1_Лn[oWB\#?Ü,vP}๪YSgF[ DØY_nL`yPa(ͥ"<{4XV"WN^ o/*ByJj`@S&.f|$`-39Nh'?ˈoR`ђHy#g jmf]ER$ۀW˲LF*ڬݼG>`yKYӈ>&Rsv9ɗh_8c!Yj'w4)6Q kiyz.cLc 4L Cɓ %n<{!E;-ā~{Ͷ]co~z+O0g")?{>#6A(9Pp6)Or:PGnV,sPF+,ƥaЭeʼn)JeI r+埑F3$}63ң)xL_2 z'ԲCB[esʐONG[DnY- "m@n$:7"(DRdu&-uBǀIy.u.#( Y1YVYP99LKNBggwR1:ƯOu*R"1fGߎ)&G.*^*ky$#wT'Ԥy qq%!x@j 0NAI<]0ȻM)3-k% o_D6k oGϰ}oEIТ:M=/[X5mb!_¢##mOD[WVċ#fℝVVgqc vyZ#(YJ_&m7zތ=|G]yfN TiX [nmCI%q;&p)׈s2nB~b|J+'$$x[A LTc#* ZL]KgSEr nY U'0+-]Smy :s $2kB_o% ;(R݌=68χ4OdhfqCaʦ[y>NcsCuS^Ѹ!|vm OCi܎/iX&?TM<Ȇ ==ؘgՇd=[< z6%9 j(5rs(Ax8Uaot'Xd eXL*kw6^pE Ϩ`9GK9*ԧG3ql]Z5SPݡ[dNG7n4ܮ-\ԱQN73]e$eM|6A4-V#$RXD+ns1Qq©Q Tpa ۵w%P4J:0|6)N&R:hi>-(PT1]D7 skroApܘC˔(K8}>gbnܖ;mKx] qdZu[@^V#uhK\HtTbiɚ;J/{6~z,7s }٠̺g Oy5rqY!dKP5/Zp b']4ϵpvR~ShAXԤu^")gg38a< o)$|HB T!VA7KI.:4ݾ @Ou kMF`>.`h_"Md|Oj[W>dp @dxXrUl#rP4Gn2|5ɿv`T8qqF'W's _}ynˉ{X֬9ܮMH.9;yY;'C2EYw翰J*.;?,mɚWT_G&w$ARUn  ޽H=AXDi̍=Y'P褲>*Gq7@dz̢ej?xUu\_FbianB4jR 67 Ǧ!lu$~V}5!b]8ޜjݟTJȅ6 .z=ʠ|Eڨΐl B @;4>fN\tʐdj$u3y g7x}3.@5,3Q;@^VԄ`ϴ I%*˺-bwHl{=ICgʵ8R%M*5ܕ̨S0-cg+{FCu j{e mE"iE$®KL)m/u ^$f puYܙ읒W]Yb\ 14ɿLL3}|mJX\INT/1{tWq|Fw 'z^cۻ}WmU&79}i+a#O!F I"wwR*׆G俖Ho<թv)ϷԊR̶߭GR]ۏXy!'[QB18{@A04i#tRlt Q[3gK {?xt`#G{9f[7;H4*\s_ZAHC~`(!Mo^cPs7fkqA %+eoXb^bw ێ|`bsu\j)Z&O68oA\ ~:em;Sǜoۅgcj2M{ <:@Dƫ^z'D@G4`VfDݶ}sRl^=_5f1 ـᶥw´P>.HNHeZlw9We$_}.}[<.p+8-5UY;C6V<--OwX?_J- pU_ѽ֨Bk* f(ͭ47]LWI\r @O=Bo&.]2"H1] .Q%}2ϗxj_E;),8XBEj_!"<茾oQ^C7ֻoԋt=AYߩ.AsZPh1I*1&S_Ț h),xGrx\cxyJss1Kb._tF .&6]jߠõxE` +"MDDxxPhz-U y<$pX~韹dWxiS hQ'l7},.U5)f@F=jj-zbTs {Y@ko99)/PӲbbdžǥu0iSaw>7GPT"F=\u0$!u!æc7J&?:|فBm*!9Q4xhxybdpVmF vv{VW. .Xߤa ]V[P~2"0k$e@͂SKDFHb5%恥 Zz9aܒ$ x6yHV}&n6##5؞ tYMĪ@"tӘ(k,>"Z9rra{hW;[UU%<BT`cw8Z7$NrVӰ.~$>&0{'ytEx+.R!G5_V_^㐅|A/ֿ8 =ב׽jp; ʕ/:HtKG1v/Jae90gVG]:i7Y%FgնNh $O~QXR;dug(OYsv Oj|X_&(!X9nzxz8y''?m{ Jv% mSԿeCFߩ B~*mtz m3<^F𠄦o=`qmxǥhNc١ ȟ]`۔"#ꕫd,Y`/(!ɱn"q^Ί;J29u$R"8H{vO-YH&6݃퉪GE|Wnp0HIWUʢg ,ߦ #_u<.@͡Y֫y)A&Y|67DQĀKڮ/@ }jFK&-<ߝX 5-"jKyM:*ct>TQo*iȥ`>y9M )}P) 7W_VN@a3|n4zo1 P.}X%VA3˲ u`;**OuW^C$z|,I'ÖOKYwbD4rWMcg}A>Ҵ0yw)ʹk2WSy; mA 3+  9r#ҭ[N  JCiar1%JYVUE%pB YwIQ%Sf+p{Z[V Az3Ykc(SEkPDRre͐4s*cEɥ]Nj3>4 hKrA$3xo>Lڠb$lG1k T<6%M1M ڏsj̎⻢ ~Z%д>K5Z]J mP4Mlf/a"+DRWε-Dqm3!\v/U Bk־r R|@U)yw(:T=8h &Vj,wZ- LNč&suX9 +0Y ۭzrV[*ʀ59 6N}QoF<.AL?ZQ tbg8y>bgh|d6pwye 7vqT1 lWm(-֓>"BHLfe5/Usy*6cyH) ILJ5Ηh<<i+چyM~炞ekq@HTGSTH@4AקumUR\ܳt۹}qI/H&9~Y@èk|@T<) jcwK[, sHa.Â;nRڜ5wL3;ɍ!r:i8$ZP2;^d}ۋ;+4(w|K5)Q&͐$%# ?G~ZlD% =(M%5^k52/'5Hfz[w#RM#!l}RrrUAD1kX z~d"Fb.$ne{ t_FO@P0iz>[1^O] ()e^#4K)ƃ4"|G8ʴK$ީ8t>{tף@D(;QVLZ7hU(F=TL ` pttG3sav4F)5H6PQPWB~W+Qu9.t0:8J.^G`Ǧ OZτ &b/\59\/>Ѻ;#ZJT׈M@i͜Rwc7 <v9g$`dߞBHӫjY[&Oeu^'փ]"6BwiaHzbLt t֟a椛egHaHń[ <#獼mxopz66;1wי"x;tΖWr x$fPgE1<>6Jr7Wz>/ę%f$XT9_SSm0gXe[2otSٖ+ qZm 4 VWu)=-kٷe։.Dƣ\~V0"x}C(UiWZY\^A4wqPyפ\"U*ItOGc؟TYGMۡkqfnKЛ9 G͖ƫp_$zunR9 k 3`K!~-&o|뙠aoCVVG~8Hf³Zf4V_4Տr;hqnb8XIfb;(ܲLz鴦24:t}p hdFOB!8+\Ԧǐd7F'D"PSA}0ZLox]~UI4 ?r 9|?8r~Jjx|cR6\0_Y?l.pָy>((z'kXg1G!~kWbp1';t@{f}GHU5t#[")9K/x/27]Ae_JS" F^Qߪ(zd 8md[Rrw #f߾H:kV5|>.W;0Rbߧ^Ncsc{jDLNE&3w~NHqf ҭJu $ BHN[֜RZ)&MT=FUWeIUٽH7[E?\h)k94Cܱ+NJ-ԕ*R3l ,M`ټ;Kk B.a 8E{] o8B&Ҙ3J< <S9 CFa A0t[F4W}z؄':kqW^vćūɝB *R^ThY7Dڙ/\P;n(I=7Yg{3\'Z2E~3-y &B1V7-ZLRVwN=h[cx0߫.6Ë&' fIeGK7 H2ykyRA ʦ(F|]Z(.ٺMTtCBhC'׾kwh9Y)0m4FHUTOtTZ1~zTO]UPV;nkgXRGhWpOֹ$(3g @N>UC6)dFø(( i珐pr.TAd,.7ÈZ^";CR?h#fvbSͧS+e"ȄFzkD2ֵ& LN4CD$kla|ƃEvg}ѧ= D '~!)>6$tf^ " mǟ(^ hӯ?:ݯR[5͍a`%PNTpJ&}0KmˆGԯVSѨrMm}Ţh5jp54R]*,sffb9j9k%T05H DHqZ1#x:,50.߲h|f 4w@iPEPs%]P9Mc_ٿ~ރ 'PfYɿafK`%[sKvvPC)Ļ}˶)`#4)߮}7pj416E ?rVG5nK-T2fĕ2P+t/CĹW%daWWǏ[U=T"! pHH8΢9F|;@ܦB >81&5uF h;ƾOXOB;J^J6XB11p?]8hl^β|U7@s-LF= v2SYf;^#2gn9!FzDL 3[Q`F~^#MQI2?}V.^"vH/bOӵ @Ei__`WmTI`nsH79 d-ոcjIGǪ.C5"d-;s[2t~,0_7[;e:+LIúf>GxL2,R3Kt5.FTh\;$B̓4@:ƫ8lx_}|d( yJBYByChR;cDzrlڰ lGEC2`'ȥr34%#ܠIE#Kt0nW* @[Zȗf6胖8.tYXSL*a@=(gL,pimt_ ꅣؽABvdBW`_]V&Y Anr~%Ώ9gP#='P#PkM_+3JOhLi1-K)D\IX5[< "0~^*UxmO“O`& |_ /I?y:6/ZxeaLd̗KygZhΗҞˋŁ_5o @wĺFU);vv BS>e3 fW]++ƥX :Ѷ9uub#u'&xwȧuǒd0uO+4#>l,r$^؟baǽ"9~E~v.|Ш])ѰzU{@R0gZb8<+ Bmm9"jCrÓ"Ƴ7aAh0Lۤ8݁ZM;Jv`?M0%i'7܂ኋ6g"7HۅPS?0YćM5͏irӡegcIQzg xkxt̻ϖ᭬`m1E7Aˁ%e}"x'dm&`(7 }[*`yOtq-y.s,e@BިXm&ufв Y=Ť2`rІk%?,cB}&ǛzE@RoCǘHʚ)j7m>KcAYp{*.,-dd 8PQ+TN8 &P%X/1&m3'J%}TdoPl)I~Hi V^jʛ~+.%zebeQՆru:!}Up)h&[oS8mG4X0j @<+#7qzph 8\k z]5XCv ͏f 5mMtx9o2<'ip lXLVB6;GIu:+ZhX;T'9F/(>*z}5w1ݙ?2XU?Cc?ܹ~ 7 >X8Y~ud%/62(7ZT Fw]dXugr QpZ6r(faOyV \+b=]X=w5y{ I0a(^m7IY~@'1Q{}ÛY0˃_?", f0٪ q]sT(JR"|G'6`sG6m:pR]7J-o:|s=~ SV'9/1y4;g˸It7Z-q~A~x!l*TJ."R`Xak2q W8xVt{CZEw1w| /IG&mN8MT,G!|48m!Cp$pwڈWA׎m6+kb%@% 5Z0χB?]GHgxŗG1>HlJ'fcd8ED-UAWi-s/D smr5A|Y/`τIHpn>Өp0ЂORobxJaf`Lb, fA~s0k.xC%R! U8NJk>"$=qp QjgnV!{ku_{$%)97"XjWۖ͒%>LG˥]]2?&Hn;~E٧;XM`8< ͆nֆxpSy?rm?`^KQ; &Uşo4i_6ܛDw hc=mDžV̏]jÄkEM FYZP7m־IƒXœ4Em bTHgj1zk Vum. ѓ-Q*՚XKOFT7x2 I:xL{kEAV 1D.$M}EH>{ k#s(ko"w؜-vkA[o"fF+33bUծTJMQXꀏeNXI:}ʾ=?̈VLl>/>/@Z[ td57(0#('@Lmmf1똛sɞVĝ-7RhTV4 |E$wHbڶfμ"%Zl /9G݁˪R<妺A&5N#AO8>q9׹,ws" @mk[ mutۈz#{UHRLV7o#E`Тbn΃Ţ` vT )SS`ƊP0dQf {DbEOM~\%8? qovr =խќD΅7((T̺:q?v| n:EY\;kM:s%4C7K a/Ŝ?<`yF. CJm|$ nl n{Xa[z::-96}Hɍt#] $t܂8YNj↯YȔ \_ [0n5 7idYTJBYخ{F?S0C\֍dG9jR"=әIW-ؒӔIi+OOK&kPpZ czZ*94iH]N 8}k0M1z+*%rTG%ǃ8d$BtrL+-viO'c}%ֹ`3."ϩl/P_"P4(sNjޔRD2x#ӵ7e5f ]nhUFz%`G0;!M;fdw=4(:Wŷ^AۣWOĈů8 5~؎9g4]Ї-1>QJ|VAK߻qړݓ 2YŀZn$pFgzۉwsUp Αkיvy! ޤ߃';SN<1C!e+ĜȸOYLnzߚ0tWPJq7^j Nd,2ڽ"ObghȺ†YcYei|= S*G2 G| n*}rt=?*6Hg\*s aP_0*ޟ?7J4|BaCF^8KnUuI7E "*32|應VEGxA^n&qkd>21&N=MG;ž˝FʱYUz$A=5 =$T2Vğ:zs.}J2xf^dMdViJC2dLd]fud+p\l"x% _if ͤO Ў_ HZ ::)F0 Xc9")b>v[3 m~r}c'%\D qd^xɡt#6SϢV@H0N!XH+mPr:0ȅ"USS#eV F'i'W=3Ў|3 3]fVuZFR]|L[6H0*+t(N@{N\&_\X\ ay/YNPHNnӻ,/o=kodѫw#Ϛ|\dqoN!hp۸ + QôJY jJݺ{!&N]Ljx ^yQ{e۪&BF5 DŽꃈ^gla&qWoBӫ%8p2B' ycVtzɆJnyq/[u:WN2'/pQ_'3Z̑G*IuTxt{!j w#1+9Bu͗~JpVSM6B:;/T2ֹ?ѓ€nK0wG.EȂXTDv؊}x˩⿉)X3ѐnޘ8n%" 2syzROP.iWj Tra! h-6I2\^A]):퉙Sq^4_6Q5_L7OóI|i<,<%=Cv'AJ8ŖDccڐRK״'-$gps#czU%jj)lRInIqm<4ȃh5[h7+޴;P#eSšT!4e4 Hp*V]R䯞,׬? }ԿQs_(XcV>U9!_" Pg^Dj&&NIΌP\F C\z%j1<6t?PEV թ8{~3Č& &w~^]HZ'==% ,u"ZiNT-@YpOVZۉ*R{ƳA&l^Z+ Z@yS&}rpVa3_`=u=` ܆uVI Y٪^tHd͡E{@aND:T̞씊UbQX):ō`q]Ng$$AGƗkZ!2]K=A@XL؇8fq%sWK@G¸S&nٟ&/5>yƑ {3O|>$/_fLAMq[ck9N|X:k`&ePlf=tMe8^;dÿ%ވvË陲?IQ0phw˝4g/emT>\OyC&E;,Ӛm穣p]H&NX3>k}Σb-YְL HOA1yckSSM.l7ur֚kd rҡ@,LaVB]JDj 'u8oke+x^$ F%3M wܙ#}sAS<3 "GW`@ e/o^2ʐzK|אm ы d+o  TOSCkF-cc[n(G">ˆDHXM3ͱM ΠDWCu)EV٢K +TV_=o\WʸكLBJgT h08: >63َDo8"ggZdۉqAŸMK7-hūY0<4fH 9U0?e]0]hIҜ̟aarWK\6 Qe$.lS>%!#iq 4(F{.DQVivӄϲg'x~Ě3|?MTLAEo}u$ؽnCR>ʙRhFpfJb%iRӾM} m =ƛm{ +lOuC9mi̦@@^B㟊!ǯw#yr#Ŵwy}ҰƫɥܒTl< "inm^ӗ#9ȰC / r<4}MmT6gNƏ7e`ӆg7z㋪>*@Hu,oYAԗSSYIlk6y|aAj݁mֹ8vb9`)"ﻇD63i󽈺é|{hZ!DFʘr ̛t  qv᭚~Dӧ"i B Xc9^=ܼ#SW{7*(_3~mܾW~" NbA &Bb#Q Lq |s Yٵ qޔq4@>@~i= {B]sw-)ßd}bq>膈Αl| h;َ| uee]!1`PMX(R+$,* =}v*\khxu3p(*IAtS`mL,f)[nL&& @/0Z1zl}c>)A$% {pNTt!]~,!aۢF8!5]Cn(O9{.UɘSUᯀe咶{;0YZ [[|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id40z # 4PurePurePIDE/markup7zXZִF! Ƣz]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OoR&#,2 oW 51_ i_ un[[ c8̠SRL+2)I:OJ0ρacT&S9҅s$A M=|*ڗEfcn1w}y4 ~va9o.T( +OA M: Fn1\g_-lڟH) a%YPh*&x8JtqAn : kMLd;@wj (n&n( k m>"N7Zk*NM&ӭz &/86S{y{ w%0}]{D\UMCp5q}uT.Y︰`[ٽ=OYz_ u>N~;. D2&td&+}T' '\kO]ݏJހt8R{U [U&܃#ydMa2pC I:k̰w:(H*-ZX|E|c *t;H\aƳ⟢ +JaGqhU9QrA*-^&}rDo p3u.#t*x-}EwFޏE?; ?m mT[:20VX0:͌)1au@wPBtftQxxy-#rY*èEBdEP֊r ZD鳪EA%Ql'qxԝ¾/2s;C3_vM.l$C,xgъq]*FH:g4: Azm/􃾔c$I}_7ELl[R: @hEw"z|D,a S\j$ks!sρ!y7EwG: )QYmR~vYxv~GvyX`Od7C%ߧ #E0ܨ}!""X(,GDYcl` D%%-6b%vŒG_ &+,@.Fiw%A\.0#Dߜa\fޙ8}|i`  Gz*̣]43pJoz4,?K)[0E ŕ*s:3k:?ὼu0a͒N%5Fv ։#rX+RQV6j~o+=DY.ncVe٧פKZTeFF_6@ǵ5Uuᾑb/L7tl;FheV'`sVJ / V*j^o܎̚ IF"C\ن8I4ÄbxN<OvgGE[ɛ@rh:JTH]mRSɥg{r}5X7I,J7K?7dq~|*ĩNpJE Ga3ѕ۞_:qtBfsŽܷbٹiU&)|zܝȆlV~RTj GKj{V i$׺w݈5d){vWݤA<4Wde[7VӍoP FF:'!{f|6 te&IB6 5c5?*Q?T7A^,AO:p#Њ#IF:)߈Y>wRە$`FfLs&J>4]L xZ(wNDdNwD5q2MeVHG0Fsc.,-rgȻ.vTTr Oh1v^|+z5 D?Z)E&A K? L,> fΝ92SP2; A o,˟@wԾYhS (1*ʚf_B=7}3&ÛTfo_)A1ݠiL9|H?(oj ί }vnd?W锖A3=_hBAgXt{\&dZYeZLPH|JSHCwv8qtp lЛ.U;]:51t  kp{eABOqFr_|6f tqir|6h}L۱K@w=E9=*od.^$^ƞy,r#hԖ NO=8IE-oOwab Բ6w# ws\@d#?jx(֓ G[2v;lt޾%2 9ډ8﷮J _voONyj䕎r/RrrFϯO*}x9_.a>x&h LSa?9XMɎ8zȥ_X& ~,fQ$t޵xGqd$\ "lzen3оa5r;^'e< \]6xPtk@5rb!'E淣v@0! ȲX0 !PF&|ٿvh%g45cg;W(3'&G)}%# |PureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqThiPɽE(jF؁RS'|# eCN&*( רJ ۫޷&Z̵ C<'+<*Ѷ| gѼQ7K cB!mq9tL-S`UI2qQFt.xk CW8=t.p( {]|?о#-v%4w͂w W%TGr^ǿ\POG憩iX.854?A8R F0'NdD) aZ~(\/%ǃ泧89࣫ܯGj`z^+$ )B%\MMgT‚d`b&tf ) ς/2%͓!0`MNSLJRn"+VcySj^3OzuY}7jNH%9{ocGRr=j/KӺw=xC/u7TIJTJpRZr!K8QL&mE0VW 7cW%Nޡ;tVA$Q .z'kU{G,K=ه$.l v-c%B?ݳ4$cFC{_e>. [HвO4J0$?e )>tQ+h$=M=Sk]Ky'Ժ^&n(."B_Jeҽ\0OBxīOY(@>{;}@k@]>DžW,:`l³?%zXL; 9Ƶhč&ȓn>ebt`Ia>5Va9әF0ne)r*M>*26ß uDz45`$`dܫλ H>B-\ u)'fȶ+؆>4C>3CT Vo%;WUG}n>Z2XR]4T qCn3bPe h!Pǡll[>E/6hAWO#l rSN ws&`]1w# f3ȇeT5)j+7ʻ~@Aĝ@jؑiZnJ~ۀoHo9e<:N a&L :/!XfI 9A GVG2N,~/غ eYEJIn0#4RҚ)jȻ'13\"mXiPUE`oVQ@5?z\\A6ԮX$TdVs7!MPW$rgݾ(ߌ3>|]fs{tgD_<5D$!.99tBw$rcS |ɥED &O" {o $+GSUD$eaP aAp2 fC7Y}!Jצ9OVn^]nstb]Ÿ 9>% ֊Bb2qdS_;ﯩ[ x?,2hB6:?vN49!K~ RyBtau硌FqΒH }Y4P!NA0ٷd-1 vh340I{1~xƅu!|;=Y_D L4gYZK*!@3 YR21,3D ̜i\ *G~I#UYYb[õ$Xjs}Ѝ' <@W#lx"r"7gT#eZQp$2n5mPSHO@Ɠ0![+D9^yFJSS"']BT@[ WgVHK)EVc nĥ(I}F~ o4)shM"I#]b$ԣVkF[/yz"5qIn|SS'$Bltֽh'/e)$p=FtC]9}gOUpnOu^17.2R֥ KޗJQkK)Xvm{]y75@qMEbxB<1# 4'߉/7dj{]O߲AsJ`37qH帼7O17{{+Ō \O,l\OкqUsY3ިIж@Zky5C.#6)wG |)RA%9!SlnfH!᰺'NqLۣR6"P;j0BZ5C1Xi\̹={PpwL~Y}g,`oa(7 `Jو9I ȻMdcq0?sF팔虱1>喡 ~*+@@D˰9uIػ Ѩ!⤔¾$cj=:JqNQ뜢WgG BkROEk* !'j.rxd.3Ɨ@B0HgJٓ(RQ]AAZo霩w"OnX)ul=45v696)3{+WzeWv╩rÇD^0ykll\aU۪OŦrq4$7J$#SО'idea5]xyJ,Rb E+p#ya/9Hplc ,Q \5;ፀ|6Z]0T 9uޡ6VΣcPdR6SwC_%E`OB`Ge}v>Ӂ&C> K$T[Dz7R=JgYV終R7s%*uagfaA-j͑h΃f1]33q.I6JZ+|Q:L*gs~!&;}L{\ʃYtm^$(;?2׻%[xj %ݡы$xt905ZÊشmi[YW=zA1Ke%A[ %k:k'DO-a7Lr 0m(rM5;>c%/ڱp#+iM?eigBUCl|* Zժ4!ΞL#vK)d  lj-fyjۨ*8휵γ Ȯd`;3=תB} P<1~J'h؞St כ`xz=_{ZHFg|WT]l w#-I^ŕ⠜kkY7A'*-8.!_qp(BamQdj#iX~x<(K{tUʟKʾ9j غ(P5od-aR0WJw2s !?[>,:p,W9:X;uHZ3ŀ#] 8n6:gDqM֬;jʟ7sQ\+au erpeʔ%mﱷ/7A1bbpqSo/ݰR$8DD2G[ALmzo jp7 }{\Hqn7ئ qOFՄ M/6w^44 dhiC!\?mywTJ*7G9~1,z.-W&Hy"2G `lvu6j{-mg< S14<Ĩw-<1!)nXqI60RPO="p:gOޞ%-iJ r2zHm0G>y.Je&rHR|KѬ8p `cH~!P.dYm(;$~6 ,D@J ~S?Q3k! VLz йH!Uib<ܓruT,Y; 3(u;X'D2yPD"=^~mXk=o =~gW$tCus{g_4|[j#5~nwy2rpuˮKu< RY=I8 wo?s6AZ(ONQCpMww.O'w"lDOM6BnVҼ=v uT*} ő@lDH+Ŝ2JXa8˶wz)vgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJ ݐ {\K* Z! aغ:/kh ѭ~ ȱgYZl'# PurePure.SessionsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzLY3&b Y\<Iu4jDov_G;d{L3ӝS)ᕬeו #jm5H&!Jt" %vd Bnxq؛k3yb'0;D,뤻woOQ|VUdĞ&ΊZ+CwP5'ւ`_;BhxJ8n}6b_n΅ua`q#!-G=kN^wӓ/J*Q؂{@>Q<_zھNsGvM IxWܵsU~x,0U.~C4>eQNalw8C֌dZG p0fb2W|.KnT 7"K| uj.r)oy?#՞[ޖR[BUk(*r i|з|U\|,j w{wL&hqώ&٨vŰOumpP=5zb`S@E&ֺrׅ<o) x ZNjtuiF&Y+uSd1$w)o;3V4݄030|U 3OlϨ?wы/@A:.@Xe83r:&̀O`me2G#ףYvRӠ5t;MQ] MLpJsV58A$03J*x