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 N ,| ]]]ZF:threads=6elapsed=13.035cpu=38.896gc=2.120factor=2.987zXZִF! ]ŗXf1-) enȈA XR„3C۽K2%zÁߝz+㤶s >3\kSA;1X&04*MR8Kb9{ېOT4cQGx$&2| 8/ MNR=T4fGQ"hicѮam $K>q.mP*1= 5gYZ7zXZִF! 6]ŗXiɟ 1FE`穹mN/KV7d%hqܶrQ$Ty"*-/_v|+vN).c[e%ZHݤW;"8F0&I!+Me eT|[ .*=6  OlI乢>)LW 3ȕA8WwR^̶*F!UǗ=aؘ$ֿ7P%!tꨋYѲ,@X/;~(Ϸ'K\ݠL6$ "ڽx~|syuIP;HǢ-GsO):^-&:dEFDfѹ]*"ϡ{}86g{eZ9]woS(~vyapzC-c>x9Nw=G 1օ-(3 %:nM*˺HQ‚ָ{ɗ"5<-Ȕ丅0+1ө ޕ ;5,ktmi֒ղ䬜6$~ >+"&_U;v{+gnm-t[f@$ArRa ,xD ,MS4U x%sUZU$}:1UQ֢-U'8ELY=`xXqN`V#-*4E]̹MrҀ=ŵZ3TpcgYу=qPNcۓSd2vniJ Ŧ[TłifR>;$R-wp$ kPEEڎ cWBӨK4 KQ웝RW}uB+ߓVg8<挰DqOʍJR]V*r*4^ gYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc670cea6af50952712e101cf3d03ef47baba4b0476afd99be729f93fa8913e1fa197f072c668b42b66e  ZF