SQLite format 3@ . BBh77otableisabelle_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 DT ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.170cpu=18.532gc=0.532factor=1.827zXZִF! Y]ŗXf1-/6vR[NDZ1* )# rof [iX7C $(^tgغXr$q┱(S#l 7{f ]^vn5vC[/z*p ˔ocp '_`RgYZ7zXZִF! A]ŗXi%ήuƼ YƄ0:I'!d` ßI L^pPWn1&^;8vH -,>tK8 $g : !+ 9\X'iwKa8 ;->C(/& rE;EmG`RZڸVKs9zQMرfX~E/T'n&,.CǕl!-p7Ȼc9'_ UB #Ag3;87<(/Wn UpSD$>$N83rplXZ6I狛i}͟uXE]pt(n(pnZ3t?)Uv{5.d'wÿ>$0R}~hہTkakG|N'oaz;8oOݨ.ѹbFJ~<և6Z%n9HV!!&8̉j>j&Lq?Gx-^"]Lѵ< `@ 7V]تP;h9ϳӬk34TWH| aCmVe^ z1n,S'qF̍Fx kl]KaZZ Z"ǩI+а{J;yG!D^}Gjpчm]C25XeW}G4c&(}*^0͂oZYw ih.vΌY6[6Ɂi½4 By*̼'NV =9ES"ZS;r[R *XdK_1!` k bEۘ?F{4͂]H-yEgF![CjEGu{6Ud*x9~N im$`b;I:o0Kl[fdce31_ϋva#:VˣXY3uOj nѝ:;6gYZe4077642d5add158197fdf2aad08dfa84423514e00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 47d5f26d62bb0e2b689d2f2c5dc3f380edb8a6a4 99bdacae3fe0fe8efdfd23df089cd929330faadd "K Random_Graph_Subgraph_Threshold