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  x xD  ]] LCF:threads=2elapsed=3.402cpu=3.832gc=0.144factor=1.137zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^ѹ/+{̬Ο3Bb;bysG`QKޛ~&F'M.t,9r\ ќ猜aG r quo46鄓V%f|۞#xhOgYZ7zXZִF! ]ŗXi%96x ώ݌;L)w-\afQݫ:ZC{@c<2zʼny^NXxq5`N @wy%;jFb%22D@W?jrFy#Xd:J7~@S-ȕ8 wdYK[Yy}E"gtD~!vs"<eY4>r ix}NTېV 3<}.|K$I%Erq0`Eߛuca <&9/p|c7z(KQ