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  L L1pTt ] ]Pure:threads=1elapsed=1.525cpu=1.576gc=0.0007zXZִF! :]ŗXiɟHVҭٽD56{sx "#ĭݥrr3jT ,d?g||zO)gz 3$mE"MH޺_ť8&W#xc?9guF= gYZ7zXZִF! b]ŗXiɟ˚Ћ. k$wq"WC|̳XxUV7Y"q.dWCGf#o§BTQP"UvʎMz jJŔt$E2~:gYZ7zXZִF! yt]ŗXi%{ojIQr:,wjY46fm2.$P0HGgYn]Rb!#˻P^`_ JOfmVY>@Z!6طm**qN6҃@~%p_f!צ=(7)"<&:Q>q(ӛZ<كlzAb1Eqrn]b:JpV2$: c8S X7'g ׳l"+To5Ycj/K᣾Z DMʇzYS m?,\ɟ<^5mt7XF&'.EùMwt\9%uPIi+? $l" ,_αgYZ82df704dd5a657880f142bb61a022d9d9ce08a730aeaa9ce0113e5633ca56f2a1c2a09cabe613578  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/43480f%PurePureproofs/43476e%PurePureproofs/43472d%PurePureproofs/43468c%PurePureproofs/43464b%PurePureproofs/43460a%PurePureproofs/43456`%PurePureproofs/43452_%PurePureproofs/43448^%PurePureproofs/43444]%PurePureproofs/43440\%PurePureproofs/43436[%PurePureproofs/43432Z%PurePureproofs/43428Y%PurePureproofs/43424X%PurePureproofs/43420W%PurePureproofs/43416V%PurePureproofs/43412U%PurePureproofs/43408T%PurePureproofs/43404S%PurePureproofs/43400R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43216N%PurePureproofs/43182M%PurePureproofs/43178L%PurePureproofs/43176K%PurePureproofs/43172J%PurePureproofs/43168I%PurePureproofs/43160H%PurePureproofs/43142G%PurePureproofs/43138F%PurePureproofs/43076E%PurePureproofs/43072D%PurePureproofs/43070C%PurePureproofs/43066B%PurePureproofs/43062A%PurePureproofs/43054@%PurePureproofs/43050?%PurePureproofs/43044>%PurePureproofs/43032=%PurePureproofs/43028<%PurePureproofs/43022;%PurePureproofs/43018:%PurePureproofs/430129%PurePureproofs/429568%PurePureproofs/429527%PurePureproofs/429506%PurePureproofs/429465%PurePureproofs/429424%PurePureproofs/429383%PurePureproofs/429222%PurePureproofs/429181%PurePureproofs/429100%PurePureproofs/42826/%PurePureproofs/42822.%PurePureproofs/42820-%PurePureproofs/42770,%PurePureproofs/42766+%PurePureproofs/42764*%PurePureproofs/42710)%PurePureproofs/42706(%PurePureproofs/42672'%PurePureproofs/42668&%PurePureproofs/42666%%PurePureproofs/42664$%PurePureproofs/42616#%PurePureproofs/42612"%PurePureproofs/42578!%PurePureproofs/42574 %PurePureproofs/42572%PurePureproofs/42570%PurePureproofs/42568!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/426667zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/łUz֓<<1f{Sw쿹gYZH$% dPurePureproofs/426647zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426167zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6.ty6#B'p`d՚lWgYZh"% $PurePureproofs/426127zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӹ(6ߠ6P6w[Vx3GbgK0gYZ4!% ! 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 R"   qR3% PurePureproofs/429387zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQ~B)x|HL*!;:7t[~$gYZ1% PurePureproofs/429187zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429107zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ#юRfu`*ԡ'@%Z  SgYZ8-% DPurePureproofs/428207zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bՁG3/:k>mHn5 #aeogYZH*% dPurePureproofs/427647zXZִ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)% 1sd`gYZ (% lPurePureproofs/427067zXZִF!  ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3ݽfry*WsvJTuҋ\##P:#2[mWn-8Ѱ@Ph`aڱf,FTbpX8y"ߙ1194`<P vEAV[]aAs<~gYZ`'% PurePureproofs/426727zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xLPG*6= -f6Xф9]gYZx&% DPurePureproofs/426687zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%bZ'5IqFv +fCgYZ   '   jg5. B% PurePureproofs/430667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ712nTa* -O,ش HagYZA% \PurePureproofs/430627zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP .XEy.Dr   agYZ(@% $PurePureproofs/430547zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%h6Vpc^ ڴWl'3KehwY \gYZ?% dPurePureproofs/430507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט3!Mϼ׎pw  j;8gYZ$>% PurePureproofs/430447zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430327zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G#땰]̣FcG^~R/B'@8LqױgYZ<% TPurePureproofs/430287zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*1&nʙ%A 44i rՋ=gYZ$;% PurePureproofs/430227zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/430187zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+ .2gYZh6% $PurePureproofs/429507zXZִ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<^Xtb*\jX 57-'AQZ<-ihS4M.B,rDTgYZL5% lPurePureproofs/429467zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lD?0meR_ec+xݪ`2c}L,4gYZ4% PurePureproofs/429427zXZִ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(ҽTls#+ޠ} ] xgYZLK% lPurePureproofs/431767zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&bp_~7G9Ќz聜M/щeۊѿ;ߕr҂S*ÚgYZJ% |PurePureproofs/431727zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛS/:GULkaD>5vY]2t]( ±gYZ\I% PurePureproofs/431687zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z=FOj=EP0U{C ?igYZlF% ,PurePureproofs/431387zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430767zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoPu E0S8XLWEjĶgYZlD% ,PurePureproofs/430727zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^%(ƍR"wl BgYZDC% \PurePureproofs/430707zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z")6i=+uBr^{IQ*-Q$]H|<~f28QPQ)3gYZ  8 E8aata% ƶ1bXⶕs_xLS~iCGii(1!,WV|Fϥ]gYZH_% dPurePureproofs/434527zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U63{?9Y&[ZZ%lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434407zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434367zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434327zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434287zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434247zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434207zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434167zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434127zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434087zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434047zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434007zXZִ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   , MWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsg# ~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ԫ .~SEN8I~beYv#q9Vn[POˍATK-,1ez#}!ӥ n5t=0QK,"M:2GtI,彍WfnWJh!>]ft*ҦUYE`ҫ=CY)I\Muv3 PS?{0dˠ:IU 4oNh"n_O!ɛ84^2\/m 6zꚣ3eRg9K#\tg^sn+PPq`";GFŝTY6$xR5\zӍ_/~LYd=u7= gйᲇ;f8\ s.哘0=/YI`1@m$syA [mY'AZ*ή~fl#(j!5 m NJ.ǏQ9 ݏEɗȏCm]<.rCICBF K:˿\I"y8B\VǙ,!u'KsHMQc~h*qm"_ſ%N0H|.=PsXK3WW,]gӴ[SG߹@6fFY³32H.)6Y;$"1#bw-Q`Э#YB |u; s0{q^E9wݳ 14lX0< ܞT*@7K`@s.@98.`dӶ |3J& ._iT`-w5cBV*n.qǭT"V{JRɖgƽ912J + +=++@gХ$L%p$)0]VޞkhC@$ ~JaJ5 }(- q9oC.ʊ[׍j(mu^ 9"56)|L'k ?. 6ܶugҧ}ݬ9֥n2(G1ئos&GOa&qb1CpBqd8WO9*cto`>>aZҲ\,LS9T)nGi KQ=*  1f^gYZ\f% PurePureproofs/434807zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoPxVa2iZKqSv jĶgYZ|d% LPurePureproofs/434727zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fϚ;sAx4Cq|o+WϼŘ,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ӯL卬؅=LW=QcDIGL@ H6L-B.:gqL~@"H>rCDa!i)N븴8WJ'R /'ׯ5@ɱ:tAPQ3m;*QdrG$ߊ,Kr68FCH̅qa5Y*2"49Ý a.r Rok`6 ÀXKWX?Q!$~x}S"%zx !S$.&53)3 [W$&m)xPe]!0gN~|(^F#, 2k( wm98 _K\^|*P{sU{ft&U.ۦ0F 4d/FOGju}ppؼK hэ4فW2 qf+Sl7zp*8?븛%NaUKq\ O%[lo .ZCG5_.xX^ؑDEĉL)8}~\УNBDEOYHNؽ6V2 zR##oiZw (}8ף([*$'Sy%xYSOӥx4 !.I! >^7I$>G4Ȃ ~;jG?ѴGAfO:IF/%eˍ6e^J%Ÿ@!c8hmZ VI M vj9Rl/qc=5/+>pDeEpUT&QuN8f^0aqm H1 B#9JUds/&Q}(v IQCl/Md*I'^jᷫw0jqʍ JB {[$ʫnǩ M^a(Ϗ [~Q/%H΁.T+n$rf0 YGT|ޏGffA{ <'B"Ig!:-uM*Ӝy8wWRʶȷfcJ$$VހEMO~*#6'Z~stRAdRn,g4ůYVQ>!il0&y?LEx5.mY}#p=f1)ϙJ|",^]"}5Du6R1m\cHPl:[D~h*l4L)-YmfHvO(n;E+T' -pJYdF*ɈN]s}{ BxGR2>Xvq({)~Jk@W-JvoTQ8Ó,59{+쌹YڼUUqlD;c>+h)@ =>NS&pq v0؎2"g e*$=$ ڑ`F!KR=9)G+zR*L:MxD@B \սȐf`Bx%:lz&6%U,nyl>ǘ:Wb-cDE4|{-)7Zc@e!>ٙ?ezzͨ+>uRN%9>x8*hnT!"ad"3<:=N :5W_-_f`빝"|+W{]^0)a!$ s7`in&Ɋ㍯*'RPyj߿S|0Y!*N;8У6YrHWt1ŀ h*&c[JٙBrR؛[ڰ191hDt8Eo< 325伇 aed{yM$|p/@s@Suک0^ǔviH/{I"{̍f˱/}wd0muö6N擭6(';GUc9"fLcO._PhdzGA4so{s/ԽI+q@%a*]Pȋ fbBRqk!c0v6äJz gsFܩ]V`@ff85oJұ^F)5(tJS;( fYm'`P߷0_I'In{ˑ^ϯY#S*^cmhǢOʇ*%C?;bxGZfL.7_M}5,V&n0LB C9t /pR˞BG xQIz>ܕ9Js]7ۤM vTɬ1y/Uͅ =;ݰ(MwސFS'jΝ?ݙgʈ"o[FһHn1|nh g*4y;dzgk%T7X]gO}H=[-ouqBTs "ͶŝjE&-0t2?̕CٳX.z82Ix:8ڢXiڎbS‚ ?7jC [^yP6QJϱ5^f)m8FzU[SC 7ڔNz_: XOI-&]Yu"=RR3.  8ڿ$hK32i"n.Ex@|GԘ?yJO`+ۀ̪?6NCYn(vܝyL7-喀":I%OdA:dug6]IW&SaUt) 1 E Dx9;IoY50 CoLp-Lٺe,P<7Z ] E0"׬qO5++nK jEqgx_CpGELkMCFQk3rCWeKԍ/~9'[ntuvozʈvA~|G(>"D8-.8D@]Oi\<7KLoP2n{Z$Tt=t2$y<4n!7`7+^܂\sYM•A(妽ߵ >^~9_5(mn)fםF[ة{e-NIo[O0%cҼIo˥p`o7Oak[Qa!ǯ` Sle>e Тmn!ɠKO:%"4p-d_3`;gsm jWFp?SQޑ.%CP"p%ɱ [` S^6ۖf/Bk3z|YE=(( &UR9::!{04x.WbCr4M)<&ƿ**#L&{~3Ump4X3QId\(y߁Kp#~V 7=}f:-^)y O!%MdNz?҃&='+A%*z;|V<3qb R?-<^h#P`ZH)LsF鿌YP"9=8ߝDS-qz`řLf]*Q|df!3Wd|%[Gfs,EWniN\{f͎kܿ,PǤrm{`sHA$],;$y5!xtq M GYgNk*_H 5BO_N|V]ȅxi4D@?)HE4 ϟfe~#.Nϴ1Kj0VRL$%52_q:xqXkF,i>{pjvYy \مŮ ][쐳[opZm! RuvhkR~sh/p<e-u zHVvf"-ems.Nue=v[QVcRx>wISH 簊 ;!=}e#,I* V[3X}{8<&JFSʍ_}sD/1pgiE2T(i%N4mrM wfIe-ړ(ٴcʞEH1K=4>VC`8f1prߵ[a XLE$l,xIr X:Z3-P/B0U=7q[&(z&mVFIVcE8~Iar[RJ~Ӛ24z]~b.-Z|E'#5owc1L΃|fIWG: 4(^ jQ8sU,qdeNV;R"l5[ᄲkO0T,C 6E_zi"eUμFԖ'p邐 AL0qX`\Ӯ6mYUaX{*碲޸, nг͓쳼@?=zer@NZa!/ %JnYg3^%4X-m;kv)k. M׷ ɇ%Y-u!mbhző;䀆ZS Vo!Yeڔ#en{ gY# K C]E/ie5|_nQ`Jw:΢$AMicv_8k㍚OvQ5ϟ43TnN RZwעy L10^YnD.MvlxaOd!==OeWo5b#MǓBﴞ}C×je vwD?v!Vb0!9~- ~Y׺?ICpܨ¨ sU ~}]=`cppJ># Liz`w\PvJTTSO57?P1=d>Zd%Up&*K7Y:zrk:!m3#VZlo#9op(GǼۻ6Qmt>_S^ܪV,FsJug̃sK|dd#o O܆ه#c z>};/HÉbIm=p Bh-F8pD&Rvn}A!pXPʵk!Z/m)"ʠ`t(/b[ԳV.l#&7JGyY%0>&a=j7&AgL"nGC'Tl@eUmJXE"@TQ_߂Ui[||u}҈ Ut z mi1lrc-RLMh0ͪ0 d-fcG T=Gb gfKUI ϐNoXԹQ-1&LqD,4й~uMZj%f+.?Hm_w!v=ʮd`v*+CN)/OH6-d%aBȻqmQ9b[ !J&Otb`@^Gݮ*v{xıaFnBw!AFL>R}W`B|,B^ތ)a *I%-.*;k޴v{ dYiɰ*ޭT`ڀ4%:k##3;m26L*PrgR*^_1v/EPo:{H eiߩ^Ƌ\iDbTv%M8;;`5+Gl=_}\jPbM7+zֈZӂC)Y*r 2RYlqwUUz^uݏNێQ=UAV.W!m%Au7Nc ޯE4Ӎ~w piJF P4H:Aro2@ЇT}fe P|&O(P8MBČ LL!pTF+ v² @qp[("긩Q[Ym>)zvެpdD\%` @`/@smI ƌ$ 1 xB^v#3}˔3}Hµ( (^G#|x/df~;tpSYa-U<"'qޱž[Q_. aUH0 w)SQW1Yٵ7d64S 9-u,.+OIaѡJ%RLv|_]7 iNR"L:)"1n:޴l}]X4ۨ;y,Fmጅ5mnTaCDE&jӝ@z}I^+w}n-1wy\bg2Fꦱ:Ou24$XNU{5%H|.@Փdoc%&ayc FEc%!WL+"QDք޲)a:lOn_q9UC#,\hN5;]فW]z[mct1Ǜ5_U Ǽ5t(k-Ȕ'o  Qv24dM/$S ʢ)1<85>_]fFsGlIc}z #f ^Zbɰ桚AX5g55J>{1:+OqS5WPӏc2P Pzdi\#U2dgc3rLm<'KQO{Ña6}=m-;c9 $\4.cjqzAe>tFYS-L<, k䷝mkyO9\У[4НдHtf 1*ln0)`3=-iϣ% @j'ΐ T3 m癢vҥihwR5k <&%I](3ΓfGQ, 0ஹ+dwNڧ~׎n( uЖ, wU#y/ գfQ M +%XK ?ѩ'Ire>$-7HS܀b~'93UQia`_dr2peǁJ93HQpUKb(mpMʄB0 q!.zUJŇ7Xp'oI>} qmVLjz4A#>4-20kѓ3}A:(1n9@Mw"+k E'#̿01M+"E.n=ȍRya\2栯Eٳ=¥?9~*[A7 r$A$ ,WO0{nPA]2ˑVzp܅e-V-g@UW3ZLDadѡD3&u@ZF46,`:Mnܟ,pcnĠ"²@sz sruR?CS>xiJP!i!.3Z+pKi]2-{&!O ST䞋rIbrf`8>vK\hmw')BS?oRN[?} fA%+s=AchV%Ar "h2Y'Dn93ʃV ol L(>j0rsLHOOwloHF`k^C#Efh]BSP5`ՙIx8_^"٥nRFCO˰*L)]c#:]jEI7 cmK:"I;Y:N k93LFS7h5gxd}?]v8l߰2jТDQ,KGSԂe{*7k eʤe@Űio{'Xk%AniʐAvRp/-JjW$<89*sɿPJaT]nR1&"!l V$x5Z+O]:"ƀs:z^Ѥǜk4 ^{vk3vwg+7K!>n?2d,vfKt+Y#ܾqk,R}ب`-4yx][dYt `Х iNJ\U~=y[f FlјVA%Ee@;@'oG=\>י!G XE~PaA_+\Nüe  4(KKb!"IzR*7ke"9iVɆK a(0j]`ueJ4z-XѿiڌՈ4?!TlBG #WQcex*m;Fi%^ÖFU ,(Rvm!A 1lBDOlzxcdR"!5 `I{M#efnmS+b*5e7ދ &~y= (7/!$:^hˎ=`c5'Z&M{Zgn6G" 3fo7Kk;{=KU[7dlvvox;Mzپ6uW\&pRy{4Q!+Rʞu(D {WL Iq<9E}~4,mxeK'5]?aZ*gɿ Y IFYLM/KT͢ 0Uj0hpwUpF{]G NQrt ?SߕS+KB>svl)n>s"(R]4V 6"?[酡þ[inRI(ZtSJÁn0[3P { Gdig- 9 uߏX4E's fFw+,73 /S'!P]'+GϸV-[POȝRo' Eo>ӎHܞo(H* )@3_LR`%AQ?EDKjkϬ[jm- ޡȺiܠ V^C3ID0K5D(%]OO$bHx@Ȣ1ʅj'4=ZY|[4l 1IS% >1E*sDk!0 ?'O'AmVNztdThc@cUU2fQw'Fz+KR &ýo+޴ hhm0j. PȬۍHh|(r-ضDx*xlȂ4S/ޝFu [RC>_^7X>8c1uv4p A\$r-No3{xglZ?.Oe1O_m>GE)r8}MLp6czNB)*Gی%L$lre.Y݁5I-shIGW a(󗖴&2,6)7iCÈgW{G~_Qɜ74~AFAQ.]"kqJj}tW:aSmo͂{G}˭ʡ(6ѪM@>o#睅}PK?o碵ר+uFmmǴ8_k"얠BykC~񡜾1zvo+j&xTzDb>Nz:O9*nD9姛с7]ȸB2@|8";$&;.ɹ) 1 H,mEl;?)!JbYEꔌF9a:]K^S,7?Hhoh@.~աc/ռ7/DHuH vQW0K>=V2r=e/6ZRAhg&v̚x[ϓ7͖orBaƭRI^R*fZ8xgYZ  Zso% \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.WqgYZrj / ,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*^ ybca,J"@hhYAZ8ڗṽ'U TvP5b90lI 5]uc)(:gowjK;\Q~O,i:Pe0:)P{b;Z13OL쪁['k)kRQ]GD~VpyCrZa{v.#g{!]o.T.PXɃs{TQlGŐ[a= Vk;vF:6i9Y֤C2٧hi`$VjA/jӮ%ل!BW&E|[2Nϼ_+R.+$km.=b|D+( x B>.KPuXsCe@159F́GV`ngJIЌJ X V@@l=m[I٨/N#(y ,.)+ Dǫf\{F(x[E6#3(8׽|Fx6i}4gW"-и~_@ng`'̥E }r%iB oDRg-4&W(o9~V$a)9jA&-8L!UX ؤBܷ bzy"F]5t NF3 Is9jmo(̘($/cܿB2ZB]OY?i]ϥ[&!T!{DMk"({R$!$DhR4DO43|ISc#t:|!+ V]/bg h ' ÝA+R˩ Yi|$+Fp :jaY~CsveQO|/P-w(syv%_DH4? Pn3986(IYiJ94'Luݫ"v̖s;iH).Fӝ*Yӝjv%=X1]Dsؖ:jIkxQ p)4J89)U*[>;gGgffGI5\Pb>s̛n,ͷ*7=,_ c4[ ޫB-o_bjY 3BxWo&3*J4sCC ;vZbCX-֬To,x>[Y /T@HU t-(oS9aU QM\%U ;OW^"kT}.sڰ腒T|l`ЬdG3O5A5t9xٵajq5x4KyEdڱgYZQ`&lTc7轇Pa\Y ,VaE&Vw'x$jUEl#$l1?{&~-㣁1rfçylۮއ/D/%hTF%c.mp>bS;b6$\=*ղ2oxJ8āg߈kc`),+y?F֫bne`-@L:"Hp?!Vo` ɳX (F,J4,opB*.](|5equc˛|Qk;@|MU5Cs6C' 4Q%R1|rF*f4c\U!@ @:;7`/[8Aqvk&@WrNa= ; z0Aһ g-L]ȱQ*u#HK%C=Nc?S\Yf%% F$p4c_n-U '7u=2P 2Y^K`KCPոv#^o@2O;ߕE_>vӊljz]1m.l_)4+"-24Py3'W)JmeέWtG9RpO9_mmX)!%Uafxvn!d>ֆj (ʾ92hbeVZL|U(% J`5vyZ^~ghF9"J$I](BNVJsVFh-?r8(NCqd~5s2-C.*r} 1ʼltmH$OtbVL&辒*&S);UUW) y\J mN B 6lq}6t1  r? GN$R/qB0/k+ǝTBuzN1bH\wjk8B >xcq4O>trG%0 rkeAٜ1?94=fLnP=rql2Lc!)Jm.,D?iZG W"1ɍJ%OxҨw0Kꭆt?}_.C?? v\_vBMWsѫ(^gRX_.rts)V0 E(A]An>kU۳[nn>kχU]$ G "tSv8w$+JNN;` Tebֵ)|UT=_x]UTɷ8*y!^ 1LչԒ#3YyzNKyqZ'{EkOCC\CQ"^!/VDgu?<rd'$F'RЂ/3%elɨ"`uG6ۥr&'ryÕ2_̈9$SE.ƏOsfR7z#5wMHS2 wt >ioDl:C/ uݖ1tB`mCzjy_|fgx^_+hV9mǙC`4LYaW}Q}y3߇6I6Z&ur[[-C* 0POPiz}VgY6 <;2г5ȱ nШh^\e#`C4;|2MD6ӝni)[rh]b6~Ad~P񳄂6.}x]yec >ާx}Ʒ, [h7)S%_+ݦ 1|I:jXHs)-n ¤g> 5;Xω֞!NbHQ&G&Iv ]Ji%Y%AgM%"[LPCivbB#/gRaowܕdv^Af?xAZNZ؛ @Z,(G[ -XodI)%v71r X  *Y[k&gWC9JE"4N4%ҿ]Kw:zb=bzC0GZJR5@߂G}0zƶ@Ϳ燢T91:1j iY@i)\Т# z v:J%ҽYW~~R5k?To"(אwp6F}#KlnS/&/݀{j]sD}V;"22˓aK#d)EyIZ!XH<]%aE>A< oEb$|Кk[RemroV"6ԯk Llшqr72V7ZlΌ?IgUƵ:"c7Q\ !ٝW~7)*mb\ z`2{ƻC89}.J},ħMiΪ {ɼ||Kvl)[<0D3#M0zzvX l{0YaVɻ;ֹC߹{➷-Ű6␿3J/c>fc T{) iܷg,.].aDž`ߝƇ^We?U"%SPv 2,?qA=FHx{Vq$g}ދ>O]VgC_vne,p&icOP0!dlaX n;ou f)Gg" S6|KOSKVK#. qS`љk rEեE'$|W0 a)7nlat/ =N8. w,Jō-k0$SjeXZC6lxJc{g)c1V,65hM6f+2K]-X+?OCo;x<0sylPG}Ґt9e_-6( [?ZS/XSaufwT4p\:^82"3s3ݬr R[)Mo\eZIݼGN#sTp_ }z5k*~]A#Z61y KB ӧj)ơB"pkp,k!ڔFAP~9էt.DˏƕBU̓;oVN[bLNZH1Yt9x[MRzs)Ш[uW4r_n$߄"FJ`HEz?,{gQp2Sz\dIH9iLmʔ3f ;-`-,Q ۗ۷7kr*~qfutoF{&%X^H @cl1TeEEk }yX)UT`MYrlKxMKͺ;Pp$/b>! k6Fy0 _,X6imĸi.\KNv#u~n96Vdmh$ PMF|sTBJL+R36XdpLiwͩR)I!odlk]D{&?*=VSX_} m|E+F1tq.pCE!)^m@딐9*vp&$̔k/D]9Z7ĽZ)yfǦ(\) ~rY2|iL d@$a]ڙj%~ƨ9NȦZ6bɼ:IΜB\OE7TԲlhpYwK nVRxsazȊ!ީ͚CR+}vGP|58}ƤGaܘR[^K>lw]Ă\JeoGg#qqYDbQOPMJSSc^t%6? CH*RH~5M;w}exR(kX{)A1"CP:tpkVMfg"W[[߾dY)הCN{9ʜhw ,= 3Lƕ DMG!/Wdg̠A.BRa;isS po1@+)2Xc V=LĦv)L"㪎$~;|ӊWmE`R Kߋ4`dPl${4KTמ]څ~$9Tc5{Mwji` @Ĥy` 怲+Yfd_c(l\o^זcU)% NmYemTt?A3@JЈPͧUWM=(*LRI`!vE«NTU5s:6䩋vk#fADZEP3.ٵ6*2qޣQF~h|?3n7/_ B}kDm:xO2*% d='BᵐZOZØ#><-A{WYƹD=(٘b7NFxz^ĺnmxJ$59$qTr* Ih>ܸ׌F6yusL.!#^p5W}q[?4Ʌ@& t:pj徭^~Ho#5'QhdnPVB 7c;cܪabbݰ.nlòR.<ߓͳnr qT#>:7weݔ|FTB7lR0wWXHQ@rS%-d=U$8lE]X8xB=A57k=`KA,%B=z30rj'蒼':#Я.g3a&h+n.r6#ij>ң*0p<;(HT/0ʯi'CHNm-o!c(yt~%(!*3p cəWW]]z/t :yChyCcO7 cR D6<Ujwl*۪O&V[,A3(Z|4M+ϤVTՂ++`O}41 Զi/Ve5$% y>8ޗ*eb)@Leð48 q8^s%'_{,X [Rي3C餛JQ[;cu|c/fm2<-"X]h ,hy5y]4FUאm噍`hǶnԎTx ihF'̇`JC>piRMYDe~ӛ67ՊW@yX}h& t |VaF :bفܕ70_g>=$ sS +ѯ!ݶg}Q|9(t3XXHRtL{=`{_pqqrRs$0 I=Y܇4dΜ5ϞZ@͘=‹TZƷuyْhxϹ"#Ha6 5:q!~p1eYOF-] z}u]IJE8R$ 9cw/*ZGc\ 0pk#utO0UTv!èg빯wpe"Yj^mpW!<ڼԴnjM5(}E (Xތ\ꃭEWr8z>xGai£4^ Oome ʟXD8⼎VUY"g>0ɟL9 :Gh IbO_W!,*8?|BETo* iu^m@(b$bO+Nz!,ѓ J!K}z_|fYJF۷n oM\̐ AŢ,#e (mn8Q4vYUZ S름uΰ~j@H#A7"s n l'#%X}LWc #4,v}VzF)TYӍX.;ʶ d2SNQ91 J '7+%!qϓ02!Y_he+^mJ:V u)#b{-7@b0:΋ő鸘|wr3?G|{ب}f;6>ߩ*Tו%& MI,E=y**jM"У6sնk" ( 9$\4e-\Ӣ JR5bnпbʻ~lbI׊bcD 3}y;&(GxCM PO{E iཉwQZ[&dxg {5KqHMMf$ѓG=2|~·S?٢KPDB(W3WROH@y3#@+27E*Bvv ‰/ݲh s;k&Jdֱ)J(55‹w|aIe `\+@yZZylԠ[/gw9ER?jPڭ+~sTX8jqTT3; 4oC񵧸 MeMu'\1㼆^SZH6 t@mU[Xέ{ucۑG-uB}TvaD;#]W4y>Pâfx ΰ.m_A''LI# *.W|1ResD>kp h!y&VJbl㊂sWocB[y ?|H*whƽ*Q5o럛(XzTјdG@&a?w6!&Mԉm%0n0ܝ1'վ,Ǟ  ^Šetb-bռFxIoX<ĶeJq8,EzNC Ov.mE`@2wZvf&צntxĭ] %q"mi2Mݷ;J}?r~-ߘh*Qqfwl|OTV)LygQ0Y 2( B> f5+0.U|QXVG ENZ3I@6"ۆQ!lHI,9 q.3CVǨib.*U$ԩGHl! &uN /fTh=wzO&V;ލQ~7x"l07v/J]r MrR:'Nu# 홇=XӊJ< xxʪEtgrΡߴ +j)+T켻|@g f3/ Q0N5 9x ^ XٚzW꘵@#*qS?mWi&u2w%C,%ɈS4VIq)1 `Kvތ#]'{NC m~5CS'Dz=K(ʮ  ne&>p;N11Diϫ+n\2fES͘:xRO2gMgf1wO- .{6Lbi1Ѩy3D#BtױN ɞs _kT&4мW|ER3NO.cA˲=4q>i!/9%~BFVU&ba+Hd(l )"JԐ-OR(:奖t.~%b3< 'qw=X\SKDXdЂ6G}HYSD: k6I4<0>SS7+x(EO>_?]rk_)8; ]dKI-NO\":d5g q;i{7u&f)f̈́Jww Na'-H?[)t:ۏ Suuև \kmM)|ɀq=3,SUy^:eflqP!c%#(ϳ_d{ a8q Og6EyP A0vI4;I~TՊ<"r; {W1r$kk&|D2NYBi3KB^UiÄ$e/0qptFTpjBxփ|c:/\"G v\+As KzƦѽ,,n y1I$l#%7?DM P#4_SRBGrcD@Oonjqd]1xph-nUNE /Ú b7lk҂߆9աfy )HfED#Hq.tA?ibQ`lȍp%a> U9 %dƅ (̳`ueX=P=6t?Czĥoi|H>[ TBt~ K]YGW4a h- gSl^ 4,, v1KR6GZug'=±Eriq)JrPl:8Eɞ jXUeDŽoAcTHimp|d˜]iJV 3$&Hk|í̜cFNi5a~*E%b]Fn'eqԽ FlL4ErHbUkdqȂ[h gjD_;TٹNPW'FFuH"U~!#<…;I'P!UI ,# AQ[vL ,}y8{% - 8!$L^m7`RL/W?x1;lxw 4n#':6(_p8 ESОPunӝIՃgۄKu 1owSB:j|nL2wvu%b ?<ؑ:SR"tT\ݙA rp!*^;yv@ȍHj ?N)ꀲP ]x5By! c#VVF79|_ȭ&y0 ۠NAPT=2O׳`5GlH0(D2KU_M*DAMR$/|8 ݵƼ7,s6NgeΝ͸;1vGVS`gx7Mѽ*jj;r' /CW(z d1I)-#lPNZa=!bk%(u t*jۻNý)t#ʑS nNS5mojBJ }9zEp&n_YON[-7M)`p"|D'B:(\T*as|l:zכ,ۄP&go(OB&e1HS*YHxS)bKdy՝)1m9DMyPvV=t6nwT&tNS$lʱQ5/ECYW0㦱ɰ#ڏ2t-DC B(vWҨ_LeB F9lwhWXȦ/Ƃ=_FI+T uεwcGq,V2΢.9HF܂x6+)6 ,ymU%dӁgHTF" ^on5 =K {!7s)o9͕!沐|8nl(uQW=]5%'LlHdŤzORG{`왏_'Ala98uZ!m<`Uա,2@8fȠ/M.`/6Eԑl;JqoCvb`z| p❘13}QD:| "i+g`emi':T4"O,c+ Ww]975 r\ȫQYx3Y =\] jo[ŋIU4kVz pȩFw&Y3|;!GM { J 늈BFJwh(\ӂ'/'jHfyuꬸFVUTEC ԋ] Y2݀(0 IIq?ċ-IfH/Fh2wX|\ Qp nMEƒ4&ZfCu汽M( f^L-9eKWP]' 0XwSL;=p@8d+Nqպ%+]uPqqՎ:Kv ڈuMè< ©;\ǜD](._0Vs-53)["v#[N9"alnN .]='-8 u$ζ<?q/uw k,:`8UYʝ}B2mb@CSC:Ih7!󄘢 !'{>{C@ܐnO A?Ֆ;M8A'|Ao5pc(,tey1m aýnؾiĂ%BE6&G]2fL$ gM % BЂմ'i5,Jsgv6;h9e%T$MVjq:`JC&"]HkRsзzL)/6tdk 90y4iuTVXݱjIdkt:6) 54ڥV=d۷L%/T xyp MɻCo"_"PKN#nz @rs"OUKefY'bBIn4!r8\YK`nWtrT;؉>Db!4`P9פ5Aދ Vp|DL\KQiǺCFB>+ Im`A8R(qA1`qEt%E&j'n GjҕZ4K=loL-3(V`: wuOIijRjR|Y;q* T44M:Ԋ -MNWuGHꆠW~*׹p'zJF%ℰi&sHUsDJ pYP1`{L3xŵœsUEܤJr<̬oLf8l^^YO_9 A`-NL0 Kr)\2HT83sTk塑(*yh|_D=4 ulQdB,?MxH yw 뺈% <.oa`ݻJ#1?$Hj6-:v4$0Pxg`pIH^0_@i8sF !eRޅ*N2L1D ԋU*b=q+ ]Bdh>Ib4XF_":zzUi`B)HDjש/6#/igSlj ^8Z){k|[7UQez RM+ChA@h(9b2CMETV4'i- Π8[$r1"Mq!jЁY:څFNoߪ)".\Ú [,8]vN9S WH @DA-{оD|L%6# yʰ H9Y;Z[&V!#i|"}(`wK[]1KY>Q)Į% u]PKcW^ʡrW6- O:\G,9NyK EIy !qꭆd{iC}'-v b5|.|$"VH*b '⭜|ښhm8ف8IE([t]D,](.*ӛ5Mllt@f1q?4;1]t7;C]HcMiEx&1DlO9aOHd)A(}IN4I>+OFij[O<1?U*CV?,X` M*@g{mdzh] kBLEHcy$pێ2^[ETI2c7?PI:Sp)YM߫xdsO3*>VjmW␇o?WWH0 ~G0e{T;}NzKSa"̅*3FY*07o?F?s2گ,|hLRyzqujCd2V $cR"b'5*-ub^& u28Zd%Q ;ǛlEj?ӸX/4NB.ha 0ٶoiy0LNKz#3hɾ6[ ';!0C :j1m %f"u~y eܮ49!cnjscq^ Cw:tݪDIYNe'L{P&6巐G2_g`CѫV0ѝisk _iS0T~e؏6 ,ұ#zغڧ{yq/@f7%z1'uYZCaa$q/ M?0]Ru S6U(jvdE֣fWNI\@TK/@_!"< {ΊlNrBe58ZQr o+ }}vEsM &i4/y%岪=Au}'[E&=,u9wQ|9N-0"8=ZSZuO]q٢0aT^|+ZN. IP".LEJI\aphU@ X(@rft4Hem/>+-GZ0J`J y;N9]֗k9[_d& ix0@σ5N:W}_Iمm0FuKi܉l)Dk!s낲b]}ď5IvQϖ>KIGhQ 4H:kK!u+ ݟ"dBw "2DIl745wTĖs0{u?|`=X:hL $U( 'ѣ+ng ֕|۱Inꔋ[>"NFfgq?9K?jF_S5I9؝Q|"}gCs&=f6?"]fjBx+.1- |H.@}~HfrAQ*eS3Z%U]ŤNbM㾙+lш2 KHmIz'VIowR*:х~8"hV05 Tw5t}fۤ pkTl@@g#a 䢃L%en_qݖtҭTv"1cL,yǮ .W -_1u|yCP߯T50ǙA/Xr/P7B5f~ :SEXZOA(EO5H<CWY1)0i{$zqЫw<ι/Nᨃ{]V?g/Sc D ɺv+=9VU>0S$kj5~E迯cFEn ~,_¯Pd_E= h}a !JBe$򌧁ӽ<*`(]kI5<C%я/JG l/F 1NzPA,fP|ȢsxH{SUݿ$n!/J*Ca(+4ίWR++d}$Jb,IGG]qX@FrP8JBa0umKTr¥8נ]oT@?PRS8GTsrIQDTLOg<\sf/ `%ЌQx]MsMϺ\_mj8_Fȫ!I 7șSN_sL\8 Zg[0Zm;Kz#3>a$]F0Q؁p:WEِñLEW UM V s#:]:'}57EgDl+Yώl:("\sU Cu^3p[<wu܎hS5% 2Ec5:BDbY ;-u؂D C]3@;6sʅtÖz6(巽a[6ӗFPhYOlr_lcWwA G4FhZ;HTW &S ^3Y[W+/!ӘV b_f/ߣNP- 8xsJ rtڐ:$eWŊ]p$!;aT.\g>}/z *UV,~lSGƧWƘ^ ^ h+q C畕bFB~GD=H뙴LuƐq.ӯ³-y~% 6@J,@̭hw9y/|chE[-: [@*XY,1NPzuWz<]|EH۔o7ukRNASP6P +YB0 Pe Mq`>o#3VWᕔ/7l:zLAhtG}QːϔhWlX j~3ޥZg{-uEKp˺`䮍$7] 韲.܉v*#B\w`%i6r]ȿ;G+zs%o̤k\TeLt1@][)>;668gC9B{4l p}U>,L &7ȸ`b&٘aFnoh[F`D,ńG9u^ֱwղ3[I{X:lyw!zku*r2F *cCqHXP=qLoӛBV` e}5#ed:Xq&$<`೎Ӂ_s@]6oɥTy=RJ*mwt),vs߶fQP p:+G 4;tQ!S"@G,lk9LzU(uhSFC3_&K2a+1V/Дö'0oy,1U?*v"L[xbJ<1OSU/`#){P4k5Z׊o?!eOC`Qnx'%&O_'^Ai@cclHPœԱZx2!姲|t0j^<&C綇7xHa&q^2ɕ_]a9zM+ u#K)"Gw.nm+ӣ+4.٥[>LFn#L+(^5uo\+PfgN$[F F;cޫؤ,@q_^ 1af2onu)Pb5+ơF}U&$[W~N8 _}4uE@h=7R}â|& ٮ 6I .z#&F٢jFfvT d0[_$dy݀ C>l0ߨ n*c G=QE#דʊ~\E&0F yG ,%I{vF]>셚jc¥#~ljp'PZҶưNme]caSJ#}miҠd)[ĝ"l9rJ|g0KsJgAq/ 3EXgm&囅Đ7]t L%h &t̝PH+݃BHaȞ A٤NR|NUqp?0W*S:l5Ft@v?ڐ ֲC8he%Ʒh oΏψȢҏtlZ3rj|S@_H 3Ē;|?FGQܔ$1M)A2;V ;\0o\/& =B= 8I8ZIgo K ݀ő9=a5P6vPVz"9+R H_mڽi9]J̉IjllrV*`"'$h-=<Ok\7a5{)OC/ 5O)ſ@ruӆ,5%8iijL!E,2yOBQAZR,\bŠlFJ}+ȻSF&"ʤ>W,F!77?F@`¥܀|1O;A]SςC0Ӕh +wG`a5Ȉi|!Qx*/k769# ;oָIE6u$7r5N>z)ݳxf:]jTQ!~׃`5 P} /]D ksǩ,QSE2Yy?>$rH:؝=N("h>(8p ,qŤd/D6\~\8?Apt+]/U6VH:y*ʲ2iZCQr9D-,RO"* Q9lEMWgȹk&5\D&:4HY}ѹm~sڏ [քo.;/k~a}?2h eUh*-(23wAŠ9 DOقH3JO)L\B.Z J빕)|WMHb07 ᝁBmɑ5HLԦ6%] f"yiaV[;]]0R!1;v˷92z):2`\h(Kv{bvKQȹd2usz4 \&2rLQC[fRZ=<1](nw[VUgh_րy3IB=aU=++ǥHӪ8+{j)P1ؑ]g ,(/PGل7یTZEdm$ ( smi,FkPU:/a`4a(xd3?\拄B+Ka3sDT!Ѝ8 m.M}_u@fɨSX)]'q ;q:U3/#LQgi4>,{F_-'N}mћ<r&FM=ʜ-,^W[9}ëR`kXq| K6؛󼂆džbD:$WZ#{Sd$Tp Er 9m?S;/8#|E2%V e|~/SMT&L͙K)g_uPqϹB5jޮ%]9QB¬Z¡u+YE56E׀8y/Z_QerEQ+S~'E 8O(&t!R<< VF5Hřtb1̀tWUޑ n bY3㱪Wf!U,}^Y @_e'.\FpZ430|NS*D? "r0s fxD ?]8;ҧSXHpIi@y_=5CIKLFSw4F sʁe?"jmsAr,wo=(f;r WTaϚ5B9y, <CPJϜI}C?]C܁מl0QXr7p&HL|_[D_?#ս݊ݘ{7MhvahfdTl[LQ-/ > kA2_Gm=&ȥ`njwdg`<=Tkڨi5zٞ@cs)Ђ)㏌"v]~!]dytOȋ4]*vý[6VcwVwZGc^φu\[$8+1t2۷Q՞ʩLV$V-KG3ؚkL05u79&lHQ_@Z&27Y)ZmK&~gʤ\|b+89 AW 1A+5K*/GuxA0Q=[NlV=CQ)׿%a>j6;h̿mrtTZէmr,}Y9_ijhŬyT4ҩήL',+EK $3*ZޯlOY+(/.~9հ3T8,n6WtBWNY2c.eKWQrt`}KI|^ZmͪX)@rK< c=-3S0VfCroe38PLhxBT]P?h pl ̽g).T b(/60+W5$p+#4!r SX.ҫ(e_]5|>,U[?[V*KA;,=Cs)TEHax C@WA!nr]Pf;`^i!Ys`mI. :<.Y0f9hM+j=$ʊWLf4eP$9O9di7% hI%dz~=#W142tk%a}'\V}w3"#[4E _H\K% Ã/&?nux6т{aoF| vI ˂7h|:~Wt>ˀb` ՃxmVitGZy4/`Tri3MЊpcXcO*Se(LL V4 N<7xa{uljtha׮6WQO8&.:e#ot$Z N[/l:ɩ%!NJKiƌ}hB}|gf#\oE^! v̡h8^JL$3P#Rg-p1-Z游._iaǸެ3X `4@ U@4΁ڔUd /C UfGEAк`i Q>TQD`Y` cZ9:r@hej)\fc^mds?7*NG|h03v3Ow{!fF<[f U$ ,E Ф I K:fujgT]W=[(fXͤvGKZ_ܐ 4;B(dϬ!Q !|4w=K-yKHšGK}~smĕԕE85+8oc̹(),;Up El|ўyat5#_=:Jb&ڤ#>#: {OU+OY2K,vB\L}(dR*mһ%jØ&7 1%Lkʮ,*XBYE wJv;aVỊMnXwC9O)0:1s"[NwxcA;NKRf]^O:n!S~GrhQ6~,c`+LjP!A١Lvl;qxnpEʹnm=JAnJ{SM|izYCOO?Zv'( 3jgi!0|̀H+h/HSQ\ukD"zFY9"ą/Pٚ!b:TWGC'W<)im o;vݐ ބLƌ_PK,)P"{@+MQ??,q\t!Í3>:QiwHdm=F^ O50FǫFqF;!y@NtFqdTuq%dzф(7XF໓_]B'}9KfPLwn?4g4G=$K$#eQE+e(!)ׄ@#EȚXI}Fyӈ] mZGR9e޽cLRb.ip&X 秼43Y;p[I%L60W雂,WTzS}}ީTU3~ qEd[B[\ hY>AV htk=_IWW fĶT@1ASG𻛊ޢ-+ zg`㕪D"P(>X6<"-?> V7OXy`4Q0}&ѷS|0&2 ?߈ 7As Z0E*hLV&@ܳwǵ |+7<>sD+p+ Vfڄm,r׿;d:ArZ:~ 3Ӂ,Lj3;#A %6JTrВeZ S9C^>MĵE6r*PU(?AWi1};+8ٯ=HM"O⫓par'C4G[^EWVjP)%jRH>UFlt q)9=,db)aDz˓sD-,&y jgkVv}\>u#AߪTQJ=3$d΅(8gsV9􉓈EsNM;_%;K%wXFy@ r&+eK;+@3`7 YgZJ)2"RC@ىSZEI^m@Qy[-_ WΗ߆՟*Vz\,]Leg?ݲ׃ R+^&̗a>Kl͇eιYҽֽf΋\綾骗(cy!Y{cZef,;l*-WB![/E)Dc@molׂ>wrS !Cc%%JIeD9><*HfI-&4r=I Y1Ƣ͕(OrJH+@;  4v]2mF~'dD"l\E] >:wQ'O!iyHH\E *tw| n' SIA_HߑGyI $8g~Jf"В'V 58kHْXM@WݩJlZL(hV (Z69)kj&![YD4Y5F>A5%mi&@a";Z,ג?É1(y]щ殏O 4P9 ~{tg8-*勥^0CevRMɡe6#m8S[L-+nZEi[ҷ!@寧Y%o^ܧ a09v+d{Hf_lzM*l\Qt@>_6_V!jӹlQ)鍈ˑxGdW+E4oѹ,#)fuWυuoUw?i^= A\҈!.S*8n3`X\#8ێc5)sGa_<×mgł[K/pbS1K{G?7Vb2dN3hb?'hk@چcGc+ᒘ5ۈ|t\-h"^5H7Jvm^o/dq85(MmS5J S7w^@di-scw3ڍFykf ͭ\P^;L)r1\KFIQ4Xa|ۺ(keecg3 3$ެe6@PA aVl|aV? R1SBbo>[R\cf=kFA2>:R_z TRSh-yJ~>g2Iw,p DvcO.^VD.~(4pCH_]O5@ga8+ Up7x=8Qf·i]n/0~V1| 2 uWR (-.V]uu|&m㍋dLr@+ fE .wҷ, X@7C##4i&mLf2XD$45? @ ,‹Ba44Xiv?փnpf6-b^1la|K8FX1#TC-dlXϘ~K!L@7l$T}d~[߭ $Ȑy6mPCF#h*Kz%Jo࿋k;!zQ7BXՙ^QCYL0 }+5"9(xT n1{J[s4C!3?SJ).O p@~o(G zT w)aym+K⧹X"1# lY7yAόhLVK]QEf{|ɂDHE-O,3Ab:Jkp ?r(jy#[GXqI-4" ֒hhOw ;R}}ٽy2 +WX́Ad nDv2fd`,m`b j.092(DF=TLJS"*c-[%;Ǭ&jt#2䀀 !@S\v5ݝCV%-ãHKc6Ksc)z -}}kh?Znr U-.N hZc i ˅.w2áuy orLVn#$UN`Fr1MYl7]ř, O1h(r[AifP׌_JɄ90u[m2ItENxv \1nA{#GYq)ˈ~d6̦IjjףYhujR\ᾡfEu=~f,HOD7;s j~aOUG(GpB!b;(/]A Y ,D|s$WZ ؛2~_ ZMXDU80-Ԯ%<;'98RU}Q2[lslۢr@> QLz |+֖q p-A}J.۫_J5*9"Ehlm% Ձni;^K& s`.D{$QU̻un X()?%"k*J&@- wuݚ v GX^ڏ2Oet"R;q^/e Ɓ +]}i)(%;{BK8CeG:/35X]4z}{1q,Gl7N0Q막`~\ujh-ZcRX t 8KYz k@pT'G,'*HT:,3& zAp3;ѷ^c! 惛llu>9ewHbBz&Vنj] J!hm &,Gh$) QeJzvRK-3{EO2 OKj$inNSg%zfzW<+Oqaf~^6@*ȟ@S: {wL*1FW9ϭ1қkm2h1qLxJͺ.4DS3*EuZ=foWqQe\E R瑐04T@=`Ԭ Z)Á;Mͭc ٺ99~ǝd;݌G#i):fx HU=ݡ'~b c5QjNtB^znx`wU "]R)/1b0%jغjOTmw'l}Ŧqc$' \u;5,aC 5r\&/dv\{'2]a!6*g WALS8elgF 2~,vW,Ը K.kmD"QJXUw8 -݄ZMށ%7msFpC.q Txp1 @/6?i5ŗ21Kj)PȞz[8o)qy!{@25_DH]րA8lI~<kwhluK] Me *>BS9tl FpHM( #=lQ]ҬhT/rof#tgg*z LA6#_ӣԓi'bH.LXڭh =>G&Dp?Ni^(-Z;Tox+NM+x kQ:~^7w|P0I i俺w$@ Mj J1qe}>/tJ R= hkm҇Qܭ O}7?+O}5tBLm b%gS,tUH= ;=3^gN곍|Lv 0+1HN|('Z8(^Bmi6; pϞBw,{.8Ϊ(j,ނ_bUV&C? R\̖~h"MtD8aÜWNAJ<8t3Ybb̷T؀ @"-X& Q=\+KsIAV8 !<䭢WN88e&!Ԭk#, iMRe ɛؼ4hatZh e"/n'@i晶9\[~۵CB>ضzs|ߓ]ROh}J+]{٬u 1m!&`0],Ӛa zOA! ehEL2׵;7|&%#Ҁ5)%Ta~>aJp$-6W1&!C?g7m <{4 {w)Q)Ӌv93mY縬M,ebAlsV,ror\Ds7⚿ E @gQU䗙ȃPy0pC&\d剢tBZ$#@nHЫ<ӁI~^1K N8-O3B=>ퟔiTkԛOѱ wasWլB]PD2& UbbbV^N]Ffuhq!Ve~'~fa8qelP `anwÝ&tYK5)%<C?>Evloƻݣ͂IxײP܉(ybH8N2Vv"Uf2!mEDsr>dw̬GvZi{y>UO͈Zm٩9o,w;KLRO;ĸ %#^+uMYmu- BǪi{9ScQ\"9s;܆61I|}{D6D^ԜED@GRd"d* 5&}z DrUr+T%g)h\G??G_jDdNQ^2O۴ehӂRn-92Lt+Ӗ.-ڞQgps`|qIhzl s܀Kx ԡ0 ۉLU"#ƥճ=9r@m1:e*Ɲ-  !*Tڼ a JĂFB=E1mŕ%Sj4ZrSRS@V?rpL6Kr gG2K7-7윉 4ԲhYyK+̻|9胐2B}`*h#ygdB/x8Dɷ;V|*,VլFsP86J!DnCu)0s3˶*ʩڜ?yjwCXR0eOr%$E+rZϐ>"sqZuDNtI):785s9b 9ܣeC$ i? 2l|dwcl./w1P#%Xnlc.x)ٛ 1ĦQXUv=-<4mvʾmmnY 7q9 nDgժ ՊC2#d{q~xv+/Sʘ<3*oGksl,B= 04?8U/I:.ǖ = s%"OvEoz4p}şˉw253k角/M;,$߱-EV(:51ʣGF"&|/ɧͷ?k\7dةVMk%>K?/`fj$Pap R Bx@hI lTfoY^G&ٴz)](+ \Ocf2vV4,3 miY/DgQv Ӧ-fJidn\>[lty}-3!hqZF& dM:SQl;NnCHǥ n9v0Ւ29˖bK˺kWNsI2Z07q3k ܁*ο ф '-)YNI! ,y$KazKȑy~S>٢).0{u~1hy%L({5C/JjR;qyVj$x3_vsX"̇-%xlK!eWSdV0tx0K_y"f59 NւO%Hv:.@bq d-"l \ OCSzʾ{!y.ٞ)BVq<jHO-7A3.ѱ`QJNƌ;jYY3CV kaF$Ls6<*^z倣!I˼σJnAYV]pN ĪQ )TE 7O;H L~Y֭{Cj+mGw]qwq(@8F(#2ot`)n! ꡉ rOX:Ɵ@$L^w )fn&)&'kZ}S<_"uDxbeҸFǐ1jm@ȃM1y^Q (:4HN֞/:7EU2gL|sNH0ԎDeZF6GT g ({e qv~߁r1$0UyC4 ]tƮ{ssk`)]<6b̸σʷwGtw[H3--ԑ,$s> R,6= I(/xMpťL G#}PQ\{ M KNͲZse7EJ=- =q6쨬DSa$(96֎v7g6Gk**1L'\)0qm.J._Ћhj$'=T$:l̅)PˑUJoW8OE7Nӝ ge>"|UR9rGju|3󵫭 !.PMFfh/fջ}۲'aERV Ϊ^0}\JȠaVe_!1#KWj>zti|"+-l]6DW !G(!u6t]J3bg:l ^'UvvkaD"ZggM%f @jbO]ÍGqr .McR)G>M*x;)6?FqlȪ65+~xXwgk/{3i6-kzH$p%U(38v "f~}:bg4ʞ31JrZ) WzGJ^s><P i!#yd! *yNqqdq90~_#\ZC0+JMyįWTLXԦM;W1s[Z[amgbB?/Wd;ł,/Gw2 qn>ضg8$s??skMT ha `C!ƥ&}X@@H|mͷ2v\35l&)_}oo=أ' Ӡ*˙#ePY~e=Dg0CV &iE.a[@32z0fz ;6c?P7 krR N|?7X,zBc1AF PPF{E=Y2m`{ :䶘p&LXJ12Nc<*LtnP̉%_idRRfl@c_hG=#/Z5!i,BJ(c]lѰ]L:1+n̂K@0sh>Θa7Ŧ,S0>tRKE-݌B?/aYp`03+{F{s^ș6`7u%"un?'Уn:G W}S1VoCHvv) խiO9~ّxm2W9-'Ӎ3pU[.1tj#'m)]sSyDu!Sa@Ɔ-W;y;h&wǑ\+'h~XɁO[^0f ެ+U.A7ߢt'"lw^V<9WMwO 33ZAQ"<lo/&z%Qz-ޤG:t0|?Z<+ojاl%7zs|V0?$J)yT37tFmп`n.#O!08ҲOU;H賂ϡ+OUC NW̆ZYBrlS{v\?K0kFfXF{q0>d6Gt[  ^4 -eiw raM8ni8 n\i hćX 슋eV>z0M/kb橨U˭tS0mDHEeʧF7y A5>]Sr[Pv2<}O9zRZGřL *z7CV~#Dr&ڑ kX=>H,_| űp d9(e7e>{Ub^@w?|w1zD¼J]dKKd[pD!DS!mXf.߲\Ӏu|UOo=TG:Xj2_QeT tk : ܔV-w&q- ܼk*ߤ}LeHJʀ0R0I`.MBj{94DDk%^%ri+-nFNt]iIDîwӶtwR IϚe'&_" tȩq4{Z%|tH ֒ީd\BTbaBproUHH[EDY{IH4=SW" (eJhMD"+'qfl_? \9f@K$]$!УI4 9Sc9q:OnBAN>k<.kіoj45Mv/E]%V5\?ڸ<#*m4ٵ I-f0#M71Mԑ+y$g))`CLb 3`(f3ZRS !%?[mɛ/%05T"Z}-kϼ̮B? 9 e7 0? m]ڛ(=3 'S ?xNq)Qk7Ώ=Kk&^+/' SuWIFRIrzxҪˬ8{xKlԘ`3R~0~CQ9 z`7 zz8柛%~;6U0j]Qz}m_D7MB vnE`SO+o9#wN9Dz==)0kddty ,fJ$>h;S$rJSYrItFQHKZar.g@S9̨nNB VrԀn+P'0IP"U YӦblݦ2"$kM[1Z@o' !6j߾:9NR8e#1 W`N)=ϢhD0fcN橾MA=C=aQK9p=$rj9lTgK?˾8_f悺Zm\!̵z!-:[q "<U/OiosT?)$$B~1=9(J(|}ʟ0#_?Cii6G|ar]̴֡Mg4uFH,QKͥs$b:?`e}iFNu$ lN3vOP/JSuSw` %eHdZs)!|ig,'"qmEtB7I>X\k?[|E+䇋[pnS8k%~GѵDR`1P$EȟTEܠvB q!HeLoYnt=E: :ЦIt ƫ}f[zk2WVc`N`܅DhX[6L,@;"2ybf=FΦ^KF#5j.pߑ7KP\ ؁)U>^|C -c18>ComOCex{ggS9YݷKuC<6cb2'lK42h c~w+: w>I&Թ7~~XzIJRѦrcB\\ { b] 3KNA~MpjQg9$vܔ_-K٥O^bv݉;cܹ,,oZmDY<*`EnZYt{!L̶(dՐH&*w#QoAC|$V|)PW;hLQb lLZnc?lya^e,]jd޶ # 0 gn_֣ >fu>NP+L+X ߟ9in/_0A߁۬G0 x#XTmk-\oq2D:jYA/xGgHQnrDy/VJv_3wTj>D_ Q,,AI:C1~Fy. đ$T#^fIRk.B !}Y=s~@ zUs)|/bub8AzM5 b=}3,Ch O&n5bhG ˭v>,L+>-{"{d5r5?lеMD6@ԧ.4f^KCM?N1Q J::2wco)5 TL6$ڡ2>靸 \X5$bc.M/قQ9tnjRvMzKSUa[b^]7Eg {Cz3~pTw"eVlK̳:m(9 ؽRO.Iij=.9Ǭ5F4ax P7cj>2:._EǥJ1F]u;p9=끛T6@wJ sk_zuG|+XDZNp{}S'GEˏ3_!@.*taAq5{Y+4Vp?+[ " p$/ 8+ak=HZ3$ZXz8nkh\^P(g&/fzKۑO="R⭮Uwb:Hqr}v{[%v7–%ޠ+_n$jr°9/tHw0;@(o-,>AȠHu1UsI/7FgG͆U/?t6v;>[<@?s CC[oᣬ 膋}L2&57g?HT F*{Bj ei8z? :H:MDDE w wVS|ʜFW 6ږʞhC9Lj 5;mpK۲"4:*r>q }',,OpTSX5LcPh,X|wMoQn&dI < =$v3 u&̀GJFXS%ҰA=c\T8xblkPrU~Ő!s(:6H[Y T!`|tGJ~]c68?`4guںQQ)GKO@5OQ 3E(( ePv"pRb#@hFh[ڬ07hFU_ƿ&&QR[%7(o)cW ̸.L0]@Ӫ'h,[o8)=4V&`]){kXEme炲DgT%B_ Ƙ$X} BRZ@(ݢbس WFdkѬuJ*euJMXr͜<Nʨ *Vw'L>ǐ"6E2A9t&B Y;Y</ie(f;!мy^V))SV&x(?;D}C&dʖG=畑1BhOLK<–CnS¾b.p`tӳey:m$,m푃U5Fs m#WQЮmWp+ٛWAsj!Aaw81u%I%Oh+F:tj)Q/ %j2`r)/d'4L-sM缺qh* tڪg,(<ׅE(Dy1#3|,i%0ƐFI9Ց)g-re04qFpմ=COo tI` ka.eH:,keqNz73ZZxu? :VWDJuٻEJm)m5X5 T{Ԭac-~%;6m5rͭ̇.@X,!YZh^A~OˆwuX? Hvqs$PfGuIwuCү%=>n &0zj*sĮT uFc(ռE\@,ݒ7coi&ʺ$]ư?6*;E@RsAX8+|ݻ+N򹣻\ @I0p|0^/ }o-vn BfŒ_U,&"kT H2kO_+l -14Q~Nr3! '"q蚣俟&WvVʖUyI(U? ϽqBrfSIًՐ^t6s!@ک|֓Byh]~}'@tT2E0IHx%aڮ;l9i IG"lk٨Zcʙg(n/S#DhKn"t7; idWo}Ĭ$̟IV(\Nn'8PPNZ֋8NR-CZ8SG{i0ǩ/Slhpl* >0Y\ې}+xz8Afs|J<Իf[lF;8|q)nN -) ^Ƽ#e[ŗRV2@Wm!וQ Mfuƕv( ^Aܕ?ɅµZ.yY܋Vp\W z2x 0zV&?` ׮+1;&5iAO%ö)k g*1qH$D+ݰb/!U+7\0:xHOF(!gm[}_ch9%t}~QKiU#[[_DZkg}1˴E=G>lsrfaZyޗI#6~%/1M|ġ&&D8Ot퀭W;=t'ݥT#o=}PíK@Wp?czr?ESؑ!YQj*x7%DKJyǙisUY_>Mr4,ijt˴EƏ yQp/F'jDbOk9KәI]i&x#V8Oq{ NKaˮ6O-=\$gξ_j1r"kOpl^|+Vϱ ᔆ%E\3Ooz[b=/gyХbr4DE`3*.:a~K\/賵Ae?@J6Py(w"&;}tpr}imY82}T)ZJRGbBu?lыD_ w奓>$# i41Z\XUOd(2`XuAۺ: ~3ؙ?ϼ$EQer*B zx z"EK^xer(ڊT`ȉ>}6'Utwl[2t+I/@ *IM &=5]cԘB դ]0 +R :\j=Igе QX^U BPcDacIS4kTɾ0&q[g6$|nN*HR"F~f,\ >ӟ$?{k#qPk4#kx#p%)$U^ꐒ۩xN蛉LN[4h5&|;0YZ ;;s%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4Pq # tPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O玺ӫmv% D~oj8CU<3NG#z;[ `I=a ljHKuǴS7~/iqU2 +0TS螶2[%Sa?I)#TPPŴ%N/E%A<{ Es\몭=*y*j\4^]cz0"RL9vZt2τh/}+c‡+l} ib5Z )9.XƿW$(}pX d  č5 `-QɔvJZ,+Q^-A1Gj6>{Yj*g{߉XB9x=Y)dNG+5=_e\Lݷ/32x]#J`W#AaR蔽#BC$/@q04Vo_ $15ӄ&W.hv6g`VtbH5 wDKauZ:OQe'ܭ+$hB߾vVc/瘯wsЀ3E+ǣMp4[I>úg5[Fijs >w#&CW ?Hg8uxfN=y,2'C썼m:¢BLuw4-=i @dgVu_Lu[q84eVPa|'j%`&kf4E5Jm0|Cijwۇ%Rk=a5HQ؎SF:wQ!dĽ1`>%Z州kŸ贼ܗ઄REDY੣`1 liuNe.:`Q1QrPU̻;;yCNK^/_M%7R="QgxҸ {nv/W&]!(҇\$8}Pgߓمt* ϊټG3 _KY^@?][텻Fdgv=e4Q‬Aڿt?-쟥`TB)4Ypɳ+2ꩥ%5 vfzE:mvoi$'u}O NdX S^[ƫkd " +uk(@ XK7#]% AAG cvdR^yc؜=xX/(s[۠hiMzWbŖfbAMѥx$|){#h󍨆$T{Գ! ,[迃j*Z8,IƯ!`㕫ݛa- PdcgP GExwXi%s?a ،>EYttO8纊ߺ ]C5LB!p>[4wr|!yݱ{+hFZ7#=='/Ϫf%I *:w'!5qfAmfreq#xl^劅TT2vSV8 Ь,*,_E ɭT}CB ?A=Tl>i-{2MOМO %}} %#i[z#ZSRr8u.OrƝA>D~ s1#w{G|3175o([[XRʂ `J. '1"qC7Ҁ.)9d+t8R8%X`Q\ڔcV{R~SpƥdiuRE6*~P)]ߺ;%E~T 6l/h'04jΗȏPR X<9o%/dS kF%gt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{t( x"UBuXP{/M$JB $>NRwD-=Hn<3s0݉ IDz*W&P{Ҭ+{9j>bHbDe~%їށīB+$/z X 7'22'G9PQ`:t"N)|>Ů+,_YgP 813SҢ,V^pǑha- o8ݓb: O G)joe4(K,M%%$hp Q Q.KCM$+<=\y d* xi\C¾#Z+dkfO~ cJ{d%*HxgJC&eʝmN75PRkDq.;<0o:bcrv_G M/F@>+E|a 2Z:H=aiUf8N!o=އ[tFjZ|t)Ӡ)t3U>k2 8}(a6d@J`׃9{6:K>o@K痓I00 [ "s7h< t T{!p ȻQ&mKR8e V>.TΨRqna7q6x!$iwm}tUL:FdL[E0np6%ƣ/ p숚B3J >U,OTrċF$n)8`;ej{-y spmd=Tn.4ٸ9/ּ$^3cN-[Tda~58F >ILҨzѤbtG40v]4.@;W@W Qr߱΃×tKwW=1ȩRIx4-ӿJ pIMε~L4)!yRdˀح>//r~U`nŮ#?h<aرÖjnH1Hoj,J]|vX9l%{  1HwE+AyxwG_i٫x@2z+# ?W˸.}3&% ]kI$= xRAUpy DI4BZtY~Z٤ta.H֒qwR2"?[SqYyWPssXqSLB'} 6{1^)Vs hxvgt,Eg~Pi;.^nE=׶nV%/;t^ͣ:G$)D׻0~ֈ/l"&x6r!9'I~Eq ^z'Z)6ҹ=ɳ€r,/xm&( ;aJU՗n<))]`iV\Kv5Dq<Ĵ|\ʥ%*¹õuVx1f:ѝcOG C0R+n~C~(C{o1㈔5^93#ʀ>ق;#D%4k N ~)"v=fl6zUy&+C}Ds~ߒYu8O|'[n3t,QgE'+{`D">@BE W Q},pNA] ^$XUyQ0.M^/k5YUÊmP |-?cV$-94x*`; Zk]`AKܕ@jjƢOxG!ʔK]CeD8^?C>hguѲ9\S3R?XݿYy<7fQx%SDqOi/w4Ou*k[y$Nӈ/Fz"X'oFgP7%rooD\R kq&(LjhVG$(YsL8ӽܥUxRO;+K rU$GuH.W-9q İqW`O=Cc:o%])ilFm>Bէ |V!lܼUbuGE,pH84ŞvҐrAYNw &_mIrn 30 *5f7ޒ- R;-)4Oa5euhHQo*8XJeN-@PѨrI_ V>C mb_x?jus X z~Ȯ} TM*V@yv9o`ךzoj|݄AԈyUZEhP2jřyTNyE/bI o2Eњ> ^=D:oB 55/+ 3AVodM3_&Y=6UdiS\ \Q!wnwT,QωiV[85/,ep495k H"S{`{d9\%L. 3x3=+qjPkB0KL  @uT \W52_b*+Zj,}O?K8!N~N " %yzʝ? tx8mvWu%4 YaKDo`R's']p(Cǭ_/C޳߶N┵m k c} W l uW13'B2:ED=_V"1}K @ ^k|Q[oAb2iٚ@靣:RmzoGsp9ѓ#}0]IJK*tb{8kY DCbx29F(,|뉒(As,]4Ŗ&´5ԮdUM= np5w` I5Rg9:rGߺHF@׽u ԬCrV=4_*ž7] k sn}o2.KP<ö?K)a"sJ-^^TDPFρ՝B8D䱖}8Y{HW D=40H//ӍY9/C9oԽ/U-Z9@ ş2L'7aٱ47#dkRJ e@{ GR]|[Gi1KӼߴӁ=qs6 2aq6m2)$,.fb-S/a?@tîvc;_jO}@r:.B)(hί?9a )B~$K"T,o 'N5tσ5;k]2=5x TD'O< F'ReLMoNIp.n@.H9}Ηyb.&*u#X{e^ov]~hYc{\*p%+@e֊F8~.RZ:6QG$!G'Kd>R6Xu"f,([~ LsL\[F:SWŤVxmUՉ13CސsCg"JxR-8Hk]L2) <0 nGP7.>@NNx) c\)6[vOA5nrύZ|pHų&/`۽ HDйIy'lU z:&vcA* s* ߸W6ͼZyvL!|t)!aN*xY9M{]$ٜiFPѾqeР TI-T;lɀ"*ǒ9H "pX8F4҈@P7X($'o Cod '>oВ)K-dϗYXPO[q ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#~oGT>"[y8ͫ&m26geDTI 5[u>1Y_^FO3AԳO'"RNF ;'spXʨ|j p~4C@(-bq0<~eryKD71p`]"z%yO3mUsU  j =,[Kbo\5Wi@y,'i"_LiB0X? V6?Sµ)( HTԴH7l*w؋ "4< k|h![Cxy@Ey 慪?UG˂Ib4Mq(yO2