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  r4d$ ]] Sequents:threads=2elapsed=3.794cpu=7.420gc=0.156factor=1.967zXZִF!  ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\[Ɩ)Y>G"r&0MBnvZfؿֿ /<XakNUGл¤ !5J23<e8ڌמ !')|qFҺe3. 1mG]?:+?`gYZ7zXZִF! ]ŗXiɟBv l82XHylsf}bs?i%=6 KZLZiqE)Kgp;f3BףdkS<;BC!~[Pujq8=y<dl27~q@}3mNs$ɵ0c9FƀMI Ekx ,(K-<:gYZ7zXZִF! L]ŗXi%96@29p' "!HuOD;, ӄ mՙ;e}ZW߉uT4Cb ƕS%O2"#z[gL &DEr@ `rG l¬o΃UXZ:H{Тd#$o>B Y@:6qEe;f`1ͳ' Rߦ04̰ LDsXWvx)0DiJ@8O^Kz{SvhH! %<{3p\F-կtvsFfTo_WISbk+]=BrqPh