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  e)t| S Card_Multisets:threads=2elapsed=2.214cpu=2.784gc=0.000factor=1.267zXZִF! +q]ŗXf1-/6vRZy_Ĭmu uS@!bDO,V*TVEmsDvJ_}85 tPAm6ߊ{ 1jqkġ喺4ց^>%v\ 5{g6Ι4lRLxPewk؝C8G0Mnؔn|pC]:BXlQ˰8OcV=7qX^TNUVҼ(8 9Ba- 1p7V+&:zM ʨ:VqW'$kgYZ17121d1b0efff645d67c12f006d70e5e1a0ff510 6d78510687836311fad9b59e5b1570f50411836b 88bb82c696e9f8c1993baf814aa8dc1a6705f83a dd88f7e0a6539bc051c8f084e89ecfe207dff28d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 ) Card_Multisets