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   ^5<$ wS Card_Equiv_Relations:threads=2elapsed=1.311cpu=2.344gc=0.000factor=1.797zXZִF! ]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ]1 ~'bnexT()#9k4"E/J V9P1A<59z~I*f8o4 gYZ7zXZִF! ]ŗXi%6Ja[B^>0w3%kdW"``7g$4ܵ-2R<Υ\^v[eX@-rK2raU>P]skFGn C%|5Ht&8YE' ~4< >P L]-[g\eox =R-6 K1Ĉ[}rd?>w:. ;Gd cØm该$ID]< lagYZ2611971cd215ee8a293434d7467475de6c036fd3 30ab1ce6852e2208bb3a7cf668ae97723f49331d 5e720f8583f95aeb24b560f17e3bae61fa49c8e2 b3cee98135c471763b4ee83c0e90b9b0dc6c7b57 c471263abe76708881b70375b7e38a8eff1a724a d39364dc9397d236857349cde7735a1aa5504bf4238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 05e12ed4a42baf611c278e08dea4d97f2958efa3 5 Card_Equiv_Relations