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  d d5$ w ArrowImpossibilityGS:threads=2elapsed=3.522cpu=6.792gc=0.376factor=1.937zXZִF! |]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%9.IdG~5A0~]xt;'vg5PQ^WۺѽwJHRռ,SE#SQ'jNx[a"߇lPI7wDp(-sSE[¬Q~1r_ nIkgYZ7zXZִF! {]ŗXi%6u>f|6 F&:;QuO<&;0Hf qph5(̕} !Zđ8ykJ$$?E.m}ƀ/cMr3]xa',sk w=ҼG#I߈*E1]!%C*ފEpz<g$?K*̚ȽzHcpW UNHؓhy6z|MZE=OF-:ɇѤɵL6iF91r9vM' _ n^HScVX9ES"<0kx26@b}YLfY%P SMUWj\@(k(o2A>f8#ރp(p+s |v5|PlTV`qȷ AiP.+Ou9 WKkQ(_h7\'BgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 5 ArrowImpossibilityGS