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   a- DT ]/ Constructor_Funs:threads=4elapsed=11.966cpu=6.432gc=0.428factor=0.547zXZִF! ]ŗXf[&gZv U? fݴnN<ƶ;&ČG~|K|7WX׿g4}:3lzeD, pSa>+{ gՎ;3 Rp"NŨm#`A`!WY4ZRq#+ RpQG%RBY`W9U*q"H" e1NR:,ˊ=J e[w(@AePa##R""+Ϊ^t Hs5lMK:xStTe Fbp O1iJ 1u|UV0󹘜Y DzYz56ߪp 8io0LZ>&E.cccj㋵Ge'ŷ74bgFhJyiD>^oseCOv)\YR6pFP#5 K.-69;#'D3cǫҡ+qA ok7J܄Zs.\B(Fɑ@Nj%|}Fx!Thj-l)2aԪ@wFb?rGLlVR8Sl ͮD+ua(1DhaN_ “N;ۃ!~Y51^ ` V$FFv lf}zCg`kjN$+d.8/.ˣ7 ֏0 z;:Di&ߐⷯ?Xb-FZt!B"