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 c 4$ ] Separata:threads=2elapsed=14.844cpu=28.016gc=0.788factor=1.897zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? G>(fgPFMg0Q.|F܃96%&wzONjfHTs{MIaǞ[Nj&TDs !1K h<0S $ڦnF8>Nb!{'Lf#:, E|Ԭqo3t_&)P{5:`u_6W)w.Ql(_6! *@X<:'"jKphWLjB}>k8NcS\l&U|iETQǛ!bIftHG-jVU7h?ݩk|r=٦Nd8LZ>"2Ku}_<-ii%"[>A l5A6 nƌ`L&yA煾4p?6/H<`  C o&M*KDG~LS2i\OAqINIY>\+4\[' ?֝v-ϩY&6D{Lcl4H( \:ERw@c7>T`k9twt-x"V_,႟5(9 Gg)iHFB>HJ҉=`bb(j5!$oz"(\L(Z};kavE#}y5(N`@|,O߄QMD%m`f2ke!Y̬--uiP薹7K^1CaAqbV^2$%`!1BF݈l3W:Gzq?0:|ĝ_&# ^a4 ݛ8Va$8Ç \G\*ܞy8{ĥJ?=]#ŝ$CXbh㟸WΝhf=:Z;hl/_`xYꎭj+;$5Zw5weB{HT]Х:8sAB DDpe$+K7HǎO! P3 EJNX :KYK~qo0mtũ˹U{gwg߷i&JVk1 }gYZb88ccc7c22fc6dce0b4cd1a8e88fc81944c40a3fe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f   Separata