SQLite format 3@ . BBh77otableisabelle_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  r r -D4 ]% RIPEMD-160-SPARK:threads=2elapsed=1.351cpu=1.444gc=0.000factor=1.077zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ dAzi8}YZ7zXZִF! UK]ŗXiɟ5/8PY.i#%(0#\q>Ьiœ&b2ulm-. X!gV2}YZ7zXZִF! ]ŗXi%ύw4[fDb#k J.  f?4nYA 3zFNYg8h>.N @B#"}S#+Hb6IXMi.ΧռVa_W]H T&sIuVFJ)g/E F~_I/EmVeal"#Z} "G+Km&aQ ZgY=7Y55m;3HHZFUfS= ~5>/O UJte,_&^I bnY+fuE5As͍",T=,ݱVG81 P9`r%)^$2 HZ}⩢k$ɽ_m%H/uj)36gYZce9cac3b6f19d0c27a855ef507003e7d6fdc85d5d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 64ee7e2b33120e53fecf4dec6626cf51ea0ebd78 1328394e9e23c9018136b86f84c925700f4dbd66 98800d603c5c21602b4581b392aa0a40bc9c3651 - RIPEMD-160-SPARK