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 f < ]]]ZF:threads=6elapsed=12.501cpu=37.700gc=2.044factor=3.027zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>L'@L-1'h°p%>AQaBk?1.cTYB# ɚ-NsreI$|Bmyf>W8#`Kɸqp_GH\%-'_@bh9&2z9Be컟@Dq$aU>=ƦnAq.[V{NDX%&WytBs dUCJ*:mF"34k(FծK攣K\J#˺N ٓK%׉P|pkNC)[-!Tdbk@DƁ_фtA(> {Ր &q+t-)jOCTϔZMH&gYZ7zXZִF! G]ŗXiɟ 1FE`穵BU'HMV)I5l wP2.YtA8Ѵf3}E:P(:de%bϡsppX׎+w5%|?U(ם.|Ѧih#\z'>O;.ábI+N++ď>rOSћXl+L%gLO|Gev*313/~x(+ESA UW6ii5Rw xɝ)tSȠti}nNYq!W* ;wBBI;T?__Q}Q{Tz _#Mx5MAJa, QB_1+7} 5IQ$PEbcKY}jRs!\)/k|iiCuU?g-pmϩ`d&  m\w2NvI$t`y4܀Z  *ǰec vOed{ZyClf6"i Mw$!]ѶGBI*C._0c_=wgYZ7zXZִF! =q]ŗXi%;ft A-=^$r(muHGV+B;/u&U*"9#%i,&.z|ԔZt/Qq Rv8n)metv6|A`5qQpFD\ C#ctVZ=@GLZ!8lLʛl@:ܤ* {45ϤPxNjGVhϠMcETAz1n?y}>I$~iUr{qUdfڶ 2ȁ52 DU*ˬwCNmHO-r@Fь88D+smsb E6Ǯ}$_(NKߤŵe4?}5 [x͛2EMަNp$@R$:6b/,DpЊ9bK@F{ seFͻ`BkȐHnw'j6zl!06@M }aη˽ !zޭt7QBkģxT]Yei*n uVop6ƻ<[[‡>͂1""IdR)xF&O׹SW7e;Ik4D3_?_ QA-DyFcS(jpIĊ7^OWęMYgC-)73`*mD:lۺ\R$? -6 D허&&Z r xuB69L@'LCZ: 92B٣Bov zOegYZb293fcab65728741abb41e8445d59e7d9a981601bad23ddab4c2825c2baa76254b92affb4eb1797d2276a343cd104b840f9190b918e9ba7356a53895  ZF