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  n n) 4 ]w Buffons_Needle:threads=2elapsed=6.307cpu=10.364gc=0.148factor=1.647zXZִF! ]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]N4 ߌ dv@t 7+$ CNVs~ZyZ#4(`sU򢿀fz:'N"kZtf2眬S%rܿӨI6i2r7P^e6gYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[QK5_L9R mkB̪_Rh}YZ7zXZִF! ']ŗXi%6.`58gvYV`xr?a`f>.Ϊ+)O|H Z9`C7V ] k= *]aSk19Ht'yykÌ%Үp3RfSlc>_.)黟dT(TM Z?CES-rG_?(<im*lg('A@y4ҧgD&rB>`C&_U4Blj%_rA]xo ړEf#K;c_eK/VݤQcpa#$^,!aOi%߈ }3z2UԬ㚼^ܚW/:Jf $OlVgf:'dqm)Eû. er^Ia(8Sfu(ӯ+oO8 ?(`\*@w=[#HZ6_)u¤VT%x`YO