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  -l, ]/ General-Triangle:threads=2elapsed=0.675cpu=0.992gc=0.000factor=1.477zXZִF! 7o]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿV\RrՒ?4˘1!X:;nXSؘDs(}:mQgYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`ƑeKgͦx:lB2RbDi8,8cU4(Wu}YZ7zXZִF! ]ŗXi%;уzL2֬7V@ӣ PMbwn[vXΫp]mO)d3F~XPghl q_xVx98Ш݁V2b;0CiI, IufqlnPյi$lhz>MӮ1v>f`6:_?,=P^j.`4 ss*n!~q㧒B &v EruM2ă f)l#{]xAOD}"xˀ k3g/ Y~UAFˋSsiom*| Գd$oWnMC,N:>muDJh7$u3j?!("H:ۣ(u^B<8c4Ii3.oeO4<0Hf,\,w,{1gP)ٽRgYZcb3edd35d495823a45f63e48434aad5234c20a8679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 - General-Triangle