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 5C T4 wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.364cpu=12.540gc=0.460factor=1.707zXZִF! 0]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p-.k m$e>S.Ӕ.E*kOusInV{_4U3="_g H`8v'Ʈ mgxhbhbޕhuih:CdK 8׵HV*e2lү xoӈQATzq#e끹 w{Q[Ύu"[~&B樶 |ajPя~G Dc\ϖ(($\42algYZ7zXZִF! ,R]ŗXi%n8\1n]Su~WvzA } @x4m٧9Z{i/ }RvP++ /'ԋI@24nzwBuؗK2^ Jtp]VmZmC:Df X~Z* Q0w߬Pcɲ76k q^5`c5A~8=eMf4+tS)7(,<^'wUÕB: b]J@[-?WXc/ϞS v|9S'ݵ <9zPXN oOkI߫zEANNvuZr&>x#J[ޘg%_Ţ#Ms^tAVt;T:K9BBv)m_ <4..;6XƧ/!cEFrEں{StC 0lk'/t%yl@$K3-sc$O6ZE^Qx f}g15BGV;_< !uInhV2]~!#ZM6"h~ן19;)L c-sY<]bfk1XQ"(:Sg'D(Z权S\浻G@0lLDCgo-o)"CߎTgݤ!=$aۇ$Z,үN6x.⋵-C.߮>,HRtY/@Yo agYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 5f6583c2c32c714f12d333504c279338fee25e55 1805105dc262ce0a96e74ddb442826126dca7b2d 68cbfce2477b13e268614e16ff9b820a67403427 C Comparison_Sort_Lower_Bound