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 $ ]I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.601cpu=21.720gc=0.584factor=1.877zXZִF! N]ŗXf1-/6vR[NDZ1* )# rof [iX7C B 93ٛL9"^hʲt}kIO'∍}fYݥ{~ Vۄ`L%d'޸uϲ(j5L(t FpͻGnN8L?qީF[=FjCk+8`ߛl*ەJG#YgZ. BX-VkX#]L^mg Qs\Op䵛M r;1#씲bhJ; wQlD X#>qxdOA넄%Cz)Gk< *NpgYZ7zXZִF! CD]ŗXi%6f.М"^8/^x@1h Wv? PTyNx싉vn冪@KJ|8.Ky7YnaYIN ZJ9QP:谎 V͡0(wi:`h8R[kLM!|Jtt=mw[xk?SVtRpSAX0{OpQZj@MG`,%z+R_֖$+?PhjX@.Z4V{uwlN ,߃2^ ;A>ܥ}Ɓ%@l$X?RBVtW)M8PC곜WIe4ǩ67LٯBx}$gPd}Rzl]4{c{5OLsDKa\SmqRŝ!tلSBVrFBq<yf!py0!Wc+