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  ' < c]]ZF:threads=6elapsed=9.968cpu=34.820gc=2.180factor=3.497zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwU <br11ak5->-|;?odҡz_e- f}09V|d[\ ,iN!*cca^S4ϓ} 2_߼]_k@g'^L{a',s3YXW!&c.`.]B{~vIb n?`S%W)cF8_X7e긃 6(L8kI儈3h*IJDi9ۄ2]to4SE0Vu 5 :N cF#9m]ZffZt%΄w.R G}I:?GXgYZ7zXZִF! /V]ŗXi%6ՂB3F@$rر/<.w(<[`.B$tTLȎZz_C+!I PK#|-yVr.Ƞ%ڳc؍ k/zqWmeb~G>f'd-DMHa2ոx!{s˅T郳j85wUpqoO`A  ZFbY7{sQ MGb9#X7>$B'|+̃TorJ;yLV&j"L" Vk!J!Y%)E3-ܻln.u*77 IsyfrnGkخ@64&н(DSW[ cm]>į*|/&mE=p~1Bk Djx[ nWP~L. #wBnޤKg;824<br>!Îm^A$lϧ H]38/Ym  @]bĂ(^Z2vaA<BU[~ڐx1IQc/q֙$\e˱Tfb #4\twAe}}s_OK)6d!b%pJ vT dk0\i@[A‚k6n??a@PjמӍ@@K`"*ro