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   v5T< wS Card_Equiv_Relations:threads=2elapsed=1.273cpu=2.276gc=0.000factor=1.797zXZִF! ;]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФG9a2]:ªYHK1}L3ޠL7Lv癆H맖tuߊ`XgYZ7zXZִF! ]ŗXi%~_(2L:Ǜ&x b7r4A5E`E5ܭlu?Ğ!;gʒˢTF5L]Y=* V|[uZQw 6ȝM/4jsR|v^3CiΊ(Wb݃7ˍ&̭jQO⎹'d;脻3~&$˘}&%rWލT޵vLnQD8>2u8$.^Q_,\Y]3]ZYr.֫iGR tN? 5/\QP/ AI+hr3R^긤vyK\'?4rl-S*v=ПNHE'`iZ߃ףq{V20w& -k$5kIJ0c)' nv> ,gYZ2611971cd215ee8a293434d7467475de6c036fd3 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a c588b197e8642446d304035167b0f88f102617d6 ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534b0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 830ccbdf7814314874b902cad7184431b62a2839 5 Card_Equiv_Relations