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  F F7<T ]/]Ordinal:threads=4elapsed=4.188cpu=7.788gc=0.460factor=1.867zXZִF! ]]ŗXf[&}^mBσyJV?icai A9Vu]'a(Ud`j$-`5@Tq E}R%Ar%WPqS #,/ uy'gYZ7zXZִF! ]ŗXiɟFHuߑY@&@anoAw5V,؁y$q[ 5 ɪ`0Ur^?K1t%h*_>פEq=XpȣUHVAZ%~`o"DKqҿ(Йt:shm,PBѡts˖'Vtڪ3\gYZ7zXZִF! 1]ŗXi%L 0.P"k>XE融#CasTT¾ym;B賝J,8~e,s9Jh0~GH&o \s.77,|WE CRT}KoC3m[^;]zNX-2Hz8nFiJEdTUH[_=O΋{(X>ĴAsZe׊VQ*k GpM<&K5:cvSufimG;ḓEs`!wsȟ%9dl`>WXݶtn;["@ _E-4`=|:E+ʺ?[v$h<3pkbpdz9ppY8j)7w:HƋz8-"m݈[bͮ4& l$M-| }8fr{>A>a[:₰}K_H0a}`