SQLite format 3@ . BBh77otableisabelle_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   b D4| ]/]ZF-Induct:threads=6elapsed=3.300cpu=11.204gc=0.420factor=3.397zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N|•I O&]0cf%ak)ա^jj`G#-^F:S5 gllj]2Msym^-SOC*'U(R`8$VAJJgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|Ǫvrد^䈀C?#e+H1U9wnx|q #:Ûnv\gLy.úUgh gޅpbx =!K}}QȬ^Q|[(Z~P%Y!KFFs3Kt gÑfȰQ{5lYB=X#|SGgG{LwQ!xj]c-^T1pbW+ X@bzͭ$?ȅ`b&՛ 2@dXII^ pEza+tHE +LSVƩ[Q/TWIS?D3kZD,qR&huzD^.^}3 *Ddb svS^JQ"UpdTQ#U0bmLJH\"wǼ% ck:ಀ9Ua%FY q1`iB8E[PY/