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  $ $Y+ l< ]% Secondary_Sylow:threads=2elapsed=6.347cpu=10.488gc=0.376factor=1.657zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.`93:Ir?&{CZHn(J`)9jp17K6z!S^ً3+y|A;瘻zMEAΜ kD+e>ה͚γs&|崀oɚwxrŌ (hgYZ7zXZִF! ']ŗXi%6 z{x SjSZWZ mgr&{ ' Ph..̺$L`;Iheі͔+mEo %:nܑhtٲG61r}5[}i~jؓ[" =ShiǗD NOWfDv{Xo"V~ةx$  6>1߿V;5c u@Ìv"T8Я)WԾގGdE LRgwE5GgK3*u6i<0HIrM zxcԺGW'Μs^ GȐٯjt|j;j9Ƣ6F[J Ɇ;=h۬p{*h1w,t_+˥PS5rw| f)fR~Ene3 8T`*#ᖀtȜXx mN׋WVtBmb7셎;`#m*8FuO4v]>1-"}P.Ym șZ@[Rӧąu'B[ȟÌ}{ȧb~cz`,lѴE8 9[Ê:6YԉWh/HP!I:S$AqhOiޢ<~FN;ժ>w'S|b,Zl>MBVˑ1"$[璵0 #਍ ī!8Q@vE(=̪: O9}gYZa028edb010b0a32fcb2e31a2e4bfc93598561887e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 7b7bd4c6172674ef9411fa2e8f48381a2c0facad + Secondary_Sylow