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 n# , +/]HOL-Nominal:threads=2elapsed=8.404cpu=16.152gc=0.900factor=1.927zXZִF!  M]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crq#DRC[\7:Ece%M KtSۊgG0 |@Pms {)|Q䊵fC|Q`ZGFFɟvi?F&V%r nZw6*031U447F M͈KD n jpчG#09#M6VVMMS4;n  T1r#8鑳Žf;+3=1F%매@o=*p{Bܩ[x[0Pvľ<^|q= H[3BT:6%AAi $g`J$C91{m*.Q,XO;ɫ>+B^ĺK N=X*"D/