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\, wS Card_Equiv_Relations:threads=2elapsed=1.351cpu=2.436gc=0.000factor=1.807zXZִF! ]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФGJ֨A?0Jy-.UKk]ThiLbUUx4ֿ3s0d?|g`Ʀ brJgYZ7zXZִF! ]ŗXi%6˻hkQ!{_~FCߢq \_UgYu+65Ml'nO6oCDWI >8Y 4|TGc.ͱ4w^>LE|qn˜M|K j T@~ Ÿ]b$ K omJIV:$3 1j#kz4&!t>L8#-rh t_ȱNH:&&V j{SuGΕZ^ wUfЩuYg|%z,^bB M6AT2TbM^n*H@igO>qP%~ 4UTmx^,G(6@s<ZPEn)@L=j])MӍBB-p0,#ݫWyvѲ_^v*Տ8 U6 ޕgYZ2611971cd215ee8a293434d7467475de6c036fd3 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a c588b197e8642446d304035167b0f88f102617d6 ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534b554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 c24c0bc3345930737c07675743cc48bce24dae01 5 Card_Equiv_Relations