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 8Epl\< ] ]Pure:threads=1elapsed=1.315cpu=1.383gc=0.0007zXZִF! m]ŗXiɟHVҭٽD8뿰tAƧCE)yiTIU1(ЉY6FP}lu8ElxG ެVՒ6eh}wZ'pgYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wq{l(n2rR[*s˹GH}+6M+VLx 4^3yRw'_򨊣濚teVpƐC!XD=~ʑ83XjQ+@Noz}<=>Hzs#:A·ɂXN> ҥ>Trq*4_a3^ l'<ܾ; ԤeNA ɺ&Al&:wʺ{[ {.$eNR(5j+G_ 5tYP6R.Ae騢k G7~ZK5fp0?yK t@fke8&)jkFה(Ζ"4W@ [[zeα ܱ]@Q*Nc͸U)~¼Wa%Djѵ:_9 r E@!\sz]!%B=N㶉o{-)ժA%L-j#n_`n16RQںrqX?&N8;sXrr՗-OgYZ4862ff752e24223b7c7f99d2dc6f6631cb019f1dc4657553ec539ee1cd3dbf9cf40b6479eb0e8be7  Pure )9R! |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?'y&urqki b Q B 3 % {zVM4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ E>. l$''PurePure.SessionsPIDE/messages{"'#PurePure.SessionsPIDE/markupz!'!PurePure.SessionsPIDE/filesy''-PurePure.SessionsPIDE/document_idx#%'PureML_BootstrapPIDE/messagesw!%#PureML_BootstrapPIDE/markupv %!PureML_BootstrapPIDE/filesu&%-PureML_BootstrapPIDE/document_idt#PurePurePIDE/markups%PurePurePIDE/markup2r%PurePurePIDE/markup1q!PurePurePIDE/filesp-PurePurePIDE/document_ido%')PurePure.Sessionsdocument/latexn%')PurePure.Sessionstheory/parentsm$%)PureML_Bootstrapdocument/latexl$%)PureML_Bootstraptheory/parentsk)PurePuredocument/latexj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/43952g%PurePureproofs/43948f%PurePureproofs/43944e%PurePureproofs/43940d%PurePureproofs/43936c%PurePureproofs/43932b%PurePureproofs/43928a%PurePureproofs/43924`%PurePureproofs/43920_%PurePureproofs/43916^%PurePureproofs/43912]%PurePureproofs/43908\%PurePureproofs/43904[%PurePureproofs/43900Z%PurePureproofs/43896Y%PurePureproofs/43892X%PurePureproofs/43888W%PurePureproofs/43884V%PurePureproofs/43880U%PurePureproofs/43876T%PurePureproofs/43872S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43686N%PurePureproofs/43652M%PurePureproofs/43648L%PurePureproofs/43646K%PurePureproofs/43642J%PurePureproofs/43638I%PurePureproofs/43630H%PurePureproofs/43612G%PurePureproofs/43608F%PurePureproofs/43546E%PurePureproofs/43542D%PurePureproofs/43540C%PurePureproofs/43536B%PurePureproofs/43532A%PurePureproofs/43524@%PurePureproofs/43520?%PurePureproofs/43514>%PurePureproofs/43502=%PurePureproofs/43498<%PurePureproofs/43492;%PurePureproofs/43488:%PurePureproofs/434829%PurePureproofs/434268%PurePureproofs/434227%PurePureproofs/434206%PurePureproofs/434165%PurePureproofs/434124%PurePureproofs/434083%PurePureproofs/433922%PurePureproofs/433881%PurePureproofs/433800%PurePureproofs/43296/%PurePureproofs/43292.%PurePureproofs/43290-%PurePureproofs/43240,%PurePureproofs/43236+%PurePureproofs/43234*%PurePureproofs/43180)%PurePureproofs/43176(%PurePureproofs/43142'%PurePureproofs/43138&%PurePureproofs/43136%%PurePureproofs/43134$%PurePureproofs/43086#%PurePureproofs/43082"%PurePureproofs/43048!%PurePureproofs/43044 %PurePureproofs/43042%PurePureproofs/43040%PurePureproofs/43038!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/431367zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]yW/ZmR ;AM쿹gYZH$% dPurePureproofs/431347zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430867zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞EA p'|_ &4*lWgYZh"% $PurePureproofs/430827zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wV:ܨ |4oY0gYZ4!% ! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/434087zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433927zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{~#x<t*j,ׂ*M.x)%$gYZ1% PurePureproofs/433887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A΍♿%?߷ j.󷘵Ÿޯ^NF'i @(_anRVCR8 m坱gYZH*% dPurePureproofs/432347zXZִ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_|q:7jdZa.2it]gYZx&% DPurePureproofs/431387zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&iq;aYvv\ :ҡ!gYZ  # fc1* B% PurePureproofs/435367zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰsrw1J*|\v c%䲸B/幔(*= HagYZA% \PurePureproofs/435327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPC("X!%>hwY \gYZ?% dPurePureproofs/435207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט8#Hnc=:r6L6 j;8gYZ$>% PurePureproofs/435147zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/435027zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|K;}?ͽ0^QK uKNrGqױgYZ<% TPurePureproofs/434987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+54׌Kk:I=gYZ$;% PurePureproofs/434927zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/434887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+LG5 IgYZ$9% PurePureproofs/434827zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/434267zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g8Įu{IܸR ,gYZ7% |PurePureproofs/434227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<!eћŶ< ~)9 .2gYZl6% ,PurePureproofs/434207zXZִ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<^XAdRBz[p&Aґ;l (EP|Q2+oYES+:/g8gYZL5% lPurePureproofs/434167zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lMVR+;{ru/eL[ ڗjJ> f"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|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6ʍ$ r@5q+ xgYZLK% lPurePureproofs/436467zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&8J1V|տ@q~y,4!EdPû{/wo{4d$HP"5^tÚgYZJ% |PurePureproofs/436427zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛw][iaj9(rW}Y6}[R ±gYZ\I% PurePureproofs/436387zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zÏ@{{9҅rQrrFQ  ?igYZlF% ,PurePureproofs/436087zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435467zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo5p;[u`cEjĶgYZlD% ,PurePureproofs/435427zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^M mdjQ BgYZDC% \PurePureproofs/435407zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zYψOF= ڢs \o {^yBmTnT`8 ( EՋ)3gYZ  8 E8aatb% ƶ1bXⶕs_||>mqh?p|j$v}=q;L]gYZH`% dPurePureproofs/439247zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E91NXRT)7lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439127zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/439087zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/439047zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/439007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438967zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438927zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438887zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438847zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438807zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438767zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438727zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZER' \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   , MW0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsh# ~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ԫ .~SEN6?yu2=,W v>l 5!QW;3d}nnk(ߒ/#} &QLj]ڙH*VC=Rod"魺JR>h4<7(b!= b 9Fc8:? H&pE gY8j!}ų,,:-Q[? fG쾌N-@ĽQOrc,߅bJO+?He?'O|j=}֧3\u (kTAzä6#71#S\vDZqFw =9E?Z[B߱CPV:(j=DӀ!9yGќ;>x1gs0"f7_+(N#"`ĵamr`"24NϏ 9b毯7@&;hhAaM'S5f44]YK VމKTAEҤ,_$v5PP dYO++ʵ7|LG} X;yRDRI8LGB^pjXbPX \*y-B;,wz=x{J`yr1Bgj@U6lB=):jPP;cc28Hs;wrS"0jLC_;vdO;KkԢIr2)6804D\Oxf75MR[(Ď6li~[34F$n:ֱ>V?$sF: BK47=w N=@e-GvC m+]L0?SdA{}K\ނ w+TL JIj2-i\%Kxe8П=}]$;DQ?2D[}GNߐ6w8&qpv1ƷWÁڐvd ;m$DѬP*;P8rUo? Vpm KjĶgYZ|e% LPurePureproofs/439447zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g8]T'pcP*Jq,gYZtd% 9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA ~#)v?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ef9HSeHؓB6m ~ M8*Xn> 8l nΦ?x@/q%n7- Jt69+D#ԧvpQ 0@ZU'<@}s,RbrcҊc͏>HZ`PÒ. L?Ky滲 r*I7k^݋i;|_`{lRm Tb{~N 2><23ϛ %1vrK3Ö-E4䀹+2'!g?p3.$gO|Jr%EDJa'-;$oSOV0р<6{%&]iIA /< ><'na#R lKi/rDAhٌʵSv!M|dԐ;aO1/2#q+Ec@gg2&Z>ǼV ͝>*:`0MLR# ޴ԁ@u.6ez@MFe<ɋ{\;A18\|6|"e '$Z0SǼH?C2ANX} n|zF5΄#]4"JKg䁓8ÎUG۹$b2)Dn?޿^q7qF ]P_5ړ/Qy0׆x`ΰ똒mUsҷ.N)d;}[#@^.7#D~$]wZp=!lN>£jֲ)5 }AȄ;U,[NYT8ob6O?(M',u{ 4K8ǵ*nFy~-pИ#kY^ * pQ2MYy1l(0(v)uZBshqq2.D4"XS![FjW™/KncyEv&A^]}a*<v_O/J^^]80|CXa4-TI&P1GYK@ݙ_=XߧZEĄWYp$]o|'G7 L],&U9d1na uՍ\a*ImB@Ϋԛ3PQWƚl5Q ؓCdKI OUXw0!CFI  CcJDΈ(]+ ?|Ыl/g2b)OJQE'#3'nvSv7ZTqG!9 Dj{ F9~ k ;AV[2.TC<]#uE+,]> =,8J#Ü9-DZT-Pm9V4jOϥQj?skr͈Zw/zD|S6׉rbY:tf) ^OL)*iYZv'sf¯DOA.@Xs%{ę$bHbu/kp=ݺ;~S!j rդ!{mit|x{\G:. h8OG//)& '.g?U˛&;K~K(|~SsZQW%{TS(>/lR&gk -`BdsL 9yŭ,ux+XZ#3hXNck@hv!ܔ8cG9Z s9CS0ߦ`;3_Pɹ ۃ/  Ng,{ha^WoIOd.j H:ЯX )5LRC]O~hkemmmSM9e]t$ h]iۙ2513}|pTWZI!at{55הؾ ,2#o>&D6,Pã>z8h|"ڦEN &ц$Җ !MXz\pOd16Ty9%w(oJ"cڮ6?)l&.iKs'"gTԻfCbYԟ7]RaU-vf9p)Wo@zYO ϫj9ypujՃMt0[xh$|""3XU;7VYEp[{ufcQw2_샛mjCMY:ē # t< ̶'>!8f~zYKz5yh"jd}!rN7s@΋!dLs y]`C:mҠJC՘B Ya=h a97 [8`PK#ԡJyG>&$ռ[MrR zW+sNAw@YP +jb]xJUXo|t4{ɯ)h)Go;9Z{DL0sPJ9l U6hQ40(7jYR =Uh0pH4ak {s8]Ϻsc C$ׂOU^@Ӌiw8-xnX /.l 쪌SK '%ܨi. n:u[2$浲7oIȵT55b0$Rápp 0N=^яA=B4F3vD{(uz㩷SolJewcDT'b/QS3u2/t8R [wevf pYa`Y04[*o?RXͻyKyR*WDOREP1Oٜ|χ8=i8L jh8?L\ˑDEރPY,\PXv&)i}ɒdPЖ ;G/F"7'_aJ(Z"1~3)HȔpl\3 r*j2T#ͨQ_F1lݠRv˼jcvQ⥞$n 5o;/4UJ񈰪(juie?i[Qp[/2iR)l)gDzx/1;Y7#zik Vk"󃅴]gZ7"1՚(ICiƴB 2`FX.)/ey|6jQ׿J_ ir&<)|QWBYήMĉ1Dдdaw{Mmki %lOBd& 4ƚ yZ.uשc&&!J!g t/f/3I /t҄.͊8=o m\hxR'>@GDz3[gmצ?'X1uAs-sMȶe]EߧtqiP #+F^}KG&Ub`(SӮU裘!3н ߢ 1?$$|p~L.(hdIyࠂ4s&H÷#VRLujA|Z8) |;ViPc.ZNZs3DZ kJs<e+d5\Zzh>mf Ez wSmf iBqt~Qxb5N6 Pn|RsdQ48kBAꪘ*Gc3|R˰vѡ>?{N2S6d?% %GŜI$;ۆv-VI^p>E'R D- ; w,);ٮֻK t&§2 JR (}p%'nz Z!tQ|AyD"}ch#: uJ>2I2%uMګYH 13?"aK5MgE 9[#ϯ\/@Nz{/G;}g8theΦr]:#kxp]D>X׼h'7674ϯsLV tUP2 3\* ~[IuXxMԕEJ+knU-bsp~\}gf&dNvt-P' JP|vtM:V/gX1 E/C2P wgЪUl{ ߘy6H6K5 gmZPgQ*0 ꉑ"r</#Ob{" 3Vr=y|wO5LW X TnxKovYylC/͙Gzc^[$ncdܗiP-Q}kIm" IgͲv y O$3OTe)=0,TMQ' -O8A"qC4C!ጏdoCR: h3q$ٝ=kit;WtSkϖEs5gUJ]Uﭱ~Γ*M8[4pm:q7mwrvRu\ꡣͥ /w& 3^9+7c=B74e89?oݰ`+Xlhhe_b J=#Bf0] sn#"\˿ECHcN4S}5;/\pIsh0%:R-2$^xR)+9ehJ:E u{~K < ;P.lnhF45>s& $8qO9 (YS+<(GaS8WO8'*:I||bPR懒WmcUhX#V6$A'Ф|T6r/Xr\*e8jGUBV, "TQOgEmK*wh!"WȄh^Yf(`SW+ݶ+(2`4`^3APŞ61INT B> ~:j0IIJ'UN!_ZgԿ{l=jJo ƆԺ0v@qo,k%paUiNhwia m~{1yjk_'wn!Jl_仂7+0PnF HRRzn= ?*C´CU:H?'fBuY|D x&H8Q&͝|2>2$ceK7 jZ55| ['3h%Zm?'N+"㰼+ O-vx=T϶g$tpuˉn]H󚡢ܞY.u#?qDqi5ibX_2x^ Xe$|Kgace&S^K>,A$3bI`D~uQ _cb_:@|%8ArGI@D1|H7cqwLlPb;Ω475Q(DS8A%wiA NU´3+ etN=烶7`5Z-EVY(LoG7n^.<8Kd `EՍBX#_z~D-͢5pdNl!V NΜ%dN2>Ge'GO_c`iOv><QR`*aD½gïS̳QG9QmH 0=ꌈ Wt(9yE~h`]wdc^ݏB=ʞ Hn%lӳ1sZfKRnjú&Tn1N;I=17L^dZ¬ %WQd nh2Ӧȃ}6ȪQ ,EE$82\|@yQ)K`Pr )7&2lZ^VaCi"ČQw.AxJq>}?\ff{-?pV ̉ˮv*k^R&IDzS,Y4 -. $zHҽ*nW?צ ~/A2.Kٸ%~ʳ\_J%!& TπDXc!GʃLfYN" GY("ycl]69e(keavIR-l=ih8 b׃`-Og3E vd־wI ohs7K **#r/ŷ ec(τS*F~$t4{ɍGK\ .u '$;Z~:|GMp/J¯_8<#dktg"VHi<3@Pj&mi:Ó D*-s-nxQr)3˫eGH>iBdN~y.#f_p$BJnCV:F6MEZi 0˧ۿ@8l|mY;†3o5SZSxAeӺ@fʽrDǰF ZGו&Vk~UAuB/>!ز7Ge-o"T0}\eaT1R%zqy3L)-{EgZ쒈*(b/SkS2<@WOy 0a03ݿP %1` <m{7pcӄD` [90{L1 CXW;6),ۉ!>yn/x3O&yݩ8co! J6@/J7[Q}`)?I-(KL!H%khtM㙀&4W*tĨ`0I3&}c}[Љ٣|^&RuJ!62:iO<.t }ZtFl|yg~[+9*|(Yg }용g^ulY~ H}5p"H9ѝR1[I$kថ%J Mv*6uQ)Z--s.6qO!&-c+yNt8L)mEQ^Hn$l^[i>I؋ƚ@bF3but9 M(X)n!8#T@w _Uern-&f.sHQ: <0wfJ ∡p_[P)!`E]ކٳGeZDnTBveB0;<*]NZgET0 cg <{?oO%(ү]p+~Γm`]{\[_I¹~m dJԠ\)dR cCN/Z"6r)?.~MhK[`!?/>˩kcSr??Q/b}p08_3[ɾa\>ΤJt.j EjEz6#g 29:D[>%#r$b(>I ~[EK| H|^kTa1n1742uLv'^Ds'ض}1_:]:Hڬd ؂&(}ٻX\{Or0J0 =丌ϵ[A| GQy& U>h٣FN fj9˦j6d=6| s]b*Ӌ\?CjͧwU CdKhAnd7fBEԲ= ]s$:jx0h4fn? RL*zտCOxap._Ѳ\S@ _sGCiPk=6B+7A RS|Io*bZ"Ĕr]tv3yEE+i>}$t%7 +˴Bss8*8&2Ao^D~ ~9rlڥfa3&9pi(zvB[[`FɆ^bˋ#LNoQli h1PS$мoᇔ*Gʷ_m>JNE?i쨯G]%sUj&R.KtM|/PkfQX6AaQ~ѬMU#u<95}]C8y6Zrr)pl6ݪUHv8yOwɈU?ʗœvWN[pex?{iZ4JN/DZ,'~2%!y Zy0A,f;HHp dr wעYf8>RB!3J8<?*lG?QnM5hTW$266Q`U:IuO5xB 9֏iw褐у2JpQ5vV<_ANkj&"ѻhGGA4NhwG>sH'a']*OQ*T\icy n(0a6'4?.e\ڇ^/;dY_H;+ ohzvK^OۘK5䧐0ɱ+*TIԟJT` #n)W-z?7iK~b(/Wj >m8SؖI3hyE,YQFaw'VgqJ \'Yc K<=t|F @,EN3Ti F(e*#񗆳4bϷBBb ?xq4<ݩ<׶%vFBRrZnyL.\̛T fH F̒Q wdx 7iK/ߝO-Qwn8$ͱuM>NC1 T *=I>vuy;0 ~ `-:U|Јv}`o)i A_# y5#ӒCGׂ F*Smܧ3,v59mG0nN/u @3d=IRGB6C@"7]CR³rojKH6TjVMԄVySKZ)lZh쓐@/-(jVиnZm[[/路GRBuf,xLiHhAooWYr}0}f-0ZaeeEkJ7hTnv"/~Q[ShNrzEMe)9$<|vI4pwRYl 6_307@eY#Z[[m0[ڤs{+OBHP9}P4' ݩq K:Ď\]m\I4^ܓXIKO uS@c)W0P ?{$#1q%Jx84U:(BC#2 ӗolSHl!$}?Ɛ^`I?1I*m8.6uRݩvjze+Ƭ; ]!:qiOXe;S]dNnàÄ\чiNZ,[r.F/Y8ˏn(EیLGy+ m,@`MU틹xsbl"KHuIJ8j&QS,k'UW@] w>jng7AYj+FNjL1-%B%~~ѮxmΙLB!}dEP𕆉 *>N?0PamV i+ݫϲFZGȨMd>V!F za|hud4E#/0QPXv=D4oC(3vVˋ|Wz+ue+ URX#ǖdL$ws mYAw@y; c8UB@-n~WK輨ƿgKJ9º02[mnaRFNy7caVN+O!"qfoPrI3ےR<-wkSXyB&x^֨]-]3kw]ً+ո!7f6}ԯ^ 8"JR"+g&@RcެmS>XGN4RsnˊN"O'BlS`v=Y]a_ƸZ'6I-τj\s?W מV@xXLoQ='E AYGp7@X^]!ҥQsx@r@es&3!?Kܼ[]{NЛҁns3IG2ȣ[x#H2fi?%okPL(=i4qԄ\az7I< ^8CT7]yo#~8q]KtE-ᓑS+HIJ>\wۯBQEmFҭ|"b<m[cHV(5B ^@nqCͽEP.ԙ'4RŔ?m} vT\mz=Hi@%3%GyTJ?5~p-cIpjE6P"A+ ~ !k:2HmȆ!M>x)8J#@GT:;U_z7({<q%bzD\y܈NuRۉqfT:RLI\DiI|.xGfDfx۹٥o!Ʉ$/ؓw[n Bؐü@vAz#y('E3SSgH3!n: CGۍvz;cog,:'mѺ&r1AJ{rT$:oKU~b&ͯ[(7r9NBA`o}ƨ;,,rX&Sm_pX:.-44[9M@-ƳrCBHBXABmv!)M͓͸rWq㋇A3Y-PBNXOc3ډ@ AHb[ J3<w ĢRCٌYW!2l툖NL܉gi"7;\ 8HҘIi[Yb؇jƎH5?% b(U| jIhZs%1B lxEn;f87H璨bZ } j )oj7N6%!ڨ1ylvGjO3gbSIQ5eŁkHEqA(vZbo旡|7~̊* #NC['lq`ʉd?'IWe|v@øqnwLi¹#_~#OU3(=(g=!`N~~KNn|M  Dlxb%WczkEWg" f:,Sv!B O.цgYFD ifhWWsklX6D_ &9PjOzK,Й!x`'xu˜F[`3Yl$ ʼnTz2 Nˤ^uD6M{azjRX o03\STHef*F| x }-@-WX8;TH:u*fedRʅEK"c_<3)?ӍkWu m INs2ݛ5vp`g7EQ)D>WC{"UFKHA16/M[f9Q3=0h[+d3ㆬN[Q"'pӠ8,^0[Zm㩑VΧW{jEKZz'xoc5H|uvӒ ?{2WlاN=u!kȅ)$vI PwzH _#@MO0 5T ZP( ʗT-HgLJTnTz{¢:]xY+ "h:'J%螅w41&N\u@!<Ç MbzL^eɍ؂_ʊDy0^\!A`) N}OS!Z;\2 Sxt#d5fmWa ׆EOd(Ij+jv-&6 c3fؠt'ɮcy|Az>U!rm-ք3i:?WvDOOa?wb؄GF3C~R$vbxث9^AxuϕA C"OO & q MOnoԷ{S ={_jGa*9tۆ”fb\lκ*M:fFxO jjcĕOeU_ckKFFFjB*≂뷠Z}{6. :hy+A !C’(>}XcV>^/${f1 #)/kd !o,P-dyMRj VHaX {fdԲ"f'Gn@y;WILd }.|m8 # #Bxˠ fK~āH/aT8^58wCu9cݘ7<4aE- Ĕ#~# aGBv4iڹ5@_?vj{̫xwa@V73ŕ5 ɮ踿.T|(O`cH3c_Q)LbI@.UP_+p>e4z e(ncubUWNV%0Hh3-E'ɷnca6&/;ڡ5[ީSfa'_9a '~;w_0~_M }Tu$,o'(?o ɡ2lSCiܔ RO}KTmSڤ>D02w1SN0ا4Vތi4\ɃqF [T1άA4hJobeZn_{c ,xq3 }ҀPSB=} 1ܟ8}ŷ~[hm;!0̞w{-y)D{׉Ǚ k>d? ) QRKEn~Yd' Nn6I!c?"Y?$J~d0`s`7d⏭__P<^leڝ XP֩ A7tA ) +$2ؼU2}zT,VDwYJW4ǿBΪ=㛫Qre f뼪B wY~ˈ[bc56br)j݋(R$BuˆRwIz2Q~|^,UU%7T[ tӀ_dnp̵44d{UȔL>Xh'x`0Kr -LxP;2flagn,j:3d ߍc J;[7R:!ƻ5aw^(l/Ws1|Ne ulLp 9!I$HO3Q]`0f) =MżZ%;uUTDYjgYZ BmB)k%)PureML_Bootstraptheory/parentsPuresj ) 4PurePuredocument/latex7zXZִF! 罜m]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱 K O #RKq% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWp!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML o-PurePurePIDE/document_id2Sn') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZ*m')PurePure.Sessionstheory/parentsPure.l%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`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'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;.%JNX/,~MTYkSO7U~\"@xtHPomO[έ:"%I~v1vȽL@CI%7C{d{)S.4Z:U)o_5 ֨%su+dށi*cZS3v遦9reNCw-N9Y]o̟s #ᓦev٢Ʈᾰ\|Oࣳ#Vk `{EmRGZGrדx}B|:_a?˿D(M1\ Vy#ʫw@DηzҳjND3РѶ"n˳㌶\xu+҆RdisQ@$&$-Nyu'>BZ *P a(z)>NP!T uF$+ꇷW-IJ>B͎U۸*!9RxX(,szFnY LvV@tfJ,$"}ZNn;+uET cZi$%UUH|=iCK(TXoq7jAXCrQQ_P wcZUMPDe#$X,RaftX#ؔE?M$d4 my$?`M+ OqRfI%ԔԘ!cQxث kڪGW85B hoe$Pq *x7nzahωe1CxLƇ%$5 r%pN)d$Se-_gEC?8gYZ:T;eꮺgy[2 TBcWyNxGw4n)I@٪-O6L<n O7[6 =]oJQ yt 4j_U+^rw|Y %}%m 2J (Z@)Uh% K1&Hi/z{7Devd1 2w6n"aVpm}9("yY&!e˧ij=QR; qh H R@69| 98Εvqr3X{G_U+}#k]bzW䐱oA@nEH5̓an2xbfo hO͓RW|ݙQ$ N^)UBH@T|ԯhO#r/ED"!掆TB!0z罏HAc gUfOv ht뇆." i96_WUc7 u ~M\%Q={y;a5M8+u6OO,8+X@LRY3W4$ *~ǹt?Ö옗Boa WՕ]kS<"jA"RaoC5ZK[b̆PZUz|ϠNz~Ҳ#OU7oFK KoLUw\1qz%^5.;iyq%Q1PJMٴr!=\>YF& H36 Dt#Q.3u/baBͤX8540*Q1 pZ`~I1IpdxM\4dޤ 1L\-m0+FEib%xvTX "?Ǥ?2G`:JntӉT`/Xa\ٚL~ )X'R8ok+[^`.= hSlKk품{D@O~SrvȁO%r1ۧ:@m$!M U}cmE`78㼪bFSR3 Gɟ?漰2yx臘>`Kd&t駀KJ hloi?AL^49[+CBWиEVaџ9(D65lZ h=drۜ*w bt1ŷp"0?h:789o3(6ǹh\8FkrtB (ԜRΟRE"2.8B3snzQ 7C2`稷\%߿dfک5H nH7 wZyțBG}/毦Hг}vA q_K/V H8~Bla5)g4;Fؠzܽ3֪q+6E6 ]`Y vZCMaq뾢Qǃbs$odD#mabU#} ٫3F-^ш\\@'>C q#Ωĵ]ݓ>_6|ttgpQW.2Rxu&>VФ_s-Iu#  !CqIzn>ݲ \Ke;e7Ff5*pÒgGΧ^KkF@cup4]MٸLZh2[b0fUs]ڠfs<Ϝ.X?fh pMW]T!Zc%<N̥uT\ԇ?'Thc,ȹXL\l,O ۤY(YT@&7%݈yP{'Wy?;m(zoיhS oBkR0z!NOfiu{s|Q1 7mcQyİH3+z Pdb2|!_xuSQ\k"- ,W5Xގ&2Ag*ќ94[9o=*= 5xy}W~Y H aU;䉨;".'ōD6F; @oeߟL5Nz ׵;.o*wbJ|y|'}y ,6C#2&4zŬ {5H:k3.̙{jYv)aVy27:!}Sd6ΤL (+09::asw=.`Ms-7R))u<,X0soBTER&#ǁ[qazz[Kυ7w^srкVaINȉE˖ؔk@u . 59 -C pgYL+ͯ8^9 'D"K!O󛨴:' bQ1 ;QҺnՐ`MJ !zwZ`νMA)F%TC.Z3׿Ƙ%t?7 97al`쁕[{aSKjI¯ N>D2SyS=hQ|?ߩCsc7y0CRtLro6tձ`zT,t,ÈI,͔VBN#SZخhccQJBG/>Hu]%߯R?|8&v ÉrƏZ+Mmhty̛Ed [wy/ 3U‚&Α]Z W޷]r;ǟ(b/F}nk %bϑdIUVo)4 9g2ol[L0#{ܬ!BzX۩IPh׀Ejq(69LkZIx# >5o#6ByRL݇j}9Kju!$~c[C?a7i/M߻2Dx},K ,eR@?b-7bJVVUZ{*냈ۗsjQ,=QZ募qȠד:ַ^E M<Eꨜ΢@NSvS C{bEqQч̠C6FScXH|ﲳ3~`;Ί2B K0,TXH,.GEJg^ ΎR(Eiɡ`8b?]6 %Ռ+18T 2Ǐ2_t,쯁 !gi:)qH˳6gA j)No}PTw?&KsM0|x%ڶ9 (F"^Obtח>8 FCߞcߢ͐hIFCq #miʎO̗z>) BDGA-a$˺Iec(ѨH]2q9VbT2 H5]d%Aw0)40#bS~Gî B -Ni>Sȳ,,|P6ޘA{'`\#J1;^JT7eL:FPFEa_ܾ8UO=銣(ad9NK6:A!q3W-Iw$=t皝-ޅU(p߱`pܫi)bґҟxH|{#\5 { wPһb[N3#-`4 $2dּt6-%)uknX+rlQQ!To %1Y8 E{{fq3_Aw%!"bV<kػ!aft#d%o "x*wC)GA'mKZv#7{[j~Hg=xrJn;@8*4]5ptSWuC}w%ZӚ+͗Om#{lfЖ`G]¦1C!'ul|~qJPv.HLHwA>S䷃Uߗ6rLfGn.5Yc'}9%ŔĐzWšDu2:]% v}}f2$U[EuvIn}A>8qV5$5Ֆ`zDŽ9g`ՁDQ&gx)L+C,ޓGTO=>pԏD}ת}e<*nqo;gwfK4nx,(:!IJ7),hUu ShuZ;Z_o.yF+#FX-piCY ]Jt YLEV"&Z6})RzOƊP C|p_5gH{T &%ij:$1-e,$ay~ՇЕ`V cCgP]p'|m+Bstө'C6S 2od3=GB1f47\Wut|͇zW=i=Nf˧S&)q8=$E1;D;=%< BJM:UK\u7;ͭ[6"ߜ |eaq,[͊x1 a.S Sþ֓@;ENTvTnT(_Фݾ:V_=Jǃ0 -TҹbIacAIhv95[@9?7ly+ 5.{K|) B&g^{f Xat:nnG\"x]` AS<#=JceR6*%4 6 F7={%}-yk Eԕ(٘ 0B h*1 (QÍpl.`}ǥ.D1xJ[TOi}, *dQsnϜ\Tn74MpQD/{ XgȮ%7q7ga&e Ƌ涇& |XwNox`)01{Sqy${\)yPgZ8Eߊ'։"5ks YĺJs0Q0}4|qkx*YUΚm>Fq9ō@ȥgsg)mA's?iU {%:h-2!zn+yt(+vvu @e S/`bj{,?-H-oC Ų<.)N#͜/b9WJA#&:^_?\͙gjMP8Rل GUPٰ/`xer>g]^y_g|#yhQJᏉw9u^w[#f6 eLD^$!|K_-5n5|N&dkF~#G.»7z^lN||1'9dS>fV3:oGPAvTy-Yxy7".dPx_Wo} |t{g?ҧ1n+w˞Wg'5'$pNP:~sTmPŸBb{Z KNzT8<)LҁySھ㗡"CmΩ?IyեD9A& $`j)G?Ku lp"g&cu ~Ȣ{CNx$=9 r݄xT)%!GWD5+>,\Ÿ>AN",X]`Oo'нXrB8EXC4g7ޕ%QdGBj=T[ΐ_j.#<7w~Jj _x=D,A>tӊ4uÎi>}Ìd^\UbXhmZ2{헸fpdSОh:1^#`2nv!SU-=Rik;ܔjߘMB=c^u*tw4D+q'd[,Oxi#<UIP<`85ެLcX5\Bȍ/iڰ$~J]9.a_yZz 8ڶ\ hJ$^'D o1 8u'RWՃvLd)Ѻ5mpeGH//갛؅,__:l@)ֹ-cy*W1p)~+9uuL _Ɏ ѡUug>4,a&kZ { ~HV&=n*^S!@ߛj|@I3/v|m(FyީF^155&==5_&鐂W]I_~Cg"b˞EJe&(dxmha?:!0ezD!6s {d^JDpO:*?܃#{ZK7ΧtC8_ۤoz;^6&^c=X-5U Z{ƪ5Z])|6r ^Px"!f|7L 2:"uH 0HbӭGQ(o @Oܹl: B-Fuu!9LC~ü;ąIRz{B Iʥxfi4Zv?4Ibs`oR`zGgF\Xqn .Ôh7њ ,I E S"E anƀ֬܇rs\z;wya!; zncDjڧxiwVͦ{7 R·[s̓b]EgzPL䌇-9Objܖi}wp9%Uh0Uϕ;ƻ%b{>ϨĬ6>I Z1iЉcPQ[^ Hw!mhFբ XR wY(Q94[`;˂^pLhKL 9*cOƃ.K%ԉ!t5V\BK`Ɩ ÀIBϏʑiHAJo+'}HswdՎ0F:#d?WJkƓRU&w1x!k$QoL*eg|I}fEf6X zCP*Ģ NݚVN|y}mQsuxơC"d:&&K.p9 W2&J4qfQˁryG; #D;(c`r...HKk ޮf&gb*GSXs.WT`_\ͯw 0`dPxW$Lv:~ }EFf<6KsbLtE~) )=:$` _\-,KCJMc)./. fy(yy@\/#6ӪyѳZFµ#o8jW*5&jeW6d@+$5"sR?9}L2^{C|jN ̖kYU&逮 2-Lj$dkX8A*D-NlbW㢩0N[08m#.Fʹj}tEK%|?*)ccqiD5,VLakhS@K%Ƭg+ IF뫵(nF.<:s!%]6OdnPl."74+ >h/S3}"*ɱ܆=AǨA& _}GƐg;YAƀǪ=n.1g)M/d^.;CNo({e9RNFY{pC"F3v~3Umq8 .X^'?}pUaZ52&߉UsAji;B90cd98F0Go19yىz=BEkϞ1&ԀH6N'ɭC b.Cm] J%`%Nb2FB'K=vSJ%@5>k~650DZX"[DAнS_ᲩNfn,@d)5Z%DԚ^|<G`0I6>d~;.SΚF?{:>a7 \mxk%i/ Eeuo՞T7 >#}ؘ.ufm;?>`!/ɝoAe9*8*ѼL6M/z>LW#ġd2xWz G"۫o0>!^?,jI{O+tl7Qp>l#u籩#@WSN:l,Jt_².^E9_bf)_7C;]Q4O?oQj.hY eTf?ܾx>3c>c /jHԿCȁ˾v}5n rD!BRV0}1tL RRKq]qo2i|uc9I&Ly}Rjܙ4eYL5OFҨl)h/)pD#j0T*`f}dL4-۾gHҷ|L /=qC*׻4\_.WF{3ˎ }3>}Kr@$sPtQRJlsRkG!y{!\!O0#@k2-x-x)ĭbd%҉5*ڱӒֆ K`8Wceyp(qN J.0dܻdoc_r 6؄1Zϣ 3,+ч],W|#Z cA1#$a+2l;ʻUSۿoq=ev);)zn^d7:{9pyĐw9ֆ9xߦ\R4dݿ&? 8TkPaO8;)d{YpNwn3i#8j󇶊s.Oj4>ЖqNs/NHp4hVHeUo-8̂zK$C~-p٬b)g6g`!(Jy&zXK/ ✖fQ#U#ZϒQÅsn:o]`9ր~^OAǙ"7tE!!S=|Mĵ@P@w] ћZ.`QY*pݓ)@,8i]Ij@rC{$삜PO]OQJ.uadP>-Vy5|kXjȫ(Xױ-DaT +t{D1#Ar&o]f2HLfWcIАϸJ~[UnI޺וj%4un܈6m˥^kǚ{aѡxkͱZ& ym];3QZ0]zͣZ)]N'QJi? ť"G:Gl=u\:q(R`l1f'kAjX)>A'颴9`@G_dD$+8LHtQSSyrj"cc^Z|)h^/bο6TIK `qd lgSYqE%gM1L{C8I5 X+_6Op`k!UGC<9j:e}ks{Y 5ەoqTy#?p!F[R[u.ܫ}1)n4cR}Uk]Z+#J1k?^.AxL4jDA`UAj ᎚Ud|f.obC?ӟ|{ⶺq*1&pH/#u.| L/NBlB7MS[a5pyԏ&.tNٺ_b柬#ЮDb07' d@ەie1~dyߝ@Z"d?@ES&F3A+rWHI>WiؙǤQ%CwOO|6!!LyTcLo`Pl8`Vc|l~a*[2#~n]~wBUE. bNt tv{=$]qȥ~ mNK[H}u^0ՖАejB{ ‡7Q"iGE) 0c$2.mJU2}J5I G j5w Zy\J0籩Svlf\g}ĠV&\y{lh 4t54C3yZy-j1.t iv*[j }s-l5S۸53O_@rQ 2==~a߆c~l% /f'Q8:Is"CBI2+ڼ6=sL>{N>/tFv.m5[HGm%|?mmקOEtP4jOovg1H<9 |ȇe)|`CblUY#CkHH/g\aۅ`.z^_W)8LOJS? eRDPQ\;Rf/ԘאK &jWs!"~%K$Cޭb(HU%0tS8aBcƒ_paAD;au=y]H`gejS0٨|)YVKG;f`A6)ڠ|Yhq#o :5>2K!QU7Fi`"\mއ΍8kJ1,>ٕ[}oٳP524-~R.to۝orc47PNj~qE7*œU%I6"zuڼx؏D;0LzySt.ոH,>? HpTlhЀm*:U["rFL=q_+Ǝͤoo2"rՎ4 *Z z[J2^@>,4Ӡ#7XpX *Ԡ9D@;_qY0 d@ ve[) PqdT$IODeYgݨYJfx5jn8Kw8(Oh =ysvU/s%{J΢.OxVϩ$0Zx0jVɷ"5}Ylff =V\1Tx|VJwt)|OIJ$v,q[r\IA%2赟c3>*e22r:ֱO{c&-m@( Cj+8t33u\^Ij$݋.sҎI& Ix<,RM1h(M9M~GnKN%/| }iI4aBSWϕ) i(ٖmir~ trąhHMSL2†I~+wdt"#g2@@~uO ❘H*뷲5 Aؖ,5m-,q0'YQЦq@>·@EEN1Q .A-1t uU +n=؜jr5'rhκ?R*(%#yo1Kl$,\Ƹ=1dC^|%EV+: psRKT5v OÛmn6MrMȇd jhMW9P>gX: d|Sqb&2ǤID9(yg*1Px=z >_31jR6꼙DKY]K+qb -;x׊XU~0S9;)b^{?yҧ.dQjYl:h$rVǟ57}!(l W=;a O "'6vF/P!Eݷ&Bɗ&D7ūH2:~#lϹT൯d$yHJEV4\ݺv ,Ī_xP=)h]sx[*q M9'q+5bOx&?֞m9a]MuQhFR@u#eaucw_OZa[/|O8 m<(sx*j>>oͳ8ޘb}HPLYsk4 wz4I^Wh~lm4@Rfq+"SԺ=)W_, wLۛL)_0EB++"1!?߄X-6eA29R~g"hs18|p>%#ϛn~I?vAG>mE6I mY)|κ52(Fw!2\c0 @켃)_:=^L$7S3°i2>v.Ik%ImUo2VPyvԛfvIÚ9}-hs}|ZPwsRR ss4 Bzs4fPRdh3"{pD 6ل,*NIȳ!eBo= w2C6\ NjOwq3p*l8'5r&7#OߔZ^" 03cKf94'~ ?Np;u`MNC-5({Rx^hõQA|uHB] "I``XuJ>) 4:*BV'閒?X#o*T/Zpl=zq\+e )>L2KZ9bN}喣*Z,l uLbgJCWw0w}d)[M"j^E77+&HzԖ3zuEsl3O[P/,@j0|GvvP9>|npTN j5w{ ܀ zT H'<҇y\A" 6x,C0t泒iwKH_9|ɴMo`Q˗" cj2zg|W'qӓ]z"k&tbcm}g\vsm|Z>%;13m>}3^mGa<O-[AbWg#o#- i _הq|I"y^$ٰܡyקuRe%vrn01DN\wGFY S#/ϖ_R7r-mIP ^mɟx2Ě.ڙ#25A~q ;q@j.%eFY-wRKb~e'[ٖ7!^{˅ck #WK+]'BDo?F-@LVyDGw\QR>r4agD`u!ZΣcTsq5' vq$YJM15Ԑ~%;Jvn%a 1iS.@No|l,nAr'lPgr J|Oqv!2"d⯪Dd7|@\nN)y;b,TgzICIv`=ˌKqC䚙/$p9"0`.bnY\rֶrr6m$[ٌr27 Ck=7ی/ůAM U` 4u "4neL59%VMv9S&W+WhjGz} 1/R[^].+ɧy8QjR $\U0Y1u 'U<꠺]'rd Z#QO1m1z@@"Qw{';rrtkvn6*-k? ʣ2ɳg&. ͞'zJcMR WĕUp~Ƃ:fL''&f>|MJ~R}P|6arW z&$c(Am0a2դb4=LL:4X%2/TsH,s(Ÿ&KS_Y_Zz&[$4>@dQ(oԐR .&:.z)ŋOGlQ#~Rc%O6:3`?x cdrj:WeU5PX5fp~Dz=m/+t1CJ+~v%(J_*Y~Ee2]oT/ E!/vؘ;g ^Ig7̛$ ?ح`k'߭ƷK@Q)B8a7W󐃽b}1r]s(`6f |zr$Re݄P?EU=KŅ<7S!B4Q-hgx㦎Q-Ӻ:?d# O"cZ??)B> du-4-7E `i!$5iQ)\. uUٓ$ZeE#0'UHSi ֿ$_^ad<;pY3 `&U5ԙ Ty'h/ 0gjZL)a{u)j^\Ȋ?JbC3rtksEfsVdKU4%u.SZI pqG:W׎։-4.UK;s޽'ˠ"s,э}< O2E_$4"Aś5k(K,Tyla^=^sfWM]sϸHMNAl~χ]~?rƑs ⾥G&xȄm{D)ɚ U<Z<̘46v.8f)gwb@g^vU2fFi;j14srj 鳚Gጟt*,LD7(0rjo蓄#~+^w QY[| [c QnWH'H*oڷ-4緧iS8B>1?6 w6VO9W8:/ T2,h2 ĤGujjic?UD~D'IQPg.l;0x䭪d0ͨ5)r.;%^B+ԢfYfwlvT33bb#od<`2ŸZK'8*KTORb2&ПQ{*bWK)XƏW<]8h$* İwu5)TwF58@==!@$"j'ZӃc1mG#z] ":DDKٿM! ]7\1/Ĩ]V[8 E)Q r2! wciCV]pU$SB@Cv7B'5bJ>d! ;B} !<Fc c9mgs~4t ը6g?zc[ʭ~{w@4x 'nd/`Jĩg 9ert\Vk PfԴSU>\<3ġkk .z#huR(NG"SБfIl'~Nx֬!!"j YȗdǡfVb'ˋ"N<} [VܬxOڇ"R ڶgj-h'L$PSE)j%&ƽ, N..y@54!xF:~BВk' 41 kPi{(W{FX!: ӈyr#^t$uYN еZa(~42xjLyŸ3z7qP0(uîz$bˍޒ8[yQkAYnxڋesNUnпUbT2h"=+(F3޺?Wq-iNO][SC \7DF4 |gi qx)~ة$/$6]p2<ΥIh(5m f= oHQ\.^qhQb}9TNq qyu`XxlW!9MIz?tYݠQ u.)?il2o7kpP'[q'vP pR{O ˖k67b^O?'|Cmq*Ae{ jm3<"o5 /FsXm`}c=tQPOJf;Y]_ O7p5aM(Ʀn~$V"Su+R9,٪q2C^~Y Z ǁ`OSPT.Tؖ>iRJFrq4MH"f4%ź/j=(8s^+$!Ew&DylI"R>\uzesB;qf }`iCe# V7\!Ꙫ7=Ȥ8_?t"\zjgP7kXBY4V#B0W]qRbCRɹ?\W)|D)9=OPI''ӕ^%BPS$P۳5L7U+:l./qتq <|5Z/"1cP6 9l3`Wy$Ɣ8H;"PCU{*Fڄ+ rpn~9qipxOdGD=,y= 1] ݣˡb]8Žp=hF&l{;)=dޏ+N^rDBt߂ ISgQZ!yOR|8wG[_>F%f4 S[N>^Sr70BziQ}NECD8a9yfލ%c2Zz 9#07hJ(]*UPXjh q Iⳏ O6oW]ߛkfޟBflFr`4<W"\|kWW&՟ӫ.6nMCB!|øW,BN"KvV'Y/ 7N6Q`wh3@҇/yM/"VwzC*>s`4&Pjj[EPL6:P}'h7D_SZŪ77rET>Rnn(͑(vQʧAT8>*LiTM-Qry`܋F&bљ }~ a:r٦~P>0>0 c'+pC@juws YH-%͹ Le/"IIV l7I0rCs^͞祡Yr\ qp'-ёYanbñ[lU Y P"!n616po<聑?-连ӧ)y${Iu}euNXז-bj}%}@R oCt1u WDBȒej9((%[lIM -_~=]ir;ևėEKU_EҽQ^ȏ>XIr9<>hRcNX3|aǹ9QOIPD"f=1ӕN{N=:c-(hJ1mT0p`bmJ:&~2:~ KT (m1SC{':J"f﷛a̒eAhW"1RAW\B_͉(~9M )CymH~`"%gbїM,2um|^ղߞ,tDЂKɭ+YQz-xC clIeO#sex\Ү10/cnz8#l9 W- Vhn*){N&|TMfG:،$>C%oԄR%0Kh4QaT(ؠ}ر[h$_wf@{nxQO,/wW'(]t*\zz1Kj%Xl0-̜;qMτ6mϷӛ/5=<2(]|rYwChtӨ2R2Nw-n,1W>LYy7ۍ+M\1ż%kP#7eBhȲuG$@dMT.sGTI(i^ΦV]h~ C }6Z}bdsúl;緧əxT)^8)iA9?ab,`PՔ|YA[ cpESKG=Mu9wKmԎC Þ<٩o *ȥhi7YiNJbkɻ31O9X$ -$B4H6K]FSm^wR<@ r\dR!d( +d)ږ=LndgX[ Bls.o. UH/v`QS[.Dfy^o+ 6xjx/ c6D5JX (}=.Wg6q 5jfG7.;F .ۡ6I7`;v.Ĥi]k]`aZZ~Dh*]s&a1?*pc~,)PA%l1\|WPŃgK[jg*ҢulģLUNvn0hy]Cu@D)[^_(=+ x.QJ/!W}.%6#*`9 i7N#/ }b` |ta#\6.]E;Dc!2b@H'9#pɜ/J \q)],s#1_j `/p^ )"[Itb#ݰzy̽/yk0~;SlGЅh)t-+{Vnr+r#X񋾖xJcNGҽ9c:l7~Y_:{9ᝪ:{h18.ҥR~QtzD=o~UVRRGRhCޟ W.N ekF??R>ӌ:if[.4([N e.8$ hw<l0KUA%yЌGwi ׆( ^Q?cTcQ}7Lѿ1x}Mr-Ar avFy{ёzGA13䃂*TOBo '4YZAI3@}jn t ޲R~f8C.GMd}Ba 6I jᥔ;'F%$j]zkOB)N 1H Lmjz%y_GL[y%Eލ~2 iw?@G1,7t7NkDm[U}9Auuh抐̽ %/#E5X.cu[|wU>Ӈs݄' ]:Uzk"X2wQPcyQ+@JVCjo+QOeWy30YfWKcx/7 CH_h \(Po,g``Agpdؚ܋| 1IBЮrb%b-h럃JdܘB%ђ9 '߂`+l_J>77Dk˜P•;uǶQcp<$i[X, F{mq`Z?|igQ=T#|-(ヨgnZ9hՊh$NZod+eߑE<$|NdנgwVA]* dQ& )5HO'C phܰ>ʅYmq,$"2>PMOfR;<_OPb3+^1 =ZĠ`d۱iḘu`X6_Ǧ;kٺ->LB@s߳"`Vs 2gb!*w"ҋݠNqzޖTLVǼ#L :|H4p_"焰>㤠pLQ e[KI#^PA"~ iOln6ld)>4-e&i!(g14èؿvj妔.t:mkX-%5 (CW5_=M*0a G/'WH6VES'L2:ķr<(5ץDW_X E[v0<9Ġ3(v&讷agɽu߈J{I_m- Ruh c[`@g%Ywӟ/y4W!Xxǰ͙)Ibk똥>~"49,k IjXTNԑS^Oqrb8n,s0;Ϛm3w/ $G&fHg15˞,Bw> #%ǿH`OY})>^XO~IFc":޶^x 1HI仫9DdpH>B!?wc(㘹d2' L }iBhçH-Ӭ o&,gbg@&Ɔ-\oa `*ξFP=QgH0=ІL'x7ƹOY9 K|J[{JY72tpJT+C!]퐍jI>cU/S#!r#vU{(T)3&-!nVlL)SOGst_}m'!Fb5SGwU 7((͆ ,f$OaQۍ$Mh2kZ[!9W+*3ŖO #m6W(9[?q#ӅbX7Fc"iփo稉 ak'[@Ym֍EJI^ƾF6t4>L^pں#QwȾvhW:L'%ۍ \.]: 7'7]Ux EJf] hhֻԸ̍Bc+ʣo2NjG[ꄶ|bAqhQT]> 8d!]v"If^g2yIVr1Et<(EsKcP%UoKo8Gn{Qիl4𔰨w])B< 0.FJ`vz;[0)Uƕ`I[Ԫ6̃xl\3vW2`ia9RgJ>k`JA bƜaj(M0$q?B*/]sOj2&<LTS/jUk n'WK WqӔPU%x624S) hLP!Nu{{'$jFO+x%6L],="S S\q򱇜NEO%S>hV&+sqjpߧEiJ;)}U+:. ]_(ig^r.K@6}$mLOOC>,qvS2[E?@`mBh,t\FмJ&fVJ삂X{͵K@:X46f ͊Q>4}Pp!p"i }B-}ўL QSz7<6{,B/>7NeDmua-2)gmt8͍i|/ޑ?o׬i,q±,K[{Y>pGM3Y0@>8Bj)jˀ8D“`mY~ea}_KŵZ딻vF0v֙a֔6Ձh뙀XWi g23џE ²,: Werzh /jkFud-9i49 7:à|w\hZl "J71^(o3 4PW,xч\=)a6u̳+l:ҲyAI"t\c ^dEmxc۹^k$= Xt' P^6BEzƟN8>L6,Iz`N4Z U0nlcdQ#pBnr>\4N߻,hRPajW!6\#?ǖP|=o[Runm!N4V<".LؔUֲ,Mo _>(9kCOq{o#:z=%;.rfnB;heרGW^h(=9*jK{D`ϣ@ u]{X#vtҀ_dtK$N{|3WO'MA[@ʯ/\'Әݦ,%eeTVlٌA@&^+_ cЅm%>q׵ҐP42=`Awy+)۴0J ,sJP@A >GV;)n8~"iCIDp$(k鰼WQsgS^+c~.37)FA¾3|<˫W0l{!0v<´)J<1>+nbK ģ5U-(٫IMϷ[o?LZA$y^2;Ƙm~Ƿ7z95!N|T&lwU-~,ڹ!;..Yj%^hdMu"j.v\PZht-q:yh~` ӄKmW|ac& VEzgR3KPr?]şZPű?iYz*X_x>HmI`*x0̆Gh&>oa$\LOd/UA qpm8\DKԜKoBy0Ucg祾 3gyHnd_x߭2IϹFyL."&lr@p[Sռw .JC0(y02׸IՈ]+Bgw՘?wpNXCUO¢Lm T_S Ilwl2_vuB r@eiRF-\mX f x4*ZF0H@ϰ6%|GL%Ҕ9q VW>s7h>A:4ʾ ,MM 8pA= ̈́yVSn~r|n=Ӭ0uˠ58}veq06q6} GwyQK wp6ctli-v͌QGg #]Y[HIpK`ۨ/6"2{#ƠW%AdUZW(="cmX?:ސ i( Iέ*@yǶ `C1VOCnm.id,Ul`J)7UU(@[sdeS3fT9;XhK:M=*+wT⬲0L_>eyT AC&0Eye-9ĸu[P4ԌioU{gx22m=mɮK-7X~azFKM%.b8eوEZRm-QDaӫBglqb@0isG#EI@D)*cSbM[w]lv5;ΰP=jݡ+"ָkǾb{;dekFL؟mU*q!s)1aFG /Z+ Gh1T`aU:#h2-jkD^J?;84\ m};?an:tVq;jg=4?߀"Z~H \12tv=*{C܍#r]TcD`f6byj=WOp1͛[u,žzr<.[ %'XygW7zV;&=;襎15KKuZ;rɼ!sIƑ87\0ܾ3F~`kXV笉L08XT |jtR)AxVzylCC XWU y';T k(FRJ q$%~Ҟeq{߶3'W1םK.hhPK $G87.v6tD}o|Po%Ѣ[`am'vx+u漏+YXrH)9J.Mh8=š6vMi:ʠ 9 XN>- ~ݞ JfQ7Ⱦy&=Dr'=,́%Hӹײ_l=E/|bfTru'zU~ a|C*iUZY bQHNʁŸdIp;*w >&ᨕݎw%2>fZ4OdT+f6H7q'v .qF6Iu>)⠑?W.Oow"˟7ҙfS(7]Oƶ`?'U5mguR%{&$K&C}q NJ.p1c L!(kU} FV^ {w_N rG'47 Y2xSdWyE-[3cC Z}%{YWzh88*[BfW5+r!mX%?q<:mlp_V=A03֓Qhuecj$G;`<"S\rLG+;HXJ` *+?{>5+j.9eTÉ:VG-ǎHяh@|SL6;³i#k+|F` YxvՌ%dda\J1!NZ] M!(YhE^4˪H%I *zbf~NhMsި8}< eWgmIh3CٸP NY~Լ]+k!x8m’55Wk1 LWcVbȖ pأO dqo8ZMʰ&;5orJb6x>2eu0N;kбX^*ug'͒X8^}$Ac%\_oַw\kp| ȽV;Ae7m1^S 4{H{%DZn~RǕiˎcxzfX_:5%g@R Iq\;wl5җWzgè6!-+nDH-EC(_HeߚW*>_qڡz$Ƶ}ՄcYI2־*@;i\CG%>9fT׍k\@2+įn; LU 8atz6c=4)0?wZϬXO<ʫCfr[h1LQT|sc<"a9$ F|F-uor M=S<ކ|篥4+ ~M$aXBeim}ii?9jKd.Pi0Ї]GX .> `'w;,II#oqVxtMDzx&O6K,IKVUޕ4oiK oE u U! z;Fv*vw=Y}d"a5J$FN9Da Dԋ,_@Qa{p2CyDD|9L]|ʒmS^Rb_$!NM>B? 2_Y)k1BHz2r3/‰ P}[ru*rC2h4,km ,TLW0ld]F/ ^bvPA8ʎ+"R52o^߻l>e*/H"/^AΡvXDRZS3I~eS v37Nw9eԐΌ}W^\28[B]4Tp$/4hb;FQ?ClQ߰(] L u+((1W'kϣIxalQ8np&+_%xoH ) :4M0F$J"ĕ\R0cM{PYz_&(A=qь%KyٕiBҐ@2IB8!v \ZE@Ph殺3\Ս\|rXk#dFL:;L~7lCU죵*w\[gg<Ƙp wSVc>t'q@TEGӚɀ$BPU:d4NE .*sM8gX \X)*e5X& H6"e}^vI0B 5D́VS'`YО҄K ;H@u -:8u"VEe]71t0kHBf?T j wl;"ؿOO)@yd{RYMm9Fs윐tEc\iδ52nd<m;s<Ώ1 הMԭ%J6'b^NtZY[ Q /){o. $4 \iXI>5 lmrFS ^_(6|~H7C]Cı.)e =BWv4h-?G1Z:D=R4z^ǨU/iS2}mՄkL|4ZЁOuEDpѤW,ZDG[eɳ;%&k[9:@(n#݋!օ hsRt2 J(B6 kc&stg7g :Xv}H? /p&?a\]0#fͨS5 pW.ʬ8l <rBBџXR~>?6V nO^ rev"8#Yj&`Cyfo#*&0.g:xQE~9.r[iVg6$;%HMB{o׻?fMoH̎ H?m4|n;päzL{U"i<*4Ig(gZ&> L 8Բs "rEֈ8X K5}|W/khT׫f8sp3?ulh%N8UUڛ/ZJC3==hx&]iڮe 0;`҆.Y|jBX,[o+ƱA 9FIؽP=-,t6(>>HPN1@w>O`uӡ0MQ)5EڛÇ *dL.~JcgJSrorL~ƃ."(^["b?g.ϏC3Xչl$u%[8q@Ay?=,0p= ~T{~C9Q- %8jX~;2alݽ`z!C'J,B>2[TJ BK7Vsc 3 !,Љ6?8@=F7+sk@f#hmgPf`s++CQ-˧\ KjpM3V;j`Mߴg .3Z?ڜD)Z@0klMizT r4l@A?40r{q %>`I(Zܬ+cgCcK/fh)aغqYYrSOqδ&|[jي'E +0#أB鼆\4̝X·CiYŋ pxLhqfXlͅ׈vm(d`?1( 2g1=^A›q vGtCYqPg[fDP)'ח@.fo/C Wl U m 9pj> u.{LiM&G_"{pN]XdjBvVuVYQVkWQ$ 6Կ\3Ub:t=udcu (HR'MD/pJ{3kyn':Z6^N3{@ DzLMq][ ZNJ,; bMM@Ǿ5O+ 9a}/] 4!XeTѱI <yl\!jB/9\mXΆ$tINL\4AJf/# `3+*|K_C l_Eb#A4O>0O izۂ6'sLc9F rUR&R4 0V nkE̍\w-x>:EUmL@-}ꣃ sELMPa`3\a,k4VM ]%1J!PFk4^UXA~}Vh#8P:-Qm"ɞ*;E^|9t}wx7<۪X?_!g,=MC練s .kumEy,G]E|YŊEZ߳ݑ7I\|i_4@kT)cETz3u^Y|}\wsP㑜|ġH! }E>FڲCoDbXzv4;bw|܎ 4P%@}K.ȾSHncg5-x!>/VPHbX.3U)쨅ІUg= Z .Չ)ǢG90;Yv ( I1<=gPUjNY܏'UX8rI/%@bS[(&#K$RXYd,4$$tY/E˖םkUutc'a/{z4c3 [P}]b.^$ W:PkDB:~0vn*"dzSȵ)浕p1 XvO8\!s %j*ZMSFBĥ@ Jɜnyɴs0~W:WyG:ORbyX ৈuլNvrY= \R?Ws]' ȱ َ,T %< 덵 Y7Z@8jN+׎RPܯDGtlR 0(j⼯ӌ>/sX]s[ns|lq{2uLkX["V֮p:a,99Ehe{|O.t=ծpDzL>*8?|+Tw[7ʛC&T>q,wR֓|=-u*+9\MHYOU]c?sMp]04Y28)gϹaqǃ1`MD[ڱ(":agérusv A`i~#8 _1H} dvҐ<B0G5LڛK'I. #ƦnX>Q 7]hX$lcٻ:9m{O̩ "vnC$hv_pY[2|?C}&VDAd=f$ړza9ӐBP׉ t_:!_VYa-a\di&z CWyU~mO굣՘/;#u S%iKJ\u1 Q[Z@n.fh 𕄺D y0R9l \/h.7ݴpS t%GVj[mz^(3'͒ۋ-k.x T~}p1N% k)ǹ m &S1.'4<5NQ]H6r0~-ͣ"EnM'zlY`QN-ג!.5s X W/x)mF>K9 Rl)BWTOjXF<ͪ&LNrTCDe hˈTi/٩ѻ ]dW2%>dRU w`B]*"GRE)[6$.٦Oy]nv~G5QRJc#lt=P{o*nԅŴBb6 guI @CX:oTGHx4B- ).귦pBM(\H`P5vݞ;Xo-i"jѢ8$b$}18E(tCdW8iĮ0TWPjktˤ0K.|~7I9<=H˨9y*w9TAꁥ 0]օ#dCcx{~jsHJHy l)etj1XM ( ; hEչ[֗Cd_v|UNnW ;c\s5dWA:ri<[D#;]`!"kfSQXΜE(aU6vH$ u4D+YPgGo:D`-e)Dr9^`e |v ($9m)'ټ'"JJ.Tp5̢5[Y_G\zw{kY"F3LNd߷ߝ^@dty[Nq_罞RLowCx"A ,`py, 6&wͰ@reCW@%Y3yuUTu>눮e !ԚI'tK,R L0:gd5AsW=Ht7ڲ,a(5_t'7vM,FQ1@3r߮dߜ~F18MM5d"}P08Vԓ"ǢSveϪ iIz''XhA]׶0B&6g jכK@?nXʸs#2nsJRx}_9MZ2(F 3rJkmHQF;ce)kzN&z "R= /FU5Ͽj&CX6#>{Utx2 ;n ~guw7Ѣ`CS1[ucPD`wtx vz`SS֢#KKvj1>!wqV)|# ujA9H5m\bʀ8ZCeH&TBWvPz1\V=$}T̷ ovRq2n]cW~EPqܧ׸(Ɉ4. ׌J~Q/pFm]^P^2Iҁ IC+$siͫ TK{o9A+w$Zv#rJ^]j!D'z=m- )~3Ʒ*/<]nYO6X)픹3duCJōK+O8 au`Ty T ߎ#r_G ƉlE hYX^ۻ M7zez.X1XV]Ln_&;z3VP['o㔝t2DmEAVPChENJYGmVJxl w+qqaŃtv_X-'OOR8ɫ)e^uBGS%kw.*u{q>%_pX;3T$ !^δQMsu\_-??Ħn'ʁqJ\[04/Jc&3[o5b,qXWh:ЏZD7Ly'̘HhQ;5:SD4V|ՌsּקuCsqoKSXKëJ!NcO6%a9[#EYOkAkBIe<],h(CqSg2 Cyy3 AQϟA tdŖ,Rz5I%#)T Nu wN2n # 4*k,uP $-)cp7RF e zQ?cS F"z ;5D}/r%v m7VQW[^q6 gU\Lk-RiwgHp\2fKYOـ=mڸ=pBQxg&f Xs[+3>/(TȤ\M4 W9X2`>u {ߚs, (JRXUl<h@c7uښMԽ,wmW)S^+ft1qdLNpJ`%,׿|X9-MXq"]8DU>f$ZYަu#yf*rH}';]J[ʱ3bhK';?׉ zt Xd!gB$9T>lI#!4x1fߟxm;ֺ(ż$`cQA%iLe>-8vUibDӘL:n_.Q6s;D!/ܕT:Mud)B[`$ \נp_Mցntj]a8?2Q֣3} ai٧$M~:ւ^!1ouz67/\K/sq5e7FHJ{vMgGFTuP41@efv^U%gg0ޝqmC:*ҋNũrG6 p}/x;N -!b[g 8ǚ\ 2H`t%hW2|Bv C6ӄ`?"yH IclٴW;b" oc*%4-4C]w`kydĀw-(#,NT<(qUZ"JY ')i}AҜBtX&xɻN 5gş7ZERD6L~ f6TnBt[Ͱ<-T?w׻yI |KI@*-*1fӏ0xN m~7#bEEU#߲TʶwsO²fh*rb\(o)1B@x* D>S=Be(:ȁ&O:{4Q/P6oI= s$C,ڤCxu qB_/pPz4vj*= ˫w7$/% ˘@r!%:an%bTMb̋ci%A e;U>UV}lM򪭈t*RF+1囂])ǷxlWp~`bF_Aŷp'c!SF/~*A"&.@UZ q0`UWݧA"G.N^b+3ݠgw 42 oZ6m+쯊v;d?4ZZ`eնwLCΥM'dDfK?D(gu3o)i,pL5gs>jqE T)H B7Et!8՝czODEM&t!eu3\E yi]$b۬o Xm xR $Ԟ!2C6\-t)LRH鏽u55ruP XVxu<?(cCU9B8CSw& 1mbL aU/d-ݰ+, }yIOFL<7G[Md)TJBUc7@Z#hC+@ % Sz9,ӫxq>hy|: 0nV}bj=6LNhmQ`gec88@e`br7vSJ0/ vlڸC(Xgrz3T?,qzB9]ڥnaM:t&Ns|vćJ ;oS}<X/!΅rj_@n<#zopJ!hNnj9#yCkF~Lm{Şʂ4fŤ9|k6pMg==[kyǴ9q9+6d6fٗ2E3"oJ]Mo"6JN6jV:0#4qA:&Cp:!qdC~ZoJ^I*SsNjFyoOzCe?@!!v"'j=`~L;T*9 ;We?%Tyd6Q*"a v _ZOA8WuF*>4m|2t֤ݗh* (>׵s?L!>?\1VV'ICJUHq[J8~gVR-f|ݎZŨI4Mz%= IT0?mώoq3(:?ϲa)GɟR\ Nq;;&,(,4uV Ey$kycz@I/֬ON*q[)9E)O5:G'SDOeK+~ "61Da1[QsZ`t", C}S+|J,hL*0>K,Vi`kQ\Npq'G錸ڿz JL9 7dQ j6{}D;I,xvQz`y ɵw-&.شi5 dleÄ{iz`]\4|!䗼H[֍>< ug%bw.@e ϒ[Uو'Q,M w9x|tYDAXtUkYdT"7s * |;N,єP?̩,Zt`DL_bӹo }Ъ&{I%[pVʴ)Mĸ%!h V5 /A+<^ UR4lH!&ũtBO-(7?|{ rO2WaR[8_II:?nWUfCWw76zD# s&vB"N]gY(Hk!r\47o0|Hj݄CV#s|.')OzIH3m?*B)JE vlgDIÄRlfUYOQ|l?$(1C"BקN_;6_5ڛ|,.}%1~+O7iYm"au`~AjX?;Ъo )w0ʈ\nlpYC]cIvB 0쑪;n n^͜oq;[!(-f%yȠ?`@(3 )֗,3P||<-chWQVՀJV8ql^.Feǣ,䙝{}5.x:y$PA: j qdo&)J_];`X:2; 0='NA^} 0"_N]^kr_|,vhK<`/Zx0i(ݟsAgC^ib$.)*ߜ#>8EX|m/4(CA]'A̒5_Ui?Uڥn C]D ŧ3ݻ4$U='5sN犉'g hnX4C.ŷMwM''O.CnVm;z}'\:|Bdo WudErsGN3zucU&p5(Ջ5Z[{"%6z"LSG̾n|j)M+0!FWAH}n_JY ?5 ._v $/)DA9a&%6>qiBgvx Ԓ_!h&|'EG-*9piDpWnTK+0P5KKOrGu]UXp!4hff< hYb2o5ՂބT šS6nϲ0ࢭY{djiݟxy%5:KsN:j~]u\7̭kC ̫͉o.pS'c($? NWWT~\lAPD1ɯ9׌p짡'*"4Q\FEݠv]?5 +nҩn>KAOFU.Ra@HV6Ʈ/$ҏ++I=x^A3rU_K(yoXD>1Z@O)w=J ֍ W!Z?1ޢg%A<;fks Z0 /jOl 8Zi(9 RwdyJ@u\M Nv1c?~ ŜLZϫ%ɣ˃4BʗrBS6yLV$rV ?`8Pβ^Xy8I<ױNѩtc٭tmNAWrAQ:\|7V\ =v̉ L1*W)[ޙ94Lgkn@k3fϸsC4aiMwB}*JfG ֔V\}F;x-1l.kaZCx;W*j4a^OlޱBQl&\M|D-^@:==by#N';RrOi^3'~ˏ1<@YY܏^Z!K`o<ܾ*9$<&N50MJ$\oVA%x?C5JUj1ԥW+0aȽU-DcŤ~;0YZ XX|u%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(t%-PureML_BootstrapPIDE/document_id4@s # TPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#Os{5EK4~\0[칃+"Q㠼N DaYIZyC*>y:I%&P%[szO=g#kyW>&E[M!bvǴ%Gb^"se]N|EgI45V"eQ[|6 ְ6KRwUVtOȅ#Yҕ}w璅RZQ;P!IZoBˈ o=5*UAdӸ0f8ќ zZq8S`ߐ KO|Yv!㭾N x8p`ƯQ`c:N/C҅52} /,:ڡ?^;ziҠBmmK>NO6:qO'!BbE-FkB0tH3> j!wb9FjPW:ﶬyKú7FCt4b4j's曳Z,o w OqCP"s&`8hvW1wg}9hhd0_Pqݎ^! l]v|BY<C>Vx㾦Y6"c i~eS./\].G**/^auo:Y Y)_ =h_3ysUcG3,a읊ߤdLl+fă]rp3xctV拐D;9/A*:CXT2daXbl >jL } R.7 afPnsR8tY='aQDz}grwi.֎p@a<<e\Ѧ!jWYsQ:tSMˊv΂?3/.K\~<xEd6xōڇ2;g3 ttRa/5{{UAORq51H*.xEgK0>LI]LAK8aSS3Ν Uws$%m;cH%Sd6~\ W9T)N|Qm1| ™wESKB=*.H <_8[=?] #|޼ LcƆlǙ|-H KqSWj\ X$#+wE;͔B[V(6 L͍(.Xҡs>I#j׈E@we.՜\dƎf,dˎ= gӉ⥞Ӊ֋E:Dpql D Z܄O^Ϭf2TހWR2|U6vG  ()Nsto< Ӝ\O%uR@TBz u煚}u(xQ^)'/%;]״:4\ -AG4WKH |CFIxnEmkf?"\3Z|x(K22` !g5oxCm޽vO} <ٜ}ϨkH73X7̬i-R?!J}̛GTfX\:tA۸W+*EȨzGd⊠ k޷ld|Um?3p};,φBS,^WlJro4sS[=Y 0bWw)CKZnk?{ ȫ@*zYsd"0 63Mf^$.Ed[O̓8?mc`yM8MEe]fXQL>i2؏y<@+ƽbW&9>y1ɩ`x3F Ph(2Jj`rӦhdBidin=2._qM9㜸֛A֫G**1zvVVQōiV&L^*93nli:-*9oXSHS Y_{jȆpɃy0Ł(ŽmLyɓ4} _`ғt=Z$s,L?ՓJT螞>=[ NЈI&d'F$`==Dn0WqU R`hµ&(kv%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzHV+'X8.S,BQDg<$5-u^OÁ{b)y&tOU"nU͍ *p?9\͈Dt &V/kߨI#_f*VFwk24◊E;WzUC+ZcxM/i u]ܥKz9_7~'yjǓ[g2܋O^LI}Ȟ }/kV013ҔTvqv)>u"\n@1#^NߗJiy"(^vImRLC;9e^McW/m1?+ +Om@ wD!  yLSt!2irݻ՜..QmXAm\*yt(@{ S̢DT]I&Lv&hsGitl'a]o ? !L|jnRcQ+)JZ*ӟ~n,h!l0 c+ /.s#22)h"gD3Ψօ5x=.`4HElf`JT?t:CR o8//-)EwbYW&Y7 2,AZ.0芏ue穰8;Pv~cU9yY=.OBN\5_̌YU_4WF\CM3w12 aGz@&٢+™gzf-]a6:8 Ž僯5-Ez iF¹eˀ{ ] F*-Iϰػi-Z"4[I>ڄ .=MOG }#d>G{II]8?{*ЩbTk$O 'gkRzK? ;~*QrWc'%&X9NCwee-cb\@ /`KlII3i;nK핚K#4v^X$K U`Տc+^{F+y~pYZv75Qa+䠩 #^qzc >YS'I'ѓ#|%$u[O6(.ʷ&WkwKJKRhy(ȕd+-Δ6voD>)SCWn!cdL$FXu^{\P*h>x,>&G4Gh xǁ[ħj.zv%pr 1K$1+ލEXWRGxOΰA:~p>SjbEVi_,?*bmo+K˟=)Z1a+Ze֜{inBu22cP5O`wk^ϖ]G hdLO"FLaż S8!AB]ݗ$4gYZ r%˲5NhE%QDGq2c Nfz?:ٳ>+VE׆*Go ~KA9x%,l3<bTWf;Z*RP*0rQ*\bY(}M>م1i*h~PDܕ_it)aʵseh<"g#o~< @m?XGQ$ جIl("ȢQ,V[L$4oQnBXX(?R P.y/7I)a^* z yŊ.'^&O;t~3]^emc2~b"WM{zmpYsy#HxQ_h=-+"GgĞ˄Hwr!R|OOEǤtDyLhwWe|N d & %wăS+DLvŕS"K\ ě-naIt:⵬Sph&HYz݋`I`G3+fgMrS|Ԛ6v ڀZCUZ`95E{[$Dn\>9HI;ʨlHu[_ uT.W:)pmu3A (+Hjf`W&t{u?+9nisRE:du*VxtVMiKQrjS^xkH߿2"rMÙG`h֗ &'r/s$Fccd=uY Ʈho綣 3>vˢ7R6q~oτ(iZޱRЎ[$Io|zo0?/urb舺ې;vApum0eWD. Vx}G9+"7C'&8ifC܃O0&QWdd<1<12897 XN@KQr>ꐗ}&5A4Fsuq/ܔJ(YA)ASTk-(4569Pwcę`d0Os{JpЁM+#ۃjùm4t b'hQn{nMbOC¸%X^JYZ.|ڐJ-HlRqN)ވ˽Bzam4`\Ƹ@4Tvh[( H\fᓈ7@ecvRAPeF^%æ{F@Mk7 DO!{hO2U,fFX~ N_4y`cMɖ;?[t`fHDL ?&0pTn{a?\x(] U uiejW }K #i[:ΏUOv{ ׹?Э+qrNї{L???8a~sQj)>O4øf5V;UZM1ؓ(}8R%P)V;j hԖ6.MrvtCx#ƣD£JOpQ!xFdr4^cqTk~dl`qauHr⮁jaQPqSN7eB[WNG 8,Bnʕҽh~@L ,ZSB]*ZS)cfɆwA/xEf†!$Lu>ŜI$oXw$5*IAkmWyϹٝ]0oS5O}-Tٕ΃9pdGl?Z!G';vq$-U"asPݽx2yt4[ag O؊KRXT8iUޕw:{,cS鶮_Gzw=}ޙg~lذ V^mpocN 2rӿc'd`MωHtjgn> I):jrCa id`˸q{:Bk?:_Ab|.weO$p2]voQ t =CjCA$Կ{>%hk%gn/k\BK  ld핁h{[4oٚO)ďw[ʖRh 1Y4i(L j_Ƒ$E0Z"Zm].L{,LujH23PS =8Yx(TT8xһc(K7IGhY|'G f7ewh̼j*a#Fuj  q]sj1FwC-Ǜ9p8$ehfjWԄ ]r +f2R0QJr)3+Y 8ml#6_j{zLN?#~{* ãv l6TsZH<׆H.Y1t݊51oS l F^1Eت9ج;?22{C-dRJfBw5phy*)pb6^yYo?Y48yFīŃ<Y,PP X_)h;½UQSq/ÝmgNj?tPza;B. 7Ir˿3H.b9l/K5ۖaHJB>qeŮ/f<񇭉'H): n=d.Ӧ:StRjz%\5XQik95EO *=ޭO/"4Ȭ8 i(%a*&1<5o'3E 2w8Z ] Asc]rʠLlP).ܐgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI;|񺼺ivauB e2(EYL4L;\|`^ }&c&Iů+E3D !uڿp}E"Ei FIG|yv,MQ@+WCl [՗xA{BLNgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂYLA0\ ]h{^_(x#?,ZZEAİ~{_| rffFxMFNoPɍ+v|X?jv9)UX7%`ygڕx䀹z6"^UsCuXÈ'tZ颾dfq/=`./F*lg?0\NJxcBQқ^T6]8= ͤVR ٔIH= We|yF7ӤIO%~(;v@]>u cjYhIEV~k򼝿1kO-fq"ؾtEkϞ2^裆'La5I1%C(VfYRvɄ`@*#>G%4 b>je=>WէC7Fۂ ?]Ѯ7#ǯSs)Wz #  kn?'%d.,}J+M+uu=lz=e ]`\Rj‚rLO1e3U/YÉXz` U%u-4-mɏA %oo$-K=:SOj5wQFLCo;X-kfhhw Eᾗ 4C9kA$<䒓5:9*إaWBF0esߕ坌kUO3xn1?M%W@6[ ,7jf