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  [ ["#T ]%]JNF-HOL-Lib:threads=8elapsed=1.232cpu=3.141gc=0.000factor=2.557zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI ^#=2dT_L[wP 'aD㦬J];`p1ٷbıgYZ7zXZִF! c]ŗXiɟ1?ߟt;9HK?.>e7"Pr)[Uoa#ƴ<1@4%<1CiPr%ʜ֚rHC.pZ&֎|.RZPX^vaQ֍adIW.쨯`C-ot7ԍƑqÃiỔ8#E*L G< vNŹF#{P[#!8-K=٢{MDy܀(FN]Vn>hN#:d3|C dJ)_!]&gUX=BIh=BG1HRKՈ5:A r$Y/p%D ^JOpKXE}{LJs>;<,w*!KTaԶe j@/zbgYZcc4007ae7f9266341c07ab09e97d3ed6323b8593c58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3a 5a8dfd3c794998648fe75f5d8b9cf8d56b5c9238 96c1512902933cbb85bbe9c5227021e834f67011 873bec30d8f478286d66e5326a36e5ce19974d5b9ea27d361aa8fdc7b5f190efcb4cb852be4b5900 # JNF-HOL-Lib