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 d I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.506cpu=21.604gc=0.604factor=1.887zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C yN[éf6Ụvכ{SLW\K18oߏ9i 0Z .?zY`(iO'o%x&3ۗ)+nKK.6oG@s|rS&X3o[׼C&.h`@Jش`x31(O敐Q)~N/R_;igCC?lڢ^$ S9GBoyn>4䘾@ ^ %QZdxZk$owER@}*V~ -+Bg 3C``sLAGQu48`uSsءEZ\+tc]ee|j!2|kPo}-t>k*cn6f'ƽ@ƻX+-)+m:E6蛩b^>:gΫGݡ1<,\֝\d;  ?-co/ʽ_'C>yr;^ 9Z&o>̬ B<'h*(QKUuSySUւ{eֈ/H@Adyuu\6lr{ .bG_TmٹR~H_Ш#ԼvBUt';IUgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece 0300ba45907b37cda3ecf5c6a57d06dd2a4c8f5e "K Random_Graph_Subgraph_Threshold