SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.796cpu=3.700gc=0.000factor=2.067zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk9{vwc*"u74)Fd [߅6GQ.7@$=b آLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.816cpu=1.508gc=0.000CKش@0cw_,}YZ7zXZִF! ]ŗXi%I34BPIKŌA'حOmvUW˯):9x/ntsIɺ8Fm+Yfǻj@o!ŊsFxWԷ8n*SW7RʗT9QEj'-la)xgľ|1[ќdkC[oNxO܂Ӹ):J 3tMNHNђDwO3b O:m+`qx [f*%'/1@6\YiLpXz–ep<~qmsI5T#+CRXlMSv->Cp]orjW( Y[,f8*%6QiEr&>sڿ*-yP*EC>dfxI+DZS EԶtܦ6X9huySwn̎ pFC`h`xnϾ\.F6ȦJjQj@i(M^\Ru }ze7\a-gYZ471046b044482541317db8e4d8b45c4ef0d8a52c0ff9958a0ca5fbe9ab4009834227f55206a20040 e87326cced1f0fc435ede3b19ecca1f629d0f741 c3086ce9365ffb48a9954e9d7090babdfadbb5b4 7e09f11a474664df761a2e826d790daff9fddb68 42ef42ccd0ad4e4cf0d3c5ed8597d89be6d1cdac $O HOL-Nonstandard_Analysis-Examples