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 dd7 , ]Abstract_Completeness:threads=2elapsed=9.056cpu=15.540gc=0.760factor=1.727zXZִF! q<]ŗXf1-/6vRZ\vW>_u Q:v? ̚ <x] †ݜk {eBQw$,vIOQB uD'iiFo:v'xUt;!?z#ϻ@*.DnC' },$CmH*좓lz{XMsd]ѕ]ߛ ĦsaB6蕡@$5LqvW\-iP~ Ӳ)_gxEŕz>*UT )U/UdwgYZ7zXZִF! 3f]ŗXi%6S&%z4`+%b9vZxgV;EjaGuQT$lѦWS>7g~[]m ϱ2FWU A|D/6ڎY#UF)#p &h͕s4@~JlC0iT" | (ô?4bXHY ~r]fjdiasH|? A$}L_:@s\Khg"FU4K}-a덒3 ~7A~ E%23eJ 3E8U;QN=3)4}5/[%J:$}$fyc9 N`~V2sNTD B[}u]Z=.={H[֣$ |ͭ\^I4m5! c=0QxbfVαgYZ1e5050dffe7321848fffec6eae4cee576fab8185 31b7687d5433d9b2974179da290efc477d1e8cee 5da4f1f8a066e90a66f3844d13a77db517e4322b 90db2371874ef554aa90d55a5ef6d85fcf492382 ab796140831151a9d22317bc7b9e14d9527e48e2 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2a7589bea09a20a3d398b09e5af3757641d5af477 7 Abstract_Completeness