SQLite format 3@ *.S`  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  pl\t ] ]UPure:threads=1elapsed=1.306cpu=1.358gc=0.0457zXZִF! n]ŗXiɟHVҭٽDN/zPzmDױVNX_~4 4Gqi_VpW#"$V3w0gYZ7zXZִF! ]ŗXi%5޾UjlWJB!} ՋY02j)@*/Y'wŠ$OKx=yP^XDB[2\)$(sR·KdN$d67%dCEAL_p#R5n tËo+J;G8slTu KԚԝ#GX]_K~PNHZɷtVL#&YoH5.p?38#45h˒R;D<@+Q=-=Ҿ!dFO-i-պQu0w#(g0IJ@*M {LiWBWbB¿mPK5n{ۘX8#^_}bK^Fyyi`fGnzր4Q<İ3,{̥>' {P^pØܮIn΢')#}Bp@kڞb> "]z^<\7M _QޟN!+ igO&f S+Vz}rb6ċIUVĂҦH't{1D窜 F;+vL( hhęsĘ{L(=6$wLbҝVuCɧGyZ,f'lCv'y0gYZa20ec4eec75a2e56288012e5563d50e99d5183f290e442fbafcda00abca55563258bda9ca879489bc2e933af-8566-4e46-8ddd-9aec7ecca778  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/49694g%PurePureproofs/49690f%PurePureproofs/49686e%PurePureproofs/49682d%PurePureproofs/49678c%PurePureproofs/49674b%PurePureproofs/49670a%PurePureproofs/49666`%PurePureproofs/49662_%PurePureproofs/49658^%PurePureproofs/49654]%PurePureproofs/49650\%PurePureproofs/49646[%PurePureproofs/49642Z%PurePureproofs/49638Y%PurePureproofs/49634X%PurePureproofs/49630W%PurePureproofs/49626V%PurePureproofs/49622U%PurePureproofs/49618T%PurePureproofs/49614S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/49430N%PurePureproofs/49396M%PurePureproofs/49392L%PurePureproofs/49390K%PurePureproofs/49386J%PurePureproofs/49382I%PurePureproofs/49374H%PurePureproofs/49356G%PurePureproofs/49352F%PurePureproofs/49290E%PurePureproofs/49286D%PurePureproofs/49284C%PurePureproofs/49280B%PurePureproofs/49276A%PurePureproofs/49268@%PurePureproofs/49264?%PurePureproofs/49258>%PurePureproofs/49246=%PurePureproofs/49242<%PurePureproofs/49236;%PurePureproofs/49232:%PurePureproofs/492269%PurePureproofs/491708%PurePureproofs/491667%PurePureproofs/491646%PurePureproofs/491605%PurePureproofs/491564%PurePureproofs/491463%PurePureproofs/491242%PurePureproofs/491201%PurePureproofs/491120%PurePureproofs/49028/%PurePureproofs/49024.%PurePureproofs/49022-%PurePureproofs/48968,%PurePureproofs/48964+%PurePureproofs/48962*%PurePureproofs/48870)%PurePureproofs/48866(%PurePureproofs/48832'%PurePureproofs/48828&%PurePureproofs/48826%%PurePureproofs/48824$%PurePureproofs/48776#%PurePureproofs/48772"%PurePureproofs/48738!%PurePureproofs/48734 %PurePureproofs/48732%PurePureproofs/48730%PurePureproofs/48728!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/488267zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ31.~IQo'z`JSd쿹gYZH$% dPurePureproofs/488247zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/487767zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˣJs?ǹnPVMB=GblWgYZh"% $PurePureproofs/487727zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x95ݕ;TXNUwp'0gYZ4!% Ģj{;iꏏ։[2ʛierwngYZ % PurePureproofs/487307zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/487287zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ N"   mN3% PurePureproofs/491467zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/491247zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhXQކ*rk*˭i`9@]_)܁} M"3agYZ1% PurePureproofs/491207zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/491127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aν\3a)# ;QvC5oԉ\Wf0X SgYZ8-% DPurePureproofs/490227zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'"afvJ?#7zi!S $ VgYZH*% dPurePureproofs/489627zXZִ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_y5Jfa`|9ޜRZQAԡ]gYZx&% DPurePureproofs/488287zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I/E5>J Z)SrR#z>wqfǢ&zFJٱQ@de=N5Д}C/MwWxR ձgYZA% dPurePureproofs/492767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP.ÇO,=!}+M͸j' I*gYZ(@% $PurePureproofs/492687zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%%SzxI<$KhwY \gYZ?% dPurePureproofs/492647zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט:eʈD@N2U9 j;8gYZ$>% PurePureproofs/492587zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/492467zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odKr&ep_3/Sb E (()aQWF_qױgYZ<% TPurePureproofs/492427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*8)(i>out⾕"k.oa2gYZ$;% PurePureproofs/492367zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/492327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+ct` :ȱgYZ$9% PurePureproofs/492267zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/491707zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(E O/ʳ|Sn71,gYZ7% tPurePureproofs/491667zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<<{o='kUȹsߖL Ō! gYZh6% $PurePureproofs/491647zXZִ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<^ZID`U3a+pe(ƪeBfO(NC U/9q^ٶs_gYZL5% lPurePureproofs/491607zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`l GAs9NŸ?\V ه~ hl}|P?%jBrzKNjqjU u]7=&?ī>._ "+kSQjcy]pbrF1M<+-+sl])? =1/N*<|33KF0+{ɏ^DWmc㮱gYZP% tPurePuretheory/types7zXZִF! ]a0{rj8<{{"X'ڰEKD콥CJޑUmJsjF1A2j+gMq-Ȩ75*nN:%' kx kƣ٥IėOgf˻Rk_VVXchȃ\cY%lh߅F˞ogYZO)PurePuretheory/parents ,N% ,PurePureproofs/494307zXZִF!  N]ŗԠQduFSB[I9nS kHc0#%M7Vuyp]a+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&5f-ES0ɱfkΥ ҆9n cWk?sK\`!iNODKÚgYZJ% |PurePureproofs/493867zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛJCkf=NZf% ؆cDZN- ±gYZ\I% PurePureproofs/493827zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z"d >W0,pNmgYZXE% PurePureproofs/492907zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo 21&Q4{4%s+7TjĶgYZlD% ,PurePureproofs/492867zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^4p=6|""0s _k)gYZDC% \PurePureproofs/492847zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zy $e wH~9h#Bq_ۭ3|"2 ݄5YT]@jJ2)3gYZ  $ u 1$MMtb% ƶ1bXⶕs_%5ASyc1eS]gYZH`% dPurePureproofs/496667zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˣJ<W69'lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/496547zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/496507zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/496467zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/496427zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/496387zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/496347zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/496307zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/496267zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/496227zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/496187zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/496147zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZYR' PurePuretheory/axioms7zXZִF! y]a0{rg+5\CJHa=OէxSq4.-tw]zCO]E"FٹfxE,!P}p9\Mmp`@VS` |'OZTF~0r;GMsVi3cb-6{(hvG$}{]Z|<r?4A) jՋ($#XNsF~_pT566e/9;κ.B])`r*svWF@anx5էQL4 kXs %X_xu?_ԙ!OnN{CR5#u:x^K?REi _O3Unhr:5sIHmtۭP/ڕ>wwY/9) k[*F엑p& :Xco-Y1ipSLQA \b ^ 3_>$aW'O'WX$ 7A(]Op=ڣ`j!*eVyYr{ޤ/49tsB8LA +AM}j;}6_U)G%SgBFTXa5x*[1gYZ   , Ml&sk3,PurePuretheory/other/oracleentityname=Pure.skip_proofxname=skip_prooffile=skip_proof.MLserial=834Dj1RPurePuretheory/other_kindsoracle fact bundle attribute method0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZ+h# ,PurePuretheory/thms7zXZִF! %]a0{rg+5\CJHa=OէxSq4.-tw]zCO^u!Au ]qn8甹 "X68ίqlZL2/YI"%G{{Y*P$ݞ͉c߳c/-O?ߓz%8[ϑYw`#حi;X/Y1 Q]מ}[٘Kh2+UȟuW"ύaZ-c4#!V\Ai )w*:vJ{IDz';9ȺFa%$`IWHaЖ49LHQ/SR:aU1l o b uf[t2B-E YR8g_)"?KB/bo$bgs}*Hq(( 藹wLLiQpIǻTIP69|EJ?fTp$] oI! 6pj:a{:l~e0R&oWWWB* }A YaK[v~*kږCr&1P*r/&ē7dw~l2eUz6 (2ベ 0* cQ53@ۏսR_deZml X_4 M~m" @(=CL1߭@撕p/~;! _t0̰Jj0S[L;R׸CAP 4F6~{2WO2٘"T`x%L4aŜ'(#H+Ϳ%yȧoyU [H8h7 dǧl}}nW+Ԓ ֏l5*Z  1t@ ݂~4sb łPCؑm/ؕ}SfJYဟ#_]+2nt(E#V=9jQŠVN痣|[96 1Q|f‚tvO7ZhPTw!uP_ݾHhLT4ډB]Q5`78|@$nfIk 'ڦN,B%#ܓJw"):o?Yq/d@ӞD-_:doEPj.}+pXP!x]s 1Nqʁyoi~mD#t%a093KPT\5Dw=\wC"kQjA9=ުVljP^}Hl$)ga"sn`K=uޱpy@ʾ7T`yJ}?.5xkopҊ+PqEuK9ՀR9cu6S; ?Bm7b`I@>9d"I'+?!4x'I)YbzՕ7 g(S# 1 +(}hdfNstWc @+G$ <#5NƢO`Gp`$$C>ȯf)d.'+nV-7րIpQ ojv$a8yrlMcҚoR֦`7NS4moWK67 Ž@wD†G ?M wb7?.ry' +k"묬ewK`og|f.R)o⻒ bN D oM Wd4{ɥpG,uHo"6@_6()|KLLr؀{b`0~ ݹ~nS*o|b$*gJ#rXQf%JM8tlhK>hڲXӔs)'d@#>`#(0h`p 1%h0Ȯrl((=5!Z{{89cQAEbMt>h J']I߲|)N_xǁ muOr?xW) j>Ɂצ{yYhQf_%FbJDtrgYZ\g% PurePureproofs/496947zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo 3ZJ% mxU.CG^7jĶgYZxe% DPurePureproofs/496867zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g;"l!8_O| nub\ұgYZtd% @HgYZ  {n3 7yc3®vnݞ,{3gzC^ ER NW ~n}̤$C ޢ0q Щ1 l͢0lAIX+Z2,>wBgkெ T݌.`#0w4[CؑCB 8G~M8 vq3.wʯV^M{ы+7LKGigԚR])h#C?SN➂nHQ}\F6qYX1:]=(A޴E ,Fx-*qs`J?jQH_ԛ)f ş*:a|h& c̒}|,vOk0q6F\y$%=5 D=$?JIFсW3뷲 @yҸ5lDڦPMJc[Kgjy~}4 SqKAבIItΛ Igf5%4^ rCcD+Ly%d<ҡ>^HB쒄TȐe_尡."`7DL^Ƹ2cJIP7 A 8PU Ƞ-:w{4)p!/~_{H -"haȜ,-;F<a{f S49s}kB'+kO>RƬnsb&L2y[_*[5ET_mgp#2ྗ!ck D3#j r05Q{_N2TU(̣'> k~IZ#hFc^D ^cl"SW;N̂Lpo-w҇XF+Gtp>E4ZLt:xoI~JĜdD0AaV>7W_ޠ.b;HcLBYO^9h]~W1?4p؏e}b3r]:20~HVipGД Ufz.u=)1LJlHsH؃/ȱʌb>&Al@`Ȑ)o Z+Fu$ u$ =U^*_K'>"ŘZ+$d8InHY\(dKfK4Y+Aߖ *2Ѿ,- oe,~yL)?gYZ5l/ 4PurePuretheory/other/fact7zXZִF! ]a0{rg+5\CJHa=OէxSq4.-tw]zCOI30o@ A8nAB*1`A1)u)owa0cQf6QM2c/\fqJ FLfuT\㿁\ TN78 =Gr ) H[9ު]/2I_`{}WE\dͮrGn„a4bJ֋j\/#A _dR/[[%+۟H_\6XSx񛤄S!ۗ0f?K#6;Gvqn-,:r7kɋ5HRyW g9 "2б.4zHNNtp⢛B9Jp3o&0އ0p%7[+%ț#ƃWh|H$R6881ho^NGja&'eYWv<1`%=5,A8#S.J1) ~{dNJJ .{n\w`5.c`}bɸBi+^Ia$bN&MN*WL }TbG{ ~?v`AH/d7M眑TAs՛ Ze`oqߠ@z1Bp~ZagYZ AYqa>˛ Z.UGw(6\.:w#䷫[ps× D*4nOf|}q$IQRPZmL(nY8P ̐W2{kr_M=`nA#5@%Yh+P3Y/oز~\yW$Iְo}7@)pd qa/v\ ϵF~aK/@7C}MƜR1jd܏ou.NGA l uXfLA/p^ zk&ƹTOdl"źsV<v6J3?46SN˄ӺVi'Eemj&7rAem[ Y._-qk[݈K[uiłw;,Y\Z&r)aH06? xjMw;P?`=!0 DYBK{=d)QVĕ{*ڙNukb SS*63;ttH˯yHa$3N ɁhE<5=1\=9f lADȞ;4]jpV̕ᢵo"kL%m7 W̬ʄѸqLwީwકZKF 4^#{d;t8<7x͖*]M\EjU?3 ⎴4ې*5k_֏;/.FSUz1ђ#-H`rI1=9 e۲VsNPG [~53L&GWΐTjآYf*@Ԅ^iO+Յʮe?Š~/hA[[Iւy@X46V T @Wk[n535R'xM,FǁAf{hjA-Iyy ˌQm众_L"=NfRyyF[dXfb9/uuR Bs[\E2t$fPֳ(pg܀; ?sVdX,Lam3ɅgW/T0( 6'No.ھKT"'Fi'TRH1= #Y|"U(lA.Fuң uӱ[[ϲЦ@=G w~,3/9;Q[$X# D$S>K֪A|ع3tqX)4#+`OLؑ}\ޕMcNQvEA9%ܿN,#e:I"uT>+t%fX(j\y)GEw+k6uR`'b!MMg%܌"~akXس`FcK19fuuw[?rA_OHZi`,D}puhV1%5Sz"=Y rK텗Nc7&'b9KKqv%x=μOޚ&cTћy_мo=mlH+x$ˎl(MUƿl2 KF/[ Yv ޮ[54FLgT#M$"vZ\BcfyU.:A}+Nw替{YMICXzo. =Zi')hr( 4XBHve\YEf)htvQ_Za.w i?[03`Dm|师dŲ2κ+nX HE&*'41Z=mY>˻&>3S[G*& Ilp"o^ycW=Bc__ps茼{5b"Dj8, RW:ަx~H}s}iV'GI}_ ^ sa\GQ,o vP PzD«ϺH\0<MA1UR}1<ʑ1Dͺ?Ə!5LvH8+*x_'u~%:nA~m=;J)fk]x8&$_I_|YVcG*#1r|^`.MR~w~*lc`)tʩ7TZyɈz6bqb؀f6NX2De5mI_$ʲwHOC!ÞH$j,-iajҖޅJp&W-[|ٺm cdBI0=@׺c!JsD@ ɥԮdnZEn6դcX3a7 s}F/}+c@:娨D>}Մiy-.[p8m6ط j-ΗdXTxuXZ̳f~g)̻iZ(/tQν>A1>Ȩz8zOGjr喖ii&H)r(ǽk&YP"GRٝg)7ܖCڑN0""°qKvT9ίrq#߭S ΍KrvNbŠt!Ae rT|I]ZM̽g׋%!-&"6QХ .܂VA\h>?hl; Ҽ@?K!9'=j]ǜf=ˑ1je8FZ5C/5 '~tjh0L`21BuSG+UaKю8EB]DeۺKύ36 7"5i%}ntsAW&oF8MU%a; aɟkeD+x6Jr'˴lAtݚ:|KL=1na$ϬRW\6Q4;;!.Ѹ" XZI6?CVSFhv>ƕFвp߅mJ'UgFg?[ҵk'jJj$xL΋0rZj~ ԓu:}۩pſ엝:Y /`/) d6LzCr 7𿞊m IqUOx\IY+FJmve8`.&hŬ.zD7+- !T4@.1+I !_Hu -.(|4J}ML $"HY{tYὫfEj, UCFk1K.zos̔Ϳ'=bJ,<a_z+"wmbB(0aUM!);c݋@n;FS XB6d@j+Zx1TVs]b.i{|/U,Lڷ ̎fFĊy>5bv)E9$SB_ [oB3b7F$?cƠ7A89jےN 67| n%(k(JX^2ԫ %!a9Iw6+^}]1 !5rFGG?PO=xCv+/N&N>oW JbB@D1_4BdňUHcܨ-hUvݽ/.o54`|Y]]]ЌpMD-Q߹Rn%)(a|OƸi$jʼ`crД9ꀈ+\ hlV;&، X3 8 |9۪yKE6f"5j!G0sOCL=mܬ0ip8b l/cbȲ)s5ƫUNOeX:򒛹?$ H[#uMrvd^͜3zFXeEl)\)Oj*wd 1pe c - 3b(?l ;EAZ: ZGsШkQqOrBV#*'xlx_;XYAdkfG \hr,P{^Xt U٬&CSTZ$Byf;r},MQ)SdI=*ReϷ!1Vpt52.SɊWCmKqtFzaЏᬏ':b"ˊ&v'y-?S;tHc@$lTW߮+r}lUO:ԭedr/F Wf/F_ qsiv\Ih*x,@=gc^|>)Y;]V(`,K[:+NHe 5ڟ^%a1Yi4-PM7fwjVxBCFL `еP9__-XVd(@Du4Ŋ4V4^ oQ#[ӆUH\. \eb IMyTZGZLK(VD w&&x?g  Z'B-&fJM)7Eƿ6T W@ mpD `\ j)49S] xZzK)W^ l/GP,[xPl܅̧hN|JvzW\]s:P ƭr˲U؎FP4s5sl`yyXh@/tAq43h϶(cB}$_q,"w13zv%S.eD:D?m K_O-)*noT1ܳ~ 2Ap!v#+>Kɩz0q5cPMՅ" dvC>|MSӅDQM{bwVpk/ F2 :5W X7+v4!$1`IaDJH@wwe7I`ի d Dgv]{vFmش2R4LS'6QFq}VqMuO)+"yU, N0ݦx0}g|Js +ܝH2RƑZ4Է*#荰+nTnW2,?h# vw1=h&HfE7.͉7]PxR.Xݗ՜DzsҮhnOd9M0^B*{XTBs>Ӊs@%MdKѭAv^F]z"G,o&?c)?7`7"T2`?(@wٍv/E\Zܤ+K@{uw!Rׁ_mDi(#SOI?]M=`Ld_:(YX}:%scP1`ţ?T׸.NŢqZ7|_/ J1/4Pjt.9)m~؁9,chfm'zAFZtIhS{$EC&ZGNΤ QA|Uz-uH@bUw'k{ar7AOB7m#et!Pb XO%͆īc=-dv+Q.'~v-U1 ,29Hfoz ўys6L6g֨|X-8!ZjL7%಑e*yJX@ >=FivWͮ,2cx\`VKO[f!"S#2뿍/=-:sHkTG~[DƟ`xweKV:Q Įɍ݄SƣP]h(˨<˗)4%zEa*+נW+<l3,&lW T ӊ>y$Wv4٣}( &i:^nI؆&`Γ.G^'s+ =t,}6CѺ-+\ȃzW@u(DxC'—_^-rM$ fBe4d9Sݕmݰ8 >J$v^\bp~.Y͒,vvu:`} O.4vd "RW<ܳv3*v)"eSwh®TX*2V,t Ex55 &q-YWb t YUl~,w O2 ß&?7 lktc~)d1,V$jrDثʶPD;v ^=+"½Xwzh\WEjDCN,5r$2pg~fU #*IiDŽWgxcbXWv'9*Ρ"v?ܖ'&Ӛ~L 8;nd/0C) I$vFg$nX/ =Y0}51 %O *̽?@0(e[^E8tᠽo];8F)ArDQI1bf'JWx3$ .U)ƗskĤ]jLW .Q?]3RKytR섶MsA%ղ.7v+;ө+INp<^ꗀr MmDŽc?!HO zR}= c)t ,f6E>omKsDމ>Llʑ9,d}4TCfi9y%5iQfvSMMhp.!a ?DIY(WÓ2JvU> FK7L}Nvܗo㟛gExkysh`z!cb\IߥJ|Wf3y?tOO} "'ɝ<g7^~$ܹ`[ OPixNXxjrAi?9՛+ /Ą%!$)" %&5HVy܌7z'A>8c Al%fDxQO6uH6}Ym\۪4E&yȺ+r4+U㥾i h^[ty@WkVWqTyfhM:suӨǺ^ C><~IwS2R!pfI!u4|_OZKlCrIշhJw$~&\R:ϲH+5!`=^]TװRDQ:& ?oKaȍ˼-]B)ݸlˍa}*Zk:Pa^RµQ;EzRMSmӭK=]A:sn z)Ƹr7vSMj==_XV[AEL5 )!GY :(mߕx kQ#7?8/k9,۰TUuE]]FD>> 84ͦà@Jߛ03NWVK+CL>!.DDBL58j $8.ahpegfw@,2wK5xKN8ƢNzR^G"ڀY"C:Z(PUd PőL4p@<;yZk}}-fR3&|=|YnaH3V~ogKd@abW V\MQ:9 /T%"(FXaBOn^]hpz5eo[ρ?_98_6viFZKjġ^%dɅ0pXPcpzKy-Kft#4C=ooTGiܓ՗ِ$A)FҠYB΅&>pODCq͂u>,OcBC3^5z&xP5j^i L}g[ZG*saWéEݶlH>+n c)cWRL;ֶBBoT yzWjδ m[1ךu4l0(\͏e.GP sԢ3!g>XwЖxkRAAm@SwH8[w;r%0U 9K8#RmDf(~ $ekʲK.&Md,#Qo r`Xuh#QU`ALnT.[bŁR|NT IWOC#>U>떆?^bI ?+73~ l s#.A0NXxL'mttIv|`l\:t? kiU_ U+CsN[#" d||p(O }D>,* Re["%?'s2UI^nW-mUǨLj+1~z$֢Թƕi&=5CInEO$Xlj{UV1m*rv>dג Qs!*V&vᣰ~.@I 7d|D'HD$쯀#cNȽj$os`x[ֺ6Jo5~zٙNR3)tm=t#/g}`K .{=iV |< çܱu%TsoI7լ_w{$^չuWբp.+$Y!!l>WT#*yI?m 6GlW0Hdh-f@sSEҶ_1\J Ơb*B㯎=L!E쀮ڱuB$l@CϤ^LiAY á \$^`uC;Մ,xBA |Q鳊L2u.J2 %I ˖G1U((.:106 LelQ*Gp?K$/Bx}U?ZUe瞬} dEx"~:-en/oʀ-1M%"y" V%P8:yT&׷Yuŀmoϝ$YN9]TwfS5K347ػP(s&Dо36f*e$;6Uf쩜X3e1E`桹o6grl\]}7FŔcѴLVG#X2=It:ngh<<7>&?ZYό΃5i`?J41 H hXI;TL*7 Q3B#hJ%LVi[|9M -U1^R#+ڟR6cNhʀ"?aihaFߔE}vD,#<5R RN )6'G4Yqs/: @liM6E XWȸ7ҥ^U;RS #L>uGrWv@I49ާM|sae0HK2nU#:k9#>8m|w޶enMŁɾ]nQ {6Bh"i /kaU6MJ7㣡qmEsd:$Ei@<3?ȋqT‹.kdL0-Lif礋LNq*=mT' r`(zy 0ϒ`e8Pr 0Fi|Rv*78mesQM s\#.FYۏa&PzK%μ[`Wٚ%g^u[v/Ɨl%f}yD6<fOG%_yp,%FҢ`j{ {fšB&)sIj2o)Ԡk:pdRE",BKx ,!̻p#(#9G% ֓NrwfjAl>t,*DKuD:χ@طI[f '?ElC/>Pl,QعX@G^V4 ׿~:Ϟ)8FHзg!IY6~TWf䛥Zn16 FŊ*]#I5f7nR]S}r'(++#+I+4Y IݱC}5?_@}+6֒fµs'f$IKʾ  C{Bm,i|PsnTEŵ:Cg<ҳ~@;,_j'B1UX0{#*3lY#vgJ3naoa$5y,7j7)պ( *USٽ|;.ogU.JQ^mdЯOdL Jtļ}l^7ŀ-UQԱ_M2ho\磚AON/V93aފSr$KC! tyW:eNq_C2:X@nR\S>Va䌰xfkDYK:.~/h;֌xw(>w4$e}:bK,L1rYm幭>),lgh"ln@B}`rK]*uiĭC"$SOŘhڴWޭEМquKXmPE4f^"!T"^%!D.0k K&f RR¶WcwhGϰ$ GbIdܢ,ID\%\UՑ_7y5N>U5JLR}ېrbD.QC.3b̗Rz*VqI/Jp/l54Y'aXaQq*G KihȰvQ%o>hx${l;ޤ?oK^rȎ2rj>-L9ETGS*=\ob@|xdfGpsVo>HJrG@0m){EIZ_sMTΚ!IKҼJ%{9*h, h+[b(gw()t5UA֑їVxU"=N2GuDYAU\(NJn lhȺPݥ ۱RQ6W<3H *}& Y{o햍#߂5 WrHNJ+ WXNRI쒽R^7ry VF8|x'KJ=ϝ<{!_31  _ GQ$';EaT1|_F|^T] p`O:.tdvI{)-R5$<]+ǁZ2͘vⱋDiʝY/*'[T\8򊵳C!م:c!Iv$J}7ժ1S2ffӔ]졔+9q*dd'H/Qj+_ErD=).𫩶"J'ȋ~ E%UNesNUԜT1}03{&rV'ӇiY 'jFP~:/M10lhg?eGQd!) Gw()n䥪yT, bK.bЃ>$.5lS@BS~kT~!N~EnC]$G*siŘW#S, LY8, x7i;ɯ)q_~>4DT'G%@XCbZ wdc]sMlFS}͘B^/v:%^i胕_r/BsF^֙hQw[ȶ}{1VI}W읢zV5e) zaxܽsI*˧D8k,b=XJwlf0gEZ.aN};VIC.#?GC'j DŽѨ—-$ZLL_"*1Mn&.~Oǵ܍,,އ_Bߑ]׎']~̚e ȩ-ep%ŔǢ]n7RTwh-u8~kXDC7l7Eas3$ y^BEn30~ -"-Y'ƒXodzǴW{Ww$4Ya ,zi=8!=?Lh<禔J-LC%p# f&@$;y3%Ycqqi| ەWO";{RNrP,gwFv/7S9MNjMθ݋(pcGVXM$vlYM}󗗈A7[UqjJɸ4*Q ڊ+[ACgԗ֥ӻ jFm~9p/$4I  P^A_49?h|+MAk^~̀*$΍Xж Irۏf _1syYіH0>[.Fo&|`Cra%[m˜Gb2K) }H6Lyz+eˈ5@T/^U0=N1gỤ$3死N-nI' cX4ܒwEZ+*ġV.#į6=Uh\7uԜRe9^~7N !#]B7DBT_4axbrR~;!cda:4 h%&C`b0thsf'zkf#uBJp >3x idYX}߿k7 Ŕ='-'[/RNB,٧k50[7l*2H$'zr%ۘ:9(.եǗ)*8۝'_KKz` ꮻ0aT#W1j0ɪC;1,,ntDY{2l~ [w*J'mU7¥/ŰK"D,Ҷf.ai!cn!5=iwbڞoۡ<q6M^ 2Z.ʩ5mmB)Dttύ%4A`^r^Ο l3/kG=_ ݪsu= 2Kӗ$:ƾ+./y%x!_=afbU ݞYS*-DzY>|P~Jkq /9㊴j|3%}*y/{7*7ﰬf[]g6MuGu g+7V`)wQ*}O$yEXƟMz_䍏 eNnaϝWcic" 0| 3ch-J he*`0&-)m- /8^LWV%YʏC(X6YC4q jdZZmEy Z렗fq}츥A+fT8AE$B _)\o1!#/b} ]!eIUC/(sR`3vg٭yu\q&`#>Sd4+ūvTM蝏VKx M9Aβ kRy$۰_(P@ zITScKy|չhk|k OTrdhb35n5ku|曉;\,_>ż6(MdIۭ:%6wZWS JJ7 Mtk+9Fƒ!9w0H68tUe0lZpH^Ƶf\/j ;.VOɱ&f!|a&'g8c]OA- ¥lUrb.6,p]rDp̩ݣ֤y||5fkz. |=B^ rGԌ_0iԱ%W oDڟ'ޫܨE㌭},Nق.8 S f S);5z7 f 0J#_+c=QJs~|L:*NN,qwܮYv| ]'pd3 (DKoY'CW~uIs~yxUGA݊XzS^6*쳅-ЛfHӘ=:+`|KMzʯn,䕷'F_3B?:1 R򚕕o%K6TJJ۳PΒ u0^ߟ铪^iNNVaZ|-P$ OJWz5 &Miou罚pĿpTM/''bۤyuqձfRvJOL\<ވjGiai :Z+o@9zyn,Jtԁñ 1n7Y<.tQ^`ڐ}}_i(sr,Mf#-zC4?Ew;zexMRSOu6LJȁSP[`?-в5pRGz//2RG*a*VM9S0d/ J'Ho '/w>3_ d_waL}=F9>YRTɪbJ &]VArp΍-5M~iX/DUG; eNٱk?AK+Om!gE +zTL|H/ 2YxAzq?Yg Dny)C0 <0d0ʪ}kp%dX90~_W0%kпɀ|& EƹLsnt]5tACO5:DMã9J,*}ߪjy!@$`"X@M{:*e5EC-{TlbҬz}I*Ȑq4"mgg^fgN6+FJ]j?S}HM4_ۧ< 12*;& ޱqi]FCĬ+[J]0 Ӻ攼 RH&98ZJ.BUdF4e/Yb5$ L Dyo`F.F\/ɜt0% 4UKs"U\um|#GД6OiN}wFj>He3D[C;qFsi7+s'5<ݐqaHͣ:a~0# 괬ԍCQ뮏B~:/U&$0Otxlﱂ5q\FQy&o>ōE(8# Z@qu⺞ɒOcO22g,,,bájrjw$94H ^%J/jf{RA*Yd ~{Thipީdze9C!jqJ\&B-U/ =u䵣'Fg5BycfsQe$i{qiӄ_ElUe_I\<]% ;e߃ =7zkBDњ g3pNɘ&m_by{0 8's6d(a9MތK^ _P߭ȰN>Pq2h ,!3}}w_rD]8kc%7kCa;.3)C;ju{joo)r?Örc;Uez48P/OG6rLHىXC¨ˍZ^qӪRuL F)thI0%9. ק8zKDr~£ʕHU\PS'gYZ )Lq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method*p%)PureML_Bootstraptheory/parentsPure 7o ) Y慢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#Q^^40JF͓;E^V-@ܫ:DuPN @1>"z\Eek5s{ԧ .R=u=5nl ց;rR5dC"U܂u3`yi,@&mj:S[r }p=F0FX6%YTG0GNe&Џ Ԇ'˕r޲ٌy} (ϐ٨ wiSfCH@J5g|/s ![D#ShCԮ҈: 郫,^K&N|vj:8럄aK.UfA↉a~um:]D R-7V^-afh΢'1Y&c.+bt[:x"-/ba!I}%2~807hFo+XAĝ5Pg*$o*uׁaaOe$u;z散e YVNJw*J.q e1KW4| qNW03ax{|H] )}h!ƌ,bjoju!ɷ _t/Ѓ+CVmGFFP&XklаT+:eȯ70 `YT:ǃ BH9g;xm,:*8OtYmai\F]Z?L95M*cKL׏N/1+lWNF> #::*f#4ޭYoE.!Cyka|p#SGI i{4P>LP*Wf9csK,CFJhXb[ rJw$ɛm]p=II4aP:kȯ P|G΄Rea #r5mCb5ሾ&/As&;i'}swOv\DZ-cMH΅uGtb< bRR [TSY1/}aIxk>9ATAcb*}H>3bH=fgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method+s')PurePure.Sessionstheory/parentsPure r%) 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 ]] y% PurePurePIDE/markup27zXZִF! # C] !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/  SrpP# YRy݂R.ѱ3Z8G=cú:l R֩‰}WAwв5n)e`_=s1Enk64x x?puW^eY3XcݧAk(^#^1 vhL0| v͋ZIHJpP/A!LSxXqӾ&_wě؞{(|f_`ks`1E'<}D97ڛxәuծk;hѲUI 5ӹgH.퓗=k ԩo(tnS w11xYbnr?1{]_  oĖzlLH-Sq@8W8q<6s:HPsel6zjK P4˥/"qpt[ũΒd}D2VV law6mtdԅRd ٘Wom&,SE\n -qirc_# _*c29DQB3nп!o!zamP6hJ3 8 {L+}3-Orj Q>B /*<ya4xO\6xcG, ;d|[ډuuf<^sQV3ߠ7U qY[}Uo¼)ƿz68jgI- -&Lf!mdnx:/(#c OV8؆{)vZ c)0^6CwX fx9~\1(h{9G_M`ZB3GOD8VԨ@==h /Y-%}`;ϫ =XaO?ȈޫTn͇k8dsxxF;j6D)!*'J.|8?]pJTF#!8ZDw4Y) C3ӽ;Y+cU''"9ﶸRFUp5+K)r,_R^ Dˁv@CqGױgYZ}MUv`JA: gj^;m_ h8x^ ֛"Bq;~m4:2/A-$Ӡe4kd0[ bGt^ޕdᘍYE3x4}umM'& J^oӒ--5)VQI AwCq!Z~V Z.'ʬ:S##w4ODYKL9w be=P3qnv^ctck4/K!BCf'HH[W]&j_H?ܵgd<ʄdR8Ÿ@{FmH0mǥZ[.'T'u 8dO Dޅ Ət =#0X5ts)": gO*̺X1#s;7 雩\OlBJ M(#]5ᗖXzG%ڏ[uL{BJl /!:@0両2*ӬRp5W׮ַnr!)P8etVL@ c,C5cxoUB}۞]qFU  bB%DHwA !xa4 $}0:?$ՀDG>@xV/RԃW1n?n~+AOv Wg]n/"CPlwRQ(9S砿Er9XcgѽJ.®P\ a_Y璙#fյh|SUB6 (* wLןؐ˩eVHN ܈&!j [웬@vu.Tt¶LWS:iB qe xh*Gj 62D{cjJp!Jw;Hʩus]^jjW% (OXCyiEOGP>*˷I* ֨kT݁o<5",lāoBbuif;N X9iGU*Tw谉}Zo g&VaBx2;gm@<`=N'{H utP#璲юJh 9czfȃ݌tr`QωB2 gC;sի2{1 /$5*]#S^7Qju:ő8vyvol:Y ]D[w5U7Q$'NE7uAzpl 㴤syeREGue|W`,)<M-Sbo/Ilhi(L4Íl3ʩ;xSajtQ!8CSfs`[*~e]ό\|mQᐛ+U9<_ QǤѯQ$٬U{yk\{R9ROxda02eCNȲ( T:4\S &@w-jjMPɝ£6K ݟEYFԇ/EZr ?Ѷ ZkEt=h B~w IV"jn1 Ws瞰o ^aCiN7r-zn ! V~AOT*{K )\tS\T l#vK<{o|ŸT=űG#Iopriߣ0c RUhIV2ܺ^gY5ד&}Mdճ%],Gs,qgm29σ!"5KMSQV7|tVwvӵRNM ]1bFE1^#uH:^U˶ǺT{P"'Ĵ{9G#̅ybGU$K u\1L@Σgչ@{橄Ͽ8[>]OL楺:v2/ JTohPw 4|hEhzϒ="A#ѥ l&P<Cy,$Gq;s#$iM~wx[VEk#f2/S2L< li!jQ CPGJwh=C?%~OȤ>&->$(ee<ۭVMLYߢvDz#3jIAKɗ^ū?lF {2˪ܐ%N_ 5!xn@smDm̄h9:@#jiNI4{5-9NZ^9 ZffX{9n%9s.֜zR9={aSV !q?_PܹwV9wSC'|9M ٔQ5ȌS@ ?טsl*mMXߎi+c*TeƉhB:P +'M.-[nqѹY+az/'gU2"EؕAӜ >D须~2q^Bc/[ð+(We T4 WQb_{\(wrZ^ *;DU.TgktYR~8>_cLZ\mlRR`Tlu<_S(j)Ǣ8抛 |Xy@RlM@>= =_NuKZ%Xm!.Ov;mBZgѰarfP+גW '=A f7aPOmoKM:XB,ِL ܶ77.:qm -̍f'Uz}*YX~2GnguxYb 9PG.^ *a i z*2΃v+6$$B,MOr :?SپQ|DNf<'Y垞.Jd)`k{:ܛ㈍.xgךּ9~Y}Fj{V$ 7F`ka]ngT.(%&;Xv?7)p IבQHyNÎ/Pj}o $b)LtZ  y6j.ȶLD~6.c,lϮ>[eb7KKHUF]0Ž;pfNݰ%s{q[Kk ,PO֪3u\,UV8jSXi-ۆ|. btn bO[&t F]h- N6l| sޱXQڣ@ALk4@[ya48ؼA/gkU!/؍1Wp?k2;G IBj.`|,ߠt:v4OY ov&աTʧg06dJHDn^O 7.GYͯib1^n {{o?%IMcZlCH8:CYG"dHU:gUdho{A v;٨MHGM #9!WsȾTĤ3"NM}Ju( Osc%ykPhy/@oa4D{|vi6:m ./튜@#I[&̛:&ݏEcd+<܇<ꤺZ>Ir[bI; ]Âs>5X܁,&dW;rYI t{Uӭ{j#(Gy^(9[5+{ͼ$@\k'XCJZ3#}Owaa5-QUKj{eH)~lD!{ξLL #CV}hם/&璎{z#Lίه,)rc H׿d V^+;S_;:=U7A['Xf (~ouTYJ?g9UA 0yԍܜ93nU XO6V4Ea뿻ЎAC3ަY+C a%)AuKbWA[fj˖w ә9u#d2Ńjc{Y3`TbO5F] 1Y![\ZG:e"e(;WGP=Ht9M>bZ,\X!h/,._BA'*׹hfUjkKE,w0B/is׋ 󇉖zu2,=8ehl8!f8 ý=Sx BZo8ЖpA-A!&);$Ky(M=/\}" ^les*V3+l84űsWeS#tohۇmAR`Ifg"?wb"]2 'EA>Nrk(꜓b^N|b\uP $].Of ^TL{# 45{`CDBVG փK Q&he+FR=LcQR.vسqۿ4/Q<pm, oDлH͏Cc,ב0oWJS10D* J78MCpsښY[ mRB^Nh -_OE )5qRlVocNL]Ү\1@'!ŵ䇼H b?iYПz 75S\&%gn:JxՀ[r~X,3[{rᆁ0 (F$,XLiT10Y+<Mz!gigP^buR)gM!lK aD>m*Yt.ǔ2__ ,fgIf=jl]=q0M\-Nev@m}x'-p'"=᎜^3zGztT͔om(w wFM:d+͓5vq r\*KR*vTg-Wv$_X#Ș*_3³ K.*ON{l#rY69n ^.:5$n xb= pY#5T&lM\!eR#U]oqy |tr]zG&r;/,|0>cp : q !߾my&0NDNKdm5IC=!_9c *b2CdF 4wDљўf^;o|b0G* [\آrE'+[uy>]@N&*:٫1MeV`5`]!Fk[ ͞V&~^!PX 1{9 }Jݷ.U/0J9[/D#AΨɗ7c}"6D3e_.fcZc"gU!.P&:bm5/h(ʞDSY ^($2DΩXNUӊߺ9pVfta-=5+&8`Zq.>aNŋo1d)8U#Ԓ@_p>Es Nu{s$wnw/,7XY}ɕ*F;W+USqoq M D]kq5l5xS.? -Np(;g)BHģ 3c3oPYB=G-#;KsL25._rPacECz 0#$1^yc֞l[,w)VE#7C [fX?fl Z.26dG]N$j~pYix0GNr x0 "=uzɨ jhT8BXo١*']X2#HgUiO0)jkbDA6u_o(3zֿ9=,'XRaQoTȷLyLpYA.OTA &)˚V'3iȌ>OgR\֗ O'mEcFI'urIᯝj}#T|KFT|#aqvcr&FC&`Gxu ]勤\^svi~qKs˝{lj$E95(˦i73ml(ePGMa$M' 䣶s0x}J\]KSK` ۣ \>wDtzж1 4MbAI?"qY}|H1U ״BLD=VjT ^~a7%?ҥ)zʏJ&BĻ^pU l,"E?訢nq@ȒnC Gkb k( i(R8?I0W7- c@?kks$C/!Y7U36A۶f 0W+6,Uꘚ9r%keTxcY3xSv4v-2_q:OM2&/ljBD 2Zs%Ǿ$$3ĒV(S%Lαo-p1@ qHrzr_ЈI'YL_g$ěNK_A\U@i[x,bkLEz'~*QI3\F'a>Q~?ֺWh Nݍ.{qjQR Eab䣯/Br_gh8bV4kɱg7&C }dX:ծ,GAc!V ,00{?LF=ymf ztv<(D -dpz12RotC˒MrWcdq`Tӂ~5m($U[zJj<0!LEL+߫tZf*XG}S¨rN6{ S0UPШ2[7VS@jewM&z6{U0. Q~uEzjY-d )ꅼg [82DL ="Z9 丳m7+(+JK*B4'Q"Qi.2à٩?nuпl?`]6tyYU'-o P?]?cU{xڵ=y¨Ww _rU{o^*AXQtId"7E<+! 6K ηepIb9ʘ=nA'[&D`BOׂKWӶKnK_b a\\Bxoa:: hEаO@#P kw?j /Қ߳)`'3eJRDFRD#.%E,G5-)ſfsұ66I+i2С#m>Ԭ " =2eVƀ>1W>ZٰZ0 xͩz|fl@(t{)4z!f;9`}\KN^G3ԮӖZy/孟a80~,xѰXSaKƴQ;:aXO?˰،]x#/͜bD6]J@HO{!)Y4^= ǔFoZz`KFtc4j~1YA@I"B+cܱO|F߬Z)Ge3k X n"VlO_ 7Rzla gr"~&&ϐuĝľKs c_WqwZB%QݛOv.,J\InScdD1p9]ku1|"Y% GG+SdbAj,"r2Qǂae湋ij Π`tR"u¹x }/"Vs-2WGeЭ}+P,Ƒ"N&`Y*⚘$tDܨyL_3djc05<\=/ !QR%C(d j`ԥ? j uجeݿ qӥ,= otךP8UǐOp Si@,I?#ȝˍG&|L9..TKlEX;'>֑fCMp*0 3_J\܂YB~̧inLeY{rǎEEp%4@hcOkbAuh-ӗzvʡ^nҔ =9$hn5+fq >-o'v$ICtG 0 eN<>%#|nJ3L PkrƧӷ\ sՑe!u`$1,A-Լ?&nF!~7YOu\ŒR009 ba?z#0CJߘbW.]xrdu즉bZf\橣dR2"|~̭W Wf`'!INē_3=!qero$n1Wyߋ [t~D!5 n1;/[~ OΔ0"QSs u6R~fGfE[Q^Ɓ(T~dA\BSQVTv}WKɪ*]u X 9 轁>:}VUd'LΩ'ب?>Ϡ\WO-Og8/kiR|tF"C)DKYhNaGYȝ~LwgIF09\RX&FQy9e/`X7*{bt"Xj:0YX$"FEk[YI+dO#n!zO3ĥL#*9mV-0еloK(۴qR1Jl\[* +i/~Cp*7yŭY\O[5j*(? "&F${[.h8]cbwy.=B,N^l"E dSb%oi@pBq/-l;Wn~ z$KUsޙQM;w@X0 jі%z\LĎi-5:$ȼARp6lZ]Fw(dӴAMߐÈ q“FlmvM<`+O~#:L~b$3#9 8Ӡ-# `:(,˞n.CY͖b/7V ;„#e*NbXyd]5'æ>faܞy yhA9Ro`-ˈ)0 Rڍ,f]A65s(ەNjw=a 8NJK10}XZ.٢,_txE/>XmKtH9V1ԥ<x ~=g?Qy"Wtb=gD&.eep1|cb4y5 f6@MUMJ Jt uF[j}\D`>EyX"2xJl+JD%;8H_syڪCkoi@pwV!CHxxM5Ԗ4W9d.! Qx XCOGҚ2ⵋ# p<E(t"*\Tڕ@u"a;^hw̨=Z>V+E1?J E47oHl+ 7:k%n3ty|hl.4c=TsASrbn3˦h+QCiĿ/"''֗%lΖi`lvOF@h,rG\c; \ `f=r^2ûOR*Xt#B! Ruy8:}Sy4ѢGe{vXrG1S.^RMlêPf0&s UC$16^8Ɔ"09".j $8zld/ޟ ^RܹYgf*\WE^[ h܀-.f40p!̿u`m\݆ߖuqݧrêcdTӔ+d,yq9gW)" 5=޹0 VNu@+dtbC^i},n}8K3}j&s|Yg{oЋ<-m$r1N92,Kil/Gj긿 8\(f9Pߙ=&iϔ6 (6tU93Z.ԞPee䨵 !Ant3FM39ӻ OZ,[MfYqLtsTGEi&żY[!E@A79)(w=*JҺӇ'&Ws1֍ݥbh+w"vrC8_W]_ .FiõDaȸV9@Cn,r2/8&nm^0ٵ0٩yRvj !:iP0~fWsAWR^3о?.S7t_ômdj' ߽N4²O-^GȺ&6ˇ6^-䁟u"/h&VA|wY`j;2&5}zjY컦w/,]O/nڛyo}5=):Z9zOsLnj*#f(A[tn|\MOs ~~瀞7czC;G hBƚQATFlk*8 ? 8M>]Y]%TbָV&9RYiOLy_};|W5ņc1Ө0ƗK4oB$IĀ.04̲k)HJ;t1|ߘ^QGxSob>ծfhIUw׾xB_/F02&9Fo0X㡰D|EG`( mFdeLCJDdG6q+Draf=}An6 Հr:d (o-R˯YΝU:$elwI=B Xd^scm/| =Qs_4c^7A n@Q%$ɺ}SGwLmF9+vZ].d A[~V"E,~G,Ui). 2p 9K"&5raLb CfKgf`x{>K7 y0SDψUl{%U] V>'!*LCfRgN)$4mJUM%cF8$T}ť2±T \ g_=xfO65>!)3h*Ͳ`}!6H&a-9;YKiD O§dRd]%.OYcS{+ zj­{i~νrNyk7k{Pj[ߪ>:;ŦDNŖi>кҐ ֫p(3(@ȋ 9>0]v{iy]F ڒ G囓Ԋ9P^ K!^MHK"BKr\YKTDxHCdz8sE ׈1~C2 DyBνc[w-n"H]'|Nm#`nW1k@6#)w pY2TQ$ƍH,yXW+,YOl nMNNS\+@lWCXTRv͆P@_vy}ӣB<8y}z e dʲ3 fDXg*{ZIol]|H :AE8~Bgm mV8U=-%ՋvSώ/+US0`, f5ncc,G(]~wN`>[2xHgAx4 f@ ٘y"k.^'fczS_)0xߥ$AM6@vN:;/rv fta trֽR|JwKn O;)i3<^O3B$fN/3q@o}MŌ͝:kw66?,r⬐Żuc3Jm 8ZN:V]C~ ŕyН +&`FEay{H0{gCbCДYtX{Չof1>^ǡT5U")KMkGrE&ĒЦ 0X?薖˞D 0bneEjXcr5:S:9ӆC?{\@AAaU{ܷ?-$2(7,1To83EbkwcN¡\5.=  VdJӥQ0zxQj|)# 7pnp緘^Niw1=lX;f>aS:T07gztF[6$Tda f XDo["7^Omؠd5b?Q>B_G5OT3Otn>oԬ#$CD4*mAmYzŎ(̭;Mw5J;  v`9uMa]4ʫP_i}}7Gs]*2 Y$+{}qY"E!ChCUS=ւP(zǠL = #qV.1 0RO!k1Mg.8_ wMsAU%43{}hbAJ("19ad/-JW@#[35S#\5NNx e .7r>p%w%3؉]&vև["AD?i,dj6F-9yG,􎷖%1LEXW_|Pt2crM0qQndeyae*<ʗO 7_Bc K@,kZ4s~ sQD^nM/ś+OqZ,$ᕢ,|4qp8Hf~)6r, bxkstMMSw}im)E1clE#o)mZ9] |Ԡ&@Ntqo]K w8*Ain] is Fgauq K)cOG/Xe3zI=@8@*72%!TUyiiìLxN*6-^%E&۾1q5wY) 7 /-KNW|*QdV۳?楯(:YhcK^ÐzwNAդpc. +yqGqS}ъjflVXEZfdE!m XݣnhY:^'=>hX:fq7V<ن,޲,vLeCʛ6+(~P^ۯ3ÚEA84L\ϣP' BEh])fS1OVk~!7u6Z2Rƹ P4N9 ~\J%)itiNЊ("XT 6.Io$Tk)6I&E L)Ŷ`#Ud {֤ 6<_+tPҐMk>Q[$ $60Z؁*8ȪI8r֧4njoȀsu,,*?y)5h&C>9[P ggs?(ulC)r-+u%!3%*P AS4>dS`{n fBlf'HJʻ rI+^pwg07Z:p@μ0",}SZ3bwg/ /[f.y蛬b*>'AwDK`GevE]!\^9_\+eȀy+ H69|B^Ņ{SD{hHd00z)=NYx2Hsh.a<&g3#qM ba6)f$͗\f>)> 7εa7p"NH<ƿ2g,0p"PL ㏗dvMµ鎵vhngg՗>=E ;pBHby;<,z^56GK? 7`_uM{bn)X=Dz Zh)xӈ7.իM (l$O-kM\:{fmi'Kx.h5;%IP!,Bv^uo rIN4ѱһ7O,%`7u5)`Ç{BWػuܮ `Z2w{ #$GAw *2ydyRbtI (REJ0e.0z:a6bENV:J܆ 55[SQ$Vw]*\bxb *] 4'ՁO96:@)k˽Q5]^ 0>B^S]ZO,Xfz$™7zޡϟ*,ؚZ )T69U1sY! #n h9@"qeE.Pt|k76jOi|)Hz0̷EgkAo *j{E\s9o)v e6JJy=Бk+Њ(|Mwq%|-=aчCI~Lr @p1}ԧn {zRh 690Tپ>~Q@.: ƺ`_QRG"=y`de=z.krnޞE7{4 Wo} XIvyRFE&&k:_G8qm PgAGK̏gH$+˖'t?_ tm%O5F|u10Ap^.kvZ-%Zh)[\NY$}p(Γ*`~L1qx4q^rGLȲ́ MzZ=Ui94&z^ >K ?ѐ.yI3 Qh 4P;j׺gU12C GG੄ }SgZukL Є]GOpFS#D .Y8G\ G\~?S0\ueև֊!ҟSk>WsizZz&f 6l1.(@nGVU&tg~;Ԉi Y]^{×e 2^,ٞlT#/gjb)Tvd|h6zi$(9[qӽܪa Fg.%΀.8z5(Ǎ,CsV& b;/bz/)%^O>Y{1?2d_ mVE`k`֍c 1u$;ZB%˳xeiYS9~p7fճ-QݭqM̬`ɜ'ո[ ly8 ESf?`JSH@3<#&mG3D)a2P .LRsl`|jGhZ)foD0AsKzLtP6; =qZK!OGA2\c5hʻ2 VM V4JnA3\kR:y%[ڿNp[DBb LZ>B-=YMvdC~!B}%[CbB1Q_Bb %5b&Y޽B`e{dW4q,pak;?B1:<-r:vW&et2{A3ow\AC C{.S$dFRU7/"z'% 2vFeَ4+G;Db:mu|iLIg9~S8HN#Sc: zaVj΄\|}~ϜyGd-x‘a<. vhX wֺƶ`*'M.PcZD3Xq% ps*N`[wK r}3MÎlW3qGΝ tzUlc/;J`ֆI'UgĻ)sWNIթDZrcye1ȟT'NJGk}q1.m'd%uYj;#g(m d ;$?h!_FQ[՗L6,E̪~حeUM e Bm’cT[ -j+h@KEy, 躞p R~6Y{Wt@(?7JK&{8gM9 !Mz筣|#`n~UҲ`*?@+G32\Ḱu_(%F:H6ߦ}meKBsٽl.wvt$S ׺Χ -gȤrIx񱪱@rZ29K;1DT'1u#I{3t@(:,vE( A3tJD_jS. D'.OޡCcm?\kAK9(6܍lX˶F(ݜVÛ\4YkSvlfkN`Nk,K[[~pև~=ib1X ӽRp9 n,χOccE hy'=7MIJ J6NS@^~ >RZ\x팚YU\\-,wXBws|@;LnT~&Θ9! $gH&tB"fБ5q Z\;3oR^ь >>`g3~e)#0|3K$2qypL M* ytqU>rZ5h״̃5Ҧ^ ހl z_q!+r2deЪ ŘV1:Ru~T*7&'DN  m_ps5:L/_ Pٝy=^1mF&`Q~÷q3FyNC=\lKo; f4 sG(^hHwMk)^KL>$YPƔ ѧĽ w1)19n(avOK 90?>)H2*ln3Wyisˮi_=Qm叄FXvin|Q0KрrߛQKD5[aZ?cF z>BBpǫb,!؆hc$[qث18h3]!o$@ݕ%]U+؇SJݘ7O7J&S4pu/t v5d &'/сiu(7%jK75/ $0/}jOz^V_g}/&^[gu(ĺOb,IZGxO;tů_bLIk?Usv]^N>ԟlW^ЕIcwtpB"+[i3XqSmMu \%\_"?!(TT֡׶I;g7G1JEʒ}3,#Dm`QMQ[A'y\ ӧ!وR5D/̪ u6I ӪCgv|ԁ^NN"mrXArN${;p"W>·yjEJrĪ1\%n7Hp 39W+AUVB'%Kv'zBA2u)t4!D]tгCb{Q4=eYmYr!4l㞰loc|1L^<^W퍓Tf4GC͑sUw#JGE Nܬ/Yl~]=}잹13&E5 K|[6SQ2*dQ˳ 9Ts⻩Xxg:uR26)r }%KlZ&IK aȟa7.5v&V2 PpsQz'y$0O{c-\Ѵ%vN&^qlZ3|4M jafxZdaOqyFyAQn<y8\P6i~ߊ"&3j# 2vOK|RkgC3_&VH`Q]}Ȧ1zc KUӨStPj7:u@j!F9$U{i ®pz %1 *G:W9KP~E5fifN,uJۥ_ֲq!y.KdEH rv'8ޘ7M줯=:>OP5״殙!*||IQh̴}ǣ5Avī!}%C2ؒK5s}K_LLV+e!j\',p\Bw̋Ტ ! bpPɞ֧4M?K9_ۇŅ-'sXGg%ԋD<ަA \׍%`zaxĿ&n\f%-ccTH rĴO9q&E'hƂegwse[_~EJ}[@o1OzE}hwmOCIQz#"n$–Ma$D9Pö6;&'?e;~B/%hp 'yc Yh8~ۿP+7e_MVbe^Ou~I}X^knlYap"yNAo=JI!oI5,D3o`Geaa3TDNF)k \E/V'#gdd5#O2C>Yi9GRs"[w[oog+gWF:_/Irz:M @+k"SN*9 BƐR3~s֚fbxsLwS  GFl?&*{~@J HQ˲_L*RYt % caz;ՔGY)Z iS%ĞNlQJwVGmؙБ&(JiQQ<'!b#?)R2No ٨~-4\[Y |қ/PzۑKh1spӎnE+]er:^MX l~54q R$6=h|8tzB" Ᏺn_< >(xᐗXo|lRBPQFXQg nzƼj. baGiŴ40<0J77I:]o"~vD1+.9W*h87!>MLx SV9;$W'ϢQĜ=k X i_WOpE"֣&vЫrŪOf _o{ Q$0$|H K*4rL uLˀ|TwJ"l ѕ8Usl^Bbx70wDU}%j?͵{<*R2* :p 8tg%}M>sjJϕo3-hꨞN}"% _Fd5]JZîF/1=XIJݧS|Şj8)*; lC`ۭb'Uʒ{\vڊY˅k*MzQ[Kk59K#y[oK`d4!rL5_h,3vTʓϙ罜}Jq(4 {ŤFg$ WEnףr鋣SLUJӺU? ,# ={58J00 v7ߙXY8RA $>[ e{lDz785gmAOn |LRǼ,p3ȗh Yg@;m ! 7?Gn#SƓ!GQf ]auGI Kˮ2 B} sxo:i*nLWP,z fX;T[ƶÍc\Љh2#PTog0 oY["54Jan" ySd##t 5Ӻ[= SiC&e.Žh8x3̟Hn/Qe̯i{77l/~cBn5RTaYx2\KloWSIѳW#,c1G}T8spk W1"&9Z/L)Bγ+L6|萶^^d"rgSs'eM_]!Ԭ0v/^RTcg4HOqsZ F9 pJB(//uffW(/)rhyl= 0T&_ X2]}aovW:4?Wǔ`8!(Q vuU2^wp#0 $8  OEr$=h pKHF*Uq+rm#0ՓG@~E:dݐy+=$g vUK9aeWwwS}vw,WZ E)CЯwISYc|p9'Ey /ՊkaQkR@E@+,R+ v,Bgm ,@9W72E='?/(2- A¼币0Jp:ĥ eZ QhfR|c8h#?2\D代I 98G.UY PbK dž8FoMV. ;,qFj̈"/ȕp\0wVZ.V+F֔yX~H]Q;hl&;PF3fqZbJДesh(bέlוCVl2;s@vjbSv ^L4^B)Z-,|q(~ ._ Ȩ=XKԯ jbNP9^ e~tXyq5Hū[GH@=/h%Pd8`bl0A@!ys%F z \ҥ&C|-# őfQyYv'Zk'ZnS3ꆏa+H !dTɔ!avj(N,ZDL%M %ȓʶɺKYzi0wC]ux|߁ºXmI(i*_՝bxKC2 };ט騵RԒW9e$=3}]*NbC*:R'%T4y -{Y}~Qh#obTzVVA?hKɑ9^n1 h vΜTj$5-toHpf?Xh;59 Z-+&Lm=L>9A/FqNWY+JG:%] qsF"DUbjg' @]t S4>e}->mrlP{cZ<2 KϋyI7j"NQ,7Ԯ:=UsH~ͼ1aT1c6rͺ K2J0iS e㳉fܯM̜ߎX6o\F% vi'hrey7qA47K /E}*ZZ\;>6[ZDΑ LIh(qH!1~(ISoSLO\~>Fj' 1wsyuBdqc[Bmf 6ǰߌ: 6 }2!fi63 u(m@}Ob6}6}|!28,WA>5eEQw%P^)Ւ|N "Ϧ 7sK 2be N dncyH4dVFZ襍LLh ե~ USP 8J;ѣJ[ hcB +[( k=x#b_\ȝ@O7eڕvrhtmxE%.<1EL||Az}D`@:/orwPR̒"#?LGBNi1ߕHH7ޡ ``=phzyŠ#X^KT]pԚtO3Ղ@}%Fltx Q؀`p:Wktl#4RRO5(kF+0GPgRɡAÚX+=hx1igb "-v\E;bt"K걬W+_Wq`S*k84;9`=-D$#i&+*FB&[ZHC#`6:D#JtkD;ڻ.HO~<8qҥޅ=9V&yNyZf\93{ p%棡"ZW]zVfSƢ^2uR$D /ti\y&4xC `CuIǎDI{F@5=+c󈦛 F WI[=> FPhk'+クa1IkPw~,4H7("o?UlX(~ӚQ%:k!K,-wF` tRZtRe6k"/{*%1&ufe$\×tPM+ 1km:5BhD窦\zSH!tWD])-LgՆKXpyl,?1ϡ(jqfj͠[k:eL깠߅ʰei(?"\WsWvڢ{?kLΦչF"܏j* 62ˍ]<_i;\L`&\ꕐT{!KiG 5]B\j1X2/wyZFĴ?/uER-[L;b8MBAz.,z\Fc$1pC w|r.<Id\]W#ݣo[kK&E @8g 1Z.5@LK7$)dV9[GI V{?BeGS 5d! ᢊDo_p^2ߗӝN>bK=a_CH:M9VfJNۯ-n&Ew4 q9Ck[-aVGC'q< Ȍ uidg[spuk"`ݪg/ʓ~`OhB.p h"(DѯNkmMyZ"⾺  L6G!C8*s:_W=G-NdxKCPud +ّ`f kkxg` k"HL42hR H\d8XQIXZgx)Q-HIOI]nDߑQs9j#PZ;Yڌ"u2kEa}U_7u+T\Ng9Ӽʧt*=/"ڤ<7z^J)V7 .Znҙ8Q$[8E<@Jt[9 7Jk7ƘOg`3q*̴Ng b^-6+&-kVސ$1ν&REfBdIu >f\Cb~҆ cߥ@vAŔaJ+= HhcToen(/1gСfUt}}T>ܐUՌ[J~Vt6wym!!$l& U#cìR^jTGy"5/LqxTޛ!8GheO"sUnYH/Ȉ5@ ^/\m`-*JVV4 ]Yޥ\,szS%res͝㺣lA%HؐӱQvK>M[s+̦:#Yɉ"`[r7<''QeFim#KZv0 6;፯ʶsoQ %|tiako$OXFu[¯<:$zReQZ/)T%M@^/&j#FKG'!I}WTU+v[⢗sCa8=# l7 ;"y"Ok6b ÞJ 'oPy~${- vsi 6+ !AavG(ŇY%աDqVp$'unP=K&VH >C!gtdI/vK"Aĉ:Rp[ Ŏe6ga{uGS61I#g%6T>q쨈v~lf5Jj[i8H 88$WӡbE}q\ļ|r(<0۴XUt9C`0Ůsː|`bQysQf.cy-ϞZ/-ExV1ZNKUй6q9?:׏U/0QL&g!d(3ۗ$մW"#$X0lƑ,^I[)T)~[Ļhǣ=vdeb!/LZta%ge*)[. s4 fG  =E!NmSz˲9QV/)jz|,'P_fc* (-n t> ~M;wV1;DD&$Rnw4hNz#_5 Yph88Y{DpyOaPy P̞:QqP, 0 3BYCb5{#k[ǣXKT] R棨jzp B˞DzcX` de҆Q LQrp%:j -\0(%$b{"͔l+dXڄ CNf$&%`]n)A}K'¯B2ڌě/Ń;kcmmsĪB@,h >k`I}r}W*Vĵ1T )I„gT঎1E4 6-Tۜ։NP ǸF_؅z46ʘY^c'~:3oe_ vie2h4= "`^Ws#0?C^tb4~k# aaSι$-r FRn`tR"9PhIVm$)%,3\WtM޲"wzwGAZ$|o:bV'  dk*]'.F 4;k iጀq>CN&(@ֹpT~ct& L\ ~& ? {[14evy#LeY^9rqWz% }xr}ЦN.>R(i` uW΍UlҶ͟`UWeŠ|[B@NsZV \{hт9`̑SLޟI+L־C?ʴnؙ?(|.fu'TW%HiM <$m{ɂ3@oYZ (bb `X.Zyt1MXrrvl˅:d "& V OMa Woyɋ"hyJouS||W483%9frjDyJ$Ո2 U ?0Ǿp^=@0>L^S\G|A SId2 jZ%bk6%=T쁔#Ezn~`5.2"ԙZD!":[6%T-2eEbE/J8AE Ftoݺ224 |YS;BẩL{l =)/쉶7MsVEX*rE2׻L<<5r"O`Z=<;}Ip+1 Pŗ] uA2?\S7L ;\~O\?/Oky D̷lTLi 4L'W$6GƘ5ђxjIKNWp>LN{ۈCo\T oS.SB՛lhx:wh69<4{Kʚ\p1t/]ܔ شV:ß2s"m-~- A!62p`f7cW+a-ᣝ2klE]YڎC/}bc3kˢzgR狪/ѭAOo5yCz,87c5ܸWǰj5^_iϔ> Pp'iPa9B*1b\TEw\ GѪƷ*ml_)`3]dN0!5)uOb%9#)dj `e-XѝD[PKal[VaqߑRyn)y 9o" Y(ޡNթH""q,4xuEYj|{]+o un(]07LjH~Ar4]CMDg-/ynjԳE 9P< Ja^ #3] `7T+c:GNtJ8 pA'#'9=x3S|יċ2F(GwdXҩ{,}0dI2}xJDq{eiX-<(w9 S-ThyZzg7}lzv(/PJK?-DTP> &[5TEl;K7gg =u+"hycQW? nEWcTʓ$?ju) oGDTBTЭ +FMKF"B~<-dM3?uIijn{<"Vr!WPZBѵ;Q Dd-Ƥ%p=eatg'ר;[e#%O|4Y(QZ- C8;w is ?[P]d (EV[`8\x WΙDߠoB{hXK4_-A{G :ttw`ݻb.5rWφS}:Gct/se!7q5 UlUH;4^rFQb58x}UJgTgD}Е .oW.{X\*g$l:Kn6)[.-4q%\8r_43q>H lOΜe 70TlO2ajRMh˯ ޯ70ǘbcg TD#1YI (ezizn߈ u F껈i~\` m 83PKqwR%Y6Pγ~: ' hx[||PL枹$fIiw >KnuVoON.RpEa3_;"@'<*L|kcY(p`T7G $vpյ]Y]1,莞[PxL'hȐ&CNB*?5^M۩6#ԚV*u&.ٚ/'5-rKcį5\\ySu7{nmF2l? ǯ3Vw9aI8h/ͥbtD Bip{q)J#1 39V[*I awSݻ줔g$zpZDAe\-Ӗ1Ba8¨ihY%JgwBbeH6 ='J"z(2=ڟ`f$h=JVP( y,1g2YjT 4ɲ"q ecҒ^ P_/|y]xаN zv6b=l2rdWsOD:FgRLk e>z"r@9]m+[$$a!vV}oRox'5/@Ҽ޾|ݻ5]YGHݙLmj SP?I.?yCֹax~#u=|ZsU+0okRwifa7T˳c8n-K7P)!x += je:Sv@9khγ_|%={A:,ۖbNHhJ$royJZojE1.rBYgvm,oR7)G1_z?&j fU~Mx+ DOSB^ΌK*u:ta S $v#SV[?sU[;Gbޢy?%G5rݨ:fМE)MO(QLx|ژY vg,#(@kL 2I߀6 -](=஖DəKO&~ǁ# a sDK+KO;P-婞{41GTYKb(: &[gN1<>bm\؀1*ݹImD[zfĄv#}nM"aA#1Tixn}*!3 ֧jqD/HC( ~}:J-zJol` U}P OQ6a&G›7%&בX%LP`zjF'0y; |H;~G>Vs<&&_'`P[y6-+>HŴ‡[mħg8i8p;/cI,Cx0!e/F/bz`WB:" /t!XuS~kǍ}z%76KV -p}7WBj†fm]='ŕTscDePK+ /muVwR,=IU0*t-M2פ :M(xik$1D ?mdq2.b8hn)D?dd2YIwYeYtddpm{$$:I@3+),b3U11\Hݿ~nvr dfQgˉ>:QVїoB9.#{jq(8a|rLИi \p+x4,A2.]$p^̪DB+ѣ -ҸvTV-@y 9Ze!Kks#]sy..=P =Yͣ8yL-tPüj{s G`%AH,/kbVvwwHOmOm0z.,j`~NRQ/WvͳXBIUZ&Th)LF'ꚙ0\魽" fT <4 @Z{d Z?Iad[[Dioz{]$ӯcCE{$ˑOKBl0*³PQ~{ Y6= 9cn3W x{Ԡ"(n~3j n;˷eDE5nbVEƃ;?9k*Iϐ1E&ifq>TL !zZ:t ^s d꼯kk=4au:^U%: KTn&W, xB>("3O! 9*eZ3} o**G X$X b{?]jF{,d5Ŷk!pn} :EE\\ZUqvK+YVވ si՚-~ə6w>V_Lji-^FzJ߲B;1dTNsYZ^\vrћ'eG>c^P3P/ʋWc<ef&]. [%ڇsvtEuC%){SX<Ul.a1>t^EQ(NgG`Tf|¥.aqO %@"!wlJ1F q8LnUC%|5i12 L'<9#\&,1t;ǫ2YJɴRĒ~vÚ VI〪L6f7an -v\J<| \+=pj NOÕQ77wu&pd^RL(7Zϖ 0`B9*TռE ^ !لji]gxu/zT>'{MD&C>sƲ*q:Y m *z7[i4!юhFZVZij#ǡz la}BHtozՌJC6$Ɓ$i*Xz::pE "M]b&Xа.%\Aq˙xe~:d7 /̸ 13Y=[`qcb/'zҌ?B`[M5ljps7=p2JGm` DѻM7NOm)K@sVD8wKU>+x #^a?gr!rS\.A}ipDr:t$=5&*o ׇ}w#v ųHجdOMˬ釀 ^WMaInjcuRY ۪;Va=5vRשf,|fsva!n x'1mW܅T r+_ ̴Ub@h j3Qkw"aV"Ÿ<&z;Υw Ob2MKyלrg\$LEQ]Fr{;p J^#(ml\@`'l%ĸ S6.G, R9OKRG)˧-皆Dn"Ft/V:X\M(1g9n ^,0q nmn3v{BxrS=JKiBZD ~6:K$Ňa45;N\X"Dpm_TcXGyD3 ݈!^Lvuϯ UZun3!IMR(5/Q7C6_d1Y+-~GވVA'`B#5Mӯ=~=Y}ΥxQ D:3NeA^}q95&m Xpv= o۪u^8]H l2Ήp@ L<5({ᬦ;Biw#egEc$bm0ax}o-V,5(2 "{[Iӏ|&?fW4PBgdxqĥi/'jd\Rl9drz tQ)A4=Lxq+I|Oe#I Ǵr={+/pgHUi"8Ci7e"0OkًW{+^$Ꞹo/:_ܨΫ8" ;"iIPG^f/w|f LLLFАcHV~!Q9| `HZN3>r4&D]3ўx 9=(#)쫋3Yw!q*LŒܷf\Q]σav?͍irt@.30Ks2/`Xv(v; d`Ƽz&i5]soK>#{z$v%yԣxbX$ɧKj`A{)$[O`iu*0C)GƦar"/wvdk Or0Nݶ*ϋ>FbR%ם` *y3统I0euG1/}"\:-J|:-Ʉ0)A[%ak$։J5vY ZRܼ[5T:XY)+ zbbNbcuI5 7DSU=TW^][DIV$,Jdx gف@78xfhB3Z1 \v{FCi؍6{J3aM>yy܉ĞQ>y">z6 |dS@ dxV% 9|z^_Xvb#-R?ctYK G6pl/K\W&>ȀaX C_iyNK? C.6{fa"+L(6ӒK]+ù-g6#ֱl̘̯]њ]]oPo#[ =a=:̭Q$ tBƧXz5˖VӼd6K`_c$LR*@ FC]Ku3x}ֽ< )1.FL,ٹ.y >~bV}( FBЫ >#%[i K!kEr]$.Nh5HXtH:U# ݵR*N# 3O\%m:Êך=yr]e\NcP%3I8;(aCD$nu(ȴ~=>"JFOҟ$ -N_\ ZNv"#ۺσ8F1iezGVr"BùEѕ:ū|[ t D[au&{Z%ef}m42פr7fj#@MbJ5sa`p;α>e-!t${vG#.wHRzP.m" bU'۩|8[{p)}'/ELcwr1;2 }1M _E]cG<΄ 7z0U>*c# ICXYӶUf(A?E5'c;_ɲ%Д`~׍B<+ĭX>K)w+Hlr@\9ru?0F/8ecTD]"02w%+⬆G 8ywq{'aOyMs7AmX6\gfvp~ JrR=1*SeG}-Qn.]%Qɵ/.sJ`9HCoR{KSʹ5\#v0sFz=5~.h!+ Fa<9aо)%ser}`10 n?K3)4 1GE.!B#diuK΄s1kA%u3-~NdAEl7&2:hbqf/@Ʉ^ d)䂎K,"Q0BK}-?WFϖ0F38> 9`^q"t WPhi!vJ [҇WtO?ܥB7<:ɣa:S&ЪgH_͈%ӈSꙟm1W&8k`Ё2՝ $ID3OSD=93 6:xwRˎh Q 8'.>W/ANEwwr 'E|n]+h $@?&Mm;.oakW ьi/ȟ}fԠ"!Xa79aZ+&훴V`5"vFCkK۞9=$657uF|p. nG$ziWũriy(sBB|XJ,D:tw?C_ ?d> mZz,L~*LCxt$S*lWIGw܄D-0ݢ88gC ?1W?1* r'LM̭,:ͬ+EՅ0v[SXNrqZ đKz9`\'M aWeK@8ڜSΙޘ Xs U7y]8fOϱ$_Z zۜ4f\̔,BZN^ V Gb} 46mc՝jK۷OU#[ ިot-o5|:;i&챲W:Jn<&_Bxp {gV  K#] c~|3רA7gfG Y8/Pa'=Yj!ֈcNUy;ɨ C7. ^hxՄn3;CAʦJ&m#. fuYNӦڽ3il<k.I2!djWȮgC7]ny qCz k 'EÞV"^̄ d"zL"KiTI+NyؕA6CpGBٶn+24%"M 3ªM !ź*.凉+ BdrkjIUZ%`f$2 k:n8Aus2T\>;9zdv]V  S$qK+;ݍCJ[ WEdozS*’hcdo7Ŷ҃WC)tˑju6m'jgHy ,o=zyΝ^,7R'W~rN*0)9"'8YTyL*IՐ0gV@Qp##:ΘZ bxR>U"3 9pb( Bξx!Y 5v<\O;ӑ E4sh*$k٪xb`X6:/ jTaP"&of#ֹKDwBWRmPG2& J=oj =%Y J pߵ =E˷N#;(>,C'8eC* =&J^ywS$֒f-8!ϣc_k]yEIoL}DdNj}rnJfϛ C ҰWx_w1 Q5:g54eh?30&:DSwܞDGGf52_m wւ[cjTv +ߞdsNuwVLx}L@'fMmkqkM)YbI>FVK`VrC2RNd8XI(+bg<~-x8NS'MZdێt֓f49r.6-h17[n:JM5Skh3Eۀ{q( Q› *4fW xl1*kf2{v>!R`z:ī\[&1$bvY7U*#z)3\jHqـ7hPi3BՏ2m6v]x:9\3.Zl̊NNMOi'E9wV7KUYlpYV!]ѕ0]6mY~!y3aӃA8q}vONwHQitr5j`,y?Ed QtH#6[),,@%3o٨K^oqoyTVvL8?/PAPՉ>EkQ$إf ;0ɀ gQgWl86ƈ=A3)IG]xu #\fxBryFր$/Ug%u( lWLwf.qqkٲL@p-3? _!ETn^{Ĩ&Vm(a皁&:)ܢ3g]C &e \ec18OIme5mW9wn-yDU?= Њ^S^dH܉h9P KIg%5.-r@2 6ަH?wR4ܕ3TKʙJvb_ys>ĥdl T7;&(+PN/WeMۦ.jI4(ӕkEN<Ai1_d).P$T)B!g9miG 8~>{IVY(>.r'LYmNbciCq aҧX3(nm Gū|Yo&pbS 5锇KhCsN[8'!d_#+6x0 gxr2br{gn8HMCy?u>TNſ~۩RׂV>ƾpCaΏֻdBBMѴaz$śi`=<';A88rG+dK{j N{PH(4m  = #r2H$a}DKUCae7~˯r?I4VO%RпU]I:u'hJW+pw'Ef׻ڽK SNhE:v'ǔkvw\A;Ć2DC5ˀ_?H$$)gJ1O:dfiX 䓯b?./mEg/y'o- XS:_6zJ+Y蝆nii|AOŢ$ *ӂ7zcZŊ_$zLO䅵ථ@>Lsnt94(pvWI; f=vDeaw`fб|r@gH7k/.\XjeLXt.'[0=hx QBhơ'sE<ҋ_/'p< : |<֙Y ` f-+L{BΛ) wɊ5mbWiaG:5*ZE! t+YjfWdbK3>(bĸ6_1s"\}~ Je|p{ަ9ѧfN!/(؝Vhcw\/FӶpE۸KG݊8mcM &qԬ[[0"ޤ?JM} HjEs9& ,r";Z%iW: N9ׁy68{_i#yxWF)gP!B_}`ߎ58l8Ӳ.AA~dRYZ:S[mh0Go< EOKv0,G&`۵1`+èq&…b?0P/nny,R")\>%r^o=+ݚ ]ŨbYxEZ)ů``y L G'*&K@Ȭ-AFSeE!3fm/ma`ѣ[;rt]-)]({b<]'G 8p 'Z#J;0YZ r|%!RPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64-linux/poly({%-PureML_BootstrapPIDE/document_id4$z # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O貟#9j"&J`@up~M#T4s9) YI({'%v2ёŴ0}P9"]4ž{%>%Mc{tӉ1][5JĖ~5Yj3<ň/W06D~n J^5B\$_e|lN>҈Vbevjt# z\+ >-0GRs2^.VTX}[ ]Xy-aМ$&| 9)/=&8 y©B5j0j7[&ѱL`.poqlXCŽ^bKsқˡOxY{#b`p+I5&!v[BKo/hkO`j)CBN'3*J-7Khf3L&5^$}/6I*C`'ؤ]w/2+(k9 =j+mHK\XB.2}|nwU3JEv/ 2bJawQaY!wm2a 1j {B*|F)JU0{No{"/!NK=/P=`# @Kc/?=jI> ڦAmLBo)W,Cb ^ QB9$A8 s&>ȗ2L"Bc*"#Gf/ [bMU͢]OC;9b 3MZHC$zg1r=Pj=_5 /}H7=MtKܮ]!KF-}xHO%),6>CW;}s܂d^w%{&J1n3XaT^ hc.'2dҭoL,7z dcQXۘbkh bH>efo>ePr>9KNL3^a XɊ7ٛ;h_e7oU#nyA%՞F!LI~P;׻'H\Wc+GG|T428h7,ҝzLg~]*s=f줊FڜzlyVm([E[xZ$h-;{35E]=݈9c[y;k_C5/#™~_khz4cJIq\y]9gC_9fC9f, :)xPv?Kwgh1czwg;yu%?o -mXO:JApʭ7sA9|q}>$Փ'oPv >#,$5pNdBŝ dQFG6{Cf!ff(sZF,аquf|?\ΟS ,sN|{E(&^ J-mFҪQp.Q/EN#fi=YQYĒIԹ"*e}9`kŽƼ<Ϟ+SKpJ22br4@~ ׉Dń ں#o"ѵ%{^yu73V;|JM': ?}*CY3Ԕ g72 Xύ[FSS&?Ng\n];Z|HqUƜЊME7%V'Gtڄ~.?pLJaehk9h ư%?WI2eRPXp)hVʬ> vK:'! lKZǖDreLCR Gާi$yэlڠJ#eeN<[S<<J$z:wL1UGe'=I/4W ܐXvEXgOCh:\`2ƌ0 = g]9BЭ{u=<i􉴫64a@("J~$p{;4xC]5} !Qw,i*Rlk.Vf7+);NJ栣DfUɖVgn J =~x X sm_(E4DRƨu}E%fGվ3$hψ' M'-K+oE%_w/$=4`"sP`lCŜTD121 AMff*5kQ8]7()S}%# lPureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqb٭kT%p*}"4vf+kދ!sl \wg]@0}0<< p:->YϜ UwkǼhoXf|#G=o03KdJ_rL)SX;|/tSZ9tE/ }3U"rxzXBMZCYY3` !-,KӋYׄ׆]q@ݶpZQ#{?~n&rƓu%G;؈0>d`gSciÓ<;";otmо@߹KIխ@Jo7) 1ƣ~%n/lrEx jS 7LJk=QO9Q2+^qОküJ6.HD,Y(nҺ[+۠2F:/MHj?}`~ ;UA1 ?8$ŌCU:Gf5iE2I[ŶO`nyţNXaޣ b]7 dl`ZL)ohU1gE*3xV_XOG?vK,J}Rz v2fPruH\}x뭩R&סgۗ^8\!ג[qCN\BڭГ,ލчi΂g?Na#|3dv."LC>CqR<FlPH: Be.d|&cܩ/n,,[w1Tc&,Edz ;\64rb\f;?Ure_3}E& &(0ϲ_o^p]b?L 7hgL&B)=f%)j(xan* &!SXǧv8Kc[bNJ(XBc+c_z.\\@EB\-_jB7Ο} kc=g7QĬsؤڏ4f(cz#ͥD^%|uͦ#mJbE'"?THj(Ԋ/$ "l%O$;FUƀN\!?w-n{σtWhc4}*Vf7 (G+a,-WFFD fa8$Go`BiYR)ʾBۑE CeDTQ ټϑG4YRZ=Ϭ .3hJYN!qiߠD]6Ve<51C3k1*?d { 5ŶKWAM$;Z;GB['e ҒD>:=c.'}JU]譸^I,Ddݶdy6ϙd/%Fkko&떼J`wK fG/W[mA 슢?I§ÃhtS.MBA3vĄfeaJ>$z0Fg3aupDȀ  ;#fX O3iͽ}-l,O/,<&mIg 6IӳQ #(3U_Y -]i21> F^Z j]锼 [MB_`Tn`3v iil$,D:T00{bdž@61\ I_ +' _S`Bz} ++Z~adw4W(})gE|_G݁_}PK2?eH#$PF9c88*Eca"b8BwVjG4%BKA`v2$JM2\A)n9_}QgWRY>5C̓iV"@QZ`J 7Ht=R95_ j.i,QISPF]ԚcH:@gYZ=Y**ֱ^JUCddSv^;T[OEaJHUx5-;#ԁm~ jrŋofT\u7 Ѫg8ƅI5bR`Ĩ[lِi#>Q,2iQLO]HGrW\3#HUA:^X!Fc`~Ik|Y`Y:ޥ %<=Ȑ獆LE㉷ F?zHh-+"MXJˢ—ζY|`՟f 7U&5w62-3x˳ 4D[@qsV2Z8J\࿤ds%QpHLosA@,'2B6ŽJ]Ld: i6`_=65t警pFm"=I;ih^zmʨ*l&)` 3-5t]࠙Ǫw!\vk "|VQipaSW{ J^N4nyU׉ G=/vv*Bpib#\r&ts'رփx"y\GbPn+&Y*gҟS]N݌ROڏ.ѮK/ MN״V#tkwCN=AU\{uGRoBʺ::zՆ`ls?V,?29Wej !m /) 3ؠ L;@*?fh2J[7\I㳃aPK[j52{z(;LveZM:*}/z(뚩AωmNyɪUeO{ iJc?]+#Q\Qe?RLIA ܺ~A硄(,UŻCiZq7f(mqec-KD1oYYAdR"{=+ZY|DF|&N`3wl`:~ E׃p?TVG uY rF zm;|9Ngߟx:TvH|>H'p9^%ܯOODJQ 75gӝ'HAĨbZ%:E׉/ F5j#Oψubrok2d("vw;TGaCR0c%-q32@!o(Ei/yӧB-U{9/ 9Vhxjt^q)j'$AQdOTumا-~^ͲmWL.ȒJ+gV a! XP"x=s Tfp=*5=K{wࣲlSQ޿ ES4AܩSjg$P8+4 uzWjb7hEz-v3ĕWQ]L72q}wƀTsBJGfYj@kjŐ-oK~r^Pб Y{=Z_zF+MB5Qpq߲m.?X*uM6" O Cg*/j[Uq I"g_mNw;rg\*ۍ/Wkz2.l 8:4b}&_T%&OzevM$ܛ|ԛ>7EvW';G\EAu|g Փ;$j4:Cjydx-:&S"v0.2-4e!{$Qԉ^*?b+QA{݂1H\`9Ʃ[ܻd5Pj-mO2x[ ~vӟdQ 2NgH%INנ\CpoY|me*|BmZ]xPz"˅ ax)O/z>70X;T4 |o䲝#e1#e<.\Z>8@T\ `Y) PN tSdSa7ݛ {aס!Ǽx;;;R ElǿXA ȩa匌{ѥ6IƷ%Z$ødx0{NKm('r\$#+Q[.3&yFLӀ DB+hjA ަ8{UO2wP!@h*'8֌gޓweRJ(ڦF,Œ>XE7څ߇Y|HTW*| ŊCgfb~"U"@/["cyE3Qp a0EL;AGFCϒ?X6==2嚥0jJ᳁"'.8УrbƈGWq$^*TE7t.V[1*}Y$ @D} yf?Cӳ'$Jܼ]EZ W;XHfN<Ŗ@dq?CHsT+U/Fx"8v}ùƵ!$^̶Z,e dK^ot@d1 %\pڌ}i&\fN],$,C).gYZ  : H : '' TPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zWvIz#KoOJGr-(r6SS*ߺbe|=$zL0*d8=^I2MjPlŃ5v Xt9|SOk&T*otj&ij%șOJgYZ4'# ,PurePure.SessionsPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzLva l'+GE;֒A: [(s6/+M-"IǠLw_}0=rϣfJ;{kaS?AIވ]ؿRj:ҚĨG߉cs?X[ffH@d>rH೟]q:gA4X#$X]RS} fԔ=n\kx) 5,~#MYh*ɘG ND>mmWÏq-n.OvԪ' $I5Px#?D`' YN&>[Q.G|8wE|/W3W.!3Jd?TG'Yzn0 FUWS+a@n'IE]B7>H˹: XQos_ ³뀭#u/st*s?S P͟k`Bz,lfmG:Ox{՟wGwb?\"zɠz_z-SZWØ*4 [Λ&qJ=MО-oH| 9x:2F>J|Hap#\ӈQ? ߾BQA)-)K hӅ/У傯1ܪfP5|ZĿSrnkBci pG:Wxv0m}vqGfYfwvI2Y klS~Cs*bk|`iQv?I[B߶=Z氣Wp; I[HT@n֊U&?\jc$@3"E2j(Ӷ_ >Aa$OƵF2|/P$}ҧA֭@~t?nL- c5݈dB9*PgYZ