SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 OE t ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.372cpu=46.996gc=2.064factor=1.937zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,0|H[k{|x\K7ߎSGio̙( z.B'!)ױy+@З~g A kƘR4ȕnFAK:bbehF5;j%fƨɗj@MG"\Npl 8B6Ǘ@Qňc!8fqh 8(f9$M (=Mx;;pFWE)j$drH I${Ɨ|Ruz"mR Nw?'~7=%=nUж--a_13J?d#`)@ROk G] &6]j0;ΚhPZ r eAgYZ7zXZִF! q]ŗXi%92A-Ԟl ""zôX_m _ڳ0H9p)b @[ g;d̯'*mkԣ(x'wEEw,0{0֧|?ؒcvlՑ^@)t}}aڛ섟lWQQ;)d tv~к?7]KK.њPz>ssX:jC)t'cJt}Zfܜ^jp64q#P-%otڔ+/ fl. zB/~FtP D";$u?BVT_yb׊v)ۦؘX 2%pK 7PĞ_jJq8q 227(Ƀ&4ړ taC0\hdQk\%rs:pha^_6Yau#^W>$Y3]WwwBE7s1r>aOob ҁӡ)v z &z(~R#v}Grqϧ[rIB>}~랲 $! hAfsٳ5|ȠyDz`W,r" ȁ;Y+wyv۔k]qU(ЩG[_[Gۀ^ʕ``}OF׈?@<{э܆Ӷ,\]vavU}{؉sͺ]c4f(nBX<(x.cE1Һ"x8VF6g_p܇owiC"8,Tp9֘N/VqcKn;oL86ux`ӲpC7ȅsf!ɖȡĕc:էo߱((3伳SK-$w3{c>]UBєZz(g a eo}SG&qUG, ٲ:`? ֙p=Ft"SB\Ks L^]ºDܲ,kpƝjyF~9f:1jN`cWfQf{34`}^"e,F&:s>C U&p^2 %M(+i ew-ɖ~U \Gi_c(QjJwr@5_ :_}.kŰY ?f*F-;=RDTa ƣA?C,ODGF(f._ XmZP/i2[{<%{WUjYջ h0u7{ &@z$euJ?