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 |) T ]/ HOL-Statespace:threads=2elapsed=17.579cpu=20.240gc=0.576factor=1.157zXZִF!  ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rx oDE!]Yty ҌH`:cT0V&F*@E|[!%Uvffazqc2w^ o`RAffEp5]%Y 輓DF(-o%+gYZ7zXZִF! [t]ŗXi%9+pku0.k 7Wˍ&wj,{dQccHWĽ$~?TYəiy0*=+ yHF9ؗ~]k$PVO+L5Ej4vUx3HC^feb*Gօ: (ۍ=NTh`ƻRV>G2%!Gf(8Q^?h>ack醝O7 g1ݞt%w}(gE4{l${}BLctd ݁ӱpMeG"S hE48_՗$iS`PJnhDKnd w|x8zԥyS5Qm˽٧]s%y_j:u#n79cǦ?FHSͧpƭ3N􃇟 '}>zoYʥgn]&< ָeo{9GDqmA[fl*V]xhQk9Q䂰tT^y%?95A5 WyxqS}@I9d%㈿Ag/;Qum[|paEñXdHF/6$X)pM3Wl/;,"]JˈHSo'c ^˸m[VM(٥AD';W$B9B |sH/(Q[ Nq $ 1~k7pyDNXr"#`o[9bS=E<ȟPWMU' {*ֵ_KX眕2)M^-F` V[مȾg1p07zu!BP4{j*z + gYZd2b923f8953331f7d59803294f3500e5650c6b8c41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 ) HOL-Statespace