SQLite format 3@ .  YYQ77Atableisabelle_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, "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 K LL I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.496cpu=21.600gc=0.628factor=1.887zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C P--VQ.VA8v6gD|̠PkI5OtZl~)F<@v_tlթxl{H)gYZ7zXZִF! A]ŗXi%2%tw 7t"B1XgAghkMob27e,c;TdUx9[!'?9ahy\"U"A'z:\S_:*s`geV~pݭK!K'OF 些 ST9P,2 2=Z р Fl, { RZ>l18fɨSMx灙! SH)\Ҡ3eJO `fufKy^ 8CF_;D4Д全h_f"];JU6䞅֯~RKD쇦Skc