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=2elapsed=7.348cpu=13.172gc=0.716factor=1.797zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯} Yʰ0:b`!Whÿ}*{/3{‰\'L@TQjO^@*Π(7O#/WC=̵^A؎_E.:) Bz&(%|@rd[,hGXX \7 6]qgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ @tʕ~$ B Pͻ5^G(łA_I }YZ7zXZִF! #]ŗXi%9*Wγ~99Wg|Kk[ڷoaʿD k,*q魴Y]׀ɼW2Iv\o[`OK,Р^&6QE?vN}[8WN*&0>M w=I/ Qӱ[ J`_®^VYbCZ*V=Ϸ(%!<1+0*{_mUp1x~l3 XK9ypS33z8 d3{㧻\|iA^FoԂN3aZ`n#@S~;G@JU6T)O!kՅ'k\8`e:S. UJT"E*W# ;i}d=3 Dj#*1@?ܣ^<$ !^=Fj8}.~;m>ɚxu:{8UbJ/K6c廉Bik~4Gp%++R pj2` dr?^5Wk(KAuT4/=`:=b'I92yT/Y1\뻈 Y0- _0!|4n?J-/ZKx$iL^cJƫ̠!te /rx"뚡 Rn*lX )H.aH9T|aH64<FrgYZa26604121754c242d8c41960710b15fb5759c51a1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0f13f7bac1a13f36a70cccb34a45c57ca8168b943 # HOL-Nominal