SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 <<A l ]/ Huffman:threads=2elapsed=11.200cpu=19.944gc=0.576factor=1.787zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp •혱ϬzkYTuGIXʕ&W? LmΜJgΑ=Q: \sv^zqɸBPF"Z&^ i2jcTrkFK@H=&h\kA,n< 7Ѻϗ50CtH`F;K[D=x}YZ7zXZִF! A.]ŗXi%9*] bOͱ87ʉ\%Eg2$bkJeDmC+>LMxgVظD/Twr#F3L"|UVTO|!=@bϭ;iҫ ,=´D6gotK(R{M9# . >,Ǣzx0.pR.#+U, 䊎eOW{ 20|G٥aDzW'jFmb7덽Ժ'lD3ljF̠aՃ,Xd hC*͏REmjSH0|ꮠ[ dʝ@QҖpbunwMgɢέV}htvTM?/}T0ٜ5'qO]+U Y {-.JP9 ᡰTr kfLg}ked0T֔E=`~F`~ֵqϲ97ʤWzU⻯4pKݭ3[D!̀̑D> :M![gC(Ln6 'qKT]$Psx3EG(- = 0!ʷsVaIoZn5]Kcxrtfk'Gу'gYZ28e1654a2cd9a7a89d8d7b60f1e23c88e8aa8a75325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569   Huffman