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   $4 E ZF-UNITY:threads=6elapsed=5.145cpu=25.288gc=0.840factor=4.917zXZִF! L]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđfK8. |K^j[~aū6)w=!:q0[<"Iz ts4Pݪ GWL}fW,¥* ~Rs=tWϾpǸwʹFC&L$`E,u4>ݒH)$\Ճ[ c3 PUѼ@܎VVuܪQ bg\>'`ѓ0ɫ-Roj) sZ@qjSK4Au?)ME ov !Ѱ'9<9`މ>+7k-Nx>b+l%6Ķ:U2x MVd.t.2E x{:,$')B% 0qwL2DZZdMU (Uωr GmsHA #GQ 招r&v_6 0ȓtێ/r1>amPy`4ԱgYZ7zXZִF! =]ŗXi%7-7('iܸNk5da^5F>͋NIYhr \_l)ٽㆭ I67 Ca="2֔SqU1P],ƴJ)Zib!Tg9Ʊ I-@m`3i]gW 1kpc)M w1CS9wyh)4ųё