SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  /-,T %/ BinarySearchTree:threads=2elapsed=3.501cpu=6.320gc=0.256factor=1.817zXZִF! ]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv9_V+4z"w`06~k2!u<[<-Q v IȦc!)A(؏Q>%dJ?ʇN)J+ɻ N5D8)#ʟf^ᐱgYZ7zXZִF! d]ŗXi%6yN#qILj6F\z؅{k VvT5F\*Vdc̵|NWfQ8apiUv}7"@l6|klZh$ *Q#1?b^/~L7ԙ/w-%_O-V5hUUXp]oWBҢĿ,[iE(WcSMU sHQbn)4R3ތGK/U79`TFJ8| VBbB BƜ-lq<<:Xq*c+u kor5Y