SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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.944cpu=3.972gc=0.172factor=2.047zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkB̆P2n.85gW_NҋږZRk̥==cг̉ dzk B@P5\VLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.899cpu=1.676gc=0.000^~ؕw_,}YZ7zXZִF! ]ŗXi%>n=px]gI9 "ʙM?%Spe'ܤ#_D8kkPGg-;Bپ|IB%7 `<(HPiܦ^C#m0,bge Ke0,HYi};;"ߜ).SxE6ĜRXt EX?0÷n/#]l(dyYˇ@KY ͘TuRuQr~ED..XD9۰T'R1ؕ8+2k`:+۾fa wH_gXe0ZpA =K̫=`oj;J,! HV7t*JeQh>(@KU-#ZJ=>NA鸔.}r{(DG1T ZElQ3 6@ngYZ3e0d99321184a53dbdfd2c875a2b5eb03243e3f5d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 bec8f12658c329051cdd3196b3789cc67865eb91 d46f6cbfbe33b03ec31bdad15bb33b4fd14af6e4 68016c930f77acaea9d2b1a7012a0fa59ebfa743 3ad31b42ddd474d8f9e1850712023abce0e81f03 $O HOL-Nonstandard_Analysis-Examples