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  ( (U3 \$D ] Efficient-Mergesort:threads=2elapsed=9.958cpu=13.852gc=0.696factor=1.397zXZִF! ']ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lz'y|_?C̞=wn &P#ʬNc-<+yQvecIӛW?:k]ɜ?(5>_}Hme+2jU,OOTp~6ʥ$цL9% NgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-MgƅNs&t$L^YdN L?jWQJ}YZ7zXZִF! ?9]ŗXi%W~>3lFJ 6N(9<|:{Aث[guFV"F9 T(gݍiЕސI2_Zk/.n _ȇ؞cDΟ# ȃE # Zj{SlJ^zoUުtWe9Ń }1'ic.@Jc2gF׍1Xb3VuKq9lWp{GPZ]sV^!cPAsLHQ17$\*'sd!CPlzQ+Ed,mv [yԤwP/4G‰p`Y37Æ`\a6Տ,'neRdX٩Kӭ feq :Nd$bvPOٜ& 3}ԄIн1 ć'MʧX8{=| [>-Ե`8+pAUװ` qCAKYͶnJ-Sh2@^ko[5K