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  , ,Qp|\D ] ]Pure:threads=1elapsed=1.492cpu=1.544gc=0.0007zXZִF! w]ŗXiɟHVҭٽDz`P=Zo4lOv %4Ix0@g㐳#XVjcU԰E8R c@.yɨ(]MJh'r8lf[.10uZgYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wq#)rooӄK^fM=d-'-$Bqw[]b[Q'pOY2;6!}gYZ7zXZִF! i]ŗXi%[x;I,)AHBhp9]cHRmv2כfN,+O2%q2QBBPMA~4٩rz0`'HݔV.z ڇlN72*P5M7<'ʷ& joiCkNU\Щm]X~/ɭv!iQ(-5i-L\SHW;Q~?&˾^ABQ.F,$[ q?Bj=m:X\B"oNrX9AGI٠FCC/hsY/F 4tk.?wzvyRǯ@>n}h J07||%>sߍc~+tu\p,nƴ܅UҒzR8O*ߓg9ҟ̧wfXWzk8\HjÙ/l#M}7U2Bele4_"/mʙLePt+{*HY"΢ 5g\ g Cu;h >qa?uO:-i> n%}Fƚ2S؋#[>qVV~)!6^db*['k20\M{乂OO$ |,OgYZ3901840e2ea2a0e3a5bc7f1bdcb9f3b0de770bc2f8fbcf1d38d4d23767f8670a17792248e376e814  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/43486f%PurePureproofs/43482e%PurePureproofs/43478d%PurePureproofs/43474c%PurePureproofs/43470b%PurePureproofs/43466a%PurePureproofs/43462`%PurePureproofs/43458_%PurePureproofs/43454^%PurePureproofs/43450]%PurePureproofs/43446\%PurePureproofs/43442[%PurePureproofs/43438Z%PurePureproofs/43434Y%PurePureproofs/43430X%PurePureproofs/43426W%PurePureproofs/43422V%PurePureproofs/43418U%PurePureproofs/43414T%PurePureproofs/43410S%PurePureproofs/43406R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43222N%PurePureproofs/43188M%PurePureproofs/43184L%PurePureproofs/43182K%PurePureproofs/43178J%PurePureproofs/43174I%PurePureproofs/43166H%PurePureproofs/43148G%PurePureproofs/43144F%PurePureproofs/43082E%PurePureproofs/43078D%PurePureproofs/43076C%PurePureproofs/43072B%PurePureproofs/43068A%PurePureproofs/43060@%PurePureproofs/43056?%PurePureproofs/43050>%PurePureproofs/43038=%PurePureproofs/43034<%PurePureproofs/43028;%PurePureproofs/43024:%PurePureproofs/430189%PurePureproofs/429628%PurePureproofs/429587%PurePureproofs/429566%PurePureproofs/429525%PurePureproofs/429484%PurePureproofs/429443%PurePureproofs/429282%PurePureproofs/429241%PurePureproofs/429160%PurePureproofs/42832/%PurePureproofs/42828.%PurePureproofs/42826-%PurePureproofs/42776,%PurePureproofs/42772+%PurePureproofs/42770*%PurePureproofs/42716)%PurePureproofs/42712(%PurePureproofs/42678'%PurePureproofs/42674&%PurePureproofs/42672%%PurePureproofs/42670$%PurePureproofs/42622#%PurePureproofs/42618"%PurePureproofs/42584!%PurePureproofs/42580 %PurePureproofs/42578%PurePureproofs/42576%PurePureproofs/42574!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|%% LPurePureproofs/426727zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/ŃCbvRr̲IlfgYZH$% dPurePureproofs/426707zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426227zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6u'z"hTM/(lWgYZh"% $PurePureproofs/426187zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӹ7VbXiBm=Nun>դ6_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/429447zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429287zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQVjbkR+{ch*|m1xĈ瀙(O3agYZ1% PurePureproofs/429247zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429167zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ#׸~}pq8gQ:FN1R  SgYZ8-% DPurePureproofs/428267zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bǁb]}/P' s7 VgYZH*% dPurePureproofs/427707zXZִ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_xLSCf|bAmb]gYZx&% DPurePureproofs/426747zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%bI2O"Th"'ix׉'TgYZ  +   ng=6 B% PurePureproofs/430727zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ7)~(CD aS4Ay?K HagYZA% \PurePureproofs/430687zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP8HG6i6NKK8 ٪gYZ(@% $PurePureproofs/430607zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%偡]k*s17QbVs^LhwY \gYZ?% \PurePureproofs/430567zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטOa@8Zvb9! agYZ$>% PurePureproofs/430507zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/430387zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G%Xύ2R{ 5jSeCIQituzf6)s/,DgYZ<% TPurePureproofs/430347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*19í!W ,8wt=gYZ$;% PurePureproofs/430287zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/430247zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+ReR}9P :ȱgYZ$9% PurePureproofs/430187zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/429627zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fϚ30hZwSPݤFS4B,gYZ7% |PurePureproofs/429587zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<Cl3CRVzYs+yC&:5=O .2gYZh6% $PurePureproofs/429567zXZִ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"7|\O6i]qb5|gNj^TTB@]34"&*TgYZH5% dPurePureproofs/429527zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lD?#ɻ!J;:S!KVT]$d7fαgYZ4% PurePureproofs/429487zXZִ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(C@ybLQ7QG xgYZLK% lPurePureproofs/431827zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&bqEFy[`Y,Hq I(#:xS.< {-o@ÚgYZJ% |PurePureproofs/431787zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛUܒv刾:}Οp/vf g0 gYZ\I% PurePureproofs/431747zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>X\ n~>ju[Xڜ ?igYZlF% ,PurePureproofs/431447zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430827zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoPyvNp-̄=@Td-jĶgYZlD% ,PurePureproofs/430787zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^/]0F~طv_D4o BgYZDC% \PurePureproofs/430767zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z")gU|fsUQ&H3˄: ؙN*')͹pӔq8~ 9ɼ)3gYZ  8 E8aata% gpN`gYZ``% PurePureproofs/434627zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xLS#M"QTy]M#nOj9]gYZH_% dPurePureproofs/434587zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6xMSY:⿾Vw`glWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434467zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434427zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434387zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434347zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434267zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434227zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434187zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434147zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434107zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434067zXZִ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   ( IWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZog# 4PurePuretheory/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ԫ .~SEN1ͤ\zxr39Z roazb^Y~1w~xiGR-p:TO D뤼Av%D[ M\Q2oHhK)n?} M`b:p_է9- Qi (de, Dc6o,Ӵ+;( )JQIL!Vwa~s! HJhmjlH5fTf**6tGtPuiC^Jю[ɹ;h.n\n9Xh~4?ɵ;VAѝI>97?L߾b鐝c2g,ӍNВCAPQ6P5.M+"Ŵ_g@pqa*j;4P6sB|lI{[p0jh{Kc͘jטlYxt5?r-q ^Ap/Z>81Hv)6hom,5$'Z GO'{RKkV %Y+^ohA+OMÚ(M0\l4U$%Bk+;f  {F${e2 Lv"}DS.%RI V&\FX-ܦ^A<넲e11ڻ?ƇpGpMF>E>?5DR-lڐ^P4j2T/gNyUc Ax%;m$DѬP*;P8rUoQ!"$blYrĀ3 _{ ijĶgYZ|d% LPurePureproofs/434787zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fϥ qșobg5u8W,gYZtc% y>@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 :ݥ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ڱgYZQw ~'[< BV S?!QKbMr.&@['&ԿpAl1恓̞Jh ;wˉw}]jF.rYǥR*@G_d6ñcUbw O8!i |*K /<Мj +gW{,װQƻĐ!si.Z,bK r_D[!&Am?F\נYzh9Gc)X2Cvpԧz`ʗ q 2OOk8vŪbeض1YHɢLri5Մ +%0=PȫjPlaiԶL|;esN̜uzEMX3%D!YMrEn[S&G( .E)O/ϽS8 x)vg=z,@ uq(# ܣ&uk 5Ri`JYPAy \3dyӘQ2F!ϡmre񌷭#YH{L="p@dkvGgj ;y_Ȯ~ɩ{U*s/==+c4# eL"0X$5CmHm4`SĮ鵙dwUӌ:UZcA+GS$ġl=^hIʔǹdv?A|^)B.^0Hk\1!aW͌_\J̎9/"ɼIALML_~*$;gFRj(Q@{+-PQ-*`TԱGX#“ؾm1+ 2CCiFd+0Yy91ԗW_dryV0ТP4KցC}{cq}kjȉ/J.&L[v3Zۗy|w/E2mZFJ{*bd1XTj+@ (XI#G1 *z6O߃3&z9Sۭ|U _ \R۪, Ui92 {Gyi˓]9sk;iiCOgao5oA:RU=EQJ]cLցl+}#[1>\>^ɹ('UtD]AamtL _{yeOˋ']IM[ Y&e f;0MnF@dQ1Ga{hkݵMk׏Ul[*$qyrmęm:'1wOR~3>W]AzgU2YO#G:1ׄ}-VɵOX b [n +r6S[%30S/>7<j|7>OqYܦ㝈'3K>wȬVpO"= QnFq0F1c딒U7Ư&.tQc0jw>:!R8b1db G$А+(G9(M6D­>q7YX@2 rV )VFR1!m ebʅSu0wM 9LĕfuY\(vZ!aoU.pM߽@p!B=I0-Mc* O݁?sr`\Nل0(Rٓɖط1!$.𧻓!z*(EX-X#=us)^J̀ R7OHBOk!Na_ sn7!an>[4"E)ߩ<މl/fToO*RRhHׁɼMՐdE_Pd͝/<@xI ZCr dNuZ[BN蜘Y(= :-2\ ߫7qn~t~{ڝB@;Z v4*s2/Nc9Թ=? >׏-(C:Sпw^$iRc`CPdecB6OoNIGsgpdx;TFmI_^/%~%i $0eOBrȧ. 0hwpԑJ`{h@OQ#/]Zoy)ۣH5ٞg+XyC6ڐ'0GH^ӫ߇u~[70& ?kŏt->>Yd.NOzqʬR TP9K}U$ZA[Vh[݇k^3 Ӎ,_2 y}}u2%"ʎG-SȢ}$P;K?$ϥh* n@@mܟ-IߐU͋bѨ#& 2 㳦R Q1쳟`(D#&J\Lƒ'UzTSĶw#\\͆tT#ӊ:w0k hE8y^N9Ș {9~S>ӈiRT瓗=,1r5/3D|=6έrUY:.ڞ+he+A 1{)ZOL1t<HZq5FdIndJ_ܼ&etb- YeXCI Mmq[^Xa.zEd#x$Oo@%16m;dE -Q&&àwJ>$wL_ Ik"_,+ֳNXE`C 0hWtwx~'{Y_jmGfR,2p@^"lnV%i3Ƨ*F߮{4c'n€1ñO#;s PȲ86X,f(vU#.{\+L!B yЏ0/"俔cı)e݃ۆ.e[t9P ť' oWuدO;Y'QvkIF"z*Y)p'9CFp0+jak.nS/Nv`KD )$!Bre)@ ui82%l~9]?+٢h0yVw\M7_z)4Y+pĸz2p;֨MיDvWڻx1?M ^dKFؤWrƧav޲BއL`xJz *k;Kh]FEm1~/hTeI*Hq:1GpA#r]o$?ɥ %:PHszS5e.;ǐs~ mH,rM~ ̟C"g=nLҞ{Q O]gx;x"$A>u`G3}CЃVb'uJ}*w m׊iom)x_ /P^"|z=;@)տ 1~2:%y^3h/YWESg+Ȣ<LͽyTf6DV!9ݼBAXětFq6:r3Ĺ:, QAcC`Y(U 8@6RlDrr P(['ZlQ;<¬JeoO(л&D2VlǤc7o}{='A£LZ||Qh=Gy nkz76% 2Xw fDGnұx/rRz1k2+TiږdمB5c#H-8\ H~a_avW,_ԍpF}9'RÕ(#yjcYn|#\e69gdh yp)NJ*Z˰|POHu&߮P7]N/ﳱ0x_^[y%=,Ӎ_s^Z '=eޣ{:#'@Lw 8]Qm|%.thR7=JOW4/48}0F+ي%շog  X/*n.)wv^]ݙ_bl=-r`[Q%\-1L\3l^B[{AuħN|eXk݃"C}#z#N# ɵ~L<҈v5*Tu(>HP|xNH-8fR)hPnn >ؼk:25v/FBr] %v( CB:A\ψ2xIz/-?t{|JBsy QOK2U罻pFZ#fO,Ը@#JvLPޥ$Ll}ɦ`k8z32K=%HMƠjSHᅸSa>GU'z$6^ wq:":#]|CT !xpVb8o:R$pnѶz{sLű([S@Xf: @鴽Auf oX58tڮSSS>o-<F`"YR`hƳ^%s) {#[Ώ0P%QİnhgcǶ*emb0H;Y&&j9Q\_\E"Pt=p&ߺz[yO'z~Iʮ@N.Xu36 W[)H ,̜>gR_"n/e̳DaxqqNjkG2Ns\MlT<_"53ݡgR/{i2'c_p$s «qB ر=Y0u\@B^ l=YwL 00pM!}2)Ǿ侃v h[[e={Lұ0WҎg]AvKeO|྄wOUQ(@)Jnk~~,sXǢLs;eIf@N{2Ca2)M[HnozR?P(W'#uӫ9i0]X{Ճ_PpYXiv-A$tK=~BʪW=e{5%yjC/;PݳT1*DdщXx ZlH3,ڡ#6YßyC]n).-,v$aD+Kun^=D_Z(Y\l-w$콧_\UWXw\D|c:=u@S@J Z Y̽k6=EjLZyh/-YKDեځS;~bnO2l%AL|E,W(4Q8RY{ f#s\mgKa%XfC%YWs=c\۽r+s*iZ=?xYWWG:x"~-0Dq1ˆnQx9ij>1-23hoPqmy.<Ɛ9010,E1^R(>hgH=xG/^SNeu9~6^Kcou˫Qm_;ψ*fkUD,6xbk vT ߙr.ANlEsYU@!uspsk̍>wJW;K?ϼE3O J=pOĶTtjORUa7Ê-q矢dClX4K͖X 6 #Y׬=Yڋ%si9k14%ӗ3fnc2 @Oa@T_>n/oz}ettuLM[yTq-Tݗ}ˆr:T?{; QA>McNA QQ60-$WnaIA$w {<sKG!OjYX%R[rW'69LN QyAӵ1('HOC]kCbSd»cn&@\8iLxk4~,|jNZ$=)3،^!,^{VXM  *ݠZ f*7A(7[ku uq6B OբW&Sx|Ze8JbJ7@#e-ptU@(á(WAl@G3Q*/M@Bşc+G{lՇ'o1P s!R#(QlzlW<|YM6[qP]0uT f>a":{ټ4s_w^u<8l$ZpeeoPF.j,D3zSPr1LX]sBT#"j ̪Kz[kep'&>.b+`#V@RQU9(y3D^弆 ٫E5(ݚܯMł߆S9-ҙ⾿Ymm!>,m1w9Ȏ+98̌y̨^s8cSsNW 7jahwUzWQYĵ?L J_vTW;}nTE-7{ xQ:8aq<i^^+8ηK^.|E"o@ICҪջBR~0W1MXCٛԩ HR!^;IuM+9aM]ay|#lhCHj[:~#Zw!Z1r}pq19OԘLL[IXV+N5SDb&?1y*PwOۤgbv&G5'}QP{Lc_ i ţ,HyZYW3\o1!Foy^ma|UXQ~{h# J <+>1'u;OhLW|4c4_92k%4 19NGcܛׯl\ɵ@4@ApZ*F3nӝP|77  x6F2Ķn'grLF刺9e?;K);;y(cjaQJEZRs#w-eʐ{(6uU?(/:ˎdŌ;(ʬq{5Jiv˴}iG2?6s {#>b{՛QϡQyߩ)CԲ"m];gO|*q^bX2S 8_ B1t'0Rj Tx6}J ʬ܈GR܍>PſXAzE^2OrK߀s8/yY%ݫizXեе舉t E%;(!~F=*YgbIJQ6Z !P3ŴIldLѦNWF+rؾYIVexAX^^k67?rECV/ t\Lc|p`1%ÏfXP:ͱUuV B43@eLxfu['GHZ)5rc |K+Q09@($(Xun#u6\.8,!ï6v{&, ^GJP{̭@%|2VP3yG.X&X0Ȩѹ*8QJNb-28LLvx[h]@+˳={$jH ZjC^^lOX|g3H Wj P]Jt>tyg/Cɰ:3ߓn7VKMl6'u%[4uȏ"|) #P/eBILJ2 7Cw"=iqye٩9`)r.?єmݏ]0K 6̕܁ U@vgS%0q{ maڷn8?ʱ,uhYj4AFDjLs ibzȧ=j {JQR˫LJRճd7[4;<@,?B6txAsPP U/srKJqV@"JP9cfjIߜ*itwC F뗢Z: ?#Ka؋aSuim6khHgERt =Qd.X\ LW 0 0p~]@x=y&4λL?\3A|.nb97'% Jxme:C^ŭrad]+Yjر+_'AEJ'F?t8I 1#XzIa6_ZE._ak;CA|bkgJNmvɴT)ml0ZT%rCkn+tJ[Rm(]G˴֧*5gr KQ;ץBz~= =Q#w yKn KrzajI uMDP5{9Sg# lo9 >s΅IOKх>z o]} jdd{~P] Q;G8.[oR#b&0'\j.qئ:al oM3Vvl21_TMde3J9^\9H/|U Cp_,$I/6yL{no8 2>eAƁQ:`IJ/j OɮV U*ZߐUwe#Ղ (.叩< cwpapy5ĞB(ubUx8mB,D؇$ebբE +&\&t gDsKL)`#_vyшTxAWQ9.5<9m ^pr(4a?)3њ9!Z1lږ~} M+μhiԭSHAV#4IիeIlߎv6% 3l=0i V0٪$/EL(g 3!H&4:C5S04%!2xܗ)ݦ׻hݐW)j`~BQrz,xVF zOdj B Ďd3u]#X!:9wsB_nЯL$j4!`,IUj+!m-@[tm[vhq](Z?0E.ÆqT[ΓO[mخ*#큏w$L`QOA#`/}~6p ]WCrHz%+ )jU-2uH a~0q{o--b0""M<.9]5;ܶ.IQܼW]I5EoPxW\N;ѳ cۿh|kg҃naIZ _ord" !޺ߞw.)Bl,Eݭ lz swn v َet7"q東lL0 $YNw A+B&/g ᙮N+$ 3=cR깽s( ֳğp"]0b=jG {P%- &ߦ@6 - ܹBP E0\!ǢRsxj"n8se*E+zS8fTxjhRbm)Rd$!>3gIg,Dr~mEcGw!:+S"F#*Ó16:Z>DHWS+ M?\m&I1 7 NѺ&E),=/율z ZQ#uJy\[lg>W0E^ңjXt y=\H:N|QQ=9yc4d]$MJQi,M q4 ~.[>ӓ91QFeiWPXq_xóA3쉵N˫B@kf:' G _Ppf*K+9ێJ{wi_ǜ "@4먻.h 1 t,;ßiO-)t8Y} 1s򭦄^Nrzo꫓;_ԘmB#Tr0vP39l),)Z:>keXjf> <'{=|趛)!^qrRN2(7kr0 p'$] NQ+*D{}͏s~ߢcG\T)29Σ;\v \ U(u0߃\lƪȾ _I\;4h2CG-rq%JF @xus7P'|R%h0v?M՟Os$% ԀOm2TYl2vrO!t3C}𷀎(&fP5L (:oz#1H]v fdxƜ~(ǡdKF}k&vCCc1ͲĮXTkBxuGZaiݠ8Y_qU}uG¢᫋vLܜ`6!zqL2t& !#݃KU+Ji6fy5d5CGͭ+33"11q AUCnS#)!KH[c-j^=L2ӱR \MS;O\s²Uнsj(υW' 6Y`(2.zYt Q໲x56ϰ.-ƍjչIWz.&}i=YcO2\VJG`iT=?(@3nUtn^L5mU lΥiT`P_/_mA6s $7^h@N"ƒk:匾NRӷl3e +~&aseR6P% Ti *ԡt$A*rj?leKa9h`e萩9SG|g2dns k;&с!&oiwNY1 -`6Lv}0N1E<ejz4&P\_U uxN#P{W|čt͉LI;dJ|%؇1W\8z2y=p(Iq\?O R^9T"qÂ9YIqv(y%:#αJE?AWy`$=ί~? KԌ;*aӀ9dhcp_FHIJ3n8BeYSPg^TX/F;Ղ)wa$H d`'}}X<8Y(&cMɟw'^+kz$ .{eٷQK0Ve 4? -Ly&p7Ӷ *`c6nгUk*kV@AU^%Ypxfw|ɬ nՙq8/Y.v^ <]- Zb & x P–[y3`}*s*6d >Eܜr9s(:O *4Q ` d,$&ȍ׮7fH4̺jHP\_g~R;iJ}R5[8B?r&[ u-tKH';ǫǸ3JӁ}&Q Xű5ADQ[}y~95_:쯰 uB\].0u2nɷ6֯d7MzITO\+XLf: *R拕w(`{-1(h.͡x#WGFcb:h36鍶FJ¶r@ղɣI[M!ᐧM vc((CgYk-6-bzZ2[. x!uԿ܌QK"*`XY4 r,N/}3')m>T@E,Wh4es pqIU͘F/uswB}%IUspG9pųw5]8#$SE;=ťCչs+8}1v[n{ݹ~iM>X`;L`#YM=P#p)<0K)  lYkKf``𒲬23Hb{<9%6QuP3unF֛AhYr]'D#_^A`ߋ0l&ќV[\ǘĄ6Sf+]/ 1ff`.c0Li T1t7pѳ6 pcYOA`S1^R@AkC1٩j޼E (ZyZ-@g1l2w,WU*~o@ǟA2\ozn?BݮTOcN%T/fsO[ޞ Tb׏&Kt quN)n:cO0mN?\%Řs)^$.+I$:YOrO6I+M\!c2܄);Ц%P5Tu8_(U{$|xϥTj $S ƘcACB_"aOP?G2Mhtu^`f[X)UN&>dW(?Ei%Z=š2|L|.~A@/#~ue,ݶOAsKԴlÜbDn1lE1 ӓ^; u1uo~&t\\7H=Q:8sa~EX%H@g!m#FӉ]49^f˴}w3^#Bt~K!e9ۿ sĥaҌp>ە?6 }>^NmtA~E|x!O%94gFM;~aV[NoEWs'24l< 9 4#aRT\yXj@Y~e=VQ"=iap3SBnm|BvfшkKI+C$6kXsurP}K;>0H3nvLGbjp9GLZ(RgG8ְ}KQoHU֌(Ηqw,vWU5=8Tżо4VKE1H Ϥg߷s_0[^qsp +!E mǔ oRy\Uk} 1zwUR|dz} "ׂ'u'l@AjުIb;ze3A!17\E NnfW5GcH"6Z'KKT+07-AɉҡS߀JP d*eP 1[NSwNH׀6u#|nmqn;/:ݵTc#Ys(SߛT^[=}Iz0\_7_J&z,@vwP8n̔?z3}LIGε37F޵s/bldۖ'6iy:hna:mHWN5c.j=8rZ)6y-?J>vYߚHV%IM%Z$M;,Y0G˺ 25֘Dz3CDa-NLo[@;0lj ͖SY!ܰ|Y$yǫjzHn̗p%v\|Y/K8hU5M6k! ߉W"VjҔ+&(cvZikhV0ZxZKg;(x-NQ֙ܰ΃B[Ϳ#LOůH4 45Tw]vXxjD~P(emC,ϖ5:yi:z%q)YՁ"<N8}wi˫1?Z X8ǩ@; sIı7 O _(h3@fvNGY6G BVQ-.Rfg@g5l9X5qݻjuل wO#y! 6|s3D cץ/k tLrYnktdn 9EKՒ s3Os/6hcꦈ!R( Oq1(zE2^PvXv%)Š )0ĜP;H&@ŷc 1 \ <7\^J26tOhƷf _<:pS ̫G(Ia5㛝Kl㵑}v=Q SSAޞMbSyŜܶ4UyCŐ+8Wa>'o`cEOqʧ$bwrʾ6w&WN(dM-kt;VaJ|\M l߮ըɨ~UԎilLb>IwT=ɽOߴ|n-=C{B\HLˉ~4daϳb])= jNc$ \JB>,s v;/[M*GD!PV,ljzjm~i9%vKtMjbh}udV,FwOzd(HR 36W«k+Xb#!6_T5GFJ2S;w (YfߧZ݈j]Pi:/0U<0s3s.fdFB)rf%W12rO X{+ǡ%*Cx#ҚLRLcl \eWrX+_i I[F( qe"rL߰0g][/%vЊ?!Z4JxS)Qh}NI6IʔiJ W'9!VS, 1v>cM?Ye.[KylfNuYd;gWmo\h Ghjo_jUjRQ{* 8u6@&3k6VKKց/vLB]QvH _Bz%8_ Gv\jil=ݑĽgZ9[J4l#ZS-ہW(0__cId@Pit=M6b.O5 uܮJcUQx zu .(Gn^L2 aaa]ebDO<=#' ;Wy[37!~je9N`EqA(mCl*mXӤXGۀ;o2%G9CQb\*zpz0^#cFRyComhs{G+ 4.AMRv`yh UcϺ-/R)@ZdisiIJQ^θ4qY?-2Kl>st[PCLJ&y>!ӑ:9bwYx-)`1jAs#C5o]aeJS-.#5bU p=J &]p U:]N,]MH# V -mӍǻ& V@#R+xFcoAy)0gAEw`"w5* s_2\$jq80^N< 얅HZY y|gɞ>ڕ߬\Sm;.t?4 8S&Ďt&7U#pܹ_jy+Y:*n8^ -PҺPPJ$ 5jZwL_gAYRܐ(Õt3uq՗$դdP>Øa>} S]Uw{lw9,QT-;e|!1/JsK~K![Q.;V`!"upXa=uA}X.˔>1}}\VI#_<|N} 5SZ.FgRg_{yt`5eT=0\4!(Q7E<`%fǧ6mhvl>dgI⟪t {Du%ks> Qy2}V 1xkdN!1hWܷfL%kqfh툩kcc, ȳR*ût=m/`@靠Y~tt̞h^ߤqE yqH;_/m$QJvU(MVoik~wpUфs_ht#AikwdH==Rz=Pe:Z V-QH.BTt5%Cdn|~|ZJ5QlOCmpqnT1*ݴq`z,\U jsZVpzdZ5Dl,G bLN?m'#CG>C: =?L)f8כL2Y0V% "=ڙ1h%(] 7190/m/= b̈aon]}%tՏN闌9 fAw|S\[= 1Lw/2wm\1CfeH0yX b&8}yd&JMP-1&"ZII{] A4<b~B3Nf~]R7^MtCG*T !vxs1V;0`Zfއ[WPN̺A=7f'Ef=. +@~%܄ͫkb2S5w*yEt%2(n#¿[!(`Ea\%"[?ĉR:;|Y톇5P{4u*Ì\k=8 tAqp 2UD ! oTiy'bn0
pnN ?S'"oZ3i"KEvFym˄ޙ'vʱADw1v!)lho GEa;@L'o5@  7Gp#cGhbFuE2]XMAd`쿮 3͜nk5WӷDU~Dj@K4JHMl_OlRn*$ Q@^ygBq]rt>6Ilnu>To,NjlP [C=f+Y>uv5fm **5ǏG}w/=-VZZhia\u>ᗳQz'XN:@Є M(.G v MoCNdҌ Cۢ.|҂Koɼ$ݽl-~С. D6#a?2?˙ɤՏ_Y$rW/{8Q7Q2'SyCUv%> YK)zs%>I^0<׊9^jۥv^-++4lr(sYjK2%L{ N~Fʳ4=m2{*1.B~֥oIΎ*C@l'MFB-S)MVcxj[zG-.p{QTa֛dXգ ?#Opjt0oYɉbv \eCiwf$0BL,5 fe--^xcibD]Zt"B$C[ Uy }̤$qR*څE 2'g.oE35aU)U սə{aDSD3kigyh_QffUm_#)|EP>hğe'BUGЌtY$[Q\l+$r}gjՏsh' ct]ҮNU\߁艹rz Rs?U؋QeD`'UBYÌRC麙,éߒ\\:&rׄ rf [0o , X/-#3 DbR˪ (F~Ym5mo Cv{6›{Axyr(V£/9w˔bcgϮ!lED<&G%ogfݘ y\I 1{μ酬z[x*,#4[A! wY'E>I|El6u3U 4{pZg g㲲>`AhcRVSa)Jc]gkE}ң@.OG *`E8FL i#/~B'KU >{8Q5K0[g_[,=oSv}ӱSvI>UרeA e."zrG8aR;f^h#A.<VmFC?}.LFE&Ugá㲟ѤKS{Ӌі:Ug}A蜅tkՒ% rք&e8 :kҬͩLG% ^ˌ 'MjA-rU60plls|KFMTr"kϱAt*5X =kY#'Xd{),oC8:@}b^֘BE|i #mznSYl27C¯d0Z=l |^ǜZ'MG`t-\~fd'w (7 @'~=FhLk$f4jҵGi&헙mE Vpc}LPM`5PژD_7)u5i@S .qd{%lLP7ED|ລ1[9<~'h!Qp uwdU:ܛ9p#Fr-~w=9tB&rWvY8=`,{!V]l[!\<}GVe[NWod '}.utЍgo=gqLgr/I–&-Dx[4SϾKV)ɑ.{If)~dhƃ穸IJnzG fWUlhބjf, FZZ˂[b?PdZ&V3zҚՅJ~ǪEĭH#D5N_Mz~pEjҁS, /a7-MKc4Fl st6f!v8C3H¿@4# )Z{=ڦ+K]JA4^`DQ[@{fE!s22Jb3WۀUl 2YL.S;}z,Tv 6xAq~ ҩyftM(9#T䓯0lP5znw4݌ƻ(NKG*]#1L4N0yF[*Odݮ(906<3 @'Rk0wncoʀ tbn$\u}"Y<~c&r 2/;;pA^T# yFpoLD-HKu&i>gh&Z:bjIZ'P%r[쐔-V6Ѩ^V8"}%x>[ᒣ9xbX|2P\f3BṰKČ Y~m\8pL$TQ*T#i_.pRn-NFXNb}G5p/:R$X`~.N}$u *ܙM׾ ]'{CG=`~1`I|Hl@VE׭䭩ѪsQ]yߎr}VaWAZ4ǘ_D=C{a,N},U̓:gP]cZ5t@sZ~pfcOa,n rxH?0R ,{ϙ#<]G]cMyz#շW_t&!:q@,x n+e `Xơ!31 =Ӑ7"?WK6qE9?iV#vh:H˱jsXqb'WLp_W43B&K$RTʰnrͫUX<][OJ<414kmmV ]ơi~$ZG<>mZ*bjHȼs*a"s4|,,-Ckjj$Bj5BmD3r `eԔ k $pfWg%* 47&Co"`w"5] G^6JxgGdiU#RLlcuiGM"^@..%f(ɳc߾bk~NhHb]JCT|s~2(olΪ{'`%<%!My>B ErZJ/뗰h7`-_^֩!/5ԵS 铆V4!oF!8 ,="VCDc`ioۿ:DJUfMNX fE7Gxa#%ᐎQE64|ҝoaU%FSQyY.2%YKYpFxbCIYSU3D;;:fÃ:xRq2VYbtz1Fۈfl]גH+:28LHh=$澹-GR2 _#{)K@{V^.@ϔXƍ8H`8! 8]9܄lE.IM˾ jV#kЖ9c2v]mޱ>O\)CpJ^c2.SX8-=—H:͞~3xS/z$/Q%*BUs￷^.$ \6M3|j9vq3Kی`ml `)?G[ WkD(-=`{ԏ|U+%4yNq>v <+ԡ"$vYtybnEs3]߾^l@2~ة̼M~;y%SR/6մǟ?L{~V`h"G-p۵̛>m%Qu\fy+CU$50OڦiiPLJ6ωk_۸/. 0s4G4&]N+X~Ʊ ;xb8g_C)=z fg4I}UCD$bU5wv>8kФyeVAkYT.Z0rh+W{);8=)ɧ`˙>5 "?Yʫ'd&T7p:W H7Z"}e 3>:\e8=Hl&Ʃ{ѩ Sde6]x쑄ʭH'hp?g܁ nAs?MSׂazp ),7"%j 㘷6%17 D\g $ƪ+#+2`ga NF\;`.\dYNx]8'z͟,!]5ջjgqлt_j8fQJ%J=3t- o< vX:.yoA+!> Flqw'277既:1>IJ?1u[x$jZq$kum?+[2>0E޾IH"Xb"xEծTBn'QBoGCeve߶Ty<ɥB=/~?fҡM /QNMl .Ż:|kȞ8xOvոc ֵBla^^˽r9S E}E)DPs‘b s=-p\Zb&:bd!j10򕲳94wE~AK.A)`=޽șr!J{W*KiӨDD0}h>϶ 5ДGĖ_Y+wZ! ξaaӰѻ'40O҅ĩB$E~:!X}MĨop*ok'R0jYw&K7Cˋ|rW:'m~JʟA 88ZZ SvҍTM u{30e5)2 nhI -[ww=J:*917;к 8[ |`9="U;;%j]W?.~ 8߅ -^?/KU!oU>,*wUNp";_v?`_`Х#铦*C[ϛ&Xa,P|ͷ5?>^)r)Jf Fgی%Sbٕ?n}qI2Uf<Ÿtʥ0^ <bI^+M+#YInr.a5~D51č  za!.RaV_ #j+fÌ V.i"pI5J ">=PWyOy46RSMa<\vXpܳ Oˤ{+&;č!|bS̡H!ow#1(ϟi&Y[s)b_&K 7')j )YY)߽%d?G]p$bN)Ji']~TȔ nZOĬ:zgqSZ`n3 [09RĤfwsS7Ecm?087WyoH]$PV~X 7 !x9fTpo%Ij4w µ9+hT)6:OWO"݀[NUfn.~A*eGJgE{ةMUx+*MJoa$Uƙ[Z5hW)kؽ!\#a8V݅JΕ37O)W|Ϡt͸ֽmw:XAnY,ؑIi > $S{1Njgr ~b)0հXS#W̹8 #Ӆd+41E Fhh|u$ڐI ү+LݧgA? 0,`: ԄZ=QXF;t-!@nvRf)sEΠ@J<"71Dﭴ9PjnU'TsY:`~2ǘU.nyC|IE j-QOSPh :&*q--2xiȥ463wHBB7;gzys*8k@X,T> ]Wɖ ؋nʫ1* x*ous ׉Sā퓗FzfT9Կ<.ۅ#6; 7$h2;w՝ a=I A"Rn(Nu%OUV9{'uιMyF@ S*ICvSѦaXPG׃]Dc9ӫ< \쪈$ 47{mcnjA I҃ϲGrMZ.29Yub(W*ZD'E<"!1 9DskM }~H('˩sizX'?ʐ4 ׺2Zl1*w^:>`35[$d| 0}  rJe|P )e5h@U*SpPO0/J;5S|jp ĦW^l?, Us/?Pv w)nSm~iu,;@qd01La  u7d>)]nή$'SD8 &xOt= @kQP$Acb1~k"1+ykPk`^F3{쎈G C7y'A3z&ϻbVq̰ix kmc-@bK!.2s"Jw~ UԜpwQV'4 1lq ;To%rJA$8ƚFHۤ!2;2α #^'ٿhʦt͋)b@tQ{dndh*F: jsHX7+_?G- rO[R=,cYYc|"-_FܰF8L-qE%"ki=jYF߈;-b F{A{yEEXtTݐm:[Ċ)OBɿc҄U@uMo![Zўw{+;AFDT&jwŎ#!ڣ&ꍳ12dGl`.he5֍ D_:Ulُx;v/Qw=Qxq*2 d9C綀P'+v;MHy6`}ӰC>qX!һ*DqiO-V܋Vp @țtU[E2QrY"Xz6X&cbnÄ0KWH[**3`7 | `Ook?Z= gX!jD͓u/\Ϲ?QN&zI_`wSti;GIi,ғ5*3G5G9E1ɶk)VBO7z߯u[(&Qm֔/ќLbr>&oDg!mɜmY ,T(ʝ5O(EKT>:_Vd }}X+#𞫧H1=h25+s@ n5T7{N%=KX̔ALX] Z#YPVk礑Cve3huާdo`) &Hp`r4FdmI^\|F6i"\B^p(ŊI\"Il8@kE\귔E="}`= `5OxWvɿNs*)Pؙđbcpw?4&~=q"!_>%AuiC䕎 ]\u$pt|Yk}ϜK@ #1V 81O,X@xJSˊ1T6Ctډdwb$q#Ϊ tf M"aCs5v}RSuFp4K4f,Q7ܒ8aEf:/zcUV#Z*'Zݴ 0tl>T,Y|kˆb;#B޽:^d.rHVYqhIEu^ޝe4a*ONtF@#Aa/\ӆorr$]EWuЅ?`ӋSܤU(lLHh?@.'(Y Ck );i%8޿lTu#Le [&HBb O./Yk_2fz?gФ.{i-ZGXkȮ{HV;/ה*^2-J#X@Yv_I})ZK>u&dIb&?_N h<3d]Ej)!*vyȯǘkR_e 8ɷ^ߞI.oJE_X*/"F(?)ofoS٬gc-ru\0N+]e_;_.kZ1 `@m7볬¢^Oyw<"ig+DVp$S$JR<`7=; ^أHCm‡gԱheĭ],R_vGzT\?}yf{"0RQ"6ҌE0'y% ;Rb$&ENiYd97nae lC.yI?@c$kd6?u:dKdح /`4G[g {[grQډxGi9<] +w6Jۨ{υ犎-P6?<9dQQ;t._ͪ%ߟ8vqxwjNPAGݹ - [Fz$B ,e17b1Ąh,q,ZL0G ]AM'n&EeEU> z/OɌ ~"Ҷfe2U:f(8G=|1&@NaH9|'T<`LN?­61֎On^Tvز޶${fޮfDc˛'N'~IեYj\ Y@>E,W׌5.=*½0)«Fu3qCɂ&`"}B:~NpJ~McPr(u9S>G*2L:WRj%4b]؛h޴_mږvPܻ_51 ^EY#uM\4)C@˴w} !Q_qJiF;w5}Y[`B_uggɎM#l3Y KU)Ɏ,r^.kO{!T̞RCXL:.LL/fŌx푏N)ϖ܀PFɊXY9${dMi.QoƂ~;=miE[xF[y"9X!y-߰C^J!a= \HE(؈"6)M]%tirο(m NT IaCMDحS>Lzf=Z~^&Y*DA&ya7:" %d༪;;·p%:.J$Z XLk5Т:s@Uշ93&f'W39]m3O0Dn cU%рfZLZa+.)1hNvά֩ _ܦ,!K82~P6>'u=+5-ɽs^~`+t'2t"׆K| &qB3-]φ)rF? dTd hU1Dyw' hrGNspJar|{G=Ԣ¯^si]!Y)ޣ+uOw,(=b\QYVZ0Cz\p}H ݒO) YZC#+{@Yt )cߤGN  Y;d1'1Ց]majHFTswƀu;ʞ AI 9ʑM;6U (#-R/6fvX+Jon;3rz<2ߚ3"B~c",zD`NF'p(lbέN`˩omntg|ÕfkJm/=)'?9̹gd7oqސ;) *=(#4|) fiLFƧ^fs͖A-OL\QHS"cbMف%hv+\Ame \6~oBʤQE~9\(}iAO+m7vxjL~p}_ӟR=*u^ (?f,r'u;$-% yAbz&9CH[.wdwވ{7EY@Zu3xdeh] ߐfn53vM9UzP6Ȟ&̉}ox<j)DG(~<>SNe'p:` }P7I;d˻Oi_nvó`잇ж_Ih!!0KQ Z=MZ6fu'O:gƮ/;^zȘ\>"4x8Z]_c1d.N3zwrd]?AH2 %B)S/-G?qftגyOv2bmfW qΰ( VA^imWdABq c$pO] @,we{%ҀӀFAAf;G?eHbRPH!5I#f)<f6il]@G>&}=ܳ4r-+̼fM P-( 3Mz y.o}-8 OfdqР|wpU Xm]-x] 7's8`h|6B@7ʣpmdP8ݼp+1k#{3]}*>dש|#6pΗ:1Ho_r`ӔgGk!̻>g+o*5KW@` Ԧ 4gJv ! g$,I\$.7\Bٖ@ :!\OlA}v0_dMv01Qj.)rH"W=FI@X^LXvQ0]L +PaFI+(蚇.m{(*f<2[WbQGu8o"nC!v+I\=J☫^U^1 ';V0NN'0 H`}deɐ]WbϽVO =Ş_'l 4Qd;E=CXG*^e46) 2tKF9Qn ȹe*x[1|&'׮5%z"N4Du;E*T豈PaBZA5ˆϓ/ ٧PC1{Ќz=۵C0(#:ؒEa"338ǑiqrW;]P }oy 8aq 4M2yq>Y8,@<htF",.MoΫOE]F #F(Uc(Ë'^ ֶ sfUt=p0{kx/4 -t)n )Tېk!iHLWe.EGZ0@~&߷Ҷ4$ UgU&njZYZ G\ŖxY\Q7lZb3P_Jv*2S"Y tʛ@R3صH{`,A_hj׆}\n.dMM/ْ7t!̅jSҶABaaπU%}Jt˾r~XzJI5$\]V#؄O^[0`VؔyŦG[5XeՍ7StUyGkGLqMgMGqdƗG~D0-?cebURw˅Xb@KMLCRWLߩ+DmMbБB_JAƖ>HP:يqct$eQ٧ሞ! W'"աW׆W.L(5"O]ǭ^me%f_TY5+$*%eUq*10 )5-x틈Ca lt:|~kAV9ZgS\(HTQ \&pU N_9b#N}ͅ{УCx;r+UǷz`sZUW`!P|(כx閹+I뇱ۊ5QwdW빛"ca&]/\[X:D'Ju9jn6a8e;I'L5Lx)Wʸ}@j+kqd/韞X{̰&O';oI69gqe}KAl@RKe44 %n쐩%vOxV'~4p2Pr}j3D$7F+S # uVcH 6o0Zvch&JWғsy/3* _ Q›fЁsN0VlzNdV,[+Ҽjf4.ܽ>7O30$}F!TS |-7ۉ_x W fXZ^ pDs#4+"%LW^ZSV/x Me1&ӊ࠮ QzLj$ 3#g,vܪN1 _%EKDk=i4hr bd`'%io=b戒es1<5&D>;Rd#Epġ"y;P7N._cI y9fUu W\0Iza=c,gqc #߭\W;絵h(|Ni&JhB??cת2.)yme{I :'*3:yqu/: &^0ؖS`# C]ng$ 9bhaW_^^1~@RCLhz%`d,Zmeզja%F U|:f`(Ks^%iss#h/Ğ7æ-p"ݞV%BUGvi绂o~ZHw-`D9sI7Xո绕{{q]ZYֈǨaߌh)=[,jKM0a~Ch8no;`Bq{JA,s{I0MKwꃞ4 4sw8oe|4Ց}M]ŭraԑ 3]*=_!GUgޜ\jdctlD: VbM~T#.%D`x^ُ#5ӀMR/fbާ3!%? 9@뒥QF)ϱot{kJ+ޓWJl?a$bL S)7}̤>^g#> N35V1s{j.\-FO.baΛ.2$\ L= 6| ί?7nT~}#kA [/u{)4$!fo&.r-ut (]:1eB9*4ku#;'ϙ+l( 60'q1?itQgPN=MԠ^\6%qV/W֪#1f-_F{I0c2{{vyc+ tV-дEQ3|~hRG ܇lP9{NAzymދ+[g ZJBtBA,末Jr-́ kǁHp|=0{?.S5eK«1GvPZ)a@K[2i_MczGai_a,!WrN%P_e& %(je5  8xgЂG{q ѿRz]g 4HT!poІw>wNlMrfH4R,nQng|=Fp"<~wd  1o6<2][5LH\ce{VhKI&ŗIt=uK²œAsH?R?Q ݘݭ,; .pZjܞG1XBe.@kc[ lUvzhڞȩN'+?hhESA%oy64;a8(ϸ{icw.$'CB:2~5P0]_3nߏ)ޙ-P҆ !gǔv5~_ʍͨ<¼gm:1ψ g]4'^8W]2 yG"~+L7ջRmF1fQyHVa"1.2)Z/Sb'~8~W4T@kGbZ5'TJOr3 jמw`.aQJ/쨙3>E |7'-oY1P}feDKP:~ym" = L\ΰN0wMNojF 1{udPܸQVı#U,gkcg+!{t7{ugīięXR*T g\sA+H),BM@\H!+Q LP4v" E瑹ԟ[K.lFwq_Z3mnӦMϱc3xkHB luFPcwm4K{8Ka4K-~Du99 ȫDohxO$9#OHr-vY K=`y4;@W܉sp䉥ot}{'Y1 Ju F n=tkLB߿Smqr(S} N]|D,vXu*Pбc Hi" E7V^fpg7Bq@eoʹyq :[YTzs)P]U3ᦁ 47,R䣃j _gN:qրP j#bG)t"G- wV_yݛlST]n`Eks 3}]Ei 5š|rh) [V>Bjv +kj}_mo`ЧЩhL)M8S`-Aj3Xj==-2ό$@Q˶Y!NR8JIQLrvگ.• s'OD=[݁O{'ގGߑVU ;똬cܧS=yJwf:7,W-7 !eȆo%$DjF2gBʵ gYXv*]K[ ӋXSPָXGCJPf_p[U  fe$c:K8|'5'Y2暮MFtbٔ-V #/߭e=f_}ly=&g P|{PPE7A a #fl_mn fԍKf7&T;}_yL|O deJ VoX~a+DcqM:RLYh/p!+P5 (4z<`g=b5qۆkR>i`}Fal:Ck9ԃ~Up[dp`FaVXc:T`e稈e%i!F%ňwaHhX:}^tT\C %JUH=Լ#ӻWn=l2lm0X*qiS_bڋs 솱N<}o=B 3rNqEmO(uA`b[iD=1:쉧 2ĥ3H~iYgfBn:qWb'p,z7&3KT~.dB],׳ 8iu!_f>nkww.20u&π Ξ, wF1/%찛ߥɕ:Kc.dUEcᝠ<; tfRL$lEF ֤XPoܥ傅Qsy 2("zE-(~NyUo,)hȂf.㧺)mkh'Ua7 f|| Lג$xoqm)]Dž2ރ5پɷ0`(OD6w?K;%u_ _j*b&);P1TDuYGZc鯹N;< X u)nKjP%44c3xQ3Wq, nh2?#g>ξb}n d<,SB( mIiR MV$dӖqHI_v &%+kM+j; 5,*G%u!<aZJřr7;{B(8p3\;e_`%v]^d ت-J:Ӿt\BVHka)Η>Q1s/]$_fQWfk 0.v֚MU? bSGmXhnQIsl-59mPHe9* nVo<\t,?>_?zB]ИDZ߰p@5ړ!ѪO5 TpH?ŝ j"3,b7*^w :>*o:Fk4ȡF$g-9 S]4h]6%#mCX#KVXZ;d\ŠKD؍ c e4ƅ*Lme dI0IG(_詆n 5Yڦ~ʮ`<;=%2M\zRdoE ƈYBtS@Jwxݕ>N97/PeWȇpC㦪.5IN݉1ȥ-#*~ 9=j~=_SB:biŒ=fm8?I!sSe\ >KׂBԜЀr( t@(ܴ}̚cp5KT='f Ȍ`Q[L3FJ˅vГ%n1:EDe9%Z%c&lCa(o\Q͟se+dֆ OQ!%1WtqEk{idVGMՍn"4PGf@E3!%x0CHw7+Fya#v +=~!R($ FσG:/N y[{uס3<xCf+[BGp6QCMUbz:ﷄjѰ゗c5jXOxP?~~4td/p*#=UW#zQ6T샤p%$YOʧq/"3a5F:r -<ǡQb pڧ.!1h±gIz'IE箁 |}XOS`TGX1yHaBy\kCuG x#og= 1.1_+ԣ$skwm61a!qjt(TOSu,["ӣoY\!?n8m^]եk'Q/cC$/¦OC,V͉G_!4r9ʸ-^c&:9 Uo=Fw4P|A-UF@Q51vV)}.H> 6 PLDLb]:H0>ȏd-9-hu|_'ǃgM(ԉILJ@) cX ro;gQ@ν7B =3!\*Od[1vh 7xiꣴxo):5~!6Cƶeѵ[JQL%,m1]l?Okc"u:F>upr[`9㶖hK_~xD92[Q{`U)5Cf~| RpD֠g/&V$l$nS>Sŵ@i <Cz R&l{48$齏b>`z@dX"͟1pX”QYWY ,k r]Zn2W,|@z?ʋO^/"q弛kk `}㻾u4 "6K!MU~v2@Uz=J?PnC}P.'C#6~@;Cy;ʊoU7^bؼP moc ( m7TR5/2=s^a͔2]Ur4ThNVevp`+ s;|~+|vw!Xh Z|Pnub60rH0\Y8v ,ևOr pfQVZ]ᵨ2ӱ^ժ<_1hrc㭫bA;0YZ 33s%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4Xq # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O 0t ~gC Q? `M 2²b8O v.U5Zx9V/=1e8«FV)*+,7K[ª C/;oa'nPDUQ=HaOl[2ԒWP:@-[N,GIa~ zpA2~W}z.3l5՛V#&wп)N ZrY;OR `FUId-fFm2TZ1^oRw$'DQY`/̒C\ ]?բKeVА \үl+сXOOTɚUx^Їzx\B!TZ}@@6>U)ά>rA7 %sLcK647X_ǺóNFKȵ);$"H WY q@  l4(Ӗ%l#¼Bx-k; (s?%8};2@M5hNȉ*3m%1O&3 B]݉r+ahrRF/}|8 0LUi߲zLK(Wn|ІSĂconn7XhiԎ3x-V~Roݰ(eâvlFuRSoi*}2I:mxMܧn{(BEi}w ZSڶ}Q᪗{zB5Z(&#;860] h}ށS@| Y|l9LQwLPrw땡S< 2tB GZL@ W㔴9Q9PJW!ن!0 Ma]k5H8d_t \u)u'N\/FHߙdOQKec8J5MAS+XLCuKs_uhr *:w'!Ϗxj,d!ÆBdɊhFS-ٷs)NkBAAnM# 5Y#%([wBJ ́ߥ)B3vH}_y~}~z͊&]_mtl2azjtFꅶYPemq@e~sxem `CަꔬeRgc Vxr}K/]pU"s+Wfc]jp n''o]jjT,}81 ߡ/7x*ˤNsu:wUpNz-KɿO,r3YAϤА"4,#Lq{kf H'3PNHJ|3vF"N1VR*7VB.d6Ggm,tfqx͠m~-A<22n,4Dl\^Lݮj? ywCQpֵ"i! M|@DT ImxkyuKH^hKy\;vSiBNKav]Ä +vB(62DgQ/M/rj'Fi #LPwfN\A!u<at&шm[aHb@/@=z"!cUe'" go7&#-hib=QZG{>wSz:XtGfN(ß;8CW.POE0x-&rL7}1k IHd2G=t;w-rI rx1]>i=f}BO،85dnr6nkE^mrpW 0If b|OHl)w2{}c$ 4A C`]𥠔nEM9}7 v/ AŋVBgß*u~-+A:杬L bO?M\v~:*¯Xk }6H}A%gt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{tݤ!%@UFY$8I<|zRGr39F0|Tؼ=VӠ^rțW٪!s^%i`]@J#f" 6Xq[_8gcl/H,(WS("ejzZ7;='@dʋ&@(xG0< ^粚k_RLcJ˱<:%j? Y LGuEX:k7AMe=f3WO1@ l" _ϗɘ x^ dV7]4…52VL%?X{|pqj#,^vz ?{l+='c98~36(;@,&8̟GұK3lfY| ¯ ((ܻ|<oe@,SBA N]d]ƿ_$=m냶Fk)=`!ddA瓻APEHQ`.Xi_/kvV]^iUa*J<7{mQhaͫS ` u],[nܮ} gaF8p|5aD~ ]T jyrI΋̷[f9}F]RÊC˃w'1PĿBK2p_;:1}ܒ䁱,7\TanEcش>hm0OL, V |K国}mSaX!X0 @zo% 6!|y^>@9|4I_v]BPjL`E"68>x3hԞ! }ĒyežsbޒT eRPA89nީpyG> |iNvLhD`;(:* z1%>TNb 3Oy< vzT&ח7jxI*<4 ;em@#m/LOR!)0;n Vy0F(@3kASR-)OrXuLˬ~ :_$fftg7= mep9(ʍC,;5S9 3nӕ10y/pdvɯ=^jP\TGO>Of$gEkЍy |usC(c|Uni,_fph7-G/3xW FW4nf(ȑjQ15Yμ!a nY#v^~L>\`i~2k7Xm`SLv1mB3_՞Зc9y;8KߍiIy$Ѭw&z+ TJ%2D3TMV W8eo 1r_LUﲍ}ô\2_BtóOҦNG/t1 udDD:]}@xz.ނSn~C>`ͳh+jeOFQC3 rthr)ܗlW gYZ?5K6!0=R*ހn+duӆsʐ/keTLK3&-6s/2p+V:|åcx ,v14O7V]U"TԄNQewʏq x,BRy"rQz4Ty<.Tbs<#}ayQwð߆h|hfwR@B!:NH1!}DXg%>űAC2-xaZl}^,CusM %U(jӷlJIHsˏ?wxAN Df>[68wRqb SVn^:v1}13@k<{!~8*8-T*'$>}Bᓮq.THLXc|7S8@1Րr\_QlNS`¨LU?qAO vLy l6S8WCѷmU潃˭idvbl78̣?owYT=Qr Pٳ [%#˙^nOsWzܻ='@&<ك$[y4@ZzО:ŖF7 w3koצWEbo:<3_a9A|Jr/>no b>qr Gkl4ؗgjc]sK2Yg.iI.UUUQ Lyfɇ\NlrW r l};sU+ _/HoE@B N͵H@h[#m3Y(վ$tw}.+^4=C:B  8֎3XU%|U?dv؍~K@۫-WG2_"œj0ZzZ\\ZfP楈VO 粯FOs,YUJ EYD/~m?Сˏ& ) vp+Nņ#{./X¡btu! ׮ 5򏗘FM~.vJ?ծPS%2:W(A 5,gfcԜtX'|xc?/bd}R&r:ّoo+-&v .R D'ye ҥ;"S<3 b#̟1uF☫JaDQHr5_3_z_@-=r1l:}zQH(H[;p>UXyHKtCRv}6|碤ۖWaCSnjۆBPk/%Ⱥ7m&mn4 Z<@Q8HB/BNJpxބf漝r 24%  .I? M`[Mm3ѹhֳn\/($J6L$qv݉ZF\oY~TIdHorq|`p{ ^+"w>P] qs_q#F=]H(@GisMcJAG-KW*qVwvki4<i+ biEO;]@(Wa&x<mNs8AjB6 fݯS#rxyT ܓ-*lAaHۂPpK10xH"\o&bSrHΛlRn|xS;z&/<WƲ m`.FNfcuv. R?+^U8`9DW>bLfvv粶QT~\,o-ڷhγ?풩M) sI*.˘9-l{^ IŊ/=C?Q%zժRF?xm]2mNذWPx0CI3~YvG^o@',Ks bDɞ'h^,ύ]~uX+F]œOH؏f$lab |NQ K/ caڭ _G?:-hNXc=x楌3Z~Դn&0o QX7"L6 . >^l).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI I?VHiQHu-T^hk%=q-ϻ$_*!!nP@}B+~uЂVp: Ey }Ӧz[Hڅ>u U*Snt4m.eJz&|XKIlADIUviui)C$%_ڍ>MB&c\AC]f8]4 `)!W7C9JDԐ❦-a,4h,} T0L11k\Qm(J~ˤFh9'9A? ًɔh|9MG],V<)ˬOMu\]GrpcTgH"VygYZ