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 ==@) tT, ]/ HOL-Statespace:threads=2elapsed=16.370cpu=18.900gc=0.700factor=1.157zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[relIږFUȗMAx?q'n۟,)At)ɑK\sOu('7d0M޷U%9ecE>+gƣPZ\F0&!MqϦ[eyah+̺"ffUϜ~S\P^(ª $gYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzǯH(E:g4r7?SAT N23,dvm{[mM*Q7>&* 絳AVk2KaM 6+PF,,e$&HZNgZ0nۣ&\>6֖m1S#}~Sh:u??t91l!! "Lx8VcfA;{qqg7F } W'nf0fAa[1&H*(M_S}&xO+a=*3G> ﳱXBK~cO_ %[ƜE+4ؿ 0o_^㊤h!U릻h9Z?##^'jTj1!T'Ϊ>uHyn/ ZaH/\B.J>lX*FYQ qBw6M r7J\TUL[?={M-ޮexqJIJ slˠOH0[}]+7CIICz¯sJt#r)Nz1V3|Y)Esyk,`p^:02 '>ԘD .5؛1'B$6g'D0y'gۡ?hizi~n"k"B5 UW7FfhGY ցNkE4Jų&nS^ff[qLrҠ5\-{閠_C'|.be2?`_VSJvq6آqg[^ǥN|/O$W5}z&FU\ l C8{W˭=4dd-pJaT4~(|@|`jpI /P\ej9 ٔ+F.ע<( %  gYZ3a0effb04fb80343153a40fe1342651919fbbf9c3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de ) HOL-Statespace