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 m d|, ]/]HOL-Word:threads=6elapsed=8.857cpu=40.192gc=1.428factor=4.547zXZִF! k]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z?DN$SΆ+Pk kxgYZ7zXZִF! *]ŗXi%6_Żf?Jxlד8+ujyv!-gd;xIJ/g L?.L~ԟPFOOS\x\FD5Mjv6Gv#G6h(kUS5$-dRJGb<}kP`~MYE IK]}`xdO7Ug01 NSV@\Rn qt)ȿ*;QG8[ gXcޱ#g51* Yѹ3Nʱ Y`m% p7Č$J0{N".13J[qm 1OIg6OԈoQl$MI ryhsC