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 XK  I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.754cpu=22.328gc=0.728factor=1.907zXZִF! K]ŗXf1-/6vR[NDZ1* )# rof [iX7C i9)jfZ;E4+Hy&1 &&WyEc!@hoFdnO6Qh)=ַm)E`gDf@ N˒pJ)oǛt9aֽpX8t-3"4Jp!\[f}9Yƃz_B*vuQ|ƒi59藫`;׃v>7~擦#ڙyXdt~"4so1ɱp LII5 ĕgYZ7zXZִF! AE]ŗXi% +[8xݥy`Ř*ӂUzlgN91|#B(LeeCeFty{K8)!|KaL趻F L\˶(^OXG+$ VrQ=`kn@Z4:=BROMQ6?*sy0ܯR{EcM `?sGZW1'(+TA5P*{*bRHiQp%i*%H\8{uiF`vmJLqs b##eI ѦKb>h1U2m)Ӭ,OcON^aj&ޅŗCY+MFAdI~-=|Iszӊ : [lQJPk=>) UP#tMgwq\g'K R0*)g_XJ7f1 })5pzkKTB˲).qL'j6 +k7}-vT8bɮ Fa7w"y'0sTUfsLjvd)~_kD^hXעC׏D)3953<)W}gzZ|~z#'R9 k%aߩ 7O&VYnL rÛ8#y6;t#"Febm9};)Yl)3ÈIȎ9(la)f%# ;r!~~`ڴ.6)D51G7[~a!ZcTgbvhG/\ %QC>= LK‹Yz?<(SqU/03%u7KSӥuq؏b@ b],ܗݡ 9Uuʮqg]eU܂v5@fdU7/O'-eNӟP\Kf!Q*,6gYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af 3ce0ce907a4af6e4c9babc176392c51ce90bafbb 9e99dc26970ba9ad64a9e6f404719d578f70a27c "K Random_Graph_Subgraph_Threshold