SQLite format 3@ .0:  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  )  ʰ oSt_/ltaMs޵H1O51t^&/%@7~fw]E2JKu{`1Ҋ+߻deŻ$xGqGX3h5`0ٕ$7n=H!a [8Uj$5H`&Ք0Ǔi7?M'u{H,T}I=.gYye%sm> _@q<]m™H_ :!DgYZ7zXZִF! ]ŗXiɟˏa)YfCO3j=@tu'`G[%{,>a?J;ݺIu)W~aRCd+ְ8g&e?зLIo,1- KDñgYZ7zXZִF! :El]ŗXi%GЛ{|C@/"x6FZ yk*W#'YC2RbAC]b#̡R_:;l;sQVvO^MMnu EQf{ŋ4 K:_-h7;_i->HZfI 2O/w6j  I,$M j|3m]@.ޖ8 &.k䎔E"Xl59+y6ԽYvyDrB?@m>^MuJ%-sciy̾,zPⅮ 3fXZY!A7DiMicc+wG)x4R5x53߰\u D!4z@3Wwy`: iDkc+woe/׼e夤=+:F wKXǥVpr-;NhX2#B3Y2bpbQ+gn us%cQFcSpƼ6G'3'?Ob^>It;ń="+J\/0poXU&ݖI9LE ul|pe7}@uA?c0{$)BgrkdžqrUC\7~>B-OcP02ȗXr/_ڄ 4Y|Obf&e+[g_8c?:'?u_L`ﺣV9}Lyԡ:7߿q ج*> jqXW}{D K,izc5EP OjNIe0g!Q3 RSeb Az>yG ͎+ s(0ύϢ=~גvYbfT8A"[V0NYkJYɄēB+bPXni?AYpil/ۙ%`EtL?EB51`B .jpjRe:a2;.s9WǦpz! wopYZLua) tOQx