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  b b9 <4 ]S Ordinals_and_Cardinals:threads=2elapsed=0.087cpu=0.120gc=0.000factor=1.387zXZִF! o\]ŗXiɟF눧g5OfW0s^L7/?籕 [7߀#f\Lo-\5*0xxg\xp7e}YZ7zXZִF! ]ŗXi%92xNd-"cz؄ׇYKWAݦ3RyNW_ (B~u5~g'c=9\.{4D',>9B2lLf4Vn.p`| B:Y-%>nsJ y$id7DE9gëT'i>nƶlV 5+ 9j#*b[6=mM`C 7\:O^?m~ чR4tEqw;+"/[S@ёjw-n.NfC]NT4X>͆xjt!~$+g(EFV#a^Qv%]C`-&M hrVžgYZab36c53a104046c608185cedeeb711df87d4f0730dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 8d084068fa7b79bc36785ba95905591b25980f86 9 Ordinals_and_Cardinals