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  K K25\, wS Card_Equiv_Relations:threads=2elapsed=1.213cpu=2.244gc=0.000factor=1.857zXZִF! g]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФB!1ͷLπdGFSd]j U;&ߓ~^ r(vY3"ap8NXeqsR\eaO̅@%=Јm&r)-JP(4Pz[Mؘb=33yX~(hEb&$>S#|`Æ&fo&.4wzkxnOU|JWAAMVBAH6nCP]T܀lH褲=<j[}gYZ7zXZִF! ]ŗXi%s;J+`b2pȬ^tĂ(oFL]dϠP8n9!:gV {cc Q PXprczVR>Avs\S); X)ױ|}wC2 }b>\Ӥm# T=ur%