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  0 0Mpd, ] ]Pure:threads=1elapsed=1.388cpu=1.407gc=0.0497zXZִF! y]ŗXiɟHVҭٽD,tAƧCE)yiTIU1hm8z*U5lU";ͬ@&p0G F8 XJFO1ПpEu YTs8޻~*iuԣ%$1 l 4 R=E,I!Ԟ}˪Z'%inX#tгX^ݚ;&2jif]?a J|Sip K1-tt86Ft*vEnLiycty.$Q8!nBSXKG=tu}0m)Msj]]^^Cܷ Z! Ց&pi\Rn F`':\Nr*7؇Y;]vt2].vH_{Sd; {,n}eDk[,`7O|psYa>nPJxKn>2ɽ3i6/bnZ!>,U`ش_(^JP=vBH3$$c!\ʬu>R{ 'n`:7Hhj)>6guY,v!4xk½{` 8+\<Jg˄:ϋǩ{3|5Y>ԲgZ<&kyY!嘖gYZa4147d28a3dd62f998dba8175e89beccd04c97aaab7ebddde897b913697d04674b47135e7a71bba9  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/45972f%PurePureproofs/45968e%PurePureproofs/45964d%PurePureproofs/45960c%PurePureproofs/45956b%PurePureproofs/45952a%PurePureproofs/45948`%PurePureproofs/45944_%PurePureproofs/45940^%PurePureproofs/45936]%PurePureproofs/45932\%PurePureproofs/45928[%PurePureproofs/45924Z%PurePureproofs/45920Y%PurePureproofs/45916X%PurePureproofs/45912W%PurePureproofs/45908V%PurePureproofs/45904U%PurePureproofs/45900T%PurePureproofs/45896S%PurePureproofs/45892R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/45708N%PurePureproofs/45674M%PurePureproofs/45670L%PurePureproofs/45668K%PurePureproofs/45664J%PurePureproofs/45660I%PurePureproofs/45652H%PurePureproofs/45634G%PurePureproofs/45630F%PurePureproofs/45568E%PurePureproofs/45564D%PurePureproofs/45562C%PurePureproofs/45558B%PurePureproofs/45554A%PurePureproofs/45546@%PurePureproofs/45542?%PurePureproofs/45536>%PurePureproofs/45524=%PurePureproofs/45520<%PurePureproofs/45514;%PurePureproofs/45510:%PurePureproofs/455049%PurePureproofs/454488%PurePureproofs/454447%PurePureproofs/454426%PurePureproofs/454385%PurePureproofs/454344%PurePureproofs/454303%PurePureproofs/454142%PurePureproofs/454101%PurePureproofs/454020%PurePureproofs/45318/%PurePureproofs/45314.%PurePureproofs/45312-%PurePureproofs/45262,%PurePureproofs/45258+%PurePureproofs/45256*%PurePureproofs/45202)%PurePureproofs/45198(%PurePureproofs/45164'%PurePureproofs/45160&%PurePureproofs/45158%%PurePureproofs/45156$%PurePureproofs/45108#%PurePureproofs/45104"%PurePureproofs/45070!%PurePureproofs/45066 %PurePureproofs/45064%PurePureproofs/45062%PurePureproofs/45060!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 \ +|`u%% TPurePureproofs/451587zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ1<T+7! 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/454307zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/454147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhT$$9KfZg!LLTؕP+Y3agYZ1% PurePureproofs/454107zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/454027zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Ar{d,[6=Ya׬- W^Uв j.󷘵Ÿޯ^NF'wa:jVNem˘ VgYZH*% dPurePureproofs/452567zXZִ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)% /x?..`gYZ (% lPurePureproofs/451987zXZִF!  ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3ݽfry*WsvJTuҋ\##P:#2[mWn-8Ѱ@Ph`aڱf,FTbpX8y"ߙ11C>rd(X$rz&MXdY"t Rwbv9<~gYZ`'% PurePureproofs/451647zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_Z+XrzV~݀3NgYZx&% DPurePureproofs/451607zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I*5wlmH0 &4R#z>wqfǢ&zFJٰȍ`jΓژV'AHv3oD,dY4R]F XFH4 HagYZA% \PurePureproofs/455547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP!wd" Zg,( agYZ(@% $PurePureproofs/455467zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%y :3`QQ>ɑhwY \gYZ?% dPurePureproofs/455427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט;028``$/Z9e j;8gYZ$>% PurePureproofs/455367zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/455247zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odKC4Pn#ugZ#|MG?*﨡qױgYZ<% TPurePureproofs/455207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*ݞWiMRv&=gYZ$;% PurePureproofs/455147zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/455107zXZִ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|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M65 `ԥwrJ xgYZLK% lPurePureproofs/456687zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&a 64g7Eˈ>w%d/>5TQ8bc<BVفEm>gYZJ% |PurePureproofs/456647zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ(G4`EFq#ٮ|]Lg$-N 4g g0 gYZ\I% PurePureproofs/456607zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z:oդU/JaD>Ȏc YgYZlF% ,PurePureproofs/456307zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/455687zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoοHېi@jĶgYZlD% ,PurePureproofs/455647zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^&(sG`&=q {߭n BgYZDC% \PurePureproofs/455627zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z( ) S|UG1H31zM%Y}Q^х\f޴gYZ  8 E8aata% ƶ1bXⶕs_;H˓?nC$0<]gYZH_% dPurePureproofs/459447zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˠ͝.h)~HDE!V1SAgYZ@\% TPurePureproofs/459327zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/459287zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/459247zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/459207zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/459167zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/459127zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/459087zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/459047zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/459007zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/458967zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/458927zXZִ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/gYZgg# $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Ԧ:<45ax)=u4{A,{hy֘9>{toQO *InG2eB =uW:h>4; {KtHSPsaY+t7ke>|V( 0A>A(GhΛ}7JQQ^O 睰e3hX0ebz79/7l8e:nYbLleځ '/CVܔvn<6Ryh]QWꌘ\yo$:@I\!RZ=@^/1[9B*ʂNkh$ԏVH(!YԽfۼOv฾t$6,.OQ3^SOчQbT =jM21~%o "I(v3r?G* nv.\_bT {ٵ/֯zƀ̇ )X$84oƢq{n vBe@ǃRPΆ (@M"Wk¯2D5o wi E15ULΈ|/$ר,0NRINOE7LXP֑YDV8*pG@2o v>C,?(hSCF>%CuRc[)=@],Q32,+C#:ר/>\{?>&O: }OH\ ⦈Kݓyq&9rlq?GͅY!OEF~['c~qa~ ^tn)q|0M>Zxb-V-g /j1qї1O]2) ^gxbWDofHR 3U3OQ֛םuWpڠʴZcPiܜ&`ްݭ&vC+M>(O㎱[O鳧;AuBrV%+X1XtubIB6MM )&-CY YYlPL;3gm@R E´ Rkݖ_=X^ HAhLɞiahYlR q!ƱgYZ\f% PurePureproofs/459727zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo"ȯ] +Dעu`_jĶgYZ|d% LPurePureproofs/459647zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gD#,} lxPy=9P#˽,gYZtc% W8ɱgYZb% \PurePureproofs/459567zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM>uMZ2m$~we!j3 @HgYZc)Q72Ot24/G&y@!&`4 d%y5]==74&ꏪضrj4ri]: KJ)d>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 )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'k#k+ё6 (툍q)0;nyL}exW & #Um8ZӜhU~RiOg|s%[KA/WsϺg2Ȣ6V~0"W= $cݗo{Ȋ'yU]-+,ڪg𹌣 Jy^UfQ_hଥ,QSSm#0ů,)r[OZa BOAn8H2fb 2 +Qt ""yd 0IuN _⭉H ٿ7qL4c+X[E֨iSc%_^(KBnS ՜~į xmfkc0`إ3!C#:e$+!/8h幏gm4k7q7&6 mmN?)'T{htI/د,'I5S4_Q¨(b,"dDEuG`n<5Jﯣ_/UPm>#H!?8n[L*Qɘf?VK<. uTdVRwRQë *NwƸ]naPۊ}uDzmMd9Om,Kх zx1 ZcZg]@N>FLŸuN~ !3K Z[ .oVi:xwlM 17]" spvCWsS3(HEE-@}IͰϕiK<A.u | f!^&ÚC'ؑJDSp.ύrgeHA<>DA+pl!e N:@ClӘqx6C\CgSy d⋙]RSW?&n8'CMnǎVD]4g^5ہ*m#y[&~d' /VG r/5Jf, >.R+]~ Ň~BNQia4yyE+[9oJxep)t_Ȁc"bv;rκ0|k4D{ˇ>] <V`+AVy'5p+ 6Q/D$ax}*eE{$2)iO&H:v\mAd g'&nU.dC|VTsl,Nw+s퓊h]}7FlI h\)IlG\w: ^Օ Ɨt$$%kn2k'I*5j\{=GM&;/wG|ߔ/3g@,R eAs=+nE MgYZdj'*D1f9w:,TY(ujs ,|ֱ{a p1.Ex1h$ٛ5BOM6ئN+ӌ}G_qJyQL,q<\qZ7g O%va7 lm8e C˿j_y|D7=ӪR_P vAld[[F 4g@p*l_(Qj{5MvX&c(Hڋ5+ÍUr5Z?ygP>A0,35e$|<1(c6za7kVƒ%΅MY7ۅL:>C9JKE>a8NraQ!ie(IAU+EԎj$]ܖLv 7 \\'< coE}Y#AC?C=x]H ˵2r `(+ژ]%߬n{ڞ,q%C￟d&Ufs4AU)ɟ΄-~-H-@|Ir9,rwڪ2+:ͱF8XۢL*]| 56>N#uT搀龎FUa9 XfPLTbZFLϋdԌJNJ;akزI p6.7 n=:;fa%E aupF*5w*Z[xx~1a*ʳ]z1qJZWGɂ޽g]j> k Z0`s1|.4~kb JgxxK*UlH-=2]*?4'ȹI6W/ږh+yx6Da'D~@Av]>8m}hþ#C,G2$SEkGJY9~ Ier* w6\ENKf]dBsOϺ O!9(BNjn-ÂA +U}C*"Vj0 MNlpS{3R8N0v^T/kA oh >p9Y </7A}v/+U%edsIE?lDDH ja& )-ĭ%Ғ/i2[$AGƸWDcC#J67p;rZZҁRw;ﻕ!;QWh"y_C^xR2^:t6ZXSVKJ+z;ɮ2IdwGq6*7зkY7Hj uִͮ$W  27ٛwhz 5:9@.%(ql .=1 @}eOK.TI-p(n_wz% }LOTm)3`xf݅abM,ۑ}4w3|! SHu fDOX4,Vr5 #;oNCykMmlK5&38;̺Z&2] Km uLn7 &-A،VPԛ/8fK<SPhSϭf&Yc]%Mަ}K[̻hJ?u]4v7[]q&?N o_lЕ:%E*XkL7]q6ʌ~n-MÖ4VB_$sTuB]ٞR(O93z8 JeZMiۭ|Mj_\,OG-;o:;aܲnA"j~(URŌlSagJ} #KxL}zW6ea}fG͈-}>Ғ_UǞN)(W$H@AӍW-gǕZjy7&+)hw$d~$<ꅄ"DBa5EdY/kzM@eUNt\ݚ)q>SXk#ƶX^ ZsqSej dm8Ml+{zBtbڗgOv8?V4TIa}?s ~ry°|:D4xt}\ E}j>ɨK-ė>ϣ)gT}miXB| 1 G&W =LB l*YU:>It5OgfT10.S`IHL7/h#K 0Zp?Rn]m ۵Cza T ɴcN# ]8.Etv0Go:$H bl^_16GpTs=pV%h ݚޗt>_ZW2L@xQpMsHNɲ;wHvLfb;C[a2\쯻5P x^"V|z Un[ AFLۨ2+U ;c5vg92y-dKbV[<q|L]w@1B 0K+X3JYpwfEJ^MеH/y 5VG=mOЖ{"Cc'oc jw)AFr_p{YρrEƈڃq~bypV2sI2+C95o;3EVw-=N/1Qٗrћ`Ur^tHn<#;&?YM–*ҞDW$C|SJA N'$ +[o'QE`Mq1K3O޷iӽ7.7j-@UMa>C7( _ЙXlX_0q̇kN~ABf+WN]3i eJ.JfgaP3J,aķ 1jam%'[eGyQVjWdzF[hl>֥AN PLo3J}5)-[g;h4P0)HҼ:[}onT`&5am "I\)UmK){iwtkF}MeO3=ؾ6ֽ=Q\rH {pa r}Vl~o252HK?۴aLս\܃&Oa`\@D($=QpT\QRHOd[`\:XJ׎@6 r3ՅMK&;޶Eigސkե拢86/ܔkb8x2Kɿ[.`&V}z0W`S ~NyW9P,,B`u :^RZ;aBKdA3dVL?@ث ٫2T-? el-yfn&#UO4&'X â_beCI3a\UY*YB!RwE Bү~q/&"%d˼cqLB_վlYg37@Ak Rqyl9 tc$U8ݥ+ V/9+RaclmB ^?~yؿfb]V]Fj4@]򋡝Hm'0~;{އzV DQru;Ťr ?6B$6UDQk&jw0V}j}LD&m&--Jc"]<(yd9OL0iV$lF69ⰪM 7H[L *| (Yb%'g5cʊ_ܿ^4+)x;S Gφ#lwJ4PD yynƯZ#ke'J:naˑ&ѭnpi//f$]-_, ʨKK@%D" u'I`,JΜgȻ}ڋ704#ZϬ(ROWl,ҋ,P:{ȫEt@m`E' $6m g(fi&% RK6|u~?Ҽ[^|;X--4G!$^ ?!G N5Jח *s3L4i,NTrqp3])Kg]p5{ ܝiwJG曔YUa62<\CZ/4 }|NVڟitL~NPv`Ǚ/NJFŌkfq%H 9&Hhs=βȥgf&C Y^vwo i~綾&8U˟X`8qSyDmɜ";Ku)@`8XyLZDкXEwKa|H_{qG-2>lks;Y&(kb kZI@^P*Oc<y*lP, ͆jะy]^!1AyYb֥HW0UOn T薏TnCkcvO[IJ.E?~ Ss|J @ȺjB iфaGK]T{5B /L_|H:2U汷=`H[:m.] Fx9MyJQ<* zv+ @cc^vނmYw,%~XN9%DGe28H^9rx5ś`_1$k?1 m:sZ)ǐ,)U3Ł )몯m{6ۉ0-VcbqFMM MV$?smoR7Vv*l!%XG!WXKh5h09Spll?s[(@MZp_[$;z l`vYE2+*5GJ]5񭥣IzxRy5BQnqfҏDP lJUDS~.=#?Åѐ)b<`5,sֺ#nʈCΙ2S5)IG琜e1cԐ$]iR|h|(-Cl{U)|-`&zlh>R O Q0Bk\p+wF܉g ȋu_&j, B,*lk!*~ׯychW ?)iє)fe pjK?2 9K#/׋RmE`ّ-s2؃텗lrNjh 7t CeIMw|&7MsX8H6euDծ-ܳd*@9-+S|4}XWA?˗x/gQuqX&TaӮ+Mr%QPBȿ9h@fDAo!30/}W_#o,]ϙS.ŀwI#|N&q\?< Ht`(>܋(j~*6Lt`Vo=tuDk]meC_t=Cݳs- Eq__H/K:r_g 0N>ciEA W*4wU3sۆ\|a^UP`IrLԶa (s"hD _5wqwQ5&%yUfQϪso"{80oNb8|?bȄ e!/xHLIO>ɽmh$?q;h9 pītVƀhtAbcnzYUq>@f >+BXQC9NxMG&R,Gq4L^ hOy Cy l?Y>y.WB"H]3B Mm@Q:̷tG!;ҵ95Р`,:b ϡէdbhY֖$PɞnOK!tN_ҷ}/`w,[bq9(ռ!i2W.^ M$PP5p yR[Z(>uur|2JDi-ĐRdDhi|\6#Z060< a4A,b;*KV̗o@c -${3(󶟭}< e|΍Û\v&HES8 gc{Z5SprnD(<d~.ģa05N$xTcAW'igj[6i&j7 Poj3ˏ$7x/βjQeNm$="VUEc3ocFVl:91mت[ig d*Z\u) fƂh4uǧ&>iGX6Zak4'*R&LM$2O2Qi>U- Zi@s9vZn˗,oH,bɶNǜ49Tc{>)Mn`nJۗdgܵCw{cYD~} uqgLE*@J#)C}KbdNQ D̍Jh9A?>q":#55e Ɗof791lr$\KH^#C=H#`ʩp|Zeb<$ܭ3N9}urDidj Ba2CnR2E'.+挖p^w)hDsYq;`D\/GLJv0݇~Fذou8~Qo61PpxJ] +oR6 f` n,xeq)z<ƀ4; 52Dž,>3z.Ab}FT/Z(4s`ƳJH'z%0\elyl1;69vg]qYZ_y<1Ob.@TXqZCS@=aŮLokpmpPG)4TK"cytwз6U1O.}»W8qwxC/EV~LH۱/V~=2jwXEy)ũFfFRew-IH8o18SaU%צ,P>/^%!2>:;XD!Eͭ늕#Q 76 V jhBwxYnݡ347tjƨ)V y7pisfX⪢q暻HVW\"JڜM+,&~tC*{14lb>i}3 |Q)Hu# @fmc/)>^){Gy3nnjm|FtKhWi9AzE$,RfV톉D䪉Kc<4V㬝.NHnGaTPAcNߐ@? 6I;2iIeHH'5 ԙn4Q\nn+$9C9ȦNXi ՝>j=+=RAWW ><*.ݸ4F 3{q۠q}p>=J53" VQQUξp_iXG W4 //<2iۨQDQӧt;RI 29%*0Y@(;,F2/ jO?vYelu-3/L;A tߋ^XWמ'UROd`Xŕ64d*.Efcm8)-vĥ!cN[r;󼟆c+Xeud"'_z\,Ӄm='Ŗ+(qbq4˲gdq2BG\zP\Y2 {VpzWN]164aJI׼Cك^WAΏ9>ߜt`JMӕN0 pdz3z@о-cB8~ pvmؾj}RQؕ2ԑJ-F)h/j#Dm ΈX`ν7<^]g[R'Ǟьhh+_;leYڠʖR 6eqGm.Ig}42F%ބ4?섏7Mt¢g806`q՝EзhhY 04kMx${U&BߖJ."e<, 7$`=ZN\!Y~^cӜICj#Mxpi5'FB1bzWMq)x_nRQQf߮`L8-ܸ>d;M Ne{.A[SKM+  (#p -{WC!lÇEzk#vz0}:-R8ޓyxZͶ"d(xob</J+ؿ*]YAu~ KX4NRl rg+_9n4js;sielY6W_У6hV1W/KEAfwN0M]^bKIAgDC r/qVְi:M Y;8DLч -h7e  .Uº[`-os# } k_ s0( }xUH%e5W>=O*c)[3/InC4g_zO"v$.-WP)H9=H)K8:1)K~qxV!~ $.'dF =8b7@6*XmQ&kc{ApP HHߗ e+jJm"I2)BW 4Pʁ/hcܟ/HC?cd-KطJ3azXm>$3۞&`t]Nv*C4q+d6%6b31 5z\B o>![/;{TUjgWցWj/b2@ Y}++ Qy!XՀVTc.&Kc͋ML gr\P@r`TAcIA)EIǂ=]'TBOp~눼 ݻ'F9sY2&9_(Z$Ҭ;[i0tD?[6V֔ҨARxt.> S70+,vN5Q I$iX,$R&H B-30ѩAHn|&' =>m2=I: ,R 48kha`@; t^^5VqleIsV;: 5NIX+P #8g6FԪPj< *A.Rg4cKn4q 3*\ގQߍ.Qvea"Đcj rBؕfp0'!N6WkyIT/j o?::ϞaQyaA& -F]yYt\MDz"oFm ·aswY"X!]%Q* ^[c d F5ɕI(iA(H }naA/ '},@T9ɸfAgŏM.;i?d{R^Bfwͻ|"Lv8ŠZýK1zn [wViޤYO ,VIV4XB Rsal׾Ӄ4]w^T¼pBބa Ӽ՚a ` |@U:ތ ɤ:7CQI t7W>"Z5@YJ4GiKnf>[:4_O =dR> bw#C,Cps0}C&$ES@FP usqBNK5oq%jY1vnucKDByC:mR?V"Yv1. A1o?Nx}FXA#k'A&k,KڐE 2"otL'Su ݃O/hQ@"U"Dk\*N<‘ ʨa:&$Aq೨Jorn=%cB:!D.dMKC-;# Bo,]W1@>JL%ׇ-v4Xg5_!#Dƍ"m}v(mp( n «uU&k{>In,'ę{EƜϹpDC 旬 ;rL!7b ̮E㨥aw&C*sX:C)4ffOk)|-". Ir#|'eI^Hl-E&gX/t~m"$# |Iqz"J07/&YؗuHsR<6R//,fPfA%퐎Xlٲ e^kUaj |X H5U PTueynHD/5sO9eYp r;SXf&O<и}3i+Dzx,? &HwD?iJdtJyC&kNK"oLkoD:Kbl Xӣ9>wwPf5_ag!G)OAՈ-Ji9icQ4?&^%_1*G&e2:\Lw~va%TTh 7/us!T/AM.+9?A[+>$T fI[N'8x&bJ#89Si6+XsrY*U%)_e|fy]Sަ:UT& d=%(q+U ZĴ .2D ;ɵ'@5s,"}{b/n]} zd {+4Tu ͚bQj^_Q>Q.]?1\w}L&vO=^#Ϭ ;c$F%&]])fPEo_Y} v[I*?\n$WI%y'y>'"6f,}R1EĉqAavRDi5`{))ʗg#.-()Uu*Yd|U De}r'xbwπ):YZz=r_g M14sc #g"52ddN~}!#Q/!%A59N|ZuF(ov0 ;3gE$/̚`7+AD'2DsN9%z]K:_sA N4r%O$ ZX#cAUh:HSwrZ_:GɘOS> ɜuJzT0ؕ7BtNa`nR.h7Clcm}^*h 3ᬈ$ tnYA&9֋wN`1|JEQ[GcZ r1 ؟矦iCaߨ&Zf;=4G95a%PzXu`*cidR@!Sy֐^4!ĒgB d<[Gi8񊏠Scь`Wgztgsc_ĵ/ s1iM5ZglEɄq5U$ 5gC8bͻ)pϫ)j=zt 0J.0ܶV$uVQj P 1H{&jP3 )X%ҔruUd*,xKZcoyϲ"sO.aF{;[/4GջAv|J-?w{1b5\<ط8)GdcB[֧lGu ? k¸x_+հ.R ᵑ %M*[?~d}l\Afw4Fq-W3s9]8%稧~yLʢW"tUeE^y8*drMNA,55壽}fEXko9^hj#eHk?R&NA,/|.p1&ً,+/_Ռ{&sopWZ9 n Uÿ́QC2%2CDS2,Kg{ xZ#C3㛫9c7U2F9fOsE{Č׉~cC#dfb?vdۓqg,^2| !Aw)[Z)aތGUU=܂X <L|8ȱ¿BaO UЋTRM1B13`up~hr|q;Y9ʄ  򻊐eWl:lT`0f>_#j o! ojp:U?R.cz?išl?|l)9EPkO[}b('[ֽ-M͞zsawTVϓk"Q9Eц9ad^2o0R%>KrMQǚҡvdmX; K1Eg3B/ny:]*5|V@`0|퇘VY /F~ ef}[l{aWҬ^7\Bɋ'|{tZ_ڽ#Bh$eO7`/?:i|<ܗyٴ,E]Ykz}OR<`dyGՐ[%bIYRFCT5#\0 SUT%EHc$[ %{VzZ&|.:.H.H܌Fs0 @CK{3Yy[cwG_~r-}tronivj/c#SY˪/1F{@AcIҝ/7AQNY~ 8_v TI[PW& v4Kȭۄ`8WCT\݇ ݟo 꽴9o?v-#|οyLحZƑHʏE)/v*:^uƫAK҃Z<;_n׳(89H ̏GI~FR+=#U~Y 7,jjc+Kwz lDYH78Towk<݄g lo2 .H/Q0t[g}ɞ~וֹ,{0캔ՆOR7d4kD"|Kko e%GUK.U'ԯY97j4؆Kh X#;6*$܍q:6Ulm=MFsncIn's2?S`y]-xnVS,%K.Yɍ>w {X_-$ \5u#]=.q0 5>`eTSlKw9E'fCӼTl̢x@8틹t6vp.bArXn<ݸJ6`^Y?0,da"'n3O "xT䄚 o33-s߃ ,RI@bF lt LiWc$=g0*iUh-Ek 1Ur'raW7{һoU Y+r9jҚ Iul,VFJy-ُpLpZ!7ԹGMUbtK,^6q U#`I۶+czߓd*HU; BQّഋǃVLmkÊijlE%e̡\}5_͙$_4r(3?ש苦4ظ0\1VM:T{& ]@[umT~0tٛ fd!=dH[ /u[x zGG8̖eu2}Ӫ?X5A~Ş3`t CmVNPdWqPrRHr,js?,CͮoF"J/{WYl*iY|x#H{e5mLCa/PîҟZ}}ۧKy&xt Tx*i*tKPGuGPH '$#C5}#},_i//R6ᰐFfٖw^W,aǏ?І'P*KBՕ7A`Yv۳`ė\Nk Oz[󍽩N'ޥuOFߢ_tkU]{^`W(Z<!10F9u [H9SX`- =gJPs5"%0?0V;ue3Ssu]{Y댷w@=%O&f&` *~^Csfzy]E/|jfJ[:XMYuCmGRpbŖ6өv Tcz:#0rX?h3?]'OZ*:?/ÈbayCoRmSsayleFdیSܯ_Lt9[;PZnU97*C[*JKS@Z|9A:H@)ڻŝgΠd[#Tзs>b"P]Fp竱,{3$#B27;ܡ@P5A$(%bх㗫4v/9x1tIS>ISc̞[QOtKp)B 9@txe}Vb1<mA%^Ӭ^rg$S%H5`C4G_B~U#A}2< ʙAq\b@}ևa) wo{2۞],p8|;n.>m1=W&rZu4$3p sPavMfp_O˹" `߰V|sa9%?H벨ҹ khjZ%11hu<<{}KAkpQ.R l ^[.gI6y!0'I"Dн9w/7"5֫DQ+$ԓFgQ/2P48s#`PZaY_\EBb1VE˼ Y1 doMQ[A\8`'%gq!Ϩ{֝AE̥Tx*%#~Wh5ǟwkO\.n]&>-Do2!_KSZQ MHZfT6x`'H'DVJ~086R-n̎},G#4ӹqFb};Q;=`4Z&6hg`l͋O+0>QxJAH6*F+ ꬏(jk;nnF\g4ˏ2 H쁥;JRACCpw woHߧW*'+RHy2s$%R O:կV+ɘS2όQv\߇[Dr-ɋ?ZOĮRʴw:-rWU{ y!&;VXcdB'-H/:0-!TG6׈0/?\z!?;#zorNGckiUo. n$vHBE_ lN̷Obwj$XL 4sR"eI{M%,fUDfD/1^B?̗ ;Zo=r9Vμyل4 &Le,6O1@⎘q_^ u5 nd.ρ+Q\)snJPOv]2t1RjФUBc흻g nLUADR\>R݂ϙNfk1bdؘưl#h`!Ӕ:И_SAW":eT'soC//,JcVʹ¿WBvp^ 'l>vH\pE @ͯjlH=57$<,VI)"A:Y0ƫM!U&  >7 gAc ;}}g RG4_ a\^d^4ȢgPW(ϵ=JD`qnG]̺ɳFs"`Xw~AH܎Egc}vA7ܣu^V7Ŋ2O+d (1޹2Qqã:5)ۧkhɂnJ鑖!@ӕKœ-6<wl8b lU$ynӸ&ȝ(ۢ.r bGz^]ƈlݔ]ʄ`1eał(lVrm`> ~j|*PXGù8ǟ=^^jd6cDz49K%qBya=n#18 3niBom:N%Q h_- _SW`-6-:>b93^|#sܶh}g>{ӌwî$ dݙ|'RW!c]pNpi *V(܋nd)Vrw"=]Mu V ̞{̝Z.mdT(f3 j7+ӱfIڍXέ:*?( lfl\Pm:3',j[5(wt6d΃&͉r✣JEmǽRb!aaC.:L aI5lS+_I[?]hy~9τsy ȫ~#ntr{0 }.ksl--6zŲ U͖W x-9ЧDmO߰6%Z0[ÿќ /] cbڗ#痌z,@1;vr,ԃ&nkN ic )n"#lu\݃%s)v,qsaZ|&A ͽD}@ SxFʜQBYpepw*lQ;K66&!]#ls[AӗuWh®vekG1㻓uup#ml% ښ p8"1FwA҂ \t / (op4QUӻ@jpyB8(Hj|UM2֬Rr$Q?Ttj K^9=Q8o z^ip_BEM2LN, jkߧ]Y}.WDӊJ%14yi#WZ ftL 7΁Nݧ"e:qWXk10o6꫊h֑<.X2 V#o~gG1C d;0xHR7jW{bGpHA* L^ z/ek@]q(~STqޖC֢er7gaj*:P:oj֘G ?ΞY=>ETwOx\f5Mr-*tɥ^IMf:5A85Cr$CԞV S5Y(2mHmm6Qʲٵt{S{A܀1ڹ8M=H!dǨp8 S!F<=04W)#(L?bQJ^yMuSLM.A!9@Ճ@Ug>A@)Sb1Mf?裶YkW˽}}% ?W ׸&4iʋ>?Χo-Zdkhj i 4Y?XҙeC *!7[%NȟF1?CR"۳~+t0t.GsO{0.KQPXY6EgSL8]$QFQ{&Ǣ,o i(Oضr`f0+He4o%9=ZΓYnb!Ru3Ӟ7CQU*)cD`| [cPݖu½0ay挕,g BxQ]H-G2u[T U*4K5E& !@:̛`%hY'uV|52WD9-!C)Mϵb*[Ϋ֣L4s)}t]qz Sk\ajse7QCL䭨ŤNRё,X`k{ب1.$C&z](8&{KSuX7v$ PM4$;fde_ Ic 16pދ)"~^d@}W<y 9b1b~- 1wR \2K[GIpb?907#m=. J'aǞ#ZxdB֚oE+AS߃(֣b\e9{ &1Yj yL(-[uΛU+gB*; <]V1Ps#p)0t:US6bCt9'wlq iѹpG薌+i(MZ܅rݻpWOOn&eN"ǐ'-AcA$ҫ)%W}4J\$ ՗O;J\xY"gfm"0諰ÿ׌GE6t'[LqVMyP\ܮJl)_}˛D8qrq266awwfrmN ^.HqJmn.cjӜR zQ>JBIpEua7xm z.n/iPӎO}k]en=zW(G[&\ >cg .ӈ+s(V0,fv?4sPPenA`3~\( 9'-,:'F"O>E\jEM^x%],*G59 SC4"fxG~'l:՛ŏ[9I)Pn;ɻe2HDh|iln]̟pOԯPUg+?&S|װ)ۋ=S~Mܢ |KayNٌu[={t]:iO^S%䜥=~1HFYT]q 9R]U{!B=`o0:E"& fv*5xr d!YF`R^Iӭq>hs; ]zT% tFRh2 'x+Q7-?4ePgQC#АsYn@Dsӑbk+Xq%&ʺR%y`b9BY&-BeMx<=7]?ݻ/-Qz3%I?[~λ+g8490B+/`g>w݉ːH r{`+sJt< N˲ nW-6:٥m]C_Ӵ8šǏ&E=G 0iU~N.ХNi6IzD_!Ҿ1]hˠy`g#l[?BVq<BS&݆b"꙾et3xfQ@K17}Z.ZuiPמBvϹK~ eQ{9dӕCx0lەo& f& } Mn{8cDQX[ۅA"qze ]fRi/4 R=S?EJ}f1 HGBXa!/_% 'Q{쁚#`mАg$v$&iL)!@Đrutk#'hc:e\ux{<ȹafiǯe[#&}{ =:-bŞqNh*ӱ~.44q Lofή Pn4PVXZ% չugMPb0*XR2Wޒ×Ht#@ƼZ~E^M=u ʈkW mh˰ ~O5uY+KG>sOZʋAz Ggu<2IY@Y=uv!?}2uޜz" E4O476p Zp+$vsuU%d*d֑O9˺qh^&kBha{;5`/r,_Ƈe 4~}TUpMU'qPTl;jfR{@D*BPxyAnE].OrLt<ŎjBƼt":FN2gha) ~cZT R6* H'ƹCD{dLW:DK#0 |)0C-JIDNKd YX4ǃu&&&3鴯ú"6.Ő3Ĺ4}/D!0m˶OV\O9|׆\CF1,;߂T\dyC#5kUiV~.Y13]{躉Yj!!4 }V||zV_g\%#(oǤ2-Qqp~{iV :$Ν_~/3YӚ Sב;CeelvB&r.܀۷gTLdL7/tm<K^p0rԾ^tč AG.`x-jxOv=8˲e{Q6yˡ[Yp0Tbv=X-}GKDђpȂt ՞}ʕH;yC,vփڟq(0˭[o]ܢ)Zzζfi57+dv иV= .k5HyM+%W__Ź9D@jߝˍ2%|\dM~kJ2G@ۇy`×E9Od,k/KluICp vW(uZLdLB!teZiz4N}gze+|1;@?##n/Zb tGfn!fVQd7'cN}J"^C6i=~Oa19{ZlӑtmjCĔt!O"ޮ"+OfaJ#S1ϴDBܠ- u=yVhѸb Wޒ R m!q)jFV?(Jt2kV1Y5% ٸtFCg&֡\8~>7a/Na3R0%4!`3;֡ M)ZQqTGBз0%tUy ie!^'iB~<'c ifTB#WDRpRiy7(XVnԠJX&7Hzk{)݃QQuФ8]Q$u:\19}8c3Hɲ[5A8`&J9d]Hq+| ಻ ޴JzNgy K 4<sZ0x{Fts16ŶQ@y(4y/vM")`wr]iT&AxW}Ȕ46z 22ȇeDMᗴdOj lc2^vwA!.,.e7}[=4w6ez`&HYkHyfA/Wx @U/B|M KE\j`cB͙Oj׎a\Z~<c";̼򂢩yk@򧎡gc㠒1i~wA$&rfP"Q3꺅hdk),T/TKZXp o튺66:$:7?7/fV) dZ͒ҏ_hjX,! d%ݎ\/t`o=cdnݾv0 $ޓ@v/Rp :CҮ616u˧'@X4͔nhNJ a]_kAU3nU_X#K_:Qj_egc`:_]WҊC9gWSƵo7sOj$Vܧ 6d+)_۞m|Թ{>cd'͇?2Ǭr]3W`oi)Bd\ٸɷC1=bgp,=eUz Ok<\>)meϤ# ]z&DL_FH I6IF/“*ϕgTUSSȒ U`Rojmz1ca)\u _9]qH?*@ښs)1k|g;`/8HpoY$$nk.haj`0)`$T':q-!P@>10{oTJY\ :nEzT'E|JN^BXԖ{г4UTէSZPXG$O6xMp#BD_R#B]-BH-$iQ|esA7oPLdv (#'ϠBNSn5}zErI5eeĄ< EHċKQT'2I6j…إLwmV4T?֑v׹q#[$ނ88ʁiH66,7x?VbX;q<G+!hHndq +%E(Qv?c&>twfP(x8P$T(,."G"`Y<6r%f!K8HN\gTNf jx#7H+ƀ0o $ZOOW}ȣfpebی<;_1CC \Dz OB@ #f>bb3fԖ Ԝk:C>] , ܕFW#aAPۺqI_ tTꝮ?e`܂6u<ġ6olوP?Ws=W/irڏpjd8 Zm $(?x.m4@g<3֪>}.aǙ,F+ыBAv(P uOdlތI[z:^hV #s(9]FmC^NnU`QQ?"bTozcnq'򗾐F/$tjLCl2Y  yu0lHALK>zQUL;sDB4z۞xZ+I>"{ʰaPcE\$E} ~-р*gkhrX Jv,_6 a$`@cJrޜ3~#x~Cw` r&r~MdE ^]W6F<\()7[^Cf !%ɀ#]4٢j69le{)L{8.mKIvtWHZEwM֖ B^ԊoMz;MU+Y߶?$nU@M2hy#mc\A~Tz4h;N0]{W9 2J} UF~nm{z#jgc<6/q(ALƼ2r޷W7kwӦs-EU pp|ymP1zpٱl*dIoq"pJzTwS|Fjɪyo`t ,|/8—Tĵ85VfX_E*+w=P[K}黠 f@bt@V4Y%ia턧|;Ǥ$)?-0k<LkV Spr'1*ydS_ђmlj\>Q.|SJi̱rڟHv|#(kZ?>C0.s<:d!ϼU2jiRrh';Re9'/M~M!/ݎyaD`g—l3 ooPX}K?}g*Խ2<" \k5 VkQ{xddK@Rֆ d ;1RMkNϥF#_퍐ЕΦ_IkRel<x\PҒMC'ڵ{H`g\uyVgH9ܝa;i᱒~ dєr"8FȄs(5iR(m q8 -W0jȔ2~an$HD ºbh1wj_NC.;OsZ$K\WjLk&,KQ8̑?!aQ,W].Bk H{QߡGz0 :d A;µc.tdoKZn["$ $^=\BtIsҘ=wҮ#Ϟ'%~eNy|g:y~"$-yC+gckP4D\Ɋ)T#$-J=ڔ̥plcL;XlR:J8}iݻ nܣv0^㚉@XM E:5TSLD=^);yO55 jގ2I$[6}SC9 Fp3dfS;@Wl"\iuNA h2:CuTwus@ձbH,K a=l?\hڇ!*:ߏxvtKC/'O_p|d@nUŖYȼRj ,./4_{~ TsԒJ7H|sڐIDCuO`@ #Oys[0=*`p9Q~ 9]IuM8h+U7:駏ٍoMTZO}8` (e(֪%p@O1KEοfn`G"s6a8W2ʗCQa@rX'/yGȊGV=j' eYMϮ#EA+QyyHwk,lAiOVk,?(5L玜#JǥA {JǼǻMT5_je)7o5`| '&ϱ9=9 6[->( ]. AwokͿץGUY#ɁU#(3FЙ~G"0czuq0w ֗?X= K^A[xox.G ̐FJ2(nRt+>6Ze=vLLUOA:L. 6Tjfz#T4yޯSowe'JKb>yt&h峯mkqAGNj,w; umעPԶl\x1fMʶ>^o_ء~"ޅPm6/&'-m-XhS+jeDwM]` vA#U%D^ȫ5RG U~甽7m:5oKػ?G> %6=_d^G}?qum R \@_XE:Sn'۶Ptl'*Q%ϥknL:+ed N>B*ݱBF#&k@NwU%&R&p32oi+ȇ^yU`aV0P?6s:q>-)o@㘳?XGZRxN**0BG('h;;N>]LeMK:U"6 2YT.у8ɛ#ZTl[ jՅy8Q 9l2}Zm<)0dCf#];̃л~pwXQ>^7nCOvd^ܪ:-vwߋB9X+h>!lϷ+-gF,'}bN#k{۠nq;Hia<3 ྽ i>KW_3YFRIݳ+gY ydRT<[wm,C#:i1l9}VʼrPue3둀EL]%ZϞ=]0tIJ8R2i;"J\O$:_#r1yɟ#g7cPc4H%?RPWGp1;jq@mLh:L>X]du2pXI?do`Ƒt<9Ěl9imn$a] ^&'"Pyx ":{e^Nc[i;Ѷo-[?қ'Akx/eDjXMA1ɠd KVN NAo $Ag]f@(]p!q*I>N]W_)…rPuf:6 "J7_)=ȑ7lOmqU}˔MSO3)xg4E1AgT%8r'GآK{Iy^t)c`+`lThoY-'l>:Yދ>xx Ԗy?bw>߄%k +a .ѝ/Ko%N- LӋjH)X=N3I8viUцdLwT]9O`s:F{?9By_+E>$?ֹ3WL>Y79_8n(6#LbOɮ+.#ܜ`W $Dҥh=4F0b)2<wmS FPwvLaYv& 1dÆ|XP~8NsQ-ӝy `3]jV*'J^:H_~]c{膙$؂˼&e&Ցs&Q&rl`~ /\iM۳&R]{;?;jOi:/"wd4ƿ<oo,k|.I9E1,g:VMKB j 2 RhdJ7y<VqiГG8vc~ 94K*<>SXH@j7Yޤ,s,K[.E%iä'ۂ?j`Mp-]$¶&.8Y`K*'b7,52Neñ9-]}x2~+_=7&[f@0 ,L`()>Q<.がZÒV{YZazvPa:U [Sԯ"G`,WKuI $V>2b93qrMLol=d;^xTeR׭x ~jŶM=fL.06a쬪d*:ZmR0V3zD#An:̪ 6Dbr9ل= {``MM8傐HyJR JP{ oy%WGr1h䘼pttEMvJIfݙ2QۋXs\g2ۇPC砊ss\-/| gNY ΄UGhx^9aJE(":64$A,)O yӐb@+ `Nfr t2J:OLM~V+ܱtЇIȡ΀ׅuj!;˾'#eMXr\jsz n[ >cy fCa0:H;Cٚl߫Y>ŢL{8TγJ{އcYW0R”@ RĢZ 5jy/0 }ʺnՠ@?׊(+:bu٧BO}8&a{/ Tz +coՍe;RJ(YRkh5;؍w k7a>˖łѬ~l2-ޡcw`\Äe / ͫ42 GvJU&iSYХ ԏFHV9L*#@Rw[Q?k0mƄz*o-P_uZkwgH\{g0uN[?ӾCG-[C ׶ 4 8:5͐ҾNjf"s~(v?r(mPQ1~&Q5ރGQSit Jr!)zGCO)aOy-*Mz(d{#./lnWh4tcٯ?'pv+yb= izc!.Y Ƭ>4#SsOŽ o 9NRZp˲ڏ@[Fmc_%~=ߞ#|~"^zB4D]+Mqg[`J9 %Vd ]uw"9Gd*u!y;2 ^JHYH YSk.^:~ d[V@&+eݝO:2Z}٫C^3 TVZAUVnfƺ'o_~F*xWx N"ba* ׂ>S7l׎ E=`G_0z[eJcy%NǓ%Xň_oir#`>Te£.[ =!HVIo[YxLycCN[|6}RQ'!dE7I߄рO1N q7qVgi rQH8Y#hh9OS`_P2f>i̋Yq4x-cM&*i=vZW"Itϝ.yaKvq`rxm rJ&3Tt*DߧC|ptdІgZRḷ(}_e6W]d.H/c,e]OqY> e[mB`awc}PyJ$*yxH ,{5!1^> 9>_^dI\c¶+}Q  ݻ7,VԹ8t2f N rҖgԺOR30P1?\~84O쯤0TK4C 0+B̠K:Y\tk>WG. o/Wog WO&it- x<=03 &|(^<uW(25EԫċkeG$r~X1rR$yˇۥ~oam>RFxp.n޳FtOrC n/"0nF|$]+ؿ4tԒ8c@iU3'`d~i]-.?ƹyC:.Pck컓=5p+r$`M7VWCm?|6EV%K!(tΟk޴J,WG~[u\mҴ?Ԁ<)F(yA~g\ZHaVGM9wgYTu؃?g59sň?@169=x7eLOũBk!_@e8[4RǷf82BnϺX_q;UIM̎DB|C΢Άpv>FY!r NSMqâ"';rP&F43"ao!Ji!2{zj;rDM\dQ' ; O`Z=r͌"Ϫie XO ҭIA{*} < v<&_:EnBTtϫmTk_T8lP?ջTO} #}_]= yv):{cpG-߯+Mλ?3 [v (FpX~J| aˀ]xrlR@cwJ ɳA}F X4m3ٍ:Simwwu<&n z>1%#v)mN1h#v*RT@TAFgӅhDkx9BJHW#zP݃\$T=_ߙ0W MVy8 ddb'e7<`f~7RԡZ&|L1rLr+FE"TG= :_ypKE:v&wxy7ZDz񩻘hD9J}f/l rr#?f$Z." Ac;E \\M=!T#g k)a\ɶ @{C`u!YSh/=lrt»Zن9M@|'_?ecߖeތ3W{~ZN~@cIyc*7K?joģCDAGHJ:V,qy^Y"OKYmDSL?ޜz a mE/f"HWt%taj5m-<" nϐ(\׎YH@E5Wr짘M*\ S'2#VC<WEW?n0Y =pD*vmϴeMRq?-,oN'jokf8 BĺD2p1r*N'z! v^G^y)n)m .(!D&N!,f N1҂PcO[~-?G&^Fx] ILvzָjVY ^LFPbEa=2z4QEg! {^;rJ{㚪}6 g1yc.a"mYr< xKPP#jă2>;:/:Ƚe2bC ]"'w<%kWx_i|v¾8irJn0t 75XE,u&">#2%𵰘ʔYwê)f4W; t22R>@p"9P-||=7AOJ!{5<XK[E ,,Y#6|N_#UB(.HKt{*\ UYiW=o6oʄ580,gV+4.o,t QDpnxCe 6{9}/L7 Uw!|rI^BҐUr?=EҲ~UΪ\#~>";ʔ9aDDL'Rp3xaK2Zl|b:/f}{BŐ~0Y2"ir^x¯f)I OtߟP3:JK|*O+`^"Dfsm5w3-02Cjɰc4|s.Ƕ?flu/apFkphyc8Lf\luCnT4vXZ_7|oe)2_2YԔ^HRASfܺ>߁[Gi2<(sS۸/pTy}4-fm~O/kԞ}+J.|%vx#s 3Z -K /wPȑ̯\S'Sʪ}%/ٗS^"]c;_ah_Xn+" vnp,K) ,G,ma ?v; 7: )ᦏ, 8AhQ@/X-#H4Y;ez '0'f@1G=1жMz- ]>smWN+ztbi_v$"}!D$)!A>:$¤$E5kA{Wv LZHǓiC,l`z Id~ѩRiyV(1BVqegRR6[A|սtJg)z2=x~*A7X/5+{vLxm7k>P0~2֚K}m,"]>H 'NoԓА\s!e{3hd唃t6ՑO@c'Үx瀋f_VmmLZPby*-9pacuVmbyUuHW|4Z[aޡPye(UvDHߺ RA0$R?se+Խ*W`Df$2zz;<ށ-MUcC,l?0f;ݦa*ç?OTIFVyWY {ik*8g_85\nS6cOleO8U0S,ǡBA4;՘8ØE, P eͯrҶ^e,Ffߌ a cJO(>|gG'ڝG`,nExL{LM( _@.&y&r{b*,Wuyt&wyó xSV%7w=w@.g#S~M⛣v^Y)"b{E-NP1DC)tKF`P6V@b+\)e z&Au3D |MYxլ`jp.>I_4φX}{uIZߊz^SE7`m9V- WU۾iEʇoP]v)@N lzǷ2=/4_r.MN. @#^zg~63BG9syJK޲|/VfIV0R[2` ?S哧$MG5[^ a/OBHMFcRਔl_@BS?!!EOVA8 Ft9fھٝyWKԬTÝK zq5yL*B{CaEn ;-‡^j#=H>8o[0A$no8A[_)aQ=~Y_62LEAvP8u8b9& S^Si*i0B\/T rRX4 }!R_rj{ Hr2aqXpQ*p?(QF\h.N\#r_N+jCѪx:Ercx-氀x&9t艎Ξ`5ڧ~=v[snSk1`fA[@|JUN,`3ļ*u[ LI@`Df55/ 1af|CbңR(r/m9YW,t!X '6B6YM`D%/NH cZF]L/fFHkUK < 0 I#oteNTTƲJ &"5XuB#$}| z(Zl@׫0?=}0&H60?F pM&F5~pS6wIijRJ,UXrZ,!;s}5Fa\N|hFJvȑwʞ?^8P$[XBPͼMV}ƵUI{X{z̙ux[)|8ׁ^xݥgf 1E" a?(k7بsm j!KBߛ5a1r-"YpcT( PMZBĥ}I0M9z 6 %JV#n+Mq!j.S{Yq 0}G6*̈Bp+ja*C8m̻5i[3&~ZDi/!e;nOXԇ^z@=_AYi̢=jX3 gM{6>O%T{oF}hv"]_s / s!9uRc+eK {4x|h1W̌ZuAY_=i4otc_[ qG~Y8LsߑYREfm2mT ye,6Тe +yuxEZBi@1Ԧ')=!Uko4e] ~,Ƽ\]@!ҡ uԀESZxuss SˬOܵ?V lw*\S$њ;P&7k 5$dea`tiDز'W Jq4a7 4*<&sk`;WGAz(c~L;W$`X#pk"Z.5PI9AI\IT/`i^Ji;;=lՓ:u}% Lc(_z:!:3-h+}]U nY';`Y tr\L+6k> go\K}VXj[S3mծt7. xr؞P DŽGAAm v)'mΡ_ɣe!Vfp im%!z=(3o٤3D d;|i>݃`,z֪XS6Dd㫢!p椘2Z5N.}s!VJ/N4@O -O9<֑9VM1ޯyF|Ē7 /7ےϦkC/JQ NiJM=|(QKBO*_t]Q{oDU5elŔ5-j=зZ;YXWu/#*a -UALk A߈f=fL[a͕J:9&)U/PSg0'z7|s-|*^6Q%/O0DEډ5-ŀm9#::Ix?j/z"aG.䵵wYƓ)܏>z/7S'C^i매E of#U ǥS?\*+:ozkWv{1L "W\ڎ "|SEm}Ėi=02lYK& .[Q3^B]TX%aLWB Bu5_ekuH!x-˲ah๨,XAxyMU|k\B2Yc OXVD9','7  ɮʏ$>w5@9u CCh7fh2߻۫詖$Pj<lx\ rIxA;w)-k1^Gᝳ+P-$bm>1/1( vLZwӴ'/'G\' FS1/ޮ0On;kcԎK.x&N^BzW@qvciNM Tt] ОUT `t0\C8QR>A)3%iͰPue:L 6" > y o?|ńuHNmGEMRՍ `ü۠ SX>$0iISzkF`9EkmOz䨞M i6IhJIdtb%4?z"j%B|erIב[ʲO/XPkE MČ{.?2 nǙÅT*jz+Wc`hLL0/~Wsx\BY\CmGxhV)(Q odZ.e{'뻺cAhBjJ?<M//ꮜC(PT٥/fE3@k?e_bK%u27..'%e oeg\q;j,C[Br 0#El:9hS"S@};k[$QnMeܩu-mͅLG'Z';coYuXMN˾)EH;VɳSu8 48SfqWhyGbW0 Cg`x,aWrVmOHuD1Z@$#D*Z >H.U|vV@,c+'1e*B饎nBT:ɕwG+˼]XFֵ5%*bl!,w 3ᮜH02!\xTiK{_5fDNsjb0Q|CN_EF=A{"3͑#ҒbveHwBBl* [yte me/>ȫcqHJ='>ivoq4[((zVʋ m M8IJf-Oeڕ1XCn%NG>"|ϰMDrL_.3rDwz/c ./OcAZg{T dS!L$1U2A ~ ?aN%75ॖ Hi% _MTuhOk`,S ^oJnxxU`7hdѝ(H @LFVp/BջЩhp[)fɻwVȽkkUwQ7GrW?МwoaaGNH&Գ)}qɠSTmؓ7SLH"dųjLgn$p6c^Eif<={X{).}3niQ4}thQZa*+~pT<)R(I}q%ѥ&%L,t"[mRqͥBɹVsZweXSC6Lv^z)Ϳ<=y>rZ B>@C珥~ܳ,5RZc  ,~FZݸK6^yZ+52ayK;Wm'RE.w IGoºpI ,Ju?J;!܁e%KބɊD{'h(( dz6S. W(:GDwߢ~/Q_O ȂUՂ|' T*@нkA U9)۶C% }y#L"~]L@&2czr9]EAׁwaI]E{&LމՎxJ H[Mouv槡Z>3>Q9e# r a6nea\2('Sc:WPG\?A]LKpB+d::%i<x};zTx^Ȯ',k9M]4/R6-B`́y+iN}Iqknm Q.>jG?︴"; :!vPp7!d7M*? ]%f ȁ4f2G`ݒ?o"ozB կU}63|$ϵ hbh7^zO!}@HhزNjZʧ)^=K $ei:0!eo7{KB$82Ͼ"iRE}]peXY_-l`37Cj"sFĠwWxmjRF8+ۀj۞S+NAuwZ'(gFJK4ʷ ?uڔFҘ k>:Pdg!VӾGdK a{-ba)g(9 @fJmц$b݌vN#*:$6)^'@\R=ȄP%mRnC(#KEĶDy(k=D-S WZYc:6b\[.(^F%7SejvJb[Q8lT g. 򭖉VM e Bϴ"|z`ݗH#oXZ90n.6ܔIc>0 @ 4,]ZLksZm'r 5kz@Nw|mgaA {l^ࢿ%isr{Nb.Kbdj0)MO p<]Zݴ 5tIe1BT@ C%d ?ry> 79uDsQ8x>Ԛs0@ p|/N D9Xa\EA l9mRDphٻߚ&apA0;u:N4&]u?@v]d\ eQ"t4:Hzl.B";܊FWa4qmD}= .M=gU=xVF9\9ldw_E[ĩMBH!5[z=|\v ܝzJƬ]$-LhgΑ"#=6y[&'qC&OzaK(Bf,60Eor7lhY_ku~4ʷoP&*%Kznِ[Y}S\/D;5uIlIҤd݌6Z"djJou0dW kq(9ex!DZʡ>!p[˜X %T/mR 2E(5^>P&ON+pWb7@-5M |$V{{-[́ːT"8xְֺ= ^znjdٛ jXd9tg( ^1F îXD⧋+}KtC,ύ7饨I Cҿk_('X^傘+6-c/6!&w{ƣVnZᐨbp~"c(RBVY[AAVQ3W2Vq+v\BQTM?PK"M ܤ[H>J=DZ>نW0ʸl/Iw쾳v ] ۑ:bcah/۞p˻ ,+n 6_fAy5Ҫ 2f\'.q3KwEbnDoY6ƣdSg\Cƭh+R7 $,!J<"BHp][iXDSQA-%xIY?@P{~6^v$"rc]ҍ} ?/9!?"RYl1q6r)c'&wdмK0+Y;0YZ s%!RPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64-linux/poly(r%-PureML_BootstrapPIDE/document_id4q # dPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O$6&= 6/#] @ Bd. hpb8 (\\ǮdְlXbq[w2 .MEVG%LhJrꮅ?H2}'ײEޙcJ}J|}+m eF03ޙWN`jkϠ۬͒)qQԎ.w}+8MU&`c i/lxDGA:&NU>Z"ō{=4jS'zP uV蝣bO8gQƂs|8赙_ &n}fXŇ޲[fqJZm izE;-ghiID"o8ߤi%(Jd'G*G˙)4m.XYךa~}GI 뻾N(,wqzf:ߚ ӧpFW2qsn 6V\< boM;8.2J3 Fqӌ 2lsO`V sqPysmӅ$.Fdc#|_^.X^ xm%4_>7+ Q+m۪"W;aUr ,kp!Uݿfp#9O<@rarGBb Ó%A6Jn}ǺA3fth]j->SCMO#|AՀUb)e~Rf4V~!&/0<}g|\r3 &:w'!vo<D<9%/i*#99z‚MJN=)2}U>j%GxWe(."DQ7eVjN.:A,F--`r~Ue!`f*lMңpN:QKT4pkۏv>R#JnŽ@\|?x(]td1u)>amҴu%P; O˿=Xt&Fsk^Y]3eԎ Py[Qa]LȪ^7Uv DcӐ d?2De7Ȫ3 -nyk;c%#8Jw%kt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{iKӨgo!kKyFBSw@QSԧ%kP!)@EpH̽^0KE}a_}*|2EE3ˤQ}v&-p =י!v17cb ` aϏ"-LTLAq))yQOB&oQZ+'v6$^?|)g鷥.׻"WY=C{K_f2ѩ%>+UMP2kj6lOZ|9{(IBrx\I!!> `Ϯ~(&..ί]{6s~yl03ۘ'Me4Jdj?dm4(AYSig-' !h]q"ĄpS9}8{֥ć;1>$D,g1 SpבB,ؗNd!%խ?XUT$ȷW F+Ɠi!Y wz# :{c@qMޚO,p,ZWOQ9/ -R $K:v;ةl }cq/wI}-~@'>"Q}rqo~CQYIp_./tN(T[ mUPp#l8g/@s㵢M$d9.*1[c!g*COncg{xp6//DFi4(R,+Zݣ(˪-`f Џ)'c@_%v5tS |l3SF~)B޷QIL/TǷ6fR$+A} mfxɘ*2>KIP.}-)[hl./a6S ^4al;E3 >6д}1c7G 9$*Z̦7%I{+"Wdv( f:rz'Jh5-C7`%], sh$Iyf ͹ed!#\)mh᳦On?B*1Cy~ U !1Y4$W\6ڿC@yr!Ru3UnZ:3u9 T@|@?BX~ۯ]#_Ĺ,󀑯'[i~HYYxƤv6Ī"Swb|SH{ӑBqu8eO@m'W:#qCsؼ&5ϓp7%Sg6;0m=f*! dnjJ=٥L7cE?}Rs6#mwҰy'M( "7P.$'a-3J MRL{.#@E,^zog1k$cG3w:#8–u@rUg(0%*j#"Hv7,pm\|glyTw@לLM6fldL/ݗVygYZz g?FT3'Xb_ ֪ s 2PO?z`7_?C,f qD삸>'sx_Oc%ˌڜRpd9OzAM>hYt&('6v2I;eBFj= x֡PZw]Dc2$q &&QVU1Mu:(=rs$kz.ӿvBrS/`Xuhw:tQo>G ZZ1 -8yX/hapT9G/rhuzyh-wrҮVM t5jLyA妧oW$@!Hۙ$_(WWIFC6ǿ#9)8 vl% )M\b0X(lqئovTL܂ 2aM?o91w!? Mphm){m~9xEW_)QL@/aNV(5xCt9'>k!R@MH@xnWn&cՄ DfzkAkĻ;߸͋bHEUi`M{Gu4TWZq$ :ZϨ{R5&Xֶ?uQ^1l۵Ud=" G/Kp?qآ3 f7k%-Kr Er A)6P!Kι?wOna85<*z+>,0ƯvgEnᳶS H. L P$q[ܓƄM#z movs^6SZ>~gyrzkb&lσ6+TО N▕CQGVjej͑|g3҄vM?]Tkgh'sɻ ,':W C{ yyG^uڳd o0% BDKVM: ?T*=b&q$W1_srX\ƀ!-> _'Bƿ v1\Z8i,5w:Fc)bA>E)UG|P4cwNԘ/^F-j):d}W j囅4Ly|q68kuk{sQScn$#@J^et=)H$p;m7L66 & ܄`Blx pF^+b60OĚGTG cT(GD&9Pqő$HZxGwq`~@k*Kv]}Å 34LZݩkH2nFl] "Xi@+ 5 9B]h4[˄sdSZ ZOpcIdzjYhbYF|y]/bڥwN8k:\(}ZL W[4gg86,y{O=EHj4 S"'i I6v$ac0 q|6Cq{KƑ59eX&#})>X5+䁃?X-ł6Gh3}Ȼ4/Ne$b|48OQhn+E"1ش]މ1+8!,[BKٽi``<`y}Wfzh_߬Ȅo هY6)e,13΁ϔqz_R[<|ㄐ]]@1EW*L4\8R5).Oa kis~w 'N|#GulL'h]J@0S [ UPi116lw\-`PT2$\oEæo Jg}2LQ T( ^f[3o LZ;^ewiˮS^U?Z JJfbx[?=9H!7[\ yWݷD_Yk\ofo- Hg:>ݵ !U}& TH#4,M{ uQQjױA%=eYA _jŹw 6C>H.W6 T0V\OZW#B2bn IM~ʼn|괬 E);8#H, &ӫ)7vxba'xE`D P} kklxu0^g.T0 E< ]vNyƄu|ŖFל+?V;T.KJ7@!鼤Vln}P:(!ރ:$zTTkŚm`w!:_`.cCfH_fXȘ"i51ZZ|L} +ʕ_lOYAΦ <9=ܭ>tE DT }G d`N8`+\x+&7iĻ6TU3bĚq [İdk UlN[}'SQ`x<gX4ƹj sb1c8u3׉;E[)b ?O!kp(yS;).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJFQ¸4%ԎEΣCgP&Q(zBn]ɢ8M2T[~) pyW:6J_ӑ.Kx?J!փ&Xjc҂E> ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#*KSg>ډsr8 Bm-].>s+~lСץd{ kl$"q>Xsًg(yd08 Ky)u$I nV閄^°xLcnBY[e9ZOp+ܖT no!ǂ*(rLy,]9t-Rd dgsyb9zfKoqk^Gw @q%`<*&], ĴƇfoTN a{tȗv8фQ#, i @0i7. G+aߗIGmƸ{I:WQwK^2 Og)6N1J|~[']j]`pW(vM[׿{I\ a-AsMݝS4n+ ,1u]/ GQ~7>dc2rő!U%H֔ B"fhlDMm53@6=alaDݢQdi/ ~2(–(zWţ [qꠃ*Ua[6'@k7YÈͱaڨ}n>>F$wi'~Nܽ-Z`6Gx ,LBsv +ղʏM_R6&@?ƫetX0&I9q"%ӱgYZ