SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p=ld w Tail_Recursive_Functions:threads=2elapsed=4.304cpu=8.224gc=0.364factor=1.917 = Tail_Recursive_FunctionszXZִF! ]ŗXf1-/6vR[k})d4m 4o=>2VW3<]|cw+3UPOՈZ oF=im*əxFpǽECYɸUS-Cٸr3Tl1[TO#<e^bit@)[ O$f:]dwF(_u@ jL l =b1ف\ *ˉ rƠ٧ ޡ`ȱSlҾti]7=#I&cC|~PŐOl S#\_kl]bA?m,8wuy_um34X0 e襍"ʢ0(US*<YˌǟR73+ qBԛ؏'ZI#]o~z-