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  y4 ]] LCF:threads=2elapsed=3.227cpu=3.712gc=0.132factor=1.157zXZִF! X]ŗXf1-) enȈA"XxBT/'`a^CߕZ7SZV;%2aƏR-Y$Y'jZT`rr!gƪ8>AnM?dE\/ Au|.PvCJFiVtTZd)H%x)j y+>Bܛ5"=tQӽI߈KiOG;w`thn;Un_~u>)|`,:Լ%`IG7L>Q-RI4? ¢mCa = >n7%.x[AhtQ|4r j= `I]$^tm^lmf]Cb٦%4o Z Z7ǵ]X%Dv*Yo3T{6:K!Wpk413V+Y+T_Ry'Qcb xȰ-Hws|;IŴC MwPqY%ggYZ3807b6c84c7a73ae866914c667c934a907f8ae107a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d  LCF