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  r5=Rrf/ 1$57[ lYTKcюПZ v1vE64BF)*H~OOЎ' ꮒ6OUD%pzN'Yˋ>[',?_[Ɠ3W"B:1;ɫ!Z0efU)C?eUWB?+=dmCT&9K-<`4Yϱ=̍a&q2+?V#r֯ͺ.2kq̠X!_nS}/ ^<QR G]gYZ2611971cd215ee8a293434d7467475de6c036fd3 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a c588b197e8642446d304035167b0f88f102617d6 ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534be4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 213c5dac0503cabafb76736ff47e203abfad2594 5 Card_Equiv_Relations