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  g-l %/ Constructor_Funs:threads=2elapsed=9.402cpu=6.036gc=0.236factor=0.647zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}#n$r?Ʌ ҧUZ;Uz)Lq-s2 0E{~\ KJOSzͨxU8alv1,ȺαgYZ7zXZִF! 3g]ŗXi%6˻hJWkF'8 -^uɕϪ6y wހ1F%Bi)p[7:T??֓]μI6f*% YQZ'4t茞3>zo'_0/kI)l k. ;?9+e=c_b%L{o4wٌ 5aPG&vJqO'_v֖ lՁ80u{LLZe$6'7o$_,g1aTIZcCmX˙ح"s~uNID?TFPoe7R )w*bd"v,rFqzJ\V;`x}>/8'A ֌;fW Ѣ׽x 8$H&+WjƹR|NC /KfzCgYZ39934a44712cc3689b526749fc52819125ff01bc 39f4551db3e655a3b55d113812c2a52addd91c6f 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be a050513c4e99915f1143006e1c9e5fbab0cc5278 a9925424cba4e59feefa5d82f6b8d722cc9819e8554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 - Constructor_Funs