SQLite format 3@ .C  B --?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  ypdT4 ] ]Pure:threads=1elapsed=1.095cpu=1.116gc=0.0007zXZִF! k]ŗXiɟHVҭٽD~Q;ۆnM嘔5SBA5taSBWR8ʇ-So klHY>o}0a!1ǥxa,gYZ7zXZִF! b]ŗXiɟ˚Ћ. k$w|f J22Uhl.F`E<il>&q W`?4^u[Tsa~tR~:gYZ7zXZִF! T]ŗXi%Jկ ICZ>䁄ՠ@/"֯C'w Mgdxf9{}Ba"$[C rw;1 ԙg𩍃@XFm T4ZM<ї ǿZ602)au }>ANTUcgl]L|QWr& u[ngLv7;:}SK9PŜj|G|fMqbf&&|\<[sbn-0~XX/e;aZ~nx W. ꓎ xbe2 ue#쥯'uIlTB-4>NțFgB5ނ}R|,{eES׾t+$iUhݽ$U^ȡw0=E{BSAp5Jqר5JjǝKz @ž_pnMf=nV#RGՖ\UWӔ pHn1%2v:#+04hndm0~Y;&p(ؑӍm;e-SuCwcT@ڍ4b%N ܟ[f({Yf9)E:O^''gYZb5d6cc3fba5c3f87a4ec5544d3639606f3476205d283a8fae717924d7d4c810028d8a4be3559955b  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귫NV i a P B3% l *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43706f%PurePureproofs/43702e%PurePureproofs/43698d%PurePureproofs/43694c%PurePureproofs/43690b%PurePureproofs/43686a%PurePureproofs/43682`%PurePureproofs/43678_%PurePureproofs/43674^%PurePureproofs/43670]%PurePureproofs/43666\%PurePureproofs/43662[%PurePureproofs/43658Z%PurePureproofs/43654Y%PurePureproofs/43650X%PurePureproofs/43646W%PurePureproofs/43642V%PurePureproofs/43638U%PurePureproofs/43634T%PurePureproofs/43630S%PurePureproofs/43626R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43442N%PurePureproofs/43408M%PurePureproofs/43404L%PurePureproofs/43402K%PurePureproofs/43398J%PurePureproofs/43394I%PurePureproofs/43386H%PurePureproofs/43368G%PurePureproofs/43364F%PurePureproofs/43302E%PurePureproofs/43298D%PurePureproofs/43296C%PurePureproofs/43292B%PurePureproofs/43288A%PurePureproofs/43280@%PurePureproofs/43276?%PurePureproofs/43270>%PurePureproofs/43258=%PurePureproofs/43254<%PurePureproofs/43248;%PurePureproofs/43244:%PurePureproofs/432389%PurePureproofs/431828%PurePureproofs/431787%PurePureproofs/431766%PurePureproofs/431725%PurePureproofs/431684%PurePureproofs/431643%PurePureproofs/431482%PurePureproofs/431441%PurePureproofs/431360%PurePureproofs/43052/%PurePureproofs/43048.%PurePureproofs/43046-%PurePureproofs/42996,%PurePureproofs/42992+%PurePureproofs/42990*%PurePureproofs/42936)%PurePureproofs/42932(%PurePureproofs/42898'%PurePureproofs/42894&%PurePureproofs/42892%%PurePureproofs/42890$%PurePureproofs/42842#%PurePureproofs/42838"%PurePureproofs/42804!%PurePureproofs/42800 %PurePureproofs/42798%PurePureproofs/42796%PurePureproofs/42794!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/428927zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/ƋןZQW*`^wbIlfgYZH$% dPurePureproofs/428907zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/428427zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝VhNt 'u]&lWgYZh"% $PurePureproofs/428387zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w{kg_;<-`2"1 @t70gYZ4!% ! 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/431647zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/431487zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhRzCǢj&M/yܖHBL@uMgގJeu3.3agYZ1% PurePureproofs/431447zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/431367zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A~ `W˓nPa0YZ5ukr  SgYZ8-% DPurePureproofs/430467zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1)_ITyP7A@HgYZ+% |PurePureproofs/429927zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'bў҃aьBb#ƶ1bXⶕs_xR+r T6X51U#qL]gYZx&% DPurePureproofs/428947zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%eO$Z6x6DHZOegYZ  +   ng92 B% PurePureproofs/432927zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰN2 N`7R:_Gv OIU#j^אS℧ޭA{ 0gYZA% \PurePureproofs/432887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP zAtڕ̿.V agYZ(@% $PurePureproofs/432807zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%5F-1ˤښXhwY \gYZ?% dPurePureproofs/432767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטϗٵ9L(R2WJZERv*j I*gYZ$>% PurePureproofs/432707zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/432587zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|Id4 z6 t'sd6b5LYDDcNt,DgYZ<% TPurePureproofs/432547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y* viXFa>2e+=gYZ$;% PurePureproofs/432487zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/432447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+QLjr\z 7fjW7Y,gYZ7% |PurePureproofs/431787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<!Zc\/Bk'gs.̅ .2gYZh6% $PurePureproofs/431767zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^X˔iL?N.`f N)ۆx~/ҒbC츫 [u*y%,ťgTgYZH5% dPurePureproofs/431727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM l9? if&0H1H%(@AYi(r/V?gYZ4% PurePureproofs/431687zXZִ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-%M6c/W-MOl 9|tu xgYZLK% lPurePureproofs/434027zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&7"m\**B1o޻T^Yͽ$ XΤou,9w ÚgYZJ% |PurePureproofs/433987zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ`??Y͡T~eSBVmK g0 gYZ\I% PurePureproofs/433947zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z-Ƞ3~Va=jy ^KgYZlF% ,PurePureproofs/433647zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/433027zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo(;@-e xLp3jĶgYZlD% ,PurePureproofs/432987zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^r ÷IҬF@@Rh BgYZDC% \PurePureproofs/432967zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z7 ٘QkzTtFwĤ ;yF[u{8KyW./9U Yؼ2oM-/|t)3gYZ  8 E8aata% ?F f^d | !L`gYZ``% PurePureproofs/436827zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xRݐ. uV/>^/ϓ(StИq]gYZH_% dPurePureproofs/436787zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝V&_:L1pw0j_.&NѱgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/436667zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/436627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/436587zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/436547zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/436507zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/436467zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/436427zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/436387zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/436347zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/436307zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/436267zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   ( IWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZog# 4PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN;%}:eL X;EISJuW 5²*fvJl;fHƎ3R~ I/@{l}̽HMml4 ʸubҁfsFR f*%?V/K+-*"^8SS"gjE6a/ykLo%k\D\>;du&bVw@h^ȨAq@)֒AN@R8حHlii)ߴi2682 ꉦ݈M= P?qAM?;JLt|8JFڧAmV\YJ $ KTꏗX7nX=jk SV@.{iy$ʏ#?;`{I2Nb@Z.a߰"#K-}[bǷ3-HeKߩܖY@l٢-7Wz䌗sY(‰X"gx7gVb_%jER2-7c@`nR԰: Dsi[Msm;$앪$|4FNwu5.irJu6ג\zWVF{'9xǹZf$ <%uo7&u½vJ5߭e: d=*O͌E\3["y̋[we_-AW ޭ"waC]fm Qv5/GY0W ;27_vĸSEuP9 Denu^,BlZ<>N@aZ%L 2n3C3:S\Y4MQl^~ߜbS*x8Π{hOo{Te\q&j|mWN^1'Y< 2ƞh% AXY9q*#r[{r1;vS!WX6, mWFUgJϯ p}CȌ\w49D~%trߊG0EP`D[e&LSo[01z {=PJY{M:*] 7bg6/JD3z3 Fp˘)yjpQT&Gށ$ԛA&K 6(8ȑjLzR^k=5$dyLɱtcCA"C$EԍwVjxwcҦ}lQ¿'E} :bss~a 6-RggYZ\f% PurePureproofs/437067zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo&Qɪb})9`ɍR%3RjĶgYZ|d% LPurePureproofs/436987zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g^ZyS-B}uB(Q6q,gYZtc% 8ɱgYZb% \PurePureproofs/436907zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM*gs* @%kȌ+@HgYZה5j#Ro)k1~{c)Q72Ot24/G&y@!&`4 d%y5]==74&ꏪضrj4ri]: KJ)d>x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'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˖_xgqqۇԂ2),'tq3J.k^3 &iKx{a_!֘61i?*dI[5~{LʂvIbXe$Y(~g}0K'mcUKXwg2Q.O,3.HUھuj)E#(g<(>؏Z%mH4\c%U ވ<>pety˂ԆX_mx]{-^|lw~mjBMUӫ0 {>a:L=ORU vp$?EZIp lнYwGVHj*u8*02=llUwHuAnِ3t԰~Z7v#{Z2ܜW@@CB}P7qB^q) &gpY+ +uk@ѠKU9f1j`qҾi]E {ƣՉ HU+$\"5 [ySySS[F. >[ȧU%śwݫLo#ˋ%rbiݡSmի0d3#zܧ@{0g9('^$_Ȱ 9+4\NH#ێ8)[e:i[NŒ>nvS-$Kq'hj[*E:l}40Br2.=H-ǣƾ7u@R1f +nYbڒleW҅?2)a5m,f|ȟ"H֩;xV˘ik;{ ٴ] 6厯3|sʔ'^X@RN\È𠶙섇hp;f2O('tYɩ3ݦU:ԲF|+M kL0ׅ R] Ln%6FvʹQ([ǁKgp:?oyy32{~~hkxWg]je֬6֥S}7AcвI.Md*&ï xXCd&4Q $vBE&313@V^&P5N=2!{p(CBĖKۮlE7/E`B}-mVUC7NFE].&Gd|mEí: rDQf,F3-ډMe秕:yƱUQYӊĉ7Wkn _ +&F;F؟p'@LՁ|_@J+1Rs<$> (=`pJ~:MG#`%XcIAEQ#y߉~!1Se핸^@r:RfEaѬ-.s7tۅ٫f-_Z&~1N</Yy'.<%OpS[&p~Eel j|5s+zYg}$3 )#BvڸEن_9E}"SCw (^t0KFd夝N^'vGn񆏲kTGKwsDV7np'okv=` ttp"T6ϮU (]]/\QqIaJvM[VpSQ&Lj"s!7EJyhx>$g̘,H5 :, G" K Tk֩PޫmC_G҇UCE `:g;\(gx ajjiK"fӨe̗= G(l8?,n{̋Xݑ\֜%Z{uo:OXe·ÂXܥ~Ru3,, Y$H'\>`ZZϸ"H҃LxJvѧ`{Ze`nxmri#io?h> &|LzY ѢQ19x/:=HZN/l+m`#"~AQpҨ):t]٩OeO8nI\a,/е'OmHCQ=a6\ Lg{ݽfd҆27O6 8 vrU;J$0]YPsWǢk#3餖"uXDA/^@F@F>)bhB$& ]^M#8I,E~Zhq5t*x%'2o:7It]6@@gK4*YEaUe,񊖦PQ̱>z'nG[Bi Z$׻[qZu>ɤ9u`:5&A-k4닊D U2HnӮ1P~ٿW)J.c'g Byڐۄ2sGEqWjBZ/?WicĘQGaaЀ9xSUr󧔞71!a3_F42wE,E.wҀ3#b~$%_2vbKQuGqUêguUf=%ҏY|܃‘ ަN7@8[I"-R4ᢰ>EGnʈ `^8{'u[7o5!(Q~qyƒiyeYME495, &jO3 vNOo!gr!-gwzt-vӤ5,O[V-5ɌVsmq~"!ں^/wHc_B2gc=x{9[aa%9ŁpaUOJeV0T #}>aLI㡼$II,+ED\.)StG7E/sgZ东@H8m#[D=Nu5A7~'BYQQeYPxWl`+Gzli,ZdX,c6=8c>qDD%; jb8 `4CC̓}$=@?9I\0˜ORkc=>RthM;I{9?'|aXǒlHf 2L/q| xY0[ 4e^XP ʺ[8PD}&F/X&HGv7h'K/(nnGџ_TĄ# hI0C/8)+Ib%y~ * [`d?6|yiqìpE=mq 6;}իA'+O[Ayб^QZX 阽QxYx#*ު!7|.b-N6@[:W͕Rtw&^l\Z ق~X't{?~Ɗ:q8l̨oҸj:I4>0[E~o|pšacum U=Lw_rwI͓Gk9ʡS+":/ƘJF1<(DVxeS6lĨ#4!}XLQHޭ`6 Dľp%"~!@ Vǩ7"> +('%v g{ÿ $Euo'䎦+>7ͺ( d<%]Y~EW!$V:r=dtQe>il!o?ԩq`# r'Vu g%ĤE1Y#ki o;;},?9BBs*#HXŎ3%IU%OJ{o2{4>gR[2ZJX me&[ KL9aEq1'嘙GۨFT<zG8*35D }f=4pSI@55Jy=uiyR,1ZpJrN;Ό>+Dqu) ۴:^3ktͭhE9R2)'SF|&O\5N`A c AO~M'm)yd? ˣv$>A2'^|Kzm z1Nhnv1ԅwC.[; e^e oj!].J"UN됡8W)~gEX}`:Θ=QW=!3EsN?Em C6Anzt(9s,e8@sp )*H)NQ  r7'wF5v0S6mc1,u9VL!T+1)8 ԫ.ḿ.}AbBG5+\]Prx.ܻ*QԨ!-!2NFؒ^\1?מ R%q,&9 QZx\2x~\SXO{% ڌ+viVmilͨ;䇼1>9a'k>5E!/ePdvњrAUEsM=3p{-TSjd%RШ 5Ho yKB"-t]>,q5Mu JLC=q54##@{IYPwҿ0 =7ƭU s?\8;(2tf2pDYĜp7ZQ:e .W G\ů+6%x\97B$@'~c?&mc?=-uLFcf{BY16v0[aKūп˔qxdŴI'%N?GtTݍI姗ǧ}&@9da(|$"Z]Q!gݣzol>*@w1\c1ZOt#&uyY8:{,pn}A`y^q#8b}?&$戜\-AUe2 A< @SSu4+,͝x+xu*dqZ\}ZMX[dz) B}>cDHM:Ĭe+7nX I"nG4=Hϵ1Dc7dյZ?XM3دr(Zq()BGp EFb5$ǸTDY-⳵b@o)nb] V\ۭ2[ -2!)J_~*͗R(=C_TNA}z-ǟg|lMd]vν$rũW Y;Z_W>~9}߲`+gA ʯ2YBW%[c|}g>VAyOa*pj2~.:&~ (hlnV,\>!LC4USr^1[ݩIJap= ~눢zPyz!$bS?;CdkQPp E:|k I5ui]>ъJf/ԁ wo- :;wTB\tOV}jg})mDNK/=B0}#p3N@\@`JB7 `/!BF\Y^4*;ȓ. l[+wsxpDŠ-,X(.%9*crh K4UZ^qej\w2~ُxM,skPPeۊHOءyLjLqm:8E*;D{؄Ѩ{[ 9<^r"ʭwٔCv"JùI ,w;W"0'~ė"wĴmL9 O1O$:֏:G x%RT4Һ] LTKɧwa9\˳22  z?f sQ)CcFY*NQ&Aֈ0dT%nxmWs wguˌowiTV|ONbIh ?[%3,UDaPcw M =z3ꉿw"K%(%vw;I&aL g |%|mq-kN %8wLZ(w%OyTu eE(5s ;ϓh<잗tr'>`uG=Y;HX9Z%/Xy"1BwӔo 6#ɝt^ٻP] nD?`wvcY;I=nsƽϚ(kSVl0rնoR2NJj.loג" gT9ayw;XCql.>f 2AՅİnC{졂qSǶ73BXWJ M41IL'Jݨ QnD'd}g*5*$!p* i˳gMRa&5K!4۶o;]܁o`%^T^DAm79(+dD[n% HoṞgYZ  t>l'7 ,PurePure.Sessionsdocument/Sessions.tex7zXZִF! N]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9_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.WqgYZfj / PurePuredocument/Pure.tex7zXZִF! &?]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