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  4DT S CofGroups:threads=2elapsed=0.857cpu=1.444gc=0.000factor=1.687zXZִF! *]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uJOWWLS /px=Ca*Lmp1O(]kw 6wD!l^p`715y_;_..v8;1q W1ZϕgYZ7zXZִF! ]ŗXi%qԆSyJf]dD 2C%y|%ܝdǼ/=ʹמL2:quI1@RQP%v1Qrt0}IY3vɽhEhZѹ:?Qak*N%ѢŴ )1Ѣ7O)< [ [ō>)#qUMN;Rxۧ/gE!ŴBrmM |BrR8¬*G ixqH}[L " =?WXޚzQC}}9l-@MGqau(LC$$'5tA3U'p;MV?FB^; 1,rҬwYDd= t gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c6c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e   CofGroups