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ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.933cpu=1.740gc=0.000c7`lw_,}YZ7zXZִF! ]ŗXi%>0UsylW|4WZ%c8_̊436{4ģL[MdY,ba/)oW \_83ե/,ֿK|7MaaTRZ14yT̔woչKjW{H!qX`pPFGG'3\`b1ij~~S@Wp@9k}MOvo:q G㿼tkKk,9]8zNq,?o c MyKy:E!7 գ^%נFFG PC,>wK`#y$w9DH1p2xW[+pJ j-i边my(\-'?8}04~C_"NP3;^YDH].-gYZae51c529ec8ddfa7bd55c7f7960ae45d5dcb2c3de0c3be278ab23203661c3c6841cfab21927cd669 15dec5eca7bd6cfbf480be5212e1b8fef38abae0 0a407e09d29f4594f98e8f6e55955ecf6dc5c10a 4be71f1cd06c744e23ef0fd2ee0f4a661b84deea 7155ed09c35bb6e146af49d3ae5a98da4324cfaf $O HOL-Nonstandard_Analysis-Examples