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 44I D ] IOA:threads=6elapsed=7.105cpu=28.644gc=1.180factor=4.037zXZִF! []ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*۫A!|C5ϧdCiU{{jTxrq%L}x}d7";O8cҟjs5~IC^&[[lY1_$-5hrGo%pC SD왇Yb}EvD;Q*O (R Rf>>ē*pn+=o80a B}r\ g":u`ʀ \ ''8Weifu",V"_,$Q|eDK$qTeK!ٳ率_R2)=H̼w8>My[ok KQiG\6` jRl>r/x)0KeKe( o ړ[bo`^Suhdzv=D;==a % [;@@gYZ7zXZִF! `{]ŗXiɟdN'LvH۹ }%Mf'&]*oh1Qޯd~T<-^Ng)ZH({D@O:6ݒvh}HDm,4FQNWJWs2!ښw+P$]۲ѱ$n _1ߞ@ײ+٪&[0T?a9TظR}|th43U7xm G=˞nɺc.ymËz.}E% k }+gYZ7zXZִF! #G{]ŗXi%;IZQ_DtDfuIܫvޛbI-؊ ، %uB# 7 }n|K/Cgn40A +gXl"n\#cGC&BYf˳A.i&9*s(-oǀ@Y P5,=JXޢB*ns"$zêQv%~<-|Xb{փTփM{~+hu6qpk4Tyݙtew:ެg gEWHF `kPQ $vL/Sh;H A4 1 b 0_2lwn&;oP{4#q.8G0kIU+ܯ`v(JdۜɶE0KJ ]G+TQڳAK?A>3 5scZVc n ̘p\ jpʷgMw.NRPZ 3?ueՠ>ࠣ&;eY{b̋s#45&ڝ?ϊ.I$JFpuDɳiw jn waJ<|N0&6shB?Gf4RatӻUmi 8&f4RHTO$O8Ǟ_[]} 2Ad.A%Cst6ŗ-p/8GjSro3D'sd-~its;{iQTX^7|NF%NkΞk9lHFKVt6Ë-kz5l~xã77 )|n?EjsʿVͼ$FgYZ3624a334f675332db8d412bb6018f39d647e1df64842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb acca94d101fdc92de25d95fd201c7d6e081050af  IOA