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 iC |t wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.753cpu=13.328gc=0.384factor=1.727zXZִF! @8]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀_cE&H1Z "#5;푗5x)I{T]8S"Ns7ʞaǦxv%hDdZLj`,^㓾U-bp z&$ $rTV^_kC&N6|:Z'č/ Htzc>Y|tIUm\/ [3CM݃z&{ A:T_;b%jT=VLEڽhb@nTC}UgYZ7zXZִF! .3]ŗXi%6 Vy}n}U׆3UkOCH PKmv՗W((;kЋ:C5K<*f擂^\jG+qC a~6'}K:9/FOBB$y׾ز\$^('OU,RBA,vhrCS=s_=1?=ʗa{$lEx{;zLZpվ׊#v$ S3OxIo$(>Sj%)t>fSg C'7.cϥvPSN*jfzӹ%sM0>lϲT;T1<Ӊcs;~D0S; .MqЉ JSI"/9]M[^WC6342#̈́,*?жqZ(,(ɤb\g$Ө\s<>1?kl#L _8|0ޝ7'|u)uByGgbBL2&U6.Nr|uP'Tu[դ.5YhiI]R*8+YfXvs59$իnzM%7lL :2&SmԥqkP>\ ?Ӈs9h^&co{"A)Aa΍({#(C|sT- !sE3ٞ;۵h\Q~-hrU}@Qmy%*  e73ha*HxGUۋb$\o_dɛs'2~Z ].;gYZ437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 9ee7fa0f3f64295afb4c6284bc088e5ca9f17759 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 fc1b914ba2d23b917906ac108f7970e9dc4b9313 6e059390ed6ce806450287d900470ef9b6cdef93 C Comparison_Sort_Lower_Bound