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  < <AplT< ] ]Pure:threads=1elapsed=1.431cpu=1.488gc=0.0007zXZִF! n]ŗXiɟHVҭٽDnjZj\*RF)reDS>{FGɋ-IHkxVjg+_;nsS$Z$­{m #ֹ3eX`gYZ7zXZִF! b]ŗXiɟ˚Ћ. k$wq*ȆKG~Țz~A:Hl7>7.#ą'* 0E5Бo>8@Brйҳ@=3N~:gYZ7zXZִF! ]ŗXi%Dp!faʫ1?5:q`rگwFk綃ϯ`ע Z[F$$^%#ߦђ޷fvNrfq4N*T꼘8 <ʣ^L]8+ |1,wJ3D0` 0+HQT-hWwPWhu|Qo/n =n'֙OڣD,Tuގ삼l>0wϳlɢt9\ұ{7%9p*2Hlq[Bu8Uw ZRl2DkDc^C 4}5sσ+ 1E}ݩm JDCB v%aSSMЁOF*GUnc2]+=|O}\ ؽ:+z$ѶB?ꂾ<9eD'z[I4AU9 _Hm 6%GN'25-zwcADdZݷ[!\G:vәe5zLMM `g\?A!8qPܡߒz6o,BDLǁy$Iaڵ#XPO5̆#!5-$sE'k]3{=#k@fT{K/:KIEB*t]T1HR1:3=`gYZ551ec3588793dbd5f34a831ef8112a2ed949698b1260d472a45eb144f018c964d5a46fcfd50ab761  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/44712g%PurePureproofs/44708f%PurePureproofs/44704e%PurePureproofs/44700d%PurePureproofs/44696c%PurePureproofs/44692b%PurePureproofs/44688a%PurePureproofs/44684`%PurePureproofs/44680_%PurePureproofs/44676^%PurePureproofs/44672]%PurePureproofs/44668\%PurePureproofs/44664[%PurePureproofs/44660Z%PurePureproofs/44656Y%PurePureproofs/44652X%PurePureproofs/44648W%PurePureproofs/44644V%PurePureproofs/44640U%PurePureproofs/44636T%PurePureproofs/44632S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44448N%PurePureproofs/44414M%PurePureproofs/44410L%PurePureproofs/44408K%PurePureproofs/44404J%PurePureproofs/44400I%PurePureproofs/44392H%PurePureproofs/44374G%PurePureproofs/44370F%PurePureproofs/44308E%PurePureproofs/44304D%PurePureproofs/44302C%PurePureproofs/44298B%PurePureproofs/44294A%PurePureproofs/44286@%PurePureproofs/44282?%PurePureproofs/44276>%PurePureproofs/44264=%PurePureproofs/44260<%PurePureproofs/44254;%PurePureproofs/44250:%PurePureproofs/442449%PurePureproofs/441888%PurePureproofs/441847%PurePureproofs/441826%PurePureproofs/441785%PurePureproofs/441744%PurePureproofs/441643%PurePureproofs/441422%PurePureproofs/441381%PurePureproofs/441300%PurePureproofs/44046/%PurePureproofs/44042.%PurePureproofs/44040-%PurePureproofs/43986,%PurePureproofs/43982+%PurePureproofs/43980*%PurePureproofs/43888)%PurePureproofs/43884(%PurePureproofs/43850'%PurePureproofs/43846&%PurePureproofs/43844%%PurePureproofs/43842$%PurePureproofs/43794#%PurePureproofs/43790"%PurePureproofs/43756!%PurePureproofs/43752 %PurePureproofs/43750%PurePureproofs/43748%PurePureproofs/43746!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/438447zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0a)3SApNzΊ(qG.̝쿹gYZH$% dPurePureproofs/438427zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/437947zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Io0Z 0ɖ X6NѱgYZh"% $PurePureproofs/437907zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wI\DZQIZVm+s|0gYZ4!% ! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ N"   mN3% PurePureproofs/441647zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/441427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSc==01V̫M4+):2 ?d+Z`$gYZ1% PurePureproofs/441387zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/441307zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A,Œq+ն,H˼W_Jօ ND(gYZ8-% DPurePureproofs/440407zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i;;O3,иĚF6iNe( VgYZH*% dPurePureproofs/439807zXZִ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_}V')\eqg9Ҳv]gYZx&% DPurePureproofs/438467zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&)Dž-@-~ZV]bfCgYZ  +   nk=6 B% PurePureproofs/442987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ]:s@bf}fl3C틖*ɉzԦ HagYZA% \PurePureproofs/442947zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP^,QO뷭rbѽ~/R agYZ(@% $PurePureproofs/442867zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%&Q AJpsGfhwY \gYZ?% dPurePureproofs/442827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטdmJ6Z^lyzc j;8gYZ$>% PurePureproofs/442767zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/442647zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}PcѸvr֥ {`]u-5AgYZ<% TPurePureproofs/442607zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*wf Z?Ct̞wN'IVȧ;z=gYZ$;% PurePureproofs/442547zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/442507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+TgYZH5% dPurePureproofs/441787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lWRUPy*:[;@HЎ~),H?gYZ4% PurePureproofs/441747zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ    3P12IQ' 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-%MA1d/bkm0( xgYZLK% lPurePureproofs/444087zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&נ>'뵙a2,z+L[wihY¿_h6v=އ;`1z>)ÚgYZJ% |PurePureproofs/444047zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ`s,_p3Zc:r$1&A gYZ\I% PurePureproofs/444007zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z)G$wINd#]ҟz_ ë# YgYZlF% ,PurePureproofs/443707zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/443087zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoj;CGŮ;L5 2/!jĶgYZlD% ,PurePureproofs/443047zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^Csx*W|`: BgYZ@C% TPurePureproofs/443027zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zp67sUX$t7u;.󪤛$*ӧtAپv01,u~gYZ  8 E8aatb% ƶ1bXⶕs_}Z]HYgw_,`GW:Y3NgYZH`% dPurePureproofs/446847zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Io 2m L@}!GJlWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/446727zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/446687zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/446647zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/446607zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/446567zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/446527zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/446487zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/446447zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/446407zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/446367zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/446327zXZִ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?._G%U'v<, kp{C} M\+,DR˻z C2P%e]YSFSn#}" ,E")uFHvܢlm[kf,(eRMI&ׅs"ɣ X ${9PƑ|(_Zb0aXM*%w!FNj)f0!OFf.Ȓ)jUC~(AʦC^u1=??"iyJ2,,8W=Ak5܅lWO-bq)߰2@<5 H"Eβ٧>יd3-4/ ]u%] G'Ԉ)W"2գ{װ~PYz+gYZ\g% PurePureproofs/447127zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoj;ǻyEqgFϔjĶgYZ|e% LPurePureproofs/447047zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(EsnP{"0Qk[R쒫Jz,gYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OCƓ(U8Pa= >F 7bŒ>h?.˸SyEc hd5q;^Cz˿P\7QwWZAPooԠܐԷ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Ǣ? >I~ήmX,Ʊ8ŠLU΀(LcC5 V"AyL!Gwd䐎wFc[. %' 箌 n>1䋛dJZ}.ڞc2y77>`B;ڄҺ.WZ_L & ((0x˝0IҐ;Gz%՟ AJT3cc|^7 ,T' ;~gYZyl/ (!2p398ۑzzKTVckl4SK[Ԗ i@L"K TB (xNsYJGh SW*6+$rc)LOZU@Y~ZQY$az׳dPT*NHb7 uyu h ˹  ,iEK@MQ,ޑ/l#b }aQci!OBu:?m!%|w~n$,!$x&Z]SڼO<`"0Xe+{$j$iM,TMȞvKvj7h=Ve '4IK&v>oӮW@t=)J}G sxyYjin$ƅ}ө4U~{=QP<"ؒgW C LAV*̮{-8Q+~O] I+]X-Re0 PSN$l?G:R=jsd;RTӊ 5Xru@ xaVdCKn5UKлL ,aw:Pu sO&5PL 2"@޼$b$;H,O[r,پmk${ϖL-JTG9i}w U2h*A6% XfN͟M38?^֍řnH7sshO}uOjy`HĨ_\c!h!Ja@ Ѹ6`^&G.wfKiЀ.[M AS3L':ͦ {{{;V,wiKrʸά=m0&G뭰pzEL~Pe>h#C>~(0gc1BI1| QipXB;◘rw{AfD!"%0Jy_B…qr ʼarS !߽aUBϚ q20iEzy ϧ% ߘ}."=ȑV1s>ux6+ٌAZGc0Wtpfţ[V+"ÞؗVF9A =!uUJ2Oj Le*a0Fu3})-E/Oi2Vns*Jz&GsnZRz5;.i*rb[*24EzbSqh4MoDO]i T3q*3#cKy+ehվ%SC5mur菣("vX2cp=M{$ z"u_|*8^_tDqy'b͏u(,5@ K]P iY7† j!b#e %+\e8 \,PybS=L_EX@Ϸ%~cCV|0)\@YV/ \$}VB4|{p홺n"ws(b/a&F4L'H 4*~go_wrUP'! э ^v72-!FwzU Նn:`V4x#Ĝcu%l!vO{FM4?]y $TCLq1^:DQ L"P#xQ_5R%B-2Gd- ~AiΩ{ 6CD켍h4=/lJ؎ᶋ鶬&Xj3W:)COe=X*-H~fȣ ĩAlĮ!;Qe \Ge`4[//ݽΩ$t+5RM(-I/v;RaB>PG:Q~Prr8 [aQ=GAI6D-aL%H'}~D"(덽`^~on#CSVTKsO<65vn, V odiDP SN6!sh+䬵pDTa iE8O8Ȕ_3A,V:A{mwQjy9?V(ӻ@*\.yf8yf/gvLuF5I 0$6 |k31C6)]2)R4(c5KSz6>qu)@5a,߄}d茜ZS!9w;}.xs!?FFF.x]z aѵ7ggUԖ0)%!rZsӝ焼%7o A0 M?1wEO 3&SGͽA0bevgliJ{/s\8C'BaXai GO黾g.BC!'CaXo']XVZD*~D6QI{+#Y{wJٶyb;I؃ia pe#10gg=H4aO`JũN>xpZJimf]t AfDZ}=Hw!Ufl;xO -$ƞg1> (9RI+;ߛL6վm'T93|Y'"T?++ȓAN zx?M8,ePL x&(z&!Ǹ{isP;?G@75B(*d@Υp~,E=y|l[rG? b9xXa.=k`f :%bsiDZ_$Sfi 3Z^ _!:ŻY:ЕzJQ!x;]d*PG dP*oNCbc~gr%`s|,W$Nbd2\d+Ǔli9$@ؾj`.9xn%af,z/s2=/b7ֆ`4MVwܨ#9vÜ7)>Z綘uvBH,\!YVh&6r< vS"4;X%doJۂ҉L>&5RgE%0WV3Ⱥ@61dIĬVA4D'lOrҕVnC)DmCRHEGU>V/{}EO hK[)s#!1-`5c๥g@IfπNރpt7zzd>DK,j'E mtN-HUZC^oÀX )kf+vL˨&ODGT *[3"r'NU2*GR:i{g%3F:RȦ3KeR"C<p#GY{%oos MQ̰ iTs51Ta?-'r"U놪E $}) rX'߶+E6sрqQPM_V>yua{~ j*N]ş`mG}w b#Ў2X7 f8ρшIz n$qF}c(#v1mY0'j̾fM?ڇ;S5}[ي=cogLKv;J=|iBYuwq{n^Q}tx&焪1:YD݋T[*Rnm n""ղz#jN&37H+SӺ0{,ɪ9gtw&֔+;zDW: UA=AsP1qռ[i2 )-(ZmoТ'mߠc$?, }cuY:`Ypr`,X^$J?Pc"֩lW -"aJ{:DWFqr;‰d_q :[^J]p0yLPKF2Uq$yi?g g~Nh96vrB}?m{~J\’ x i]VloLby)_'4^E!dUhI\dс4aD]T_%MRhrG31,J m*לwM "]4x$BhHdZԻXaPXo͕F$j_,ܰJHkڥ<*)sVmQ6db? %m?GZKxξ(ʼGX~5ZӕY[!YzS&5~ rYxͮ*E=C!|`X8 Kގ69Wu6BΛ8v! NEYj Q-} -+">tӶs  ;_>DAU_$SRisr?*PSΜ#' YT]ue0tzn%5^^oa.R΀+ڨPF"s]t{a8,jd Ţmk ݂uZS:nD4ڬ 9  5f<4eQI I(.!KoFx8?%dC!}btRP=ԯ@g %3+C{:TmtFkOMWR8u2p =2[G@YAAjܣ("֒}'Sja%3bn(.mJMҫv' Ya4v̄ysޯ? (' !HFUqj@ш }_]u;pTz*V([[v 7^o\6ޏu8:ڡ`ԡ"IZy`h@U4 }TmfkkNMKX>GY1E,j}j4NvWXK뵚7w%c(x,1V<C[s x<1Ɣ,4F$7#ǾI|%)~x\v@]]͉@.Z 4H̹`Gv,CCj4}u#ZM;k5K(y'7KI0q'\?EW(iZg=H0paVScEض`)C}hSfE``z~۔ǐE4";Bf ?9_V^V T;!1*4Ԯ:<&pkDK4AfcTp8{tfAR]6]2a@ YIJ yTL2T֌MIxt9 LY> O4*0)P'R jf,vcg(5hߌNv 4s֍ }c&w-\hOr/,.~E8F&Gwx#: 4@t;|GB4NE. HY"Ǝgo$hO^#Ƌ`[ÆƮ~񇷑h~msGΥ_k)6:#H 鵫?O@Zo lZX+w4D+JZ˿Z_,x)SR}lZ?@>bzմ[`T[=v'k\ q:wk_zRG7Pɽ\T f3ֆ `ؗ!)Zu̞IS6 I&$  5$a$BI$a@J]gs䦨0nڏy.9+%*$S pa4;&8QSBt7],_?`~DXBP܈~\$T*5geČOR!֖C@\*h$oRAĥ_=>ӻaKҷ/Pޫ ,V /^XEː{oz*o1Ϻ;c WOpQ.v!%ik)5OCkB:uK "}S&&ҙ9b Nj,c%qPۄӬaaNr)G]Ni 3;N6w,CJQhY*EF^itFYal]8ܿ]HP)]6VL}`!sQ&}dpSw_w9xqG4Mg=5h#isOB3x&:z͗ăZ<|n'kZ'~i-G'ֈC/A=V͸tsTϚfmytLڏ{PL+f=FzQH\Z|.}\\h&9mHԹ0Pa]nfMV r9!6kqĆ4 DǾ{iIb뢬DYsv.|-YNt5-a+GW];M qK{y6SMUNrH{iH jB aO {-$Ce7<0Q#o&M45I|Kx?) ;9p joEw擑Aui{=~Kǂ8l|uݗ;if!\gPqRӂ`%O q K˒:ؤ;1 a(s ƝА (4xöLc0pvC__XEA?,pV߉$b:-J\jTpYm l19>V5 pM(#tͮv w۳\ ]{ lɵ g4̠57>jtݪ7ì^ t 3f >메a('tsKjp ^ Ojsr:=rLQ]ԬFcd+ ǣT6̊ȫ{Q4 `%SEɒ@H}/&ƍi7dtϗV-0zRz)S9̄PբiҞN_eh V<Ԋ G]&D-L n;STivNfxgmEOCr&4dCbj3@+|5PH Im2]:! BK¶7xǦX[%4B.wرJkˉ?V\0?g5ўQU!5E1bLGeaD5KW: >RAVQE G(Oa, NN%Έje5?FM`J: Z(Vf}͐"z u8E=:bT*zY乮ԣCFZ$)R`)q'tҥ dbo:wRh {t??N290ld7{|$Z#X ^q1L:/n _H*? C-7\#yQA0ds%2B&M)I̱uZ3ф3ډm2i?7.h$|^Vs 5dRޖhZ_8P!KMK1Om0QFL:kUNDh.WEp6&tCsί0Qԑyh1JZf[U2 TrMjʯݜ(jf܀`6al%ٯL=Ggg\ \ՅѴ` DUTo;cG ܜMT{8zLhPavv Svą*޴2o$wBcokw⃝hKrfeHGykpv//!0 kv;rONJ$FE"4tޒh f#1w>Wߘb߭ٿڷ_3Ƃ[q- .gõ=4 F-2DY|?pfX3X Wxk'$D///1V,-.S̊88Cx+E%Ĝ΍N;$eJUz1K}jޝe=FMO Qw׏F"g'vpN)Ek:h;PVGs a]D%w+Ed.tHs0{ VԱ:NkT!NNokԟԺY>`ɝgvWI=dr^ !^+O⻁>߅6+'x\$=ިdeɟ`GP5$/zt1.[r3B 7' `s$8TVąŮZ\ s7mN1n0^X04mHPS)c!&5"/QLWN:+Ye$98LsJ\z 5)zaL) 8/yfdQ䵔0DۺjHcvQmǸAj7_b倁&ж{aj<}Tc @F,S1 i|X ԩor"?7A3 1Rh\^R-׭A`O‰hoW~O7g\E< 59{. Fkp oPq* ߄ޥT>_8RW 6yfg98R !]*j>Q^P޳A^&.rQL,4tQN_ϝ~qtj?=NŔrqn=l[OhPI !&,])Q?#M{DoTHbSoƛLujq ڃ77B|!KSzK00L%K$Qlji]w% D 9]!o`lЭhMWD-*:yqM]n E|_Yl͐ۚEhCf?}"JmC5M9*[ ~w(s&oXV|> dhb\-WpA-gބ/ՐA8&#{ P;H6Q+w;o< ;=æg+}p^5h%`"COb%_SE͖x@+"E8a^>y\:n)WF JV[DNHIb>pf[# I?. ʺö[eBriŎ3Ovyg3mVݥi2oE.yh1oGPH$(osfO8g0;%zT7˙VX`grh|;6w SD&h_:WZ@jr{ʗ%L?*!%čs,hs}1xy"pq 'H32I4HeX}aw:|Lp ^fD٣O疶EEdk\i9"XA _5bN]k.g]߁+g='K?^z)]P[e030P-^#b WCD驦XO@T80tswMSM~2O%'(߳M.T"RȜk3]4&1qϳ]f7]z3x 31r%u+P]ƻꎵG?gG )PP-,N80{9綫g% k80qMV@бbEnK4G]RLɍo=)L deWgu\;ˏ9)kچ_0=bG.I˃6{{²u#2 p35e53s4Z`') 2/JtG ܶy>gMAqNC@`M/1}$ 68 + E_R&5{y dRowZnL=f~\}]&UP|!"kx>b^CE=j _{ΰvj? 6ۡ? .l>)϶sI9(3vN+ 3SC RmyÆ"emsA &ggWzy[O'׮R3P 4kU0^`లQKbAmMkJtN٫4/Iw;]4Q`m2u|nPg^!B=B_^i+XZ'uF L$|mx+Y;/D-Z^_!i7 Qo1] K/Pᖽ牅/)|YkM6x>&VL{'^Ț*S겠 $M7d.Y)MpS" 0Dap񑜱3]EYED5 8X7~UGk4(4d+U8s-#G?u eu^KsѝX^-i QybA'q7sGR>V&;-,~,#Hb2+7:K2;x`5o#w]p*DЌL3&Ik^W[S q)Hf_*'Jgnan<,|F\yvA9n'`$$W3%GN$GN_Ah:4|`meNKwۚwclWE YVhhD1¢UEP;&ʇ`5/#J琖^ـhDT8o*Z+VU{Ky׀ X85e YC|anޥWWB/%Aʨ7nɇ+s".WQ&q,'C =6IϭSR *6WIQ&:W I6 J' @涯I4ߔg%5@yh"nL{0*:ÿobFYGq^2g Kdeo(."o]o )w||ೇv)tR@Є;ѹ[#byowv įr5Crxzw:# naI9ĸxG}6WGCKy 60=%ԼqN̐bv?6X6TT/{b3VlfMĪ0%6^XcC^54R]Ns4K^]!ޮH$w?(D ˱,:tG^u~yhʂP5:BO Yٜ+Px "M-kf,)@g֩NmV9˷ :?F%p,ΕD 9fGw/hW @jtn"SQͻTHjI%F EI$o;3&I8A' Egf1kXHS&4Hpu}LѬt7x&{(4?Y1jxrɬ\h0{ƱL蟀f72Lc8ưGnn%itt=о- $P,`t9MDSL6{"PGO@}3sl o Ԙ_e94JMԘh=0،^"UOmK<:DQG?&ê(DB#%lTZ"LJ/ҠO_!J2 x{OVD̃i'[oCEeZB;If& (y 8҆TJ`񁥨4Ly# E }-Cwa/z$P,=wxַY4hKB>T)+dou$bp~? ql^(l8 N'9 @[CD _YMY0a~H[}* f !coC["YEJ h$~EwtGÜ zupvqv֠\R]f'wtH)~cWD3G\]k e,zm^hHHޞ13dz/HfZpNh HZ3F6ۉ TTû*8ݼmk뀏\Ds-ʉ_9G-cr:Mdv=]]f)ћE'ͯL2fn $3r\~=%DǭjEi()\kPK S<`1fOtUJʬ6i%ĢHR' [4R DrffhBHX "#|PAϮHGy\~MVy2=^_C`U΢dLb*|*V9穬 -bw,9`Q[@/G8yf^ ^̦Z~U+I7:D1An&rG[BΖ/Xi=?tyu]Ä"A ~ʧbW)iP7輎6GCk}pk NuM-:WbA.Y]ɥq}T>~2<16ءw1o3[z H_9frz>U-(?yKsew x!xyBh1Х\bmlc),[u[GXZ8ie/0h}[ A0an.P\b aU|t' <^s(PҮ0* }kR̚8۶sJ< =_7%]CD'F/ACLY=:>g/u2 p5oi:,W5^Z5o'1v-a##A} ª*ijNĔ^XMqVy*u0J OyZ'ׅ6 _Mv3 ;Dt$3j=jIE|;? "pW[ѽxBiF5|cF0QmbB6X s+1Eǵ$ sǫ,_o,GGb$Wq0hd[58q%BlPy/Ү"(:.|M1gQZvBzq ~֔gs}: ̗ܵv~1ˮMuB::\vcy2HRs |;d?-`Ԍ߇ꙧ֥/ګ1ǴMVlE2>]:t\g!"%W'\r|^T4YC*cr!}t.sjUiNJH 6Ѹ*R+snI[\Yo DVׇY,]|wT1c8S!僫YBy=fv dD:yΦVAm[W4Îw:c BSxs`Fu,Q䌂=P#)Z#~ p>q戃cZ.G'RJOOD.ɽtϯ/.nV,zp@a?j>VTWIU>~%Y@E]UV%v}d+k`i(T@D}V(j{u!=<dZr(s&vnHzd) o]2A5?']$խZtv<[x)+kD^)=:CyfBKc1:,Guk'x F&JA&Ȼu{ G4HB?^K 䢫#SӥĬ8V @9^CE:On$kvE|*Wm V iќ!#tюwӃbF})o,1쮹'9qnSEutZRFĸ Vl!-"O)~P)5/q?8هgI(`o1(I;RiMamlw3E0I23e7{xi֙Mois!SSVUҘؤ!*l7 =wtF+)n=[vЛD_)Wͽq/  ֚vB.H8B\IL|cq G'S0]tN>3W YOn *jƎrtV_P4(t~mEdIUwB8X=-uf*;Ѷ˜I,K4 A|IP-_D2_ȪKj \]X'(c ,}Z)eIB1l*5>F)5/h_sj_AzZ0!xid k<#i6Y𡸠Ff 3XWu}ZsA\ _O1\)yNkdoT{4:^!",'gWQ fsUΏ!4P&Ռ\(Ƙ~Ikt'+XIǦӂ,gLZf01˪.k8ٱr{l4sX_ﷃ?ê[NAz:D}0L뎜V{\ef z26']=Fzƛ1\|ґhɷ&5z wR(.1$`.oIƷEOgä') d,ǽ(QIalͽ@&>-f˹$J | oJw .4)|('ɝ3YǤ!`E4]h;c߹ȺGIdڜ[=zg|4mGHjr[(N1T(En \7aˠhѱ#NgYbcH:`](rCJ:/Bߝ?IRW9lc#"εq47Hx-N%ǐ%|nU~mB,zm$|H%Z8\uKgg15qpfeB1 sпx,H9(GŮO 3^d7thBӭwZٻij/*f)sk*w  9I!9FX  I&d WoT7}1A|L8 HV[S㢐X77ۃ; 5z5$S*ڛpp\H '|^+WisuC=n@5Jѥ2?uG`˘= %j%+@[2k;4J! BfC fk!nPMu'RĜ썽~TA%a:6ÈGڢ$=etWʠm^\j8c'Zdb/Eid9V4M1{Nr|Cdjn*Ѣee! aduV6ۂETtz|Uqw~w8b&rP_C1I,Xcv@˕2jM@X(t,i#TT$Lv!&6/cޢP@UDۧ\eBu#qAplA+I{\2ڕ{H3kh)ɩYI#%@/ p>GtrzZ!@&N](u8β ӄFS7U,旞iH4V=,<'rj%2\|eCx ]ƫ";'3 $EPCۀrk.ىɆ@lW܈]0 F'Oލ"iyG\MNt+RCtS5L>I1lB1g3ו5Xwt7{o#³:׽ :xpUڊ~Glu>B)Vh8oQx`X5`y5?Xb=jH"[Ϩ2&K:jDpuGq~~Q'H4Gh$ N./d9zbߕb[sx)]<7PTd`jQ4(6q, 7Liw@i]Y^+yT珗Fgoy__<xU 3V:|1 !b?tIJ)"Sod(⏯k !}G<#e :v^ 0fMBfjg)9](Ҧt^ѩOe>܉[JA51Ùah=:ح9 f8-E;kĪs|XXb&5.DZኒ}ʕw 杹4{Ҏs[%7fhvS3 xX7 3%Ի#tif?[$mGQal#N]ݒu }}'Dpm9My}Vkk(|TUvj-*)%>mT*<=Pbq09i =zb]W=!ŎEᤡ"8 v]UN x3V|*8^BW<덋0&_xN+C(r,vӑ_xofY4IYDeScdOރ1h1nx^z \S.0f$3A eT6@mSA/m=‚"f O?ҋ3vn\t[;{kǩש3cyL9PmAU"s̴ Y*k֒!Vv3:U?I-.$yA˲,g}Oeo,0#wd% 9F.p 9^vQjLQeqK}*&V)2,~1klb R k˱Vo:C l.V[&I5e@9Υ)N8l>Ś͙aՅ1j<ˍ1K31]՘Mf3`Qxpq(%S-Yދ#k8t%]N`N:[?fgGw-]ivܔ? wjԏ`F%]3 |fyrέ *G5zBL*r/*%,Jma%%>Ǿ]7JD,ha\j{vͩhw7L[ּF7KkJɣN 1zq${O^B͉Zk.\ ߬z+AtQ"'ߺ?f2Cʒ9py$> uG8.`j2Mڦ\8\eqih鉷yL)h[Ak ~ެ4.<MkH&W#TQ̇ۦ=Ad<|F`ȱA"`BV_0+WTV)Sdh%,\?2!1v.cn )n@U:e&>tlHgbr Z&=?!fFQSu>_$t?o9&<a|!ҁ (NvNGleŞwaҢB杬vrcW_Bޢh_=LQ"qgӼ#m[hgMҟ"DawE>wY*Ɉ`ah 8ZG߄#'l\9)cQi$ ^o!-hB1(ldmuyI^D+a1=qnv;4jK"a u7vm qZNNxYZ4"X~G'RUI]\e=(T c= S4edG4Cu;ak;ΥB" s#OT7;_UHsPLFWAjw82ߝ9-Iƶ*EQBU)~s9x* xWlwO~r3? b_Y<^q9=/ء4jB W$.4`4mL S?ga 憄,/p]c~-?V4IYu 1TFøvp2l" KWT^*xG:j0M1z>e ӈ'FRy:ҺhrS߿h]Yr qf7 6gagdOF0XLEiQ]5@RwRpf2n0˫Jz2$ 1k7۫ΝaEE 1;jXtbYu!:PVJၹj(i 2Eki )_pD]j13(MцLg"4\Bgnjv\^YIXf#==RmA(.Ee(/)1Ɓ1>’ M޶x:GXIFjBi )O$"Z&NKe?.Y O ij#BY慢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 P9/h}R!&Yj2Q/Y .fc>{~q~\[Z">/b+09vdeGx;lL97 мc 'eƔVʶy [Kg]|Ɉz=1][ւԙ,<%}{'e#eQ21ʝIsEI(ծe?.dinN/cShXsR _`آn- JjrcY,&0)#kcskm7#E A82Y.n^ dv0-֙b.DĆL9 qonh_+L( 8F'`3,`𝪫Us 3 ؠ 4Q@GM(mŽEH~unLO\>dPxQ>#RfJsZ@ L w K SLx% \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_id2+u') PurePure.Sessionsdocument/latex7zXZִF! ]A-MՋhvG"uIBm5ȢED:FvT$ ބX@%B  y<œDYɠ5$);eY9I؊ܣ#fS/Uuq#~N*]? sz\ӯ.KJ7^?@~L+3,YCXj׉daɩkHpX\.ۆ ՍYj$5o r;q[F\0+z(>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/parentsPurer%) 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 uuy% dPurePurePIDE/markup27zXZִF! #! ,] !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/ @gr?k+@5[+|α렀 hf\>2[E,2Khӥ -wk?A"ud ;FAߨ{Spic\d?[w!y ?s!skI9E f6"pJ̗Ke{jԔ,/ÊʌP՟3gў_h7yIK3DJ2 ߼~ |ܳVG)> (a㾺=J\h7d~%|F} BHBP?Bm_9o6 9:@J}* M O+6++}\)zB-7~zy*M Bxh}}|ZdTw-ڰ٪/Bxy|7u(j(uT 2(Ԝ~TkFt S=&}~woӰdR3=uaX1M$rϊ?lPd"qw̦-  _7. szvB@ ǥDeeq:QYkkׄֈuYQi"`@k`۳Z9 R@y^W *)@@V00q &%baaL._&ꗪ-#-?U+ aSϖi«(S\=~pEF]e) }@*嚳\\4 H`C5M+u' i^n4uzFM-9S9 i\.3? j+ʃϞI@ 9]^\^?]zKsun?>VBt­& cgioL~EmuUc@ͪZ5xmm.@y7ZӛC $EtvpqE?k.%nAR+\'vuؘMQDcppѬ jG~I^Zu_~Wg"@4b5N_BC١d]:/5v҂emM'3 _UnѪY}y_蚩SSi)6Hv#4zEbZơ y`su=oShLvalg5#𼲅uPU_(|̞t3 . 8mi~d'^Z,)ȏ[4=<>X(v{cw}%{ԝ%۹l2aA!58؜:(<hdМ?*uzi>04eaӶzsT` =m HݲQ,@A(p ʷ>Kb!9Dg6glZTvbsɫd)O=^~ M/\&2x#KZE_xԿvo3xrJ";|7;xs̯ x"QUdp 4E7iՔQKV0%Eu:h$ԭDix5ɕv\S&4ֻ5ۼwYfԮ)н\y'֪bCltXM8pBo.8$@Po_WC&["x4#&vJ1f9m X f̜qz¸DtzҔ?zXkM1X"Z^I9ncmB> q$8ȱ YP& ԕU5:Y%ݮbK硦e/kk.nH,>9M M-ŷ?yd5^E9Jq<${{Hw>Y4젒J1Tue4#xn)"0֍yoٸQa|!Dnts_x$%;0::v8i*-(ٗ@0<>poy`%Skrk;'CTGyF?ŁXMVe rؘ`֫$J=v! ז4j^IV 0*7Ź,!о|tt}G7\xmFrKf\F$&@njAro,v0ڴ\ɐ^'y92yשic'œmygNA-rAwոp%WL4+ (hB?!k\ ?3Xck_A[qJGGXȚGA-ӠPD'Lyu-"G+QkSx6-B~= B(igC}+2Y1y5u\+W6Z< 7z^ V_fyqGܡ6͕EUj fkɷY6cS_Z7aH aN;ӲJM^U*벾殧4RF+W4,RUQX3YGJuJ ~]R$ }2 `gH?GQxFx:c_(zQ,@dd1 ~:WGW>nQs֮Uukk8Wn=v))*xGA9-=^)Q'۬O{,:Y5e(Eur LZ祎?r}{ɌL:kt&aO29|IzOa3x0-㩗v/hppD t.";|@;0`96 S.1 wäҾzɽފWVLC\vux3Ƞf _?bh2TDz2A-SĆ@#Uwt$9Gʑ訜o::̄_N l?{"/=/QNd]>6wL>12&^8PJ eS J$Q<I3`SW1D9dɿ:E2 Li+z=FSfk~׈~u4~ poYoS&~)O}ksxJ4 |S#),`gyMQw( O ,9.M\ |B-V\1qJ <6@R4hXX_(Ҧ@fo^} +p̝Q^"HgnWC+k+6Ԧ0b MxiُB ћM5 =- Ȼǖ2lQ6@qs"zBXIЈɆ&Hք.80wX3Kҝڌ-_ƁR*:d U]_QlRps0M½UFK•Vn9J ; qbR8 rv~>>QǠj4U\T3YG]1KHޤa}_,x2@i`V ޸:C~捘5БlÎ,զ HTSde3 ś-Cgy*=prwK2Iѯ})ɟDdTf7/zp͛=xl$LOC-` fZRD` -SR` ĭ諮B?UN A"X(I4[}l2PzHj !pJAyхkSxNw(B2FYI/p{p("ևKLGy`dz~S o&yP ej6qN  5C z3ٸN4ͩ &/ܣAPW淘9MV>tZaV؝~abi$.S,4ٴ^-!s|Tq餍8T~Y%{^mҾK/<ԝkh(9~.#PPz.,LmxEќq& ;Mjgl.SÑ=Kt.m(-VJ? rk` 4w*~/`:cΙmE8s}j |(sγ`ȍ,]yxdchdX@U-/<^ "#V|n ]ن(zMьDڰ`#Gj,g_$Lm 2 IApk9џPە]lt\Ou.2|/*g|ahF>q6D扶y; `BqVAA@Y_i.rI]%y ^V 'w\F@D6?Q@[D4 i :!r|{SWjI8ImWF,IDJb'] S`31OaS7+ N"bJӼ5\6'xS@ cz,CiĄ@$G|Hs9E7=25G!Edo&.N,mEFg(=sѼl]|[F]? 1JH'D: x04>Ê'4Ag 5# oriGtXc5b2jEpB*wO3-PV^;h|E@dߧM_@2 ;zkO-13X7q@6OZgLVKǩ`(-I"..)zkt:1kPgmi1${e0 D8$ 6OE>_J$) M+c<Od%J8 w(L@f_/Y :$GY3 $<HRtפҊE5z\D7V@ͅgQjajR&bL.#C+d$]Z*ݒY OW0ompBWs( 5r;|Y NO؏nRс#;v0RqV7Ŧ)roėża`did7`7ېh>hLv&6K\Շ 8 ]]jj/Vu<::>ҫ!jr3z n>$<׼9πCkAH7ټCRWt+?`kq6>8&h?~Va3 NjIq&D- #L$"8w\iڥ|.7爥Popsq_=nњ-zN(9PaO}!@[z+k:sxD/P"1MFѻ4'̿%b+o I, ֈٜϷČ\\BUBS Pazy2lKlxFm21'$^GA'OOOTY$sO4z&'B&-t)ĕ93_F* A Wy8~:av>odEs &c1/g1X+mwho,{h'Dv!8JZx9:}9 PCӅ+(4fF6$q#([eMy=i^e`:\ |DZX g0 j5DŮFM?aL]vI?o|s8yYBMη$n7+F$H89x0`z(DVPژp.J m4S\ͽ_Gpy}j$3Ğ\{'N(Y|E4qK޻?P~")WI~jPp1FN?gb4*DZ`yA'eUp1b5&.8=\E#Eh$^b=I^N>9/$ep2N{'/6J̡.(Hs(pъØw MdRb|S$ eVl=_l3#!CPf阃tl;O@]Hvw~&#ȮxǻW'G1gfoIPcaFbἝ. I k0h$De{!3yTƈs,J wNuSֆ+@ }M0oUYbէnI%B>OPe8x%vpb5ܦ4kP\/Ys6bct>h|6#-t5"g)!jR0{y٭v:5@ҍxwȣo+;S}x$8`!Vu]3gi!xR v=5V.DL7 {*h`}*# 9>}М m!Q~9|I{H`sg;{:2wEK N˨4o{r6zg`",I`f |HrOaMc8¹u*>fWף ֙itOS8B`J7XZ%p5#л{GVߛc ,T OiIB,JXI ֵ>3 Xu͹')i^~\{4]ÿG`" Hogl_Lmۣ/hhU ( 5҃G$ -uIXNvd6B¥/*>革YӻOw?(cاi[o#:.f D*lUJR9y9 M2:jprRjͱH)?f>k9`8+Rq {%N}zk&Q!ֿI=9|B eMV-E0 GG}W?SGmr?;MO6g zXzT\Uw _k+ZDzಆe%MD` 6XM"iӀN|MzonwI,yVwLaM=̦_ÂB򞚸5p8S|<+JE1SDb) q!r Tshx'>h5~"MMq}vwF6Ct$$U]Ii1lu8-c5& F MKx +0w*DFO+,,c\Yg#X0ؙ/;*`B7QhD@fcP~ZhQ}U1f4_*Fy{VVqL<B3.Pєt[jh0zVmAk.ȣ.j9F\  ۝~0wޖ?!,qڵy~ JYF% 7ixWS8ml$ts617F ~D5b_G!F.0,k oE~>'X)'֕nYމYʂjO :‘6Oݼ)4 lKN~Q%0`COG{$R=L`eڑ՗YKUA9ogɍW|С@d-m$ Vb$-e~M(yhu.mNQ˰z:!EihOx[XqWJ~$}fs*`9)Rgrnn53Vc=4nAM#|LM9KnITunnxxG([M)v+re$+g;J1؆0Eߊ+hb9bkϳ!ik%'w@Isb}Sﲙ~F@ ?]!3=%QHǩ9Igv_.KWR wNmWc%ziOʰcq2m=^oS0{S1&fTbՁWߐpV!)Vrh,t6GGc}Kw&-BF lkiq T=pܴڹ11b,!<:9p|S"/*EW^V Z_55*m+{ʷ"'.|}ffƧH"f^>S&*7N3í ʾHթ~H;NGCQ3O>OA8ѳ0 )4f~eE0kA9$c& o߶b?A" )D @U:E*j {Ef-!cGd`?4n)*u:"==ӌUS)8寠O၏:>fyk|UO8EPIKfe9 *QadO֢GMt!؇t.a5?wKrK/T(El+X/S^5`6{#`J/A`6RezXقLB1CC XçW@N^ԽT^gXU*K2|b.W/|H\Fcoz?V2[?m\ 35#g+&{APM@d9:կWHlö t.ϯ<)\)ۻ?aߗtF"|7~m-9ԅ('?wnms4o]U\qfz{4WM+'htba#ܒ yĺTgcOwʐx$KJ"_2ƎIMZ_A,xU:pMEug [qm"1Ir~( y銜?|Z© pV\0o\#zP0mNT#CGVb[{ )\\[OåTyIb,rJl0XE[4>DZ(=.)TqiN0׻n}T-Xyxx`3)37|J~4xlZ!'yxV 뼎m=jU:;n|9ϴd4}[ V]g$>a 嚕68Ŋqc Jd(+WjeEeݣ)40޸8}&{.^P*^M_*TWgܖjZ,] fa*[bed'C) ]jkX̲ 30se"x_3*ƮlgQVg }K(N:G" F" *nsHٱS&[,nSQkJSҨ!\|3Eg@V['tNmQ8 dx?$s1PF@EILFgRM>#|7ucDA)'%Pf3j v]^䱙M$[[k6(ꍈZtӍw P&j6wo7Y's qR\bUTu7b#qluuCͨ/f5}6wYh&4-g\Qν*"{[ KzVﳓ\295 Ȋ6LyE!A dړM9vNb iC9(M}-?ykY.xeN1ܔ´<|#̸y$׃Uz?CdjҚo#9R2\kޜ%i-ˢNخE+K{!&tpRvXֽ$طȸSx4&GsEl:cA_>Bl\#-ǫFAϴvs%KCsǤ䐼(8.?uw|s\`*++ kzyAtkI3>1Ws\=&Y7&bAH3(L!0JeRϿG$T;Lؑt>TS"_gǚX/>G.zmd$q0v5.J%N\4Q[#ݕ䳂fcrvS]DN4с's)8l*~g]v( ?) 7YiN)|KqXپxiJGޛŸ &|=>Z98Ye6[OvsX P7z]T#r`J`OfeD}0O*Bk@IQ>>8*-ؾUkJe Ŕ^?OcuVڼ'SFlR&}oˀ'6bҜt_C%Ü82"e҆,t_ײYq9;),5>agB՛vHWa `=žFh+px+?cR:~2:IMjxSA2k+Ά}{fohNHݯw/s:[W_]'%"6|YeB .=38oAҢ+S&NngJFNBeԱ#[4R{38wTh4t^y yiܲ&Gtqa"ʨWrk`ha#Kd6w?ޅBuw" q ][9He˘Pg7HիA@rHX; b/1OGs'oɳ9G]b& \_𧅃nEGE@޲^^<%e⦱!&OQ`ʲ)gq53T!y citt7A7 ߋ}f/m[j )O|+p# ?RTl~ }B+. H^`БOd骉 i-ַc_u!n5~{z@\63v\}v,`)V23=m)0 KUfTJLW7saKQ={0xSnQ ajйV_VЦ?CH.V',0WE8Ji@q:16T,, X[}j6U&q<BlL^бFƐY6Y13[zʗb@m]H=-ѵfm! ",=rhCɞ'ȬTAg!nka.ҤYA X@? 8?]ѝ<}:u7(Qe@Bb;1ܛ( YP%sPʌٰ@nbT .55\YIwnjQմC1<TiGqlh h4H؋yㄜE<72",BfฮD8,ڜB :?XRxHauFI);f &ݢ42.AQp8]3;a:l &}ɖ-ٕKwF5?;ץl=bϷ*[)du ial8 R\rU$EQmY+OOSv v 2|iN ߭ PYZaxMz;)G s_o* as5`%i|mPt:ڒPK6ÇpX6c;8WVtC|z ړx+\/JDŽGT RaRa8j_p]e9DU[d8a6Ɓib[w11 ՂsڑOSdq=4Xy+wil:'? _\KBwp 88?##ʛsH$O2>—?„ @$K󄌬=p3~_6± [,&&s!b4ݤC9}:KH7a˳l+Ct)0S-.taQA28=^诜n OaNad., @:`j^ēRc1wA|@|mv:GG4#҈.Jj~qu*lbB%UA`[ƣc ɳ 6zjl6ٜhz{|dmv+ױNz OY\xKGR$! 7tV@d̒5t`Sx1|[}pI6>H\Ȥ p~ )H#hDy6%"=RlBQ߲=,qTi(xs;B9]OhgoQ9Ahrs|A#GJc٧p/ ݤJ_}ɎL5\#XP0@ZhSP{0t:ObN4/}PSxG6}h&s?\*tvG8;'3 V񃚎w$.8\'q9yQ,Ő҃a&U~PZ\>8aNT!ZW;ikB藝uj1r4>e {ԖS;hlÄP[61 xOviOz>DȀ*bXt}{ B&su;@1~տrgJ5]C;W K[u55tlJ;ti?Gn}:9n@P]fkx,x'Da(:]U1 ^ 3!5.n 13cjèWXtGPs0[ Y* l$8X\>S/N-$6P)4#N} c:M,;prk(eO:u Op0h2u64(z~L#k%+i^Oh6aSvrE{nfs?t.4P ̔02MD:1S&gnmF AKwM%Zq1o_BgB0MbJDm+N2>$z޼䔚 U ]/-L @ E(~gWϿRU^~J&1N(Nݭ}Ȏ㕾zyoZ@N/ ʮ^ACyK#'R#֓ }Tr32B 18.4((4 8ԭބm>̧ Fa7FN, % :-WQ]66l^ Jku0DFQey1*C8q*iZ*E+0]6fl{(GmЪ<TUX:?>bdCqhqU.!cIr؄Q^c, hN@P]g7fV(h뉕RBG2^faYmmR#/ ^#\dVw[+/z־-۱I+ \aXdXnzixqp\_o.Czghz;BK\5 ݱ:EhT@8KDJ@ɯq.$ݶZ'DM(ahwM2Wq iVY}҃Bٝ0ݺv ^|(no1p:6@CV XkHꭺ6PK!U LpB*"_ov@]l+) 橱l+% : bi"D߳ KNMIEw\1! sӺ@W~~fǷO_!f(qT/mNKa@C7TU6׮`ʿ ȮDpz\e~=H>E$ gY: FEc^)>}7Zw'hgt;T3x>H  n\["Aamn"]:*pUjWtKx&=܂e4$ 0⇓*$A,YQ1"oAˮ2QfPnk: 6 Zxd7Y\ CF@0YGh3՟vCnrm"`)ݗbJΈ7MưI)c)5B#ʴⷻw֝b~A-\,sHO$yw-vUXR$7l4{-XLHϑ!c>Cm9pM&%ָϺgNkx|tub@/u;A<0r8]89XChM%růM4咡첆ǹKf eYu[&JQ1Ss-_*{%xm8<FtR@c:d",B[}i7apqQvZJ?{plB )-$hPtc $p͕_I|4]Ĩdw՚HC)4xBsL`\ ߷zٚ9LkZ5|pm}I*N )~hoܲD625Ūa7n9Z0FՅؽڿAL U1dXNyj іNo@ S}YT|3n\ZLuW<;-KN<ɪqanj7wd.;ҁSҰ`7P>rBYcIMpaGI)b a۩5Zm? uG%vO9ZQ^\tșmg<96sT20~6Qر%}7jBSORJ9rSbeh:zOd|#(Mi7RyIF(t4Vl7-KGz/ = |8v#?-i+XMʏ5Efzwv![s,n-:o@<|KT)KwO"kD va_i۽$*q>$)⦆~ 9gk`)4r+OmsϪ)q.橵.8)f8#vuBrUW&[v]S2v.Cj8MKef_颂 +P9;  UZT=1v7ZL6!kXKdIFyfnZ+ehxeq럭KTQ+ '?=ѷ(Uj\8W~G=X?鲺|ŸSqD9T5ƴE`)eIBDST|ko4wcm_9񄺚*D"_+햒<ߛmџC3J?<1 s>*t],QFT-+uHz4㪆lFM\}B'|U9A.(ŰX*6uv&&)ɋpjOMړ/byD~]:(B-A69fF N /*7d c_PE2Ϡ+vAsfѕ_S a$6;~N*/FR\7Ik$7P} 5шNig?Y/l̥y.YJg*oсicUy$H69iUfetAer-DAV9c c~ /Y5]7sb ݋w.qq&Ds<>[r)^HmwcԸtk=FϺ/*I#z:ڄkTu`x=m7flvJY.pdyuq 42 7ʦqDXaչy_̑K}lx_^O2]~ez v?7WԁЍQf(~L$>%XF٦ YYֿ'Z۬;Q|J#.o;-| t(܁6(5(+vjbr0X칰Rd! ڌhg=H4)كMB X[ޯTwE> P䞊; KAz u)anc 2chRZ]S*8^_ZGѤ\xF':{EJ`SR J`< Gxj([j0+;xD_fA@n8v5CՈO 8YPL' =7Qp'rxD,mL?֤zwE떹iT 'X@>m Sќqovsz[\@Bb} yeݤ~3efslvDt\+{A=(#/B<*HGv fj鯰o$ c_oI2}R5S5ڍ fņdQ0Q%]O3D{ڡBS\=ggMo ;};JQ$VoƸRLUnPt0|@GirQ|uK\`fZꃃcEnE##T!M q7ͥj)`,Em 28]4xQ?zEXc ˌ]!sx1`J*v~t-8qɃ^,#kCP 6LbD}D~(,bs ,Y5=vB7rxޔp`Ig&gLܧחA;m<8sRiS QEk7Lӻܻ6ͷ-:p N 9JAb D%q:+#YAʎyUԓ_-v@0cc )ԖQUb.X[%*$ɖrײڄW/P=>S WaI&U~7^/UqT;G{BǍopdZ5ՌZ[6nE/ņ^U |W I&Ԧ <~fٌdn5A';B>3쫒S$,N\T?QoO8 T^tZu!9+.'zaq3WjƓݤU\ < ȃle ,.D 7a~7 9 4Nn4]˙TO܅q{v nf|xz#fJ2t0*Xq݄ݘ; ;R@g[u8SiV< Gvϫ A2-E(dvo̒zLjA=eAL v a:3mYj\\zɧXblǰֻ ~Mڻhv32/! f? ';|m Pm2xhA.!NaG*#"n)2}E}Sw鹬|5~Ʃc6چ3{zo8u6aNOM,4)4mwyKe)W% [|$F:dl Gbue2 xv\!ľIJˋoA"vf${7^bnf#E;fEl9!GmE/w}?'}r +,*]iގv̽٤kQǕ4ˏQܖڠ6/Z0dN3^0/.c9گa#⃧kt,?f-֐cC 0hM_J=0S^S릡̭٭Ril_,gZ ]7I'(Gˤ2 Yn6\<B [dC wj6ek_ ~YtwG\al^N^T7Ip1Opz7ɍd$ℚ-<{&rtO2r6tiǒ旊AnWLl&ImkP)h4pm^<9s;.D@Ǫ,fQY?qKmp~pBV:>g^^s@?~ MJ)%#vs/ $(cH(_3L:c>Thn?Ū(i쀐*a-' Pz@zT |h9Lt,F41SVlX Ԟ4E BxQ?-:dhs/_MY-{pl5Ȟ.@;K v|\8:TS:1TaFi4]r^`3xxH5 E \ r50WT?ؚ.pb\sEְiI"v9.atX,7L9b.Lfxa-D6g-NsIp x^B #Fezũet)$ rF4(aiL>{v'zZn8pϰ2/$Kc!mU^-&ZIGg8v:tMja;l4\>9oLIJۋmv'W+Cv_Zo FO{ Rx4ɼuӑ2g's] Hxb(qIX ^\ .Jeloss7[mL9}T ZѨKPhbܯB s2Rn@ M53+W3Jʌ[AUIls6Ųm3%u"Ep>Ź2Qںp)ȕY2Hw[*4jȎ5hb|{Hy 7Ҏ݌5Ȗby,~a-Rd$:6fK0[J*Mw6y%4O`!׿^l~O0eeؓC]٢+6" ^+w(>wTE F*y|.9F2qؒ% [JxE!aWv&dK/ ޯ++ldIN{Q^ u?bl*2Iai &@@w{;9<.*C"+as}HA䝲Vxl^ShPy}ӮnEYȓ3l1# fljfh7PրbmShw&~Ab/&yer;|;Z%iLL4ig6CM׈-w/[ݗ;oA֋gb!D&< ?~AmЦJV6 QWqoIqo9A^5%Ƃ'U`iyEaewK(&quSY(>I8YNHi-QdTx8'7`$}6wJ\;hq@dA}S$3>OJ SgMCtTq^ȿ캡숗|FiqЧwk(TӶK3c\.BulΰAFJ 3m} k͌%;5S(Ppc[U8LE-=ck闯zw/3UKjMYnn8\p! $sG -i_4^̝:ߪ)U;q帝WEPs^1u&a/su .s ^޷ЍYd> =ARiTjeoqߙT=W UMu,WhKD0$My8rW!T;ײ3Q,~T]_zG$R´= ʡ[JtfX`UVCU.2%y xx>ҌNs2qWѠu)` m$fU]!jhoB]q @Oz:O428m @{Xχq^aŧʓ5teA1[=]q4ȑa]VIz)3B7@DDy}r~21D "W8Rd&f3T%s50@a§W6.0 }dggPq럜>)1ʰ#BJLIOSeJd@^^`/N{ R3s!|;KYɪ4T+z y=C4֟ qu Z6cի[!W`)$x,d (BƅLrXa ێזʋ-n1@JWe qڑ冸W䞁e2<[~v_!a֪M֦ZV Xy=Ma%\0*OV;'1 .bGfO e^_qWA-S嶗gʠ}@g"oA~:ipIHrەI>ئh3`جHڜW/X30MsHJ®]e0(YM5l;`=%n {[!rOwcH E bX=]C Tb2("ݥ9Ώ;^[G5i E:G Z^R`!1ֱ+2Ⱥ d Q"*rS;JR\]Faw`hpMfU-LECvQZ()ꘐTYc0 7 XՒ۩#@y #@%:f@\Mx(xDrQF?ԡ"VИI7B<ô=@,g$0M?rF:-xdua6S' (tZsB_ǬT E k\>̇p jwkn2?uӢyI;N0E3eis [v1u# G$l8,E9r=LPnk{k 5FPլE87.NOʁȉ[Kj\gL=UC_ZXbFP6Wj~xQ=e<=T}f8,ɒNj(滣esnZjBaa(Vl-㚳m!BJ09m~Wªk^ŒrAU!j] o8tw{quMcTyPihvgk)rѤm*7ޱh1 C1UEwݣi$ZBXCO:fz6|ؾd䊰7ŜV1A˩Jv;VyԋW7&7hdoa !ΰ [If!=]K y.l'NIRyޕp"9z%xj)yZ؞}Z"f,ǝ+zN wԊei/e*"4wHFnIl6mvoբطzݺ%.>/V {3񾕩N T VȲbT麓8h`>ChQ6kHܝl o%I'\|ɘkQ>Mbc["C.:pV*goOdcCbdWAܷRM!|͢3$L!nV) <{ѠUDK֥u ]ѫB1JU$hptf̛;A(Ic*~_֨9Β30a!&\ˇ&TKY0Aqjx^H5(5O? GaϯU534O֬i=^lIM`!&gWjS[=| %8Kک9?K|# Yk[ȧjmo3;ʗ܋]kv-I֓L{=m5o(50 oducO)߱f3dM&l,Lw/4&@}B/Ti޸GU\anynOmr$taqtt834:~eYM%?^; u?e1oe^d\Ȇ`RZ@~{s-|l{슅hJJ[8[TYO9쯑/!GH.f\b]?1&ῦtq{QM%k"i熶)eXgG]W&,c۵`;|r8&F"X˅NJS~qYH[0u[W7su~1ڀ$_#K6HdJ%gH4F'Ax2<'Fk8%07EF[˥Om"~QI1*Tu^8FӐa;q* Գ ec{$ wDЭQ^kv ic]n'm .&O6Cy{~}&* ` (6sÍ <^I|^CI{`Y$ c=ǖ~$q;| | S}&QWY&՞ڤW[ =d{-) ì=:M~m~ivγ9 {CUݞAޡ >&fTL  ˲uD͐׳Iv+͵g;0cYOȝ v[I䍐+~G_حGu%DD 6(n.E! 2^f^!ąCGfJwNg9;e]' (L􊸿 cފ7'MLCƜUАܧZ'Ŗ@K_sA.T{g)2ϒ3x6|BgM٩[KW$JJy&OE^* ܾWUQ N#XaU &p+^L4OQomQV!}ᙥKwvwWs$}9f68 eM#kSXƏ {4fux~_t j_ D 7BǢRy7z.)҉ R_G6aH9ो^RŦk(.ɦ9 ҢFCP̩SQ-@d+bvz/k"4$꛸lEԐ*[%4ǃ" \ 8V+Q(SN_H O?\q=WbQ{idU}?PZQ&NG%7PLw)_%v_&t.X;v_V^|I1G}7_7+n؁3@f 貳'VT +-Y9x&r,c+x]BXGzt75N-kV#àqwHTeiQȷt.R3fhRq!_6e{U'b`a= [(B1Z '@4ebj $JD:3G>u_ 5D])fɳ)?!?W A3X{_x1 ۹,IuӘJlлw T_u<ϴ3H/K)̕ b n8MQl2ul\n+t&V<`cƣ3^fu~T>4Ko)"#J5. - uMN}@uEo3,T4~.2lfe #&9H?y' WMl?KzkB"pp+~$ GAmĠ@` !yɏ1P|NW=i#ZT޶׼SmA%⇞q꺫 8l0(onCyXE+͠ax[£%S1[VpOf(#(_E t]>=.W <6󰷧a>^PErj[Y(]VAUA>Zmʤ.5yM^n8s1R/Ljbr$>wQc> |򸢋ZE N_ˣ y*>Cbc/[$0TV C5z@4UKXl14~W Ib-oH!SJ`ަ*a& t--N#DQGZ58 \9jv]ĺ E9ܩwI<%Lhf_ @_Qt5HBYxP~r2C."{2>v"RDMg~1/wȒ.<~ZZ3R֦p t cC9gy+x1GW:04=#|-QkcY]9y.)fֆۙ{>IǩӧPcɒ'BP:56Kb(1l*4~&k@UЙ ڰZ7ʡ4A*f&ҏNbyH#J 2)@sUˋpSXgx3n[TUjƄ=ZThl/8P84֩V]Z:?7K0H2k«gWj&,A4ǫ^S:aFmpS V|3*b'k 6.!*9g] ͉@gHs_zKkrW%P,%fyl@؝ԯ~_%mu1ތgd%R[A9#mVZ>/5c[ƩF|7)\dAj(FuҙEѾ0' lJjL.eachg`{lۅI6A4TУW-]<9aG_vKzcr:e#V(Rɽn<RfJD| 6)cĚF;]q@&XP' ѕEc Ք&CZuwd#I8Ӑ{7WAwHȊ2}uiہTU8zFN | `=:Rˌ7*zwk ,m.1( Khq?xo 9seYnX0FBW< O*\܊H0j;laETh|W{yž4?o,cB<|2# ^vѬz K'Sb֑U;~Mw-D^RDZqkhCAуXTN@`;[cF|lcj/)V>0fwS'Y=ݣ 9 & <\:%k |%c4bZm]єQ;>sPFɥ;ݽݧx#T4_C.` i.Ok3I^:ZH+W`y$[ǮX!Ey}W Lx`*L/ꋘg7q\T @1(BOIM0lRy(Ex&o u-GF_߰[򆉺SK9{JqA'~2EAB&՗F=tyUhLf½ 꼨>qnh?Tq .N)1lCl>R5|ĿiMX jdzZS&l<8L"8eCu6:'H8rť:P N @[*~SeD]ípk,7I~)J6aI8ZaM8 +Q&b` 6待C7:MbƉXUIb2 bXUt|vd% U8ŭ`5'$h0r#Um4BK k/~f8Fa\0l]-ổĠ&'K4O YOK)uɺY+bV0]L+["GcaQٓQ=ZhQ(da~-"+ÉXZ*V9@peFüZ)=]ܲ3nk@ tǚ,19ܛx4;`'KxR&1].|jdIXsN% :`$Zl5tnLJ}`"'u3]g7Jû#m|:2 v4QKiĴ_՛BDyJ*Y[ڍOOuy,:~Qq&ebsS${eR֗\ 7)GQY e:b:ZU1`[ st:Xc.e2YtT pm0\P\ܕ+nօ Kz(:3%3Z"D/4S$lj ?&z2?a "dS]naTN1+Yї {0:=TyO肍?}6o׈+>Z7_N=_؟OW yK.vSh6K~&XX;Ӭ iP, $GݜgY,ksh?goA6&ܫ)HF00ulA1f0KWsmڶvj~qe(]ؑL--u_qr"17zJl){Ms{/ #<^W]ڨ56טDp,Q8oENogTf6wڏON>{T2GYR ^MJA9i7b!N'[2,pIN-.9hRE;26_eC_ZE@EJc^MeYug] sQt/GnF>X)m[rdkRiwhj2WcEhߊ(Ɋ`݊ZȨFQ;Gl?V08 gRzN>gվKbM-}2y'ЇWޫPQV&ݾmY N@Z_gǔC F^ NpFFA{*t1x"D@*zJBMAB3j'I*Kȉs6Q5S}l =|Fj ӧdMc5WO qK?K5ڴ4ǐ#Hfꀾ($ݎ'X5N7:ꂶ?\ٜ1TF= 4.:2FodERk9D2=ׅIܦjbOb'-Q-Ō2*'=+0gʇl̀)GX#HMvH Vk6Z~W1ǿ\h7@삋HQ?@{V+ķ֌lALr Hگ&~GRUcȖJv2,W!o ^-O_V )|`HIOM(9M*qؤzΩ$Fռx NՄI|awAN?KͰ3d$=so^9lDi uC7%h⨻@nB⋤%T7(Hɦ!O9s"lHȝަ(O(![]3򵙟oc7JG}(7T <:9_o}@%zKe>ޏ"O Nǿ"A]XT2O8Ax^eP[X c\D|{މҵe/Rn1w3voFxZ*F zVw=\%JZӼ @HN#e+`H8LM&] by]zJ=ȉN/f'^3<.#+=X%\HbDA5׊OB9:.NhެPuY;:zd١}ӹ 5,᪙"pSU@MnX) JQITӀZr%"=J2ʶ-EBl`|L -pqHNs5W +5'o 7E*2aYB /HAtW$X(03~+a0ܥnF] ̘}h~m5G(adUFU<#gʽ-/.ԃnq/9D9$BA[ 1P&=af-ۭ4Qj1SY&]&W>XFbJEE LL=ëg$`r+.ݩO#hJdӉ>$_\L/tϬHHB崟AScƪ^֑dB"8D6-0k_xLo< R @Ob3fd ~-.BSa ʅH[iq]sWw\rgH1GOx=rHp0؃A/ qlݾ:(.jI~ y2';-9`*qdKAᝣ>zl^P91e{ J8)Z/"q/ٱ e2zFc j?K:qɀveB-qz-zhmS.PRj&?mV _pSVQ&X(Z)(lOfBPJ%Wbch6 o[&Q4yq[7?yci2х>S-ƕI"x09A4: . X0/ x5jϫy"56 :).k<Z, p6%}!UH<& O:jժ?w詇 xXeE輠B^wrR&MNT_UA0/Dr8l|i1`%E} x U 7 'n!%{gz[}v@B0i*wb#-saSJ2c*0N=_ ~XD JӸ*OLCDۚ$Ng/ҟHJMl+ѷ*Ll2!jiph'ޙ`01Jd#>tIk6}0.+K*:p vk0hFݗN#HbMai t}bNyeZ@zl<.$ēz2j!j{ 9g QuK`?&#埽yaD]'p &ܹCR$-]Nܓ1nu%VAІ;&h?&f6_Q:Lz1")$+-0#:3Pjpk*B?ѹv%-"H>29ٲ~מ0[4c~8ru ,GAE% .&?fbu/Vռk!cqU<|&6v:SI9⑖8%a uXPʕ_NA% ?7P}gՔX09F|+n ;==nE?牐Đ~e(0-R{iB" Qqp`o7i+ݷxr2A!ƀIĥ4[4~)P Oo>ZP&ER:` !MY>@_lW+6|V}3i2w_jwH=/k &)+ ~0 Z3;.\>4/|.=bMI~m r{DZf}T϶BuN.:eyQV:;!e\Owx }Kϋ4H4B^j{L^ },ͬ.(y?'ZԹ&4;曖;q*9Z=5# hjӥ.@)nafNtGHo̵)ƶgw|/7em5*ȝR ; BF) G2:kğ ?5ˀ6q }GI1;1z%7Ւ;%FOu 3 n~ŀ S?vXbuLp)cB5C\v&k1a6;β/ C!b'/3sh4({PHN 5v\o>O0h@l}i/)z*ZSEiX 䶿myGb+*Y&dɋ@ tw(hƘߥl9k)X? b(f!P~{R+_F bC˔wn* ')CcQsB ei~^{0t4إڅit HYH[,^U,vO> IZtdL~xح~;ߙRB#kH(9#IPOyU3Dk6MjąRv,y AE㻜H9.!<|=٤?9_m~h詃QHo"py镵&N8PP)v F]XjYud+f1ΈD>ObL[{O\@Z"8Ol RUJ&HFr,)VuaehZG. ZP}?(U!'bMh.f;t|VHhJ inDHp,rBٰ01,%; ?%GWZv./ApqǧpL~D3aHloW` >HC.Ԏ1WTfY1}EO[yz.ɿF SZ%z@QT%Ї*mҳZ a^` DNܷDSXg|^eUFB + [i6oZF,8~ npg<rfy/0:؟6,PtpZrp1ᇚmV]m⚨'C~:hd\$Gngr3n1yq_v8X>Ԙ[ɇYe׎T' Z.&@H8տs+݇1C֏Th ÔUjHƔX]sX7GG~ׄy-?kmGttD~O:W/=03Mg53`(~p^`EPpP"-n^/^=Kaa*L,DLTfZֱhLêKPz"J;L,!? pS \_*sy3[[|SX8U3]L؋ե/})=N cVݭ Kr͸4i{+[;^̘W5KA$3? 7z׍M'x /I"+B2R%U_i?D v|03~1Kn/5:iد* LtEaXy>㪴Uf( BʮqRdC4Oy,pmD"- AxFV{y[3*Z.u #5LOq{9&J?cJͧs96 (?};j$A^cjPV%W]3tJ;7j {>OY;Mr0 K0s|:hο ȱ !7zW(D|pI?<}y[1R,3h}5R3^ 'jGڄ[;gjhڕo](,+_4k\0SgIJ𖾵MntZSy>03nqg%iͿyG9*  z&<[uddԀƇk pVC*\ -6/uk HlD@t^(%dJ\9OH[*iX",о+& ÐDkwɘmiOk1+dކFլSӍvbb"& sH_@a?EZ2'0 {uı)P0%oY'FO{80m!劲k<76&*^yk0:-SfdA(kx>&}.O~5!A@O97לTpc$^1qU%&y)MC٭ AX"4[{ Ѷh3|ב@<jm\.EBw },f? )MAܑlYvcĢ6l+jDrY[9ܸ؏҂z9~NwDc8rOR_xb4j 5+MgyOTjU1˔5n|vF6IWJ5*10U~'MVǨM9>[AЉ,e`7hS~ݳ)1"#JrYrbMn&a~ mq{Uv8Gu.Ղ߅KG+{L1K1R SE3I6v g\MيkZ{U?xS$ZuE O1dHR% 8sUYUdcuǮ/ҝ ]^a6S4xGI>n=uN4Ɵm{UTdjMR* 2kxճ&BaR75RJæˑj2rXLhcv e)oaP \XOW)1,cMuݷC^>3ҭ Y 衔!vB*q\ @j9rbJhu"͠'kŚd{_5܌&8l.pP|=t.s>cejb` 6! :j=/W)Gq-nʢ =&3 |Bxvro2̵´Ên-t)D?#-`oxiDgr0SiӣW!JƷ*GI8 .Vۂ_,!{s}[GK׫\ r?u,,-I!BCdo T@0;XCLwtwJFk6Xq(xռ?Y$oW%%,t,t^r tV-G䌅Py!I}}3e;t#O$Aj}CRXy^w:P7FG cSt@xESH߮[Q%  ae$LYϞ4Gz"aFc2K~?|kY/L3ޖr Vg"DAv?HnklEYٔwlNȊ=}V S|fU&G$؃}=*F[ɦIG2 :0ZcRFLOgTŋPU$^%v/&PsC&.>jѣטOX?o蒷 \Nj}i8FF/'lA5_jSޕfB\8E1MJGs|lb{ڢC;t+VxnHpVzK;%v)QL,i iʓb.v0.#.~jd6D;D:{8M~VB0"`zQؒ=mCorn ĂiyMv)/@#n3]pYez~|cWR\gv,DCf{ t/?ܵ3GX6T4α-wLPjKWq gihTlL'4.y [~ژw8V 5{zBțAJ}MٚD/8biP.˚{XJ01>jLXoѓWn&.dn-!K"W*w"/(^XӯxYf*JC6d]Gw:1f_EVXa$AD#a .S!]hn+.T5 b<./gJM=, m[AbLƶU_:4#McC\(hMc,${s,7 xBkK{MT7\\9"}l;5Jv%BwqEJbG1J.i#^~cYt',;{RQHސ!CVlh/7l-Ϋ;clx*_߼c[6gW4{o_Z2 ,a[V?5.$ъN#в "~Ml h\udz6N.!nBG̔:ͥ-SǶ&3~w796\t\kzoI!,">ux (_'n"-?aX␾òy\k" vZu=W*V¯ʻBY)/BN=C*t̀ |gRJ(X7O7x oɻa܍a{#ei+8`wG<{Qr@]^/9Uq]YG0Uu3}\2T o*Py-@ Mk; Ϥ*~T:]Pm߻ݠ~oO]}˚ac\">[Z`nz}=(FΥݞ80e\NЙ) d+kt  ڣz4k^f~xUd͟:yDk#nWٱ,B./m$Hb3'&5y d ˙ηcd9ѝ }:_ܲU:8&Ǩ)oUd«I; $t r .%0rzYsQ A p dyw5`jP2_ԭ*вʹÍ'>J9+ע!VdEn۶',׊okB7c#DelGG:}+yqCGRb\bO{-jC-Cw+P'ha ~󯹚-+ {᫔n^K!=W[-nNY" B{1GP^~SkwО8ĺ^D?dZ|sY4V-<,]#ivQM{L)e]' $ %6]©i?u&*J0%[s?:,KKD ]yqne-}bmCM_&[lT*e)}ju$fI5ͧ@ Í ϼ,.ф [W}1ԗbwI$dC2 R='YSUZf[WcLD0Z F WebZ xjVt"0>tQ ҭwf.;J=Fiʔ6?=+esA?E@$v0PwS1A]زӍӤ-2[&+^A Q̵݄%ڹu:8)U㑇it4aů5t6z߰z*|Ixnok咘d?'_iOAmεk `oEejz!+Dt*H6 mE^2]$EXv2f_Ari\xoq@K73RH4kԨ=9p&N~,F6[ThÍv7ʳHۜfAR2$S83H?*(gtŪwo$ˊU(3 [g#VcK,d\O銭W63:B&D2a/kEס[lD,=y&pwP]-ɁH*nDhFh*G*9!R8e=8Y^!H(Ӂсᘘe)X]DKJQZ[W_Og/?P6P.c%8XmxuKwF8WŽA\K$8lC?a^ՈZܨSvZhנ+%0sBt%)OkW #IVXn:7 ĹNة{32T`{#dC WM䁦>sل[tr|bC`,/ ;;HgZvGog zYcԬl ߳IH[1\Q `9kB>GԦjr~yh Uҋ@jH(7eBLdn?Yq}<3GNvn>&^WQdDnX=&"keڷ@kS:ϥ@t$~0c~Z@H{,'Bܙћ0h۪݅#Q2{">&f@B9O RdhUjK.J%_)k4GD5#Ǔqm ؃VlIAr@[H!Þ^}u;Eb W8.>5ȫ'+ !<ܯ?\KaX>[^ p(54_6g4P@A|W ;:U>B;Zr@Z-V6CdE=A3`ihɨHU eJ炿30"!4Cx٭Ocɽ!DH]K N+eEWV3g%!eD70ֿeOchמbűdVJ"1Yoa!Xs H秊)wCgp Ę2ٞ<\jA ѕVGCڨ:8£SUaiQ(@WwkS1MUmғ0}@w7 m(\;kHnFÃ4%9Ԧ69DD,  iZ6zIѳ -kU,`9X51Rp݀Ŭeu F 2\H(c߆U_:sY190Et"TP|gLvC `mZA(yq#e {+/gIR!X'3] 8Lr?tXgro˰]ʒf5ƙqw7Q#J Y|;a*t.-M[U,Eny :~Ȯp3S+65!@c6KL6 00cap}6Odw8o!}wcuN3?'P:'j}@.sF ^¤izޭXOEx9i_>]XH 'L_.<ww0o&ݙ\݌K46O=\W%ݽ-E[BOqY9]LP)*-0v[pxR-Q2ֶD:r$NX)3y>%ֻ*PJM?KVʈrk*"}[ߛ:5|-0 ?y >}ͽwqry\_'{GwVHDumtOr>zN}[Z/ڰ*wזӠʜe*ºXqiP'§Du۳D:p!g@fO+7S$($ۀf }I}L`L+KHSK5f/̗ %k6y{ Dw e $/+"X$ @nR? `pvaKZMq ƃg+k @ rRgሄ^K_ b Ზw @lK^H:;4鐃vo:mzgT]Ñ"Qg]Tچk|Q @=1'+]6ZiU2*?^a9N<_~Qo^Ίi| - Dx'p (~I-{Dʙ"W7;8 !j _*/LA0?q8`=Ja@$SQWT‚\&MI?DH8C|+8T.7O1?S|& g|H̭bFXx>^Ҩh䍚8B {svTm[\({{I>{b1>Y%TWrVuNoCKӤAV w53]$.V5KЄ-W҈YBLƺ`ἢä#co :x\DC:xႃjJl{DoOI`8(3 Fx|ODzV&dXd6m hP|2ѣvHVmwIug ,r`^֙=5WT,gMbi:Wx""i|rCR*p.ȩ(L{ڡnR%ӐtܵI eR.zSwɵK;/"c*xՈ @OԦ@}pbȯd~'^Y(ܺ#J"~ibYPūt+5`mM2nFi ^oYG/ E@bj?F'`N6 id2EXcE,b%bxw=v,- ]ᅥP&&5eK f o=" ^[̪3.GN8Q>1cL\o9yEɋ'hN o ;r'Ko #W  ;TF)D"J!};`/1O&[Qp!n,lRT|ͤ|B_b\pD׼o`1:1sPs [((bzno( G29  ۡ)y7`It#{ψWC~4hnhIdLEϬoߺXD0a=s$#>/"*6:е@(U&m"gGh#|Q.܊?+a,Ȼp9-nlQ7!C;ϣNitԜ C\j;p*SO`=X|j m`O2^(r 6j-F-cN#` V1ѥcW &#j-f0`1eM:F/C?ݽs MT؆Bʿ8o:If=c^#ܯ5:M.tZ_ OIr]S'] d#&Psu`)2"zG9$B"wPdyF _r<{X!ƺ&7&4;e܎U+78(O%ȕ6BCӚMlkߎ4*ܷK1`vteq[Z` [T ~Պ=Ώ~g1dh1*3 >!4C&|훥cF1CQ Z&hk8I|o 8Ql5iL]# ^{(e; y0d)YkY% 'C~ ΊZ:/oLA+ѯ t]zJpQܑk㐬-H/67hW,hT6 q@Fjv6j-zϐpDFm_R6ʚ79p2'4!읇1n?Rvڋ3}lIG[l1+ՀY+_~Y‰w:q0(5N+a|Ra)*96վke#Lsoȱ(^ _p [gWζřB TXLKB^kv.8k#{dHM:*;̅$YG~}G}k, #WtAXmk~_пXN1IlLYWk;l.(Frຆ| 0$\H0!sUC^>aV&p.q~47deMR4sQ, 9"G‘YxoBϻ8̮(]wU9S*Q2!tmۺ#DwǬ }nv7_nn) .:U ]U,Җ`ZʋmqPx gpXKU.jdo=RRbLi8c!UnNm? [FPtPĨN/děÌ<٠41,4Γ\M6F b@8]O66VA\|( 6Ƥej]ct{7*(NoiUǰ|<M#;C;0YZ T*|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4lz # ,PurePurePIDE/markup7zXZִF! /]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O$t[HFö[oT())Wd>뼥p2cr:B=B !gT|aMw|hH:@sNwf\zm$(4\x*fh o$3ZjlF,*!VSރ3s8Dzv>)3 !ٿ[ep![|sud'z,Eax, ^@9u[:Sϟwq'ISQz)&?*jukY" ݥCG'^TF|9@@;CH1yQD;$_!nhhl'JIn,8\p*A:\ޘpKP$sI$Xpy%I<0/*_sիY~vypRQ-V1јiU%F [ii= cP^nߋu'EqާW*dݱūhҡJɁ뾲[1;:0nsH5 c}˘@ 4h7"Wo>INeAJr[@4B.nOl_@$)Vyjnue*ņr<ށ+ZЖB?vVDUKjJW68C)mwȶYhɵ#ŬK.""-M5; aG{ dT"aiC`,z` څ"3P}b !ߧްz+( E FCin/ISn60i? eSj 5aBRz>lp={%$j>X|xVQ((?VDsBIҠW~TRz+*:Z&⹫,rߨ<+nYwQ"_[g-=@c~H8'|(wP̷GSU*,$0o 94i]()H'( A19.K+D`n'MЁ7؀@ Ucj! TJzx]ȎO& 6YTZǨ2l0C0ʱHz7%^2D h]wdKS&WE4twN1>KkHDg"cW<8Uޓu2a,3 5rj]wOJ#HPU{_膩V?}T}Yήѫ6CrV l@Hb}&qJ}id}`[Cĉ/ulʒƌ AMiۛ3k0ԺsJ2r~A'R'-o3LA 0Bu!`FT`X KM{ 8D$f]\ 1TH9\O&s0btz'q%7_$zT =%i-W/5L7Z'4"~lOըZ#^4f_%m}QZnǺ A4_Mš _:YDp%E&1ɚukd=f}_S埠-;:XMyW06q\OXy);^:5a.:z\`BϾm#?X]UA99E C{1Vx J2P%>gK:x5Qbvrr3oqn&$u :†[g#;Aw'ϾMAa/ qy2O::Br K9 Ɛjѳ6/ONiu2nA`R^ zS}}u;g!@X:l*yDIs 2qojn?o|'|@+XX0m %QN8}yU8/SBsѭ<.)ajXWoΈKi^-Pg)ioS+PYOn$X 2ݝ%ϛJfP JAĶԌgEL"ebҧoW`zz=\k=3W!ӡ  hb2Mva9s兂 ު0<?\t%24{XPyq:P *xg[dNdHҎ|k9s BM' Wv}-xߺ)}%# lPureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqF٩ؕbZU?Rc]d^jZ$+aUC T"SH#iiYBfs'̱󙠀~oyS@M36drqls4r8V`yu U6gw)R+N:SiӨ>.uiIw`yL18 <~F6UZyFV,cg'Ӱ`a>q:}[*{U@>BD\d+ _+Jd̰_;sckKqk-?xOC|qgӲ# zO05>{M4'U6Ypg8t%27.`cpZU;۴L+/xS:wS|iv]_z`AMUQp<\S{ZZ6] @#V{&kV`#6 '^l3'0x`<_D'73k /PIgOai}R?"л;5{glzhܾ#LDጿژoI@{,=$~;}J(QtfP~ڨ>'-}a~P0"N}qpy1r,h0(^a;Zi`fD?:OlwI9!5e!x)ewV6o#+0s{[Kv>)j.$ *3YRxv,.QsZEh}.OZa>iD:=38x?h4G zYgjpIh]W9p1 RWg1&\$%Ñ%+*nI築GIPQ a1C ec 򳜕3Bkl ٲ"H iLun- 㞂YZf]ogMAFiYbi{>Cmd?1LIxpF F.lw9t .q (~٫t3QwP0j,ٷ0F [ H>P!ߗ[b%̎Ѵih,(* Kv%2`*hKwBkP`J^[~ DZؘG.G ЄyH:zX;ȕld6y#]Q#@]P40|v28)ؔ/~-6esUX8C[a/#P+8ot,pu8Xwdeh֏;QT9HnϘ)Y?f>=yI ѺG5@^mc:T6\*d5A&qxF\sQCUD]]E4vy|YgYZDHMl<}U§8 Tw2%YHte.Zt=h< kj+X;41;˛865Ik-ኪ#3շ Ol =nP, D:oX{|&5m_Shoi@l_*d!!fHͼ.(,޿)& U@pR_m'tpkA֣{#`JJAxQ<#bwfv+v 1~W_ic<$z-}"0ЏK>с6nwЮŞM k(Nd* ^i h{_:i t)=Ik/>[O=~ZĨρ3xmطAZȫG1D ~:JXKMtλ (:U*%i))Io($,`ٶb_/{Dr6pJkJ[DC4bw0)_.'rRYdUfD_HU@9ouI`'aCkve̬zfRQ ٺ7:3}(3,[yVzvW7fqWEԾd3sE+Ckhw"yM oZ">Ik!+r<$;y&oF%rdtһ WrgJM(`fƸma8 ƥBcKGw/!N{* hE9Vu +:ͷs:$)iyx eˮ"G0 檱rJ)Qs ^}A'ˤ_% & UKY&j,I)8g,W;^~R )Ǻ.Tr @H$ ; `&'guSM tm<1c N>h~8  fkМfV;[]߀8[Ĭ3k~8|&I'p9^%+BpA'+fN\lzcZw>%g+4v۴C-r7c52NXڑF8 EaA&*6Īy ݬ,u )>l[(vZJkV{I%暑 +^ n k`x_}ۓ&ڹCD2WTA>kn01`#J68E|%\H%KC9㾗hws=Xjy7/E%tIsQR=>,e"&s]!s*B0 fY޸\SQej}f7F; -nIн.,xF"-[砛$Ο#cڦ6Yȗc?!b-Rۖ Rqo;9SA}Y,ET=OSpa0Bo7;EbԎ lQڧߟM4xEdt}fn@e}&  ?YVzϘ0'pjD/J8DpDsڒ*y?qM fewZx>d9r12ߓ +6NFj "kT뜵zdџMϐ >k (g9Ҁ$ cz;<iJGf,M)[ GV丝\:"#Va&cyΠPQ[XM 䏕=o 6;#]'[ݭ%gWܸ62X6da~ *)r!  .dG(%ڪӸ#6˲i.4Ni;;4hړ@%o4_%r?/XZঃ0Q/`F{R/`t(0S)~/qHZiKHԔ< ]2!^⿝ъ~`GW["ut}?EP NM3r:UA14qްr;zR)青 , ]f: o ʃ,Ƞwkuzlg6tb_-]&V\.5!NufD@홃=sB*~9R%Y%bMA5N|ur#^ypdo}G():i*Jzb's:TB,8_yhBKס{ʺ2s=sp\8p_܇>p7x>(̳5Qx?oQK9f8`]Kß~%e$ߋujp<BN$;An^?َQ $GO].qqOQ!* ?h`˟+ k=&A6lqM@@(fh 7o,,:LV{PCh .0:?Oie%/ǂ(+ Ô"& O Wn0+vE^d!d̩jJSGqN2z >.EPv[2fA@ί]M +|we[ PmK2gxA$)qw[nb\vMMJT\6;e/?3v6Z}؁{(hy\Csjy&=[RrftxF Ս쁑R`鐁& '℅Lbɴ4. H^z?7`Qi-vZ%l2^U1OhVuO/YYSJcєb\pT VVWnڲltH6bEgZ fU>_ϝ`FzxqBtˣ 3qHmZɂ7Pb-2{/0o`.L3+d<o$\q(C&dpۮ/YEpx Ub?)Lˡ8zkz+M:Ѭ0 ȱgYZh'# PurePure.SessionsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzL2%wFjvg=CP~E1Ifyr'|r\Ιwn'>W;) //RJAZ?+f[v}QUI"Qzc@S95ȍA!dW'Ԉ%1].)NNe3/DKXlr}OuVWs[)T[#o*sÊ]5(dFDaR>uͷ-,+\%gXM[ ~CGyr`|ZFKS)R~aNA*͘tDŽ\뵳AL_YXX9N"Z6Rq=VZ)5!A>z=6gA6 8UduƨeK JrYխ+2+e\:V@W]~P+x*n&A~w>=g ? &XXbp%.>ͬDT (Su'S2+w9Rȱ)#[ylĪrOE"YqGcʗi- MpqVԒ?My29Z##da.Ks$$rRMcw#HB?y i@ҿi kJb: -?0+f;;])f^S{; ֈQ0m jBӴ!͚6YrzZB&d3ƾ1BGWvSDC Ql|Φ,X8z5o-$U{$^lG^z:EGNzMMG$iqW/Vz2x0`z'|޾]4RYm#cuD#?߱gYZ