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   `OD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.836cpu=3.840gc=0.148factor=2.097zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk|=PYln I-MF0:Iy@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.857cpu=1.632gc=0.000*khw_,}YZ7zXZִF! }]ŗXi%> EOVLK+Q[Z_s>&kIrouBB GM WqUsj``N*й/ [R&V0?^].!ʽ`@/.Xhj?q doawcH$3LVh VYkP'yPtdomh;`A6Ƕp eR#JU!+jWbϜ7!Ü<>Ok̒i| k7Lh.rAU2t"' ?zly^_q7;pgYZ04f1abf5321e460ae2cc551700ce768d6d82d80c4604eb2567ec75c8d9622816e4c73711a6b8dd27 772366f2f051916b4acac7b2a3824bb7edbc881b a58f39aafc37e0912c2ddb9c25394a812a4f3016 d877bf16e36c5e7936aaf1b70c6c2f8cd9b989b6 61d321174b8d2c70fb5fab7b6ba47c4f015d4f6b $O HOL-Nonstandard_Analysis-Examples