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 ::C# 4 Sw Minimal_SSA:threads=2elapsed=11.005cpu=18.416gc=0.352factor=1.677zXZִF! R]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5p(ki#h{LSi/w+6ߎHFD+ W~q:Z,^/W֯I69pMˤNõh.[=m!t!T a1; ;K{ԀNʨi룁q{7D܅HIm!jntI2< }( ~F_XKz-ɦMO7߫fZ=Uk\4m=:h;_1ֹe|SXЀ?agSɱgYZ7zXZִF! ?J]ŗXi%6Nx!黒5?błfU$<9lp!JGɈUqɼUjޖkp_6E{HP~rb~q}]_+`nܖX_2^REqTKp=Q35ŘE*eC\ ۛP!܇gH%t.o&qR`N