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}͟ICknd} e aEnPkS SٞUT^֕H]tS1Z4$G=Hu)(aP!cKgYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z A ̪Ӷ*0;Z`zˬQ4kY.sez6$Fյ^⒲kW#V#QXO_<ѣ$OpxVD_x (|G;ĂkqAc1 (ZZ"}m(R a.R%ڂ s#B[2v/D8^c_ɛC]6c@t}B:wc g%2×Fn)9&W K 5Fݓm29gYZ7zXZִF! !]ŗXi%JO#[He8_HNJM`MZ:k%ᡛv <Ǟ`hF&頺7o귊,t5D$_4<$*rWx M1jXK=N9I[\*`m9щ'