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 NN/% \ %S Posix-Lexing:threads=2elapsed=15.112cpu=28.076gc=1.472factor=1.867zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v%3ͳ06gޙͧ)UᔓSXJ> d1}P}:=Y/{Yt >& 2-AFpb͟siK,H+gE F[SYuc4LnDfpm-HBQ\՝e9bRXUZsZFPFh,lZvi! 5<›ns4WFmɝdRD`[w+.Q*. ic/nEAoTzXUXGغx+ǩk2%= ÚIo[$zMZfXmmHAwDFPX+Qc/%B|Q[#ʷ.Yiqȗr<2+0:;1ooi.Ltd`|y9xt?b= T~+S='GQD\&By a(WNȮk/l` :xGyD``=].*%puw:ZF~R?B잘8ct3]-eK/ EW/sl#a9cÔ߉dCpMa U$5sgYZ7zXZִF! Mz]ŗXi%s Z[͊P0A+PC2Ѱ]k&KZY٦!ӂwoҼ중nMS>zw.eP\arG7$g^~F;s~C %o֑w1~%0RB%] ع:Y:L!(.aG9=b?ӪKmPY)Oi*y!`BbfPL^Y."zQt\ +2 4TN d's0l-Y e3Be܆|;PN 7][r{SCQTI\M0dx_iv|uuevO_RiyxT$$s'2QOH9(i?#(8pGR*GisOִm_fN&#ڟkEPLeЯ$XEc;SZ8\z+8ϘBMy:~Sl$(*ʹ3O&4ԢoAO[E-dyuku[&1$`KMZ&v@__wƬXNO8@&_A+1(bN0P [L;\U Sؑ\8UDR*${Ds4AiuS8/A=IU[Tks`BpF-1KpcL0 m*E>^0ia8}̹N~VHԼ:d7eoƱv]L)yzHlb SF{F)̱1]*;x+[-ڰW],ɱ8─=c0ZP