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  z z/ d ]/ List_Interleaving:threads=2elapsed=3.079cpu=5.388gc=0.180factor=1.757zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\huc^Lq(K?\{EUgs#Z;oU4jE“f02@H|l[z H8b )w2gYZ7zXZִF! j]ŗXi%60nR P.zzz,8TmWܻe"`4[BXoW R}aA*TV6VlPY?%8`IrF%#ȯpFI> ,G]'ƩɫԷdD^Fb(*$tf9ܥY-4T9gnclű-׫g?22Țhdcj}swDC6YS|[.v963)d~[J1V"M`CcƮِ!V $X dƫ f)e!0'8AiG^*.L͏U04|ugJ<w"¸=i2kT_{5-B J '&BKBzs(Ʉ{.Qn/< 2V}ƾ\u.tk9+SD8gM_h1 =&(RLk\N߹}Ic *C3)߱gYZfd542d64dccc7be9125809d0110ec059dffaff81e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 / List_Interleaving