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  u u5 d ]% Lower_Semicontinuous:threads=2elapsed=7.738cpu=13.472gc=0.332factor=1.747zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Ng+$p6;V/qKا^0PE( rC! aUҏϘMˬF [{b&۽B@`yrd~?ױi3{xBNOU>((^s)&S-- 2txVa:o :h1`6/MKϱgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(D *Y)c|!Xe{xjTQyg^4}YZ7zXZִF! .<]ŗXi%6SwU\66ܞ9{ ^E:W#/ 2/ *rR|ez3~ N1m;zV :6-$h2^`cZn]CUi=`n\@V 9TۑEt-% IxezǪ4:'U>B-c fί%\V}>>❷m93ACM4Tu#UQ}jha"xr/2G ΢#-&lsB75vS]\> {4a'`)MVhKbdU4 1x)ECyb"Bw/Ju;LNu8iiOnj( O8_vzb|C|Bm zdDs2 ,\0]6f;uE]A{co$(:G횧HxMpm~4_>00ER雷?Ճu[#[yNY";g̘:Idd.lך!gyduL艒Yu<Ғ5+&p/s.]ab TL2W-cY|y4N$&Ȕf48uɔ Η#4mÙ*_ͽےLvSg(0{,Zf)hnR>|~p{$ bΪÑ?޾&g""!WKDbKJ\"]WI y?~4KFFƊd1^3Q2]g_$ZMFe IczTd\j] gYZf3bf5a36fbe5eb555bbfd8768d729f1c8bf4b5a3e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 5 Lower_Semicontinuous