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  p p plTT ] ]Pure:threads=1elapsed=1.288cpu=1.332gc=0.0007zXZִF! n]ŗXiɟHVҭٽD4_b27fJ› 8 >jj>6_Wb:YJ}1&9XpwM֣FzMV|X`gYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqi_`@=U[U[Hnk kkbPcZz6> n\O' R6tJnݚ"b^~Lcқr㶱gYZ7zXZִF! a]ŗXi%C60`g 9yks2X>ڑv1ܦ"49/R֝\Lٟm~Ϫ2gQfH{2E+vD_9A!m>z֔/;CJg9 ls AP8zPcPd$"Gbe֡o-ßoo du| -4, =hc 0)(W,W{Zb {=abп̠4ae͜# zjc\qF>d o2+AG6'0~gYZ171c8ebb324b98d718bd7c8b5bd41d7437d6b87ca6fbef6a2193c181a33d1e950aa3f0abd88b68a5  Pure &F9R! |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,$w#spoi a P B 3 % yjO4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[dB$''PurePure.SessionsPIDE/messagesy"'#PurePure.SessionsPIDE/markupx!'!PurePure.SessionsPIDE/filesw''-PurePure.SessionsPIDE/document_idv#%'PureML_BootstrapPIDE/messagesu!%#PureML_BootstrapPIDE/markupt %!PureML_BootstrapPIDE/filess&%-PureML_BootstrapPIDE/document_idr#PurePurePIDE/markupq%PurePurePIDE/markup2p%PurePurePIDE/markup1o!PurePurePIDE/filesn-PurePurePIDE/document_idm,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43532f%PurePureproofs/43528e%PurePureproofs/43524d%PurePureproofs/43520c%PurePureproofs/43516b%PurePureproofs/43512a%PurePureproofs/43508`%PurePureproofs/43504_%PurePureproofs/43500^%PurePureproofs/43496]%PurePureproofs/43492\%PurePureproofs/43488[%PurePureproofs/43484Z%PurePureproofs/43480Y%PurePureproofs/43476X%PurePureproofs/43472W%PurePureproofs/43468V%PurePureproofs/43464U%PurePureproofs/43460T%PurePureproofs/43456S%PurePureproofs/43452R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43268N%PurePureproofs/43234M%PurePureproofs/43230L%PurePureproofs/43228K%PurePureproofs/43224J%PurePureproofs/43220I%PurePureproofs/43212H%PurePureproofs/43194G%PurePureproofs/43190F%PurePureproofs/43128E%PurePureproofs/43124D%PurePureproofs/43122C%PurePureproofs/43118B%PurePureproofs/43114A%PurePureproofs/43106@%PurePureproofs/43102?%PurePureproofs/43096>%PurePureproofs/43084=%PurePureproofs/43080<%PurePureproofs/43074;%PurePureproofs/43070:%PurePureproofs/430649%PurePureproofs/430088%PurePureproofs/430047%PurePureproofs/430026%PurePureproofs/429985%PurePureproofs/429944%PurePureproofs/429903%PurePureproofs/429742%PurePureproofs/429701%PurePureproofs/429620%PurePureproofs/42878/%PurePureproofs/42874.%PurePureproofs/42872-%PurePureproofs/42822,%PurePureproofs/42818+%PurePureproofs/42816*%PurePureproofs/42762)%PurePureproofs/42758(%PurePureproofs/42724'%PurePureproofs/42720&%PurePureproofs/42718%%PurePureproofs/42716$%PurePureproofs/42668#%PurePureproofs/42664"%PurePureproofs/42630!%PurePureproofs/42626 %PurePureproofs/42624%PurePureproofs/42622%PurePureproofs/42620!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/427187zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/];쿹gYZH$% dPurePureproofs/427167zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426687zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U8eD- (V-5 UlWgYZh"% $PurePureproofs/426647zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w̗%YS/1 8DZZCJ Ԁ\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/429907zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429747zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQ $8z;)n^@=5zϺx$)ß 3agYZ1% PurePureproofs/429707zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429627zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ(\tuxL;6MG j.󷘵Ÿޯ^NF'bפpk'[h THc VgYZH*% dPurePureproofs/428167zXZִ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_xOɹ1SZ+d[d 3NgYZx&% DPurePureproofs/427207zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%c~^ +M'tЀj>"gYZ   +   ng5. B% PurePureproofs/431187zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ!dD/%) 6Ǝ$eG(p -'&RXoV 8 HagYZA% \PurePureproofs/431147zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP= =+ l(@t agYZ(@% $PurePureproofs/431067zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%ķR?RQ/Ӣv|hwY \gYZ?% dPurePureproofs/431027zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט5<#ȝ d4֨SPRn j;8gYZ$>% PurePureproofs/430967zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430847zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G,z9,u!) ȇHeӄnvZvbĝqױgYZ<% TPurePureproofs/430807zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*9/T2qZMu&F8l=gYZ$;% PurePureproofs/430747zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/430707zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+h}ohS,gYZ7% |PurePureproofs/430047zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<!VZ</E0ygrRV .2gYZh6% $PurePureproofs/430027zXZִ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<^Xޒ36\F"ؕ{_[v >?e,@<2 Eh_gYZH5% dPurePureproofs/429987zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lDCN]w0E4wsU5:V8K?-?gYZ4% PurePureproofs/429947zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /HIIP' 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|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6;,,g+Q\%`dr xgYZLK% lPurePureproofs/432287zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&m#0;\n֝=_a4K(2N )Y쀣7.4]la1ÚgYZJ% |PurePureproofs/432247zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛYokKz0r:s0D?9< g0 gYZ\I% PurePureproofs/432207zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>>@nz l4dfB YgYZlF% ,PurePureproofs/431907zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/431287zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo70C'uv5@M2׍jĶgYZlD% ,PurePureproofs/431247zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^ o,Rc#X BgYZDC% \PurePureproofs/431227zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"jptxhGFZɺFHRH3q-$G+&YGSRP,)3gYZ  8 E8aata% ƶ1bXⶕs_xO}xQ95_@Bc]gYZH_% dPurePureproofs/435047zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U8gAŏA 3APm禚lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434927zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434887zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434847zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434807zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434767zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434727zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434687zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434647zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434607zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434567zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434527zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \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[i) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZkg# ,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ԫ .~SENerKےhh185b$j bŋchP6k#[5O)NJ#}5}Jzsaۥt !\vD҄\/x≠_uZCaϑY&d#Tce]v&Tۻ\wp{n1^X4w\ͪz2OR˩#@3 OQБ'~F ՐFQj֖BE#Jkeꏯ6W"RTӼ2dNq|$R-EdP{uPE-yB]1Nf|_G)>MJ!HqY|A>vTF3+s{ʄD,ֽ|]#iѠQ6WU|_0\@b)r*JY,5E|ymE4_t hi~W), [)!0^Y' ]LјXXC=DS"%$~plti(Xs]߲ Q6(!~I~`'*;q` _5sMÿ+:=4 ߔs4;e9t7"FP(j0'>nm&hSxAwv Y#7=' 0v=]x"rZ6\X=:ҏIL]+YJ"isx̰DX nUfoijU?ٓxe#,䷻#OzA1aW 1yc44K<7}f̿5>gZ g4Vz]w5 F,4TŲO7- 5oi>y6> 骢;=:o>lq*s$~À$oAN7e{B1sN'2wn, Es.u*b5^nkOb8Nmnđa  03BYZ0Gtg c')68~šcJr2m@éD&5bNjw2T*9tM'`ꗐF!b1Pra wޞ?'_uTZJy`r]$̗BylN;Kv?tW >K%q9P]*)>t]ŵ<0{g'>{[3J$ѾqfGƭ?pSzv˭ =tQ߮ $PXײ7(pX,(a%|Pd6RMY=mnݜZzLdrbD:l+gYZ\f% PurePureproofs/435327zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo7ց٫3Ϭ ļoL  .jĶgYZ|d% LPurePureproofs/435247zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gΕC,o +B֭4@Of,gYZtc% x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'yM4]>~J,W#hHY0UҁlQ |H5: ұ =RЖO (+]ZUdO SHj">v1.92;o>Ű41;f諟P6(O`Q=u:X[U( 8B;BƐ`OYerA7{,e&mR)kjR,I*AȤAU{80\!18xM%?FflnI׼j.4ڬ9RܿCn&sDW[ G5!_^;EPD 9vMG[)y; MZ(և$\˴'6kLD/[g9Tp4;TiS Zw1x!~_!AըK$YM(q'۱("V 3lز>NW,يQ[`&E4 vM"4RSϗڑ>@ạ c0AEmVCS,rȼ*Vh{g:X5檴Xw8kuu.i}E^10]~qM3V!A[7/KY_41wըmlw#Io/?* ,9yζF.HcՔ<dhDaDY& B"X~k/jQ_ UvGP[ѽ^4=BRLBf:@ SC%_ܳy Ywaש+!0>GOl. `z 6 Oitg 5\LPc:QeG0E|9Z9mݙ|Wx"0YfX] v2ݵ*Zc} x &⪂C7{zI ܤ7<聗LygwӺl55c娗el"8 i~Pt81[\w O1^)3c)û r<ʤf336YHy:eEZg6TDтQ=Gi2dN1o8$6'y[wƎ+HYocC:Y{#oL^2֬dGvo_G m%հ˲c ,2r*.J?|]5DģSpANuB C! `@d:9.)*_Uciӯ쪜0]7`DEM\ϙII+omXbqPOZ*#T*ly$>z5bֲ rk!DyT;*|Bb#;/a8J'OHfj,ՅԺo+p.ΑaXwT:6ObDOԇ]NU|c1o-y]:Y+N=&qXۉcčK[619ÖMO>QI6^B-h,? I%A V?4אpޠs͔q<џKJڤwkJ¢NǏJw_Kc2;gB!! қS0c+b"y ^ň6 6b촥# tHL*KȣL~J`"PgTWuk#QXYB,g^MO#Y*] OS1W2ѳH8gKT^Wvؓ4J-93Q}6t9Z0Fvz90+R\/p5E`́ORX@iBj%_zwb{ݯ|UAnPMÂC͇@j%9آ9"iL:N7FPׅϘ5tmf™؎͇ 'TE apAPUBd7r=-=G=vC-Dn1)Ǵht'mS&7JA"]lHZ;g/%1Ayk 0UP3h>$rd=a%DPצ);ȁOMw\F/6 jQ}#|Z3f&\~`#'(d_2%5'M.7Խ֐?a{chM3=(upг>3HpXrVuӭt: ]4&U'}ЧIOMmkp莁ŋW>A y!KWKH#L.XWzM BgAƢ|5b = =ӫD _ZYFJ'4IdGwơpMZ-I^ĔKO~m^Ϭ?hh5`!4 wmiP;:ʃMk["D {ql) }ꌏ.+{ } ~nM9:*'Az1T!4+ 3 rz`A-70[oz0kƏBAvhHqzhd?(0fQEiW4ȑy: D X_J9WuK!ϲ%$oΥM ²d/}Sj}i^1_uWjxI(f堃̈EA8Fhꐌx[=k&cd}(%BYHCs-`2!y.bH=V3 l$[,nvWGQQ=[I9c:)fA H*YM530`3]LDiO4 ̇vecQNT/cg:,"%~hqV_=U,FA a` rv_ z%Cbz_O jYRH]ԡ{bs@$eڗR dHG`^j qUW󾑐zdzJonud$4 fh36/̧Cq u.: %b~`it\0RN5 S4ŹN.a4oth!m-:zd~/f-d϶[+cmbGe]74cWpQˀ )GHwQEgT!}mGg~ZkC0$ n5)(V Vmm& ~ [) ?Z30![\k~uh|PVog$[XԶy0qxKu0k~TQi`m |s;W~?,-%'Aovp\JrI-q+-FɊ<7B^feW nz6zPP9E^<΀zJuW+ q #X@.[- 3i%IW"Q%GÂ~KD %~v~pAvvG%`@+aYKL4AHjdWhF}~+԰ʡzWGϞ,MJ'$mq ur̄o/vVHܤZ`$ DТ(0 i݋Q)ycN˧̿|5RJ1m!dnJ ?Y~&CȈ'cG x=P?{1q 3 baO$$ʉtJ%s'n"<<(>RJ̤*[0&s'ryOe3t_>'3*㈆hPGNiu<͜YSŗE*\8{KHa];AZrgviu_nmSzvXOkR7MYz$[r!QhIn U+ K7cKN6AL-_*qʇ&UU-fY*ŋ6?ۤ$Uӑ_;H>jVøE2K'{L> 'jF R[qrpכGD{/_rg#LN]'hdr/WV i)\~{NC*TL<0U-F2wjvÄmʤ γHދ .mP 7-k[%dj๝ l 0Քu7ihTaWto3wo9!\K!iNO2},c}LL6}9R.,tJe\ ^Ӗ q5ʃVfro2n^}S7e3A۔ͺ#Vha=@ʌ z'TX k0bժ1Wf!@&gveY%I/hu iUd]U?$i47 _vE4 jQoUcJR85 X(f&NGwa;.dIHE3҈̓]sln6_6y:$9B-[vqa3`Sڱ|id X"^u yS0r*g6N=IVtn&gb ITT%BsqlϹa4f!sϊ쯕iW65zj,!E$F[Ihf|gܘ]6Tl;x *rUI}8Q+s~aGd8݃@D]"UZ R!i⤝O?u[k亂NAVUJbÕFp3cJX]XSdw|9(@zyqT>*S0Ip;\B 0 إ@ ;sï ѲEi=TTJ|9Wh1LH$y@GH3Fl^|jmTjH=8]Ma]mzȻ~卂;WHF3ǡlfG`{DAs̜MY餘(ZxYo20CtBX`d8S])AP-Kf̖|l+bv<s)#/D•6LJ>]M`S,=Q#}Z$>Ҝ篷^2HY-Ad{k۪pq7ΓoC &9x?%:5*bGV!" Dׯ HGp&j1 $rKۥ *" VtB7bRyqxfHQ"ASQ{%bwe|H?=j 4QƍusEwp Ԝs4ҔnR$Vww5hD!" khtlƀ&5̲s CԓSF:H F g].$fؘ焬 MRQ}kZ [B=ۑ3 +Ѓ|`Q䱈2Bi5|<ݐ$$;W㰆DD<3lqh'b% 1M6%d[)H."c_^V =D-YP)$7z`/O]>.~Ogr#cU}Z 9hCfciyۋx6gPɁ?'#{asQV1\4a+"hAb9qYbCj@.u'fyNTGcׄRj!;PHB ՐG&2ENml6Jle |^6P@_zTo-j>7'\רGKigɔ>eB;W䐡2*y ΦgL`yy3_Rx7svsWW3ll>me>)^skTm'%]ɨco /.\pQ ΛxW(j/ Kz9C$D/xbDOA4v[AI2qTE0VD_4)O Z:сA4uNGȖp_4.7j.8ZusbGa.:?MC/ 0[ۙO=suO2R}&2i k:яO3RFkx/xchPC\ ^w[|H?21hk31ͮ2Tﯵ2eO%Z7ѵ5P 4nGu~8c\+^˹Lw:;G8n' Rxn /aʙ%oGX D4/`^hɎ(QRlQ_} SQӅ;9Y$/Zc:Do x+zI$qqg)O/!F^W_WY`~̓c/'O?;=i9rJ%;0bFS$lea/fy epҵP2F#ŹE'v@-hΏCXB?mQAT8}ʨPfx~k@57<ʷBqǒXt!퉰j&5bpإ!C*;NcG CL"hHV2 r#LZOjsN\r'qs% W*3-oCʒAc'ݏ8qiV$Pg+Y}˒?\%I?ks97NZD/`qi7'xY"Z#@ ]^*tKѾ >I'Έ yЗ,'UOhL=N[>Q#Whd!՚s=) ׷jWU*U VQɆ%ԗ5BO~]N% RoM}78\~mt;Gz_ z#r\\RrfҸ|k&8!@=F$-ѭ"Pgb/l(t4mS1e?lOȭ.0Hug[`G]<*CJad+H ؗ ,oy\zhPGΗ2_Nf Fc ؗ ʻbX#E-o4DAF>U-aUp7R-Ho2VG q%Ԕ˹k͉9P3? tE|&qvr >=hiNx_{vJQ`^;ψgl.ۄg3 dhᰆD!vt҆fs  !&riQ6C)6DNNN>^ǟ5 ljܹx VH ,@::,Ӗ*nC# y 7EJW W35m:\:mrN5*k,!xL'X8uVl.𕐲SM`KB4Ķ|=ER҈XhFfE#SݎYZR:~JO YD FA!dnp㋆FxmT`z+]җ~3|z˿l㐘P.?  fuK` A,K( >{87IC(F/?{U#'vYЀp̰v✛C?Ʀ ($5 B0k>0$yqrq7fҿˇP0.Oڴ儱 LvNFBHa7OZ Yrjk9e{J;Ńۿ_Z}hhX\UE%FfMLLMXT(`,e|n*DtwCPVnl'87c:4n3?*|(Y=yf8뒵.u'okкd-2z/ `ypovΞ\YLc!b€{ֽ֤E9`# GOk3ANe Cܩ}y6!{:WS~&Oqi*Jvݥo%2-4x&@S er:H}X @=v2T#yEJO7 f{Ͳqj2\݌݃Rұ2{Fr+NTwM[ǾgƩ+ ]1gJԒȵ<%E= K&mMWy6R]M^I͞;դ-]9ur^I{̮JmWÊv^G|A/YSAKPԁRABy UL/~k)JD~ Ӎ`| TN;*|~ભM4W)Z^b䐮|6Dvi+^G|PP*3s;SKh07{5:[5@8`MM]ls5%fʥ4sI}rBkYf¶4nzvED-UѶ,Q"}񍉻9%W?@NmN47yECKaXn}Wc5J.7+eبdc}MX#f8B&|ir U]Tmy2Uivʳ&?Π\5Itw{t ix9[ a¬Z"n=Uȷյ+=pԙb\h,,_%fO`(tH9Myu*"\"hmΫ&-Fy) F ػ!WIÙrĮZPZԓ44u'+1w N~ fl #Ca";- KVL5$08 5FDdZ9dH[YT1X83RKʠ#Qxоc@KYQ^$: F9yUo^=d$y5uH<M$X<)Dhd9Auіw4GR<ஐI E3FτŤ,xq^Rv I;j"և%)_Z<vNqXC4hu2;=e51ØC69.ijS?wByd~ჲ.q _gŖGf(W]:蹴gɜ60;>ESlh| tb8h6OJT4I桫vAK=釵[ឯg JyebJDF".[ Zگp`9&W>F[] jv;Jh>׮ (I>&6,w?M |ڶ -'ez01eϯiwEx7cܽU'͏N/'oܻaڢTZ RAZ>}w(㰅y87!ް7qݸ+`7\V>b>rWR˂Oifj7xqZ!zC_7DiƯG1O.v#ENkzZ  .Й-<\OO\[OwNg\vOqvQu- R! 03mL_RkĒn;IQI88APÖ͇E-/c]/TIV_A#х"v0zf@ 6Bƨ)ϬX췓5M_y3qRnr؝Y/šݤ<9NA7|WIuHVgX d]#4¸\2IEtѹ( HD KeK ~j~?c0Ҿj j~+yMaPLrytpR|ggtI< Ԣ5aGL QZbVn%;@ CHqY&#Et/S|"\4,4)>3oZpTPN/ \~(IxDޯB6hw]2M^.iK BTә*`ff/i%FW?$xv>;%<^vz#uG0Ҝz̢vbõ8lB4cX>MȰè:p_u\_iZ K|~km+Ԣ -Jfܰ4T 9ߖCX!mK:#`?o<'붧Jxx(O(x})F뷊$lN`WݛjûKD*OvSqǼ(-V^ׁ!MeC7u] kPd.)H~!p u@V p' uA$ޅ种c؅V6>rR #pC@+\9gHTPgH_s[[~=jO墻,+_K ˛>au ? [L3 _O.7jRVzU#C$Vi__9X./>Gލv!,@@~ur1+˷$$tX.6[%Dy%օ!VXN=gVxX;,:Q#'Su604O[#FqϷ T"Lz@FLv)ެ6,c/Ã6"O%r~]L7 ը/#nHJ~ "o<8z!'E3f.3d. g\rz&ǚ/ q\cR>mΪh``Mi!-*{&mI8kI2X3\'mNӒq [VF(vqOPDƒ<gYZ  B}[o% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWn!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML m-PurePurePIDE/document_id2Bl'7 4PurePure.Sessionsdocument/Sessions.tex7zXZִF! aS]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9^O#΅C:w$,U-1NlSO֩ 6ao͢;A.пЗK 13,QW&rϴVc2KIoZC}%gYZk%? \PureML_Bootstrapdocument/ML_Bootstrap.tex7zXZִF!  %]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā cWUxOQg6u6W\ٍs"lo?>_Hǽ(84H (!YfM #;uL1~[O?yh a\țƃ/,a>~QqҦk=f!$Җ "S^tȧ{,b /}R]{mhuqXn *Sßp=UZߥaBOq<5y|ihwqP77ˊ[yW;2Ns]:xD`rj~*בeihlRTqX aޘNHƤTb؍=91RG1"H0k>ݒ %i]4Wٺ)*ʲ3uEe>m[yE*UoKܽ p+V\ְ7άu1vԌ3F96o)!}91[7Wq)j%eMIH?LMʢvkQDPޞg C}x+ۏUA W҈j9q^T+b戂 l,_A!X״6R#ߩTX?b3|~;tcP0-Rr*Ip8cXJiY?v[]7 0 ]̋:YTMADlʞ9(텛Z3d+ͻgBGi0UJE៞ep tg)ҁ}N|&$'A 1)Ci\՜k;Ef@,1 5$#'6Jh`f.WqgYZ j / \PurePuredocument/Pure.tex7zXZִF! 䶱A]A-MՋhvG"uIBm5N9Vm6rTpѢ&hEVC*>5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP;l <_[g/z>xm0ė!PRA sTY'Pn?-f-eq6,ԹSEQM*=6EsEA:(' K#Gq]JO + ܆6 `YǏ빛2-%o4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd :ݥr lJ+#pGH )Y0\tz^з)x<ҜVN"!~$ E@QE. ֡Zj}69$fvBy?E Z=@!/ofP7XSXоw1.eBORΜW(:& 3j9-XOI43.xSYΔ8tYK}$lx˾a\ ;PI=I1#b,OΆw38Nu~YZ Fqz`4;O)[¬b57 aAB !jx.A)8Q /4*G}3 <-Z8E7:n2AT!\7#@wM0'=֒O((5b`}.NFC\bN#a S<0%FR3Ip]ؽny-<"XSf{hZHq{dSM4` $ lni_d$p]k?lEg3 \~!QNUo%ù=w(yQ,0ctyTdI\ЁxfȤ5YZ xmBVH>Q%r1،,pzC6eS8PXxUR ,"9 NV@%n90eNLwN.0),9%g2՝UI9^1~ ңhV67.7X >}0p p2 =?YUEq pQZpXZ\ObSю e.aT}/N9rnn'6WC+uy$Oehǘ:Lk F(8ݨd',"2#d!u9^9֚{'x;yj[R 2VV'uIVrY1䃎<':1*ܶ SR&>:4nk 9| ?Mضm'GXWˌRV7@2Tb8Iu4#Ox1ϸd1o`-.N%!('LAȴp}ΙYLVKt|Θ'[)QDV4s+iWRt;n9/0tt%|1' hş)?XefybpB9"p[G#RUf TD6&W9fT 蚻!ڈR>ZE1LcWgD+qȔFTQ !j~pzdգ~w6yNA=6QѷW>SS"-FBfAK_)Z.{5)Ky6ڳR;m\Q^D% iXy\W7z_C++z%~\jϕ^}:O^ca~jo8/eΗxa  T+Rr{>d |{xG5 NeE=4'0h!ddO>C  E84}G(EkagYZEBTqR/jo+^Jv=G K Lvwi'y1-ɘ*AeO}Ö+ﴢ&B=J?jA1!J*A9#ly xmؿOldC"^a^#G${S4t sG7m!X]vQfh$o{~2; IU7I󅞏|^ylM*$32|hzo3[X>?WflrXbLMg#V_u"j{L >hФnR0ZFU<+}De鹿{EA7 +SEћipjk:͵b9} DIE;ՀB5jTj~懩bt 5G|P UxpM) /DTT{V+'ľ;%v f:تVV܄(pv6KN0"qbKbV`!O\HFg" 8ޜiyU8ro⿥V|~9 5:=l}=kaMWqvGk8^c~ qk qJ*J=2[cK^i6sG` x'[+G<0}PLjDdkepihC.^2t7}^ޓ7>TRb99ݶ;N[W%*"i8YӒڅb헱(ˠ!Yƚ 2qU3BқSuܩ!NLS甍ez= GzO̱9(]mCڄtVG?{kK)͜;K*:ǛDR%[:W0gw)rTWWEt`}yI_6\CG:<%`F; KCuBF{?!]`!^6b>hTsJ)NH@r~rLJdt4v1HX snw!uy)-y 2GA$xW)F‡@ǎļH%^hw&徻}fku%7 r⋤E SWg;b\M(f{b~G3>s(tLR 'ZuPD\zEWh~AM&B:r0sQt$K(D8ʟ 0 5ޤ!w2]OK aѨG>'_It  l95T /ד a"Z2eb4BOvqId'mcNʕ E' AF**ǽKcnEj*@/UeWhtŒW*́N@G\3w +PNW޼0O] C9!T5T1Gfg@{sVU&]ҹ1|boJቦ$t,% !qW/ Bzh@XaF3lg&lTZ bKN>.&uˀV|VFkdR|88u&.U%+]Wyx uWVx8C? AKw]L\f7AW< Aq%ni(,( Bf]%qn@殔ZŒVW'}FD+8aⒸt PiBA$aͲhBjå,0V%>e,!wײ $r\ /xvǴ#[Ɂ qygR X x-=#baE;"ى L/i\ 0#X݈(?^OHqt-a c@6 Dro` Pj<(.jʨT=g I/%r tC j Jbn ;Vd4Z\`PARc3DjeΡZ J9g+#M[:k89lW9,6b&T܎ύfi>|XxfhO}2D%spvnmuL{@zxp@}Lq%I!a%^vF, `?@@LLdbil W09Mpg29f*h)V0܉-Owl%wdt[r$1tko`NR=}UDxPGƌ3~y]tjFQtgo>]@jLk-=HC$J[ Z[8“JѴ|v%٭,V핹aiB?F3Q/ H47 -ZhMKD" E X`E4.'2@ 6-tmhL<uxWď_Wb̭097j4|]1_3Ud[~ ϏoE /,M"M63Xg2 gL@Xwѱt澄8إ۹΅G|sU8 55 'ҙͯZO6 p"w>zVDot^a=V _A ༣ pLU9 U :HSR?kt|]1C5Y?uR8yd6FtVLǗ(maa_l4#ϰ.JiT@@kJC96Y5A;C[ŝ# {V"h@e 6a0NuP)*`op.Ya颜q1F*69%>T^̜IM8O<TSN4YZ,F,6:W3ܾƓ5Q^,țϐcJ81s aB F&Ձ2c7U sT FFRDFydBť 4+} #a +Fu ?SimFlm(O.j%"F6-q-JON(@Zљ ?}pi_K)-(:|6!,nhm$9J¶ R a6-w5 ^cia"`@{.(W(by."hrlQ~NCʆ2B/.p }J"%nOL`^vZm(.ypRXH|$ϦCx-:eH 釫d ?vcta5Nj;R\ns"S|!J{&8Q R[2Lk.X7 Kdgլ5N2$A<>_ߥ}s2h2phc"'K$ޣ !cB^̊דTܝ^]70*+k9־) T[Bf)*!ex~C0ąi) K)I+1ۜBd0ƞT(Ibua`DIf|!VA5~㪑 K/bP /fO7VŇ[r[1 7 ^3cS4\"M&q̱+h)*wz&F*7}/pqݬ97#:];6ЃYࣹO4"{oYC8{"f_l}ϫ& Y;fRzUPc ͘ko2 cV֧Q"e/ XH{VfW^ m3WDeD*ڔb %THFC&cιq:ke|{b#{u`A(qa)MV]U6dP+İgBˈq7seQE"lFv #;XJڒL*Zw*ۇzY̓4^ ͬo9_z-)B9/I0;G<:JTsxy[OxO⣹1UJAFﯦՃK}׻\]ڲSMy^fАyyݳFJWw% 7ExP1=09 QR{v@j<0L]%VJZģ[jRP9VRjqwt1 'h41 \>@j R&pNRxn_u 'U["G$Zl {\SIHRS" "U-?s?΁Qs&J&r@^"9ݙ4Lp6&7k cn)3T~"=]zHs~7)uO΀(f5Ya-gM_KHF##t}ZOB訐<i> 0(B;XƘ:.,d5!8=k_(fVgJ]ITKmijybe0:QFa:ɴ͌@9"nI+VFk<D`!>pۅ-m'n$ c-wggǙ7瓞aEnJ{KuZ$Z\az󍰨*IZS' 2fH;Kѷ{¥Cá @(8vf)LXNzv.5jwA0挋g|ɟ 2@P{V=O?ܯSq۾~SFdH F kIEjF#2@-S],yڧt{,+2Iu^ƀp.ƒFHbf(/O3242S;R I<%/$,x>GgdSqggF[i,s+u&Ls pOxeX=3J]8|L^fBWLछ"yo]@o=Mv`\jE-iVLwWp8򳨹&$LQF~L*f9} l =g3?б .}y} :(_Gj3>|? guȒI3IOd}+UӬK{ZEwߊ}A1.Pkfsԙ3o@=8o&K?TS| b񱼲 =xi<8t8\n{N}-lS|fD-<5tK2" ~#\o). މ(|_.@D >2I;ɝJ?&91#JcZ^KBW!!::w~UZ*U_ qƘN`$n~`T;#p>:s"vm.El`#b; yaP--eDP1D Q *\74ɭXxCY!T:J*︈\m ׊ר˿Ik=}HV#&gh0R&go" ft$7F`;1`sbHeӄNi6%?B+n \iB1w_鉩 +<| *uyf IIyZA]wXnvi' E/vZ  2JTNA'AdPݖΜ]. )=2QƬf C%Oadbaۍ#E}r"fV~we84჏0W XVabx"s|L!EM ^ Y,FO-DדNǙoxWs<Ѐ?WNlR8HnEu:O~sHoiP緎;T ͳ!CG- X2'N$&bd[Nilr]Y䀏?WQG:suhMq޾D2K%"8J &;Fak0:¤EJ3th QMSdZXx}fzF09z;e0,BNa :`~@Rok ɸ2r` Ѯ|懿}}(܅KD, k*ƽ/y%g\) i&=.r2FI>eHef|C|\o } v0$"U3l6M:ЁhCt?!Pgk $Q]B!ofZ#F]i߱3'[AUJh[La}Lȡ ܄< Dj.JL,S 1`.l.#XWſ>O eނ{Lf޿N?Y=Ręz/* BJ,H<ծZ#9GjsL~|:tke&xcNl"sꝟ75S1 0Sgh1{` tYE%""ۇLiVz?6?qH͎.q61_z&p]tOq6<(h O0nJi 6ܙz-$˗IM:6R}_O\l.꠩NA-Bɦ>,TQ(˙6{^V1/ւ 9ĬO\ZfMn2G{~_GeҤ׉/,y\YHvƳyכH+RU1[h҄C ŻKc%X¹Itgrm`< =uxi+j+S<,sY*P+hJtNBoJT˙o]f KǞ ?Ϛ~Z%[/ #r?pd8Qt?pf*jGuz{J!VÜXʅOH\{*1MC1CLxixHx }'ψ*!v/C;]%]@WwTGb9fs;q^rúSHEg=G`5YA3h.\3*(4vd  sa #xzjXq L1O}xiz`"O<~* VƤ`ldo[FD0F2ý$vߘ R<އ^gbR+eq ! Q/wt!W4\MaRιjTQ[:ߢ2(Jw XH6mCǕ5Ktt8$ҟr`չJ-&X^xBn]&fNȴvrs YlG1Ev4(y̹%k ~ܯh3'e85f=]ع+(߯:[=ţ3Y`;N[WRh`JMO9F~mW&5v(.M?cHFsӈJTcJ[hv ͉jYm<kikՐjڥ(9n7Fk+)H 3]Ms QlDb !  lB׽;U }186̨p,Xr#Џ&U$[ac$hkE}"R{$1vXp@14Qv>кg?QW[ W w3u6e-%D "A_95WWDZ s눑6(ZuoUsI؜Ybv^ J~}8A/>dj2y'grK|%)}!i5VUy mg=3|^'<9{Grz<QԽ:'je Ne#Qb{9JeiFD0;~dXwaB <>L%OO5ً)A_1htF-Wgg@##mZvWrlCwZ$E$8$SHr'Y!P?Bph4O7}URMThL=Jɶ8T3d֥G3KY/R6=RSu<5(9yW ~6$lpkCWab5ʽops%u2SȘɵxn3+i{t'wiƢFDAkbKo[㧪VS_rBͰƜ@/ ٵb;|^I^~Nmőyjb9@CŽ  9 <@-<6)P؁cx5 fH`T|(~xd=Ȗ kaVcgkV%B_i-\lԵmjwZm\z6F2ciBo_zb+jT0e:/ CSpEM/Oղ]sYy6X vh,Cf'*HM&΁ wW0C&U /j͏j&eh4˖ Pfv9kjNX! CW\0\gpxVYJ"^ɝ-@A[C=5n4ljA x\{KO5kV\}@x?c˩e ir<0%]ZkQ{?ld<~%烄3 k5OذGݰ 4PϮ<_Ƹh[6pDaWe5 45{ CxI':<4Er*G=5ZC10Dz5"abOC^ -G.hRqh$ɉr7+y?K7酒 a ٖxO{ q^U=߁P08o&Cߢ[RTe6rTƁ.PJ8"onIab@S[;Y4~Ŕ.'ri*b9P&Q65*%Bi9KeY: ^ C훘8F./@혉"gI^'y^@-V4C;8eW3oɝC 7QR7oYIӎXPw[c*ԏg)'jit]?ܫjh t]*J ェzȚ8au-dz"ieЌwZ[Hl1xܝY< hr . < چ]pD$ӉoZh d!b`ng+c0 {riKOΛg),,єgaM6*4W}w h)zcS)7*'I\Wu.ƃ"{1BX_ ՝KvIk:>9(d5x#/89(q еQ`3pD El"tG2bGS$B]\w GGn%I1ug\aiTN|VD|NGO=w\D'Lb"M9m ESrK0;Q Tb/SF&ܟD,9QUF 7;[W"'1nvQ|T5aH3铫+B|Z9Щ ~Ha$CqaU%Z /V)`4[{Vܸz<۰6;a_m@A$P}/Kbpyu j;"q!ثJ%'iT|뤊1xGF,o{+(v̑trW'N_ *XTҕ ^PNմnܒbwP 7 ]{͈[͠k2O.kPQWH@#ҕquΧRhB$ڜFoo3y;,Z`X/Nv}HieՉAy<5Uة(}i'ڝ"mvmii()3,"Е!yWyLoãl5땉~U\N$rdzn d sBTG7͘acO>-QpܵM,cjf-]?8u};1}%^˙>g ż<a (W⬝JuY>8 +lA_6s4nJ9u}WH wh(e7$PiApiHՌ" 0pNOPXvOTU3-ȉ&:Q5%H6!3һ2:98ydx,cېZrj `Ѵ3Ejg -=Zޟ?< qe#R.p"|X]Yg1gՋRvuLжce`Fuhxk[ O* bpF4ޯ_m>%ۢƜ/JSg n]X=yaӮkشO5Ch;r[]y;E4<  ׸&.Z@ҶGعU *b*&5L:6%l,ˆdU'IԖc!X^~B=T$R;=`M#]iEHK͖jnH]_v/EGc`ASIBlj} nP"'F,g r6h/[?GϨ4yvtM7#o;&urAݰв,r@N3['~FS,)s0)9Ys9&#[tptk'Wk$N!B\6ty* ^..a\`3](3W)G;>~% o)F[=b=&=OOR1h1jZ!}3opވ8Ok)˵nsL|ؙI^Ҽ Sux5WKWU{t|lSt8 O+(qw89)Gm9"do @VKGS; WţlbX5YUZs95ƓAB[k tPWF|t‡UlJb3KG{˩]N&畗Nu2%ݪ\Kq-ru;dl5 `T".o <Y区m;%>9ʛ,m0jL=ixP"F3&)$ݣӣK?NK&w*F(.V ў#m;[Ɲ)(':[Q fK伈Ԧۢ~1o4.PYvqF< 2%Z1? q j6hYǃ,*_I8-֪C HtRgdrs])qwZ`q!/ZEf>Pa\NGa h_aD),NօsUDgy奦0Ѡ--Ͳybt;SZo2db kYEύdF(7lQ~"kIg9~N8 *K̋x߇^XH#~Q_D9~$`ؔ3j0>jnƧkf bDP_u~E˃j QS@LƼ>h8ʨW|—ggk҃" M\ĆWCӼgUm?4CXٍp\}^)}9q0>7@K([y{1)nK9QVː%6aط_򽕆?фz?k;oK:_Ge,*oPv.Y5v~=S7|5Y8&`$"%t1!E~ok&Ο ?UN`QBFYB;Dд.C:"S.{regAw;j|ʯZ!΅;+.pgK3ܢZ>vƁ~/ħީD!#vՂ>?ZD+Q] 1$?B)rKQ3Ҋ0+Q."M.G' RCYF5h!+7L$k@=S̠THѶ(lc8{W,1=˻KUk A=,7(զ*}?AwQYex>Uo lin'nEٍ!7ƭˡ@DoŒtu_C(,df鼳⁗ϨEӊ"@&/Tpu?8~7$&722f q%i f觻P5PoÏyLn4'zV~mU Hf8:؛v)񏪆ųI.=YU%&sԤP)cxR14 aAq-*Yb8%ټv>*I%! ݫ PڴX7("R4+*:rԂ^E7~ՋN"ڂ{`DQYq6EN£A#i)Zm˵[՘dȥDsA ثKnAhsJt@-KY/ ^l~^KDRPS + @$9} Nr/`*yeX;ko ,.go`W-Մ +d7Vnϥ边=L~)Bt~w%)=ycu+= |sF0|n5ЋԊ]q ֨ԏڿ%7+ІfȈ@ro"-j˜Qh 7QEj:/eP*Nq('\5lZ= %@.)HΩ2%7YܲÜcɱ^bBBkɓyP|/bJ})hA1:{޼\h#4=ڍ6T*WmCqL&!lz{HbP>9~#/fӃLrBxa.Ev0j+DdAj"uݲ7 /sŢM/X?P$H2o:jA9>+ofʥC)Hr",(sV<տ16򦘁ђ)% ԩsm󡕬 '&g*xV\.E00oEkטy=)+yW_gMYX~Qu>ZݻrׅAHVٕ{A9dȠSUwgV3$2MfݙUw t. `\~C6f]\iWn;yF֊>1!HZ`E:J9d g<' Q3Q_PqmJBHƇ0j-l@ocMR+!h[Pp!܃T5#PMO GbK⼼Rޒ!<✑ҴƬ]-'I6Դ3Y잴+kB#*.G}ňK+߶} WRpoTmAjZU5`Zɽ κPnqR7cm p"2KkYG]wnDUY5ܬI@J>Tcrl(肇%W3 +Ɋ61PGYDOɫ!qfKdDc$7Kz龍+J}aEhڲƛNCgq Z]``*nfW\ew y)ѱo_^׶yAbtL3\~Uld_2U;%{ftWדDkGҟ2MT@l?j¨Ne f[eI0g(%?iEjc~Nd,U0l/1Ƃ>rAUy@k΁cs1qܬk8m<*?4vP%;]k|[U|I=2:g ?!3H 99.m"R2_|pCxRJB[ ﱸpzro(1~)'#Y6{hܟW՗3o&[k!BGP?/:RLm팏}/^9a6[Ok4N6Z~3RiLA*5 4o" J(~Fcc1? &)5J9QgC73oR`VOTezC{mEG }tC(lj xNU0CZ:Մ.*dbܟwqD} hfp,̮%w'SmX6hKygnr[):=)]&<[ۀygf ڕ̙\J{U}$%[%.'"?UZ2 b&c;-BBJy*F赨 &e~Tt^VW73I>">^3!>Ϻ>pभm "`*-\1g j=5b<< -jNZ) ?`nsVvh]Ys5? ^.$Ƨ-u# J̓IJIOg)7D8AT?>|lJZhr*TY2,#s8s{f|~yX.0:}j&]5q䡱!q!Y]u\Ďi!b'Iw([y2M)c;!I(ANn' %l=?t$"[L}ߎ?,p(fEA<;iw^߭(3~aѮ SN.GL8lUڇXd`J;ǘ- )?eOo< \4T?;u9EBCsdMqd%Dx,ph{'Wb7W02eC 5K;QL\KT%cAH:ȟNnM_FLۡe;Ft#?ɳ&J_$P7\ʌ&؅t]&_Ⱦ'K,P"be`a e,ta9_An@%M zXSrJ?lE-%-&Π|/F&/TTv3S3lԎ|QϿ}ٴR?RpPζp˃>"βS`kv8@k_!#Ə8J*0$J,KxFX;R]!tw_6IUZr= 3z'YnccwD=Ŝ7jUoX,dز{ѠϴخC\mYFj"9ƜܭGW(9EVIpC7CЊsn6?2N6Ye3$tF t2Trf)U/RYI$j]*7[;~eQQypOb#T#wX5_]S|'%)10Dxoe[d,>L /t5z+BڍAH&vެ9D;: R>/k{BZ(( kӄM=~s5%.JZIV 2^̓ig*B,V7+A *xEBY9[hs=;BY%es$_.?], 1Qot,:Q]8xhormIXzѥÑ+}UI2[b-{,謤\! v_$?s{EHJ;7*BdbD%J{pԒ=lĐUN-c\L8Af"Y_ҵ{\ ]#J[#ƾuWq[ 3k ۹Q~qN^V&(g;3r@lPdOG([) FguԂݰI ř`I6SYjAj6Aώ>$i2-AfqQ4 /$pWURA {M)]bNRT>ܛPvL7T̾ʹ U<7uϮ-&̈́aA+>t,a} }bƠӪDQ#䟚VEo|֓}hSV"wsOJ72VQݥ 9φ*u ~aƐs[#VQjcӴ=E%G@L`O3瀋tNR7Q:1"53f{B|i\ 2lv޵( r{?жEq 䊀.έ;+3S { v^Z /DYlA2S'ÛC Т,yj%G[+bKkBZe[>!"߈G'ͺnr)7{JS*} G-O5' xG΄jl+Fx@/2GRjN<'~9f״<Wh1S(&-ziv{IP|{~>+J|Z&ՙb emxķ!đ#+Q7ϼHo9R7=) :N02)W-_[8Ey>)TB%2C X9 8HYE{LQ-~iÍgCD+&#-6~WZB!тB=0^FIĮRJgen~b|މg)( reWNw&_/(b45~ Ch 2> %*U8BE :yR:P\!+{*{VxO鵃|u B;/n/?"M{F*}f hśJbʅuBIWd|7d1a j<]<Y㭌W'3Fu zxN幺 :1uɬSg6 )e{?S>`ФRps!sJKP.6.jnTvN2xC۠>5+/c gkkMO{X) ILKlEA[d;߱;}d"JҲee)tNɦVX1e]SF `2}#h ?n.v/| 8л;ARfX5- 瓨9L*::q[rW˪^Z/ZpcA2B'Һg\C{*?m26{FLld6;orjQ`؈v@&C9X QLeS`)Y^!T;jDm#P&='7jNFZRæv%C~oX~kp!0^j nE =M}. `:$HNj&"ub 2$9?VG=]Qm 5j}^? 1ZʅbY~̄7"2} υYMj? yLyW0PHzW(U_*u4,Y k[$hZdPW5~K*@.C?[5?aYJh|&oKeP MR@+G\L/[=jc\EX ^YudV"sũ1WEϸ!*77chÂ!dZ҇#dwq3%6*4E|,GEy뷆ٔ,p(l\&j7^զTPA| 9AGA{M@rޞxU@UkF* !FmkW(gFkm('kF{F9NX٧_l{Z骇<4"bGۘ!E#s2P5P܄XhBuj'c=Co6akg_'P}k+ߊȀ/wpX734CYR?途+mt5E O5J/3Cv'.Ca\Fp͸N_,'tn>|Igy{k2fQB̠!vd<HS"jYrY<"GS@/Rb.1#)++c=$9Nw_ܮ^IޕׅcF YuoXa}\TFHUqeNĊ U;~U 8pB0'eC:$ArŠe_4?W"[# ~;MK0sw/R2pMR< m1WF5n@w#nM$sړpZ1*A)0~ Wf͞L4F6u'@^SU4Wa@uH,ٝu,ᒆ/, X3تR7$5YL513#((ҤKo#~#rZ{ϟ.Xxg&*Eb͑ q ©獐 !T]^D@ gE]1'5ɨbqSA V4.q$H~eNgSiϺ-o<FG **-h!a?3 X:a)-=yl'nfata#&Z:L#9jzr9 3_"AN +|b4YC"'^yȪ:d? cpi=Du?o!B?!h;cZ5g\>9>Ne@"F9fBGv!zr.%ZA v`)At_e1x.'Lj3``Hɓz IK<n(M' S=3Ԓ% :cq́R0liLc⊳ΣO$Q.-K"?9r̒|:r -KP}s`|^tֆ }4n1gG) ef79X|(Ltizno. NlUMċp^|2Gm$g"vfʃ4L?~o~FEEx8IN,́"cK7u"q}㣄ĺyX1eQp7tvR5(P:^Am: LҲ@@l(tfAY{۔6/}<\x#F.SGsM-y)~_?*hNVoOF@l[$^-|GjPOKV_|0¯0oObF@A:6ڃX 3.xt󠜵.#wI%3slj9WsǮ~ф}nC.?}a̢&R'EW a`u)^eNmjZ|B"b2娅qG1cPr ιke^~_kBRgyNV'2ҸGQR}up7YkhDgUr2oJJO׶Sz'cvBqbj~*쒧C3R:c*]ܑӮ3vǫ+Q/c_Liku6 W@:{.GWs*ųb{Hv b2)tPWzl; `r/Z76\xVH@6@_A{uuHVs_Y]鱃qH2|250k) HiBBP J7/ VIf75NmAO:bkø>y8Y55١vw*))UQE>tv*\NH=9\Mf-KNAle -jR/zg܇v'\V ޽մ!50,-{3+Ǫ}|JՁDK1GyI`*@oY"'D"+li Ј\K٥Lٓ&gSz|cnflc5Ջ<<|I!a#F,HI=(n~c#%\.mva\9q啳#鯠f zb2\J+`V8Y4rwȁ^ͫy< yyݼ9`ce\BшʸB-S| j4GȭA.y䐎,ωq%lmZW\@m9Y ?L8۝|r7')_>8QK8;iLޭ^nX㱳zCm% K7cfwA#CWi7Ot fʆt4up7F8ݡ1[Wn"XQgi/eUEބNvNwV1IAoHvP_;,+y7٤Aba,GYY|V~.K!yȽ5 ԍg"a!78޵5-UY͒ @0o~u lz5i ^]?ӊ^*E([Q]Oj?mŦz< F6^[JSJg`:jIP1>I$Bؽ959YO~"R*F*?uZtlu{ yqѴɇbiDTjY ӛIvbk,sh'=IxD* `c4>!!9}d460f eN[ 1p\~ kfRf$[J 4JI|H4x`Ijhgp$ZI> Gig¾6O([Bd] ,+iZ2s,}:is{ѭ`W1L8'Yiי2i(;g5A'WX^?ڻ⚥ K<{1LJ-/7hQ,ǚlީ . p"`z{Z3ΈT/6' '1C0"gxp;͟ײz)`{Sϑ=\bBم=Gm)hh3*.Ճ(&6FaMfcܢ/`| b(CױWSHIg$v!q'iqwNpȌ9:%DK!ylfDԟLz(w|rz==3?.;'_,Qj5]6XpaLosv 9Ƞbn\ EWx^ 8*?~ɉX 3yT %P\7" l鴁99z{7 j ..TB9qY(t䌹 8{v( Re7y(N#;6E]Unw6Qs?TVYw˘G&DD|Z6 VxN1Jf2-A,q/{ obCt%$# y.A $cQr9zERVZ_XY~;,m|xr9s*6Rhy)oɮMp륚[O2ЁWs'B-&wDR~@JrQG ?%%5|8vmcaA6!tü*P`uf)CբxfM';Hd"،nK"0;!Jt]J@rW >wF/1uM4f=^gå(5csS+@`[rP3ŅTK ՜ @=u+i`s /AJsZhHUjf=Ԋ6j"ƌ V+fr2}+<h l(k`f cO.i`6]G'vWF7oTӏ}'P9VB\h@ |?EiD,e<~-h[،nk)-ǁ"m qDr{cvyI-N]1DʸxAu^.0HQD4r3dfoNd66F鼓G38)rox"EtUF:$QE Me&+hv(ř[+h}}%ѣ71Hoatriz|qw`qTɛ`eqvnȡ 9EaT`|C"E.[8tDTB!*G @"]`c^LU9DntIY.RR\i@r d BKw)nUeM{!ق L}Pb^8 ǽ1+F(f\^_Is,D/n 3F\O$?)9D6ra U/iwzs?IҚ@f2׫&M*&MoEs;YS Vw5Ke?Iԣjf"qUY-F*&xWF$B񹖬2ܴ^n ɯ۷$"mSN'ڶضXac$8Ag3]St[r\vwӣk-'jW~EWg[J<-^!WTpU8#>KZ,A-V` EB+Rܖ?AdmzItEo_Z mC Tו RݴA(?N6x͹/3&o;,KƄ@q"fаvI$% +ӫyWKÄ̓PlshLX7 I,pG0kdfKQ{Y4/{+(J*Ͱe0\t$*66 _ĩ,Q HCC=F#aT=(V={XZw;;(? d`?tܿ^uCIxGhn F!1 O0t ngrEݴF4=ۊ{ ,OgbD@A%[ Sw$!2X;^8A'7i@FJ Sy5l1 'KO~:Bm,.C<DFB@c ѽ54kS%k-sLBY2^,ݳoweX+,L^TZ Ɔ|<ŮQg=[tkBֽ 6e|+W`ԡ*6WM^'4{ܝ}2rl MZfTBlU_#'m@~WbPf Ϙ&o!vu},୍WkT@UuI蜛"H-=k3Nga{^YS˟ ߊ .L|נ۷`PʝBǜ&yMXɤȑ}9t1J[4_l9 qݪѧ6 Lj>n/6U%sAKsoƣ?Jur]/x5VYPX2/9Nl,/,;G9BlWMMnAγ"N ѵ$$[Is?͙fo, os|엁Ltݷ# qS_9ek 빨t~ v!% _k;=QxLpx&BMiwF"} )4 B8r@G@&Dj"Zg%D=, Z5b=`5IQD\e( W9k[OI~#,B| EL߱˘z E:7_r?pAH')jv!]kAfv*9(w)d Gr~Oʽ${$,/(&3A_ut%Fw֓Y!~,?@H |+O@[dc טU@ˏ[יD w'4V|*H`_O,Ĕ:Nu E} -އs, cD.CB1T!bA&Îr~K2 Vwʓ!=:,!@h%>l0 gMty>XfWNOLRD顎ږp֒='m( 崏v-?9H羬~4H#Ry7a8(\ ol,׸Лm$~vc7i{aBMENꭻ@fyZ3~qKυ.$(-'T Cҗh34T%X6Bj&Z^ 'vU!C|ўB++?k0!O 6sY@'%^ c׆pYs|s;{S/+9V0Sr'QnRlWVN5?auO0%&Q֕ɇ՛ք<9 8퇄_ق}nIOVj&T8I",, @ܐl(~̼9hbb@ڠ4"A`TlWg2wxL( ȭ_] 02aj R5wR^e)ÉKiŷ*)4opYT.vs:Hti|8 ikj)d!_5 аYoX@ϘD'3WHu<`JzY @Bim CسNԍ}H#V|y[X> +\o٩[KhfV`-mVX^6j7e)\h~j䙏;u~5Ur7?"m^LT1ATU 4{L,sv^ /q`H%MFvS.CCX{UvH&Sf )ϊ3ugm}7M CDnAucH^X5,i_I$.2*5 /38p<_R/rCNcW]eDyNiGf-fCՂ]-d瑟Ym^jM#"OD(Y$Hl_b_?L׬c:&J#Dg۲zU(^ )wŸ]Ԙ" _kۯvq.mꍒR0~%a D-c624w\|s'  [jRF4-4xg4U2^ =fM@UQْj(JUOxkx$lX1Ũ[+';c,-_Zw5Là(t򵁏M >WR\nJ%K"&;LA_q~szw|$,DQhD0C kw j=%!l UD|VӪm\KO'>xyŎ";dx)bdb_kUjDZyW!in.WHs K'7 Tur|6hÃwj|c#>l2Xn7B,!'XHBq8 aGiQ$d!HXPBIWKF5ԟ5{JfC6˝8~tF`şnTWv4htԊ%Nܘӄy 0/ifh#ő^(Eч 1 cl\:K4e.{xxV;.ͿdǃpW}ukFA곿s%3,!L S$@Nc*jEo4l'ӰTƤc.Gn&5*xq+1K)%BC,“C3y)oy$?pG- t+a UYz<(Zash5w+CrgL-n01 ;/nkT6S:XkJ\9lMEou,Z]< D&GvܑBot;W|$(q뮗'X`Q=3f\\n oNB؇n $fA'ڥNյY(c"忳NnhF B֋ }VM}y ?q3g3]_ Zvym>bRyЗR=#u YV FgUy,}_@"E7b2Ld=*Q2xNDG^Ɠ:,)זQ솓&k_|t PjuZޅ` >\OE+8gT u6NJ,&9ʽou9pIRp 6m=tm.c*=,ɸ>EtsB1 )jjy05ԃݬHk BG։ȷy"ڬk+z9(*ge[+9qNdidѻ)c#0?ݰ{ot}2yLeUL*:厹JoQH.I0ÕE9jEAY<$z˱*u+l6 $Z&IMR6?#+Q>P*R + n0C&K%1޾A]䷂]64ѝfVt;|lwu󾉫Cb`P|kpB JO~8Bx60oWR~ @ipART!&•5Gxu o<:̯8{7*8(A;Rp\=xge2 $4ͅNPK:WwTduy:;c{h3!ۚJ˒i=ܒԈn[ACexau0ݩmG9Ϣ8PU@ &?Iٙk鯎`wf-iqx諶 GCbAkP(Mʉ# fS.*a1*R%㐀=Uʹ܍;5pnH̨}6&')keN/ĺdksO|YRGUAv$9}~Rͧ8CTSc={#b/#g@ ntY ۆ쳼a :? Vq g?Մ4FHN0`w1(9}2It].ZINwp%)o. T!:تyiD ڦԯʼ /BbǧKmnN[ժ`p;$ 5bRH24Mz6^=o v'NwP4?s;%"PT( 4^diNQafl|V0t 2y `v$2!+϶4-,gzl_֌gIhhf!vrΥ*jaqU<7Ls5EN5D2[^կvԫ(K:Zv<!̖,g20YBcPӃ%ێF7Z@F ,1&u[R [cMk'XqZ? @/$ֿ>B$~)¾Ӳ X㕒r ZYvPj 6iL)yϤ@< K0H"o2hɽ=MAgFܲ%&ɩ kv N NZFu9hj >\ ^&.g/VF#ó`4C@}~e{Ր>%QPc[K42ّdIRkyƒ-dĪ@+S Gך^IkC¸ =0M1ӕ W/`LD+YLEsu4yͳnPH ]82 <;x]DSSgr: >qub_Ǟ#U0ȫ(#h``YVDLuUJ_'϶S Yj/Fg[M~wcJ?gShUsֈK5=mv.WhS8Q[8.AcPJ$z-Rn#5QT'wrnSe]đ4.U(t @\pn^'ϑ%Js&OKR Hcx@8bQ*3߅Y 9Gkù,^Ut)p.m{oYHCPaNAK%Z1JAEۮ1 &CDGnč nw%g$GLMVz p~ְ.K=t/TB+ᑊ]lNCR}bXz*˿M̞ ͺ`2!(6Шºoth::KK4V!\B};;u۽q4[>Ԏeq;*Ixb49PQqVa6a Ũ:H Ĩ"j@(:JZz(5R+}Jih_TGnyb`H+="91Y-4MNͨ*8GXGҏ>t#{ 7Рe'q[LSip.G|έ!1L4e*W)_Lp*&I.Q\*px 5Fs@ed$:+!]TXm6MRU}ZC}ߎfC'3*|L?wY7j_$ʬ!SǐD`=Nr^|ʞC* +\0|p4 쭻 Ri6mLM <a;)chy>v5An, 0Yon ژ&]h~n@4;͞0j8+a[>Pho|™Gу1Wgj7 +tO C>6zǀb&$zC@)^j-æ$N1Bl;2Zxz2qkF#{L+=K08{\\gY&Z͙vuƣD|`t"<a:f ;" P>c6`Fn:ʡ@ *;@0"%Էq;,nW!6~[ 'H]O|FTo=$Z/$Cz;M d 0]a|q,MIFܘVLw @4hbG\yt B Kuv&1>hS/k6/< ޓIeh ',<]w䵲#<|ji\U&^w("'@O}HHlAfU6cCg1(H\U>$=fs|*~6m 4f!rU׬`rkj&<4GH2QB=H}VkG!Q[Djϫ,KL1[I;-gSBx@AWǜcOOMaU|Sތh&YEzF/9@5/Ĥ83<3Q2@\TmuH{aZA7&u  BQ*-?V8\V\Y$lXC.*f7UtFt(ZzϤ_k <]gmPBam%#Xu̓)h;mRn6& |DN"P2~ $@;W @xJ]f aҬ*zKDYyBc3Y^McM 2k.S!kV,a=\ < M||&<=өw1u1x2>L Qzw\}+Y)NPMXaM]qՌl8\CuW) *lЯp!\q8,/ ~pT۫Mzi_O]Hގ3˹j(XtUǀu퀂yT%+W_6Lyfco\2?[QA @Bʗ=pfYU>&X@uK/QDrwH^ym˖ԗ?VvdK >=bߕ0L"^˽'9h_rL3ޑm~: !hr&:WOY:ghL)&8G SYx%ֺ7-љ(YbERC.]wY]}ѯ{+d/qYE|BG`Wӧ/(0cL.-&Q6NLm]i&`pdڨx:'F{Tp rDtI]nK7ãqs!-D5O!{TSdHw#(7l,$(<ϟsKLw>K͛pAbk4Pت赏 Z8Oj5K&i>#)d"j\^Zo W スO/ı:9~%7Gn\S_;8rA'RvmiT TNނ`f#sg;ĥ G#"Bi΢<ˆ6T/JnZi> EG^iIt2,,;6n?ȷpV!;4fl;_dmYǵܭj*_2?bbDsך}-u6(-D)uG-ڔ+؟6!gox߆1!qvtzAW$pDşY̾+ [ Nl/y᜘#s*4ÂY}F 'o,zT0PU[0oG-Y+Jbj;k\V| ]ϡsƈ:mFBQI?snk8F"6rgX ¾[B)Q~cr{zd7;\?+#*+cץ'oLO.3:79oQNщd:Mq<8^,JYFH AÜ&,B:jQMS?'>ݣX%IcZ; G/Kq>TV`"h/L2kXsn@$朏Ս@55Et q6YOYhK$jSpn}r:Ib65Eb$%S̆swιHEpQQIW +#:\n:񐌚|Y]V/j!*]D&겥eHi"3D=bLh#$bЧ ܕtx+,}{A)y1@z1`>SEi%u}l\7O\շG]ZS >oH|ȶuN,{T0 r:*, u981ҽWei?wY.O ',+fE$Lk/Ҵ#:\ȅDoS`ƽ8au€^B߾fnA+:& ӯk$҇`H*_(>-dp\ŮbCE8Ƒy;B>j_h ɧ~0V!2T$kY618I+%ES RJC,C665(<`3ǵ>ZW/vhHTI2M;*J_5/ɗwQt qb?WXx$SaI E=e @@L5ITPט4!% ya^UlGk@/z jع$Nhu}t먝iZsrS#T^KW=|ArpBe"9a[}WIBVZ_崖RL$+a4,ky%g&4{Aj<痴iNzk?=ՌZ:)_KEY҄. _ݳ!PB;\]?b|Rp[EƞlR[jD(AE>$36QJ@2N,@K/Y ؞j[s3Khig=m);ehvo\fQ:~tfo lI R4.Z^>ZۊwY9f"XEMհWl9cG}^ˬ>HC '-9QNx u% xY x%6#|'=M84ӵ8bX̺3 -$)mv{U8~\7Ň0W\UH;Jn`m˒[-'G+ySa*8g>ر`aD&ћ~-8}oa ˾W7l4엶=:x42U,-; @ԣl{ﲻU#@Hv//J>N$ɼcy=3ǭj<ΙP֖%Qc}b LfT@DkeNs.^fh@5sqKisفU'M7/{?c)~IB> 4 kgoDdk(MWQ6 .?[NEy5\ͣwHC1Do|khzkT+fԻWƽ}w9l/[nSg5.%>pE\fM %^HJ*u`M|/?Y|ddx4=aȥq^פjxKBc&`?3! K}O6t ?V^P98|""x#,( -\^7N'??ܟv[a Cv$v zq9E7֏̖YpLt0kN,!< _hm 7y[ݖi¢Ĭ=+pGoc/q^S^NdNFt=)h_W(vRBƄH @~/~@X)3kFI'K][MQL9*GIfwuiQ(ȗSV aE!p_txo ~f}|Ƹ_f%% f?g)2XQjް s | iRҼpM)R+>\L8ѷC̚D >#\MS!tIPJ/;AW)n"*V4\ϔO>b$yЎ;D_؉D Wu*qk/@q;dP4#ed1:6>=8P) t|Oht|,0nz.ӿ筳Dۢ~sPVy-?;^yR-/Yej ' !t`< aDd}սoMlӺ$qQ*Eۥr:3B^業J\0}cgZ_yd AKg)l#H;]wQ{YS%O*b5ty#Ua1c7 /ʼnb>C*R{m1S]ض{ D|16ɁH!QJO/Hvj@Ց^^A"UT.N:OȢQM&#"B ":*)fqt/ĵ%~&+LHҒt9TNImBhMDQ; n63}&+ m:[{uRkBvh8QZf;ͥjfP sgip!=XHĽ` Pހ#3`6Oi9fHoO~="B]I[TKȽ&cJ^QoOtmhgډ0G7)`: ?&N6W; +tA%'7؛uxFY nnbeCȍ[,]UlfB'g/GkhJ liZ'!W^ [^9>ϰph0(9ܭfxn b3X?b K)=4(GQMمv7է~&;ᵸ1w=a'urv1Q3!EC% ["A8n( vݔ0Lf؂M E 鎍wmأ[ hb83G#Cp1`H)>pՑh1SUdd#aK)X #sPp~l}9 -=aeRd*2p1+-Vqu_e  {]8k-!~=" /|oK~ʓ!a%;4WfZ C`2VWRө>,D22\)ߍv'tG5˥LfӯGO V=֎jRDv.&b-مO΢rIt@PpًY^W6YAM IBaW!$ GO"g3f?X=p,ʁ4JB+zvoUbXN2AUg q9%=OQFYl+G<> xW1BH_s1knL^̓1^ (B@~9g\ͭ,>GMMmx.7qN(˧Yg^joO[!x cqUOiq U:Y$qz#JB28mr]K8+/3Ÿ?7.=}K;Jl -b+ߋ8GnL 1ezܱ$rJ w~5gkx4lB 3lG6\A=@IU}FRaݗ\ #dUB%RdO"~ oTjhfbll& 1JHLGph*n| 4aZ/ ]үL%b qR%hzu-mb,Hoo^D҅BEV|pHJ2B]ECmKޱVs%u%`HMSCgv“1[ k9m.eI˰kǸ(HB} =PLnO 8x,wWk0\4/ۅ9EnQ呬Zܢ Jh'NC,ty!G)#FDIj0oU|A`ӏdOV+g_}-Xcז$ Xgtk36e{ӧi>ڂI} XMx]-4F۟Ka{+ƾ!kM O=՘7s-dҫzbfx#(Lۀl.T^U\@%?8kVO|Q9+z@/!vKaG%'b,\NVpk>WHs2-5Ɲhr #:jTGfG/LO-&/G{CFD۶"~_˚b9; _ЕhS5+} #ijS۳rBOczcCRNsdm{{ v(:6''b;;Dlɟ7f- %WLM\u<ɂwץ kڔb IJΑ{Ioۘ(n*ʚ` [4jM*(%(q[Cq*2(jmd{KY^|EAGr'?Ɍfd4rH:FūjrvTq L2*枠%=o,e-㮼ƾOkc#i',i$,pdž15>{ҕw]X&7bazXaL"k uNVp OQAP1e唬qB]Tjjk&m[ +MYJYY**G精j$N ma#0w[L__sp $[ÞC3l42(h1NHVs,@ J JTCQw0%ڋߥ+c 3xV*(9&c@8 L '<n0yą RT65ifC,hLpn7BVY{rxSuȅ~`j~Np۹^#^(aS= p@-`7TYi_N06|ű Y6ZǑ[zT׍| /t٣5ztzע ( )C)/y3W/:RK= ;jYpKJ>>偾"rdq4]tYIVE=&ָg&5hBOoߩ[h8`h2ab nj{3طV'Z?|ɉf>$a\MP+;0YZ ggs%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4$q # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O(,UE"O%#mdѶ (Qˤ)mo7m&C Đ<ŝs$L"s}"~(gk3Cgv{ V9͆l34G)@%a;5ssv sHCB5ǔ% ĖW?>;/z>TW6fv]ykt' ZEښG*bk@(t.z['5&xᮿnw-sD@L#ݳ|G̛['Iq}B'jc(^+mԢQ~ /j˟ۚg45>Ԫ=i FЂvX5lnnY֚ǟ ok[߿BLBvOSOs@ZB*U B/  q[P*N~czFQu@]Әul\t`tOPY2U*gu:w8?tj% KnPk͚~n5wZmryI;b<^3GAჯ M$qEY Xn2 ː&'ZS8fȗqo=6ϼ@1S!B%h3_cpK9ZsةVCpwXZ` L#(y[|NuDԷ,'C Yŭ%QZ\Bi:2lSH UoPlLݣd="&:z,6=\6(u'c QI46mk[:8JL,DZywnEfRyrKۢWE1:y@E Hl)jKkf)uj5C" 'Co5 Cb:YDNIldEG5 fbrmV \5"qs@ C~y7N76F-yr Wh?D#ƈkIsP2> @OQ~9*(њ ާ''0{y'\ӪQɶ6)Lnh4R9ҖYE`:bߍ Ff껞(ʱwo!YsQ>z/l$'Jװf䓇sBt'$@ 7:7Wo'V-{ʲ6\Ѳm!p,'j#BY9#Gb_lX{|j+N|se EARGA(|5W %؏pBW\~gKWטlRlcjGV'E!%kt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{ +p8@yM1^>K C x5x @#cސSTtqUmNw)%ֱD5S24[7Ck]Y`$L,݈NT"UU߮֐ +|}̯po NR=J% E'=D`n 5&N9H]`Ͽ 6~\,^%8zos!K-2P_)-?*qr6Zp*t|op(\. 佒]=絑|yJ~TkQLGաE49\s`\:8jH'0As۱Ev*bop\=zf#GdCq]c#Ϛ/MqC79Xg v&@V\Q͗ ms@˿2'{+Ác,9N,4mw(sOKtHav\A + C%/1wj_ ʚ0ޖu%$Pe@d2[@p|XgOqW_aݚx8 ]ZUj39b98BEs۩bv\8k,@yzzJfe])!b+KN~(R I4K扃;mz>ň t9t/ qK;.)x{y WK\ͩBlc(Bu{YkKHH\C'O;\K>X`ീ#4tF,raHp[wvްXfʇX2?~4Fů2E]XO~tX|[c&}V5Ⱊ1OTm"t⏢IFQt <Ejh<-ցW1h'yY7$ u]eIzlP=h+Ղch; s {l < RUXTRCٹ]"-|Y[NxY*0ȱU=t 0].be`uK§a%ۈn<"dCn"oia'Qsw$*E{6;.~N\:x')'B4gJ燶^/æq7 R6$Vߥ & ]fD{ _Цx3q5k-7 >BLu d ?zj`K *r{أT-~Ln6܏ `:xbRER7 2ۀu(;x-`b8uh%v&Hh5"PVקc>r/$ى?NY:bPI\wx+p#?&Ap$F@O+k,tBF*6SNo,GOnYQ_D#KX#cmXZ NjԂr-Z(\l$'c7neyo.>q#ALº7j k*#|\P%aw[,'fhVQ8DlM= #!^k( ]#%$ ⬝dM?<?,hDvkqeb6ϺOJ|XpQ2wn;hAvQ.Qږzh^6n&EI*(7H(h2yD,ZQ:, L,jhi`k< AJ>^w hk/C {1(0:Au. "..m0$%jIPqv*`uApSەဉ$DJF5x* 382{ڏ쥦Te- `VB3Pdo٤^bN dGAnP%LMi9I?#&epTLC8JǬhdv[RYf_QD+,clJl xs[RJEeT:_˒"B~'sjY:P=ID4jDCE:%,6)Gy33h^r %XXF }+l ?O$5G;x\m:ns'kt{2(J_)%{Y3U [PltڪzN].D%e {N%RF#WˈTWyXCvWuw )tu:`c$%NFdϋּb1|rO/4&,NsORF;%l!S+rb(ǵhx~_#8(mDsj7!/@[| 7Qtd@FPE4EUT?Ah]V{uw7 _C1& }42N?`U& Ib儁ȽkX_w(^v5SP-]Y7a|?TF6IW1'38z*Q-^c#vYuIU< qҖ_$Rpם%oT c%!b)ow y>u< KT]S{&+\Z~$b~&7' X}"d ,N>DFO_>}}\ lcI{>P3 *_(gz C:=גг-t#i(C efVv,vF.D/\oc/F>AtD/oZSJ`H?<ؠ&Wb1Ev S.ηM0xKK37NS woz@VNv#&R )[+4!xbu_&d?'47r>2ed2g3pYfkWDbQp+c|f@*#LsFr $; {-T0}I_}?|)f~|$S1eo9IjkBH[D:&<)FR&&DZ+8,TrjИrCcc(FDsUy>jDQƞ$":0-P|Oފ;<Õ,gX@_1_XP-VEQ(OM >4  B{HmTpf6PNDZ[BH/HELep]AόZay_b+>'/ɿ!հ^Hf۸*/9‰懖3ܮvdHZRNq7kh-J7hZg؀d֤Y4i{@[Vh+'=fq,3:1>M3!&;. 4 qJMJ0MVigC-(#$q=~|c)7--Xҽ`2@xK?lxV''xp'^QsTJH>-ðG;d|uu/^+ ).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI y:r䞽xЭeA_{R䭖0=FfSӍ'M 瀏\f Y|jث$V—q}TΪwnZ-kFFfvM.Rz\`kv:8$H> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂd~$~%悮R[؞(f6@Jt$@-K-k u9@ *_e $ ogPsӾy"R:)NȋD]H՝Cۦqz؎)FցTXJJ LxfyQE5N.4syxfИ?2o;k`> 5 UM;lbbQD 6ĞB.ʼIs10,mؓLj*4h*)뚌#{ګi=&ޙB5qrSw_zܞTڴ 8$&'`mguZHŸ2hc7Ei2޺[dJFBc?񳸯> ABxn _#κ|{(8rO8ZӏeƒSʿݑm>ғY- 6XwpxcB.xߟSFD@h+ OFy0l؂v0/N 7@Q@ݴsRZn`Z_O{LYEUbL5bt4.001іOEA۰3E*)HĈ_Ҥl>â:"ǴHgYZ