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 xx% d ]/ HOL-NanoJava:threads=4elapsed=5.199cpu=10.568gc=0.312factor=2.037zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTPYK$zABW$nHf3n11L*; 65o8D@سF'@6ouK*ӦPHx=; ښˀ_Mdv@be{ZA&} 5pw>p JOhFuPO`l?v- ugpҢyk(@} 0*gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EdϞϿp|)]cXct]99DVIf@?٤ 9Th["A՟aO]\v } |h c3M2rLá2qN(7,*7ufmc+>'="e™ JgYZ7zXZִF! 1)]ŗXi%L S: t>Q7@&yaʽ9Zmt3 3ii4KFB eɬ &oёw-:.^;<ꉃikQ0T~pcJkw4fTwfD* V7OƓi}Wl, e9M@0ixEhI3y8ߜB5dalLFЮ{Ixc/6:Ekuu~ˉS/tb"k1-8'J:mשX]=}vMTK?tdF((eծz9X<<6ά$ 9P5eN!9nDlX0