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 D95d w ArrowImpossibilityGS:threads=2elapsed=3.615cpu=6.940gc=0.352factor=1.927zXZִF! ]ŗXf1-/6vRZ]o S.AMLfDB4ܮ..WkXhOC'IN@ u\Hy=[>;=^Cd2u3!F:?'!"Ω̖[ѹ 06fr7f${k"S!GfP7p=`iws; Yrws:>x0+:Iژr(sXe ߬3;r c{/! dvIdAlv!/y&_yUg?,1T¼U[o@j ,S)`KpH֞ 2K񢟁yI"dlDפKa̪I=FoivI2qɐw^PO~%*SZd5%z-r꧝͌ vC }Lt߅>"}r)ܨ&wmƥ=i<3[hj33<̵F%B<})0)[s#ܵJq \QS(GSw|NVUy\Jt/ŝFE+f 5b; dj>`{)RJ%PǗ-FC+Kݗ.?R7oryr#j-?|9eotťjj^l%q`ν l#&C/!Nrs\1&R Zuj^ZȂ9rN:$#c.Qw[3l0رgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 5 ArrowImpossibilityGS