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  - -POD<| ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.801cpu=3.568gc=0.148factor=1.987zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkX2TBOPO2 A5R"qވ&Ԑ";b[Y?n@DLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.951cpu=1.924gc=0.000F#Gw_,}YZ7zXZִF! E]ŗXi%90Ś`TMfw,HHL$Y9AIhbS(9&ńwA4x5Ųh1yU~tD\lY/N48|=zIt>'/"~r +hҿ'y!FmAcX,ehEtV+JYۮO P{7t?I S]]*Q| ۥ.qt‰ ʜRel/9gQ mV|ۖ2?tBHmj3Ebͮ3]ϪK~bj+`&# bQ_/>ӗk|\:]giDʪ]ms,RlՇgYZ695a8f0bc19b255682fbf75cf0f458f1d569401737873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a368 55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2 cc9c8b3f4729b2a8e88a48bf426b5d1771368213 47e1cafdf18978330ba03021bee6a62491caf3e7 $O HOL-Nonstandard_Analysis-Examples