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   a% ,DL ]/ Latin_Square:threads=2elapsed=7.564cpu=14.440gc=0.248factor=1.917zXZִF! ZM]ŗXf1-/6vRZ(gg!s1?.p#y梬4hhlR4wTFZوa+w8GS#hl?H8NwM㐰0o-fl4aDZ*KG$^?șVodk<~YEѕ*ߎRp: !Ȯm15+2Ģ&X#5u!%*Z9PG 'P!w'E cO?L (bF kAUa+ i6Nҹu~gܴetlLap"jHFk4䴺5 +{>q`ΰ8 꺧R%MP7EBDo] ٜ9N!cOh E-3Ҡ-0Kwâo<_$)Vi\dW8ܦ]ܬ QqQ=z EĹ/"0\sg%uʐJ ުtv!Q@{iQy0'ͬGv>:_+,:,rYԅȠ~Yw`zQOcQ7+t[?o!UθÏlߞ(V7`!hlSqͦj#Ё]k& d˅$7'&߀zT~,M35JˣLuBϪM jϼb .4n[ c;d$TCZ]T1{؈v맾CBT:H.$٫:R-K1 :d"k؞?*͋FXxho4XA=d㮝ϷI+}$4[j *t(7-4.48WH6QWY2xD9H3>U/q`>8 z8ibJgYZ8088b22b40b39d498495f705c08bc9f4b94a65a597833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 % Latin_Square