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 eL$ c/]Ordinal:threads=2elapsed=3.551cpu=6.120gc=0.248factor=1.727zXZִF! ]]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCwҞv}́->jwƻ.B&hAѤ[jx~>4~_ վ}ZTgNE;@̢D~b;e[ w( ~Voz9F` {7d-VuA#uLB+B7u3c3eldը53VJ\,vzmu2GΡEcEIwGI/j+tk.~,ص0tHs(L$N\=WZW? >L[p/g) `[ؔC5x-2DF;E0t)jpQ0[J0рp2L NvN!z}y'w;^!=5ѺZ)گ[RfA^q6NяZ`{Vϗގ#SI'AYC m?y|~>oyQVr)ɋrE-Xn\M0y I._}]g"E|X H' ;r섌^Cnd"@~6hCGU!CoĩvIE]P3Wpu% lxξ.R083>S o$! 0LǬtR|eq<*h(ۣV—(< L5{xg# e]"7d;ڱgYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db4521db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259bbeddb6debdde8c706dc9f77f3bfa0769c871a97   Ordinal