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   uplT$ ] ]Pure:threads=1elapsed=1.429cpu=1.485gc=0.0007zXZִF! o]ŗXiɟHVҭٽDnjZj\*RF)reDS>{FGɋ-IHkxVjg+_;nsS$Z$­(j<]@ۂoER<[gYZ7zXZִF! c]ŗXiɟ˚Ћ. k$wqR5/l՘ cZ+Vܫ Q^|LkYg r=>OL=F; 1q]TgYZ7zXZִF! t]ŗXi%w8ɴ7zrҫ^'< i. y- -$ !I_>Sn%8͇4D7 JPѮ8kHvp K)pYN-< g?l4.y(HP͡^®e8ANDXZ %i6bR8թRg&X).7GN|'ThE6_Y9nW@|E~qQ32տvg1_=h7롺ɶ-6vKm4 4]r;՞.P&.<zZ;THX3Lh!)dQpR &pwZzfA3uBuPI4X ŚֈR]Gd5];U=!lF/)6w9y@y9Wz Ct믈h:NA@nG} B?7l=&YǢ/<ΉHpm/O{,{^.m 쩴k[Oȡ4}Qr]'Z4/WۊmB|3di!wPZ#|;kiZP=n_o.x濭'z1Dm*,W5F2gYZc41543c1693fafed532d4c867a97a7dcf64e7ad255b3b3b9a8e9044df0be3113e04902f5463b43aa  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/44870g%PurePureproofs/44866f%PurePureproofs/44862e%PurePureproofs/44858d%PurePureproofs/44854c%PurePureproofs/44850b%PurePureproofs/44846a%PurePureproofs/44842`%PurePureproofs/44838_%PurePureproofs/44834^%PurePureproofs/44830]%PurePureproofs/44826\%PurePureproofs/44822[%PurePureproofs/44818Z%PurePureproofs/44814Y%PurePureproofs/44810X%PurePureproofs/44806W%PurePureproofs/44802V%PurePureproofs/44798U%PurePureproofs/44794T%PurePureproofs/44790S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44600N%PurePureproofs/44564M%PurePureproofs/44560L%PurePureproofs/44558K%PurePureproofs/44554J%PurePureproofs/44550I%PurePureproofs/44542H%PurePureproofs/44524G%PurePureproofs/44520F%PurePureproofs/44456E%PurePureproofs/44452D%PurePureproofs/44450C%PurePureproofs/44446B%PurePureproofs/44442A%PurePureproofs/44434@%PurePureproofs/44430?%PurePureproofs/44424>%PurePureproofs/44412=%PurePureproofs/44408<%PurePureproofs/44402;%PurePureproofs/44398:%PurePureproofs/443929%PurePureproofs/443348%PurePureproofs/443307%PurePureproofs/443286%PurePureproofs/443245%PurePureproofs/443204%PurePureproofs/443103%PurePureproofs/442882%PurePureproofs/442841%PurePureproofs/442760%PurePureproofs/44188/%PurePureproofs/44184.%PurePureproofs/44182-%PurePureproofs/44126,%PurePureproofs/44122+%PurePureproofs/44120*%PurePureproofs/44026)%PurePureproofs/44022(%PurePureproofs/43986'%PurePureproofs/43982&%PurePureproofs/43980%%PurePureproofs/43978$%PurePureproofs/43928#%PurePureproofs/43924"%PurePureproofs/43888!%PurePureproofs/43884 %PurePureproofs/43882%PurePureproofs/43880%PurePureproofs/43878!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/439807zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0a"p`4OdmW쿹gYZH$% dPurePureproofs/439787zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/439287zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞J .Ċb# kOWlWgYZh"% $PurePureproofs/439247zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w.c9~M`z|H3 H32D0gYZ4!% ! 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/443107zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/442887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSdD*$V&y]izglP3agYZ1% PurePureproofs/442847zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/442767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aw, ۔b!]a`T SgYZ8-% DPurePureproofs/441827zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'o0PX?HwjBqvdI VgYZH*% dPurePureproofs/441207zXZִ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_}lKg8Du.0z,0}]gYZx&% DPurePureproofs/439827zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&Z}e(C$ppgA"@xvgYZ  '   nk92 B% PurePureproofs/444467zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٶjQ>bIsT~w 7 E͌ ձgYZA% \PurePureproofs/444427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPl56]ٓ >e<>LN agYZ(@% $PurePureproofs/444347zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%LF߾*ۈNDžwˈ9khwY \gYZ?% dPurePureproofs/444307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטȘMyo~V♈*o I*gYZ$>% PurePureproofs/444247zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/444127zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}d7?Nct֮G<+"$F%1R:o"һ,5'QgYZ<% TPurePureproofs/444087zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*ƶqS*>I X&LV=gYZ$;% PurePureproofs/444027zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/443987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+fk 3 x IgYZ$9% PurePureproofs/443927zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZx8% DPurePureproofs/443347zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(=w;Z[>ePbJY\ұgYZ7% |PurePureproofs/443307zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<%qdSZLZL ]N}Y! .2gYZl6% ,PurePureproofs/443287zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^Y"-RcKxU4r/Nw.%ȁر#8i&yuL%IW^./g8gYZH5% dPurePureproofs/443247zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lW\+/nk*TSZdm>hhs`7fαgYZ4% PurePureproofs/443207zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /H)*IQ' dPurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E4.`S4]NwaUDaΣ;K-Ѫ _ʠMA0-P"a9w3>6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v- 1J\gSc gYZpL% 4PurePureproofs/445607zXZִF! e]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGO ѭ@(O;Np*p2>%M6˘XZ&v~B3CP`! xgYZLK% lPurePureproofs/445587zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&+>2.g> Ehڼڊ;}9C FD־rQpafqPm>gYZJ% |PurePureproofs/445547zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛt&MsGgh MԋX;A> gYZ\I% PurePureproofs/445507zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zqvm.|N8Tv, YgYZlF% ,PurePureproofs/445207zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/444567zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoO_2 F;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^1!'zo"0  BgYZDC% \PurePureproofs/444507zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z#k+te+-I8QX8P_(F#fފ֤H#v"(Lͭ7gYZ  8 E8aatb% ƶ1bXⶕs_}lT o + 쮟7Ui]gYZH`% dPurePureproofs/448427zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Jt uʱ*uF@i}IOǑlWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/448307zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/448267zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/448227zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/448187zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/448147zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/448107zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/448067zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/448027zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/447987zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/447947zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/447907zXZִ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#W;3PhѨ Е52ai,@{h;jISf@ƶk[jѨo:Hzaۻ >dîEӍy _mD%脔Y{1pL?NÜNL0{f~Ded" R!ZK|~XJ±#QpHdQڃӚnB6W_CUvSe2zR_%>T0i6OLfe$WkMbɈl`% Wl_KGr@WQ9FcU̎.ɺ47"Gmہb'} qY6xJ]Yzr.bI@+⢝J#& o ho9&?ʑIgE ih1co-TVFRXTZxjKb੎qX GNO }IyIԌ;~]-ܗ8GY* ?p[{K72h*r {w+>V7L)F1QrVBA=!ɗ8^2-}bL1-B eR4jԳxV?'+G?sv\_H+9PD5s878ӪhΚWk#i}Z"&)P f+}FnS?Dɚ3RIs2Ҡ bw'* jayihgׅ) 2~MltϼE 2~PyP"q("bMY;իQldi٪]h@E!ӽheWfjS6M~C e'-ޡ$ Vۈ?T@~_RҲ۽ie#uJ Z9,uc_hCeg,T֊zf %ڥwy'AA9F`e;kɥEdP0kܒFz5Cb*$ѶvM5G#ZV\kCV lgYZ\g% PurePureproofs/448707zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoO&A$kQbwHjĶgYZ|e% LPurePureproofs/448627zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(=`(;ūR9I34$ ,gYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OC$Sa}(>DJ7Ns, 'ԥ^y'Ji|&WFzxLA5~,x߂l7QM 뿭W{V,(sƐp1ezœ-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%@͉-)MG%I5?;TlDcGc "OI,uj9 R4(|lQŴ.oDwO‘ebf=,l/EųjY 0R{ut@H @8XdxqRDZz߶GOx >=&2J0իDmuUf#T iPzT 6@^[%ӏߐӼ{gSQ,cWxҌβ檢( ;~gYZyl/ (!2p398ۑzzKTVckl4SK[Ԗ i@L"K T2"[|B Z B"UK8[DajӬ}u"^л/Z\?HYB+,je_3K@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 yyy% \PurePurePIDE/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/ @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}<yfӦ&+[w<lwÖB˫4>ax ,Xf zN74lCod{BZܷN#q~2b%ublv7M}f'm,ˠ8 eH?TNXvluU\WNQ=J`S"PCz"GC8/喏UP;2)Н?H[˩D,%f jN.bJKR$WEMw߭>Q9)5"o%op{<_Ϯ iYAkuAG É60W|;L#֖fL)l/T ?O?oaC bșx N]!#J.'yU5-ϯ/S+H,sizoV! 8Z\v;s&sn/WEկ񘚇g]9Msbbfa|?Q@ YLSV>'޿U?&p>@v=Kh*anRA#]L#$M,$7`]f!Ħ.⛥Mb2mL%'lop.J[6]jixG z|4OYsA{MB $ 7tgF,3ZYP?~ol]K@,(4 ?w {V:>nV># Qtt*3r.n9SXcpDwn/!uh1pTcˡC?*wj T3zp1eӓ\#FH(sr%e?iWɇfdQ܋ cCכחi&[DjOV5|ֱ{FΦFeF`X ]dM ie.znAؾ@}4uu(p>P -ME$ͱmۯL/S 4Lru%i}@#YhڹMq|N|eA ,HgK#r(FαWUi̹ w>]|uV7g2_ʣ_H*9.NOQi=^$atGH.9Fdka}`//偼v8) 8s(XþDž&^ƒlߚ-KkΒ\?"߽SStO MJHrݶjWϒG8Z6 ",~qupW!'\щQ 7;7z+7sC[I BDdPڐ5 8)bxl-Y9xq{v\7H6@dG5؉FJ3> ^mB㶖ˍғxvQ z VYLf*A L!D̤y8naZιR +*?;@!_HN=Wt>k`/A 'b {R2' _BRF.\y=N mJSׇ2:ЮeQ~QQ(NpBNaIpu!wȟ&E9^󩪠ͼ?8HB% BY"{PnW:vTP_ $;L4(Y@|͓/"4sX=_ƛzB/0 Ĝl#iEPo٥#79x./x*A Ȅ ',φE<(=lV/E7+s:}QLiѡhzh%xZu8*qQGuSϰ8<' Mʔ#NC Npm޳6m(>>f`0vϞI|?z2IH73%6vD %|VqdVQJO"C9=] y@4 &!TIT U ?(DYJk@KVyAtPyپx\}{`ĭXx-F;f_Kp삈ohݪOv?o|7ucVY"rwN>x<%(ֆ=%š *e⠛vΕQ3 ¨UWBnbb+7021ka-ɷAPA 23@xG|/I$O]j>C86i_N),oؖ& 2px+SOA}/313t"g%2s{i<ƶz+@\(f2J\6Eۻx80T'J8@3'Dvߕ(n쓲bGԖ+hi,ߣT N9訔DotH8J0]T;wDbAg#ZtN mIA$C[cqp$hqƌ4,)[e*aCiĞ I,+KІBBs|m穌rq^'5"N"8{uzcJ5P%FƹYPYA+H[T+/[r!FV  RK{jקBf0jd9ΏTN~K 6aOv3KQ;ǯ]G\oZg,"^^&d58Gkκk{rΤ;>y M.Kd$~ncef6t$A|]fc TK;DPZ>0bjbbpuJ HVi.Oix.BdSJ!)`pY_L IQB}L(l"eʯjlH;2Qd[Ŭ]{7x&g g r4e/W B7vY", ,4¦jo8aދd!KqR#Ț(bMPy7r=@§ODOPRbhm5NJ{?ez!+ن$=W/Eo*rEEvYi*M.lAV)Ni%tқ4: Y*;s\w+ [ik\+fT4_Re!.1\=;ö +{_yۀV/+WZ:ɶdrj 9@,lF0 $N+3:y$ds?. пB E3`)sV͌n0kVbR$'LSSql9>Mˣ.HBs-pU)W<1ճKze *2y$g3_ʯ[wl JRBx_Ɠz^ƜD %=a;d;.&ff0@>'Guy3cA3T+o$A (^&Ow"]}xDTq{񰲑:rQb\m)@6 e:|=Xw2ye"o(R4"ooN'qFzp$ MXP" iΊdMvAG Q!^% O0:pf[ki,= |Eۜ%%6vG^2훫 ze[q`ĺc5݆ؒ(vvOD❱ oX+ٱw; ~jr菳l4_Fpa>,uUgbȠc }qf rp }?%ߨ"N !ԸBp4{r-媜Bb)C[hYˁ^u÷:Vm6^nf<(1ǚ7O%:x}V1Vuz%QK,)fn* CĦU@=grl70KI#TiRWo~HJ:[.4=,% ݳR)^P%Țq D$ovو(dTߌ.ؔވX/YՖua{]mMb:[߀YN2 M l?rJ2,0rcheU3_¥N#ﻖn= (&2kcAbަnM I;Ͻ@ 1V8`bގY%GwY"QxRhHM[~ԩ̙&{ aQB<";K՞.+@.)#^m0y]>;j8p"Ta9R =COY"ްvG^0q_jnG2N{Vj-𬇛vFM{VJD4_i(m%sg~AXb|V,M}7PP Lt!MD>_n U2v;!טʕ?ր"u\Ō[L$-Cx}5ڎ'<^]) 97UCgu@owkD5bίke}۷g%eeq}6~c(!ۙk ۬=[9X.!Ba2E$Jzès<(J*ThJ W2qv, %@!5ejPtx4lGFCN |ߌX94_2!dڀGOj1{xqM]qm -cWsm6&xn/ۚK2en&9J0XDƕ.r'5UbcTXH?1QpOQIYƙ.bTURp0 #~M_G&n3}z`^KBQQ,n5`9///ŅSC芭Nta;6˜$HPsL|+:ko/z,R}̹7zG|ځ,ߧʗ~s)$RvsW Ł{_yf lH*ЦA(J.g*R#1)T:gK`~j5P+:5 `A/9BH[-W3~#Ƒ\L6IkƗv-Z&U ƙ2Lq hb[Bk| !,EK6J׋1P~Gޅ!dBMZd &Ͻg]cWA;KB`A(+"ODuOo:̔g-{(]\˼@(>}1CV)'@j23&5rU\Є\{05z'0NLacGjUpv #_Mb0/2v?[ ̑PzwRƻYAPzWQV:.{%Plzܼ 7$qt|[DM S:'trOj>,!pT9PL^͖F㿖e#(qKMo{z7! "^9 -O@Ik`UIMٯq],jgd3,0ت$dcW1iѯ)ؐbw:b ` XAu3$3/LCh[lߖKXB1 !߼>6ອ,I^+M((1]4zCæ0=O 8KrA\L{VRK61h6D>emBi7Fv+)*5X}Pμo:g)ظA&)9RjFѓ 4ɤζ|_Btd@4e:F[Y b!]󵒳D23,VA[47X[O DKa%k1t8 xqfiXő$k@'D} N D (Peb+.ګ % oߛNYlf>:t09հdO=3_]M Ktu(5st\inҝ*+mPGZXM/%*gNx^I u8Q&DqVkI?1Hk1s:tPq}ύf<#EZUHБ͑hw񈇲90(ОUJ (ÓuÕ!f'2VwSƐAaRIc?jW)dˎN+B/1y٠i4 7Zsb]g< MTi}^>/jBpwY6}kSFÜ'܈ly!jx2+gFZfm:8y 9r<(kqѻl䀆L%}ZSJ4}$~ouQW$SрǞbIQ ޒ;Fy\w\NgNy]_4w_-:ob?wJP݀UYޤ&,KӹOb.œTkc1oisү$+t.:'J!YGO(ߚP&aRdue:{@s<:8SꜧiS2qȎӑ f^7W‡d.L;͐ĵT?4&h4+(J-Y.솸Y5K& /!a?̚]17s䱄K t Vp\aJb1_QZ%/`2N5k}o!RnH6D4[0/ UB!`+r^tn3.cdoa_CKԆSW“\3WȎEf8t3\rSOS5b۽?W*"Åϰa9uQ"XpE|SztaLHM%mšc{c.öU8~ ѣ]z-9+KQ1 3%Cvp_Ț%9x @eAS!;871 LVV:{>1YYcuJ |= nVWI+sp7mNZrg*Ԉ>iU-(bU8lV@*V\ T2ʟUzN #|"1.6+Ւټ"mK^$uYHJ5sw_viU^2ާt')%~Ũ5C/cL0{&n3˵ c[MA; |oHsE@WmO jM`*a>9rVUj&( !Zz0p9 x8EX"EṀ:QgC>OJ /ۻ2^+`nz *4#%ŋH<߸<+VQTTsؗo"V$k {R uhsy}d0Ҝ_oU&+zG QTT([; }mXUN, ڀ3h`W S7ao!R^<œUwؽDks!EzA͓إ»~]B6ٸP)Îϖr>P9;'0{ zjoY)~֤t3rN:橴DԩiMƮ2Hu./5vR_%LVE]|J윮.X3N*ONN)')ԧ(t? w{,5 aUux?Mzm]r_78եGF<܃`;W࿟4`;p^,Da_D6MT֤ s\<%<'Cjh3xXyN DpkE G'J Q53\kpBYu52ҸxʑJgXba"I,;>iB`Jϣ׻f+"0fpt8Ii>YsW>) ֙'=MIDNB^GTrsGf;py;¥B8E;H LFtr1FJai j1 (HR9,G(U3ב>d)3NoZ?Nдlj#$}Z;h% l wfyJ8%X G@8OK,AM]v JfC˘[L /[tfi=ҞF'Z°FdYGl\O;sIG4) %!0̕,s'~ߺ M [}I S73vvѓԪC[@C--AɆIj_Q$ ,u/۽.+!$.iAzICҫ{ O>wg{Px%=ٮT(G63P[9O5۾`~Buz=Q^Ho%1kGoKx@Syi?W{֠S7O+@et]XzcjeFM_fX>ž0,W惋$%Xmo>nkLlE5<@C+m@CzWNQ6J;Ł'CH?~W#Y-#3M}(+/Y}0 æx:?9ƄFrAJ7Z|45Ƕ"5`؉!MLPۚ1m_3M~BZFL BnACG b| qJ4*@mU(_}Drqy8YO4ϗsrΔRL7 ~' `-lh 0qǟH&7-$#].nU_+] A~OCdm3?2tm5&I-DohύW^Q׈; yE2)^ĬU 3㙋|!`e{\ ߋGlkfuZç%h8Mnk9&4f7~36_v /gtߴ8isOVECc6ȹa_VBaV|Wpp2Æ]bQT9ꌑO^xvG+s>RÚ7L(Ơ ߠ׸UV.:WY~{v,`1bZY@=c˹sI7RM4HS]evQ`w)~IϰG vżOgjvPcB)ғkA9ڿgx/>/g߯Vy1t"35SsFQpьnEl 2+$nh©C`c(Z{ +GA(ڊu ((=@լQ=\GC͹Btz?,Z*Ib@ |=4S(PZwU#Y]VNy ucᘀMۺZ,όť]BlVoJʺ[rEǭ,[TrU_$} lS Xd.ʱ&QV}*C~ʁQk\N?[OU1Gt*k\W`ezRe.x5W6I,Y7.&g~\[ å%{nQ7,O]OgǾȱ+ve!p;~_s W0"qR.X_3!~O=wat*l^m1s]u_wUr9V崽J}1'PIaX֬d\gC}7ժ}L N$ؽTxTfhTWDk O]%K< Ccoq3h|nI>ĸ27= x|1n .s%)Wsai3bۥe6D?bXZb3G#/q ۜw^Ʊ4;U3@u4TUN;­uJUe8ɅS|̉uGYV%k#OsZ?o#ZeE׉Wܹw80OJD@t,q%خZbS=w01BW4qfe5f lK%1 0ff4ފq2>P43WW~14LjObThP@Sh~HMCzJ}h/2Ÿvs;h{ 6x˩brnG)!JNқ8EuAdό:iR!-}/˹1CŹzvLEI]bz+D}dQ,8d.TnHUQb5~B)% ۍ ȽV@i%I hD$ůB5pD57[YDgkc 1Ndݐ@/?GPeqlu(2&+mK)DƭЉ fZKP\D`_܃WuO^pӃQafh݆}`cGݳSw3;\sZNg[J>+y&݅z+[CEFH1ϲs#v"!U!3WcfԸ!?53 e$LϩbGiS/Lsfwڛ7|P 4+: hs=1&I e9BxAq]=xMqKz 'EU7$Om?Q-fC 'WKqBǙuC&9Ws[!5dcbihw))dr߆8r~-1 seik獩QEYb2{A^kauIRTIƀT*$ u^n}L![J+U]&z o蕒ϸbEO ^FE]9CFj(0unk{(^m1OmHKZycvkH:eseeaVCGO[cjoQ%\LSQZ\8;n n"лْZb hLbYY|rYȥۛ hK`: ,*d&!4Qh;ŏ*~5\͕y^u)(䙌ܷЬ^rwq.9Bll}_H;OW)Jfܡ04&N*Ŵad`Jk{D1憞e'-tP'ƀ`ĉf<2p$nJ?.Kljdv-r<%9̔_Ag+bv,^cwEtjNAϿ:C>ah~ [͜VGbRA73D}^᪾ŗ=Zx"p:&萪.C!cG" e\wPdW{l2I"\Q|!jՙaSs]vHfKuY%5nc譆-xDR WqUL({V?_G S9rjl#ՀUl΀c 28٬W=ߐ73K6o!e컠$p.˙U*l>RQjwLP,5d)dVQ93(: ~@* K\`*i٘ɠ vce .M7ƨSmiwg JCI,cdX7q- Y|Kn8+Q9!T7@x"5 yI(oqvyDPb-""@rM d-,L"rؖ8YVUao4O ۇ1)8,'MK*k 1A#EuhbU;OJ!p년!4N;{z <'ڧXּ='P/\ΪT,»%@!Q i}WzUbGVSf!erPWiW-+q[w veҞA7s /^_D:Ɂb1t+ i|\5@m­7M40ⷂ_޿vtʫh>}$<`%= >*ll'kTLjaSՅi=Y 8ky1KY5P8\2J{Y~q9qBϾkR̓30}"ٿЗQX^{0+1?Gl,dJ$(N8!骶Z7eV1_UWס;d^y@ $l0[&o| rWMqp+qd-nfPVs]]qK%?D 6ݖ J:O?X>gRs04k|88҇_Fuhqr|߮ YyO{$FŇRAȧTa8 v8U 8CH .gQ.:N2{˷|j3;[OS"D*b;Tl2DD,x3y2yěVum,9&CI&Hx"F>񬸂%N_C?s`]_;&CL}9Mo,pwn&_8B.ZĂ>N AƤ"m 2Cl~l(bSanܪt3Dki%}~#i~!ގg0eWyZhga; īijdJ'#1[|N 't::p (Fس`$xZI;Z5?Q- ~i*Ξ})0IwOFV"S)-i;34ѫS:Uilb,y53,DR|F 33"t ;J'xp= ۥ#'q+=DB2e}Jȭ^?̠݆yl4w}ngoIG_Zc?ьB0H0kfݟ?i" TE -ͬb4.{qEb{7 ڌ^x}չ*gGs\;kRE`9 vzwB]NAvŇTG,ry»]̇wƾ< A&EF}/uj8/;;nyWxx >y1{u@F ?Ugf'6[D>c[$< !Õz +5'KM2$0! z2ddJx@?T`]^C~N{'=^AT!= J6mXҬu#G%ik$Tl0 }tq sV`CHPKV꧈5ƅΙds*D]bfY;|(*ahp%}5X+QWavBJUk喑돱$U |=6#DO[IYmP641/QZn?|r/ %t_2$UwͰ0wBEB<#QWjN,A5X|2zN`z[tQ.$1R+]ȭ ~H g/fc009ZN. \n5voL{y :XQGlP8TQB7ok976DE{LjȔM hfcbaq `!a5.YrBW ,`=>(ӟ-ml:ij0A*Yr z!&e5CjҚBܞwUF`;?.tU*`W޴]RC5V?AA/MwlKhOxz_W@k(D>:$p`!"W'~6ertr_UJ9`Vm(^d"Ӟݙn>-'um%DBV E>9) C q7k,NO8PvW0"^: 12ߝ+p`X r$ xRˮXyQ"Awkoh .>HnoʘY/f$K3͎9],hx 9]Chp"ISS|0 N{}=ނ0E3 6%44ݹt )iQ7;ksǃd{ɯ-y#bnSNE=ʃNKj,|_cp>=!+0o~ @*͊yvS^r %Qa (fG bN>o!$c"EƮ_C&~1'ډBrmН. #i :'kH?$Y&#a}Y!31ڍƢ S;C' 9HIlGXKx{|VBv73e):E)mrײ\Occ1JaXz2Vmُ PV_'XÒ4bZhB@<8j`bt2HW⟈x):ZÅn}KYx{%}{ZZ_y^.!W"&tmYb%tZ?u'O-7z?Zˏ gH(݌dv#p3I}]a;v2 Bcn1l)m2l9Ϛ:D}ÑOL3˹ [vheNU<Ɲ#}Y#%$e)ZgzK1=s{ei5GnzOv\z[,e IEOƿDʛG #şpnc4j-]蝲?{ru3}O-MG*`Q;Lu ^| xyK~O m߮yN-6E }h[WL(RL&8TkΦkeor"cjH2ְ~.v֏9钢;^Gw?w}AaR|v|)IJIV]I=sG }-VI@OmGn) }Nүl*ݷ`JhXAD:df+.j*Xh-ө]-x .K'6υw0|cY8<@|J=2C)dZWuwy?WZ :I%5:J SŸ$Si"o7$o޻cO4e7ݬu R6#IvH@0meh{{Ca%Y!1r*"g;ƹǸ̬jߎ3( X1Lc\D N;N>.#`)Ռe)TsWz~"iQKq7Qu 3 h91\iW?]='c_%ޒRp$ѢYlPDW lD']ɞqNvQ#aP4䁯Wv6^yyy%m}[3Kwx+?018psJj 8ȐO`T0̣.mݵ*ҠSR_2f(.g pδ%3QR~1${k&+Z- 9؆)YAMB+Ú`<2?9g齦p+\SW9J<:o!F2u+~ E|-&o@X._xf#1یia@ 6,,=H 6A4$=1bA䰧% ڼ:T,2:2lzzD7Oa& !?]KYM6{Gx;mP e XGYX- Bz7uʈ.7 s? ѳGV,7 nϐu=/#2N^}ԌAE/B9X_2zj[zޟo))ikVG+2e C 2x^>hK9*5wjd6?ĠQ(b [ ^XӸ6nhӕk87&%|nhB€͛u"bI}7 i_7шGW$W=@h߀{RΊlN-l)DoChBX}_ikSWG5cFx epfGbcub#f ޻'x4cKQ%(_ d]'3[:E95'RoDf'ӋĶ.@GR<mUJ .QV2FIo|ϴBXHˢ;)[K`t(0g~*T㭛q]K[+~ZZf{6phJd%u[+ˋEa?\'f:BBfG*T),!}PV=l`mlYjՎi gi&5? ٲ*<[3A n#cK ُ !d ڼXSt5ݽwZ ]1STohRQ!kkrz3CX|dj,EKqBKRi-_b Z6fBqThwIl,J*^]N$%bl4FU/ zD"_hZfp#87F1?3)tXS,CW6 tRC&(-m=}S8(3iOꀺƭXw\E_mfD0YҨLv8P៚96\ïdJO`'Ny9iMz*Jfrew xy&m] `Y}<3~&DnnȔ);dqfa+`n Rq{%a0MDFAwp\υ v=X9+;an ybW奆n l% f}!ץяqZcT7KPY6,rܒ֡ۏ6 ` 6վL'9Cb-mXe(⸵:slMakPccvR )sq"d5/MYś0-|w</Ɩm{0Wnh-`Mb^]vtsc"ΖVRJrW֒gw&8*dfx4HWh NK+ܽb(̪3>/o?%P'yoN@xdɌ϶tBo,?9J7/rr .jlgX˱, 1R $)UU@z^vTC ˴X$7|~P>&h`oj@oY€sT>fsxΖ/D\+CA2`y*Ǭ7G;L C+De N*}GsdbgΧ9]~AMZ]RLYwLI3>I~Tea9t[YCag\o^ 80^DlUB?N ` ~'f~3N>?:cԺZu;탦=fX}S\2H}L]SYȷLCayt+nȕZ6ťһB &$Q5|J"2RY#P=乆<˙%PS)M$'"WSoM u7W5WcOU'`h؜x2"I3@f}^a#T&M"E'*dg3}o%wnPΧs}ShzM%.|3g (Z]j{2 8Mଜ5C$w@HV('ʢ}đS-2ƒoh+nC,|(&,Z)"l3(jaMȱڳpeS#NQLfY !|[nu cuq-0t%2<8VM NCu3PsV9jU? L~/ųN*Y:ϗ  ERQDYdaJa.2&uu}L%H.'%%QJq1M%3قi&z'Js~j[S;L~4 q;T];Ν":0&}Jl\zr4M\(_`q"4)uA7OnKHHa?%KmPd)D72YZ6q44|5O%SgҸ ˷! ^U qSf#0ۃ{g,xu^6irpdO7~XDjEr' +*JmvJE}ebs/@nSXRҁtk0C?pKg])Xѳ`L _wtW%]ERX8#KDDkfAjspY̌h؋TM=!+합N\Q3qnVPn!RպxׇH2B-G9Am%Q},jF~ Q$eӱR2`|u;,ԮIǵC"A0jN Kc6LhIc;4d^$<NН=0 ׵^j4 гF(,dUR*f8Q~ 'jH-Wy;"s4™cm|;M%@t)d~7(~EQ)IKa~}M.XPVB=1^BZk:ڲA'xi-$edѣ^fWM%w5)<.*Z$h0 O# ΋͢i/9%~6R_etI<# KI2Stp-2"{UEy.ncdc1vomBed&#~.>=jrRZ<ї<]-W^'~ ծ@Iu䘿LG݀#߳:5:OTHB bcNbٽ<u lR\ sղ̪ی>kxc*kU˩J #mX3dxGܤu7QOLrftA>_V*@|ʙu9yPxmɊ@JWQ=DPȥe,^XQK(NJh gSf$a POޓ59N%X&ꭹMt) X@)]:tpcbƔTPu_vQ U{ u[9,{Nw.7cV.,9C",v7jz@ rfT=/-cZDv4AQ.T}?O([:||N;Zf|Up&ʄ5Q9}UTx%@#h3Tr}1:VX˂fmFQN>1BW[x-$yATqUP 47lѕ?TbEw?2IGB=#*-&FߪgT0vb`-sҜ2?ʲP F 񷵳hclUIv ZH%wV{ꈊUT0`ȗۗ`X#I-3#).T4k(T|A+TI*ZF ,Ւ#@W`Prx .Ѿy@A1vNJG|]0u^1!!+`RDb M|׳!,予kLt%tɱ,B@7d.zPYXfSS6'g$S)vNRCĝ̍7{O"lꇺ!2\m"j"'`$tMK ͽ>&N ~eԝv`Wϼ=z|Qƛ17J<>2TnC̎Uv _JR̫l=[s~|3Ax#1Qzʐ|nνX;6bNͥ@f*PUluViWBEC~ld}iǪ'σRܢ쐦qFC{% V칝ME~;›3}9m*w NW?O=a}MƦ;d%?vZӡF%n dM֖ :I7+"݉66F#L 8Zj=G~)eD)ɇ3Пf>%a$V{+yAhqx4 PX,n/=7By8KOfL%uc}A9}]ex.21*iݳC=sj)7͓`nuintv|LjGd|tR$-,?/98xu|yjJ6twucc~ d-;F_ru Ƅtn]~hn*%فw-J/ȍu~ !:%|FMؒ*n trzoHM~̖sUf+\>ޡMR5gy|I򎻣d]1r=y/|-U]ww8o K%8jr"2yЩFi6dT8~bH(te '{ 牥 j'}_f ,闗XSfhvU3֕OXA?ɖ1:qdu3qhllXg'$WliG"dn2F0fơLS@kei9Xfo#uC[(a=ll#ޙ#X1be,A)R5DĈk$_k401;3l}C.OT~v s2\{My)9PƉ׭ U@m4]歘6/]=+7mحrF4)h,=1>tm-dlw:sqw~z=3?ëӽ{иf;` \8VE!,?uNd$uJ8(xʹR)Wulll/J D%aU)TPW;qVRyN8o)9SƊe(k(uv¹"^RA Tw\(ӭmW@ `厷Mo8<9D$ՕAXW[qd׏J3:؍NV)b9 X)ESzBF!3{?S$]M΄-Gk)hi˻|z+^@&"09+a\Q%:pG4}{)?FAŸ2Fy[Bay_Ujk>}GaLfc朇*N4k.lYJ.-%[LoRmҺd@ Ê.V>p,Ynigp"8Ѿ.igV;oǘCG?n$nS@Հ9֩3o!NBϮUq;G)lAene۩a}qD$[_KLt1RhMo9FKgs.CMBձV竊.^%z*5 \4; x["Z,Qeylσ+m>.J2m;*U>ճ&y ơ(0r8yn_I_G#ShV8 ?91 'sA.QF 6xd/>0CNϲ6ie~d:x,fN& ͤhgG.{\]Β]jK[tH0?G&9aPlƤ rX6d,I#qW-PC`Ϣ๛F+<J3) es@;۫47J8X1 ۾ ؝Rw}M^}pO/6;H=q2.8וAN7/N?g.4S 6C4> HR)c~9\rNs$pNmAj &` @/2|R4yCJx.$pӅHƄ*c@ڲh$t(Uh+0"`9v)fP^V񄒹@^/=j鑙eџzz)ҁi3Žl@fͤ+YhƁNw>%cFa.vGH V r,=_JMU!R3Z7#U`ϯZܠnnO$.!KW. kPg!wM|$䞔)R9WwA0?ͤ>Z[Ҹv r7bwRɅXQr,*& 8.)u$t&Yk<2dJ~xÅղғѓFQƽNK :H1sVw79bY&WF/Iz|cv*)[9ĻV?2~KԷ0m4w+rE20{ژƌy)͜R/HNTsܸn2T:VF8/ՈʪF} x}N3/Az.m<[2ՕHGf*xDFhTIotޮhi{g<Մ^j[bpb2Ď u;$,}Eow{&Ru&4?h瀔hzOOP3BCU]]6od!U>:9:U _AG =V!E[-V+}TQCjPڹ?MeۂNudwFDOԕ'($y0_=as5Ht]㳻N$"=ƶUnqE >sn A ɀS"S\+tT7rkUCmBdz:m&6+K酂H˻/xp"]S8UV3*skI!THp Si1DV6޻Pi4'<PC,('wgʮD72J`ZV_I󭒿Q9.h  %Uv=  !!ܐIX5TP|aDsj024)vÇi :ZgU'jq'3w|[K\ܻao 9cDv[V xMktNﶢHD},Y8b@ȁ_O7(A18PgJ!}~|%I Pns;.Ūtݺ03g+aDBRK]z;!guje 5, sHse,81/0k@Ц { mk")`ϵaIunuŶ?8Ih]H&yDD"P0BtʹcEް@i m]m(4ve;ɠ+<[*UDoEn5 ~|RIzߵ6fA%@4#QۼxڪZFѼpE@1,`p.O )khw&^}x^̜b3s41mT2`@pei$݂1({;Ÿ޴QfP`$ =uf\x1y@0AR|Dqp3 ُGQ*jQ ˝$HpNދ½Z_H!gċ+ЈKk (10wui^J{jyФ1M: ' DY "䀚Pj)T6>:nȡ$jH$O~ى\㯸+ >}aYap{Me .T;ǡ{-[uU{b yDKl3_m0O SԠd h;ed}Uw^_g% c5F9,v5-W&d )$;R`TYཀྵD9~5g"X٠(գE{sESѾ7pE#p]yrI\Y[eo.Rjn3*mw%/8\oO0?$o$jq$ǻkYqjeΎU_h0~.!G7r5tے$x6 iZtS3'Ӡ;:-Zl蛮! :#vF2V'ds%󨍿hj0cGZ3L_~b>MG u2%{`fAlZ`[dqOEeBn:(tDޚD™>֪qTW㥄w8͢Q[3?la2Aq!A~l1~8O;\&vx!++?J؄[ׯ 1W_q9~DuTa.i=v(,EYX=QeݯWsmu))֊/Yau@mjtuX[j4,:dH$H2]{AƻyT,z).rj \\'MQإ)L>!:>W+]uAWͩ:֓YP4e =1^qy˷Wb8kjͩ!!aMu# e ƭab29rzuC;I>LD lI жu Ax`FC>SAfF ٖS&NS,OPRmTɼÀf"+uR1L:9 8(|kߐä!ڜ:bṚB`O4bF솑2l?0zڗ1nT|bH; Xxsw_c>?śbLSăڃn_$Ē]6W04멡 R9a]&FǷq'naZm41`nMQ'Ng~XPK/q&b2/:/>XDQ7G|C~mjY;%5ok|C 5r"zps)TʩFC⒬s!/D >!yL١%s $Z]ܗ{BD'7+E>u.\吢]\D27F%,e_Z[ V6]+o<("Z6a<~_$ٰehྡྷ9`d?ooMi3SXDgH&w$S՞n'M5{x7⭻Zd.t=/oWGS`õ4 GٜVg+Hs:v"A(> *iSS;nE gCVNg#UQ.1\[.PZ{ F;zfdΔ-E*+TMNz5P:JE uds\R:9*Mh;0s=e9p&zFS0~ yqrDJpZRG nrMxar=q_59970u<ؙB1y/hܢx ̾k\yHBArʛ{?}u0.9󒼍}Ӫ'fSЯ) i#<&kK·I&Z]$R`3+4arI] sZrQe8P.UݙYETe@Z r͙lC+NϽw/ݐ{ J.v !w&bÅ1(anA7 TΣ6VFjӡS J(T9l1@JL59ǡrzOh'0gUhݯӆJ3D}e3SL~^UNT`Mr=^,h(r=m\n|S/f@ai5O||ˠcDnWn>\h8Ӱ7[XpV,x" Šec[)^ҽ>8 ocg'\~T, !~sNw q8BNBu ^<--">F$F.&g =Υ`% h@Ck;1{ekAdS"sbܐ-WM!n6erY)k0ZO.xz?]w\Un`=}%g( _ኗKa+dziH }(QaZexmU+ 9-L*A@lHӞW8' 3 ₥ R&{3gmД(*yҭmVQ&|#}5Yf1'|s|ZRH'Ό] }죴2MV?eh?#ooQ횇{U9\QˬyGyvX?0RC)&Cl1`Wq9$W,=buU4sv5GK$plΖ35[u? 4LG_('cZ$U6]Tb(6,]0>PHҎ&on1ᓛ{.KcKzYYS#Leר4m E/MZEW At=t*t@r#!ཱྀ|Գiq c?Phfb`A(˕3xBtJ/O~z.꘹ҏ)wܖ_ H:ru EbodV:4Pl3X̳Uݒ[؊֤C-cl빂&vzct+HmMyOo(cFo-مsG)WuSDU/39Rakx+Z!YœUQvb>kCRAdGn{ِ`~/kT doF4T6oUi2AJLwYɂ295TubK{Rzs"E2uÄ2~CkYkJ-y߲a798YC Y˕': kHY?5Ҡ`_s)C _:{q,ȹ_7:/#')i(^\H?$ [̒LB6!" lG8|bF l髮k83`/vg"0Ga*3Gn3LuN|d@xdMw`<55A EESE*ueHVDwQelfo/ P 412*=%2+L\'͆X5mH0ʇ`ZIgNu";JYjUh9T eӕKm(H-",N_x0a:yB_a6I:;^p#4n1jh*V򝒵IZ3*#.ZqE!*KϥoX,j,Q"_8,gьFB{ٮG114/:9KD=RzƼ8TTU wLAXŅ Vy p1Ls@IҨ)Oq-)/ZxMb@&2lki<'ȖBG+2 -;=SQ.>03odȴ\/Pfz/6nY'Y9_OskHBznɍ6朠ư0AZ'rl/́ +>|DѨHmd\cL.o"+lZEsOLypa7͡TfT{*;UP vsNo\޹!mh\RF/bNu٫G1 dh\BxszZQjbyn H6e"@fb&QJ#Ӳ?zE/c-ul5b5C@w˚ά ~3Eؐ'V~i{Whmw=b"t B@Y=7On-lVʾv"P8!fl)yVҌ<7̿ZG\1QξQt0 )Z1c0QG% FF3 -:rv^J3IWZY#UE<"|mRPƙ0f2&JبohXF]RrRlv-Vzq+=:&(z6=$Gڈ̨!uBZnçz+N$(DFw `P֡YJӭb Z䝊XYvLH[XZWZwAůļ'3. YeJ"3NcEO8HS'E"6R99>'($sg}'esúgeҰAt _`ˤ<2oW''%~KGI"S6 HŒjՓH$FZ;܉ ~-:H9]g)Y#3}e}-?W'\:1CTR؆%e'!X}wCV}4:_Ȍ''}d {8(Wf,?AE7ʉRiNjV`Ïl`J1nWNwh#|Rr۴0ƍR6<#MhCp;pMPoMr"WԔRL|jX'|㍣@Zz6`P /m6~2XfvyPD[6%I@V4 1)P]'zL]p;f "Q?vQNEǿBoONEOJۺ4GL3zzVi 3?0&QDRd/na ƴ|\MT1Fa >Nn4QC e_Z|gL. %L]18>dW|}1unH7چD Fӯ7Lso<֏OqT=3)Z津e!QZcm6Z,Zd='T-ȴgZK@,>Osym4i㙫:I9'SЍFtD1W HKf3HwѢ@Zt9V n#l(q:*/M93^dHs3(&g p@zgJ:3 H (r(Ri*5Yx Gokf !Z C+tG34F k=h,n#0G@r w*íy ߙ{^z n%汣$%DHY]-Z|j,:x{RqRleR![/(L{.Uߚ+㱭 uUGI0@$gPHN*ms!9Zcd6VLK-CWD"*p3Ʀ.N2Dϗ,=Ng`}{*)qN.0k7OϘ -w8>Ep|Ij2/ϷޣvV?SO;QxlFwXe_ꅾ G*l.D;wC =8ftKM\'>CxJ^:\DqAIt|%63BYQACr!8!tn&4 ̦Yʺ,rؾȈY+$O_wDn,,@-2s1?.!`SуKˡsLM7y*c["#Ի R lө3ˈs+ƍ7)_5?f*^ߌfU"U']dc_6I#Ot;ڭ&@[ILVMXz1[r#R'2HR0 8C 'Z}?M6f}fyRh_FzqT?]Gj ADh}F&BĖ!v9G5YH>4}hY+G]pVf AU\.a 1N|(j wU~gEۘ_l@NEԉ/`HMrQAQԵ~ڒj$a-ǃt3-ۑ3o]W$R3 꼈9RsWZ wMJ/M& }5'̸Ei:Gk,iь!:(cndMP:c%ڊfZ̫CDՍ84L86U4@JnĴ 1\g>;Y9^ݨr&wZ{`F8/i2ociG9*{: *pe. -bSzN0:i*2PR0Je",hMVYz_p`7+]w:̐yԄhj{0?M9+<l 4!I5n۩j VU9٘?ϒwL8'}k|"$_GԆYM% ?7j?_ohz+[-shS/>Wv'raT :Pq;1ށzՓZŷLB+~?DVFǢ#w9TΫ ' OR1Iv*DYeCzҞJͥSj I Yrԧpx:U)s](6xGbZ$5I m}ʨfDio=)ͲyS`ݱW\stdGκKؚ͈^E8D,藜IBPU|.%LOmҵ P2iLP$X}' vZ騭PwPMBQ0 `JN M:ĸnjP:]k.$U :, ^z sMZ5C^㎳dG.H_Irl }m"f+2# ?Ҁ aӔ_P׀r|;CXAo+z˩_[ [\WJ~q wJ@ I0,_i>ç^'R>B[ކas i83pɏ> xvgBnz2"A]8@0Ӫ5ǧF1»:MNKͱUIH*׵0+ ˪V^ Y*xe:"^Kb!^-Nъ\]'6fiF)$&PZmc%~$W՜r@'g,+4DǡU kG^tOdMp5@WoP>s"u JT0Rۗ\6rt AѶ.]H sO]\#'bҿ[AqO؀|5^mmRGJ2Wbs1Ŕ<%$יAH zIS6b2d׿b7Q9~Y`<_DÀ$ GfE5aR[ྭi^-?Wh1w+@N-} W9!&ynB!Tmb*YWڝ~6TѸVX xO#np\.+$*Edr<I6|M4_A_$d|>1kP0TMV#+ن%E톺}&1?VUUx۔tge- +xGԷů@+u4b4 §F*\nv9Zw:A:?NJ 97mh mM fXLP eT6n^-GF fޗg~WEqZ5|?5pޫS M+P{H S`[W 3 Gj2GHVŌ=7$ ʽ ?UAZI.RrO%z#U6cHݦ_\TNJ(j67RAJi&.u[]empm~11{i0\N(l3u.s4 O+"E¹35i8?`85[#@T`k~o5p2'‚lzY]+z2̈́DimszIj4R<5 k.f6ܰmp9A %pngfSn^Fy(G'!:&nœxm퓥?҇;-,jho({Q'V#דKF*F;x"ՀUr <|s7:B!IըH'pxUv@ `ES?Ɉ8S)|'Ҳ,QƉ8~(eWm,E= jL0]x-@Kpnl5T슺 )km1c:0WAl01EjB2[th]K XI|O^ ڵ /*[[vRHv]b@) DW:\s ꋎ/w /ǎ5ix<`O7D 3>:|Kmz⃅Pp`V-QI]^@ ]Np^_Ó1fb[ ?WP: fF JbBhi˸c=LRԘ*TK5ʼnm))+\7Qa<]؃ q%`ShBN)NG  I_+IcY?vDG-)R_Rl]7 *CNL?}De5f`T!|k8w7V$D&.~TK fvmcW_mB> hywɉ%|ZIHv SK!ԨlAVKǒw<{ M ١E 2orcQ 0h F-*K]}%*$nً!꩏,fgr, (vS`yB 9$ oO]ȯLF]w'=l2&HfPbOo=R| '#z`C;.O K@u=^ ?n"C []uy b a>GHgd; U&i({U[/u* Am.DglSDYsR39~ȴ%К63L? Hi쓳l=> ;qtV¾>۩sE l0]R1wԁig&Fߣ";5ect0qc<3t,Lynw޿d&XT~T n _LE0'r䐻: @gq&l`4lFx3-jIz?IѼlcgW;jLc;{M8"*5bfO2'.Q\Xwi +0pv xS^H>M"XY0#K,Ymr$pXW& O۝cb#c Reb1tm.epԀShvK3>5|\ob?1P31.t@_/M@ec1]nMp^F|nbi|NHLA]~> #V}#`KBHIIRq_V*wrr-_Yp';IIbGyըַƉF@k w!/s̔CijK0XU[o@$"94æ]s)u+'\Zh[rѤ2\:?W#!^ 5Z€ȝq׏X [o|9.C7KbG9CXYBiͱ;q&j?*'8gt]7k tׁn\Kt~BAö#8kHON3Aab^==S =mmAD{dՃܘE Bԁb2^w{gk` fSlS(Yobw;-{DM#Z&jىx[^X*ÔTS`&fy53`(ً}4+{D  U6 3yj[qN6RY)fÿ38@ z-L8SVף8OpS&%ŀ".e<>:.mf.놆/34DÊ9_7Piʃ8' y(܇CuyĦVCGe}@5r`ң+DbmWW%lhgeQs@ۀu`z6a.% Yġ۽»O]#aaNA:f;"APʆzқ^ùGWr{ç'?'t=ôtCWVQVǚ}[z! 9ğA8۲{:!?$l}W=эnԅ7ƚ|+MCZac?. >SD9҃Z<PQ kqq~ڊ _xGjY`OoACw}Zp&97Rȿ20 vMf[T*SZxbssU U0o,/;S&1-yk'%]/k,k*y2mI=0vj{jj(I_Q%x)rR2XEF +,-Fݪ_li넎X!; tZ6Ph9ņ٪le270ǪT*۟}d&\MR ׮,fm><˔ 7*vȸxUmN1mr'MGnj.K ѳx!0d?* Pq=k8jz!.TMWrr;]*4vv*Uws$m ɨ/ zZ$긚F#plIfVYеs2$ g3)[ڌOK4$V.ߢ@+k-6KX0,tR^V i`F؇NUo^dpIWP\}Vl 9֮ 670zr)KnI;{2vLnp/y<-^Zl-sLuYњ(d:0[m* B\U\>uXͫ^GZU\qяWQEŦ);*3m}!&z|֞;dzܿs-(]G.2@{j_; 5 @.X' 3A)c̡cQ}RaV6Mzd{FjQYL1)^#N($F[Ԉ IĽlE)|Ӊa{JrqH*%>X;sL+ VjDL"9+M(̵B! g]R ɎQOmVѯ d0V(HgJxb vzE(8{oyIHթ7WMo(6kzڋ)Uzqmg@u ӂUfʤHL k T]gpCA%p +Z< lqǣ<-j0GLqcΒ uHbw'-NT;YI=>x hzBm>~ /RXry ;> h&/\ "̀ҳ ϾFya> v[%G5-h!Y2a5 q ECR2sM<]bIHlwQ]Y+8L+ߛ쩩\Jcr Hyn@BYݓn?RŽ=8~^@ZorPՊ;D^xE#J0߿ZQ`59KhI{s |t==w%XY3$i9wڟEUjwvc 9 N-YNbcQ &Ŵ60GH}ΧDi194 ^G>zX4 C2(ly DZæzvk!u;Ѳp.wT<ɃK1zQ:I4cv_$-cOg2(%ǘZgrU^ vĀdII{(5x"ޞwX~="6W ۸SGi4AK`+$ nl~|ǸuFoy8܋\=i+y6JzZe!z_łlf_bLΫ#4pʱEġP=7X=F?ʐf!/#tB')wuF!^,qœ*G76VSF:t*@h |N!_čoQUQ ^@z(s*i)G~'2ڨSݼ0~@ET=}|{Bd^zNKokېmeEj9M߁JRlwULЃ7J*)||: r/6q}3=\=Lb:Q[$, mVt64Rh_7JX0 *Ai,&K4W#RC @SQ~ٴ?jj$u߁ЛL\:/X+nIN =̗/~6 %jfN3韃KSh iq *5a 0#OenMoۼ)dc. -^ILX~)ٺ$4ZX6 9ɽ /[GOpF.p@)[adv<^Q">Wge,#W?J]h*Pt{)~'_LeC} }l\̋-[Ӯ!tz>hKb%ُHeO$\qnA[OL%LG.;Q8iGH?ϳ[)ԫ ̰40W8L>p n7꼒@F:?qFؑhB5 |.ʞOgV/%PӞm(vZg Q# qur|B4$d;y3}:F+-GT^>_;NStȤ\%WE(%\IC_:wd3+DTQ_x:peVҷfMo260eݟYCHZ7a ДICASwfbWB۞hw9<~N )ZT=Ȇ.]&.aa8f=>č‰ܧ;ACmYIA눃ӓ*vxu4It_]=ጨka#UQGFۊQS^#c;"n G(}LG1pUl q+)5BDE/e>SYO0_ޙ\a c\*U$]"vǖ@c|hW0ʵObwNW8*y7K77T{SD&S>SD@7rS'3[[cyz]*ud `Gwq4(,CҚ:sbonY aU1AF-Yf;HR3ȩN@BAFJ6~E~oi\fn C_ぽ&]=>X5f ,jPagvÑwyXY>Tn.ӹ1*$-63H6؊bOKr,c`29\nty{tT7;<ǧ&';WR=>ld_/)T؋ q x1ۚa~> l/UċJTǢr;IB:9UJj7ϓ/A˨nOH2n-QU cZ2s)̀^tfXmhe3TYbPC)t4Ci5B̍]↢`縼]([tos|ҭ,tVpUtwjhzxmLZw#Boا=vfL`[r׿7ՃJ4-Wc% \A9-Sm43_ &ňԺ8xju6zJߠU|]#k4AӫȔXHDKj] 7@y52XBI {hq-kA'3e,r5¿p)<`r'$ZT/$܁7wMԥEi46ބNeM::zD>H26f}Z`̧!蕋DbCo:Ix_R돫}~o ;S.(T}9ƈ 0]ILLAUd^7< JY7\n En}A‡(4I #-svZYoQV梒h>YCG0bh;\ijFT,Z"2宜\,.lJh)mr-{忹ko^&eQq QWm*@®]knylY' ĴH)}% {#b[X$M,d=j_'c~ h F]]xyw7_}d3uJ-иK{OMr{8lM1Ba"\D!X-o%=oq/+}F5>;hmZ=WIlSQ} P?FUGlVH@2> cGePpLW{LN0¿XQ2FATb@yDŜ^$ӎꬬ.m']:T60M_6?D(R9j\Nkd6֫.sRïjySnj/1Cl*o3BOXUBƤOÖXEv c% _3q-$͕B~ `Xʼt_=+=6W?~o^B'J(]%F_1 ad=YRlV+ 2"Rl!P88bM*j2!ZcOxUmRbr?fטK+qV@#.TM6SUs:zj!S*lavr2ȧGqN,po %ME; cMAn;C;(e`͍ Cw*`d+# 6w~]:@;n)IB7CK$€nqo]KwB&k>"UjXv%'2F/wIjKO8g⛏!zAr Kk'*%O7⁦;!}VJ@s*Cr0'm*=@!^U! ?4(f,"Z ڳrN e7WA!%~™IfߌZֶ3}OBt[݆!A6& f̿}j煁zXJ({Ҝ\vnqU+,!1X 9MvL5]RPl6K>NJH_Rt1̵R"5,ƕm4 ڦƈRk jo 7?b+ܫO`u:>v+17*6w|/ǣ~ݕbqKcI4 ՛[qSۿu~h/ro_gt)L|BvvP[炲YW49jL4E{c/VcE\D@aS,,HjW&LJٻ,On Z Si|GhǗ!ylgꢍ3-K)hʹ>e&VKp-ȯIFއb!,jphz!;1#]%HSwQ* JB[u V13oS"]BZUVvU]'9`:H&*q+SqJ.i׎Nb|A lŭq|ׇ_rbhFo=VA.[\Dd2;.| 桩S3} &Pq 4 T לEq?CiL75t/v iK%s5׈u+o2׍Y h#[vP.X)Cׄ42QG2HP\@Qh9j[8 I(NH%gT@QdXcAáUVf5Jh 2M:OC}9f<=Ya2WGAdp5D=rzq=@/Up'!@6zǨS^kN~)ېQim[&ߤF*؟)(!6dJ7PQ-2>~9/8E 15@2JeLps#UC@;*<™>J #d$$^R-K@&C s֛%^OY>X^[E# RhL"yf@֤A+ { pMGFJnTVpJPw>@|ɓ ,dh 31L.4E0a{w#|cul p 3>v[=b\.“ wyJ)79(d+ s,ICO\bhi7OKKIڕn΁ rƭʏy=ykjNizѝTNd3+7EBo;G.b늷t5ibD@z܃c"R bDZH6jyykkXF"ԣnDTDi1d9r*nqM7G%`,ѵFE% ~)x,XR`RW t$ʎIQ%E) Ĺ]2fW̉JTW@zV.6G֊l Z/H)RfĭLJ 9mj*%)pz9w1 9aKce)~ K: 0c;λ'1*'25Et+AX)B pCG.kYwHL>q?v1<.lyucQw? e=<9HBz@!;@TuY75LZ T^c}fdUO`Έ{O 4]P[GMdiI-}۱c`&8u@3@*vK4BByQ54yPbtkSEj#$,Ɉ+0'pt*j F^UdSI?P~bC7n3|h%Hq:XacG,:N!Fſ[kuS( fp~\e| n`J*)fm?wٰ!NwQ;c=usXcjc&EcbjZW{o_C#W>XK!8H^,5Χ{S-P_:UިP#M(VS;Q- JCOo-VASCZrJ $_qITBե\W]^H9J5u. #q#V5Ӊꨮ_rKV-HOw4)dM { J9DK,BHZmm*;0YZ 8|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4z # dPurePurePIDE/markup7zXZִF! /]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#Og>eE*fأTFV?OS mmƶ-6Zxh䰭§ ޢ`bWd-eFp?p+lg*[+\X7̭gZf;.~}A9kT▲uI`"yñn EV|i ,؃S`ϰOQn.J߲7QGH#O͸0+܍,2|1 %;7نh!&k1=-;kV٦1~K1W,Y9d] I"uIۉӬR1nIit Fsd]m%2uiJ7Fj?afcGNA}M@l\DS*J?r( B.:/0pPYRޮq ,Us),'@+(M>z/E"?2?ߋ8\ F06ŵypq!rQzˤnQt8a)QԮ/]Z!#Gh|duTuwz+ @Rʿ]zwii>1SfU{(4wF@H*Q1?T55Xm= ,U6;JeNs\J#e2\ُI] ZS!YG đm4/i-oGٙ(m=f5hŠi2-(ԕcf'aL&8CPeMmJȿKs-Ee GcTٰs7Go6쒝(I b*/겆O0|O4z;rh븣$3#/e퀵cq7lh˽HŠCKYH|OvOWԀeπɉUiAXFzk_r멹}K~͐ӈRz>? 7W*x7Jhu-`->]tW_Rg#ñ7mLGz|D#F E兞iԡ8ްAXaޫ%ƍ8bFֿKL2293Iɹi+ۓ:@%@"=~)@E8 F>Mb4jբ1m i؂yXw~( H@1\VfLF\lָӇsb;}x*µPXqFʮxyQQE[V}yiÂH5ꮢ {u*i7ΚAxG3A P ]EEm5[6yO..) ӥr6sṺc DoOX]cQ!["%۲?Gp9(*],j5KX38$o5³2ĺj709ْRR) jɖ 9ie gAn,dk0VjMw)X md"aKq yO;l잦 S'bcscYݽ[mJŷ~EG[ 8b58.1}c lFEAU4{ph_o~nH`6{[a3lJfA&:J$Ǭt3-^]HnBQn4ہo3PdvN.&eA4D2k m'3])Ed;e[;,6Y2J0 jEۃ7J~fλ<:{Fjw/%#X^ e% -&(p2]S9aikn?S /Hf Mµ߸jRƯ5C 81Ƣ z1+ 4=AsXe@fic.݄_–18xo,iVk8Zgogps:TZ|S(b؋_><}s& "c(M'2"fMk3BDsBě?\ Yt1SW_ MϾ^&3dֻ%uV gG^œr;)Wqx!5O6q x ffL\CIM`2{.fCGZOn4tws *171EO^H5s,H.d&$k 22^*(Rg,:aЎ*A}P2#pڢ~op`v=X2k\_Xu2%*UAj>>֚RaNYh\[x+?A滻6 գO 43$:bEV[֩FB2`7UY}F{1_Gk2XrN0 ^7 !*xn[@G o>DDز%ϵ<\".S#Ov wE`_+_^| GhU>:uB! En:f~nRd'14]„aX2Ez;ĽuhGmo#̨ШDw1i >R+!ν%Hq?s5٪>pdE\`^bKw OY0Ss*rЙd# I ֻi3r f*\F8phVn >C^õsFN0["B Ǵk.rtP N >?`4c)d.1TQ+wJ^XQwe..4K#:LPV <A{3:ZQYz]ng"_eq`S&hchףݛD;`Np$Gqn0 :M9XmhnUE|]%A/[aeOf #d;tQQ/Pj4Ɉ4!h6ST"P[hwfn'z#lJq /qZj4"m0l$]]4SXX{VnNӱKy\LER|H|7-#Q엫Î(5g#]o??{[g"/T\q Ԥ<=9q~/f}H~EsUA,ɭF+yV5&ښ섧'ؙ.b =k5wv/aWj_4XvP\j"iL\Um[a2i#t2dÖ %xC&fD]$y%*['f,tOUXW:KȎ^UEk7uq@bO]2&ԧh~]3A"=A_ﺏ'o^Z MULEN5?GIe\~oSXIZͰв,S1}Լ#K3ȮR﹂h1eCaw;y%GJD9ھVW7)2`㊲O#u޲73uZeIeM> ^4bVbo&͎eXKG!b96rQJOvE6q)ҷ!Hat aL'sXϭ+uj_O&x2AagU> - !JCY#npE,U ,>d0påж8,ae7x$|K~Rշw%RHjDk3E4%vhT=_Vt cp)=IA!%3L:>G8e f؟)T"Ӥ-oE6>Dwg2.ٴڢm6!ꕀrgSvЇn77Na@$jS#Aܰk PY_~` -HydPb{_5-#f@}5TgDCq#(;&6 o1Z:J)%t7X &$C>R^-_7_P51B}^U[Ǐj(k;%qj{FM}|K*[0 5dz>8b;!>w FdVw@:@7'Fct`jgdeC;[]Ȝ d_ŚnTUC 1nb;B\ a)}_ېPzUC ɘ6[5Z"swˎԯ+'.I[,ݗk lsDdR4'J]50 =ِ5̩!2 /{ a p;XǮWhicc}$6{->9sVU-t3nY3/yI*0V* | qg4֍ P$F MUqn5ǯj+{o6i( &$ݲMcnFbVT{|صۇ[S??U(!VY;mN[l>w!%5;\H5 TW1")>J)Zuu$ qk(kG uXvt/}cG+~9 \u;cJwо}bn޺K5HτX۷dp+|6XauFn[ xӺ^ʶhw `GUo% m?.h=$O,]2UVםrEHC*r{$UtP܁lȋ톀k6ڣWi & ̸͞R&mh~|{b"YtRԍzp:01ʈp8]zHxAeq#<۽YwS=$ܷ\- N?-'b\L@ UbG~LMy! 9;8,'aa}ע;C-1*ϥ.u"(;OA Kw4A"x|52ȇs">4̸u4_qxmE)&m?[e^!",cb,fS#Wpa?| 6 Pez;MEG3,QXhh߸)x8WrfYźA_#͡r#~G@xh"x3NMb&̝8YWN$LU4 z#9oAeA nk8~,~*\lMә1A+*6}VEy)vgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJ U.3Eyr}> 82Ga|_ 2j ALD^+LNgYZl'# PurePure.SessionsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzL ACmx oqpqNhϒVLJ诓8u"|`:]UDoFw[9mG ZƟo_IG^$'Ie{q)| Š J!L>`,WBGp`B~OFҡ/c`Afp\}~lU6ZHޥ|bcVYJ:e_bnKY`}IQ12&G<މ7 ?b 0w$OQ37_80@U}#ݙՀL$кPǨtE֠0f.MS6/ Ri#)f2}#eUPuFmPSN@RxXU7D5⎤OF+TYkHٮ8^E xzpr-/;@kPv[kٹ{pky]T,HCō(.JrmE ꆐP.a{壘ŤٵyTӥ\*V#c} -#J?utol>Hoy@W$7okҐFgh]@> h߅ͦ@jf)UġXp7ʌR%ڔ6ZFkT Iۈf'rbJNpM1CUgqEC`srS2/g%܎x\2_%H?Xgoj`|j~fh߂g; Kj0-8tTo2 hNQ_ k_Wރ#)dDgYZ