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 B t ]]]ZF:threads=6elapsed=12.744cpu=38.304gc=2.012factor=3.017zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwCG>+,Ov+8Goo٥'c#gN+lS5[d >[>S?̍AQk](]dxbKŋ/7{ hxdCoE 3_ qAV{o$sNw8 HIRIV|Y$錿åbxz@_pHRܙA64t# h4qB$ Lu H&3b4ԷsFN02?y$L 6z֭% v] qG /ܩ),t`5ɹz~t{B/؎4 -ν~TI !G8=EHDAgYZ7zXZִF! F]ŗXiɟ 1FE`穵(yN8G1$܆κyfui*seQ Fox <6n&dT+`XQT [oX6:᜕5k)2MsQMh]? Fϕf>/$~5]D5\l^336}vP73IHٸ>-oؠ2"a`3~B ck؅|>Ij#f G\oo[j+ m~%+A@1㵀|yxbtwx-fjoVpmT[?f{0jH~P"L(]?e!e֚fcYjő6Ԓٽ%Hqoܦ#& ?(o ){9# 3 q-R!X =#WOL++Zt?v0ۀ3!6B@;b>ZseG1M{H>?#E4n}DL}sڧMgYZ7zXZִF! =d]ŗXi%v?2|UF~~^ȹTc>M:  F`6_]*Y"'tS9LKNH/`z)CFݿaswV_vb8wǓ0"@9ćԪAP)(o1 %(\8[qz>&pl˓ӵsZ}z[?ogvXH+a^$2Ҹ9@ؚӓ&@fAhlgF &2`f_#OIӽG>OUx֚N֧C)SܴqЇ-u]p1~Oۯȸyu20W-=H,+2e5n,"0o{u`b_BO麫`{Kb =_"M02'k\<"@Iܫü7y l- 72[KTcwP(,|= MdMʆ,ªY;@=?.HN\) (u!+ձ} k^\hȺ5v .m PB̦Փ+(-3p?Àd%?;F8+x*n7e}5>FT&rts #QlZ$݄e#Lu[J<0UXmj5sA۬mƊ/īq5joCa=fE\HSBF02:XY^XM6`tғ);\#s$ CN6/| -bJQc:] 2:۷1UK(U~Brna5djwa77 ~f:}[ G!)kİ0عg_8\eП zZ zƹygYZde2f816e418b08487be967090fb1c5f36bac4b84e2fef00599d8b719ae96960a40fed04fe4f0ef330189d242cdd1934691e5029c1baee9d87643fa75  ZF