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  e-D S% RIPEMD-160-SPARK:threads=2elapsed=1.273cpu=1.348gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ{db;r,ӡzi8}YZ7zXZִF! ]ŗXi% v^ o Jצ>j8+za* ilDcu4Ӱ+#I/Igi{8q[d"~c4u% &t}f&*˰I7q'@<3 x"D: +S˦J)a| ul8Ҥlv {+pP ;|q%}<98 Zs9K$Sg9lОܤ̥-ܜ}^RZ7wo.P?^hN# wB ab ۳UcIkBGjM0y+Wt M1A=̓pE h+'E@ƪ}ຨkg `$`ӧ9Zzg i.ƒU/|ZN"[YdQm)[9]M֟cZVHu3 |/?gYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb69711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 4e7092fa6a337d6b30870a576437a4dfc826a357 63338ac9aca2f41f7b0e6e3eb8a00a558a449695 e86651cfb125ca07fa4f3d5b5d14458390da02db - RIPEMD-160-SPARK