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 2 <\ O/]ZF-Induct:threads=6elapsed=2.778cpu=10.088gc=0.360factor=3.637zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N꫺/{Ib~N`᫏cOHPcG kk?DΠnWd2E-bQ.+!a A2"|C@x[q";)e١rDnY_L"oM9LR +X1gYZ7zXZִF! o&]ŗXi%61Oiz!`c-BطV*kUdRJU2,lkVi:S 4WYՌs H҇&:d DZaoeujf Z HhIjڥRR܉x&=b!Ljl ϵrsm0P@k t-= yo#_i8K^66:.VUEYv;lh&1EQ4ԯjCf r -XC}l;J+O{j_ҞʂZ\Q21 e2̎EB !m*EE=ܦ*NObxn8|Ygsg 78VQBj oi:{L`P+u58T#S6+0P#݋A0رJ)'V #+h͕$FhH+tU5VtV~~ut2+<{HN1D6+oC