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 pT4 c/]Ordinal:threads=2elapsed=3.578cpu=6.096gc=0.236factor=1.707zXZִF!   Ordinal c]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCw]?wD(ɢU PS5rX:` *< c1H(3yS%Gȯ2>=,{3Chxpaͦ#"N$&P?쑉g2̭-ReyU2jrz]Qo4KZym`ZqSk}&䢒:"+n EqG5 1?x0Q]A(CfxFϞ;l7-?.KHQnwmKqX,~~+eGS{|eBg~THaC&,P [Ӈ0N:G#1>#KM<4 GȤDWq}щ>?E2fѢoе<B/̷G˝Bb ?r-OUgYZ7zXZִF! Q]ŗXi%KB؛DҚ^KϹh+fj_o /*Lξ?g \bLנQ 6747?q =Q`j hoC~ 6Fx D3#q%(?A 8 ;)ZDj_y-_],8I=)qYw2Z k\{u-g f񮐇 K'4FrGЕ\]rb%ˬˢ)Es7gYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db452180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f47005c5ac77e441c804023b112050da8fd179e055