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 :-4T< ]S HOL-SPARK-Manual:threads=2elapsed=4.728cpu=7.552gc=0.232factor=1.607zXZִF! T]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)+YI;:0Hv_gYZ7zXZִF! ,\]ŗXi%96@ƒ!.؉ːLi@CEA1>]۩3 \?/;pr hX S wIUd2N e)LF#galC1BK U&s{a]Fr[NJB,G0[gG75XL+b[N1|ƘVW &e7V<2J"au-HW-%I{|s ?L)l #߳PxՋK̟&P (P[pCkBnO}iԅ^ZP'aHJh$+gvӀޘ2'w<\L~'cø6S_9Sp3yˊᅬz ׾qY\aV1//jݞ" 2!o~ ť*9n@AhEzR_=GsWv'jaퟃ-t{5jL!43_taj:Dn;bce+>^o#9~ڤRiX^fgYZc7f86b150af88b45bded53510f0dfc9c481020e93fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de c87ebb44123ecc1e13496a35f5557c1f26d002a4 511e697bccfd5927abad7606447c91303479c9ca - HOL-SPARK-Manual