SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  l lplLd ] ]Pure:threads=1elapsed=1.182cpu=1.204gc=0.0007zXZִF! n]ŗXiɟHVҭٽD֖acSR)Ўh:~:D1͢XI(lWZeB\w!E7FSo_ev~x4Y`E`/X`gYZ7zXZִF! _]ŗXiɟ˚Ћ. k$w|f%wb猬kWl fW:!\xeAH!TWJ*u놻 <P{;ϱgYZ7zXZִF! i]ŗXi%NSEF;Ƅ=2y<.WʀBiA8]ж4-/0ImzD}lv1&AdHPgoT)+#jU֭8OfҸ]Q\{e1iUvN=[ Iyr/*Ro@ Ǿ<)hoy%XG|6]qP[Dڊx_99J ʵd%ϊik#wZj NE: ۏϢ R\Y4L y/lާx,Y3|酗s\qyaHA3BFuV/kk_s1mo@)mݯ]cyșc8nbh3Ra sU5=+d br S|.5opq}K"6ڤx!w5E{~w) ї˓^(?YfRiD WybLҝg5D)!=M]- 6 nk?jj0H]5 RބHOc :H?ȮUY#g g) ّglF< 7KKDB@4s87#}25Mo'wZgYZe140ab5d2f19b6a9f40d3275fc0235afbaa590b9f42ef1fa33b2bcf7f41b6d59156a15f0915a3353  PureKF9R! |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귫ki a P B 3 % oC *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[Cf"'#PurePure.SessionsPIDE/markupo,'7PurePure.Sessionsdocument/Sessions.texn!%#PureML_BootstrapPIDE/markupm/%?PureML_Bootstrapdocument/ML_Bootstrap.texl#PurePurePIDE/markupk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/45606f%PurePureproofs/45602e%PurePureproofs/45598d%PurePureproofs/45594c%PurePureproofs/45590b%PurePureproofs/45586a%PurePureproofs/45582`%PurePureproofs/45578_%PurePureproofs/45574^%PurePureproofs/45570]%PurePureproofs/45566\%PurePureproofs/45562[%PurePureproofs/45558Z%PurePureproofs/45554Y%PurePureproofs/45550X%PurePureproofs/45546W%PurePureproofs/45542V%PurePureproofs/45538U%PurePureproofs/45534T%PurePureproofs/45530S%PurePureproofs/45526R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/45342N%PurePureproofs/45308M%PurePureproofs/45304L%PurePureproofs/45302K%PurePureproofs/45298J%PurePureproofs/45294I%PurePureproofs/45286H%PurePureproofs/45268G%PurePureproofs/45264F%PurePureproofs/45202E%PurePureproofs/45198D%PurePureproofs/45196C%PurePureproofs/45192B%PurePureproofs/45188A%PurePureproofs/45180@%PurePureproofs/45176?%PurePureproofs/45170>%PurePureproofs/45158=%PurePureproofs/45154<%PurePureproofs/45148;%PurePureproofs/45144:%PurePureproofs/451389%PurePureproofs/450828%PurePureproofs/450787%PurePureproofs/450766%PurePureproofs/450725%PurePureproofs/450684%PurePureproofs/450643%PurePureproofs/450482%PurePureproofs/450441%PurePureproofs/450360%PurePureproofs/44952/%PurePureproofs/44948.%PurePureproofs/44946-%PurePureproofs/44896,%PurePureproofs/44892+%PurePureproofs/44890*%PurePureproofs/44836)%PurePureproofs/44832(%PurePureproofs/44798'%PurePureproofs/44794&%PurePureproofs/44792%%PurePureproofs/44790$%PurePureproofs/44742#%PurePureproofs/44738"%PurePureproofs/44704!%PurePureproofs/44700 %PurePureproofs/44698%PurePureproofs/44696%PurePureproofs/44694!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/447927zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0+CAmy@XMԾ`I?vIlfgYZH$% dPurePureproofs/447907zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/447427zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟@3Iٮ,{˫[Í(lWgYZh"% $PurePureproofs/447387zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x C^zB}]1fT*b?]  6PX0gYZ4!% +'<7iL&Mk,,.%:fTAn2GgYZ % PurePureproofs/446967zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/446947zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! 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/450647zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/450487zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhTt3M~Ds*8lScW63t,M3agYZ1% PurePureproofs/450447zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/450367zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A caOz'GgLLޕ1 SgYZ8-% DPurePureproofs/449467zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1@HgYZ+% |PurePureproofs/448927zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'odh)O;}.e4 VgYZH*% dPurePureproofs/448907zXZִ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_,Wa%+{9(ƶ1bXⶕs4kณrDxL9e= <Nb0I(nEŇStxڤ~`x(Nd)gYZ  +   ng92 B% PurePureproofs/451927zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰT$yt͚;%Qԥ(T+(eR{ 0gYZA% \PurePureproofs/451887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP +DC)й agYZ(@% $PurePureproofs/451807zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%$v[,wRhȅ;hwY \gYZ?% dPurePureproofs/451767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט; !H0:>`}'Ʊ1 I*gYZ$>% PurePureproofs/451707zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/451587zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK:LQ737/23O(7lN85uDt2(Sd/&^+ lҵ&V,gYZ7% |PurePureproofs/450787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<*4;2Ҡ&KpPYjA* .2gYZh6% $PurePureproofs/450767zXZִ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<^YM4>V1B4 ]rPXNVf)CEat=4ލBoTgYZH5% dPurePureproofs/450727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`ld # *03ɨMP3{Xia)6PA&>m߿?gYZ4% PurePureproofs/450687zXZִ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/^D/`]lx0 xgYZLK% lPurePureproofs/453027zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&X}={\Xp1 |o[`crYm-Mybl+v6s, ÚgYZJ% |PurePureproofs/452987zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ(#{X,΋c|3c g0 gYZ\I% PurePureproofs/452947zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z::!ݧzzIX ^KgYZlF% ,PurePureproofs/452647zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/452027zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo ?$ٗ23$Ą$ jĶgYZlD% ,PurePureproofs/451987zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^%F_ɜ~,/ N? BgYZDC% \PurePureproofs/451967zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z(onx꒶ݿ[B(ܭlrnC1D$dޑK6w'/b/gʣ5)3gYZ  8 E8aata% ƶ1bXⶕs_,@׾N3mRnvsO]gYZH_% dPurePureproofs/455787zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟@VxMm!kyr7TlWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/455667zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/455627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/455587zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/455547zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/455507zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/455467zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/455427zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/455387zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/455347zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/455307zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/455267zXZִ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   ( ISi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsg# ~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SENuT7n0>dqgZ *m7:Bb{O?P`d*}WeKHs  >"gr\E$s`iKQ˕u7Ԯ(w;mr;9uLh, ?K>V2 6O~`:в aٮbYNh_O6FMQ.\W|p+&3~ķ2MWYn B&9yxb_rNUGk S5jc+5os(o7&);[|E6ϛ}|4yO]Jǀ><?if6pFLUs[qHƎBWWs288-blIʫ~V_Rt~S 6uoarGK ѫTB dѐ1Dp!}>Cʢjw 8Ơ*y1C|˚:߁Y ٳ" KqQ^5|jOWدmTچKDYNS79?[rD vRLB# ,g.I~?/jq4z2fvh曥Z+z>Let &N'M!͇&~ |.=`$߾ˣ*LW~s ҐMl L =yZ(VT|}6$,.t:i%?4 ,̇2*ТܤW-+l)%Hm3e+Fp:+x :_m4=AXuҗMx~+Np2*(itQ+T;)1fV=ag}u!,4Vkެ 86CL]yit'P,\AOYYni{bx'&uOe{vG9'yv 'jcT:bavd?^x m6AA!0eF^wFtrU5s+艓%8c8yX{G̙(š:TJpu` vA%z%pdM|τ4B6FpMQܻuanV2 Ws*͠c8 bQU"4/כbDE뤲C-J8t_E/WOC +gYZ\f% PurePureproofs/456067zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo & W \]a`2RLKjĶgYZ|d% LPurePureproofs/455987zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gCؒ1IZ^J,=&Aw5m,gYZtc% x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'ykFm.2ej-|%@#_}PY&f o|or9z3{Y(H OG P[F"ɤ~bѯb9g˗ ' ſrky#t &(\P|LddxMa.+_EX \zOX\ uz)ؙ &-X)Gv¬A%J3D)UMHX=,[%#&|[s^I%T(O (@fEݙg=o7cT@mI,4nR3%#M"$ꘄ|ks< |qHf{7n >5hԿw*pD4T*D !,p◁;4xVn~̔;^8, M@ovqQ\> Gdqca,U`< mPv/ootjdr^1j@aΔnShۛ߿:n{I'EjjE S!f.9\0 '5xt٠qUBvCmlԋǻ 7CaRker`bxn?ہc,9}s4vHSr4#{xXԳ W(}wA{ 69$e4޷mG [t-{SCH O3W7:̞yCRvyb>FZoqkkRbX  qyZ@ V=dUDƻ="8sn-5"=EĽCVM O۟ e O 7$QsMt Gx[|`7$f#GTX>X؄?qY/a߀Ek)qw~.׌`$X%y ׮# )hZSKhHǬ<6+Nί8Gw(;h-~-+'}01=m]%ܧ mEÝ0m^~F B9ͰجP!B#Ui3W{aB$c' 4º=2ΨL 3^+2tg˘fn-l{ҪkG}_ dwỶiPO:k,gI|\ cK#+Bɩ9Jhªf|<*t?1^zOտ|gR_B{*%ĚcĂ-l1 d׍؉UT9Jd>@;*û!@A9"$G9+=4‘^Z1[MPk&'AɠUh;*{Hc(!WYz頻y\:UMfQ3D#;e4#m-+4.MщwPo8*&sAnEX[b^zɘzLbeא#RM\}$lSe3B`c1\8I 9 TQ6,|#CDb=^2ݽJpW܈xʫYݹabVf 8>]'0w8LQf3S{TT(wq>@7%Ɣ[Uq鄩W5=<1)-pkS,}}ĻүMP+#˧D@O40sKUSy |\F5Y*h(-7C$Rv ^[sy7Lh+,pvt(]QR~e"op\@P~22T+RlqGi vIՠcyG&0j™3B4ӿ'㻫RpiFdaԐA7'"b''dUmadB!l# vi̶|~3X*Q!VԦkV)\NZ-+ 4S{g@bdն2slx#(U]\[aدʥίL?uftS0m3'I-|M.Ad-{4@ I"k@ɀ[ 1]$&+|f_cΚ[َ@=B_pAk=,Bl:JӭÖ4i\Hpxry,C,15Va^̻Xuׂ-=Vo)><ۉLv;i>LQNePX/K7z T{F,?Y@<˻_kӒ6{2\8S; =d\`]>j;@tձDY?U0r9~\Ծ8R>kP?NKG`둨)`&iJ%ԀxַCx0L~>Lct;:ߧ"9#MulAu҉M $œM pLvt[qWWn.=d{'97P^&7[t2?0QP*2/Nfv!J-97:DD=#Gak߬hQ>47r2^CmK Am\Яa f|Ry2H:7DܢM8)ѩpJL@SbVh?wonN!^h*CtkTԥ@^[lwW|dֻ$-ȨY<@ E%~ $a0hCtFA *N#plW0'ؿ\_?}_U@hPְ‹weXuˈr- <0d /'NвeJp?0(SHeK 3"ftM;Rw/"uk%st UG#Y(kwM%/>p<9RHHUs#?G&/meBWֶb-vT68Q\ =Fy2\\P|^tқւͬ.|O+Y-7%dKLV›OU$lEb51Z(yQirXU}TC#Eq跋t-v1~Ghv`%702T<Ƨ a^@$^%`9@ !蘟iԾqir| lfq!裟5?~N;ESg5L=wU )CQ 2&2lЂut]W$c a;3F 6 N>Sg{nSK C iuW#XRyC\8Ylp9yU Gc[}BL(F'UHC$ R-tz\ ]A[üy_p˷i#5,m*ھ5&ε;i׷[iyZQj/n-P=%~J 1h05"ɒuaP ^Oϖ6L#4F@?OJ.]ʌbgvOZbZ WMXB-Cnm[c|/AѠ¼'4?1|cdN]Srn٦PP5ۅ} 髈Aҁ"ĖICoj-gnm,yY&R~ʼ-f:.?WzE|> <_U6?mff}LFCJtqGK/V¨ٗɓrOyy;>:Ǘ'gyejx\~oM? rI>‹P)c.ylZ0H a0<%9'V{jcA0!'o [R]XAݴijߚF| nGgqi,{7eX6ݘ'`l5LbqM]l, YgŤ:x=%jp]!m/ ,)3 x<\P& JB{9MeJ۲O>9S\I =Ș<Ё Nlzw@X,iq5ȋH_NRfs@89}De!GR}Xjg@קqkF(z[c7N&=6Bh4Ly)^`Պ},fdˣn7CQ.$~Dvؘ銆Փ%=[Vg7P<ԢVeO@u4Z˃EZêp˞OnxХ>Rנx߇Iy>=]"W*y;$|iU8fGO[iWåҪnM!"(J;{.N̈ TRUV5 7,mT:'1c4Bw&s3el,6gs6B0U+rz^ḟu/F0zlQe8j]!LB4p;:ktM ڭ9Ԃ}kZ%)9-P뉭dXaQ} 9kbaYn#6rGYsEImچW@/*MI͏<_[-'ߏG6QxB_!5zG볩?]eJ_%֛qeb8|kgD]"9%2GvIO4wYMvB.bZFNn2_^bsT7-UST?ʾٱpW|"@ Qc)e^#Z ޢT3!`*{@&PIdyɤ|Wٺu#qZL Xq*#s#w\[.t)}ϫbd'ݦޡ$ 8'|bEHJؠ߱8DVzo%<OaPKJ:sJ a(\a\FEʭevv һn[N 7 QEJ)&Qv9)?n%ZMD+#l*Wgy'\̝tsеЗdyS7 dWa+*%;#$ve>_OO6nJsCxЃM@*?a:+Σ犓;)o3U>!/ܸIť+3˖_xgϤ'ze8ovQꝫ.#?ޯnAB 6 #&60o}Cs~JƉNCru&c:hVLޟdTsѫ/SY[dAtoѩlyrU-pb3%NV̂-_|Pլ'5 $D|\UKSs^rq'k"/{F鍾hI!E{鄑_QBͨb4zOnJj,Zi).qIu@ilH9F6BP׈cPaJ!o`Ų|^1GŽ&ÖfuuF1hz[ԕ mtE))^d#Lո5DOXVkP;PX -!hDzuP) \Oi4>B{;]JDD =7)l6I\)ћy&q K` (іqu 5{Fid7qG(ʅm@ZraЄ4!  I h?&Y慇i&}el>J/ll=)ey;('Wf4e 1X^dՀu(37Č7 >+E,#AKY0a6rӖ-i3ob7&bGks7Y_uq;gpg2nQ*KeR~b9J R,Q wgw[&вCS) w AajfCf%ԝ -qŅƮPGOh,'[ŕ[ p^q{fZ35! ܸuT1"K+`N szH|΁P--FO5B4~ tcpiG%O.©,gbń {tYz,AH> Ǩ|^V83Fƞ0)XhZU7yaDYT}/(%ܭ[h۴ojѾPdTrtjyy&aVvN~|f j5F VSN?Kѯ}_-ːHڲ(`w͎:dbQztTP%:9Q[}.3ýrSKtMGǓ]}oK$^vS`VJ'DмL{ txLV:hBl/&Wf2{hWPT.mo>s[DjP54!9fd9" xU 8|j<"Uj]ae)\?js N^W1?蕔UYkI}DXT3}΅4֗u$8rX\8Opku0;slLDO\BT[R 6k39Eκ*#[I yq3 -R@ :HKT`PS+>āJ^TB:.U\2nR\<}pD%P7W*:P]cb#hX Ģ4>=YuT*{GמxwGor&Rnf}?&9u@j&mY'IQtm'͚z_H '=I5s`]^Z%~\+f=\c 謲 dt\"!P,CXm rk*0c%\UzD:][mE&7^*`0z[,KV I`}⾺xZT .cFȆ܏Ƣ;f@|bMRNjq$\ HPޮk@PQ"s'РwR6}"6~҇av[+jh-xc yfWU|?<~O<,zl#h\øu7 %d~P҅͏ |vhRTiJ$|Hփ_g^j KgKſKh**}57vd.oO |3lr1h/-,Y~J!(}L P[t9 TCu0 CixGp㎉ςt E\Bxwyg t`õ*"^۲d |;ur@y1D9U.QP-M`Խ)qxgY4 ., ġlvtJjB~af!LB#mnhXKdYfK#.⧙R9vaC±K~H8ȳHT.FHi8hlodA.x98i)q;s9/\7Ïջ?dd/gK%4 < Q T) 剔9֘O)ξv=aQbNK@'h]!- G&Ox`b`4aG4h'zhsa:f}$D:!_cUթ$>$kocNj]kC;s̕%YaNaISX^ R,1ٻ3WVKX)&Tx``FINSM筜܍'MvKkHT+ƴSZ)k.d]1s`C7"X\ZV/# E *'9ch= x.b6/d>~g"\o P&tk-C[9,L @&8sٻsk5Bh0m27Dd0"%mP SkotY#f!knѿ*ʚ >᯾o@6ջ $dcL"=m: 4|@+`B&rdm CE4{/?Jz4:]qfYH1W"!`H]Kn}85wM^ږRD[X,,XuqTzf/vGJXo vj])GpuPtĎ7;T3q)oyԥ˻NXU5rt*42P8|hbgќ>ϴ!uZ,sA0ժ!<+Zu+t{ 1kݲg^©^u7Jª2tnȵv=SMQH:;siWt 0壝 Z5Doٓ}k߀ seڎgBq2tpG†:cEX}U貸݅ V({bJcQI"-%W]IL:^X0|YG%]ӒZBra oz'JC.@kw QHKŘ:RB+vh탢-o*Kk|-xz7lvGo?KNnfe+trUG<Ăide[ݴ;inxNʝ^T`b"xثW8vqp5HkQ0]I\DSyClD@4/ߠלb RnPGBqC~@9B}Vf$X'nCT)k+f4ާ*Dža8*(U1<2qĞ+NfUXy2UUy%sXRMF'D{@( rO'!aob']DB LqT=pua|g4*ORA\|~SA _VBqu)R SukQOxgt) )Yy qvRJM`ɞNMG{w_T?O{~DR {_>8,XNJC~rr@cp3 aӵ$it(ǰ8^ZS@A+[oZj&%N D̅-ZK^-ŀ]Lv`7҂Ef|~=Nq2,?o1aҙJJgJK7`X]uvwFrqqk4;D 3It}|;~ vq=1 '`?9/$C9keY`t} bB>Ǐ:kRi/vt[gOwP!G(=jus` S|9Ȅgͺn6d{f-4U<4Ъwb}N$؋6lIUǏ'Y[u?/!N }9: Tԕ35[`bB=*U$׼nu.84nFd:]v53CIayϮy-I}Bme*di: .#e 1Tke&QpO~Im6>XxvQwLdqIK"W*kbUЎ KkK|q"#6[5w_ jO]PL.^> dj9UI s)T g>G)Yyo# o'BGbPz.6&h|Ol encq$Y/K'"-P7URA4fRe(tlZC-&9Hmkp} oWR[Iaw#+ F7|}kl&ӽyڄ|{KkԿ |Vf;\wnс ~mkg݂RR|a.ĄUq|y:|m[QI*J/Mj'694 X0$@db#.>k3Q/iZTQ3n}3 nUK!ƳǬdBQA!)wW|#[VB%Fª1yE40vR}CL }DQLʖ} 8[@osQ>ۓ{3[8%&xMmϹ)XUz}}4vhbTd<"HE{U,jo, x q rkZ{Pn?[l8I+E}JY%ǭd b2f4=i+z>߳2BVp 0$$0+%eМ#-IOO|T_7ܿ| .(`Fa ?t7Ґl=J]b C:Oo\U.Y Uαyd:I3ҁ0-OZe1O}DU_FKۋ'8OW柭g/ŭ#y:;5 L.Fﲺasǵc-#%oZkZe0nZGD_ώvcH$ʏ$,a t7q7RJnrhGhGiZ{rJ&GJv!hGjs}v˪u)SLGjjљ6f Udv#Wj{ꭶ//o% L*GC/,y|$T C6=2>M(*!=򎄄CYW.!L> `)[@^SGY2~oF?ehesjzE:uBӵ7")^ 42 -n|c,}-eIJ"sq,m˛%u:xw҉G4jl@k5KyޡҦbzXI*FHmÐYbeۻ0-p k?ʤ7E2PMa_g-q%l}2 Y{:YJD?Ĥt#9_y}L6ڤ[ ooj1 J9d4M2ލ@ߩ>z8ǚ|kmQU](/A@.3ZNCN_[9bα^{^2S׻9qtR T1nS$_tM>= !<ڝ. c#ĉ#k!9ډXyrY;w"R|Uw;oUi2=°SF:*~A` `49?^$Lj / |PurePuredocument/Pure.tex7zXZִF! 7?]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-%o:#"Rÿ/Md!j2L{F1BՋt WOO؞!ez c $<'Eϒw6VPΚf[--$7Oծb[)雘&9Vڜس5ĭ%T ևbe2)`U@x?lTN> %!1p`kMT L˝窔g3t7@vޠH_ },4RdRG5h%>ș3c5CC*lj]]\/[J xC!IF9x[^CMfX[зз1̩GJ#Ŝ0 IES* k;!r,$L}gJ6˰G9QEEIT-$\giC'12H-9!dIBiSɵHaTi3hU ;ېٳ;%=˽d]fǬD$POZ9|Ar ɰT) ,tEQ0X[GJIpXn"D#}J)[ bk]W46 tm,olRS;"OOG,pEOEԬwհE痡%'c6S4iiI$vv$UYtkiIc\.Fa`ܦejp\6a6-6²od\ff~pxR!~)w-guF 1Uh%>3C 2D!- "B";]Y sD&*&䵽8h1ӯĖ|yF$aq<(c5!򵮺ڗ5_^t@g%}˟49y,xc+ŎhNn8IG\?P@:&8!II}{>fL Q''a@ JŠΓ O|S犧 YL ԝ(;-D`^ԐV'eVE=QMG@sek?Cm*Vw>k5 ƸlEw)l-er3oҪR62&o5OV{;Rw$foߕpc$LX)>E'`ݴPettC # F37X>br.@թ0GtoXt}\<=1a>b9OZٱW I-8DOsA$͘ Ȃ lb>,;+z}\[Nv8V :K.\)xUlI,mvŞ]v#FD:`RT{åNcWu\iapoada6oŨ쬋, ;7&n6&MG}*!#s^o Dz OB'CꚢdHZJr ӥ^.e$9kfDZZfwC8tUwou&w;.b[3Y(٬ yj9#G2n#{0BuV4uݦܿ>pp{_z #xf1_4uWZ:Ot{AXuz$IJ$;uʻ`*&1_Y(-QmWƐ)j  Dy~N5N5*FEO_Huz>9,r.5,ə1\+QwHsT#+=;:k۹~@V Z!qeWr#~3gm qr'] _WC\Ďcz5 )vp&??+g 4WL_eE^j,GDi)%#^$xu߰\MU a󁔎' Fݟ&~|Mk#@2GK'#fttQ)gqRC&WBu@96ŝ4%$m\y H%CٱnbILw뭯.0ŒF8օ8 u"*b MnIDẅ́4vD qP IC-$: ]5|YJo*4@/.AfTycA31\gY! F@Զn`]lI@C8]͞5LuJvƬ l0A8f^@TWͱWٽ@t̒Omhqg󶀐PFI NˎVC!YkRb(lR/#M?b[xQMeEJ"nD K01Рf?㌟S}<=L䱹ӈle1?٭(IC"vrȵM`'ׅ5bK9dX"nS<}.)9qT*2 UipStvT1E ؎ o7  Ch]"QnvG|zlI9mFT##pAIewDBZr0L)Cmla:3E^}=)ddۡݦZzHX~K\+Kmn8VbMg1ĦsxJ $Uk趱diT,Ω*S[$G/35s:Ao qNM5Fc*㫛N{2d49֜i[>}`'RR"s]N%֮ReiwljȽsp[&$:0 y9Q Q=n Y-;1a6onۻ (Ev"W[K zz&ھ&BUA [ʁ8}tX!l͢KW/Gs%H{ǴAXŸ a+ P)5`GC~S[5ʤ( ]i] TVsSAaMi6|Q.xki 4nRqw^gj. xxv%ý#lfsR E% !c(9(1$WKz{m$%UUCìJo s*F{ hroL&e_Ft7)aJOjTq!+tӀ58hy'_{Wbl[EӮOkxKjI\޸; (YTVy(2%J.i8%ēo'k}2c?D#*m*PrĸjMXSo#1;?J 6vJv;ctQS7U)J1YDH01TQ.$Vsp7laY-VɁGDXDxϤG=pm%fB&[/ 0%=yyn6U: 6\flo=,hh(1Gkz~ͫ1_`LL¨\]S%gS: a)%PU\B$N1P4L:7{GCf)7j&k6A&S{zr gZMNmsD X*"hbPtk~*.2n9·,GU0.pò x-1AK9: J2/I^esN29_.g[t5;-rFݛzn$#e_-e2bLka{[! 9Jq_{>4߈f:1#Cqe R?aAawvy(ѓ+B@W}#qn$>* c V!w ÞB2~9t|[! Ѷ b[|kBpH?7U_{p`>,aQ` !C~h9 3Z 1qf {بx)_j] ide{_ŵB}-7ETBH"” JG/ `ε{.]=YqN/62DOv-ۥ&_X 2\Vi)P^u5\cÇ1y r2*cS+)Y0GeCߤԱudO%YzߙPVyIzWȆJW:-&0zTJiB;a+3|%Rb̏;˹eОm+biWbȓEÅjY~%Qn N:i^H1 @q_"PPhzft;~u5˄vC/U |J-d]!5$ҦbNU{@m_b7@Te1#xZ7 . h޶|Z >m0EprS=MLx a )pO<٤|Ծ4ڿLH݌Z>e]&`luM]ht<>l|ͪ 6&Y49!=}^5RW?fs8*d?SPl?¿HABѰ1MlLV8hz$ 6,`x4\ ( Y;IΦbld ;Nq,l)Hg]< ]vz+DN^MbbH;aǰ1Ȩ'&VZ$jt;uVߩrz!1)@38Vt04F]AY<}\IPak^`cD,܈ۜvuV~rs4+40 NqP ނghJJ5e!&SkBR -b,g[XH$me[mĘmS}E{E7Nu (Wk[TA kk=۪m(#uz5_e7*Zmuu(a/=kiY0+6Y\Œ&V^yDbERDq!T neԡW$} Zǜ*MDtj#BR[Rx9 ~~ȰQ!wEDY'㋫vB);Fd />{8:db4Ά4N.ƿr\EyYC αgYZBn'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}%gYZ{m%# _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.WqgYZ