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  3 3J d ]S IOA-ABP:threads=4elapsed=4.706cpu=10.028gc=0.288factor=2.137zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09q1v;,kڢ.diݍ ]״4NxϲV 'ߌBˀ)!=McA13?1Mg[k CjM|P`@!(ٜ',7O|1SChQ [sQl""Mf@Ix _pD9GgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg5?m K@dfqbqaTp$y0c !hMUcyPKdEqAz; l`$ e tkA-~B r'<r kV?W~>[q>Z7Պrp"[m|%C Їɣ[_kK@ا$NȐu#D;Cq|W.'&[/GT4aF[]3e#α4|\47g]OсEMc}Rvn3w#H}YiejҒnR➌@CW%N՞Z+yn;A2WP{,)Kša+4Ri?ŹR@",;ŠI ]``bv ka.f b8Ta%gCo`8DZ"!OVLƒ9'Q Šz\I:~dD$1(ElM!RTH1 ;İ܍Q5ҘӣtnlU,mcoruES@yq];I1logEQQ' !4q\nͣBX HǣL;OOx|'4SvS#^ vo@rydf}5uY/^o *Gm@ -ća