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   lOD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.894cpu=3.792gc=0.200factor=2.007zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk>22:KGW=O厝v[ G}f&Nxe7 h̩NlaEWLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.917cpu=1.900gc=0.000$4;w_,}YZ7zXZִF! ]ŗXi%;X㾱 Ԗ ҕA::} 2$4%7s]/ ~\F1' M4cxj]t\ئi~~sHMWd= BCyOZY{{0v7S>FƯ UZ"hP}' f3 o}UIׇo](QeɉfHVA+DD|D,% @0A0ϫ/wWqyckFGu$,,EWtϣ$#cC;o#INDjR*s߮^燪? 'j9D y/I,DD?8͒7NTCqxJn8aD V 8}JfQ>H Sl& JJ^UO`hsȲE:P]wТDP%gYZ2ce2ad3623f9e3110e52f8535441504decc3c417b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554 b1c8c1a997dc34aab196d4f526d68129572e7a01 6b6e8b4fafcc251b8cec976e5ad85b4215658183 $O HOL-Nonstandard_Analysis-Examples