SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  W W&5|<\ ]S Card_Equiv_Relations:threads=2elapsed=0.885cpu=1.308gc=0.000factor=1.487zXZִF! dv]ŗXf1-/6vRZy_Ď4/` Q-I k`_RjWX9NF ֣+ _D}?',,pv 8oڕ[q7ՖA/LgYZ7zXZִF! X]ŗXiɟy<͓B/ \QJv$*pl)C6&7jUrЏw?5%MttgYZ7zXZִF!  ]ŗXi%;7uj̒JL~2߾uq }?q+ED[$~xJ!mp[)FP֚Ȅ@sS9J ll#  LߦГ_&?iZV%¾y3mw+0:$ҡ{p;c<7 q3^caNQ֢~bR6SK!Slhui^Q{FvLW!_%ٱ6p?AbnWQr֣j]0L»S-pm*+VWi[ g z4MIq>C hæY%5~6:Fޞ=PFj\V.U̸"IA'([[r֊1,*q+uQ?CγSJ0wJ)ucMN9njSڵ8w* TgYZ755968d155202f4b3c279bc246be9d19af6010a36b223331e017a1273774b77ffd0c2fd583138aba 6a753f5bba36be6a9677923d7a2b6c8b29d1347e b7d2f1f69f19fc9294392626dbb233eabe2342a6 9d42871d004601cbdcb814fb4fa6079e5efb6eab 5 Card_Equiv_RelationsP5_% Card_Equiv_RelationsCard_Equiv_Relations.Card_Equiv_Relationsdocument.tex7zXZִF! F =]A-MՋhvG"uIBm5 ~*ۀN`hޥB&eلYpZ\A8F* L` l>F<6r?vH$Y3 D?.I&ІqU\є&Ы 7jDK$Y1Ui5 Vp~JA5~l ϐ)- \R^'K&sPtD:HM`njD8·Ŝ\ŲuM`7/u#a9j\h- Hs_ ^]WaRsd c;d7';40КlCBG_QRt+-הYTI.k8J/SX ~lQe@]S7*{M7dc@z @Q]ujؿ ?7nGd;-D4q+u>0I#} eH7z!ˤވ撼`X4Ub.]N2. hUZT_^oRL;FXmT{<ݽ б@/=+ 5!RGMׯ. 4H/|步B&15I/hNGA"^ N8 %sμ7DM }ڤ.WAu5䌍%ż#Ơ`{j+,aY<)+?|]qUW˃9+j X1Rp4j3gq%)?Qdr F _}2-$I|1:]rI] ^Kw~ oН졋*|_f%{ͣ M1WXՐiad wE[\#tzm!?i\'J@\r4`71+M8W/Kk|QR7 ݾga~|8–U> 1GS'dѭڛ4d@!|FKW(]迷$.XJ|ƶ+ݢ杊jeWeXUR5Rx:pLapAٮ=k |}o C7+v.tlމi=˳將3uEeۓoM bþn4T!ZXOy},׀G:(A㮉 D;y$Z4T+M>)uHz3ai__ Ʈb*@$2MI@ S)&,m910);̿v>* Һl~GJ@iu_QH"wwϯH٬{ku4B{ }A\鏌#[{Uisئw2Lp\Xf6WӖUE i龦zV gf{*q0 {*etN8`;~,M7%ӨV "5x]].߶A[]6OX^H]1ɵ[4H>V '$zZ&8!m4<8\9 ^g2jqf>LTjXEo?3^G6+GgyFhtp3LN^9?s1V)rZ) s征غ %@j5N{JfYH#U 'q(ݙ5V-(Hʳ\sHȕ{kO1pTJ1Fur,A(P[=!Ǣ+Ɣg YYW5o%Card_Equiv_RelationsCard_Equiv_Relations.Card_Partial_Equiv_Relationsdocument.texN5_% Card_Equiv_RelationsCard_Equiv_Relations.Card_Equiv_Relationsdocument.tex --P5_% Card_Equiv_RelationsCard_Equiv_Relations.Card_Equiv_Relationsdocument.tex7zXZִF! F =]A-MՋhvG"uIBm5 ~*ۀN`hޥB&eلYpZ\A8F* L` l>F<6r?vH$Y3 D?.I&ІqU\є&Ы 7jDK$Y1Ui5 Vp~JA5~l ϐ)- \R^'K&sPtD:HM`njD8·Ŝ\ŲuM`7/u#a9j\h- Hs_ ^]WaRsd c;d7';40КlCBG_QRt+-הYTI.k8J/SX ~lQe@]S7*{M7dc@z @Q]ujؿ ?7nGd;-D4q+u>0I#} eH7z!ˤވ撼`X4Ub.]N2. hUZT_^oRL;FXmT{<ݽ б@/=+ 5!RGMׯ. 4H/|步B&15I/hNGA"^ N8 %sμ7DM }ڤ.WAu5䌍%ż#Ơ`{j+,aY<)+?|]qUW˃9+j X1Rp4j3gq%)?Qdr F _}2-$I|1:]rI] ^Kw~ oН졋*|_f%{ͣ M1WXՐiad wE[\#tzm!?i\'J@\r4`71+M8W/Kk|QR7 ݾga~|8–U> 1GS'dѭڛ4d@!|FKW(]迷$.XJ|ƶ+ݢ杊jeWeXUR5Rx:pLapAٮ=k |}o C7+v.tlމi=˳將3uEeۓoM bþn4T!ZXOy},׀G:(A㮉 D;y$Z4T+M>)uHz3ai__ Ʈb*@$2MI@ S)&,m910);̿v>* Һl~GJ@iu_QH"wwϯH٬{ku4B{ }A\鏌#[{Uisئw2Lp\Xf6WӖUE i龦zV gf{*q0 {*etN8`;~,M7%ӨV "5x]].߶A[]6OX^H]1ɵ[4H>V '$zZ&8!m4<8\9 ^g2jqf>LTjXEo?3^G6+GgyFhtp3LN^9?s1V)rZ) s征غ %@j5N{JfYH#U 'q(ݙ5V-(Hʳ\sHȕ{kO1pTJ1Fur,A(P[=!Ǣ+ƔgYZ II45o% DCard_Equiv_RelationsCard_Equiv_Relations.Card_Partial_Equiv_Relationsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 ~*ۀN`h=?#qmzvJ,,gޡ?ȔBH3lLru{DWt2tBJqŰcCH7͘t❣k$1]NW\2G{ep15z_JVxm"ĈK9;[*a#cW+GW>V{ZIvEN B*0kŰ9_ 2 k!Enk6夜f 6<GPD{X^ȋh q : r3WdiW;Q;j_EBpe.@nfRağ :S8챕w~AƗ;E8Jw&U|%6'ZoEwl5Dr5]jPZFu,t1!>A7~Guqb 5gL cj̀Vo42j+]i5b<vkܕڿcciX"\O4 ^7HB6ǍU"3 hrޒP}zӞrr`Öip5j2˿/@X0{8x9"qς__Ճ'Jl< p o B9CBW5, x,vh٣C7/r1Kn4-PLu h_<$eiN13~ f!pAvhr&eu(K=eD'Z?05>9?K20nGkw,"7+JG-Dl$!Ĺխ!/þ&r717w΅Kyf1.@]F&/?3Pu> SwiYGH W+P^m޿w3ֹ[QIt٪hYp6At_c[eM7@I̝ǩ:0UgC-1:P>prg {`yvϖD-%a}!W#~P3>O&ӭ`kfWbQM]wSG?\O>}Gm͔"cKYt= + q#_PeUGlً}~]ݰvچ Ut~' +0 *ya~ETp<|qWNFt]NDO(މ}p?l}.|y#lrpפo %zT}XHVƑГJnm-@9IN@7 _Ձ7cH-@7A@?ΈɲDTNi޼,&Ľ垣IV4M 'Ƹp0V!d:v\?tm[ϠGk\C:eD}3U4r2Qh||GwxrMPRWbHY=-nYhN8L+lNvi*(* "у__8Pñmamؒ7Ŋ %xNGo@(Y\gDA&". ,ah.ZMN2 s #|{Uorᩅ,d_#X3m䌢-, Y֗t.< 8WEP7udW>yb/+ι\u;cMZJž/SB镻G);#Uqa`w(FbyP< 3xR58Tϓ3Re{נbbo0\-_Yר?pGM93Q9.DMD'Og~1/?Y|5zn%fS_ye\xLn @&s5N'vs/e%1zEuGUy!F\H[}5[/f]Z)XB'~ w&btNu UݓD ll`}ʪZU,Ut߷Ш NĤ*1V0IDT!M`HFf ^X#$J<>5<+ߺXk[b|,s!J]UD[q T=l iY4}]L$aiyB@΁[*xhr ւ;|5K\{#/c`ô`vq\8>7d] OkGlC윻&<uFNNJʐ>ІĥD_T