SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  U-Dd S% RIPEMD-160-SPARK:threads=2elapsed=1.162cpu=1.240gc=0.000factor=1.077zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ z1(5{什zi8}YZ7zXZִF! ]ŗXi%n7#o7T }Aymh!}Mhv#^l(297ZƒIP~-7Y]: 姇Y=NdV g#Xc[ 'pKMK&F,.@{ъ9&d/J#`*x|"oZoQTwHj} xn-]ͩw6\& @r/@ec^S. hW}9cM#Tl3SNU" R%gw(!-k0dj ECh6Pl$6tOo&exمE/ L.Dut*wg dH7(߯/hODo70kH0.dpgYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb6735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ea d33c42c673f650720aaf92ff4f11748952032a13 51f1f1d94d2d29037782a2dfa1d5011fe2851134 - RIPEMD-160-SPARK