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  \-d < ]/ FunWithFunctions:threads=2elapsed=1.635cpu=2.368gc=0.000factor=1.457zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`n4eK[,bT+GZs6_(ϘS^4pm> ˳ԱgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &$ khEP;P|%P^S_Vq}YZ7zXZִF! ]ŗXi%;ŸyZ^ "{̺ak3~k, `\0b)=mNyUݩՋw{tAwEKFw. H4E뱒O;ܱp=\?P8P]ԛ pkLC%w`IiJaf7CE $bE?WrrŻiU7C8"2/|Sc'@&30 L[T5(QSvdnBTŶS Gd5Ҋ3+dLuJϿc.o&e^_mXgc8ųKy /c 9a-Q%(sʈ毩BH v@Bt>i`z،{S')ŤfD=qaۇ{c]FH$jJc`Uv ˘0\m\C 8!vOEdtT?TJ˾Y%mGiVa^"v5xۃڈ} o2qm0{-~gYZa906d872ad63c1ee8c5e647c6b451951b403046b79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f - FunWithFunctions