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 f# l4 +/]HOL-Nominal:threads=6elapsed=6.280cpu=15.844gc=0.692factor=2.527zXZִF! .]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6]6ҵ9Em<ƙ$TYŸJCX m.K`rhFBOjii& -(u ?<'䇪ND@,nmچ7+X\}_4B3T3v&BRu>xvc~ͦMoSf6x>(ŷf;HT2$8qi4rx5+&l=d%ZN gYZ7zXZִF! ]ŗXi%6kXvN0"NEp>,w;]Nwm@U8r+C'6 x-PDwt(.Ċd\)~"7<g#Y`V pn0:f'x&/KNެRm,)$YϘ2mtAԴ 9Q_9Su̝k ń[C& d'A’x"[PY9nAb`D6&fh3O!Y2iv T%xj9f@Yւf&Ve(`J^*y\C>ԍP݋(+j7GI-);G̡U!)Z/J^W8nu 3 Ò|U$suAV$gIPO9E;k% "a42'ma=