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   t<, ]/]ZF-Induct:threads=6elapsed=3.454cpu=11.380gc=0.396factor=3.297zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N6%o}z٪ElPδ{TcY몫L)Bv5^Ea1 SZx rb^`?dB@""kgmTz L,[If7JL΂ xK>XF= ^N)TW 1Gc:f)aiLoዞ EgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_HƖX-D>2(qHj( r,KK/Xwaa}},.S!^cZ-Qa8KD-ÝKgQ+$q8|G!rl>4gS*]~FP2tr QMge-D{nV~V !2 Zw~Д"J,Q84S.._/)$ SՎ+W(1R <-gYZ7zXZִF! O]ŗXi%9,nyAu> en*?˥'ha&@Hڝ .~Rjl1EJg:ߵӾIe=ylH⋻ Ǩ콍lM.L.'P+ݝlAyg&Ns :M6 5S΂;ޠaZ!}S 0$c0hF!vceú;7ǷHΞN4 ht'^%r?]TjzYϧ+RY#̀\׳mk]`y({D07W43s<$%I6W]ŒIx 4P o仹Q鵲ˉ뒠V<-ֈE {ivLlRFܰqw.?n.ȑ4S;Aк:) fg. IJ % gYZ713fd8ae633b85d569175686d50f878c2958555c144fbd49de05d756fe9e2e19f640fdb8a712f8dc 874409d9e8634f1f66b3eb7a5647d02d3aca6ec627873d8cdd32724e58e159a9fdd93b6deeae740f   ZF-Induct