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  u% D ]/ Latin_Square:threads=2elapsed=6.849cpu=13.504gc=0.232factor=1.977zXZִF! C]ŗXf1-/6vRZ(}bYBDEIj!)9WbM&`\PH_ugYZ7zXZִF! *6?]ŗXi%9#qz9BrՄwʌ(sl Z3}UTB~2cVMu.IɵKa|~/@tgx'Ɍ1uHK7Bz1 {sAK6eշ@RYq3o8+mȑ㍤l'y=ϺV'1mD6&{tX~ځKtN!/ F}~Ҍ$B%2hvq]U3w]qO\ :ƩvG35 ~ICˁ~Z8;--}S'#Lׅֆ2uY4&[Tm6R$6J宪ٛt==LQZDt,AF0\fUvɊpLzk2 r׵*k(/ i7__&SxY8{ RD#FCb)/DϻZSR6\,ȍ'O;SK le^@V͞&~&s%ק;z؅ R1[vȰ)UiRw?F iJ$7VX*EBYm*`0>KBGԻIn.v58t;DH^):)ý# >_