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   b5<, wS Card_Equiv_Relations:threads=2elapsed=1.250cpu=2.272gc=0.000factor=1.827zXZִF! ]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ]1 ~'bnexT()!eu[_C,kaM:sBqbL|D`D LY7|G1<rnV/gYZ7zXZִF! ]ŗXi%6ב 7NuN%,Kgv=>BSFs̵]"nlM玂*k˶~cq=c갠,"qH 5+w+? ~bѫ7T[ɑ+c">e]΀diCcn*|MY] oQ'7'g퇶M:Uc;([ρgQj+ rn}i'ʿ7]IMZ't)^I 0FòCKN rrgYZ2611971cd215ee8a293434d7467475de6c036fd3 30ab1ce6852e2208bb3a7cf668ae97723f49331d 5e720f8583f95aeb24b560f17e3bae61fa49c8e2 b3cee98135c471763b4ee83c0e90b9b0dc6c7b57 c471263abe76708881b70375b7e38a8eff1a724a d39364dc9397d236857349cde7735a1aa5504bf4238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 a786125eebb7267ea4f4b7a0046f1d4e86c3c351 5 Card_Equiv_Relations