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 HK , ]I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.913cpu=22.340gc=0.644factor=1.887zXZִF! &]ŗXf1-/6vR[NDZ1* )# rof [iX7C s!!«P!Ԑ]C4o=vk"%_رgYZ7zXZִF! CB]ŗXi%6țb3pv[^5>^|wu!/*iEŐ5"qSUFżrZ0e0rvGT>Q %l_o:9]\U+Tʚ$k*Ah"8mvNeuѾv%! 5FZVKT=ٲI 2H71:X}0iNKkCq,AWHq{I}(BIDĽҢKs4.Tg} :hr4]8\Y [ku6 L6\s-tX[tx_2Es{nv)33UNh%o7KGM**x~5m )u?ԡUpR8)֩jJ%f"0|N<|.DJ}/RĮĪ vGolMcM:kj#4td(Cc(ۧ-xb'ݕ:7*8gWP,LAvLp*roɆs2JCnbG}SjSo%׳pxMgDAV.ѓ!U$H >-n!'쥀"Tx;JkNݬх~k͢z ZXQUV_ j5; *T!\0lT|,~_Af% d }AI`V@dc75! >W Ġ.~*=EA+dN?O5  /GId!G1>TTbG;.3KMDr^%7ʻ![fV))nSü{_v]k,N?>O`Iq 3'Ƀ>/YZe"|CO8E7|