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  0 0M# \ ]]HOL-Nominal:threads=6elapsed=6.056cpu=12.536gc=0.560factor=2.077zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ e_TTk#Bb(O[eՑ ѬϔOLFY5d:sEQIMrtC?hfwz''cf-*sz/GB~R)^SiZ,N 1 u`N;fv~3hHW,V",Z(o:W(5sT;"1uj20:^B^^+KIEcH=E͌n:4ʂ2@$V–S9z]UFzr AJ5>Ԓz40Z(C!pV|}`r SD`s1 $rTp1d{52AuɛйQesé㍆gHXWb)dX.`i&]7#r,׳=T7=֝|K&-ҋ|~vŬF]6MfR5` {QB ;=Jn߻@L,n᪤cyrD?7Kذ*5#>r;A(\tJUMr4J|e\ݐ f-'YyO:^E",<SgYZa26604121754c242d8c41960710b15fb5759c51a5bc7b8609748a10319dc3892a3dee59fdc4e228c 8d4321ea3a63542efcc2eeabd02c563b82b91bad d7bc99ae45fca7aba1a9b28b0f37cf0a9d0057e70aa7d9276a212b174d9d7be02d4fbb2ef4e042e2 # HOL-Nominal