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  NOD, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.989cpu=3.952gc=0.140factor=1.997zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke4uZwȳ%8pYޣk%` FYJiގMg5XŮh_LOgYZ7zXZִF! ]ŗXi%6sO~c -Qq0~ˤ`9<"=Ơ9'^tYV5C<7NsTa0߲7$+!zhU{z#zNqI067}@T.Ttފ6t {n![lji|UA s^fm(;[/{vˡ,gQ8o''|#D_,$y.I7@V]a$Ss"Qc֥32_ e*$Dj<ƶJb)/IPv!Kϼ6}:o / hhJ0@2g9huHwRLǐbO3J:=*^3mD4pڔ,2奿!C-z!lf IgYZa85a63998e5c84bf51d2ca332d3ad9f1e01ebf90cb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f57175 3a83f9dd818d1298b5a0dd51746e4c3050018207 2b7ae49390b8bb045859ad411f13f4896600e1f4 $O HOL-Nonstandard_Analysis-Examples