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  ),<4 ]/ Implementation:threads=2elapsed=4.046cpu=6.916gc=0.072factor=1.717zXZִF! ]ŗXf1-ȩX/@G[GUQZ k.NN_xMDch]xc]DEaI;XTcDͷ'd\9~o㩱gYZ7zXZִF! *]ŗXiɟR zMhMj-DQ9\UC%r}d'[$x$XOh6}A;KjoM}pB ~a5DJK320ˈ/r<YJu6;h| 4Di .v;k6$1F^])1_ 7@-54+S/#a//6fCOЏ=MI %8WSt3ɧ8gYZ7zXZִF! ]ŗXi%9*WڭEH%fnlGFGh-){ؼW@JsAc'dPAV8A크3ltZ9h.6 өɴc[zPm:b-S)4C* :oS-Fܴz S'l}8 ,cmӅ.i?C5a&K8OHiZb+<֯ipr ]>pe#P"͗tcl/6hv`E +biqq07w5!Wͭӟ7ä́Zsr BPb  RL`ܙx%8/++O n `z#zqҋެNn`{Κ^~x=&,t#<b0i`,f (G)I߱gYZcc5b419b1047bd83b4a184da1fba1978d125d09eb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ) Implementation