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  8 8=?D<4 ]]HOL-Computational_Algebra:threads=6elapsed=35.381cpu=125.500gc=6.188factor=3.557zXZִF! 7]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~C] W5:7>Q ~&|-|3ؽ7ci[(#Q6J0/ t! a4+kweOz$RRS4>@|]V0~Nh^߶;w)oq_q v?`ς?T\)i3y,n=U۵G:oBP)xc:nr@ŏ "ʳ.bLG`ˌpTRK0~_"Q|n^#Ӕq7/~o{3z ͐@%߇ḇ۠wBj̥;yF g-%-/ i'XW.మS^yY{QՏTҗ׎FUԴY##m,9f skH P Li3XQ\ ^ijq!. ? HOL-Computational_Algebra  ghu=cj0NH&tjwz,+ɨw9 dJlIm}X%qyB/r];hgIW\&GNɗ+Um@$読wHZb Rl߿qFv^z,]h!-zXBx 0#WNݠFy`(ъ)R /pNx!=JdNWrm m2 }FC@R Zp,~ |!ʊspb~|L y^I~?\ D;|ՙ*钰dPQz9"(U4WI0Bs.aZU6s'cH\Dېo8xPrb8Ǖ,k WQf<<5(ͩob{WƮeՙ6\^i*ůo{R= n=X\gYZ7zXZִF! ]ŗXiɟ1I ,8v*c_0IǶջ I>>M֗zh;Qv8lB'>m[dQ0ĢF*\"Ll?3^ L>#^ڇRw%FAXj婢~cNʪ' EoO@ڠ}bl;[<]XhBP_={%m+8:k\0O,0]?.y> |,0V 縥]5ƣK >.9vesu͕­ ANg;›\3۝5C 7/#1F C) v^sK0n )qgYZ7zXZִF!  ]ŗXi%@f rlUyW,Pf1| 2e(i\:wJoy3g,N =})K4k"<ۭxUXl]w Qz?v'T H4 3,U89 !m904._&(tPz0|+8Rdc4Lhm]=-yE%)Oce< ԎixsGw4uS(>֌@ %!\C?mLH1̼AفC95""7CV%lDvU^`d355c }n8 E=kYdX?qg%>&o-W/yzbHod^ ;{B9R"q`O:t4U.Ei=etQήR)ʁTI;7#M4 b KZUtSxK|&9=c5(|r/ Ђeݝh;L)%8NHs/ؽh})BQvWa 2:LAea;_-ܹ% ޳2Xņ(WV 2^5y9 Hk7zy/zy6GI<aěT4j5=Cvy_޼̀w { d{ԉd+.OO1PzYFJ73`LTdB#FqlVJt&lS~ ( PU!GO1-]d F9@I2Yɭq'<KH:3br Ń<0#mߌUJF1M,ghI$K~20l+ߑƎm0_fn_t[Wj#D% Us Nv6~Ed)Qh࠹t'1Dʱ Lgs I wޚw*@1G5.fiPL>Y_Fy9xj-Oڷ?be}$f-%.TH7ňĕ}3Fl1%ۉa@hQЉO3s1bRj .!sm݂X :A&Y%by%9[NA7m_1_ywE;?C=i veĺ,QphM =O" ׅ]y&!'-Qy*%#š_eNM0;JSpA.S1&7qL1z􉵴~5SOй27&*_W.iIL[m0|y 1hM`:[bʭF &F~kZջK< mgzȆ)llv[ڤD,b;uU']2W(x_%$^)YӜ 紹ZMuk'B-z^I1 XGhȨU,[6+P r8X!}K ?Bpe%X~%E$̾mY[V!kA("rkĭ_7u}ss%];D8l(UB&UV[ñgYZ30b6423c3a5a9ba0b35c1dc6d6d39dae9ed3953da722fcaa1e8b43a508ba50c6d40dc06804ad4aa9 0a9ce344dfac367830e992bc261ce9786406c92c 6a776fa768e8b16aeaf01a6f504224edb4f9b52628ad34277ecfac987c6acac2e903416a9a8b5fd1