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   d$< m Category:threads=2elapsed=3.289cpu=5.568gc=0.252factor=1.697zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃnbپP[9 kn-L{y|21k i島[b3PB1_35A|;` d3i(Y/fvbD&R)Rj22R5r((I6I3j?(D3 ;fgYZ7zXZִF! W]ŗXi%6T4ё XZ=܉x`)A #<Zl=9`n'cM j/Bf>+_BߤC! io 9(.Q?49l)jb0bZʫ&|`LB 7۩\X' hͼ[02"NC)2$B6Eב/Z`zn1I@/ƭB<.ypWe>;5#lnЉt-ӁPcRے&#&_~rjs9iu!Ȝѳ(g]^>m`0k6g´R=M]=}(G:(EfOm"K_hBY0/!?B4Ӏ)O/L؛ XN Dqݗ l!x Bc< N!  7h 1HC/ M9?S?i>6"ғn