SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info *4t c] CTT:threads=2elapsed=0.705cpu=1.048gc=0.000factor=1.497zXZִF! ]ŗXf1-ĽeF5ˤ]FO\k>jHrxA>Q篇: N Uc1&VEwf(2*#[32Mʋ^HBgmy}]CV [SF=ƱgYZ7zXZִ  CTTF! ]ŗXi%Bnj3%9*5{_ A T !ȹF.m&~˕=>dE\/ Au^A.9v2X 5 Gˉ,GC'Rfrj3uW Ƨc Π7rUt0wO<\FصCn˩]^&àhTL̟%:KJtf^ݵqQ]W9[9dy`ee7i,( Hq@*p;Eح\,U<"&Yt/eK3 Fe'LVg_%,q(MlNb+Φ/sC%x@\{ _KTQ[ƗBrPbJ{*K( Iia„d%0s_z6Jg4_߰>b`7ǤGgYZ2658e33a15986e48c0313c55cab49287ec17b82d 47ab5e12f713c12a600183f27a54a2d10fc7bcc5 4ff231e9dbfbd8b32a7192fa22b7eada470a5f38 65cf2a054ac068ba5c48abd1baf0030c71056898 8356fd26cc30a0292c7ac4dd7e4b27635be869a5 9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df b8cdc9672f8c2445ddd4eedf3b42acca2f61a654 cbd62024e1ebc1e91e9c12675b807a1a7a7e6911 d5dc92c918f7f2926d839b163368a5b800022194 dfb3fc7fe09084753f19431307f82ada78d50fc0 f171316eb9258a904025aed6f1ab96ccbd54f453 f42437d649626834adbe5c707e74a03b2d3adfe20dae525efa6f84ecf34af93ff7cba31c2592ec0d