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   \, ]/ LambdaMu:threads=2elapsed=7.938cpu=13.136gc=0.400factor=1.657zXZִF! "(]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"4-KٕN?"66iME"k\ !ė!!2)80GOa@Yskfw BoOݧmyp΂_EZn|G/k|730/-|$=M"D86mCir='.2jte1d9HuR`0p^$gYZ7zXZִF! 8 ]ŗXi%;Ÿy8`zxDAJcB@f5:^Mau.y]smu5#/9>Ej>B+^D_bHWW 6Y$֎ vx$<\Sq GXk8hMw*8sQ:k.&:G;qz8-)"~Vڽag$‡ωhe.LǮ.JMBLhp4Eujit,jY4HG .`6me)G-9uR0=\U 2VSIj 62/_Sfmm&}$>`e`doqQOXpeԭxJ(Ә!n)v)ԩs:L7MUЇ^q p|GM8"V݊ĽXd2?/F@EJj{ -]+&܆CФiBN9 WԫF'gf#B.~k % [flȽ^ZgR^ Eq;>|d{ȣ (vfCN 7׌2o J5  Y^;|Ԏ|ʢ)@&4i}'3T}gL\P#fXө,18=(陖GŚϏ@4?a قZֈ4`#(q X-i4.|.R:V,ٸN!>+ V(mHqf|=E `ZR :'/2" "gRy.loX[jjOpjAV; OrS#֩wbZ8:;eJV^Wp OgYZc483c74046e94850ce14a059d44686a1cceb85ee79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f   LambdaMu