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  r r 5_}874)ekY LXbc7B=R$gYZ7zXZִF! "]ŗXi%60nMݚ{ zeαd~&je9_8R#čix ?'A-2 קRrp?x6,,P ^/|R?M3RwɅ/8):k?:J?N,r-1+76ϓ &aG, dM-ߔ!EM%jy9d[(:@N*$*wa!D~7>N<`gT*r@DabEkqZ~I i;rmËyO3_Nt(C y0ώ)#0" F0ǖ>uf9NNQԁ/,/9ƚK y3{:/6EXd|gzYBT\鴾'Мn,"-WS @6P?a/v1 %T̄ !]5# `%#d.nt~n-8 ؜˩9du ymh"n0Δ.- spzhY4zdVs4 k- -O7ؗGPu5T_fn <[x-iE4 Dk#m6m$н&^V -ǩ