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 hhC L| wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.751cpu=12.756gc=0.476factor=1.657zXZִF! p ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pFA3&9v^PQg' 5ߙz\=XqgwX %f[ް*<+q`1ˀ͓3cPH?Իޟ*ې1 &|NO5wE;]8hݨ (-x8 |rُ?xBLQ5m8s/5``aFm b?9b ڮ_+XoάH\ ]gYZ7zXZִF! .v]ŗXi%6xs(g1y2Hbtbw[Lą[|+`1[؅j#G;|E :Z5Q6c&ECv W ":dMI~zL/1 Y{Ƭ䤥3vMɣxr3\7D6aP0eӨauhg.m!C5?lC8?I2\(n>ߞ} z{0 EtV9 ǒ: Hf*EPvGJ#V\'m<07]f r?CEl큙:5maƈuOwZTLT <-qiAR|wxƐQdEsj%Ud ;.Ul%+%O]p7gYZ437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 9ee7fa0f3f64295afb4c6284bc088e5ca9f17759 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd cadfd60bbd70ea043ffb5760ff880b18f070e51f d33a150918fac8034a617aef6322e244d7c37bfb ecc4e9962bec76b490c27cfab69e6d5e20b5d09e C Comparison_Sort_Lower_Bound