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 v$ c] CTT:threads=2elapsed=0.650cpu=0.996gc=0.000factor=1.537zXZִF! }]ŗXf1-ĽeF5ˤ]GEaDRzL']z=M9YUFTi|MOz)"S%ceR~ekC |CSX~[0(7/<`pq  CTTYogYZ7zXZִF! e]ŗXi%>)w8q)M\a#3C}8cj1DKӟ|!XFw噸VZtZ.8JCwL4=W`SY;"+EPX JJn86(kz~u=4LZ(mˊTdӷ@!4T6<+Pۨ%R( GTgvH >Aֲ[NX踾߽ ,yViYVYr : `b-勪gI %A6*މ3~K¦= tEnΜ\277j{bhX'gYY('lg)*,wZR:ϜdgYZ2658e33a15986e48c0313c55cab49287ec17b82d 47ab5e12f713c12a600183f27a54a2d10fc7bcc5 4ff231e9dbfbd8b32a7192fa22b7eada470a5f38 65cf2a054ac068ba5c48abd1baf0030c71056898 8356fd26cc30a0292c7ac4dd7e4b27635be869a5 9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df b8cdc9672f8c2445ddd4eedf3b42acca2f61a654 bc4ec563ec50f38e29a2657a23a95c1d8b93cebd cbd62024e1ebc1e91e9c12675b807a1a7a7e6911 d5dc92c918f7f2926d839b163368a5b800022194 dfb3fc7fe09084753f19431307f82ada78d50fc0 f171316eb9258a904025aed6f1ab96ccbd54f4533269756b47a6a9653987fc2e45e2efe5ac3c9347