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 03 <4 ] Selection_Heap_Sort:threads=2elapsed=11.064cpu=19.700gc=0.640factor=1.787zXZִF! 8]ŗXf1-/6vR[]_ʥ4*M[#b ]@c |ΛT%/ $9%Gx(${d6 'I^~uAqF=})S{^%3?@PM*.~,JZ?,ڀ ~Kʬ 495mݯCNrp/mOqe=2a:evr|1sd[؀Kbiy[YS''"G 6. ϒGd igW-|_VF|;M2J0wסvYwZ͜:2Ml jpgYZ7zXZִF! ?>]ŗXi%6f. 0ܹ'8IKߍ( 8$$@tiۙbv]F-.E1#|hɰi%kv3-L{|N̝ ZAb$emh:HL-#0YrGfzXoz  {a#-~s4mh`OzPIbU x^j報[֝!BdJϨNߌTy Q#2#ބ* KtqO+BUn"V>\඼ o8I<+cdFAvk*0s*ԶFݽSRvo8P]".yFUzr1AF^SⓕZs4cȔF~0lo0PJ` [(333Z}=Ó$0lV6㴚pRpt:]\$Kp)>$JW$_eK5PZ*_h U `qix茝V<$.I*k 湝;N7Xܾ$xNubi!wFQ~ [꜈x:-Ʈf)Pq'Xj7kEźꈷ9bQRNAt_b ^6΍U*H0/8>I1BrnkVy-˔utFh&~\s~ϘHӛCpm|)eOdcٍҖ s䢀k05,UP[P-n{ 8~Q&9ƶU~v, 7IGtϻf9ֳkۢYw 9X U !&;*n<crK>+ruo4d%ʏr: G1e 59.IULzLU#DlF'\M" %y/U85@9ɪ 9|yxǚDՌ뚜\z0կv3rQàXO};*@Y6hvίj~'gYZeb19d43202c8d8e4252d947a942b76e613a55a800a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 3 Selection_Heap_Sort