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  B B;/$D S/ List_Interleaving:threads=2elapsed=3.121cpu=5.436gc=0.200factor=1.747zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmr:I)~6T!0Q8 ƀloLiUڹ>]8Z噒"mNGi:}H4<Ʋ_vK/[zK1edgu\ep81w\lnN/ QBfUէTfp8cSh#Zuɡ~߽]O孶#ZD^ENx֨hVDHä U2296'5zv#e86T]<:3E_<.FC FouV?l%B$_=&S${IJ6 ,$v |3~?_gYZ63b9332e0c2b071f8797a7aafcddf15a927e077b a1bc38e60e42695d8caf1161fed157c8935b0253 adba8d4b718d4b39467be2e3f06ca5716da6c0af f960ddbe27f8bd882c523a07c322f5b997e8cf0dc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 / List_Interleaving