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  3 3Jt\ 1ӍYgYZ7zXZִF! U]ŗXiɟ1'HGm7瘊Mǒ|a#+ eV-Ca\AkUOJ5b6\vOP[5q/cAgYZ7zXZִF! ]ŗXi%96@V1+ƺ; Lb(eUR1Mrr@EyƐ/O3_xF !o=? J~@f\܉!t{ux`eϓq'S3:+-{tviڨ3YS c}'WKqYЙI^mi ­e#sHQ#EIJuTy O#kl2(o]8M,ܪn~F2΂<> Ӭg`7] {AsNWE`&FS4HKY=8lM3M uB8˳)*\U#OU)-XSp7חK<2O86].;DCzk,VSUN=T*ʋInX*G8* kn,ahG0H:JcTd)ȱgYZbd1ee5299be24b9020358e9a62826c702823400b3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de c87ebb44123ecc1e13496a35f5557c1f26d002a4511e697bccfd5927abad7606447c91303479c9ca   HOL-SPARK