SQLite format 3@  .;  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   bdLt ] ]Pure:threads=1elapsed=1.045cpu=1.048gc=0.000factor=1.007zXZִF! l]ŗXf1-ƕɸfn쉟8"7+b[SDsmmYT^rDlD[#8#7a.Xǣ|jG~S ݱgYZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|eWΥtR}\ >/*\JA=jܽq+G;ف|iɩv,Uܵ|>ұgYZ7zXZִF! g]ŗXi%L7ϼp \52;u U'sWn}4C0Uyv-pOuNH6<ȸgi1}`pC_Ke]S6{sLL%ף=F!AjR;|[mдJ= MpsN} )ܥU$AQGP*iDK A4h)u5yܴ% 0<iXlR{L4JqP4dݙm ]~^!~|^@'Lɔz+1L@ Sk8 gl-C+%w8A&WPV5; {HVfCAj ,:zãrL{r&\[p?|a⦆ W/c,va !ȦkgYZ346c199df112270d30a2a6ad94a8048caa8e59ccd3f90704504dab3f9fc94e3d143d1180eb260c4a  Pure  OKF9R! |PurePureproofs/6567zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU7J7l>m+3S.)gYZR! |PurePureproofs/6547zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU 0U,EDJ`ll$`9A.)gYZ~! TPurePureproofs/6527zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?D Ԑxϛ"s^NX6Tq7dc gYZ.! 4PurePureproofs/6447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:L`^igYuR˸o:;gYZ.! 4PurePureproofs/6427zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱIXL8K|j: =%o:;gYZ! \PurePureproofs/6407zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE .R1`hKBT e9EYDZgYZ& ! $PurePureproofs/6327zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7x(BR|s ~ X4e^gzӱgYZ& ! $PurePureproofs/6307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7Zդ8~zphS!gzӱgYZ ! \PurePureproofs/6287zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF h #Z0LgtJ=k]SgYZ* ! ,PurePureproofs/6127zXZִF! N]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f}sL ;T 3e`T1jqgYZ6! DPurePureproofs/6107zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6027zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd +^j e/v}"ј!ъk]SgYZ*! ,PurePureproofs/6007zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd v]o.ԓ݄Wk]SgYZJ! lPurePureproofs/5987zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4667zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4507zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4347zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4187zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV a P B3% i *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/44482f%PurePureproofs/44476e%PurePureproofs/44470d%PurePureproofs/44464c%PurePureproofs/44458b%PurePureproofs/44452a%PurePureproofs/44446`%PurePureproofs/44440_%PurePureproofs/44434^%PurePureproofs/44428]%PurePureproofs/44422\%PurePureproofs/44416[%PurePureproofs/44410Z%PurePureproofs/44404Y%PurePureproofs/44398X%PurePureproofs/44392W%PurePureproofs/44386V%PurePureproofs/44380U%PurePureproofs/44374T%PurePureproofs/44368S%PurePureproofs/44362R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/44020N%PurePureproofs/43988M%PurePureproofs/43984L%PurePureproofs/43982K%PurePureproofs/43978J%PurePureproofs/43974I%PurePureproofs/43966H%PurePureproofs/43950G%PurePureproofs/43946F%PurePureproofs/43890E%PurePureproofs/43886D%PurePureproofs/43884C%PurePureproofs/43880B%PurePureproofs/43876A%PurePureproofs/43868@%PurePureproofs/43864?%PurePureproofs/43858>%PurePureproofs/43848=%PurePureproofs/43844<%PurePureproofs/43838;%PurePureproofs/43834:%PurePureproofs/438289%PurePureproofs/437788%PurePureproofs/437747%PurePureproofs/437726%PurePureproofs/437685%PurePureproofs/437644%PurePureproofs/437603%PurePureproofs/437462%PurePureproofs/437421%PurePureproofs/437340%PurePureproofs/43656/%PurePureproofs/43652.%PurePureproofs/43650-%PurePureproofs/43602,%PurePureproofs/43598+%PurePureproofs/43596*%PurePureproofs/43544)%PurePureproofs/43540(%PurePureproofs/43508'%PurePureproofs/43504&%PurePureproofs/43502%%PurePureproofs/43500$%PurePureproofs/43454#%PurePureproofs/43450"%PurePureproofs/43418!%PurePureproofs/43414 %PurePureproofs/43412%PurePureproofs/43410%PurePureproofs/43408!PurePureproofs/724!PurePureproofs/722!PurePureproofs/720!PurePureproofs/712!PurePureproofs/710!PurePureproofs/708!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/656!PurePureproofs/654!PurePureproofs/652!PurePureproofs/644!PurePureproofs/642!PurePureproofs/640!PurePureproofs/632 !PurePureproofs/630 !PurePureproofs/628 !PurePureproofs/614 !PurePureproofs/612 !PurePureproofs/610!PurePureproofs/602!PurePureproofs/600!PurePureproofs/598!PurePureproofs/466!PurePureproofs/450!PurePureproofs/434! PurePureproofs/418 9W  b OKF9R! |PurePureproofs/6567zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU7J7l>m+3S.)gYZR! |PurePureproofs/6547zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU 0U,EDJ`ll$`9A.)gYZ~! TPurePureproofs/6527zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?D Ԑxϛ"s^NX6Tq7dc gYZ.! 4PurePureproofs/6447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:L`^igYuR˸o:;gYZ.! 4PurePureproofs/6427zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱIXL8K|j: =%o:;gYZ! \PurePureproofs/6407zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE .R1`hKBT e9EYDZgYZ& ! $PurePureproofs/6327zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7x(BR|s ~ X4e^gzӱgYZ& ! $PurePureproofs/6307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7Zդ8~zphS!gzӱgYZ ! \PurePureproofs/6287zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF h #Z0LgtJ=k]SgYZ* ! ,PurePureproofs/6127zXZִF! N]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f}sL ;T 3e`T1jqgYZ6! DPurePureproofs/6107zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6027zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd +^j e/v}"ј!ъk]SgYZ*! ,PurePureproofs/6007zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd v]o.ԓ݄Wk]SgYZJ! lPurePureproofs/5987zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4667zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4507zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4347zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4187zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/435027zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03v?\^P/,BNOkLF}DB› ^I;*B-+gYZH$% dPurePureproofs/435007zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/434547zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞GwD$ _W%NѱgYZh"% $PurePureproofs/434507zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wctCE! TPurePureproofs/7247zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H8Ԗkst :AlSAgYZ>! TPurePureproofs/7227zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H딐mzXS ˝} SAgYZ*! ,PurePureproofs/7207zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7127zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#5sO:twQt}䁱gYZ>! TPurePureproofs/7107zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2j 5ZHBX*wQ~)pgYZ! tPurePureproofs/7087zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7007zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kuiCQ̍n<N326}䁱gYZ>! TPurePureproofs/6987zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kq Y\yKTFDAdc}䁱gYZ! tPurePureproofs/6967zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ N"   mN3% PurePureproofs/437607zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#/\F}XɨjSWڭPq4bQR <(KT gYZH2% dPurePureproofs/437467zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTVcⓉ-h2?u&/dqN reʔ=1<'FC戹6Oy^%lf*7*`2_yyTV#jlw3agYZ1% PurePureproofs/437427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL9z(op}DOȵH) g{r|*bD ޣUgYZ0% PurePureproofs/437347zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒӷNzӓx Tނ؛7Dzb+Y3 PT gYZt/% 8)A8oœ8ɱgYZ.% tPurePureproofs/436527zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU@1J#5`?<((gEi@ J9 SgYZ8-% DPurePureproofs/436507zXZִF! .Z]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0E:~Ⱦڲ`4jZtHF~wz ғXʖաu&i&Bn,l0¥Ɏ 2>P[ZzR&5 5n[o؄G9?}-0y i ϒ$~K$&%-ʟ K-0u 0Sa¼d7#.h)$|0z=KgYZ,% \PurePureproofs/436027zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM$dY IFUڒQ:,l @HgYZ+% |PurePureproofs/435987zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{vY՟cF޷z &' p8oGƱ,(` VgYZH*% dPurePureproofs/435967zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWbǛ˃;>D]:,Xǵ'b#3/`EQKQ2H ]wT3FXsŽ#ƠEhEm[J gYZt)% ƶ1bXⶕs_|3#5tA-hC)7,Y;p #]gYZx&% DPurePureproofs/435047zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxKHOp{M 5,*޾FjD!)dU^xMG>0gYZ  '   jc1* B% PurePureproofs/438807zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMvpbciʔ*byyGӲLL] z0 vZ´4Y^g)ٶ HagYZA% \PurePureproofs/438767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xNZ%` _##o-u4Z<[bㅃmI%?dc| agYZ(@% $PurePureproofs/438687zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%JF6W{ŚhwY \gYZ?% dPurePureproofs/438647zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~O2 tX߮?Te^DRзVh0xc ᓶ m 4 j;8gYZ$>% PurePureproofs/438587zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/438487zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0etsB*,j.~/>3@^'f}{ :q&!ߦq;zɾ(<|@nO "k,z qױgYZ<% TPurePureproofs/438447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#O ?] 6/=>h,@-|| )(QbgYZ$;% PurePureproofs/438387zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDtޮ/$++a*ʂOį3$ee_{N ľ*ME9)r0)54:ȱgYZ$9% PurePureproofs/438287zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/437787zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gjJOlMl3`"-X=Er,gYZ7% |PurePureproofs/437747zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܚX|`ު)+yw`SO*%R0w/["ѽ;i .2gYZh6% $PurePureproofs/437727zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQz*\)Zfp@yf'#si͍zʳCFv Nx)2~ۿ -嚈] k{YkYyk@)z<:4Ov'A HtŮ̂ ITgYZL5% lPurePureproofs/437687zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ [5 6IL#^Kyn1YصӠ" m9٪}h7mӿ?FUN2tgYZ4% PurePureproofs/437647zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzδ$j?&OEU-7.0TP/2ls~p۔ Q)gYZ  +DAEP' \PurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[EkK]|-GBSM{Rl !DMmR$x#}; G:mA+eVF'ˌ蓆di:DRnF7 Tí7&Sj{^~PM&^nyy+Ѽ~3{;ϥlN3fRw]M'Hlbǃ.^hf 6ol#RaЭs[=EDwjʣd#S1PZQ)iW ft _-z„jrǵ`M|h5a]"pҲ{j ԟB4T4\ХAQ=aOlRq[=:hΦV*0*G-fkW5-Y.RůcibؔNBWvhkr,]V@,gYZO% TPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@LZIm\yCG@s{ld9:#R}=qRmdٗkUɆ^@X\n5)Cl5dxJbDVr*\n!E_HU샋X ̾TgYZ,N% ,PurePureproofs/440207zXZִF!  N]ŗԠQduFSB[I9nS kHc0#D NZ1IaIo8Ci?*нP g0 gYZ\I% PurePureproofs/439747zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p0-)=<&}:a m&YpP.gYZ`H% PurePureproofs/439667zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;PtVР&UR-޾gH["ؓ%RFfgYZ G% lPurePureproofs/439507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFA<~9ie_W.[gLF1`f]<ɯpz4GP8Unl| ?igYZpF% 4PurePureproofs/439467zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP*<"]Dzka Gᛕ1 !.z|$T 嚘5 gYZXE% PurePureproofs/438907zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoyWñs8u 6eVjĶgYZlD% ,PurePureproofs/438867zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z&UN E=pS}7eTQwO-c_Myh{0 _k)gYZDC% \PurePureproofs/438847zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H eJ3V-^y L!luGjB W\J$Љ~# $=QU =N1$c5G:eNXYn5@M0t|n7%)3gYZ  4 A4]]ta% ƶ1bXⶕs_|3'Ϭ\l oYmsRf1x]gYZH_% dPurePureproofs/444407zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞G8x@Txƒe1-FNTԁQl lWgYZ4^% {#2nr < 2.%C=Z.c~)pgYZ@[% TPurePureproofs/444167zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2km;x<ïIT;~х,}䁱gYZTZ% |PurePureproofs/444107zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU#[ʩ 1@.)gYZ0Y% 4PurePureproofs/444047zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:3ZCKs=c,o:;gYZ(X% $PurePureproofs/443987zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7}TSkGl CԅIgzӱgYZ,W% ,PurePureproofs/443927zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f'~;v^GҔk]SgYZ,V% ,PurePureproofs/443867zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd (VߞFu߄EK$k]SgYZhU% $PurePureproofs/443807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8j4Xֳrـ<& ݪX.$gYZPT% tPurePureproofs/443747zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚]LmnㅵTA.vn7]6gYZTS% |PurePureproofs/443687zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/kYbN%3f``\ Gu1eRgYZ,R% ,PurePureproofs/443627zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eap?$YW;ZXrHilR2gYZIQ' dPurePuretheory/axioms7zXZִF! j]a0{rg+5\CJHa=O݅vBH_}8_]F% `]J =_0]Nv1O[SçX5z;@q^J9ԠV>? s;|ImXt`1BSGƸ?st?wHu7PX)W$mI̢66HT_fͧǾb9P@SjuummpZ@M8Gu}?*@t7/jX-3`5RRlƧdtll !{fB}I>*\)ZV 4 OgzIܫU5 2.tB^wyB1LHC,Z*N8ٹ4䍬E5h~~?)HjYZ[()bm[/H\q/GBvq8 :Vlߔ첲P^+^ampt}IYUy3RHG׸-3{FWgYZ   ( ISi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsg# OntIۂ=-{RgkEX?8c~RoFavʻ(}< v |H`hЗ:&*E*K3h8BVs4mgcͮ-捄#-߃X*S,ڰ+qB=Oc@?|ÅeA{(hq6&snF*ouNe<m(32Ȁc/KLBS"\7ç뻚<5m`_`=Gˠ]0Aj!6$oߣ}J,3d|[u}`]g⏁rfgI%4S7j;=A<ܱ1WE?. L k6kAkz4=O;sM' 7񑒌[ٗu ,d&1)hV^ O*㒰D!^  'F駿8$5zEN%z@h#HOzF?{pZ_# U5 %HF|3_|~ ,mZPK $dvL[yĆ~-l%4kľđp07D}=`F:I y"w95y9HY "3ae2 UPw ~~5~,^%݅ UHMn~APDa໌o]GԭBK#?/"G;Ȓt`8t_1l93E@>LpBD_1u?QbOFmOz"`;s ټu-bf=R6"V !]{>ytG6sZKR\5$1MF.j* \."NX;ܼ%rdVEah;'eZ"t)m]{zR} z0`, e 킍2ۭ.uG(=/z`J#Œ@E%Oe R[@΍ϵQneS~ VF{DGxC/'TF$P/I}`rz-fGZÂ&GDxOXvOTMsm!u &#V W5Y -ُy~&Hb"(Wʇ!p/WxKGX?ad < S~]@bnҽTBIN. 1m1ʕk##/E}?_qhoV0[ H*T^2osRnnɉܵ<+y33뙦^] n@/-;/4P֐CצZȮ.I%kGa)SԄ=n8ג )o2K2n?-~9!ᶏގ~;àm^ہagYZ\f% PurePureproofs/444827zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo]ЮR"TgL@#ljĶgYZ|d% LPurePureproofs/444707zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gjJCֺՋoT) {DOk,,gYZtc%