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.761cpu=21.616gc=0.608factor=1.847zXZִF! }]ŗXf1-/6vR[NDZ1* )# rof [iX7C c\[8?^^ @+3 nUA ^WkR*}ܰSi x.y3馋!ۥfښ\LbP/hYMQ]ŗXi%6y4Zүer? L,]KVDO]私fw>7HXc\o%i`KWٴ*&g_ڟ0UheB+3j"&A|*B'8;lJT~Myn3|cSmCa뉹V'x1xp ƕd.sՖQᕋu_8$3^R Kx*+[ ͧ12G :2Q=}#6G5S̺teqX8:e6XP8itt0K?4[fDvZ7Hi+xQ4;{LO ш}$PAn̾CSd֬x UBG dڇNckyޥ84̏rì)2Z% )|E>TUʡX ~N5ķ םLh˾}St4ɘJu}*:H/`YNL݊W{ibESկ52G3j/gܨ+p287Ͻa~hX/5gطe@pD.˯tT qaxsK$Y ? EW !J (5J2i W4=¶nPS, 66v4H92Iw&) !M-A|<ɍd6gNtOI6 $w_7N* tkk&d;gYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4c 039003f5044e2ee9d5b8e1f6422cab0035e920fc "K Random_Graph_Subgraph_Threshold