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 PK  I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.523cpu=21.308gc=0.664factor=1.857zXZִF! 2]ŗXf1-/6vR[NDZ1* )# rof [iX7C $L➧G ɋY5t#t)h ۗMgYZ7zXZִF! A?]ŗXi% Cѓ!gugkNp:~U__<+g) RYy*a!Xe CZk٭ g9.6^hC qf ba/k10ځE?+mx|o2*Cx M09:\UQ9,iҢ 7^:3+Mv%~[ݵ:KQJXXFT7DzOs=:M]2Kzr]2hu-z}TUmo6!JgW byG=T8O향_d%`{nZ*\Wh-:S}W1 },@uI/@`_{,&? . OHh=XY 0a)ދ,ʚJJfк|\8SY>YM4Sǩ!\%t[̖A#3Z)܃ 8%]>,I!\.zpk gldztJ%TJ՞AE}U&{Kyv=hl(4O-Iu ;A K0[>U+d{GOKyp=y8ơsP,6 oN ZoϠmd o3H)^:x@{WueL;B DT'>#U L"a)A p?Q .Dk!R:(Vj5-c43#1~oEbySf+|w7~DINDp_]yg*eW|ngYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e 49658c93cfb92974e198661fb1503d47b1642b97 a34a5179ae956d0ac0363dd38c5bad9ed4bd598f ee6de57b1cfd998987fab2f0b07951f3c3012215 "K Random_Graph_Subgraph_Threshold