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 ''V t ]S Show:threads=2elapsed=21.122cpu=40.944gc=1.992factor=1.947zXZִF! 1]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFF^҃[9MFƮȹuF3Y"9Y=Sh7LGlIGqP3Hݒ)o%!A#4ЫЮ`%|H|ݔNGJ!Zy.#M1@;t@:י&̘`Sʜ1z .zT|钜mS\1cԞqR2(B8$- Nh!r4ׂFǦV윆dٺ?Q-Uꔴ&a.94;l|RAϑ/G<-O]^Z8A} "QYQaطQ5:X/P8>nROMe#6g0|j.VWv'EXa%)lVR2y;?!|" |' zvۚ sw#WյOLݢ?o~rHIº[:4֬Y4: YvFjr)S\y\tBE}+^ղrMskz=OB-"nm<0ʠ#ƳGGaċ _wwP5[gqI)b&K޶UEO /m >EqޱBο+҂,,AA{4*~\jQ9,D FDNgCdJJa4߹s݂;p9;a*B[)F&SK \ Z](xz6v7YűgYZ7zXZִF! i]ŗXi%6qJy4Ȏ}/zdv?U1]M-[Иf o}# 5n"%%}LT ]4R-ʤ٦Gf8bxMr ޺煞&5x_-^{EcNIy8=Yq$%ߙQ`ʎE}EVL+D;,mцLImpG5I.[Hj)%rt|A 55Nyؑo^aHX @l!nLZ. /aJg;3Hfc;X?QM V4CU24YEdfYA/>89ód`⧱iz]!/{IL|BRb6,2O&fW5tz *w5 [WP;v4ˉV~bׂGI!:0(eϮg5HVrEv\wZY`FfPb?A}d@@ "cL2Qj9zB IZ1"UNv@yU+<ѻm)$gRf>,Vdby p~VnI@ tFXeH}0~$,q>SYom I`x_f gt(Zֹ1jkPVr QF'X qlg >}?4Զ6a\jFry,hl5rSh!VJxdhh0d>z=;kfl@0RƖ'5#GP91&~ۜB|lޚMpȤ@nbZbh/dƷg9I|QI.b5䌑ZQ8|F v/9gYZ5ff4a3d5e2502994c35e81c1dd7c7b8bdd28c10b1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 6b254bfd002b8883ac67296c52cf154452493e2f  Show