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  ip|z^D_|QA>S|(( O*Bԓ 8X-x4#ctqJPG{凡/Y媶'\=EA ,6QO(_bv: kI:[ˍy7A qTvG7 a@f jw;A#a%qJ|1 &3t1<[{TX;١®-*fFnld|XIPjSd] ozU`us"}@`xl_-ĿšԎ)@\ݢX !GEkTܢ,ıgYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|eWUNdGNʕ ! 3敹T(qjR7-WZGoEN5qē4AqN}HbgYZ7zXZִF! ]ŗXi%L%(ώLjd jWjpP0]9wQG~`n-6xεI ku K{*n#q;j} *̓%/'I2[WÅzuvmٛgdh-Z Dp W0QA RtÂ(0(1_Q.Q<72A&1-E0P!VJ qeu֣}PhY aDlu r[V m_ Jkyyա,;@~@U)E[3ʹ9=` S1yyD:c'%(cn:9VZtB IQڱgYZ86823de9ec0bd729785f292ab86cabd589798b191c609249c248beb27845e050608bb1c731bea640  Pure  OKF9R! |PurePureproofs/7107zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUEfMãfzd|(R.)gYZR! |PurePureproofs/7087zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUE0m#P_.)gYZ~! TPurePureproofs/7067zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?քKp^ySs_dtgYZ.! 4PurePureproofs/6967zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱƫ Bۛ#o:;gYZ.! 4PurePureproofs/6947zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱdF)IɩZ 8ylo:;gYZ! \PurePureproofs/6927zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE dDT5DDZgYZ& ! $PurePureproofs/6827zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9!MpQQ7uQZa{gzӱgYZ& ! $PurePureproofs/6807zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy8 3g z#NOOMŏ .gzӱgYZ ! \PurePureproofs/6787zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hźScu~uO k]SgYZ6! DPurePureproofs/6567zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6467zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IRdp^هԽ\9|k k]SgYZ*! ,PurePureproofs/6447zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IGO 7xVbL?k]SgYZJ! lPurePureproofs/6427zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4767zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4587zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4407zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4227zXZִ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/43784f%PurePureproofs/43780e%PurePureproofs/43776d%PurePureproofs/43772c%PurePureproofs/43768b%PurePureproofs/43764a%PurePureproofs/43760`%PurePureproofs/43756_%PurePureproofs/43752^%PurePureproofs/43748]%PurePureproofs/43744\%PurePureproofs/43740[%PurePureproofs/43736Z%PurePureproofs/43732Y%PurePureproofs/43728X%PurePureproofs/43724W%PurePureproofs/43720V%PurePureproofs/43716U%PurePureproofs/43712T%PurePureproofs/43708S%PurePureproofs/43704R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43520N%PurePureproofs/43486M%PurePureproofs/43482L%PurePureproofs/43480K%PurePureproofs/43476J%PurePureproofs/43472I%PurePureproofs/43464H%PurePureproofs/43446G%PurePureproofs/43442F%PurePureproofs/43380E%PurePureproofs/43376D%PurePureproofs/43374C%PurePureproofs/43370B%PurePureproofs/43366A%PurePureproofs/43358@%PurePureproofs/43354?%PurePureproofs/43348>%PurePureproofs/43336=%PurePureproofs/43332<%PurePureproofs/43326;%PurePureproofs/43322:%PurePureproofs/433169%PurePureproofs/432608%PurePureproofs/432567%PurePureproofs/432546%PurePureproofs/432505%PurePureproofs/432464%PurePureproofs/432423%PurePureproofs/432262%PurePureproofs/432221%PurePureproofs/432140%PurePureproofs/43130/%PurePureproofs/43126.%PurePureproofs/43124-%PurePureproofs/43074,%PurePureproofs/43070+%PurePureproofs/43068*%PurePureproofs/43014)%PurePureproofs/43010(%PurePureproofs/42976'%PurePureproofs/42972&%PurePureproofs/42970%%PurePureproofs/42968$%PurePureproofs/42920#%PurePureproofs/42916"%PurePureproofs/42882!%PurePureproofs/42878 %PurePureproofs/42876%PurePureproofs/42874%PurePureproofs/42872!PurePureproofs/786!PurePureproofs/784!PurePureproofs/782!PurePureproofs/772!PurePureproofs/770!PurePureproofs/768!PurePureproofs/758!PurePureproofs/756!PurePureproofs/754!PurePureproofs/710!PurePureproofs/708!PurePureproofs/706!PurePureproofs/696!PurePureproofs/694!PurePureproofs/692!PurePureproofs/682 !PurePureproofs/680 !PurePureproofs/678 !PurePureproofs/660 !PurePureproofs/658 !PurePureproofs/656!PurePureproofs/646!PurePureproofs/644!PurePureproofs/642!PurePureproofs/476!PurePureproofs/458!PurePureproofs/440! PurePureproofs/422 9W  b OKF9R! |PurePureproofs/7107zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUEfMãfzd|(R.)gYZR! |PurePureproofs/7087zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUE0m#P_.)gYZ~! TPurePureproofs/7067zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?քKp^ySs_dtgYZ.! 4PurePureproofs/6967zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱƫ Bۛ#o:;gYZ.! 4PurePureproofs/6947zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱdF)IɩZ 8ylo:;gYZ! \PurePureproofs/6927zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE dDT5DDZgYZ& ! $PurePureproofs/6827zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9!MpQQ7uQZa{gzӱgYZ& ! $PurePureproofs/6807zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy8 3g z#NOOMŏ .gzӱgYZ ! \PurePureproofs/6787zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hźScu~uO k]SgYZ6! DPurePureproofs/6567zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6467zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IRdp^هԽ\9|k k]SgYZ*! ,PurePureproofs/6447zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IGO 7xVbL?k]SgYZJ! lPurePureproofs/6427zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4767zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4587zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4407zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4227zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/429707zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03gGH5r-3@z]R~lm ,tXHǚ-B-+gYZH$% dPurePureproofs/429687zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/429207zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝V%4\&sqj=dc" lWgYZh"% $PurePureproofs/429167zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w@?=rQ;t55G˶g<_Zg&'0gYZ4!% y pK$+=n!f4`4jR2GgYZ % PurePureproofs/428747zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/428727zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! TPurePureproofs/7867zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H|ܠKh-)ӌ}]YSAgYZ>! TPurePureproofs/7847zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`HrX2mK'`*v}SAgYZ*! ,PurePureproofs/7827zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7727zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2 sbl81r~)pgYZ>! TPurePureproofs/7707zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2тJTe_$]|~)pgYZ! tPurePureproofs/7687zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7587zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{@C7mtu͸۾5^v=}䁱gYZ>! TPurePureproofs/7567zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{< I8O<ENl!}䁱gYZ! tPurePureproofs/7547zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/432427zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#0wmO=…;P=V-IK- gYZH2% dPurePureproofs/432267zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdT邒t-(Gm'ˈGXRrY#P/M8H):yj6˄oSI&U 89@twEm?S13agYZ1% PurePureproofs/432227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL!$3I:Hγ5UTYw渚P~zp gYZ0% PurePureproofs/432147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒB^\3fkm0)Alu Y%z(g0@w< gYZt/% H#"_1iq]ACxx_]=MT)DГƈBBy2K6FRM~ gYZt)% rb7eJ <~gYZ`'% PurePureproofs/429767zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xV eqg9 `}S.]gYZx&% DPurePureproofs/429727zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL: ŗ4MIdy1کks_>L $5}j]fCgYZ  '   jc1& B% PurePureproofs/433707zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMb A4еzXCm@=n:,: P;q%V,G@/*瞛4% HagYZA% dPurePureproofs/433667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`x͕QHJ=@m`_zlơ~0| ǧYMnޜ2ڝ. &]4 I*gYZ(@% $PurePureproofs/433587zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%,C}]>ufZ!V׏OhwY \gYZ?% dPurePureproofs/433547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~$AT'*2j3@,H,Wqto5³eqyϩ iфɳ4N j;8gYZ$>% PurePureproofs/433487zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/433367zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0ety=E"?Ůdv\! Ujb@4J.OsIb9ez Y'P+<-%ŬW;Dʠ#5v0}qױgYZ<% TPurePureproofs/433327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#4D}GԤ]Vg?T JoX+ֽvDnb=gYZ$;% PurePureproofs/433267zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/433227zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt{o)SU ABXqD Rf>e'TRQKay@t{<SOQ :ȱgYZ$9% PurePureproofs/433167zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/432607zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g1en$ /v̌q,gYZ7% |PurePureproofs/432567zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܭD_в_S$tWqSjw#lo,R% .2gYZh6% $PurePureproofs/432547zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQ~.yĘyl(m_`ȗmS"7 }+6!Gz4ߖ(Y(oc0}N̿ՎlpAVP 4̔> ?]`^:rIY^RTgYZL5% lPurePureproofs/432507zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ R.r; FC>ً!WQ̀k@Hog*i(n;njjz[1 %:|l$gYZ4% PurePureproofs/432467zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzY-6Oϙ 򌛍ۡ%f >%U_ gYZ  'DEEP' \PurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E.ёU7MȬ˦ܳpެy>Z6&bL(֊1έ 3g􍽩9Fw _,%$ĩOn7Wٻ Ji8>Nn*į/(UU1]D/ZH(#q[᡼'$p ^3\\,p"F.- wF8?c7:Y[gYZ,N% ,PurePureproofs/435207zXZִF!  N]ŗԠQduFSB[I9nS kHc0#c gYZpL% 4PurePureproofs/434827zXZִF! e]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGO ѭXt5ߨ-3bIyQRqZ)Q#xb$ gYZHK% dPurePureproofs/434807zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00iChgDJF Q:I4rL]?(-Qe 쇸OIhZEF g0 gYZ`I% PurePureproofs/434727zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p2nGp9W[ m&N>r@68 Y'XUjFޱgYZ`H% PurePureproofs/434647zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;P}`rћT,H=;}\$ H;<RFfgYZ G% lPurePureproofs/434467zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFAM&D503)f kuz1dLЖ y|kT  [=.du ?igYZpF% 4PurePureproofs/434427zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZPv^o7hmJےslCjs M{5i:dgYZXE% PurePureproofs/433807zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo*l7*&cjĶgYZlD% ,PurePureproofs/433767zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'm(]nMѡ£sNI-dO|0qyA YM BgYZDC% \PurePureproofs/433747zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H +R  [pcp[[z|AYq <ߣIIvνME\s^_ auq7!V  ͜j0c˜Sf"ͭgYZ  8 E8aata% ƶ1bXⶕs_xV]k!`n@3Xnc6&:]gYZH_% dPurePureproofs/437567zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝V@%0XJ)_~.3cNѱgYZ4^% {#2-pWGW BaЫ Rn~)pgYZ@[% TPurePureproofs/437407zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZTZ% |PurePureproofs/437367zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ0Y% 4PurePureproofs/437327zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ(X% $PurePureproofs/437287zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ,W% ,PurePureproofs/437247zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fw}q<[†ɐ+NSk]SgYZ,V% ,PurePureproofs/437207zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd I^{!I'gk]SgYZhU% $PurePureproofs/437167zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8k*؆:xZwLV@*V:$gYZPT% tPurePureproofs/437127zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚_w@h9vp7]6gYZTS% |PurePureproofs/437087zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/wd:5``s!2릪RgYZ,R% ,PurePureproofs/437047zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eap˾lm堶,GzSΊlR2gYZEQ' \PurePuretheory/axioms7zXZִF! g]a0{rg+5\CJHa=O݅vBI.^G-EFv3%3k!Lk KcSd%&3ךgYZ }  , MO}i) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZ{g# LPurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vBfI`*CS^]w~*ݲ筥s<@z>>qp㤾iH^U@ pzXRc_`|,?Ջ1j-H vU]eE F¹|F5Ek%i9/uwfY B [D ɷu@[LM'Q'ZP[s7 d*+jXҸnL]`Z}3qLMeNLc$h7IAG+Y+=|I".y|ꢴP=eN$>uKkv&"=>L*6XՑ{Dlgt w5ft>`Gy0 ^p Pu}5 0n)~Z]-.p H;>Aӻjtޙ~"-U :Cg]D[6&i8CaS:"UwwOy>b%JfY}=3svs`K;"9)8?{Dn|T (`{G@"ڼ b\L{ݶdϏ0?8 sBF%~$~te0/QYA Ğe<<(u{^pTa36>CdS;]r3⧨Gw:\1+UqR 4F/%':4+ƺ|wtUÐW1Ph5Z=;B5\ 3OѤ="͉b+Sk 14@*\=e$=tC@(9V#*狘QdQ$mÅ`-+aͪ>o(Glm@pVjǤYU?\lD2X9ߏR|I$4Zת8~T(gR `hİwF}zVPKEo-C:d~oWJ?3_H!pkމ}rŜ[˃O:T])OiΓͻթ2*z.$+6f=[D]P*Mh_=C#aې NzW}1,L_ΝI_]jE6~ Č bڭaҚ\9ßF{8f*(8bGx-l+y0c0rE]bK?gbA/7-{PuzKn@śƼi--.2hf C;7_͏$p>(<|I&gS_t7Ac[J)Zݻd5꿧,k=Y*EfB[w+z>dpd}PD81`KIΊ2Xowl,jHsb&#ZΦK$d`)>Z dKXLw 24jwst&}}uNA 2·kwBxj˽qxGհ0#J|OCByE0!r{j7\ PKJ̍Mg{()0i[ +<|3fMitl(҈zع])T&,AKqv)؅ J5{19k[QSdbqT˺~#'SwS(2z?jc. 3"cQƷS*E d Ydu}WJ~Q׉WPV7Mk ;I>e!H^heW4*ww X#M5gYZ\f% PurePureproofs/437847zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoʑ88L5<$kbjĶgYZxd% DPurePureproofs/437767zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"goqDĈ}>^\ұgYZtc%