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  C C:! << ]% SumSquares:threads=2elapsed=7.377cpu=12.716gc=0.292factor=1.727zXZִF! ']ŗXf1-/6vR[]৞B}vȣ5"i%޻x}_};N\g 8c]TyhqHy/b77)j$G+N˳s>ܖ|ck|HЋLq5Pҗ+~pԨ5Eyh'<[R6W RGOlNSf(>T#m;,6g {-3n*B6('.Nf^R"$##Dhq٬ww-ѐ= eɱgYZ7zXZִF! U]ŗXiɟyim_K3vo?iM8ҴZX笯BR_w9b]eftЃ^q<сY`GqqgYZ7zXZִF! 1DX]ŗXi%923T+Vr/$\yz7ɁD— q>Ϊ4 Z3D NJvj m ݢM悕0wʾ=4;·a'Ja^Nk†5ht7( UYn2qC\Y3lg0\g- n4