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 lK 4 I Random_Graph_Subgraph_Threshold:threads=2elapsed=12.015cpu=22.368gc=0.600factor=1.867zXZִF! 3]ŗXf1-/6vR[NDZ1* )# rof [iX7C QSWr }ijs>(/a?Q|20L0䞾MߝEE9mͻCn_D3a^#Rt cNO\V,U=S[sނgE ڟͱgYZ7zXZִF! F/S]ŗXi%6uT(>lQ6<D$YZ,/ixUE$͇ce.ǖ( =4=i4;[ٔ"$Pj,;sj4(0&s5`h4t.s( pQܜe޳@m$LRoKln;;:Pa9'9 ѦlJu"5j& [Gԓӷd"BUdnNm;j˵Ǎ^* u{?C#sè%{6~2x֨,wk9>wyѡ ~k*b9vCY#C!ن <;Mu"kLMq zQw v>mGȚty&5UA:ՔwVe^i?J gx:2!-G[b'ٍJyvT^DVl%t{26\8UC^4ddf fbQ}|;"A> )-kC1U K4ؤ叠JshJtjBY?!cE(RK_+INu@hFPv0(z@I,ME*⾐1?] n-0ـ0AmCI!u_ q2Zͮ*9kzwIanƫM&|K"K/)r0>:KpX%SC"Ǒ#!1-fQ׵hj ɖqCOG1z|nMi;6 [GPwAp:V[5֖ .6T2NEGIsN0 T?.|A.-RﶾtqgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 3cfa26011d3ad9007f9cfe141f0dcef0b322e0c0 409a4c9b1fa021a460ef8e33779c94ea28d2fe7c "K Random_Graph_Subgraph_Threshold