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 QQ,K TT ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=11.365cpu=20.228gc=0.520factor=1.787zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C ف u7b)v\-ů1d7I4L4ճf"= 19|aR) ?t~XUa3^8bY}lXUd5[j !w@|_sge ֊-B!=rbA)-?i1+"dYw14Q"^ ct}ri&P62""[aF)h‡adyޱgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!/;G7C= ;u&;﨔XIXcv.5, gWbD2r /fª+V' ٳNa|V̜#]tE2},hGPX b@OHMG"V&TMv-9j Ak(2V@f٢ʖԬ= d%g{SJ"蟷&.s4*xg9͔F'm|9q ߶G +&7Bq~_d1 ل.M9_,xǃK1;;µOEX!;%in.?&Ãdv(ǹf8,A7F_Z2-I/b*^Oٖ [ٖȇ#b<:)/5SaAœxTDvՠ AGWVQg|DʆbR*:]eg%A&*f8(^YE&b)3a, *+HqJ0#7& 9;/hzǽm\ENU'@H2U'N Fj_!~[;j3w@jJ-nQ<^N~WTZ,#2/f`^Ѡ"Oσl2:0uЅ+S;&JS2`p'gf?Y(2*.S׆ Ұ͛3K_S_@ش֥q߶: L>Go¯SꆥM {~җ> 9J[ndՆ-@xBJx^̴ἳ^Vo.E8|~R67(#"IG ^:QA%N b[i/v2Gs:4KČMԱgYZ260b3c4c14f7a81dedc0015131035a65805f6521f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 a643a21d33ebcea1725873278009917e0a504d89 9c593512be5eb7eb50d597df962fe85f51f09c8a ddfc12b840cfab584dcf9658ff17c09ce9300afa "K Random_Graph_Subgraph_Threshold