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  C#\ L ]/]HOL-Eisbach:threads=2elapsed=4.393cpu=8.276gc=0.208factor=1.887zXZִF! e]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Ir-Ț4z!eMX+i?J^`:ctb_ .$lk!~~%B;i J 3Nh|.u`}yZD }:0'/N$ 8" ߵBl``.i|zRQ,AJwIpS{2ɾ6iF#i&MNv c~ OEwq͈+v.&+ʦr-E܄o*'gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko3Y&hj5 0bIc]h`; (oڠAJmVR!Ȭemyeb"WYR|Wj/Ju{}2uT%`<t W--8FAX~2o~@VgYZ7zXZִF! `]ŗXi%;CYNba/~ZϿFJW_.LS/idywB[Q n6T^3N <7]wp x-_` nTjW߃Fz0J,Q=Ve3Xgy }JÆ-zo3/5gYZ80aac1e332b87171709d681d8ea39ed25852b32aa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e3927274614704f7ca765d6495ab78c18263d57eb6c # HOL-Eisbach