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 e1 \ ] HOL-Metis_Examples:threads=6elapsed=11.974cpu=51.896gc=3.900factor=4.337zXZִF! Yz]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVL5:\?¨zxf<9kNfiiD[`9d._<.Fd{쀙@ FDX 0Χ: Y)%7MpA'}R!6,\mqI.q|7ⱞx'h7nEӐB.PN$6INcS3 g$jP$ֵSs P2A$Znsyȴ /"IBsʯ#wT$cJzd/Rz5{ S'.|&b@4F0QU,;&]߫v{PU[xsb[WR-Y~(UO%yC̑fAԍ7\4uْvSbҵЁdo(Z׆׍7Ea91&NQ 䛞ʮ;ʆlrFs3GYM ꎑq'f-lc Et:G1gg@])i `%*)J*Ռ^-K7Mhj(L+ $U~`Ɗ<۠D$.3Jyix+kdF<6QȔM[|^-| \lջȨ ץɌ ^j+%K1'k5kDل f }gYZ7zXZִF! &]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMrsTy HmƔc5(ʚ'ogڝ^RC@vDxH.Hw|KqdCD4S>dhl,@5;Ҧ`Kix+p50DMTl"`X47 OL+ֽcU [i bGZ"/X_ّSeqIن(.I1h+&}9lм8P\q^(1ZlϨ".&9{'SȱgYZ7zXZִF! 6]ŗXi%;3b6vv폞 Ϯ{rw{ؑnh` {of`{} +O,wZPM;`6jL*R5nB<$G4̔Wo?F?\;p3<`_ aME/(n('eTnt٨SEU<%Awn?C wD+lXGʕ-5!ЯЏ5 L,KZDBq Dg\67h{$eB(xpx=ڧ eIr\mM"ʢ4<|/TY!o&! 磇Au`t4y8'u<pXc퓉cy:ۦbdxumqRMh/p\L(v$ ;Va#˨r ιrm\F*$DPIG=9fwQ:+sX~P$xէvTM}-NQbc8J[C;\iF\? oѾXDMؗ^8=(mP`0]mL̚FWgZ%nPIUk-,]] ;/[}'ƃnVC]KW?7Q Xs⁞F8 v_t1 _o<&O>o* [ET6%G61F 4/)0w