SQLite format 3@ ).K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Ip\ ] ]Pure:threads=1elapsed=2.041cpu=2.135gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭ(_}CZƩj|/81)PʷQʹFv,kphJ 㸙}RyqŎguR Sʘ)WLڻ Zlt\Rf%"$k\nbDg#]V$).A9 i/-$ 6e^:g/qe>A|X83K3Ҳ8V9q&/;1Ь&!2f}Ws/#W!r"kc w{LG!;hw,q! A폐\Q?q Q @?xG1r{@EB ѝH~T&ootPPp|Q(+W<>|eFwRO fHw'l̃*+5gUiOm@CQ"᠋Bo?Nqz-}׀ -lf-o7@3j*JB=A׊.?p@zP _}›G ?/ ^MiQP7t!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?'y&urqki b Q B 3 % {zVM4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ E>. l$''PurePure.SessionsPIDE/messages{"'#PurePure.SessionsPIDE/markupz!'!PurePure.SessionsPIDE/filesy''-PurePure.SessionsPIDE/document_idx#%'PureML_BootstrapPIDE/messagesw!%#PureML_BootstrapPIDE/markupv %!PureML_BootstrapPIDE/filesu&%-PureML_BootstrapPIDE/document_idt#PurePurePIDE/markups%PurePurePIDE/markup2r%PurePurePIDE/markup1q!PurePurePIDE/filesp-PurePurePIDE/document_ido%')PurePure.Sessionsdocument/latexn%')PurePure.Sessionstheory/parentsm$%)PureML_Bootstrapdocument/latexl$%)PureML_Bootstraptheory/parentsk)PurePuredocument/latexj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/43954g%PurePureproofs/43950f%PurePureproofs/43946e%PurePureproofs/43942d%PurePureproofs/43938c%PurePureproofs/43934b%PurePureproofs/43930a%PurePureproofs/43926`%PurePureproofs/43922_%PurePureproofs/43918^%PurePureproofs/43914]%PurePureproofs/43910\%PurePureproofs/43906[%PurePureproofs/43902Z%PurePureproofs/43898Y%PurePureproofs/43894X%PurePureproofs/43890W%PurePureproofs/43886V%PurePureproofs/43882U%PurePureproofs/43878T%PurePureproofs/43874S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43688N%PurePureproofs/43654M%PurePureproofs/43650L%PurePureproofs/43648K%PurePureproofs/43644J%PurePureproofs/43640I%PurePureproofs/43632H%PurePureproofs/43614G%PurePureproofs/43610F%PurePureproofs/43548E%PurePureproofs/43544D%PurePureproofs/43542C%PurePureproofs/43538B%PurePureproofs/43534A%PurePureproofs/43526@%PurePureproofs/43522?%PurePureproofs/43516>%PurePureproofs/43504=%PurePureproofs/43500<%PurePureproofs/43494;%PurePureproofs/43490:%PurePureproofs/434849%PurePureproofs/434288%PurePureproofs/434247%PurePureproofs/434226%PurePureproofs/434185%PurePureproofs/434144%PurePureproofs/434103%PurePureproofs/433942%PurePureproofs/433901%PurePureproofs/433820%PurePureproofs/43298/%PurePureproofs/43294.%PurePureproofs/43292-%PurePureproofs/43242,%PurePureproofs/43238+%PurePureproofs/43236*%PurePureproofs/43182)%PurePureproofs/43178(%PurePureproofs/43144'%PurePureproofs/43140&%PurePureproofs/43138%%PurePureproofs/43136$%PurePureproofs/43088#%PurePureproofs/43084"%PurePureproofs/43050!%PurePureproofs/43046 %PurePureproofs/43044%PurePureproofs/43042%PurePureproofs/43040!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/431387zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]k_-|R-2??)`ySn쿹gYZH$% dPurePureproofs/431367zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430887zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E2r4 v"Cte:bGlWgYZh"% $PurePureproofs/430847zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wp r}DLrjrMn'0gYZ4!% ! 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/434107zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433947zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ՂʭgWU mqObeEeGA=igYZ1% PurePureproofs/433907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433827zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A΍&RB+M@$C! SgYZ8-% DPurePureproofs/432927zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i~E憁<l p` VgYZH*% dPurePureproofs/432367zXZִ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_|}#G&\ɪ[H]|ϨCF3NgYZx&% DPurePureproofs/431407zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&la1 aF(X'΃gYZ  +   ng92 B% PurePureproofs/435387zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰs鼰$vJZ| +L%3)Hh HagYZA% \PurePureproofs/435347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPEc@2:lOF?J"[ agYZ(@% $PurePureproofs/435267zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%_ &!/cr =D?}hwY \gYZ?% dPurePureproofs/435227zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט8#u;~@=+:JmIh`H j;8gYZ$>% PurePureproofs/435167zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/435047zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|Laz|/H&))UTTy/n`z:;^snb,DgYZ<% TPurePureproofs/435007zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+ԁ5}}rs>e+4 s=gYZ$;% PurePureproofs/434947zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/434907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+iЭ;$% .2gYZh6% $PurePureproofs/434227zXZִ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<^XZ T6Ú7fαgYZ4% PurePureproofs/434147zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /H)*IQ' dPurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E4.`S4]NwaUDaΣ;K-Ѫ _ʠMA0-P"a9w3>6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6ʍBY`wy CNRb xgYZLK% lPurePureproofs/436487zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&H֕hWfg'뷗ڿȱ״a`Xem$8 bq*/ P!Um>gYZJ% |PurePureproofs/436447zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛw]m'lVLR=<_rG-']?]QS g0 gYZ\I% PurePureproofs/436407zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z.ݔNmgYZXE% PurePureproofs/435487zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUor:#pǽCN+jĶgYZlD% ,PurePureproofs/435447zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^LQ8WM y- BgYZDC% \PurePureproofs/435427zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zYPIŹr$/Ңbʽc%0W<1qS.Ny^׳ʈ "q%իaMgYZ  8 E8aatb% ƶ1bXⶕs_|찂5G91.fю&hR]gYZH`% dPurePureproofs/439267zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E~OpQl{{]W!Σ*lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439147zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/439107zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/439067zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/439027zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438987zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438947zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438907zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438867zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438827zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438787zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438747zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZER' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   ( I[0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZkh# ,PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN:ev&6w˱/K<+jJtQiO=~5A[.I>GqIh5|KEi 10! .ufMdas@̈ DW<ۡ& ".cKyȬ̟b>g`ɛr0Yҋcj5=t7u殡mE2 7M(]@.{1uŨPWp3Lه~h;JIv{~k.WcU0~NNN_:<@n"%Fc=1tP&v f$½ o;!C5Uyҥ`M/Geg04B aV.=kqʺtoK;Q2 vAt۞ 4qE? y?yΉc4j6ZNi~K=mݧt}} ELE枳g*'Ou\ #8`5"6B^Lᷙ&l4 @73\#^YVG/ wK?oST,} T2r%AfEzn2Ԛh 3MbKi]U(npEvҕEqgܙLU2r9!ZM ngu2 ߡKfIL^2(\v䑏Վ:Dōc*p3Ԡ) |ʷU_~]LN<7F׻ri 7. ̮޹REx`H:tcTI!ɍN:El4w(@D |_R"1N1RsJ >Mlh}xw7gYZ\g% PurePureproofs/439547zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoY'KAT`icjĶgYZ|e% LPurePureproofs/439467zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g8XֺՋoT) {D9U>,gYZtd% 9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA ~#)v?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ;fA7'L?C ϸ_p~1m3 PuYn&^B1VzvɄ iD6!,W>|=cdF-讲az$v񁆫%5f\.re*r76]dBRQWI9*(#ZDƮ Q nWp5 u/N? l" cI_r|L\ڽjgjYs&S6-[J]ppוF?ȆQsWn{X;@+,# /uk 39kD?I-VߛzDa* _N"Zqh~t졁+sxS.M^TlŤHa# sc;%קfZkXS_p,"4o9SH("=ҼM8FefZԡ?# \E`e*Z]=m3Ip Sh#V_(s~H 3SNdBBFCwA=]mjrBbDK},b!#u߳N6jX8qgn>}'lB.eHPAFQV,i0gZVH>Vj~_< ɷnkh|Kz-\.pI5hc(h e"E9(hf{ DDžpw8V0ýl IM3L8<3Vm fЋ9Գj!Fr; 94 +cLwg,-^,\:8iUOsۢoW^nX?^LkmVO.0Umq-pHei@$a|4ڞ=q,DYeGӎ\#JKR|ƫQ&&e$;!fl 2r[ljBZP)qO!Q-$]NUX~V'J>Ʀc+ZJe4ת 8`>57呯Kㄿɀfhi)i³muq!bDElbO@B`$ n| 8%ESX.[Zޗɻxd=ʽV׳ F^2nS5=Eڍ1:]V Ov*'v${KR S 6⾧cѠ?ĨVRh7*^y=!'voȣĚBPba$%9qGW05Ae1e?׾k4*3ә$L)[ b9Q[aAs`7S {7 ޴ү~ Kw|)xud6t/PHԸ傍5:̷O~C OE %wrmD,LWsjpy '(=mE )#gkEWzn.F6>jXK9m2k5Ꞁծ& J`m(e/nS17]ujFRHyc ]o ΀R);m4aЋ"-QQaTU,5' yȏK VJ-:v6N &Hu}/*8y j ]@d >M59F`I~SU\~eQY4HS 2:QŪ~lU.y5QO&a˴DTDn*"]ߋ~K+@s}^KiInr[fmp_z/&zV\QOyFGtAJJPo*mJy }o엃 X-xk^.4s A(v*حW&ǭ6^ \ђ!MBg$-~ʊ϶d鶫, +qMKd&SVrJrDTOWZ HEOG*3@jV8O_g{z{h] I6J=l1.:@zd.>&;eqE4rA6E#+06p|Ȟ@Bfy|ړOa%֨8f5n R˛sdy)-%oS_7ww0JrJ5Zh7#F@%ÊH7=p٩pPr/& 6BѡJ`A>}"dpdң=]ٵ6HN ` 0_"4GBC *wJӚ!IV3_--x9]չe,IV8y,ncQ&"qvd*v,aHWQ^v2j2 {vB`u TR=o.;'yU܉]@ooBM=Ĝ01/kՑ`$;G44t^k$O^'VcǗFzV Gc@ٖ D]*$4 (-6_UoՠASɁdh #bL>|XU1"rvr9p>ec {8D K=7tjEP#4E[N,UٰO"R˪?,Y>< 2tl]fbe݀8T&Gu0hbSM\NQR?a!"ez,YP:w?CThJ:EYm#yE]L䓤;V$V,{ ƊŜ&̭k7Eb&Ջ DFS9%iBze+=ĩ>8"Q}[Л#/S}.>*:10aY߂LԸІ0YcI`[iu0"g64MY5yj׬ؚm(2TXQ)ma &)z7k95cpLQiF"Yo݁wqDZ5W,աW<> oz`SB5'd/{vpaxaW@b.~T z.nv?fޑMYԣ NYc>8"w}{ˑs5{6 9)H]&aWT:),le"\8#Tuұc=uoxxSe{<2Q!zhapZc2׍;&pN8#gz ?hnp;OpO2,k t+E^R.~@?WwXjdw$--Ee/.zd;@X_g>vJĿ@( h=}CUUedXg - ē[b8! "G+-UuPقmB%?.Ōt5s =.6 uS}W=9HZYě ")JrrIs/FݠhL9kb<qGg7&n;;fєd;mJ1ehh/#(7/.B7KUR6V LA=+g2rށ2~(Jl0!xGC"M?{df~pl޽[a0wJ F#!?!2fWc#}4 ܚxZxe|ho돥H `_}KGGa<3dK6% s=m%Ϩ=l1;QT[w9/7?-OjX[iE[>hO"V7)`]nu|>Qa4)NgU?2,tTF>v &af()y<80kQBV;hM |ߕ@OH/O%=E|9ZTPcwt FJ7"W+exb&u=Sͤ(dO-NU uGic&8jΐzU7Gvj38o6j5<Urp1`k3)fZXtJe(7C}vjeRJ 6%?HMﵘ_k֧>1-}pEXᣫP7N,'|5uX!?r^|QE`hIܹnV<"oiƟT}*4t5-!ؓ1'@Y:>u~X2V5vݚUUvat/!]xqW} ȫ:{o0dlL];khS!A8ćŚƑo,g(aq ~?&6v Q}S1uTnKߘoD?I#: .dSa?t[1UITrGG GS\S} f҉8]$/ekx g sh[pkx,7`D{:r .s.(n%|5ݟm 8\|i*XI:0fU+kn/}"K]wuNK7j8υ6GҨWӢ7CI,Ŧ9~ӑ9Q^:gv!#k*L3 hBH؄?pcz=I#8;E4"7 AsyljFntEMpϗaT R4kNJY <9w+_\ ɽ2&LP(Yއw.9Vv -XMUp)|\`sM%Gv/SmV=mgh:{Egݸ\4LL{֟ùb qewQoT|)>v{_f^xjd֯^tD; ?`{3P #vDr48V H77hc=t2-,ڮ/E f'~jh-u2F?=U|_XH/^x4ȼt-,"t^a3INM"< &r!~&ŭ@QϽ:uREX!哒@!3ېhl#.e( )wa9ezPƏ4v `oD﷡^JoGV^;$E~yΞ9\"fa*n*z5 yhL8m%:@QW'csv7H.,4zIHJh88}Vg2+v?vgqjAr%0j~HTY_|,8י57PgSBO6O=Yz| ~ K A-d1zBin\}p6K(c"4:G]Vl15q8T^LyOnxf~I$Q^e_ٺC>edpB( Lq 3)4SXRa59Xwdd.U,9%&X+瓏T(FRUȅ Uy&v2ƈO0kT6ʤj;:kK\N(sq\ǖB㽬}@)ns߯lXŻLub5T,!2{ez6ڻg$-1#>ɅYOUG-&^ .Yj4Z>r<M >k5IPKșilRxO]9|iٽk7h1}dj+WϨwrXcln ٠# uIuADls!| LzjŊB'k ; ^-nKov{=a¹DrWJ?0NE_TA?/ꋄBVEUaQ뵬-GӒA\RމG [d(׊$ C;K`*Noj|b6l_)e=$܌Xg%X_|BE ua#ZCf7_]gwf撩Ă:p-1EKV;#e_fw UX>= jXyET(ݑ96DPM̰CӗUr˛>;CP (IГJ» -ae)=iU^b:1/x?fE2Lso%⛖0\ 91;qP#HQ kd P#N)"RuIVm` rD&3m j%Ql)Tο=ZfT-9\h'Weֻq$UBOh#]K 5a:d~$xOt>8:`$b2=Ie|5ARFkZ*+ؓ~1cQʮNW8kzPIP SE' p-Z%Brϧak#.FU%ȁa~!?ܽ!Bsbi$;쫐SX )N33r3Qr)D;L)9pĩ C\^Uul$Ma*x |aPD{ŽlFШoF*)6vB`H:bP;)/_QTO|b{+/+׿ɶԏ@۰ZW_,M/Ձ́I\CL y wTr')j5%9GMJs*Z83{)4ea%00YXR o$e!5K]{i=\/"2 {(N.(81};t;j+tZE{, ,C*&9"3 >tlt"}ww3(9Ěҗy,v0bo01GZ ς)8{^%3=W;C𞔕I xvw6<|q:_ (Hcjb;ԣ`;]:I;É<Ok+6YP*Щ1%<"" K3+7_OkTHcDú+c-Tߋp[G ]uQ=FF_;m}܃m/xì>#BQS~i#Ymsh~Cd־68Ú|jKd?Myq}_2~qokUO-Qfvn:߲w`}𴚙AВʉ1|086Vybt}6&&Aq|vRJ_p#*4݃:ԞT@vjHs0W|`w30H3k m2D1LGLv=ҺQ_S:BƋ+Us۠m1N=vOia A_|Mblu8Kϙuoks[ +?bU0 w#a+ .0\d u>Ʋc!-v9ՃrҶW hUsTm4_UWq 'ҾKr1UM:/K9 g|M[% M"ȪŜ]na47رpW7RӐ4w12/rQe`őHӁI1FWy$AM9VZƷO98D|?De)2;H-p˂_/~C-Ͻma|[-ݙCHěDǯy$ j5l6Ǩ5cXї[O=Xj{ޞ]Q2(6uFۺ~(969-9P3'iפyf~Ft鐬=LVD~{ىiql 30;;o +k ̊T~jLnE;z(K_',JCJojN 1ßh5rZ @7tZ! _ǣNuB'WKt|p?Ɛ d9z餉HjE%nCCW,zA𼇡*ƛ3_ЌEȲ? 5IGf^n7}$ /}޳]4X$l'h} jɱ3 I!Chdt`2'foUx`PRB>A^&&TZȺ~D0LqLm^)??{5t-<'uqY"DKC(ӝI1M0QI+. ҄C<#m63)h)۫ >G:= ʘu"VZ.y<' 8 n mt"V[ e"6mFN~4(%1K\syxx2J*c`+iDHߝ -3;HLi4A8 i(/_lLt ҞYrK*uI=buytu(2OsZH*sߵ5745kL/ѴcdiOV˹,ϝv7Zցbg}kc"t} >U'/``%^~ӒfD0DFpVMl@ڡ0 4ɆQE - %ȥqAv(g6e Ii1ihR=bM_%{=b9XB/=޴TSH}D0}?d=1^wz!)w0FCnZ$b 8t~6\K,9CsÂv1cNiKI(f ק/`aGD> P6&>W \rYe{SFftGW:'//s~iG\~fYץ#cvd4ƩV]U :Gдo( (,WX kEB"WoFߐ,ǰCbq4*z'XxTW$-l e>f؍+ ]BSm8PWt-BJ8 v42kDԦvB#hbv]$=^S`OD51d=2MoO_D +.]9e"?ӈS8fg0MF l[2d{ϙcYݰ5tŞ^/sH}~aY(D̡CNZaWkjt9PS׮ :ي8T+n)aO0s=Hi敓;w<^abi4H,rcQIc6*MPfCi(ART&u G;/7_l;w<5WϚPÔ*qy%B `uS|$.D.ўItJYynAŠI1lTJd]'иZld]XW*C? AFMdr9;r><>͝ J8?Ƽ[ZQTCZz{ډrn^>&O޺+.;1]*dd cjV}ƹ|~uO ۚV+rEz{@iZFՋ>L2 JCt5{M"n$;k7NDZ~j/aiˈj60iY8j⼆D#zgf7_`TbzYT;m qCQ3:M[CuKi0fBsr}T[x- *|椣UI} ?EVnэ,{T(% Е+I5~.#D3& `P|ʢSH}P'6%9!L- ' ӎC7~JI9.!΀ǓHk Kzg!X^AE2U$E% c4aT @ "qi /iDrz(npط*Wb|˅芝W&Mw"/KZ xES=֜]O~8Ɏ"^^{)r {w<_@ݸn<w >mZsq c*z i D]@bxA]6f fa+f(޻HjtKASs)&Z7Cy"oMP MfW[ݚrB93 yr5 ӨEj)|tjRrp'5_ax5XRDra$5m\Gpan2Rz\F")4  Jera]EL4I_e4:m?E:4.h#?7Gj5yJ"ٿGi&A4ZLXeNر< {b&5ub܅anc H?&=uEtI8JCp|n_o$D]{sWmroI %2CKKAAYHIL6᳂DZ@$e6LclS3u4& _W"P]HI@zv٫+#|O?B=  UmVyvAh--d_ɞ27_⋰m3 }P"z;0GFNMS]g"3B=k|1FG xO*D^ C#F E {c0+}H\ WKߖ xyDUo8WI!iFH9`Z2.rXqE X7}πs:܁;]S‰OI Bh_aT0CV+oy:rK/u\$yZ %{_\]uc^)<bL';AcA\\'9tf4# 9L`LotE'JM$ I&m^fcp? \-B(u,!kb]̅(Ǻ;Zհdؓ #Qw&n!WljT#4gtWT$LJ2{%xھf3,_vdžNc/$gZ/ ].G7|K|4Wf7t).)vyqQ,.e$ 7WI0ۍ/!k,=[bW^uZ񃂎SH] { mv*3}ڃ1lK-9.kvHC5UgnB6u9r-E :Weyoy{FGXd Mӡ(atQ1DL߉!.%gj˘% VWtY3ls=qkyXaؤxw dN_(A~%Ipml?Yɓ 1Ѧ78ϑE񗎎lO2.B07[vW@t·5=,҉XqΙ#j6C,y/w>l"jg*cXS'7OkTM W $ b͙㬓[gܢ 3isTSV>\^GTĂv$ ['d̦]lTs\sb*)ݽ4*#z}/;h{`9V y |˛ 0<2{>݋y q990Gtydwř \˧j7/ :@VJ֕zHaE9HJ46揤T1|!VlM;z75MGix| KpƟeaչA>N-;Hr*pbAec#98n]({5jpn60IŽ}YʇO!k bݠsƕ"3āL9 V~ !cYƝiUozp܊1 )^9\!%?,|22 Mnq4-set̔aX;ڊ!,8<72Tvpbr0[8E`& k ;Yf.\ӟub鼣]gߨQfSpG{[J5 /)+^6jbâ6׹=_e,UaY?$kb*.8C|ɔҼℚb\2 uxOѫr\/KzBL+E 4]Nяk<븘rhbU,N^b:Ӏ^(( kT4Ŕ-||VHtBq6**r$:qN_Џ2=O'wsݣKzꤼsFI5b6K~5LʛWbzu׿ w:7Mmfj3?&G&eu1 _wkH%&[͆׫Uj3f6|b9Ҕcϳ(O1!uyo{PU)ѫ#,М^c3=uSm]$K"8Ɲ 5 b&C7;~ټV&ʨ!k"Yk 97?}eaڮEw,d5k%~~d;_[j[^ˊuClE7ru˖m*8cw:b pI!1#i_7˝gFBj;8VhN_᜛-& ]{W" RӍڅ;?USwIcx.N}ȊU867Ĥ@J_E?5m#c^o$0iڿ[U2;7=z|4S2bOG!ma;bɳ(D,q§'OG`AHu s}"?\ա$M;z[Ӵg6xgr.-䃍I@~N sڜ2%`oa6plb3͗/8g7~ 5@SP f&D}+^M, `'WQ9_<w Ao!L'4U O#Qnٞ,-;%%fqײ؂߮Uď4fW~PiEbFlFsV2l{KH}wZIsͶ$ztGǹ/og-vCީ"H vm}Fj4|*"-0HD=d#ߖ=B>ZF¥i[RͧAզ'0ŗK}{ޕ Skf(_'fϑ燲mZߟvz銬|?Fjhx#J(V'}gYXnOu q5uU=qz {O txBUD񕋸#$DH!덴j-N~flHOO{)dIDKs+߄#sp &M[qEz0M}m~ L;QMI{ڊ Yz$ЯT娀DrXA?uP i.ȃ*ҿ\ 4eQ\Mͤq 櫦k,Fj*)?K!h ҄F#?]ԲB"W|3CeD̘ ,2oF$Ly^"];jiN nYwAG8ܽ& V -2l~(v!@h;*ǧ1g_LHn$J!4Of0#&馰n@'ަ{ Y3Z˫)p:ǐNHPz!>e(@k;gY9kCGS"j>B)CҢ>~\KWݲ:(uk1717 @OË_/_"n (;Y$9(-DϥѲ@# ru;P0Εȁzd>} >T c@6ܨɡ& DIX[:H&N%M'GC "\e: joƷX+` gb}e,UbA1搸xUv9i-v(I s%_j=rjQX}W0Ӫ%t re4=j0{ϊY⃚ p'E&q }kBz5tQC|,Fu>?9yӎTFgƮ*$hD ۺq;\>7{ tnzo=j^ a×4wOҝ$oײi;ZCIJ}BVIk KV:3*E-z $f3K|q8ԲTvDV}$?DFG$Mڬ137_5Kh[ܮ+vz;# pC s)ruuYM&4|-xiN̿2{ NհKps5Dg #SR6bṉAo\ȹ#ϋ;|Sh+Y$ ˹gv,ma}`x]|{3WzTӸpKx%䙾j$/ER, B -c^4dkB=6iا*D-J>Vmw>7_gm(v+\t6Pe ǤךkRLi"8*77ѴʣvLv2E~3hU]v$Nq lݭ [66fWb v}lXk(QKCx/ ǂ;JLCle^+O|Jg # G} Oq (m+=&(nV[uz#:["CzthQR2wo/ u|Z6iYA1 b|ueTXBφ0&,JJ 0=d !jhpw 'v0$PmIs209Ү :pNPܟEU!oËcGn;=_hx/Y _fE!=cAFs^ykcߓߚHmb%\'Pv=/#\9f.9]e9Y,d̡ڼUE h#,t%ucsz$. k@k Yw'|ϋcVK;*RJި]5åZ$68f =59톽?Te;ۙdvz}'>r46D:ګ|6=(CeAYȋs篥ݯXdOxܓxgr%V*$OZg{?>7(P[8B%M^ ~#zcmE5kGlrΫʁ+Ypm[!cÌ*b6Ơѷ kw;B}׹:"s( a/ܧЏX<4D=eKi[h>>aM[IFT7ʮ d+ӓ@G&"hl)d8Go,Nݍ<25$:FqULsfG9+ƣdLsW@0ds Ēq79/'ݦy޿{eگ{vI7ŴIT0ѡd@gJɴ>]j CY0xUg&$6{e t^ҙaRdia< ^]c Ly7a#9| N qUa*%*pUPgYZ BmB)k%)PureML_Bootstraptheory/parentsPuresj ) 4PurePuredocument/latex7zXZִF! $m]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱 K O #RKq% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWp!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML o-PurePurePIDE/document_id2Sn') 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бgYZ*m')PurePure.Sessionstheory/parentsPure.l%) 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`;.%JNX/,~MTYkSO7U~\"@xtHPomO[έ:"%I~v1vȽL@CI%7C{d{)S.4Z:U)o_5 ֨%su+dށi*cZS3v遦9reNCw-N9Y]o̟s #ᓦev٢Ʈᾰ\|Oࣳ#Vk `{EmRGZGrדx}B|:_a?˿D(M1\ Vy#ʫw@DηzҳjND3РѶ"n˳㌶\xu+҆RdisQ@$&$-Nyu'>BZ *P a(z)>NP!T uF$+ꇷW-IJ>B͎U۸*!9RxX(,szFnY LvV@tfJ,$"}ZNn;+uET cZi$%UUH|=iCK(TXoq7jAXCrQQ_P wcZUMPDe#$X,RaftX#ؔE?M$d4 my$?`M+ OqRfI%ԔԘ!cQxث kڪGW85B hoe$Pq *x7nzahωe1CxLƇ%$5 r%pN)d$Se-_gEC?8gYZq9wBYSeZf}T6*cfG(zvbY"i :WYkivh^)|vjlzx B[, gTw:U0_6Aަ%D\xh > )2O~2qm_6>WLsa^2e?mdPCk):Bdl* QL v@z_ǖD\|LBDJ c$aCVOH=U[`pSkHir|3{tBf*!I[޴e08H"l Yܡs䆬zܙ1/X@gz= j?b M +dK&:޷j!LCf'ܦL,d۠VJW?Ci#ēJzuF\%!ġHj4$ ~Vsٔ}u~Ņ`<)zd_$p^\Dk_V1|%H_XG3Dh @?&I s.{\ H=sçAGW .{_ȉZL!x Nz2H0W+5 ʧ >PvxgňjqW"[' a*LЌ.ũĈnwQ 7<8ȀqA-Ȅ.:{IC<"X{H"ceRtDi'vC8*j gow?2 vʒP fB@E: {K8:d_whcb6m%eKqN4k^ \4y8o3㗓X?AO:vBl ͶW@gpf2[% +Ph{g>ŹqEB8Z..g2U"5*pϒ\5+HʬA'zcƻGI2[WhNq6Җ[Kfi%/h;e(\{\(DTNatN*Ot/w D`!<8[Dhϛ1`AiF(!TYwxnm: IB$[O]jr$ Jbhf f!7bsa0+9c$fwF 3(4='/wD "j5֩ZDyZ˰A4Z꣱5uWUJm:,,v#ͩ2GݢqGȹwrj C0Z(">;݂_\nSe+Al||N |%mH#lNwj8m<8d9;[RTTeI TǿHz]`Gn}TL.gהOtAՍbTP0yt+_i\'\ܱ$ `vzk-7mMEMȋ+48 #ҠJ]bqe>4Ja/-˗](?زCipUM(=ioZGۇ[)΋2wU!_.c*ƲTXIOSL BD&x'S(! .4եXq`mh/nٯ˙.+/#8}%k~]xѐ[aˆh>OX-h e+":Mh{Iq|t_} &:9(ƒ(K]E""[\#lݦ95! & \VSaoIj(RtAËwN(lo ~rW]bFjN\G;a$?"e+Y+ ^8gϜJ"D"C8h_[V3߳kIKHxd1v9%bd10wbpTmaQ72bS%6i e{6Tl+9<Ҳ4Y}~Si:5.$[{;43)f`-t2MQ%kUg^jU[.K)mXl cGar+@oVv2sTG+#vzXAgo@!^| ;]6]ߊwCD0 ѝ@R\hm$g^َžAIQ2 ~vc[JDSxG}H7!%CD)sէ5?L(y#3Ѻc:qlsbګ~)tNy4& lEB{U$ً~4f:rL_) NTh/ti#Z_8Va £#^W\٬307det '%Jf)%GLDt`1bɼvL~:Pq{yD^N+!@Ff,:^fRR-Κ{UցܭeW?esGޞUu م!bypMsd+TM\yi w3 5.:~6V;,Bz5zɕ5Q f[1zj*=^IF|׼kS؉-Om.U#1ʈg5V@nURf F}'ƈcXiwi7"iczIDkT~}N8[㵫Z^ÝHX2Ols(eZ";\ñSFkGdk 'ͫQ@@9 7q858t{mM#QTw]YnNcS2l ūؾ+P|‹F.>9cIIk'PIJ i"&2Rjy-A .s6{X 4Hϵe [rH/g g)ٞ൘eT?kV[R2op^#?$sftjiM_#{Zwlf+d9 >a%D55.pЊ یxOǛ'f- KG D*GDk؛2姱k}Kl{ S[5^*4urGv3B=ꯏkbjAYwT[On=GI27С(*Yv\'JYrgW}#U>G! XdI l N" V|K 4-U  J&K[r" &BCfLx2ٿu"Ih H^ACF3@ٻL%AK "X]=Eǡ}ڮ%jz\Rݭa bW:|U{䓈>w0[Qd@a%s'_a'bHe^'"lbaf)B<_B[2 ǛD?<6W409~'>dSVh5aA0^n.= vOrVQaJβ#<^@1[?Q͂yLl޽%DٞjAR)ˆHrGЏSN}\\hy@vrvkh0=wq^'`X/yaO_YW01*PSq<**aK{# n}*l 5KScHz}@-'ʅ_)l_du~N 5P{O)ke@ ҅l+RΞeFtUV5Lp ,y z5ۺ.РFDcL>OgVگ|,} VӞ뺡AErӞ×7%q\'?^50'OOiIx g7-}p._Fj'ZU$5z+OD4KWaȿ^ǖb?>!}gRѲ]ڕدX]9kPZSx'IRԤ?0/}q*!]H]a zqu/21Nڲ\n`p'HS^.(Ŀ>e-sGEW;Ek$N}ڤY=@!S^{ұ)Cj$߲LùL]"IĶ-7@9j(GlxQ}/\A%gu2_=5SkT_˗Wg'SDk6ZA֚51"$Օp=a'`(*D@~^(SUxKw~>l0 lRg!/جK 5"g)hhqq"i\t(Ζxmt_$h @J͏,KI~o5>Omu|͝ aaT@K䔒bJ{I_|3VI÷,ݤ gjWk 0=derH"ͭV*Wu3%8UИ+L)<w&ͩ}1 [!Q顲%)zm;QdVb*0&t*mm:̥ZA& .ןךּGMM`dmWxjl 8oe &W}1fLFW Zw%&|<wTz׀TAtuK\zKAڎĢ>KV\XE- BH,.q@hЉ"џxΏPK^vdڦ%$cW4x(9{p#a HqH0g$# Sb* TiIu*Ȋ %> Wi f+o& O{:[ĪQærS+f=UZ r@0kkW3EԀ \dy)~q]x?X3pp25[DGR_CKZ Wew,psZ&1WWvOt^ +0ϿS̿0=*@16\ᘏ%!uuKtY?'u7Q{m-#uO(bd\ tl3 l;8ۆ=@f͉(IIx8f5O3Re?T4jf,%ĸ&|gI V < fzė8"(?Xy< A:'S>DcAq>3Ψ@ISQwñM2EB& '\Э2-\, u&=J yW~ءe'u|h=^hto]whk\I. >nz@`/mm/'-\" BgA.B@3fSDm37fwҌ%;T@3jk(5ImaveӼPʠy|/ Vf+Y.%!&Gl`y"& } 4?[sXt޷bM~,pToBjIBP3(eN[OWb g  \v܅ xN/spD1gĮ¦~ >b]xKz>C% 73\X-S-7pAEfUiDYIgi0?K"?"}Z"|pjn4zJPcvzXBCO1S[FVN(D\蒲4[ A̭b"z A`[:Q/֣ 2r>|qpo؃~ڐ־TwK~/z ~SB$êb(cɳ<;r-Uc Vq>'qɅv+Rn8Zh 1vDA;ĎYv3iYh(NsEd;M?}L6Ey4p=m.󵪋>DNc ! 543A}2|5a<\,ɰ=s;,d 'c_ B_M/1-Fh=G'+g YG:aǑ+ku!Kxg |tIx5 (3)5tDZg!d55OLǤb}l֧͌S䘿/cq/i-F:vTY6*,a&0z 6DH)x4;#F,Re7Fyz?Lvv! ~7[ \g^1qG3+6͝0 Ȭ/r+]oXSO2]|D 냦C2Brkj_\&!ë_-B? xJI/}VvBfM0Xetb6+ OG45LS!ۉm= AjaңAѮ,UhȠ{qGA&^j3V%D49MPus2fPhR(c=yMO Iڑ<#]^ T8a aFM<^!&_*}a|r!8C mh< ҆=Xv<(Lhv!n:/D%n+b]}N4I3)N`Ij: ?$DFn咷=IQ]4n tc(P&M %?_z4 آX$FbhVLFן:#IYդr>@/цiNhVjlZikȳU̙A=k$)惬LG,ԗ n- ,f!XԺmN>n3Vf1*S止fsK Sݢ yȠ` Pw((h~S0W=*,@eRK`le\꽳Ta$Q69,|,2)j5Q45/c3idoTMH<+D[SHc=4L4DAyR v]˯gI~͠$'Stdoz$KYh>`!B*6#RF)ݦ q,6"7%,sޱWq5{m!BNf-aG6R' Puu i7Z9`Z!)COڠt?g _e; ˸u0p{a)ӥ+fmn׊[ Z0Ho#P7On~|/;v _tQ8wxpnEH8wDC[ԥGRڌ)+lL←f^d)tP~k㗖{(] ҊT*<^S?w9Σup57ÎHn$w+ӏ'nj3WJ7zlX/Rzmo:E9 "+Z'tR jy XO$TbC' h$0rtӮsS63)%qzE8;U"  ͨyf!Af)hqGfmfpEy,No#lH?oͰJ~kORyD6 xRƛ@plRP7w&F Jp8Z-VYiؚV\ cJ(琡sal`$yQA2q|Ya}m <} (D6߶Ύ8̵pfN"Ӏ@:q#9'B*PHS RI,'Xp/MO̊.(C.YGY8h)"ņ06PI^qkE9>-[Qjĵw"`ӉǗB(՗ȃ#ѯg 7b&Zsˡz$WB Ͻ4$=@(yDybp ] E#>6&!.VPQ{} ouI>P *IY7SR/j먷S1r**@@'c C7X2e\2?vM0Ԓ0TQp'r@Xăy-%,q{\ߨ84$.$$N Bbê  bzʠݥB#Tm{"eG\ܸS"kX8pD #B#*d~R Bo(· M&rGXBXD%Ľxسf y qq<1 w43/~]Ss./1,ʝg `(iyU{fp~ۗ4Î {"%6?3կ;; bz"p|jqe"#LLf\gBE7*G8G/>:p|SR:[j z#)'9 :#4CzkQۭ';KE5QK8-*c0B r+!/FSCr_U|ޗ04& Aݳe.(euCmVN}zhO~`;TsS!zGK/pې>%sc>9`ώi|tr(FTGRxd[[-ҏ % O.p r{ykʣ[l56{ ̫N4#xS)[Bf4pJ9>]حi"Xx"5V5^'u!"i'6$Q?v"";hBNfS5ن8Spm|M 1* 9N~n1ȜxO {{ Eٗ3EY#SJT⹚ޑO/%y,$4&cŽF1HS k5ڇgJAxǂ8w`;U(10"lC HZ.{Ȏ$mu$~"!8;ږ9>QѾ$.@+vUfˀk"+5˔PQɋYN0\ை@k-4uׁ& [G KǕ%l@۽|a/VBa*+sܾMЦB?'Ze )5,t(wuh#ɬ)1awHИXd"ވL7ykS9Hf+o Jiju5({ٸ7+F~PdDɕem]V(ROD@ѿ73c4 b'/ \a7o;nkxS1.2sD`دS.iqQʄ9)CF5`=,JV$#h!43vJxtCPR{48 *x~-h XK7PCzrH5EPhUC2(W|P"J^57,7%qE`֨嘀5eq֌z b>Z:E/@ *-jYx—'(ݬeTioTj&{x8mҸ!WMmw{#`OcڽUݩD=,hNaZ<"aJA,y'"8H0bYJ=P@xu&ObV˚kGֺ?"?lJbR,/Β ] ud+.PYxY61Ίc99C̀.'l]gr̀}]ڙJSz&NSd2P݌ Ng;<2qL0Ţƽ^>]q)_2*|0LhM}/O6ޠĎX:vdG.zJjU3 7o=k%QlCXK8_ JځT[*u <*y_nO0`oHk7"e2z)GV}Q#5iX'!ف$' d4t(po=׋uXQ^SEB^v#~3m?gv}Sι%w&Zt\~Dae#XZDb8dna](¢ xgb2F˕a%Z6j?eR/5k1`*P%氝-lɗfkBBf ioW"|jL1%~rfriP|X6:qo0AXTnieiOmWvtX& aZͼ"F}I(\_-APjK]瞁?Kf48\҃6o|ˬPŰN=uXnx )"CU"6F٦EL(s艒 ' |w(޵dgkb&Aǃ91 |"P6[&:Xk⽚_/⶜®1 ST8O 7KleM3Vga&1_ѹz@Y:Ef&-m:A/WWr3~m`@+e>WVN pPb1LۚELzzB7I4Vce6HFsʊ%ySYqE"068ehV<D4W])Ljb4x ꍡ$n] 0tIXrC[ڢQtu 聭FJ@=|ÊjQn+pc|`35NaX~ӰfhEunjo/Ӽ}%Jd%05N|󘨅8 "`%E$C@w͖Ɍ*n f uTJ Dt>"8&h%|BPhܾ6<-a",hԌPv؍`:~|MS[C}"Gɦ5=ҚQp˾!7mf8]s&=A)oxխpƤ}90+p c=g^>FU+@1=+EH4߀R'TԿڹ0fD`p(̖FO n)@1 ;{1UrA,?@ vSn=@̦@'_3HiI5iu\) tX/dCZVsFp!yu/o&QCO m{!Ɓ%8}8dbLm3< r>\BuBh.<`L:.FE_PqHVq_4HHeƳ 2^R3 ӭK Sl&qL7+V(8&>!' Ua3w/.Y=fF$62zg~z@Ī*[=Z~9,%ȝ~" g%V:,&:iPw+ ЉOW@G;uȞ_jzMXkJ3*?҄չlR}_BO2X؈XkZzotY/ xi%(]|ֆzswrwZ+AQTqm*&_ 4 8XBg=sN8шt!P85-)|So3cNo7f+jLvW[K3Ib%9Kcˌ ,ܓj]Gڿw%^~XӔR\)Ɯq|bFd 9V6:BAnzO3ޯaGޱ׍XM]ᅪI|`䄅D,-60aKRqw w{kaQAS'9_&1ᣕ6p,@w])|3T@<1$(#oŽPd/w.k0ABⰠe\s0vک<۶yN6>ww^S|VB5B 3۳Ov1IDcR}\yPHvuw8,sBQ1슡G`q莈"]FY@?oIa⼕S jMܤ{,6n9C˨+շ 8,K@'8}͏Y4耽8c}/Yh7YQWBmwݝ& h0Ȝ>b%Ax@ Hd  Dm3ŕ$_ݮIg'Pd\^|Df|dlj4Gm06P}̇IX?`G(HSqo-IGjH[}N K^Y=i ñX\h{&1m}ڀZQיFHGץڞV'1i4*'0 "nGH79VՍu {gv8m(> 386߬w;äbr]+_F9lXj GpF斟]tNIw7\3qe ,dU3XR Ky(REeB=꒻Q^Vo— [D4h完Գ 5a''|rs3U3 0h1BrX7ӲU%3mzd7'FpOЅב/9,taԁѡ>pQ hL 7P"X Z'\r󣭬rs LCDH+gNecRДrAay%Q~|b6zC{fq%[goFQi9ۤVQ-@"HK!{RZ8sBE@2(5{A2dyì,;^a8xk#,*Ԋ@@\ [|4ÅJj;u!>мcOy h%uK$ߤz톨Yg0C_%HCJXkW .kk2?7*Oe[7.w ;H{w|׆St*s aK m[-5w uM g px"2By;+^0OQF{JO]L'X[i ȸK+!ߤo#?b[*ES0,sf\#%fVw5 zÔEL%RaJNd9t,$1jB/p[%ߋX"(QPZi'=[B:x̕ݥYc$wl,wc`B\aէaB )h*ZKnsvm LXUG,qr6_%KP;±c eףWő%rtJRJ"k+#S070|hd53t# ߚ6FGڕ%ݩlme$5`xcUFALu~HϳjBt)vR$U2LL35 /]{g9Γ0uG(|fƗܠ}2YĤ}N-_>*:64MEf]盶\(u4a.S@䨉oB - ifæZEvF[J+/!< IGָ׺b=qBxm~x٭n(w9}&lۑ8op0w\c>So.2d9/q#P \ȢB:QN"5ݗꟽ{+wqR' N pNlD@D>a.gψ{ bog E3wM*Pɸ(խU|lFK[[JZK!?BO+TIruFa=_BiB̧.cVmM[6A7]-7 kb]W{!ߑzĆ%po-)l =دMml8v)B")P}:u4 0*~k/TSc$zNGv_~J5YYH!iEb6O;Kbp.ts`Dl]ާ h\l.ZY&ܣSWE(XXv" L{ic/*r&5!%e ns07uKo)v׸ vzX՚}QtZ ^\;*+>Qy4C%^lZJUnZ7q:[&f1UG2eM>4B0ׄ'80vG|VFhqMijOAX=hQeBjS ρ<4u'f2-M-Ex)*CU J;\ u9,szMS|MuRoG[Z [4%ǩ8xNbMX.H]y嵟ےZw!zU G^C4;ZpH;Zԭ5QlKg:#C'$BilD(py䌵 Ͻ[X7Iҵy_ǓLIm苝_lJBa}#QAȶNJܻ!3815*bA;=Fvb$1p]TX=0fQx,nVS !WMI }id.6RNaV13gmMu͊y ~nSLa05hywc0S_2[5wU>S^lgr]av4/ 9G`O>*v9JhUYDu6;4LybC=Fh\Myʳx=5*g:Ut8שׂ*GѶ-SƜjyR(8tKD w0A(j{5H?,`'OkL=ڜ~*RcSım/\̓cW:CyF+%"3a $GBd_VG`0n~&e@C;> R`-Bo.ʠ 2+ĪzRq̜5b.L./.4ݮZXJ3mĄrO}]*61=p3rt/3Pu9R癹#N=Oq:^jMĹ!n&A\. 6 'K{;S}.V30=;C筥T%pBjդ@}| pk@l$D)NUJqMm33?47T^9XEuÎXIY5Ћ`גYQKo6:?g$.AYD'dR}fԉA_AP}שdޓNT5; ='gv)8p Ԭ+֥k ącue#!|F]qCN\][db~?f_(~CH],`nY7C jY R@`|Vh!F*qRVf L@Q0Y?Z>gv"oAt؃9qzmGQ/Ht̃p `p=&r'e\M5VzXnf e:)c@ :r'rGz϶8A.OÌD)/tw3LeYNhE {׹>!g2xSɲ(HBSC`UHC9g%TR)mq*JJ:_o,w8J-A3կl &Syٓǽ8{A;925;8 Rtmd $,SBѝG۵?IRjVXoO1,!rhڞuTt1Ħ=`P;oel+*z)VTJ8{z %W1N8D`O/4)#qcƣd 6![t,"Y$Ϗ4O_d(8'`ӬYB/#?Vp9p5F3RS&OڢOYC+abXC蛽"£ztpLo<~[dMr6C}-)I㙵Fb̩(weG[2T? vƨH|K+)Ѻy%qQl%sʐ9{ŏ}J4A}IV3^l'u)xqtr68oK&q ڼg$h9*3E)}]lvѶqQXn(B^P|^ps_X ìhR^o Êf&g~(h/簖,j 0­sM[y*|tEqs(zbQ3SCf QBhN{i3yPvz.>RAa$I ZvBW3&Gf4|GxU1(:d-ծo*\DYљ_JO[߫ ̧BL2ŘIPfIMU)/l%3`^bE"=W*J(p~4Ѹ|zl jPX}z̨@6$|=O)4m8V駥Eq&v&1\5+ "WUw% 7*~wK1c#8U䥘ȿ_O8%E]Pr^ij у6 _unQ O'#MQ5goy3#|"}兦J¡l(s q3Тׯ74O%"o{l(thܪ.~ݒڳ3}P$L>=~4lhLܟ8]AD[XLuU idʯ;:h?шQ`T^AKjEaɛBpnnf'j北 ϊqkJUwN}͓`h8ZO^*jZԣ}WpvA?KJ0g&<Ѫf7p>( O2(6-EP?]? ^;a!ɰ2dRڦ6:ue`L 63d\ILBir١lÐ%LKC欯v}zVjkaW3Z덽|p%ӣRb+ډ ە~x \ku ,J|t%'4JcFx*1&Wgdb`3t1MK SzصIDw7iET"X첸掠)^*^c5:SKs08nI3IM U%;sC XPX} &z&oE= Ino5¬_\@7 ܅qÌ>Æ#PvH8L)k(86D@C CSqwVk(o] 8P t{So: IPm0॰vr%i!ȧCIy3By$j͜ĽΙ| Lm46o/?yK,ٹzpwJ[H;13&R:A:D>2}1ȝ-4r δEY5C i5*!ըC1-EE_2vIfzqWVg ebn@<םɅMOxi&bYށJ~6{fKؽ]N8rn5DCs*:6 h1,~NNc mwz^BWh Epy&IEq KLp"ekFTw;bȔ>$$K:bGM3aazUk,lN{hd#5Ҭٚ(T(=`aWUƽכ ^־M wˤ=l͓)FGwEMi 9GaAƺQ3CZ-"mF1ڧ+,npE/TB=͋=HW)v=wgßom(繻 .["6-I꜆.a{βC jVC}I(u"=oʻm X3+ލ˴s.si];Uʻ@nl ~\^[לԧay}e ېjt{q^ 7@;A! _ଐgxTxth- -?񸼱FK [_lJW7upq@.I{,1y 3&} k{0"R] B,O$&n5o_P]"'D/Mpŷ:>d }Y; sj&'c7,j>&`JWa0ke@a4l^nǶbBS53UQW3Go΂&>g[)i_8!,X2\0_dE&@Wa2ՐtnBz?E&>Hߟ]"Z@\(߾N>n>fD)v0N+"%<wMR*D"Ql^ |GĤjJ7ዚPE!+Cի AO[1Esy~͍Ci, OW~*LYJ Zf_Ҏ Zέ9l4!BaL7Bm<>ztѴQu]GÛ&Hg^Sp[:q'Sиj0PJl.iNy,Zǿb#T}q97@c^YvW߃-\h"??~iw( z^c^3{cpi+KȜey`*(g0$5STٷfpB]Fiq=l(ϗ[q ٢ZTDM2Jz:5xlXVle O޾O#ݞeVѯfMhDl^i 26C@_8C#AB!L0 &JXK+դcg2Hx֐jB\;7b\$_ܻGPFr>30JR|LeD17ўDɛp#%7O.hUyH)j v;= RB7agW(G}\5h;Rk3`ҿrN2KI>B?T3,6Jc~їHvD80Б) _$*Vb,|{\}wuNg:2:#QfGʭ$a㦧8 V'zmAz19o&PEM6&OXo~hpB[HOn)Am'lce4_w~<_`Դ )I-K} r9L;V-7ڀua~Wevݾ ȞGD#$ w/~gD?Gu7> { f&/Vhi!&AOfqLiN6xBtyn?u&Ġw12MEI|Ln""!^_yk 9, eIc}dF^;"-tf8&Q++͖!,Rs[`;*̓P_F<ف#_5б6dsa׆"-cb2}tf7B UKN\-o O-vJq/9m,Wعńۦg~&~'pUqfv䏭NȿSe.v.@῵Q8g`*mld7^;.M}\D2|MoT`+Z`Fb,M?-sr& "C&Xb<.-|CT@,[#a#f{|o]Gu4>vRP_ rÉpbtlO) j*9M1UZ¯v[)`u0jtKFvvjðkF#)> `@l$iR;/_֑o׍m?vGVOC8ߠ=哘ioR'ɽӽ=<E:0OpA]f/Don&ę""!ٓݟ_&Sk0Gr.] $N^T6n2(Gyٷ e0SKqE^@6Kz&HN%Z\ZذKi c8SÑ?ũj^Z/"yqE: c MmU@^ɽ㯎j0b|#d}S1pGg|{:I͂"R燇Y0ifE$ egjORɒK( i aTq8 BqV.ltD&Cbv%6uTF!_Ø\ƁxwޙF;YpGl'xc2DSZH HWF6|HhJ^nmg'T|D fh-HUCW>.{B+R{S4N=L=pɴM9Cې1J,-N%Yn?ue43d.yL+;$}M]0#o1/"fº{D 2V?Yv~Ƥ| Jug:u-({~ ]wցbek;)aos =(-&;/xL,X6WDJJ~~,,Xpdv g$^{8#]ӳ\|.|6JjDFr?nXt/ޑX ? ixm|Sױ=ȢH^\U,LWQhʬ~ޥe-! rR~CLˆݝ3I֧.PX Y 5ڮHG 7O\$H4@Q`{)"Q(d2~8631ZG,|lQ*YBaX*guY! Sw+Uן{;k\}QWB߃%($EңIwaal x4"1CinXAW='Qb(sXȁ+|l6aqMcoyIےIi1􋍡Æ55"3ɕa- Q"q,UqŪgYH~Z|Ѯ ?6z=}؇Ba (VTIdV!ldvQQ0§gPˠ%<5~)G[?ʧc<#Um}Vŭ rrO9h}a[")#Oȭ'aE7tC/KDy} pBj&v@?sL:4gRCP"nU,$&yz< ($c ShwgF~켁Z RE,07kcQئ5k@0M7V)OD>55ꥡz>R=[Z16;ϦhX/!2#U6TXq@zrk5.rD~t`+]0b Œ|#kh`k I;x뽆CS}agd_y4sͼdAB 2;5!#kwx&|uof=å(vӂ* v|q>y+aiBbІQ-$}E\0'CofY.Q QlZs[N~$3WIq \5aK|5.RUC۔ b3X˦>NyBQqn# rw:vpq~}_Uc{韱- i6n ; $pԴӎo}`;܄`Y#bfdĺ=Wy`>:)~* NRYnLn*&Ҩ)9j-EkxHE(>=h?I0߶):2i;X+d̗aaQNU82B:<儍ẁDNZӏ&jszY^&P 9bY.8Lzo4͐,hxtJ‹-i;Y\j,4(xfPxaC!-!IMcX WWj }l$D:鄞Sۉ-aLgs>CWUuO3Ӳ%AH ʹ{I'15ף~x`Ws,]ޭ_ŜV3 wlT $8hߵ .he AFh[""39Yz~W~,Xs0)W#RΒ/.6CZi2$kʑS]9uY3  )CgEV\v+ޙ3~MCA(>KS,G.1udmAs[C$!v4uu_o 9-]@(Nh%MyKHad`uv ඿Hv~hdc%6QSB6GQA*V U>lݕD[d4cEG޹}#q@ G]~o$53J-MW7f1Y|&/eM8[>>Rǃ.ٓW@]oZACou굇z}m Ւ\L _V[{I"0zZNۀ! /T-EG&'8@SϪRH3pm6O|wPVc!k)Qoq$u猲j4uNJ5aA u2_ ^ZGA툡^D*!^PzxOt[Ná X"r'Ǟfit}8r$QXz1b[dojF q ot!(oS-b諱>KNwwTk+} ȹs՟[հq*XzOkFcfS$E>1R7^ RRk;ݼsMtI4 m]SiBuZٽ;T5/A !+VSz޵9x, M%oiq$mGc\MamG[4{w{1ivj '׮<M477Gl, 8Mf78M "7.kEF0-NwG+5iz h:& k̵&NQ:&akNQt11J5. ribK^y^2 Qλ@G^6D-&Snsr8]r@|#J`_7/`+.7:j+| E, u3A eԗ!ۭ/7xZ<`Z\<.v?EO`z@9CNpl.ʹV$1mcz/H@B4xp< v=]߆RJ7"4e>m Sw*jOuD3|Gi݋aVEGߋKgr=)'2gGBԟ'lvZ"-MXђ4X"M&(Y4xh^> UOΓ=5)x?9xsYL PP]Qkťb_vIk%H7@oZ*7 R[oJ {l=7Lǭh<qr;[jW9꽣SF6h=z9D"dV ZTRq(:n!Bfs<3yDp3H].'1ӌ`Il ƾ%#tCcbB0mZp^7K}FBYƀZSmJ1Ueuh@LqIYEyn!b h $|LX*PG^HR~AHNd=^N㝤bS!$/>ΕNDL$']'hdwSi6<=)~-J3BJ^h *D@41͆͑$~e͝V4':>iBrg^9 ^YQ fЖ4t_ a&(e +sA)%{ x8gDznV weok-Xp E_ammjY.ٻ"//N eSE9pӷa=O8s D1!:@=_²&Gpiqm=Z a3|n@ʬ}KY vdZ^'hUnnGFG㐪>z)M;[0Ÿ, &;PrWtPR6<;ȕ&1y/IL/L5'{*B>N;^yIq$VKP6짰\%!V>dāEq ֮µϱhy]$|{hcJۺmuRͷM8dc͎Dmsav&M"|"#8Ca jɷOА?hZ_G3!pʡ7i).dqS,*3bK K/, 㭗湃ϡd1I:^Zo0Ym7mx5rJwѢ%z-d'MOG] DŽʃ4+Twګ"w74>8ZV~`#l/6|+6"vWwPbP0o]FȴWGJI [|p2 Θ\MGΌ @c ӽs;w䍴u`m{[g/E ?4 'F]J"zY@i5^%nkdy}/liUiZ iB Ӌp:Z0a ^ r T=TK5:ؖG#k-bA]Ⱦa;6$ izu&Z _f;}1 l%-кhSAY$oKX@3۬}@{(0a[ف>5}6NTOo $t3r6lE;" VrI~Y<TQ-:mP5,QknSn=VΈ`NW~~WQ;o9wr>n0G510v|+M5G puLp,УBOhL=@_g+Ol=L0p_1(zEE,0RO)[odw?YV 1"al vv<)Vii5Dt#/.i%rK Q$_t~9)/N*G m2v"D5ݐo6"t"p>}(Jsg PY.e5 |5mf¶8<_ xsgY a5C!$ZPɖ95I:go)J-e׸n~Β/̄:}Z ;kDhȞ@^܈i"*[Z尛0dmbEP f1ȭkeyHQ2p+TۣҠ$~Y2?ǭ)zLlA8KQg\,xZW0TS;&m JA3q ?0"J/@xL_n&D\4'ߟL6̡w^n+rLzq5ռ{ncmBC":#=eˠJ`O@b[K'D3NY+v$H9N7#+7vpbiؠdDVHDw) Qpl?}WW%)~/IIo1O wê oT@"Cfh5z痟=kq J,XpiL=*Q t]lM]"T5p 1 T7xK8 2!HwE.kuwRcm2o$a*Lj͗yVv\S6v7Uݽ7=LL|Wxt2.LUZVtﭚ$up@" 1l(XA% yp@37\CE$`+\ Zvn+"b:۹CINNd9 G2YQ>\@fe> tBӵ#,EgdɏrFtw3rW"~&abŷ !?졈j|}†v^:9u7p4p%DA6uℼD/BPX8-6@gINMC2%~RW%I!v׷TYH3Z)OlcCJ&fCTP|tI:B;:{}iBx$өJU"7D:/]"Zb-vFPMpncmSHnb+Jxs;r(SI $ޞȘQMf40 WNAn 66p ԄJkpX"vV'?WaZgZ!h, aCu_YNl:+SB0b{Q`vLgy4ϔR݇Ѝ.眕%)D&]Ӛ!٥{Mg,i5g-9bt 'S uV0z.9AC 0VY _\i~$ ̮ZJ VͷJlV7Tf'3[xK/#uG@l4+ 2/im)~ hH Ҍm+`됥Nce+R0 -nN)),ke:()]<R6QwS|_!qNi>M홈J<W&Hݜb P-wv^b#]n{]њ=*:|0OcV36V(ff⏸CܟWW\&gKY` =*rhyL@1JFɚbsIvbH#R41+j$(HNr[ދj(FzlIIоƢ(:zoFfMGjNp_ Q鹵tDC5@elS +~ +kC2K,*Ef\iyj+{>A]_i}54$%qmn.$>\ z{qõ <]ܹVS9[oXyؼeDI5q,$ >r* C$~9Ŧ#"5Hm#[* Z&(qG W*a:T[X{r>eE<2LZi42 {^/El|:}unE{s|%djtqm.mJ&y#tK 4x`-+yw78CCB~yPI`ي4W=7=:|;и/wֱ~0cr QI~KRxWkRLL_q)2#ێ=yr:m)2 `^'"uS>tNS7t6 :iyM? jߵ<4}oNYޥ=gn<{:/Qzߋs^:ҫe"% %U*p+OV"Q|~S{:P 65gުx4U~"<ʓ)!ea13ǁp!d御`xg Ŏ)FI$)8k&"eN+{_-~k㳗 n x?*&.q]1,j~&F ,*>'Cru8)U4]UI~‡Tl+\(W+iDK@s%擭9n+鵏=w=7W,'1ÒaʻG|ꉟM!@5))`fn|B //8a먒X)ebםK%Zݝ~i|+ު/YIZ,o֒|i*gxA/T9ZТTƎn9g;fgy-0,:B 8E^6k AG| ևV7E@@kTF<>]<voWH nkzrI0x AR u4-<@ n-"M.aw-la,h׿iGc`Zس .D.I9q+w]bpfx c#P_@ѽ_ƃl"i]0B%.5٧i/KnV~j,l;'g]_=y'=m g)W>w;ğG_G `KuDf,CaV}כZ>,ma噉<߿*E0l(h+$/L r*]*+#6 Q-'ž8 - Q P5wmMiz7RLx'ѯ}[piK[!nw͘",BWB:w]䷃`H .łPu3o``E3u8#,xSSgX) Ԭ8 NIГm .So d/~4ӲWʚanۓȦ7"4*@dJ1"J~gPq@AЖ1\mKԴNRO6CywbGvXszX6!t!:ҡ*T͝8c#6xz! b#5\vMrG 5%޷Cav:+ -CKs2y6{*{tXkYpg]9Khkh%,]^Z$ɻZۢO ,ת}fli>aseQ uMeѴY"I |wNJf(xCHs^Q&KXiLeP%|ybے z %)o8rd0NCCBc1vJl@UJ|F@laM;S  0DzY:$l[jԿL\ aT5˴XbQsI˖d(,5aɐ&[8AY4|!;4{}+3~N}*z~'@o^!n r CȂ~Ӻ |C;v XHƥ _e(҂,d%c4wE&}#a ՘ &R.zf%_yn?ȹs7.+;N-W_KEĮ=߀Im q'H|/PJ!sFSOytۨKpOe= =9W!*##v..] ӃNzn+]iHNٙ5zw xa. ?[T Cl;s" xׄOlpYV LCgͩ[^'Gc{`Ϳb_?()]j'Q5t2t*sk0Y08puP_}Ԧ,z}hj:˼D>gţXRS,K,`eЅyogT'|gt>fJ4-]4u/=b?Jr1&'LRۻ+|KlÔf~7A_7kF!ЊؿC~`ۏ%q#cs385۝Veoθdц1$p}8.os^Il{VF9X Z=&D}Y,E ŔL g(Z :=ࣇe! b> puUBc n`J2Ygwf5IȑJDjd.r T39O}TLTh)eK[aH,[B=g9`G%}۟/B'c6+Y[WuEWIuPl Ve7 ۏf$nP[z b4inG*"v:7'ktH.F?DEp8TWpam{v ƕ]qOnB10~qJw+e"ɩjRA4HA FE4  ~"zAW6m6ƚ4q0#&z0> k GD9Գ3ὓ󁑄ܞ@0J)F:֤ӓj)ڤ-V#>'Ytש?TB(p$J~|ҕ=^ ל*), 0vcɇy09>f:9;5;ـ&(Gހ6c#912 ULZ3qaN 0}sOwyXL `nbBZx Lw@.w|>uCAH G~Ͳ:T` #Խ_,]{bnjnC@ $H=S( Q zWeke'4 ƹd|8 D9+b~"nJ!ws}V<2x:mh<ݘ!zp̫&uR-|,L PrtETz!|\}tp$oZR ^(PLQB.l#|7[_ r%H4|>am %kWfYD^斒,K<`o̶*w]̊U y H\36EJ/\/;S種ws1:)MPƀ|ZH:~EE=*Z L=Su8m/< kufV`2򔙬X?rvՆᓙ۠hT5,%o67,)0 jǁ8>ђRQB4Aڍ =3F*r=Y=f"4o..s7i~+>, a6ULȱW>$v3>FOpHxڞ 53pF-wYa#4Bd~а̓~*7:JIg loN^T^V B4|{:0:2>ܲؤ(&j|_;{O5ExlFv0tё><{^YZɺpXF%Ǧ}xQlE) X7{oa奞> ,}o@\$R ba{sGL!md2G7,"#%T *[̄Y/u%Ag>})IpˁcBz||>snLM eâ1?d{?lJCi 5jCDz'H00 mD}FB.mr d+Ln/]kGv<"#؟Ŀ rBZlI6y/CDK v#iTHlz^N!uxҡ~ZG2>` ÿ唛9ˡ὇%ㅸrMmrcmplwQ BمDk(63GSod;2]͈%7<;7&rIh50q<|U4=Yv;R֨0E0 J" y(Qd\,@4G#m}: S2zH)RkAb|w3bř&!CqM YSqJ|jXAfüp栒T4Iܞ _^O ~ b1ZXXd·%&$i8F`]&iOVMjYлNZ&7x`sEE^R5M"Qd7Be8;Јt 6Wg, I p~KR:7#ńI=ݎm>`amb)Q:B91ߒ=7 U2DoC.JPQ!f!jf@3!--K1ǠRa qAȱ'&[90-m # J;.Pajcmjګ='OwZ'nt$vLF8:c?W,iQ8@'kx7%EЖ.9[%隇jyGG,ZEY"7]~jW %j_$?f:ܑI,hwH$r fo© K*ZȢ}UD|$n߿hz^r2V>@Z~p8b5_ۼq% #~!yR+@U6]šl3@T `~" $0)M>o%mֈ -mSΧD9Z^zhdoa`Jf>PFH?[͡Gfw*+#5]-n_,nP)/w( r9& | СO¶k#ʸwX&3GP'/wցJfUbcھhIbg$v3 <ږ2RQe7"o-xiYh܎'I!rF'gZEV?g3np Vt}E=sET3XsAcXin4"y {S[h~?a-Wv4Jo}.1vj#uCJ8^+<ʘUlʹDe?rMP/0 CP >vruQyu4 c?7E0s' ,&/AHm->D4LFJ_OНHMtuMif0OL0[p~Cbh~00ω0yR 7OK+% # u/8 LCD*r wUuQ 'n抢Ù.,݂V~žg<3c#,\zW?9sdώE_p7C/]nMF _" -r6GFN'*$ǭK d;Ra2>!\,wq<,חTg ]?Ž#=RNȣ}O7伫 q\TF9 `.F4CŘ#D I*_%:4i#Y.)p) \>9L?\)^\_~e."H|.4#[C0"G 2) $Eѿf@Nz19 z8,T~bO.mqHOjv5Wˑ*K`n)gAM*r5e;-ۄYNK 8ܘ#c7k@'uޡsƤ躡p.bW{Ç Gk^6@i }ϝX\ueЮA5){rys=G1y0'PLg׹2"j-&6oa eq>ܙpb8׬ +j\yS=M~!,Qy+9y:i#Sj JśmV& 6}Ɠgf!99( Z4jWO,+iSW< N:MX{P#&e92t2L0؎$p?TU@=8 Z89MOd|R%dA݉bK{pabB$B=V,mkzLW5Uay?T%>wrdUZ+% W݊Oya틴*iG6Y7B*OO1WrTdBu ((%- <0%&iKx8!\3$a'9\@ygymHH7E?'(` fhbٖD 3~7(nM&-3?iIRe9 J- !C/Qs[wA[BƱ16zGQDNdHir"3 UVO&)>iWiuf, AHcIpxVtC&j3tB\ SR*ΜMڔb㳶NuÅW0”}{YЗF3``mI}M,0F$l$ӄ,c/Gmo7Mn)YJPH1G:5bQmm>"#N{u M%5jd|:{V ׼ < ԛ!"g(^8/#ؒnbhMf搤>ج}k:3 +,3M^bti̥P-lPn36R'WPNwm0[Ԝ-M+ucYǬaE?γ,(8X޸csOtlfLb5%v1ڞ4 Y7#)f R3Qh@^ӇJж神@POj],d-{)wr\Ii! U׮xV>Glav(اxj3IdM8LKWFxKP6|7of7~y6j\&8݀oOA*dT[kkgTklfs YΟ.CKqܚF!#kaT)kl=G(8.Dt$^}Kc듼N[z!G rYnt]HI9m=O -P; ?dAt,6j[rXp2[z<Β?C/Y`y73+ T͟L \gfHi=ku>dQ;RH)Dsl4Fh+7@yf+|L>pvs3:Mn.4-YA_l/P::Cus3i y/.43YJ9t)Fv7zdMGݸOԘ^}N*b&zcwLL̷%Q}DpxN>pCe5˓,#.E$t^f}$F ٔ mjf7G_T!պ?Age(S'HY߮NH&TFfUkqÛTӸ8fƶXJi߆K_Uk+vfM谴k'b$۳DZl rSV)kӀA5?e2SNs̀ՓXH3 RM`"" <3Y \E6G:TD!ۋ -d63aBK~y^Zeu;8CG|,p&:h. yft羆]{*EiRm3\=F2Ԧ|27>^]XDm3Da1qˎVĦywVԳ2 6_:CB( Hya!( W׆cy{{ >[>Ed̍ODrQјVyOM4EpZhiZ\0wfJd5}AFb<=;hS ˁH{}*d-HռD S /%>e\\+:`ÿJ ULVXXZzQvʅX1c/>R.]6s}eqݢ3nMeKpO&fl-nk(tzƻ$Nxﱫ-%<lG5Fjɗ5& YIOPEzHB G\.Jp|4`TRJy-3p,쇭'S w~HUwb,rU3 GQ0y H4'O5?q_1hmbXMgnn߽5ӏ Z `ehZ-r'Q4o9J@ObR~^,2i? :}|5ާlj螼4ȵkZ egY@RT5}C, ..qˆdbEq-%niˮbϨC11,5nB)ܒۛaZ={^,EoRyeJhkʩ7'UJB I^cVLr%<0@2,è鷒"毓5Nޖo W>)ls#~vnsVl;UM\CE+7d50w *$b?Wճ ?g,]-I4$*gphE Y>QaB>|1x|ߘEiQ!&˂Ιu/%̈́$ JqsP( ]{8k3Pԫ@qYân<rpL]>1o iiEeW<5q./`]?sL]-բ8 bCJlsr0sA/1_JT^~u/?A֮Q g|eZ,OSh I!h,Kr!(*zpJ VvuPfNIR |l5夙[= G m9[sP Si": V0Kw(g%&>-"c܀ôMH4zgq l&[C_n7fhYz LC|!iO8>']Ӱ4*fiu 88b kS['`dYs*^D["xAҿ)#s3N}k~Ӡ|IIbU{!Yee/Ԧ[-yiNmD &x`Pen#0(~r{NvBFj|;-) g»+>6^0zTwRT.Aa;>Ͱt P #qvom7F׋zukKCP'f 1<$T1pJ {+ ~#ܟ9{~_N~Ɩژi? ƾ2'{q"9!ze6nkҡU4M:?l},jY%ϲo!vPqxµrs2 F49 ﰓ$mh 0w5 AJ٧7bbWxuz][J$$g !%c7?3"| b6uRr/r-Ier|,ksta$ بP;bn"&:P#6FB>"HE5 QH9 .z/S@b<PB-Kk^X3#Ɵ.dO8=T(E= A\ͿڹWq:匤̒}h\:/ ɨ.C>OR滊,$~J UzL^3btZX/C Fx.LDa_cފ14EiF7M}קr^UZ{CC^ u%п Qiiѻ?FpCpvFe T@\7&to3WS+{]*LǘtS7s;ABCސ&_ˆPE$D ZNizFeMCpXfkYhx͐#ulICH>f5\F2|J 4= JсhyAd.?Fr!w7Rx"2A3۬&@Ae//pAaaȎ%-v K^f[~y]WY@tA4t/ܫm-o9'W;c2;SHnyAǀmo;f\L?Jح3s9+g$X->E< n HV)2~"_H>[zg}H{VG dWHa]X93>2tCY@ qJE%n):|]]y P7(t=Kh{upE6f"='b2-;v,MȤdi Ԥ@ J٭s25?ͷwk'}'ҩn~ux&vD" F9Iߺ%ᴹ1vSmQ  KIANAVQg}Mi=a8-b|ծazvoHgY~HKPL w'(ṴFm{;o++f1RPASQ@$=/x1?Y_Q/*r9[sk{DSOu%gĞZ=l,Us:$鹡gM-'.wF5e G.UWFITݻ0OZ0C)w<d) -,2^s 8KY]η=4hs&t$͙b\=kwty`DEn}ŽԖyа]=s}yMnS s1hdaxJ1L>4_IXvku* t} 1~ya籹 ,PXTyULaBX7>[]lڂ1}9u츸2*]5sKODLYH xwaS/)Y%EY== ߂v?Ōs~;򹺃>/W7%?HL^;w3u|%- yWs} [ƍ2rL"8fypFO}Xƿ^drC-7hQb~{P%[ e,0FN.Fc2|E$2_ЮSj?EڹҵQE0 RVˁuyV&>K:2Ly:rB;j2[⥭jbKu#Fq|T൬;e@BdH*&onX<1_qȏ5w>ԎvOc|І-m@,@[ev~E$FѮvxffdztQu 7(dWuS+pZ9"5-Tto%R]c֣%ox)~&#8mKA<+vjA;2pP?j5h=h٥IR`$mV<czGRږzF鑬:4գÝ-Í )X/[\ 3 [pbN@t_w\ 6 .kaq9KUkйŔ7ʫYOF,w>h=O8̤X <,Dufba03LW%2:ijSrJD `m;C]a geFT3 \~7EJxA*0x8&@/!H|OvdD\=Pw?I+}<|0Zs1:҄7_tj)Q-ط%G(Rۭ2Qŕ@#+3Ak$|"@*kWY q;s>DB5􂠍p.Tt̚V}NSKj1q"^\wa2Wd3N=זES;0YZ h>|u%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(t%-PureML_BootstrapPIDE/document_id4Xs # PurePurePIDE/markup7zXZִF! ɤJ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OdQu|zۖQPE⨤u=j<bB/C,kt1bB1l}T ٽdS] A6( ",}!>qc l%\ ݌. \e ITN"BmW/qxؑ%J|rPChy5D9kY"2PQaC>.\_Lo )Gl2DV:Iڱ!SCf}+G{ͲE)^6Cn1#rQ.Zr y2sߒ멢. ˜^躌};lQR 8غ?%.~VGmD`-).53LcDL~<:?Rm`pN`)АLD (Q-|x>pL( 0hEO 5"RjZE?H?(u0}T'x(QpɶY8D8 48ҭ;PږE_D'0"<=K\iH\g'f",#-VGùigKAt|Ry&dtT5}x ;̈́~,Χo!<9 5,ԃq!%X+[>8fO> &z'lD,sdDʍ Y\"|ƝW(ڣ|7![ŭuk)C%Dyv3Jo0P ^6JzZadfDuT0>70R% xxBkuxN*4Mxz~[&kt?)J-pl/XqB fרXWWm|Rf鈸4^߽Cq_u/ 8=IvJLOc݊8И N$\HBDpŸe~9$nE!Hmr@#r~c(Is :p Sr@ RädΔuFG1G%dړU"Uxe-:EյC*=/ІLˬe-vMո O U P]w;;/@ᛕb%E jZ 'H/OhcƆ2YH<9iM{+FKͧ/(FXи[^ukֆԄJI MrZ/.krAC'K pDs؆-] ":y'!uD[CY]M=(c3uڏG߉YEqe(4v$(-?pvhutꔩTLY @oBA KH̓[`Q~-un3P"[RTf*SuоFXЖPo!5n0ZC*X xo\!d&Wx(ۘ{o Z-x: q/f$}4H2-'@b1w\9 ==affW"~H$`2Fp^9,@fM) P,ͧ x7%yGB]EK*`WN@䵱rbtd-N2((ov%# $PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzHԴ f-kgs1c}DsEBDH9ZѥjqM:bZr8Az?4xRG(ڃ.!X$˥fґ'(QnP_IX3* <)LTӀXZ9tUy:1@jkh]Tɤ b 3jd'bPyXeW?!?πcYhKTgmzaߝ/ie'|{4a(@`Qk]o\qcweҚBKENboQOz9w׷1'\7xzYwugB;ꝏ8qL8W:8aeh#Y QIjL"_f_ׯ3Y,dh&cunȥ3gA`$vϑyi`Q}ʏT`*d=cnYв֥B zcqġAxb-=F< [=)*>`ǐZO0w르t6ᑥd;3b5ʁdUR>V "=MΔ}7oCS!kRML?l}{.L2AF\+ C>vxa"hf!X"}LI ye..c%F5?^$ X:A%?e"Ót?{_S{5  ӝc,Ag[c™kP4 RH8E8q3|$ ve&rpUͳL7JPd;bmz34S߮X;np.ruяBZV>8%f@z*}e':'9dNYoO痷$:}d»<~lVo)V>We Yk) U8}\V]/I2[E3 nSJJW>Dnp_e5oA ż|%[vQP.?|oP`_,BTX籴@F>T'H˩K/يT0A7|ڪRꇲVbكb;LEFj92~:*{TmQU7OD&\J x$Ykk|z_[?K& ؉\A2叄J(4  Q" Uw7F7rq<4uv+C|PG Y-[Jr"uu DuHpe˳ls9wjR=r\e!7]3<'D ZT2@7\]):џyU޳.MYڑ|d ׊y/;hV9Mjuz\_FXU Ԃ%K^_r48펮cˇ_8:{UIdExw>W15}|_B4_Fa e_ɦ=Lt Z9;uTl H&gd mグ*oնl١G] ?R^LMMN4zzUmDb daKqYÛ0-A|2't-8rIP⦿.c^ XrJ<6l8%?h$>2Θ?gm,1lWtBAI En4$_.Qy(;z )ϭ@mVY"}VwFIH%d{jn=h _VeHhy귂o0 j"@GґG_Z EHIӒ/'x/b qfRs+&#ލą`' {[ϗH\ݗ}gYZ ;O'}hSO|4蔊+e͖x.{b$稪/p-;G{^_S̞ïy*ju;P nd >Dm#B jNFZS_3 \\ Z"CGbbAm-0,eI>QIyE½T|5csp6^~|K*G>tpKq3h*&NS˙3҈uI5<5߅V;|%-VlKõoCB35?0 wcRNZJ>Snjzain"vr?K`l'=M2WԿ_,AGϷr;@O`]3}. )Q̍kjؖ*IO>3xq͇wl~w!:nkỺi_v1qd| iŊY#!}2x_'@jM(H fD%%ۋ)-p;}ZU~ @q~O> yFɍf|bƻE]/ ̾ĪJ6U&a"Δq|b쇛3PwK !j3s{W$RTr y'@knV"#"\M&ri GV׼MKFRqY@z'+rN ڎE"Iļ xo^Ws&\ t7j8;Ac u`˅y (>hv^Q́;B>k[ F:b5'0XRB+B#^>Ɓer}3(|W4>:(:dyL'a`WHBKnRGЏq|򻣩ҞEu_G$հ:E[ܨS1]ւi++,Q[&“NۈD䦡*8utE1L/ '*X#jYx^HL?OIU?ĀP^5QNIgξ2 *~k6zW_ A]mnX\AУ\lCtc):S x oIPvk4*$ N (bQE/H\45/;J#{B7 K'B JpPcE35!ZC:Z!p7cvBaSSr쌬Svqgp>cV <8ȂV/cv2pϹ@IUa1 !tNg *;W. ZJA9*):h'RbE.S l9ikO!Tp8,50Tq^I&!Bot09%L3*'KDqJQQKm\hE)K2T>O>%%r+Դ.nfw)`F-T[қ]Wj H lFɐi{Å ŅYR-B>{Y75B b\iۤ/M Ե~?u[IHx/k2%SӕI}ҺXJ[}m&(*&]U,Nkc 6Yj /(Q{'`xE.ێww}JԬxaiSlE֎HE+[^2w4![ V2A c:-/SKHC&|G+nʯ5'W`XdQ_rǺ_SN,A=4fƍzj52 qu2K{Y틯 i5jUaU"{~¥*%D.d:Tç EZ,n{}W킯/H76E5;#?ģgg@G9\M܍:Ip:Ol|r0֘%k>3 YJ;Oh"GϋϮJ;Șm9RQj`=D'Sd8(IddJߙ<0-f3@<w3\IJ4Rc)?P"qDѹM@yR:dd(N|L?ЃSd 3 þ)S\8gvJ^* -/;&:y ]6H8]3pDBq3>0P!iwiG0M4eIJqE/Mi# (Z_"odUg'pgկA@:I$XIu+AjvUl%afvOqS ZQu/.:B7@_Xʰu7WFL!9ʙI5ɽ0T>xP?Yt11t7l6E<o%f{[˨Oi.qT:#c9: gы98`UD ׹l]ЬpO“]C]e> j>0 d)7i6<|6t>_9PN˽p+F.p3?D/<,PTd6Xti?۳]5oJKhjL1仃+'3GcQ39LOzW~a*%Y& _y bPpz]E?Wa'Qޑg׍U95"3AtO9).ܐgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI|>80kxꣴ~:@pTXZaj UԴ>vNaX (b/fțY(f>r"gfrmU&)ؙ+7p> ȱgYZHz'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂeHwq8էXÛ1c51qV 4X c%:aH`^/H t@\Mt lezG, Vm60{iQ X;ouB 3Lcab+ L<*&tĞGIvgX ZyyE < 5!.fmyG6?#JV*5RP|3ŝ khss:e5`3pD@8u$)41q߱s a]--!tlvb4|$ 1&hَ綣f.*^*mHD>Vgj9t"A9VxW;O7BmN#e>^A铗|%ِV^ p^!Ìڈ(,6"t [M)B|װxxvǠWV߻1+r8ԃ^5mvbPyeGE dTs;hwKr78P̊4Z(]AԧB"Rp-\ k[ntĪ1\%ҿׂԔO}TS1y`3ϗucUKIů dX߷wqs5w5X=w E'7>NTNlC@"[6ȓROYu&dRom'_}JI. PAg+Z!tzU߁ %d2Njnq 6u_2yς+-pV;F=iGn I^ưט"c9>v9od;<cxZr;"ǴHgYZ