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  6 6G)4,T ] HOL-TLA-Buffer:threads=2elapsed=0.600cpu=1.116gc=0.000factor=1.867zXZִF! YU]ŗXf1-q恈&'ŵШڿj,bp֔sWԍl$'7{63ٲ ui qZvE}YZ7zXZִF! P]ŗXiɟ1zVU'j$HZmNx&N?COòhADlLbtQaJ:Yl9gYZ7zXZִF! b]ŗXi%;XG{W.no4cޢBeMc0+_][ʅ@Jە[+A1Q gRIC{@m ߐy`8 q=A}vTS)%|ZW!HBJH规Q“敬<jl*r1$ S4out=rF@nY'J찕BGfU[#Y*v>Vzd\^3>0$AGiyn#ghߋ(S ' _Հ0Sɓ{zsTQ?hM|?$ ]> HI!k1#߬Ԍa.wgX8;JO űgYZb76177e0e54affd6a432263271e9ade85fad1354848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 0bf0e459f3f1ceb8ab7cce2f5e11d85e95b199a7 ) HOL-TLA-Buffer