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 D1 t\ w/ RefinementReactive:threads=2elapsed=16.847cpu=22.072gc=0.404factor=1.317zXZִF! %3]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KlQP$&:-썛uf(?>q{>b_PuX;s:ҼXh̤QiƔJUI8O t/(E3jiI1"d6v~;hpbBF1˫I:Љ,/\GK3r}-PCkY?H&JaЗ4={~^Ju -gYZ7zXZִF! []ŗXi%6p{pt5NX4?CoC7ϦCY:Vq ]f7ja0׺kBq y;x_2׭״Ӷ=aR5*iY*v/\O *ß~7o=)~›S\+*?Uؾ|2DyJQr"۪?XD/0PQXwEC)^I.׬ϐii ~-`!9a}! t