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  [ \ S CofGroups:threads=2elapsed=0.831cpu=1.356gc=0.000factor=1.637zXZִF! ]ŗXi%6B„gIWe2i9E"|gvJ0O^s{2|4N-c@ \1*BuXZ6n.\U= lI ZKG3%:45,a`O`=bNDϊA[>1x+aRA3]~ܢ@= _^^"Eް<\+|A AGz-ވaŬtѶ 7H&J93/gv> VG@'\6錃\Q-~(˜i;&]B4-åZZ_QZ.H)v-bC~NU4x>סuTs6͠oc4p@aQN ,oՇgYZ0a64d38950200167435da7a77d7757b38454c97e 98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 d174eba2e2af1cc41893c051ef544ce05c6ab8c6238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef   CofGroups