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  @ @=\\t ] HOL-Unix:threads=4elapsed=5.109cpu=9.560gc=0.316factor=1.877zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl Jo ګk92Z|\j]h746ky?^h \x`՟IY K%:nD Q l1ѱJBU]9j` WW'`kIrN4bW),'mgEn4(/QgYZ7zXZִF! e]ŗXiɟ1Ivx*`(rHQ ɅeXa?IX^:UO5^y}%i,o\yFY!PPqWiyR=gYZ7zXZִF! .]ŗXi%ES3Ǐ?An@稫}xF@b_X_#>X15w+KG(uҙI{\3ѫ o } c}:|M\ 5;yFCE#ƼN&şuSw;i@=9ٝxٚBBC:gWdF(yfWe^߫sXsj-m_j]_2} 3Eנ}9OuGtk,&"|FP@gI=M돕-8i\  :sscP6DmޥLe7FИۼe+ĩڼ C;-$i 39?.H25U s[]ivc$4G]+} 63"7$z-FVB3pRDE2Iϕ@"a*ҖJ;땂].+lEzFE̩≳nCէ{?ݪHi&weU_}H n8G$!NO"(%aǙҜ: (٫GjPꉈ2 +9kT" !}+I#v*^2R|k [W5n Ų/\Fy]E ' ٮMH bI:Rٶ~]BV*αgYZ8917f0a8505fa5b409dc7bc7e5d0cce2b12729bb76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403   HOL-Unix