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  c-D$ %/ Constructor_Funs:threads=2elapsed=7.454cpu=5.692gc=0.200factor=0.767zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}0pU8nL߃nތwEEnUbkS0Gةu=5>k::꿠K%=ff̻uj !A~ѱLӰFz,7!c+.arߡ)^.UR(+y۟: R0>to V^eY0$2<@<<[wF}a?8rQMȱbꦬ72ѷcqx_Xz(e@Oz3ߒN8Sh$gYZ39f4551db3e655a3b55d113812c2a52addd91c6f 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be 697c5c0e2344d52be79955bfac21eb851db0dd18 a050513c4e99915f1143006e1c9e5fbab0cc5278 ac03b26f96031f21d43bd211fddd0468cad7c192fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 - Constructor_Funs