SQLite format 3@ *.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  =p\ ] ]Pure:threads=1elapsed=2.026cpu=2.110gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭ礝}CZƩl~-%Md77IElQF5B85ƻ*gygYZ7zXZִF! f]ŗXiɟ˚Ћ. k$wq( ..q x;^ۓ7e!ͯt|>'"\Y@ B蒫Chu r +gYZ7zXZִF! "]ŗXi%i]ҷ,UOiUf'Ip22D9876!<%mGiӲ0#ngbli2lkFYXXd_]tYƕs?mrDX#f[ E貇( Y&;[+N w}ސyU3jZc rwoBU:]k4JG(Ean65|/;%9M;֜Z#V8?^D;Lz%:$SZxpƙ@!|@E.4Tu1!Ar6SAD3Afsr񗐗&℗ vCgKs@5%CFoL/;m6T7RX'P%]We*I ?Ș0; l AW}=Xޕ\ZOv͛^y~QN^ +'x:FМΨ@3V@'9;ǚr?㭷| h.sPV;1HuB%ֵOMz~ ]gǍ+vH +<8c%!KM{sc?^K}pgy_{ěl ID? /αo&NvVe"qd$eg=N{ JH4)L" *f HZ oAW/7Tj9!Hέ }rm)[D gYZbaca792500ea226e121c17f37eab4ce8b2f5d09e55985286d4b602ca5aea2674b7213139011fefc0  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/44310g%PurePureproofs/44306f%PurePureproofs/44302e%PurePureproofs/44298d%PurePureproofs/44294c%PurePureproofs/44290b%PurePureproofs/44286a%PurePureproofs/44282`%PurePureproofs/44278_%PurePureproofs/44274^%PurePureproofs/44270]%PurePureproofs/44266\%PurePureproofs/44262[%PurePureproofs/44258Z%PurePureproofs/44254Y%PurePureproofs/44250X%PurePureproofs/44246W%PurePureproofs/44242V%PurePureproofs/44238U%PurePureproofs/44234T%PurePureproofs/44230S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44044N%PurePureproofs/44010M%PurePureproofs/44006L%PurePureproofs/44004K%PurePureproofs/44000J%PurePureproofs/43996I%PurePureproofs/43988H%PurePureproofs/43970G%PurePureproofs/43966F%PurePureproofs/43904E%PurePureproofs/43900D%PurePureproofs/43898C%PurePureproofs/43894B%PurePureproofs/43890A%PurePureproofs/43882@%PurePureproofs/43878?%PurePureproofs/43872>%PurePureproofs/43860=%PurePureproofs/43856<%PurePureproofs/43850;%PurePureproofs/43846:%PurePureproofs/438409%PurePureproofs/437848%PurePureproofs/437807%PurePureproofs/437786%PurePureproofs/437745%PurePureproofs/437704%PurePureproofs/437663%PurePureproofs/437502%PurePureproofs/437461%PurePureproofs/437380%PurePureproofs/43654/%PurePureproofs/43650.%PurePureproofs/43648-%PurePureproofs/43598,%PurePureproofs/43594+%PurePureproofs/43592*%PurePureproofs/43538)%PurePureproofs/43534(%PurePureproofs/43500'%PurePureproofs/43496&%PurePureproofs/43494%%PurePureproofs/43492$%PurePureproofs/43444#%PurePureproofs/43440"%PurePureproofs/43406!%PurePureproofs/43402 %PurePureproofs/43400%PurePureproofs/43398%PurePureproofs/43396!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/434947zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0_iO?-=DA\5-쿹gYZH$% dPurePureproofs/434927zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/434447zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Gho Yx`7z|[@ z4{! 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/437667zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/437507zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR[^8[?tRlWemo0bE+j~S^Fn[T3agYZ1% PurePureproofs/437467zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/437387zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aj2k [ /i SgYZ8-% DPurePureproofs/436487zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i#s!*0v62 G* n 5vW VgYZH*% dPurePureproofs/435927zXZִ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)% bc5`gYZ (% lPurePureproofs/435347zXZִF!  ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3ݽfry*WsvJTuҋ\##P:#2[mWn-8Ѱ@Ph`aڱf,FTbpX8y"ߙ11ƶ1bXⶕs_|H-¾XdOU<zIX#G]gYZx&% DPurePureproofs/434967zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&3vzlL_W$Ψ|EfCgYZ  '   ng5* B% PurePureproofs/438947zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰy2h|p:YF-^i -Ũ q) 0gYZA% dPurePureproofs/438907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPgyF¢PkGR) x I*gYZ(@% $PurePureproofs/438827zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%enN::dQ60hwY \gYZ?% dPurePureproofs/438787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט#CEHr l4A j;8gYZ$>% PurePureproofs/438727zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/438607zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|PWC7|v~K}1&ŪoOhzP! PqױgYZ<% TPurePureproofs/438567zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*x':_Z N"kqBz³.oa2gYZ$;% PurePureproofs/438507zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438467zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+q)Hii2C1#.^ɱgYZL5% lPurePureproofs/437747zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM}: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-%M6Rڰiܔy$D@$ gYZLK% lPurePureproofs/440047zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&)zj&WV!8\G  o<$ O3` I^wN?qB6Nd&ygYZJ% |PurePureproofs/440007zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛɜ&z=Urd6 o g0 gYZ\I% PurePureproofs/439967zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zlNCR^ScP̠k[, ?igYZlF% ,PurePureproofs/439667zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/439047zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoX(;*dC@KIjĶgYZlD% ,PurePureproofs/439007zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^ĐSˆ6"4 BgYZDC% \PurePureproofs/438987zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z}; PӪBiz{C50׆l fmGSSzPI gYZ  8 E8aatb% ƶ1bXⶕs_|5]d3,ylR!n*3NgYZH`% dPurePureproofs/442827zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞GC(䥝% <2cNѱgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/442707zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/442667zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/442627zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/442587zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/442547zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/442507zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442467zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442427zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442387zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/442347zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/442307zXZִ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   ( I[b`k3PurePuretheory/other/oracleentityname=Pure.skip_proofxname=skip_proofserial=834Dj1RPurePuretheory/other_kindsoracle fact bundle attribute method0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZkh# ,PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SENY7_Lp8rO =aH ߹[`&"idEoc/ˀ iSwu?rD׮ِe?1]D4e% Vz9bި7vmҏ6i7DvߕNÑs^o shlxv_͛% d.qO*]%?/:e|MԀFͯC 'XwOozdVDUw"B)d np,ۢo8kISt`1a8@_@  AJ0}na#it/4ł+(I+wym(;8aT(%`f:7[r ,vQ)jOKvUʖiyvg_bfD(2Plj[AaNH~+f? TE& cubs(#̸5`ReXtFqb= g4sjS`SvI6@&w-) u5CzA$gx9Ǹաyj}OOEA:EinǓ53OWnGC "f!.k69+PxAh\S5*e$Xg?yoJYU'Y_dFʞ(H 1hܿL4s.όt6o$sKIX_;Juʃ7s1pH> }8`y|}X#LpK%fT 9eֵ'Zձ~@0{'w2gخW$ CW?X*Z0s;ARc4$祝itTE¼0ru݁W,-$LԿ4m/oNDPt@(lh ڀw] E Ā)CJ_yʼ1$WyMRǻD#aM< 0`NI*Zڼh2(j,:HՑlQd̝V Ha j̦Mi5B])j)n0RAc'䬦&yN;,K\|GfI4)~Ȏoz PMk"e .gYZ\g% PurePureproofs/443107zXZִF! }]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoޝfRǒ@q$J*jĶgYZ|e% LPurePureproofs/443027zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gjWp;ϟ4(K[h5C1ОMNL,뾛 j ";5Wz9]*{'0GYT$IJFE#1fQCcBrg@f"]C떻($"cˇruȁ&46KoM9T;lV!%JhH&fNc(="LES6MaĊ(̈ាd_>׻m!^nb2'{gkK.b lgYZ"m9 PurePuretheory/other/attribute7zXZִF! :]a0{rg+5\>7yc3®vnݞƺM)fd15a/$Xix)BHM|"6T8hW⹖pUQ ջܮ:=ָߦ41B6đ!zZ+Yb5NE:~p'_abt6ZU*)t£ʨrzj> EG3^,hXF -3N ·h vRRTt?N+oAR&@CzLq>I3[rSRvjj)]|`(A,$p,߂ggm{ ?>%=kl.~1RGSdEjT0/nJyzgD>6SU}ҳb]Qv73MWoedS:z11@4aة_m$_)K_:]7-eQwc6tc{xS&+}j),ڥAT܄Ibxtj |3ѷo+QChbo:*i,!0'GMYAD.4;} z/y3 v'ϞeTP1%Ijc4UJn(PVW;/90K/&渠E:N^|:K0͛FTm>j.SVΐaSj@*m-ܹS٦y0[s6&~C{孎vͶt/=3¦)g s|:̷1XS H1ȋ~mE劁K/.Ӓ#F ( Jzuv`eN#p,zi:)oKPF ;ڱgYZul/ 4PurePuretheory/other/fact7zXZִF! Z]a0{rg+5\CJHa=O݅vBzxAekW%ЕM/תnfՆei7@**;=Ge0&+tLn6rAAV򙟁NKڤKF$uݽJW b㌉Jfip$?,G/SN4/G6;<]MgٛCѺ*;XS%-K7Զ_֩񥟡B@uxN(!2p398ۑu\93.߼K[eYI)5 Ȭ}-96&_R}R뇴t!ƈ򯾉B9Sr$AiR@U냢L902 1fv+c淺?~;9;T0v!GqArE$qAZd;cLn*͌\[yo1D'Y gYZ`( hDYS(E6nn1A{9!Qͅen)H_~n*0qM*<I]UփONd,8@40E+w#ȟCJ5+rD }!DwџZ.A $ˎ}-^yr9}x e =l bc|C.py9p-땇f*V&I=4vkC"xe g9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA ~#)v?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ;fA7'L?C ϸ_p~1m3 PuYn&^B1VzvɄ iD6!,W>|=cdF-讲az$v񁆫%5f\.re*r76]dBRQWI9*(#ZDƮ Q nWp5 u/N? l" cI_r|L\ڽjgjYs&S6-[J]ppוF?ȆQsWn{X;@+,# /uk 39kD?I-VߛzDa* _N"Zqh~t졁+sxS.M^TlŤHa# sc;%קfZkXS_p,"4o9SH("=ҼM8FefZԡ?# \E`e*Z]=m3Ip Sh#V_(s~H 3SNdBBFCwA=]mjrBbDK},b!#u߳N6jX8qgn>}'lB.eHPAFQV,i0gZVH>Vj~_< ɷnkh|Kz-\.pI5hc(h e"E9(hf{ DDžpw8V0ýl IM3L8<3Vm fЋ9Գj!Fr; 94 +cLwg,-^,\:8iUOsۢoW^nX?^LkmVO.0Umq-pHei@$a|4ڞ=q,DYeGӎ\#JKR|ƫQ&&e$;!fl 2r[ljBZP)qO!Q-$]NUX~V'J>Ʀc+ZJe4ת 8`>57呯Kㄿɀfhi)i³muq!bDElbO@B`$ n| 8%ESX.[Zޗɻxd=ʽV׳ F^2nS5=Eڍ1:]V Ov*'v${KR S 6⾧cѠ?ĨVRh7*^y=!'voȣĚBPba$%9qGW05Ae1e?׾k4*3ә$L)[ b9Q[aAs`7S {7 ޴ү~ Kw|)xud6t/PHԸ傍5:̷O~C OE %wrmD,LWsjpy '(=mE )#gkEWzn.F6>jXK9m2k5Ꞁծ& J`m(e/nS17]ujFRHyc ]o ΀R);m4aЋ"-QQaTU,5' yȏK VJ-:v6N &Hu}/*8y j ]@d >M59F`I~SU\~eQY4HS 2:QŪ~lU.y5QO&a˴DTDn*"]ߋ~K+@s}^KiInr[fmp_z/&zV\QOyFGtAJJPo*mJy }o엃 X-xk^.4s A(v*حW&ǭ6^ \ђ!MBg$-~ʊ϶d鶫, +qMKd&SVrJrDTOWZ HEOG*3@jV8O_g{z{h] I6J=l1.:@zd.>&;eqE4rA6E#+06p|Ȟ@Bfy|ړOa%֨8f5n R˛sdy)-%oS_7ww0JrJ5Zh7#F@%ÊH7=p٩pPr/& 6BѡJ`A>}"dpdң=]ٵ6HN ` 0_"4GBC *wJӚ!IV3_--x9]չe,IV8y,ncQ&"qvd*v,aHWQ^v2j2 {vB`u TR=o.;'yU܉]@ooBM=Ĝ01/kՑ`$;G44t^k$O^'VcǗFzV Gc@ٖ D]*$4 (-6_UoՠASɁdh #bL>|XU1"rvr9p>ec {8D K=7tjEP#4E[N,UٰO"R˪?,Y>< 2tl]fbe݀8T&Gu0hbSM\NQR?a!"ez,YP:w?CThJ:EYm#yE]L䓤;V$V,{ ƊŜ&̭k7Eb&Ջ DFS9%iBze+=ĩ>8"Q}[Л#/S}.>*:10aY߂LԸІ0YcI`[iu0"g64MY5yj׬ؚm(2TXQ)ma &)z7k95cpLQiF"Yo݁wqDZ5W,աW<> oz`SB5'd/{vpaxaW@b.~T z.nv?fޑMYԣ NYc>8"w}{ˑs5{6 9)H]&aWT:),le"\8#Tuұc=uoxxSe{<2Q!zhapZc2׍;&pN8#gz ?hnp;OpO2,k t+E^R.~@?WwXjdw$--Ee/.zd;@X_g>vJĿ@( h=}CUUedXg - ē[b8! "G+-UuPقmB%?.Ōt5s =.6 uS}W=9HZYě ")JrrIs/FݠhL9kb<qGg7&n;;fєd;mJ1ehh/#(7/.B7KUR6V LA=+g2rށ2~(Jl0!xGC"M?{df~pl޽[a0wJ F#!?!2fWc#}4 ܚxZxe|ho돥H `_}KGGa<3dK6% s=m%Ϩ=l1;QT[w9/7?-OjX[iE[>hO"V7)`]nu|>Qa4)NgU?2,tTF>v &af()y<80kQBV;hM |ߕ@OH/O%=E|9ZTPcwt FJ7"W+exb&u=Sͤ(dO-NU uGic&8jΐzU7Gvj38o6j5<Urp1`k3)fZXtJe(7C}vjeRJ 6%?HMﵘ_k֧>1-}pEXᣫP7N,'|5uX!?r^|QE`hIܹnV<"oiƟT}*4t5-!ؓ1'@Y:>u~X2V5vݚUUvat/!]xqW} ȫ:{o0dlL];khS!A8ćŚƑo,g(aq ~?&6v Q}S1uTnKߘoD?I#: .dSa?t[1UITrGG GS\S} f҉8]$/ekx g sh[pkx,7`D{:r .s.(n%|5ݟm 8\|i*XI:0fU+kn/}"K]wuNK7j8υ6GҨWӢ7CI,Ŧ9~ӑ9Q^:gv!#k*L3 hBH؄?pcz=I#8;E4"7 AsyljFntEMpϗaT R4kNJY <9w+_\ ɽ2&LP(Yއw.9Vv -XMUp)|\`sM%Gv/SmV=mgh:{Egݸ\4LL{֟ùb qewQoT|)>v{_f^xjd֯^tD; ?`{3P #vDr48V H77hc=t2-,ڮ/E f'~jh-u2F?=U|_XH/^x4ȼt-,"t^a3INM"< &r!~&ŭ@QϽ:uREX!哒@!3ېhl#.e( )wa9ezPƏ4v `oD﷡^JoGV^;$E~yΞ9\"fa*n*z5 yhL8m%:@QW'csv7H.,4zIHJh88}Vg2+v?vgqjAr%0j~HTY_|,8י57PgSBO6O=Yz| ~ K A-d1zBin\}p6K(c"4:G]Vl15q8T^LyOnxf~I$Q^e_ٺC>edpB( Lq 3)4SXRa59Xwdd.U,9%&X+瓏T(FRUȅ Uy&v2ƈO0kT6ʤj;:kK\N(sq\ǖB㽬}@)ns߯lXŻLub5T,!2{ez6ڻg$-1#>ɅYOUG-&^ .Yj4Z>r<M >k5IPKșilRxO]9|iٽk7h1}dj+WϨwrXcln ٠# uIuADls!| LzjŊB'k ; ^-nKov{=a¹DrWJ?0NE_TA?/ꋄBVEUaQ뵬-GӒA\RމG [d(׊$ C;K`*Noj|b6l_)e=$܌Xg%X_|BE ua#ZCf7_]gwf撩Ă:p-1EKV;#e_fw UX>= jXyET(ݑ96DPM̰CӗUr˛>;CP (IГJ» -ae)=iU^b:1/x?fE2Lso%⛖0\ 91;qP#HQ kd P#N)"RuIVm` rD&3m j%Ql)Tο=ZfT-9\h'Weֻq$UBOh#]K 5a:d~$xOt>8:`$b2=Ie|5ARFkZ*+ؓ~1cQʮNW8kzPIP SE' p-Z%Brϧak#.FU%ȁa~!?ܽ!Bsbi$;쫐SX )N33r3Qr)D;L)9pĩ C\^Uul$Ma*x |aPD{ŽlFШoF*)6vB`H:bP;)/_QTO|b{+/+׿ɶԏ@۰ZW_,M/Ձ́I\CL y wTr')j5%9GMJs*Z83{)4ea%00YXR o$e!5K]{i=\/"2 {(N.(81};t;j+tZE{, ,C*&9"3 >tlt"}ww3(9Ěҗy,v0bo01GZ ς)8{^%3=W;C𞔕I xvw6<|q:_ (Hcjb;ԣ`;]:I;É<Ok+6YP*Щ1%<"" K3+7_OkTHcDú+c-Tߋp[G ]uQ=FF_;m}܃m/xì>#BQS~i#Ymsh~Cd־68Ú|jKd?Myq}_2~qokUO-Qfvn:߲w`}𴚙AВʉ1|086Vybt}6&&Aq|vRJ_p#*4݃:ԞT@vjHs0W|`w30H3k m2D1LGLv=ҺQ_S:BƋ+Us۠m1N=vOia A_|Mblu8Kϙuoks[ +?bU0 w#a+ .0\d u>Ʋc!-v9ՃrҶW hUsTm4_UWq 'ҾKr1UM:/K9 g|M[% M"ȪŜ]na47رpW7RӐ4w12/rQe`őHӁI1FWy$AM9VZƷO98D|?De)2;H-p˂_/~C-Ͻma|[-ݙCHěDǯy$ j5l6Ǩ5cXї[O=Xj{ޞ]Q2(6uFۺ~(969-9P3'iפyf~Ft鐬=LVD~{ىiql 30;;o +k ̊T~jLnE;z(K_',JCJojN 1ßh5rZ @7tZ! _ǣNuB'WKt|p?Ɛ d9z餉HjE%nCCW,zA𼇡*ƛ3_ЌEȲ? 5IGf^n7}$ /}޳]4X$l'h} jɱ3 I!Chdt`2'foUx`PRB>A^&&TZȺ~D0LqLm^)??{5t-<'uqY"DKC(ӝI1M0QI+. ҄C<#m63)h)۫ >G:= ʘu"VZ.y<' 8 n mt"V[ e"6mFN~4(%1K\syxx2J*c`+iDHߝ -3;HLi4A8 i(/_lLt ҞYrK*uI=buytu(2OsZH*sߵ5745kL/ѴcdiOV˹,ϝv7Zցbg}kc"t} >U'/``%^~ӒfD0DFpVMl@ڡ0 4ɆQE - %ȥqAv(g6e Ii1ihR=bM_%{=b9XB/=޴TSH}D0}?d=1^wz!)w0FCnZ$b 8t~6\K,9CsÂv1cNiKI(f ק/`aGD> P6&>W \rYe{SFftGW:'//s~iG\~fYץ#cvd4ƩV]U :Gдo( (,WX kEB"WoFߐ,ǰCbq4*z'XxTW$-l e>f؍+ ]BSm8PWt-BJ8 v42kDԦvB#hbv]$=^S`OD51d=2MoO_D +.]9e"?ӈS8fg0MF l[2d{ϙcYݰ5tŞ^/sH}~aY(D̡CNZaWkjt9PS׮ :ي8T+n)aO0s=Hi敓;w<^abi4H,rcQIc6*MPfCi(ART&u G;/7_l;w<5WϚPÔ*qy%B `uS|$.D.ўItJYynAŠI1lTJd]'иZld]XW*C? AFMdr9;r><>͝ J8?Ƽ[ZQTCZz{ډrn^>&O޺+.;1]*dd cjV}ƹ|~uO ۚV+rEz{@iZFՋ>L2 JCt5{M"n$;k7NDZ~j/aiˈj60iY8j⼆D#zgf7_`TbzYT;m qCQ3:M[CuKi0fBsr}T[x- *|椣UI} ?EVnэ,{T(% Е+I5~.#D3& `P|ʢSH}P'6%9!L- ' ӎC7~JI9.!΀ǓHk Kzg!X^AE2U$E% c4aT @ "qi /iDrz(npط*Wb|˅芝W&Mw"/KZ xES=֜]O~8Ɏ"^^{)r {w<_@ݸn<w >mZsq c*z i D]@bxA]6f fa+f(޻HjtKASs)&Z7Cy"oMP MfW[ݚrB93 yr5 ӨEj)|tjRrp'5_ax5XRDra$5m\Gpan2Rz\F")4  Jera]EL4I_e4:m?E:4.h#?7Gj5yJ"ٿGi&A4ZLXeNر< {b&5ub܅anc H?&=uEtI8JCp|n_o$D]{sWmroI %2CKKAAYHIL6᳂DZ@$e6LclS3u4& _W"P]HI@zv٫+#|O?B=  UmVyvAh--d_ɞ27_⋰m3 }P"z;0GFNMS]g"3B=k|1FG xO*D^ C#F E {c0+}H\ WKߖ xyDUo8WI!iFH9`Z2.rXqE X7}πs:܁;]S‰OI Bh_aT0CV+oy:rK/u\$yZ %{_\]uc^)<bL';AcA\\'9tf4# 9L`LotE'JM$ I&m^fcp? \-B(u,!kb]̅(Ǻ;Zհdؓ #Qw&n!WljT#4gtWT$LJ2{%xھf3,_vdžNc/$gZ/ ].G7|K|4Wf7t).)vyqQ,.e$ 7WI0ۍ/!k,=[bW^uZ񃂎SH] { mv*3}ڃ1lK-9.kvHC5UgnB6u9r-E :Weyoy{FGXd Mӡ(atQ1DL߉!.%gj˘% VWtY3ls=qkyXaؤxw dN_(A~%Ipml?Yɓ 1Ѧ78ϑE񗎎lO2.B07[vW@t·5=,҉XqΙ#j6C,y/w>l"jg*cXS'7OkTM W $ b͙㬓[gܢ 3isTSV>\^GTĂv$ ['d̦]lTs\sb*)ݽ4*#z}/;h{`9V y |˛ 0<2{>݋y q990Gtydwř \˧j7/ :@VJ֕zHaE9HJ46揤T1|!VlM;z75MGix| KpƟeaչA>N-;Hr*pbAec#98n]({5jpn60IŽ}YʇO!k bݠsƕ"3āL9 V~ !cYƝiUozp܊1 )^9\!%?,|22 Mnq4-set̔aX;ڊ!,8<72Tvpbr0[8E`& k ;Yf.\ӟub鼣]gߨQfSpG{[J5 /)+^6jbâ6׹=_e,UaY?$kb*.8C|ɔҼℚb\2 uxOѫr\/KzBL+E 4]Nяk<븘rhbU,N^b:Ӏ^(( kT4Ŕ-||VHtBq6**r$:qN_Џ2=O'wsݣKzꤼsFI5b6K~5LʛWbzu׿ w:7Mmfj3?&G&eu1 _wkH%&[͆׫Uj3f6|b9Ҕcϳ(O1!uyo{PU)ѫ#,М^c3=uSm]$K"8Ɲ 5 b&C7;~ټV&ʨ!k"Yk 97?}eaڮEw,d5k%~~d;_[j[^ˊuClE7ru˖m*8cw:b pI!1#i_7˝gFBj;8VhN_᜛-& ]{W" RӍڅ;?USwIcx.N}ȊU867Ĥ@J_E?5m#c^o$0iڿ[U2;7=z|4S2bOG!ma;bɳ(D,q§'OG`AHu s}"?\ա$M;z[Ӵg6xgr.-䃍I@~N sڜ2%`oa6plb3͗/8g7~ 5@SP f&D}+^M, `'WQ9_<w Ao!L'4U O#Qnٞ,-;%%fqײ؂߮Uď4fW~PiEbFlFsV2l{KH}wZIsͶ$ztGǹ/og-vCީ"H vm}Fj4|*"-0HD=d#ߖ=B>ZF¥i[RͧAզ'0ŗK}{ޕ Skf(_'fϑ燲mZߟvz銬|?Fjhx#J(V'}gYXnOu q5uU=qz {O txBUD񕋸#$DH!덴j-N~flHOO{)dIDKs+߄#sp &M[qEz0M}m~ L;QMI{ڊ Yz$ЯT娀DrXA?uP i.ȃ*ҿ\ 4eQ\Mͤq 櫦k,Fj*)?K!h ҄F#?]ԲB"W|3CeD̘ ,2oF$Ly^"];jiN nYwAG8ܽ& V -2l~(v!@h;*ǧ1g_LHn$J!4Of0#&馰n@'ަ{ Y3Z˫)p:ǐNHPz!>e(@k;gY9kCGS"j>B)CҢ>~\KWݲ:(uk1717 @OË_/_"n (;Y$9(-DϥѲ@# ru;P0Εȁzd>} >T c@6ܨɡ& DIX[:H&N%M'GC "\e: joƷX+` gb}e,UbA1搸xUv9i-v(I s%_j=rjQX}W0Ӫ%t re4=j0{ϊY⃚ p'E&q }kBz5tQC|,Fu>?9yӎTFgƮ*$hD ۺq;\>7{ tnzo=j^ a×4wOҝ$oײi;ZCIJ}BVIk KV:3*E-z $f3K|q8ԲTvDV}$?DFG$Mڬ137_5Kh[ܮ+vz;# pC s)ruuYM&4|-xiN̿2{ NհKps5Dg #SR6bṉAo\ȹ#ϋ;|Sh+Y$ ˹gv,ma}`x]|{3WzTӸpKx%䙾j$/ER, B -c^4dkB=6iا*D-J>Vmw>7_gm(v+\t6Pe ǤךkRLi"8*77ѴʣvLv2E~3hU]v$Nq lݭ [66fWb v}lXk(QKCx/ ǂ;JLCle^+O|Jg # G} Oq (m+=&(nV[uz#:["CzthQR2wo/ u|Z6iYA1 b|ueTXBφ0&,JJ 0=d !jhpw 'v0$PmIs209Ү :pNPܟEU!oËcGn;=_hx/Y _fE!=cAFs^ykcߓߚHmb%\'Pv=/#\9f.9]e9Y,d̡ڼUE h#,t%ucsz$. k@k Yw'|ϋcVK;*RJި]5åZ$68f =59톽?Te;ۙdvz}'>r46D:ګ|6=(CeAYȋs篥ݯXdOxܓxgr%V*$OZg{?>7(P[8B%M^ ~#zcmE5kGlrΫʁ+Ypm[!cÌ*b6Ơѷ kw;B}׹:"s( a/ܧЏX<4D=eKi[h>>aM[IFT7ʮ d+ӓ@G&"hl)d8Go,Nݍ<25$:FqULsfG9+ƣdLsW@0ds Ēq79/'ݦy޿{eگ{vI7ŴIT0ѡd@gJɴ>]j CY0xUg&$6{e t^ҙaRdia< ^]c Ly7a#9| N qUa*%*pUPgYZ mBLq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method)p%)PureML_Bootstraptheory/parentsPureso ) 4PurePuredocument/latex7zXZִF! $m]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱  O # ~\x% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWw!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML v-PurePurePIDE/document_id2Su') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPure.r%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<`\phD2KLc?R8֫.Iצ0oP։t^e -X%(75.YW@iDc'Þsǿa `NӌdJ_Wk|g,Cbg[ 4l:xG7v%6(Z%us}^jʫo+$ 74wN&i; jњ-3Rҳ-W-"hd5*C<+qՏ9s2Xkt ׍yjswx<ڪlDdO9 &՝MYÊOmӎKl! 'xkYZ(i:Nn4L*KsY2seMhVpȊۖ5fA ܂vcNpwpt+}1t-]PEDQ2Kix~ i;4 !ѷf=0UA6FN/YG=/C&>vMÜ%Vxn][G &,2sW@|&\#[ݶ!524X@ehҿ\ (JG7Hja2WRyPu [bw45 kLe5ytڲN!`hh3? tRw")Z& 3{SmK*~i$'MtKTf/b0Iw6yl(f;v]Kբ2iy;6)'dZ-ziJuwv8X vgcVrQkĵ%iHxLeE[0qRm:%=.-BEM 1N F >)_ 5*=ӆ$p_!N`D&y?ih  ,qbzu(৭FKɻsq Sڂ3}y`wTȧEa抻G[C~oݹBDUXh5H훒63Ո9Qc_L ͚N|[wK0x[k~Puv0`ٰpᏇm?z^ʖ;g,dUsW#W َ^J%0qfM"r5Vѹ'y:o#컠hqtZ,軌H}q#<樝]RfqצNG IȺ26ުE bD$1}>{pck -Ԫtꅶ\}k~UK'}~Ͳ]MU$ ~33Uǭ#Y_e"9#:/F痾ݶ3Mm9Eȑ‰Y1{Sj6 vlD%ӐMz2h>zڇalM4E TЏ/ NSQ{T Rj5 䊓R( Nq^.`.6'm"u@ATv* >' GnoZLҰti{rHl/w8#!Y8YSğ7>9Fk'hxBURtCS_3`cd",l[j7'-?H4o942jpQ?}a!,FYEPK2[wPΎdc;OؑO QC j*oYU#eؽ 8kcr٦Wx]H3">HBs k(:o!id? N # h։pWe?Z$,R8NI縛KWu?6Jf]DWqSd"rpLwi}uJ/#OyPHUsTk:prLbcUt_d4\f3!eqiַ3tU8xB[T"@ 1a4tH25h 2&RzhU)vǥT8Q+W*{,|LaqZ,3.iX^q-?xt%K0UƀE$58(|R60#9FNf%J Ioy8&RK3w3f=Ha,e Y3k֟;J-j#bEuբcRI-TeQTdő̺ ٓo1QxVO&c+B73c Rlm10op H +>haߍ/,6mB:eP.{c9"lVŴQa+caN:ςR-3)hFnϝKׯ%1ˋ#CrL/@}ԭBi@msR:hlAty&6nAu JɏuTE)љMm;%:(?}*3oS o7D, 1IuŸ?#㚹@EHO` M lzإA\?/oiKF', Z+ PSy!.s.`z\ $Ib)ذ"I4!Eڧts͡4̗3w 8 q-'$çMB3_y-ۍ<|wtwD0p6\+X{ & W$#*x(Yc-݌""A,s6ݻr$Nkt&){ttU1s&#:u{am3RFWx<;SlB?Pk*|*qH5?dAwrЩs lsA' ^8f bW6lhwz'`/rW6yA?5jguj+#]E|,9jo@PC@ȶgGrmctn,ļk@mz n0e!?k'1 A8vGpzHΫLnޕWLuMX(b]5a[ U=H@{H41>/}1S4 اyuM`_i% #~OJTgS8 c߱i" _}3 ]&ɞ}37x̓Nlj]N~z@l oոdqyw?y\/|;)FPɽ/,H &c_Ɇ#Y3( bgI7H9ޒ9MGY#@4 ,,^>X85XgR^ 3 rv븾vo!7.}K _5wV`}R<6}guϭra͎#Ó#z_4 (QͅM?Gܬe'1e n+N@8 {^M!U8 x)$zG4a)Tl?#1,ѷؕ`n!69cQp`SQw5.:] WM!_gړv$XIHM| mR=͋bQB2G*$ഛ >F Q\>1*$oL=4Yi{M+c*K#:iqm :;N» (ch MCLYcva2ܡ%!F[@#L).N6[G/͎dN YʸΨYI>[s7(>dPۜ> ϸܶf5Y31 nmH:5A=q^. (91ҳ;-Zu=(ϳ7x8K)0B@7d̋3d~zO>dܷ29LYL6Tto©ée^_]܆[ܫO.4D7 jǷKNz|:ef\]In'Qպ$zD2sr`'mԆ҈yPS<]淙EU'H)gD% ^SP&@8~Ay砮0VNQpm{_n9 5G}SX@> ௅y''W)kKoXL7du)"PgŅXYTjn?%EI/C]yMJ[h`R*Aj}2>Ck"Ӳ:GÍ2 /K+'Ri$g p_껎}}BNo8bK x߇ r^0_4d >܉Z(FG)H;b|4Sb5p9=жd;jM=%#֭ơ^DeuⳢ2/]^ t껆Y)lihcJ2acj; Ť^ئ$d{2G琍bHcN!0 m &_BoeE-G8õq\\5=<(לl!N[^=ѬB Mm~,t4z4) F'+;fL2 jiP|H}GsחN[^!3 7 <rj9\r29kٹx?IXE4[_ JؒPμ`BXl39)7{*HAZ7`rWst\!37S: -Hy _wO ».Wz5G($5G8z"O{/٨dKT :v=8>6)bU(Q!Ǿ?Lr8ژ/ cN.d,$]#H_cQB )j&d u18cHL"(OfS5VhgrFfT,0U芯ig 9AP@*k-wuicZ{HvbKIhv:D0~Ԏ!j^b?`X~>xxThf3MlbRx-2(0Ot]2bux~ a\^ @l'>ݏ\_eT|LA#:<(\hu%AR}#ܡsPbtO\e'o7`K ꛽o?ё*^GI XaWtxwWZh41ȆK~f)!)Kw~}RV^r0^%֬cŶa݆[ c\06Wƹ)-c4r| ^3z y?DbH?! k[QP`D%)[:H'ͽRو udfQ!PN}z](TZu<. Nbc/LQ8FtI3f+z ƃgWZ xf ! t+6 ~ @f' :_pyoaS-,F 1?ǩ#I.@6-*6?YSJOtUA 4K bi󱺴adINԤD" OzcZ mZ.vp3 L`X,Ǘ8Or'Ք=?@< t IVU3COC0k0bTwenLC u֐Oc3LjLI/BeDԎ0Tכ4MG c}ږf P\ `Q!3h`Z1 Ob3kC7s~9QWw+Z d e%*v9i0qqO_^Vx]#vӺfWUoMQ0re;<CnRQuJDŲ{௃ yުNe>E* 2^`&UoONi?y n36ܼi@h Tl<醍qЎx~GE V;9; Y y!L$278C,qGWB31pQaٙNpǽTc$1#w%+ͩY}_ \V*>4|I;Ҷe "Vq Tz}ơJ64߲9oiϴzM0MŒ1a|lTkY%y,dt>QDBH ?$Ma6E(r(*'0͉*MȾ+jb$ \cVp'-X!L}ڢnrg!ޮ^Nd"Rq2JBkv"q%ӎ4A\YSȓ/lقNNJ $R2A[$cAt\M'KOilFWU>FdYw:wLr@j sľ|CAU}|-/C@^}h"YO0~x>#A7L-vNHaf67sSMw9@Ṙr}.lsl-t{Y:pn$D /ǢU f؞|^J[<"BI}[aFj6;s9兼fNXt|}B2cBt-1% gez2XuzNÇeB[H2(iFAUe+Rv(V5(dP |ĝ*_FqJB]ȥ]-U9N_Ȕc-Aa"vX'j+0J`8 H\Ean+Pw!S&wrYOk(o ⶗HvO}A0V[Yx٦X >oxWXE`4DzFԽ&z3x_xJP 5̶,& "/<{ydX 83'Cg//X#/O.~̗2Q$|\S--dCgf? ?^O VEmĩ* ::WC8?Xjch>7tcT'~6=G=P*FB('.KSG]#K^2 T"9Ek+bM) g(H`} HP3͖ӛ}+X3 /PZkX|ˋs:=r"q l\S:BmgPQw" (W]'l{ȷqA%7.r wrcQa;kHWhr_TT:)pK }~lw%@75Io0wf |i?^"eu@GKֺ%m sX6 Vi&X ; NYWw,aq?oU/BNQͤR}a["A3v4oɽs('@Y>LTjϛ-B:t760e$ I"+ž^HL;6Y('WgXVSv#Ws[=bXWWf(Rot&1ZSh;ײ6y 0r?}󉳏w$ټ%&ȉ/A&j$&D~]$0&J\kQp" $'bب3rnI޴;v:{gtAul2&>lzymaO煻E cZy^ʍvm''(T]7 g?CXz4*~J!v#^o-򎈼j/CBfp,Caf603]8Jx1z7eX+]j(Hߒ:.k*UEolkS| T9.l~džSW~g>ޕn.@c])qoII :m^ў/:&dՄwthh}:m? +"]JtʥykERn1Mhn#tĩk5?(J5C!-=6GTE_ȶ bV'VexU{&l_Bv;w)Ѱė D3N3r%@% F,Qt h0c&Pq\ƪd CCڦjjl>QL+V"[M1"BHʸ[ez h;OLY &ºAdޖSN_Ruߥ< ٴ,nX[isRtl;iëZb9yrJ'\ +bYד=<4Q#J&M $ GVF5#+eZ`z-)<>65s(/C6Gt—_V i|OήMD6= TP |\Nx3Ȉap\hyu:$8j3u+R{q{Ȝ][g%f}\ b$հu?9"E&*OE&tC*ͤS2R!gf8%#6沕`xJ]OF@R>w cЩ,5Ѧύ~4$lDdmqȝgC}H-Hީ8QoH0,f=#M.wPS %:[yNiH:"ڐ Ne(rD6]ze%rsibP7|D~D8](~؛–5pD$Qr0]%A"n{X:wg$O˺u zh- _X nZ}Z:6߲I0h*0n)(S>XܮS4Al]FNKFmǖEtjdz9 O!v5*qWcSTq>ÿDABsF1GR`98Qq-Z]9 vsu}D;HtА@^[4 )g}*LoȏNf!p0@G_o$nX1ACsD! 5֋CUE9jMf,T!kpb@nK>ZVټ ,U#{4F `^%SX992$h`E N5j#``rwzv lRȒD;@pH 79֖L+x׎ KF7`͍}sc+2\Dzr dpc;l}Oi6㘁C[Ҧ?(3r׾_GW>o1kӖצ]S,&k Ɂ||AE30)3]%Q׷\Ѥma,I9?eH<5dP|R+fW )di'$j'om$8Fa1. uhKhZ)tRS >Hf[kOѦ%q*e?A놲F=hw0u%h+HGk?SpBWI@K.D =ؽKW(D /jx BSwNsĸ|Y/PK^JgY>mS6|H(Rc$|4Z_#2JXT$ kd 2eD t6U?ɵP)`F`Z `u36H#AeǐB?=Zb?2r g ? Ο.vm|"z)#Ga[.}vǛ, ֚`qWe0/qOu]vTuXX=})O?C 孾 埿Ik$6S5{7 RZ=c!16H:c-2L1ҫV~B>80^v+;5-h*ޮ'dùNLn-1pM 'U pGŃ$iފM*wdU>aji6D?tJsj#3ۃAʪCKjg'ч!-/#u0k/}OXO%:g,T%Xǟ!|7 M:#;˵M|&U4f΢Hҫife\ӄ NAܩdK{O/tf92mGl2K?J=3(R|UtOw,!d {hJ@ԯ:6d-]2v٥!sZkqQM]-R^=H-w~ cW<6&&i[tm% >~{{?O+@j~a{ A:}XI_ ˃k.x+.D(I Ghm؂Q -UTY ^S+lk?hb*&F[[U7l,U:cSL&c2/CfJSxDdGMz^=8W9+%N 8K|/5ĜH~a~$T#yk6uOzptKu_Ӑ ):vsb*Gm$d*PRU3ɧ})ٛ $8؅*;eN#A_4X6t騘^x.nR|pF3>%ʟ}lʂ` ’ wsIpVSipLMNt|QWIhe[殉l1 ɖ#yTGh&/HPF-^k&ujKfbxUN/ع4[e-w,,w;qakk =2"XfyeZX,}(S8-ծZ٘gvr}E&;^qTm]{HbNT{ܦIY9?ΣZa64+Y@x*1!N, t:.pe:exghûx|\=`ɸx@" ڢQ:ӀaCX;VWb T=Dwɼ"h#iiP#,f(G)f?s6Iȋ{DEzGhBKb薥 t-x?,?/q9:WD T+8:\.v(n`sA.Fv>u`ɷΓY w}(q}Xm1y*O2[_:ТLܕS*@ĆCɇ}ԐG#i}TX\L8H_2]`?ZF6viwb?i2οi m\~cdloWdSdp[kk@2+K\XC<0?!A}P8<@jz5x} 1 Zͭ+گč(Uv;(. p@8/+"p&pɸhkIi[ߞƖdHI1YLSfo?PگYr@[DFK_u!D`){K*vn?oR|ϐ*)^ rȶݦ"a²ӈ~aCBŸ1!QFd gx!eO9)L{49?_9Wq6mHhC'č0*zKY/6eM{ey11)7wVc.ceSxyw@yN䅟  0ɴM3ahz:I5Q=W3ej=:{ p{B$~!hQxQtc{>Ey o/BVwA:!Y <8gҙ9:D `dzBa 2Iv vNQxM_b T2k5<0]ےe2+qFQ*Ч~t<׉q4̶ͤj>%#fѵT^P@V{-1=[޾ 3&O"ˁ5I~wݹ "#S㟽Hßr^C/.2 ]Pʹ2"jK%ev,& skB q^'NMKݹJ!؜yOv:߸DKlzxѢ,t@J4Iknn<#d>( q.F<ŗmfcTWSco)%?8Ϝ\C0ft U v|.X߰[?b*:`Lri|*/[`$?\.1xX@6G~LW$%gcE6ѿWr>ϋb@1vPs)ԝ0#]w'EUcu:va˃=Fk.&5) P*ޑ\;cn+7ڝcĔæR7-/ (wr˻wU `Se|xO\`.-tVY L"F; |ȪxkwsQe1j;~uC\ A]qb43P ,)BQv3~ʪ@G\iӼdwXUqYaܙYUO8b*[m'es6Q*O3\4>K ל5NEMZ=Tx /Al9]RLVjցP؜ߕG̵߄ls *cFos5oƛiH뱈ʏ"-ÞE80?'XwP^H+hcKh,ʶy`TE92[Y,:zjIUN *J&E9bNBߵ!"g/;OyD)|>da]n01_w̆aja=56HCN8eIzܛ  JvM#$k t3ɬE0ZRpa4o"~,deKRrx h'KA=ićLhue0KBq&[ii`cM'A^d>hi}U"-1Qd}fNp/s]@СY@׀Xf(toPMz2¥_7/L3pThӭ"d.0 ӑ}ք75uT7侭I#H{ 4W4y4l;hx0V/>:_ Ů*T,cYQy>io^3PayuD:)uMteI+~Z. Ӫ\k8e&tYGLf/{jЀ}WH^0up[ XOIw|TRGI-9y ۄެ r>|EJ{x!mx uMT_gμ@Ev./zo ʝ?&S%# =n9P M7w,Tz^Uz釃Й9[}Śdl^5H7 &Ӽ6t>fxWOgKJHO5s?hj]`<ԷͷQ:>E1:!O~|?&߷MBfۃkviɞ"쮲b:|ՃR.h&UݚU19=j_Tt))W, jHekFꕝib*8QC[S \6Wǻaņ*σ O/yܸZ=犖%[xBx(h|R{Um"zUltAԐMP(rb8jٿArjF(,.1%;!EJmvkn=w]g5Y"&sT}͵M( Pr1^rc ;\ؙ@W*t`7$,: i-/gn4Zx! #oeX,t  Yi%8Jd 1gzfٯ!YnI'VkAy|?5uEC`X3"855O| 5\rS<(קۛL*_JVbJ^M_}.) fu9G\oqjHUCT8JRqTkzW}rvD}"`DA#Eh1 зdwѝT5nDRܪy^Zz!̎F\&5~6W myFs}Ta-{(Nv`/whTHHkI) GUp'g 6`aY#X`L5~ט+C[i^TlQWamYO~ 3oXHw=RmH֏O릉:H3s*ڃY=d'%*T_lCjCJ觜,{YϣC.;Nnبs_WZ7T_8&15wo2qWvxMZLG:򳹶Yp򣑱i"mSw4Ν.>@]g..CJQ=4jwv=;_KT[} Jbec3Y %>C8 肙 hB7Lc:yGQ,;#E⃛2)H!T (_!0j47g:Xݯ+^UL})¦p"KlKKJ/BJ dZHu9+'2-O~ 㨏9ȹUWW$VEtgEP&u#x6@Ȁ v$<5o˾i\<2Qt[ G 9C CFlmܬh#X)/[Wfj~_y|b`pȔY ք n:3d/ tO@C'|Rަ 'g%RAj AV,ܻOe~ i2'g@ j %S J 򊬿HRDK_O:l:h(Pٻ<yqFhb4L 8liSFmTi@RL.j~̞b[_Uf.c(^O-GY17sL]Ot{8Df!.z! )l"q<[~2?+޹\.@p~7`{[K=<[H6lF,H6XVEFrb1Jì?bqp>+|&Lk''Uw77Z"ZOSvě]+QRGT𡷺0yxjv4rݮ_Sq9а}b< ޻А}YhvG0˚_qbq#-Lܒu `{z9=%-,kl`PNJ}GxOi\q\Kp̜P^XS!:\Nc{O |D[!sң<&E.:É8!e[uqxsU.7/a SVYGfݚzQSWpdpg#L6A ƨ2K%i=XN%,gtk@Zk^=$gӆ@lYϼLKp C(O83LvU ciaHQ348? }JI f޷,$F>£vx/ fO7ꗴI D-oo?GYaٹ:̅уu%7%C7UE/yj>޼WsNOvp^.F3nL2N|A.w/+'9x|GOۼS47p aKK֧' T?6E{ D%.s#y~޿:D^ 5ND*f1mU-JjxMt4HZ#)>ױp+\$f9-2+t>DNZ2 Q'(El'=J_LdxќB-^0nL dD_ޥɯfoΘD/z4ZBC ~7]sX9g+W9!1tS}xJ&@9Z$8[OԋW:6ڲGq Rܴ!Rc>a+IY=&('ԶS+jxgzGj m7΅]R*K*׮;(H}m^Ow˦߅#4 "GPCt'aD@b5hom&%wv cGZk ﺸUh=fiHZ-p&ǒz|Y5Kx#yY _0_r_Sǻ'|JUjU{= t ;ҪuJ:RsiVvElW-K^֛[,Tk|uN Ό  rL^aaK8=O 󞀷6,frQLw"3t'zRǿYD!l; @VLwao n h⻮Wah'V}лp ي"b@{@x :h^$`vHF BaT60.d+e?+tb9C GJ]`Ͱo<6vpsgh"5*z}U-dp'G;S̫ot݄Tf}@ 5$fM&(k 58I}J˞Odx|",lXt]F# <hiVX.2plu }G[ [@,P GrZF\,d "f1S_7jJ=qS澅_P¦JɛAΟD·>+OBd sD{#AlzgtڑwLk;{Rg6` CժQ.#2PD eDT/&d }t}\#3ԝ&,JӸ&i/F;AM➿63TO޾$LP[Rԍh5*r=Y Fcͯ&x]v0IjK;GkR2e0>KNY.3= "&*[N+ S%WwQ LI{z\0,z(Ս#%ZɛݭH?+gzKkFenFPv؀2 N}F*DrWU|s֣+E(zKlNR #XE'ύL7ǂՈKAPoFZ?R{]Q&o,L?٤%Cn<皸 s.;mqckV=̢XGCwIoUCk%*7v*8||T͘z뿰D,lW)ܠox*~+TќqZ VbӼ[}5CG]_H\ik2hnM:k M,ʣl4hWI1޲! hzShgۆ'Btgf>٣ Lpbf烥-{3[4JW u1FXus/TӸs4a}DBS'7pDqֶmƢt 십=cs\"/=0 xo].-.P24^ yOl vor-{f_:ȴn+`G gg*Cu!P֪3G`]5e$x.⨥On@~ҁR\2A(l關Q9AլS! Rb_L`qXbNIkO`޿17zcvk|/SHBǦ6Sn>/F*SB3ʕY֙g9=+ҐrkU-Zͧĺѐoe hw0)z*] Zf  kچj v\Q; Ƈ eA̫[ÔƘ @Iz+e>1*_&1j%xIM)zZkƁӗb|,[NT9P' ~$쿺4PɈYkع:XTnb%jbNf_|?d0rPܪ,>PȵF%I-ΠAXqZmޜ bAMz4~<9I:W-eOڕV<Oro_W;EW6߄ºLk7-![(._9!)K(GV~^=pӴ%cyvZkm16<$Q8w1|ƍ8F;v"zınѣ,Tz%m9vLKfZݹWRdik69INUھ<_CAI@S}NiuD mXU6?4ϸۈA* w;atxD|Kp 1`B_n,S>[S^oKEyL6QYSWʬyiW26 bnv tzix9̠7L ×]ڞMSo \yP.4dҵZ^%|Q0Yõ +JovW!? 2bE~V'6þHA-/λ"oE&gcZMdϲ$_iUw+ŭj }ƽU& dk+սK {1 ͇,9~wθ[)u81@qU!sIJ&zyYi/CR|,2&>;T29]c>so\'Z-yXB ֖z W (Tb,Ѝp|EK1B?)*LG r@uF~f8H7L$ڮc`} Yn;QWcx3l``ad?6C+1B9 *lD\u #ԚXչ1֓+&pCjVf^r2Y$ \ :\}!/j]3}BC5Wph]5S!ij/)0LSCAȐxt/ާO$Si!- Y_|sT;ƈZ)XiP23^M C|ps_`Nx2Ĕ-zU7 عe,DxK~MvDx_Ѡ+ZT56i,l1 >VwYfr ]$/ 㞯e3x:2JsCp=n[>kd燝Hq&ѩ@D*xG$GO<2GqQ̺uZpLsOd  d[+4iሕ!F k+u*Ԗ}sP |Jgo~!=<Tu_Q%ff+NvDY +$LۃYk  5o-ZQ`pED[>u;X4NGvcxs~loEr0$n8mE N8u6?Y]q6@_U)1,שXOEu]NtjNf J=w'||H OOl~SaFgF.g䧥#Rj~"qο@ޗbݕ9WahSoS00ض O;+5*s5az7Q ^\} Z.uJ~=8UN:<L\!]{P5Cn lz7D]:QkPvE\TlRڢ\W +|+6]~7*K >'(FUq{+Od=EC93X1u$`qBnC[ >D!$w{A1!"i{ö2v/TP sz3pa!%'Y=/*CL]}dr@㎺u qj#۬u˟g4hYQUJL;ԗl]%_%FD7Mf %+Dfw4ՑL*\]Zgϑo+ fbs{! ' ,= a>$FV@K7Y 5F&[/-|@u=.?)7Fi an$Mr", )\b"rՁV lSq &:$,Z;BMܳox"$_)[;srÝ0BH@b]!cCR+N QUl{l$K<>)L ;'y5gxgU5Q%SHz,r|n̺qQH/k' "kh&z+͍*pK$@d(JMJyǍrTA!s .9Vu~{|{ ,"y!;]yJ1ءvYӖ,zPk¹( 9jLk+\ N­OQ %Q6~f]~{wP[|yRZx.~!)`Ǹ@|. fN/9 Aס*#cg&Z:n"&dY@${*qC!RjC[6&8|G40{:} sxwI5B Q j't^\;[YQAZ挪QH0yd8_u@F[iJ]LջŇO* u+벉|㸗OtO? h̍ ի"Ƨ8-PueC|/NMgvwwre< poVg<#>~c.@Y*}DXmR`0*. !UjG}T\GUl[icq8mIsaUsf, "wHi%iyT/ Ms(.e(-`"fh/К|Ez`㬆G O;]ԃ6lQK;9ȑ`g<w]jF׎wkUFXR2aL$~l63S-d'K:UHKɋ|a,FL;ל)3WKX5I~wQ~Xnp]X(?E$'r8wTIA:rl%-i^X:.`+-lxvIN4.[%"W9c$hpkF1c(x%X_z$f{}GYW9JY}nB!? W/9) Xw2رGN/?jŞ)F(Ng" RTkUiw.)崕nV/vH睾jJ:Α~.NE_sٟGC Dahl=$}ɡ+:LEEhP:Ӕhqp2"ŋyk0hlC(i3FSU-ʏP&UN݉6Ɂื&W+LK:ן>t@ʗħX(Suk9,1{kpQm“)w9? svZ25Gl}Q v^,|3dj՗?jNBlˡɁF84ƥaԇ[<қ=qC߽%y &1T{gA9Eǹ7]{L%̑ (e(rY*ing=8f$S@xeӲQ]ņ75~mޔ-6ULԀ鿑},!/“XPl(`I63jdr2Ehvu(&=Qla+V\(nvb$/Lx7ڬ`ٛth_*P3rdWH]m>\ cJN#Atc3pXzڒz*6U-D:-8;7"M=lE}μ8%ĢT;d@f\?4+1gC z Z.u>}=s.cW"@N.HYc\ aF.*:/C;ԧ$lQGqU~r I.jRuV)Av\L8Aފ󬺸g5Dᐫgs zm9Ɣ̯UkV{<$QַJƴ4O[*?*xELm jE-mFYW(qxc;T)IZ-AiF8-;)O^uż%K@+oZ-1p l*v8t@CUY W?oG?5(Z!UwMbB (<mo{_vtTXo(33w"y8G]:M5=`^5/ OEw>UR voN4D%ūz0}Y>i*ޠxR ߶MyO鄆dcMw8*ո(XX~#[?}Y/̹HTeWu>(8{鈽iu7Sh/o 0|tIlBFE(uu<40EIk]H,+DTi >*AYB&ǿׇ)UI ӟ-[L;~Oϫ'nDgknq~4-TLJ^> Bmr)gZfj$Gƺ+,7N^! >̰u^zIm#$! fm)o]t0J|Qoi#dTrX?۰lhޛ~\FQ NQw%}0^w.6a|pyxY5+"{ÿmj%}K?BiNl iyI60&*!XN6׽5'r&'>d ^n[9`&LZgW Ǣhܰ@icLe/Kz'^K?=Hf$R_!#Yx;vZD/=Hxa% IxMaFnΣqAyTˬt/Ds@kS)]X$zÝMؖ+^+9H aⓑRM8u7 }Q KGDē *T*ƌ_BӮ2ȸڅ7DZ3 #tU)jW$oQj͸d \JL0ha h ;/-qҒ[c @b=P?w>BWFF3Tq|?LU' ۑ]=# k|ȿDn6yxz=re៉4J9>KºhxB'0R8(d@R`K=QυmpmF%@\yNC5bja^O9]B\:oA[/a)amFn-K ~z@L``rĈ)z @a:̇:+5-T59|,AߝO&M+%艝vyu&_U^`+n^>"qBwG?#DL8ᷘSY 9JrPd б!5b퍄q KCd$+2kd-hH:wV[#O!9dFƲ@S-Oдm^D90sH}tedJȔQ`1y#y:)ަ`4F,k]}#^'M@m]garju͈T w)[a ̎A<{Q[Nh¯C}Bmk3cT$-v&ox<|h&o$okj?ZA:LS'>S| $I>dtkjO21wZNʼn:-a\PvTrZqM`&zO'u!!od}D [&=t蝏BݲZn}=qGWUcDɤ]yOۗ f/mgoČ`>vB@RPY~xtj`KR8)yhGc>*X9b*m8{ >2}' &nlʵ_~AyqAfK p\i 2M2 +g -d2{30~=l. tur({0wJ|B>5Eu;ӄg~+D)ee^]F񪣦yY,!M4dN,92$73S{yg-w:A][dS3h2Wm*ŔBowBSߋyqTCפBrPjHŅ=߽m, z wUmw=AtHpTvyOqksa!AN I%__(TƠZKH:͛*Xߖ"xMO|s۴? ʏtQ %?|#~W[/ r豓ZM Y\hS*| Xo. Qپ?ZѰ+A~EH*xcx rRȸPn}a#AH,5ȍ޵͘B٫2բVg|C/Z{Π'/*bb|1eSס]o W }&%z?PmAykoÚ|mQ1Q8QccXk*ڡ@g p&گLA3ܮܖ2E;G6N*c`c?Gh:*,(^o3w %Y.s|ža;ѓNGd~"GK>O@7p ?L Yd| $$D2yӅa%NYT3d ͵lu H(1CVJw[z h̐[q6sͱKk5G(K~Ж+V'xPxcKu4k!^r-n!-wQ[ QrM‚/2сPXJĎZ3h)Oˍ _/d XF凪ĭ+`zڈyl1x (mV$R@u t>ҬV4ɃBH  )Nf+GƦ2mipZ^=qMZԔQФ=b܏. ^Os. 7Gs;L+W [`oH@e;k@[BCU|'~31 o2R*$sԜj@9Y[%&34tzd’*s@1ר,9%.tVd`EűLtG ŨܨLR /s¦(N̈8^O8za.E@kKidՆ@'⍾am`~17\}ݩMRcS 53Q-tVbhf5n(QqPG&A3('#}YF5C'p49Ĵw$hiy7>GR0T я߂[->ɬǰosY?Ͳ3YP1à|iLǓ`jhir]@*?:N%=d1id|fF*l:w 1QS<4L(JYO_jhI&Y#lsXuҖ)-R)BF1J%%/p81Pq̑G~l ,RA_hgc%.9N) D9O_K'b9x[.f2o@N

#}pӰB|/ksQ>p/햡,zœ6b %e}X.IPq,҅b'&r6ӣec!Q^Ǽk[볥HrdcD9p G3*X=d >ۤ)t$klpۜepdԳ42K訢h=MBͱYnVU 4y*~<>ZXr`fmpfnusF} \Q j#VzV4,!㐂ٱU\xR3Y$FZ7BN rvCn %U:,qo6|IJHG_cAk2B\I s=Iv4Oz^P wբ+660/&7V8T =Z-ߍ~/rH ~Phxղ)ܜ8lubrFlӯ@Nuz^ zHI*kTO@Oq C /K%)U`$Y\A"QW6߯6@Mm=枀 HV8^%x)~ w2Sr Tʋau T`U|>". \Rg:rEjmIJ  I l>>6'}h:i mdp Kݣ#\AІA PnB뼚xb?2efIjJ?/ pqֲ8vPꩲaz%Qؐ#7r>Qsυk: L -;Po4&BVTh32wZEE_ʵώ_XaUC2Y]_+gt֍#5t}eh^fGm֩ɐTx}+NXmɆ1frH&AP zO]_Mk"k!tF,i\פc/@VxlGӦ:؟:/zF6=E{ ej4FKc{풗zyT t?w*P8lsd, ]7j{UգtJtH)vYLzXE(X0mo]pr4 qGO juzPL$3ACa߉CI#t=Yxt@UT=j;;_I4&iJ}Ri4ʕ}TDTLHO{.ۿ3 ']߆'R)ˑ;p_O4gPAvT$lW(RWM­?2mRFB \4dvYx|.~'RmܕM3cСκM \{U-4x(ni- 4 k-nAW}+Wl43a "wx ]IMv(L#raTȯ10#BDҹe'qLsH5Y<9uq\'eey]hE@ͷPKT9{pmx2?[Tpz fM0[1k iI4Z׬Q:kS|qGa׎2&}y#D[+'<[#3'33WNClE]縈gȭbF{Vd\hfa= a0XiojL䋧6qgŀIk鎯ӧ*NEGd,)Bv\}JZL^:Ȓ/gS΂|59[/êr)]fNN!vÃgB5(TtF7 * |w:>yت!97UʾzGzL|T1WĊׁf*C]@R!Nt^N6"d(6F, DwV9WM%,YH4Y!/Jp96Zۼ4_jMgU]n& +=!VV8WtXwC?#qkk0j!ۇω`D$Z4BDl05;hC'^m,W(X-2vj ;L&np|%(;%zsGɭj ~fQSmtnҠK}sݚ2]4nIa:ُ7ͯ)(&Kt^(b;Hk/Ăo!VA{TxWfq$qķ ԕx2HLF=_k󐾮ϝ+֎{s?#]2\ɛ"H0XACgҶc]«p#Ja1FzNlHSflWUt Ds2 ߡZ; ]x-l5Sovjk| }V}㝛au&p!Mr]NH,DNJ9 +7x 8x.(lY/ά Va#S't_䀳*ruēwJPT"@Ѹӫuݫ H`xCl x|*ߦ}USjƥeMC pjE*QzOډDSgBoӄ2zى,)GGlzgf#<CVm\x-m[b=AsTKMPEZ>a+,q坷Pݽ.o7'ʚWo4'P'vkNtXJlH[%7#@y~w?N謩z/L!d挱ɯkŊUQE~&[]7j^Ckc_b`iTzU}վ9r3+Ttu̯zEHncY] nmoHҞDkJ5KN}kf #-自XIk*:#t;ȎheV߉ED;ͱ7В0B)hc[ښ y[x^?#4v3@f'9\yMɩՠpila+TK: 2n9TzUdaahOз4؎{|$m:gs2ZvC ʢoW1[cZQ_&".E l4˽!8[֠}XXH}E&D gc;pxm1 N][4ӐYqx~lx:` TȌ{1ݹgKÓ׈xͶP[M}蹻[ڱ!xL"9V4Th"ž+wNWEDU+jȇ,Dk64X O]tj*yr iV}UJg= ^o 6Hf 9,:Gu.} #)CH?bX& |i"߆L.b|}Ȅ́Ēvz'K̍u ;lG@蜖Eobث0Zƛqksw%^mzA)3g[J.>b<نL@Ǥ2#@kK^~1 h='*@HNƬ1f 9@Si RzZzj MЗ=̓%P]GMwsA2;mp8UKΖvFdQNw3Dc3IYRZ`qdWr0Ճ"s"H6:8cG]-ph]yBScPy̴J؆zJL6jzAP(m:\0!4ܾfK񁅘QW8\ qz#` ZvCF$=@×IјXFcP>I:RAZΘU3NNv4Mץo 5>)Q-NOaS[ʽ+eTp#_Vh:z.wFD NM%>:~UJ2r%lhfɜڈP!"I|G`S 4.wi|Wi#p on;1G"NBmJ"j5"0RiHDG/dػ-P3mߺ%5E [U#0?]Ъh(Y@KJv6T)I2/$~ m>#`Qksa7ϩMZzPefyT0xɂ*(xOSanaI D^՝AtOxOpj 2}@?u:dfOkůhi871$$GmBJkfK^ICU;vC=]d)l rAdQG9 Rbk,.X%-ƿ fzI?}dUdA1̘lR2Sas"$]p}Kfa`ls*Sds9x"AJZJw*X|B@<' q,=iB z16-롻N= g}*^l[GfWc U?"]!O9dh?Dq~>,V/WEMej,]&%5N" m%;@ڕPۖ]&k̥عj\_`Xzp[>XZbB0΋ kkgkmn 3`T2}4FB^jb:gAG"-K|'i,9G(jW«X Y&j,w4*Q& B[gBXdAd ; uwϓ^8Ьil6]Rt |=o0&#p+FMedy9]P'8[P`EM_lf- ŮT:4Ccna-zG&Bmg {(@4o(*PO?}IO4vXM?zS埣VONQe^󯔑i+K‹9#<>glCJͨcAIMd\N2L+$ E(9 U@Q[߈;O=q皟pZU_̴hq*$ h,zMSk` lx We]W?Qt a84ͯxsYTD&ؑb!KY&k/g7_<'{9Wg iRk#Oq`;ن JV x /{" /ȘWrֻ`PBx K|d a$`fc{ԝ_X8oxW8*evGN^)B"pSɩe@1fPh$r a`nOϨ 3rEo"H!wWfN}k'8,'2ˉpiO/_D{r<aotc5JZ5NLs);9 De `a_isݬ_["lYYKR;:`a/`hD&ZC[+Vs=&5ZM1a \dN" 74I`;v;&YD6(!-X)0!uЛjf$e({sOfd)Q9LS(WW5--}R^:~Z".lĩwIϚe!E 6m?rJfr]?0D@&6>U=*klFRmK.\g~+Jbl?DIʼnf3(/6RKvKD^,L.窗]G[lWw,1?׿KkVޫor~Oڴy wD F,!hd eob&M]FΊ{CL H3RmRJu)ښSC:D8 &Y*BAIV,#Ew(p)5Eq;!XA⪨p| ƬN92|+k63⤰>!.~_ m`"2%_lSh`} wΙȥXh"dYab;c.zLi{:l$[C"f(0ch?nFV{ߊ $L[RQ ~Z_9scԗ%]\M+} <']qY~/$z|jʞbX%7܎].2C~tw kύN!<^9*45h5+BwS])`)h,c1uRGP&'R pD(vQ jn7՜*ǰEkU_! OM#]FCSx/Y;!d1olYM.&*(H`٭";F>ND 'mD_QQ5v/>2aD4 _6YYf89\y!cop4cdD|g\]E`iٱJIpnH>#p͗;V:/f84U^Z+XI.8b<ē>3_x)T2^ΧXhn.% *PlBF qoOm?GoD'T~#yBb-\6V\Y30G^1;}~22I$4\".85SSk ϶%S /WzpEa -2TVN8DX,o; fTʚd#k&#~5y 4Q=4TbkUЁ#DW'^FCH4Qt^ǬH.7`LHAC[~/ӿO&~H܀/Du;(>u~ AB)Hx8aSUWK s9MN0m|ņ : EvH{z^^)>nyvm>u܊yK{OY @A!p?球N*#Ѷ`Ni&kAP|5s#KR^s@XYbb3o|\dNؿlr2\dEzTa^Jx<9NRCqC摕ϑton8,}3\K#5md !݋9858PeMXGgESKWnwݫ"k6rfDJ0^?t^sTZ> > . zT0]wuJNWxU {%enmJG)}{Ɔkɢe!c(*H@YRf侷;_K"ZəAgMJwCam1X}xs%6x;GE.6_B$oavMU^ౠH36. `,gPb(XHKWHߜ˰JRTIHcY@A@1{EG_i}BX >0ɦ_c]\QP=LJ{Hg̊w&ڳ[b Yk ٪nޞj 3KnmMGc1Xkķ~KG̎I"Ysц'P;g+OAˎ\X{yf~XhEmR'>KdNB{16LŬk崞߁IU#hL\a"'#CoZ3C{nmXm1ߩT.B0ud8"o%*;_d~+X2:bWI#c>CzCi%k$u= ˤۙͮQBFX z/;"{4&M<~s!s}m:kt=F1zR n7:6'U+KKyʥcSp)`6upk-A(ۚ65Fsx!Z|AU)ImӀIL;2(=yc5A(E8H #rj9.X,y$7Q?PNUKP2PX#ZF(ۆ[\:1АƏ=MA a1ɮp `Y<2{p\td5Bg$52M lX32&\WcQˠ)׹ p_8]_F |>~бQVQ N,2^D ]ňڠ ؔp ;.gx6\EZbs4[vV| }͔Tf0$llBNIf#^9%ECIz?LYE cy[;BcN1rA̴E FpFq \ ͢@&K>őI+VȥN}p٧&2gc&54Gyo] $,Io@2{Ml+ i̞jJAB'Sl-sbQ.3UBȏ< {09jd%h8-eWo|Eӹu@AhnEHi.. 'c7.J;Hjb`[06XJu;oȗ>WB΅bZNN;swV$_N%M.O]m2E,b#NscuލG"P 5™z'UB RcI ʌ(*ޞ>Tlle6S2T/ u=:)W\^\`f3$*e_ ˯z+ZtM&֨kfr.6⁥嫙cuM8vNЃe]d4A+q@}=Rε4|7O<36Z(taWTO1x>'&dhhvtC[v]`A%jBCBV[\yPt6qUD'aD]Q,R RV')d'$o&+ʷFY֨uFBqh:%G ڬ)_!uܙɀf j䗑@K(Z!o 4-^ŏMgQtUܞ-&:zVXڛeInB[F\^RZL4%uء7np۴*-`:\reU_g\D[nM*d+^WvcƶRAjцF/~tirpS^U#y7]dT;..&w&l ӈFBQkF%MQAOJ`Y @7nQEB(0O{&ᆑBH-9=%fz^NkV/L*ɅfI+`瑒ob1 WS> &KgQ-t#,>KbDe ⿅;C2H>]wn5wLޮBSvE<}ZtuJ: BS~N_]%7Qӎ8ΪSN`%=^8Ԋh}ȟRbT`uBL8`_0oHGvf7Ip'ӹA}ۓcŗCr=ykyN=z8x|E@ub\ ֲnR[XǨfJހ7dD]Ĺm6Pr)] ㌝T !G59ypeVj"WҸsZ~:cj4UCPg1sJeYhc`)Z$3K*,Ecet8 *]7e7őᩱ Y96k5d.߯g4$wa zjxjY;X:yV"t 7k̛!6~a4JM슙WAC2UبQ&Nb0wG iw 1yŠ\=:J9fxUw}48*4d`CO۳^B{j)LpjHSԦjTiq7?) ?D{ u'u)@o: P0џ9CH1_rp(޿tha9i3:]59}~8$)b enX]-7 Yπ[)=?&6ٜ+9SIR"% Ygl ZG=G*1c &v4|j8d{Lo(ƾU #ۀ{+REͲ'iԔW wgU& nIӶ.ʘ[>|V@=R@QuY}Y|S BH=/v8qSQqcjtJt{ 8HÊ9Fdn3g ["RE$\OF_\$Top&8&%;j S俈F2ϢtI0c/Qf9)M8.iLekGQ 1g.v7F-@p˃uqVDpWt;EdVHNJd;U?Ü 97K"f\DY= 4ґc5OXs:pШv/Ѹ(^97[+Il#JW1&ѻ\y!W^5 %׿&Oh!mDd G﹉8(KJ{6`BJӈˢP79R?7No@A[nH _yTddp!tؒ")W)r{sSr hbYvo1xD%s4C|?A9QR/H1:݈4v cQ'}&QtnT.F@w)l09(rCD2X(Fƽ=ROg7EXT.{52a+jYnOxYckːe4CK8]ӧZ"ir4[hJqjSDQhC6Q G;_fə^⤽-Ƒl qq@Pf}A6b4j* ƿxp2=NSjs G`$7PIl,pg `eg78] 6 闅hnPK"bfC4 "H2 JjCs}Ff5^ʚ5tN 4q#?tĚ[f Q(>|ĝy3E.(eOmd}2"ر?,d;3YSr< ..+$. AG䞳*8]HẀ ֈ8{%”n0!e;)ź'%B3FZ+by윉:S[ܰ$o5II²}hqnGMt(o,ah<_)nyyʞUrC>A)+'͡:ԐH)E?!XQ`:\yǹhjad%?וO؛sw'SEBiYHswtHK׋vlEs47b@%(>fMCLD ^緬xY (/,Օ[5ixdb%0{Ыg8*2ȮK儡"-ڶtؘN3/{8W7 gN#Ln$S@CS߹yF,<:#a8#8P;\#mѪ«&7+;Z?&4ª3GaѾ#=K6~Ҷ@#hK@0uU풨5Ҵ#3гTbu$NbjS*E~?`yw9wl L[\uUq20 Dz<,j}>o(oLƉf!c낏XGr,pd<=Y|KQfH+wnܧO8\nͶ~V= Ĥp]PMbʅdTJiUר4y-e UKAs%)Њ2-3j3 3۩߻S`AX25(u4ݞE93U,O{sXI©8#BqvYEJK6hPHZ:P(?ЖǻҼޥ-$熺8몳0E3z^p0ӪI{Ӂ])7LֻgŞa0\/OdPwK}\ۤŔ~%Ҳ\jZjqR/ &,!$5DZۊݰ H%62FBR׼?v'\d|(q8#'"k5 ĈI,gA؎'4@h׿7l6,qv0֮6;0YZ LL||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4Lz # lPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OO)uVɿPfƥȥGXx"fi0zA=R稬ph ?Yd\GY~Ir`t;@woe-:n:@vrh0zb b=^) D*WGp)q)KU| 믪K:banr/k9Vm68ŋ3+KnѱbEzo;"IRtv,3g,O 7H:. 8(]ɗ2iz\Ti Ej&GUČ{'MTbex"{0yefl`K#`!-{uC'dN2dp+g+*-2̋]%^noț9 qO=gڰ_V8Vmǁ+W{S\!];4ܜ+WB^\$]!:TY6~ёk,u yI4~LdQe)i)_pMyBA|n--n)n6"Gqt'S`i7lU̕BVh:`槑V~ͨ4+*Ro0+SS֏~KjMDtGw}h[]O;QNjfjN 3D`VItd3 .HeZg<3~3?>? jc]16FAO'@oa@ٳx*) Sc"z +מGʥARM)8L@ 'OCF*!CxMjOAO=okm`k%6Fr*RXG)o}%# $PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzVm搸ی&96!9Ũ!yS¯B|8Wܪr(IA!3+*s=-uRj , QƳo*~c{Bisű:K:pޗ*G'6^y͡k$H*;G t@BvZz,Àf穤_PfMTTx\mܡ^E3t׫:(|{ -q$9&o-ܝ,*ٲ,L\Ó@l5i<=h/WLy-=ɇmZ\7jY#J[U &^)^>K\y4X~iN{1O۝[;;da/Y Ͻ:ۂxV\4]_cmSj_$)١! ڀZ~Κj1VŹd Ǫ\X8x?ǒu%Y0bNHJcيY+e3F|oB2*\蝴6Q֠5=%&[ "-:DOAg &K "~&-j}).ꤸ;LfW"QR?וQ$mE(IR ({;]2吵d$Ʋ>gDBUl,!c /|= LUl4z![jT8.AjmY*1 X ֟j|pHV_{E.<`ڊm5jyPY1>o hDiZ(ů$SӌnxӴ/jaޡq N޾I@=7 'U翞;dR{l7U|︎JF7$es7 2o|Q0Ԭqx V޽ =-k pq3X5}A^ZYJ@?vF-0\ I$3xZ5WxH㛽/'}^睖zIoxgG0ҺDv N Aџ^e^0 HO MHi_3K϶1sT4,Ո0D67ܪwn4#…+|谨R}hRe2U'yol HmҔUohcD`Uf&VQ?A͗x1t9,gJ1x[_le]&E45Crb3ʖ.'qt0zU袒fw)H 7#z~!Ì.mܤߚ֋Yچw("l`~Wl[ʶHDNw>)#LĉJsrV,K]I{ORIIA $LW#?σ幎  xmp4icNJ\wGI6B6F^DRM=,DKkƎyԦD?+M|$p1zv8O+xM><,N Y?@È@;^"U*D|jKJf-[[LNe2C a|좸S {0IjZU ȠU9!ϯ0"#P4_] _`z9s Wa{Ws $b @kB,5E0LK^VEROBgYZ`(>={"I~ܓX^<.q'jE7hyBA++EE)6Mŵs-Ft лmUV掞ẊE2Γ3xs&G*ЮƸxSHm ִNY JtBqdaUrf,;G#5nԓOJX |YS""bٷ1]5d(կ٩&"Q7Lő9W^@Tg;f3ƲSIJ 7F2~g+m|YVCq:ClFtr{  K SyUC_ Gjg]eiM{ ǛخZERN,-E?,I(HwaKذyI}#V˪Ĕu,M5hipq]fgp!x%Gˁ/=VQLpƖ-GBNXW,"t|wc ]Z~b&VT81x:1a._4ε9rE`ѻ͆@F` lZ <'cDɔC؜Nź~/\EFkIE]]{.JL~$pb08ö0hׄ%Q@s"f$g j<' 2Y)#L;tȘd$)M2Hy2+$?UbV4a= +Vj|9ΕC@ģGFYqyhcrh5Sj)DwǗT`5o|h Jl1xѰ΃&vUV`ݙ~9:x$ d~48|V¢(yN88n_KEN%x+pR _-K6K'X!I|~|)[+F[?@'(oڦP^?=j?34) 3_h{T=@2&[M}DOᰪ Ïf`6_:&K0K @ɥi~҅f&3~ ?,CnjzK>qڽ.m!5і =z7gL3W!xke(k/| Й"EOv.: ס*M5I$4ZM|툠87ۣ^ BZD)J GIn RߗyK6"WRsoRlc6BU{T0՜N9dkE7K!n=GC0 v4*ߊ 0'NwrB^+goWBʯ8@,$?@fj7i"'zlOɄ_NycjsymN>,T>RU!,oBC47nuX'tTiڠ)zBaVCFE  +bU_:8~nL(c 4h[{1TOzJK.YJ;O̺J-ZCALl9P3l1AQAiwICw"Ƣ:T+1[LԬƵ|F)Q톽{Qa؊ewtΊlpJ#sWyMjeT>FA=eс1 qw󡢜y+4@V)_#fןN9ͣe\!N/^𶲂|WJz u=[AEj`ͅc4y:Te5(|EG'w.[xj񕡒QA{ #>m]dQ/U2 I'{+%Ql.Pܣ* sq{fMUVøkO" r.)d9w NQa* clN93@fT Y/"'bYvFlz58ܞwO1<]֋;z)NA&`n$A+̱^ Fߣ7]Aҕqn# 7#y[)HBaW? QqPvgU>;`JXov ]L<WGrnUk5& 2pR] Iʄ tiQ>#g7N8 jHxQ׬[LI ~u|@.CtAӺo]`nK"bƎLwvPgYޫ3Rt`7g ZUg8W.ucz%6 HnsRPgjw*̛hݕg chЁa[#b$Ss#GSoH3r5~gKQYK?sZSGvQZ)/T51U+/kQYHwTQFO[B0 & P&U`S1[v(OpQ%ѧ! KiLqյnψzݔ|{z۶$&!!$"]w*n-Ag']n`v?z{rsCg& "r6ODrd&JO*c/D1!m5s=fa03μ;|.KR4Ii)~ RO+jQEbU0*Ƈp w$ +[($UȞ+*rI3 |o1g!0%Uw;b %@}6C&3PZF"فkm1{g"-z!sl[d|GW? |B<AA+vA :}F 0۔5ӌ(}b7-GTyedTvh\1&8ɗ[ȗ/a<Ĝ윔J71ESqCY5,b >D@:Ae0F"d܍b<.%_0yάtLxSj+UZbW =J_Oʻ %֩dPճF+Ő]`aHCC)oloj W\LX F [0/ƚa$:PFALLyhvLo,6 %v)HgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI SJnbL9}{<(Rbؕs!:'h~7Ed>IkMM%zLS|vZXM? kt,? Z#X}9p5Z8yRv*<U4<Ϋf> ȱgYZT'# lPurePure.SessionsPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂT9|yc>C?_|w9 5 O6o~q6\#a> /L sFkM]sK6;UA5<1T__w)@kJgۖL]YYt)A0$l$;Gu$dGj$a$CfY(Ɂ5aĸ>PYY(%|Q7 nz"Rm&Əaȼ :9A| WrVfx]KuyxP6 oʊWu4vbMwi &Zf mnhI. tFYἡ vsfe`W~V_!oz--KIڡs泜D@ھ>/6fyzj C֠}bv'Gr/Q]wl{LbC.bKF2:3' N`çŀ%$q66(ɳr)|)^3Xe:.%-,)My-^i#j]t_ԱV%_bd}DH;rohu}"j^ij rc>iqTxElj))>"$LIsW[F]΂gJ0]u|1'9Em@/aeee-j/"Z .ﯩ7v4kIr42Z1yD۟~7f>|):i+;pBїƓ'm+Pc"3'=@İLRuBT;nUXv"ſwؽj?U~j4H9Y _BD=(~+hP"XұgYZ