SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 C L4 %]CAVA_Base:threads=2elapsed=9.220cpu=17.996gc=0.832factor=1.957zXZִF! ]]ŗXf1-/6vRZ*_LgNۻv)kyW+ۏmU1dk(|p$?|az7ͯ3%v'Hk¨a! mOiuZʧw X\&!OsRΗjÞ?d&pdsgЎ|g6 l\CpflxTKB };ؠU!S;&(Ҿo No.ͧju#Y`H}J+nj$1zB0iO  }-s%cug ۦi κs.^ȝAVq|Uur<׉op>)Ǒ)`L@Ay7 ?hqC…s%ذAmE7k5Ԣ<KP,t@gǤoC/[oe Mc<}$[-&zbU_[ =\n5[ׅQ6`}㖬k6xլMrG@uYwnϩP6oZkM**|)R$%wp_G1"Rd7eGgYZ7zXZִF! ,R]ŗXi%6wlT+ޝuGU[hDgro35Mz**4B]>T{%mudנA6c^,PrVw˄DZ,;VTBWڻy6-5(`>o967 A~2Oz+Fj3P`k-绚eSn~ .׸vU*q7qaY6pLJb= ~/TJnTҚ1ݡ j|ۇ%[ʤ;", ߌ~B>xH`DK\ (ҧaERO6ACGTߢ9y$a=}aM Y5YW V.@MWrr+Iautz $