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  / ,, ]/ ZF-Coind:threads=2elapsed=0.745cpu=1.392gc=0.000factor=1.877zXZִF! ]ŗXiɟ94/<&qzKppP$}xtqxΥr9R]mRLɼ5QHt4Y<^G'PhCp7Щ/>KL0u`{g7=MqgYZ7zXZִF! M]ŗXi%9*W9k%C(Wx70KӋ8M7=_}rpj4))lKQ-U(ԴLݸSK_2RCV!<,p*d5|}71%T$fl=mw<0%}vҖ\)s7uoe$=:Y{q/s!;_C[p0iHׄ f$T6-!!ވQt_sU[o2f[_ơ, {r\eeWIJ?b{z J"Ѭ1>_h\Z=hV v!,]NmM%d+ڗN gYZace0499cf5408951a1288cae8a6d4998b3ee6b57b5c424772a2a5b40f2f68f25414695f3cd309066 6597f00fa042fc25484ebd591cd7f41b20bab309   ZF-Coind