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  ` `F;٬II_a"F," @듂PqgYZ7zXZִF! U]ŗXiɟqHdOkwZuӽ"GWݑݪI >wX:qL mko Isr1XFƣ mE0 @(Sы%'RXyxLlnH=K=mCC?3<މ$xpe%|"/v Ҭg&l8iCz^tY9g 8z+B,EǥE;('@bٚQh]2djL͗"cU]m84?;jS +&ǪX܂tF/ϼ86/&BRo\v.>R::0ܕmCq@@ ՑP2U@ !k h*a;#,pbiRi .TS7)B3u)+]oԵr̦a7lt~.+F٢]ӉZ~N^4<.ZL9"1R 8 q.#p'W0ݷ䫍 -uNla7B9[vuXQ[KP< i }s_`Wf{W<(Gz.$7rUV?E UȾ;|MOD/q,\[7Apޛ޻|ɭ Xh7C_Iʈu\^8;L }q)+[YM sחĖyjmYA66ncֲ/٢lg@QAzx(>pV+GXJoDҾ$qQE%[ [Ɖi$9>RY_iT \<2?{ds?oq!vԎّ&S36}E|üSoV^Ibr:!ٹU_S#Ipu)*@"-ꖁsP&6cӅi aGvM:s=pN Tn+C{[E" 6(vi=ŏyVLlPU[_~&b:OxDc 6}zidu5'= ߾җmw@bŋR֤r&?DŃYӚ(zz$bԹy<躪>:seye&c͹Í֎4Ee `{bZXVhs)]ۇ«aY6qw崾~gXz@bT{%