SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 c!, ?] Spec_Check:threads=2elapsed=2.401cpu=3.872gc=0.012factor=1.617zXZִF! ]ŗXf1-%˓:[L #cI"O aU{FNpGf%F2 ['|x몬*K|o6zS[r~QrYj؋A#)q$[W+{$a㒋4<\dh:b!ãzW]Ȑag&ݭ]7}k{n?6).Rl`iƍBYU&R #  ! Spec_CheckK+'"$Np ksgYZ7zXZִF! ]ŗXi%B} fdKb҉Ҷ^ ~f:WgN qui"x M_nV Q2Բ6. ;N:[OG#t/iXCVҘʢxatNcCU]xHݼIcf:R_K F8[p/S !Lmsu^.,y_0T ]c{KEne|RK)%FetYХ<ҥ넋o 6M%" 5"j\IʴeEBnr߹TG^T-bieDBBYna t r_zv]N lM!9=wkkP