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  8 8Ep\$ ] ]Pure:threads=1elapsed=1.473cpu=1.524gc=0.0007zXZִF! y]ŗXiɟHVҭٽDz`P=Zo4lOv %4Ix0BYZc4%`ñ-8cCʁ Eg4M6PHQDhƶhagYZ7zXZִF! f]ŗXiɟ˚Ћ. k$wq͚#Wd| || f?ʃ*n{B?030D!,!XVDL1ؿ?apȭť2*3وKT+gYZ7zXZִF! h]ŗXi%$w9Bl|ݥsԯ)"fMq٭ jǏUrjMɰ]jLQBtG8+ETu=QB}֖2)> ʷ$`qI2=\Js˾,7Ái?o_ 3-zl: A \9=bp=J>tb΋/GǹB- "TC6뙠kI|mxI98aRdrP_ނy6+,O?9+[PY Z2D\#'cӣ\{LVx;4WnE4Bţ2LoES SFEc\0>ad ǚg|lM)?Q~9?!-ijTlk̜ʝ_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/43482f%PurePureproofs/43478e%PurePureproofs/43474d%PurePureproofs/43470c%PurePureproofs/43466b%PurePureproofs/43462a%PurePureproofs/43458`%PurePureproofs/43454_%PurePureproofs/43450^%PurePureproofs/43446]%PurePureproofs/43442\%PurePureproofs/43438[%PurePureproofs/43434Z%PurePureproofs/43430Y%PurePureproofs/43426X%PurePureproofs/43422W%PurePureproofs/43418V%PurePureproofs/43414U%PurePureproofs/43410T%PurePureproofs/43406S%PurePureproofs/43402R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43218N%PurePureproofs/43184M%PurePureproofs/43180L%PurePureproofs/43178K%PurePureproofs/43174J%PurePureproofs/43170I%PurePureproofs/43162H%PurePureproofs/43144G%PurePureproofs/43140F%PurePureproofs/43078E%PurePureproofs/43074D%PurePureproofs/43072C%PurePureproofs/43068B%PurePureproofs/43064A%PurePureproofs/43056@%PurePureproofs/43052?%PurePureproofs/43046>%PurePureproofs/43034=%PurePureproofs/43030<%PurePureproofs/43024;%PurePureproofs/43020:%PurePureproofs/430149%PurePureproofs/429588%PurePureproofs/429547%PurePureproofs/429526%PurePureproofs/429485%PurePureproofs/429444%PurePureproofs/429403%PurePureproofs/429242%PurePureproofs/429201%PurePureproofs/429120%PurePureproofs/42828/%PurePureproofs/42824.%PurePureproofs/42822-%PurePureproofs/42772,%PurePureproofs/42768+%PurePureproofs/42766*%PurePureproofs/42712)%PurePureproofs/42708(%PurePureproofs/42674'%PurePureproofs/42670&%PurePureproofs/42668%%PurePureproofs/42666$%PurePureproofs/42618#%PurePureproofs/42614"%PurePureproofs/42580!%PurePureproofs/42576 %PurePureproofs/42574%PurePureproofs/42572%PurePureproofs/42570!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/426687zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/Ź; Vt'\4 8M쿹gYZH$% dPurePureproofs/426667zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426187zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6l&GxˌjzlWgYZh"% $PurePureproofs/426147zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӹAlj"f;%! 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/429407zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429247zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQyYP{,88^`l"V{ G*/3agYZ1% PurePureproofs/429207zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ#ӌz0x0{`N SgYZ8-% DPurePureproofs/428227zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bBLSxA v/ VgYZH*% dPurePureproofs/427667zXZִ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_xLU(a֏;2.SG,`[sՠ3NgYZx&% DPurePureproofs/426707zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%St,YwUejլQX+fCgYZ   +   ng5. B% PurePureproofs/430687zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ7`d S='3.խd5Ʃ}ܞa! 0gYZA% \PurePureproofs/430647zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP!CQ:8à$M agYZ(@% $PurePureproofs/430567zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%hXZw;W> +fGhwY \gYZ?% dPurePureproofs/430527zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט3cSL xE|q l j;8gYZ$>% PurePureproofs/430467zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430347zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G%6 ʚ4уɡ5Lq"p=qױgYZ<% TPurePureproofs/430307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*1Up-7=0ЊPiV=gYZ$;% PurePureproofs/430247zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/430207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+d$t .2gYZh6% $PurePureproofs/429527zXZִ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<^XaC=#,|w{I[$WwҍD մPܨAi#{ _gYZH5% dPurePureproofs/429487zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lD?# &2f`:μ%K:[oM EHKB7fαgYZ4% PurePureproofs/429447zXZִ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(! ^aM#Be xl xgYZLK% lPurePureproofs/431787zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&d,KO;s>"EKf&L3&%|ejs=/&îfAw-F8m>gYZJ% |PurePureproofs/431747zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛS/KtaDk+M \*l, g0 gYZ\I% PurePureproofs/431707zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>%|5벜]ȕ s-  YgYZlF% ,PurePureproofs/431407zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430787zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoPw&{M$AWu@VNYΥjĶgYZlD% ,PurePureproofs/430747zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^nne9#q, BgYZDC% \PurePureproofs/430727zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"/ xc,Fqf_2\{m׾SgGAԄrƶ1bXⶕs_xLSCf|bAmb]gYZH_% dPurePureproofs/434547zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6u'z"hTM/(lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434427zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434387zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434347zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434307zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434267zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434227zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434187zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434147zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434107zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434067zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434027zXZִ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ԫ .~SENNb~4{0DԦ**[LP4gQ|/ExDT>㋺u%7/hnK&V{|f}& ᧯LP{e|ԫjǤDI`6ȩ[L9H&u#*r ^x(}Vt'\v-+%Zɚ pq^,瘫NȱELo(0"wަ7S1 37TT"+)-[njpWupm'E_!j==a(L[&3GCGi`r$psDm}"r\93+y w}$MNIU_I&HoZ[rk ~+̾0 H8JX y/ QY-+,<ؑ +gfubnؠdO[`W2^[:S?n3 r9- hZ'y(J'zUk^pmi֔Y~O۞\,]n!Y@25':!hȼAbX.\tSȱa)~{pdD Bodc.[ ΂yM5i(#=-)u@}oMEer$Rx9i)+ҌruU*$r Ƅb:l >ꅐ )j1)"V jAFK;m$DѬP*;P8rUoPyvNp-̄=@Td-jĶgYZ|d% LPurePureproofs/434747zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fϚ30hZwSPݤFS4B,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ڱgYZ/:[QwupPp!}p̩>r0 + .{]{kTҲxBI}X`CY/yׅmyr.L/wbRJgij9$`2M]Hޭ2~j%DHq|k&͓bcyD絝? {1 aQto'\y(E=Ě̳6h<~+B(_KKga0?ɶW\ա5@㒭;Di j>*J SncV(z&!vy s]T}! Sx@3rJD=ԅn`D5|%͂fÖoJd KUa$[fX%Fqo(Wrxd}zicu(Lu_ h\ju5@B IF]9B!f2WZa ">z>WtLѡbقv)!0ܑPp1Fck6 <5qOXaڜV=fҟ:~i8/NxP!IY=ېJx d)9 0Ɂc0ĂzXXM!7>OiKlӏ7Qa6G*'HιJm0<N+?goLVbGǠ"A^} *V>8 (SqXNgfږm].x)`QYEť$=Ϥx=d+]Ew9 B0 #b.' ?;v iq_-}6V3VZh%ƶxM 6uGZ K%*= #ߢT; H>:;pd?(|Į9 K*CtYwJӆو F6{U*4i XO]DO0b놘%AwV {Á6159|n k=ynDmDž|c)@6㣭FѴxǿu= N f;O dTA\FVr>M㲛%t1pdUi`z+_vބ0r-> en^iD̚wڡ= ;/}Y]Sg4*ya-|M{!\JM@ >;_6Z39iFԡg κ @ ߲e鞸x5ON_J 0^ČߋJK?z=qd>j-$ߧq`_ֿP(+\- e_-$i z3jwcqcFTIV;բYo%I:ڭv(QP YC Cb ]ž|t4y;b=I휦_B]}h/dNJ)1 L;Vrm58o+PiMs''")O$ /?Q05 $x(-Gp`ئ&nنYgQf3ߕaw.'@n2Anzn (=s4LbF{DĐ&TĈaH4hIBn4N¶ Y|muh-tî7tCz7x#$GϫZ#tqV.ũø; <,O(3ϱ7%on10uȪ4 s:Zq}s R]3ݢTDInA90SzVyRŻ@m`s{=1&_ot h*tpnP*dNQ:fO5l(ZF.xe-jC.Rss%i(pfR*m+8kKN%{6.c4h 2KR 5C4w~DU14ݻB.>teÑt{S<3Ӡb3P(@>U-簌U*eш|(gb=H "s3)^.٣_\U޹#s?A$֘BH݌SQ2ͺQj^0! ō2Bi'A=PpydE]4*q;~}>0j[ Ct{V[%-@g˳z, Njv%[5éq#3_r[y x |`G)u9 .>yU t^m]qŽNU\v}" d":)Xw/̆9 *hLU7G!EȊzsWa){X3^3iY"4kɆ.?NzaթI/LL a*{쿧l iQCADVߌxKۧrwt\Brgó=kqI&.dF0K\oݏ 9~~ 0/)WͯϒͷXo^aND0c Ʊ IcМb:eۘ4T +DthANJs%p[?vI!Aeqmo~dI|Gh4'pm.2-ڧbCǿV6td:7JHn"*SKǙ991Ps|>ۧY2 Y,{i^Ixe)W$@unsyX7̆S<]Ⰿi~5~Fm5qP36*uDSo\0P C9ѓ֊=]"'vX`wr&e q^ i)4;]DD]1 AL󈂢%=-'!# Nyܡ-G\OHep],H2=س}kkM冨`p@[MI/~." f,ً3$5ʄAKf}TO'oOE7 9^8u<'2cq;,ϒ4Z4uZzaV+Vum:KgYoBTC[kÓ')j_۬pȠ|'?uUQ.Q'Q PyrR6-o;pU5}jtx47qf LM-5Zy_\ƣ>r> RM HCӊ-7,W),cAS>l~Yq;Kur?0lup]^}wƉGNptXZĦMG6ᄉrV\ccrg8)tsGKbh:?+Ɗaְr.DI>,:b!R-K7 d`o>-\&zVz߂  *O5GH *ro<) g:`)^匂PssR:m"u4DPS \jzmnn{V*6~yD_ݣg*vu6T԰oiLɨ(E3 ڼNտ؉Cymi2(e[_ ]9W]6D( @`MF 3w$UVXd/7~#{_RQzK@歳/#_8 Z! 5͍?4Ak-+;TqgyunYG+?!ݗ_%V$v_ =IiI/JAU8%GeąBZaKgI:&.\񹷸}jhm^Mo <'%P$)u[TFn.WZW)>\up3K='Uvjkb[y օ?:@vq}Pժ9SϰF~9ڇ?4fc|>⍩#$ah<"sQMA-$<#`X~k{M%H]eZe.F_Lڍj}oOmYiaM:;$qS5/TaDdc cN\y!gq9 0yNJwdU 6sX^ ;&~/(+^_KOkv'j44Rxh B6qXp[ƕYc+U79 J/XiZXJF(Rܲ>GY>˹{df0{6 0$dXٝ2j5TUbh2[SόLj~A)4X}gVR-2Æ۴*k\SOTi7F^:n^9b qt1VhظL#Ə(zٓd˳OR',iZ[/;h> OҫAu ]%2.orTtB1Rf$oj JyY%*Ծ;PVTvi-#}'N,bp'%d^<΢j=@ԑ@ X#a ?{wsP vQI.,jJĔJ[t.[)$]tOEkdڈwJ&c ?p^:Flqa?L^8DAA w#esVY% 3b ]t6 #~|_3 uga#JB W#Sû(6Wihzt6!O(0/~7bXr5TqD1ku]B́kFB7?#~sm^GDQG5ߋUN @ۊ!ѹB$$y{2 ܆5;Xv%F(${RF*nY,N>bYipavqa[ZNޅؤlרy[:v[)w {C_6Gĥ`}u:i(N|z- !b`B%7Ոe5&hhVx/Jc5F/j rV8U7C/2OzlbC(͖̓G$ V<K:1bՍhor 3xXm;`x*GQUC ,y -~T)k m(NvQjk E ">uFdfZodow)r% ="]uRC::"24C4g8ÉJ_tP2y GDZi[3'EӢTҾ8>H+6 ԋsqN%O/Y(PQ))$wАLk#,At Oh5ӱ[+#n'ШLLD̳eqX[ac05<\M.Kmq~'?x5fĚweBy |EeɌ< 7wP0B:Rt,=VJìH{(?` -e0e ɁILNqg=`a%Ng1EB^ NHCg:/ *C˷']GG,Efܶm p`,I.gԘ˚I%3N4eCwRs~XF(>Xkug6"سbh@l.M^RcU.> *?gL ZA ~=g ǰ#JfƖz-}ճGaie9Hѥ;=KR9Yhed̕j}ݙJ ̀J{-&G0R0( E@3vtB6|+EE4X˹J;N(R;d4iw5*o|MUZ]MQ>N1&⬯ME!#XC ^/kƵKMypr\UyS'~ b3Ό <†Y ͳw Fl&铉񑢹4iP ?w{:)B;J}hs^m ǭ!Sv$f\iwRio Y&h5nO1nh(Dbݣ?zٲ߷fFԺ"8ǙBDgFu H/j$?_y4?aH@0blP8A? +oauZ(s5F0ߺW0|MDL/^ 󒍛Ye&?@NĐ~r[0qv9:{l2)S4#X_0E-$?o_@1$ʄzEC $My?ܑ/I7>YvS1"y.[.W 6_j%4N[ <\'LKH[)iwVA c/}O gJi-lg}^LZ!MGQCVX&'6X8Ǎ8ʾE|i7xMZz#G3{K`SftCy kRhS=z%_"hjq &&sH'*i 'YfB\d}barE |y PϿxXV)-o pl  #񈎝'+56n˹:;iN@SىlP4ծوBDD!)32}jn͒USeO;5[2^\JnInu!o6b]m@mC1R Q~<5uTj$w DSDT ,}inhg~~?z>>zjBS|RdIBiabIZis^φB`5׳QRrB/ ϧ?+5IiCG-"bgȵ[ʡ$D Q06OY :z@~DY*%!qbp܅h ֤fVa청ZZ4_h.>S{;VYml~Pǒ>3L EEl=Rd>IS*p- (zW=%'JJNjѹEUuN ?~N`B W@6pT AMt mAIKl$|όjW[,<؊V0 E`ad6!GHJA`#/Srq!Nz|~Vl6VjD)n ;Qjzre ΢+c`v6v ۾=0h,Fq E!`ѠIP%0hAxghkO9xF W٨>2\9j _ZXd3A7vZo K7ʇ㕁ApwJ^moFN'jt$lmXOG,7U6<{H$~c +_Q#A K MaRG@΀Y1*eޏ]tfK:&O*>z'wM3CWH抠5{Ǖӱ.lDr3Zт @4fXJ#^m)|\EB @Yr!q546$V? BF勷\,x &sg5ϯH>/m y-3uܜO:Ps^ B\; $VDFH96MAl8 Xr(2*c'έ5g \1OQ#WK,$3`v_4 ЌI\4C@6$s)Jq@ώ_gK?y} ‰nP_cm4·jv^\&:$!P*% $L y{D8>˧'@mf3a2@hf: 9(iu~,%e+뒚cQi'q=!0,a ^81e':" jŕH$0 Sj̖ XTEBw1U|ȼ':]^t.m Mc}<1}BKT͒6 pD@@9Gc:&1|?]k6({varGon`tbjY-brp# $3 㦏ELcE+"j >#:Œ@#RKD9hTO^XdubBJ%ޥ*ƮLoJ W9f^w,Oc;'ւPff]0 ؼW4{zUW4eD <܂E"È/nV!rz硠KʬG zJنƃ T'j.7o"rnSn>-U_CIOE<J9G^ac9yF,'ʴ:Z qmQ}6ؐېb]Xh c؂9@ZPP~`i ꕨBE{uBrW+_,3kz]8Z42DvQx]*[[=|G嶞z۞?`\&;_БiF.KMD;\˴V[ܰc{;Y~]f.:Qm(^5oO{D-= cNNdc3=OH]uD:"*~Ɲ]{|q~t\u$<ZIȥ.%qD0hc"ՑbdHY-f}BA\G a ^~3ٶ~(釥]6ٗ7fx 0`7W9J>!:ϺCog SA5-&ɩ"Q{tS1g>=-Ny(MdFlV&mGRKxa\@mTn`^_b1U_/&UMC//85puP:b5_ nV;!fεأh ͍@/]OJ zo{'a!SEleB@x(?a 'xygxa4y#}׸3? =齧r5Y,gxݱe.|^poyNl?ם4gLxJ9 POU%SdN~Uﲳˮ=6"i1 yZAǞo}- ½]!Ž 9ͼUp1Mi?mۿ@槠zkKs^P7g,gHvE3%e[t#YZU1s?֍MV])k6ώ4j/$_, =tFVs HF{UXhO hB}a߁_FE)K7lCAU>%r$~R?G+zqOIdKZ0Dφ6{b%-@jlV&O+ }frNS"1,?>?af@{H^Ma 8~S lI;#` L Ye\]͠nZZ\#{3db `h5:cSY uװW?ח MZK]A[x dsԃ#_ȻB_4aCJ(gk~ bK7 [(mUX "F~LM~:/;m"T^Iބ(N 6Ys3O$#_K}'/9Ԡ^G,pO^IKdin&krre84?0 $+.*&"Z }4SO;e[١rQ!G[;8z6?mUv累+ ~`SW|+$s5 ='z٤AwߐE g+|۶FL+ZL1׷sUozB>*}Eʖ`0<}/QJ?\v4 r 02[S1 ъBY` +.4h}IIFT@)Dw4sM>1|};MYX;N MR윶3Rn(վ,tmX/B($hW)-E!b?43U0oN9K+ÈGR$_cIjbz֍s&"f56߭-z}=T?kC>{h0qʓ!M5PAr-$zSoNnWnz%9"THt =2>7q&P%i {{y?gҩdF]0:f&Lyo ͫX46R.[`xrX91#V9 OI*g(뷘amR="v %q_Ԇ󔴔d#ɺp$l,ax7ߕ\Ylbo@ a(-@Ű/Zl`7G3$/$V#WH'mRd-do 8:5\:7"t?] OtUۣlkt_E h&NMZ@Db40ٸ# |FRRDPHp|zl١0z8 7Ͳ!HF33l5~ l :df{4:I ZP3)fecd/Mٚyޥ;Gh§6$~B7nGP9M|ȳsBl]om ~'qu<Ȭ L􄈼:a33jp|-W g]gں"Ia@xGwųds̷# 1_9AG@7lc KX%7.{n'rZ R&4[T}kx@Q6\Z|{6;6b X;$K:Ug0=NC23q,gPJ2fƤE*}_ːpwb|H?߳|2 B#ijןZ jvgN x ;pZ|sE'*qoPUnIE⩀=55+^p^HӨ<}o!?qo0/U+ H(9 Ck Yyz{ܢU2u88# R2%fIDm6$N荑cFZӝзHY۟+2W3cRı?fڥld}gg.`-8;E5rβKK{Uo}/L%E G':EY|-?H n(Φ 4(JFe4q#E&R=IURImF6,4<]O%4aZ%VsM`S3Q7 ?>F}jɠb+[JNOԏt#n1+'mݞ,oh edkm R6H:&Sa|!ő" 7QB+ANb&`/FJ p|gUŔ.GI0%6࢟`yl/H!YO?ETFk%WǂkRkzpaqzbYڒJqV ޙEr"/%7}I#ϴ2XS"'%B&ٛm S#X.Hnd.hX69W4}_[0I%d^pR [a'%R'B ૄ'h1AT9^7qMݳܔpss"|A6'&EfB˜v9v$ D )ԋ% bFJKsss3`taɀkS+PR15"g6}!f&$,YZkCr6k/nwrF0tWX07]TVjsx=! qoLW;zO3/_wt=//=9"Y#䩋Ӯ֪; y6O 3SPU $|P:  ƆhakCgZ$x'䳯k! .GDZնك{`o846㷢oX4>g3"#8_efЭӦ(k'Ndviۿ\˥:a*a(J8pgvn؝&>j,fN0^弡15VB;g /IBߑٵ|;Œ/CքONc~ 3\ޏ p}#?Yl:*ɔ1e?oԚ6x.5XbC 4ul,Rl0*VSPwk=) h>/~4C0 %4#J$*e|P/tD*wtgh9}%T!}(~4s!.TjJ2 4((ziv`IEv(Q a}|E[d2[3g5uAfm?u ĥ'~W^%2pk7 !ٷ;\| Zj =p,=Gbbp}GpȨfeW#p>~ |F(Q@!xRjiTؓkAF-KZOIZ]r6凳Y^φ *$Mz5]W^Qh7Yb^xyO]VmHeM󬵃 _Fƃ+7URci*߶Dx04 ތ}@e5ʎ:S|<_ܸe낊F[jOFlU ;M,n:CR7G:Չ2۳ Q,=$}0@]]ޙw%GK8s&j{-Z#?jܖ0kjx䨶^  br:i3|-4oml ewX_'J[ԩ_Urgho΂3 ! O|aN7ov%"c!ǿ,UӀ SS3$Sٯ=ty/Q ?[!'g6^.ӏi%I<:'ۙWtI>G6zvF usZ5:=̈́¥H$.~rr\i\tW>pbh [|.OۘBN\Z)~36q5b"Xe43*cn_cSH0#TDNtyNxn}Rm%6S6<h١֒IoA~G*~|!y$y&G2vKhT#Ƨgf}0*0ة?b/3wB9q٥AaQ"O8wKZXH.G|cוqpY [\\O34 +koiJmI@S5V 5^Wf`_g?Þ-8SɖԠ8>F-Q_-h}֓i ӉqNV.@ߟ!AЩ,B6C+3#})`;HW;'`EBT~t#80.YoDx{'aISiXOU/d(rvXIs=*̡Y3[mMN[{xDGl#%.s)ی]H(alzuƽq>AFZZ  ,̨ɦVW#9yzZf𸯮@Y-r."̨+s!89$ ;xؘ tO +̷9YG]B?*_1-v@g'Ϻ(c.hsj@74bkOgLƥ-:P5ጅ*̣jAG\^P};0{gboy iELw$4.F)^dq Wv |TeLDb칠<&c-3ŋ)"+,% [=Vd#;FDz՘|??@N[h\r јɆ.Kug#O; N=4Q&gA4dC^DHYX1@M5`E5pDFG>|0=2{d=Udލg![+3.HY"]~TR//~~akBحİЖtޭg/z@nl?n[DYIKd.TlͣHw]fהSo7$~͈>FԞ#re+n5cd^";oHY"ǩ9ɕ'UsFB5x%L!EH@1ѬC3,tQ+O%QwnISVesf&rǏV䙃p e (ך\ö!3P |\ٯBvF9[Q:UR{w??Oyfýj04>٧ӗ+hs4}EB\Ib-v(/Lu8kuOR_MP?"Jd>.7o 7&:~hsO3`Ip4@qgIó8l|wԟ5Q1yn|,] $^]>O<C9j5on=' ~]QL lW~f΢7f`h yybaW4ZȄ$1"Z\l نJp}D2oI.'/!)*Nюڂ\f6&xX8[ot<~[3-gh6|_x%5A)xTnd wN/jRY;87۞x\8J*800s Hએsؑ6U8 zȶE).\|2CCč&ѝ^HjD&-GK>@NۈE4e}bF:yCgK}˱uuzLj(WD)φ^s|'0'c Kolw.y |O۟)+>z{>h (Y1^2~<@VM&^0@ףD5iu;:[Nce7dNyLdՋ^YEOm|2 bQs%Mq}&wʎ@6OoBT^# 2U3kK1>'IGoPb`XURgǛ^. Ѯ/RRKgzY[L!<Y5BQyF45k跐ZK8[_|ѵd V%Aiyӌn dwƏ@Rmԩ@sFgIu"[#ҺXHcl2T2FhuqUˑorx>_fT4s`1k FAIՍ^f$Bƣ avdg f憡*q2!Ay /nG|nuۊ,H^\HE* Jx#+mq?> QcFj+ϋkQ\4 T m{؍`qae}KjՀi]wٽ2R.[mPo_Sy<7)Tt^?Ž(+W Lm(x參+ V)THZp~PmM3c ' rhΔKp[nR9|OvOJd9-MSngAM9t;_J !G"m/vȞ="1_/# t5B) 84Ii)cݞ$5 Iv- {zNKaC|@G%w6-x؉w/&\̷L/q+u9wKC^1S\q a+A`"W]lNpߛ1Z#xpBPIk*3fю P8>A-1E֛d5D)l{g>壭# i`1` ܊`[G K5,EVqydk _īF+A xseާ[|ܼlXJO l$lQ5r1Diz=Z^ddX= 51^AΡ̕y!eGzǔ(ZkIE>T.4r:U lcqkO i q+R1Y71sF%;o3[Q!$-sW5lLNֲp!4< j[cs%ċjK7.zD<\Dϋ[A>Rx61AU.0lb8g䠢` ~Qs]e,X$=\g߫:$[ -׵M]fc Wp^~UUkΔ@z oR,q^dsWP0kڬC$1=9I~>*X@޴n!@V4afӀƄdQuTJߜA\j$",/ BHFr(,D;MXThuBJN?~)wv;=8&voowHʚm36h$HӒ ~ KkUPF6R`}3gijl$.'~ j!94\{}ΪBڛ,]X-F-Gf|,~ldEJ/n"E8[e rH1)4QFk*-.Ӟ&\3spmxڴ+O,뫨T5_5(+NF:Uv3#xN vwAs' w< r9w+]^O6Q /M+p.0K.*473LJJWbOXXBjʧXڂt*31>BŽ;*07;%F$El _L<9#(|*γ߷"^fN"NkqH{,AYBMQgυXJz'9hdyvJaw$ /;bՃ+dGxءv6Av~>x 8YvJ/V<@ 嗺a2le n7ҦOpC߁g27OI($,эf&zU=W֝W()eM#8mO'*Fg30h !~)=. HBkIf[9kQjR$gd'(;B mUMLI!{I0T1}ʗxDTa:ɂms9)+ndǑB״T2=]ɨL:TByT?kXsn5 n#rQx%;upwV3%"SL< rF^fQ_k~m?&ar`?9uegN5Izk-<*+Yfc9 NWĹ5@K1*0Ե#ڪ>RCc%+4Dm v=jVU72;.i$乭kWJ,P~re~Ȕ 7jl1j C)/̂Sj!_*;r'z `!_HUG4Uo['[Մլc J6.Vl'i`E,F&'e8~?~#p[WMb{W('5z6O"/ Sؖ*yNy3 }߃X#yϟ l^w\3؁D8VJQC{]z"g&\958m.$@cnߜswA?InbMS/{艴Vd$̵:7ˍ+t^lגV[DaLB%d2ku{vYőV1ϳv6*'.\D ;OȽ/YiYEh/ѵR?/DL`% rg\oUuwZ25HAd3-6y ѹ6$ (K Y~DZ)-H!spLbg~B=$Z>83xݼN8s$1s{Tk %eJ2ꮰ5PfPEGsY_aRL>]~膧)0Ԕw&{M^K`%&-m/G8ewrS7h϶ܝ:|PJ7]g>*H|Du G|R;' K!ՑńaJ߄M.kaE^+0;땈hR/ivgLRJh'<^wlyT ֶоꂕꪥ=V(6 w@j9$r,'ӺM'kw tJpJ|&Z ?x/kC+2,;Z$^lt1Ќ**HyO80~ $ X^6Bɢk}.8% |-iZ{yG蜐l^ v0R]z;˴d~\FT `qZ|g3(3~$r[o)@$TB789+N{w uy-Tt-E\:i 9ߋPhar<-%ǵ5ykokK84"|ͻKIۘlKw@C>( 28"Xۙ$9+_Tb3A[oU=3?[|T wGN:hGd?B|JEBy 05be&L,:N:‘g_zє.xYxuOx"",-4On.hL)&tu :HWrdi'Eo~: ,Wv@)(X` rB*tP5z]Ph;w{ADGjA:&h54!^'rCe^ߦBe-"63~[!CPjDcZp}4IgywXHc3PB3~%%'d XrzLtm^L`RJ :o.4tzfqaQ`I\fVM1YMoi9W:mos_z/L_@Hj]fwF,2\ʪ *G^$YGz"ZppCCP^Uz|_Xo\\p쯃P]5̦Tp〢L܅*rLs0Dž̡P梟t:]ēlIkB,F\@{c6HwXr^2&ɔo>!%kĠ "Jey@PVpITC㺧5tio ^Qkqv}s5.m- tv:3m.^=W:TD5ލ©j}x{C wJfF(=[K2y}YDݼ)cNz? RNÚ]<;FjJ¦_>1mhs9,'6d6E̬2.fH}qw~_@gE_+ ^5";ǍJ9p& p_((˸9ˎe*`Ȓ :{ qh%  h#\HZ[Ec/[ž~I'VXuW%~OsF`zfZIW л[xvO_nu@[;نX7YҮ}Q`cT]qIrR^ˎ> t6i4ιxv'jKF֋Gߺss,m#Ďq3;>j=Q,pe%Ɇ2Gg:KoZB"C^譃ګxr4J}VǯMl/M8"k=N6uܒN\,?0Y0K2䞶#dLky1+p["чucq~. u'x&x{PՂQu,Ve66_C!ʘXj&NZwbmH_ݗ#ƃ_ Mn"y i'~RL #M^WKӶz@!ǐJ~ַ?iXN2)J_q#&JB6Dzx{~4}hHVnP@X}O銍SggBwsK);*)X (-?qV?1=7BS?4&4>A&OBjf,S␔Hx7rZ(14]DZδUC))Ww|`˅Bq(m847ˬ?NcUtP92;?fI, ;D؞#:}0;l޲B΃r\Y54=;.8guw ݼNlNc$yWSw|Ȣ1 ' x8jBpn6 /ѧ&(Ϟ uƝDl)oƳ&x9ms%lE{w6N%ʢ>L8bsC"MrLtU;)]ǀ;Ԡ.9:\(1Lct eFW!MS:l't%nC-bTXXw#Hζc\zC^lcnS| ׊ͮDP&FQXwov8a"~Y:|b/ak[zLS =ڳEæSpB]KۉוC~LAҼ`;!J6r='>-R ܛa9ϡep^~NrV,U;ʣɑE?Nʸ͂ ˵0Qwz{FBCۭŏcPl/}cmLO=/a`[|*>\`CVk d22ZyvДLK%-D%|Όi$`e x<*#@0B iO2hߜɩ80VpBdo)5_Rj;^b_G \{f+ ]vY'؀xAUZT Đ!}sV Ue([yVCߢPh辿gD`@mA!|N?B{y%%uQ&n.6;+øK?O CZ9oЬy]b˭Ҹ1Y}  ^t@?HDMUE xMe ?^Up=yf"H`ed v"eND}q[Jɗ u!`GH3/^WQvVhձE)5)㥰M/ށ`hUpLN f̞ B1^.hj4S/(D:uZT*nU9Ҙ^Fal#ULۗ$Ids'n~O[G-hmbYDn+RB:֬KShbRk>8sɅ,2WcCz+3X# :OkZMӓ坪\"}aU|L_EÆ"h; R><~'NZ~/R/F]HeLPlbH5127 i* у2_O ew_ENwc#!ߜQ84( cd߆OR/߸#B"`hZ6H!ǦHm k[Encq 8Pplvl {gẞNk*V93nҺVIC^8?=mC>dԌ Alַ$-0yG 39Db]sϔWv.'AƅXqI_n4NtWōexԯN c8^Sa'ZRz뛻7@C"nTwی-T7wutL1K3\h"d셾75"3mްuqk#H(N1١v`2]{D\ $ 0MԠX@zK*4؝G|c/bdeol&㗴Cҽ~O+ut%p~yNg fKr-u\vQd7p}NSbb[zv FK$E'RpTSawcVC"jwnߥ/8i vc`}*b#5o0DYrecf^vQNi*) V8lRY^ (׿*"$f`TjڇYouEd# ag)WZ= neusNWY]Ԧ KA8DAspΧe2qoqwedC f !PT#'Sci 14wR@FQPЩkr 'ZZlE\%Fx Pq4V[2F!E}kydXֈUX' /}h<3芀2ɪR  eFxop\B 1qnFیe~v|5 G~& A93+{BP4:aO$XǩMnA ]<$h49h,#'DzhTmwMݕZ6CPʼL*miʨg{/L+#Gdmbb Ǫ7pؙʳܧ8Hd Ɍ/yl@ɑ"ۀňu"Jl2|d0P$W_R;j}pǣN1/lv&AxP= uسP}k~MV![T(ez OաW.§,(."NMW(ɮFqs搹n‰&TWwri}.CCV糃tuxCW˵<(iijQ){٫ 8]`qK ؙhf<޴\faB@:GuY<\IjFMDw{yvbR{{/^#u4o94 B8˭b*jD AKhh/H9 Iȁ-NO97\:uX+i.ܣDh!\`7t!DyMZ1Jeƨ+Ȧ 3a$|$HFCyDK_~*~xTQ|x&DжFQn}> B-/v3 .;xk(qP~fkhn`S7L"Z1KfSrsWf鏥ػ=4/txl{xb D?TmGD2m*ޔC2NnԽJOdg{|'|]Y{5>fd˚(>n%-Rqvgh~xM-(M*{?2 U:Os=@ . v~.R_Dx09Lt^zB,^eLQdfZC?Lh})&M˭2h oߟ>]X`Oݪ$h^kT'}[ܞ`D[4 ml2!(Aҩye5mzvK6pinAՑMyd'bquŵ=T0_`yɦ#r:DC)PAg)Nf1MpQj%k`bߎ+]]$&ܡz$B+x>KckIj* Q 3xVO-1DkFJR{տxZ݅i8R|*=VӁ|ne}v(mjnCde$zo$sSIc7S 3lKf̄y2r7iixGW3Ѧ닛5}~˰W!B6#I{xUړL/oC j[>>Az :];ILly6laZÅ(Qk o# l/yڹᙷ B Ѯ92Zuɫv>kPj W鴀EeQ'n%:n0k[ִ"9V$q9פp>&o/`=Y5 R_UURKG܇΂ \y7#s"r>fR>2*6]Q=VMmBXk8QZ $Z,tѻu!~%UUoƺu}F?4 1s/XA-cT:E;z{I7^#/)njo׋C3k}`CYH+rwAv+{1#(V2+/0#Y9' bUݱK4uc8>|680F6%͈xF-}JK]ٹ/]QC5 *޿+,MwEAy?rz,)[WiTG-:v N|نCʂya 8R&B[JC"w66r?&mofKgF-OawfAT>yB[tl£{KM&ѮMPĔY)Hp%\8x lL|/R.*\4}^B=[歑͸6)@^>[(Ra3UI TdN=lm2w&paWzfS7=Uj29Lb٭5WV s$<<*~ñ[>0I*$0p+^WHӢ.EO?: 3_RcZ & 06Yn.P4Ma=em9#_ӂN+F gIÐj@Yub+g}V~ޟBh-zg]*)Z>8g7Ŵz"36Uk~X&u"\jܽsPȿCA~Ԉ~.~g_ǰ%,0isb<":zc*ad<B\gTbOS$\ʴC𩿤Z-h~s߮zթ ^fq޾Kq]ǧ+}$+6zJF{D\<` R럼R6b.#_vU#ŋ:!o5Cv0Z4;9EexG+>flf;JVS]/j9m-r%4~A"p*7Kˬ'Sn + ]ܖ('f){ڏiKx!mEA4n3gCvpBH룅5"-f 1 A⧮oџe3}rvNDJ͞Broy g,DO > kA\>fG{è7+HckN-Ɔ/O>XGIzWٛrr]X5~^qCh]n0W;P2o="`0"[Gk"TBN"'8uA,dy]lcr/R7J s 7xu \=\i  nEuH. A)< <AAՃsM`s= _j71ա#7Ljs֞u-1v>'"MO&L4ep`}*,v:]53|u5K8IZ,vf)a`tWH t9'=Ej~A~\ <#1ف4I؇9|`S4.wN]cx>' ԇ<^ݖ T|pn^#UTulu'у9u$픽+Kct*I!yaR_pZ ݿ#Ղӊgq VsQ8_d\mW ((/$ /"Q/ K+3/UbFӱ3zi#*{]j{{f6ěx w7e7ξ)p3[ BM,dl+JcS "<{v*k0a qa Iuz1%A\EBe w{NeҶfyJ6ie=i?,@{~Bt(miG ̬WJ֞_veyjR7Q-eP!u.=JYPo jȍWL̄͞{K*(ֱ p&o 1IY9UR}%M2+LC{ c YC0$1qIG\Ԟ h*>ܴr œ# |'߬0M)㜝A-(0z(kն-S9 @' (Ӏ&g@v$Y<Lv گBS HqSЎr1C’CZK@>e&"䮼ka02teQojA~Z[vI[TIY'ą#f R-V# Glx>x]L|قKAfN7qc]/.=oӉ/Rqu{"5v +C}8>F^4R/oy߀+alR}|K_mߗB3]|7yZFaYؙ?(?FeNBmĹɹh8C5Wn+&B!XK R *lt%u͐D.W&YŒ גZ(/c,;շ ?!#> 8fy0`# y95WKu]9rU&=Gj簖,/K"WQF<޶":]р.-t} \&jdMzdK00H ')N5w}6]-L@u0$8urɁdzZp5@zn4Q,4Ԯ5orĦGOk/T7cA '(ƪPfo{Z?l*<~`hX"X_H[Ze"ŃK1O(|#.g<>RQ3udl(:#@VnSr+-Fk)Z% ͳ 5pM x7^a.y(YIȔ0@IeN6 j ,8te ȤE_0N _],@Q^ Oߋмavo~A78͸rε87TV>^ӉmAOAt㸸0ԫC/* CJRYMbjmrY߭1j95<p>lR1vNmjMW՜W/RPJZ 4ޫVyaa0ymXqj4x&"TP~㺃YN\ ZS0t֣iSBzR?P0 e@u7ɢ>2{FW4 <68MsBoO+φ6;p;$ 9rƠ :(&RLm}~+ՠ{}ǒدnMe_ɒK8]pб!X}ǒ2ǖ*'71@iAlYGGG z)OO~>fqbU}5q:05r!J2^21mQa9L+mj[zɑųi=hJqOCBwk$҇uJ4׏1ĵ+FKSIՎ=!/d$O`7J)QR |ʼnr'"'r[ݭ"S9LJ W\8}&hhw.~Z r3-+3p>9)$NVo9c5ҿ:]UoĨ 0k3~x[F~w^iy^7؊tZxiWa17 "!b/s#lN٫ ;h5^r1gU~)1xS?؟L DC@DH4/Sm$[FS]v_F~$g](| N93j!'DK}FRlQzEZdm oBCʳkصa侥yܵ\QW'*/ @r,>&Z)fmfa+2E՘|E %vTF8pr.TZ^C78]N?%ɭ[hM|_gDk"T#h%bS1E#P UE |^"^*S$3t X%k)BfjVw:^JAם]>HgP@a%ӡ_;@~K0AtsmC$ˉ5׈: >O B7 Z@^X1 r@-WoK0ձW:ca-x*xVF.}!] Xxo¸t:wxR8ϯLӚJ1ǶץJ?b(X E/q&;0 %?C if# : 2n6\N{ږU wrlq ;D^(\{R[DSmo kb2.˙E>v!2@(By =tc  e t #ˈS7|OV9j}+ EʺMFZRݷ zr"hcH^^BB\?SʞwDԿݏw9g+PBX::Q8Ͽ{ çUTZH -FL\(MTTr_<6kDP*x\;wH^ ' }?2Y_'kBջ4s*[>nRCR]@DG!oq7GSv3Pqͻh])M0݅A(gl7ֻp];%x+Q)lC`HYQ|:2vVa]Fx!wlЈ Q;1@ -㍸ջ!#ߒP,h@5쎇_DvxW`vĮZa !`GQx;-ahbNnfpGuev Y8ADz=_$7X_@Q8ݭmE1= hĄhyq.G `pm߽#~cC27qߙ / W'ͤ˭OÉ ~nb*Gb{0|M_U,{(1A181$ZwY._ɿ*4sBJ:G]$dK =$i-wg#r3zƭ(L~H>% ӯ>؝˃  C|M=B }Iq Ax'>5մrCuO1 W<sD7CN>w2Eōۖ;in)蝲1L6= Ƒ_%WcS[p>ԍr=RG(·&mf_Fs!˽:(;1E~~55dHģ3]Ga׈oE2$yW#4y:,Œ?>x.c md7}@sgNJ )Q+/ :cLO"Y9Kf@#Y޼Ah 8KQʷ\Wߣ"0*V0{ψQ1BPDpPʻsfwdZ;r]-ȖB2 6O0kKAd 9G[9Uxh_MW1vl L6EԍzZ-ѫND|, @;GT&p1js9lТ$[v }8vshz^>7iX kD`~B(jBŤS~;R,aO٥ASy/KYERݳ[[_-IB(-9?fFW{25WK2VUcD}\)vڢX9H} !,0n>@^ms~BoUa Qhx'Q8s:VMR&]k+UIrw6.<㊄r$mA1“v>ibp7%yBr Q x"]oOQ.":b?uh`<{f~ϓ }N¾Gʌ5FI[_拌s9}?_ϸ ~gGV$" c\&L;E n6S1Exs qrEt϶=JkhIr͟-j%\*K1nX"8+)̇AHҞЛ2}PP g3^RF.AGL8ϴl3}YcL#*6|Z S?0uI/{FOK?M1Uœ H:`71SZ[1ZVs zWj*n0n:u(/O[ڜ5ƙ Z'CV1eF4\4V.L"sB=Sa[dYTS729k7ք1, "*(=_ul*=͵nby0`kzdZMCg-q2^EϹX)O T?0< dƫ0y3 74*+(|OCY|P QM4dԒX?*z$k䕆wSEAD>o4<}%5>ʣu[X=yXz%xT pվ CreGBbSC5P0P n9]!Rz!P7RpaM>'\~hIWJǣX![;)&Q*N& 3)M-Ś< 'Gish 6C>~徕|!x5"]L^IW~t$wЁ$+vl ?f*,#ƿߣ=%ŘUUoJ@1اB/tīf (eQG87frȔ4<&lzsX Ͽ(As hajdNQњW|Хvٌ}8V^.*d|i]ϦA9m#7i8NМU$qz2C!u34RTcD|:ksCC _K{׊2JgHHEn砞;?c&\zEq+{=?%Cqw#tO: b" !x]x:@*8hr'D)?[ ޡU/ pKBm2:{P0 ୷% ŽIl2 ӌ[=)깍 _[̊^BTitGzގ$,"el@6W7gޮ^L$éY"A|3> GfFʙzȸX\`N.P'K݄{ QCL35M%Tw6 )^9ƚ!;,J{Gx)$yLIKM:.9,'=ji 6n%xm?d0KϤG'X{n.Hܞ>݉ MMM{/i3muC`+ۮ B͉}YE29fH-v.q]CCjB *>ucA.dajuC%0nk.c^#&\JF"tF j#fD;5`PO٘qC(r1܆(@43O佣6xjȟ q7LM >Je2K2܈BmpFㆬU{8JΨw࿞ B& g=y{)+,Ljy EG"*\"i FocX \B@] j°G)t=.ٶ&TRK+F_tZM1GFb-\*߭W8~1ļ&>t= I^t7͛0"8TႿr^7OuWs5p̛~i.3j<t[BKt@=]:C8.{gmQɐCa_g/L7"E0[MFp|ay e/xjr'قcKLAo 1  5σ ݂0 tcG"}$>zl ͵4^Yνi,E庿]qnÿPqs>%ͦQ\q c_O,={ԣ7A"S,NeFjGn`thf{K Q! 1)We~ ԒIo|}ؠ Mm:GM>)kix\̎'1j_9^KU}yC N@k_{i]dYe=7rFi1=ca)8Ѫ[, PSPP/*ؚ?ɮo3Rb󻽊I,'Ok|o9ۚpaJ0eF&0%.mYH97s\Iz9G{b5Bbp^bX=7tsTb]6 |!o+6YR_K[j_me L$V$ ~6%&hj: ԅt5 )ph懲;fڛy&F zgx|{t(k$GWt}'_/)]̙4t6Ł߆m$)zҘN]2f_f3_l}Ia`C^#yt3c\@0XHI>ܐϷIbTI›Ǟ,?³LmpF ҍL,(AoƳNG&=R0PA,o(Yb 9:sE='}Qu4C2}}. V%Āe*0>mʡ1m]ߎ% 8u 4$KT? .+G#}Ր?u6ʛd>[-J xdm{㒱b=L$_7~Caّ'ZD2&ڌc^aY#f[@SMT~?qTv]%#`T+o&4p9rh?2[qH0e8:9 pjJ76F>)h6 p!BwrKI1dz;  [$3ܱwqSЍKql?~طtU 譨ϒ[gWGY&w"h'IK}s0Ňv41\.Xl1Wk!|fdѱuã*cJ^'rl0q&O7k\4 *:L7'!rO_*Y_a\NeV$&yR>#Kd1,{@9B$vAblk~իfA=W_n8_~/U ESL~"|a(4Gwkd.O#UxoDj=I8dmjrTdډO1۩%ޅI&>R8RQZ%%rJSJ6"V !ߞ6B~7912ryԛ[NMA,V`4tf\sQH7l<pMlH4.n8x166|pu6^K @h"`};~< OWj[eKT|HEvn<  Vfw:xI"졹Y +^F>qkt!5Rvߔb *) ܳEکEfdXo2#K=—p1>Hd'ji( ܟuTIDؑc(<$.0s:f& m;q Fǿ*Ƅ. cBޗ:xBszVkهpٺό \NANp:2K!ֳX]tyLJƺ+xKPȒ_EMu%y8AYx:rq.,joh{Zfo>$&Z Rl^%D$T+ITIG=C 0R(_;d0/,$v{?srlX\֩4e3"umvj/67E1ïȁTTkiLgkvY1躢 >D!{dȪ<3g Sđ4S}mGBX{ QknC8';%sY6\,ayԒvOךv.,#Eu,{t]H1*ac,.0GBb`!y֘>z6w5L/Ia'-[V`agZ9YK>,:URX~ܸ5Eg,;)mM" {sp[Lـ Z$";C?U隮1ІPN=]!T-j ~ǣk^iof@/'&(m!!0:>[6q Fk\XW !:|8+dʙw9a% ~7\ 9eA5 ɖKhodvl`vkMQ':)F5=me = SniQ殮͒cɠhH"Lx~^L?EణVz-`x! >IԼrH-pv\ׅ#/g~P%W@3rJ@註~FC$&4dD2K? VܺamyOa8u^Ha.rfXqe&uf$+5G[g=*r^Uzy9+9)&GArPI_hO7nҢ/G]CAnuI !yYnI;wcxR6@P-_cjvh`0a(2X%qlURSsvtqoLh㍁po{Kiyn-2cJ|I9?ѹT؂Cȟ42,(hyQ8pLF[ՈCvtifgH0AP&ԑx:nj;zaW- @ *)>H9xq=-c((YYΪ)*_/Lb}5T_Լ䗷r*'avPn(y'A2($v- BTif‹b梌ꂣu-VXPm͡ҞIԪ`*S ~H-oQqܙ#>ʐ/tXn +Էb7tynbWЯx"+tGЈ6(c9 lu2VoJLV;ÏNyJRFڡ"N鈿tWLŒ[E/*@ع+j:wQ +gF>tM\e' C[$kN,BRI@aScVtx7B*5o(߂<,fYJ%5n=96/@.[OhKpܴLjc.uC ;ypʣcEԻ#oO0:Y -+Grc jcБnÛ5A %.]Z}z/[3,[5 $dCQ]EEϖ[Np}rρܺ$ $hpWono qrc>pQZ{6gk"4>-m<2dihr6MV&76+ImjM+Uj-&Cbnļ 65_j o=K`[[ꏡiBP1uRxsFP.; /;m6㯃LE㵞Ø W8O_Kf=l7!@Lr(?$?v5ɗBP}ٸ-$t9HYQF;(3B*żZ`$ ~܌`$lviF;鱤ضV]3OR2-IydIP=AhF_S{IPk:z?omy |~yVEyRRK{ܦr H[\$X (|(i^>vT8䂛|"tGupbLmPs0%<I-b-}o:W )崢$Kڊf(ݣ0WCdbo"sFee5Aje{&"Jk=등nVI}3#;4L;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̾#OahU9A\f>2{4V+0vP}|hYT3N'hvq&V&OitLc5a֣@c1o!p+J^X,]G?;_M," feQ[P$\BQ0,X Mc%]7w_Iޘ]~lPzu"rP,~[w)FF[A`nVBJ08`bn90?` j~~18 &i )ip_K $"Q~LW%S\)Jx7MX\JlC:3:͏Mf󁅏N1BQU56 '⼭H FSXGAGSдl Ј]A8fV[󻜉b  "Bn[bMrx#VIʯj%4GZ_%osWQ_ |qg76ظE'Qu?v\Mh5#$WeݡgxTGRЃTCtcXRJ-`ojHVLcQlэ\[?majJe%fBɒ1kj%NKKx境ڽ g׹"]mIa I.!f7~n%3#|Ǡk;A[/ ^x1)QƖVmS@XC3tJK9ˬ< %?a |;:5R:>-q/s ضt"^?mYQAIR Ƶ/9]dh*A#+ :,V?rKE9l༒= @(! %c^yRcM{U{㊆l sq+Çx CHOlK@od?}0&5̯Xr1+&Q s7 ̟sKSمd"$ .]=@giv:{$df$^\c[/kFԆ!,'y)X&V͢) Ea{jٕڤ }[UU$0]^o:5$ %XcEpQۙ 6$JJ^7 {O]j:!V-F7T vn_5x*U\R*όL^ :D OR thCa_n_.+GO߃{JKV+;H=P1%R!x _ˠPG+ n k:lo"|ӡ,DUҐ|+a5zZIde|?uȀ1B ,šTb&2doHfjBXˌi0aUK .S%<}6@ls "$D=~=tBq>o7ԥ٫ [J>oLe?bz%b8'NNx1ޯvkUQ7 Wƿ@lS7','¥+YJ9OX+ -QKŧj`G*F/fzA ?7!TaGJbY =!@#moW> rAA.|a9_`/GF<1ŒVq`yB|_jF0Kn܊+9{[ >El_;sR?!#Ke RNƚ_2yC2L?zq/u/RO_f j֪S^#J|~DILXguy`m/+*bfi\||۩W"%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ؼ=VPxօUU|ϥdŤ^0bk <ͥ)J6 /llC<.j0cvW0*ü[Vjݻ9cP]ς&n,op[kC >u_ȷ=5?a3]kyծSxZW^cG!",v*Ħvn8x[[%01LٜQ#BS@$+-WmQb #wNԥ4vp iK5a:4р1ȇ ߝ\֢+AI(V϶{EtU1'ၮVuTa#1.׊fq͌jOŕvSUFJ17giW=TV,ݘY iv&j1RGSl-J$M ]P56S ϔY »)޾g$wziLia[pO9oH-, pϬ!o)k,)]"OF"7AQc ʈXY:⑚l`ay-M~0܅2ESxjIY8XY)EcXNBo>DJ7܈%Ŵ*$usr|ڿxbf2U鰭$ϐ@I^7f:s|wAɚpi}H5H#٘J~5n7]諧ړľ껙Z1O%9BQ{s4Y&[g ,U:\PDrDZvi-q&3(n\i?Av%EΖė$6QuT 'yCa'ĞFRLolM" [qyMw}W0S89B6C&t{f6xn,Ý0 Egk&(9*'Ǒ2Tpmq\|BetS-v^ N }y i[=iIGrB*7,v ED7H4 ZoQ+?uD󎩣QR2H!bF ^)Lq){#Rsޢq 1\XR݅&;r+@^e.Qġ %ٵ/ȍ:O6s/JMl}1e[27r@La=eL;b9bVC&N~س8vq?bGj,?V:Ga}ܗ gYZmV M;%R˧;jx("}n^){0]fړ֢l,n㊻-8ٓUݵtok))jV|FlyD}r]a%*vBYs 4pȲoXHm:P[.I &z`/alhF1/I?ʔRIƜ<|u|nP-폗2\j*hZWaQKCE.]rMj}l]XZ:{qĜQՑJBoD+BT!xӥN!BбY1w>5zK|0AǗRyW!PznoMs?E!Z21m)uͽ%,ؒ^s+-@Iϰ-MJxVlYKHEP@Bv+=^>evRo M7(@V(M4X;n${*0"{y1K;rw3fwYF2Ț?/aqZzױ~of]}H^\] [=$VH\w7Segjx Z^0?s+ИڇNG&Q!1PKzݛdl{FؘA5(aaCBL ǤSddgT7X(ː7^怈忾EBp6"3]ح|+JZop}%Gq%&jPǯhf"ԇINz6uU_3ɡ&z04f΃_4s %4kV\ ~e}O|6Me^yKѭ1v!Z9y\RoޥM0pGD_p6t6Yz|Xğ|>|&Z v;PLt_lJת2e*8& l2ޱawo:*+.Q_E)f.%L" ahzz;퀊9/IUF#\V8֞t>_q[u)~T_CњQF-]S؇SN=zW ])U\/-;Dme]od:sR2mNcj}Qsc~[&9kϟ >řH"B\o+/9~`vsALUUIf"9:rȏS`jU8B ;Qg/Џ&h+ͼq%'eEc>qkt2*p"tb fІ*0: g ^\;X7mDS_]8QUsěq_Kk%Y W$?&bOK:I48U-H^R;~4:a-Fç^IjR"±"J`(29ۑ*~s3o JĿs#WB)fuf2O7D}~KapяBVHx]&VZJE ]xO1؃Df}X!yHX=ZѴ̍AOnyg\\5)XotCx9/ےX>N—;.pKsx)@ ,w'V]ѹ]>omouj^ﭭh',IHmH4V z;ėX0up&14xrWo kk)1@} Y># 6w0/ƙ&]j0]].2dI%Qvk0Py1[!CF84ӜbI)aMĒr {wz[g Ȗ]| w rdH%!=i;jLa.!cĉ2xAd}~T}m۰0/kfUFl_ިBȢc+r6TzΖ}LAGfϼ@GRUX\SeWZCbSYCAY}U" +Boǜ-gK> D3bőǠYT[[ 9]} Kz0\.Wd?x?i 3o6 dmXpH: %4!PrVw6/+o|6Z k~J/4UIE&M'B;#%Ipjf#W4&G;Ѹˏg9S]W-!y2%tZa.n VPSXN[\TØ +"3?_CBu%JT빙%D/pp0."۹"0 AZXExbC=]6r5TpDH4Nݯ_at|G{oʵB3S.ÎgT~]G )muujYMo\4!^:WO"6[ɦ`X_X6FDԈ iyf(b\N4{I9cD $h dzb!1o-Ax&Uz7_0+"T+} `P_NSBR+7dYoǕ %o͊'^8NNRgM8: -^Nb!g+ޖlfRۢ k&N|\Wp:oJ鑏Kjاc ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#\TvLӕ1NEa9Ca}@Kw=T1+jIpe}`^5{݉FK t9+T[zoaMhs MmgWK׶!iю,t+(Tf$w#ܤFWïfta=LyeNgu)^ u#Am*&)V ߴHjfdY 6d+͞DԄ lv6ָ<^V O8F}  DQp-zRRܞ_; *.YjS KѶ)oVؚǁ 5JXag0*l0uju'r|>a D:[F=a{p2߇:R3%{7 ۽K?w]QYhhɗD.Y -4QuSjǍsoƴl۵-H /\7m7۩2\̠%wq'Jf׼ vB*;AȘ(^? qJJ&#b%'~B-Ǟc4^R2̝fT :Runlƙge<wXntPzEڬs>zA;/2S2[rm^ 'DG |$RS+Uvic;) 2o~aID۞pXy=MH^mr#KUZ>#"mP9~MLߙ6) Af#c6iw[M_܎`, u" αgYZ