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=10.045cpu=34.800gc=2.180factor=3.467zXZִF! |]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(FRt ᓇ Ie{3@ZyW1B?[$;7Svkw_ْMJ>\. w9rL/ђegg̈́| L'.n0´QPb;̿LӑU;b&i3S5y "9|gQh eQ60qXlwfSvU7̩{W +kuc[B|t[DDPɠf599$(0r/lL4P!7 "`?q~EhfIߖuY#z#>M">,(puՎw-߱gYZ7zXZִF! 1iG]ŗXi%,kPq.t]nN,x +ɥV`BK}4$rh42;Cir9@1*"06d9(a"3g*⍛P'Ϸc_/&ݵ[EC\2;|^nվR9{(ڔjBGx罶O"p6 Bر+>8!/7\1*  ZFF2?l즍Ь*;}1ElR.RS-{? @b|ʉ~gs۹& bz΀}6~`]<8}`i"Gm &g{@5x|pp t&M5=|* \d_t*9[^aہ3$03c`=km1{@tdTv< οOIoP/ : 7'8Y-`)Q]!aI-I0 +Uh_w/SUCuLuvv*mt%|RtU$j.Txnj)u JRy0a CAt[y?444 .y6y(Z67s*VLYpnБ¾"w/ᴂ:o4R9rL& KL Z4JI4iN2c[ KKJd ICmc͉DkZ&3I~O uw߳0k.Nc, r5LCQr*ܞqt;7c9"dK 1E#ލ8$~=WZ<nPtPkfVl.20'ðO7rc!ysFkZc׺"]j8j!h#[(`!i,RꓮkyZ;]