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  # | | ]]HOL-Nominal:threads=2elapsed=7.871cpu=14.176gc=0.856factor=1.807zXZִF! /]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯O {:bn]grh ̲{hh1&CkjKEY(ŇT^$6āU$R0NZ^R*e|0 6B0 &~"ç?v4<I뜉8tIojBGDb@ '{+ /gYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ }H;9;k%}`m,"^_I }YZ7zXZִF! %X]ŗXi%;s$xbb#( 45'85=>݅ R#sWM,!Ks:ћ6CR#_@Θ@j'0cZ6.qe15S?8imSUS+/`bE,ke4)&Y㪰ΈB k|dBcm u0)2r3ATS5fM i 2DF5]t XBA[6NE5/a,!ηN؆&E5L>M$ ?+~Gacq%4)Ǒ)=Y@VT fX7JvRRmmxn ZXB>4&-RSL׬:|. 4SC+^r@LZqELHKX]G$47/QR*lRGf2A Z;čNU9y|N?"8WI:X5in֎^QR]-oF8VƤ'sηۀ!az}bi$R曔gS4MסARu ;%i(~td;gK ^VDUI3ϵ>*"'w!.· <