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  / /N!|  ]/ List-Index:threads=2elapsed=2.774cpu=5.140gc=0.128factor=1.857zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ^}yAAUr0TO-s *a <8~/ڞWHAEvw o-3N]@܍ѐfoؼv(5){r4[gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵Fx~3Rʱ&<`{~Hc_J>\}YZ7zXZִF!  A]ŗXi%;n"ʯ>eH8&ƨiC~о! P8ԯPZu8rmn:M-xV_%gtW~HC$>nj%C+Xe&rQ)]]L,"(wxwgUrN]Lm$1q cdv1g:@%[UlyQF4Xڇ^jZzzXe'T4D`&Nj}GɼkաfI U9{oSpy`$<_fTLM6Zjkc"8GgYZf436957dcbe186f42f945082acc1baf27659578979d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d  ! List-Index