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  0 0M# < , ]]HOL-Nominal:threads=6elapsed=6.308cpu=12.936gc=0.556factor=2.057zXZִF! y]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯|r9 |s"&o C&}z*d\B.D yG'9/Ir,Ma'_&S{ F^&L ȿl/x #ِ23rn>@F6ʇ"8 gieʧee* Rwtsy(1gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ~wh苦-rnцÂ1E6wK`I'{J}YZ7zXZִF! v]ŗXi%ύs҉)%+060l`T-)Wo \ջy[-"p nNL}+q8Bhpꖫu(: bW(S}I:'M14hBrӔɩ_,BQPL}iV.GTI8sRd`ڸQ<& g 7n~]0Gt ,0d9 ( CqF-56UE,4p1_DqШD.DE/9ѼNO=[ޔ2#z18;Sgt.&=#sӏVsġFb //Wjo)ӳ*6І:w^gUpO"%mo&% ebް)F(f㘾Ǵh97֮0 x9k4qGԹسi{#2q &|k}^E2j"-W vJ QH# niMAer~i 7aU峁b)(_:OH.YDxqb+o f|.L\@]8q~x-' &%mUxc rrViE z~?U"MZO_e_ 7!+}{Z,Wߛ5Nˍ_®XtFQXWWY(w <AgYZ72c44202d7cdf80d00ed4a1432cb04b82cb22ab613a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b e7e13db9495f7d2da4f10d4228403992147202c31f0702cbff1aeb2037c309b9aca45e2573ca2e1a # HOL-Nominal