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 //N' \< } HOL-Cardinals:threads=6elapsed=6.609cpu=34.872gc=1.136factor=5.287zXZִF! ']ŗXf1-q恈<-¡$johkX2I)<ҌуHѿy\q!"/-;"W +{GP7? q;zs%# i f5QAfCZVH?{L ZH8ǪƢA‡鳵xME]/kg6/5pd@բU3Vt#^} '_S*aawS@#=!f~M}[mǾ{ewCI1)1NEBp/QvgQqX!¾7]ܭzD뜢8=@VkX_؝F+إ]Ԟt%oI<5hd{[D !{PF m]K:2؇4ByXV)uY({'>F~uv:cD\c͛j&̝*b*GQz"jn<N'1~9[j7\5!X#H[gYZ7zXZִF! !]ŗXi%6Ф蠈ӭxoȅFUH w|ru1?vԋQ&ػL,ĝ3qERKAUGrш4kTXkUC aSt&|"BU̙[Wn(k̨UMkK"m.ܮ%_{خt!2~?JFto-Dޔ/rYTѰKXIeGK†Ps>TbxubUtoMzDoڿ\?t̲ #7纷\Bk20ӳQhtm|i dw筝dgI:dmf7?҇'xsZ&ǴIuBqG"tJ^c|.Gg =HIb N-I D&ҡDV<@ x4K%. (>Ц+I8 / H(Fًr$;?؊ip66+;[{ţ