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 H1 |T ]S Abstract_Soundness:threads=2elapsed=13.349cpu=24.284gc=1.184factor=1.827zXZִF! 7]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$movgwOs"iu)mJrֶ3mJ|3L969',vo?꠪jkL2~0%xfȺ#Aˠp`M zϬdU`ԭװ'|;J0`C̑gHrTEĂ!LX翌Fh~&)C%A7gGêd,Vv0Nyx@'Z.ᅱgYZ7zXZִF! FRb]ŗXi%6f-Nȼx,%ҠޮJьKv}LΥm3kXWr [wq [Q=2yJ#w{\hʂVtmiΞ!%V)\_YiOd\fBDQ Dv:|.>g۸T>m0o?)jR{g WD6Fʄ1 a ^b/U{4Ah8: ).Pn% Uw/~G[ZL9ץ"b!8%3nj(KNe8P+ƙޛM 殝ˤ U| ЂC'@cLObQѫ8{4&& Y>dgD%>U/ehq,J/(,ʧQD \f@ >%BgA/hSDe`)JP4kz80Y} R~@)aF{pOSКdXӲL0 5N/*Vl4mvb-!ItAN)YoibMzC]u`zyIP7v#҃<3,tuv1a<6kx)/*5cUxŢOvjS 3kih@fA65k-S.hk=+9%vG?i9\Kvt,ƅ\79A+*ΤO+KPLpf£kk x;] zV?d?CRt.j7J!xm7yP7`L1)r\ֿ?~