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  l l, S/ CYK:threads=2elapsed=5.061cpu=9.428gc=0.416factor=1.867zXZִF! 3 ]ŗXf1-/6vRZy/``$%'Yx3zK_"y| =`cdjTm˕rH7y| *Atjlr?ۖ3 i,N=r,* #S- =JPoc` MY``P>??p"KN6^(ʩ#lVe7z'BC[x*R*ɮ_mIN/m 2gYZ7zXZִF! ]ŗXi%6  \O\T's\Jhc8f̲@MuL)~| &nWѴ1wxhGrRw[}a-@As1u3<D_45no\'q@ }廬HoxH\)VZ"mlPL HP[o=~oV@G26ZHMm 3^rC]a2+&= hSj/~LԽ(e,jD }%FZGiF7"F*l{a; ūYZW -R ‘zJE#Dmu\ y