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  MpTd\ ] ]Pure:threads=1elapsed=3.081cpu=5.883gc=0.0007zXZִF! ]ŗXiɟHVҭٽD56WMTD 1/ʹÖVX+CGCTnhSJr fƞGswQOƿ[u[x:Zh?N_χI'8ְPXDQ=8XvgxyanU<4])M clBgYZ7zXZִF! i]ŗXiɟ˚Ћ. k$w}O,lW'e 4Ap2BUP{M" zPBkpvM<r;5VE! e./DE*a!:@٢;.=ZVr<!]zIUm͗휩&۞:((87mk1{4ֱ *8# =m&7ipt]9演ݜxJݻUd0cc}Mv?i[(Fz>׮tNx|M4Gq⎘c#R`d2߭ӱ :Q%->B]wфӗOEg/c 19̜K;~2۶"nnj,*U2n}@+wLڌ&wQ5y+:2mgv3۫SQQAHxfzyAgf^L\J\; VKw R΀R1W\@z$sWe$&HC~4`RlZFs |A*n~Ѩ8iתzZE媘} )M l.vpP  mgYZ8ecd91c2d9c077f4dd60dd8b265ee695d81ff6c4aa468f196cc1f032ced051f10cd4b6ba6c3bde77  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/44282g%PurePureproofs/44278f%PurePureproofs/44274e%PurePureproofs/44270d%PurePureproofs/44266c%PurePureproofs/44262b%PurePureproofs/44258a%PurePureproofs/44254`%PurePureproofs/44250_%PurePureproofs/44246^%PurePureproofs/44242]%PurePureproofs/44238\%PurePureproofs/44234[%PurePureproofs/44230Z%PurePureproofs/44226Y%PurePureproofs/44222X%PurePureproofs/44218W%PurePureproofs/44214V%PurePureproofs/44210U%PurePureproofs/44206T%PurePureproofs/44202S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44012N%PurePureproofs/43976M%PurePureproofs/43972L%PurePureproofs/43970K%PurePureproofs/43966J%PurePureproofs/43962I%PurePureproofs/43954H%PurePureproofs/43936G%PurePureproofs/43932F%PurePureproofs/43868E%PurePureproofs/43864D%PurePureproofs/43862C%PurePureproofs/43858B%PurePureproofs/43854A%PurePureproofs/43846@%PurePureproofs/43842?%PurePureproofs/43836>%PurePureproofs/43824=%PurePureproofs/43820<%PurePureproofs/43814;%PurePureproofs/43810:%PurePureproofs/438049%PurePureproofs/437468%PurePureproofs/437427%PurePureproofs/437406%PurePureproofs/437365%PurePureproofs/437324%PurePureproofs/437223%PurePureproofs/437002%PurePureproofs/436961%PurePureproofs/436880%PurePureproofs/43600/%PurePureproofs/43596.%PurePureproofs/43594-%PurePureproofs/43538,%PurePureproofs/43534+%PurePureproofs/43532*%PurePureproofs/43438)%PurePureproofs/43434(%PurePureproofs/43398'%PurePureproofs/43394&%PurePureproofs/43392%%PurePureproofs/43390$%PurePureproofs/43340#%PurePureproofs/43336"%PurePureproofs/43300!%PurePureproofs/43296 %PurePureproofs/43294%PurePureproofs/43292%PurePureproofs/43290!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 \ +|\q|%% LPurePureproofs/433927zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0^T! 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/437227zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/437007zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR~}Sl6QFHgU/ަox xwt3agYZ1% PurePureproofs/436967zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/436887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% f9\yFLU@8ɱgYZ.% tPurePureproofs/435967zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU@1J#5`h$Ax룞; yG`]"J+ ND(gYZ8-% DPurePureproofs/435947zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1Og1Po4_gǂ @HgYZ+% |PurePureproofs/435347zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'i#NeK,We'XNQ+ VgYZH*% dPurePureproofs/435327zXZִ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_|`+%&SA8<;33RKr]gYZx&% DPurePureproofs/433947zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&܈ه1z,&x9OgYZ  '   jc1* B% PurePureproofs/438587zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ]a0Ь:M-Z6>[jĐg HagYZA% \PurePureproofs/438547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP\%E3;oܗB agYZ(@% $PurePureproofs/438467zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%K}O\9ƽ{E hwY \gYZ?% dPurePureproofs/438427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטOVJͼ"b"FrE j;8gYZ$>% PurePureproofs/438367zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/438247zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|Pt1`%]%#/!iN* 5ٓ):qױgYZ<% TPurePureproofs/438207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*pxoي yApU[=gYZ$;% PurePureproofs/438147zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+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-%M6_t3GZJǎ<5w; xgYZLK% lPurePureproofs/439707zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&"-8)utB?}"+ʜ"KCVhvV-?Le.$oÚgYZJ% |PurePureproofs/439667zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛCk-IO"!Mbslv] ±gYZ\I% PurePureproofs/439627zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zL]= B8j@  ?igYZlF% ,PurePureproofs/439327zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/438687zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo9"npS^J6jĶgYZlD% ,PurePureproofs/438647zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^[Wu9V5Lv  BgYZDC% \PurePureproofs/438627zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z|.12zIn{]p $<5@vˬ2o<:dN-$gYZ  8 E8aatb% r`^gYZ`a% PurePureproofs/442587zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_|i0$Dpi^L,^R!)]gYZH`% dPurePureproofs/442547zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞FL?'zNh Ba}NѱgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/442427zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/442387zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/442347zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/442307zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/442267zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/442227zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442187zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442147zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442107zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/442067zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/442027zXZִ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ԫ .~SENkbWjLb$Qjut& i?e/=a3]lg9|(ٝ sG܃1^3t;BH*H!ƅ>λ"ug\[YF ׅO u`ו2 \֠{>= 0SQ9nyA3mƧ-tÉ/j68usA"kvJgm"* H/,IS+#) 6nmK> f0:zqb"[ۈ֭'dgfp[.!OEaVz Ksuj 9I9؟r#Ͱ؝Άߗ%by=Ȁ Zo1M:Qsf8]֏ (~K؁ n}QfڦN`T+K{z8|۷'{ԽQ]b/ (Pݫyb 'u("БxэcC;ä\ 6Om(X.][J*mǓqy۰@\" :!2"E*H-ױPI1Q&'9O-NH 0E!ClJ⍮1C1{  e'^c63W|#4'vE$oI:4j;b޸!mɃzlGW^ k݌<1-]36W@y`=8_0%?ǿȚ5 .[ LjDR`a1PLLojQѾbI]1 SQ5iACرgYZ\g% PurePureproofs/442827zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo;FGJ+*(ZP@ LjĶgYZ|e% LPurePureproofs/442747zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gj#EnP̩K?9{gZ<C,gYZtd% lN.p`Q͕/f3jii-^x< Lь:I rDEB.#x?,*`eԨ[̼}NUTl0Z~#k+W@*kpc򅝴z ?uǎ2!dOa}v6YD Ŵ5rs IUuxHbvη{dQadhyUk5mo2[mvo&߱S{^%Km\Z*<{OJWY]4Z(쐊i8~ڏ[8:5翑/giт"@5";ʕc~?avރ#'ج]|рAsME±gYZm9 |PurePuretheory/other/attribute7zXZִF! 7]a0{rg+5\>7yc3®vnݞ,u:aVKi[g~:7 ]k*D-<(,3wt!wl~` ʴpۜK(M;F1Z*0_Й1Ǝ;هQlSnp3lH`+s`̰O gC鞽ՙ= yq |3ʜ͛Na4Vc"Y+M -F=f؆S£ j#.̊~beR- M]P#t3,q>ql~/@1k‡<7_q@827mY_8IXd8M>_8[ ?y 6}J C'saapd V/!2iBVKАBK@V7&solP|bا*6:?_O?%򠽀td5* Fz?~sRHM7`ѢhR:1Gn /ӽ< gu$j=䒜l LR-)WJcYוAVg3l>]F8N"w#E#!1ʞW$gOpd i+L1;_yTMdǻ=b^7\\,44]_`Ո6MvVOͫ#j+UлVv(n+@(,h#:8M.zY*t]H;=3ݣRӐ-&h-5|Aah-Ay,Ŗ\e&Rc)ɣcBd"[xXܪm}%r`MYuܬS4NIudjIs+=A ڸ3.fFʿXW4Mq7s~@-܋ }YA`4.>>r$kjVb-Ȑs=$,`rm60-5Y K$ҳQWAIQ(!2p398ۑst8|b5!ќmJTޕJii T'ebm67qUWkXiAGo(d8p,tb}%6wje_`$ӡzI'A YrG(* R< x3|K܂-*s1Mq uAH+Gi]gYZ9J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱`( 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 !+QT̆9Dn>v Qt5}xO|P( 1r͎W&?(rZ7*YXt͆9.A5u[ZX! d׈S4rjů4=W˷pPws M=>hL(*KxG.p׉E>ycհT%:B]v !sNfTz; V r٘5~¼uŦ*jb^[A W^ p|aܿbvKcŷ9"K#mo#fwC'X)@TA̸-< gd}7W)!8=fDf!3@ɉ<c#+w O(`1 QI0_ vƷ4G5L|i35!{%TǵixϪȀ?&rl{hk:·(h2:]#izTctA~RYjWrM".]^R0FUYXˠlںHa\v&lWvt8\!P`k8(foH,15 JӊÓ[Il{}lG":ϴ v9o8'̋} W}spq܈5joJ}OǣӦN@qPq-2xpi΄]lDPn(Gc-X"ۧߺA,1.10wnyּ=PA֔O(.#"tcSb {vWà9ű?(j>зͰ.\@,O ޻O2 5`ww=Iy(m迥rOx'_|l2H IY*J׳:jaԤLT< {Qe ̗Mg2k@zdJD*USyF&CW`W5X\AฦzL[e\yAˎIi7s8B [75p"5~z|ϘJ7?Hi(4ȱ($ie32F&սfұƻfQmb"ݸ.롱?6`p)HzjAsqкW#,¦xBnj,SrI#&|ǤsCO2CHId)ep+n]Fnv<:m >U1 u)иr2 :g Wn*YzT`L*"Du*҈/`q, s=/#mq'bzN~81͂HO=20nk B>$s=4VE{3\HQGwVy~z DKo?*4Z5}yo"c/4$M<=fNow jȚ/̋]N]#OS9+Gcd ELv(סYتg<#[tr˓sI~ lӰI1G/f}7|G9FGPwΜ9~&.l vHZ#Pcn^+$J,{Daos;{9m8!OWR>J-HR==[ѿS jǵjSyҐYdz jr㍈Ivgћ"H}9P윙޺X"ߵtˆ3MA&dIZ_ UdYui/SܹZޛ"+*ˬc :2ك,WԠuoziRsI;0yG=J}W2F#26QZ?pCqiT>4EC \k`]&ءpn 56h KT߿$*=U,#º^Fp3M5Sr/k~<)2K`GOjJJLw ˙qPXolݭL"Р8FBp |1l!U{Ui\ N]tNnjDlo~|1+)՛\lJnkMY_ R;aN\WxvB/i= l>bfwԂ\Jdӷ*aL˾"2!*#N ]> nVG'Wϡb B@0*],WXb>Yl-1Mau'1 +jv8NP !g z!mF{,fxa|VCM2Y O+ =iٸ"W(dDx f)0lqL|<Xұ]PRgZ^Ws;΋ɾ ?ʬG"D6 {"<|h!ޅPUzM]hU!r@ .oSۀC}AL\ģ\q+Mo.r*DdS"a7g467ʹȄy,?^ӃF; ~|/ƃh~Õ9C:e0\U/TFV %le' ?XawkknSR9~OMv=*BILkxeVģq&GNDkdBcSl1{>%M'h-l~0FZ R콪U(YcIԁɁ稴k^&mfCqbyft\NF/9$L 3l\^`]J==49Px=lHbldr:ZJڄ* XV!&2M˯|iD~z-<4[9B5QD)]w3 |Km 3[mM@XB88+-v"a+++ҳW(jf_'pURƒT3$wg>RH SafწNLw%OP#RK$h(#XLG(r/-w~۪jkI]|XF@=*Q}AD56mg .011iqGV,@ Tp;c&ԅ֙aʆ'w=[5xWr3w24;0pТ ͗6V4.HMNâˑHuƐ䱗KKɎ)`Uje|%LJ3+OK >r\ [b%S$\ΎBS [!~5؟w1HDQ *QhЯy=:2T(nhD) [u};3\A8ֳfϱ.R4w+n9b"yШzүG*g7'ؓSN{]W- t} ׆w+1F GؚW5FdM("S>ii┦Dٲ 0~-8SHo6CGXTƲAQ%2kS﹨a# Dc* px h,AatOA<Ї$֛F!UA2qZ~{8Pi}3AթAIق.2bK+i!H1^tKw{ 5 ^? RCwʍ0O=*E彏28XnJm\Bpf/xәC.krlgV!9'l;&p>ɈZʧ 8*ky&(0r^5&J|/tOȏD^p)0$N_4:RjlG;Z0V, ,tZJnX5ppJ#}H:O]q]`AaeOr NdٮKOC "ZbDӃ8Ktf4d+N@]:rEMkpl۟ъJ~3oESMZ,G$17\-BY[|I;DZo(uNet@L:fu<6x+2R#" doCjEn} 1Tvv&0z7ޟ17K[f N ;-\QkY쿜ȥ3Jӑ /ZQkFc4q%*LD Du'n/br#ۧGkC Fj+ vu~gaCd*@Oz+)'}kQƦ]5shFVT2ս Lq;tm҇^$asZ ;_(> L1}PW%Fa~O]c6 r6eP=fI .&i;yB(> ;Q3̼PlA ~xJqz0T*_r!;F @݋~À!6mҬ>ܔCAp\o6#I8 qC9$ IxʻB<u=`6[щu cn=B0pSB>ʃRZ &RZsӰ/BŸAq%*Ǩm?{{P[9ejm@1(my Pf)(g hG-.Gz->FPN BGfM$Kثƻ8].X+9\ n%WmljV2!'yZ6д!GlBivbCeV\Ǽ-q ZXzNI+-BMfЖU7JJ A@NNsQ*vP*ʘ"uH@K!fbqԠ;mGRtOG vTgšPTr ŦM:AB3rrPn~u WQg-fu&i=4Pq3.hų#'J;h ^c.y%c Nmː)| a}/o☟^t|ٚ&ePy*+<0 \7I%dwH g'YvK;'M\Ǭ9=[XF~uZ.]8ɒ`@ ~^Z^8J9zVn A*Ifn^S.G\gnx-qQXBb7hV%аW{`~0 ϴ!I;$Bɂ fb~ʲJ~4~ĉ;[)IH Dh k qL="Z5Rr6K q#y>z<Ī-J4#Y]!͊M<̐S}513ɯiT'}86Ӯ"cJķf#+K_PMg\[E^mI`6xjbl<|vl ˾}n8Zͤt:"o7TEO9؞]#D\O&li:ݿ qMfc`f^@(lfX wT ضd_e;;]5pfuƱg`zw%-壥7HH>+  \A ~]7%m-wљW3qgĴ:,pY,qSƊ3ZhC0hH:d"4yjt۽2f!TzúY^"bΗkÖLH6lN-@ȔM0Y&,KMzT6A >UF, o>'c :b0ȧZ:hR^#-!a]>_}BU{w@<ˠb\ehX?e .Ą;šTk2Eb|feڴAHg=I&J.(?)٬Kz( }k%:UޖNpì{Y1КKtLIˆԘ5&a{?\w#$~96!(K1-:^ooe5u@DU M):IL72Qd|A ί')K5ȸ+ֻ5]{oʎ$.rmm:۷]Hosڧ irS|iIz!>-]IkòuB}'-ηj96듡fsL`2eES0) qkY;U\*uYF}qJ*Ȗ ѣ J`Qi$H9@{NGzt.? Mh9Ty:2՗&)$# 1 ;,ƷG&KTټ&$4cY'P|sHIm2ywa,O eHJ6EkT{x7;xUyL4ړc+u.i,˞#qBE[MLAU,UyExS.` `t˱Mr.kWrzRPS%K/grBќc Le5)`mg>?^?B _1G1mjj,q+¼xLǣ4 t ߁=¯84a ki?t-4et˂ߊ؈\(ڭ7eÝߍ`UAsVY8-W8ƯBEhN|T ny=' Vq8 ꍝQشU{ti"(U@i.8p%h %¹s7N\{%t1lgLc_o9isƵ7p-+E ,R3rE s'8ǹ`R(ϙ +Âs7'Oۄbr.|9I_s5SpneC] 㽇 n_mZ9ehPFpƔ鰕`mz}Epktk 膥EEK7ϫ[smp%c)\11XJn6/]ڄ/!-f2R΁Z7|]kv.(gK"Vpҍh0c94QA2єۍCF֛ K+lZ#!BG vjs=x1ol%7݉(ilL=4-Y$26|ʂ}Ŕ.8B2 Jf~!/0߇1é;~4 8wTg<-z`O#6ZܿK/v뱌g^'[AlxEf C|V-t%3M@u\C$~Ҿ٨8){Hپ~_&ѽ'#9]7GK$$4o5:6Ke6hDq*4̫/h ]tb*m`}&rsDJtnJ)+_̀$0&B6%&@j9 |xuкCcGl }\)UjϏ{TlCԓA7FUdǥ7ũ#Nr 6})^ӯPu9.QɍWMū?z}(jlI Y 1M., pSs-ʹ6lZ!m(4JT\YSFPJm4,ӍpH62[A8:m[>$} _dACurCah2(^AA42sz7~pS zNWj(YZ>ebd$ :"e\6*/d?/w/B;d:1i[ғ{ϜM,#&a[wd*مz {Ӻ;%( <\x ^LܿgiBy PyNgoJ55k M7!6LuK]E٢dz]GN b(@x<>ݱСDf5;.vxayד]k9 14 OMBEk)$qZ`Y6I S6-rࠧMŖO\9Pբ]cD.I \w\~^Y %Ie'ocx]9Rb4DϓWWYg+'/v2=dl1^% [oJ.]Jw[qpu^)Aï 8A/Sdjee#DM߿i$n5XIޚ~&Zu1 @={B;71z gxa,KtY{STs="K 8M fR1N"UR;!h7(` r"I2P/\C.,gG]y4 hf jZήwn) w6WL_82sAir?F:Ķ?6 իAEYoWI9~ٴ ȳ8V۷w*h#7G- R]1üu9+%sKT,]X m|^} 8$~7vᓁv_i3 Y25S_Ne;PfH4-O%ݸ5c/F7ymGxMeD.HP>gTМKPyLTO3Wުi2-vyTJAG miC]WZ)jTA }s7[zh}G Ub~%ds0KCB,u^㷵BҎ=i`٨"Q}R[u>e_]:N]*ߕ_K踄=ҋ2_;*m=M z 6&|߁yh)R'dY0ϋl)+kH`ɩ5+ .mK2pd#̝s) Ge,PݫqwY7n,.v`!3'Qx七 X*+.?6ءe*cng7ӲL-?Z%DC-|VధfSp[wt+5ɣLUHhӎ2?TOB͋% &rJ4FP=K#r+0򖓅*K;. "cs فmp u$:Zaں_(?A4M4 ,I՝-D-Xפ*Z !U`@g I[uJ}*k}-XV-0d01-@8 9)??=1qJLYɨKl]qPDdr.5ebLVHUc>YszIX'N#kk[[sg=o} Zu@\ KOanW4 ?9XqoՅ&ƈN>4B*E_GHM9OK8WⅦ]S A!ϯVc*4hPre/9]-&}V ]+}|@79yǵՉ:pRIkMSu|W.]hgğݡڅe<{cF ;@]C'#e!T(f+ /YuNhjXaIQ,݈A,@*[aq>}|#I2 FS& \ڴZErwzz ^4k5G>{cڄ i`ӧWVSX/67zxaDԷr2մ ~폗?^ά /" 6 ?]H?fdxdڄ*6Čpx>BD>x5@̣a,<yuUTO*H`o` M8?y+fuQ{ & scNaBr+ˉz;}r`O/_//L@HpIFK>X\,=Q?i:!ᱦv,h]@f9zpÜХtUFRC~:VC?/_ȊM8 4Eq4/PL WU5X5O)7 `K"n6Eo+^烡lqk0@)`yrtAU[ztDf("? {?=27núM^HD5"ŗяmm >]ʘ bienmL,:H^Z1rdP3mI6u;V6\4p lSR]4l T4=omʂҔԜ$ .Dr=sMZ2n{ݰ\eHU8&.odQY妔i-\ȯ̫sb_[[C|q-ajh6ĽJU#d5b@{!%ǴdKPtVx1!41r'8$:Eeò!GDncHu˾;WD(-P]iE[tnRܳ4fWuرm&ʦt^ٺsS,AꤴZU]T^R *bovR۵E-k(k*ˬ!H4ߜ^OԒ?5Db e8UVYk'ҙa x~d M ]R D is6p%:#4o.{b}#Ш-{ GiV(nxTpFuR<9ܿ!0uРfdsP*x9%W9+| 2L> ͳ#݆xڇ?SY ]b z&Ų^BG32_z4 -NW[5 YZEg nQOB :ehlhԡ~?0O o3gDC=izR%E9g %( :8 Vuv茽?lI`GbgbV{[dẓ~(1D)#6_QWly;"xe4sb/+2zPEqBJ?i4_Uz:xrJ/Ҙ%?NX |G3_kϭ&ȥ}_{'揇t"t8fF"Ij QM2c. 2R,-̤APguTb f_gqWn\dm+WY3 Sʑ{50v~Q]1AKqܯ-P[i_W+u2ׂĻ{ P#s*ֲqX20ZṁH[gdؿL41\lӉ]ʓN1.NScȥ0hH{jK4-NAMdVP&!/j!?Lu#=ƚ+8:ѪpE;E*3ٽKgTg-X9#R, >rgVOwWX^L >75ur3STcۮ-b, lc=F~i<ą!D.] FxJ]yN>@*nSi~ɱRğyEI~@p(59?HsX%{Z0E0ӳnL?.EwW%׸z U`@\1uxṡx|udbR2e gƀ#T3D^k-Sr[Omg+>LtʧP*?{iUـ;# ig`ca?skIǖ鏥˖,Q<&4t]۷/M]L(>I:H#cdHt|9qPu晼Z?A>B5 x"Tξ34is^YS8D@.&*h@N4u'NS|^]j,N Fgo^ee5YW @?hʺ(>8r1)OǶq]|KI~G̊O85=b& #*D{lj,r]OO-v ITY騚׌#]y;|3nBo¥,yXѵ m ᅩnp QhFΥPGJ-^ܥx+Fȁk!ᬓ]R]"9NW) .{RnK~fղ" X *n*"1v)?:u36&nr[{nư֍; ^6rd 7.#]6֠\-Ff=弁AWj/yA[ơcQу<謒w uS47-Fnzv URl̀.@b~x :ԇ&!3NҴ1XK>ƣϋL7c+d= hӖuwO_eT叢^h @ k\(RCWr}J;81v079Xuf_(^*Lx>U7@Y >~ A))9H!}!&@Y7 _yex΄b8shtW*"{2Pw>VqRl.(vqA+L†w*zf@e >ΓK:. 1Z Zؽ9st K<ӯ_HBv4 1?pLoX<3tc}ҭ>DZ#JUm}E8K<:Xs\wrK(txi_(PE~<˄a_.GgK1כbGe?߮ m7醋W#sߞ/:OޔୢۂufKA Kee7cdžjgnqoF ^LAݧBpt6 'ύ+ t~SޡTWz;np?nDLl^ i{_IY?_+Qm ȋQ: @t"r( 1YVRA F`:VuQvؾs@%) 1>؛!ƶ, egєAH3ec-pjY`jJF#K*'go͞QV:T6uzbL@+c pŘPGx.`ߑ78= &܆8>wH@p4ѯ~ oT}iW}8|3iu;< Nx"?G^S:5PoY%əw[ոdgE.`C8dʵXReơ 6IKe~W}Ջn cnjD4_Lps`S+NVІ)쌃HvTOL`2^)"_dWrp?  .mPݟɈ"Pc Z0=5MalIn]%/R\.A3ݕ fE6lc0{N;cׂ:Hq.vd~cӨoӥY1纭hMGm4BP^ m`j>ə]{=+1sT%~/wz`J"Z$ b?N?5шnXPc'ս:bfک #Xߩlo'V/iHqXHJ &%_ZQЪ Bb+nZ.˗5C)[3Jԃnl,'㺏JI7$q1*4I`gxXpf^㿡!HdwciIhoUŏAÒy]l**xHy(Zƅb;7l‰, [igH;Sq C1P$xhˆ~mڄUfIʕ]Z?јiHX/#o$ ;~MvjIwv+א 'Mr*f0dXj:W!P5x 3 +c!6M0%>mYff֫т Vo 6R.lV=*nELk풐R'Қh@z\)HHhLň W[\iCe^F3,-kaw5j\/,\ŵ.P`B߫Aȇ"a8d9"=Xc:#^ٱ0E:ל0|LcUZ[lf؏78W۳U[CL+XT0> pʥ&[6ܨhu->/u|ݳzJ]D TksD)&Vcցp Xlxme4Pk W[BP*zAYsy`0isC֡5 55ߋwe6̑t-vyFC)fOUnM1l3j5J[k8ƞj2qUP (\- Z3Xбr2Ad\T3ܲ_4[Kq*ktS$ibΎdׄ#$ Z[I(=xK3ȉEͼȹT}:d 02ksN7.]uSiW>/a{ Ey:T.O|Q25 L^Oh!>qx8W.JU=5E%&PccS9aJi-u+ P|Mu:)t9+0|ˬ-G҃BTQ5|"6[&)j\=vAڹܡFߢhrNMmOۦwP7V7GR6T9a]#/Y ^ڰ7 Hahw:m\Kr>+l[*w7"sF51O_{7c_eTrDDTq95%zsp"x%@Z,P^1M`_y C'Ngl dMl851 ]+iXJa_5YP 640Y IӒ^0cXkF(:z-={R}U>֍ڛFoS% 7۰Ј c|saG2L)'Gz+OZ|ss:R8qbhr/gaMӾfʓO cAD.u;󯀲q[`xls2X-ˈov>:rum$|Km0r:`:78F'=OSq_8zӐ#rpʞ3O#!bJmb|Www=͟^R\cGk0Zuu?ݣ$ZJ|u|[P~ӱAB4;F!Dm%ma4]$o;Ei,GPЁ+yM3w%6%P:E6z8֙hjӧmx%/TѧU8nnGId]q0*|QnXam'){}JWmNn+ӈi Z)"a[YJ9ɮ\?9ܞ"K ‚ EMn?+ʞFTƤn&Oȇ3$Jg8RhY9-t93a l7ѓَ&XBHUZ@I I@y[w1!OyЅ9UBnSP-zTY+|L[R{x}ΰV,_cis>Qv%VѡKnL= SShҭ6 )׷img5efiڪ^!o\\[q2v2aōlS?qG7 siGQ R6YpfDg&$ 35; }(3'%J3j~H*V`tp&2"ߩ,ip:)% 0ܕ$kJ$|0ӰrkwD~%#k7caqwRG҇'.gHկLb#7c %&Mh}Ղ7^2!WBTtWkXQ)HaY >T2\:@11$kL3y.8Le`o NEتwn:L۴-8c?$Tl  N"8k"D!J$M]Tcm(T4e8JHo{9>@[@PSlMEzYg ܔ/eVr'8mT 󘌏B> 7? (LKFâKhMۧo\VW ;"t!܄v9AFHxvY)J ~% Md1Jo{ [rSɆl@ G %yFЧZº (dǑ692O,FLC6bϣ IrD08pJ4{G\'gBΑ!ޮ$/ $2atܱgYZ Lq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method)p%)PureML_Bootstraptheory/parentsPureOo ) lPurePuredocument/latex7zXZִF! lp]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:fXQbqlKQ69  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}<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&ЧM%,54u#Hi X¡,8^=g%nVԾ].#L\f\ DiϩpEWgYZ̤[=IKĔYz*ms◟]Zyщ [v?mZߞ[Ũ&Y ן#3Q^7˳fu)t/B[Z߻zI[^?2 (@MY;e0~ChOO~ɗhuJ'%*c#t Ȑ>J63n+QɟFFudF 6_ΙWд踐qtzMi-VmХzb,;O@Z3;."yx|¦V1,o5#<Ն,oEƼcEp3}s9R t9{1]ݾsҜy.d͔HB):"{6~j,Eys1Z bုQf~A41J~eO ?Mh.Gᇤqm)v?U85L|D1:F BX5 e}R o>wYl7?hU̾1I4p<]%u.*?2iSU D>T?C4=TD?#L5qd? `UWV6v{UAjqaF Es7rF,į :E{{O/<::f9Ҍ .+ם! HQQf3 ?e-I +g˕#!Ϛiˉk)XST a}nB9>.[3RF{ G2-RMg_u}5NV[w\Y+]["9RRDf]neYaTgI=qmmJfQ9M9ؿ^n5u>7< 7h? rK)Ȑ5moI3x3™& ߉*pw=;@/AKDM*Ij"7]&+;}WRw)eU5Bwpm^z9738Rtnl×:S4신f i<[Ɩ/,b [sM>f\[;v*tIMJct: !,'j,Yyu]S#B/KW+#] QS,.?Łఱ"?+cOp|t?0s05Iǜ279ۇNhpVBvTe PXI!rVVlǜgH̕ z ḵύ/ͪ<QpIb>PX7MYOUD mY}hJ r/8=-/!;bav;)92dO̙g)"@f24ƁV,L$!o9#ELN-U:ڟRʾj).DY}p;=iG͠W+F[w0eK֠7flnw` lVqZsS=yqK>@{(rr1L7u?{iDr56CJ62Fbf*r ֆQMn ohwmtd(fE|!dN&Җ5_| _[tg-r|_sDKgo@reB{В.ĺ6R5y\58ph1/6_ |tm8'ry2S4#2D 7DH1놅7tR\btaZЋe$`/o{o^47J ۃ,C|{/"Q[୓ö.m>WlX6t~C q]DpiFa R@b v9C,ȗ`f=w%/f_Ƭ+8F-ڵ)1=["`> x8ڿsbeCUa j{Á7\#t}g8OcP x[E8+*9?xڗ̂/.vp xT]TƉ-T#)Q]߰O1{_vӿ{V,"a-Z:OS8lȊ#o( RyzK$ ~Bm0LTJNo~B7C>n2==سw4Vj5-}a H% =G&OrZ/]&+(މB3yS?U6~*ɾUUT#ΑTK?t9SEbaҭهFA c"`ŒSRoFU0l gڡMzθ\ LEl؛bD2,o}:w8¨k7/o)t\haAD'Wavn+x7T +NQjP>ErMǹ웎($ gb@áֳt}>b1_#BdG;z,p m€֫ܡX(jD0o.k_Zs}HFW(lG3;K+OFȜ9=cYB[3}INv׷ 67,%KSgbnE )9`㼺/QDLPp!15Ia}X+&[8t0ڥ0ܯ;B-iS[!)t)3`n5K8v@WYBA b2` xۭ׉rJy$%Ƥ w5i$Fmz\`k2n$QV(=枽M?ε:۔)YLdR.wzh0dkUΞa $H HiTlٵg!F)>⯙e)-ʞ~sLxP5Ն%&8́t1;t쉰 0b73X4 'wȁ{&~h~=9x@ Bku _ (( CNz@7h~gIhf8\)iV.T V:N8"*B5=޶0UuAM_:zb? Mzɲ.m-J Ym޹1U?IZ@!IוO!xh\f5bpPڛ ,-Vl썶I9굉wBdS{ /@&05Rp:<7>GLpNdӡqs3wLseh糕S3vN~M~IJR%(A7?TK9fqT9T<*K7*d\[bwp7MW{&in`]&^W܍䅋HƢpsotihiGZ BO,v]7Ⳏγg)'щw^c^fcN>L;Lt l07]Wp+. E5 /:_}qgڀ_[=&ntdZxɤDmPY";6 0ZT[W44I&ƒ9{}JEb=Mt'>;R@Q 8IҘ.IIb6]B ۳[t1҈dCEݪqq ~b]~cY:AǖaGrY%j@+[Ku<W9#%l2D%ϱW}ՊW:( 'bpǩجqs|y4~>C=9ƞdi^-]r'Fh{3}O^ŏRe.? )ٟ^xV{ l1.CV UI5բj!RZt pT`l\kM9lNt5>ǣcԣЖ)Lp^"d翕GQ^6D{D^B(M6/޾UgY~b A\j.A?"/=1Cy)"5 %U\`YuI؇$GCfTZ8bC$>|7FbevaAyŽu'\iw|&*m̰=68i1΍K39} 30Tzz,p̤SjЂ կX$.:&^l4!^W"h:C WCB4Uy]#GÂAA Z%34U[L$ m&Mgz"Cru4{z1k+L8MI+ºiFui33~#Be$%hj"GFЗcr^w-zՏAu6a]{Ym sH70k#% KRrHfjYxnv#;@Iv۶M_~C6|ŌV˕$[ j8(&)Ͽz뚋J6p9'dՙת`R;>UT<˜fe&60FsS%%HnCIQ@*cha:N*H/ub.Iۄ8q0%*7^qۨ[^5z(kԝr,sy_gሏ}Ƞ6 BTSSެT7stAIջG5s E9XbqBpof GT]^1o0]0ɗNa_FzHvo\%tGO';zm8ZlRn1(z6 3Xc->'"],J@l Q7R^`Ή[ٙGX]|pxCGr=-U#p>IƵmK(ڹ%GOQBJ\ÔUV1s4Xbs;(uAly{^pJxie/Mc h΍}(mIn4 iZA ze%nU_asc݆Zr&%^('z^%] $pZQB83lnY?w"lbGr>I}0<6 ? N/Bw)*^0kBw=|hLΝt.o+PcR z􊱤%Vq\Of"6D6E6:OiُhJʙ@Ur@ݐߗn$E\ efd3*qk,"UOпMng$\20Nq3OSF'6TL |g2T{J{~ԋg-*;y6zOe7=m; +'gf  ո(ҠkS8fmв#n*Xg0 IyǨu 7`0l*O/pɚs80h2i `$ skAb޴j,\1:z&U_[ /JkA#Ş;XܵKʹHC {0.낐vMr1ꣅ E QF# )mKd @RG󁚾A$4}OnIAߧt ^Z;d:Bىb%puS-@8 ?Ćv-ed 5 R729 䊦JCjBZ[9ν>rBW9ZL/1-]/ax<3M_3;2\_137^Xŵ3%Sni6|c_0.xL$eQMՁ4$9nmlb־яΨ. ¬܇Jw5PIGϿDzܨۥGQh,a'nj!|nLX#)=qGF> )J|$g`?tob0r <q1$-]v͢iP0g `g)aْGE쬐18/ !tAYRdj/34PQa2ew).QƒF+;)%_U]ɘN'Y_NXī0d46mQuxƪW,x#aNC¬ !{jz c*RXaVnrgT/YTI]z Ƒeˁ4ć*[K%d+3?['#hLG]!gCLz )PqQ4P=P].Q)*a"#6߶L:N$bdZ=s.ŴwVo w[B7eR>46im%c^T߇HG>s^koGӈ*Q6M }K1*mE ӔGB-pi^ذ%({"1Y:{|l 2TuC%EFC]^!S/+3{j;N$`f: ~T]Xޜj;Ǥ$N<"#1.BD`G ܵrWZ0aj:zmv3:/Q*f#61BZ+90L EuRׯJwr, mIlKyp  _5ݢgX1;=+2mX̵Z;M&Vx-'1s) g2I2ɏrlobC44rK)|p| F$ֿ3W8h9X#*2> ( jOvi;[~f+8OWG#w?AC= z43^+" T氢o p/sw ~~F5,Xu.ngGaiiS@cSŠcVp^;ʣ6iP,eRiWf\cF.IyN$ȶ7|tprDs7ftB_&*v?Yy({}̙-O9n=OQwqT`8NW9{TQ5e^k<n^F!L'~f3hnr#&_vCDzMsl$Eۤ; 6[a01| O)L&S;S-P]sfZd֋R:>Et=lhg9f3y9o4E`[X_lx G>_ Cd`D"9!92{W yLj1ޢJ+ pND& yah<+%آ;퇝`Eϵ?1NעQbXhIpHfp_8s3m2 1Ta3K@M\vA$7^x1{0Hm?FSuf0添=Ġ2#oq_@BR^rX=Dw5|J=?Q4Z&U6ϛ*PeiZGw+?nzVZ{{xo /}iQR1q9C$H AE/be#D#<|3F^m(Gf 'xJi ^UhS;z߲w$jsoPDž @ 2K+ \|>aP3Wb*Yxw,xk]4^@~(Iش1ƂyaU~Iհ8^ڑF)U#SBNLv?us!ȇ]lvk.)a7z|e)~!],;5P&f?B0knA)~Zdi(&|)9že`LO)vF8'ăӛ%Oq)^꽘$5/Q Rbh0Ks,q\sHG5C!Ё(ToGh.ncޅvپ@`K8kSӟkeN+nr;ZNiCT)>@]h<|ʘ%UPhqS`U5ҏedIf}@=!Yke$P5+cᄂs8.Qy"C4a 9ܢ(wMb0QְV"sl7Lp.*T@L"qPD  ''g$XtXW .>>wBGZF6(I?ƆHJI"RfV8E)LcAmy||GiO^p)P׌;c$ӂ'ng'XnB6u8;PT@_XojeV# #̷21\^R^J w^XR3%>'m\COm]!Tޫ5,=W vy*y^ XfƕSa#)9z2~\e*i>Cd f%qʨarid{!VQNM!`w`/w0UJ<&d{iW`VŠ%s$HrGOJ#K42 IcXxjӯz!ITǢ_Nvk @aK˱ %Z4˂RXiu₏1\ScAm5 N^`:;{M*,8$ᰞ!,BxgHWJ+0BS΄!f/`<,M%% P? |fw0I:7w =e[Ftت߾5_3P[AJfgxW x Y\>ޞWVИ9"mBR# ~!8{) BQ>դ9b>c aipotV=GVVrw)Wm#fBܤ\R QΡ '`z&BE~^-k@S[okkqt(vۻbN{v^$3G,yʼnpaeIbQ^^ mu8;mu3Z΅r<Ǝ{ϐ=ը{X,%;LCBe=(MŗܨwG #H[aG sr%.lR!87trv t­LQ>O!Lw)i-FG{+}MJto3Z{* o⼓%^OEv8~wGxn"y/*N}_l`9ᰪ $u;D0(UEoodZ!.WՈ^>ORS39|UV(8$@j>]/e?pF4} sa$P>;Ci/(I⪔zOQE;ܻ.T3xH6oJS_@>h]A(DOdQ!ߊ;D6H `,(KJR7nyS8G{8E77 ޲E?4 fBh5@̞˂H#lEze5, 9 GD׹$45i5xR#Ŵkƺa+ 9#RQ>7m}]2w-BI;.{ApƜx1g~Pv Egy Eisj7Q0N'Wf({i#N2n~&sуxnmꟋݵ8M}e `\W1Mc>/DZ٘9X~]s,Hs8#=V?ۇ < NZ|^|ޮkҼ( 10w۲]PhHП^ ZIb iÖ6"j0V1E}u/#xM=<>Izd 55[n*o`ZX\ eS19^$+ѿ}qgk +X/ӿf4كgb%iۻj mJ~P,'-Fz6u^ryZؾĜ!r'Z|洞r,b8CnQ/=ʚlUK!Ϭ ,<޺#Njpx*=tgNkFHX/j3P5ldT!G`g Rk\7l=s"IBN-d7=~>WDzpHμ1 ߨ'TI e'h{j#q&-ZǽЃ ʁ;: At{T:k3!ݗ(=2X+(CC6r1 ºʹT&cBAB)(&LwTb ?h?@QׯlDeCE`S.l:! hɼ)e (67W! OE}oRAEb. bË (i}'Ko}aP'(h{JwWx A$X%(V৯ʶ#M?2h̥O^ʮy߹gvft5# h*]g%ٝ%yohgIY#&6wE_Z~H:32/mĝ >Hf_"I L@%%<ь1EjfYGU1#DN9q^i)"|8^)ŗ~U2Ҵ3BV(*Ra &*X` 'Cr f_6f4Va~\#`[&sɷ}x]ܨÊgM畓ߙ-PŸq{{@ |(%3%R3'w荢hM-t~J-qa{N7 Mo⨒RXR:l=) Dg_s7/@45q_ȷD =#էBr.) |$~#G@E<ՎbVxv1slXnuUψДNDƶ=, ljw=vęI ۤ)i6hUObC/._K6b BƏe@Lc0Wr!Ei%e ldDvbBQTG#g;ȯttLj,Nlib b[EUBfFEXlY.#s[@ 6&;Ό+9jFɭfYùS%~ڜ??OKvx *l9^oՠ]!S>'$*FXFos BtVeۉ>p=[@)#3QǵP ryZ"tKn >o_*sw*A?|[E]/f63&3-7v('WSۃS"ヮ @-qL¯Ȇ _] ӶiڬGz~Suw*c/ީ<\R0/%t!SI$1gl )8X 2h 7``n] %2&g&~Ev^•I5`P_N;, V|{Ua _; fz]\H}r.\fL BkD:`ˊW$$fQ-6"}ߥgdm~ 29S 8_c[DDjf ܞĄ${Ta揃# \oTG{? i4ei5waUU1+&H*gQ9U0q 'a8F{UќqQ}gb6O–B]#i-%rp+2CXYw)bX~aE ]ՙr٠)QqXyn(M&Э!S~go.H2FXcU|"3{29T]a2L1[C9lƋB4(t坱V Qz)w~=H T_o$ <+0ϗ h ê&qXtAN M*hWغ 6]pȄ2IU @–wIJ(@% 6?|dFhld.f 4:~SGCGNE9G{E¡-jŕR}~ӡ+rVbB ,\r%Kb8\G'}G=px]{8nS=E0G"SC}8: f1r+|l3SS%QVO GJlAnf9j[;I) E+Sϧ]QV RtW蘬GDZ!dOyiѻ#P}YٶJMd[Q5ieS@yhG3u/-HĬP<<uR g-yuwm!Pc\G]?VVUEu6Eig]:n^Z:dRڅ ZKz<,iq~84*%0`153m[/'ywҳ09Y{a0F Jjyc3XD#v6Xqs'jgFEy99L3}z3}1u ؂1"pl-7}oU1A@E?Q{gB1ʉz|DU'ZFEN]Hjt%B^ .! {|]^$DŽZa6_|ƼAU(=mɅ|'&Krkoѱ7C D5&|Y-lh4Kt| lJ@'gVzyVP ;ox6>,>eY,69Ө6(~nĮOz4 2aZm1zJѠG*_oTBpnW;Ƞ)\$I@B= hZ(.͆T1QnKJh[I}%KRH(*Qr?"j7#lrI2yE6'{ n;Fm9Ӳ8H~bibqϣNZLr?-AuLJԓ<*bu^EGN֪ؔ+nnm]Ki 菛BJƉ4_R)PUT[DՕuh 9XxV5vfKح\MGWI/'/q\q@@5GĉINcr.j`laol4f5~}c~.wt=|"#seX Pߖh{mVD޷}f Aq癉J9;Cp#m:jX J6wwLareZ#e+\lm"Np \1*hߴ"Q8Xp"np~Q1x1eHx 0<%OFsB$+^Է}םCzY0 D "dŚoZ溎L&+W[?0O67 NCh|)s:iSJ׵\Ew9UI7yٖO=>֥i>vNб,2L&h>e;p]J βBF/ʂ8\(7S98wU.Mt7g41:sCZ(F=WFS2j&V:d 73fQi7*wYXCwaox>NܣG5E;Da$vH!b\HFv1]U}W9+#$ۙ&rI~ FQus_uX 3DKy.W*87bqZ5J.( >+\8`t0n`/ Qܶ( 8 Ӎ䧗 nPCWZk%lV)Kk:{;kRv\ Xne Y#c9>gxF" $VxMTT^쿶&%w#C=?enGvʦ(2%ل{UGYc~g"ژ>fĊV~=0P#[O* 6CߴV>pEybjvoJ] Yϖ ;VCw~ZW_8/IW4s:PÞ 0* \oϻd@{VcT j`Z䣽w(ءAN9•%!^wS1jKoc}BRB=.ڪ7Gj5SW!G'{ȴdWL$$LuOˮZC&"M2v# B!jѐA8=joT.\l 46܉1>%rUc4|5{N7: .PP^}uWwdHߔp RpރS2`A xXG Z]u4@$h4]H^K*It ne~rC6V0 WMuGl`Bs$w~ ,N@RC@P }ϟˍ)^Cnؘ鴣yX~9{hZ"֞7_ dloo,zRYyߨG8%LxR0e{: (ZE7;_@J> aUn0Tm ⁅u*`{+e%zMn<:5)(>JEi]K|VSQ7*~fN<^ 7CFqYֹPs@rAL)=WU!v]0P'M [K;`6kGiE(~WXsRj t~cBXt=O{j1X/t32/;Ntx&K߰;GyTa&0p(M! 'bm^Fi.\k5刚\'sǹl*+4 O/MRV!9Q,1u4,~ٮ[H+i;q)kZ_j >[)AlLAqtNyW.$ak6L_,8Yw"Sk7*hVwǞhSBJÅ!#;=vˢ|>^E;>#t 0iユ>@=LĀGtij;~4L+.Z4 O3xjo%^?9u0 ZQ^=ZHm}JZR$%%JVYE_` _ v/:%D"/M j^h1IBw>+,d~ ,Mjj@? ' ݺ0!N!5BT|qpц$vdְԭV (QG]O%oPvgjA‰~8aws[DBNA vM31n#kO-P@h-ouk'&MTD31:-\ɃAtAqFaʻ7z:C GcC8Vu<|~TVǸ>Յa$y6TϺEhn&N$A{ !fPS <{B9\][ܻV}Q4~"@5F(rz c386`v_pafE;xccHȮh:(裸M_GW ɳ?!+}}HѸЙ@$U?$Lߌ, S2U۟;M^Fa) 8 SH~ OJL6ig"FC;'JCCF3'8bVjڒpvSR"m8u(zQlg휦&>gעX Ѝ4TDATmcly]QiA s(=~bm}ȝEah'+-w}QV"  ϭ8}ic,ˢՁe{7;D.T;{͹E~s;~lD/M#(ղHC |V lX:!̕ʰ?UunIt|nD%Q+bY: JA$2BFgRk3F[=L Y/r+TC1]Gp2L\#i%nWZ8ag|6RFɔ0*]CbQc}]X=}olV6y-p/n]dӬx of)t Igdqd鎫Ʃԯk4 lCbH. voF*dD%eۂQhXk._Lt B @k|c w`ϣ*뜀tg!yġٛ@@IWkvOg'.ic0h\ܓheLuR ~K֯Ap|8  $7+?䷥ijNNr<|!T&~/d,)D;38pσ.lc(xy~tU\^Mbpw0$ޑ98p+`htb@vE|MO~h?O')w꛼d0WF)b =姧ujfW(u /`Vᣟ ֔(]=!":\ Sw^ :!/fn3Ek4f䣙6-xՐ\FgjΨrTh T.k3@oHhn~fתDnJRlS+]9ڷNC59K= =-^Op lfQDs3IB90yP(*`R09-"1ypj}VQ4x4&+ma(|9(_IC|vb&񳳢Օ8  Os0ʬt^lI"ruq܂G# ШUZ! @3Lz#?zz@TJ*UN 49ݮUDrc h¯aa1lok7%zӺ r҇J;q75VW&PN!ϻ@sv}l݇Me; 9ȥ fO1:r(j=fߠV vPɨ2O|ڷ] g.uys&KeW *Hz2W4itxF_ll7+&i_{vbr T!v@d{K[k5=! }d ?VhAE8a\ԅcX-od )[G_8!-XF٤"#+ش/,Wdɴ&x[0ߊ߽Z12~X/!yU|UXgA0î#eH-NT&dFAПHJ@_ET߄x59sR^o=:/xLӬeSN,JթfI0ʹ"a /ԬBC6Z))I5&(CRN%J͇yswtԦAFCXi^@~s\gyiƑ~kӘj{n{ZFZ bHK4~ CpP)~y͍޲!\ky>I9a2o L0`XƑX #;k]̡E4?ړQ&Ohsr6zG;.3?f4| RwO_{Y@|zŵqkwᵰDkAF,q1Q#/a)Rz# odM:"%U-Q,l}(uq"u+](Bp4p2ns kՊBGPሰ 3FXjGXAF}[S, Ub<-LrV|pZVK@1yJd-G:Wڙqi6KyuB%tba4h1m >(wD/4l Un;>hA!U§_t)c7w>w o5(O'u#p$%ɭ,gVݸ9dZ̼f SC0AԚaחۭ6ڌo98%8x9+SR9ywoU0&,u|.ݮXg<b5#PS-S0(FWK8r[ WE[ڕҨ^%QQ6fċlMQib=Xi^(`UE⻊Z^5;Vxм M.8M IH&vwl-'#L$=͗3)g10O`o_$&4TLͫ 3ta"3U]הhnqĬ̿}TV?}# Vu?NFAU{ԩl^Gl%[.Aٷ~Skv(g3bl'}emOG9-QfF)bW$w .(EPN&_˟Q~/Д?O? Au $TrlXpwƛXh.: ,Rci\0 JvJsw գ ,p͐ns3`eŎTDpY=W^5ba2d9 V9!ͿXgfAz 2´Or%Imb">WkJ}`(}"(ʄWk؂'5*S+UJm&M.d&Tx /(1j[+ծ[:݁:o5Me֢-Ȋ-!୎Uj_ku(\<2k$EV(ApSֽ578I*P5A󝹷̂>[K{h3>crePeջas- ? am\k_k`Ȁ&߈ G}6I1 }V9 tiߒ978mKzieZkҋƾcP^>Y>*8-\f_Vh$CH4\$LV*ʬлR0Z;9 <4\J|vU9B w<(?#*;FHS nQk஼Z,2utZ΄|wDҢs?"$ ߪ$2 Uoaoҙʷ`TyqVSh4`=NJ !({Ly&Kfnz-S@;U5*>:1,F?Ƨ4 iBXoDX82MdR!9J!l6gSFwrf^8" ,EG#neN6ɽqP2pZ z8wgZEr馤#ȸOf͂%X+vχ I .W ~zeF }êԣ\@'LZt ;n ~)@FVS5MKS? 9РC)Z&rx̘9/Ni5m6+eG[n&L1W;wî!Y+WKJϣ aݳZI^PRbt0H`I¥$X" [f3T$9VU u.8hBk}!2 Gcr5 r,%%)m"|G+HУT)(Qxh *U+ܾH8VƩsg{97g?0̡3 ^ZNFْAQZel}$~",gէ0ތ3f ۝Ty㠑x%z:9X6 x^`{Ze T([ ` EÃiG1 < 9j,Q#8L=8،6AA( Nϼz3@ݭp[^}4%צ~ ?׮P酤8r 6弨GqugO-ĢEÈao9's8l_#11gTm{KfI Tnu7Wؾ"BNWaX7Osml7[qWhؖ$"jfcaڭl9;啉;"O0b ҕ{B( "{!,Ԛ6Y:h&&զx"چ HeҖZ&E[WuX5`Oָx@j:T~XЇ,+$欈 ɜVQL:*Mr v,2E2nFI[nx3x8-p؄qk83meLl+R5 ?b~+a?\y5rW  ol{q6n?欷07 4o-cVbal~;7W=xIj!:'gA Y9i]&k$`xa}OAj"Jd YNJ-wW_;e31)q2I[ Tudh2{U3ߨ'/j+_za'5st$KcXέJM a=qǠ68yZ-? OObW< ކH H k׌["H5>3GCȿi,̂IV΢@l`flB28Am˼4-bx jb笖]ks.:sv >|{0 2ݥ SFJ.\\ʝMP-qj7}mˋ&ÐY>Isz/'r$ ?@ebQ9Sb?֝lD#LhCH[GOEVz\U ,{0"Q1%j[I:y;#_+Bc{Aj`c]e/X0ל@|$SSHx KGO7 ͜L;Wd)nQ}Ny̯QyZ"#p[Hg0ܤ7@v݀|i壸a]{+_'*lIODŸ qH Ip~2'tjUtɂ1Nc<%._J4T92U RG?h#4jX6a;?E*,G!Hӝ[O|Un@|`7bZRղ&.4yfme>j!we+fumܴ⣹kTݏjf滦SM12͞<RFDŽ;=<(GT+BTefƝ\gaCPa} y|D9\I%FE j˳v4QEX= mW;mAX'\11P$KB= ̙Osllhng*k~t.5A. #h0\8SF"ļh\;Ռ"by+9Z4C"͐f3Ui3cVv!FW,? >YNd e&jIؠD`çX=1K!u}!ҫec[DӞT$RcPJ[99xX~! kNۉV 0ΠdҜc3+ޟ% 2a^JK{Xm3~pH݆ lb%=f,.i!Ͷ߱Z%o ٞ;:3?)/NvRܴ8.=|uNA#I /u*%%{`-6޳^zܗC:t4m;o3*[:U}{GD4@:UT1+(LC`AP~Ro<NA;'wx)w(73b>όQͨ夝?EB{3)+rߠ?&zz_N25]/ &(e&>C8Ļ9}:aK<9mTMh:n\_{˵vm\CK&m5z3)Ub%@NiE(K@oރX;bG )Cap!Ȇ D#jRJ]^N6UD{0UW5F{˂guyȒa9qJW)#!=ډ7${;`+eZ`mO'5QA]@:3/*'daPt+0ZaH1cNt4Xz~[ωR4xQ0[:%*DvX'֜tS弈o/^TlŖ]㎾FDoQ Bucw}~5CcppG৴h3t5@^˙{sSױGЂcW-KUdpRtv <և%Ǎ@֠[+ NTVHRIma?~ >qLP8tI tc}'۔>6&TYekm\KS_ѡm>c69jsGX<꽻hw:csʖl +"o nfY?%炌;D>a 3&:` vn8A0}~(YW$?^4 Ֆş\II20S=B:CHb!M\4;&O!d2tqWyryonPˇ dwXν 3od1ex؇ ֿ4hjUĢƒD1v-GP@QOÀ"gg۸^ epE&\DڄφWP񄂬}a Z?! 10猅8 ~ nLl$Ei?2onxHN" #P:DQC^/6Iޠ{3 = s0I,NxrWi3Pa45,<%s&l4PmyK}-+^KXd;m9g"'L4g y_jކt6ҕ jx/ZfD76b'Tᖗo@&>[GG)T)8\j7fx}o`N7TI:*ZaqD^#]=.TQc]32A&6Ս)beeC}o,P۴gyssxjH ES2/aВVRf5\$ŜȮR`jZoրFg)oz~U%`ch[[h"ҭ9ܜonYH4v@=%0jlǞNPyB jD4o0GP53^x/&\&hI >h.EVY(5ʃ5aRڟm /+na7r<|jŢbjm:KejlY,$zX̄MKr|-8@4,$OuH4JzvM΃d26ler'mdEd9Y4H~7fvf˪ = hHdFu[L{q|um=7B8ZKWQ'$XL!u nn(6Ry,P',BVm}s y}U-ye@E!9ҾݮT|[zҧqZ_QIBD߹+|:&4Y;"{k _ ]d&ĥ^vF|>}~wAeX,B-{m,ۖဲ͢ Ԥ^j'(ZQN<0T՘B*Z"^$]ӊk~FU }'j$$s:vϥ4>bUKhou=y3+}Z@~Tp-d6bK/$o*ݶrN9sstrWͦ-G9pUUO:G:bAI"~Wi*cD}CsW9Rҋ.oPN+Eo,ܶ Uˬ^z&4@6p_XF{?ҢcR ?L&HyTuۚQT:L.BTk=cpgD)8xUaG*F)}ޔD#})+B;9(??:s :;VdM6w?lg"&U ;H-A O^Q i83GV,iF@a#}7 ;A&7}Y ZGΈ6>!{R[R@xȧ*~ЙAKK쪚4z)Ind\ͳRȼiO;A,sIP_u u$QG(`W/x1(=5Y/} .1b#Z++|ǶD^S)+XȶfXXxYLN!Ħ 악p^bsɜ ?q3G=DKR-z55nGUᣇ}Y<8M H^YE#PtLԂtlXFq.m/(L=jC>*,)CΩvL_/\7|.6741EhD¢3%czmns.AE'mCuô--DODqq¸jBf/3f4/6ݤH>+*,q2VmDjF G7dr;'rVэl$f|Bv Mq3i.t(%6pߺr3VJ'&{=2=,GY9Zt~CP)IszSwGYtZ ʥz.cL2y$yr$[ʤϼCחj%H ~.OPG6Ro6|P̿X^+ZÕK|]n0c 鯵M5i57лˇ ),(~\ T|m2| >R5LMbL 37qGJm&;l/[[KPc}fbY٭@H@^-`OʑxvjE.L#,Y"O2Zc8:¯uΖTeTuix4#]˙=_p<6|KG")lU{sHAZ1GqB[Fgƃ 8d1sk[s3 t n~>? >51X6]a+ʩUX$-;@h|8X*PMvaidܧdzj[J6LD)ʘy$^:}1^RSv~YW9v9 R9PMm["/3!Rbٰvex=e,:uÊ]0"9@6٥op[^<ځԽ=9;!H87>YHFWfq]rV ϸ]GE*o`. X?YY?RHFp:~Q&!~RÐ&Evv!|_H1cBETk*;eU某d) 7/ԨFm ˓~gi;~ OTdr6ɬ' W3S_$}L~G* /Q4ʱ@з|.AʹS/?kT2S`VLFIGd!ATC/ٱWmVGXtcff1qPM^R )gEtiY\&,S }bc2딀՝ż_zN&vAE*^)>ְXxߋp;P"{: q2f܉k^# [D>j#iKMdЧR3ԉfJX?g93K4vG/1{#ӈݎ}#!/S &kq!%AE>SBkS(lc_< po'_ )7h?G^E%8S$jik",S‚,58wD7pSV;8`iuA<=_Q0=O;ꌛzH6{CxfJoZؤG3zMTRE,m~iTePHVEπj_ A³o6F*X)݇kXL_%VJ,u/E+$K)9+8t;'Yr F{{J֚m>cJS]Qlň,T5Bv;=9~/}F /yZ( 58 DLN?٩JXF<Nx)3Mƿ)[oޔ2\cT"B)6_7;:%NOoDh t]SOa[AAZ@Q|Q5,+R.\]513303e6_V%;qJ+峨E,Sn؈qIݠR&Xcv*{>- K19>6?_JophUx2]%15O9&txj⽶or~jN#u`SXYoL]2yn;H6(O+jn?,VƊ}}d&_=Ds^^x^Oil.?^& I4b*xDZdr|!x(|ltOzyxsT9sړBPY%nrmsL6b@cV(<89  #^!'*-hS`+O;;wK>zfWzZd]awKlF v&QZBߧ))+@n\ܚ`0+:u[$mmZ6QЊhKrh] &Yzf~wf_w3K' ]GҸr YT.fX}rY9H7L:I4GSDkjSI]ҡ V8^ϚgR uS_C (ʖ5ۨOX/8Cp%V\ˡ lե>@Е?rvEIΝ<+ tb֠:RUZQk U%_#mCfY 0aPy_|'hpm7!.B!Yb7+C;Mr=(gϋٻ45M!(M rk|=vrg f"K1[5#2Sk|X\5#k˙j$jLywӎq@4je0djv߫w|{Vb]xZS ЇlkUQk*$)J3;q(T:{/>\A2κ"nP2穤E-N @Icz&0509^`׍ ,:z1@|YH/?CӨ)A6~~I?9'`H2T:=X)CAW!{GBO4D&i[z,'L/ٿ1qYC(.#ʆFrO|mOX51/"5q}f!lg|rS.]?+9mX+zuD !K53T hۥtF;ds6|?&Câʳ &\L9_t!C p]XBŦwyҶ܊nu5Džg+5^OkaπX僴F8)ٌ``0`kEl-׉ rh'O p;yG/#YAeh- hZU3Рr +Q;xĪ m& OoQԏ";>~NeK9gkܴ@ zХi=,Au&2'& E>NB`j]v5, 2D=lCN *5KEI5! DxrM +"d 9Pd^G%hnK?l\I!$f\-Qزu~+`Zȕ`2(@MBI\8_m5uO3ֆs^*K3?E)DZ()Ge媺UQϯ .nKl(t62LuQr SĠ~|nNo}v8J /r < [sH9(/Wςū9;<['\g}籸yv4Ơ!0 ΡMR SbO*K.w]Tig;i@~S`lS\7__ZvQY/>~~}$'p._ov0,RJ[OhXeqeR/ l& l[ECȧ4VGk QGQ^>|32 OJ9jY#}˪qx3!+8<]iR)}G'H~ζKT:~kBm 5Zpv,̇;Yt%8w~gd-W+[qV7{0Gue]1U'g,bA=\Nq|Gv 0]"#۰aPļ5# kp̈́j;FYȐVjNjG\Ҵul$ v`^jK#sT@6h$X~ =1R- "$;AO@s$DaHcX=.n4gl"7Si2qrgtz m}KF#8}i$} <<%GLQ\ABޟ*|9Ӏa 'hn>U FTSS-heװ2SZ_QSOy Z:tKRPIѪ,&l_q3C6IS}[wު2D@s}V%FX%k27Ŏe2FY19O\َk=ݿy Ɓ6<;nK/8p ™9꧖!(jXԑS[9Ti1pq$@ϨN$e31I^2bIxFh7=<(RO0cvOx 3aq3WRh(w@\A%FOrJ8!+]H]70m8j!P.Ѕ}d  '?\bqPʉZe&EUg>$\,r0/c,?U 6&Kb4/{gcIWhxd@S%|UTlk"-|dAÀ8U]W>TI>.30=U׺0`Sd? @oCN[]d/\Xk) '0>Uq0XLi Է)w3ӠIebck}cc8P̧#ƙl0q4]xpLq-; X\IHS(jPjiN1(]7pm6N N8©rpr Dd# J^&Tl.^S =$x LPa慌GFu+OUg׫QUq[Bגьׂu]{1 {HʲFAMYW]0OcP 4>k|ЭǠ3sDF0)\A]akD6hm^j śKBve%`jb˸I:ޏ1oȒV/˂j҆Pgܵz^$e—Eb61(ElZ\W@|SﳟR#ٿ?lyed"sὰ)[ԙu ȥrws/oqM1mg;ۣ"` 7愳I(GpRը~'#fSPX1,Y1o*FHww3O\ԚvzƈL;÷Tw#|b g>ϯTR;Ga=6"XCMXt -mdee=]K֥0J%O>yV$]mmU[(gI G5<8!UxpЖs 7"Cw*D05,O1> 'E(WoN%5t-q1$U}?GBpgܡfWW+m*-qG0?>uaז_`cm=}mj! #m> ? TSV"Bs\:K L,fk^1Y*ʘ,8T-kJon7ڰ{ir1HIOw C N+>G5<6~ 7`cLw1?E]bM7@hb8EnnSoB 5^VHMA̽BwN'}vCzC&t\{| GN Db{aH5b8WL.Lx[wp }HY Y4C2mrS ^wM[&mtSZ̡ !Z'֪UpG@P ,1y#@ؔ[1 ؂d!Kl <O 46r(9u566|4]z,Ԓ$Xqf\6Fu&CkT]-XK T |ɕW0Iv8:rHΜy* yfU9q'I?cr0@KI0eV?yAgpTϘfzw$l{앓hE:g&F$'_pe*߿T.sљFJ/cY$Z "p;r8MKt6Iϔ;7x>ZVNEVA ?\9ihBJ!C7UڻcS"ŕJ-NN\Z>ZAqY8ށ3MDHʸvM@CL[FBTU7vXwGg>Xy.zV h-}4јh&cO6Pѥ]w0̆:A-I$4|cqJ]~֛LrwGj8_/~{C槯%Wv2b_"r`cJ`̯૶&rdB-&T80G8 5{+ #I|RZ6yK gu)Z"x>o%mG EEI\1?LPHT2`\){eb*ɼP'7’{hx,ti{ 'ѮӿYV?Fo΄\PC~CBj$rp:Zq=L?| ^͘n*eMОd&ʫ4rYuT~twM!*O'ylwkO7vPkplx "P?J SIiq#*ZUeRMH/ :EDh ޫ[>/i(a;e,.RZT>Z%c gܤ" a%Í$%wUwZ 6jbb$P[T{b.sؚ Q,:%ʹdȢf*k{ǟ\QW.ģWL:W bYTcDБ9Uz3\; 8q7(8vp_~hlICferܗJXTp][L<ՔFԕ D/O rnI50Ϩ`O(P%!}u梅~62[AqCW}SL;&0lF!k]- $mxW$ٿ :o_'܋fW\xO{{U 8MRmpM;a?Z$;7!FlR7ڤ~k(lRo8G*~:E@A@yyxqE}Cmd?۽1ޔx0sUCc )Sm< 93Z{Gw˦7dj̷60˗PWJsƖ,aċciahϭ_یMXCX}E@K?{‹nÑ흔y443d4ǝ3@̭#i?;d3W1V0Js xU`[2M< KZ\R+Jl֠5CeÒRC&*lUQju |$-.fg {F5bc`8M&IRP:PIX& WG hYp Y٦6ؘg6%^͑~'6=Qp\÷LJAUBxcbq$QXz#68-wi"]Yo)z,xŻ-Hgɘ`:Gj!Uz,oqS{2.Wl(be ᎚rAˆ<!&Hy|BFp֛ 3H& {B{`$a0"W5rmG>>@ڊ<,3XR/Jx*CI5!Y%f̮^ a6j?yf)PI?ƃaeB2se=블f~{Bd#ލH]lvbچVs,ϜEwnR]\,.M^l|E,:98ؿcK羫˯GyIHyH-kBxROMc߯;zSK;M#ys_]ȊXNgT$aqox"YTR%7L rZy' e:F 8 n_p_yTא:l3,߶9+t rydSœ71 2`{$K+zܸ O!p=g7A8bk$x۬IO@w \E<|yX7ADHk<p-+b.hEy&obh5$YazNXBfwڃ1/>,qc.:@ֳCcYj/f CXH'#ޟ'rlU2r+Cw _65E7u nCzm i4^3tN|"HKvhZG3<8@xC2gN+a,B8\ 00[g2l^I\cdՖT@ -cT'(M0[ G'sҒ`Fӂ^ |*ςo_&B)HF &I^d rR k 6yв $ q:KL8fY0pN0&)2G;EYD%<(.TIR)$[̳ivOcqJ+~ (/xO'>VOK\CKW݅nȮへ c׮ؘъr0j58X eu 7"u*ƴf]l^El68W&(x M ^kki#j)3lv@Cbf@02q†hld 돮V׵Aѳ&fuic +NVuӥ!}t^9 E7 au{ik[K`_ا+FE5l_y-V#4*4*#޿C.+i۬aIUV(k :Kl^pٓ_9~}⹬u1Tx 9ɇJ0SqCM|8M@ Ud/#ø9'dq׽,Ќt qxm+hׇ'Zd&"B4>eejfʹ7- [+lX 21y6~∊o)!g_'̀L>X 0;cFH1xAvrM*?[A7^QF~^QW 8tQǗ#"u'0 3> Dno]&0#J{ T$sxǃoՈք:Ƣ;~𛅄YKAފ,ią}=u!I7TX6L-~WgO|OQu`ӄ4,}D[xi۲\`І %YZ\Xo%}/T6k=x]1wVz1B|~VmZ$1Wȯ96^צl(,, x|ۣp߿7d_V$uOc~ l}gq\Ѕ_u:V=1{| ;U)'(h7{QSvh쭉+1vbuiy7 ^~dJ:|5?^~^mF=*4=>@ $oEAa¹5y\`фF emF'4|x;ms2;YIw",lU?E[>\=P$!j5.J œĜ\QaP:Uס]e,xVqpDAɹ6UZj*ItorEO9&%f0`^yUHj+Zyh:v)_TRmڄr='ܹî~pj3\* 1fikW1}ꇨn'jO)XX[(-vYy'tiv,ϴ^R,}$|K7FVS)\qT*R2Ku9yyHۻm&Iʈ wnob6-.=?nI]޽jHؑctԵ Ո $TT%$f~9QȎ7_d@fp (J?Hp>Q͜VM6hKqoq">Վj!pr2ߡ'6sylp;2lnKCSx\qU=~J@]P3rayO_sΚlQHw䒏Ӥ'h|)Ũ@ȉ<8$͗7i?D?n uǖMCk0.5st#g!jN%0Q;7LյY \G٭b`[Fy8,FA;X5l`_<C?+@7vh5=),}\H˱wy]93/%% tSujϓ>m\۲5osMG}}GX&AҎp_&Ͼ-ͽ:5TVb7B y9fW:Gҍ[çy#sQ¬",\V)„1(^SQ&tI,߯wxހ"8^p"cy[&RGusf-l^gB|t8+ɭZS8HGz(bc%u'n:̓iQ- x}Pw?\91>9N|BNnj=0quifP&CF㶳퉈}ZES }wZ.EX%!n@ī9JDS<_ѿt|I)vyoӔ8>md]5շ=^bb>ԛzPQH޺{D#`talUl.T B 'zP{3 iAwyBJޯ&h7숵1|Sb&VK[NY8/k!8حhB ʛBc'_dp*֌_ۼunT$I#/hczQ܃i)xuh%<QNBRIg_UMUq0t5Idlef8]&I18{U%ѕ+.om4yf(;>h$WtpCWVz+ CJ6fmٟ}C:H.YT8ޅş~dU I,h5na"sv>*׹q^eʫ&nN#t ~#mIܢ]Ud`(ȧ_T{Jµlx7&X_J[=(q duƨ*ZŧZ))v6".{fHݓ`ߠ&c}~$ ΩU Ǭ2k e>f#Ш>:xPRnBP E-](R4ts~Q >Ij{U򃑧kyel8_r? kvQ:Uyʭ~xpj~)F \iiqi5ehLE4WUKs"*-*핐&2O'{jufh{H0'2j:WPuG.~p [5=k5hJhWV V+)WZ9&F);\dT]6¸_[#`Ή)JguTelYZ+U6^I\0"}-,J"1|dDe1or{@.Z^0D3-Y@bw6"MO]=&1ϔg O }9s J$9OI&lpb. vT7\{*|8$0B*#]{zoڕ:16~>fr| 庂?Y? ,euA^6e7ButLąUT,yDAȣf],X&{`g-ShmK5S=80- 7ٜ;wº%yQ:-/-}CYHot/2깅wD&]ݙӗ*B+^ɇv7Tgl˳r-XY5!~Kλy*+ډw2MNE5(b)5~'t="'Dr~ g\AS>|, cO|?ӑ1Biqwwq>ăKoGĒҩeYg؜t +r7nZ$ޠ;VMS~`4 KEzT[&ûȒ5B(c+|bNGK QQ<Lc^VlP,7\hy^Hc4ٿ_Iv&wAﯭ?H";un 7 ZP>1` "]?(wȑ0$~_~}V8 V+mf%8MXjބg_K7J#1O.,z]# Ê;3ӼGH{'7]R\=GPl{iGB (\^`RGUn8*)oGHL_1 [I$ g<̙vͶ{))'<{'%pco֙Ud ?flAr e񲭝>H6c .UKMMVTc6L5~uYp6NDOr,o]O9^G}0׬T7rl0+lI+؀`{ӷ\iuB+>Ԗcx/suS@JxsK9*skUS7J  9!aŕc !`:!7kpzjT&Ӛ _S+e|d_ou]@8ْ({ [l!(h)4rp/\) .,3h -UVo"h=#о\P@ NqpH,l6xܦ0kFj ><NgYYw,X% QkZ͌Ýƚf3}U=*8rmxXT'mU SWSdϊғV}fX՜`;V d_q7 iv,j↜蓂uj •>ՈK$#?eS`Zxq,V&9렎UՈ8[R|ucȰuZ;0YZ ||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4z # TPurePurePIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OedJ-"%we'y08 aGp'CsjG^)،+Zli,)2;G~]hF Y In0'\ Bep2@ ړ#q]n'0OS`T#2ȑG]ۚne;Rk5\mn3nnr3'T͔eS!ssc2]&A=W!H0![kln u@Ok6 [c}g: , O,-&(>kޓ(iE; Q]rlt^ hrvfX WX`Ŕ[H/tYthN !ƶyc0OUZT~G2Q,d,OrGQQmZW! 7}&O=%yf2/kk"P|乳 yWGXYP{[nj:¾)q5GY@q=P{Q`Ћ;_FpYvgVL|po:: عNPbWc:HJ#:mWrHKKB I1*WֻXV3&c,j?b{ng7S"icd7* }!*&?zFPjlج˓َɼr`8wuS*0M7$t{ Y4Agj꾇Ja"MPl.sgcLTؿ ":'! Km)z7tE,vuG{ٴ9g WaJeawR~OJtʣvMl>(5@K_ ,*n ~$xb ''|c[E%kLp_ xӅS0t*a$|RB Bs 8-8#XgXΖun)j՞"ɖ ,ZՒ\֏J2X  9Y= ]/$ġ/4u G T2ɻó1y+EV&C[Hz-CL!pƵslT\'hw#V5 yi츤 o1+ImuLuvOR6[A3qGmVOj~ b7gYŕH5|v6u41|kxuvA=|89CCc˓#0!ٲ<H촕衲;fF;c,;0ҢcH&W[AJJ}sJ?(c(A%]ڗZ}`A50GpHO]c/9*r0%^iTCK F[Wz B D-*nkxo<ӬjzuWg]:hؤy`D{ mڊs@;:,ӽ;pO3v"c V|?ٴ3˹n;(#"#5T{`dXg Ї\DdRگPܦd .55Z]FT[VOku"2LKnǫ۹C'x{Izl/\_0¯p |W*$W?s6ux3DȆ[W>8]KDLӲ9?=-uPx"ukiRid/!ɠN5rXT1p[3j@!LƜֱFb%;%2=>af'Ku "ϒ&EJw*[ҭ] Gs 6g{ow $5t #5%mh%<-F_1ޞiKj P|2xdH~D0g0joj-^3.%̿vCb]9Rjx.M+Q< /X0w{vѣw4aʷ.|Pšl`X5h; _̓:EԁflcGkRXI7O|t)㬩 {zԛbh4x`cla&|78ae\nEf 7'xʵDX)[48{%0'3ASR I|>=ϴ@V;Ed.%E7m1vUQ~`=䇸:/) yAr6׿ I>LNjB WO6"&݄A>jQ<  >KHa1DQ$&=RSUsJJSl.ez-3µ u2ż55 e;KimW\EJsei.22MI]{ ~Z8vX^Oux_@OY>JL$R+?U# QHXPU-(j TBiR@ |mº*Rq=a|Yi3 M"3%cs LfI\[A5VtWt0cTuO-H0—Hؠ\5i{ݳFE1R4Pq`r.6kx_KXjPV IkҭEbh so$W"GŲNӧġNF+JVGw pΰx:#$u 7Ӳ݊PS IU'~=rU'هRqĩ@].Ybm&0ݼrY{sS=7GG{^C:Sxac߮"ifȎE٧ޓFkOWo5 C)jQ6rHRP.nĬ_;+S#¥!~T[YuoýE"gYZJ5eAj~n>>@cVolJl 5A@I@vdhʿ|4G{t]#F1#XAyVXyM_I]8eI:0Z0jɴ^w`#o,*lKE'h=~Z-ve&'|T ,z8'y^Rl?եaBqn4]-8PWuд`Q7'lf7 {d"9N̢CZj TO,Agps3|# ۞->|)`L&)kKs64kHܻIl>2'\aǏ%eCzW~sɌ/y0 I2&K ^N7ߊe񪊓9#M[) (K^Ou<] ^k>eԉ.w]$2tcNFe4l;<~j54>k-`}!0l 2V톉?~(>kP)c<+*Q3͘*K}mi73ʈ.ãnE4.;AtB׉(n#U!׹b]˄zpAT>F{ӏрL Q>WIɡHdmg}Ux֫8;sh^+I*˼e(F:3:$AS )bJ 5f#x Ău"TFn 4壐C Bn@ WCE=VCW>w B-NUU;n-} OŞ0u*"\0b$}$c6AWqlZ 36o(YnO `*|~ "$6_L S<:dyNcܨL>Z‚2C$o aҐgS5Fo-VRSU$'^opǰ?$A3~c/9~@;)͹VXfEe;4s^(a&t/5`h wrYAgLmē~8&lm& }xxn7N֯@yV3=y5|B+B+yAK 9IoWw΍+\Co/ڼ{]oI n2u]Qɓ>ݶ%:|GUՙ~: seG9ӣ]g㯞>OMq.Ő(Q S!)=Ec%v'Ϥ4̈MJ(|\m&/ܛ4뾪$oepupIZLg&ܚ`gq)hr =;vIĘ;\{5{x&m9i U- TIc]`V^>Q8$sI@њ"^0;=*NZ9I}ic3q!tzA5ꇘk@MZ5e!"ɧ)+8 [-S'(%L[u:6G'FZzүR3{ #]֏PX[1Pg>Ilq+sGG6O+c{Bcf%'S`ݥ d`ɃA }V^.'D9}&h_8+ کW7&dN >j[eE_doYS :!“LTn^=&g>/ MsYW&Z1Uu vA@EI4 -N%}]qjoeߌ=<}:S4 Yݬ6,dj6%n Ƌ%O/׀T[!CTM[oUQ-ftkwMnA(rqv?ؙԠuj7G]˲UABt_ʶxgx:ֆ?a+㽻a:\?4ayGk"pdI0 '. v|Ѓz+Y'ω2"˱<=ucuVxYR Snf~z% p#tNZ$ 5{pB ;z5Y)4R^N cNC # jF? wjd WZ߁e sSq-0i*)N,) < N x`gĨL:0 y79Ay0YH Ю!#ɟH:C2xs3$p)jʫ}-8|eS\P[;K3)M˂:lҀ|*|&\.P[Q́'QpEtpI?WS@D$5ͫ1J^1_Ԩޫ6~o~[> ^]`XgrCVvt3X" ȱgYZX'# tPurePure.SessionsPIDE/markup7zXZִF! _]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ V$~VI3BM>~@y '*>'d-”3ǯ7`NCFl;rL:V)뾹uS +9Uv.SwЈfSD}m]/ނ,Lr3T.37'{仕 {J]=*tXTqg9H8S5*!JIlDPId&E^# $dMdCWJOhX%leĞ{;ĪY?tc{%<@ʢG*-%,6]YwNsB5z0d(53oː a)}G{9{nyuY*_΅_2P&Z6dN$zPUt Я|i>FcPp"(e[Mgm2{rr y%LΊ>ˈo13@Fq%{0axR}7whM 89:^ InJbti1ow#Q\qٓoOud~y*|EE;w7|.UwX1f:wADIh˔?uu#l]΋͠Ed \|EGAOL$űZr9J$g۔2EG\JomLw"}`dٞ\6=S{leQ+N0)^i9F[$AYʳD**c(/͂:fl=EЈHTv S$Q@J9"ZgYZ