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 <<A lL ] IOA:threads=6elapsed=7.424cpu=32.760gc=1.348factor=4.417zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 0)l2?kEПI~]vXܪ.܍UbXHiI(M| zc/n3L/w ƚBO+xj^w|5 /-cS+h  梞Fqlaa{CKqọPA:!\W*0F :߫PTv7&1H(?ᓆغ,x8e)0\:XLиNDci~\F䓓=m_}1wS/8fmm [*Y_/"e)Ns} m #$h)n kX[*Lgiv+?R 1AyT7Z<5إWf}gYmz E kF~8fxj(&4 v gYZ7zXZִF! $)]ŗXi%> t\ HQ?SuSqIm+vOŗ({ݠ<4'l1Cˮ1ᗇӸC0n7/ 䶘)g/ixz2Pޔ6 `Ww_ggqL~3@a qBrKrFO8/E"8Nors xjцu<v'|%6IWK'ܛijɀ NX`>GD,_RM}?ED{!g`Q0U_HzjiTfԸ|-$YSpGŎ|[k!s nTjDUp˅{|.{DgB5V!xɳ&_;Яq|<8PVЏ`v9X_`!t*{.rN <;e3ڬLޠiۏ|16J/o'[UO?P{ח\EƱɩX 9$'k9#ʞombQ5g]`Ì2Iq1j.*o&^.(#tSdOjڪFpv zxI>)4mEcY}AUH-&Ԁg~B Ė\&qMeK7bb\U-fff˧kI3NN U@E% T0"s%\Jm#g&W"bd˜Y\qAl<08uf{I t&+nAGQ}FruG7&+HOo9\or~|ԓˠ·1y‰&vUt$E QOp3{ۿ\(pJ&s09' VN;PxZp?z^T=jTHiogYZfdb8d36437ae6d1a374e96becae24c6bc90ae656d2759733082b448cfff319a2231d0a2df2f8b2b0 2e8f9a63590d791f747e7d7cc375d115fd0ad5f6 da61fc4afad9f3dadbc611ab606630af7978fb95  IOA