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 o 4dD ]/ HOL-Hoare:threads=2elapsed=26.217cpu=47.112gc=1.424factor=1.807zXZִF! R]ŗXf1-qSqjq[N),:ʵ?j*508}J!0H-Ʊ`r$ ^ BS+M.{c*iR,֯ x3mQv\4A7i4(L{%""LV52M[v:5ꤴ %g@"XRHuY?Ѵp.1Udq)(E׎ǜbDMhXS$b 3T'Rs-2 VsiGPyeaI"ǣ7ai`/OKSJ)@tx8 @:M4LãSUb)!B7d,ME<C#d&*R5fLqҨ6jڍˮEZlJ(#7͍6^ΚtҲ[j|).E@FNHZRvu'MYM5+DC-Q[rY-nݴ6h޲ $W%(άy*&rdHFfhO˄ r;wp3,WfCů\v-h.G:3%~KeHD0q7gYZ7zXZִF! V)]ŗXiɟ1S:Jg~(dSH{ORuAkRk|<^g!7Ќŵ.ҫѵK$cjA0{BGm-tz9֚ uO[yʩ_rbӏՒ*Qʝh0.sdC%u>x9S2Vʬ #>0LAҽ" qu2N҄;՜s.dC@܌JL ьBgYZ6cea615f7dc0ec9f3c3fc9ee30a2b9a2b49edc0741dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44   HOL-Hoare