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 ^7 \L ]% HOL-Quotient_Examples:threads=6elapsed=27.410cpu=41.012gc=2.384factor=1.507zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%\\DkPiw$LlUʮ$ԍ?wV',VJ3F><2SHH7r}ߤ ߂XeHwt0UqDzf=x يuouxrde_ޅC4JFl46jN=r76J!nKfԅ&،-wC<ytqEsjܝ={.;7JXid,/̣\&r29 mZFЌRT(?\|.űȚg_Z3`qR׌)'.K:yWs4.8$,܋[ƜC3*D;ײ Bkem9opa1ŭn)g'|ufOS?-԰NLkI+ Jp\>/ ѱ>$ic5sׂ d=q=.&us[`~ue9D1&7s^ m\ #/ڑĚ E~Us`l}S&w̴+T︮Wq4ڒ_/LmEӿ Ԇ :ߦSg- ~3'.M6wn@x8E޶z*L'Ѐ^bަ n2LJ_{5I˕ `eeTqIx<=.yntJ D),a<ED@k