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  $ $Ypl\d ] ]Pure:threads=1elapsed=1.259cpu=1.291gc=0.0337zXZִF! n]ŗXiɟHVҭٽDN/zPzmDױVCϙO_h5 j#CkqIU+gYZ7zXZִF! ]ŗXi%vJ!fXU}ph8̦DzձʀnxJGxG)/CU*XTiHĢ\}F3_nFYn zx,3t/dnL;Έ1R˒ԆKħG;M"~scijy7rb HjpxCԸ~t2$f33;=>*p3gh0Pc"-c\SUł~õ(zeZV?HIKB&*`犗Vۡ4hփebH+_VʯEZ7ЛVz75D'RojϞ.K͓\r@PɳzWs*D:T& 2Er\ aA-uZTAQ0"ޙ4Z#2>91*= 05ؕ'DUG#4@hm47,' 稦EJޚz7 yfVFcXͮɡ5 j&@t 5 IjzE >xZ x+Me)})/Q3Өfw gcA非N^oWMwkkik?NnkՅ 5 E3+7'gYZ698f9591cb176ca1ebeac572420621e96644915b724c7f3ae9a8a6f3fa9668fe696b47388a7b8b71  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/49462g%PurePureproofs/49458f%PurePureproofs/49454e%PurePureproofs/49450d%PurePureproofs/49446c%PurePureproofs/49442b%PurePureproofs/49438a%PurePureproofs/49434`%PurePureproofs/49430_%PurePureproofs/49426^%PurePureproofs/49422]%PurePureproofs/49418\%PurePureproofs/49414[%PurePureproofs/49410Z%PurePureproofs/49406Y%PurePureproofs/49402X%PurePureproofs/49398W%PurePureproofs/49394V%PurePureproofs/49390U%PurePureproofs/49386T%PurePureproofs/49382S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/49198N%PurePureproofs/49164M%PurePureproofs/49160L%PurePureproofs/49158K%PurePureproofs/49154J%PurePureproofs/49150I%PurePureproofs/49142H%PurePureproofs/49124G%PurePureproofs/49120F%PurePureproofs/49058E%PurePureproofs/49054D%PurePureproofs/49052C%PurePureproofs/49048B%PurePureproofs/49044A%PurePureproofs/49036@%PurePureproofs/49032?%PurePureproofs/49026>%PurePureproofs/49014=%PurePureproofs/49010<%PurePureproofs/49004;%PurePureproofs/49000:%PurePureproofs/489949%PurePureproofs/489388%PurePureproofs/489347%PurePureproofs/489326%PurePureproofs/489285%PurePureproofs/489244%PurePureproofs/489143%PurePureproofs/488922%PurePureproofs/488881%PurePureproofs/488800%PurePureproofs/48796/%PurePureproofs/48792.%PurePureproofs/48790-%PurePureproofs/48736,%PurePureproofs/48732+%PurePureproofs/48730*%PurePureproofs/48638)%PurePureproofs/48634(%PurePureproofs/48600'%PurePureproofs/48596&%PurePureproofs/48594%%PurePureproofs/48592$%PurePureproofs/48544#%PurePureproofs/48540"%PurePureproofs/48506!%PurePureproofs/48502 %PurePureproofs/48500%PurePureproofs/48498%PurePureproofs/48496!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/485947zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ3ONJ|l$E|c76;쿹gYZH$% dPurePureproofs/485927zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/485447zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˣHKoQ ciL7@ث%NѱgYZh"% $PurePureproofs/485407zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x@APAV뚐Njsk~ k0gYZ4!% s&H玳wy'mb8\j;g2GgYZ % PurePureproofs/484987zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/484967zXZִ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 R"   qR3% PurePureproofs/489147zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZD2% \PurePureproofs/488927zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhWL2En?W: }HpH8#dqϵA u 83gYZ1% PurePureproofs/488887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/488807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A͟E[]vj ʍ8*\ɂv1- SgYZ8-% DPurePureproofs/487907zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'yxD4a I>fl7 VgYZH*% dPurePureproofs/487307zXZִ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_sKۥtݜrј]gYZx&% DPurePureproofs/485967zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I/ilB{'Odi6pdSfCgYZ  '   jc1* B% PurePureproofs/490487zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٱ29$e;LVI7:[$G`䠏 HagYZA% \PurePureproofs/490447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP.Ěq(P܍|I-ͯ  agYZ(@% $PurePureproofs/490367zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%DZ\> 8S -fhwY \gYZ?% dPurePureproofs/490327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט-/Ixhv u3( j;8gYZ$>% PurePureproofs/490267zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/490147zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odKo$VFqf ®r#a$+-i]qױgYZ<% TPurePureproofs/490107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*8}QW0+*|ҳ =gYZ$;% PurePureproofs/490047zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/490007zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+ Y7X:ȱgYZ$9% PurePureproofs/489947zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/489387zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gh%M{ .[|-H^\,gYZ7% |PurePureproofs/489347zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<8REuDۢKFr)JIn .2gYZl6% ,PurePureproofs/489327zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^Z(Or(|d> ndh -ՐNX LΞm#b2-zVV8Lj)\UC/g8gYZH5% dPurePureproofs/489287zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lFJKyα:lcsro"΅fF4M~Gm7fαgYZ4% PurePureproofs/489247zXZִ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-%M7U6S@BQ xgYZLK% lPurePureproofs/491587zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&2b3dh=zn[M wlcUnt~P{?DCͶL37M7m>gYZJ% |PurePureproofs/491547zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛJڃ`"OMgxuüX#_.kl  gYZ\I% PurePureproofs/491507zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zuzёzliP9| YgYZlF% ,PurePureproofs/491207zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/490587zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo w(yqr>X٫ 5}jĶgYZlD% ,PurePureproofs/490547zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^bB4:Ve BgYZDC% \PurePureproofs/490527zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zfJ/t&#r\VQw/:9`j'NPlf;dǵ]_žX;JOgYZ  8 E8aatb% ƶ1bXⶕs_̎ҚKMC~HDE!V1SAgYZ@]% TPurePureproofs/494227zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/494187zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/494147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/494107zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/494067zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/494027zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/493987zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/493947zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/493907zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/493867zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/493827zXZִ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   ( ISZ`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ԫ .~SEN=K5DWi6[!aJ"FWإc^j2`+yqP h<ž-$"><sF0&SfX̔7eVil,cͨi70{X!fx\%M`Α3`ۧGP+,rM-n㜖86׹$b\?' w+To&]>+oD. O{2` xHAظ/AI+i~1(6ӗ~+N .s<v|̐+1: pEpU@ !P꽼:5 'Xux>/\SVHI{܌FiםM':S 4=áH##$%gWp@0d*^nٔxO2iևQKԿ< WOȻCjnkyG\gU`>LΡ C>קR' "D1Uоw`<hZP*{K]ՍsܒJV_"0c.ܳk\ o5H^͕ˢ 0gěymP=hbBz<@ɹ-?b2*fST(:.tC>v~j$V# PhwoHlx0o8?\|"hRpfgKpsgN׿▟ỶN)5Pq0p=|L^\gcpxI;m$DѬP*;P8rUo wP`HS *1#4/jĶgYZ|e% LPurePureproofs/494547zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"ghK-7+ی(}97ΰ,gYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OIfr>q@|:TfH)#[%VXy DħPŸkPf38V~}zI|4/C%#qd[`gYZ*m9 PurePuretheory/other/attribute7zXZִF! D]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 ܥ'jYs 4-vX4p#[v^g0,IlFEruHgS~kk{:IFuI*CH`12}'efrZѐS;ŤZ h`BX,JhX7jApk݅98zx="jf0![FE(RꚝcgYZ:ۡ/.;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 gYZSv!U<庣n }E01%tgK: j#?|oBy\%}[f+9r;KѣJJ+6Ѩ~΅W})* -q6N}n:2~ $aVxi ARe7\U^uS7XHUMBrgY_#UH:y+^ܾAErĕg%ndĿL/(˩mgp9b-Qdn`8Gv4l1vU j2|0Ӫ7K9||f[V*zu^_ԱpdzLڍoTRdxH\qkQկ"Rba]CɔŊLI^ 僁_j,5*\փZ#]CŪRz^5ڥx[Œ'rT"׫mYw׾*F!Q82URQ*o _Uz[s4YZ ,Rz*8O1 ̀;m"CܯbKjMapӰWTQT%TRb=',^'0R}D<~$.M5+faxD,lԋ~70r;c[i`5d5ݵQ+PzvNpй(śE +e+= %+e鮺A fGOpk^{/X/QHq(mt:#an\߉Ŕb Ru2ujpɭ:kh;ݳdw;SQi R~1b6bxp( LS>ۑm!A,EɿWV7#P)D}$8HCg*yfjruLk#m@wK]'+h^HiMG96@څ1Ksǚ%9r ln@OdveQ9P4ƣJ_Z6 ~{HP=k.e-} xSe)apG  u0(abMCô&1]} ;vO"ל~pص~\E4.`(EwRؙoeJ K'a%i|"|#(v@ϼ6(vc}͟0c?a edopu&@x)aBm4|CZ-jbx7;&0HO `8rBlvM͹p M?~q{릁<ˊEϿŌ29ƒ+?L,IQꖿ]vM(V2ç͙Uo*Ί czyE!%3Dŕq{ޔ2FcĿ|Nd95@qChrO5;!MX0M'(XTE|&]4H|;z߳s"-,u%;| ߲>w%ob: (mI gb:V*(iwH$LTAhe%0 a'IGR5hD݆4t8` =Ѯ8gLϫ4$h}ݱV2Z, F\veAYa%auY%v61 K%D-JF@}m_3JvwcxFƏ|В݆hZQ^p:uuk?ĉ#9[x2|fjy]j!=UV z7*rB#,?窔nTqOŸBZY}A F*uGrv= GFaV@ddnc͆ۙp&L3V-'p B`"0Jcjj =CQ`IAY}@k'q u٨,B(s ֱo1 IyaU*6_@lLR#.vP%f`fRzMcAeѲxDž?YN=kB(uI85n5*Vb )(lϜ0񖱭8DZx _ǂA k^8ʽ67"-Ç f {e.i?CoA}?eT6s0XJK!]ou1w6 +ag- UKşX~};l]/$o=$SG1|#&EpWM8YɃ(i_͠785pWt.޾LVs~= )n4/Y ib'.6оr[pR>Z^mu[6@G~5{k=+rc L>HCq{ß9 y #PSq@pBqͣ\\!GaN3NbGҶۺ<,'ī 9@f5fiϯO髗Ӳ ]Tx 3&Yߤcʊ.0[ ~ TM͞`ִт'ё-c9Eܴ20N#S'av{TXʱE/mtSnV8;ț4r8H;Z ՍRh2=nGK Xaere[8b=у361('@q2!oTuQ%A llkL%H03#-6rᘉI*_pjOj1"Nnн6N53hoMwd&BQex.…bt87Kc\a&贂l 3 2%s- ŋAJ+tޞ?XGo=xg/hL2vG-Jlf}H ^ʕ3\בY_M:2]X+Z6Jhy' J-\D+"oU/KR>6Y@ꇝ Ik+` nchDmӵDP;B/!A"t]4zJ;mVxݩA#A&8wlAj%JUr'" +bX{'RPirF?3ӿI (B4vH$LE"J]=TCpLl<\k\QU@Mֱh3gW`u'”N2gk&=%%G:tFB*rz,K: FxyZE$xuz*++ա.~N@oIraFT( Z:sPke;S{#Զ^eoQcn&>ӷ_#XqPs.tOSQ O׭ixl BP}|C!hB\s.6H$zK~UUG!A `$b)[/^x^/3S}1K G e9wqJvTK*KW&l6 e~g|{2 H&=uRI6`k()~?y8Ml+Y,҆cQ % >;5:`օ/Y ֤fEʷqU<)y%N%%nF@xlqG$9#2ݮx^~9+]XK5c5fU Exf7N ! i2pI4l eHXoGCTeƔ4$;zMNl ɿk:C(3Psp$ʔ P~Y;' X*̼F\$:E2XitҚgP4#Kq=]#&81;i+T읽UǷόyih-G/^O}זq=^g|r1_Vdel~?[1="L~˽'.X'P # #O-AJ!V+ndՕ5WhaO/<k°blmpDtԈ~[,}TX7+v'Q2dP <]!i+ sNHx sz 榅f3 :[1{Yi59 2۟uNiB!4S5/sy59\M9T<xV/[vO.)bl@/S3Cn+}ˋ)OCӁV4Xd-jX njT 'Pn~sEa[C8/#.BxN"\>2^bpaB/DJ Ufϫ tm]$ɓ.Z`vx?(d]6W7o83;ύh &]4׋vC C_Z^o P!_X׏UZɴ-5$AH$2>M `Xple5V0nX ȩK'9btsش -9 7h\%b\ޠöJyc꒬?!˼mnn$86Gpso: ?6Z- @Z|(5Id_feR&oY %wIJ/Ibߪ{Jײl_ ulOD0sAY3W Ǧ`#,m,iCa){^R9]~DDc2kOrfTd: .^FCUxK7ゑqԹk'{6EH`԰!FkʸYuMŦ}I9wyw;B|Cq;/rbQps *#E3[WC w'ruaQ`1_Û4kΜ΍ZX$*C5Ja>r_WR+4_~S+_c&Vmdbnٴdm٫ܠ<𰂓@Omu˵ סP37֓ς_'B Pfe:+`d'.3i`$GVJ }x!sW*́\ldT_Q ZER1~!6HIM: kAD$3toڕ=̽\&j\JykH'ZWv\:l9\~8Ʒ쬯qkWv "Pɯ7,L*ze6ҮໆJ.}u;mhk)&>u7g2~`zc-eb֭ŷg M2^y4yj:vqr\ѵ,9xЇ >ߩe)#ڈRׇ9;QHJmz`7x9\\oQԟ۝ͤ{0Tx.D|"Fy5GJƵ1pϔ+h`Oێp%^ >8BvR||U}`j/xIЎا'{͛ҹNGM MHjҴE6p&S Z*ylTR ~%.&5kɳx 5(u`ۿ'XMhS! 9L%M* @DQKksFO 0C Nz{׊x<2JAk>};ȁԵ`n쟻~o,GCXUJ$y~i%"G J\{LVCO:b]xY<媌]{k/PC-E< L>w=+.yD1k "񸇺 R >TBrm{W}9vŗi0Ҁx|#aYN=@# ʊ34WЕ_n)IIETg{|Tԓ@n*'CX! /|AqqKDKS3aBeDy/p y2CDzp/>j-><H٘t=H(߅foIs6^`VEKa)b^0'Ly-IcGS:C|>+=)f5$Sy 6OvXCF99oF3UI*4[n|WڞGD/7d"I ~"O pym'fE6`XaFQݨF[Q^K˽|Sg'1lZ4[`DhKQGmUɏַxGG-kj[Gءp~׎;$*l}:!!gߋ|iV9,-΄`{QN(Sbeo=zt65o I` 9ƒp0+lh+|f1¯ %zHR&s.yA6:^ z|G6h?}o$6T_4PfSI1lS&VXұZ2v!5eA-4pM;p'3nŁ 02Kj<9;NmKvi*F [)\5Jf0{C\ӝv#r9JO} 3H[!NOZrIuEӸ`&(.-tg1>ٚJMr?ӑG8 " dݹO_N !c \ק ^!4A +ib F@@mo'mB^/e^e'QT=|ͨȿK0σGt$4xQ GTp wc j pXe;Y.in;aܑ8k!(e!sJf$M]h rѿxr|%Sy1R#iұh4y2Li3`,np=hD$4 y;11쭽^8)Z8nb%ض;,2~i!Y&Sy܃@(MDRWuy@6ē6{KYLD b ryKö ~DCE}N9vf|A쬤jK6Ÿte͚o&n$VJ-o29ap2PBpiB5-4q2T#6tf=V&&ѧW{AGCq[yxfe*3a=?kDykhAk(cu\jX!kzUZ84mѬ&-7U*%4TwWhjBm=Yx61n lqqI4oSy6lffy%4"D8ݛxG-ڷhΉ<6b< #(I8Z,zd2ň=UMMj]v8 ,fG<@=6 1eVN ~FLGyȌ!*bű]E2q*C_jtpu*$ןP-PY;l&M ?ަvgP;mіC.&ur&H*џggKr~`絥I9ݟN.PAc͹20T!lCk{'zJ'Tɮ77]E 1d zp=Z6򎄖?@l^oHQ3i?us릮8x=y/4E*[ - Bּ=t,[P Gr@5"; U4{=Ui4SW!}:MPL.IV+(?~x zAs'k9#t5w%C34DR؁`#E>V֭/(x< "Z1br*3UdJhW0=6x+qסߓ_a6APfқM`Y, Rw?9XiW7vrf( @KΟQib,a6JA#E>Cz)c̶@޴`튃\q3$U"_߂;wmID_K3tCC.2,U'\78CgKbe^f53D]RrM/"wO pR3`F83xw} u2lL. yX<7~)E! * `%t+QמB@!gur6fXLEO;J_+EG/?VEh Yi($Qt5Y3\A[mt-}Ӌ0+VQ!1]^5xHm 5=1X`sM3F>yYWPjJyl@!hL2'9Ƭ>!1/h4uj*V|Ǝ_L}3L4T>qP 06ߙ.Jk9Lȋg*GUL02}kpkoF'e)*@:Py֚H`[@?G?˖`̐>iWIc \Qnފ'G$Pޱ,sÓk2o%C \2"6>%8Hђܽ܃baJ |NdƁ:~lea89q)F5t;ݾ6%|Zd|Fjd>>&+M mc?Ψe {*!"{$95 Y|NJ/u\3E3 .+4+Jt02`=j*W6TLow\XqvPŵD??$E1SwLߝP<;ğܸb~bs-ኡӑ%' FQHvU{?6(1[|w}b~J*z׵1vn<6|ĪM'\ mU#3SxO_WYgdryr㇄- 76%M\5&4KjTؠMNJg5Dˊ]8ˊɺ;xU5u%8ιD֔rX F6NJR<؈Q@kip Hdo^~I#uI  gPN+Ӭ'py)Ѐ61 0'6"?{j\CPH 3Eh~}\f3Z7Q0kLd^Ʒ["0K>`+dI]}@ԦW]>`x;)Z.&c+4( o%x;+h"̥һs呙nAE/8y`"KFg! 檆 0ֺ։\=#aE{{ȣޞ͸wٽn$,jBNdšS~[2ât/Q^WA`qiJ <0mEk6Ζ㯀۟I3FK+" 9~wZTA+W  NgkjdS1EA\ zƄo&\7WG~}eGkp8zȔdv#屮j,ԛFnC$?(9n AF֡7"OwlitؤA| `T*F5GwFB3$وf2qj+z™orz}wj%*ykoΫ!~Z$RSqm*\ fLj;Y//l)uJxhXyг=H{ia0RQ=q^/ <\sɩ lR??, \%%wcSo94uL LF _뷊w"g qlgvu}ЗpL'ԀVNU3]-Y@5놞`YWn?TY9bg`gywQ@kJxLNt6,M_ =&jK y5^ˮY8mJOT :ح qS4kFA99GԒ6+L{M fͅ}eR\f3 FIzUn9G7g8+ >S9FkNW$S9Q;1arPl ᘤI,Hab,b_'+GȿNCA Z0-xG$FUx!/l2KdpzbymP9%SD ns~(,֣7m0LشQ״WՍg<]w=]^JmY3Olޢ{ڛ{4 VwNW(i|Bo| )2h¿ۑʽlV<oF2jt~\9TN|O<ػ_TU²]z=L~r,k6oxmCXF! ^rЗvv*(ԥ=f`Juzx&:Ì'frNmPbK^fuQ5T;f6+3;̐~b1\@)oEny۞xvmRF9wK Yqɪui3֢9^o :8.oꇻUEa,k9|O Udlr>=~* ]Yu!ܤG:?ܠ\OsV+s4z)#)b:h܏ˠf- =4N 7:9N_sX]bН|v,5KKd+׌_1w@g j3*tȮ(K՜$NVt͆,&M5rbp!ӲJHnYacf}X͠<ש߻o[,'ZǸqynVy57p8E-GN5*3mN#LP>>xH,1M0ඞ.!aJ8;^#{ȧ3991-ʭ (z&_~~&{_X ^Kx 4K 1f(jƒ0PX6cJ”\dHv6GtoD\4+UhOcZ 5:"Wԉ~0@yL,;m9 _`vOd+ٮhȭ2ς5Kd$<~eWԎ`P)5펶Z ⣗}WV06&cT.Ps_}SOך҄b⌇8)!޷՚%i6p]!d-W@@5>bfJ]ă/?ӻ S ,V^rhlT&S+B"BI1c!jʔkO[=Fqq}a )Z,4#ЀѬN?؜Dm[%䡞zi\cJѩraW+9]*im__]9bHmy_2%;ft5-=X~vտW4ζ3Ь]꺡QZv^۠z 3cgؑJhcPz(\[00%w@=I9w%SEة;xV.P uD [1-Daq /a,uG=A̭l xK0zNj1+^P؍OF]T!u*0H wcJf; (_2^%KbJ'su|أ):( JtUj@[Doá%Nn$٢l[.ÿbzP(/ry6Ƭk qU(Lh%N#:Z5^J9u} $z78G,{]m?cc?eF& b?HaGEN=6ٗzaGE럲S|I ݣXs~Re +TR_TN4I)2IGzIy~>Idwfщ\>u^ăOKխFk2?UĬ ,aIզY0+ɻ&C*C4lb#HG 9f-ոz/DS#D9i:S[dOTDIVKx;LmL:\z_A$S~T,ab3T /:FE9xƙ0+Rg),k/і؈(syBLyܺ><=uK_jalTHoӼ3+(^6˿Ѱ&2{0.9R^(;FMQ~Wk1yvJ;ré+:guRh=6UaO{:v]Lkҹ(Ug*mɐ4%/65WivNO].sq|-9\f-WP@1(ۧq`4gfű$a~t c8 #0 #"X(AG{:&|1{'KNQzo\ 2q H"B^رE- e Ik<ٴvOF_evKp]SyQo#,[I7x窪`JHDj2)Z[y.S?X Hؑ{&۽]'V#SsfՅ!U]D@@~"6j96_CVUӋ:ן̱x;7UMo^m|#p6F1Y?j I|"! .):hg|̐B$5NK:QO77Q {Y-cF}0"靲5g;b== )ED=&c*l*f!_,'JrlZGDρw*IC+a+ĹC^_b5mLkii/i/T%`nA/SrZrui}8K7b 7bl'-Kf,x^*:d^|°ztV> ^ہc(˚7ݭHE[ Ps=Hh;*,۱X]cJKm{iR(7jOg(3hԽJ,Q6q3IJD}Jy@C‶QjA =7I 髍fd VdN/:DH3!qdM%]edfkPMV~n-'সYWc7ZB  bYr&RmhnIs֋Kmǡέ2uBc!ut}7u~Ivx06=ց ~lIݽXAh?m}CJr06`Ep2TTۢeQ3K+.-.VgtI`0@l'3V yl+׃]dtau u5frQ̐H[ȶgޤ+܀EE2P;fs/eyhp@wƇA1.953 ⡨]KǙ&ZliR nZ5q:“R@bJw <s"Pu`4A7~q+/<H˯ )c+rE7ֱǙ>2J`. E>#>MBl2CpP,v5~HeRqᤥA4#qΞvӑ?0s+Α#ؖcr&@Aтz&/cθT Ҝ&b&}e.t~Ȓc&4=oX(3C?Es%Ψ9h2ao{(e1WvEOڀ,d4>OVǭ-Ueh8bWl%n,cft(Aut3_ѯߏUYJzdb]OZ:C03hCJvq/\Qwav)n?Qmm(݄ϩPdY: mof: }#sf \+(SλKG]$DC?$]F #}4"18xr2=5/1KU1m,ăSB+geԇX[CngR\ 7/J3 j#b~*WvReΩ8Ѵ5r_HafkE% Ғ3&kNk46P.-g N c1=r3A^>@sw+ǘ40PJ!Lj뚭#iڃR;vwtwYe0芜~a߲D`[5J4)$(KKY;5#Ыx.S DċOPe[eNKɕT]Q˞ճ(PU#1-:9 <&B Ok / :DCD}F9PNٞCwG.0 J"oxrFۥť4Mu+ %)$ZHP:"z֭A=h L-:ݲm ^Xj4MTV#qґa\4a5z.Ųl.i\\rھQL\_HP<2!r+Wcm 4,|E-d$8&XtWl ֦rЙalm#iTCoӈs9@'JG}uُҗ CT\€`h%y~Ks/wU"fXh^þ1-F82bdAk~ r sfhmc"g䙽W-8S QzG+r{:K?;`uĐVcY,GڂdBpイzH7K  F㦧jF4x* Ya8~:F91xws^{3ub6MjRɡJT)ăh"6^K;#dU)ʇ  /61VYXyOϙJ @pϻk/u~XK>쥕 T91(FI(36=#my]9f:,[n0)QVYRR`wi'&e{: {ֶu7 _f6w|lP5;n+ -)!]mKEAn^\UA> =Ԭ*U[_|Bz}g@iJ,asRK5d'z`cJ%0`7?s ֓0a\r<ہ uwZzE'뛌 ,HVT䁀x (5PN $"lfy|iz:߿m aQWzLJ%An]zV/Q*|(e DLݖ;QnY؂L!a^0[}`5Eȷ+m(+8 v6Z,U.jWղW ޑAl{lbFM1dXg?ǵms\./IU6%S 38|/v~hOMa 'KRG~ȹi4g'oS`MUq"Jp #_Iޒrq/?[(E-LV=koKGv-hV޶ QlLDM Â҈.%zo# =5 0vd: Ӗ%w& Lg{ ~jSRh$k< kq|S`[608faZ +3?9-kF@$޾yśۀ,L<"MRmta9.:\}#lCz' <>nQNP΋޿PZ·l,-A5EQ &78Ȩo':bM}AGLc#,?OPٷÔ$\dh̏yuW]t<0w阽2TBw|U`yYi)ms .o9EJW]λ7 2ѻiD#쟳 r2i20VYfD -Fdo4TZֵ,Z4}!dͻwfzl3FD7hOMW[+):Gf2ǬAb*T o kͩn:*զCY #P~#{<CnMcɉG?e"RB߿T+7>\PX{dž.93,R Rh^'Cu؞K$5wp  @oG)rҝA'{\ֻvD3va[e<a ɋaXp AVB?f&-K~1i'0{>2k;P*" ԙ' } ڦA(k?Yq֪3w0L?1AjWe &EsP啓>+xHBA>h14ΟI]TT|W x$B6M{m0u}ͪuPkx7nq ׸ƳGS#b|=7GZۦ^<{p93s,~7`tԨQ8T7s흀RQ4?rwe>ϴj; 3Wf$ E~>3|ps.v1 ̹:+U3ZZK7AoE@J:xFᱢ6:qpȊ/L\=M3J s yNӠ L2U;d߇I^s=`GM05ة6#J|Еpm|DRK`2_*}n0R(Pfm2Iߛm9r_~@m J>AӄdZPer(1juD}#$8w)|m't ӦS.w|u͖n4y,yK ƶ<.3U amR=4qumnE19i]ͦ,Ɠ}6[SIRʿ ټokOY Nf^<"?\.VcҀaQ.; ɑQ4Q/6Z1_)s96tp1 q#q10IHesg=K-+/QF %k1SxneitV_+G!Go:)3GDocZh_quEӤlFvngљ#S5>ltŦm cUMhnѸVDQ^bT)o_g{ݪ`5Nr cdlsb#%oOX  `>Ԩ◔~O{]iyTSpXnj!~v\AMdy ;"cpfc>0i92U29SqM@u%D+V@Uoq^9?+H߽$bɰeX~f @1`Az" YY4sKpŬ/=! uh0`%O}6#' ^z-#K/ X<#= fM_Evc򉜎r\ aV~.:x;aB(.:HH_lOsUsSu]wqI{-xa '(5ds^B_}G8=+{rx6ɘ8:)n|Ԋv1"' mlClq?iATV,uS N:7bU(h8ʸn[["aT\:o|hwPG857C)l`FW7NWfN%iMaR D:DK>ۉ}B b]j΍N<.⨳%7pqsd@w_'y]]v|Y<.~D(&ai !VƄ>)8G)0CD;,FFrfGp6nTsZγT+dǕ+RнGJ%qy޸̒xر'Ɏ#6%G Sy ; ðVoUWU"h#cc,s8$svZ ?dE~/AI(ZxkV[¥T2hjA)O)F%+ -Cb~UƶA?SifpupY{/x(v1+gtྒ.|6(L6&sAZ%s҃p*0@[9x+&wnނ1\䖱|3AMN+aRZrR0&r}s$nz;Fl~gȀW!%Ř #O'rGRT3Պp~־ASrQ <9Zb.poѴJN(}S]9&^re^b:Wo/Wz`*ʚ=HIRI*'wM$voS/0&X2<< MQxNP.-dö\3gyr_q}T7Ծv $ + 괃L=<`m~@f$مc^&ue+,9퓖OD/j^8I yh}1ז*4ȴ+f-&A$ /iɍړ[0U*c9EXfaX05.z3ɐpĘŬ-ʳgw2[<sR,&t7!Xɡ3/K;y`7 j L4DQFP`XdDB%B=K/<7+Ț< U4`%SK9C`Լ $$OxX$țtHkdSPh)lIJ܏_.έ4nh)"^p! gʈ>J.flH=?,*LatJ<@V駽 ÷ؑɁ65N6*Ø/gG"~epƨ'#1tKWewra(w{9 P4hht8׺٤6SG19J!U}[j7ط˂4:Zs0o)@m?baQ ]TnlSVfH)e.S!PCmzD߰:,BhRGDVC@)Pv~` ?V4Xa,;eZ%Mg9L1NTT߀BtMִu{[gO.N%D__7je{s{r𝺙:1gNK~# @2}-!~)SOe*l8=>TTRuR_>78#}dtmR>.]٭IQB|>vdC0hq} TD9;vޏk_ eby zO@ËxP2I23n =\lvD}OPdVFrP$U lx wQ0K& XWFuh ]0+:vն3Sst }jFm\Tqj:/xgj9:\jKHКmtX7AaHopoA\2nnT[1c4=ަg+ Gяϗ`k\iPx_2wl~Zk:Z&̥kp@3k \fRy<[78$K8}12r73ĵ5$Ե'GhC:لRX!i5@u74\\S?ֲnI5xeQPB/}P)g -tDNZ>ުI9.Q,i M}*W%&O FE`-b{eeZ":4 YY`]K=WzZ6#&LP60ӈk|deX\Qi̋ScQ TIbNSJNki{G4` px#AH;p@UtR쩿2GֲQ4i,W|_`?螿5'ݙ~0D?GJp~׵zi:Q?GqA|eAcc ( 4(>U)SsP ku*[tsod'_7*=c%M.Kj)['_HZؖx(d7ܡjX]d,:O+]ݚjGnwyK2ժ*z,l>D$Fop~ `6Vj^u&mݰ)ƯGaRNw[_t/AвBS}m䅥J؇Cwy-;s2fOI$10+["p=];-9'R0ml>[0r wj`S/ďطg um"9%}CA A 1?rJ1AFK,ib\G{]bTOF0VlWP{OIx(?`}鈿MqGBS+ ԭI&p,\0^O:~l1 !YLHp9 )zZ~+v*\ ` bA@Q>Ͽ`DaTB%lU0:!fأ;\wd?FkٷtOpIyсO zWsysxx* `>@ m6*߫4 ؖ%]ΚqďFY=ab [{Ŵc sOG~/s7! 3snBj*툨3}57ug; 8Fj\@B!@ly;P5N%᧦:BD>iDb6@Fqd׉«&p ˶9ג>hKIyl@/j|8G_Abwdx};c*]M:9FwĞj/4Ej5jNU^[w޸thsd.En$8j<S/G^yWwHc(ByPO\wUi鶗lC(Rlr}l-KC<ύW׎5a2Ay1tW>j ?;p!LM-֗1Ђ766S֩ꑞ֫/dG+jl#B%%HP$fdrޟgE0`}dB#=T#nHcƻx\[>Y|QN_|)K,y ?v?`y.D_S/?E#PiV@=m%׾NB ȇIۨ7S0U%t.=d"qP6A揖mPH [YѤ{Y w5f=p|IyzQ'_^iK3 { huy` Z ᰂW:U)"ſs\ p "C#4 ;ސ4t(ʓ2r gXQY؅JT?4Mލ#Cc-Mv-a{Q3`A{Ҥk,YBhˠA:E,}?p[œEVfZ kUpTFz@NVEK*9Hbҏ4j6qplv(GDɲ;:_, Lh7n[E8O <XJ fWc3@Eۥxo0 n5DA0욂-fiTV+}Lڦtk0?s4<"jZrLE[9b嚮!>%s,Z&dH2_MS=^tdP;bJTX ]7qUBb<4~!>RgXT0.,aDv]1>3=4-?YwNQ-e:7x srEJ)=(oj0`}~'k!ҕ7|;)Hޓe `/*YN0Ł @R2Zj)Ee7jS:GBTrM% aNmH-J}03cXKD؈P0EF^(w^Ѻ?G>ZK O`MC;VWلJʇ bũQ6V\e6$sC}?8#w8' ?6#}8g7Yyi#4SF+0IF?01&P8d;1 ء{9bh,aBHÐ_nS@O4M);\In`twޅRf"Ko=AU{Y+VΡ,7Q,{0$Cx? ر~#2.A7br:o@<֚χu Z(s؞֌~P vTA6Ʈ)71"p y~=i]w)ؗ1dUpsSN(#n6 Lu߄AyTmS7:̌t*Sкm&@W_9Hw6G?P}ѴhF}́;w|! If|XWK hz|e]ݒ0zyez mY6{̌<CV:mv2 %:/$QgЀؔ_nG젺SBz@Ϡ9h\Grv)^͡HĘ^}*mw)ojIPyrBc-Q8½8r Y^[\} BTI' e-6zdo ԍcmxL{8]P]YgCo@&*ꀳ:k̔i{OQ3V`?FK"ƨi>\dK?b^% .èym}axlgBuCQ>X {[_ht ܀oi}%\<% ^F.?Bzk47検Pn`r:Ws^> FJA#p0:/og}[q٬VcR {X+.u:*gwh:rONG*Lj@8BD:!4Wy'v[8 ";SF]B|Lot-k[#xir껬ŻU#-|cn`bG;ń4@5mJ.NORMn:TΕڝWCIjgM#}AN5y `y1LMڂE0zh5b'V{]}CKkp3cCfdZ q5hĪ@`u Iiq[aGdZY6a"ׂZK̫mK+kr{ & |/5@Bj*X {WSP%6:b^}/q.Zv8Q7abEEE\b_ފ'e4tW#ѵ7)wRg7ŕXrs3ѽ z|9[P' cY>q[e1hy+հ;יW T^*{D*Tk.mة;m̤r됂*4jk\ϗҨ@8X~ 9뇡|R/1{#ݹbzO(S}[q)k]zX`2KkVaQٲzK*O?(p22B%;DX =\n qkxdD?Yn#zKN5·,!CY\KMa P/Z3C"η(m*g!gf):{If^Kz}ٟ&:4J1K{KmK>hfVuG-?ozZ#zA'{i$w??T wSPp>X4),?+e>tXL:dQ6"/{.Y dy\VFmRuos"zw|3뗘m:tX:Ұu;\)xO/% nTJY[j/8ƈ>xv&&DKlB{qNǗm2]wj"qa;%js%7#L,P+?dIhFӌ }XY'%W1ȽXFwoj_~f7"霜;jz[ r_!1(? NA1ngJܡ:_gTw6$ q(ٚ⠞ Rԭw)"u^Z>f%ĦP'<xpV+-N^c=4CvU/^nG`_s9j\AqpX,u89?J:T:D0'=8g#?Gg*1h춿 ЗYΩf-s(lWy%RoAߥ̔7-vq;_i{#ks7lPp o~Ys)6IKEf?<x{[F} Z2Ihk6S`Ҕ)VOkDp:ٶz%9;Cٕx͝4t*5Ewx+H._ʐ1'mkFϾ0r| 6CѨR{npgzYca*uXJC}[^qHxJFyck 0HKzi?S?5?(tn/ }8SN fCzD<Ăz3*vע^%D'M,2ؘUtߢsf1+=}1i^,ǃC^LZ:BQmJLe*r'q^x*8ß2PeL"pb9ҟx=Q owF%^IߔWm{Ұ NC]pRS`%NzDr#)mcJ?V22S/)FގP@_h#Ҧ1KoP3=x3do;q;̓$a17{OZ7jy@ՍeZR\,z?,ȳwg!gu.^x'LAlrftcSl:s)EXs5`q#X+e@7M YLTCARr.B\F8ׯn;f083t֬Ќ5pW?xy| EzꙈT0B7#F w^@ smbVfhXoRć)~]ld4;M,+o&Fl^Q8ssSkCe{avP9[nr?aT"ulA|I6f$+!;(Fz)@׷QW|~ ӰFX `ggHwgJ̜NՂ<P#L^]H a圝!khp%jOoiic%kJ?TݓA2K:x0f>DQ|NՌEx/ 6pΜMCs.OZ~ˮ >"`ckW)L`a$#U)%dP nѤ|/O%L|6ڑɧa: 3"K0?2,cTX V r;!VehqAO`jPх[Jj8UeEhc]g˞y}Khnef7|\_Ay߀9.?zX jXURRvE#s`4EWq[BZi3;u*D/ԻW[\3xX IփRfz^s .^̏UR1-{PJn7\n>FFn6;kPڐ^ \@M3X9z'v%鳆z}ċ!!>QB8.4=[_tIu8''juX*:>#"?xN}KiMhFg|jH[=rGwN+[mn$=|Gvh-sW9cd}o>S_q;2wT|(@P3>oy[}˷Lg҇P|ppHdx֥u-uKX̼Aj8a yW@4'vCsqeg2+Uf0d(&F@nwKBbѦ.&)]63q%N(|%xk Y9bp $p %[MT`]a1+kQUY4Xg/&x!H$뵇wB,<0eu5v3\ٞ3 [tL\"uTd(yu"7ȵm2-aSe?=,:a?VO%>gЇԙfRVWTRp ޘ =S͍_=شvd0-uXBoeΩ7.4nwx$6־oD?#eg|-=]HBey⭼ԓ՗NT?t4b)ᄒCm̎DzL䗣NSIn~{_exEm9q9k cŁ+fvg 糜=,R`) G}=\26fzs¤[b&HUs,?eYgXQ9L'PMԦDn#J)4k>Ⳏ${NSh_G.fE ZG2gT:FdT4^ Z1Mzt'&ʡ6A-*(O$ :v HD|X6j8] oH?]pXI(8?i^l_]*$J4"0)@[-cdװAuf(dmis qct͵\T7.G2O4((aa5'(8\ZC :;ƨ A/=OA?I~5B~}vSvuSY)ԇwk}]ai SUsQ͗ ٛ3$ػgȕ#wFe Y1vi`qs|(v 'v iHj-T)kL2S-NP\~t nN] vvQ;lLbs_טݿtO\fm/Z(rnZ e^Z1b¢lIJdM7 7+Ospt*ĝ!yf2!Tyty< Czlx%tq55QV=2qg/F#a eH76Pլ͍ Ӓ*_dm`%pl̇Qޯ}a@TO < ξ |b뺤AѤfIWĽ~M:Pٕvh$yP!\VH^Y윤D2'wntM˽ƨ?Li·G074% ]:S|6/]ʄÒl/P#]>fJ Y95ړ/y6Ovroa{E5kvx)iCN= h8 ŜQZF᭎ ?4kK=6j8к1ס ^ mU00~򩝞٦R1E@aAN ~.R]S^K6* `Vxդ^%^DW̪[N_k(J"E쮂 C0w3xg@eTQIgnzi6} s!k'/m/f@u)6-(W E:܊2K#>!.^ Pn g< \h8U^~ #pfwL=휅!/!]fX9݁XօD=}hnA-bb΂w{M eϺ D9rU{ڂӽjwd-S%lP 7g Lqڭ=m5in,VLsGlh`Woy|\ŒB*]w2{у=g@>gƧSO#W!s~mgHnvodәmhe[wׂ(_xۑ#,jBNfCZ{j*DtSMi>3$Z6̝-fޝ۽Z'd9ÝH4Ay p<(Xx" @J{KI³Jj,AcDv9gJ"]]'x^mޞJ(@ mmqxup~ș!AVR|ݥܒo_z|$o/WMSuRA ,Фb3Nɩc#ٻOӟ[ =R|[Yk4x ](KC+{ ORs߆޸_r_+<)ֵˌ<3榞Fyt*!;"1sl{rn[0I)[{O= B utJU@&Pd.-bgP 6 I9ʡ{,10kJ0bqNOBڌzՋP(%̲o3ݺSo`9<>ˁ m&-S:/3ERR=CC^\̀3q)ͬzyUcqbH ".؇Wgb 7!r?6& ;宧D<"S-8]Fv%Ky-ݔ^O瑚Lj9kKDޜEA "8PxHNΝM}uq|۝07*)!b&xQ=`ȏK8ŌF'p_.˜wd`!BWu)GN @Rpr}!F+dsnĹRs݇U^ ?ffeczꝕPC̸%X,#hN_@NxI"QDRQEׯ4`#=56QZNHNQ1UqqV^la/GKqEaOj5A$<@ 784K]h^tۓoXniȌo[YnO/ ~kt2ve.b'h-:eHwL9y49rLw~ʱ:(|Єq&k71 3%%\p۝V=3 q-i7s)DK?ͮl1&8ԯI™}}*[!65?$:jMnN([}uBdžWXܳ(uO .ıo&ɼ5S.vxѓ4.;p;}6:PSFQR(8< r7b٭Z{ψ(dL;ZeQڥb NeGv,'%b+x> 3Po{8%, ݩ`b!3ex^7Ñb-#mIs|YQv/)ݘY9Hu&V62FQgՇyw]+j](ٴJO4E)oV"*E\j8h B\pG1<%9Q{bd =ƛ9<ѭw-Gao|Y.h4?I]PBKVYgPRHϠ{֪}掞V1NA{y"gK?r۷RK|EFC.rg"-:gmiB-)=])jY)ZWnH ,,y3֊)qJU*e R#akk\-ZK0S#9( )V"E%lWtD[DPQB>頑?QpGXZF>ҥ9aDP3Qk@aէ&_\s7e K"et]ѠcUHS΢*ʂа7!S}(X+3`8$!J\9W> uO8(P9E\/<{ӧ=7 U"GKbAP褡AAs-0rL/cL h,MB%,LPͳ%O2b9 &g)l2wq$.Z&ߌ R,M@/e>XMI7x_Ɵr﴾&&_64/Vǐ'f@rszbWO,&w5Ά-xWB(@){\4q<l}Hp)/l7㕥ـ!%al/Z dRtGR 9EM6pRqs;ddfaEE۽Bk~quDmYa@WO}u-Q,T79$A)}%8Zf~<^󆶤~k5Eڅ|5 'DW *2;NxW ގVS HT[osdA:D6.J. TĕL}- ;4k8V٪3?O6SX*gC&NqMoM)Q'WH2zc mƔ[j{+ua|.qz+lN;"Pm8':"ϥhlf批8E!e-lb7 {P[wt+KY)uKiQVnf[%U$id`ƀҷ8j.6T~/;kFQ(1"sjχ6c !9"龋/ !MD=?P!ʖc,/b7c5Йc5 ΝM+cU "ZXF %7XlHz\>(_ +X 2,-iI/f]dG"6ov(6OįeMcx}sBA,Pkoy")68N14iDe+],qo2<K. t ,{4Y3 )r[a~Sյ pDR l؟slpiÚf5M0 {vg~6Nlb쿟FLH _ q.W>%S!41'q % ?W7泏*{䥬tC2BYL;Fy Rpձɿgԭ o0V0/Xrܥfa('VU$K9m0= '&,)`ǃŕdqec0jaLѧIgDp )kLJ9gܺՁC[<ĕ`H9@~Js  O lc8u]Iԟkq+kݿ h~lǑ`up LgHg+5yiŖ>~I6;*'s3]7JwIxױv^aذwoǼeYzLT?g"pxV,&zȺG{zZ%@ l;gmֵ*l_B<Ʋx~J9~[b||V ^PȅpuJAzc6{l;)PX$g:nBP}Ufrck9*ɺo#Jmy֣s^ވO^sW^!Y1_ v}gI>cn$+֞ƹD&ko`H| ݍEu3'(>7K@]sypCi4ҙX߈AKG\58Oo&5IO%CS'H[ډ7 qC8sK:Pli bg29K!q`K@1X,-k&߈Irס'P4.ܪ#zୡ0R;ƅ{6Rkq2jZ1fj[[c X-иDz>Kd撩qW!mBxf`Z^)sMg'}jmGq?7n;vE )oOUo>^gĄS4?邹km5ADFگ [ f5lt #k 7o`:pIbvso삉kc-ԁRACf[/-D ;+-rϩ;FMFO|Tq$!|X0XC@T3 Ɩ|ۯM Q|i!#=( L!9(Z%?ĝ1Et ԓ6E@/jcyS{$@3ݡHcj)qE-7=N[F|x (M(zh ΁RQ6*$M,-@lD,۟F#!2"& a9J­ZZݭ0q1%8P㕊bù~ c+G[s#ڷE%si+J0nc*XoQay~"Up|&3@5b}Cc?PP]pv@ysl%jLn{̘݇2ʳ'. : ^2W|[2 TI%Lke ]E6,7ƀ5{,Y{,bAy}4HOs,X؞R\aͫщ[LfƙDW“lT=}߬>h{󈰼c| %Mze}W 2dT8@Ua'b. gw4U#pj@ݓ˩2-bP[5c ys۵B?0g) lS_i$ٮkĺ,e&騦Rh* 1TTچ8(x |u?lT5))굗\t}MQ"e"{E2F>n<>r^w_^ᎆ7/l3*O樯rG|o] $DTXGEp;+${]<}@}͘zGy6ڛPLMˣaeQ8eRF$H3" 0d}Ѭ|?pݘFG,d-u93 F3uro>)|FO`2m)TSx(Lx;aIQu ody9:MÒyjksOaCjª72p}!t7 킇<ca>T}|̉7|U;iɽlˬ+ .҄yAbu{-(+0Rз"MCh>9lS酦{SD=gzY 229eJY{։;0BeMc0SHɟ8 wrׂbgOαS !Dd_<^#w(1%v]U"rVo[]{`mhj,*TEMo7"  F'3Ι)]v&ALa8OaXY@>{+/x\޸KN 6榡zV{8~obYSҹ\F^vSI(ޘL"NǤ:# mc!٘de&lQA)hI{3l5!Rv*\(/-ͻ83^;nk7Bvq C1AS52ԥ `}C*g @4HȻ^^4ʥ)lҘpä9+ֿxZV6mMiӔt~e'*;/$5pqmKٜ+:)]\²x4U(kq^9+)W1?#}ʀ %!`o7I :Ze3m.Ծ< %e@ә $L-]$ :=u(_G'XK GB!|3-8ZƼ-dB}ndϽL]lY Úf!'nϩ品d1τd2ُ*LXؙ _=7.w/ On&"$"{PБA\_9CJ 5-K`2CXHAB:9%ˆ\|e% Ҥ@W>y GY5vzu{ʮcgɮOKx%^~~vitQ_sU"ur9dQ {K6/`(~o A>Ј@ ?4f>/,ep\!-vXK6QG{<-ރndm; M+<sajm%λ= ]4/mj$avuu/S[lGQki$| ; &d^v' f-0Yݠ9e꣆UcRE)+_ߔxv)IeC8nSsh/ mh _ ຟe\\ UQl'hkDn@Ƶjݽ*D2YM/V;O5 ߰`#ԑceZG{gNJT؀ΰL3{ZV^As6:Լ0Γ`#)RKVVG1@<:͓[59KmW2qOZZ.y3dJ4wă7Pvt$UFƕWL&6z;+[-r7&:$M H0U7:Q.xa LF? _T.i,~euyZXsU(E+<Ͼu& b25VviHM(7uO"}]{lLDr3j*T'@}'RjH%R>9ȲEfPu8*=é^;s@Gpg^P&U^qa7݈5?pbi_e[Ñ hXts~WN_Qt9@.^!`騦{~cI(xS驺mCϭ.H\GESA_黣E~5YU@:[ bv0*^" o>8X[{Cٵtc"H _7ݬi ;)ƿf[:)qz ]0y_@yDYh2O[`^!d؊ I[Dx4/kUw/g cݶĻƎ n>zaK}0+~Nta!ۻ'jļ3EjmUhBd0 f8Ul^;oA xFD][X2] _} K}o8zr@^%m<?"  پ*3<^ט!?  R5s(cY>7QN+:hPX`au l~!)qlVI-p0}BWam: [ e1vM ƹa}[q&k_Ft+SVޥR5%ťj{fz8s!]4IU1L T7TIȶ(܈ot uz3̱N=eZ*6[UNQd7y{*x [3 mng=-7az+Y|%n?"V\yO^ ʣ:w:vM]-'J Z$4+xШǹ97)@S^S9Y %,̈PdMj YL:N,|8 BQT.,{g*bK6پB(Otъ8T ɰ<nHoaЉZ(;8-}Agwg`Fp i;'`GXL6~x:(`1@5='8C rs *_?+ܘA؅*#4J(KWBmh2aئebB2`R| ^=q&5!hp2 $+a_‰o:J{?j)`TKoh޴4]Rx4W@p-uwUn~)T3FJw% ]ܓͩ5?Bqe4=ޥum.,K^-Q6vd:~ea`tj]9W&pePAgM6N RqDih2h>0)&ZG_ezRqW„ Z/.m RUny @ZG~glӖ?_#]Ʃffk )I2LP aL>%ca^yT!až˖ӹ?*y C+| Ly֏+/0J;2(F݈k,4 ٣v.#?2i¸XbN׆m%T kzmƎۉx;A;vU8a򐊌zT ̵A?Z$(Ky4)bh^B2ޡf=_'h99_h͊2@Sʇ0_p.L 앭v5 { BE7wN6VwW[*x3Gjӷpv8 MOrOgLOG7cdmc!2 *UOOQ>T1{0r'8l/Hp=[2"5'[1L OsO٣V>9P^PbI"ʸF;!jaD8H8)7'<% l{ 1pXF̵ )eix~dRpFESuG~%2# ~V8fk4DVjU{_J /p}̹m>%?xZU-jn 7[vٜeAՀX@FgIt CY)ceғi;hOM$szG95KnH[ 9i}j^ފ&s] BkƏUE(FX^AyZJCQ'04C9*Kk!R`Oaf4'G֥V7[4"Ʈ*n9XE¥3ߓlL'zs ;S`[8 y+'! ̵2G3*OiQ  mT]#[; gᶾ!nfV%=b>x#tҙ _Y+̩sa/(3b>ONJ9]mɋrX=\ڐfz qZR OVtߊ}F-rKĈK{IXcq+@8=>ۊw.j{2}t0TtR8`ǦKuls_ ]m ̭Mv[,;zѯ^A?=F3&*4JP_ā>4|}#_MWnTG7j18&{(T؜@婢5wKuyeͻ^Cm F9"̶W"dƄ\Uswݙuoߌ;h4&tܳ+^[)ϸ'O-R%G}M9}j$n; ;L_lZ%ik@NSQ{ȑBQ8pB^H\V 25LIZ)BcY1p#[ruu%V/Fy3:,MCH,U(`%e+ 'cy{&-fqq im56 ]Bp#`tw0T.!.8Sq\1AXÚ#5gFN}?0r55a6 n?7hh guVfSMH63$$C:r'0KU GCXO_v =!-?yEq77v8SWj: (x[@JU!NßH|fkmGims܀ֺZr\ bܨ-kb M%d闯 ^kK/E'Qx1&ǕPUtdۭamD`#a~-&F j+)N]ԔDe:tڍ X)!a%ɰSo,\drd[ᶭ2!^;X5d)T2Hp w=P:P]"}=5҈lyb+X$K.szNg(`pvslӓt-#h5f wVŪL,pv$oi&_LUPֻ*!sǁ}InգLC$}8+b^Fm%q+i]y3QIs<Ӹe\X\|?jolRC]B湺#2u-Dǰd~pdƆ+^ Q9>2@_.Z~),Og^g7[%@ $6Jp8gR"W'mtG^nrTZi J"&?j3 4(ZƇZ9Z)/U\Qz30X<) xF̼pa5)w# K!mc+=hԥ-.;%CPRA +aۃ @%>6b;1 p̾`f7;3G g@Ln~mHN60#b"ʌ_ˡ5v@[V`R%6ƨUP>]4ڱ\!nɼ؅s't)Bk8G > W.t`L;'|}It\lSw.H*NľRiv'f=,uy+X "QBηg;@sT|͗!sw}m Ů+ AV:FĪ}B[U  $B)  irfx0.u6Bᖵ7]]) cg_v,$}UmL?{9'u^,,Lq'[Lּ躛5D]S9,"=/}"f`C7v'W䩈UHxoFLO9DvbdpV"E.,֊5hYrOưx퓛!~QڕoE̐p;s.Xh:d6Bfze#+hrE^⊿c[lܚAqqI" v 60e56'fY}F!Qvn_[b?% dJO)3^i{Jh'n9]),:c d(Yt6k3 {lnY0.*[F/o l2l9<[<_ێͻY1Z쉚wX!3{N 6Is0쥄G)Lh%1l;0YZ n n|%!RPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64-linux/poly({%-PureML_BootstrapPIDE/document_id4 z # PurePurePIDE/markup7zXZִF! ƢV]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#Oܜx#W 19RFYbdTNȢ?[ֵBw͟U4tu׃[Iϯ-\ p'8A͏Z6oHM <,īY(tؒfN^TxӄDZEq `iK)==ouI Emvz T[$}#ҳ5T֨&xc _+|N>e3NJ,^qA!'=nB'\Ywf2+Trk,iُ2p!A'a-ñ`|t Ga! XLw\cȳ}J\+:β#2*fczOw]wCIȗp :XL4C ɂS1?as bՌˆ'&Fj|C}QaPPw?څG_w>6L iN= wymi6RL=7p/" Dg]y"nKia22Wi)r)+TL9GGbYf@ DD "T %2OY 4*c]jcMku=P~N٤>Z)5>,du]nY@{ĆX>M8 T ,\x^oځޓhG MR? P1idߡ,T+cO AH jgYպ7Chn?ؓUYfrMX״[R}X=^ FF:'!-Q^z=<u*^l sAUՂ< ?#YUڼ8vKTgVĆ:̬6:BL,@Ɵ2t 6|L K#4d #2&jM.jhs7w&x ~ S Jݐm@噖g. ۔Uaܺd2Gt}<ҙUXea Bכ0}B>2FE)-tyr|uWkyRG[eaR ܣ;.Q+O_ ?OG>1(T_7}Z)H`|a"ax~} Vn{/|hߐRV[P A`I):-ӃW)5E MlhsTC3a8/K`Zi`wйP7̲5{UNA<#y:W(p@.ַYH0hOM[?;%()U_Q3)CVc*ǢreH-g-M-"lŹPe<9,=}Yaưb0w"!z,򌇮t$FfCbY' 9l?XB%QAp||ϯQD\Qm 'GZ"'p|Pm둢Q0槺~Km>kwc[ӛC_TIYX}4iu^)_D l'B<뽴atúܲs/, B?m.D|_Ir]S-Mt< ~RKs-JJb=Ƿ-?Y]eXLm/4|6vTV^& 5`H&} ȸ]16U05Fm s ƵIkP8E ,I7szt2coVXkq?OHU$!b |m p~"0%])wa6wTrSXG6lI{Hbri%(Ըa ߇iwyYOrx*µPXqThiPɽE(jF؁RS'|# eCN&*(*{G,8m덢-b).c(%XK3@/NHvځ.#:y7[qL &% 3 mۄ~ÙǦ==e4yQ#.Op\K yJS(:qamzUi֌_F;c ^6vv@3۩ꑊibB))1-4mL; m*E4G-*A#>J3@?eRF@G3aXXP4Pۇz\PVWL'5a^f@M{z5p'%73/| r%Z۝ߜh˭s!1sT'w ecȯANfԟ/f&Yur 7PWbS&13M)S+qBfO{qd*]?-X^2h꥿Ҭ|y!'M.AAfXN&ݏ<}1ep h˒dYeH-7X%V1;"|f/&ςiR3r1wDAL4W:%+}Ƨ8×1)xZzvIKGzaVL A C7[C;*[-H6O#KRԪfkd{=K|=URƻ-qfSs}m8hxw.;g~i[.]B結1o}G]&]`!G#[qܰ;PJm1%C<@ MP|?4#H_ \LWڦ=/ɜQ6N?s[{]`k dV]b$*l0C[NMGK/wngz~_C(wm%|*y0+@0Tӝs$u51xo;*s-څt;\RQItiaMǭ+x\J rɢ  +hl>d?mbkI]Y#t ϕrЮ[=Gz}C&_ L4gYZXZ,,RoQЂ!Lyͬ" kVє){"\|GH%*eA( ʺlR12A'x.(TšUq`LRӍ@<( ]^s޾yyʳBgxn~ ",u2foj%boG)aY7M_ k)v産AD-{6twhQ_+DXKE p# 'AP!-lq໛ zJS rDI2W\αǻ`PMWNL q5/+3fa]ʕF W.QN&mXc&ivyꆭ`ZbF=IPjYr!)ۮOa~R[5h*vaz:Cb)RĝG4)ҝ .W5IX` pv!&,&FulXq6[ 9}NyDMԻN%iZbm\N*3e-}oa kAA.޹m:|E)z:3:l@C l!' sp0+.sygV!/5D%I!W@\ c UJ=ܜYCNٟTcg{hAlj&I]t&-{.]`sTeRKƾ;j0ڬeuu[CULOf&Zsym%炂}5ylCln<R^_{tFÃԟ4uƕ[戬H'T+,@;[Aٜ7kЬѶg+W_yIS?Jz_~ Tͷj,\w-t3e5/r U7?-trbRJpVO{gf=&lT>Jn)Y\E:a(=t~Rܧs>NP 'exUɖbZ005 GIKc(/Py-4GT gѹ'UrR܉XRtHaٓNykzohk |َ*npa`uhG[?ITs 'L/\dkK҄?XsT2AM, noHg]ܚϗYnNaHJ+r4v{;%97bODQLεzxw6ױtetP˧Ña1 5XL6܄>!J9jfI5nsP:?X],T>9ۄ*+&`sɼA'_UǶPw^4 7O9͂,u !><;G`!~P!>7Cn ZAҤ(<[@1gunK>,'@ؑ|+i٠0 B]5Rq'@1|{G>?&3o@v$;2fgeZLIZ8L>FgfYSg\FiJ^>NsH!'uo/:cנAZktD3JZݎUicI36Lb.iƛQoّ&x @RףBR\Hpt؅5L[\_\ ZS Z*?!syG^O ԻɅ!J(; g$ߺǝf&(dmlx|p=7ƙi|sSo6Y:-Nm_ \XGؖVm/nĮ_r5KĤ)ՕXw+aԣeDžʴvWRh!Eph#.C]ցD* !sOd8[bٍ1\gudod]@IkK-M:F"lO0hU9}+c(#Ku͗.aCrI4;Q=! $= z 8QU\tGln]M$@c>"pp۶*ز3O, z{4io G,Z0#Ti ykB[y xo4/:yJĿэ+^CLFYJukS6c&煨#fb?`>BxO" iesa)j *2)+\. 7=RW o1#. G/T}Z (^@0?d@~G l|dVď̘4 oGiF 1-yn+\gdm(g)EccZQПƚ&`6^?&̧͆}x.Dfhڂp՘]@ej= ͵\þ{K$S'M|⥼jE106#xD3bޡY7G%qˀrzPÈ#խ>W-υ5un- q[zbMWk4bFաq .4=HX:$?T0 ;DPŤsf²aG0 K1,c`un[[: ͂`o~n(ŵHޑ?%+HUd䔓ޘ`BCoZ0*D߼NUJ֝@Vָ1{TO*bWtfJ~6?⺰uccI8A?4OWf^}Q:>/ڬh5m`E-V&/](ygiMu\[`qC7AʃxtD믕CPW~X2g.W1{@uM; G X:'_-b!GwX4eېkE! )bf {%7{ЮТ32#($*,+,Fkd>M sagivE_ ?BN;en\EyIkr+-,})ɑ^pC/+88x'VQd8-I8ف7Yz\lF\[Fz%ތ`O@uS.SM6'@VKwjMC:\3u8֒'2Θ윥Sl=S~Srb30u<)|"?,HIN8"\).gYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJjQ]1] U ݸήz=l&MtlMx#qi3^v!4zswPj^pq#Z^&FϧYgcW%0ol1zK?)> ȱgYZh'# 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)ᕮ^aV"B~(s:-4;RHKx[T%~ ɯ D4X+IPHrDz"F=)WGF!]-.]j7_krIk]2 lىQQNEߍ2pp[Fpf)5&I~ m טTְ͑%F-҈.# x2%-ov>z2W=cT)St3amk73_ӍR 0LLM͟n| ?ħ7k&eGD@y7i­h5?QTxbȘ{DN:*5$W?>eU{+b*i1^,1$e7[P,ep#$iA-Xz Ub+[lשIw- 0m~/%ӵfc迁(:8KҠ5ؖ۬{wB-CV /Y`uV?؅}Rpqd-*/qVnHKfDmIϸi@noJ6u`X!J/=nJ9<a`X*űlt=H