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   j1lD ]/ Roy_Floyd_Warshall:threads=2elapsed=0.534cpu=0.896gc=0.000factor=1.687zXZִF! p]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXM ^2T3ou%9Xp_yJgYZ7zXZִF! YH]ŗXiɟ{߮""N9 SǙ8W! Ԭ}L ϧo(tʼnXw"i!udZb}YZ7zXZִF! j]ŗXi%9(S$_t ւHӈԳrJԟZ⾈>/)o2A|Ge4/eHB|t /J{Kާ_߶x)X-_t f$pKoFO ŔV]V jN$\ő܌%A`4^Zv4,Q:id&ԯP "}r+o~ӐAmȹ(Vp(rf֔C#ZUjHuERz>1ȌčqB6j`t5c5%{+wYba߶n\O՟[