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  -4\ ]% RIPEMD-160-SPARK:threads=4elapsed=1.226cpu=1.288gc=0.000factor=1.057zXZִF! aX]ŗXf[&#dYmƁ5 %1kmv fղ~+N̺u}OHGi " E1Q'"UnR|tb i}YZ7zXZִF! UJ]ŗXiɟ5/8PY.i#%(0#\qFy)+rMJhLC:|fVˍ)}YZ7zXZִF! f]ŗXi%I oN:q{ZW;s7r&m"MŘ~IaV4 (]{p>9[#Y*7ݝ#z1Ώ)mG3sMī> s>z ǂa+ o$T(; Nn(T^ta3 ׾M ㉓\JҊ=5mL ؄Ui[PK'/N2@+MWuz$WJjL dPCxUy_xG:;;)Hwl\KAwկI?ǃ Q]Hx Y ~nUr+iNJ" O aOc"bkG6F VPH1^fʛ2˿h]G~mo V*|f QB/Ȍlnδ^r{Շ \*QRxdx,^'Z/]YH (d]޲,d^]aKR\}Ez";d0N {rF,{(9foWL5@gYZcd86c4857240f4af678be013da2ea6b5d5c080535a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 ae9f724642b33db2c9f35bdd93f175edf9718b97 44c5d0813cce7ec5f1a1e9105c18bd5e67399c7a - RIPEMD-160-SPARK