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 u$, ]] System:threads=2elapsed=0.334cpu=0.484gc=0.000factor=1.457zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.127 kS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$R K-2 ӕfǴ6Iˑ>Քa' Z\!AMDr 7@Zڐ ؀`e[i9V-A1D{٢ʼo)J9]ݐuBgYZ7zXZִF! G]ŗXi%;UEMu И6~e_Ӎd88:\2f ty bV^\F*S)}NhB&oDC5zL,LjS^d xj[A7̍[Ž %RвR?}-V&әg2`)Z5䟺>g̽|,뮢$A6 o` c<≔#qV(İv bEӀ L*G$+C>(Sv6܎Zo's |LxyFcUn]&?Db 11gYZfdbd4f838461d4e4521c994c97bfc2ad052f3d35f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b   System