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   , S Show:threads=2elapsed=13.192cpu=24.996gc=1.280factor=1.897zXZִF! P]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:j"u%&u"8'/]QA$ǘ̾[xZ6GV]osmt [˚5 S-dqO`5ǿ;:p/PN)TΟ73j#$oe J'RwQ4֎~#;x+gfc^uj!&O3Pi=(@2rϟg[=|n:I]y8B387p<ĨYuvB'H_p٨)ŁWo{L{~7M~W=OHaJ;@݄9\O68ʕ=ͮk:u +pY!eKzlh xqD&UQ$/ʥÚoFT,Bk(9/=k4B÷* ߺY 8)Nxa _We,BKTpufn368'qnm8X8Hcl>K!TgYZ7zXZִF! K$]ŗXi%6xqdzsKK1([AC%SU@f$ڷ0]Zbk8h^ FH?7 WQO GYet܈x|Qՙ?.^tΫ]:4\}6N-\.Ǫ5,߱6VCޢVTdw5Tpjb@a2; ɥ>ޓ?X$lHHw4~uTR?r0,dv]#VlUdD JS"ma!'7a4BM8t4|ㅷ|)4n%S{IaVH'~a &|)Gĥó& ѺC.*[_90\Ĵ(c܃ guC>eX] Z{u hm"j~/N>fbe S⒈yM& q-,<oc7&60G8ߵ %V2j@ƥsHt%ph[ ]۾ *'ԘS$0XA뗀F*? qu+ƻUmł"樬M<$'1<TQ͌3RkQ"(P:=f9< K泥1^].d}v}>gdW!@y$2ptrez&( ׋Lc j_o8P^B`' gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa d130856cede5d1e78193fc8c752f2297dbe487b7  Show