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  D D9# L t ]]HOL-Nominal:threads=6elapsed=5.895cpu=12.424gc=0.588factor=2.117zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTTkeը&)ǸD9Ϥb6aɈGQ%},SJcӋ$Nmx+Zi4V6 d03 aخEglj,][)1lק'ܾC4>Pgq_:uo= kgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î b{^d/``I'{J}YZ7zXZִF! |]ŗXi%9#kQ:܈C|%ŋc.H;F-ɛ\XSXd%AS[ (c MUi#qI$6_ wNxq9߶cbO  bR˼hmr"# h |}X)g_&Xނt 2K ƥmT*Mw XBbeKBʹ݅R`'St<ܢ' 1Ξ?%vZIm89[Xj,J,[5 86ث?V1hI"KM5z9=mvV!c l*rN f"3,6˂ - hNHq5N͵ඝ[Ut{BS{ƧL4sLVnH=gP@/Ӎ@0̺oD7"^YU>h_F v\NÁ޺)B@>&FǼ˽l>6>۠Ѡy: tۚ Lg0?9J(ߡr[pMwDk%~$sߌ;koUw;[؇Ghu(BwW?X5>5Rb~O\3bW]j2&p錑6P3B_<IgYZ0a644e2e60588d156a40311888bfec24d67d08ff1dae994d72a426784accfc4f3275f57abe406926 825dae3757483ec2a6fb4864069860afce4ab143 54b2620f295f821522b54d40e2de4ebeb1f36549b93adc1492f9a4181057c59767a80aff02b1ddf9 # HOL-Nominal