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  c1 dt ] Stewart_Apollonius:threads=2elapsed=4.459cpu=6.252gc=0.104factor=1.407zXZִF! ]ŗXf1-/6vR[ltb7o- 5vOYe1tf) _CKm{F_ѓ%i%iEdYYcTpd##ɠ.}ȡ+{gYZ7zXZִF! j]ŗXiɟlٞYZ?@Lx!ڿ|i=/hH? p&GPo촭3>HdN1mkA 紲{9?UX$%>$JѤkQ{MOMg7U9In6~V4>,JW6;ZK X tjB 9H>ؤn~:ed[.b<ؗ:TKu4"T!~nzW%'ޖfTqڝ%!%ćf`a2{i B$nANAm^D})ep Jс{X ?\<`C8Vqz u$AVP`#4)AFFY6er;fg*NQE 6hiʻq+mNX.*/yᖾ@o_cѴ&|™b Nd 5e/h/;fWӺ?&~2|ho1#lQj1ϝ7_>~,cq_b+JKS.h0=ƐAX6v/:p۷BŸi 4<4gYZ33f4e43cbfe7313c7255cc32ebbd5c0b83a8614d3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 1 Stewart_Apollonius