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   j5<< wS Card_Equiv_Relations:threads=2elapsed=1.320cpu=2.380gc=0.000factor=1.807zXZִF! ]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ]1T檀~,woE?eV"ɪ&0yWKnFQmpO4~fR< vBAQ4 gYZ7zXZִF! ]ŗXi%6uP }(d/`GLAo! Հ0-2㸏$ r! Tq>S9E-4"BvQsq0 mw\ ]j>`^}!=: bw?G<5DnVNt0qS{{N[ZB8aQ*e󽑕u,BB#᎚Q7gfJ &cz]CKe,ayDFis"GbRHېZ{j@h\ l 1ѷΉܬ_9f[Yڒ婹=8%A `8!$jҚ10r\#lVbfգ R~cո6~,nO XqjJ(߀F&\aLp1N3o,j7qt{/%LLD] ܵh R[zgYZ2611971cd215ee8a293434d7467475de6c036fd3 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a c588b197e8642446d304035167b0f88f102617d6 ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534be4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 6d88e272cc2d9036b9edf4e34dec3ae78dce8b7f 5 Card_Equiv_Relations