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 ^^9  ]% InformationFlowSlicing:threads=2elapsed=10.803cpu=19.040gc=0.868factor=1.767zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&(;Z#>dZʒT.|IMؗb{McM_C oR6ҏ(f3OIb֒fBAYgYZ7zXZִF! D&B]ŗXi%ή++Ѩhe(؟o)Uj)(08xdm]̪51sa__ iSib8y.H2/A3шH׹-㮉.k8ˈLOS\;,"Qp!*FSi\|ëC|8Mc^]/`R{􄝅J㣰j M:q(ŐG/u"BbOʗC oV߽6.&vsF--ԙZR~h{xbbʷj]a=jy^QH/y |G_/B|/ܱp\!7O9s%gGS$k(F?ZLMJv`tOup̌Zeb