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   d< ]]]ZF:threads=6elapsed=11.851cpu=37.004gc=1.972factor=3.127zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw?!gŒ/L4}wE^Z5ԏ0Ny.HRL?Ayt< Zu/*7^ӛ?#Z.L?BxT,cDr(k'vu(Au`#WX ?X@:5LӾD|fU%pJZG'B#XfĮBqvkTY2JcZ6yabېZڋ& @SL'9zl{!+(oTsJ-B>y(ئ77؛ıgYZ7zXZִF! <]ŗXiɟ 1FE`空LL% Y,+4[~g C{xB$mE{5j~D$% ѻ5KlP.hduY0Vz0.=Ĭ0u<̌,"da2BO5H'y?XYl1?NF9d.Kkdjkƞf_avFm@!]bJq_d,DQ RO:B?s%3-,/dd!AK7/-mU†:SVw]-&+5;@m@R\`:U!~&A~YSțy,Rh:*5Q /-ŽƉ?6 *\gYZ7zXZִF! 8]ŗXi%92F2;rJǀc9Gf5+gbF~ns0cEX9Xme(}Ǧ w<6'5k|w-ް:֣~R5jwE"DgVq(}ˣt R_gWߛfN]Ԭx"&NV5[eĶ #$՞5kAes;sp56QK @[4eCT < 8-n4]V~pwuN y3yy9މs=#Ӿ8OT1th;iQbX?̷د,qI\\z0- L6Pq`qMFx_GLm_ew3ZS1V鏂60L]Z$D5O"$*ӎ;cx` Ͻ?U(n* v&Md67W eAfFuNp##c.P#H>}W">)( )^( JJJr7wdͩ䮟ؒOfrKSB 7aw̥VcMuP9;~[b|6 >xuþڧOCQ;GBiwq [%(0[SH|i )E2 -&Qw( _w%mfP):4FqЌ)ȴ'CAp)+NiV'LOԅ␝9A*۝BSMSŒtlc8D Eݳm|0V.+:^XA0};GP7YRIWQ@G<"=ܑ{=[k:e#1J{[^4֖c qcXgYZ15324b2b5b5de27f5794917847da1af565fad226341573a915193db629e8d127a9a53502c8309b6e6bb20b7c7047815b1946f24dab9992e29c28bec5  ZF