SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ::C L<4 ]/]HOLCF:threads=6elapsed=12.836cpu=40.884gc=2.856factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0a%ʞZgۨ3Ӈɇ9S2]k|.9JS= FDѳNSQDl*%Qȼd7f^kxTco!R#k9i@yihWt9._umQnɏеg7mzՅqM{ T[V+)Z6r䫼>GѼ`a9kHsqБ'x^~DPJ"LM $.fAWu%h#GiNֹvAuAl8!)MB;&ӧF kF`~8s_NsEh<,!$zV66B=n9/$yق Tt{Y崂CTަ4r<2CcBn'2u:BJ?ƘM-dv0 UC=2_ѧ[TzbrA<xK.8-hj;9o=R1L%Ϯ7uE%&ˑ|Ŵ 0Op4c.JzYC}5wFO~o7MQLRs/7(L5r,%W