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 )% $4 I/ TortoiseHare:threads=2elapsed=8.830cpu=12.888gc=0.332factor=1.467zXZִF! /K]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]\mbU$a+x7%ݠ^>#nH;TE.n{4V?։^_xq7Рs l@ȑX^ϧ5OO3,8 0bHҦ$B~7@@n3V0e+&M!"lq&'OY? ^ /9Ӕճk&>N3q|jPT"gqIɗZ$.o~lQ[z`ּ6 E ^v$uE{1qu#PB둘[_F06^PԘTun}X_~O+d«O] X ҭn٭tnm&A+Ԃa2F IZC`XlVc<~8GJAbn*(l2 .^3чqB"n^F%{iy9Cܞ -hf*GJU5PCho?ۺ9CiŰrH>7vڗvh.p%}:&w'g}7t!Mp},LasoGoJ3ʙjD.`/jV_hgYZ7zXZִF! 5]ŗXi%H o4ϲV+SJC EuQ;2GH;S;[\Ɏw ]`!!F^`h?k =G~5W6ҫ׊'ۆ(?%0Cr;cxj [Lߗ&%+媭 Ңr显;h I>tJ ` "@}tf6Cd4Cx@.X᫓ HѾ2Cj{漱if|^0$9˦Mc)Iÿ@z^-~Xrw}ΞgWs$遫Qv#^]c䀖 @SY[e/ZNctV5S/HG(2rRtgKwݗRMWXkb,00]vёVW ޞ 6WKa4Jh'`f={UA1#@bV2iNaA}qwZzaCRsۇu'o`n:@ U;@B1N1z[s(^3@LH>ƙa"ž_^&ecz'ܾHf@f! plzTQo7~D洳 <}ufWm*_HєmE*S`u$'[F_E0c>S\"m5q+9'3!ղY&^*Y#>+Іm_$_4͛tt%ZE&$nl7IՅ(hƫ~Y#(0oN+bGG81q+-n'G :aڅص&nR&*]緈*YD C]A+9%L X¯kC9gYZ059b39b3c71e408ea02474875982517bfad13772 19e2cf0910b7071efb7af8472164cf296f5e5ce5 3685fc51f7bca5790fab21bd3e79d43dee881507 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb0088c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07