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  j j-DD ]% RIPEMD-160-SPARK:threads=2elapsed=1.271cpu=1.352gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ{a@%tq*pzi8}YZ7zXZִF! UK]ŗXiɟ5/8PY.i#%(0#\qׅc9ˎ%_Lg/)8;gV2}YZ7zXZִF! ]ŗXi%;+YS)x~.(;W4" L{(unV0캰w0{%8'Ȇq/ɮ (<9}NlDJ)1p>d؋/#ꆲfNZ~,AɬXɢc ®h :]269*"KlPyB;4t>ml(t(%y}:v,4;yduUGtXNХGU2eDg c'\<82'ZlV݈64vzV"'| r(zLd'tycH2X gvh\VloZj|'PPuv8ى& *F5jbw\We8@Bvݼ{ aD  B*50IgYZ4183650b82b4fa803865dc2464abf214d955963cd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad 67a081e9b4aa333e6af5f0f43e16f9cb227649d4 460b1b857a0ab93897217b269cf9d5ad1057e729 769aa5a7b3e6ef4deb9a6297b56ba11efa7e1a0d - RIPEMD-160-SPARK