SQLite format 3@ *.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Ip\ ] ]Pure:threads=1elapsed=2.163cpu=2.236gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭe?#\cɷ]R+5ʓ#Jd\RE?uOhWfI#579 qIey gYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wqd %Cf4Ю_EG}F1MRXrlki~z*W2?JTL"ܐݒNG}gYZ7zXZִF! $]ŗXi%zIkUʙ!kA*w@7Aj+eN 9\1ɧo3.܍@r6mde,Ðll'gD9/na \ Cނ+_V#`9L?[ [ z}U4Zƺ9"*[%8֎N_鵉1WD Ǒ1WKRllzp!dTo).R3 䄪&#9b&"oÜ՘ϭ~ICֹ8#znxF}! %V3 7S۾S<n4m_x.=J&4 NQcIh/ACz?:mX2徛S0O"??f}5+v$8U}pѽHJϕ3ˡbJ9Alή \ЖY_g|wCe;*jx^wG"N(f]K, [,ϠNoάz:+-Me_*  0 X%Kw&pPz^n tF3M-oGR&% Onm>,R .쯨hkDc!@vHhT .E)u]ěDgU#Ԝ\!Gf K 77煣+s>gZ&r/b7f=j*2A?ľh|I#gYZ058667ef03257902bedc191bee43d1aa4e6e2032e7baa8814deb267f0ca02ad6b2743dcfee70fead  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/44360g%PurePureproofs/44356f%PurePureproofs/44352e%PurePureproofs/44348d%PurePureproofs/44344c%PurePureproofs/44340b%PurePureproofs/44336a%PurePureproofs/44332`%PurePureproofs/44328_%PurePureproofs/44324^%PurePureproofs/44320]%PurePureproofs/44316\%PurePureproofs/44312[%PurePureproofs/44308Z%PurePureproofs/44304Y%PurePureproofs/44300X%PurePureproofs/44296W%PurePureproofs/44292V%PurePureproofs/44288U%PurePureproofs/44284T%PurePureproofs/44280S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44094N%PurePureproofs/44060M%PurePureproofs/44056L%PurePureproofs/44054K%PurePureproofs/44050J%PurePureproofs/44046I%PurePureproofs/44038H%PurePureproofs/44020G%PurePureproofs/44016F%PurePureproofs/43954E%PurePureproofs/43950D%PurePureproofs/43948C%PurePureproofs/43944B%PurePureproofs/43940A%PurePureproofs/43932@%PurePureproofs/43928?%PurePureproofs/43922>%PurePureproofs/43910=%PurePureproofs/43906<%PurePureproofs/43900;%PurePureproofs/43896:%PurePureproofs/438909%PurePureproofs/438348%PurePureproofs/438307%PurePureproofs/438286%PurePureproofs/438245%PurePureproofs/438204%PurePureproofs/438163%PurePureproofs/438002%PurePureproofs/437961%PurePureproofs/437880%PurePureproofs/43704/%PurePureproofs/43700.%PurePureproofs/43698-%PurePureproofs/43648,%PurePureproofs/43644+%PurePureproofs/43642*%PurePureproofs/43588)%PurePureproofs/43584(%PurePureproofs/43550'%PurePureproofs/43546&%PurePureproofs/43544%%PurePureproofs/43542$%PurePureproofs/43494#%PurePureproofs/43490"%PurePureproofs/43456!%PurePureproofs/43452 %PurePureproofs/43450%PurePureproofs/43448%PurePureproofs/43446!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/435447zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0_xTdFtVH)@k쿹gYZH$% dPurePureproofs/435427zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/434947zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Gw9Ȭ{ L i_bbNѱgYZh"% $PurePureproofs/434907zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wcb9.Jn<0NÛ3NUW$̃0gYZ4!% WVrn"gYZ\ % PurePureproofs/434527zXZִF! }]ŗԠQlP@K!7; [ $F(q#sY2H* Ȃ#0UfǒGIM;Fs4ؖ=n&a ._m%LT!|9ogYZh% $PurePureproofs/434507zXZִF! 9]ŗԠQlP@K!7; [|EuoP u@Z %{ޭ% &eF̘U"‡EjߙE=ltU͐E%"[ XM[pY~h 2GgYZ % PurePureproofs/434487zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/434467zXZִ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 N"   mN3% PurePureproofs/438167zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/438007zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR`: qX# `BK'NjG~270G3agYZ1% PurePureproofs/437967zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/437887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A ײ+GsiVi6Y~l SgYZ8-% DPurePureproofs/436987zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1@0XA]ީ@HgYZ+% |PurePureproofs/436447zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'i)IB*jhx VgYZH*% dPurePureproofs/436427zXZִ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)% ִqggYZ`'% PurePureproofs/435507zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_|>lDG% ]Fӛ3]gYZx&% DPurePureproofs/435467zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&wCY)@J1aIfCgYZ  '   ng5* B% PurePureproofs/439447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰO*ݗ]d. ^7V9(;s, 0gYZA% dPurePureproofs/439407zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP),xӘYY%"M I*gYZ(@% $PurePureproofs/439327zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%p)rz[XPx7 `hwY \gYZ?% dPurePureproofs/439287zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט `cb>yd2+;G j;8gYZ$>% PurePureproofs/439227zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/439107zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|PdsZ feE ~Gi܉K<'QgYZ<% TPurePureproofs/439067zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*}Xg{N)f(7f`D =gYZ$;% PurePureproofs/439007zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438967zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+y GsN/YO(bZ6L`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-%M6SPutAiR $ gYZLK% lPurePureproofs/440547zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&Ge\Q8h+ ج捀2;d;Τ6Q:G %E "D쑜ÚgYZJ% |PurePureproofs/440507zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛHɇI,ݼ!_U++<$އ g0 gYZ\I% PurePureproofs/440467zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z:&$LO>~D %X ?igYZlF% ,PurePureproofs/440167zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/439547zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo{'ҝo.@ ~RjĶgYZlD% ,PurePureproofs/439507zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^3M]f? BgYZDC% \PurePureproofs/439487zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zA.'0%r\R ᛤ킯j.XFI6F--#?ݗP=G5 zVugYZ  8 E8aatb% ƶ1bXⶕs_|DcɅߏ_Wb@ հ_E3NgYZH`% dPurePureproofs/443327zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞G"Q{'!BC>.STlWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/443207zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/443167zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/443127zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/443087zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/443047zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/443007zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442967zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442927zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442887zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/442847zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/442807zXZִ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ԫ .~SENc2EQhP "XT7پN}Nk ѷyܝ~O hXA] Rl$J$\_1:SMRX?P7n3$3x&#y0k7FO fڹuAsz>;ԭ2(&ڷpP @q3)߂MRqf\ Q.-&:v/kn["@࿵}ɼ:#s@}=0\[4aCWß]# ]A fg,?l6%>&PUe\+o AK"WurLuJDWYVErg۹ghuӲ?JHŪ\)PZ$(,0DNvh;.}x./͚Pkcenx'vˊ[gEYWv)-i>brٿQDŽ 4yHdRI̜ODڏ 5v4 cQJ'Ҟӵ{޸xZ(C#X۾6@#|3J;<WyvԊK1}_H-ִԳC Vupva1v8"(>F2>gviRwk` CD% |g _(QL;v'q)xĝHH@yeOT(Naee^!V_RljQL4I|.mkre I,ƍڋD1*{P^4!ؖ+P g*Նn>W'mڜ8FS.}k:0E*dDNMwc_x2x یow 6r?Ҥ9h(yx 57&[q-L2oUBڎvC_!7J1Hf͖F^AQei[86CA,Z"]ޣL|WeŊ;p1!Ğo~ƚƅIs@ǁ#nq^@"_ӊ.,MMFP(߄b{օ}\4O#cR;12"-6'Q8@QRBS%ZMʕGr#X`pPĪ͸7)xS`;U6Xw)1ۿ/;)F_R-|67EH\>Օ6AO#Ml09݃bs7*^''j@dU+J MOk\ 1f^gYZ\g% PurePureproofs/443607zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGTlxerigRc gYZXf% PurePureproofs/443567zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoUcR d5q.RݿjĶgYZ|e% LPurePureproofs/443527zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gyϨs/YIrH3rM $"v0,,gYZtd% EJPC@HgYZ % c%;n3 |ҀiڹN4#RmZ,pNi %mOf3/jX<*o1Vyg @pV } VP{CcH/.+p9QE 5}<\.VG$u ?)]CP't W{;QMG93 ҪbܹqU9lo`5LښՎs) sKFF*dAb5e3g'2g^K k+ƳSޯFaI*/3L=Oݔpp݁a e"SH~AxN7PčԆ(VY!E Xd CYǞ4xXo0gYZ"m9 PurePuretheory/other/attribute7zXZִF! ;]a0{rg+5\>7yc3®vnݞƺM)fd1Q)҄K%k:*K W>rJV0m{vjQ7#LmAvIbP ɣU~5q_jV [QǭoQ$H9vwteyX>!ӟhoWWOB ;2فg¸ bOYIvvN;ArܩFF.fj1ͨXY$C$0Ҳz˿ZqEln*m܆* ɤ`2"5l ,fIdw3 @us;qx/CFƵXf7Q3am8" qψaf_TӖǪ!Q._}@` Vv`@j?lAdiKeCȿ) DaBza-fN I nPA/$,CXqۅg7u0MFٌvY.iӧ71,9Zpj\5( _,AQ\].DM1EpE,MvYvPL&RSCR]6(ӐRrMp=Wu^mgߩWQfUyp"@(TxAHdG)@ M(VW{*IW^updVDo@^e<qʄg۾#U]OF\@grq~bg{a񱶩A3_UhrP9SA'l)R]g 'SO.XS`3ck 5vg 1j*yS *B.sO[ay}4CͩsR(4Hgsx`1bFnMb8D'sjЎOR G8!aa}EU⬣hU! ԋt9ڌ5$Mq&MjrRB򎜏e?! TCQpBxc{_&=M'b-8 jO.[cBHb(-mT-Dd[&Q"0'%aDKEM WUe:aO'3L’HvNt,c3hC^N8 BmO(hnl&qEJUƫO55 +_l?T.tKч@w/9X29,[رMXQVS#zyQؘHh' "3 -?Xb%q YOsW׋G8?"5nZS ܡ:sޒre3"y 8Uu ;IgYZul/ 4PurePuretheory/other/fact7zXZִF! Z]a0{rg+5\CJHa=O݅vBzxAekW%ЕM/תnfՆei7@**;=Ge0&+tLn6rAAV򙟁NKڤKF$uݽJW b㌉Jfip$?,G/SN4/G6;<]MgٛCѺ*;XS%-K7Զ_֩񥟡B@uxN(!2p398ۑ@ :BKhR~-rVpz`:"8\z.XVJ<"+^dTώK=hҐtQQDշL7]9A^.JA) :7Y@P۬bI/ 6GB=u;t+[ |,x6sJHK gs7Kȃml3y(6ǸGgYZA{9!Qͅen)H_~n*0qM*<I]UփONd,8@40E+w#ȟCJ5+rD }!DwџZ.A $ˎ}-^yr9}x e =l bc|C.py9p-땇f*V&I=4vkC"xe g9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA ~#)v?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ;fA7'L?C ϸ_p~1m3 PuYn&^B1VzvɄ iD6!,W>|=cdF-讲az$v񁆫%5f\.re*r76]dBRQWI9*(#ZDƮ Q nWp5 u/N? l" cI_r|L\ڽjgjYs&S6-[J]ppוF?ȆQsWn{X;@+,# /uk 39kD?I-VߛzDa* _N"Zqh~t졁+sxS.M^TlŤHa# sc;%קfZkXS_p,"4o9SH("=ҼM8FefZԡ?# \E`e*Z]=m3Ip Sh#V_(s~H 3SNdBBFCwA=]mjrBbDK},b!#u߳N6jX8qgn>}'lB.eHPAFQV,i0gZVH>Vj~_< ɷnkh|Kz-\.pI5hc(h e"E9(hf{ DDžpw8V0ýl IM3L8<3Vm fЋ9Գj!Fr; 94 +cLwg,-^,\:8iUOsۢoW^nX?^LkmVO.0Umq-pHei@$a|4ڞ=q,DYeGӎ\#JKR|ƫQ&&e$;!fl 2r[ljBZP)qO!Q-$]NUX~V'J>Ʀc+ZJe4ת 8`>57呯Kㄿɀfhi)i³muq!bDElbO@B`$ n| 8%ESX.[Zޗɻxd=ʽV׳ F^2nS5=Eڍ1:]V Ov*'v${KR S 6⾧cѠ?ĨVRh7*^y=!'voȣĚBPba$%9qGW05Ae1e?׾k4*3ә$L)[ b9Q[aAs`7S {7 ޴ү~ Kw|)xud6t/PHԸ傍5:̷O~C OE %wrmD,LWsjpy '(=mE )#gkEWzn.F6>jXK9m2k5Ꞁծ& J`m(e/nS17]ujFRHyc ]o ΀R);m4aЋ"-QQaTU,5' yȏK VJ-:v6N &Hu}/*8y j ]@d >M59F`I~SU\~eQY4HS 2:QŪ~lU.y5QO&a˴DTDn*"]ߋ~K+@s}^KiInr[fmp_z/&zV\QOyFGtAJJPo*mJy }o엃 X-xk^.4s A(v*حW&ǭ6^ \ђ!MBg$-~ʊ϶d鶫, +qMKd&SVrJrDTOWZ HEOG*3@jV8O_g{z{h] I6J=l1.:@zd.>&;eqE4rA6E#+06p|Ȟ@Bfy|ړOa%֨8f5n R˛sdy)-%oS_7ww0JrJ5Zh7#F@%ÊH7=p٩pPr/& 6BѡJ`A>}"dpdң=]ٵ6HN ` 0_"4GBC *wJӚ!IV3_--x9]չe,IV8y,ncQ&"qvd*v,aHWQ^v2j2 {vB`u TR=o.;'yU܉]@ooBM=Ĝ01/kՑ`$;G44t^k$O^'VcǗFzV Gc@ٖ D]*$4 (-6_UoՠASɁdh #bL>|XU1"rvr9p>ec {8D K=7tjEP#4E[N,UٰO"R˪?,Y>< 2tl]fbe݀8T&Gu0hbSM\NQR?a!"ez,YP:w?CThJ:EYm#yE]L䓤;V$V,{ ƊŜ&̭k7Eb&Ջ DFS9%iBze+=ĩ>8"Q}[Л#/S}.>*:10aY߂LԸІ0YcI`[iu0"g64MY5yj׬ؚm(2TXQ)ma &)z7k95cpLQiF"Yo݁wqDZ5W,աW<> oz`SB5'd/{vpaxaW@b.~T z.nv?fޑMYԣ NYc>8"w}{ˑs5{6 9)H]&aWT:),le"\8#Tuұc=uoxxSe{<2Q!zhapZc2׍;&pN8#gz ?hnp;OpO2,k t+E^R.~@?WwXjdw$--Ee/.zd;@X_g>vJĿ@( h=}CUmғZU$TYg: E|#XtyJ[BJ>Ҷ~{H|@Qx/ 0p6ɼ`Ȕy^|& oGG,Qmdj 9C/x~ءYgPg뮍V$B}B'=H::>_a/t=B7aZleebB%ʸh㱲(p AJCpxԮ~b '.c}k"ljEj9pʓXZNviS@%ߢ_E XeJ"ÂDP Q@DzDI$4)`םf|g`}6)qvnJ*W|.ZTeh;xsYXo+W3g.sm3>9eV~u;]eE PTʐ> b[΃g{XV/e8 dhxVTWW3)vVajbG3 =E(XfUUVn:^D|!0o2,BKF݊PcV;eWGLۥOCeܢճodˮ92PL9ǫ@"UDg突p0o|uRb]RG,G,b/nڲTdlj[ ߝN*i6Quǽ.{Ϛ'MW| Ps*4 L -d,d?jbYr3BG`7ٺBkY_==B[uZIt7xuQ/>y\{ecA`dOM;&ڻqqLH_vyj-`~ݽ,A@<w դ:h`i) Ӷ؞ 7ChyZKn(+.ͻz.u\ciL~*_6A@` $$0j2Ae: ȋEC)u_v=,{(5ɘT2Or aViÂ*X 4Թ<-]"]qyxtޕ!za$t#/KgD U?vuo C)fq1`C6ٖ!R :fz u~/7{o=;ay зAt$O =uFU B;j= !I62i-su@U _PX=.vX!=lD.ġ)+17RڽꞼbo_9{+hEīnR7R;s=&;<4ئsCUXC2R(!ft ;n')HE,vڙ1 7dJbRm?W4fcY4cqo NP%}ƛE9<ǚd r߆`>|FblGRtMOזV..@Jo'o_%{i82T7N%7!O"L߰V_p71'=qi23h>?'q+K4TRp-zeNlwO-,t>}P#k&ÃD`Ƽ8Vacm K!#V`VӛCbl_:W 9 oy;ƪTomEe0{EqFKtgZ@ϰLS1!yoW~1! v4J?pқ7lZC3&! f駱 v_e+Vv|o(VKKas\\(mrfç+Tc9zbˆeTM6/yMBR=)l6M10vAij0_gyZVBݿO:fJA/8][d\Q,~H֧g*N# ^{tyUJ6ąuyo> ގ 0dP4AU(ԡ3XooHcPџ^nX74*ՖPK 8S>D,R} G4>1 4ÈO'~1$7Nry T)jKeo {hG5ʋXLԻiQA^W/,y-Hc]y?K' '2~46^[ގ{6Y1(J?aKƷTs⹜vrLmR_BO=`%W5-<}Eowd6]3GoOu h =]vQ_2)m{xLzy o_|R?Ţ!_=#܁iqrX5O#«-OFG" ceHň|paG)=fV|cln~ZIu{a'iUwVc3V:I Ffx&TBh97ٍ 풝W'SmM08nO y;F;T&CJP\wTd}=GJD>ܢaͫy|H;q YT/DL&W1Oᗜ+hC+\#E߆ES9U ^!,Ons-q:BSbDJW5Cb-e @#w]u0GYґ6Pa. ÜM7l,8yRS~Td[-_DdžǩO)FgB6\d E2k~qoχ?wtƊ}D931VeQдM[e$,jw0H߬^(6E"9*B~"%P)m Dbɬ.2^;y h6Xg飈^ę0zZs'7¶ͻ@p$.f/03>I)fTgWE=㎰MY6Z]`m͖} B { tkQ180;$7p}.g ((J]ct/cZ_|!UC )-/Gdh/ mSt쁣G߸[i);j0׀䈂[ bS:m3xagQ7ecV~F;NKgm^ gq'5ɥvh &}wT/]s91%y$nty];'`G1[nMx` sR;vzRGrD-?P: oM"QԺ:R"k} ϩH*|ru.1%JT=:|l]I ,VV?s0;lvr>&[,|) h#ЪeKiyc*8ˋј%rV7+^ a0@2`I!&@Mj}aV|} G 0V`@ Q{zV\>Ps fb0e-B(|(@.:PQ@wDzߦByv$%+R&:2ۥSI;X?de:zH_j4_bgUHA/KV'\E=Nij{ǧUeZYXvlzKq)۵p3Dp}ڑzψǢyzŊPygW#H=tv鈺ĀV%>S-~=m\4yج5rl}я/DPjY]=fSÌcDG# yB.ti:A/<ǹpxŜKޠThqPҾ3Bs;b%bmf`o_'//Wi&GNEv#c6RC-kqǡ8n++{qw`">i'jL7GS m]\3Y>M?mDzEc6pŰg˟~HO*H4A$hߨƯ;D;r՗YW5)Oc??;݆ 466]GL}1*lQ* F)B_'s)?CؔbBCYVyb'{3f4uiX"jt::]*.gKKehwʯohrec"Q*E7Z$ȚϠb ,+vwf#4f`sʨFse`mRWo({@yqvWn.]W}:&O -:kVi#"KQrA2ǻkH!1;!ZxiFTͣ~LՁfɧvh'Ĵn$ea'ЂIbB ޶WT$s;L *X4A@'!煺XT9>1Pi*d U?-jS}-2t{ͱMN H'kP87X(d%G9)~D^Wy=|C~Pk#lm.N=lOcu5˵qu4 5k!Z|V{G7~[nܝ΍*+( f?4&'CmCPV~LАho{$ZM7=csXYOh-d+OjW+j)]i:uH޶9 We6} [?,Z u5VA,h!G&c S 44x~/zŮA͠Ǽ~ *!^Q6@%ۧr52A0%;/z[i L8{`6,Uoc`#qj,! c|*$+[> DT3Id8s~$+_bl C38'C-W9FgCvmn$u1ķ4)U2SwKˤ>GiP~ɫ:tQVp-(u\hU縦G{IR`}COU.dgg+OA#9%C`ujK;< E֔sWtWA^wTC/\?25@wjX譫dWOu<,&}1^Y3WQ FyMzM}ۊ~P,Ai^ZVnyh[oͧs=C3vS*X ɖRF<("c80&.50ĨP?a1j,^u٤xF3LxZb'-Zem&WN_~O#&; mL0L5Pj$`FW,f,d4 ƹd~6C̐ Y&QܻԐW $_ coVqsN+'1w>;Q4Ou@Z<=Rb|RNdqbĔЖӺ:M_)lD|­:Z [S^@xv)dOh&%6tx:8%HقSB 0ʛA:7Maq/\j#,vYPnHiy?Ӡa/=sܹBۉd?#d\9HMNK e80eiBԝR/ie9rGwU{$A쳽? >yfr[AFJNǝ;V9h]Sf96 < .YoV;̃3N6tR/6̰6dU uCAL edjpfv.[31 ' - Yr1\d<Xm;:|e ̝KcȂ_Rj9 o@Ex/NF d+z]!Wn9{<>_ coڳw&S|INdb? ~jgOnVp8}hnW O}"c `؄P⭁˼v^rҭ+ :5SѿֺѡnU>+<5FZD,nkt9+i[=S.6pI: ҟ$q'˖ʠs@֋x_ &­ۗ2$juܥ\V'`YU+8tqM)/Nt&!zI%岉7Bqmg_8GRH˄bN~F~tؠ¹gXwG~&}Z.WMpo^S)Rw-:l`8H/'?L7Pk.";f/ZQ3xR'~hINAE g+z9]O]6VP)0vU*`Չ!5>c-˳]@Ю{UZX۱;_hs;u&am3 F9oPd% T-nq/,~n{MHrn` SE ^9jdx2u&XӔ*B-iD`zyUEP5[JKWZh-_gs!ܺ+C!b&9[ʩ"UӣEsY*ns*&aGe]ij6`+D oP&8A %r/ _uca"}wkIaIj?uJOv:78RPfxVO3It)-4RL֠ʒRB;|AD|U wu,?i3Jtb}^E]&b?݆*nWy FLJ|)߹r qLQ%ѝ7ТU{+ОKP=E2qt &IAI 'j=_psDb (,\ |\tf8@ I*{/"V vY>MT}T5RugrZASz1ֈL̚wߑd~ JNlAIxΠc~28I6-ď{#Hًj^pӤ <_&,~N%-$U}@,{y ȚE]aR3*e~Whj$ԭi|ydx/b_CY6ʆ/W q2q8zvop6~hB^s(Saj\ZZIu>MUY 5ouV( >drԄ8Jp/-s|R;2znQz-L0{t`0p+ԑD,C0׃slnR$KܯH-TMaV'+Ax N8{]Z~Y B $&r}%φ)T),l{Pڸ18M{ʜ4>g7n5.V9ƀd1zpns@ 0r89lK}X=TgC2Wjo]ߖhiFCI6tN,A!ks >bf KG'`K|I0RYhn(ycHWgP7_| z{K[ru]4Qi f;B c΅9NRcv[A%ѧG0|-yn>ʡY1ix8,Ps&+úGjiȾqoݑY2O>HU؉x'PfƱ%k̽ߔD!{!*9i#;mDG 8H-ʰ h{;:$ـ^jpNiAQbvi pH27QHBXra1c9~R hc~qSFQE0r]zWҶ.-T)q9YP}Ă;xnjsN6/`)ʕ*6m4Ib;シBGg͈R|E]o3='JZטPcQ%Pẳٶt !&!&PV_|}mHމ1Qnنk\}9S;cq1`94Gr$TInRZYθ'Ģ'1DocSNr̿äiNy*Uo wdIzUa$9n1Jxl\o\2t07ʹEq-Jv~@&//AGM])WUčް`Ň#%`?ҞwL˷jGu~ˇ[-cNRҁElP؁,/vd#SЫsŻQ|_G;N*8uqNÁoݨ@A$#S"'ͭzU"36yKi".ڎq%Oں, ´F>.cltCQYz"vkPy3WxA ]lœRԐUůRL$~NG2jVun;HY>mBM:9ơ  & ^e\VFͰrjPeb9ǿ{#2Ji#֚kuO3>fzniGr VȘi{~iӌfS)#zߛ@k=dI!]v .E~+_[KvgR $SA/Y9-~4VSQ0 \ /D|xToy~!x7SdW]/(H4Ct4ے|6hxVb/j:(gސYtZm].|7Z{ԇ%Tɘ6$G+2|Eć MϯH W}:gt;m{͖Jϑebn ⑶j-TW!Yr.)(ܕ%J77x6ˍkM%w!cP=a8a$mMV2%bFRy~jN9wgNɚ)ZJ`궣+{3_!*9؆ԫ?W7g==Җֆ̶-o&ӶI^/(|A. ꌚ)dʎ< xԆ]AYvCuVpH"wީ%~nʉFkjсerdzM^򹓔55qTKm3wlb{j1Z@*5ڷD$Ul]  {;zȳܯ 4_dROn[ڟ{,j cW\r| Nhqo U^6%FS(+U頥/؏f~lJMI ɑy `kȣq7 ]MĪ44@s!}U2ZUH 3k/Ws_+M*.?ƫ[;EeђG@n60B)XBeMdTs"*i7}'ځ͉M:Q''+E Alka[r{[MScoWC٢t_09H.9 II]7ĺ(tPAiyڳ s~0ƒO1iwYQ.a/L,CO%ڥИH4hOobs.1,87j΅[aҜ>(0"Kq|+A㵽;EϾ Y+,;ʽ-.e_>nL{R*)۞Jנe DExJvqii%4]kAR QG*h _59|︎ٚiM9ټ8,/Wފi} \%fGJ9i [M&0,UcNH0Xo Cin^PYGk_EDN(4O.Q_`*:Y04ԠlJRяwx 8~l飿 |o- h.0Yn^O/.?iŧ1Kq8bէޥ{ 15:b$oGJo ~2-og6J @Ӓ$%O)%,~V?SKQB +/慰(|=S.b7g y˙nN;Akme47]*&g&"?g8<"SިK(mvaCdS?AOZ-`6 ky|a.Qܿ(@l&vdr_&ņ(%LBg0c62 yO~/~m\-ߓB6#fG 91d\Z,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱`( hDYS(E6nn1  O # ~\x% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWw!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML v-PurePurePIDE/document_id2Su') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPure.r%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<`\phD2KLc?R8֫.Iצ0oP։t^e -X%(75.YW@iDc'Þsǿa `NӌdJ_Wk|g,CbWMXQm^Nc1ḽϠrUqfKM8r/HwKsb.K( Ip${(%o5S6UG|*dN3ٵ&b~W[گJ/$hU͖pZ/|dZ'#$sj-AUǗZ"6]lt(NcC=a7}Ci ]ZŕM'+2OK?$ $ʕ"tw\*y>pH柛Bh 8rׁpJo'E48;ӞF6_u-2Sx3X)aj9rR^x#7&Qv#MMom<*9hPbWN:Q/vOW4>d8XPReKj et.q'1bUG{ke'voퟰ-B=#|`" h;+¤EH/T,rڂyV.K~ODE CI|W/Y7W3$ky`!6ߧ'= @I?\4Qz)PnW~3O5fpk_+v^,y4xXgl܇=)v|Xv"&jܬB#[{5(J,k’j,&*6mSO=kk3١=yɬʬJ36sr$D+ `4\ 9""!V"N{vQSt?{4hڒ|k$mC)\" 9&o(ri4KeGlKW3sz}9rFtQE`V'0$; M!+5ח<H)ͥ 2!Zطe13s+qw=vC@.XY*m2(U;Ó\+^,f1-ǩ#LF?hE(Jᘃn,-ZXBE1k~ɘgWq[4 9UQ/җNE2uw $>/ڔJw?H;cɇ"(m* | By_4+$>2a?zǝۗ. W7đC!'y _4ZZ10+73BH}|No|"0pkNmIq-?4r4|ߘ뀚)IC?ۻW+>7 fz.QvU*|g&Kitփ3:x)d(?H92(9gm=A/TJ V(yT>Vߣ'^&eZ>׏!-Rryi"m9Q֖k tXeAD FV>V6w'4t @c$V4QEko\0J}-dk R);L-4鄜_':}pP\$: qHo O5 ـ]GWMj@;P'ԽNTݰYa,̕GDg xP@YwELujVyMUpLc))"O ɺq9!bF.  OiFL>]v]׎L "AwMJ BQ[.췐ݷ4ˢ4zu|,P\n`PT}6 <'MtGc*puywi$Dܙ~>L(Z<_'67aF|l]pDX1T0Vv?O^iUsy>%V=rצ39R8# ,wX,f[sB^.8|EB׽זj9r"r|$dR66B58884~T7dso\֊;Xzʅ )BU@ V ƒZ[E-ݭi^`.gs0%l蛎'ţ@N SwU] %Y ZUxW As6|6(u{_|pjkbx3lӮ!F}Y@hP&N-s`y*9!Z}}IEAnc`,ɼnjV@i5o/ڊɺ3$jZQ)hk.e3(h veС0tQEvgif%u#.1F-D| gyT PwL=mkbXק}<`O&3VKtO#u\! 9rX+}]A7fljs(`V:}2&Q,i o2LH$~fErX׫0lz ͖eɛqy5}RzkkC8#~${h< c2kſ4qiuy.홴K$. mמjbS=8U"JTSuTο3ܬB#yS4phtU.y۝pJ?meh݁:?<Ǚ59_-=x+af(T7{8 $qz!w*QG) nF[UtPA:^{2ueI|ۢ;ٵm*F8&?+]7fhZDqM^QjksdM}7n29eTæ,^D/o+$lEJL8pSueF0 skAf^F@^-DON3z1C +d񂗱e;+[R >Z$7&q>3v,xݺ~$jEW*ھ!z*׮Dt$#f-ʰA.BzkNyQl?W.#j͜w|WZt(zXfV 繌ٌRJU&M<ՄI( |8Yr6A}8@bcDy\m) VVW-Hq ޛhO΁_ArTACJ ùkYf^sp po}L>W0>+Z}*J9Fx[B>0ӕ<ܕ905JhصBG<͐.(B)}SƓ-ݹU# "9N@IzUz";M|]_$I\Vv`,1.Uf?[xcõ=,"j y$=tE;ErW۫8`>@頛=GʋE)V%3ϪzT^i iuso ]Dh9TA0VnxxA)1FIw ~'SI&l}(S;ΉTZooˠjۢ?]8o9`qGZhkS)č}LDfn[;ii0j/h+9vaBh[9{ǭ!NXTm.FqSQ$#y&\l6- l*֢& ګsG3S<-w(eu9ieZKs"uf҇Ъ-HBqӕ5nV ' JꂐJ6Q ú8),5YYmfj*գ8%Uˆg4-w{gJ_it!@3-&׽ %뮯G'CmICԜ%qq~p(nGŚ6R +ƙ 7/Ƭ~G( {Rv3W(U@kU,%f 9|g'>߬Ȇ vt[T /uazI'4ҲCX;>aDV[*Tj;Ʒu, ʅ}.â!4Z̖>,RM e2xu;d⦪' Za^r<SؖuB!Po"̝ăJ[QY^]*V\0R437WxϪS:<, Ltp7G$zr/ժFf(/3ew@y'YUɌhIOw-vDvjZ}0iYhI%\) 3)OȎtL 3dS Ztg t#}@ َ Ɛ[Ux< ˿',Yɛ) N?r'{!{KR^ Hˋ+21VF|\Ɛ@0by.&cק0%\67iہJ?%=uikߐb&kOlLa=[iF&<+ʢVtY-YϨHߐUуqĘ0{X3}wq=?Jhu=N<+4z#g68. Mm(9kMZ+ڍWP0ύaH2Z ƶoj~|&h)>%:QqYm9Gφf/R i| u@wYT{W)wSᷚK;-Lc}[b8QfK%OZmOC8=[jǮH!Rp8 YK-N:v(:֤5X/1!ekGRbgx7NGL:N 9(]@Cr.WjȞ%; ?.\Vo d!Z$l=u2e/U0OLu$᫡˰AwL Zv8\1uڧ13Q, =C`oL]Wz>wD]~oSi#bC}7<.,ٌS3Y?K ig/5)TB,W~O!%:* mFa|T#jڂ:*ZcV=>Wʿj兮vd>ƅeih*Vq%t.[**a%v+XM$ZlTh鹎˓PN1#q ٜ4KپuVoO N6-(4DfKX%唸>lH|>^nx0* /#]ܽ · C>Oip߲FP9c9p|}1\f}k񂙜F,h5c^Y;{=x͓Wi* I іBt{ %MRqrZ?& ڰ$#ׇ=}tp^52'faz\x8[mv~rJ-C|aIC)8xZ]˥٩8)9TМgقeӲBw I6~.} jnv^K& P®lѿT< ]XS2_/ih4.i vbla-8Hl멸Dcw'ٛ[TumegnWt܌;ػN}`%ٸ\u/8Mޗ>.$׎ Ps.:3cΘӌ EI3  (,<@+d9R Ŋi:FdIfVO{D3²Θ6Y~ƈ2f/9Ӌ#+)ܻ+H"NX x5U"y#TcEKЯ{w>q"VcݵY; Bdp eK`1P-I2~\W~]Km֛(/qf^p 'sdo )1<#U~N{(W5]=C?ukWצ[4F;UÍ>y)=3T<7o$fGK~T#6? 4lm{nY$˘ SӖƂ쫋e4PMǼj(y/;rA4s$p/*'F=Trvj\vt-#NlF=C7Cpd :P`F!P'%XaZ'1\:4BDknq 嫨GSZ(:tf po.} ˶03.o[F _ 7Y G4 s@(AʊxӮu/r t0fy$lC9w?G j 3N;MGO|{5̯ ^XY\"\#,ů~Ʊ(0|d=\^n4g"ӱskլV5@~#w|`';G\=WyGEĒ}<.p!eINC纩>wG^"F<<lb]@b0Ati\tnmU2?iLF)}(C;!HJ| gDOKx2{#gR.s)f&P?"]ist!M?(glwv~q(3td2c.~ .#}wB٭YQq+S\>m@ J`Ij]HfJ$ap0w@_"yA͋掀m!z|d,3eLLpX͝'/"vb'ݜX[zXhG- _n˨l6И0g [W 33\suaD7U*^%TsEГ >r m0,[~N3'һ?ܷFS2P;pw @|ynCԊd2j)E8 X-9DǦE7Q$X #~ ~.u˥-KZ lXdԳb|;`SڽTKywfoDi~- )o6m p=uFVMӿL0jr;3 bV^Q26Jפ ]oaP.^[,Do0n &3EE :1pմ"F?34$fF'PjݭbBqycG&IQA(=buE}LԱ~0)p?'$4‰bXZFQ^% {c4w*7Rz-rlYK\w"=/ -pN;x\l'`rُǎ/+h-+,m?#I#ZiR]LcxٕGJj#-@@Ef߲ Zn53K:e-hZ#\Ub-.(C;Ou#-\~p%_C m5kȏȬyVJ$%N Ǧ.e7I` \a {X#x4ꨦ o%sy@3ԃҁ+?]jI.M y}eY.̯=)ķMNj~ S6 }7Ep;lIFJ妥QƋ2}5}`N&zSU8ɲyNEVi"L1`y,a蜁=n݂\"6t%APT̳޺p8S}N.%OT>baV=wOΊuu?daIqHO|yUr3$ob>{ B)7!_ľlFRH-^; չV|rDї}]!)(ȻKk{$ksɀ 3q2zOOt(q(cw-FW8Yayi!̛D>z3#B%O}ҜӠ+em4i,^p)B\E4nǟoH {9sҸ5~Rخzv> J?ufu d|z:Qc픞Sh mHsQ }D02n&L$uG&΍I{㪙 hm%:/ʇjMAR\X ȟ $KUq4^@0\jFxi~BEL^C9 &w*w 6v(1 ?,W1 kecF[x{#;|E ֨#bxaȑz!_2.Rܡ 1N6Z/Ͽ0(@T\I1*%ܛ^x<7 %rv>sBI5 A2̏76wi oovP*"lX2Ϲ0;1߽F$)q[1{];XPLV XV=⻠D񙱾U5|ΰ r^NIpR ?[=T)YYpG k xS]HWV.HUdoz"lePu7b׿ӝ{UI$*y&I v\<{2E{`f9IlkHbsl:/'5i| ~Nڻw(y(>Ԥ3n\±]ȖncmI'hM[㺦PȒ}1 ;-)(h/'A\ UfC6C8i7'kX'𸰻SRBWz7UJHe%<[$m /ԪW5Y)ꈅ% :^52&ّtsU{+cOys~Łe+<8٫i(>INzˮLMM$~['b4DM|$Ry<Owe0K}y=  <[(GpHYmKhɶ'LhMM+%duUGhkb)լz!>C`r _Ub͑/-"19s9Ӹ"Dk\-3_l+D`j8U˚ V,^9C82 ` euh7 HEG)QJ}wJ¨9釾Eǀ("ue0X9b穗?W@HSE<5 dg2g  4FPڎ=Ro\󳇚k=7, ewj;Me 9T 1I U_ R^ѝfH6MmԈW۟`#@3~q%cF+u;>E:ĴIZMyUnL' ۹]l.j6Tp};yƐH0QuZ^0s{$@^}\;sSL6-4h3 5‰H.; =<([=z@ErS ]iPLj;>}@Nw}8Ab jNgg^]L⮡%]PTZgD;0϶C:6.2ȧأℍmRuq^9Kw!ͩZdc%@ojڂ>6YrT]ڼ H0l‰j*,lx'?Bjm$?enZ40j!xxbpA?*i=ynK$u9U4\ZsȝrJ9{,ƽQ汱 Ђ'oKFH˷M>m9\f,pd] <4@?LCv,L / jqbud*~8B1qfF'KɎۄE8xHQ-8aS\ߡ6\TC!; gZ@6X,l  n j!ָ!CR/Cbxi{z;cnxjyYu\*lSP G ,M>ۼQqV3(_T ˾0bAŎ-E"C*ܔoq L'/A3yhRa=[|bT.ZdkuP)jmQ6Z)wNlqfWw['p/4.mo_0?1 هfJP5mgzoÌ =n[S!VGS yK2 V y|΀AvDcz3̘b~Sj2 sjra2acAy츠u[:Lkpj mDQ!F4a 5hKo88 \H!~* ԼwәY#بwZjkSIk-zO,#CmYvMt0{Redm:%7>П5x4ԁTG)vѧ2hUoj1{auVwisL܁4YZ(lb ˡfcr`h*z+“١gb88%kBMEΉɵ&:[֤z`G=I{XI}g~/C#q>xD~M0;n.4[A1tJa;3v a}"|cpAK&Y#]T#ޜR &i[zP/=E@۵uܽyR¿FPB rSf*gP[w 9s4peU^AdFF&AmDaen]Z☰$Bsϖ\VV l$! Uϲ؋P-v%kQ}:pj CL0`~$1/=S|.4 N닆 ?2Jw6^[1!C9 3zn [8îިFPsO)]l `KyVζ7횦DwPǝ U*'J#ݓR`2K< CojɨB&k1UaLG6b3R⏽x ۷n$H[叺Pcz1($Wxc=vM\^qWlTS]loJːwoc-UL@mQ `j'a%>eMZpw)?l]M*Ԑ,#ZF74'8!z $&mNKTgŚʰ 7Cz f${>WQe+Tdl&#Y+"Ŝ4ec&^1~YSS 騺1ź~2mKVHNDs:0]]ל&Ti7>Ie0jxy7epJa  qv}IdߥپFj>A@EU" }M*8IF_R%u;1煠_oWw0Z6T08_O J&BghXz?/˻dͳ~izVUڴVS!̡͸o\$?8#뿐Gea\] 1ݯJlbp?xDa}6Q]#D6LLO(|- Lp}2joYw{;jҥ5)(L?.L]١XN0(%z\4^}.3 <-6*0w2aL|Aj2E9V aۆw-,:8ܖ/kƾoabXP͑Kd$~_p%戼S=6)/ګͯȟ Ɯm]ջ1Dۥ%ȃT ~:io] 21+g86wf*4\v DqܶS՝lw\HŜBPЂcK͉M{@ Uq^ kz ˖2VƫO\t3?EҤ&/ACf2E(dW)6 d|zբ|>[*K8Ͻ ^%%2aj^H9SF+U3Oge*ݮ;C|ݯ׭J8*Wu} W,I b/,ݶieܷ鉅~nwJZٱ>~}:@Te,18槈T >%jq" Yc=D'2,feP||Hz}n\J8ôTR,nKN)"&j|9?A6r2|,%@O$s>蠩&ݚrjh0==g^ ЪεmrTOM ݞ[x $Y6i],Ձ67)юiv{V@Qo^e.} p{P{/.AV F'AQˇ\^?3SI_ S:Aѩ=F{^a!ȶ*v1nPÖp:7uzq$,]X^E 3 ,kņzkICBGo$%7,RJ$̩Ѥ1TvhP]3J!1hk^1<4;hږV0k -p%^۔?&8b,e[$9k3qۃ U[$:XX_AT\8uOʹp✋q\zP16KX 1U~-W]` &~K`_ 44DC'lAdZz[I7T'˷Qh|>Y/h / Qq!_{8`-.+~F$Ԯ_WTz8Qun(G`=zq<0PVd%k#z9v`9쌽%c`]Z qx)z3l*1AtU AfeTe1HknCw"@ZotkR>c\28l,2F+ةaܥx=N-dVr1 XAtȾcDXׯ=~6 /ƸMPjl,oޚ.?$ZnprcZ ZDI\pGKM\/Rݺ;/ u[*T7.-ncQF*g|7IγϒO˶dh,"+zkn kj0|U".!yҵE@o;xs[M>ɴsRSbQ1 IY $֫*KI.b~sw̩yRa)sZg\_He(N/(?,{JDʠ0׷$?˔\7@] z1cIm\cb5knPo1 %uƗyn7,+7}Ɋ" \U60Aq[YU}X@A`BP c,'V\jMڽ嘚-4[v],B}dF꧟}F6)-K\D;gξ{)!M漁od'/GAT`/[8K[nc<%2:>ϡ#F+/c5[i_]M7;$NsSEܺPTN4/E 42*T֕%bH+n+vwH|Up/ؠ9,nd\Io;-CFE3>2Тn%>GqM` #J2:-կJc_,' up!;|iMo<{֩JT_ao]^C[lJ :PZ/SDpf\TgwV ufzux_4vEgvA'zwזS<0 )8ہ]Hfn 7^VfDjDK1:ʶjI<'$d#,C/|NjLSBR*{/71[otkKz;I '8cZxRWG(>uNZ Ԡ1(CJ}{*O)o&P*gjQ(] '9Y~sFaX:θ>&6&N<ˑfw˪|gUĢJ985p pJ4V$%VU`sjҲK|0jĆkjgtqvq[_Tm-, k 4qS)㞤 j DkI7 Cv8mξb2Mد]Ju"/85a< !gOEsl4 UtBp Ni Q qhfo:2 '{:iGN{]@<bdkM8 wx\yi6ٷQ&ʥ&YYTڇd>v^? Z1(;m!tQK2؃JoUHvifוaR=ț i!Cpl&1e& Ŝם,9X3elIj䒀x-H?Zs?\ߵ 8oRW|:π8jO[㭣V șr@uA (:_ի%Ծ :/NW'Fgm$P/#<ng]{EMfXGY]-@Q5)Ta2raM [^vY_n0ދq9Ic'.*jmF] JsܨYU<;U+xA(ÁڄvX4An1@tC@C{ UE0!u8.qo&ei*UdY 'S3h 4ɏBa~Jt͆z1f$A-sN61LAC>PO9"R߆R]wz_dBx/ MV`\e l1O]jM~GDa^p._ p{p-Xb5b7S  K-#8Q,:VR޿lpآJϡ]}=!\.j2L-Yf̅Y&-52`޻FR90RޯӮh˪\>V ]ᑲ 5e6mbަ J14|]gZڬiuT#߅ӬiO"g K6% V甔#QAB6}+!/C6Z3fvۼW.gg0O,L1tưԮΙ0~442`/b6Rvy<\7ڃf@l \l2# 6&ݲJB?̈́Bg"A X`ſCH)΅=֥ޮ%dIUFe5°xMuGL0,j5NOqmȋz9f|U1x YȟM.73D=.t{D|?KgU 7$Ђ`o`4[)g4\nxWni'p{6*(Ѿ|, O\<9Z/-Bɖ6ҕŸ#a[ӢAꃷ<;-![]tkyH*u/(Wt>9p_S%9 m~<Sb~- A)[{5R%yuAs''Ԝ(H"v"@n@=:-Z :I>UШFǝxTX"> a(/>FgE+tϘwxOwBB<Z)&{1j+r j@aOL]Q7L?m ?"&o뽭=kXBIMx1?@:IUX>0P j '9VۏwxE3{mVUc\PӪL͓;>mޕB,w[6ˎ. +~=,иZ{~1VV|E׍24:o)񢸢Z:Vcc:žz+[;o6~/VwVo>nbEQO7e΢)>Wj [\t۰1 <dbCP03xefnؖɻ$t?[-PBZc0vIj{C|hx6Ǡqd}C=ȸSL NP!(cC6{su^op5T8qXV8H$gX49!UU(S=rO 7=m=р$aL;c/̧:H| d7T dQjz>OT'/b^u&ir q%jݽoNñmƊj:EaOhd5 w[`uYH4E3Í__2yr"S]4ydJ9!|#j()X٢B@ ^MZ_St "yKVw{T7.,i-W b34z9Xzr‘#wUG[ Kw&Tr)PݼSWOIΨ>hs$шnhh=/XСϿ1J„ѱIc#YWp֖Es!`6[P&b.I^(;*w|OB=iqDv!@W) 0_alTi#s_=,oX72RIrikpa|d4) wbK~| V>"vީkn n$*ЃԣqܘU b\Qzrk9rTh9\)x:W r^34D:g Q6UHnɐnIONjɧ^) )TFj߲\"bv9'hscQ n?P1bkP+<͐S[ΈT) l@ E]jr^ 91J?gv;}|oNeM]iqKx7([ꈊ A+ukE sgh,C6(wSі q,[{ m ]1 /{{Ĺhk.Vm|Yy SƝ6z3_E$sۯh]?9WWPyc (nMV'1 0.{8Fx߶tFRq7 +u7 abm<2 EN#5Px113 A _CsJrAOȹNCڔ{R՗q?i\\?>ƚJ>BP[EP*Y)W08`7o0O팰s{؄tqI+z5oĴ38{ ILd 4yt89YVօc&{ƕBQrOL&K9o|ɚAXCl;3O!PCwZ[ 7Es{;S؇$L/#e.Qr|:%Yg%L:0tz/jgvHQ?%afj@hd~ 9A8;n=WyZH1H1$9(Z|>ho6@ob6^^aw3Go*%Jb7 ޸͝NH V@#}z^0>nvU& lY&reMV_ eiDl8HG§84j @4%YvoM)":gSضj $/(yܼ#k>ڷ^ %;m djsY|p:2xt5?O7J$0h4 sX![_[e uČ5`G]}܆_lkOsU& ) fݾĴڻȈ.+ G?NZ׼a҆' P؁Dj G'y )ʱЊ*F~CC;zG3vTR3y֙uyăjHj3Zx cn>>GK0gVZߒ ueZ\BM]3G}p[;D[@iQju;S< nZl;Ög6iqw.Iŗ2{Qpzmp~s'[_F,nx(y!knA#(y1|S=%vlȭcn%ЦiE.$ lsi@nXwtyiVa gDpz P - H)Go ݗ 1!r2[|?ׄ{|0B#MxHUSAgmd!&% s+ Ub%-| t/LbV[0DuauorR< N{FV(̖Ya -$O74Vοۣ6x^}0U˜d:\l[o̰qzVW໯Oږ"8F[КafpYb>}huap)!&}Hno'Dmi~i;{L8]0s}d&Vc檅6+Z?X g5W&o\v<'{z'g?N,0&Z & 8[84R~|#b>['3|tLl.I 5Ȟ .F[LAmeM] -ULeYp.2(7O~G1WfiD{-=i]KUqs%d؅T! ;Znv]A}ֺt KaҪ ,oK&T0'!;SOG"-w-RN퉃(˿F.禐c~ƆYdn'uY0\Y;9Ypd P8ڳVzvgr Zx$(19?~m[RחO73tG@z6t$:\3o,wQ/N_fnyYՀ׎[lM֌K;nG'ɹz@J8-W0 Q2l"v(Ϻko'-/Hi,4h !-$ndKI}, ѳp&tʼn3T!@D}-|nchw{wy51$rG\c-10&5Z|}XPjOfI{r&BE:EcHSt,%*?|ϥ+Rt/F.yȤO)1:`QqCMV6q31IwIȉOqoTyhV$Idew)Y5! :n(zCCʂ cBXtv d.Ir~\d9(T Mw%.]Ȏ\b{^pi tlb/J("܈틇@ߝ& a+31Um.n٣2֟dž@F?=%x>N ܻ7»S/{ejFG.Xis\8Qc91gJ<-%kS"bmPƷ1E69 n8{q\bi "P#ȕKht'[]$/F ?N>>M{Crb髗l9DJ;wÿ1LWwLoRZ4319ݍIzsZ N]ld88f弊4VE{'6k\RɹG`nHjytHjVV"+6쨶1ޞӮ,z&~jĥ"L'kO΃g~R/ \Rn)a'q{*THd(W)E Au.4 _gԘ`=Bk-;PJG&8j6oAF$Pr'u0g1n=Zz~Lt w36 =:_DHg$4tI^)t39onrzV4Qϰ#گM;ma=;L=E6`o[ڨy \ ެC;5=Ar+I)qQ&Ǹ&21RL27R^RΌW;M;j儠gdwF?1ݟP1 jƆF_cO{0f))J8d\XְZiIz͑\0.#2ګ3x8H@IKK65#X _Y"8>O "i|Z:sKBr?Ǵ;K\&"Jx>ucHҞI{_W\cj**#e zm^OsfatwKꥢSaܐIW V4{tUU4{\*Z 3mf``lTq*4O}Z3i=#/;|B˵E% &1!pK>XzR45i`oBu9e$؍[nXKnwz 28L%qB^5} qBfB!!N3*%߹Lh觍(!a*fv:7*tb[!v5bƸ[ #,R'ip0V֬*ƟHxMP~4WAk{9q<,v6 sl()A򓤪@˸(5̘s|TdN+Dym:mZ$oG7B 's]z |u#s:~az_M[&vm]/OtnX1ӔԽMHo/esB51!Sr%^N9[-"()3RU=%cXD4:hh{aE}~˴rxqUS?H4fdx%N>ɚx{\ƹB ݌%˒}]iTml}者l,hۄӵ\Z<=EiE>)wH˜M)2l6aOgw+ =_`'G=>7,R]av`O}8nnˑF.K|}jtOIϼ9I0)q5cz@/.0ti#o`[2Ho@:5{C8D+F (cq}'(L`#IHAV/9_򓨜O`+`3w쭈% YMO]aOʁVa$5ЌK^vb!ȺqztZ|;/nYfVx({SDՙ$x榙nh:B"K?Aż4kϻnnELq̐S~@'jucwnFfg 3gܸѬUxDE~w} FZ%zOӞyj]ޱdgQd~WS#ф)gJhC(h}Src^(C ;cˇ|;1_a2/Ф]=F@B j1@5+8SN/s݋롋rpӢab}'A[} oXse^fb ogDfHiݱٝuˋמ]y&l7h5-\ އ) ^Hg~8 ^Y2P_dӝFsC/r>Ry9 [Ŵ6UhYZzTa wBh< @[,UBTL$Ќ]""M5ˈN]l  '5h/iCUށ->SHN:TO0쪇uRrK G陽KN5ALYL?giHAjX jӍl3{xUֶ&^|/Ga ޞ1X*bty@P~V%-r(٦& mOVCY 0؁69'B}lzrbñ3^W{@xLTőd0eOC- C5tGK%k:*,ږe0W!9l |w$zq|Wg?& v0nk8?JDnI?aYߒnA8ObF%4߄ewILZwj"^Ufth̢t}g&]#RLE\(:Áb`n1-~0[*}^=z׷z֛Nl&܂u3e,F) h_0`5fT5|ǀ云=]yOW y'dx8xuǙV WOP9%#\m$PZך?A<9*OTuKVx(%|EAr'0qZ`?Avc0pvj<)͓ː%O䵂qʆq0"֥Ϋ/`[+8:8'YszOq~>iWqf!KKvJהq14;j`gBFruR u:n;~>ַ"F#{ MkU5+4w7Izp=Q;3 IFZ՜j7n& ""Q ڏUlt&hO}Pp0#7GHC"[NF,\gp/39eynL4=+%<׫+6yj/'E&)L;C&lfueg$}e==i eO܃ì%/TD4y:Rre mTQ-Kl ^~vB -FAxS3֮:޽+'<$]& #,d$1s?:4k$kk͕,j, Ě#ҵ- E}LpCIO썚nK`{jKw}H[=0@P4w(3v8v&I/% V&7oY4"Π& FEͮ2 u5a$ ȥ&e8bHWP1?6?L[& #6Rqn/;Gڽ0ehҗ,ʀSެmdck,iHx;F;^登 ,bC0?/?\Bc7T=Θg8#* mʶ'sl wE=ؐI>"esO ISZ[uUc'<4#UQو+_">!)伱1gu֪#PIYY)%'ܺA"˔gn"n+&qyPR:$,L>(Um栂;bpA.="ݷ/)H%|Hnaf`D!z↤yJqa%؍m:,NU{8P)pr~m%?JVv.gm $NEL_Yw4ffqZ1ANG9RbE FP‘15L h h(H%LnG܏ kĕ܋*m2AN'ԟ0'd.7Fmq9Ʌd?zQ&Yzb&/uf? Y,~6Qn:,˥ *4Xs,[;d|M&"e/El|tlM4az܍\_#<e&Pr yP۵`k{UxX++|*NĚ,Ja:0smW<$A0mV.@z>#_Z9t@^PL=3ۮI8gv%!aƯRnܸXP~XѵnJZ@MP 8wC._F_c#agG0kGe~O/K3Gqpd-NHU>GC6҅u-)Uc;zHøDxu kv+7S:sҊqDs!_f&=8 }qY9P\ 1QŬP)'k9{ϔbmIi 2TC0:f<7 %8V0 o 42zƃ/L2=޴%v4 ?jJР%p[飵lo.`gg~*$G9(CO.7蹹Oj]A|NYp ,HTǾ7%y~n L8ȳTBH4lx+\RJ7$ĕm3epAul}ES\XОY! )Zv Bn j[ׁ؃QO|Fdf6K<> ~DRKjnos4yDVJU|e< hameh_l̢+t7(-P+o["Ep\u~k_K ndDY`mqva4ZɱތqUw>aEsح28!|#d'Xov!"j,02?֭F'+S}๶c~FR3Ί5Wyئ>w9^O=^!d\S\ZCC!:s[I `VfI4G(] c\2X;dImW zNʉ*zspb؍P*%wq襑'.Uy a󱥃|^};<Eဲz7F7hdTUHg^06%t&mߙS@BhO]ZNj Ĝ5!5H5.7 PP@?Yg7]1(̈O@_fj_4Ȓ4*TEk-}k2{!ɣy-FT=:Cƒ&Ct\3H#93q^]loZO a3Y1HZm1/(Dma>qKIet~oy=J`]ϗn9rČ@٦EM@c丧d%/ݨ]놙=K&Ӹѱ;ye?aUtq8wK4 w̯j4[~J{K2qRLIRGѲʀd%=)kcOYqND {m쉚HOqut=g- ~U!9kk㼫j%!|GU]Hg+x1nAGSU h;̠ e^5OSIDaD_bpdtI7ГtT/.}Zx L vy-*,3Nc LS3 eYY]xE7,c,ɽleW3#׍f 3uZ7ZAx+N.>x zg٪2sŪ]|1oؖ~ڬŒN~kWI8@ L?BDzȀ/̙uz$+<] eYȭ>Y9rM=/f%g84\QppNkb2yQmrQ&rT>[A30XB/r+<}_+͍3+6ĸD|2`UzEX3xk^/ vi 6N˕*=R9O^ vO-ŚT$O=B!VI[+t3![Ov- IRu+ }B 5zoj+X{BD1D >o?h w/3̃3gb6o)E-x!]z $Jo \ЖZ[srbsP'hՔ"R3K(> u1VQhsjG7R&ukjGn._^ﳾ댿ҎaSoĹӯdQtP8/m^X` ƆGD%rV%\3L%.Œo^`/a'Qϳ^DJ+Y+߲2'ЭG c3o6JUY< SUFZPJqNP#m&fSW<[Ly.N(pdwh `gɐG ˒I',~Kw; źZ'kpfX@LY)mBPbLxjYn>x8}"K|r^vW"*֬$ff%͉Cul7{}nk/]sNvHvtv=g~ |4ⷘ;ewoA Sa+G;ղ]WIDÝ'&WNW`7Ҵ'x@Gm͊>A)#5[6]۲19q[mqߢ[E(^*ޠG"cuG.O+$!V<~a.QRpt\ˈMe6ur"-y=Imh%Z.l$T/!dBO[_z4)6g hA|Q>fjE-c&0=! -ĊR ^A3z)hNкM΢kb8ok$ՈK2BU"wΪL F ç#7U( \;jAN2=WY>ܜ&5X#ڰ5s0,-ꄐ .`@y }IqeWoO??pTק2-ag[ SKNjg"*TubrƲzn QM46'@A<2!1h{JdD$,3؋a^8 ~'nMY1Xss muC^P8~%6SS~}v09_)c=oM+Z2aYg@(:47P~Xt!0kY k׋I|VS0ؿ(L%?}9VCϝ,Q:'O'Q0V.zZ_.}G_/ү8B(?k2bRML靋&8xzqLZT#mۆ]-5]iw1%moi;kBmw-<,`)&N]حyn4cSN1kb%bi* h(tz\2Aaֆg%m/#|.bXYw^-MގA\ӧÅ4"oz7h/]ÏZ#[V˧s?*Mė́-eP:i=Y#7ܭDpTggm:X-$ 9rov}ngnR.VF-߸~GV2=-$'1ľ*$Hcx!k={D>9aT NsX&X .zv~Fk2aNV"F-!]Ŭ-M~#-5-pG3ugEmRA.jq2ϡZ@mPu V i{Nl귍 %@2@MEo P$1ԋjgѩ8,aݭd,t ,itnu=A0e6:őlQ!kc%=H J7Bx|xו=T:yLzE~X!Et" |Y9%d2fSA6צ dxj3`V`Py]cI[ oR&:J8Z6C a'~8HU;૶cRh$wuAD\@o̡!K7ї''LF'%5#FҊf(3K(52^r(&)hF4B&NPnk`j˗1lYW3:-`!V ;Bct x0EnڞӘɀ8{R;JO he`Vq55lH'.4cjJh 9~걜4uvj.{]Mc\D{&RZFy*`Ya[,<#ꍣjyI;:'EoDxrfgy|ωoc]ƳpQm*ďJ$ ;t[Ie ' E|Y!ȯ1y(HǨ7P.ֹ:9_&d @>f W"+C 1]r\]qC--bmdz| e(,pZՂ^vk,17 9Q*lQ55*]dq@t<{uBg|a~ :AWQ-$nLL%3\CE$_[8yrZ[g-&W}n+rQ#3,z~MlmO&b?a\|*0#h 2DAv<!n>\ȾTxV+mzPy2mf2]MHcE{Np,6 =mR$7 9 l(| &yb -e ~Jn"B{\ױL |e0!7`:pN-Oq`1iدsB ]WTQ$(oP`M{ _Ȁj)gR!Nl8./ص5 /WnH@Ē=ώXB2sBi{i΀WS3yrϟ '*|18/hqбщv NWkW 'FAXMK$BޥwB_!b|y C>7J(l!b^qREJv|x)]5BOa+lz{R~H%)lA&-*nky\ ,*Tl(J=:moT} {YZ6]BM-/2l17畣d򳔷X`aaG9,8{5 nO=&!ϾUj\Z3c}yay`3Ɨ`r05ײjSk30!jQOw0< ԽPur[WWVuڄl.ׁUﺖgI_RU᷌վEԕcʨ4v86i,os Ax:rd=a{. C(֔c H>yqg U2Ύ?m=KE5jѤ´U5l/4GxWVTўHٝrk[T;d>hHJtN"qȃEeB%ZjEOLD PIg[uZ$I 8䤕_x^z3N,^ce18*da-RY԰`F}U$0oYKO mzHDD豟\RSHk˹>is J\ZyȂW羟`cHQl;_9&P݂#MQt^I-bBgq[YV^YAek|(_)ySF R೛̏WM"mf%:pdo3"Ta߆2"3?sb\ ~+')j X l!Tvզ,S̬U eF..^)J#^}0o6g sD < D6$_$Ka U1чi'2fL_*l֠&vi#'}CSG]#|s`/kHt]F,#kh!tmZ86~(lVxxN=`$CPDd.'S2 I!:?f2{"DuлcwP${їR</}& ).ֺ8۞60>z7ae6~QqM 5 I3Ѭ *]"}ua5jpt !/7kEtjmD5c~a_8•2:Pu SU:(=1ß^qw屡o;h;ŘftEc%ؙWnb,NÁ%u% 1HH*tsS;GTfp=zk,t&? $(Z%F(wop3}LP`< (?ZԘ"yБ_2I+ǒeuΙzU1qse G2I[%p;S=|\tk9^7MDE1dThROCDaA n$R&1 gbn( 'TF\% #~hLW6֦֫ЉTjFrj_8I7vvnƍ7OOwFUYA9b{]}fU >j1gF 3>exZ B҂ϼ1 H2F} R H8"qO3JcL5s Pk {CM*b<6M)c=莬b>]USqtoԇSA2t%s-|ѧ=?Q{#u5| ٨un?_CKxE)P9Ւ~0C$KO>3i.~j03v.ʫY% bW~JKWDWkދǽofSi^R h)::tKȄ'> 1:DX^u"~]ʁ{ OcL?U279IrɳAN_ a \jBd,5E~Ǯ" Cu- XRqt$@1N0aP": S>(QS$ ؽҜ5pX繹 lZ d xwq'0 s#wt&T {|2L;QuaЎu:TxxUb-Onpw.{DۥtDԣ-KM4=iGnH€ ;j]} #@)W.5'k3|)N%nܽ#wrC)hMi-Q ز&o^voOU*HCqǀɣ}+ FFbN0=wHAk֭"J8֏BIAOM>zⰰe<._DnduW7VlƥD#f!]|1=Η7O;J%|}oty͡yc猨聠ʛ \l}Fps{Qwқ WF[¢΄6IgThdLT eƐ>*I9XZ3 =7$^⾘'BB`!7ybc3ߵ-!qPd# IG'{"Q\7Q}ݯ/e;vMLZUȽF8)v F= ۬n]<%; Pd/VpEJİ_v Ja6֌]eK8$(D}>\_1 T<@0|5~"̨@db-UomBޔ/X|GьC"pl⥆ (nS`QdͿ=S7 \T!= ƁGZG}F2jZ3CA X0/lt;n(OR{)  :("nF sA \t?[0.3b/˗l!x)Lꏒ Akŝ0w;w=Z#d`O6_'7tnT.|FhIwGd {Htq _n|B\Cz@sVݾZ* ĶTMgcC1~>EYCMuOvGCYk$caa4Kѻ擪U;Ug'Hah`oʵ.R{LRdrj0q+3Pf ITq֒ČFapXQqZ`5O-&Xtи1OX6Mbf|ZE8ٞ^m&ʞg560ï6 r CL"F0M)j3z4ju>9NﭫQa_ 2;>j{iw% NQk,^䩝ZDY${&OESOQ\717DәAK9/q<˚fMēDkKct\ Q߲y-%µ,X,[i; a #Y |ëۺ~?d E+yǗ'Ql <NV mӒxa"/))Q'Xɷu!dFuꗖilMdͽ <<ؙa1bũ I] Z.LF@QIc~CTP%Q*M =nŏ̉*J;nUpڸg#հ72e1JGt.NqMTzocǚҞĝ-jx=Ճ Hna~s~d/%0, ITPx`$JemіȒU܋NojE5YPBvkw,S2(h%R:i c^#jκ`LaExg-'YZPYܥMA+ /2gdAazo:>kqrmS:i x$ ~T__ᮑD}X`KU:H1bLo_ /: I[ag^-a/pڗ+J@cC _i#bTZ zP`JSɹ&}>&HqG 7J.*J/K)uQ^NnRD7TP=+9hF̵t@x~zȵR~bd- M;:2ߴ2o^kg kٴvzzt pZ3[(#4JØeѬD=98l!$U$eu0XH|ޥ)NT_Ccl}a 1&YW\l4A/0C (߲¸2-?~2V&M 5=(.˰iMJAkj"A5oMd h>ucW][H4!Mϛ%<-$. ]i djio5dqj$V*vXh,ʼnw4Y!e]`_7~sr]ŗ}fi+Jҳ}C{ 2;҇C'H! 甈=Ev*,xs]K bE鶆m ȰsQ-;`:2$;SƯqk> X@:O"-.vq!s?B!HP0 .dׁڶsGF9]`J*?'b׭_0=aAkEq1mn۰Ɣ%d4qsy_I`sUy4`:f6r {Tܸ$ile.\@{~9y-F"_ Yb-̉VjtA8a 1 ?_ B$ތyKfvD$aX\_ӹni3 X-vx"#U5j1񰰬knȽ[񬧛,[65γ@;cΗ;[peer 2P!l; j솃墹ylpوMEFȖjSYNI ;>!;Vx|_6 MgUܿ0+1OW}|҉})K=A~)1-K\pr:`{9H$stS̗E+DefS̭ \޻srΨution/nUvB&yl*5=µ3PA??Qh .ݍr2Ahⳗ\(_Bj,' `?lְb9SXM)mwd.?=GDuH~ƨ+ 1`'c8ö9 F,~[`=#t1К.`MǴ3@ش{+滔ӢH%8I\EbXu0(t_+7ЪUHaܨn']TA5:Y:#"YC) n؄KniL'@iTe_м7qB~m ~EF*c5;ߑek nDڞѢN̬JXpV;v7oVƜ _5eqу)K`zl7ؘixyΘu}l;f0=SN[yu-)L J{pGVhCᢣ-)bS, 5j`M/~avqq^ x㫶}S%b_`p櫡$`8 ;ڐa*b  jS`uA ;^!rX#8Z1@ZdR/ϔ~| T:xFw$& C|R>CcĈqL"vϲZoV-zb*@uQRdՏ*odʵx~W$I~TPϤY7(T7#|?'ALK4Ɣ(+1CQ*U9>*UN]2/@uhx2".ZxL>ۃ?[ɥt ^K@9ҮA/=2c( f ;H"urBgrlOO(0gлĀ _)4yGµK <Z^EJf3]2Z<`]ҙN–HOSDhM0f6A"F-)s> :&q|Yfg\%vDvcYzK $wi+H=<(6i%m̑̎GE~O-zxj){&!I14L–dt,Z{|^E}j'QI\K4Vqr7eR@}J`G*a B;RJU6z_>`):Ӱ &%Fh%S'I{15RM? 69aIut%|GQ1O~+SZA{no]ETvAǙlB;VH9_o/?ԫc+i~9f"nxz} yv ς`kM9*I];] }nqͺGED#BjۭAliwOuwi4*_q\ ޞB5;b30U 3IZ;~Lz{Z훾V8FޫH|gO%zCN_C1&ƨE'rmK# w@1+%ɇj[짤Wp4Y܌C;gbPvrhH [aeEAΞ()E2(ӊQք>GHs+_ PuW4jIsM^fR@͇ M ގj6ꡖ((pPwF;_p6 c=y"c^+V 1\`ҮMH_x pJ1ͶeA.Rj湴@CF)w.sɃK$h4:#ьKT!1i_ҕ KSX h:g:2g9CcUimolfՒ8\mZh9qF[/F/ɵ֕=Hecj)by l` m(Jȯֹp˻J'Ԧ׬C^I6n9Ģ44)_=~xR1yP3Fԩ&WD6MFSl7vi' E`UUSF94rpN}N`5Eͻᝪ<3J[撚b1Ez<WQfNdMauUI/^ ɬ0O) H"*,EBfJeކ"?Oļ͊!}h7;\PZEjzTsf:N0 dFlh"> qDrFZ$ 27 yD!d:T+j'9'2tejّl5v>'9=@>b&=S'N:s8eLc> =7J 蝮hάσ[9b >4IO>ֈh Hg[Qְų7=Ctw$c{1}Sy 4[cو %--HF F t/E2>8 L;P-+aAAXc7#]_^x X'28ZV{6pϤLbFX[0 tMoLnI4kO{էh! YDP//+m/N@^{ƌ5ΘUJn舾;hBK+@f`+6#ScJ<[;e0j+p;ZʞI8/|HP8}~E$e+hCTv:L?jlw=DV{U 0!\ q6R 4}jS8b,ըf 0tEV*P4TƠ3NLРi`KyQXy=.!je |lm+dR( o8H৲pF#>;4ߠE G<_z i >p-0xuԯ]~`2 v͕IEC|5[WaXfP{*Հ]9\O-9Gɵ=%eLVȺ˻od_JSϏ^A*gܤMe.2P񈶠du};-x?\d}vpѤ0.:s.?߿D7doF+Ak:@=xH%Uy11}_+r9!N>KdxENfВ=n~Ve&Fqo=<[(/U>3dJ :gv4`q6 SVA=TNޖs?$E nJ/eȤaI#Qlx)o}"-Z6PcSNmܜ>Tpg!qy X`i9tpi3W-<|֚:P{&A+т{s ) xK+M /ze2Ft3ǟ6p4)A!B?`t/i}όj.Ld~jb=\ D3'nU$: fz6->l>ojL,4buִ@&! cxo0`N#DV L*{BPQ ُV:~U:D57~QB,yt?ӵExt(̓ekPDkV@P+#>MjkQAUDV lp J)Py)Qm@}_eK`l&jE}ݑXfH* TFsjc7jyd6AdM.}- TbF2>UO, .Tu_OHˬc [ጄ6HLF75Ÿ^-Ɯ ^|xϠ{4>%C$43F"h #X_*f"A. CgN '볎%_@޻>+"Ya[jjXfJzOQ@e/J=&&nI"{fCB6`^ $!Uw5`2U&ؔi_j:BUA;EԱ'Yx {T_&&&%ըdȒ,3vډA $,6NHқPW$44t.O]`-j%T^&S2T\7%9]@\Œm W%g{m w .dC ̄ja!Lh/7GHaUaY<邉j]x a zm#lpovuzrjziXe"'jfJJCv}z`qǂʕ5/7ƪe,>'vqjq%CLK}ltSxZ?ajOX+^7 |: $}0Ls6ȕ<3gas"$#۴≗9ꡳy@/(qŜw` JL BVۇJHTK>Y{t%d\Pqnc?r7& gk#BAC?^x1psJuN[_(PniP EX~mL4]*E!ϖײ>΂epE||ߔ`esL^Dz/ijꦼ|6dSh$#cuj7Wsr52rG2)t |҅áz+Q`A:, 3P&+I.sOn^Sϙ|n=~溝GH;A]ȝ|x66`' k^ٱvR幤D}KpG6m^-xX蔅G3_2vk iqyuʦVE};̦s|M(\g ܑx)ņxsopALw hA$Q[wI>wF؝B5څ?$Ta C7ADTP"JtM&"ՉHH zQdp`)i ;1atfscB"*. 'Sdx] 8XK1ڠbُ_%%W5urh5 /1@&Y#Z`A}\Q=@־qȻx:J=t)k-݇A=M> ~Ql]yOh_HSI8y/%lV{*+B%%ާz{l ʖmG{ <:b2#;3%/t(E"0T=gk9Rhô{M]L@1RԤDEw|1h˽tj.?ރ~cF) xMVny׳o@ؐPaF@ԝ{=ifr]&I+pS+6'^y J87 '.U>ڐRxvn';1ip1ٽ9_${*Սea8 7&W?o:'"Ϟ\iQOM8$Ͳۺru< U,CV3$rT#Bs9`XCGzR+$'A}ggՇ_cZe&yՓ$]5[CymgjASȷl!^@X:%k suef* ?lޕ_{Up4n5R3V as8pHg$Ii'9<,e ]>.YrW<8.Jc_FRAg玟Ũh#0ET^\2"`/%aD|GaC[qj}Q !lɏA"vp][K2 KtXigu9^f;0YZ tt||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4$z # PurePurePIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O'&]Gg{78h3QU7ę35[R_ 09)q]߸-= RXi\$hN$m2F*Lj5(#VdE)Z:Oq<# 7M5}rXu\q5J{]k A`⒟%WwB<@08[0swd* D85 \1sS ~O:ϣLr|YEO̴,W?u'^>B6 q v/Q<˸Ckj&խŲY5ZnAA4^Iq\?Rt5\,-; hJt&YjҩBkw!SC&-9;P4$KF]݁..Е+$p HIѯLwZT`8 vgCh2%u0;h$eeMF XIأ;!.6 [EIh81@T}!$1RO:)LF!æESYxyRv-.N_V#P ؁nVN%=<%|Ӊ1.9 KI~gؾp0)K:5яN[IrFWoqs9he fC@kDөsGFr8j@r)yr!Nⷁ3n_p+/jY2Azv˾j}n M ϭm ¼`gnvs </ݭϳo$vJڃ,E9rmjFhm%̉I V}떊º2'"ih:@P7n5°m96#{;X| LhghIMR{TyXټ+9(3 ~I`[85'=8/P8FF:49&OwY0~di{ ;R 0緃M4f"xAUMetԅD\'$JNq}bzQnQ$^0GUQAJhAqQ].p ;,qi9謁|ܤNf96z,ur%|dm61ޤVE-A]yϊïop ⢁7p\h5ҍ8m䐟"QwlaW7^Ui~TX~%5XQ>vT3sD7K%Oyi ht[g&Rebq '?i%jDM` JW#7'K95eJjTtCUs>gf 7J,&w#ߐ$Zs)JVEؙeKX0)VmkkP_ ׸ܼW*@sDG: 48NCF4/GL0G,븯R,j: x&'Tuд`8i `4?-' ,n+BcGg2;5m)VG;\?BZζ;_I鱹Қ VVM|YHcX)?=g>t[9:u:⡢m&PJAF`!,BMmr ztA-pUM݅^ ?N`ɸ\&b7Ma)kpQa",>qIR*k]uX*NՉ2B`_2^3e7; <:d,P/SQJF:|{ EEL$''jCU6j qct&~ 17d}- k.)k}%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz]8DL<DFh2sҠv 糁.pN`iB=@A;K6hruTt9-|J->C֛|ٓ7<X\.yT>Y'l?mI!^0%+<{Xqyir9^Ҥ;4#rCo:*=u]RiO#| iGMF9ݑ`sfz}8-"8>bumi.(Vy ^ [Df-C.3|}v Nn'S(hUDsWzaj{kơ{am9̈}dd3S䦐 oH%Vxzb/ΚՅL/Iv o~h>.A=;Givcо&HN Wy˧.{@V@IRyKߺ?"5 VA۶ 4:u6#٦o}M3Q ]G|I}sS^OﲲH^?rjAHhNT;F~2ѠFuwRSCP[w*[O GL2z/=6QyٶH]cVϠ'0I pձ0)h]aʄ߷7pPYڊ_$s!5L!U ު5s [[sy[ACܫL w:Zj0 $WqES| K?Zz>WQ]Fç\Bk|{2ChxbB |瘨/OG˹Mj0S7$u ryKS}t{E? y9F,l:iٱnu"7g},O(]2`3nrͺq`!]y$F{pl4_ɍ.)_Tv<}+C*yk7uZqV>((3TYwliޒe]Z#%j7ZU.ٱw2_Ȼ4!BNMa19hznZ(3#Z|Y!.$4ӏVd"'~-1u"7I48B8K"ԭ0 /%[4G3B2J =s[SIX3 {]ThaVtf4xU'Wg,&l!='dR^MkbZG[|Vhmq:ѵ^P$ƩxoJd[giu/kueV?`P0uG2&*I&_(qRRqUIpGgStZ+ fŠ+d[ROWnjW0 kogLH}rE [a!8t(_(̸Vˣ.r"RV7g}g'ɘ wذ % {#I񄅍{hC$ O̷N0൐vjcVmz\Iz). Kpvu`ny}m231c;|bzP+^4Q^v!gXNF[Y]=-xWj; ?X|SBU]TLbp=6w` β N?fbVȅ^}:8ie>@Zƞh ${b{4~ 3ψ*;zq-c?HV;`E𩌬)cG>WTfMN0MDR) `%UOڛn`)rw$-wų,+ jA5dK1|7lgE|QfpRٽ dLVDFN S7_ oOƂ)NZ)a,⊼'hѥ>r}5ކ}$[pp ahR2+\ dW+C΂*6Z<F*9Y;h4MhZ6@K2]q1Tf;UIhrO{ [q?msS7:7ȋ$LhTN( &7l9_  ުn]iCa[Ӷ+h._wZ&Al+dHl>`hCw\H|t*I0mV3 sҬO4m(X ?o%`ÝêpZ4ʳ,8PSWZCz:s5gF1[:"M#eP%73ܖ%,-7 #=B/D3e.}qC~}`Ae_:ZxWO<#8pnpa  PiCL֦1e Kx7)Jy蓺 Q΂D\|qHuQtJU1.b<:81mF&8[ @¢뢞0qk36w-$<ʭ=Q+`$M+ @L0S TofrtgE Ǒ^semqV7w8 b]|b'^1"MW8K< ȉV`<|a R2L΀{ԦB xaco.R'^ IIώC:ueBqOtav4o|` W,)ȶwI_;] %1km5?Clr2f=$߰<>N=O4q~ͦ};gm*{őJ[I~O <* Bw Hhp:AAǡ\0ƑܵC-4!BiD;օ 1<(WoD՜sNبѮ]/'t1 ##LQp* M4ԎJEw1; (f}[8ly7!0A;H;{>܏?_P+`CZ=+@\01F&%=drŸu7 Ջ6[h ȱgYZT'# lPurePure.SessionsPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ+r]&n{~xo^XYvR[|&y$ȋUo7+^ڵ:SN=̓<'\QG7+q%?D.nO!'Hyn3'!2!6 CEFbi>F$8 M,'"_385I:·+yb|U rZAY th: PuԆLiSK cFJ=,׎z̬8#}=')Gቆ,6}nR:rcX6qo%/xŊC:Dw3\FW%'I<ɀ"hEK) #-Ww861~ Yӑ0z2iP& =nLv C;K8]ܥ2Tg4&u &fߎa)Ͽ0cwP0S=rdʁyjNeĿIgi0U+VIwpK4_ m[=tF)M{v:܄凬ӌUb{!e\Fgf8g<s[W<cR$pRNŋkf {|Ǯ7dorXX>Y0])> S̟3ު`jpiElB)D긘?¼'﫨1v}LV86:xvQaL 7l|ԇB؍c|-yo;XjJnFB%m/ [hb<#;h^p $<sN jBowNU]5tZPN׿Xquݖ!BIߙk*#^.K=T"l]ϱgYZ