SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 <\| ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=7.970cpu=22.388gc=0.424factor=2.817zXZִF! AW]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_g GM3ۘX##PF%> [2P8!̏ٸ z8m KtkhM2hk_oDftf8Rԓl=f\Ww;'fe.؝{rN\}3.V@~qbBbO, \)9}03Ўpm'l67.sa"V[!b'sO[!w;F'rEY,:%W4!ޤ6Z44TUK ]ezP5E L:CF|&a riu grK9?NQlѢ*`mjzT"NSۢ={k8G. JxJ(Й^L=mxwh] |{JxId0nxO[!B's$ن:݈lJK(sK&q5*W,2I$%p=f*<+]NTs."l&6l( Pҝ;e4-\ )VIMlTdl(Q WÉ&7Ud/ CP!ҔNPƼ +ɀW\Θ%! mRS44A}5 x4?SLuKv'߈r=)neG\x] #z#~fݎ :t=..ӸOӾ0|C~v 4^Z;}PXWW ΂J^zFƠ^Vw S nDgYZb328e90b1dddc41ecbf4c10ca445df51cbeb7e0d78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 d315af1d1e0679176eaf090503e10fceebbdeadd ef42d7ab26f93edb32165243a7197e3b1459557f "K Random_Graph_Subgraph_Threshold