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  -L$ ] HOL-TPTP:threads=2elapsed=6.126cpu=7.176gc=0.180factor=1.177zXZִF! f]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZNOPlZb3@%B$4R1T^Ba?A{2z0wJy|#gQO%پT7,' dhRB9V(Ŵ[k7/K߇`_%V +5OiC3r.mbs{[;agYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=րߘ{$'UI)@\,.r5̜Ŕ =Djr`i Qyi1&jk2% MQSv h,jDҕIOQ[|j )^ɑ:)@t}l}mPb(c/׿ݚ