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 VV'K TD ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=7.013cpu=20.292gc=0.352factor=2.897zXZִF! aC]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_020 8Cq򨈬<Bp+”q7n^0DJq"(<ӫx].NzWA\m Vڙ 8 dmE(^m/06k'q%hy-@3~<+٣*)?[68pL ,ǯj+ (߫C_sآxidL @:kz˜M2V/۟,]X=gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:![.W=x0nBƣ YgԔ] Y?3(\MB',z ~zDi*00eYgӋG@1{0VV _`RgYZ7zXZִF! ?]ŗXi%G\t4\i> PYЙ:m`w ͍ƶIƥFkW}m)༑_#Kk,m!B*9h:ܛe5$$Exw{ݻy|N$צȻM&e"\DLs7pS|x (3C+0%u׋JdG8(ZP&V(.0QD`7~Wd "x)*/ 6P.XJ ~pieF#em'@iQ|a6?ntTVt )AmMjYrRMKSK'_ ]@ӟ% N ; Ԧ%U6 LWdDP´ZWQCiPm,xgߜ^TCo Ju#نf!BNOd#Ήb٩:P$_jl*-CȕW%K97(f'|Hh\f5m@~F( _Ubrrq& ˽&3wiL&-9tXF1-<q*ږwס\olbC:<>gp嫘ol}tyJ`NޏK SRm|@} C|Eyrv /v\:F<QKqZ?~PWϥ%x..|tfnSO浹vQ̓YCjaǪGqlmYM=Wȕ#Qܣ F꽕8Guqmn<\N8Eٴn14rA©Hܗ5*qnSGG ]eN [ns1-@$P7Xt%taLdՆ!H Uл(mqi&=aXnpE8E9?hL4I X8~Rn a=ƱgYZ18edbe2262afb663ed186596dd2d1e0e82656eb74e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 db934fa6b5a7fb14b203060356e55ad25419f6d4 e811ff51dc9c7cd0c95d25e24b9d047e8d0fe130 "K Random_Graph_Subgraph_Threshold