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  }# | L ]]HOL-Nominal:threads=6elapsed=6.197cpu=13.024gc=0.648factor=2.107zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ2PL&pn%4K)NYYvɧy3ҳi4[͌$?tIO \Չ,u49?BʜdYkg[L&%ƀ樿!9JCPKu|J$tB](ݶ5{D\ƣ [͉n  |=gYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ ´{,OaG{ ;*{Ҍ. )_I }YZ7zXZִF! ]ŗXi%9%wT#(؀ ;Od ""~7 OtK pytlZ?t4k8"K)P:J-ӟ*CuWs8DZ*:oQ>bDYܚZ8٩!LÜ,\P%O}CYV%*5 &X䓘t?u, ,ǞH{ =K-m1fb9)5GT KSIz*f/pO NH %3=&˲~0Sk_/>M J9?b{/_Qv=++^햰v$'eW7OrG/Ab6:^Gqv0ME-=znpwtseM~\ c7mz2Ad"$Q%AЫ+gYZ5bf1b575401f790f50870423e30ddb6a491218230e3f5d7770b79d46052d8a53d0fb4bd743cd8681 265218b52b747aa88e85337254de8e8db5ae0fcc 8502e37319086bef6844d5f7c4f56a72936c3546dc754a8d28f15bcf97ea5a7232b28de7a5b36086 # HOL-Nominal