SQLite format 3@ .0:  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 xx |, ] IOA:threads=6elapsed=7.219cpu=32.120gc=1.332factor=4.457zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=--Mo;$/S,.U8"$Qpc[>,!fbFYtU'.\xrW\zM:z{eF!0L3_rKFҹ4>N )[ ]^ĴD/;s) )WF#nAH"a ^qIZ9l~G-ЍoC9ϝͿ4ga=Y·֚XZ:[TWDm~;pGHޱ$E%{ k!rstҕIRe$sbd@hFݎN=#>HDشϚsb8 j!$8#vOcx$tUSGeo*Tsodg8Wf#aM@">+ժ^ GeegYZ7zXZִF! `u]ŗXiɟdN'LvH۹մQ2Ǣj+9Um kAt߮fWd;y/Dk3zN۳2ݟϓ†*<`dl}'`(/<(sԟu(w0-VFXEO˛NXH5@Gy{A e2&9 ) S.usi-ԗӌOu.nCf~k/[1¤ǔaJ;-ODn)䭤gۑeAȺhu69XkMUAC\@'0ΘËV &쿌[dE[Q|H5qMJ)E[,i)C3AԈ1[pƪffYeElbpʢ|Sh`,`!tOZ;e?I6#"6-QҀ1/l:m΅erS]c j~CzN%36459TKAtWoQ<d/mm"¥[|97g4"bsdy-'B?˔ׄ=N-o'-rXJ,0f+} |0˴ >W P˹1k,ݙ ܣ7#ʗ]ybzD(.Q1`szy'MĊ:JoH˟l$xNӆES(b45x::bfV)xH;#?>J<XT(Z" ?qaǑHVI _`Ysߋ8JWG2 ΁~Wq^winl\0)>qMfT.EjLksl+g)!<8nb wed+R='5`"ĕMx,SIgYZa26eef402980ca95cfb7f00fad801bd599dfb4596e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8 a5ae92c298b1a783c1ea941a3f0ce69d254bfd78  IOA