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   jplTD ] ]UPure:threads=1elapsed=1.441cpu=1.497gc=0.0007zXZִF! n]ŗXiɟHVҭٽDN/zPzmDױVnv!`YqͼF1`퉧LJJ҉I~JIÒH⽛0Ѧj1kSп5cS%X?yЈ7.Y4$ĖqrƸp&9*s1f&ӿ4jtN nczQP7t!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/45388g%PurePureproofs/45384f%PurePureproofs/45380e%PurePureproofs/45376d%PurePureproofs/45372c%PurePureproofs/45368b%PurePureproofs/45364a%PurePureproofs/45360`%PurePureproofs/45356_%PurePureproofs/45352^%PurePureproofs/45348]%PurePureproofs/45344\%PurePureproofs/45340[%PurePureproofs/45336Z%PurePureproofs/45332Y%PurePureproofs/45328X%PurePureproofs/45324W%PurePureproofs/45320V%PurePureproofs/45316U%PurePureproofs/45312T%PurePureproofs/45308S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/45124N%PurePureproofs/45090M%PurePureproofs/45086L%PurePureproofs/45084K%PurePureproofs/45080J%PurePureproofs/45076I%PurePureproofs/45068H%PurePureproofs/45050G%PurePureproofs/45046F%PurePureproofs/44984E%PurePureproofs/44980D%PurePureproofs/44978C%PurePureproofs/44974B%PurePureproofs/44970A%PurePureproofs/44962@%PurePureproofs/44958?%PurePureproofs/44952>%PurePureproofs/44940=%PurePureproofs/44936<%PurePureproofs/44930;%PurePureproofs/44926:%PurePureproofs/449209%PurePureproofs/448648%PurePureproofs/448607%PurePureproofs/448586%PurePureproofs/448545%PurePureproofs/448504%PurePureproofs/448403%PurePureproofs/448182%PurePureproofs/448141%PurePureproofs/448060%PurePureproofs/44722/%PurePureproofs/44718.%PurePureproofs/44716-%PurePureproofs/44662,%PurePureproofs/44658+%PurePureproofs/44656*%PurePureproofs/44564)%PurePureproofs/44560(%PurePureproofs/44526'%PurePureproofs/44522&%PurePureproofs/44520%%PurePureproofs/44518$%PurePureproofs/44470#%PurePureproofs/44466"%PurePureproofs/44432!%PurePureproofs/44428 %PurePureproofs/44426%PurePureproofs/44424%PurePureproofs/44422!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%% TPurePureproofs/445207zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0( R:nin F\HS+0C<쿹gYZH$% dPurePureproofs/445187zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/444707zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1OY(t<̍]f:+NѱgYZh"% $PurePureproofs/444667zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{7&hݽxdPfieNV0gYZ4!% +@3mgYZh% $PurePureproofs/444267zXZִF! 9]ŗԠQlP@K!7; [|EuoP u@Z %{ޭ% &eF̘U"‡EjߙEQh< 9yYREW/ɖ*c#nD42GgYZ % PurePureproofs/444247zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/444227zXZִ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/448407zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/448187zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSkRΞvtC/i@`> l(vZ93agYZ1% PurePureproofs/448147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/448067zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A ҭU>bPZÐㅄH{ SgYZ8-% DPurePureproofs/447167zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'o *;U+~@: VgYZH*% dPurePureproofs/446567zXZִ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_L:2a`o9rt]gYZx&% DPurePureproofs/445227zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I(jVIB(ʱ %452+gYZ  +   rk92 B% PurePureproofs/449747zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰl755hl̓U硆^Fi':Gz HagYZA% \PurePureproofs/449707zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP!ct\KPC#yD agYZ(@% $PurePureproofs/449627zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%̊J:%(b&am>v+ [hwY \gYZ?% dPurePureproofs/449587zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט' 6 *c: E 6b j;8gYZ$>% PurePureproofs/449527zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/449407zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}k[RȫedY̯qױgYZ<% TPurePureproofs/449367zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*:? ivEK舠Q=gYZ$;% PurePureproofs/449307zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/449267zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+ĠԼjJ ⥜LT-v\!޺ͫN+ruTgYZH5% dPurePureproofs/448547zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lXŁE_Jq.k5% U5Xݰ^37fαgYZ4% PurePureproofs/448507zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /L,]Q' PurePuretheory/consts7zXZִF! C]a0{rg+5\YvCPgDܛ XE} Jnl70D6wKs9l,7ؤ5='Ê Fez3Xwu3/ozxf5Ef׌h43dһz~^WGhHP3?_@ZV$@P(م1.S td%դ>$&@b2[WH!| V!%cyyvX `=snRזmߢq@-R'doݭP J?}1XKccSYiϞcu@>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/451247zXZִF!  N]ŗԠQduFSB[I9nS kHc0#%M6H1?g8$ gYZHK% dPurePureproofs/450847zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&U%-WZeIFׂʻ}`67dgj?%jޘ >|i^!;b2gYZJ% |PurePureproofs/450807zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ(I@uj,k/ymb2Nu g0 gYZ\I% PurePureproofs/450767zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z9h.`dEx¬ۮ !< aYiz!Jc ?igYZlF% ,PurePureproofs/450467zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/449847zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUop(3RL@!jĶgYZlD% ,PurePureproofs/449807zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^hy[k([PŽ BgYZDC% \PurePureproofs/449787zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zv芘=:;o{HJ|*h2e/UX]HPYgYZ  $ u 1$MMtb% ƶ1bXⶕs_M {Mwm7* V]gYZD`% \PurePureproofs/453607zXZִF! }h]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1OmmdwWŕA(CbgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/453487zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/453447zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/453407zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/453367zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/453327zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/453287zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/453247zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/453207zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/453167zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/453127zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/453087zXZִ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   ( Il&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 Ӌ`]S>`6([hAVf{lszŋ#N (GߕL`<Ȭ9WLyP7'9uݺq>9%М$HKmVG;lԞDr U9s^@¤;S/)&fMPBg2_F qX^sCCBzѿj+K*n+3n^,.4'n驓]6m{ԕJCl+VS~'lKd slɼ0M(ez[R9cPlUcz;DfEȒmn&rc>Kk>wV8SSH-UyxVO]L{vAaL9)LOCVjl7-Yԟa(؊ZpK> /@i: p&tI$e¸(h "D1TꄾsPlτRG}Wm,d,ؼSb/09Z`]\Ynd9*н,̄h7bD/vPȋ&IlwDMzdBAtu&INdnTs, cs!UIA @)OSza,1:cOBDz:DZb ΪlSh1@Og͞oOlffo?ɶ3 uusChݡԜtpӱD &/<>BQѮyufpnQd:l-= tғ̨nŰ<Ur`Znzf![e awf5Y^dup37GpAy!=3S[G* B(Ώy }-!rMa\) jBcͻ>m8GT}Q*g]i{>Z!;Px;(XcNAK(=*3 CQw"!,f;2}(XiB7v%(:Ta\vƬO 7c&|vwrz<,xe$qB1}gYZ\g% PurePureproofs/453887zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUopȚF~ q?ݬ䩀ur1jĶgYZ|e% LPurePureproofs/453807zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(5èd3U@]D7vV3,gYZtd% .1-v*,#I2Ć)!gYZ2m9 $PurePuretheory/other/attribute7zXZִF! &K]a0{rg+5\>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{(nQʝ7GV6GfwHҍHÆ'}odgG`.OrQo Q^6(|X}IJ%)BZ[GGHL αgYZ9l/ AB*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`Ȗ.'}i` Bx+ qb#ԼG}k$C1[%SR7_|=O:[CqPۆ/%dMHrRНwtE)&xx6\(dT}:5V JKf2Q˻ iP9m᣾ gYZ 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 YY$y% PurePurePIDE/markup27zXZִF! # G] !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?] 0?.mXQaѕT}->EWviUgvՇ5)6I/$+o:;`8H;z`嵜4B ;nq G̬!gYZ c?]ϙ(PM;AC u45(k&#B{#ȅIVqvԅzu Cg5??0x:yR/~gk!| ظS|pnտX[X5>ud++hXƴ"PŒY?Mv/ۺV t5;-TK*# b0wxJ]i|=@P`(Ӳ@?!J}y]b*m4bsT[P*fAbQVh0ubg*F&ܭ0wuj*.op Jj2;=uFQ*}eCo.MJ ƙkT0d3ԉb[>42әՍZ1je͛ g;E2f^Oh0m;=Z|.YdCuk#'…m+ĪN*XXKcQiG`x"˂i3C;5Py 8KVlz`' ZpN'}!CS(}]םA՗̤~,sXB,g-""|vtH*AGIFT$+vYrj둎<;Qpmeҥ\pmLZA*&>cVЈwj+dF! 3<>o5jzb/)rE.v`3k9QIJ֓36+(3㶊<{ѿ0ؽKM-Q_|3pR*kF3b$!u{G>j2V/ٴH2$6%cgxy"7e\ ic6_QJ *~qb?iScO~匋V=P`t%5T^H |W72QBE/0W5amܽH{' ǨU-n{62*("~3P1dȋL袦jFZ_M*?Y0p`ew?&jjE!y]qhv氝*M`j´C!AKn׃NN^.T_L:8jHX;F-!ϾZ-Nq $m iCbv$M?odĉ. %`f ύkA>jDM{g_rH$YрwfKnnwZqH%DO^>Huρϧnw}Dl0:w@jԏH;%6suD]QwV7w˞w ݊0TnY|(u 1a3(]8aSpj FԽD=0 h@7p'Aںkڥ%aL& A_61L 8xV.**kGQcs?5۵}; ڤRx Wdk*d_e!%Lk4#Xwx>(ߩ=n1+vD5oJM v!:#c0=6?LU@068Âس6[xٯ0d 1%~ė *UVR9t?9B{ߗ+&t| ?^+Oeϼ !%LGpk$",>ZhϻO)Il}ߜF.܇1=' ׆-]-ڻǁ C(NgOs+1ފ"Sisya;SPmȩK bzutJs`8Q<@mܶBP}l'1;-M؞etȜa l`yC%j-Cq9zۣK|\4]8 } %Jt4S:ܮ@8,vz)TֶŹўhM ᫶?.}@ NM0b~L7VƾH`qo;_Ĉ`Ԑش<(=׳PJI LbEB ѣz%h ö V#R~Px^ 06X6zNS4}XC>G^栓 XI)KtqF_pqg}q#iI^H b@3W|b 0W%Ɖ&T[x>Ju#B`${$M2YAfHB^(o;&jEQ&ɔ$&7sH? P#I*y^Rh1=h/i!9ՄBș{s[gѩD" Mr2N,j؃nǘ2FBFo_: ͘\9ch^ģBKCŬ_A'KGK`ܷ/Q syP}"-YK#gI*ja -T4) ?;! Yt"wgY3~M (`B 5ɐg+9Iy3K;OמR%QEk㠃D?f'@>|G 0^grVl+ay%`HZ?g.Az]io> bY 1O]9Ā[jv-> 24'"Vق8[nLG'VEz~-hB# W!+U,ģt.o۞gHnF]EmKQ͎q,0?uO9dN$/׀G#A}O|MaE{o e Ұ2c*Y|X&b8AMh$;jm%> xehYyF5Fֆ0 % ^)\PmZkF<ʒaJ܋d_JEhK/ {K'x1)JV8 ZwנН_JsaW V|E[A$شL[\@C-wgvo7?z/8App{4}x`tlg!ӚЃI ]׬'@h5{+AzIyVXNG*_Tӄ{cd(.CqLxQ/dݩqk j RȽ:7R+&|(l_3^D-'4g{H`W]j>|T5mtqnvϠђ7TH7 'q39[GͯFum|1yhU ecA;{à 2Ʌ',ExT> !'yX~CM wdB``բŮ'9нPFNN,unn>0`OVdeBE=VOdUdS~5\=M+&`2dgv@4ύ9LReRU騛s4SpVq?tG aABWA_ iO(7x™_h^5ORj$N"$f2l8i dW斕WytT eÿqzS߃&=zƵ+nKJ's-Z`bsjG/`"'٧vj0*j)Ub"K'ӡ _.ף_6h6AƏC?[,G:Dt/ A. z͉8Ж&rJ$߫+~q?_cEYb%\3>!y1*㈸ ~>wYpetN2+,,aNK5ĺY$9ͫ}M0&UNw-FN=O40u~b 7ԦH4gq%Us+{YEFU.ݝ5=hc|:V((H3V=%w@<˶ t<#gnrcR ;jLՁf!ڸUFm̰i%/|XԚA#\A-TFZK\m6lוenCt/0wA5CF:ǘOz\7i OӢUi ^63e%XGHbUq֓Wd4"C`VԘ_Ez$Ur@{`< U3, (9_Ui@$aOMfW"A $ː9OwW2 nK^9f)YI"soOz7%@pT, 09(;c&GD"o$Ъ|ɥhf&Ol1>5@݃XTx3k)bY棞ʎ{^TxȞm K\$NF-Mpd؟/˞]h j89"4|עvl3W4+03s=G(QzHG_ꯄI 2}j.ٿ|_[[Ы ;5Gq^K i?jjo'oꒆֱnNj|&'\TUAR6$dp+~5_ J/VIռ\ ]8xHە)tެ2UZG 7ᖀN? $!F޴o%Ra@jNI7^) ȒXaq)"v7Ւ8q/w|!T,y$/Jǚ@3VPegC@E o~(*x,2-'D\&iNxfڽlА{y!9-~ǽml kjޤoX*@?(Fej^JXaJY"@_:z>s :E`HAA9A@hFX|׺kH{]  /}SeCoފ(|?fsVC }""O9'OvH;~uBĒ2EgR'2/o6*R[p6 &MC'*x*BcR9 ~Y\לI){Z6#\<|ixj,d/ߖw-Ax=jAd dBLIC*+' 4s f5%HEh^Jog9ʢd_8N *nW"i{pkFRd@2ftx1#xE&GkKYmg!}@? D\g_ K3MAZnHݵ#DVp_:Nm>+ K0$5F zR7y JLjBD\VGeR9 ]$l`cyoM aI煇@Hͧm7e*+8V-ڨ[3OαIè -͐t2(ICƼlm/x\Amډ%YH282)~$&t(By%5 ;ŗ,zu%mj&\GGQ[?FwWexe2 .PעX3;JtH6!R&G$Swœ:[xYF5("i^`EDv$SE}X??)p `?ڋ:ͤ4ҁfF&VMYpAv?L$&~Jn[ǤW+R@VUclÈSҕ+ }ux'ߕJr\GiN7W n8>oR-|č:?M4UMTm'&Jqkz @ +Nr4|C;oGfiaA v#=+H<H4~ |,LaU"3I++u&*nh!'Blt͆Cfԝ.:8y,ϋ\KMRcbcG~{AkPr`a:lCQ| @n@?2':Vnj#7➀[ ,Jvb|0$jI5Rb[ye[WN.djP{u@+\jo%\9S`gwÀO9{=q'wѩGrߖ ǁlKi"\)c dU-;NeUdfƚYL]0miF2 qz/>kOlg٧!ne㚀)>d*\K:a&TjaHL|Df; HŖNdhhrwwlU +}nүZYLY!OO=#3kdY}ii:?)[$"y=JtJ[j ­\LBf! Tnk=UݷiV,X%XRb t N*퟉gRt=1lWʩFQ˜}abJ9+=|9%]lQvf UP &[G~' y;5Lbd6C }]eoMx*0h斥E1)׊?ev!֗[ OMrVNZ9kI Jۓ JZWJnUb!twR}K \,(Ft,@P$DbX=;fDI񃟷.=,<{@A^b0Enwf\CۤNr:Q>8)]\0}Q lsS$^M(XjUB;Oxka}l{Pm |Zw&Uvw3zɄ)/oE|`&[n +~_ :p e7o5M* sN6^Aoְ^EJ쥄؏&vbK9 g_0~?jnI&1֝=\`U ͞Ԁ(v\7@ne%\ ̴Txqh tOpj 5;  c۸` {t..}*]$Y 1Θ:tXbeuMMشz[;I_j_ON" lپ]¥eSIFH;'VwQT+^xXMs9u0GMաM=Cwg,BT ϰrI 2&K m?6I$Efm4)n&O-#vN᫙#@LoHS*G@gnU"~(d]|ׯ%4&h6,ނcӏAm6||Fه2R-!| Ġ~i2:Oֲ~$ZLb\ql}k*!ٴE1jClgK~Eo6*g8V6a)?2M%ޭCN%&S7!;ΛW;Jc <G|)'n@,f׍e:x*E|zyoh8/AFΡ}64]Fl+AEU>iz)9;O(vL ?cB QUQc+ؿ;BmR'x0k>n&deqb)Ly?}a (zs< k?Kю/L-J[G%0 i%o1ŠdC nwYdU[\w$U5B,6κ9 ww<,W߶ɚ^]OtWۢv-~%=LX33= !* jL^gjhM,L<AnVqP1$h(/:<4`52PG x)<H[`f_pR wS{ލ\к&dXҖd&pEdJtǙ|z,sJOa`tLo H^EUzKIQ5@P(_1 ZXJ?fj+f~3qm+^\i2W?UK5M+$D-b)>xX^Kd95;`e;Vh3p:{:٥~+e>UA_hHXc=ڡP]|A_z,QE/.(P3Q(s}C^)YBhik*%ov =Iٚq v}ʭtl#+tvu=ңyYTCEPt"Ye 73}y $%*,(k.p )<3d;16"/,Z.ޥupFl'(D՘i߹ʌ/-8k;5f!os$h|jҳ p>5Mö01?,tE{ +wS0+iD &JF'f,B\x/VhlʈOI[)- ,r!b^ꙃwl?g >7 o hSKmMR.Q|CBZj=fc0G38f14]Eɹ$LY i.S7HZ_mVI_UJlKW; 0>+%BS2ZFѵN8xRq3@vNG;qY)5ƦQfz,]픙]x놂 f ` Y)ޛ Qy4 L8{B\[VSKTgwm09~nJ4~)#a%*Wy5U={F[2 CaIߥ81:'` J)%zv$v@p痠lv /⨧Oт=?s36aef|*^,*ظ>f# _Ѐ<LJZh`?e8ױX=dμ}'~!P0WQ9Cl=* ذBTdpYEϊ s*ɈMA 8,-|ŞlB\Yn31~4ՠRiSߩ /}mjdVRE 2FG*M=I}\ר WON@irZ _`)n 1?b -c\I#LhmU9(bO>C_:5(?cIw˚3%L7WmT !/=< ,^J͆9(m|M}l۩udSt;"A#rYzT p)\Ń;D!9'\?l 7șoo* y$5P##YMͬ"ñj&pvhe4|w{ꏠ"C_e% P4$/jAuNji aRMyu^н0FErU'{,3RyS0LHgվ@ԯNͱz9CibuucH]rdXw=xGSU_6a5s3Ce*M刬C҈qmn= _f[۹0l,{3KUS8IRhg&tobD(tD<ȴpFq&,' ^*LܿQ9~Ԡ ]r%rτƺN ͂uz 4K3>).@w{Y,13ʮ˛M4ۦ?G-hdf)l4.3r j-k| aEJ<ޏϭ1kݘ$+cTEP|az x3#Ba%wEsߓ N8#C 8LqӮPZ4`E^GiA'.p-€Bo|#>G@J9pwu_X+ m#5PJzp4QwNw=K̨h-bAq'tXrz+cֆѠy(&s.܃O4]ZNXHQ2pL[718ZoE'2ȰoV 4תR˷ tC6NmIQ *J;yI>~(w pfOA~hj|N,CV7;Wk,QS7n𠤸k%/$'ݾ-Mh[^~@U#g wrABxZJIӑޢ֋ a}1 Dˣg{1la`Pw+ê[/8L>4tL^vr vl'vGZ!AMN jc|t=goqIߍ!--eJV9jRk9kP]7X] F˜ ۙPΦ' b܊+؍\ M}Az&n |'$\EL 8PƑJ9UN޸|!c(iC}kj9h e#mp\Al8 cG2ѥ16f:O@ٸ6P@1+?9PqPBmi3X8}!- ^ |pU*p|^3w"k_O &HÊv Xr#Ug1mfXm1MUi LoP[z=_;e Aݓh#|ѼS^ЌVli*7yCm˅/\d7|3tQ,+J;j@% i2}aդI<+[YA?&7,D3ln8O6Cf̲V6Gʡw>{"*h8]0!o*\ȫl OzbS<ʅ0U.6NEoNRc!D_wKIku}WErPQտ"t#c0 d }E-#ZVg-TS\(C'½~8dwgHa,(aSlNaAxRHWv@z Aj(tkN ؃^z8'FE^p  E0 < Tt/bh(<< zhh gO3L/,*J8=]n)c"(ׇ>C>qjv~)U ̯Cԓw|0 .J>1$p⁀L#7|=΋}e}ķZe!1 h`lZEWVu ~#T1xxg~cWV$@&!68 ‹J ]O)`3  'Zx‚V8#\wͰ@Q!se?J9-l{ְY`nblBnCL[S*}07q̽:56c$NhYY2%hn+- fp$M؍^J0Ng0K#}hT.rN8wG񞻊P{5S:d팒>&ERRn E2˞&AB|p(iq 4I,D t]hl3{f +@[£D:tPȍek?.q |F T#>X >?Ɵ}nE[A6$Ÿ6GgeoO)( Ws=Pt>1 ormrb%_.h!Ut8UO ty-E9/|YL i}wr]FPeұ&4B&[? ?!X8I, --}-,D,FܻKA7?T0!ՋD^ T*"ph3NGyoS7L@bvN8+yM ͍'ٌ~|0C|DdV~q^E(̎{ <&nNjehFRs9 XLqe_Qto}.^ _\0c<-K2$b3f쏑;>vڵXz.sF9yV/G_n).}gzR EhhѹJc}I_`~'}X#78%l鮞1*sn2=)]em3Q"yWK/'Tf @; D!1Fe|&&}9āY-!eƆe[}X&J ݴ:hr mV"{i Pv_SyL ^YkSg\;kZ3 džNhEql%ؓ]h@"ގ8:+LTգoa3b$͙#6TVm%1Y޶xEB\/M}A"ܬYP|` cnɌTEvh ܆grx4O.Z)V(b_ ݳZ1+\2ԣ]2*oZXXbɭ>|e-#R9~clQ,,3#%;!_%4CTj(w7%Ȯ2M|4"׳QL⢳ہvRV(',VNWC]Q['9>qLOIl6:M\o#{~Ie~jm?,ٍP?USw,@}m}P͗Өj]X[HZ\Րɱk>;~|Nޡ2r.،\[VZMN"zouS a;/:qc]%|Z6ٳ7RGͤ8ۉثM$NZ)R;NyiRq] XXc)ωŵ bO,~eA :368y!l׀MdY geN?Ҽ# rq]Tȣ \d7Ƒ-1gZ: T{S\2q;i>C$-5w &&Z?wgfݨQBC`:#~-pYLI嫼|8G.bY'o5L#0禅5޳Ur/kY{u:N@[Hp5 :3Q?Ŗd"m͸>I>=D@uC.EC+Q߳a62 Ae@25ՔPwPOZXgegcZ ΄[YDPˆdL Azpx[!O8Mf;MD~b͂d_hD91oKެitm5'MKn{FwM;e盖dՇiozU|tƻdz1𖖐ktlv[kZϚa;H] }?iHe*̫G7=iL:f,u,[XB=HmݎK9l\!H51WټYK2qD NC.bCZyK>N W Tx)S*1Jޖ%OGno{HE\PxvQE`9 LPW9}<." Ovu`> bi])8!e,0 r8\2r(1~)9QKUN8N\|> &|MOXilwh)_i&VKИ./2, Z6i73:5ʲ'(ji ܣ\^ HYc aC"obf;cVPt_ZQape^Sv3CՈ8ɾ׊dWsq5QN9ȢnB o'0\oC<7GL,5#Q>֒ls~m=F71&^o׆8^rQw{xco6;3;cm}Ys,1$/Z1U)mRxʚ+̂ b^#z/fkI,TrF޸D+ȄǛV'@VGCuZV f0.VcR": kT UJwU8+fJaLo|mU>N&1DWGHܴ֣7j8OCAmVa#3;OSֆfK F VwHT+@]eB2Cgea9}-bo5%7m.@ţ`y('C>C.R4.l!`Ƚr7{'"42I=6 N]4۰47xźdg[OEa岓T7O4T>_-ԌN0"ȎF՜0Z5֡pAvuR5ι=5硒^Ihb V5O}6jDi  j!TIc)[XU ~R "]"֜Fցh*Mn*Y9rwu|?FBvy3Y(Ϡݾ@NghP}*~ғ+"3t(Ż6)$AK T x#ݣ7,nUU 3O`MqX #Ѱ+I4˜*zgg?v 7;"vH|Ja-5斎1 <6XE@aNf),Z]L|USR!Hw]Qz*(Oga'Q$"*Ƣ- +ujBulRcڻUUx̚$SZˠ&9W<,v+jG$CJ͛OBa2fV%G֦2wqt[vl ߓ܌Ԗ Ϲ6z*)/ɴXS1lk~g@3D /ƳUʉg7lT6x$]'OJKY0OWkR_̤$t؊MS0?L)gHE9OsMޯ6x!a>@У[Qr+܉O82] @LfnGwpQGBr{Λ:dT>cZṂ~ƿu ŬO)e<9STr涐^ sw^a0W1rb,a18l۰^çqy|KӾ,-F#;΁qd)JgO^Rq7&ώ_f '6leh•5HM鹲n^$ s`Ie9 J0wWʹHγ|;Sg2mc(d2=8@@uDEO584Q* W/iު% S5G( #Q%bῤ⋲$-ܾDW-ѯwav>׋ uXx^cXHTmor+x.`Z{d>(@|t# PY%|е#AcvoՆl㰜*^ <20w 20 ꫉7$[#5 ztm5+/CP#P !hwkShf, 9TdHDF 5d&bQ6Q?4!-ج'{.ue^ y񭆖4..+c-Ʋ]O' v̺?]ϦN l( ?!qɰ|d];Cvl?zySLK8(9O8OonSMkڎ!\L,%C :f6EuM:9# !J~}FJKᤆq^6(NΡZ v=OҕqYg 0L2V/9[OpfTw% `]S-b ZH٧@0B޴Ʋas︚-=xOhN1;crÄ8 ޔ@ev3N"N$Gs\K$(SVr>fG1iDYRr]9 ݔb6~?`̉d\=rhDx|,΂%CMv"k.e+/ kRLE9=~"LгSo'LBHTs?pHŃ!w]щ;GfU:Q#AƁפߡ OcDmw>hU Pq~w8b%p[)^'SăDq%εcʔM=]=giXla6=9K, rDJvTB\ dC0UwvkeFb˅|p ,Ti(TΗWkm \އp@X~@WYoȂis䨤FQEs?fR洉c~ZY &~{k\Yf,y6]++2Rp53ZP.ZBh'ә saUpN}8z`rN==(N̔S8|8q*͢ay2wBݯ"1/$y-4ol^4kqWFT݁IVh\%(cLK&'50tu4nS?Gy^|cqBFDX?Bde  X|t2q]DН:@фԼC{$O٭˼LT@DONEm07"g(զ?u)^ /q+-c,^ R~4=gY\ץb=c<6Z^_(L);#5€*CoUOP@f@ԖVj*5s kʡQ(#V)Zz?, oygc5㔇yssKh-+]w 1Ю5Ǧ@:f8"XL;X5' 7a "xpGMu ش!f}sD Fy&95q.H?n;l:Grg@T]Q8l ]U:TRps1MtǗI-U_u Mz/?wV [}GU }`u^e--1[)jNzQt((7p斶NzdD>Pm$lfgF2 8Wp0%qҲak[q8ɟNWldk2CkZ_S Yf>As Vm-֌{XI^B:/ bCT4j$8ڌ@GׅB iLL mD֭D||(/-=D3H>^ > uC/[ִ 6kMWk+$+%⨉X@ KÄ(d 9{3Z_ pwҭJyDE`͗0u{ ~3~=i#d]u[YtV%2sE'>HY"3>,Q;lŖi&)OG6>ߦ6ĝ|e4o톩 58Jn߀W3ZWyc=h3^]:E/,F'}x mݼLE¡)>tleQ0{Z+.E3Tx=$s6r=UภQEssxuRNf/OQm[ls8M+*Ь-A[Oݸa&96K~ݘ $0m/,!"s&Kbߪ<5PhH}Ys>r璠^dxQdï#*Ҵ0B D;Ks+C]l\/;x B{/Ԅ![S-oHklAR-5O?JH8,۷:o5JH?v]so…_MvP , $X7Z 1>2ޟt GrA(Do' @ ^j0/ arg{}--ʼnL &9@ku -KG|ڊC]H@yPrU<*wHׅUz61g%v4rI>/?AHIHF::AgNM&ӣ.AsX^*b;e ,. G덹;RwFih"ֶRoRpq |öa.-}yfٓ&YL6yqi֮6>zWll P+ $ ;'aD㨆Q%u  at7{+>gav|)oq@]82 uN(W~YH?5l>e$]}'q_n`zl”Q|4Ǐm\ X 90{=M y[ƉH357b`ng}92l|͞IFZ IHXsxAee'a+yCw4@?Pʃ!  -'/{s S[^QlqH_NwNyUR8o&~oS1-Q%(-{!ҳ8! $IdG0z?=/BxcngQ.WNaORzn Vt% 򚤑yMx唲u&Sn20Q֢Ϗ R]Tfg鎍n_* 72E F7 Om[-guRHy\( /9묶0w\ I#5'H1Oy>1a?X6 /tNFraFB ewFwʅ/b(]j=0޶< Txiel/o~=B͵0R;}#W%]oy]y2hus!%N}HtL:G,2Ƈմ &u2+"Wq'a}yƿu:k"aK8F(";ы$Am] z& ?+ng^oh)Xyu~@}U'<{Cԧ|kyo\"P<\$l(F}]6 f֪ ayT)d͆'0loJ|kf6 [Ř%&>tu}zm3ѣ'8U?esRLHQm@̘߿emhb9ThRC6þE$]v5W aBf58='L=_v奒\?lg w-.m0܏~ 7Bؾo\tRK 92ɿB ij98?4J*yi#܍ytm o2]Az3=Z0fR jELjxS*ئs#DE6(n bO-#ow+RWvΛ ϫǙ bXAST"#l8|5V(-..^$;U;sxE'%!2BT(ﮱXqG?w d3'>:.Z"5ZA8捖$-X!ZgۯrJkK"98],cY;=`_Kˈ+k6y{!eK`H~!SzRfPvlx`Dq3ng$dnX%yfdT- 2.TS **%ީ#9ѽ3=fWM :U,H "ƢY<]TGp#8N=4,zj!s~⟢Yf&f8U[EϹu}3Vx .rREoܓ>K#<;ҝu&FfX3ЄՔb|YٱY쇿=0jw54o,dXŢNa3792i)zc lf++tM͏n$pBw65t! Tn7Y2f 4OA*T"5ڬD_v :;!\Rrl%N` kc!ґRFR Cf~+U oۤ?f5:9UWUfm*0JbQ[=IF\qīDcł$G܋(Q9>'H6Lʮ`⣎ ُLiw7s. Є5\f1{_{ahx~( 6MkӡMF.J239EFk IEBe AqˀrUu6` \ y$BM5>G=el$c>azp5GtFؤQzTB:sK߹.!3Aï[QZN{PzG(ClBj^?<`8%J@Ie=}wQyWD"DWտSsSٮV%}~zW8!L^N|OCm4M(D|.: 51?Di_FH)% Artzi_b|re})]sUJfO#EȊԵq^f8zځ)2t,vc+Dkl>NI)SѶ\oΣ1z&U)XP'0Q"EǑ Gvm8«%go;Ӭ;?m*7JMj)=3 8 w픖Y=Ll'[_IMiߺ=OoO@V KaOƧB𦙐wˆ 3=H/̠;K3;0k)")vٙrvs3 8 Q6ǵy?|3F)Y8;wxqa4%OCg+a-A_ 4 ۂ\)|Ϧ8 b1F-=H I-,d x1mt VXYgnUBfy5y3gk+xLw„4ڒ|%ա+C_9[0SZ@M! sBxBhv|FW_Ԕu*V $NXu9掿wCVuƫd'ƹK#h,X^ 3OS@bLc.6M=eOJ̈ET %w;#;WҼJ^_{䖱v/7`ԃz!Cje%ĸYs4(*Ox þ$ǃg0b3X.V&ۭ2gqEMAMu[?1o\r-:f1?aV|~Wp,-oGMۢ SI'nܝJuowd0s5jח=Y~vI)&^]L[V۳b.^eFڮ) jDy.q7ts0@ 7i>0n1JslЙkL;&N@C[% mciXveH2Mitmo]\!LϢKKdxG 넸gǁTuuuť!NmRYk&Vܾ|oh]4ܟ׽wj8ÛV Y7(Xs aZC/*6[uIl,cjS|$(u0'eȋ)Klݨ_ MBڬؓj+"PtpC4r2&~=~*9(|+|q<2MWV^RSl-N 3QH}v~|7!+';飏ǰv'KKm?QM|EYK no3c( :'`$v0%9.bnt*&^+oj9LՋ* ~sMS(g93 B*k @4i_YҨv|&+"67<I 'Eg8x߫oPo[sW0#/xb>2|ρXa>?޹37\}'!:H~656CD"$YQfVvq}D8|:AחV8Skg(-&Ŏ_Ѥ Z< rlٙX/5^p5V **N @`&_;~5_928en5 W@ dyOZM:DSqM`1Y-$A4nnM9@=nS.+Xb[r0Vm<#fVjN>_sLDpz?qj|jj$/=ԇ5ha ׽bp1L P> v/@;j𱂚o! hxxq$G9aa}58T2Ds씬y,/'#d'az,Ծys+ǵ\ @s/,wtVNg'gpfs{-O%#֫rVXx}mKv.b@Y|XM&[kSZ_F)dfy]C%lCw6NHWqUߏuW!eG~sOn0r*Sf]MiXkku.пGl8 oTʲWW,irBڴņ6B[! TBTu/{V]*_~NpC ,w%a'| I!]9 6$oʄnyL\@1%R랅1P-qdv_cCttuYmLʃdb}͂³ܬpb5꿇,:`\n:gZJ(֠ls`@|OkZ`pUb y{vǰ.d ptg(; 0:69Է s!=B%a~ޑ ?cWysk%I< G lP9"p5€;o/m!HYɗ, K-nC]Qvp -SWOqJC<]u( [yeؑ^t$(g CyY Q z7e nk) I< $!z(_d1N[<;3Fwr/l.lfZp&97."jW )R5Շ** 7YXGixaDUQՑk(װPg˗|@p0Ux5h3w;Fu6P%MI^pt? 3A ,˛Fep]xGM< w!* 0Jڤp:@.[ʴíF'] qV5@ZW(\뫭= $2KZ*Y}%,Ģl5/K߫gHqr!SԠuTB7[#Dh/,aj>·G+=kDRh4 GXAKtѩ/&"[r1/*OLFtChJWJ,נ/۫u<]Vf7("E=+ j-d@"3=Ye(`'lb4)hqTa-&#@gij6c؉9qQ*jki#P ㈭RS>$p)')Ѻ۔S(mpµ~:WfrΡP@(a*]&e/ 8 K9p ( htRUţpzݷxfmBv z,2E ʽsqF b5IGxħhY)٢3)\XUqZ h}Ŝ3cu,q5mA2Vv )nEp^]P`Lԛ1#Gg9~A+(Ej&aE}=0%Tz GvzE ׫ 1) V5'(vҷjO^"}"G,=e҉+g6@<b8_1 [s 5rE,^a9׏AA䢞= e6-aҎǖy ;ʓ g;t7\eB3xӭi_Z. m:F+uW #YY"t:Po5(T$%Sx^3fȏKB!TS"pn$K@s @\OϟH,7V LvSѪ(; LzT`Q0?/W[^퐇:e6 S)&Ӿi@Q}3_fiH m| 8i7wj-JH5EGt=f1JRQڐ^ 饯QSQJ<.ѠHa~ ;b|z:P} I k&H4w-8{Is+|g)u\=D8_蹜XJf(گ ~lq1kS'(ݥPp)L4"CUFcXV|{FAY۴3ïV)NYدjT(a:P)]G2pмf|ΞSh6q(v1o 9A M0q>@8!t~0_O}m@?:e Ƃ:D]֑ >1b4~}4xhM;-F >=WMx_qtE/qig IIH^4XSpS b++MH$}J̼<7Bd mϠ `\V# H0hZ"pLy NBrk;uQⰙ*?o{5ѕak~LBty/ށS'VU$_bwPO}|l/XP }k Y)'m$mEWO`[VdIcLjVTX3I%h̷ջ5f.' r(he,\Aw@\ vvo|ݘ PJ*OW,HJ X.u:!O?!r\>nD Cr$*1DɅ .L̩5w_(݋xER[:I; *#h [Sڴ-C12+;ӑcrߚrּns)L1D AӜ %I #2FR?q6CBQF(uf qaxػ5xG{gb Co;d Lyg`u^R~h:ncƓ0B?i>-ݯ $c1:C! ׻4j<^Iul1zxɖUXYiCk*:Ed*ald|u=ϊ.uKK?sN{s%  i[7pU,R"V "`|5yʭ>F??v׺5o3+cI5&|D0?vyGcca?Ww˲&)l'gQ 1S:9<@FU'oY+5qE9ilی`}nʖ>S~'%Jgh-8Ga`t6qɚK@kb;). Ɗn&4咩WU Oqj?gug뇜bqEw Qj ;rD)"_oh BJģwJ00ΘlwM`ƃ" @"U+T`/~e*d0LQs CG F] "33C +AW[dwYWsB@8wlI/pDQҊVi5㢷v'?4.t&!6z'<$`z̑,!L\L8R<# (:q!d;:`ƌ a5Z[c# EaRdr劃’C" ݧvLOk)+Y02WC:J/? 625KURM0b =?WufwCeIؼΜ%3ވZCps= ˏ܃4,i?3hs3?Qv@?2woDrvI R@uIj+4kaf54 >_>A>w܎:(f;#tML1j%_8$p* S$2`s Ply, *@'urwMͩ)820*KZ#6# Z}I&>>AHaKUN#9!Wnq/MOP^6ᖺf/:5?Pչpk_uT Q G\d1 iւFf3WZqD45's[;v0:JP+Tm /zDjKRG5`4Y$v7^@DpKPzxHs%6JF5ɗE:I-{c4G*{~~|ix'+cyv z8' z45ynߢG ~*|Xp9!lU#,/i?/l&Nb*snF6>:a'@.Ms_̍*/M;y`Ԫ*l-V~>U7aMהZL+V'ՠ%@ތU:?dP+'8kҐVšʯgfoݏoHm ց"0JhOr[Hr͒.FJ晑[S{s'Xm3&ue}(!2hIۿ i΍Gʬ/R F)fXq&wLQ=CΞ0M NpeM'OD$+vd8TL[b!(jv <$,YS K:a7^;8{UZ{d zP6{0 gCy!=%Eu3A#k|Q!8`{b*dn]ÐLv(:fg2 ׯ9ޔ}]}~0vPSt`@o 1S{Yo9$Jq!R%Gr.f7Yh u!pQZ)3Wgq-Q" _dƇ-fnQ[j$hMLjI&lG?J1p`mZd>RZ448 y$fED'"g> MvgMqݸl j]<5^9+):җ_ydSsIљ}K 64c-eЭs]5A `+^n6Ž=gβȡJ)Vp"/4lt=AuR㡗Xdxǀ !-ıX+eu!)MWwv櫶3(?LhaHW}{O^RLr-zO=JV" j 8Ej~yW0@O^Ө'kAx V XGP GoV,_)eKhm)Ft^ P Nufsn˯N}& cSOOpRÉ׸~;ZXWʞ|UBvBjdH^BTXF- Bˏt'NiFp40ZBD1O1[o& m{pKV' |N1bʬ$aKJh,҅@xq+nDWH$Nw4^IQ[U{4Gh5iI7^"7fl)ԏ|Ax$h7S޿Q6Kek⾽ծ)c.HhRv᭭v bŰ-=g=Q̕'|@aL;_,Ctb('f~Ix$@zk##I*oE0 y)o'13#69Kc_0a65s1_)ԪdF޲> I8hD{pWz6 cgZt\TVN=Ś疆Hգ.,Ρ½3a'Oo%4Քs&a3H<0pM$i^zK!Fҏ].qWz ,T.DQK+I{/KzAF% )ӓZ%vZ=jI&xJ[C0hE>U" Qq"ҫ7XLOC'C'rvM"VX-y+#^\Ṕp!o*zL4rE0:xe-ۮ&mË+hW;gOFS=#+a"r;Wb 3TrL7IO%pn&='d鴣PfneA(XGjg *.-Y+{ϟ?$+) OK~X2B^kEJY{eS/>ڑ;w1,5LSF$#ɇV1DO˞{Ye*hM g'b BlfU6bǴ*8KE>g)^)ROg*j#M3SֺvV(H4vq0zʰ5#CLk-jgz&_PNWo6y1Yxk0$V(ڕc*msix'#e_Hm4v."?q q(MK.4EƐ#O?fo>} 8VKh 8u^3K¸4~sQ.C=#sp50f]zҤ E+{bGD7Q+Y$TPǨ(!q0CMPT7RF ea?f\&U}:>8~: J66i !}wS搊C|^ͥxtoO~MA^YYS* ̇y0![],{`Eqn$k/ ˲R{iZl66G`{6Va[ŲfE"cU[\8@^sh8ORm af2C::XmEJd=鮥ߡ>/&GC#Oָ5acٺ ^17ňl{B]R@6k8YzqY|$⨦akk'4 fWU"mNr/p@ 1؎)*bϹS;-.fu^LZxH^ƃI]tP^8ۻ#ёKy޴dܣF5'OPn~ѯN#7Nb'(9gw #=\@`$T@9ZT=DS~RG\Gͩle?UX'Yʍ@.ݧ0^~~?-_7 VϿ]Лzd "iNv|0њdC=r5z& W)qӓc *-DHW'om:'Yӗs,#Zq-HioMm"iEwMdBH"Sڿ>TR${1RX0$ٍ-³:04.'@{鎚:/)P~>v3ԡGJhXRlJU߳];r)hǭ8wxک:gΦo,2#0_-eYg(ʍn[`񟒥"rh-g*p@ RiU E%OzfyύApmY4H hs[!s :UxemA{6`TSX!/*>$+@NK!Czu)MNrDP8 vܧ0ݺ}I_^ duVZ3G=BAIa77, ,"+7&<lE5w۟8`ӛ+ BWw<(,22Z4Eb;8{ nZJӫߌ51V Mc̱ignLcxӵnXAt 'a`y^:ǗJ_YR@Df}[)9z'C.MVX1۟PX16Aj*)6}?J ET4X͏t@7l@+y, OYlGsuoCWlrgT9ꜭyF"ϙ"LQȁta$;V6z,g#XK}84vO D>eGjΆ-ztKݹavl:1Σ}ۜUY62@qx{X'٠ڢð[\S^F曏zeRhXv]̞GDI,Q9;GQJސd 6oV@a=>E5'&(aj3 /WBF[&_MtFy]fs0VAUᗤ<!lj=̇Hs!GBe+]-Dd&Nt}MqPS!QgLo Kxa wQlmuBhj" s5,kT*LUl&0pJmj6K5_? #2{x/WŶiYc]hnn3ќb*eT`Y)*p"߄N<{n Fx<_9?AnT6 v-7ɭjL-Yz{sFz ֮J.Kǖ\{w+Tf;W$r@L}JbH!$Lũ ٴ%\܌j0I"s`TBk;[Iēf?Fp]26@VR"b^6󚒱̞d$ Z䶖jq]HZ<Wzr\۠j䈏2Ak_X9[3)yVL$fݟ nc੄W==vCBHnDJ5 QKi$Y"!mṍT’Q9G%y(=7'1Ɏ!)\Klr֡dXYi5K8˲2Uj\K+@C&aaGTgAr}s EWEtehL*FV_ CLfig嶧ɶ`p7pvkDdI$fU9\y93k[6INuu!܂xHEjw=!HeO[Xkkܗ0"' OhY|`o߳`FcJ]lY~yyls,pGqYClCsη!!w H޵znt=Κя*Ez/$0˪AOIY=smh/񠷫_}i.?Bf.q 6u%dے~ {c1.ڙQ˵>T~,ΓܡlU\,{ J ÖO羷.@y>x$yⶄQ^j<>(_1Z]7+Q!OqS젊Ӯk9"Es̘ !Zbz!~@@4PVΰratL(YbaRmГ2uI|& Oo-;ܬ)6h{1TIqh_}d2zQ?wkΞF971'i" %D N,4vl5Q9e~3-0mE'cOXgdV\Q~kYhFv5Kv HѸqvਏ!_yfAo*^[K4(.d܇ uVQ ay wЈRm%v**QVm&!x!f޾-A[í6 %'LmwK@Ϡ?"~O"x$gqhbKsVZqWmjt9F!6EgpLoPbC' [Ex$#ԛJwU.I,]n`M}a"o>ȍa _dHW1G' %7_\~ ]q2\Ug"&QVH{"m 8$sȉԴ'3D Kx,' ke,+8^oT: z ʧZwWڍr +>Co%֑;f?PJ$$ 'y܋!"K22i5w dz$E䃗1-xk^&A]=+rr4yݘ~ YlLШ;I>47ӒoPGBGr<]gɐMǣ5Kݿ `cIV:蟀\zO[H"]lZY?6cvu 2eOq \Ql25{L0Ұ%Սi6~mxO ZY2ai-7qQmmA|)n&˖p W +ި@^BT' /cgriPN&5EK0MtV>'d({$~"^\t-X(pu?'0@7jַcܭO !|G9(jڝSNlݫ"e; gpQmq蝬EX>46Pj0}`rPb- F< /aۢL^3W%_)̠B݊҈9 <(?msOIQ#J)d>$ [3Q>˪e@) ᰿[ ?"%zX!8=8^ T@3FovνaM)F^ ,`^EFN0vU!=8zb7Ha\A1T T0K)VIWL`m\_#p?CN8"c6`@EMCK sEN -y*БDAsuAO [r%*o$qҀ0o;>V{;g'̹mapt"' $uH9NS&#eea*Bѧ.`o À4'j/zsK5J𩑼MҼ e ;oXP iT}`y)öj74%q[c,5xCb7u$QvviyhLMQErՁC$I tcʍN~JLWhes i[64^PlnE)$?59b4/bՙ 4Jȉ8_HPIEw %֨ah'A]G2Ff`0 ln l(ӯ"${Ґ)1n`7*2|mqȞ_ǿcIv\3Ҷ.hrs_Pcrn;){l&,4Q?%Uj)-kʋ6&ߥ<OBio* h_5^. 62J"Ԉ_#j!jl#W䰤c l0u(6FO% Rc^\~GfFfg^b痽m|{*c1{ TRc#?( Up׳dɭ(\^pw:3<[ $./pͺG;ىs0J?>EeHm\?ˇ䩲,齁RrvwJp2tON|BKҖJ3H%Pvnƕ/P^Ӛh}Q/nLRYyu jZ{ԍ,cKqe\3aXxT‫s&l?mpZևzy1  m J4*(cF&Cf2Xܑ&AT(N5&-BjG/X~1=ڐ^? \K.2kR)/1u4ȈX{:GWu f1)w.FJ%;m9lx(3zqݨqG=zqַnW^l;:HgD.Q:WnLr0 {.)m]pSXRv4@g꧗1)V} Z+`>ʚ'_XwFn`V*y+sMogp$|gFa/bj: W9uQMiwmh8w^DvoJ`=Z8F(X9ZvDړx=X 1 6RĮ7Ý`  xFMK_S!_pԖ"6%^ WJ@&T ZZ@`gl(D/s?I ֵbM) pP7E7qOvygK LܼIv M4ÿ+ֈ T$oˡnˆaH ~ra =mXrAL; + @Cz?i8:IzXL6Hw~p is&*Im!DXA>/ -ȿgO3gtb /MjrHp`9 [m?+m+u*wL.vUǩn(>~bNd&,۫%R^HHME)'H,{mGad00bgC[;ԛn= *; 5YU)3z/f F`# * 焗@8.ٝ1#&5:%AI~,Cȇ(f*d|x:gJL4 ^ tՑLK؟MjYyM}Rv!(@a,> \“4s|^ IWhyU)fg8DIR2:2ĩ۾Eƛx Iy(C_eQ(ژ H%>=DїȘ8ER-qAidmCtK;޽ M6}|c89SjGלn2`9 U*`4gm)Y|vP\c@6ˏdVu$t1M95堳|oUp C6\4IJyC;\&|^N+&x[q$p@tlv|z9~=H(#Q,xڠu- hjHo&EʕիtotI.@"/4Υt{)#IkGqHJA'KӋgʻ%Q!ͱuR rIPW"9_;d[4p$ [2.RcʇM[B? Q$DaW Ll2ꇊ;EyCf~I&HrE T)DOa*&5SѳzweX] ǣx{ş$hD=z!{;ܐ: :Kw#~><NL)2fNN41\lw8xVd]`Un%!G\%S1ZGo <C ca+)(03f8"ov(O&)iupxʺZY2@*V2az@>esi`@8Vk1 )d^&ԬZ[sk5OXX-jNK}[f]Y>K{v )*$'`;D [C٩Ws4s̾bIۅ2QO̝5.j}aNg8cSy ~a V, jX+-Ԧ>+t򼚧}Rd(]{ ƙE9s^>B+1YU>suQT =L߱C6ST7Q𞅷), bld#t^F~[jbFl:VH*IoC:8ꬠAuac5O1f^F p.)ӡs)ŝ)cU󳵵~]#`qӷ4Nȣ,wq@ /vSJHMir[fݟa!?  j"Ehχ&iŠӎ 5?by2YH#Zr/K_f~p=՘jH*zy'P(5}K;Ԛ%P#P"$L4=xOn&堦s'VH7} lqA!:Z҈F֭}-ojs436n k Q85OP,C$Ն~@ȓJ1i;oE{sa= J7O&ԭ'U\ð5ahKl3)۷䂏,ӛDdxŃ']j: OǎE~qZBrtpټ]؞溹ÜS DJR(8Pl~ª`8 ̂\I1Q6zt/?- {۹\5BܣOwC΄J5錒;=4*rS[]Ɍ+[gPS7}L}_j~9Cx<\{Eim riL։ ?AB?V(l*,cڽw_rV}C/8`BuR3qCP?OVou;׽]цTe0N +-q]PpӰ>Wau;9_u?RTdZn+*l6)9|3.YQWy,FKDŽ ?g>Fy܌#!ȝ[# 9!mUԀ'.e@J W j1Wuc6OO0Kʯ3*;tq#wʚ[k_/.Cv4)jE%_6hԕwK6X8""΅&F1sp'ų+hCڃ5*mknZOE3/خ@1SILϓT #$!HMCYrSk-ypiVmEKSQB>jBM:]NWv6G wBB )]jE6IY2w2 WSmLN&HVQaL99 +h7MI_7/(]$n]IehNԅ'"=I/A]s aI0q3 E+lKbA nnTw?x HwFH@P?jk=C^<ʅH0v%D<i ^<, Z&Զ 1/0jƄiɼ(>g]ۗ;gNs)V?aW1򛰂Vto[fI1` }УO`}}`Xkr-= DJ%~E?ה"Q url'IS2GrbVvJv/+{DA.P:D7vJag0Pow}>14&yl$\Z;׏%V>ҜmM YC~T]lr/VJR,ر';g;8rA<# ЍS2 p:իkA4$k1$x0(FJWf0r>8Kl ίox {Ac;3߲r8)p'ں/tF F8paGQZ=LXX<2W:.j4r)Ώϯ͵usۀ{/HAyt*En'q3wX?Q 4F|;~:xFe`.I ;=E~P?'r-SWUlZ gB4ӝN^676G|P&.7c)R'ݼ3'#o<:,Eksm/=sh&=&0g9]E ӲDxR0uU/G 뵎:$d넾M o( rbv5g۪3L=~T\^O!qZmedJtSrZxI # C ,Iw[o_)T{=l\4t0kR_#{ Mr*"GIft6(auֿ'P|`!"ŭA6 +!ZnQ/}(i5\6] ;rn0) x4q RXJ.umi5/VdV|37{cF#/WZ,DJd0tf#;0YZ q(q |%!\PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-bafe319bc3a6-1/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4z # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O貟#9j"&J`@Y*pb,ճ;{^p|`?HA88-HԼ)aaXm j:3؇~wb^rxBuD8é> I5ےD(f`egnd ^5 ttVe}$fJ5 7z`Z~-&6d v\MB\%i9|e춏J MDjSV "Ύ"hmKTUN+P],筎ϪF )uw⪊LDBHgԴ^`w[\\R *1'^fT&s>yQWq~AN.0\tV1ۦ1E4 +AO48l,~ 3n"Y@"rƾZX_Jt @:/|in K[˱xDaPvU Z,Yxwll[$ k֧d"121ynXT7աq+;k vs?*A>T AD^A=A[˽쳼7 Xþ5. ֆ:I! rLmI ~&[m]a#K\culk&IFD:+_W9EObe%4o,E$u㪿FM9L~PTf8WT\uz tp+,;/ y[ȗ޳xh(A$xq! 6:luIQ9ZfĀYJIr}hOA).:_;HPѺxLQ%/!ܸ&5ݣ787f)MJPāu#f>aA$FT]8R#yWzr9>_L''14uE3 57esArm ~SAZ{'i:qKzK- d#鴒'd0sQrKY v}UBn sm^B3m\$JυN/2rm얭'ShWS\mGrL sJ% XG)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]@؞_+j"X&5KDBM׬u%g?P,D4hÕ;XO^. r:S}vn|C!1dbb(F F)y%3)c'5G*[s#J_.3-99"ۄwʐ.|?K^xne w@A2߾Vr$@͡ XSR+>xW❞&( {D;+j'%?{߸e`%ȫ ڜ9Bj A%rnjy)|J &k:mXQNɧ( /t=E(&I‚xkAw%+$eRל,:sqiځi Utq㲠h<lbz4ۍ$2Nuin5!&thӦr/mTkfkJ8CЊ tS3z>[mbw$ަ0֥hf%+K E.A|~=qa8Xל~>p{7 ZI `\-oW 4YY&ty~0TH7|bi$|kAsǝ賏OCL.V} K@͍2JdC$O$T^5-c(: tFSb9$vGRܺNBmn[+NdVtl:O ]*seN[\>sW~ ˕$;Y0tVKCBgQX=HCΝ>S fݒj>jYPu]X/x@1vKW<+ I 4J8y~UmH"lEƮ 3~.# 7S(Q>#H_En&YRghk]ìe6yپ'r*8v9 yBYwsRҾǕq Y{\pUӛEdbW(ޞ |Z-4 c9#]53..Om;@R-1f_o>*TwRQ=s M8,< 0u!}Ko IGH!'k.O9ȵ[ -Bl\A][{!rCDTh{5OZR͘z{?dߝyg2^([ c7qRYS'#n5@'ޠ||^cz:*1GR%N*G 9QKύ OXEբBf;{&g0 ]iA_ VR[u$*0VnZ4jNl'.KN|ѵG=AMXNx}{mWe^Ovf9A>DtSn1:aԓ 'p}Y|VrWJt$ }2Z\m<]o, ;̤_gj*nhcbEYH?L+iy8nq5EV#FrC%"qV~Hf]ߤʺNbҼ 1q}QK~Fָ5ls9a6bY[+h//p.6*Yֆu9[ RJocrF$PoƫlN7DrT =`xdzI.t{ X* 60)tc|}eM h&˥ä`*k0y *9㳎82zx^zBTԦ'Jx(,)M ׵<,m )5f僩D:vPk6n#"wDZgYZGz֮g0K@+FN. 9ZP!cRӇfLAyo/NA 왛6vWD ݧ,w9ұ.:e|i?CֽuvG8_]mX576[v %M0lc7$+ϟ%Pb]tN[Rv1vcm7p `HkՓ[w3.h]l")I;S 4N\}s]`s683L_!r^$#[qBֻN%ѦO8Q{!s[9[u17{E@73@j0Ŏ[D@A1yOr{+]D!H5[2j&XvH:CV s{D0q#Ϻ9i̇''OIUF&{#/Y:OYaOFҶ9n:hUKќjl)]\^M;ж4^"eVl#ferA25ytb kry8{QFm0 beytPW3V`G|CvDH{A>ֈz U;|~I.HVaQk~$ΪۼQGbMzߣj[1EE,߾mFsm,BheDk&N0(~$I;v(384-\#}'Giiǰf6&;dxݫy}ݤ]3-'^LӆB+eg2ST.t@ iKb̧G!P0 |_WI23ZfݷDM2P8v /bgQ0\yܜgu=[Hwb~.<#,>Py3O]c$ḐK=X`V9#5<~K2Ƴgykkw(R;N@eAfu~5Aw5+R~B@$CAq"rmC_)S-l2LႍnHZcT(&Y xg,0|:H2Q Ovz-(a.@)ø[ g* ^od$C/vEF7 q[ΤMGąypCh2)Y鉌s"B(`h Q]`[dAZu?)㸕O1kB 6#ieLaH yMhh5%$!9tDwÉꊈS{g#)-3aLԃ;-0u^ "s{IB(bTV*;me(DB"`#ߴL rE*|(UU0XJg҉$]T?SPl& оhiS"L,n*2kk64`$ؽ`>eF;w"tEKp5F*]|n,eC%.GɌ\7hz4A/Q;zGQq~wL͋Ѥȑ9h?pɄ:=e싶Q5JGEY>;&#IlަGIJrmkc%xn C`Ϡg[@ %#ͅ4>{$6BL2hn𻽐 vie;GPwk \Y]6d^:,QgPG \6~'fe~-@y ؽ6+Ftݘ[)Vz2 K1iybٔBvRjs(/3u59.)jgLAlVUћEXwں[9c+ǡynq V,= xœ  Xm 4Lt`-szLYQ~<#4U9A/H6 >ۈ~d^lixX`ׂ~r_,_sZgq5_ՠw*+L^SN#ؗ{j DfvC_nJs] YO ÒUo]JCtDNJ|+%Bv''5xatF@QGEyaL5jö?\Dd r+],}OsR V##^KjC#A6j"LWZrCy-3(¬|2G{m0}\{RП#uMw7 :ҿa#Z wK&N{AcJ[ڣpӧ*EE$aⲤ [P%a/7 Qb4'{{+D|w-[NXcLH/dz*NOq|GEɂҮ}GPug`&'q=J+QۥT꛼dT0ke cMۃ.RZ{^ g/J:߀gxT赨Aȸ7ZͶݵp]9fq8AJ`RnB?\c{T4ar%cG@$.K=7[Q _ZS}7}=ӦY[c-^ZW؇&bEF̬Cxrf *n3ˆq@B!FШ@=Ėd9м`n>l7<ʆ[+*YPLE_*:%BTSDҥќKQ,ģ6p FmY*0&5.)79[DQ$T\bT3G)ӜA/=pw2DakjhԢbH%P^6W_=Vؚ/|'r < cG/{Wtl)f )fu*f$քW_-)XvÑZ*ؾ;j0JH;#ZYElPO" Qj:[D!l')vgYZ  > L > '' TPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJ!Cϡ3{Ï8t 8U^)6jG2.ߩUȜ>"[-D}\q sT]pqd(TA$T0Sxݱj|S!/VsW3$3*"(:kbquj8OǒJgYZ0'# $PurePure.SessionsPIDE/markup7zXZִF! J]ˠ)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ǠLtZ MB}' C{E>IN+ w0V/9jG Z))@Njy'(|#34@8ДP}y|m5\ztG?Hu٩+Z`e5ݩ8>1jzo&8q@RBZ?;9$D1X?xul|>ߴ,QȮ"aX%y/$mhɜ=#Vzh& Y!DL}AnYtiFp=#2P=/.SI##-]d*5gڹRsrKfVl"dgQ'…bb7uX)PX?G6(6 yS- ]p*\W5,^ -|jQVM8]\(Q';l^x62g-*ޗ<Yt$&Tc(ht$Ӄ~>IBSMHdx` \6,5 j@U?MVT m~npiuD!e<7I<G8+!fa(ac5mS{I S{