SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   k! ld ]/ Prog_Prove:threads=2elapsed=5.462cpu=10.256gc=0.700factor=1.887zXZִF! !]ŗXf1-hg3㶌 8UA5kGc,SnÊ/?(>WZX]). L+;ivhq/ ~hฟVsIK5x`Yء] T=W7 `<v8*@>VVuTЇ?YѳG\#`P-Rw:CB ].#|3(Ӗ9gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ sh$Q;ậCnۑRc?)4QO~8ŁwdԷͫKhÃuWA5(F8*@઼=QH,kO-17oFh鄐3=E@grIrѶ=f%4}:E0k\JѱgYZ7zXZִF! g]ŗXi%;%N)~AӭXp窏4B>[.-g:ilkmF 7!5r!Xܔwנou&o"ߪX0&cq sh\&>r?W^Z_+Pb"c6T9n65~#Muh%Ujɡ1Mw5 w@b;ĔOawĞ;!v=MPs'֩6p狆hC8%@THd>eX /f 9Nͯ(_y߂ZzD`o #qw:4419zgYZ678296a9998bafcc5aa25dd8662a57f0f7889204c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80  ! Prog_Prove