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  9pT ] ]Pure:threads=1elapsed=2.086cpu=2.174gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭ礝}CZƩl~ԿY ,fr$߳Ra ЖT9O_YTQuY:!{IygYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqx>-ږOP:KzH ^D|"i}JSVܖZxw$~☦N~bQ|s|t ‘)dh'c K$yi}C1Ii=-.E2߯>Jѯ?:58HĚjKdwW̊M`;lhLS%KMC$2HiãZJ'Է g|)w`V0ƬAip1Quy`'}[eL̛rB)>Ę>N2Dcƨ,_=wrW.M ՌdѢ5|?\k47K M:t';;o:{ϚqhvW <ғZ uƄ(9@e懪`Lf\RCDmwpIN`Rem>xOuQ6#)-j'ևGs@Uy,X/k ˴ĪFܹ+i˵f )%Y0 arFaPƽ@6G`_MW q:@U[Oܨg@!(!*1BAh}o{\VOw, [M%֎;/Οz>l~J6{㲕A07e!DDgYZ0fc8753ad191dee201fc5156f59ce4c13a7bd6ee33af3aa2756835d884f107e94ef8fae75dd44f26  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;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/43944g%PurePureproofs/43940f%PurePureproofs/43936e%PurePureproofs/43932d%PurePureproofs/43928c%PurePureproofs/43924b%PurePureproofs/43920a%PurePureproofs/43916`%PurePureproofs/43912_%PurePureproofs/43908^%PurePureproofs/43904]%PurePureproofs/43900\%PurePureproofs/43896[%PurePureproofs/43892Z%PurePureproofs/43888Y%PurePureproofs/43884X%PurePureproofs/43880W%PurePureproofs/43876V%PurePureproofs/43872U%PurePureproofs/43868T%PurePureproofs/43864S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43678N%PurePureproofs/43644M%PurePureproofs/43640L%PurePureproofs/43638K%PurePureproofs/43634J%PurePureproofs/43630I%PurePureproofs/43622H%PurePureproofs/43604G%PurePureproofs/43600F%PurePureproofs/43538E%PurePureproofs/43534D%PurePureproofs/43532C%PurePureproofs/43528B%PurePureproofs/43524A%PurePureproofs/43516@%PurePureproofs/43512?%PurePureproofs/43506>%PurePureproofs/43494=%PurePureproofs/43490<%PurePureproofs/43484;%PurePureproofs/43480:%PurePureproofs/434749%PurePureproofs/434188%PurePureproofs/434147%PurePureproofs/434126%PurePureproofs/434085%PurePureproofs/434044%PurePureproofs/434003%PurePureproofs/433842%PurePureproofs/433801%PurePureproofs/433720%PurePureproofs/43288/%PurePureproofs/43284.%PurePureproofs/43282-%PurePureproofs/43232,%PurePureproofs/43228+%PurePureproofs/43226*%PurePureproofs/43172)%PurePureproofs/43168(%PurePureproofs/43134'%PurePureproofs/43130&%PurePureproofs/43128%%PurePureproofs/43126$%PurePureproofs/43078#%PurePureproofs/43074"%PurePureproofs/43040!%PurePureproofs/43036 %PurePureproofs/43034%PurePureproofs/43032%PurePureproofs/43030!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/431287zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]z`9gM4XFY˓免(%쿹gYZH$% dPurePureproofs/431267zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430787zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E٘@MwsklWgYZh"% $PurePureproofs/430747zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wb P$ e1KPq:ܥ`y!Y0gYZ4!% ! 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/434007zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433847zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ԟcso)BJVZd63юp2I͸3agYZ1% PurePureproofs/433807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$AΌS[ uȕ0`w$%hfMj SgYZ8-% DPurePureproofs/432827zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i*v ZTřr VgYZH*% dPurePureproofs/432267zXZִ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_|lE5J?i9@Q?%? ]3NgYZx&% DPurePureproofs/431307zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&ҏ70q[8-.YgYZ   +   ng5. B% PurePureproofs/435287zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰst~Ӄo[?Տ: Yc9e3ɮ *}!O HagYZA% \PurePureproofs/435247zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP&Wp|{~Dn pט7u;~@=+:Jioiz j;8gYZ$>% PurePureproofs/435067zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/434947zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|K:i gIiЎawvZ_F@qױgYZ<% TPurePureproofs/434907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+5}}rs>e*s=gYZ$;% PurePureproofs/434847zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/434807zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6ʍ[jrJd׿UD xgYZLK% lPurePureproofs/436387zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&+j֕hWfg'뷗ڿȱ״a`XemzejXFTɱrWX*m>gYZJ% |PurePureproofs/436347zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛwUPE% ՚D"feTHANFAk g0 gYZ\I% PurePureproofs/436307zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zà1~ٔ=Uu'„:N YgYZlF% ,PurePureproofs/436007zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435387zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoǡ .e_p3J$WXjĶgYZlD% ,PurePureproofs/435347zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^LJEW;M7i! BgYZDC% \PurePureproofs/435327zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zM(f[y~^HRWg{N"'l.Pdʖ*)3gYZ  8 E8aatb% "NDd @ v$S[``gYZ`a% PurePureproofs/439207zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_|er&- ,%("ZI]gYZH`% dPurePureproofs/439167zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E\u {k@99lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439047zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/439007zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/438967zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/438927zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438887zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438847zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438807zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438767zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438727zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438687zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438647zXZִ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   , M_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{1:xQw2,dVN=*ۍ'] Pcs. 7mI')_o赊ehqcF@`PxwZhEmoӐ.oBHQM/$"`6J/CJw1Q#h3uB| _I-W `NԛKE?[ FU[pS8pdȉ *50&`lh":F:;|N:ⴐZ0t&XUaKbt ;J0W1ԯ4< \>r#F&Ƈk6~TWAߛ[4a 3א~7Cj n3t_dX(v%;-NQ?V :}ejiwZx{3wS$xX5@[>63}`0Yt@ȮH!ש 7 ǫ[52Vf6;N DQV(ig3j].ThV"21&S|90>"0Yw #̔_@>@>CgP3N!71_5Ws0;J]^BIcFU7{2.ad:CʛRH'Wqe9 xZ;m$DѬP*;P8rUo_FiЂcg:qj<EjĶgYZ|e% LPurePureproofs/439367zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g8YҤKNH?`0\fc,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?8gYZ5Sa5M#L=.)ٝ0fl7gh>mS됃`1ZЀ G<ĥDx\,:rG4Ծ!"%If8iw8/X -Zi#b!iZO)ZOߦ*.$ x.teTPd ] ƠB iQ2)C]4yǔLNJ|6ߖ7|:0s]PT x*h._F܆4l`[O Fe)'W2^ahSȡ™W Tm/\sw oD< J,1/rj3 :0C2  Zvmar8Y/.v Mh!s D OFTU {C:S. Lb2"͚(DS$ўj˅<CIh|ՄT*Yjd3ZB ,:׆a F/-Y$? $ҊW$fa<čhj4%ygB"ѶE_Sb! +=Qkq,'YHKg6 _&Y™c da5vi:7C#6.GZ%m#1ׅ4^w昳qDOP<[6W!V&66,'Z4U-xT93,.qH2gdi\FFa: tPprDW\FA6&)>Ա'&%ma39W6z L``CoJ7p_v:xS (rq9pL FBVo >:%t |wЇ2~}ԧr4'+;[0rI|S s:DE2wE]̰b:VdMƠ_E&\9Nvz.8ɓ"nѿsSt[_3O͖P$Oɓ,"!Y{03hK;s: 2e^(ցq% !z8 xLMF`% PMiF80J JN@X2x?sygkM*"ڕr¦f?] B@HLKO<ݥ/bm!_}U磺e_yh#s9 @$AJx3!ClkM=Xt~%5P9],il$eG3J4Y>s Ol&IjxX7[ چT:y|Em`*2TA'Ou$ v;[CӘҬp{e P.:b0A2KC'y袈 vhhJ~o#k_a;Rp>6!N%<8 CB \73@Tn j%ߙ:iR烃`p,B-08(&}Z%*l8-|qU%Ho!+sS0\)d^>qQakZvfO,|`wڡ8&`vǙ(s\b}dܮdZZ$9Lo# Uw%ݮCDFVRXjZg 6Ɣ7gu]a5!}n݁NFO\kvk Ct!w!?ݛ[fn+sHۛ{Ir_F#se}:rT` _,}U}nO/ѿ0BÄߖ=Puχ(gSUBzf7;Hx %_^\gjH5p迚0vr,6^`+ra3pDRjO**&mA1UHaI@l܏EXJ@ۅϞg6 cq(3gկ'K}HXes1r{BӴ 2qd*G6"ntkN"<269_]T0?5lnB<8'Fe.Yx-pn^ȹE1V,.4Tpч| ~`=&/D;P۔1QgsFKoTf#t*u* 8|i'\Qۃ3Ic ;lS}C( ؽ{ʜYx&) O&"Ls. 6oF:j tͿK#}۪(as5Po; DPz Gp }dN‰/:mJuݕ'J\`)섐S8`q.oz7 Dp"|$2ْ֑^D,rAmcV!3YFnšTOz8 ?]]3eh"_F..E2OOIk/m`/HZqOOצKҴ^JW&y\ 5O^%jd饝.F;P=%.1,=Q?Uvor#0%ԿusZC)'VGN'6[oVلDÓF4 @^x9{CDhR(Gy&} ,bPbK͡Cc(\\AB,5$C˾.|.UvcY @Qfpq)*H,X7rSFb`FÕ$Bogwty{=8ž++grNetv/7"}Nk3OsU9b :n/^OQ9c l%7Vf{0{skfݥUuMQߋs:P'k*f3rASU<eb6sksM ]PzXM'eaռfW6%ezծII4+f{=IZJg% u4JHfZdJAߩ3b`ӛȫ0&t*b=`77G/r8>6fmV$**C XUݬ>n}םpktJbd:Ny&vN޺tUȄHb|A?aYTFaOrfSy\d0[W8TY, &R3TVLcםêerWsN@cE)%8ڑ0l-؂s!CHJMlغ}ΝVuaO ky̱*/+~$lqdzS3xS|c/h u3>.Z{d_ǻH=*?:{2)>GwYe!~  {$W7lJ]4NqM>Kq[ν*?OԳFD|f5A~0T:u)_E:hANI:62%I̕xՍ!b]6۠]_zXN% '(gŸ`Nhf'9I&7lLP~"O2cSUBY㺙h]jh9 E22k*>aQAvdPy,G_5&fե0%0 &y N󟕨Z$Rk6Y$z̑CPEVsYrirxp#Xa| ATX_~&~䈮C#sռTT;PEQnW--ئQv(| qƧԚ'&$ҠS'rCɥ82Fx :sU}XP9' JtY;RY}&_mTߟ{aeohá U3˴x %ԜG qa]brMxθd*v#72Vakb/TK_{fߑJ`w?i Eb/[d$cúώM3Y3^J%hn* R@UeROw@CvgTlԌdMj ǘLE=T^TUCwCS>5̬ۋ6v@NP$EHP{k\&:$Jx%=I$.AF|7{%Ͽ<6!+}iEq€<`XG1=1N kbƍH{Z 0G#r+l/Kڔр YNtDsbvN3rD?wrdW{_.]2U{i%SXPw#W2bR'Zo a3SǩcZF u)5͎#Ipԇ|HJJI%Jw!P_>>޲C\_^vfY95rL?,>#Пlnz1D\eS\艌̀rJ7'qW֗%/X+({w:P«˾"dJ*vƷ]GH̆xgKqEt=(ې,RN \]3)^=B.η.w2l۫W͔GB"@2jĪr0#I@NA6"luzia=/9 JBKa=ӑ_̿ʓQ}(Pɫ>/D+ʿ4yML;^ F3`]艤_7@ⷶ=$Ɗ vs6`NR74WR;V_AUeH B,1?e׻j~PmY IG1Y ɔ;z!wF Q[Pu_Zbľ˥fml sT+Fդ-$Tž1a "8;RgV3K[KZ'd*!r7-!ڏSMN>Ls=IU Tޕ<%q+YhOĤtr6ve' +jkԪ;n}`8H;m:3ĐY"f.'қS-L/e/d[?97"Չ"8m~sb%=š=PA+k`!e|fPHb1#0+F׍QYTь*`N#G{6!p6c"Z !BJVe 3?d ֗A &(KlccK'-g#v[q0& vPGoxTT?+s3vsjE9>{=$![i,?BK],A7.A[ ]SUe}tBI, S>Y,d ѩu~ GGEXEHw*'v.yq|u%6` M\?⌎R94g&S%Hg̏1ʛ)>LK~]=6AE kULhACm j_hi#YRx{ĺ`,v(Fg/S3ܻ5tP?s0ަԞ`*i=}?fSJpeG fyd+ ._MsHu>W2P5!rS\Ӯ%妅Zu)랪\R 45hEHI|:"!?l0kCR9>xYg(gW*} }j1Uhr1SճJKڃ&'͈a>4qƏ14#.sMٜ;uji\#*4SЇISy&ɸŖn,^Z"'{Yk{jhFƀb)ȅVHXkrgfuy%U3EhnߟAgIfײ!UPK:\ASi[kW8{Fዀz辡Xa{VU{|lYFu10k[AƛE .OX(SԠT# 96I!X9] s`cYm (A0Ss'EbV &e"p_u}(34W+/6ѹjjpVw¬GƳdljNGn`P$0,?R1.#pc3i?ЖnW=ONeBtiZ ^a'Չ&yAM!iE# sL]e;Duw!@|ּ>0 #I/ {iPz}Gxvi(q2~1At[8;=2f~0";/Q6,6c%daUHZԄ8D3K1>9EB6+Ƀ.WNAwMf}%$2&gxsek؂`b 4dY#Y?RZmopk@)lQm傓ùҸ%~1:utBZnrYEV$ެ+n;))1%ĭ>M[ |J¿~]ᒄYɚg G,{!v "y<JRsB?-U| u1jannA*.V2]"UOS4t ,KCH_#%}/ʨyq261W@P?;g_(@,GrQSᝤ VC7:ߓT [K؜1f1ٍ\ r ϶+˻6W i'aQ'\D@ ?h]8ń 5Pg/!V`Hh.(|V:MΣ[բzm+vF,G|8%VYgrя:2idm Lc>@MeyՑd },h@>bW8&ּ`+&gWݾCr"T3_" jD_TnovσKXb9s!48cog0ӓ\s*+ v?uB8Qh L{[u )$&3b" n\l:Ⱥtws0xeFb3 8VMR-r%AT_=X;v79=qC8]ͦ9Bth<xΫu]G^e`N[ k^Ƶ2pTqWzmU 9k;3+оe9|e gM9ϐ5}sezܭ?4RR#ҧ~qY :]?%Hrfi@0? ܕ.9ܜ:/b6>Fo&үp[ە~oS#+X4C fv$&Iܻ=(^l& JRT;0a7],21\u2sa4D>I!/ c׹\ JPS[UӪ-㢨r^ɚH_v%02J6z;^ϫ*(A O(i/(יy՟OYF1D wsIHGl%LO).vRJ8"ā8b,^(\de tX KOTQƈ\ŻM0&h[׬D(ֱ e2~1vG+ל4]zɷ6ocϜ/Fm@-~!}"K@;,)%]L]S#ѳ^";/a;0e9 V>haH7?G\{!]BԩCҲ+}o1i}k/0wmJy3gB!׭K*/ ղ.z *z"Z~b֕UPֳOg2OV u䭠"R+4@>CF3msZ,Ȏlfw%(1)Sn7.? LKKK13SW4췈ȫZ!>EHqZ?4[ͥҒ.9r}*Co$%[-S-dSK P3X9\+#96YI9&vԿoU=x>Rp+3I>6ؙV<w\ ƆQ<~/ɖ>)KTm#xMZ7:6*n ?a=uFD{Eb=˩qK~& * K53y+JNuzptx3Vq7jP@$/(Yl5I*5 E2E[ <# X_,`F4ΫGgxnIdeY5ρ0R(v9SOX2r\YP>pA6t_ Y C A'HC} aeh $; _/$շhăsb2ٯ3M*&{;bw5 Mm-ÈEE#bIEr ,NUpWk!.&`0ლTs#E׏P0Ds>٘ :5Pl$V'-e6L_IQy #HPafN匓25`ruC@-N 7 E[p83=5cN.|3`1{Bfk^vn!I NAM*WiIx_/E$8d .o%:[8csZ[\H 1etokPO$u:]=*GP\lڙO-՟KyQK+.#RK}t +,:ۇ{jKӢ? k q@d3&2>T6ה"Jp~ }*8zZ [8v  n2a`<7g>PYO4(e/΅=<= ߥ.M.W$*Ԛ:V+_s Oe6< gG&TڜJs{gb%eV CjN6ضgj0)" |f ۿYd3֞ yP,1tuxG^n㸕B)AsK G+HteK|ZTHKj%5&47] [N v 0?~uXv">)ӂ~DD=x X21Gjrў-i:tײF^j{vvHqlȴdBi|δ=Cx>:băwO;IbP4ㆈ d Y>x[Nc@ܫ vNΦ+ 'Z{ptBM\x 61}'$D!-aOB81]cmt6Ӷhk6? :IPzg:$9ۛR^#iUBB&v2t꣔˙kF$d. z&O_+޻0p`uÚ/\YAVXeqS%Qy&rd%Ջ% K}k4yeގϭ~ZEMu HX*`7 E{] 1!ɗN_BQwe|cs)J0U|h QޞvvevX:oOy [ݛ&\"]MS>(cImIy7)&LM7ŽSj Nͭ"͍c[rܭ:\ v=fϭ# ~<';A8ᵠq(Yס,~rذ\ɕ*"&D5BȰ,FV)[#q^Eޡdᘂ)PG8w0WI;+"L_%pNO;WdY;JZ8YPlDǛ^P|'41C֋~+߫\c~=XC':i X 9K]!R"@qΎ Zٴ)Uߗ j`!KLUсW >xeN_~b#1*^{!`t2iĪrr果}_o'J2,|<2%tM*]|?XةA5 wpePapTL2_]m߄%oX;?t0(%<{T9ǏFbLDR `ʚ7ViL&mq -h1$`FAUlb6X+^ @9tnf Q6_ºx]%Ɂ eǫޗ'o%3^Ly:ʌ4{;ɪoۇ`nNaQ6& 0:GLVEM,oL#f=]PEE}Y]/ʵ䨾^&_Ri#¼6zZX胡)*GwdGt{nTēvq)t¨ߕQ>a=fxEaR!䟡Eצ|&]<~AFo Sx*(8'#gF_r,M۬;R W]S^T IxŅgĽ1RLPEF 0 ªF[εZ>ęևTreQ\l6h_@ͷybn̖,}qQ\EdjX}*?y2"=O|\;9!7V.d{v<>?5d GYK Eoiz^NL6QJ[ iESyƜH}ӋUK'T;q4;XL>^X!:cQS! ؕgs^ !/=e;Q{5Fd-&> H!x$q&6|vq茌^D>FmVμ^]eB͘0Z&KӬa| HRu<\ٜ;QKY^)\TF69vx*/mQy\6c N`)&LC^ĝW>jTHʓFy9DxZ~.`^n~ZڒQɽZ{2Q($?Ǩ[\^dN?J ~ /[Ibj⇻T7nNN9{b &C ;W3``a@A7|\zChM.ZN\(lqzf@'YZo8^a։1Dw4r]\uj#Gs2ԢbSTE͑ MS>M32Tb@;+mZNK7u!gT^uԂ)RרC/)157xX̌qE B"kOvZ N\0 cZ| IpzӌMт2^wP{s()ĸy"ewȂOA1vn^-_WGRצ^x1H_6`~R3c۫F2j2%jEC4Qp2j e5a$ ?)&3.hpKa, -MtRQcԊ:To~_3lD)جO)5ul7pCՃb"`<rgNChAjϐ([vO䅠#:?i/9f\mJ}HBOk^a<]=׉"X=k(vr{@TRŹd 7h6i+X뗹Z1er\co u5QJ%WQA#c8d7I_C#cɴb=ij@:2V:^) Eܐousd_Na4J-:Uw4۴,1P.k $'gx5ג̊*D$j8gC!To( s1""+#,Ou?ťku߻d>u^؛pێrCtUv@h `sƀ3JMj- Lz5:+10JGù #5|{1E/fm Hn'zat( `iٶ>7>+1L*V7QjN:W8'DxՈfMt.8c рdfyI0K!NO棾3<+鮿sN8f͢0?z5P̃^<5] pfs#'W$&nVFN?4@1S5dq} "3HoDwkԚf>a| u!KWe{ܻ%")G˩r=ZrYֺ`o榝Ta>V(ptbì-_uրdmơh ũXN_w M 0LTk.XP@jW.Х0,6#c0',ŐC6!&9+χ 6J~yT& Z`L׬!jilhəOLR2Jac'm [w` 9zp𼈍Ju8u^~j <$_ n16 N9jJy;zpVW ,]Dx'ѸfĶImQCw)t-k.s-SxAu ?Ʒ3*RWEҳCX gApNDB}؊ IEd ]%dOyjUmqTia8^iӪY j;{x`OP꣘qKs@rA#DxM…I30qN!I p ];0;WG2G͆"GddA@roڌ|D/HtŤ.vg䵻aۡ/[T] zԱݶ>)[}M]=x3tPľqtinц#3^*VuGΗGCm{ώ7 ѩcn 9`f-B-]Ϋ3F{Y\'BbfJ(6[- ^IɪX(u-IDK35eI汲Khؐ@9inCkm8 9)Kh5bn=["%ڞZ65Ȗ! wKux I'A>ޠ9V$$p_eeZc:nqlfU|1 ٝܰ\Nu?i`Q$ 'ݣ|@ 9 ;"֒hs|HjR~K14TEA0G;mNoV>1CivÜߨ`Qao9 Ry;H(t4(SpFvs@:-j`_[~)Nhߓ^e,A5ᠡ} Y$X[" BhTUv$FcryRΖ09 .uaEwhvG3kƦl'e<_SU)m1GqU(DǎBďb"pu 8? MUqQ)ZLߓ< :9_VK6,+ ~f050 )m#`w},=|ɥ'n]lc;[`E∰`]p'׏>:S!e킊bHEG]B Ӂx@-:YTqt+>zj`4aϧ qh|[T3q #=4dXGM{CH2AYVY}mCln캛\DŽ!czj8ntk*|Ȃ"BD.C\|$l^~Zi* 8.{Ai: NfY,~1{2ϗC4I f9Dl\]-w@wMQjeʆ3SC8XhPyLQT،iFUL?֢V@:r)UjՆYH>ՙZnF^oGRI$:+!,< omϽT/lo+zAfY㡾t\~ú$ڠ~Rii]gݒ/zFp'I\u%D䮵g-.Ǻ~bFCΜU#Q5}9'M6s}ƕxq]lr|ڑڕS 73L#^e>1;lIfz M:\*EE>) oSyڥ)X^<@{m;$MXL!(J0ḣP&zgtm'ܘ&Pa;V939_RUVޥYqQCUS" 54{cqŬ7#${1sw# \Bj0UU얇-EsU9v 'fnK֗5ZXqu:qca8Bfuzҙ7* bӝ;lSl~.#X>0|GQyE%Z}']c$n`₄pVY7 E'=W)iLuE)y2n 8ij`YztKbݙR"o}'.۸d üC2*@Q6{Lp8y> @e*NE)?8n aHV @()e*հ$s+s > jL[e-PW۲Ӎ-pӉ.5{{S7*Ưu]5UhzQ:l}ILcree '98b(<]=SUoJv|n=Òͤ_PJjCFe "Et/u'z iKuwn,[[Jpb"/՘|A8O`sBX}bj?P?nh`5gwG%1V0NtxkԆ k-a!]Vw<+cF Œ$D L+()ur;I.6rnޠq_UEvKsGQtŚOw">U?>^B`a;uǸR@1ԍ_x ,u(zA:^׈_FVca\YٓYW _/ddk{.AMI v*,yWB/ed&`8ЫA1L&$TH5%yN c8MH&216{@CO}{,r Y~Z 9wA*ܯh{rC`NB\#?`Ndl\75r˻9x:nSX1oLXA^) rn-DYi3tҝ8x<ssT)t⩔x"`1 bÂ]m'S'zX*u y_6j Ul㽗gz^ER:>t`AҎ*I5 l$v$P]y.[D]o3&p.yD=m\SL:wƆB }wyPD{ɗn&5}5sV8 7<<ʮ|Q&Fj M!gwk-mٚpy>ph*譥#TC'6.>"1!A!6_l-qY}vl7( @ ]-uE]L@/y^"t-h ? WӼqt ZE'Su^h.Yxҽ3E8Tc J'< M!F~LP3^t+Ϭ0Y -N;(0/Ö)q 5#e] ^"ݚHlq Ηto񈢇 D%ЫϠ D$&]:M.kZ 0/-ъ4\Ot?3!&)ovB+\r@Şx)=ʚh_vN~aҤ4>8XÏ5[d*_9r [T0(t2p:*wma॰.͍tJ)Ҁj-DAH MG{8V >MшcYLכpZɛa_5x915A;KD~k4;)AmZҁ9;Lj4 cĕu2=IVŨgj1^ ^K3;jttn~ŴJ+^W-h G,"7gkQ,_LEw6# |pI9TaҬŶ_6Bڶ G+S-> \\ !?Nj~Uq*?q4S&d׵\eNAeU0ڹ7Lj,q)L )L0EuQ!l *G@ƗSz>+.lA}{c$Yo MJHmeexٷTQ,A:ɧ"(J^Z$ 6ػrB{e04Es8o*Q zo^?k@Kv?/,v5,aJ]#=FO\0I'xjKIPϻ-5|Ҙ(dA }r4SyOn {An0b2(S\d&vYXІ"oyP5Yu‰TʮЕ$@03Nm1R `gFgS]rWi\gcJaiR]j\7n ~}(ԆP JA`?pp~e3NZ_ ] X(GOQ1PfR<Gz;3zػB=Tz^J& Ay]ș)4B C^j#D˜K[+ҙwk_*)=$p#`b¦˵" "''Y5zyyJ7 0JtZnM6@SiFWʾeYMMf[]8_ Fx^.ݝEA;֫Ja_w(gqډ"#=!xfR8JB,3iysP!+ELay_x\*%s6 |oҪ ;b^gߣEGI -Z;]6?jEG$gM~V^mj9!*_D8%}INKcR98}N 29OgB /u\xoElye?joB[>2nwOlesH{cˏ`"yaV͸֚h3H(`3Έ?࡞?.A)Ihv>%`%{z15H@z 2b2!:y2ׂ%Mu4GsLTѯ8daO=/h@2{ظ5ٌ+MfT㊢f막0‘6]d? [r]t F4(Qygg:!1]czJ >oh|3CRӈ|'aH!{3Y) 0oC2?cToon:DVj/3R,e0ЦUWn@#IDHk47M󢋈?| |3_6nI 9éM:g6?j.+`oki-otg|2rZ篐ϸ0lL6ݽJqL%퀒v%B.|15Tд"6BK8@un` )ՠ1J];Mj."IOabZ% άV/x9{teﰧZm4ӥ=z 9 p]y%Ox (l -^! P|y8AyWJ5'Raݽlz e lCFݥR'~ҍ ⒬%B mK0Zx@, 2XpS|mO>$# l|R:y#bt5gEjyl$ε-UUXgbsohf|czX[U,9M|ټVt6LEax:FRk3^ ULGTo3 fj:翤y_~9/'i5R "zg@t)1p}񮖶gZ`XԖ;4|s %c1i<73xJn<-{m.s6 \H)剁DT-6}PnEvˡN- |u=ƚ']֓y$c7=#2 '5+ 4L͑a%+CM0|#O`l*7؋;Rז;=_S1)nxPf呜±F-|L'a4zO0ZgT1j +Î{?a&0L`f3g%Ww;Qu [>ԏSSiu1||'ے# ?[~Tԗk%rբ`E|d/ڔ: _kPsiEteV$[<[-} =>r;|ƮL.fGLja;k P'o+s9AIy>xY:^+Ϛ6TՅ"O9B쥾i}F3;sŘe4E9)1 ggd8#mUhNij&ndR&Q |B.]f!չ_=#>A)@Ԛ?V /ëb=Did eF#>q|*`<qn@2SMI(w:A1gPCvpCsY$rjKIe.Yʓ@+B]Nz D .Ԙ@dFUOOhlpY”JRШ~Q o0Y^ LBᶮ1K(XwQaz7ފQY݀ύKn9 Ͳn4[b㔄+F ujnU8ytILkʸ.?@SAP& {@(We3b_ nRreMnk#cxgdeۥ_Rȩ\#7fOYʦM|` ƪ3IJzJ(_.]Te8r:CBJ&%6{jZ*奁9 ӝ48B,)Q˸sL ~`o6j>#Iܖ֘YbDS>4я7pp:߀QNɏɦݞ,AM'trG 5=1,2i)]*( LFب$I!̦n$~DC[C^F=66[T2WjCh2|Ei'~N}JM-޲)Cd#@FmL€N >gF4]wwd9}e-& Qg:m`/Dm̊,O=I % P ,e +)|uaDv<_(4P*km.5Lf.F)#=_Ce.'h S0C+Qu Kw+R"χUxXS5u7hC1dz? S ,+{+Ռ]/֍_ Vg$Z![Q-*y&UnFӹ!)<<+o;ݬJR?Ω_nqg(Zwl%B/#f7 VB!>uB0/GFDzXQͼC6P6J1:{jz5 I{DZ&/:H [Kd^l뮶4vKOx[?3Kw[+l iE1K,tᱫX^AF,"-?isQ+u+J;sGz\ ؟W,ob TJҨ}."#sXꮊ.%d ̒[i 8)9syd4ɟʲRJVlԒ. Z TiPKkoZ/%?%0z-($93 lu38qfgp/3O s|B '=.lC<왕9L\#dzO'k} AtILEP}\CLKJ<M'xփ4RrD'6ƴ%h.ν+'~BlrJ`3{3Wk9LjsySK*u>̤gFEjr9b\қǶ QB_=pfZfF.^Fg9,ӗV tDG%X/G 408gYA 6y>~PFd>{a,7! GUC18<$B`'P$TLb1ow^WgE&HMQM/M+Aޣ'5K)yC=,,8*#uΦV^8C:2N-c(=~G~ ]ӭrQ/3ZLo$ }aȑn6$gu,4@)m'ˀw!$R !-M{k@BQٞs j̐Z8%댂59 ޶"y`Z5X&%w%phUE|:Wۢ~s8'*F)u)?N0ͻD?NW F-YNP 2GB F)n@~hv3 ,dq9"sCER) ]5^uւQDRfcv^'Ȋ6{]P{*$w+Bm`d2g?f wQ ƒ5/H7rE[Q􆳛7G ^S\h\1`[˲8pنiei6;XNYp8j=IXZXm@xz ͥ!O2INuvqr^umZh҃o g*y4-4I?{V՟ R.m.Ͼy@@ݞiEEI5?o^1R}/]5}}lY{.ZA)m!IOя|~՞WrvBX_??X0vʯ[J^)=nK^foB~,qx[NwjB9G/@.ÓG$n!kK:қMyv;fg'"^Vڎpɚl*ImrDIj6gN57763c_D&6 /tza2tFvCݛe[](). $# '~IFx!ʫsjxi  NӘgxm>ey\jj *w"ݙSsH7:vcFlmSz 3ք+^;aǗ/hM),a$ocЕ(9uMFV I/"pȋPX̼RcPqo p?Gm~+iƴ#q=ñs3"N_@yrcD ~6[:J1Yj. ¢s.bYԭWqKC*LCwJ ݴ5#NEd "}6>~3SU# ;niWZv1O[ل:@0yYI<%k)1)TA(:emtzY_ [zb3!ImK$Ki>6c?|rIA NStqqu Qm۞Ep5sE@ŦIK7(&UVL^E T,›<ҙs)w1(iRuR|M&^rnx8i 1r 6>EZ)J[b*f-k;gowMq鏸1]ʯa]G嘱sYi9y-OP%$ )r8 mVM[˷yBONFg3.ָuo0Qg&.d 2)tp}U%qجS n}C~QGȚmK&Hkcju I^ *9Mp*tФKiN]B05պ<֖NM&9$P3=5ZE?߁IһN=z7@~P5/ E`q>7t1 &Zi rFN蝀d4gf5us$aSJoI΄8i*U7OͶx[@ Ș ds8`'4"G%ɦV܄Qr nNV>PJB{@ɜi1T=!CB$aDʫ8M,~Y(/M<ʪ}~eSl =7ke;Ĺ.8 @,K0TFg?ܱd6mW53`?oL"Ķvgte<> Vk43ܢh$umH`ND M*Muyk6>%ZDWa%rc3<~]S1Kh[#|UgclvRMg{SNd?`hTV?;"c~wꙕOaEj6 Ik $K!m &>R #bzΊ &ıU9-\Gԝ%y ˜IQU+6owI C%^o9݊2!n>ד$]-J_<܇х'q-(6KVRZ]LA)st|[&C&'NCĀ6J4pB % &cΌX[%Tqkvܸ_(f^KW[668Qu'4Tk[.J>^C#7̱E UfN)=ۦ'p[[%+s]*g X7u_S 2*hp)BB$}pF4m0n] *;L-l^b= 蝼ts ( {ۯcI<\ \L̚ɦ vkn 8 Py~mڪ+<BP=9a7~IlR(߰~*dGt>z%Dɳ5_VMsβ=wû9 lqHoQa|ƤeZ%>]h8\Y }^NqQBk^ˠa uq(R/1zEQ?qӬQUynDۓT2s%[&5޼FQWx@\+*Q9vaeAP"F7s,FVs{l`?ɕfpV[Da1 Ʃc-b:]w<0}n>Ղ7ةBڠ K&F* 7` JU1td-GĴ'LɇRΉ0ZzM_$(nHd9B| |_i&8ݧXGꡒ?*}#,a`}a@-D Zm$8K bO|690 tOb׿]DS&Rx24"ZA%UKK#P|w]V~yEҥ^4%M|}ݣ6 mۇZxno2(^ǐi.S&%zRw-S_W2{^ ,uj\-|:Ʒ6dbM7vŠ2f)ݚ|jᗰD.,Iߙk2)}":_3J%H|s BY )n XW6"`~v>gˣ hƑ%5bP?j!*|6zfk*~޻iA 9U:}w6( E _e\a CW[s8?C'd'>V0k#6.[ӏ^hb %4ۄ49 ~DZ@q49EӾ=ʮ17A<{{IH `)y-!LN#ի7]ezLTrc1?W攘κZ`QY{#jn{ *V Gz*Ջ᳛P<\ߙ_S$$w1T^пt]{剴ifsQTvZEREo앖p'M`#WtOTu,x8T 26zÝg_2yuUH7Nw)l1vU򂆶@ Q/p0g=:q|뼇x;[Bym*ދTvf$߳ ?,j[)uuAs\W,\ghZ9mr+,fx+]Q: Xr&frjr4(b-#r9̀G~vB۔X3Ȏ4AJ@fj~zTV~`&lf&͇ݜcQ*fE;*Bpʲ}LͭEHAV/l {;GVrm0gH$nLp6s D4߇Wk`xMddw2ViGqq+O&zZVhW` /?ۙWovS 4$L܉@hr5Y }\o@`_YĎCuU? [ptꅨ>[h/عV}hyЅɒ8Qp2$]kIM 'yTpf[hK| jyƾbt9,~ӹXXZ. [[.0fҔl0C)$XlJi&Kxmʥ â+u&G*Yq4b#MBjLV8b'쓞GO1V* X$S篷#V_$t jzHxyA.֊ۘK+]Hk(} 2'H,&ګ{ qljc1a@1d|ɾ4f\v&LAHHHApc) *,.4N-GE޺_^ګlKnޜmn>0 m,KVK@]~ 9b45ǵi4q,M4.UQM+b';Ήpde0rI'"x0; Cf ",gPlQm{J '`24pώjwy8nȯxK{NRuiگ+P;ay'Jf`W>Up=Jez 5HPƾگ@QZkN6W3 7Bj[UY&HTUjDkIl䫓u|7{dGBZiA=ʝg@V)DYڟH,r_[%g4|i1qL_p*ΛQ/`a/yg'}^hNW!(#k?~̷.b0+3pa)VqtTw MGV|;oqtihՁ$R\˼, ۽TdRI- ~pM0?y y=wKn<sq$]94' "~g$W|@3y"c)mK@h/LH(hA5e6lT縊a=ޓa4>@3 Wu38Mb>S;]ҜH1bےW 2yAw:ҫ+p"K "vp &㝜6)ߣgwԢK;L7ڮFC=^7 GHGx?{QepE&Bx^nN6} z9eBo t@Q9pZcŪ QK :| ᒴA5e"M(iv&AP j!Ԁhb,n[_>;SBu{C3Uϰ *3,zU Yhu4d+OzP@Uо`*fJDG` 5f\'pj +5 3h疟aI:> ok,4(e6$5䞘P-.nEr/H-F/,CvODN[B3f_*DzT T͔ \E (ciImP'c0Fi!(v>npv4EM K C//I=,Ƙ! '"-KB%Izu;EZC vL٩QXܙ^z:S6b he4r!P_qy цAC#JG= 8d؇Io (Y=} ]Գ/J!]nM^2[}$\HÌVջ^!qwd{i!i/Ͼ5)ʒ"*X&[Y>_rKYŨպ@jW4]Ɨr1|4[‡H>??-5"L&'+%[z0]QHAd O- 6d բ^Z"øܯ͜du~I5lUt/mUwz.]m )(~RL(Nlbb7pC MТ<|%Yk X똅$&[H4wi$6iW͵}`͵]y_a; ~k\WR~T$s=ax>uO 3H~~3(N)Dsnv`. c){n䵂Od%4(.OPb,J: T4T%l]P8OZ2/ B07WJz R#vnQoCÛ&Ӷ)^0<Pc)j}cB1fKw%Ŏ鈈. CYXS]d+JoU\"i62V2 "| ڶ  GUւf;h@6zbbq#%ːZq,~:>-Y ^~w=eQ8P dF;Wk&@ /'7XkltOj23^ UIٟVͪl@lk iUb,Y>j *ThEREqKe٬(;,00kIrT^A*0[#ږ{zAU^Dk\'Ѻtp-})f)lo>#gt:5@{QcL*i卵T-Xꋀڶprٯw@+QGW's! a|y'b GyzZ-.2A%W[E4Y@~%="'f&F~$JS1LdužFw)4 mЏ<tp{`c^U VJEߺݨA1|ZBu-.>S2TٌFi*|#hɪGpʦ@n1k gq]rBmys5RTlV:%к#U$#/ۇj/9bἊC?k86q'z}F@iM3u3 *)Aei`d6oy\+"TϽXbGG|, [ \QQ#*מ'$֖9ÕXqyы[ߘǔ9C ]MEn."~S)ܩml0PU]ZlXHwZc9:@VSվ㇥i2g "bJ+kj,&p@}_ޝʂCӝvUV]DoiRX$O] cBCZrOeS΢,@elX 9XڐzY?Otm+ ?$݀gV8gŬYPe?bg7kϐ0PxgF3>!ɿl`G VXH0;U#9{t[mlʂ~Ñsz-,xhU೗i:B%,ez0* }- ?ALt6YgZ0 #4h}3'Yn!u' (Ua?`1B qBwI$:L]D´}|D*oXu;_`.'6'pXќJd>H=GIX(2.pV6 .c6pKjt]ʉXT7Lbё&֥U13wn[`Sf\Rfu0A!S3d d[}BXA]ZĤUG$ob˜U.Tt&[^1~eVn1hטSNqdnB+pUV|=ߺSV)46x BD)9F0qKo E]LuVt̂[w7{=BG(. d;SRuBˣr̡?lۗ9ԗK#h{Woq/>5"uug½otڂ]?(.؋/O$=2Ǽ\׏M# !xj'nB+jHU86pƑ*,{K3`A rpg|ϕ.AjDy,0c?EaJDunGZR[A S#Eq`\lzet>NjCY~v'v D"#P P4mqW;=K?Ļ{l۴k#`q'Kd~HAMz)JR+sExErtMˎT5YndWryB 'U/◂ݚwvu<^$i\N~)+JJ}`ZmCX.|F=I:o@5G'$q㍂007=ԋ<qֱH {Gl3&[@.] Yϑy`^m6()џYuf471~ԓu(PCM*i. pRl=Y9c&^;6ErlڨW2cDf?0 bcW>5dYbDWe npsn$QBZhěd^B|)} 3UQڷ^Vx.L/QM]j憇#r5ѣIZ(/#$p eP>bg}#wՂftƈd -]I/NVBk{WđpŎh*ïck knjZ} M ͵fr'w\)4U?3 -ʩiپ^g9ckU `lC茶^2Q.xZ-^t/t/- Xm}8 6'+H!uz\{IrKTH?3 ;A-?Ε-Dy7_`SoiM~Z~?:* ㆇ샇_yyG 9e*E9?#&D ކu_t%MT:춍0S68'0{(PLk Ii1~0Wv>rm[ 7 kbEQaYFiȴ'YS/_EDX:UR}=Ȍ1.KYuS;vUͩ;Tgş ČZj ) "3qrhi6TvSUC3=G WoT= .MyOy%!W4H9%h̕4_@v7Q6wڵ!L;nV["N s>p@Pd :+0-:>s ; Y] wy3ρTRK^ܳP2;/S3xcRpy| e'wx$b~reInb 4JY-g^im-TjN[CnN"pwP~W ;5:00!;%PfDpIS9!II(fi' Ck"Uo 6/eCw阅PJVW^O & Jt wx+H֖nn*%SB}80G:{ 1L6ZdD@sK('A?KL Ts SHN3|[Rg$i2UNn"9h=ҔyZyQt,R S$-UjA36JZzzM=30X{F?}:1%L`|>4Sݹ_R1J|S!Q-, io}ܯ07D&8LsI׊ct\ _t &sh, ʙMk=-5N8A[Le!(=i'XʗZ6sZ+i,k= s1˫/:gx&G5fix;flp0o0dvb:wpJ D9,5XEzUWZ.HC-Fº[ěha c7ComX\R3/"'$ُB9FZpr\G+p]w(U9'[WUmO>d`¤15it/Mu>$bu ܟEr=TKW+i+S B[G-wUe${%T4 IVWPl/TNUڭ rXk1ۯX[F簵6: 6*@Ĩ:> &HodL(|砵0li6gڗh!"Vbt0S%>W֐*0'6'Hp_R29 ?:B;%L:VgdaL!CJ')ELT>RR c{32>kw Ox7V fG_p-=n|/?MQ~3E;iIe `*H0O>&Ibh{,ɰUR1Tv LJB 9mx![bGFԱ@ڱşY6Ao&0QcgkuaĊUNjܙXXf4P@y@tЅN1߯?q?bCw»j5XՏ B|6Ip*lech](@%I"Mx5*B\yf5XϺZҽrS -ŢahFpn+ '`%yyU 4ĪC"x0;k>٣zl[hf*?D nеZCtPNT\f)Ե9LcVd hP֜6p9w`ex0c/Y\Ϊp6 O ]lrpXr AL-."ch,{@4 12 ZmjCV U1Ak_\*K+"EDO7-'I}셞˦ v'> `e{xB5NK"xQ/>Oè w?kkauuײ, &J{ Hՙ Ì}^&.[M7da1)CKM تU ՙUSr T%<:c7SfWo#[&PvEA֍5ӅEa6X0OSmp{q9ᚈA- m1ՊkՎ_!lPCH[u9zٳmarYx]ءpoe 4]l~%]/[uz!ٝ_opRZm˵zk8$|o}̓LQ;6<]bxC2׺iQXH]"ȊjDunh.v*Hȿw3 plQ *!eSŋtH2wɲSmE'ޑ"ux17VCtLlBz3Aw3oBįXd+Lޥ/iGnrRSt~䕢݅B/~aNOW0-է¬4~dž~+RQr/}_ݸuTk`5n|/ #gfYr5 6]_R-@.M&\ ZEL3_o'kBGSFc%QeF-{E쭈A@ ["pc} @ SЀH)!k~UwN}i뫍qGeR'$Gr(-ç?ݟ2#S q[}ESPd,8z9MW ۔!8T߁63&%G'״:>hm#2?` ~BifʬOk>_\o @>Kq䰇y}h}󔝤E]謭 #E~$B㘍s) H0},.+a76-Vi4+37Fתu~UͲ @ 2U#@^Ȥ@?XCI[>qF&NiO )x.i]HYI}sj.^_5mo_ա|ّ$P`oMQ뫌 I_ |8Q`AkMi1W(mFOc8s`XMN *둵3'.Iw_ 7 |'7guwb6@ߙD;clÏ|yiTy( -wIUzY3Hz'WGʊňvuCk }4s 2ٸAiUh2i4gO,SzU)7 V~ 퐚Y+ $m@2'^ݼyt=ٝd:IldLX述^gkb3CT$/0_D%J1x(~ڣ>_@DrWep2,"EOf%] }B3_)پQG!F4g.Q1Siڗi{e*~98yI$=gc9HuՔ2?0-7ͧQ3eUy}+_3v xJza<j{H^eě[ۋ=F}OîAފ`~ .WvDLJ8Qo'7% mN yŀPc|<?p޴U8jXLհՠD R\X_VF^$= wn/㇭K3(BA]EXVIp u% ">.JˌA#o["*;Oxnmywk5RpVCxٸwkB.R_$~[ /ыE9P*D0\uR:#ɏ`هd9QѯѯC&3ub5إOμ³hP,+<=Heb!bw~A{$R7&0IZOc<9'WeJ18(7D;N'u54LCOSQΨ*dWhؒ _g5XU#zf\ta= Lysnbr+Luΰ>7uq8+V-Y]vs\lRuϲf?zG7c(Y|UF.\q9{C@= GT2 ߡX>OH۞/]X76.GjB5v2 aG)VkJPܭ<ВarVSոJĊd',g2wێ=p}3Xp~@֜y(C/҆&f[!0MW@ rA/?2oHoKV+w2Ժ Xy2/NW3tmg]:mfc۱f.{8Nvqϊ ISXj m&ϯ ~dE4"n s^]4`u,%}7wmMV 0SunxJF\ L̢*a`GގɚK&3gJQhqwQXHp@A-oA+:Qul['!0^g5:ilBOmn6p %_-,HYVy$s?lz w̓]q=ɟYOL ;!CtVzE ׁITv&`-??\5tzHvtĭA=J][I0ǡ |yaF#AП4`~$ YCjѰ3Z|gi=ƈAEjѲBʿEWScT9m.&㮎tzK1U,U8}^3K-!2vh8l7/{J=V.GDT؊>~ .oԸr4^Y dM6O3iI U̗'K*U$/NdN=]_eܠ)){aTލ8<ձ9a,mwk(Щs3/X%:vl~ĝ!M/W× |_Yn`ʫKQ0 p/#cP%QyW15uTxnj~>\gm篳 77 aJ]Ir丽ROՒsvJz?.y!=&`:j$ba-C)SW+ӔJc2CNQ6oFb(xG߁T !#k;|wi@cA+;:]J'܎BWuA v6tw_)\oSy @Η,hBYJRfw2T;AZR;sa#q CF"wF7 s !>à7B~As}#1ol&?YnPĿR\BdXx;p(}LJYF|(ި%>rM? +,Zg-aKhe>Uj-o[m# ̄jDe=j^5׶$΍+ݘ5L؝JRE&)0=քN4qY "ci\˕] 9 jhDs)hDlpɗ1%@ <<Խi&,t s:1<1￘T d_0`!;ېIhIEe\Rz/g 'i C/ίPqE.̓f69.?#T|k3O2g#P_fU0W E?#v AKr `0ʫܯ:7PɿivXe_3Ia_%bBsKwA1aZkפ9]0}yy|Qg@cy# jT;yH $1p51b6eKtRc0ކsZ׳ QF?vuKb %|LiYCG8}-__R,ڻ CvH]*JU2xe- tf^qsAKfeCS,O Ba [=q~ ˪xIQ: &yLj=E/6IW%qo4!^}$ =G"+*&s3.k6MYM~m*؜\ÛmUp)pa_1դIs :w&|lsbQ-6w~@OjH&\ p57zgBrR &|D7IU!G`o#ho݉#v>+_ԵfM=́X }'Z~hb\RI@A0}U;`k3cng}lR5g'Gɭ'3׎)Bo1yp;l}WT]qђPXw-쁏|-YgLpu9e۩hki/$̰F3`ﻯ`WVV ɩ"vG&T ^ :>Znf9w!t UWy9:.kVyJBsIБOF&=h\X#Q;X.bS2KwN: C59rN& Kt3wݧ=LR;*m~pYu`lϫ^hN{-cg8~E E 86*!A'PdSk c"7piƆ H Z6[Fj$_]=u3~"Al8"5풑W,E5 WED"ݗ(Mn? w)вMdlWz̳BCA5(s'UERl++'5joKx;m zw 1w dWv#mk c[CKvD1C\0Q} ƣ֛־w 21si)̥Ѓ13sy<{L=.bfiH^j;/1 f٬bB~, U^0"*)K cGp Z&/@푥CQ`Du Sx2;Ãb&TdQx;רl AFcA,YITDY82EZ4P/ǽ;o7 !]ZEr EQ911'jW Mçk1T,ܿBMTLJFy(AECe Ӿ9n_\/qv |t& Wq<˞1[1w!>*!]&"d#O3s},wo_yLKr[CC>''+E6qOR5 r?>ۗc~Y!T-9Uz6\3o @u7xa2,]j ?A*elR^In 55=in¥UVy^_UfA, U?'2vINzͻS"%m^UЁwuqBte){5Կ<p~@U%,Yر+ r2 \Ց}qiOc֠ FW42Ao2ܙΖ% A4:D23SN *!##1gVOl)|F)C/18@r+ÀɏۭAч6~d+#^ _tC]؋u+xDleCj4efѝj T:<`}wB:oIa`e4{hZtԣ>hg S;sc='}"qZ $Wt5J R<+ :EHFR%H}3>T,K[w6 fN!;_dGnU0s>8[H_V0" TBrAHE#SYR15*/ac "aJ JX{ c· +x_ ךEThqT헨!Ѩbgu^6 Q]%+HېU؃ v*/#z GNl(_R2giȮhMPtB[R2#Œ*),y:힣\nr8nش(%0{ӌL =i/ʔnd/x9;;cUn 4RXa[DȇsHo(^Dʁӆ0Xs/լ[7̀㲌?q&1 s=t4c2Qv1qW~SiB3W4CؖjkӆKXRe۽wM)+Qtr|B0pb=ϛ<#gF'EX,;[qi#GIZUƃ-/mW?k]NT|~/Y] cJX;zs&OWAkXjkym>8;/^+Gge=WTJѧc#k'$o+/[5Z&: qyJt)|5ϯ"_O 8X˜89›V![Խ*4l;}N> ]Zjl>'OM[^F߾޳ =IDm72S1 ~B1| K ' a48H*# G' k (;fnw AlY("EfvPQMsp0ċ vq?_>KB;/eYOtܕ3A^| &=+tA>צkDx?I1o*کgiws@&qCk챸)+proVo[&`lvXvÈ;]퀜rd?K.J[,2нR^sT(]I_L-j #v*Ua[O}A! *j`ѭ?f//SG"WO8))~ 9"Ciy"SWKBNǪ @ LpJMNJ֩3OXO>q|,ʁŚKֻ0nG"s; ޘ?^ JE7YbN6f jh?-o 7M|vlB2t2}5\/Z[gʐ ۅՄ\SN@836EUY#oAX< x1݃$; }8d8:D Q*P MHb'i(^Z#`BSqCTLt}MnXz %d#ϚXH3|iȗOn BOl:MIH2O&nЎjĝcFQG@mefcBaÏt7Υ9r(7T~T)r$!B5x'Al.sq3V;KFXQGKMjX {&)CL 4h:'z%aw+-mo9-Դd'BW>Sxg,X(|I9 mkYN Q3}:Ba'WfM]+!JmzpPő [f]Uoߡh4zm=QAIX ADI^x cdIN޶Fಂo`Rq|T̛8ީ1q."E•?*}iM9,޸.axʛ4$QfDv?u}槬 JL_LVoUB QvŴpl (iYrBxdoqxYgmGalU$|ȑK $\!T]/OgqRD;T )}|=+  loEf#,)s>^dL'tfaMqتTG'>c r~ݖ<4oynְ$|}"*VYN4Y4-ReKSYrDO 0Ҷ=S$o$LȬ?g-~^繹wϤ)Kˋ,C2!]( RӮזm;0YZ 0|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_id4s # tPurePurePIDE/markup7zXZִF! ɤ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O3gԈC54чIgB " x`yx<:)d玶{ /S xJ׿>3=K/b̸egogąÈ({VU'E0T\ e n [S xfOK,js Q=K (>Krmj t;  9 _R9TY^?"ZLZ ye-vDJS G.rN w]C\W[3urnB%">,0 C٠.RY20JPzU6ݣ(_t*6ߡf6$RwhDH'4SuGE"5S`炁Vj)< "厊TFai*M(K AbzճZI2M'Qbm2 Au`aW8e,O >D3(c*O3/Yo2I~OR4hЖ# #Wr.bvSi?҈^e駁WKEl6_rQ{̧4L6)$QT\_\? q)HYGWa>MbOz8tb ب%ur"R'AM 4X%M 8wSQ'm(,jeE~3J]'~Fwѱj7ܖB ދ^l3P/ +kL|#dJ^9b ZP!c4F4Q홊xE&EG/psG-VJ{A{ƽ,gXr!EeJ'V^ᱠngh748HdaNǃܫY"N>ʛn1Oь_Qh,Meo%heM0-c d\'7h8J1;Յ|rc?rE_J]%Xh_-FlPCWztpOpNq0CƪۖX<*p;y\<jQ2"wWyY`drI~Ci q6cj/5KRq{}N=/"bt~Q}d4װ,=taOT{5*Ǔx[κ58BA3gE '4Mj񥣰_3lJA!eTfj!14(A.k3\1_<5 z ntf(f -\ lճVfYn4RgE%HQAB5Hc inp* k'@7Qah3\ϿkÝ;'{ڂ2V{`Vy^G}Vqa{ לgnb8f +#Y"Gy۟h8=HKPkue,{ԗW 6*$ڣu?ʐW=<iqq-BIe1k8|$m4ۿx]l1azBS!o9|)wɓRmn^ F‡Jί0 йK\Şgĥ6m?f.V:ې{6Xo,q[nY-tQZkfnxŹc~ȸ 1:;{얢ChUg|1ݮܯHN [X^RI9ui7%f,؇cX\|qN%%u곦M- ֛O'Dž9;\g|:N2EVhQHcߤ0, 4g%\ "dhjK@$oi\Hˑ[gqb yR'a .^]7 4Fny&ԷUw1[1;!R[鏕i@XNo@]7lJXQSjhz L3  g m_QexCr'cSNG(q!I#ڦWcЂg;Y[+lP4H.^TS"a>W+u'Rik=rnVƬ߬*D2 vc4} ZۿIw^Q7eE_5}0'-̳e ݪc"<'4sSz\ӱ)%1+2C.AՈP[TRdII2U(8}]Xn up!pZs[ÖEl`9#U.4뷈(B/$47pMB kjW206!6{}*u[R^{+|2B3V¥([i G>s9`ĕYi?,U ysHS"xhh'OGenqR3tك=2QE?4݅.t3A` Ig ( jʼn6Vl}BLQX{Eݧ,'W*,QpQb"M e=xm&>zኯ ERfQЃd͖/_4d;Ӳ/ 1M$XB蕑y{a:` Qk%yx Q5yQ ;E]DzsW'K`hFgtPz8ݗ}gYZo~A$k2ĒR 0p;A!t#K)92Cˆ/ P5QEjXqC͸}r1VQh6Ńh$LH~cBcIm˪3|U2MT+Ipc5w(a_nWw^U[DӍW0VwvXt;V5d^ ~j̥@BzD9xiś/< ic/|6?{HJKGQډ<}-KS:>fzV.c, Tc}y+08®wjz>#uЦ቙uR?6g+}JlOPw#V- TW(LݶCILW(2Cm3OV*s/Kw'g&"@M9M k 9wqu_ HnvԤFoR@_9FdceCE&(T5z;h6ǎjF|7YQ;&_0*zX%=@okMy~ĸ!*+~?0E` a"\*vb xv%TV]#yq]CaZ!qlٰV̇gyä 30>O2LJ h#zw)]֒:sɆ:I38`UCΤ*y/ݺ'6mhx9pxAg/sT{DanTGnJfI`=-cvw*(Cqy:rL^RW,J7 B9!9%ȃe۸pԫڝ^GV%94%['Eg0a ]"/4&3$ ow[Bf ]IOx䟊Jde æ<$I, K) YۘkdPi+JJ~.o K&R)e <l[dr&ŁQd>_9O=ělZr\U8 dY;[:z;_-c A{e:t tľ(hUo% NDR A0bcB'^0Y`nlTfH¤@ ¤8x$;:>8V`MWtJ?@dv@ O >>0(֌2W6JK){U%?zOȃPVqJSNoK>= 6QeL<#M^󯽡-VG\nA}$NX7z]A*R c x])6͉*Ow݉(G"',P7)jd]-]D iz+M5q:^#}k*Z~";bL+1[@{R-mD?[;4!TƍU! 5^^:$~~Iw=y;@SaG*e6gnMyaZ=xL?E-T6LޜE$|6HX%dY5I7O3D/sAA! ?"~IGW@‡\{͒8Un?K5 }W3ިye*ъfH.=3qVS}MExIMӍSpbU\=^'-\]*Zs;3a棙cypHt{.fU.ܔ$/sӹo9ﶕk6[^LDt*UE&<7&t7_]!C @H1)YnΧpR)U5G&dm۾uc׉1kT  Z-M>nب/]Ds]ch- tΕz~cDeh:^*qdV(/JVnxIakk-&K6 @0A^ɫ"m,3CzPu/pZK*De}C5ʼn/)_<n={0zI X<6]RzcY: i%?.9`hOܥo* @&/$$6mcaDlkuHR|l;Z 낸M?t%`D$214݈9qaƻ9I!>d@KkünB.Π5suERuпFqC^`0S{{g|*R Fd(#nɬ㲢=fM%8ӼТLWHs+S |g IYgMlLY\|U 3QUߍ0_z`cŶRw\Q멙x%).ܐgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zIؘ>80kxo-[աEt'O#gn~wgp\cAfR{R`0X<aYXԺN߉ Bf7 sLqڢ@_> ȱgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂߠV `( t(^ wV:J0[it*C v\!JJu0гn|eZ沧Q0*@B_XD$+gZhgJw^8QH"YU%B&VD:膟 S\ t;.xĒϺz0:s~_WK?b>t]a!b$"73\f oׯoD6.S,7q~NFqRs= ~S=LWrm=o}SPKaq;6 pȊT39v2 KM{ FN)t#X9}-aU0k!tf\'67 LLn>S0Wٗ/D~k󎎬(U1fSC:YOKjB,SZ ;o[qMZ+f `&^ŒG$rz P =+nJScjZz] jq'%#N ZΞfB }Aw[H6䈪1':D4U*:nx"/(!OJ@xwݘk=;|>OHv*GNٞ#"胱gYZ