SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
e l S
Show:threads=2elapsed=13.115cpu=24.856gc=1.292factor=1.907zXZ ִF ! 0<] ŗXf1-/6vR[]u X,,mMFa2LU0("jvfVF@Y#Mߞ1+G
+Zsj3J
ċByjEfň6Wi?4Umt)ߝawLx
CoW~L2!bt.%`.KVKBs`eJDOʿ8< {nj9[N+.Xd6Æ2 X E73Wo٢J5˖ ȿD dH TyLޘǵ&/7g=M/KI>t~죶 DL(is4 L$o0}`&` H{ @;Ug YZ7zXZ ִF ! K)n] ŗXi%3g>ywÍ8<
콠2v\~Eߟns1A =q(-A{-5q{`(iM]`Fex}6 ~9DecYU!ZpS̜L/ S9qhNW;d9 /xTk?VӚgX(W:f-%0 ڛiIOiz3W%,~f_@֒!aܺCxoh{9. "Wn F!m k'h3N1
r
TumJE`"?6h%NU;jۼ"yK4 m; ?z?9+\Iy;y A;VQ-PaN'5=b4*H[ fA55 aa/BM2
~n0 Ry y zi[ZD\q 5_{9KZa#O m[ %lâKˁ1ڗR* O;NQɐGou~G8O$IDZ>|
d:SBrD"GS[ %t `"U W XeB
ߝQg_#9w m}N?0# l]EU]^1 0Z:P)pH75q{,?8O֩df$kYϫe4 6J0*M [G| W $#ٓ?Ҳ Y@u\ {AYu&%};
(qNti+=Z9|zEmbg4c&+yZ)D/K6ݘ5+'HDLO+?*M0ZC ѥZ??P O p=g YZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287
0e92bfb40c58ec80ac022b0282cf2ed21656ca51
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3122c5b55089566c74375976fd6040cc34c326db
407edce55bc78b9aac458ee75faca6679202c9b0
429952f9b1ab48f5480776e72dd795c832ab4fd6
5fcf31c65e33c233464c7eb2a548da2bd7232385
6577b0c6fc13932355b22f0f247d8221b21c07fd
8af5d309cec3e4b5d36d1001c18ba9f8027354ac
8b48747e6674abdc4e2841cd3d9ed677b51136e4
cf0eb34815c10b600e671c786585de3d3713e6fc728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
c0de3a72380c3ab1b14c971396752f50c590bc0d
a64336f7ed44e0ed0f5f9fa75cc1c14f24c4a4ee
Show