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 ,$ c/]Ordinal:threads=2elapsed=3.718cpu=6.524gc=0.288factor=1.757zXZִF!   Ordinal {]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCw2fm]?wD(ɢxc4fܞ6q~*eFK:;!2GЊ[IȽ(){nkPw(A%D\t2J6a".ѹj&N6ޢR+\|1FuJ[y6/}ѓl3ꬁ'cgKS2&>! ݟ*{I"b.&kT?J#@k[s%˄IEvh(l8SW *SޮhM]pz涏I?\^߄#*]Tk 82P :$ 2d<ArQ;"jYoiQuDDH:PuRPQ(LmhX ؇]up꡸ʢ=Ku=l]2mXgYZ7zXZִF! K]ŗXi% wCp;[lBjEl$?Q0t*X$F8V8Ar/JKIȳ3ȏ3\&Yh=uj8][kD3`boEfէٱ 6VV']u*xʄ%dL77xot8o^TJ{f9KLd23la&S Sx,.!>0f).;q1)ts[HuM]7H`=>T;zyaUv()`8;[kvj/#t|qu1T7$gN ; c T$I^E}{?Ws'Rn5`opea[aN4v( pO5btW^b/ A`] J̘Oh}ͯ5€gMXIH7ˢ`S{U #s( GoҥGǾ qc