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 f# lDD ] Integration:threads=2elapsed=10.985cpu=20.492gc=0.644factor=1.877zXZִF!  ]ŗXf1-/6vRZI:[3 aY;~dgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4pɆettG<Xy5Lڼy![Vχ,?֌ڝ@O1 .:Gnjt.@_3,tHx ϊs b gYZ7zXZִF! Fy]ŗXi%92At٧]ֳq*pO2(f!s*;w/ q ŸOTMes-rr/,+W%v2O.;4YG?aBK^dL҄l"I|i;_Iq;ū+\>;>z :߄\ {|g4ÒrƉ<ӏO %ΧDuXU܇ZT<ځO6@8K (6dz]6fxh`J&($5f2