SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ++F! tt % SumSquares:threads=2elapsed=9.153cpu=16.432gc=0.268factor=1.807zXZִF! C]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|LqSj3'U>{4BqXҖr7m>Ľ'_BbEV.f, p.?9|8Mh7awj v`1n%ceۉ"LF}BK 7Vg,VLGxzĉ(= q = 'Q5ép Os΂^O&vL-ↈV'{${*b+iY֏fSMnk#0IbN{V IJ'言!b l!}{ ءMm趉 /3%gPm\k:ԓ>eR\6cllWJ@yO]g$:T{04 wK<*E菫[0E3S#U^d<'"Ū I  ! SumSquares0*{|Gn؀*v#nܢnWqOxQjxπ{>T 3aOz6;pz$ymN! |O\h1@ॣxMaQ|Ƃ};Q#S W5JE>$p4EF98ֻilG{k6Lm@$hEnt2;PK~:uoË,@̸ﶸ9)6b+#p|RaNU)¶0 }%Bfw@I~z2w#I!wWб_w5X~BwF bhhc[A9&t)6-I6Wrr4vx msnI#_0iu4Zlxd᷸ o}VW//cF7(˩Q{j~HjNr]"4 |YsiIx$¹A|)̈'^O6p?X^x*NЀ1v̑4j:%9'm\5yӠ s'ddgYZ7zXZִF! 6]ŗXi%B׆U,J!Z{ﻮ( ֱ2|I%Ӿ]GIM'sVPQp q"Nm[^B?j+'|Lla'hw[y|Gz_>Fv|uڃ.j4=QR!h!sXpdgœ%6U145_We%燠M/eL[hFi=7~|x0\t:{ %@>I7b 㬀p,ZG2$L5YHc~(jf+,݆Է!8SI TY!b>xo{&Pd'<'pG&?l'*w"?Cj̀